Trace number 3175036

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? (TO) 4800.28 1201.74

General information on the benchmark

Namerandom/large/
unif-k7-r85-v150-c12750-S511186849-048-UNKNOWN.cnf
MD5SUM6a6ca4aade15f7a3c6a2d058c788d3f5
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3.20651
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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175036-1304078923.cnf'
0.00/0.00	c -- header says num vars:            150
0.00/0.00	c -- header says num clauses:       12750
0.00/0.01	c -- clauses added:            0 learnts,        12750 normals,            0 xors
0.00/0.01	c -- vars added        150
0.00/0.01	c Parsing time:  0.03 s
0.00/0.01	c  N st     0         0       150     12750         0         0     89250         0   no data   no data  --
1.18/0.31	c asymm  cl-useful: 0/12750/12750 lits-rem:0 time: 1.19
1.18/0.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
1.97/0.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.97/0.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1.97/0.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1.97/0.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1.97/0.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
1.97/0.53	c Finding binary XORs  T:     0.00 s  found:       0
1.97/0.53	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
1.97/0.53	c calculated reachability. Time: 0.00
1.97/0.53	c Calc default polars -  time:   0.00 s pos:      71 undec:       2 neg:      77
1.97/0.53	c =========================================================================================
1.97/0.53	c types(t): F = full restart, N = normal restart
1.97/0.53	c types(t): S = simplification begin/end, E = solution found
1.97/0.53	c restart types(rt): st = static, dy = dynamic
1.97/0.53	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.97/0.53	c  B st     0         0       150     12750         0         0     89250         0   no data   no data  --
1.97/0.59	c  N dy     9      4543       150     12750         0      4329     89250    197261     40.14     42.43  --
4.78/1.20	c  N dy    18      8613       150     12750         0      5833     89250    232791     39.34     44.10  --
4.78/1.20	c  N dy    28     13410       150     12750         0      6376     89250    224402     39.26     41.53  --
5.16/1.30	c  N dy    40     17988       150     12750         0     10762     89250    421374     39.20     41.36  --
6.36/1.64	c  F st    60     25001       150     12750         0     12124     89250    447318     39.12     36.01  --
6.36/1.64	c  N st    60     25001       150     12750         0     12124     89250    447318     39.12     36.01  --
7.56/1.94	c  N dy    66     30001       150     12750         0     10387     89250    334069     39.12   no data  --
7.56/1.94	c  S st    66     30001       150     12750         0     10387     89250    334069     39.12   no data  --
7.56/1.98	c  S st    66     30505       150     12750         0     10872     89250    355302     39.12   no data  --
7.56/1.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.56/1.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.56/1.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
7.96/2.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.96/2.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.96/2.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
7.96/2.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.15/4.33	c lits-rem:      2175  cl-subs:      472  v-elim:      0  v-fix:    0  time:  9.28 s
18.74/4.77	c asymm  cl-useful: 0/10837/12750 lits-rem:0 time: 1.75
18.74/4.77	c calculated reachability. Time: 0.00
18.74/4.77	c  N dy    66     30505       150     12750         0     10400     89250    327623     39.12   no data  --
20.34/5.12	c  N dy    70     35938       150     12750         0      8042     89250    197422     38.72     40.87  --
21.14/5.35	c  N dy    85     40136       150     12750         0     12059     89250    377845     38.84     41.24  --
22.35/5.63	c  N dy    97     44181       150     12750         0     15942     89250    550909     38.86     43.19  --
22.73/5.76	c  S st   103     45758       150     12750         0      8872     89250    199746     38.83     36.58  --
23.13/5.80	c  S st   103     46265       150     12750         0      9366     89250    221787     38.83   no data  --
23.13/5.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
23.13/5.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.13/5.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
23.13/5.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.13/5.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.13/5.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
23.13/5.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.13/7.30	c lits-rem:       227  cl-subs:       62  v-elim:      0  v-fix:    0  time:  5.93 s
29.13/7.30	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
29.13/7.30	c vivif2 --  cl tried     9304 cl shrink        0 lits rem          0 time: 0.01
29.13/7.38	c asymm  cl-useful: 0/1913/12750 lits-rem:0 time: 0.32
29.13/7.39	c calculated reachability. Time: 0.00
29.13/7.39	c  N dy   103     46265       150     12750         0      9304     89250    218117     38.83   no data  --
31.15/7.89	c  N dy   115     53754       150     12750         0     16479     89250    534756     38.53     40.77  --
32.72/8.22	c  N dy   131     58611       150     12750         0     11568     89250    287468     38.58     40.67  --
33.93/8.51	c  N dy   149     62756       150     12750         0     15560     89250    465996     38.62     40.85  --
35.14/8.82	c  N dy   165     66763       150     12750         0     19406     89250    638117     38.66     41.06  --
35.92/9.05	c  S st   182     69397       150     12750         0     11380     89250    248462     38.74     37.82  --
35.92/9.09	c  S st   182     69903       150     12750         0     11870     89250    269604     38.74   no data  --
35.92/9.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
35.92/9.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.32/9.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
36.32/9.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.32/9.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.32/9.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
36.32/9.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.71/10.79	c lits-rem:       509  cl-subs:       97  v-elim:      0  v-fix:    0  time:  6.71 s
42.71/10.79	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
43.11/10.80	c vivif2 --  cl tried    11773 cl shrink        0 lits rem          0 time: 0.01
44.70/11.28	c asymm  cl-useful: 0/9995/12750 lits-rem:0 time: 1.91
44.70/11.28	c calculated reachability. Time: 0.00
44.70/11.28	c  N dy   182     69903       150     12750         0     11773     89250    263618     38.74   no data  --
46.30/11.66	c  N dy   184     75083       150     12750         0     16698     89250    481522     38.63     40.86  --
47.90/12.06	c  N dy   197     79956       150     12750         0     21357     89250    687980     38.62     40.74  --
49.50/12.45	c  N dy   211     85068       150     12750         0     14780     89250    369322     38.63     40.68  --
50.30/12.63	c  F st   221     87500       150     12750         0     17108     89250    472759     38.65     35.92  --
51.50/12.90	c  N st   226     90803       150     12750         0     20261     89250    616178     38.65   no data  --
53.49/13.44	c  N dy   242     96743       150     12750         0     13527     89250    281826     38.67     40.77  --
55.49/13.95	c  N dy   268    103008       150     12750         0     19539     89250    550472     38.71     40.82  --
56.29/14.12	c  S st   278    104854       150     12750         0     21305     89250    628773     38.74     39.33  --
56.69/14.20	c  S st   278    105358       150     12750         0     21796     89250    650398     38.74   no data  --
56.69/14.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
56.69/14.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
56.69/14.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.06
56.69/14.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
56.69/14.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
56.69/14.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
56.69/14.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
70.69/17.75	c lits-rem:      1897  cl-subs:      912  v-elim:      0  v-fix:    0  time: 14.01 s
70.69/17.75	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
70.69/17.75	c vivif2 --  cl tried    20884 cl shrink        0 lits rem          0 time: 0.02
71.46/17.98	c asymm  cl-useful: 0/2755/12750 lits-rem:0 time: 0.91
71.46/17.98	c calculated reachability. Time: 0.00
71.46/17.98	c  N dy   278    105358       150     12750         0     20884     89250    597842     38.74   no data  --
75.86/19.02	c  N dy   288    118248       150     12750         0     19770     89250    524932     38.37     40.41  --
78.67/19.70	c  N dy   326    125874       150     12750         0     27077     89250    851771     38.46     41.81  --
88.64/22.26	c  N dy   368    155025       150     12750         0     25236     89250    706958     38.13     40.26  --
89.84/22.57	c  S st   375    158038       150     12750         0     28128     89250    833385     38.12     36.86  --
90.24/22.64	c  S st   375    158540       150     12750         0     28615     89250    854496     38.12   no data  --
90.24/22.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
90.24/22.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
90.24/22.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
90.24/22.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
90.24/22.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
90.24/22.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
90.24/22.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
105.84/26.59	c lits-rem:      1296  cl-subs:     1979  v-elim:      0  v-fix:    0  time: 15.58 s
105.84/26.59	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
106.22/26.60	c vivif2 --  cl tried    26636 cl shrink        0 lits rem          0 time: 0.03
107.02/26.85	c asymm  cl-useful: 0/3317/12750 lits-rem:0 time: 0.99
107.02/26.85	c calculated reachability. Time: 0.00
107.02/26.85	c  N dy   375    158540       150     12750         0     26636     89250    759249     38.12   no data  --
111.81/28.08	c  N dy   432    170437       150     12750         0     21852     89250    529814     38.17     40.21  --
121.79/30.55	c  N dy   486    193250       150     12750         0     26446     89250    698615     38.05     40.17  --
127.81/32.06	c  N dy   554    206370       150     12750         0     20861     89250    419976     38.13     40.34  --
133.78/33.57	c  N dy   621    220014       150     12750         0     33984     89250   1003950     38.19     40.36  --
140.59/35.24	c  N dy   681    234065       150     12750         0     28302     89250    718452     38.24     40.62  --
142.17/35.66	c  S st   701    237810       150     12750         0     31898     89250    878983     38.26     37.49  --
142.57/35.76	c  S st   701    238314       150     12750         0     32384     89250    900795     38.26   no data  --
142.57/35.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
142.57/35.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
142.57/35.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
142.96/35.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
142.96/35.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
142.96/35.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
142.96/35.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
165.34/41.42	c lits-rem:      2120  cl-subs:     1220  v-elim:      0  v-fix:    0  time: 22.41 s
165.34/41.42	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
165.34/41.43	c vivif2 --  cl tried    31164 cl shrink        0 lits rem          0 time: 0.04
166.14/41.66	c asymm  cl-useful: 0/2454/12750 lits-rem:0 time: 0.91
166.14/41.66	c calculated reachability. Time: 0.00
166.14/41.66	c  N dy   701    238314       150     12750         0     31164     89250    830932     38.26   no data  --
172.53/43.26	c  N dy   766    253584       150     12750         0     25715     89250    570295     38.30     40.35  --
179.72/45.06	c  N dy   832    269800       150     12750         0     41284     89250   1264673     38.34     40.37  --
186.91/46.87	c  N dy   887    287120       150     12750         0     36749     89250   1024204     38.35     41.66  --
195.30/48.91	c  N dy   947    305541       150     12750         0     32317     89250    794741     38.38     40.42  --
195.70/49.00	c  F st   953    306250       150     12750         0     32994     89250    825629     38.38   no data  --
204.49/51.28	c  N dy   988    326547       150     12750         0     29462     89250    638485     38.36     40.76  --
214.87/53.84	c  N dy  1073    346723       150     12750         0     24857     89250    401612     38.41     40.53  --
219.28/54.97	c  S st  1119    357472       150     12750         0     35180     89250    861792     38.43     36.72  --
219.69/55.07	c  S st  1119    357974       150     12750         0     35669     89250    882810     38.43   no data  --
219.69/55.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
219.69/55.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
219.69/55.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
220.10/55.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
220.10/55.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
220.10/55.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
220.10/55.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
248.43/62.21	c lits-rem:      1922  cl-subs:     1093  v-elim:      0  v-fix:    0  time: 28.31 s
248.43/62.21	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
248.43/62.22	c vivif2 --  cl tried    34576 cl shrink        0 lits rem          0 time: 0.04
249.63/62.50	c asymm  cl-useful: 0/2235/12750 lits-rem:0 time: 1.14
249.63/62.51	c calculated reachability. Time: 0.00
249.63/62.51	c  N dy  1119    357974       150     12750         0     34576     89250    820636     38.43   no data  --
259.64/65.09	c  N dy  1195    378009       150     12750         0     28923     89250    545639     38.47     40.64  --
269.60/67.58	c  N dy  1272    398103       150     12750         0     48179     89250   1405730     38.50     40.87  --
279.59/70.03	c  N dy  1335    418291       150     12750         0     41654     89250   1080397     38.51     40.56  --
290.39/72.73	c  N dy  1400    438317       150     12750         0     34000     89250    706266     38.51     43.08  --
301.16/75.48	c  N dy  1481    458376       150     12750         0     53264     89250   1569993     38.54     40.98  --
311.55/78.04	c  N dy  1555    478412       150     12750         0     44662     89250   1149881     38.57     40.86  --
323.53/81.05	c  N dy  1620    499944       150     12750         0     36552     89250    752776     38.58     40.67  --
334.71/83.84	c  N dy  1631    521383       150     12750         0     57037     89250   1662925     38.50     40.53  --
343.12/85.96	c  S st  1698    536962       150     12750         0     42266     89250    978663     38.52     39.80  --
343.50/86.08	c  S st  1698    537466       150     12750         0     42758     89250   1000286     38.52   no data  --
343.50/86.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
343.50/86.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
343.90/86.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
343.90/86.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
343.90/86.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
343.90/86.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
343.90/86.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
369.87/92.63	c lits-rem:      2265  cl-subs:     1263  v-elim:      0  v-fix:    0  time: 25.96 s
369.87/92.64	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
369.87/92.65	c vivif2 --  cl tried    41495 cl shrink        0 lits rem          0 time: 0.04
371.07/92.92	c asymm  cl-useful: 0/1862/12750 lits-rem:0 time: 1.09
371.07/92.92	c calculated reachability. Time: 0.00
371.07/92.92	c  N dy  1698    537466       150     12750         0     41495     89250    928990     38.52   no data  --
383.45/96.01	c  N dy  1737    557962       150     12750         0     61115     89250   1798756     38.50     40.62  --
394.23/98.70	c  N dy  1758    578319       150     12750         0     49920     89250   1282098     38.46     40.64  --
406.62/101.81	c  N dy  1797    598369       150     12750         0     37532     89250    703533     38.43     41.12  --
419.80/105.19	c  N dy  1859    619418       150     12750         0     57710     89250   1604144     38.42     40.52  --
433.38/108.50	c  N dy  1923    639435       150     12750         0     44322     89250    969001     38.42     41.61  --
448.58/112.33	c  N dy  2003    659659       150     12750         0     63712     89250   1835759     38.44     40.49  --
462.54/115.81	c  N dy  2076    680861       150     12750         0     50581     89250   1222164     38.45     40.51  --
478.52/119.85	c  N dy  2139    700940       150     12750         0     35322     89250    502772     38.47     40.97  --
490.50/122.88	c  N dy  2215    721340       150     12750         0     54858     89250   1372480     38.47     40.59  --
508.08/127.24	c  N dy  2249    748891       150     12750         0     45708     89250    927556     38.43     40.57  --
521.66/130.68	c  N dy  2338    768896       150     12750         0     64870     89250   1782403     38.45     42.07  --
534.84/133.96	c  N dy  2409    789442       150     12750         0     48164     89250   1007473     38.46     40.60  --
546.02/136.79	c  S st  2464    806199       150     12750         0     64235     89250   1723437     38.46     37.87  --
547.22/137.00	c  S st  2464    806702       150     12750         0     64728     89250   1744618     38.46   no data  --
547.22/137.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
547.22/137.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
547.22/137.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.16
547.62/137.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
547.62/137.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
547.62/137.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
547.62/137.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
643.09/161.01	c lits-rem:      2129  cl-subs:     2778  v-elim:      0  v-fix:    0  time: 95.46 s
643.09/161.01	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
643.09/161.03	c vivif2 --  cl tried    61950 cl shrink        0 lits rem          0 time: 0.07
644.29/161.37	c asymm  cl-useful: 0/1322/12750 lits-rem:0 time: 1.37
644.29/161.38	c calculated reachability. Time: 0.00
644.29/161.38	c  N dy  2464    806702       150     12750         0     61950     89250   1592219     38.46   no data  --
659.87/165.27	c  N dy  2528    827360       150     12750         0     44473     89250    809205     38.47     40.63  --
674.25/168.84	c  N dy  2597    848754       150     12750         0     64977     89250   1724960     38.47     40.70  --
689.85/172.78	c  N dy  2677    868921       150     12750         0     46010     89250    845154     38.49     40.72  --
706.61/176.96	c  N dy  2753    893751       150     12750         0     69826     89250   1907017     38.49     40.70  --
721.79/180.79	c  N dy  2827    913919       150     12750         0     49885     89250    987706     38.50     40.54  --
735.36/184.14	c  N dy  2870    934126       150     12750         0     69265     89250   1851448     38.49     40.63  --
750.95/188.01	c  N dy  2934    954170       150     12750         0     48230     89250    877583     38.49     40.53  --
765.73/191.70	c  N dy  3009    974260       150     12750         0     67478     89250   1731485     38.50     40.67  --
782.13/195.88	c  N dy  3073    994885       150     12750         0     46029     89250    748371     38.50     40.54  --
795.71/199.29	c  N dy  3119   1015587       150     12750         0     65788     89250   1626128     38.49     40.65  --
813.66/203.78	c  N dy  3194   1035595       150     12750         0     42824     89250    571129     38.50     42.48  --
828.84/207.57	c  N dy  3262   1055665       150     12750         0     62034     89250   1425307     38.51     40.61  --
844.82/211.50	c  F st  3325   1071875       150     12750         0     77602     89250   2121516     38.52     39.84  --
849.61/212.73	c  N dy  3331   1077075       150     12750         0     82578     89250   2344399     38.52   no data  --
866.79/217.07	c  N dy  3420   1097208       150     12750         0     58785     89250   1247757     38.54     40.65  --
885.97/221.86	c  N dy  3500   1117845       150     12750         0     78563     89250   2134086     38.55     40.61  --
906.73/227.02	c  N dy  3578   1137950       150     12750         0     53750     89250    990086     38.56     40.63  --
932.70/233.53	c  N dy  3635   1168742       150     12750         0     83226     89250   2302957     38.54     40.87  --
950.68/238.02	c  N dy  3692   1189627       150     12750         0     58084     89250   1143546     38.53     40.75  --
969.45/242.78	c  N dy  3781   1209672       150     12750         0     77279     89250   2004870     38.55     40.59  --
969.85/242.89	c  S st  3784   1210053       150     12750         0     77648     89250   2021406     38.55   no data  --
971.07/243.12	c  S st  3784   1210558       150     12750         0     78145     89250   2043515     38.55   no data  --
971.07/243.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
971.07/243.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
971.07/243.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.20
971.47/243.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
971.47/243.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
971.47/243.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
971.47/243.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1128.44/282.54	c lits-rem:      2441  cl-subs:     3680  v-elim:      0  v-fix:    0  time: 156.92 s
1128.44/282.54	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
1128.44/282.56	c vivif2 --  cl tried    74465 cl shrink        0 lits rem          0 time: 0.09
1130.44/283.00	c asymm  cl-useful: 0/1122/12750 lits-rem:0 time: 1.75
1130.44/283.01	c calculated reachability. Time: 0.00
1130.44/283.01	c  N dy  3784   1210558       150     12750         0     74465     89250   1849270     38.55   no data  --
1154.00/288.90	c  N dy  3837   1230958       150     12750         0     48150     89250    677702     38.54     40.75  --
1171.97/293.40	c  N dy  3902   1251247       150     12750         0     67561     89250   1539620     38.54     40.65  --
1195.56/299.39	c  N dy  4007   1271276       150     12750         0     86864     89250   2406452     38.56     42.93  --
1215.92/304.47	c  N dy  4068   1291301       150     12750         0     59129     89250   1127968     38.56     41.10  --
1236.68/309.60	c  N dy  4131   1311330       150     12750         0     78294     89250   1984538     38.57     44.12  --
1261.48/315.84	c  N dy  4205   1331414       150     12750         0     49662     89250    672909     38.57     40.93  --
1280.63/320.62	c  N dy  4296   1351690       150     12750         0     69085     89250   1539819     38.59     40.69  --
1303.79/326.44	c  N dy  4366   1371713       150     12750         0     88263     89250   2396572     38.59     41.26  --
1327.39/332.34	c  N dy  4415   1394141       150     12750         0     60876     89250   1141557     38.59     41.09  --
1350.53/338.14	c  N dy  4491   1416064       150     12750         0     81930     89250   2081476     38.59     40.79  --
1375.71/344.44	c  N dy  4540   1437677       150     12750         0     52762     89250    746136     38.59     40.90  --
1394.87/349.21	c  N dy  4625   1457778       150     12750         0     72016     89250   1608927     38.60     41.02  --
1418.04/355.06	c  N dy  4683   1477966       150     12750         0     91312     89250   2471546     38.61     40.69  --
1443.20/361.39	c  N dy  4772   1499114       150     12750         0     60851     89250   1076720     38.62     41.07  --
1461.58/365.97	c  N dy  4805   1519890       150     12750         0     80674     89250   1953075     38.60     40.72  --
1489.56/372.95	c  N dy  4886   1539970       150     12750         0     99934     89250   2814439     38.61     40.69  --
1511.12/378.33	c  N dy  4972   1560001       150     12750         0     67430     89250   1336840     38.62     40.92  --
1534.28/384.10	c  N dy  5051   1580090       150     12750         0     86648     89250   2194876     38.63     41.51  --
1565.83/392.04	c  N dy  5067   1611323       150     12750         0     63791     89250   1135059     38.59     40.69  --
1586.23/397.15	c  N dy  5150   1631607       150     12750         0     83250     89250   2006964     38.60     40.81  --
1610.97/403.38	c  N dy  5219   1652171       150     12750         0    102941     89250   2888764     38.60     40.69  --
1632.14/408.65	c  N dy  5308   1672386       150     12750         0     68795     89250   1327366     38.61     40.90  --
1652.91/413.87	c  N dy  5366   1692403       150     12750         0     88027     89250   2184876     38.62     40.92  --
1678.90/420.30	c  S st  5462   1710560       150     12750         0    105415     89250   2966645     38.63     39.84  --
1680.08/420.62	c  S st  5462   1711063       150     12750         0    105909     89250   2988920     38.63   no data  --
1680.08/420.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1680.08/420.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1680.48/420.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.27
1680.48/420.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1680.48/420.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1680.48/420.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1680.48/420.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2882.45/721.66	c lits-rem:      4759  cl-subs:     5263  v-elim:      0  v-fix:    0  time: 1201.32 s
2882.45/721.66	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
2882.45/721.69	c vivif2 --  cl tried   100646 cl shrink        0 lits rem          0 time: 0.13
2884.43/722.11	c asymm  cl-useful: 0/1111/12750 lits-rem:0 time: 1.66
2884.43/722.11	c calculated reachability. Time: 0.00
2884.43/722.11	c  N dy  5462   1711063       150     12750         0    100646     89250   2696643     38.63   no data  --
2908.00/728.00	c  N dy  5563   1731064       150     12750         0     65261     89250   1134489     38.64     41.69  --
2929.57/733.45	c  N dy  5623   1752425       150     12750         0     85713     89250   2048960     38.64     40.73  --
2956.73/740.29	c  N dy  5676   1772938       150     12750         0    105379     89250   2928087     38.64     40.71  --
2979.11/745.83	c  N dy  5735   1793497       150     12750         0     69573     89250   1290377     38.64     40.92  --
3003.46/751.99	c  N dy  5787   1814604       150     12750         0     89718     89250   2189000     38.64     40.82  --
3031.02/758.86	c  N dy  5833   1834628       150     12750         0    108876     89250   3041742     38.64     40.70  --
3053.82/764.50	c  N dy  5896   1854664       150     12750         0     71608     89250   1349490     38.64     44.04  --
3078.96/770.80	c  N dy  5968   1875281       150     12750         0     91373     89250   2231820     38.64     40.72  --
3106.13/777.61	c  N dy  6035   1895357       150     12750         0    110655     89250   3094231     38.65     45.06  --
3129.29/783.47	c  N dy  6106   1917817       150     12750         0     74697     89250   1454985     38.65     40.69  --
3156.85/790.33	c  N dy  6159   1943889       150     12750         0     99528     89250   2559716     38.64     41.16  --
3185.22/797.49	c  N dy  6235   1963911       150     12750         0     60368     89250    780776     38.64     40.72  --
3203.61/802.06	c  N dy  6271   1985145       150     12750         0     80632     89250   1684793     38.63     40.81  --
3228.75/808.34	c  N dy  6351   2005346       150     12750         0     99872     89250   2543224     38.64     40.77  --
3258.71/815.81	c  N dy  6427   2025660       150     12750         0     60084     89250    734919     38.64     40.85  --
3275.50/820.03	c  N dy  6503   2045750       150     12750         0     79367     89250   1600158     38.65     40.73  --
3295.48/825.01	c  N dy  6541   2065783       150     12750         0     98554     89250   2454403     38.64     40.77  --
3321.43/831.56	c  N dy  6610   2085839       150     12750         0    117775     89250   3314510     38.64     40.93  --
3344.59/837.31	c  N dy  6691   2109526       150     12750         0     80105     89250   1597115     38.65     41.01  --
3366.57/842.83	c  N dy  6755   2130387       150     12750         0    100081     89250   2491231     38.65     41.10  --
3396.12/850.29	c  N dy  6827   2151683       150     12750         0    120484     89250   3403105     38.65     40.72  --
3417.70/855.69	c  N dy  6902   2172158       150     12750         0     78850     89250   1501801     38.66     40.70  --
3442.46/861.87	c  N dy  6997   2192188       150     12750         0     98020     89250   2361835     38.67     41.18  --
3469.23/868.58	c  S st  7058   2211065       150     12750         0    116092     89250   3170352     38.67     39.71  --
3470.83/868.93	c  S st  7058   2211568       150     12750         0    116585     89250   3191925     38.67   no data  --
3470.83/868.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3470.83/868.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3471.25/869.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.27
3471.25/869.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3471.25/869.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3471.25/869.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3471.25/869.09	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: 935)

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-3175036-1304078923/watcher-3175036-1304078923 -o /tmp/evaluation-result-3175036-1304078923/solver-3175036-1304078923 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175036-1304078923.cnf 

running on 4 cores: 0,2,4,6

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: 8.13 8.13 8.09 7/180 31135
/proc/meminfo: memFree=30808732/32950928 swapFree=67111524/67111528
[pid=31135] ppid=31133 vsize=183280 CPUtime=0 cores=0,2,4,6
/proc/31135/stat : 31135 (strangenight1-m) R 31133 31135 30991 0 -1 4202496 763 0 0 0 0 0 0 0 25 0 4 0 598122936 187678720 687 33554432000 4194304 4650419 140734715210544 18446744073709551615 218880225989 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31135/statm: 78588 691 340 112 0 73553 0
[pid=31135/tid=31136] ppid=31133 vsize=248820 CPUtime=0 cores=0,2,4,6
/proc/31135/task/31136/stat : 31136 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 115 0 0 0 0 0 0 0 25 0 4 0 598122937 254791680 707 33554432000 4194304 4650419 140734715210544 18446744073709551615 218880225989 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31135/tid=31137] ppid=31133 vsize=248820 CPUtime=0 cores=0,2,4,6
/proc/31135/task/31137/stat : 31137 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 35 0 0 0 0 0 0 0 25 0 4 0 598122937 254791680 735 33554432000 4194304 4650419 140734715210544 18446744073709551615 218880565051 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31135/tid=31138] ppid=31133 vsize=265236 CPUtime=0 cores=0,2,4,6
/proc/31135/task/31138/stat : 31138 (strangenight1-m) S 31133 31135 30991 0 -1 4202560 115 0 0 0 0 0 0 0 25 0 4 0 598122937 271601664 754 33554432000 4194304 4650419 140734715210544 18446744073709551615 218880670190 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.106556 s]
/proc/loadavg: 8.13 8.13 8.09 7/180 31135
/proc/meminfo: memFree=30808732/32950928 swapFree=67111524/67111528
[pid=31135] ppid=31133 vsize=282896 CPUtime=0.41 cores=0,2,4,6
/proc/31135/stat : 31135 (strangenight1-m) R 31133 31135 30991 0 -1 4202496 2184 0 0 0 41 0 0 0 25 0 4 0 598122936 289685504 2108 33554432000 4194304 4650419 140734715210544 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31135/statm: 70724 2108 366 112 0 65689 0
[pid=31135/tid=31136] ppid=31133 vsize=282896 CPUtime=0.1 cores=0,2,4,6
/proc/31135/task/31136/stat : 31136 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 402 0 0 0 10 0 0 0 25 0 4 0 598122937 289685504 2108 33554432000 4194304 4650419 140734715210544 18446744073709551615 4536279 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31135/tid=31137] ppid=31133 vsize=282896 CPUtime=0.1 cores=0,2,4,6
/proc/31135/task/31137/stat : 31137 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 410 0 0 0 10 0 0 0 25 0 4 0 598122937 289685504 2108 33554432000 4194304 4650419 140734715210544 18446744073709551615 4371151 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31135/tid=31138] ppid=31133 vsize=282896 CPUtime=0.09 cores=0,2,4,6
/proc/31135/task/31138/stat : 31138 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 545 0 0 0 9 0 0 0 25 0 4 0 598122937 289685504 2108 33554432000 4194304 4650419 140734715210544 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282896

[startup+0.20054 s]
/proc/loadavg: 8.13 8.13 8.09 7/180 31135
/proc/meminfo: memFree=30808732/32950928 swapFree=67111524/67111528
[pid=31135] ppid=31133 vsize=282896 CPUtime=0.78 cores=0,2,4,6
/proc/31135/stat : 31135 (strangenight1-m) R 31133 31135 30991 0 -1 4202496 2353 0 0 0 78 0 0 0 25 0 4 0 598122936 289685504 2277 33554432000 4194304 4650419 140734715210544 18446744073709551615 4371088 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31135/statm: 70724 2277 366 112 0 65689 0
[pid=31135/tid=31136] ppid=31133 vsize=282896 CPUtime=0.19 cores=0,2,4,6
/proc/31135/task/31136/stat : 31136 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 408 0 0 0 19 0 0 0 25 0 4 0 598122937 289685504 2277 33554432000 4194304 4650419 140734715210544 18446744073709551615 4371092 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31135/tid=31137] ppid=31133 vsize=282896 CPUtime=0.19 cores=0,2,4,6
/proc/31135/task/31137/stat : 31137 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 426 0 0 0 19 0 0 0 25 0 4 0 598122937 289685504 2277 33554432000 4194304 4650419 140734715210544 18446744073709551615 4370480 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31135/tid=31138] ppid=31133 vsize=282896 CPUtime=0.19 cores=0,2,4,6
/proc/31135/task/31138/stat : 31138 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 676 0 0 0 19 0 0 0 25 0 4 0 598122937 289685504 2277 33554432000 4194304 4650419 140734715210544 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 282896

[startup+0.300522 s]
/proc/loadavg: 8.13 8.13 8.09 7/180 31135
/proc/meminfo: memFree=30808732/32950928 swapFree=67111524/67111528
[pid=31135] ppid=31133 vsize=284320 CPUtime=1.18 cores=0,2,4,6
/proc/31135/stat : 31135 (strangenight1-m) R 31133 31135 30991 0 -1 4202496 2813 0 0 0 118 0 0 0 25 0 4 0 598122936 291143680 2382 33554432000 4194304 4650419 140734715210544 18446744073709551615 4369378 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31135/statm: 71080 2382 370 112 0 66045 0
[pid=31135/tid=31136] ppid=31133 vsize=284320 CPUtime=0.29 cores=0,2,4,6
/proc/31135/task/31136/stat : 31136 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 419 0 0 0 29 0 0 0 25 0 4 0 598122937 291143680 2382 33554432000 4194304 4650419 140734715210544 18446744073709551615 4370701 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31135/tid=31137] ppid=31133 vsize=284320 CPUtime=0.29 cores=0,2,4,6
/proc/31135/task/31137/stat : 31137 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 440 0 0 0 29 0 0 0 25 0 4 0 598122937 291143680 2382 33554432000 4194304 4650419 140734715210544 18446744073709551615 4370892 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31135/tid=31138] ppid=31133 vsize=284320 CPUtime=0.29 cores=0,2,4,6
/proc/31135/task/31138/stat : 31138 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 1097 0 0 0 29 0 0 0 25 0 4 0 598122937 291143680 2382 33554432000 4194304 4650419 140734715210544 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284320

[startup+0.700454 s]
/proc/loadavg: 8.13 8.13 8.09 7/180 31135
/proc/meminfo: memFree=30808732/32950928 swapFree=67111524/67111528
[pid=31135] ppid=31133 vsize=269900 CPUtime=2.77 cores=0,2,4,6
/proc/31135/stat : 31135 (strangenight1-m) R 31133 31135 30991 0 -1 4202496 8187 0 0 0 276 1 0 0 18 0 4 0 598122936 276377600 5468 33554432000 4194304 4650419 140734715210544 18446744073709551615 4355019 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31135/statm: 67475 5468 390 112 0 62440 0
[pid=31135/tid=31136] ppid=31133 vsize=269900 CPUtime=0.68 cores=0,2,4,6
/proc/31135/task/31136/stat : 31136 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 2023 0 0 0 68 0 0 0 18 0 4 0 598122937 276377600 5468 33554432000 4194304 4650419 140734715210544 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31135/tid=31137] ppid=31133 vsize=269900 CPUtime=0.68 cores=0,2,4,6
/proc/31135/task/31137/stat : 31137 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 1945 0 0 0 68 0 0 0 18 0 4 0 598122937 276377600 5468 33554432000 4194304 4650419 140734715210544 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31135/tid=31138] ppid=31133 vsize=269900 CPUtime=0.69 cores=0,2,4,6
/proc/31135/task/31138/stat : 31138 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 1855 0 0 0 69 0 0 0 25 0 4 0 598122937 276377600 5468 33554432000 4194304 4650419 140734715210544 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 269900

[startup+1.50031 s]
/proc/loadavg: 8.13 8.13 8.09 11/184 31139
/proc/meminfo: memFree=30700460/32950928 swapFree=67111524/67111528
[pid=31135] ppid=31133 vsize=280472 CPUtime=5.96 cores=0,2,4,6
/proc/31135/stat : 31135 (strangenight1-m) R 31133 31135 30991 0 -1 4202496 13189 0 0 0 594 2 0 0 19 0 4 0 598122936 287203328 8159 33554432000 4194304 4650419 140734715210544 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31135/statm: 70118 8160 391 112 0 65083 0
[pid=31135/tid=31136] ppid=31133 vsize=280472 CPUtime=1.48 cores=0,2,4,6
/proc/31135/task/31136/stat : 31136 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 3396 0 0 0 148 0 0 0 19 0 4 0 598122937 287203328 8160 33554432000 4194304 4650419 140734715210544 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31135/tid=31137] ppid=31133 vsize=280472 CPUtime=1.48 cores=0,2,4,6
/proc/31135/task/31137/stat : 31137 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 2879 0 0 0 148 0 0 0 19 0 4 0 598122937 287203328 8160 33554432000 4194304 4650419 140734715210544 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31135/tid=31138] ppid=31133 vsize=280472 CPUtime=1.48 cores=0,2,4,6
/proc/31135/task/31138/stat : 31138 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 3215 0 0 0 148 0 0 0 25 0 4 0 598122937 287203328 8160 33554432000 4194304 4650419 140734715210544 18446744073709551615 4366047 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 280472

[startup+3.10104 s]
/proc/loadavg: 8.12 8.13 8.09 9/184 31139
/proc/meminfo: memFree=30672188/32950928 swapFree=67111524/67111528
[pid=31135] ppid=31133 vsize=293916 CPUtime=12.36 cores=0,2,4,6
/proc/31135/stat : 31135 (strangenight1-m) R 31133 31135 30991 0 -1 4202496 27230 0 0 0 1232 4 0 0 23 0 4 0 598122936 300969984 17967 33554432000 4194304 4650419 140734715210544 18446744073709551615 4438407 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31135/statm: 73479 17967 392 112 0 68444 0
[pid=31135/tid=31136] ppid=31133 vsize=293916 CPUtime=3.08 cores=0,2,4,6
/proc/31135/task/31136/stat : 31136 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 6019 0 0 0 307 1 0 0 23 0 4 0 598122937 300969984 17967 33554432000 4194304 4650419 140734715210544 18446744073709551615 4438449 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31135/tid=31137] ppid=31133 vsize=293916 CPUtime=3.08 cores=0,2,4,6
/proc/31135/task/31137/stat : 31137 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 7361 0 0 0 308 0 0 0 23 0 4 0 598122937 300969984 17967 33554432000 4194304 4650419 140734715210544 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31135/tid=31138] ppid=31133 vsize=293916 CPUtime=3.08 cores=0,2,4,6
/proc/31135/task/31138/stat : 31138 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 7989 0 0 0 307 1 0 0 25 0 4 0 598122937 300969984 17967 33554432000 4194304 4650419 140734715210544 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 293916

[startup+6.30048 s]
/proc/loadavg: 8.12 8.13 8.09 9/184 31139
/proc/meminfo: memFree=30600972/32950928 swapFree=67111524/67111528
[pid=31135] ppid=31133 vsize=285256 CPUtime=25.13 cores=0,2,4,6
/proc/31135/stat : 31135 (strangenight1-m) R 31133 31135 30991 0 -1 4202496 32236 0 0 0 2508 5 0 0 25 0 4 0 598122936 292102144 19049 33554432000 4194304 4650419 140734715210544 18446744073709551615 4476324 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31135/statm: 71314 19049 392 112 0 66279 0
[pid=31135/tid=31136] ppid=31133 vsize=285256 CPUtime=6.28 cores=0,2,4,6
/proc/31135/task/31136/stat : 31136 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 7267 0 0 0 627 1 0 0 25 0 4 0 598122937 292102144 19049 33554432000 4194304 4650419 140734715210544 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31135/tid=31137] ppid=31133 vsize=285256 CPUtime=6.28 cores=0,2,4,6
/proc/31135/task/31137/stat : 31137 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 7643 0 0 0 628 0 0 0 25 0 4 0 598122937 292102144 19049 33554432000 4194304 4650419 140734715210544 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31135/tid=31138] ppid=31133 vsize=285256 CPUtime=6.26 cores=0,2,4,6
/proc/31135/task/31138/stat : 31138 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 9915 0 0 0 625 1 0 0 25 0 4 0 598122937 292102144 19049 33554432000 4194304 4650419 140734715210544 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 285256

[startup+12.7004 s]
/proc/loadavg: 8.18 8.14 8.09 9/184 31139
/proc/meminfo: memFree=30559472/32950928 swapFree=67111524/67111528
[pid=31135] ppid=31133 vsize=285836 CPUtime=50.7 cores=0,2,4,6
/proc/31135/stat : 31135 (strangenight1-m) R 31133 31135 30991 0 -1 4202496 48707 0 0 0 5060 10 0 0 25 0 4 0 598122936 292696064 29700 33554432000 4194304 4650419 140734715210544 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31135/statm: 71459 29700 392 112 0 66424 0
[pid=31135/tid=31136] ppid=31133 vsize=285836 CPUtime=12.68 cores=0,2,4,6
/proc/31135/task/31136/stat : 31136 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 11239 0 0 0 1266 2 0 0 25 0 4 0 598122937 292696064 29700 33554432000 4194304 4650419 140734715210544 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31135/tid=31137] ppid=31133 vsize=285836 CPUtime=12.68 cores=0,2,4,6
/proc/31135/task/31137/stat : 31137 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 12176 0 0 0 1267 1 0 0 25 0 4 0 598122937 292696064 29700 33554432000 4194304 4650419 140734715210544 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31135/tid=31138] ppid=31133 vsize=285836 CPUtime=12.63 cores=0,2,4,6
/proc/31135/task/31138/stat : 31138 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 15198 0 0 0 1261 2 0 0 25 0 4 0 598122937 292696064 29700 33554432000 4194304 4650419 140734715210544 18446744073709551615 4439120 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 285836

[startup+25.5011 s]
/proc/loadavg: 8.15 8.13 8.09 9/184 31140
/proc/meminfo: memFree=30190296/32950928 swapFree=67111524/67111528
[pid=31135] ppid=31133 vsize=298100 CPUtime=101.83 cores=0,2,4,6
/proc/31135/stat : 31135 (strangenight1-m) R 31133 31135 30991 0 -1 4202496 75719 0 0 0 10167 16 0 0 25 0 4 0 598122936 305254400 36520 33554432000 4194304 4650419 140734715210544 18446744073709551615 4476204 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31135/statm: 74525 36520 392 112 0 69490 0
[pid=31135/tid=31136] ppid=31133 vsize=298100 CPUtime=25.48 cores=0,2,4,6
/proc/31135/task/31136/stat : 31136 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 17411 0 0 0 2544 4 0 0 25 0 4 0 598122937 305254400 36520 33554432000 4194304 4650419 140734715210544 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31135/tid=31137] ppid=31133 vsize=298100 CPUtime=25.48 cores=0,2,4,6
/proc/31135/task/31137/stat : 31137 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 18910 0 0 0 2546 2 0 0 25 0 4 0 598122937 305254400 36520 33554432000 4194304 4650419 140734715210544 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31135/tid=31138] ppid=31133 vsize=298100 CPUtime=25.35 cores=0,2,4,6
/proc/31135/task/31138/stat : 31138 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 22890 0 0 0 2531 4 0 0 25 0 4 0 598122937 305254400 36520 33554432000 4194304 4650419 140734715210544 18446744073709551615 4315293 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 298100

[startup+51.1007 s]
/proc/loadavg: 8.10 8.12 8.09 9/184 31140
/proc/meminfo: memFree=30072224/32950928 swapFree=67111524/67111528
[pid=31135] ppid=31133 vsize=354712 CPUtime=204.09 cores=0,2,4,6
/proc/31135/stat : 31135 (strangenight1-m) R 31133 31135 30991 0 -1 4202496 118730 0 0 0 20383 26 0 0 25 0 4 0 598122936 363225088 49423 33554432000 4194304 4650419 140734715210544 18446744073709551615 4366896 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31135/statm: 88678 49423 392 112 0 83643 0
[pid=31135/tid=31136] ppid=31133 vsize=354712 CPUtime=51.07 cores=0,2,4,6
/proc/31135/task/31136/stat : 31136 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 27831 0 0 0 5101 6 0 0 25 0 4 0 598122937 363225088 49423 33554432000 4194304 4650419 140734715210544 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31135/tid=31137] ppid=31133 vsize=354712 CPUtime=51.08 cores=0,2,4,6
/proc/31135/task/31137/stat : 31137 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 30451 0 0 0 5103 5 0 0 25 0 4 0 598122937 363225088 49423 33554432000 4194304 4650419 140734715210544 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31135/tid=31138] ppid=31133 vsize=354712 CPUtime=50.82 cores=0,2,4,6
/proc/31135/task/31138/stat : 31138 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 35292 0 0 0 5075 7 0 0 25 0 4 0 598122937 363225088 49423 33554432000 4194304 4650419 140734715210544 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 354712

[startup+102.301 s]
/proc/loadavg: 8.04 8.10 8.08 9/184 31142
/proc/meminfo: memFree=29958196/32950928 swapFree=67111524/67111528
[pid=31135] ppid=31133 vsize=368592 CPUtime=408.63 cores=0,2,4,6
/proc/31135/stat : 31135 (strangenight1-m) R 31133 31135 30991 0 -1 4202496 183752 0 0 0 40816 47 0 0 25 0 4 0 598122936 377438208 57737 33554432000 4194304 4650419 140734715210544 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31135/statm: 92148 57737 392 112 0 87113 0
[pid=31135/tid=31136] ppid=31133 vsize=368592 CPUtime=102.28 cores=0,2,4,6
/proc/31135/task/31136/stat : 31136 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 43083 0 0 0 10217 11 0 0 25 0 4 0 598122937 377438208 57737 33554432000 4194304 4650419 140734715210544 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31135/tid=31137] ppid=31133 vsize=368592 CPUtime=102.27 cores=0,2,4,6
/proc/31135/task/31137/stat : 31137 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 48025 0 0 0 10217 10 0 0 25 0 4 0 598122937 377438208 57737 33554432000 4194304 4650419 140734715210544 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31135/tid=31138] ppid=31133 vsize=368592 CPUtime=101.74 cores=0,2,4,6
/proc/31135/task/31138/stat : 31138 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 52557 0 0 0 10162 12 0 0 25 0 4 0 598122937 377438208 57737 33554432000 4194304 4650419 140734715210544 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 368592

[startup+162.3 s]

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

[pid=31135] ppid=31133 vsize=583360 CPUtime=2565.67 cores=0,2,4,6
/proc/31135/stat : 31135 (strangenight1-m) R 31133 31135 30991 0 -1 4202496 537689 0 0 0 256394 173 0 0 25 0 4 0 598122936 597360640 104336 33554432000 4194304 4650419 140734715210544 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31135/statm: 145840 104336 392 112 0 140805 0
[pid=31135/tid=31136] ppid=31133 vsize=583360 CPUtime=642.29 cores=0,2,4,6
/proc/31135/task/31136/stat : 31136 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 153368 0 0 0 64170 59 0 0 25 0 4 0 598122937 597360640 104336 33554432000 4194304 4650419 140734715210544 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31135/tid=31137] ppid=31133 vsize=583360 CPUtime=642.23 cores=0,2,4,6
/proc/31135/task/31137/stat : 31137 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 164292 0 0 0 64179 44 0 0 25 0 4 0 598122937 597360640 104336 33554432000 4194304 4650419 140734715210544 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31135/tid=31138] ppid=31133 vsize=583360 CPUtime=638.82 cores=0,2,4,6
/proc/31135/task/31138/stat : 31138 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 92747 0 0 0 63853 29 0 0 25 0 4 0 598122937 597360640 104336 33554432000 4194304 4650419 140734715210544 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2565.67
Current children cumulated vsize (KiB) 583360

[startup+702.301 s]
/proc/loadavg: 8.09 8.08 8.08 9/184 31158
/proc/meminfo: memFree=29199296/32950928 swapFree=67111524/67111528
[pid=31135] ppid=31133 vsize=584032 CPUtime=2805.34 cores=0,2,4,6
/proc/31135/stat : 31135 (strangenight1-m) R 31133 31135 30991 0 -1 4202496 562629 0 0 0 280354 180 0 0 25 0 4 0 598122936 598048768 102424 33554432000 4194304 4650419 140734715210544 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31135/statm: 146008 102424 392 112 0 140973 0
[pid=31135/tid=31136] ppid=31133 vsize=584032 CPUtime=702.29 cores=0,2,4,6
/proc/31135/task/31136/stat : 31136 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 164778 0 0 0 70166 63 0 0 25 0 4 0 598122937 598048768 102424 33554432000 4194304 4650419 140734715210544 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31135/tid=31137] ppid=31133 vsize=584032 CPUtime=702.22 cores=0,2,4,6
/proc/31135/task/31137/stat : 31137 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 164292 0 0 0 70178 44 0 0 25 0 4 0 598122937 598048768 102424 33554432000 4194304 4650419 140734715210544 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31135/tid=31138] ppid=31133 vsize=584032 CPUtime=698.49 cores=0,2,4,6
/proc/31135/task/31138/stat : 31138 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 94348 0 0 0 69819 30 0 0 25 0 4 0 598122937 598048768 102424 33554432000 4194304 4650419 140734715210544 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.34
Current children cumulated vsize (KiB) 584032

[startup+762.301 s]
/proc/loadavg: 8.08 8.08 8.08 9/184 31159
/proc/meminfo: memFree=29152844/32950928 swapFree=67111524/67111528
[pid=31135] ppid=31133 vsize=652844 CPUtime=3045.03 cores=0,2,4,6
/proc/31135/stat : 31135 (strangenight1-m) R 31133 31135 30991 0 -1 4202496 585287 0 0 0 304315 188 0 0 25 0 4 0 598122936 668512256 107096 33554432000 4194304 4650419 140734715210544 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31135/statm: 163211 107096 392 112 0 158176 0
[pid=31135/tid=31136] ppid=31133 vsize=652844 CPUtime=762.3 cores=0,2,4,6
/proc/31135/task/31136/stat : 31136 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 174227 0 0 0 76164 66 0 0 25 0 4 0 598122937 668512256 107096 33554432000 4194304 4650419 140734715210544 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31135/tid=31137] ppid=31133 vsize=652844 CPUtime=762.22 cores=0,2,4,6
/proc/31135/task/31137/stat : 31137 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 164292 0 0 0 76178 44 0 0 25 0 4 0 598122937 668512256 107096 33554432000 4194304 4650419 140734715210544 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31135/tid=31138] ppid=31133 vsize=652844 CPUtime=758.16 cores=0,2,4,6
/proc/31135/task/31138/stat : 31138 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 96118 0 0 0 75785 31 0 0 25 0 4 0 598122937 668512256 107096 33554432000 4194304 4650419 140734715210544 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.03
Current children cumulated vsize (KiB) 652844

[startup+822.3 s]
/proc/loadavg: 8.03 8.06 8.07 9/184 31161
/proc/meminfo: memFree=29185632/32950928 swapFree=67111524/67111528
[pid=31135] ppid=31133 vsize=600280 CPUtime=3284.68 cores=0,2,4,6
/proc/31135/stat : 31135 (strangenight1-m) R 31133 31135 30991 0 -1 4202496 606620 0 0 0 328269 199 0 0 25 0 4 0 598122936 614686720 101498 33554432000 4194304 4650419 140734715210544 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31135/statm: 150070 101498 392 112 0 145035 0
[pid=31135/tid=31136] ppid=31133 vsize=600280 CPUtime=822.29 cores=0,2,4,6
/proc/31135/task/31136/stat : 31136 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 183226 0 0 0 82159 70 0 0 25 0 4 0 598122937 614686720 101498 33554432000 4194304 4650419 140734715210544 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31135/tid=31137] ppid=31133 vsize=600280 CPUtime=822.21 cores=0,2,4,6
/proc/31135/task/31137/stat : 31137 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 165278 0 0 0 82176 45 0 0 25 0 4 0 598122937 614686720 101498 33554432000 4194304 4650419 140734715210544 18446744073709551615 4298519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31135/tid=31138] ppid=31133 vsize=600280 CPUtime=817.84 cores=0,2,4,6
/proc/31135/task/31138/stat : 31138 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 98828 0 0 0 81751 33 0 0 25 0 4 0 598122937 614686720 101498 33554432000 4194304 4650419 140734715210544 18446744073709551615 4367521 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.68
Current children cumulated vsize (KiB) 600280

[startup+882.307 s]
/proc/loadavg: 8.05 8.06 8.07 9/184 31163
/proc/meminfo: memFree=29128260/32950928 swapFree=67111524/67111528
[pid=31135] ppid=31133 vsize=652572 CPUtime=3524.37 cores=0,2,4,6
/proc/31135/stat : 31135 (strangenight1-m) R 31133 31135 30991 0 -1 4202496 635588 0 0 0 352226 211 0 0 25 0 4 0 598122936 668233728 110363 33554432000 4194304 4650419 140734715210544 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31135/statm: 163143 110363 392 112 0 158108 0
[pid=31135/tid=31136] ppid=31133 vsize=652572 CPUtime=882.29 cores=0,2,4,6
/proc/31135/task/31136/stat : 31136 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 193173 0 0 0 88154 75 0 0 25 0 4 0 598122937 668233728 110363 33554432000 4194304 4650419 140734715210544 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31135/tid=31137] ppid=31133 vsize=652572 CPUtime=882.22 cores=0,2,4,6
/proc/31135/task/31137/stat : 31137 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 173639 0 0 0 88173 49 0 0 25 0 4 0 598122937 668233728 110363 33554432000 4194304 4650419 140734715210544 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31135/tid=31138] ppid=31133 vsize=652572 CPUtime=877.52 cores=0,2,4,6
/proc/31135/task/31138/stat : 31138 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 99962 0 0 0 87719 33 0 0 25 0 4 0 598122937 668233728 110363 33554432000 4194304 4650419 140734715210544 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.37
Current children cumulated vsize (KiB) 652572

[startup+942.3 s]
/proc/loadavg: 8.05 8.06 8.07 9/184 31164
/proc/meminfo: memFree=29171484/32950928 swapFree=67111524/67111528
[pid=31135] ppid=31133 vsize=680504 CPUtime=3764.02 cores=0,2,4,6
/proc/31135/stat : 31135 (strangenight1-m) R 31133 31135 30991 0 -1 4202496 665297 0 0 0 376179 223 0 0 25 0 4 0 598122936 696836096 102817 33554432000 4194304 4650419 140734715210544 18446744073709551615 4476466 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31135/statm: 170126 102817 392 112 0 165091 0
[pid=31135/tid=31136] ppid=31133 vsize=680504 CPUtime=942.29 cores=0,2,4,6
/proc/31135/task/31136/stat : 31136 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 203021 0 0 0 94150 79 0 0 25 0 4 0 598122937 696836096 102817 33554432000 4194304 4650419 140734715210544 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31135/tid=31137] ppid=31133 vsize=680504 CPUtime=942.2 cores=0,2,4,6
/proc/31135/task/31137/stat : 31137 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 181014 0 0 0 94169 51 0 0 25 0 4 0 598122937 696836096 102817 33554432000 4194304 4650419 140734715210544 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31135/tid=31138] ppid=31133 vsize=680504 CPUtime=937.19 cores=0,2,4,6
/proc/31135/task/31138/stat : 31138 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 109167 0 0 0 93680 39 0 0 25 0 4 0 598122937 696836096 102817 33554432000 4194304 4650419 140734715210544 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.02
Current children cumulated vsize (KiB) 680504

[startup+1002.3 s]
/proc/loadavg: 8.19 8.09 8.08 9/184 31166
/proc/meminfo: memFree=29095308/32950928 swapFree=67111524/67111528
[pid=31135] ppid=31133 vsize=708732 CPUtime=4003.7 cores=0,2,4,6
/proc/31135/stat : 31135 (strangenight1-m) R 31133 31135 30991 0 -1 4202496 693988 0 0 0 400138 232 0 0 25 0 4 0 598122936 725741568 124044 33554432000 4194304 4650419 140734715210544 18446744073709551615 4476293 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31135/statm: 177183 124044 392 112 0 172148 0
[pid=31135/tid=31136] ppid=31133 vsize=708732 CPUtime=1002.29 cores=0,2,4,6
/proc/31135/task/31136/stat : 31136 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 214490 0 0 0 100149 80 0 0 25 0 4 0 598122937 725741568 124044 33554432000 4194304 4650419 140734715210544 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31135/tid=31137] ppid=31133 vsize=708732 CPUtime=1002.2 cores=0,2,4,6
/proc/31135/task/31137/stat : 31137 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 185816 0 0 0 100167 53 0 0 25 0 4 0 598122937 725741568 124044 33554432000 4194304 4650419 140734715210544 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31135/tid=31138] ppid=31133 vsize=708732 CPUtime=996.87 cores=0,2,4,6
/proc/31135/task/31138/stat : 31138 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 117956 0 0 0 99644 43 0 0 25 0 4 0 598122937 725741568 124044 33554432000 4194304 4650419 140734715210544 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.7
Current children cumulated vsize (KiB) 708732

[startup+1062.3 s]
/proc/loadavg: 8.07 8.07 8.08 9/184 31167
/proc/meminfo: memFree=29117828/32950928 swapFree=67111524/67111528
[pid=31135] ppid=31133 vsize=708732 CPUtime=4243.37 cores=0,2,4,6
/proc/31135/stat : 31135 (strangenight1-m) R 31133 31135 30991 0 -1 4202496 712890 0 0 0 424100 237 0 0 25 0 4 0 598122936 725741568 120658 33554432000 4194304 4650419 140734715210544 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31135/statm: 177183 120658 392 112 0 172148 0
[pid=31135/tid=31136] ppid=31133 vsize=708732 CPUtime=1062.29 cores=0,2,4,6
/proc/31135/task/31136/stat : 31136 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 221566 0 0 0 106147 82 0 0 25 0 4 0 598122937 725741568 120658 33554432000 4194304 4650419 140734715210544 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31135/tid=31137] ppid=31133 vsize=708732 CPUtime=1062.19 cores=0,2,4,6
/proc/31135/task/31137/stat : 31137 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 191224 0 0 0 106164 55 0 0 25 0 4 0 598122937 725741568 120658 33554432000 4194304 4650419 140734715210544 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31135/tid=31138] ppid=31133 vsize=708732 CPUtime=1056.54 cores=0,2,4,6
/proc/31135/task/31138/stat : 31138 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 120730 0 0 0 105610 44 0 0 25 0 4 0 598122937 725741568 120658 33554432000 4194304 4650419 140734715210544 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.37
Current children cumulated vsize (KiB) 708732

[startup+1122.3 s]
/proc/loadavg: 8.02 8.06 8.07 9/184 31169
/proc/meminfo: memFree=29079460/32950928 swapFree=67111524/67111528
[pid=31135] ppid=31133 vsize=763972 CPUtime=4483.04 cores=0,2,4,6
/proc/31135/stat : 31135 (strangenight1-m) R 31133 31135 30991 0 -1 4202496 730302 0 0 0 448062 242 0 0 25 0 4 0 598122936 782307328 119387 33554432000 4194304 4650419 140734715210544 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31135/statm: 190993 119387 392 112 0 185958 0
[pid=31135/tid=31136] ppid=31133 vsize=763972 CPUtime=1122.29 cores=0,2,4,6
/proc/31135/task/31136/stat : 31136 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 230003 0 0 0 112146 83 0 0 25 0 4 0 598122937 782307328 119387 33554432000 4194304 4650419 140734715210544 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31135/tid=31137] ppid=31133 vsize=763972 CPUtime=1122.2 cores=0,2,4,6
/proc/31135/task/31137/stat : 31137 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 197914 0 0 0 112161 59 0 0 25 0 4 0 598122937 782307328 119387 33554432000 4194304 4650419 140734715210544 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31135/tid=31138] ppid=31133 vsize=763972 CPUtime=1116.21 cores=0,2,4,6
/proc/31135/task/31138/stat : 31138 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 121501 0 0 0 111577 44 0 0 25 0 4 0 598122937 782307328 119387 33554432000 4194304 4650419 140734715210544 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.04
Current children cumulated vsize (KiB) 763972

[startup+1182.3 s]
/proc/loadavg: 8.01 8.05 8.06 9/184 31171
/proc/meminfo: memFree=29035904/32950928 swapFree=67111524/67111528
[pid=31135] ppid=31133 vsize=763972 CPUtime=4722.72 cores=0,2,4,6
/proc/31135/stat : 31135 (strangenight1-m) R 31133 31135 30991 0 -1 4202496 747028 0 0 0 472025 247 0 0 25 0 4 0 598122936 782307328 125791 33554432000 4194304 4650419 140734715210544 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31135/statm: 190993 125791 392 112 0 185958 0
[pid=31135/tid=31136] ppid=31133 vsize=763972 CPUtime=1182.29 cores=0,2,4,6
/proc/31135/task/31136/stat : 31136 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 236801 0 0 0 118145 84 0 0 25 0 4 0 598122937 782307328 125791 33554432000 4194304 4650419 140734715210544 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31135/tid=31137] ppid=31133 vsize=763972 CPUtime=1182.19 cores=0,2,4,6
/proc/31135/task/31137/stat : 31137 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 207110 0 0 0 118157 62 0 0 25 0 4 0 598122937 782307328 125791 33554432000 4194304 4650419 140734715210544 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31135/tid=31138] ppid=31133 vsize=763972 CPUtime=1175.89 cores=0,2,4,6
/proc/31135/task/31138/stat : 31138 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 121501 0 0 0 117545 44 0 0 25 0 4 0 598122937 782307328 125791 33554432000 4194304 4650419 140734715210544 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.72
Current children cumulated vsize (KiB) 763972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.00 8.04 8.06 5/179 31172
/proc/meminfo: memFree=30402788/32950928 swapFree=67111524/67111528
[pid=31135] ppid=31133 vsize=763972 CPUtime=4800.23 cores=0,2,4,6
/proc/31135/stat : 31135 (strangenight1-m) R 31133 31135 30991 0 -1 4202496 750899 0 0 0 479775 248 0 0 25 0 4 0 598122936 782307328 122224 33554432000 4194304 4650419 140734715210544 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31135/statm: 190993 122224 392 112 0 185958 0
[pid=31135/tid=31136] ppid=31133 vsize=763972 CPUtime=1201.7 cores=0,2,4,6
/proc/31135/task/31136/stat : 31136 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 239236 0 0 0 120085 85 0 0 25 0 4 0 598122937 782307328 122224 33554432000 4194304 4650419 140734715210544 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31135/tid=31137] ppid=31133 vsize=763972 CPUtime=1201.6 cores=0,2,4,6
/proc/31135/task/31137/stat : 31137 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 208510 0 0 0 120097 63 0 0 25 0 4 0 598122937 782307328 122224 33554432000 4194304 4650419 140734715210544 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31135/tid=31138] ppid=31133 vsize=763972 CPUtime=1195.18 cores=0,2,4,6
/proc/31135/task/31138/stat : 31138 (strangenight1-m) R 31133 31135 30991 0 -1 4202560 121501 0 0 0 119474 44 0 0 25 0 4 0 598122937 782307328 122224 33554432000 4194304 4650419 140734715210544 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 763972

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.28
CPU user time (s): 4797.77
CPU system time (s): 2.51062
CPU usage (%): 399.445
Max. virtual memory (cumulated for all children) (KiB): 818108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.77
system time used= 2.51062
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 750899
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= 1236
involuntary context switches= 23008

runsolver used 1.85672 second user time and 4.69429 second system time

The end

Launcher Data 

Begin job on node112 at 2011-04-29 14:08:43
IDJOB=3175036
IDBENCH=82654
IDSOLVER=1588
FILE ID=node112/3175036-1304078923
RUNJOBID= node112-1304077718-31009
PBS_JOBID= 13170513
Free space on /tmp= 72556 MiB

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

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

MD5SUM BENCH= 6a6ca4aade15f7a3c6a2d058c788d3f5
RANDOM SEED=1524123740

node112.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.828
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.65
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.828
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.828
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.828
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.82
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.828
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	: 5261.27
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.828
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.82
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.828
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.828
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.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30809012 kB
Buffers:        422052 kB
Cached:        1167816 kB
SwapCached:          4 kB
Active:         219024 kB
Inactive:      1523328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30809012 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           15544 kB
Writeback:           0 kB
AnonPages:      152144 kB
Mapped:          14692 kB
Slab:           334484 kB
PageTables:       4692 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   359244 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= 72560 MiB
End job on node112 at 2011-04-29 14:28:46