Trace number 3394766

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-2-mt (fixed)? (TO) 40001.6 5014.2

General information on the benchmark

NameSAT03/industrial/li/li-test4/
li-test4-100.shuffled-as.sat03-370.cnf
MD5SUM5e5606ae7367b9272c60adc115594912
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables36809
Number of clauses142491
Sum of the clauses size559708
Maximum clause length172
Minimum clause length1
Number of clauses of size 114
Number of clauses of size 224558
Number of clauses of size 367458
Number of clauses of size 449000
Number of clauses of size 51
Number of clauses of size over 51460

Solver Data 

0.00/0.00	c Outputting solution to console
0.54/0.10	c Using 8 threads
0.54/0.12	c This is CryptoMiniSat 3.0.0
0.54/0.12	c WARNING: for repeatability, setting FPU to use double precision
0.54/0.12	c Reading file 'HOME/instance-3394766-1306105321.cnf'
0.54/0.12	c -- header says num vars:          36809
0.54/0.12	c -- header says num clauses:      142491
2.79/0.54	c -- clauses added:            0 learnts,       142491 normals,            0 xors
2.79/0.54	c -- vars added      36809
2.79/0.54	c Parsing time:  0.11 s
2.79/0.54	c  N st     0         0     36809    117899     24559         0    559608         0   no data   no data
5.74/1.00	c asymm  cl-useful: 4399/117865/117865 lits-rem:4706 time: 0.44
7.30/1.18	c Flit:    32 Blit:      0 bXBeca:    0 bXProp: 6133 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
7.80/1.24	c Replacing     6133 vars Replaced   102229 lits Time:     0.05 s 
10.48/1.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.48/1.66	c bin-w-bin subsume rem            0 bins  time:  0.01 s
10.48/1.68	c subs with bin:      332  lits-rem:       335  v-fix:    0  time:  0.02 s
11.20/1.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:    30 done:  30595 time:  0.02 s
11.20/1.72	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.02 s
14.43/2.15	c lits-rem:      5284  cl-subs:     1981  v-elim:    134  v-fix:    0  time:  0.42 s
14.43/2.16	c Finding binary XORs  T:     0.02 s  found:       0
15.31/2.25	c Finding non-binary XORs:     0.07 s (found:   10610, avg size: 3.4)
15.31/2.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
15.31/2.26	c calculated reachability. Time: 0.00
15.31/2.26	c Calc default polars -  time:   0.01 s pos:    6634 undec:    6856 neg:   23319
15.31/2.26	c =========================================================================================
15.31/2.26	c types(t): F = full restart, N = normal restart
15.31/2.26	c types(t): S = simplification begin/end, E = solution found
15.31/2.26	c restart types(rt): st = static, dy = dynamic
15.31/2.26	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
15.31/2.26	c  B st     0         0     30446     54032     13251         0    339959         0   no data   no data
23.22/3.23	c Decided on static restart strategy
32.87/4.47	c  N st     8      4911     30352     54032     15186      2904    339959     15572   no data   no data
54.27/7.14	c  N st    10     11296     30321     54032     19553      8571    339959     54004   no data   no data
54.27/7.16	c Finding binary XORs  T:     0.02 s  found:       0
83.02/10.71	c  N st    11     17039     30254     53362     27413     13771    338216     98709   no data   no data
83.02/10.73	c Finding binary XORs  T:     0.02 s  found:       0
141.28/18.05	c  F st    12     25000     30252     53241     28876     18019    337931    110817   no data   no data
141.28/18.07	c Replacing        1 vars Replaced       14 lits Time:     0.01 s 
142.08/18.12	c  N st    12     25000     30251     53229     28879     18019    337677    110813   no data   no data
157.24/20.08	c Finding binary XORs  T:     0.02 s  found:       0
185.18/23.59	c Decided on static restart strategy
185.18/23.59	c  N st    18     30000     30251     53229     31474     22803    337677    145409   no data   no data
185.18/23.59	c  S st    18     30000     30251     53229     31474     22803    337677    145409   no data   no data
186.78/23.79	c  S st    18     30505     30251     53229     31491     23290    337677    151048   no data   no data
187.58/23.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
189.18/24.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  32151 BRemL:  15168 BRemN:      2 P:  4.6M T:  0.30
190.03/24.15	c blocked clauses removed:        0 vars:      0 tried:        4608 T: 0.01 s
190.03/24.16	c bin-w-bin subsume rem         4193 bins  time:  0.01 s
190.03/24.20	c subs with bin:    13691  lits-rem:      3269  v-fix:    0  time:  0.04 s
190.92/24.22	c Subs w/ non-existent bins:    519 l-rem:    114 v-fix:     0 done:  10020 time:  0.03 s
190.92/24.24	c Removed useless bin:      43  fixed:     0  props:   0.39M  time:  0.02 s
191.56/24.33	c lits-rem:         0  cl-subs:       78  v-elim:   1285  v-fix:    0  time:  0.09 s
191.56/24.37	c subs with bin:     1656  lits-rem:      1760  v-fix:    0  time:  0.02 s
192.36/24.43	c lits-rem:       162  cl-subs:      238  v-elim:      0  v-fix:    0  time:  0.04 s
194.75/24.71	c asymm  cl-useful: 441/41220/41220 lits-rem:441 time: 0.28
194.75/24.72	c calculated reachability. Time: 0.01
194.75/24.72	c  N st    18     30505     28966     41220     39327     19495    311159    140605   no data   no data
215.52/27.39	c Finding binary XORs  T:     0.02 s  found:       0
254.63/32.29	c  N st    20     37618     28966     41220     40377     26522    311159   1520204   no data   no data
292.15/36.91	c  N st    21     44019     28966     41220     40377     29817    311159   4331568   no data   no data
292.15/36.96	c Finding binary XORs  T:     0.02 s  found:       0
313.84/39.65	c  S st    22     45757     28966     41220     79045     31539    311159   5048971   no data   no data
315.29/39.82	c  S st    22     46260     28966     41220     79054     32029    311159   5054534   no data   no data
315.29/39.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
319.29/40.32	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  22348 BRemL:  38418 BRemN:      0 P:  5.8M T:  0.48
319.29/40.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
319.29/40.36	c bin-w-bin subsume rem        12259 bins  time:  0.01 s
319.29/40.39	c subs with bin:     4026  lits-rem:       372  v-fix:    0  time:  0.03 s
320.08/40.41	c Subs w/ non-existent bins:     19 l-rem:      7 v-fix:     0 done:   5166 time:  0.03 s
320.08/40.43	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.02 s
320.08/40.48	c lits-rem:         0  cl-subs:        3  v-elim:    278  v-fix:    0  time:  0.05 s
320.88/40.54	c subs with bin:      380  lits-rem:       716  v-fix:    0  time:  0.03 s
320.88/40.59	c lits-rem:        40  cl-subs:       59  v-elim:      0  v-fix:    0  time:  0.04 s
320.88/40.61	c vivif2 --  cl tried    37429 cl shrink     1174 lits rem       1174 time: 0.02
321.74/40.62	c vivif2 --  cl tried    21807 cl shrink      917 lits rem       1104 time: 0.01
324.07/40.92	c asymm  cl-useful: 0/37355/37355 lits-rem:0 time: 0.29
324.07/40.93	c calculated reachability. Time: 0.01
324.07/40.93	c  N st    22     46260     28687     37355     49921     21789    304772    222780   no data   no data
429.44/54.13	c  N st    23     60658     28687     37355     49921     35981    304772   4979531   no data   no data
430.24/54.21	c Finding binary XORs  T:     0.02 s  found:       0
480.66/60.53	c  N st    24     69390     28686     37354     79754     39783    304763   5356204   no data   no data
480.66/60.53	c  S st    24     69390     28686     37354     79754     39783    304763   5356204   no data   no data
480.66/60.56	c Finding binary XORs  T:     0.02 s  found:       0
482.90/60.80	c  S st    24     69891     28686     37354    100598     40279    304763   5403629   no data   no data
482.90/60.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
487.70/61.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   4688 BRemL:  45492 BRemN:      0 P:  6.4M T:  0.58
487.70/61.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
487.70/61.45	c bin-w-bin subsume rem         6887 bins  time:  0.01 s
487.70/61.48	c subs with bin:     1488  lits-rem:        15  v-fix:    0  time:  0.02 s
487.70/61.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1693 time:  0.02 s
487.70/61.51	c Removed useless bin:       0  fixed:     0  props:   0.31M  time:  0.02 s
488.56/61.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
506.12/63.75	c subs with bin:       99  lits-rem:      6373  v-fix:    0  time:  1.86 s
537.99/67.72	c lits-rem:      3375  cl-subs:      517  v-elim:      0  v-fix:    0  time:  3.95 s
537.99/67.74	c vivif2 --  cl tried    35865 cl shrink        0 lits rem          0 time: 0.02
541.25/68.14	c vivif2 --  cl tried    39663 cl shrink     8052 lits rem      47675 time: 0.39
543.57/68.47	c asymm  cl-useful: 0/35865/35865 lits-rem:0 time: 0.33
543.57/68.48	c calculated reachability. Time: 0.01
543.57/68.48	c  N st    24     69891     28686     35865     52926     39662    301909   5084711   no data   no data
706.41/88.80	c  F st    25     87502     28686     35865     52926     57031    301909  11721963   no data   no data
707.22/88.99	c  N st    25     87502     28686     35865     52926     57031    301909  11721963   no data   no data
708.07/89.03	c Finding binary XORs  T:     0.03 s  found:       0
739.14/92.98	c Decided on static restart strategy
754.30/94.85	c  N st    32     95540     28686     35865     76575     51158    301909   7446780   no data   no data
828.52/104.10	c  N st    34    104836     28686     35865     76575     60358    301909  10729095   no data   no data
828.52/104.10	c  S st    34    104836     28686     35865     76575     60358    301909  10729095   no data   no data
830.13/104.33	c  S st    34    105338     28686     35865     76576     60853    301909  10735576   no data   no data
830.13/104.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
834.91/104.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:  19460 BRemN:      0 P:  6.5M T:  0.57
834.91/104.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
834.91/104.97	c bin-w-bin subsume rem         2722 bins  time:  0.01 s
834.91/104.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
835.70/105.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2767 time:  0.02 s
835.70/105.04	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.02 s
836.50/105.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
856.45/107.60	c subs with bin:        0  lits-rem:       433  v-fix:    0  time:  1.92 s
902.09/113.36	c lits-rem:      3106  cl-subs:      453  v-elim:      0  v-fix:    0  time:  5.74 s
902.09/113.39	c vivif2 --  cl tried    35865 cl shrink        0 lits rem          0 time: 0.03
909.13/114.25	c vivif2 --  cl tried    60400 cl shrink    10629 lits rem      39576 time: 0.85
912.32/114.63	c asymm  cl-useful: 0/35865/35865 lits-rem:0 time: 0.38
912.32/114.65	c calculated reachability. Time: 0.01
912.32/114.65	c  N st    34    105338     28686     35865     54394     60400    301905  10501500   no data   no data
993.74/124.86	c  N st    35    114937     28686     35865     54394     51257    301905   6770250   no data   no data
1107.88/139.15	c  N st    36    129334     28686     35865     54394     65522    301905  13873944   no data   no data
1253.93/157.47	c  N st    37    150929     28686     35865     54401     66146    301905  14370846   no data   no data
1299.42/163.18	c  S st    38    158007     28686     35865     54416     73138    301905  17361328   no data   no data
1301.01/163.37	c  S st    38    158509     28686     35865     54422     73631    301905  17366608   no data   no data
1301.81/163.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1306.60/164.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    859 BRemL:    158 BRemN:      0 P:  7.3M T:  0.65
1306.60/164.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1307.40/164.11	c bin-w-bin subsume rem            2 bins  time:  0.01 s
1307.40/164.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1307.40/164.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2857 time:  0.02 s
1307.40/164.17	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.02 s
1308.99/164.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
1331.39/167.15	c subs with bin:        4  lits-rem:         0  v-fix:    0  time:  1.95 s
1415.95/177.73	c lits-rem:      5427  cl-subs:      442  v-elim:      0  v-fix:    0  time: 10.57 s
1415.95/177.75	c vivif2 --  cl tried    35865 cl shrink        0 lits rem          0 time: 0.02
1427.13/179.12	c vivif2 --  cl tried    73185 cl shrink    16726 lits rem     101480 time: 1.35
1430.30/179.53	c asymm  cl-useful: 0/35865/35865 lits-rem:0 time: 0.41
1430.30/179.54	c calculated reachability. Time: 0.01
1430.30/179.54	c  N st    38    158509     28686     35865     55121     73185    301905  17104342   no data   no data
1996.15/250.41	c  N st    39    207100     28686     35865     55121     73073    301905  19595266   no data   no data
1996.15/250.44	c Finding binary XORs  T:     0.02 s  found:       0
2380.04/298.57	c  N st    40    237771     28686     35865     55539     77246    301905  22971052   no data   no data
2380.04/298.57	c  S st    40    237771     28686     35865     55539     77246    301905  22971052   no data   no data
2381.64/298.77	c  S st    40    238272     28686     35865     55598     77743    301905  22976933   no data   no data
2382.45/298.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2387.22/299.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     16 BRemL:    191 BRemN:      0 P:  7.5M T:  0.63
2387.22/299.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2387.22/299.49	c bin-w-bin subsume rem          242 bins  time:  0.01 s
2388.02/299.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2388.02/299.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2811 time:  0.02 s
2388.02/299.55	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.02 s
2389.62/299.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.24 s
2415.96/303.03	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  2.12 s
2531.70/317.53	c lits-rem:      1387  cl-subs:      413  v-elim:      0  v-fix:    0  time: 14.49 s
2531.70/317.55	c vivif2 --  cl tried    35865 cl shrink        0 lits rem          0 time: 0.02
2546.87/319.41	c vivif2 --  cl tried    77329 cl shrink    16920 lits rem     296246 time: 1.82
2550.07/319.82	c asymm  cl-useful: 0/35865/35865 lits-rem:0 time: 0.41
2550.07/319.83	c calculated reachability. Time: 0.01
2550.07/319.83	c  N st    40    238272     28686     35865     55181     77329    301905  22455731   no data   no data
3408.74/427.47	c  F st    41    306253     28686     35865     55181     88464    301905  27125714   no data   no data
3410.34/427.65	c  N st    41    306253     28686     35865     55181     88464    301905  27125714   no data   no data
3453.40/433.04	c Decided on static restart strategy
3676.88/461.06	c  N st    51    334564     28686     35865     55198     86962    301905  21475584   no data   no data
3816.68/478.53	c  N st    53    357408     28686     35865     55198     78916    301905  15019858   no data   no data
3816.68/478.53	c  S st    53    357408     28686     35865     55198     78916    301905  15019858   no data   no data
3818.92/478.81	c  S st    53    357912     28686     35865     55198     79416    301905  15025207   no data   no data
3818.92/478.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3824.58/479.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     13 BRemN:      0 P:  7.5M T:  0.65
3824.58/479.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3824.58/479.55	c bin-w-bin subsume rem            1 bins  time:  0.01 s
3824.58/479.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3824.58/479.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3528 time:  0.03 s
3825.46/479.62	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.02 s
3826.90/479.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
3848.46/482.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.02 s
3929.95/492.79	c lits-rem:      4512  cl-subs:      477  v-elim:      0  v-fix:    0  time: 10.21 s
3929.95/492.81	c vivif2 --  cl tried    35865 cl shrink        0 lits rem          0 time: 0.02
3938.72/493.87	c vivif2 --  cl tried    78939 cl shrink    11579 lits rem      79887 time: 1.05
3942.65/494.37	c asymm  cl-useful: 0/35865/35865 lits-rem:0 time: 0.50
3942.65/494.38	c calculated reachability. Time: 0.01
3942.65/494.39	c  N st    53    357912     28686     35865     55184     78939    301905  14786099   no data   no data
4373.56/548.35	c  N st    54    390304     28686     35865     55184     79645    301905  22332880   no data   no data
5021.57/629.54	c  N st    55    438893     28686     35865     55184     94837    301905  29327319   no data   no data
5845.13/732.71	c  N st    56    511776     28686     35865     55185     98334    301905  18853450   no data   no data
6098.17/764.49	c  N st    57    536870     28686     35865     55185     87914    301905  21472248   no data   no data
6098.17/764.49	c  S st    57    536870     28686     35865     55185     87914    301905  21472248   no data   no data
6100.50/764.78	c  S st    57    537370     28686     35865     55185     88411    301905  21477774   no data   no data
6101.29/764.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
6106.95/765.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      1 BRemN:      0 P:  7.7M T:  0.68
6106.95/765.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
6106.95/765.56	c bin-w-bin subsume rem            0 bins  time:  0.01 s
6106.95/765.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
6107.82/765.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3279 time:  0.03 s
6107.82/765.64	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.02 s
6109.27/765.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.25 s
6134.82/769.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.10 s
6255.35/784.13	c lits-rem:     11153  cl-subs:      377  v-elim:      0  v-fix:    0  time: 15.07 s
6255.35/784.15	c vivif2 --  cl tried    35865 cl shrink        0 lits rem          0 time: 0.02
6268.92/785.80	c vivif2 --  cl tried    88034 cl shrink    14627 lits rem     290119 time: 1.63
6272.11/786.29	c asymm  cl-useful: 0/35865/35865 lits-rem:0 time: 0.48
6272.91/786.30	c calculated reachability. Time: 0.01
6272.91/786.30	c  N st    57    537370     28686     35865     55184     88034    301905  20999586   no data   no data
8472.34/1061.92	c  N st    58    701356     28686     35865     55184     98250    301905  23528472   no data   no data
10034.83/1257.74	c  N st    59    806055     28686     35865     55206     77243    301905   9921057   no data   no data
10034.83/1257.74	c  S st    59    806055     28686     35865     55206     77243    301905   9921057   no data   no data
10036.43/1257.98	c  S st    59    806558     28686     35865     55218     77743    301905   9926504   no data   no data
10037.23/1258.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
10042.81/1258.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    252 BRemL:     67 BRemN:      0 P:  7.5M T:  0.68
10042.81/1258.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10042.81/1258.75	c bin-w-bin subsume rem            2 bins  time:  0.01 s
10042.81/1258.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
10043.61/1258.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8284 time:  0.03 s
10043.61/1258.83	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.02 s
10044.41/1258.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
10065.17/1261.50	c subs with bin:       13  lits-rem:         0  v-fix:    0  time:  2.04 s
10110.76/1267.28	c lits-rem:       959  cl-subs:      225  v-elim:      0  v-fix:    0  time:  5.77 s
10111.39/1267.30	c vivif2 --  cl tried    35865 cl shrink        0 lits rem          0 time: 0.02
10115.40/1267.84	c vivif2 --  cl tried    77505 cl shrink     2795 lits rem      40431 time: 0.54
10118.66/1268.29	c asymm  cl-useful: 0/35865/35865 lits-rem:0 time: 0.45
10118.66/1268.31	c calculated reachability. Time: 0.01
10118.66/1268.31	c  N st    59    806558     28686     35865     55402     77504    301905   9821349   no data   no data
13379.29/1676.87	c  F st    60   1071878     28686     35865     55402    112852    301905  36214556   no data   no data
13380.90/1677.06	c  N st    60   1071878     28686     35865     55402    112852    301905  36214556   no data   no data
13380.90/1677.08	c Finding binary XORs  T:     0.03 s  found:       0
13420.75/1682.00	c Decided on static restart strategy
13638.73/1709.33	c  N st    70   1100185     28686     35865     55512     92328    301905  13974811   no data   no data
13985.74/1752.88	c  N st    72   1136177     28686     35865     55512    128048    301905  32288766   no data   no data
14394.56/1804.09	c  N st    73   1168572     28686     35865     55512    110586    301905  27138485   no data   no data
14775.84/1851.80	c  N st    74   1209839     28686     35865     55513    101059    301905  16255200   no data   no data
14775.84/1851.80	c  S st    74   1209839     28686     35865     55513    101059    301905  16255200   no data   no data
14777.45/1852.07	c  S st    74   1210339     28686     35865     55513    101559    301905  16260788   no data   no data
14778.25/1852.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
14783.83/1852.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:     48 BRemN:      0 P:  8.0M T:  0.72
14783.83/1852.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14783.83/1852.89	c bin-w-bin subsume rem           63 bins  time:  0.01 s
14784.63/1852.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
14784.63/1852.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   5702 time:  0.03 s
14784.63/1852.97	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.02 s
14786.22/1853.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
14810.16/1856.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.08 s
14917.10/1869.56	c lits-rem:     11097  cl-subs:      517  v-elim:      0  v-fix:    0  time: 13.44 s
14917.10/1869.58	c vivif2 --  cl tried    35865 cl shrink        0 lits rem          0 time: 0.02
14926.67/1870.72	c vivif2 --  cl tried   101042 cl shrink     9810 lits rem     106734 time: 1.13
14930.65/1871.24	c asymm  cl-useful: 0/35865/35865 lits-rem:0 time: 0.52
14930.65/1871.26	c calculated reachability. Time: 0.01
14930.65/1871.26	c  N st    74   1210339     28686     35865     55404    101042    301905  16012733   no data   no data
15746.42/1973.42	c  N st    75   1283222     28686     35865     55404    121849    301905  30408775   no data   no data
17280.16/2165.67	c  N st    76   1392548     28686     35865     55405    123949    301905  23828305   no data   no data
20052.58/2513.16	c  N st    77   1556533     28686     35865     55479    120384    301905  27047425   no data   no data
22725.01/2848.03	c  N st    78   1710339     28686     35865     55499     97493    301905  11719061   no data   no data
22725.01/2848.03	c  S st    78   1710339     28686     35865     55499     97493    301905  11719061   no data   no data
22729.00/2848.55	c  S st    78   1710841     28686     35865     55501     97992    301905  11727034   no data   no data
22729.81/2848.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
22735.39/2849.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     17 BRemN:      0 P:  8.0M T:  0.75
22736.19/2849.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
22736.19/2849.41	c bin-w-bin subsume rem            3 bins  time:  0.01 s
22736.19/2849.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
22736.19/2849.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7345 time:  0.03 s
22736.19/2849.49	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.02 s
22737.79/2849.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
22760.11/2852.49	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  2.17 s
22823.97/2860.41	c lits-rem:      5214  cl-subs:      250  v-elim:      0  v-fix:    0  time:  7.90 s
22823.97/2860.43	c vivif2 --  cl tried    35865 cl shrink        0 lits rem          0 time: 0.02
22828.83/2861.11	c vivif2 --  cl tried    97741 cl shrink     3462 lits rem      37847 time: 0.67
22833.55/2861.63	c asymm  cl-useful: 0/35865/35865 lits-rem:0 time: 0.52
22833.55/2861.65	c calculated reachability. Time: 0.01
22833.55/2861.65	c  N st    78   1710841     28686     35865     55482     97740    301905  11644925   no data   no data
28878.64/3619.20	c  N st    79   2079806     28686     35865     55482    150912    301905  55934072   no data   no data
30548.87/3828.52	c  N st    80   2210842     28686     35865     55486    148631    301905  37186835   no data   no data
30548.87/3828.52	c  S st    80   2210842     28686     35865     55486    148631    301905  37186835   no data   no data
30551.26/3828.84	c  S st    80   2211343     28686     35865     55487    149129    301905  37192924   no data   no data
30552.06/3828.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
30558.45/3829.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  9.3M T:  0.78
30558.45/3829.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
30558.45/3829.75	c bin-w-bin subsume rem            1 bins  time:  0.01 s
30558.45/3829.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
30559.25/3829.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   4513 time:  0.03 s
30559.25/3829.83	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.02 s
30561.71/3830.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.37 s
30594.36/3834.25	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  2.03 s
31820.92/3988.20	c lits-rem:      8901  cl-subs:     2863  v-elim:      0  v-fix:    0  time: 153.93 s
31820.92/3988.22	c vivif2 --  cl tried    35865 cl shrink        0 lits rem          0 time: 0.02
31843.22/3991.06	c vivif2 --  cl tried   146265 cl shrink    36937 lits rem     424005 time: 2.79
31847.21/3991.58	c asymm  cl-useful: 0/35865/35865 lits-rem:0 time: 0.51
31847.21/3991.60	c calculated reachability. Time: 0.01
31848.01/3991.60	c  N st    80   2211343     28686     35865     55486    146265    301905  35169304   no data   no data
38424.40/4815.98	c  N st    81   2711343     28686     35865     55486    150734    301905  41988098   no data   no data
38424.40/4815.98	c  S st    81   2711343     28686     35865     55486    150734    301905  41988098   no data   no data
38426.81/4816.28	c  S st    81   2711849     28686     35865     55494    151238    301905  41994305   no data   no data
38427.61/4816.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
38434.79/4817.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  9.4M T:  0.83
38434.79/4817.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
38434.79/4817.26	c bin-w-bin subsume rem            1 bins  time:  0.01 s
38434.79/4817.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
38435.59/4817.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1816 time:  0.03 s
38435.59/4817.33	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.02 s
38438.78/4817.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.44 s
38475.46/4822.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.19 s
38797.70/4862.76	c lits-rem:     18630  cl-subs:      270  v-elim:      0  v-fix:    0  time: 40.42 s
38797.70/4862.78	c vivif2 --  cl tried    35865 cl shrink        0 lits rem          0 time: 0.02
38826.50/4866.39	c vivif2 --  cl tried   150968 cl shrink    34100 lits rem     447283 time: 3.55
38832.03/4867.09	c asymm  cl-useful: 0/35865/35865 lits-rem:0 time: 0.70
38832.83/4867.11	c calculated reachability. Time: 0.01
38832.83/4867.11	c  N st    81   2711849     28686     35865     55493    150968    301905  41441732   no data   no data

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-3394766-1306105321/watcher-3394766-1306105321 -o /tmp/evaluation-result-3394766-1306105321/solver-3394766-1306105321 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394766-1306105321.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.47 7.92 7.97 1/520 5902
/proc/meminfo: memFree=8015180/32951124 swapFree=65586216/67111528
[pid=5902] ppid=5900 vsize=92144 CPUtime=0.01 cores=0-7
/proc/5902/stat : 5902 (strangenight2-m) R 5900 5902 5636 0 -1 4202496 411 0 0 0 1 0 0 0 24 0 8 0 800762790 94355456 352 33554432000 4194304 4580107 140734251985504 18446744073709551615 47762428196786 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5902/statm: 23036 352 299 95 0 18018 0
[pid=5902/tid=5903] ppid=5900 vsize=92144 CPUtime=0.01 cores=0-7
/proc/5902/task/5903/stat : 5903 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 8 0 800762790 94355456 352 33554432000 4194304 4580107 140734251985504 18446744073709551615 47762428196786 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5902/tid=5904] ppid=5900 vsize=92144 CPUtime=0.01 cores=0-7
/proc/5902/task/5904/stat : 5904 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 800762790 94355456 352 33554432000 4194304 4580107 140734251985504 18446744073709551615 47762428196786 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5902/tid=5905] ppid=5900 vsize=92144 CPUtime=0 cores=0-7
/proc/5902/task/5905/stat : 5905 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 800762790 94355456 352 33554432000 4194304 4580107 140734251985504 18446744073709551615 216735235057 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5902/tid=5906] ppid=5900 vsize=92144 CPUtime=0 cores=0-7
/proc/5902/task/5906/stat : 5906 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 800762790 94355456 352 33554432000 4194304 4580107 140734251985504 18446744073709551615 216735235057 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5902/tid=5907] ppid=5900 vsize=92144 CPUtime=0 cores=0-7
/proc/5902/task/5907/stat : 5907 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 800762790 94355456 352 33554432000 4194304 4580107 140734251985504 18446744073709551615 216735235057 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5902/tid=5908] ppid=5900 vsize=92144 CPUtime=0 cores=0-7
/proc/5902/task/5908/stat : 5908 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 800762790 94355456 352 33554432000 4194304 4580107 140734251985504 18446744073709551615 216735235057 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5902/tid=5909] ppid=5900 vsize=92144 CPUtime=0.01 cores=0-7
/proc/5902/task/5909/stat : 5909 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 800762790 94355456 352 33554432000 4194304 4580107 140734251985504 18446744073709551615 47762428196780 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.065626 s]
/proc/loadavg: 7.47 7.92 7.97 1/520 5902
/proc/meminfo: memFree=8015180/32951124 swapFree=65586216/67111528
[pid=5902] ppid=5900 vsize=92144 CPUtime=0.32 cores=0-7
/proc/5902/stat : 5902 (strangenight2-m) R 5900 5902 5636 0 -1 4202496 411 0 0 0 32 0 0 0 24 0 8 0 800762790 94355456 352 33554432000 4194304 4580107 140734251985504 18446744073709551615 47762428196786 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5902/statm: 23036 352 299 95 0 18018 0
[pid=5902/tid=5903] ppid=5900 vsize=92144 CPUtime=0.06 cores=0-7
/proc/5902/task/5903/stat : 5903 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 1 0 0 0 6 0 0 0 24 0 8 0 800762790 94355456 352 33554432000 4194304 4580107 140734251985504 18446744073709551615 47762428196790 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5902/tid=5904] ppid=5900 vsize=92144 CPUtime=0.06 cores=0-7
/proc/5902/task/5904/stat : 5904 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 0 0 0 0 6 0 0 0 25 0 8 0 800762790 94355456 352 33554432000 4194304 4580107 140734251985504 18446744073709551615 47762428196786 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5902/tid=5905] ppid=5900 vsize=92144 CPUtime=0 cores=0-7
/proc/5902/task/5905/stat : 5905 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 800762790 94355456 352 33554432000 4194304 4580107 140734251985504 18446744073709551615 216735235057 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5902/tid=5906] ppid=5900 vsize=92144 CPUtime=0 cores=0-7
/proc/5902/task/5906/stat : 5906 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 800762790 94355456 352 33554432000 4194304 4580107 140734251985504 18446744073709551615 216735235057 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5902/tid=5907] ppid=5900 vsize=92144 CPUtime=0.04 cores=0-7
/proc/5902/task/5907/stat : 5907 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 8 0 800762790 94355456 352 33554432000 4194304 4580107 140734251985504 18446744073709551615 47762428196786 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5902/tid=5908] ppid=5900 vsize=92144 CPUtime=0.04 cores=0-7
/proc/5902/task/5908/stat : 5908 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 8 0 800762790 94355456 352 33554432000 4194304 4580107 140734251985504 18446744073709551615 47762428196786 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5902/tid=5909] ppid=5900 vsize=92144 CPUtime=0.06 cores=0-7
/proc/5902/task/5909/stat : 5909 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 0 0 0 0 6 0 0 0 25 0 8 0 800762790 94355456 352 33554432000 4194304 4580107 140734251985504 18446744073709551615 47762428196786 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 92144

[startup+0.100618 s]
/proc/loadavg: 7.47 7.92 7.97 1/520 5902
/proc/meminfo: memFree=8015180/32951124 swapFree=65586216/67111528
[pid=5902] ppid=5900 vsize=92144 CPUtime=0.54 cores=0-7
/proc/5902/stat : 5902 (strangenight2-m) R 5900 5902 5636 0 -1 4202496 411 0 0 0 54 0 0 0 24 0 8 0 800762790 94355456 352 33554432000 4194304 4580107 140734251985504 18446744073709551615 47762428196786 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5902/statm: 23036 352 299 95 0 18018 0
[pid=5902/tid=5903] ppid=5900 vsize=92144 CPUtime=0.09 cores=0-7
/proc/5902/task/5903/stat : 5903 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 1 0 0 0 9 0 0 0 24 0 8 0 800762790 94355456 352 33554432000 4194304 4580107 140734251985504 18446744073709551615 47762428196790 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5902/tid=5904] ppid=5900 vsize=92144 CPUtime=0.09 cores=0-7
/proc/5902/task/5904/stat : 5904 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 0 0 0 0 9 0 0 0 25 0 8 0 800762790 94355456 352 33554432000 4194304 4580107 140734251985504 18446744073709551615 47762428196786 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5902/tid=5905] ppid=5900 vsize=92144 CPUtime=0 cores=0-7
/proc/5902/task/5905/stat : 5905 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 800762790 94355456 352 33554432000 4194304 4580107 140734251985504 18446744073709551615 216735235057 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5902/tid=5906] ppid=5900 vsize=92144 CPUtime=0 cores=0-7
/proc/5902/task/5906/stat : 5906 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 800762790 94355456 352 33554432000 4194304 4580107 140734251985504 18446744073709551615 47762428196780 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5902/tid=5907] ppid=5900 vsize=92144 CPUtime=0.07 cores=0-7
/proc/5902/task/5907/stat : 5907 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 0 0 0 0 7 0 0 0 25 0 8 0 800762790 94355456 352 33554432000 4194304 4580107 140734251985504 18446744073709551615 47762428196786 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5902/tid=5908] ppid=5900 vsize=92144 CPUtime=0.07 cores=0-7
/proc/5902/task/5908/stat : 5908 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 0 0 0 0 7 0 0 0 25 0 8 0 800762790 94355456 352 33554432000 4194304 4580107 140734251985504 18446744073709551615 47762428196786 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5902/tid=5909] ppid=5900 vsize=92144 CPUtime=0.09 cores=0-7
/proc/5902/task/5909/stat : 5909 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 0 0 0 0 9 0 0 0 25 0 8 0 800762790 94355456 352 33554432000 4194304 4580107 140734251985504 18446744073709551615 47762428196786 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 92144

[startup+0.302611 s]
/proc/loadavg: 7.47 7.92 7.97 1/520 5902
/proc/meminfo: memFree=8015180/32951124 swapFree=65586216/67111528
[pid=5902] ppid=5900 vsize=625268 CPUtime=1.61 cores=0-7
/proc/5902/stat : 5902 (strangenight2-m) R 5900 5902 5636 0 -1 4202496 42195 0 0 0 132 29 0 0 17 0 8 0 800762790 640274432 35090 33554432000 4194304 4580107 140734251985504 18446744073709551615 216735283694 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/5902/statm: 156317 35104 338 95 0 151299 0
[pid=5902/tid=5903] ppid=5900 vsize=625268 CPUtime=0.18 cores=0-7
/proc/5902/task/5903/stat : 5903 (strangenight2-m) S 5900 5902 5636 0 -1 4202560 5188 0 0 0 16 2 0 0 17 0 8 0 800762790 640274432 35108 33554432000 4194304 4580107 140734251985504 18446744073709551615 216735283694 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5902/tid=5904] ppid=5900 vsize=625268 CPUtime=0.25 cores=0-7
/proc/5902/task/5904/stat : 5904 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 5513 0 0 0 21 4 0 0 17 0 8 0 800762790 640274432 35115 33554432000 4194304 4580107 140734251985504 18446744073709551615 216735283743 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5902/tid=5905] ppid=5900 vsize=625268 CPUtime=0.1 cores=0-7
/proc/5902/task/5905/stat : 5905 (strangenight2-m) S 5900 5902 5636 0 -1 4202560 4970 0 0 0 8 2 0 0 17 0 8 0 800762790 640274432 35118 33554432000 4194304 4580107 140734251985504 18446744073709551615 216735283694 0 0 4096 2 18446604468664908736 0 0 -1 6 0 0 0
[pid=5902/tid=5906] ppid=5900 vsize=625268 CPUtime=0.17 cores=0-7
/proc/5902/task/5906/stat : 5906 (strangenight2-m) S 5900 5902 5636 0 -1 4202560 5729 0 0 0 13 4 0 0 17 0 8 0 800762790 640274432 35123 33554432000 4194304 4580107 140734251985504 18446744073709551615 216735283694 0 0 4096 2 18446604468664908736 0 0 -1 0 0 0 0
[pid=5902/tid=5907] ppid=5900 vsize=625268 CPUtime=0.21 cores=0-7
/proc/5902/task/5907/stat : 5907 (strangenight2-m) S 5900 5902 5636 0 -1 4202560 5638 0 0 0 17 4 0 0 17 0 8 0 800762790 640274432 35136 33554432000 4194304 4580107 140734251985504 18446744073709551615 216735283694 0 0 4096 2 18446604468664908736 0 0 -1 7 0 0 0
[pid=5902/tid=5908] ppid=5900 vsize=625268 CPUtime=0.23 cores=0-7
/proc/5902/task/5908/stat : 5908 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 5163 0 0 0 18 5 0 0 18 0 8 0 800762790 640274432 35147 33554432000 4194304 4580107 140734251985504 18446744073709551615 216734875403 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5902/tid=5909] ppid=5900 vsize=625268 CPUtime=0.2 cores=0-7
/proc/5902/task/5909/stat : 5909 (strangenight2-m) S 5900 5902 5636 0 -1 4202560 4762 0 0 0 18 2 0 0 17 0 8 0 800762790 640274432 35163 33554432000 4194304 4580107 140734251985504 18446744073709551615 216735283694 0 0 4096 2 18446604468664908736 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 625268

[startup+0.700692 s]
/proc/loadavg: 7.47 7.92 7.97 1/520 5902
/proc/meminfo: memFree=8015180/32951124 swapFree=65586216/67111528
[pid=5902] ppid=5900 vsize=627492 CPUtime=4.18 cores=0-7
/proc/5902/stat : 5902 (strangenight2-m) R 5900 5902 5636 0 -1 4202496 49913 0 0 0 372 46 0 0 17 0 8 0 800762790 642551808 42808 33554432000 4194304 4580107 140734251985504 18446744073709551615 4295735 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/5902/statm: 156873 42889 359 95 0 151855 0
[pid=5902/tid=5903] ppid=5900 vsize=627492 CPUtime=0.52 cores=0-7
/proc/5902/task/5903/stat : 5903 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 6341 0 0 0 48 4 0 0 17 0 8 0 800762790 642551808 42969 33554432000 4194304 4580107 140734251985504 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5902/tid=5904] ppid=5900 vsize=627492 CPUtime=0.66 cores=0-7
/proc/5902/task/5904/stat : 5904 (strangenight2-m) S 5900 5902 5636 0 -1 4202560 6151 0 0 0 60 6 0 0 18 0 8 0 800762790 642551808 42969 33554432000 4194304 4580107 140734251985504 18446744073709551615 216735283694 0 0 4096 2 18446604468664908736 0 0 -1 1 0 0 0
[pid=5902/tid=5905] ppid=5900 vsize=627492 CPUtime=0.37 cores=0-7
/proc/5902/task/5905/stat : 5905 (strangenight2-m) S 5900 5902 5636 0 -1 4202560 6024 0 0 0 33 4 0 0 17 0 8 0 800762790 642551808 42969 33554432000 4194304 4580107 140734251985504 18446744073709551615 216735283694 0 0 4096 2 18446604468664908736 0 0 -1 7 0 0 0
[pid=5902/tid=5906] ppid=5900 vsize=627492 CPUtime=0.59 cores=0-7
/proc/5902/task/5906/stat : 5906 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 6264 0 0 0 54 5 0 0 17 0 8 0 800762790 642551808 42969 33554432000 4194304 4580107 140734251985504 18446744073709551615 216735283743 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5902/tid=5907] ppid=5900 vsize=627492 CPUtime=0.61 cores=0-7
/proc/5902/task/5907/stat : 5907 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 6765 0 0 0 53 8 0 0 18 0 8 0 800762790 642551808 42969 33554432000 4194304 4580107 140734251985504 18446744073709551615 4293778 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5902/tid=5908] ppid=5900 vsize=627492 CPUtime=0.65 cores=0-7
/proc/5902/task/5908/stat : 5908 (strangenight2-m) S 5900 5902 5636 0 -1 4202560 6067 0 0 0 58 7 0 0 18 0 8 0 800762790 642551808 42969 33554432000 4194304 4580107 140734251985504 18446744073709551615 216735283694 0 0 4096 2 18446604468664908736 0 0 -1 3 0 0 0
[pid=5902/tid=5909] ppid=5900 vsize=627492 CPUtime=0.55 cores=0-7
/proc/5902/task/5909/stat : 5909 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 5938 0 0 0 51 4 0 0 17 0 8 0 800762790 642551808 42969 33554432000 4194304 4580107 140734251985504 18446744073709551615 4302360 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.18
Current children cumulated vsize (KiB) 627492

[startup+1.50038 s]
/proc/loadavg: 7.47 7.92 7.97 9/528 5910
/proc/meminfo: memFree=7833456/32951124 swapFree=65586216/67111528
[pid=5902] ppid=5900 vsize=659668 CPUtime=9.77 cores=0-7
/proc/5902/stat : 5902 (strangenight2-m) R 5900 5902 5636 0 -1 4202496 82354 0 0 0 859 118 0 0 17 0 8 0 800762790 675500032 70462 33554432000 4194304 4580107 140734251985504 18446744073709551615 216735283743 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/5902/statm: 164917 70462 375 95 0 159899 0
[pid=5902/tid=5903] ppid=5900 vsize=659668 CPUtime=1.14 cores=0-7
/proc/5902/task/5903/stat : 5903 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 9941 0 0 0 96 18 0 0 16 0 8 0 800762790 675500032 70464 33554432000 4194304 4580107 140734251985504 18446744073709551615 216735283694 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5902/tid=5904] ppid=5900 vsize=659668 CPUtime=1.36 cores=0-7
/proc/5902/task/5904/stat : 5904 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 15789 0 0 0 122 14 0 0 17 0 8 0 800762790 675500032 70465 33554432000 4194304 4580107 140734251985504 18446744073709551615 216735283743 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5902/tid=5905] ppid=5900 vsize=659668 CPUtime=1.06 cores=0-7
/proc/5902/task/5905/stat : 5905 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 7189 0 0 0 96 10 0 0 17 0 8 0 800762790 675500032 70465 33554432000 4194304 4580107 140734251985504 18446744073709551615 216735283694 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5902/tid=5906] ppid=5900 vsize=659668 CPUtime=1.27 cores=0-7
/proc/5902/task/5906/stat : 5906 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 13902 0 0 0 114 13 0 0 16 0 8 0 800762790 675500032 70465 33554432000 4194304 4580107 140734251985504 18446744073709551615 4397928 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5902/tid=5907] ppid=5900 vsize=659668 CPUtime=1.26 cores=0-7
/proc/5902/task/5907/stat : 5907 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 11378 0 0 0 105 21 0 0 17 0 8 0 800762790 675500032 70466 33554432000 4194304 4580107 140734251985504 18446744073709551615 4443383 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5902/tid=5908] ppid=5900 vsize=659668 CPUtime=1.2 cores=0-7
/proc/5902/task/5908/stat : 5908 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 9441 0 0 0 99 21 0 0 17 0 8 0 800762790 675500032 70467 33554432000 4194304 4580107 140734251985504 18446744073709551615 216735283743 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5902/tid=5909] ppid=5900 vsize=659668 CPUtime=1.3 cores=0-7
/proc/5902/task/5909/stat : 5909 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 6165 0 0 0 126 4 0 0 18 0 8 0 800762790 675500032 70467 33554432000 4194304 4580107 140734251985504 18446744073709551615 216735283743 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 9.77
Current children cumulated vsize (KiB) 659668

[startup+3.10111 s]
/proc/loadavg: 7.47 7.92 7.97 9/528 5910
/proc/meminfo: memFree=7671760/32951124 swapFree=65586216/67111528
[pid=5902] ppid=5900 vsize=680320 CPUtime=22.35 cores=0-7
/proc/5902/stat : 5902 (strangenight2-m) R 5900 5902 5636 0 -1 4202496 107371 0 0 0 2094 141 0 0 18 0 8 0 800762790 696647680 85840 33554432000 4194304 4580107 140734251985504 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/5902/statm: 170080 85840 380 95 0 165062 0
[pid=5902/tid=5903] ppid=5900 vsize=680320 CPUtime=2.72 cores=0-7
/proc/5902/task/5903/stat : 5903 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 14938 0 0 0 252 20 0 0 18 0 8 0 800762790 696647680 85840 33554432000 4194304 4580107 140734251985504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5902/tid=5904] ppid=5900 vsize=680320 CPUtime=2.94 cores=0-7
/proc/5902/task/5904/stat : 5904 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 16955 0 0 0 276 18 0 0 19 0 8 0 800762790 696647680 85840 33554432000 4194304 4580107 140734251985504 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5902/tid=5905] ppid=5900 vsize=680320 CPUtime=2.61 cores=0-7
/proc/5902/task/5905/stat : 5905 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 12838 0 0 0 245 16 0 0 19 0 8 0 800762790 696647680 85840 33554432000 4194304 4580107 140734251985504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5902/tid=5906] ppid=5900 vsize=680320 CPUtime=2.85 cores=0-7
/proc/5902/task/5906/stat : 5906 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 15403 0 0 0 269 16 0 0 17 0 8 0 800762790 696647680 85840 33554432000 4194304 4580107 140734251985504 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5902/tid=5907] ppid=5900 vsize=680320 CPUtime=2.83 cores=0-7
/proc/5902/task/5907/stat : 5907 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 15268 0 0 0 261 22 0 0 19 0 8 0 800762790 696647680 85840 33554432000 4194304 4580107 140734251985504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5902/tid=5908] ppid=5900 vsize=680320 CPUtime=2.79 cores=0-7
/proc/5902/task/5908/stat : 5908 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 13642 0 0 0 256 23 0 0 19 0 8 0 800762790 696647680 85840 33554432000 4194304 4580107 140734251985504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5902/tid=5909] ppid=5900 vsize=680320 CPUtime=2.89 cores=0-7
/proc/5902/task/5909/stat : 5909 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 6252 0 0 0 285 4 0 0 20 0 8 0 800762790 696647680 85840 33554432000 4194304 4580107 140734251985504 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 22.35
Current children cumulated vsize (KiB) 680320

[startup+6.30055 s]
/proc/loadavg: 7.67 7.96 7.98 9/528 5910
/proc/meminfo: memFree=7667672/32951124 swapFree=65586216/67111528
[pid=5902] ppid=5900 vsize=680320 CPUtime=47.89 cores=0-7
/proc/5902/stat : 5902 (strangenight2-m) R 5900 5902 5636 0 -1 4202496 108287 0 0 0 4647 142 0 0 25 0 8 0 800762790 696647680 86756 33554432000 4194304 4580107 140734251985504 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/5902/statm: 170080 86756 380 95 0 165062 0
[pid=5902/tid=5903] ppid=5900 vsize=680320 CPUtime=5.92 cores=0-7
/proc/5902/task/5903/stat : 5903 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 14989 0 0 0 572 20 0 0 25 0 8 0 800762790 696647680 86756 33554432000 4194304 4580107 140734251985504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5902/tid=5904] ppid=5900 vsize=680320 CPUtime=6.14 cores=0-7
/proc/5902/task/5904/stat : 5904 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 17005 0 0 0 596 18 0 0 25 0 8 0 800762790 696647680 86756 33554432000 4194304 4580107 140734251985504 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5902/tid=5905] ppid=5900 vsize=680320 CPUtime=5.81 cores=0-7
/proc/5902/task/5905/stat : 5905 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 12889 0 0 0 565 16 0 0 25 0 8 0 800762790 696647680 86756 33554432000 4194304 4580107 140734251985504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5902/tid=5906] ppid=5900 vsize=680320 CPUtime=6.05 cores=0-7
/proc/5902/task/5906/stat : 5906 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 15567 0 0 0 588 17 0 0 25 0 8 0 800762790 696647680 86756 33554432000 4194304 4580107 140734251985504 18446744073709551615 4293148 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5902/tid=5907] ppid=5900 vsize=680320 CPUtime=5.98 cores=0-7
/proc/5902/task/5907/stat : 5907 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 15317 0 0 0 575 23 0 0 25 0 8 0 800762790 696647680 86756 33554432000 4194304 4580107 140734251985504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5902/tid=5908] ppid=5900 vsize=680320 CPUtime=5.99 cores=0-7
/proc/5902/task/5908/stat : 5908 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 13696 0 0 0 576 23 0 0 25 0 8 0 800762790 696647680 86756 33554432000 4194304 4580107 140734251985504 18446744073709551615 4301894 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5902/tid=5909] ppid=5900 vsize=680320 CPUtime=6.09 cores=0-7
/proc/5902/task/5909/stat : 5909 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 6683 0 0 0 605 4 0 0 25 0 8 0 800762790 696647680 86756 33554432000 4194304 4580107 140734251985504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0

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

/proc/5902/task/5904/stat : 5904 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 2640802 0 0 0 469620 850 0 0 25 0 8 0 800762790 14248226816 2947997 33554432000 4194304 4580107 140734251985504 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5902/tid=5905] ppid=5900 vsize=13914284 CPUtime=4672.18 cores=0-7
/proc/5902/task/5905/stat : 5905 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 2679222 0 0 0 466399 819 0 0 25 0 8 0 800762790 14248226816 2947997 33554432000 4194304 4580107 140734251985504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5902/tid=5906] ppid=5900 vsize=13914284 CPUtime=4711.79 cores=0-7
/proc/5902/task/5906/stat : 5906 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 2845248 0 0 0 470281 898 0 0 25 0 8 0 800762790 14248226816 2947997 33554432000 4194304 4580107 140734251985504 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5902/tid=5907] ppid=5900 vsize=13914284 CPUtime=4711.65 cores=0-7
/proc/5902/task/5907/stat : 5907 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 2595451 0 0 0 470339 826 0 0 25 0 8 0 800762790 14248226816 2947997 33554432000 4194304 4580107 140734251985504 18446744073709551615 4416997 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5902/tid=5908] ppid=5900 vsize=13914284 CPUtime=4719.54 cores=0-7
/proc/5902/task/5908/stat : 5908 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 2689572 0 0 0 471112 842 0 0 25 0 8 0 800762790 14248226816 2947997 33554432000 4194304 4580107 140734251985504 18446744073709551615 4320616 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5902/tid=5909] ppid=5900 vsize=13914284 CPUtime=4720.65 cores=0-7
/proc/5902/task/5909/stat : 5909 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 1119281 0 0 0 471675 390 0 0 25 0 8 0 800762790 14248226816 2947997 33554432000 4194304 4580107 140734251985504 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 37677.7
Current children cumulated vsize (KiB) 13914284

[startup+4782.3 s]
/proc/loadavg: 8.09 8.08 8.01 9/528 6049
/proc/meminfo: memFree=93144/32951124 swapFree=65586216/67111528
[pid=5902] ppid=5900 vsize=14184080 CPUtime=38156.4 cores=0-7
/proc/5902/stat : 5902 (strangenight2-m) R 5900 5902 5636 0 -1 4202496 19992461 0 0 0 3809272 6365 0 0 25 0 8 0 800762790 14524497920 3001240 33554432000 4194304 4580107 140734251985504 18446744073709551615 4293263 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/5902/statm: 3546020 3001240 394 95 0 3541002 0
[pid=5902/tid=5903] ppid=5900 vsize=14184080 CPUtime=4776.5 cores=0-7
/proc/5902/task/5903/stat : 5903 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 2711469 0 0 0 476787 863 0 0 25 0 8 0 800762790 14524497920 3001240 33554432000 4194304 4580107 140734251985504 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5902/tid=5904] ppid=5900 vsize=14184080 CPUtime=4763.64 cores=0-7
/proc/5902/task/5904/stat : 5904 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 2660423 0 0 0 475505 859 0 0 25 0 8 0 800762790 14524497920 3001240 33554432000 4194304 4580107 140734251985504 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5902/tid=5905] ppid=5900 vsize=14184080 CPUtime=4732.12 cores=0-7
/proc/5902/task/5905/stat : 5905 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 2701543 0 0 0 472385 827 0 0 25 0 8 0 800762790 14524497920 3001240 33554432000 4194304 4580107 140734251985504 18446744073709551615 4317176 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5902/tid=5906] ppid=5900 vsize=14184080 CPUtime=4771.75 cores=0-7
/proc/5902/task/5906/stat : 5906 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 2863800 0 0 0 476270 905 0 0 25 0 8 0 800762790 14524497920 3001240 33554432000 4194304 4580107 140734251985504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5902/tid=5907] ppid=5900 vsize=14184080 CPUtime=4771.62 cores=0-7
/proc/5902/task/5907/stat : 5907 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 2641964 0 0 0 476323 839 0 0 25 0 8 0 800762790 14524497920 3001240 33554432000 4194304 4580107 140734251985504 18446744073709551615 4316692 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5902/tid=5908] ppid=5900 vsize=14184080 CPUtime=4779.51 cores=0-7
/proc/5902/task/5908/stat : 5908 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 2733180 0 0 0 477095 856 0 0 25 0 8 0 800762790 14524497920 3001240 33554432000 4194304 4580107 140734251985504 18446744073709551615 4317112 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5902/tid=5909] ppid=5900 vsize=14184080 CPUtime=4780.62 cores=0-7
/proc/5902/task/5909/stat : 5909 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 1134156 0 0 0 477666 396 0 0 25 0 8 0 800762790 14524497920 3001240 33554432000 4194304 4580107 140734251985504 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 38156.4
Current children cumulated vsize (KiB) 14184080

[startup+4842.3 s]
/proc/loadavg: 8.03 8.06 8.01 9/528 6051
/proc/meminfo: memFree=574700/32951124 swapFree=65586216/67111528
[pid=5902] ppid=5900 vsize=13829212 CPUtime=38634.9 cores=0-7
/proc/5902/stat : 5902 (strangenight2-m) R 5900 5902 5636 0 -1 4202496 20274558 0 0 0 3857034 6451 0 0 25 0 8 0 800762790 14161113088 3001138 33554432000 4194304 4580107 140734251985504 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5902/statm: 3457303 3001138 395 95 0 3452285 0
[pid=5902/tid=5903] ppid=5900 vsize=13829212 CPUtime=4836.32 cores=0-7
/proc/5902/task/5903/stat : 5903 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 2728667 0 0 0 482761 871 0 0 25 0 8 0 800762790 14161113088 3001138 33554432000 4194304 4580107 140734251985504 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5902/tid=5904] ppid=5900 vsize=13829212 CPUtime=4822.57 cores=0-7
/proc/5902/task/5904/stat : 5904 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 2691583 0 0 0 481388 869 0 0 18 0 8 0 800762790 14161113088 3001138 33554432000 4194304 4580107 140734251985504 18446744073709551615 4296101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5902/tid=5905] ppid=5900 vsize=13829212 CPUtime=4792.08 cores=0-7
/proc/5902/task/5905/stat : 5905 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 2735103 0 0 0 478371 837 0 0 25 0 8 0 800762790 14161113088 3001138 33554432000 4194304 4580107 140734251985504 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5902/tid=5906] ppid=5900 vsize=13829212 CPUtime=4831.72 cores=0-7
/proc/5902/task/5906/stat : 5906 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 2893558 0 0 0 482257 915 0 0 25 0 8 0 800762790 14161113088 3001138 33554432000 4194304 4580107 140734251985504 18446744073709551615 4317112 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5902/tid=5907] ppid=5900 vsize=13829212 CPUtime=4831.49 cores=0-7
/proc/5902/task/5907/stat : 5907 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 2682707 0 0 0 482296 853 0 0 25 0 8 0 800762790 14161113088 3001138 33554432000 4194304 4580107 140734251985504 18446744073709551615 4322578 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5902/tid=5908] ppid=5900 vsize=13829212 CPUtime=4839.47 cores=0-7
/proc/5902/task/5908/stat : 5908 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 2756944 0 0 0 483081 866 0 0 25 0 8 0 800762790 14161113088 3001138 33554432000 4194304 4580107 140734251985504 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5902/tid=5909] ppid=5900 vsize=13829212 CPUtime=4840.59 cores=0-7
/proc/5902/task/5909/stat : 5909 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 1147691 0 0 0 483659 400 0 0 25 0 8 0 800762790 14161113088 3001138 33554432000 4194304 4580107 140734251985504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 38634.9
Current children cumulated vsize (KiB) 13829212

[startup+4902.3 s]
/proc/loadavg: 8.08 8.07 8.01 9/528 6053
/proc/meminfo: memFree=323460/32951124 swapFree=65586216/67111528
[pid=5902] ppid=5900 vsize=14752560 CPUtime=39113.7 cores=0-7
/proc/5902/stat : 5902 (strangenight2-m) R 5900 5902 5636 0 -1 4202496 20473780 0 0 0 3904845 6522 0 0 25 0 8 0 800762790 15106621440 3107531 33554432000 4194304 4580107 140734251985504 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5902/statm: 3688140 3107531 395 95 0 3683122 0
[pid=5902/tid=5903] ppid=5900 vsize=14752560 CPUtime=4896.28 cores=0-7
/proc/5902/task/5903/stat : 5903 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 2759250 0 0 0 488746 882 0 0 25 0 8 0 800762790 15106621440 3107531 33554432000 4194304 4580107 140734251985504 18446744073709551615 4316720 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5902/tid=5904] ppid=5900 vsize=14752560 CPUtime=4881.53 cores=0-7
/proc/5902/task/5904/stat : 5904 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 2717367 0 0 0 487275 878 0 0 25 0 8 0 800762790 15106621440 3107531 33554432000 4194304 4580107 140734251985504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5902/tid=5905] ppid=5900 vsize=14752560 CPUtime=4852.08 cores=0-7
/proc/5902/task/5905/stat : 5905 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 2752617 0 0 0 484362 846 0 0 25 0 8 0 800762790 15106621440 3107531 33554432000 4194304 4580107 140734251985504 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5902/tid=5906] ppid=5900 vsize=14752560 CPUtime=4891.71 cores=0-7
/proc/5902/task/5906/stat : 5906 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 2914736 0 0 0 488248 923 0 0 25 0 8 0 800762790 15106621440 3107531 33554432000 4194304 4580107 140734251985504 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5902/tid=5907] ppid=5900 vsize=14752560 CPUtime=4891.46 cores=0-7
/proc/5902/task/5907/stat : 5907 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 2707629 0 0 0 488284 862 0 0 25 0 8 0 800762790 15106621440 3107531 33554432000 4194304 4580107 140734251985504 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5902/tid=5908] ppid=5900 vsize=14752560 CPUtime=4899.45 cores=0-7
/proc/5902/task/5908/stat : 5908 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 2777277 0 0 0 489071 874 0 0 25 0 8 0 800762790 15106621440 3107531 33554432000 4194304 4580107 140734251985504 18446744073709551615 4318440 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5902/tid=5909] ppid=5900 vsize=14752560 CPUtime=4900.57 cores=0-7
/proc/5902/task/5909/stat : 5909 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 1161918 0 0 0 489653 404 0 0 25 0 8 0 800762790 15106621440 3107531 33554432000 4194304 4580107 140734251985504 18446744073709551615 4316725 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 39113.7
Current children cumulated vsize (KiB) 14752560

[startup+4962.3 s]
/proc/loadavg: 8.09 8.07 8.00 9/528 6054
/proc/meminfo: memFree=98400/32951124 swapFree=65586216/67111528
[pid=5902] ppid=5900 vsize=15189780 CPUtime=39592.2 cores=0-7
/proc/5902/stat : 5902 (strangenight2-m) R 5900 5902 5636 0 -1 4202496 20869823 0 0 0 3952586 6635 0 0 25 0 8 0 800762790 15554334720 3202659 33554432000 4194304 4580107 140734251985504 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5902/statm: 3797445 3202659 394 95 0 3792427 0
[pid=5902/tid=5903] ppid=5900 vsize=15189780 CPUtime=4956.2 cores=0-7
/proc/5902/task/5903/stat : 5903 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 2780823 0 0 0 494729 891 0 0 25 0 8 0 800762790 15554334720 3202659 33554432000 4194304 4580107 140734251985504 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5902/tid=5904] ppid=5900 vsize=15189780 CPUtime=4940.44 cores=0-7
/proc/5902/task/5904/stat : 5904 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 2864530 0 0 0 493135 909 0 0 25 0 8 0 800762790 15554334720 3202659 33554432000 4194304 4580107 140734251985504 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5902/tid=5905] ppid=5900 vsize=15189780 CPUtime=4912.04 cores=0-7
/proc/5902/task/5905/stat : 5905 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 2781705 0 0 0 490346 858 0 0 25 0 8 0 800762790 15554334720 3202661 33554432000 4194304 4580107 140734251985504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5902/tid=5906] ppid=5900 vsize=15189780 CPUtime=4951.71 cores=0-7
/proc/5902/task/5906/stat : 5906 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 2988172 0 0 0 494234 937 0 0 25 0 8 0 800762790 15554334720 3202661 33554432000 4194304 4580107 140734251985504 18446744073709551615 4293720 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5902/tid=5907] ppid=5900 vsize=15189780 CPUtime=4951.28 cores=0-7
/proc/5902/task/5907/stat : 5907 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 2742892 0 0 0 494248 880 0 0 25 0 8 0 800762790 15554334720 3202661 33554432000 4194304 4580107 140734251985504 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5902/tid=5908] ppid=5900 vsize=15189780 CPUtime=4959.42 cores=0-7
/proc/5902/task/5908/stat : 5908 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 2817015 0 0 0 495056 886 0 0 25 0 8 0 800762790 15554334720 3202661 33554432000 4194304 4580107 140734251985504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5902/tid=5909] ppid=5900 vsize=15189780 CPUtime=4960.56 cores=0-7
/proc/5902/task/5909/stat : 5909 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 1172788 0 0 0 495647 409 0 0 25 0 8 0 800762790 15554334720 3202661 33554432000 4194304 4580107 140734251985504 18446744073709551615 4317325 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 39592.2
Current children cumulated vsize (KiB) 15189780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5013.5 s]
/proc/loadavg: 8.04 8.05 8.00 9/528 6056
/proc/meminfo: memFree=96392/32951124 swapFree=65586216/67111528
[pid=5902] ppid=5900 vsize=15189780 CPUtime=40000.8 cores=0-7
/proc/5902/stat : 5902 (strangenight2-m) R 5900 5902 5636 0 -1 4202496 20981432 0 0 0 3993382 6696 0 0 25 0 8 0 800762790 15554334720 3314268 33554432000 4194304 4580107 140734251985504 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5902/statm: 3797445 3314268 394 95 0 3792427 0
[pid=5902/tid=5903] ppid=5900 vsize=15189780 CPUtime=5007.31 cores=0-7
/proc/5902/task/5903/stat : 5903 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 2796635 0 0 0 499834 897 0 0 25 0 8 0 800762790 15554334720 3314293 33554432000 4194304 4580107 140734251985504 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5902/tid=5904] ppid=5900 vsize=15189780 CPUtime=4990.77 cores=0-7
/proc/5902/task/5904/stat : 5904 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 2864530 0 0 0 498168 909 0 0 25 0 8 0 800762790 15554334720 3314293 33554432000 4194304 4580107 140734251985504 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5902/tid=5905] ppid=5900 vsize=15189780 CPUtime=4963.26 cores=0-7
/proc/5902/task/5905/stat : 5905 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 2794025 0 0 0 495458 868 0 0 25 0 8 0 800762790 15554334720 3314293 33554432000 4194304 4580107 140734251985504 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5902/tid=5906] ppid=5900 vsize=15189780 CPUtime=5002.92 cores=0-7
/proc/5902/task/5906/stat : 5906 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 3002535 0 0 0 499345 947 0 0 25 0 8 0 800762790 15554334720 3314293 33554432000 4194304 4580107 140734251985504 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5902/tid=5907] ppid=5900 vsize=15189780 CPUtime=5002.4 cores=0-7
/proc/5902/task/5907/stat : 5907 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 2763918 0 0 0 499346 894 0 0 25 0 8 0 800762790 15554334720 3314293 33554432000 4194304 4580107 140734251985504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5902/tid=5908] ppid=5900 vsize=15189780 CPUtime=5010.63 cores=0-7
/proc/5902/task/5908/stat : 5908 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 2837392 0 0 0 500169 894 0 0 25 0 8 0 800762790 15554334720 3314293 33554432000 4194304 4580107 140734251985504 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5902/tid=5909] ppid=5900 vsize=15189780 CPUtime=5011.79 cores=0-7
/proc/5902/task/5909/stat : 5909 (strangenight2-m) R 5900 5902 5636 0 -1 4202560 1180548 0 0 0 500766 413 0 0 25 0 8 0 800762790 15554334720 3314293 33554432000 4194304 4580107 140734251985504 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 40000.8
Current children cumulated vsize (KiB) 15189780

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

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

[startup+5013.82 s]
/proc/loadavg: 8.04 8.05 8.00 2/523 6057
/proc/meminfo: memFree=3978688/32951124 swapFree=65586216/67111528
[pid=5902] ppid=5900 vsize=0 CPUtime=40001.2 cores=0-7
/proc/5902/stat : 5902 (strangenight2-m) Z 5900 5902 5636 0 -1 4203548 20981465 0 0 0 3993393 6725 0 0 25 0 2 0 800762790 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5902/statm: 0 0 0 0 0 0 0
[pid=5902/tid=5904] ppid=5900 vsize=0 CPUtime=4991.07 cores=0-7
/proc/5902/task/5904/stat : 5904 (strangenight2-m) R 5900 5902 5636 0 -1 4203588 2864530 0 0 0 498169 938 0 0 25 0 2 0 800762790 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 40001.2
Current children cumulated vsize (KiB) 0

[startup+5014 s]
/proc/loadavg: 8.04 8.05 8.00 2/523 6057
/proc/meminfo: memFree=3978688/32951124 swapFree=65586216/67111528
[pid=5902] ppid=5900 vsize=0 CPUtime=40001.4 cores=0-7
/proc/5902/stat : 5902 (strangenight2-m) Z 5900 5902 5636 0 -1 4203548 20981465 0 0 0 3993393 6743 0 0 25 0 2 0 800762790 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5902/statm: 0 0 0 0 0 0 0
[pid=5902/tid=5904] ppid=5900 vsize=0 CPUtime=4991.25 cores=0-7
/proc/5902/task/5904/stat : 5904 (strangenight2-m) R 5900 5902 5636 0 -1 4203588 2864530 0 0 0 498169 956 0 0 25 0 2 0 800762790 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 40001.4
Current children cumulated vsize (KiB) 0

[startup+5014.1 s]
/proc/loadavg: 8.04 8.05 8.00 2/523 6057
/proc/meminfo: memFree=3978688/32951124 swapFree=65586216/67111528
[pid=5902] ppid=5900 vsize=0 CPUtime=40001.5 cores=0-7
/proc/5902/stat : 5902 (strangenight2-m) Z 5900 5902 5636 0 -1 4203548 20981465 0 0 0 3993393 6753 0 0 25 0 2 0 800762790 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5902/statm: 0 0 0 0 0 0 0
[pid=5902/tid=5904] ppid=5900 vsize=0 CPUtime=4991.35 cores=0-7
/proc/5902/task/5904/stat : 5904 (strangenight2-m) R 5900 5902 5636 0 -1 4203588 2864530 0 0 0 498169 966 0 0 25 0 2 0 800762790 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 40001.5
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5014.2
CPU time (s): 40001.6
CPU user time (s): 39933.9
CPU system time (s): 67.6327
CPU usage (%): 797.766
Max. virtual memory (cumulated for all children) (KiB): 15189780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39933.9
system time used= 67.6327
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20981465
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= 202044
involuntary context switches= 168170

runsolver used 24.0763 second user time and 62.7695 second system time

The end

Launcher Data 

Begin job on node119 at 2011-05-23 01:02:01
IDJOB=3394766
IDBENCH=84227
IDSOLVER=1878
FILE ID=node119/3394766-1306105321
RUNJOBID= node119-1306100255-5650
PBS_JOBID= 13387984
Free space on /tmp= 73132 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT03/industrial/li/li-test4/li-test4-100.shuffled-as.sat03-370.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394766-1306105321/watcher-3394766-1306105321 -o /tmp/evaluation-result-3394766-1306105321/solver-3394766-1306105321 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394766-1306105321.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 5e5606ae7367b9272c60adc115594912
RANDOM SEED=2145823174

node119.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.815
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.63
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.815
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.815
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.74
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.815
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.83
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.815
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	: 5332.67
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.815
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.815
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.74
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.815
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       8015460 kB
Buffers:        347344 kB
Cached:        8040328 kB
SwapCached:       4756 kB
Active:       19735640 kB
Inactive:      4834060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       8015460 kB
SwapTotal:    67111528 kB
SwapFree:     65586216 kB
Dirty:            9320 kB
Writeback:           0 kB
AnonPages:    16180196 kB
Mapped:          41352 kB
Slab:           215304 kB
PageTables:      78928 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 163850884 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= 73124 MiB
End job on node119 at 2011-05-23 02:25:37