Trace number 3368505

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.43 1203.54

General information on the benchmark

Namerandom/large/
unif-k7-r85-v150-c12750-S541704841-072-UNKNOWN.cnf
MD5SUMd89541d4d678adcd99dbf4694eb0406c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark12.1322
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses12750
Sum of the clauses size89250
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 512750

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368505-1305394925.cnf'
0.00/0.01	c -- header says num vars:            150
0.00/0.01	c -- header says num clauses:       12750
0.00/0.02	c -- clauses added:            0 learnts,        12750 normals,            0 xors
0.00/0.02	c -- vars added        150
0.00/0.02	c Parsing time:  0.03 s
0.00/0.02	c  N st     0         0       150     12750         0         0     89250         0   no data   no data  --
1.17/0.32	c asymm  cl-useful: 0/12750/12750 lits-rem:0 time: 1.19
1.17/0.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
1.17/0.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.17/0.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1.17/0.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1.17/0.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.41/1.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
4.41/1.13	c Finding binary XORs  T:     0.00 s  found:       0
4.41/1.13	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
4.41/1.13	c calculated reachability. Time: 0.00
4.41/1.13	c Calc default polars -  time:   0.00 s pos:      78 undec:       2 neg:      70
4.41/1.13	c =========================================================================================
4.41/1.13	c types(t): F = full restart, N = normal restart
4.41/1.13	c types(t): S = simplification begin/end, E = solution found
4.41/1.13	c restart types(rt): st = static, dy = dynamic
4.41/1.13	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
4.41/1.13	c  B st     0         0       150     12750         0         0     89250         0   no data   no data  --
4.41/1.13	c  N dy     9      4963       150     12750         0      4723     89250    213371     37.67     39.74  --
4.41/1.13	c  N dy    32     10008       150     12750         0      7196     89250    295922     38.60     40.67  --
4.75/1.23	c  N dy    53     15592       150     12750         0      8478     89250    318281     38.92     41.01  --
5.95/1.53	c  N dy    75     22057       150     12750         0      9284     89250    316403     39.01     41.18  --
6.35/1.68	c  F st    90     25000       150     12750         0     12100     89250    443782     39.18   no data  --
6.75/1.76	c  N st    93     26190       150     12750         0      6719     89250    170165     39.18   no data  --
7.55/1.96	c  S st    96     30000       150     12750         0     10366     89250    338910     39.18   no data  --
7.95/2.00	c  S st    96     30502       150     12750         0     10855     89250    360642     39.18   no data  --
7.95/2.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.95/2.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.95/2.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
7.95/2.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.95/2.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.95/2.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
7.95/2.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.33/4.18	c lits-rem:      2715  cl-subs:      435  v-elim:      0  v-fix:    0  time:  8.61 s
18.32/4.64	c asymm  cl-useful: 0/10769/12750 lits-rem:0 time: 1.80
18.32/4.64	c calculated reachability. Time: 0.00
18.32/4.64	c  N dy    96     30502       150     12750         0     10420     89250    332753     39.18   no data  --
19.52/4.97	c  N dy   105     35891       150     12750         0      8033     89250    196417     39.15     41.47  --
21.11/5.32	c  N dy   108     41976       150     12750         0     13853     89250    453673     38.79     40.96  --
21.95/5.59	c  S st   113     45755       150     12750         0      8888     89250    203709     38.67     37.07  --
22.30/5.63	c  S st   113     46258       150     12750         0      9379     89250    225336     38.67   no data  --
22.30/5.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.30/5.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
22.30/5.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
22.30/5.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
22.30/5.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22.30/5.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
22.30/5.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
28.68/7.26	c lits-rem:       294  cl-subs:       56  v-elim:      0  v-fix:    0  time:  6.44 s
28.68/7.26	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
28.68/7.26	c vivif2 --  cl tried     9323 cl shrink        0 lits rem          0 time: 0.01
29.09/7.35	c asymm  cl-useful: 0/1981/12750 lits-rem:0 time: 0.35
29.09/7.35	c calculated reachability. Time: 0.00
29.09/7.35	c  N dy   113     46258       150     12750         0      9323     89250    221805     38.67   no data  --
30.31/7.62	c  N dy   127     50259       150     12750         0     13175     89250    393668     38.71     40.81  --
31.48/7.93	c  N dy   138     54367       150     12750         0     17097     89250    567992     38.72     40.80  --
33.87/8.50	c  N dy   142     62597       150     12750         0     15402     89250    462371     38.57     41.16  --
35.11/8.81	c  N dy   162     66701       150     12750         0     19335     89250    639257     38.63     41.18  --
35.86/9.03	c  S st   171     69387       150     12750         0     11390     89250    252960     38.66     39.36  --
35.86/9.08	c  S st   171     69888       150     12750         0     11880     89250    274587     38.66   no data  --
35.86/9.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
35.86/9.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.86/9.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
35.86/9.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
35.86/9.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
35.86/9.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
35.86/9.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.65/10.77	c lits-rem:       732  cl-subs:      128  v-elim:      0  v-fix:    0  time:  6.70 s
42.65/10.77	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
42.65/10.78	c vivif2 --  cl tried    11752 cl shrink        0 lits rem          0 time: 0.01
44.64/11.22	c asymm  cl-useful: 0/10124/12750 lits-rem:0 time: 1.76
44.64/11.22	c calculated reachability. Time: 0.00
44.64/11.22	c  N dy   171     69888       150     12750         0     11752     89250    266704     38.66   no data  --
45.83/11.57	c  N dy   188     74549       150     12750         0     16230     89250    463847     38.65     40.91  --
47.87/12.02	c  N dy   214     79533       150     12750         0     20979     89250    676443     38.73     40.77  --
49.83/12.51	c  N dy   229     85632       150     12750         0     15334     89250    396867     38.74     40.92  --
50.23/12.67	c  F st   239     87502       150     12750         0     17136     89250    478121     38.77   no data  --
51.83/13.10	c  N dy   245     92697       150     12750         0     22122     89250    706021     38.77   no data  --
54.21/13.63	c  N dy   263     99019       150     12750         0     15727     89250    382593     38.78     40.97  --
56.21/14.15	c  S st   285    104833       150     12750         0     21293     89250    629433     38.81   no data  --
56.64/14.22	c  S st   285    105337       150     12750         0     21788     89250    650603     38.81   no data  --
56.64/14.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
56.64/14.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
56.64/14.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
56.64/14.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
56.64/14.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
56.64/14.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
56.64/14.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
71.37/17.99	c lits-rem:      2431  cl-subs:      971  v-elim:      0  v-fix:    0  time: 14.87 s
71.37/17.99	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
71.77/18.00	c vivif2 --  cl tried    20817 cl shrink        0 lits rem          0 time: 0.02
72.56/18.20	c asymm  cl-useful: 0/2626/12750 lits-rem:0 time: 0.82
72.56/18.20	c calculated reachability. Time: 0.00
72.56/18.20	c  N dy   285    105337       150     12750         0     20817     89250    595828     38.81   no data  --
76.15/19.16	c  N dy   313    116730       150     12750         0     18316     89250    461485     38.73     41.05  --
78.99/19.83	c  N dy   337    124259       150     12750         0     25527     89250    782811     38.76     41.14  --
81.73/20.53	c  N dy   368    132551       150     12750         0     19139     89250    471129     38.79     40.91  --
84.52/21.26	c  N dy   379    141583       150     12750         0     27793     89250    855123     38.72     40.79  --
87.76/22.02	c  N dy   412    150624       150     12750         0     21109     89250    526690     38.73     40.97  --
90.11/22.66	c  S st   431    158005       150     12750         0     28200     89250    843193     38.73   no data  --
90.51/22.74	c  S st   431    158506       150     12750         0     28686     89250    864105     38.73   no data  --
90.51/22.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
90.51/22.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
90.51/22.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
90.51/22.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
90.51/22.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
90.51/22.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
90.51/22.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
110.04/27.70	c lits-rem:      1865  cl-subs:     1388  v-elim:      0  v-fix:    0  time: 19.56 s
110.44/27.70	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
110.44/27.70	c vivif2 --  cl tried    27298 cl shrink        0 lits rem          0 time: 0.03
111.24/27.99	c asymm  cl-useful: 0/3126/12750 lits-rem:0 time: 1.13
111.24/27.99	c calculated reachability. Time: 0.00
111.24/27.99	c  N dy   431    158506       150     12750         0     27298     89250    786961     38.73   no data  --
115.23/28.94	c  N dy   461    168714       150     12750         0     20811     89250    477688     38.72     42.85  --
119.22/29.90	c  N dy   489    179607       150     12750         0     31253     89250    942747     38.73     41.04  --
124.00/31.13	c  N dy   516    192005       150     12750         0     25910     89250    670053     38.71     40.81  --
129.60/32.59	c  N dy   561    205039       150     12750         0     20207     89250    389021     38.74     41.13  --
135.61/34.07	c  N dy   585    220123       150     12750         0     34565     89250   1026594     38.69     41.02  --
142.76/35.83	c  N dy   641    235184       150     12750         0     29864     89250    787434     38.72     40.76  --
143.96/36.12	c  S st   649    237759       150     12750         0     32348     89250    898546     38.72   no data  --
144.39/36.21	c  S st   649    238261       150     12750         0     32835     89250    919967     38.72   no data  --
144.39/36.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
144.39/36.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
144.39/36.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.08
144.39/36.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
144.39/36.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.39/36.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
144.39/36.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
162.69/40.80	c lits-rem:       857  cl-subs:     1287  v-elim:      0  v-fix:    0  time: 18.07 s
162.69/40.80	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
162.69/40.81	c vivif2 --  cl tried    31548 cl shrink        0 lits rem          0 time: 0.04
163.49/41.04	c asymm  cl-useful: 0/2535/12750 lits-rem:0 time: 0.91
163.49/41.04	c calculated reachability. Time: 0.00
163.49/41.04	c  N dy   649    238261       150     12750         0     31548     89250    848007     38.72   no data  --
170.29/42.79	c  N dy   699    254278       150     12750         0     26808     89250    618375     38.74     40.82  --
177.86/44.68	c  N dy   764    270665       150     12750         0     21454     89250    344518     38.78     41.08  --
185.44/46.57	c  N dy   783    288179       150     12750         0     38173     89250   1082091     38.69     40.82  --
193.06/48.44	c  F st   805    306256       150     12750         0     33457     89250    859028     38.60   no data  --
193.42/48.52	c  N st   807    306882       150     12750         0     34066     89250    886200     38.60   no data  --
202.59/50.83	c  N dy   864    327034       150     12750         0     30404     89250    681517     38.62     40.67  --
213.37/53.52	c  N dy   947    348679       150     12750         0     27205     89250    504622     38.65     41.03  --
216.95/54.45	c  S st   973    357392       150     12750         0     35556     89250    875672     38.65   no data  --
217.35/54.56	c  S st   973    357893       150     12750         0     36044     89250    897253     38.65   no data  --
217.35/54.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
217.35/54.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
217.35/54.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.10
217.75/54.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
217.75/54.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
217.75/54.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
217.75/54.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
240.92/60.47	c lits-rem:      1092  cl-subs:     1333  v-elim:      0  v-fix:    0  time: 23.34 s
240.92/60.47	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
240.92/60.49	c vivif2 --  cl tried    34711 cl shrink        0 lits rem          0 time: 0.04
242.47/60.89	c asymm  cl-useful: 0/2215/12750 lits-rem:0 time: 1.63
242.47/60.89	c calculated reachability. Time: 0.00
242.47/60.89	c  N dy   973    357893       150     12750         0     34711     89250    825999     38.65   no data  --
254.49/63.83	c  N dy  1055    378022       150     12750         0     29120     89250    560150     38.69     40.98  --
267.24/67.02	c  N dy  1126    401397       150     12750         0     51526     89250   1563016     38.70     40.79  --
277.58/69.69	c  N dy  1203    421453       150     12750         0     44802     89250   1223649     38.73     42.61  --
290.34/72.80	c  N dy  1272    444118       150     12750         0     39728     89250    969147     38.73     41.10  --
301.93/75.72	c  N dy  1336    464775       150     12750         0     31755     89250    576487     38.74     40.89  --
312.69/78.45	c  N dy  1408    485095       150     12750         0     51245     89250   1448289     38.76     40.89  --
341.01/85.54	c  N dy  1452    536840       150     12750         0     42069     89250    967064     38.53     36.36  --
341.01/85.54	c  S st  1452    536840       150     12750         0     42069     89250    967064     38.53     36.36  --
341.41/85.64	c  S st  1452    537340       150     12750         0     42560     89250    988339     38.53   no data  --
341.41/85.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
341.41/85.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
341.41/85.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
341.41/85.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
341.41/85.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
341.41/85.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
341.41/85.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
360.55/90.43	c lits-rem:       944  cl-subs:     2078  v-elim:      0  v-fix:    0  time: 18.87 s
360.55/90.43	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
360.55/90.44	c vivif2 --  cl tried    40482 cl shrink        0 lits rem          0 time: 0.04
361.75/90.71	c asymm  cl-useful: 0/1908/12750 lits-rem:0 time: 1.05
361.75/90.71	c calculated reachability. Time: 0.00
361.75/90.71	c  N dy  1452    537340       150     12750         0     40482     89250    891995     38.53   no data  --
382.09/95.85	c  N dy  1499    575125       150     12750         0     46095     89250   1138655     38.43     40.47  --
396.05/99.32	c  N dy  1548    596794       150     12750         0     35354     89250    611203     38.40     40.51  --
408.42/102.43	c  N dy  1635    616797       150     12750         0     54533     89250   1465837     38.43     41.01  --
422.37/105.97	c  N dy  1711    636972       150     12750         0     41417     89250    848004     38.45     40.94  --
435.95/109.37	c  N dy  1809    657073       150     12750         0     60697     89250   1710496     38.48     40.67  --
448.30/112.41	c  N dy  1864    677101       150     12750         0     46426     89250   1034669     38.47     41.91  --
461.47/115.79	c  N dy  1944    697179       150     12750         0     65710     89250   1893626     38.49     40.56  --
474.24/118.96	c  N dy  2040    717244       150     12750         0     50431     89250   1184383     38.52     40.56  --
489.80/122.89	c  N dy  2120    737544       150     12750         0     69933     89250   2054422     38.54     40.64  --
502.96/126.19	c  N dy  2173    758998       150     12750         0     54959     89250   1353131     38.53     40.84  --
518.11/129.94	c  N dy  2213    779304       150     12750         0     37995     89250    558836     38.51     40.55  --
532.08/133.40	c  N dy  2290    800035       150     12750         0     57893     89250   1446577     38.52     40.79  --
536.87/134.61	c  S st  2310    806011       150     12750         0     63642     89250   1702155     38.52     38.82  --
537.66/134.80	c  S st  2310    806512       150     12750         0     64123     89250   1723270     38.52   no data  --
537.66/134.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
537.66/134.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
537.66/134.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.16
537.66/134.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
537.66/134.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
537.66/134.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
537.66/134.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
642.15/161.02	c lits-rem:      2248  cl-subs:     2661  v-elim:      0  v-fix:    0  time: 104.06 s
642.15/161.02	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
642.15/161.03	c vivif2 --  cl tried    61462 cl shrink        0 lits rem          0 time: 0.07
643.35/161.36	c asymm  cl-useful: 0/1328/12750 lits-rem:0 time: 1.30
643.35/161.36	c calculated reachability. Time: 0.00
643.35/161.36	c  N dy  2310    806512       150     12750         0     61462     89250   1574421     38.52   no data  --
658.51/165.13	c  N dy  2380    827048       150     12750         0     43764     89250    778632     38.53     40.61  --
673.27/168.84	c  N dy  2472    849463       150     12750         0     65306     89250   1742797     38.55     40.59  --
688.47/172.64	c  N dy  2563    869700       150     12750         0     46361     89250    864294     38.57     40.62  --
713.96/179.02	c  N dy  2613    907365       150     12750         0     43083     89250    686438     38.52     40.77  --
727.13/182.30	c  N dy  2698    928061       150     12750         0     62955     89250   1574632     38.53     40.61  --
744.68/186.79	c  N dy  2798    948139       150     12750         0     41968     89250    603621     38.55     42.02  --
757.85/190.07	c  N dy  2870    969039       150     12750         0     61998     89250   1496676     38.56     40.62  --
774.60/194.27	c  N dy  2937    989246       150     12750         0     81337     89250   2357539     38.56     40.69  --
787.76/197.59	c  N dy  3003   1009565       150     12750         0     59615     89250   1360466     38.57     40.65  --
804.52/201.77	c  N dy  3070   1029941       150     12750         0     79170     89250   2236952     38.57     40.84  --
818.87/205.34	c  N dy  3139   1050111       150     12750         0     56381     89250   1183664     38.58     40.64  --
840.01/210.67	c  N dy  3226   1071348       150     12750         0     76758     89250   2096676     38.60     40.64  --
840.81/210.83	c  F st  3230   1071875       150     12750         0     77267     89250   2119923     38.60   no data  --
857.56/215.06	c  N dy  3276   1091369       150     12750         0     52820     89250    985144     38.60     40.63  --
875.51/219.57	c  N dy  3347   1113069       150     12750         0     73622     89250   1910368     38.60     40.95  --
895.85/224.61	c  N dy  3420   1133806       150     12750         0     49371     89250    796333     38.61     40.89  --
911.81/228.62	c  N dy  3492   1153829       150     12750         0     68587     89250   1653688     38.61     40.74  --
934.17/234.27	c  N dy  3601   1173857       150     12750         0     87800     89250   2517628     38.63     41.49  --
951.30/238.60	c  N dy  3698   1193920       150     12750         0     61952     89250   1328440     38.65     41.12  --
968.04/242.77	c  S st  3749   1209768       150     12750         0     77185     89250   2008819     38.65   no data  --
969.27/243.02	c  S st  3749   1210271       150     12750         0     77677     89250   2030341     38.65   no data  --
969.27/243.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
969.27/243.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
969.27/243.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.21
969.68/243.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
969.68/243.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
969.68/243.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
969.68/243.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1514.04/379.69	c lits-rem:      2462  cl-subs:     3227  v-elim:      0  v-fix:    0  time: 544.48 s
1514.04/379.69	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
1514.44/379.71	c vivif2 --  cl tried    74450 cl shrink        0 lits rem          0 time: 0.10
1516.44/380.21	c asymm  cl-useful: 0/1132/12750 lits-rem:0 time: 1.98
1516.44/380.21	c calculated reachability. Time: 0.00
1516.44/380.21	c  N dy  3749   1210271       150     12750         0     74450     89250   1851306     38.65   no data  --
1541.56/386.55	c  N dy  3813   1230657       150     12750         0     48021     89250    670024     38.65     40.77  --
1561.11/391.41	c  N dy  3852   1253255       150     12750         0     69583     89250   1628526     38.64     40.82  --
1586.63/397.83	c  N dy  3901   1275495       150     12750         0     90858     89250   2579807     38.63     40.88  --
1604.18/402.20	c  N dy  3953   1295548       150     12750         0     63218     89250   1317228     38.63     46.66  --
1626.52/407.82	c  N dy  3966   1320135       150     12750         0     86565     89250   2351065     38.58     40.80  --
1648.46/413.39	c  N dy  4054   1340546       150     12750         0     58362     89250   1067910     38.59     40.68  --
1667.59/418.17	c  N dy  4106   1360763       150     12750         0     77766     89250   1936238     38.59     40.82  --
1693.91/424.78	c  N dy  4193   1381041       150     12750         0     97199     89250   2810522     38.60     40.66  --
1712.66/429.42	c  N dy  4250   1401287       150     12750         0     67733     89250   1450517     38.61     40.74  --
1739.38/436.19	c  N dy  4308   1426268       150     12750         0     91687     89250   2521940     38.60     40.70  --
1762.92/442.03	c  N dy  4376   1448407       150     12750         0     63048     89250   1207263     38.60     40.69  --
1784.05/447.37	c  N dy  4438   1468701       150     12750         0     82515     89250   2074581     38.60     41.03  --
1813.16/454.60	c  N dy  4499   1492772       150     12750         0     54768     89250    804106     38.60     40.90  --
1831.91/459.35	c  N dy  4576   1512835       150     12750         0     73954     89250   1663348     38.61     41.77  --
1855.48/465.29	c  N dy  4640   1532945       150     12750         0     93223     89250   2521396     38.61     41.02  --
1881.37/471.80	c  N dy  4682   1556435       150     12750         0     63985     89250   1182186     38.60     40.87  --
1900.91/476.62	c  N dy  4746   1576625       150     12750         0     83316     89250   2047095     38.60     40.93  --
1927.23/483.27	c  N dy  4845   1596798       150     12750         0    102693     89250   2916454     38.61     40.66  --
1945.18/487.78	c  N dy  4907   1616829       150     12750         0     69200     89250   1384696     38.61     40.72  --
1967.12/493.24	c  N dy  4976   1637547       150     12750         0     89054     89250   2271676     38.62     40.68  --
1993.84/499.93	c  N dy  5060   1657563       150     12750         0     54602     89250    694946     38.63     42.07  --
2010.99/504.22	c  N dy  5131   1677620       150     12750         0     73788     89250   1552076     38.63     41.94  --
2032.52/509.62	c  N dy  5199   1697668       150     12750         0     93026     89250   2414296     38.63     40.73  --
2047.29/513.34	c  S st  5246   1710272       150     12750         0    105114     89250   2955712     38.63   no data  --
2048.52/513.61	c  S st  5246   1710776       150     12750         0    105608     89250   2977113     38.63   no data  --
2048.52/513.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2048.52/513.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2048.52/513.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.24
2048.93/513.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2048.93/513.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2048.93/513.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2048.93/513.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3217.58/806.78	c lits-rem:      4778  cl-subs:     5488  v-elim:      0  v-fix:    0  time: 1168.13 s
3217.58/806.78	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
3217.98/806.81	c vivif2 --  cl tried   100120 cl shrink        0 lits rem          0 time: 0.13
3218.78/807.07	c asymm  cl-useful: 0/506/12750 lits-rem:0 time: 1.06
3218.78/807.08	c calculated reachability. Time: 0.00
3218.78/807.08	c  N dy  5246   1710776       150     12750         0    100120     89250   2677621     38.63   no data  --
3241.12/812.63	c  N dy  5298   1730951       150     12750         0     64938     89250   1125525     38.63     41.01  --
3261.85/817.84	c  N dy  5362   1751714       150     12750         0     84802     89250   2013467     38.63     40.71  --
3286.24/823.94	c  N dy  5392   1773162       150     12750         0    105282     89250   2928523     38.63     40.92  --
3307.76/829.38	c  N dy  5468   1793185       150     12750         0     69013     89250   1274046     38.63     41.30  --
3330.86/835.16	c  N dy  5548   1814589       150     12750         0     89490     89250   2194385     38.64     40.97  --
3357.59/841.82	c  N dy  5622   1834636       150     12750         0    108691     89250   3052569     38.65     41.48  --
3376.35/846.59	c  N dy  5699   1855097       150     12750         0     71893     89250   1368000     38.65     40.77  --
3423.81/858.40	c  N dy  5712   1902746       150     12750         0     59772     89250    795812     38.61     40.77  --
3440.97/862.72	c  N dy  5793   1922791       150     12750         0     78959     89250   1651692     38.61     41.22  --
3461.75/867.94	c  N dy  5841   1943528       150     12750         0     98835     89250   2542308     38.61     41.28  --
3505.99/879.08	c  N dy  5941   1984469       150     12750         0     79510     89250   1637740     38.59     40.65  --
3532.32/885.60	c  N dy  5997   2007046       150     12750         0    101076     89250   2599286     38.59     40.74  --
3559.84/892.52	c  N dy  6042   2027139       150     12750         0     61143     89250    791120     38.59     41.48  --
3579.00/897.33	c  N dy  6111   2047169       150     12750         0     80345     89250   1650465     38.59     40.63  --
3600.13/902.68	c  N dy  6163   2067757       150     12750         0    100023     89250   2534124     38.59     40.75  --
3628.51/909.79	c  N dy  6268   2088207       150     12750         0    119646     89250   3416933     38.60     40.69  --
3646.80/914.36	c  N dy  6334   2108528       150     12750         0     78895     89250   1546341     38.61     40.74  --
3669.15/919.93	c  N dy  6410   2128926       150     12750         0     98404     89250   2418596     38.61     41.37  --
3696.68/926.80	c  N dy  6478   2150560       150     12750         0    119163     89250   3348701     38.62     40.78  --
3719.01/932.44	c  N dy  6551   2173256       150     12750         0     79595     89250   1540977     38.62     40.70  --
3741.36/938.07	c  N dy  6634   2193313       150     12750         0     98834     89250   2403183     38.62     42.24  --
3762.50/943.33	c  S st  6684   2210776       150     12750         0    115521     89250   3154251     38.62   no data  --
3763.70/943.63	c  S st  6684   2211279       150     12750         0    116015     89250   3176379     38.62   no data  --
3763.70/943.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3763.70/943.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3764.13/943.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.25
3764.13/943.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3764.13/943.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3764.13/943.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3764.13/943.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368505-1305394925/watcher-3368505-1305394925 -o /tmp/evaluation-result-3368505-1305394925/solver-3368505-1305394925 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368505-1305394925.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.50 7.92 7.96 5/350 15215
/proc/meminfo: memFree=20957892/32951124 swapFree=40554400/67111528
[pid=15215] ppid=15213 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/15215/stat : 15215 (strangenight1-m) R 15213 15215 14540 0 -1 4202496 412 0 0 0 1 0 0 0 25 0 4 0 651092940 52465664 352 33554432000 4194304 4650419 140736637589216 18446744073709551615 47014051907506 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15215/statm: 12809 352 303 112 0 7774 0
[pid=15215/tid=15216] ppid=15213 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/15215/task/15216/stat : 15216 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651092940 52465664 352 33554432000 4194304 4650419 140736637589216 18446744073709551615 230809222129 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15215/tid=15217] ppid=15213 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/15215/task/15217/stat : 15217 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651092940 52465664 352 33554432000 4194304 4650419 140736637589216 18446744073709551615 47014051907506 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15215/tid=15218] ppid=15213 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/15215/task/15218/stat : 15218 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651092940 52465664 352 33554432000 4194304 4650419 140736637589216 18446744073709551615 47014051907504 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0709979 s]
/proc/loadavg: 7.50 7.92 7.96 5/350 15215
/proc/meminfo: memFree=20957892/32951124 swapFree=40554400/67111528
[pid=15215] ppid=15213 vsize=283004 CPUtime=0.25 cores=1,3,5,7
/proc/15215/stat : 15215 (strangenight1-m) R 15213 15215 14540 0 -1 4202496 2121 0 0 0 25 0 0 0 25 0 4 0 651092940 289796096 2036 33554432000 4194304 4650419 140736637589216 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15215/statm: 70751 2036 366 112 0 65716 0
[pid=15215/tid=15216] ppid=15213 vsize=283004 CPUtime=0.05 cores=1,3,5,7
/proc/15215/task/15216/stat : 15216 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 389 0 0 0 5 0 0 0 25 0 4 0 651092940 289796096 2036 33554432000 4194304 4650419 140736637589216 18446744073709551615 4369160 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15215/tid=15217] ppid=15213 vsize=283004 CPUtime=0.06 cores=1,3,5,7
/proc/15215/task/15217/stat : 15217 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 438 0 0 0 6 0 0 0 18 0 4 0 651092940 289796096 2036 33554432000 4194304 4650419 140736637589216 18446744073709551615 4368950 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15215/tid=15218] ppid=15213 vsize=283004 CPUtime=0.06 cores=1,3,5,7
/proc/15215/task/15218/stat : 15218 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 458 0 0 0 6 0 0 0 25 0 4 0 651092940 289796096 2036 33554432000 4194304 4650419 140736637589216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 283004

[startup+0.100991 s]
/proc/loadavg: 7.50 7.92 7.96 5/350 15215
/proc/meminfo: memFree=20957892/32951124 swapFree=40554400/67111528
[pid=15215] ppid=15213 vsize=283004 CPUtime=0.37 cores=1,3,5,7
/proc/15215/stat : 15215 (strangenight1-m) R 15213 15215 14540 0 -1 4202496 2175 0 0 0 37 0 0 0 25 0 4 0 651092940 289796096 2090 33554432000 4194304 4650419 140736637589216 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15215/statm: 70751 2090 366 112 0 65716 0
[pid=15215/tid=15216] ppid=15213 vsize=283004 CPUtime=0.08 cores=1,3,5,7
/proc/15215/task/15216/stat : 15216 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 394 0 0 0 8 0 0 0 25 0 4 0 651092940 289796096 2090 33554432000 4194304 4650419 140736637589216 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15215/tid=15217] ppid=15213 vsize=283004 CPUtime=0.09 cores=1,3,5,7
/proc/15215/task/15217/stat : 15217 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 442 0 0 0 9 0 0 0 18 0 4 0 651092940 289796096 2090 33554432000 4194304 4650419 140736637589216 18446744073709551615 4370660 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15215/tid=15218] ppid=15213 vsize=283004 CPUtime=0.09 cores=1,3,5,7
/proc/15215/task/15218/stat : 15218 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 503 0 0 0 9 0 0 0 25 0 4 0 651092940 289796096 2090 33554432000 4194304 4650419 140736637589216 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 283004

[startup+0.300956 s]
/proc/loadavg: 7.50 7.92 7.96 5/350 15215
/proc/meminfo: memFree=20957892/32951124 swapFree=40554400/67111528
[pid=15215] ppid=15213 vsize=284144 CPUtime=1.17 cores=1,3,5,7
/proc/15215/stat : 15215 (strangenight1-m) R 15213 15215 14540 0 -1 4202496 2786 0 0 0 117 0 0 0 25 0 4 0 651092940 290963456 2320 33554432000 4194304 4650419 140736637589216 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15215/statm: 71036 2320 369 112 0 66001 0
[pid=15215/tid=15216] ppid=15213 vsize=284144 CPUtime=0.28 cores=1,3,5,7
/proc/15215/task/15216/stat : 15216 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 419 0 0 0 28 0 0 0 25 0 4 0 651092940 290963456 2320 33554432000 4194304 4650419 140736637589216 18446744073709551615 4370701 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15215/tid=15217] ppid=15213 vsize=284144 CPUtime=0.29 cores=1,3,5,7
/proc/15215/task/15217/stat : 15217 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 457 0 0 0 29 0 0 0 18 0 4 0 651092940 290963456 2320 33554432000 4194304 4650419 140736637589216 18446744073709551615 4370658 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15215/tid=15218] ppid=15213 vsize=284144 CPUtime=0.29 cores=1,3,5,7
/proc/15215/task/15218/stat : 15218 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 1054 0 0 0 29 0 0 0 25 0 4 0 651092940 290963456 2320 33554432000 4194304 4650419 140736637589216 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284144

[startup+0.700885 s]
/proc/loadavg: 7.50 7.92 7.96 5/350 15215
/proc/meminfo: memFree=20957892/32951124 swapFree=40554400/67111528
[pid=15215] ppid=15213 vsize=278492 CPUtime=2.76 cores=1,3,5,7
/proc/15215/stat : 15215 (strangenight1-m) R 15213 15215 14540 0 -1 4202496 8141 0 0 0 275 1 0 0 18 0 4 0 651092940 285175808 5459 33554432000 4194304 4650419 140736637589216 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15215/statm: 69623 5459 390 112 0 64588 0
[pid=15215/tid=15216] ppid=15213 vsize=278492 CPUtime=0.68 cores=1,3,5,7
/proc/15215/task/15216/stat : 15216 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 1926 0 0 0 68 0 0 0 18 0 4 0 651092940 285175808 5459 33554432000 4194304 4650419 140736637589216 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15215/tid=15217] ppid=15213 vsize=278492 CPUtime=0.68 cores=1,3,5,7
/proc/15215/task/15217/stat : 15217 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 2023 0 0 0 68 0 0 0 18 0 4 0 651092940 285175808 5460 33554432000 4194304 4650419 140736637589216 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15215/tid=15218] ppid=15213 vsize=278492 CPUtime=0.69 cores=1,3,5,7
/proc/15215/task/15218/stat : 15218 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 1714 0 0 0 69 0 0 0 25 0 4 0 651092940 285175808 5462 33554432000 4194304 4650419 140736637589216 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 278492

[startup+1.50074 s]
/proc/loadavg: 7.50 7.92 7.96 10/354 15219
/proc/meminfo: memFree=20932440/32951124 swapFree=40554400/67111528
[pid=15215] ppid=15213 vsize=290364 CPUtime=5.95 cores=1,3,5,7
/proc/15215/stat : 15215 (strangenight1-m) R 15213 15215 14540 0 -1 4202496 13418 0 0 0 593 2 0 0 19 0 4 0 651092940 297332736 6397 33554432000 4194304 4650419 140736637589216 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15215/statm: 72591 6397 391 112 0 67556 0
[pid=15215/tid=15216] ppid=15213 vsize=290364 CPUtime=1.46 cores=1,3,5,7
/proc/15215/task/15216/stat : 15216 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 3154 0 0 0 146 0 0 0 19 0 4 0 651092940 297332736 6397 33554432000 4194304 4650419 140736637589216 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15215/tid=15217] ppid=15213 vsize=290364 CPUtime=1.48 cores=1,3,5,7
/proc/15215/task/15217/stat : 15217 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 3382 0 0 0 148 0 0 0 19 0 4 0 651092940 297332736 6397 33554432000 4194304 4650419 140736637589216 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15215/tid=15218] ppid=15213 vsize=290364 CPUtime=1.48 cores=1,3,5,7
/proc/15215/task/15218/stat : 15218 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 2959 0 0 0 148 0 0 0 25 0 4 0 651092940 297332736 6397 33554432000 4194304 4650419 140736637589216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 290364

[startup+3.10045 s]
/proc/loadavg: 7.50 7.92 7.96 9/354 15219
/proc/meminfo: memFree=20917712/32951124 swapFree=40554400/67111528
[pid=15215] ppid=15213 vsize=291296 CPUtime=12.34 cores=1,3,5,7
/proc/15215/stat : 15215 (strangenight1-m) R 15213 15215 14540 0 -1 4202496 29406 0 0 0 1229 5 0 0 23 0 4 0 651092940 298287104 17305 33554432000 4194304 4650419 140736637589216 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15215/statm: 72824 17305 392 112 0 67789 0
[pid=15215/tid=15216] ppid=15213 vsize=291296 CPUtime=3.05 cores=1,3,5,7
/proc/15215/task/15216/stat : 15216 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 6427 0 0 0 305 0 0 0 23 0 4 0 651092940 298287104 17305 33554432000 4194304 4650419 140736637589216 18446744073709551615 4439636 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15215/tid=15217] ppid=15213 vsize=291296 CPUtime=3.08 cores=1,3,5,7
/proc/15215/task/15217/stat : 15217 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 8403 0 0 0 307 1 0 0 23 0 4 0 651092940 298287104 17305 33554432000 4194304 4650419 140736637589216 18446744073709551615 4432399 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15215/tid=15218] ppid=15213 vsize=291296 CPUtime=3.09 cores=1,3,5,7
/proc/15215/task/15218/stat : 15218 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 7702 0 0 0 308 1 0 0 25 0 4 0 651092940 298287104 17305 33554432000 4194304 4650419 140736637589216 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 291296

[startup+6.30086 s]
/proc/loadavg: 7.54 7.92 7.96 9/354 15219
/proc/meminfo: memFree=20876956/32951124 swapFree=40554400/67111528
[pid=15215] ppid=15213 vsize=301876 CPUtime=25.1 cores=1,3,5,7
/proc/15215/stat : 15215 (strangenight1-m) R 15213 15215 14540 0 -1 4202496 34377 0 0 0 2504 6 0 0 25 0 4 0 651092940 309121024 19020 33554432000 4194304 4650419 140736637589216 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15215/statm: 75469 19020 392 112 0 70434 0
[pid=15215/tid=15216] ppid=15213 vsize=301876 CPUtime=6.22 cores=1,3,5,7
/proc/15215/task/15216/stat : 15216 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 7863 0 0 0 621 1 0 0 25 0 4 0 651092940 309121024 19020 33554432000 4194304 4650419 140736637589216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15215/tid=15217] ppid=15213 vsize=301876 CPUtime=6.28 cores=1,3,5,7
/proc/15215/task/15217/stat : 15217 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 8797 0 0 0 627 1 0 0 25 0 4 0 651092940 309121024 19020 33554432000 4194304 4650419 140736637589216 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15215/tid=15218] ppid=15213 vsize=301876 CPUtime=6.28 cores=1,3,5,7
/proc/15215/task/15218/stat : 15218 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 9040 0 0 0 627 1 0 0 25 0 4 0 651092940 309121024 19020 33554432000 4194304 4650419 140736637589216 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 301876

[startup+12.7007 s]
/proc/loadavg: 7.58 7.92 7.96 9/354 15219
/proc/meminfo: memFree=20840260/32951124 swapFree=40554400/67111528
[pid=15215] ppid=15213 vsize=283696 CPUtime=50.63 cores=1,3,5,7
/proc/15215/stat : 15215 (strangenight1-m) R 15213 15215 14540 0 -1 4202496 53322 0 0 0 5054 9 0 0 25 0 4 0 651092940 290504704 27789 33554432000 4194304 4650419 140736637589216 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15215/statm: 70924 27789 392 112 0 65889 0
[pid=15215/tid=15216] ppid=15213 vsize=283696 CPUtime=12.54 cores=1,3,5,7
/proc/15215/task/15216/stat : 15216 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 13760 0 0 0 1252 2 0 0 25 0 4 0 651092940 290504704 27789 33554432000 4194304 4650419 140736637589216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15215/tid=15217] ppid=15213 vsize=283696 CPUtime=12.68 cores=1,3,5,7
/proc/15215/task/15217/stat : 15217 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 12917 0 0 0 1266 2 0 0 25 0 4 0 651092940 290504704 27789 33554432000 4194304 4650419 140736637589216 18446744073709551615 4476505 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15215/tid=15218] ppid=15213 vsize=283696 CPUtime=12.69 cores=1,3,5,7
/proc/15215/task/15218/stat : 15218 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 15437 0 0 0 1267 2 0 0 25 0 4 0 651092940 290504704 27789 33554432000 4194304 4650419 140736637589216 18446744073709551615 4438944 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 283696

[startup+25.5003 s]
/proc/loadavg: 7.67 7.93 7.96 9/354 15220
/proc/meminfo: memFree=20680528/32951124 swapFree=40554400/67111528
[pid=15215] ppid=15213 vsize=304064 CPUtime=101.67 cores=1,3,5,7
/proc/15215/stat : 15215 (strangenight1-m) R 15213 15215 14540 0 -1 4202496 82139 0 0 0 10149 18 0 0 25 0 4 0 651092940 311361536 38105 33554432000 4194304 4650419 140736637589216 18446744073709551615 4439636 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15215/statm: 76016 38105 392 112 0 70981 0
[pid=15215/tid=15216] ppid=15213 vsize=304064 CPUtime=25.19 cores=1,3,5,7
/proc/15215/task/15216/stat : 15216 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 20896 0 0 0 2514 5 0 0 25 0 4 0 651092940 311361536 38105 33554432000 4194304 4650419 140736637589216 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15215/tid=15217] ppid=15213 vsize=304064 CPUtime=25.47 cores=1,3,5,7
/proc/15215/task/15217/stat : 15217 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 22510 0 0 0 2543 4 0 0 25 0 4 0 651092940 311361536 38105 33554432000 4194304 4650419 140736637589216 18446744073709551615 4438924 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15215/tid=15218] ppid=15213 vsize=304064 CPUtime=25.49 cores=1,3,5,7
/proc/15215/task/15218/stat : 15218 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 21314 0 0 0 2545 4 0 0 25 0 4 0 651092940 311361536 38105 33554432000 4194304 4650419 140736637589216 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 304064

[startup+51.1006 s]
/proc/loadavg: 7.85 7.95 7.97 9/354 15220
/proc/meminfo: memFree=20657064/32951124 swapFree=40554400/67111528
[pid=15215] ppid=15213 vsize=360480 CPUtime=203.79 cores=1,3,5,7
/proc/15215/stat : 15215 (strangenight1-m) R 15213 15215 14540 0 -1 4202496 123718 0 0 0 20352 27 0 0 25 0 4 0 651092940 369131520 47229 33554432000 4194304 4650419 140736637589216 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15215/statm: 90120 47229 392 112 0 85085 0
[pid=15215/tid=15216] ppid=15213 vsize=360480 CPUtime=50.51 cores=1,3,5,7
/proc/15215/task/15216/stat : 15216 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 32339 0 0 0 5044 7 0 0 25 0 4 0 651092940 369131520 47229 33554432000 4194304 4650419 140736637589216 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15215/tid=15217] ppid=15213 vsize=360480 CPUtime=51.08 cores=1,3,5,7
/proc/15215/task/15217/stat : 15217 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 33141 0 0 0 5101 7 0 0 25 0 4 0 651092940 369131520 47229 33554432000 4194304 4650419 140736637589216 18446744073709551615 4365231 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15215/tid=15218] ppid=15213 vsize=360480 CPUtime=51.09 cores=1,3,5,7
/proc/15215/task/15218/stat : 15218 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 33634 0 0 0 5102 7 0 0 25 0 4 0 651092940 369131520 47229 33554432000 4194304 4650419 140736637589216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.79
Current children cumulated vsize (KiB) 360480

[startup+102.313 s]
/proc/loadavg: 8.04 7.98 7.98 9/354 15222
/proc/meminfo: memFree=20635660/32951124 swapFree=40554400/67111528
[pid=15215] ppid=15213 vsize=428328 CPUtime=408.07 cores=1,3,5,7
/proc/15215/stat : 15215 (strangenight1-m) R 15213 15215 14540 0 -1 4202496 180554 0 0 0 40763 44 0 0 25 0 4 0 651092940 438607872 53617 33554432000 4194304 4650419 140736637589216 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15215/statm: 107082 53617 392 112 0 102047 0
[pid=15215/tid=15216] ppid=15213 vsize=428328 CPUtime=101.14 cores=1,3,5,7
/proc/15215/task/15216/stat : 15216 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 45331 0 0 0 10103 11 0 0 25 0 4 0 651092940 438607872 53617 33554432000 4194304 4650419 140736637589216 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15215/tid=15217] ppid=15213 vsize=428328 CPUtime=102.28 cores=1,3,5,7
/proc/15215/task/15217/stat : 15217 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 49247 0 0 0 10216 12 0 0 25 0 4 0 651092940 438607872 53617 33554432000 4194304 4650419 140736637589216 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15215/tid=15218] ppid=15213 vsize=428328 CPUtime=102.3 cores=1,3,5,7
/proc/15215/task/15218/stat : 15218 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 49836 0 0 0 10218 12 0 0 25 0 4 0 651092940 438607872 53617 33554432000 4194304 4650419 140736637589216 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.07
Current children cumulated vsize (KiB) 428328

[startup+162.3 s]

################
# More data... #
################

[pid=15215] ppid=15213 vsize=657116 CPUtime=2801.18 cores=1,3,5,7
/proc/15215/stat : 15215 (strangenight1-m) R 15213 15215 14540 0 -1 4202496 556587 0 0 0 279930 188 0 0 25 0 4 0 651092940 672886784 104019 33554432000 4194304 4650419 140736637589216 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15215/statm: 164279 104019 392 112 0 159244 0
[pid=15215/tid=15216] ppid=15213 vsize=657116 CPUtime=694.26 cores=1,3,5,7
/proc/15215/task/15216/stat : 15216 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 133779 0 0 0 69380 46 0 0 25 0 4 0 651092940 672886784 104019 33554432000 4194304 4650419 140736637589216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15215/tid=15217] ppid=15213 vsize=657116 CPUtime=702.27 cores=1,3,5,7
/proc/15215/task/15217/stat : 15217 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 173256 0 0 0 70176 51 0 0 25 0 4 0 651092940 672886784 104019 33554432000 4194304 4650419 140736637589216 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15215/tid=15218] ppid=15213 vsize=657116 CPUtime=702.31 cores=1,3,5,7
/proc/15215/task/15218/stat : 15218 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 142036 0 0 0 70175 56 0 0 25 0 4 0 651092940 672886784 104019 33554432000 4194304 4650419 140736637589216 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2801.18
Current children cumulated vsize (KiB) 657116

[startup+762.313 s]
/proc/loadavg: 4.07 5.73 7.04 5/345 15257
/proc/meminfo: memFree=25385900/32951124 swapFree=40554400/67111528
[pid=15215] ppid=15213 vsize=682992 CPUtime=3040.53 cores=1,3,5,7
/proc/15215/stat : 15215 (strangenight1-m) R 15213 15215 14540 0 -1 4202496 579912 0 0 0 303857 196 0 0 25 0 4 0 651092940 699383808 108789 33554432000 4194304 4650419 140736637589216 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15215/statm: 170748 108789 392 112 0 165713 0
[pid=15215/tid=15216] ppid=15213 vsize=682992 CPUtime=753.57 cores=1,3,5,7
/proc/15215/task/15216/stat : 15216 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 138405 0 0 0 75308 49 0 0 25 0 4 0 651092940 699383808 108789 33554432000 4194304 4650419 140736637589216 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15215/tid=15217] ppid=15213 vsize=682992 CPUtime=762.28 cores=1,3,5,7
/proc/15215/task/15217/stat : 15217 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 183665 0 0 0 76176 52 0 0 25 0 4 0 651092940 699383808 108789 33554432000 4194304 4650419 140736637589216 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15215/tid=15218] ppid=15213 vsize=682992 CPUtime=762.32 cores=1,3,5,7
/proc/15215/task/15218/stat : 15218 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 150326 0 0 0 76172 60 0 0 25 0 4 0 651092940 699383808 108789 33554432000 4194304 4650419 140736637589216 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3040.53
Current children cumulated vsize (KiB) 682992

[startup+822.3 s]
/proc/loadavg: 4.14 5.44 6.85 5/345 15259
/proc/meminfo: memFree=25394928/32951124 swapFree=40554400/67111528
[pid=15215] ppid=15213 vsize=673720 CPUtime=3279.81 cores=1,3,5,7
/proc/15215/stat : 15215 (strangenight1-m) R 15213 15215 14540 0 -1 4202496 592860 0 0 0 327778 203 0 0 25 0 4 0 651092940 689889280 106782 33554432000 4194304 4650419 140736637589216 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15215/statm: 168430 106782 392 112 0 163395 0
[pid=15215/tid=15216] ppid=15213 vsize=673720 CPUtime=812.88 cores=1,3,5,7
/proc/15215/task/15216/stat : 15216 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 139778 0 0 0 81238 50 0 0 25 0 4 0 651092940 689889280 106782 33554432000 4194304 4650419 140736637589216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15215/tid=15217] ppid=15213 vsize=673720 CPUtime=822.28 cores=1,3,5,7
/proc/15215/task/15217/stat : 15217 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 187959 0 0 0 82175 53 0 0 25 0 4 0 651092940 689889280 106782 33554432000 4194304 4650419 140736637589216 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15215/tid=15218] ppid=15213 vsize=673720 CPUtime=822.31 cores=1,3,5,7
/proc/15215/task/15218/stat : 15218 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 157157 0 0 0 82166 65 0 0 25 0 4 0 651092940 689889280 106782 33554432000 4194304 4650419 140736637589216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3279.81
Current children cumulated vsize (KiB) 673720

[startup+882.3 s]
/proc/loadavg: 4.12 5.20 6.68 5/345 15261
/proc/meminfo: memFree=25387564/32951124 swapFree=40554400/67111528
[pid=15215] ppid=15213 vsize=633656 CPUtime=3519.15 cores=1,3,5,7
/proc/15215/stat : 15215 (strangenight1-m) R 15213 15215 14540 0 -1 4202496 622276 0 0 0 351694 221 0 0 25 0 4 0 651092940 648863744 108493 33554432000 4194304 4650419 140736637589216 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15215/statm: 158414 108493 392 112 0 153379 0
[pid=15215/tid=15216] ppid=15213 vsize=633656 CPUtime=872.22 cores=1,3,5,7
/proc/15215/task/15216/stat : 15216 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 148972 0 0 0 87166 56 0 0 25 0 4 0 651092940 648863744 108493 33554432000 4194304 4650419 140736637589216 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15215/tid=15217] ppid=15213 vsize=633656 CPUtime=882.28 cores=1,3,5,7
/proc/15215/task/15217/stat : 15217 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 194338 0 0 0 88172 56 0 0 25 0 4 0 651092940 648863744 108493 33554432000 4194304 4650419 140736637589216 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15215/tid=15218] ppid=15213 vsize=633656 CPUtime=882.31 cores=1,3,5,7
/proc/15215/task/15218/stat : 15218 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 166160 0 0 0 88160 71 0 0 25 0 4 0 651092940 648863744 108493 33554432000 4194304 4650419 140736637589216 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3519.15
Current children cumulated vsize (KiB) 633656

[startup+942.3 s]
/proc/loadavg: 4.11 4.99 6.51 5/345 15262
/proc/meminfo: memFree=25411092/32951124 swapFree=40554400/67111528
[pid=15215] ppid=15213 vsize=649600 CPUtime=3758.5 cores=1,3,5,7
/proc/15215/stat : 15215 (strangenight1-m) R 15213 15215 14540 0 -1 4202496 653294 0 0 0 375612 238 0 0 25 0 4 0 651092940 665190400 103029 33554432000 4194304 4650419 140736637589216 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15215/statm: 162400 103029 392 112 0 157365 0
[pid=15215/tid=15216] ppid=15213 vsize=649600 CPUtime=931.57 cores=1,3,5,7
/proc/15215/task/15216/stat : 15216 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 156722 0 0 0 93096 61 0 0 25 0 4 0 651092940 665190400 103029 33554432000 4194304 4650419 140736637589216 18446744073709551615 4365313 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15215/tid=15217] ppid=15213 vsize=649600 CPUtime=942.28 cores=1,3,5,7
/proc/15215/task/15217/stat : 15217 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 206524 0 0 0 94166 62 0 0 25 0 4 0 651092940 665190400 103029 33554432000 4194304 4650419 140736637589216 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15215/tid=15218] ppid=15213 vsize=649600 CPUtime=942.31 cores=1,3,5,7
/proc/15215/task/15218/stat : 15218 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 171264 0 0 0 94158 73 0 0 25 0 4 0 651092940 665190400 103029 33554432000 4194304 4650419 140736637589216 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3758.5
Current children cumulated vsize (KiB) 649600

[startup+1002.3 s]
/proc/loadavg: 4.10 4.82 6.36 5/345 15264
/proc/meminfo: memFree=25396940/32951124 swapFree=40554400/67111528
[pid=15215] ppid=15213 vsize=636216 CPUtime=3997.83 cores=1,3,5,7
/proc/15215/stat : 15215 (strangenight1-m) R 15213 15215 14540 0 -1 4202496 676146 0 0 0 399534 249 0 0 25 0 4 0 651092940 651485184 106279 33554432000 4194304 4650419 140736637589216 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15215/statm: 159054 106279 392 112 0 154019 0
[pid=15215/tid=15216] ppid=15213 vsize=636216 CPUtime=990.89 cores=1,3,5,7
/proc/15215/task/15216/stat : 15216 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 159701 0 0 0 99025 64 0 0 25 0 4 0 651092940 651485184 106279 33554432000 4194304 4650419 140736637589216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15215/tid=15217] ppid=15213 vsize=636216 CPUtime=1002.28 cores=1,3,5,7
/proc/15215/task/15217/stat : 15217 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 208601 0 0 0 100165 63 0 0 25 0 4 0 651092940 651485184 106279 33554432000 4194304 4650419 140736637589216 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15215/tid=15218] ppid=15213 vsize=636216 CPUtime=1002.32 cores=1,3,5,7
/proc/15215/task/15218/stat : 15218 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 180895 0 0 0 100152 80 0 0 25 0 4 0 651092940 651485184 106279 33554432000 4194304 4650419 140736637589216 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3997.83
Current children cumulated vsize (KiB) 636216

[startup+1062.3 s]
/proc/loadavg: 4.10 4.69 6.21 5/345 15265
/proc/meminfo: memFree=25371508/32951124 swapFree=40554400/67111528
[pid=15215] ppid=15213 vsize=716220 CPUtime=4237.17 cores=1,3,5,7
/proc/15215/stat : 15215 (strangenight1-m) R 15213 15215 14540 0 -1 4202496 703694 0 0 0 423455 262 0 0 25 0 4 0 651092940 733409280 112799 33554432000 4194304 4650419 140736637589216 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15215/statm: 179055 112799 392 112 0 174020 0
[pid=15215/tid=15216] ppid=15213 vsize=716220 CPUtime=1050.22 cores=1,3,5,7
/proc/15215/task/15216/stat : 15216 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 167316 0 0 0 104954 68 0 0 25 0 4 0 651092940 733409280 112799 33554432000 4194304 4650419 140736637589216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15215/tid=15217] ppid=15213 vsize=716220 CPUtime=1062.28 cores=1,3,5,7
/proc/15215/task/15217/stat : 15217 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 214747 0 0 0 106162 66 0 0 25 0 4 0 651092940 733409280 112799 33554432000 4194304 4650419 140736637589216 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15215/tid=15218] ppid=15213 vsize=716220 CPUtime=1062.32 cores=1,3,5,7
/proc/15215/task/15218/stat : 15218 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 184997 0 0 0 106149 83 0 0 25 0 4 0 651092940 733409280 112799 33554432000 4194304 4650419 140736637589216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4237.17
Current children cumulated vsize (KiB) 716220

[startup+1122.3 s]
/proc/loadavg: 4.10 4.58 6.08 5/345 15267
/proc/meminfo: memFree=25355616/32951124 swapFree=40554400/67111528
[pid=15215] ppid=15213 vsize=770776 CPUtime=4476.49 cores=1,3,5,7
/proc/15215/stat : 15215 (strangenight1-m) R 15213 15215 14540 0 -1 4202496 728662 0 0 0 447375 274 0 0 25 0 4 0 651092940 789274624 116634 33554432000 4194304 4650419 140736637589216 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15215/statm: 192694 116634 392 112 0 187659 0
[pid=15215/tid=15216] ppid=15213 vsize=770776 CPUtime=1109.54 cores=1,3,5,7
/proc/15215/task/15216/stat : 15216 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 174500 0 0 0 110880 74 0 0 25 0 4 0 651092940 789274624 116634 33554432000 4194304 4650419 140736637589216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15215/tid=15217] ppid=15213 vsize=770776 CPUtime=1122.28 cores=1,3,5,7
/proc/15215/task/15217/stat : 15217 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 222189 0 0 0 112157 71 0 0 25 0 4 0 651092940 789274624 116634 33554432000 4194304 4650419 140736637589216 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15215/tid=15218] ppid=15213 vsize=770776 CPUtime=1122.32 cores=1,3,5,7
/proc/15215/task/15218/stat : 15218 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 192342 0 0 0 112148 84 0 0 25 0 4 0 651092940 789274624 116634 33554432000 4194304 4650419 140736637589216 18446744073709551615 4438661 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4476.49
Current children cumulated vsize (KiB) 770776

[startup+1182.3 s]
/proc/loadavg: 4.03 4.47 5.94 5/345 15278
/proc/meminfo: memFree=25346504/32951124 swapFree=40554400/67111528
[pid=15215] ppid=15213 vsize=878588 CPUtime=4715.8 cores=1,3,5,7
/proc/15215/stat : 15215 (strangenight1-m) R 15213 15215 14540 0 -1 4202496 749376 0 0 0 471296 284 0 0 25 0 4 0 651092940 899674112 118701 33554432000 4194304 4650419 140736637589216 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15215/statm: 219647 118701 392 112 0 214612 0
[pid=15215/tid=15216] ppid=15213 vsize=878588 CPUtime=1168.84 cores=1,3,5,7
/proc/15215/task/15216/stat : 15216 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 181241 0 0 0 116807 77 0 0 25 0 4 0 651092940 899674112 118701 33554432000 4194304 4650419 140736637589216 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15215/tid=15217] ppid=15213 vsize=878588 CPUtime=1182.28 cores=1,3,5,7
/proc/15215/task/15217/stat : 15217 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 231828 0 0 0 118152 76 0 0 25 0 4 0 651092940 899674112 118701 33554432000 4194304 4650419 140736637589216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15215/tid=15218] ppid=15213 vsize=878588 CPUtime=1182.32 cores=1,3,5,7
/proc/15215/task/15218/stat : 15218 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 195363 0 0 0 118148 84 0 0 25 0 4 0 651092940 899674112 118701 33554432000 4194304 4650419 140736637589216 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4715.8
Current children cumulated vsize (KiB) 878588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.5 s]
/proc/loadavg: 4.02 4.43 5.89 5/345 15278
/proc/meminfo: memFree=25337696/32951124 swapFree=40554400/67111528
[pid=15215] ppid=15213 vsize=878588 CPUtime=4800.38 cores=1,3,5,7
/proc/15215/stat : 15215 (strangenight1-m) R 15213 15215 14540 0 -1 4202496 753583 0 0 0 479753 285 0 0 25 0 4 0 651092940 899674112 120746 33554432000 4194304 4650419 140736637589216 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15215/statm: 219647 120746 392 112 0 214612 0
[pid=15215/tid=15216] ppid=15213 vsize=878588 CPUtime=1189.78 cores=1,3,5,7
/proc/15215/task/15216/stat : 15216 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 181241 0 0 0 118901 77 0 0 25 0 4 0 651092940 899674112 120747 33554432000 4194304 4650419 140736637589216 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15215/tid=15217] ppid=15213 vsize=878588 CPUtime=1203.5 cores=1,3,5,7
/proc/15215/task/15217/stat : 15217 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 235023 0 0 0 120273 77 0 0 25 0 4 0 651092940 899674112 120747 33554432000 4194304 4650419 140736637589216 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15215/tid=15218] ppid=15213 vsize=878588 CPUtime=1203.54 cores=1,3,5,7
/proc/15215/task/15218/stat : 15218 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 195862 0 0 0 120269 85 0 0 25 0 4 0 651092940 899674112 120747 33554432000 4194304 4650419 140736637589216 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 878588

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1203.5 s]
/proc/loadavg: 4.02 4.43 5.89 5/345 15278
/proc/meminfo: memFree=25337696/32951124 swapFree=40554400/67111528
[pid=15215] ppid=15213 vsize=878588 CPUtime=4800.38 cores=1,3,5,7
/proc/15215/stat : 15215 (strangenight1-m) R 15213 15215 14540 0 -1 4202496 753583 0 0 0 479753 285 0 0 25 0 4 0 651092940 899674112 120746 33554432000 4194304 4650419 140736637589216 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15215/statm: 219647 120746 392 112 0 214612 0
[pid=15215/tid=15216] ppid=15213 vsize=878588 CPUtime=1189.78 cores=1,3,5,7
/proc/15215/task/15216/stat : 15216 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 181241 0 0 0 118901 77 0 0 25 0 4 0 651092940 899674112 120747 33554432000 4194304 4650419 140736637589216 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15215/tid=15217] ppid=15213 vsize=878588 CPUtime=1203.5 cores=1,3,5,7
/proc/15215/task/15217/stat : 15217 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 235023 0 0 0 120273 77 0 0 25 0 4 0 651092940 899674112 120747 33554432000 4194304 4650419 140736637589216 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15215/tid=15218] ppid=15213 vsize=878588 CPUtime=1203.54 cores=1,3,5,7
/proc/15215/task/15218/stat : 15218 (strangenight1-m) R 15213 15215 14540 0 -1 4202560 195862 0 0 0 120269 85 0 0 25 0 4 0 651092940 899674112 120747 33554432000 4194304 4650419 140736637589216 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 878588

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.54
CPU time (s): 4800.43
CPU user time (s): 4797.56
CPU system time (s): 2.86856
CPU usage (%): 398.86
Max. virtual memory (cumulated for all children) (KiB): 972776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.56
system time used= 2.86856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 753585
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1485
involuntary context switches= 31667

runsolver used 3.85941 second user time and 9.90349 second system time

The end

Launcher Data 

Begin job on node104 at 2011-05-14 19:42:05
IDJOB=3368505
IDBENCH=82514
IDSOLVER=1846
FILE ID=node104/3368505-1305394925
RUNJOBID= node104-1305393593-14855
PBS_JOBID= 13324447
Free space on /tmp= 73384 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/large/unif-k7-r85-v150-c12750-S541704841-072-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368505-1305394925/watcher-3368505-1305394925 -o /tmp/evaluation-result-3368505-1305394925/solver-3368505-1305394925 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368505-1305394925.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= d89541d4d678adcd99dbf4694eb0406c
RANDOM SEED=1787129212

node104.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5293.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20958172 kB
Buffers:        288792 kB
Cached:        2373768 kB
SwapCached:     122128 kB
Active:        5766568 kB
Inactive:      5950260 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20958172 kB
SwapTotal:    67111528 kB
SwapFree:     40554400 kB
Dirty:            6612 kB
Writeback:           0 kB
AnonPages:     8944760 kB
Mapped:          11492 kB
Slab:           117152 kB
PageTables:      95600 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 80546568 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73388 MiB
End job on node104 at 2011-05-14 20:02:10