Trace number 3173699

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? (TO) 4800.34 1201.79

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v25000-c105000-S1233052734-067-UNKNOWN.cnf
MD5SUMeea50e836fd8ac6474349634450aaaf7
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark15.8316
Satisfiable
(Un)Satisfiability was proved
Number of variables25000
Number of clauses105000
Sum of the clauses size315000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3105000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3173699-1304029997.cnf'
0.00/0.00	c -- header says num vars:          25000
0.00/0.00	c -- header says num clauses:      105000
0.34/0.27	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.34/0.27	c -- vars added      25000
0.34/0.27	c Parsing time:  0.09 s
0.34/0.27	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data
0.34/0.27	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.09
0.34/0.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.05
1.24/0.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.24/0.36	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.24/0.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.24/0.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  25000 time:  0.01 s
1.24/0.38	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.01 s
1.24/0.96	c lits-rem:         0  cl-subs:        0  v-elim:    629  v-fix:    0  time:  0.17 s
1.24/0.96	c Finding binary XORs  T:     0.00 s  found:       0
1.24/0.96	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
1.24/0.96	c calculated reachability. Time: 0.00
1.24/0.96	c Calc default polars -  time:   0.01 s pos:   11167 undec:    2757 neg:   11076
1.24/0.96	c =========================================================================================
1.24/0.96	c types(t): F = full restart, N = normal restart
1.24/0.96	c types(t): S = simplification begin/end, E = solution found
1.24/0.96	c restart types(rt): st = static, dy = dynamic
1.24/0.96	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.24/0.96	c  B st     0         0     24371    104344         0         0    316935         0   no data   no data
7.90/2.01	c  N dy    20      4074     24371    104344         0      4074    316935    994919    135.25    145.81
13.50/3.40	c  N dy    50      8082     24371    104344         0      8081    316935   1844298    137.27    149.26
19.11/4.85	c  N dy    77     12104     24371    104344         0     12103    316935   2671546    136.28    155.91
25.48/6.40	c  N dy   110     16188     24371    104344         0     16186    316935   3540191    137.77    148.49
31.47/7.99	c  N dy   137     20292     24371    104344         0     10290    316935    640947    138.88    151.09
37.46/9.48	c  N dy   166     24356     24371    104344         0     14353    316935   1525218    139.25    147.81
38.66/9.73	c  F st   171     25000     24371    104344         0     14997    316935   1673823    139.54    137.80
46.65/11.78	c  N dy   177     30000     24371    104344         0     19996    316935   3316882    139.54   no data
46.65/11.78	c  S st   177     30000     24371    104344         0     19996    316935   3316882    139.54   no data
47.45/11.98	c  S st   177     30507     24371    104344         0     20503    316935   3408572    139.54   no data
47.45/11.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
48.25/12.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
48.25/12.14	c blocked clauses removed:      458 vars:     76 tried:       24371 T: 0.01 s
48.25/12.15	c bin-w-bin subsume rem            0 bins  time:  0.01 s
48.25/12.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
48.25/12.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24295 time:  0.01 s
48.25/12.17	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
48.65/12.30	c lits-rem:         0  cl-subs:        0  v-elim:      6  v-fix:    0  time:  0.12 s
49.86/12.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
53.85/13.51	c lits-rem:         5  cl-subs:        8  v-elim:      0  v-fix:    0  time:  0.89 s
54.26/13.64	c asymm  cl-useful: 0/103880/103880 lits-rem:0 time: 0.12
54.26/13.64	c calculated reachability. Time: 0.00
54.26/13.64	c  N dy   177     30507     24289    103880         0     20154    315582   3226258    139.54   no data
60.64/15.28	c  N dy   200     34582     24289    103880         0     24227    315582   4139594    139.63    149.88
67.44/16.98	c  N dy   231     38652     24289    103880         0     28296    315582   5057591    140.06    156.98
74.22/18.63	c  N dy   258     42750     24289    103880         0     17072    315582   1071118    140.42    148.99
78.60/19.79	c  S st   279     45762     24289    103880         0     20084    315582   1714611    140.28   no data
79.81/20.01	c  S st   279     46265     24289    103880         0     20587    315582   1798858    140.28   no data
79.81/20.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
80.21/20.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
80.21/20.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
80.21/20.17	c bin-w-bin subsume rem            0 bins  time:  0.01 s
80.21/20.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
80.21/20.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24289 time:  0.01 s
80.21/20.20	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
81.02/20.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
81.40/20.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
82.20/20.68	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.25 s
82.20/20.69	c vivif2 --  cl tried   103880 cl shrink        0 lits rem          0 time: 0.01
82.61/20.72	c vivif2 --  cl tried    20586 cl shrink        0 lits rem          0 time: 0.03
83.00/20.85	c asymm  cl-useful: 0/103880/103880 lits-rem:0 time: 0.12
83.00/20.85	c calculated reachability. Time: 0.00
83.00/20.86	c  N dy   279     46265     24289    103880         0     20586    315582   1798801    140.28   no data
89.41/22.45	c  N dy   310     50363     24289    103880         0     24684    315582   2733253    140.70    155.74
96.18/24.10	c  N dy   338     54459     24289    103880         0     28780    315582   3607965    140.50    152.86
102.59/25.80	c  N dy   366     58551     24289    103880         0     32871    315582   4502242    140.48    148.39
109.36/27.48	c  N dy   397     62578     24289    103880         0     36898    315582   5401427    140.76    175.36
116.18/29.12	c  N dy   425     66706     24289    103880         0     22366    315582   1489375    140.73    148.94
120.17/30.19	c  S st   441     69397     24289    103880         0     25057    315582   2056267    140.57   no data
120.94/30.39	c  S st   441     69900     24289    103880         0     25560    315582   2141078    140.57   no data
121.34/30.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
121.74/30.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
121.74/30.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
121.74/30.56	c bin-w-bin subsume rem            0 bins  time:  0.01 s
121.74/30.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
121.74/30.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24289 time:  0.01 s
121.74/30.58	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
122.14/30.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
122.95/30.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
124.56/31.22	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.38 s
124.56/31.24	c vivif2 --  cl tried   103880 cl shrink        0 lits rem          0 time: 0.01
124.56/31.27	c vivif2 --  cl tried    25559 cl shrink        0 lits rem          0 time: 0.04
125.34/31.40	c asymm  cl-useful: 0/103880/103880 lits-rem:0 time: 0.13
125.34/31.41	c calculated reachability. Time: 0.00
125.34/31.41	c  N dy   441     69900     24289    103880         0     25559    315582   2140077    140.57   no data
132.53/33.21	c  N dy   468     74431     24289    103880         0     30090    315582   3094961    140.55    197.39
140.52/35.24	c  N dy   501     79281     24289    103880         0     34938    315582   4167500    140.67    148.19
149.31/37.42	c  N dy   539     84353     24289    103880         0     40010    315582   5307113    140.96    149.15
154.51/38.78	c  F st   563     87500     24289    103880         0     22326    315582    968036    141.06    136.12
160.50/40.21	c  N st   568     90796     24289    103880         0     25621    315582   2058186    141.06   no data
170.49/42.72	c  N dy   597     96686     24289    103880         0     31509    315582   3650360    141.30    149.61
180.88/45.36	c  N dy   641    102863     24289    103880         0     37686    315582   5056668    141.47    160.15
184.47/46.23	c  S st   654    104850     24289    103880         0     39673    315582   5511435    141.44   no data
185.27/46.45	c  S st   654    105350     24289    103880         0     40173    315582   5587006    141.44   no data
185.27/46.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
185.67/46.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.13
186.08/46.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
186.08/46.64	c bin-w-bin subsume rem            0 bins  time:  0.01 s
186.08/46.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
186.08/46.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24289 time:  0.01 s
186.08/46.66	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
186.86/46.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
188.06/47.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
195.27/48.90	c lits-rem:        16  cl-subs:        8  v-elim:      0  v-fix:    0  time:  1.71 s
195.27/48.92	c vivif2 --  cl tried   103880 cl shrink        0 lits rem          0 time: 0.01
195.65/49.01	c vivif2 --  cl tried    40165 cl shrink        0 lits rem          0 time: 0.09
196.05/49.17	c asymm  cl-useful: 0/103880/103880 lits-rem:0 time: 0.16
196.05/49.18	c calculated reachability. Time: 0.00
196.05/49.18	c  N dy   654    105350     24289    103880         0     40165    315582   5585119    141.44   no data
208.05/52.12	c  N dy   703    112130     24289    103880         0     24533    315582   1084606    141.72    151.42
220.02/55.13	c  N dy   754    119381     24289    103880         0     31784    315582   2684290    141.90    153.50
233.20/58.44	c  N dy   809    127085     24289    103880         0     39487    315582   4395610    142.01    157.71
247.60/62.10	c  N dy   869    135250     24289    103880         0     23945    315582    629287    142.42    159.57
261.96/65.67	c  N dy   923    144082     24289    103880         0     32776    315582   2571366    142.40    150.74
278.36/69.72	c  N dy   990    153398     24289    103880         0     42091    315582   4650102    142.51    151.05
286.34/71.77	c  S st  1021    158027     24289    103880         0     46720    315582   5663119    142.46   no data
287.55/72.01	c  S st  1021    158533     24289    103880         0     47226    315582   5751258    142.46   no data
287.55/72.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
287.93/72.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
288.33/72.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
288.33/72.20	c bin-w-bin subsume rem            0 bins  time:  0.01 s
288.33/72.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
288.33/72.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24289 time:  0.01 s
288.33/72.23	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
288.73/72.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
290.33/72.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
299.12/74.94	c lits-rem:         1  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.20 s
299.12/74.96	c vivif2 --  cl tried   103880 cl shrink        0 lits rem          0 time: 0.01
299.52/75.05	c vivif2 --  cl tried    47223 cl shrink        0 lits rem          0 time: 0.10
300.34/75.22	c asymm  cl-useful: 0/103880/103880 lits-rem:0 time: 0.17
300.34/75.23	c calculated reachability. Time: 0.00
300.34/75.23	c  N dy  1021    158533     24289    103880         0     47223    315582   5751030    142.46   no data
317.91/79.62	c  N dy  1090    168792     24289    103880         0     32632    315582   2295556    142.50    151.30
336.27/84.28	c  N dy  1163    179571     24289    103880         0     43409    315582   4735953    142.62    153.47
357.04/89.41	c  N dy  1242    191040     24289    103880         0     28954    315582   1210807    142.70    194.68
377.82/94.65	c  N dy  1326    203293     24289    103880         0     41205    315582   3975963    142.92    157.02
401.80/100.67	c  N dy  1421    216304     24289    103880         0     27251    315582    568740    143.10    163.40
425.76/106.62	c  N dy  1520    230158     24289    103880         0     41103    315582   3711799    143.35    206.96
439.33/110.03	c  S st  1569    237800     24289    103880         0     48745    315582   5426866    143.31   no data
440.14/110.27	c  S st  1569    238303     24289    103880         0     49248    315582   5512300    143.31   no data
440.14/110.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
440.95/110.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
440.95/110.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
440.95/110.46	c bin-w-bin subsume rem            0 bins  time:  0.01 s
440.95/110.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
440.95/110.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24289 time:  0.01 s
440.95/110.49	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
441.73/110.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
442.92/110.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
452.11/113.29	c lits-rem:         4  cl-subs:        2  v-elim:      0  v-fix:    0  time:  2.32 s
452.51/113.30	c vivif2 --  cl tried   103880 cl shrink        0 lits rem          0 time: 0.01
452.92/113.40	c vivif2 --  cl tried    49246 cl shrink        0 lits rem          0 time: 0.09
453.32/113.57	c asymm  cl-useful: 0/103880/103880 lits-rem:0 time: 0.17
453.32/113.58	c calculated reachability. Time: 0.00
453.32/113.58	c  N dy  1569    238303     24289    103880         0     49246    315582   5511878    143.31   no data
480.50/120.33	c  N dy  1665    253640     24289    103880         0     36604    315582   2420328    143.18    151.05
509.64/127.62	c  N dy  1785    269862     24289    103880         0     52826    315582   6115868    143.43    151.02
540.41/135.38	c  N dy  1906    287133     24289    103880         0     41110    315582   3256966    143.80    170.30
574.36/143.85	c  N dy  2034    305604     24289    103880         0     59579    315582   7435502    143.89    152.00
575.56/144.19	c  F st  2039    306252     24289    103880         0     30236    315582    525091    143.89    149.63
609.50/152.64	c  N dy  2135    325177     24289    103880         0     49158    315582   5263977    143.90    155.61
646.25/161.82	c  N dy  2272    345234     24289    103880         0     38222    315582   2103256    144.05    179.27
668.22/167.32	c  S st  2357    357455     24289    103880         0     50442    315582   4841644    144.05   no data
669.02/167.55	c  S st  2357    357957     24289    103880         0     50944    315582   4929410    144.05   no data
669.02/167.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
669.84/167.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
669.84/167.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
669.84/167.74	c bin-w-bin subsume rem            0 bins  time:  0.01 s
669.84/167.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
669.84/167.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24289 time:  0.01 s
669.84/167.77	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
670.62/167.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
671.42/168.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
680.21/170.31	c lits-rem:        13  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.11 s
680.21/170.33	c vivif2 --  cl tried   103880 cl shrink        0 lits rem          0 time: 0.01
680.61/170.41	c vivif2 --  cl tried    50939 cl shrink        0 lits rem          0 time: 0.08
681.01/170.59	c asymm  cl-useful: 0/103880/103880 lits-rem:0 time: 0.17
681.01/170.59	c calculated reachability. Time: 0.00
681.01/170.59	c  N dy  2357    357957     24289    103880         0     50939    315582   4927630    144.05   no data
718.56/179.94	c  N dy  2495    378045     24289    103880         0     39023    315582   2059612    144.08    179.51
756.51/189.40	c  N dy  2641    398210     24289    103880         0     59185    315582   6642101    144.28    153.07
792.88/198.56	c  N dy  2778    418234     24289    103880         0     46207    315582   3401483    144.30    151.99
830.80/208.09	c  N dy  2911    438291     24289    103880         0     66263    315582   7981006    144.34    159.84
867.18/217.17	c  N dy  3048    458335     24289    103880         0     52323    315582   4641822    144.44    157.70
905.91/226.81	c  N dy  3181    478439     24289    103880         0     37421    315582   1004617    144.53    152.22
942.65/236.01	c  N dy  3320    498560     24289    103880         0     57541    315582   5597548    144.62    155.71
981.00/245.64	c  N dy  3455    518579     24289    103880         0     41561    315582   1712715    144.63    152.29
1014.57/254.05	c  S st  3583    536935     24289    103880         0     59917    315582   5876105    144.69   no data
1015.36/254.29	c  S st  3583    537436     24289    103880         0     60418    315582   5952931    144.69   no data
1015.76/254.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1016.16/254.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.15
1016.16/254.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1016.16/254.50	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1016.58/254.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1016.58/254.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24289 time:  0.01 s
1016.58/254.53	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
1016.98/254.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
1018.55/255.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1030.93/258.10	c lits-rem:         2  cl-subs:        4  v-elim:      0  v-fix:    0  time:  3.08 s
1030.93/258.11	c vivif2 --  cl tried   103880 cl shrink        0 lits rem          0 time: 0.01
1031.33/258.21	c vivif2 --  cl tried    60414 cl shrink        0 lits rem          0 time: 0.10
1032.13/258.40	c asymm  cl-useful: 0/103880/103880 lits-rem:0 time: 0.19
1032.13/258.41	c calculated reachability. Time: 0.00
1032.13/258.41	c  N dy  3583    537436     24289    103880         0     60414    315582   5951410    144.69   no data
1070.88/268.19	c  N dy  3724    557456     24289    103880         0     43432    315582   1939036    144.75    165.26
1108.85/277.65	c  N dy  3866    577549     24289    103880         0     63522    315582   6556713    144.84    157.08
1147.58/287.33	c  N dy  3995    597669     24289    103880         0     45642    315582   2190743    144.77    162.02
1185.52/296.89	c  N dy  4144    617883     24289    103880         0     65856    315582   6807022    144.84    157.50
1224.68/306.69	c  N dy  4278    638001     24289    103880         0     46977    315582   2279055    144.85    156.72
1263.04/316.27	c  N dy  4420    658067     24289    103880         0     67043    315582   6887353    144.93    152.85
1302.60/326.17	c  N dy  4552    678112     24289    103880         0     47088    315582   2090542    144.95    157.44
1341.74/335.98	c  N dy  4682    698244     24289    103880         0     67219    315582   6641687    144.93    162.91
1382.46/346.11	c  N dy  4820    718319     24289    103880         0     46294    315582   1636841    144.95    156.07
1421.61/355.91	c  N dy  4972    738567     24289    103880         0     66542    315582   6302276    145.07    154.10
1462.76/366.20	c  N dy  5112    758620     24289    103880         0     44600    315582   1059248    145.11    154.71
1500.32/375.65	c  N dy  5250    778678     24289    103880         0     64658    315582   5602221    145.14    155.19
1541.85/386.00	c  N dy  5383    798736     24289    103880         0     84715    315582  10189821    145.17    166.07
1555.83/389.52	c  S st  5432    806154     24289    103880         0     49134    315582   1864978    145.15    124.06
1556.63/389.75	c  S st  5432    806655     24289    103880         0     49635    315582   1940976    145.15   no data
1556.63/389.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1557.44/389.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
1557.44/389.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1557.44/389.94	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1557.44/389.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1557.44/389.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24289 time:  0.01 s
1557.44/389.97	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
1557.82/390.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
1558.62/390.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1561.44/390.95	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.73 s
1561.44/390.96	c vivif2 --  cl tried   103880 cl shrink        0 lits rem          0 time: 0.01
1561.44/391.00	c vivif2 --  cl tried    49634 cl shrink        0 lits rem          0 time: 0.04
1562.22/391.17	c asymm  cl-useful: 0/103880/103880 lits-rem:0 time: 0.17
1562.22/391.18	c calculated reachability. Time: 0.00
1562.22/391.18	c  N dy  5432    806655     24289    103880         0     49634    315582   1940566    145.15   no data
1600.97/400.83	c  N dy  5566    826723     24289    103880         0     69699    315582   6426373    145.14    157.31
1643.31/411.49	c  N dy  5705    846830     24289    103880         0     45806    315582    871856    145.20    154.72
1682.06/421.19	c  N dy  5841    867056     24289    103880         0     66032    315582   5498845    145.24    155.37
1723.60/431.57	c  N dy  5971    887134     24289    103880         0     86106    315582  10091235    145.27    153.06
1762.76/441.39	c  N dy  6112    907150     24289    103880         0     61123    315582   4227945    145.34    156.49
1803.89/451.62	c  N dy  6250    927205     24289    103880         0     81174    315582   8774133    145.38    154.10
1844.64/461.85	c  N dy  6389    947255     24289    103880         0     55229    315582   2608185    145.42    153.40
1884.58/471.89	c  N dy  6530    967330     24289    103880         0     75303    315582   7208732    145.46    160.34
1927.32/482.57	c  N dy  6669    987374     24289    103880         0     48347    315582    805844    145.52    163.95
1966.47/492.32	c  N dy  6810   1007429     24289    103880         0     68402    315582   5355846    145.54    153.56
2008.42/502.89	c  N dy  6948   1027448     24289    103880         0     88419    315582   9980039    145.58    156.49
2049.59/513.10	c  N dy  7092   1047513     24289    103880         0     60486    315582   3369938    145.61    155.34
2089.92/523.29	c  N dy  7232   1067625     24289    103880         0     80597    315582   8015446    145.65    154.71
2099.09/525.56	c  F st  7263   1071876     24289    103880         0     84847    315582   8986019    145.66   no data
2133.07/534.03	c  N dy  7341   1087682     24289    103880         0     51656    315582   1095911    145.66    154.64
2172.63/543.93	c  N dy  7477   1107832     24289    103880         0     71803    315582   5722079    145.70    159.36
2215.35/554.69	c  N dy  7617   1127901     24289    103880         0     91871    315582  10344490    145.73    159.27
2256.88/565.05	c  N dy  7756   1147979     24289    103880         0     61954    315582   3268315    145.75    159.43
2298.03/575.35	c  N dy  7888   1168069     24289    103880         0     82043    315582   7868940    145.76    153.45
2342.37/586.47	c  N dy  8015   1188232     24289    103880         0     51208    315582    552753    145.75    163.31
2383.14/596.62	c  N dy  8151   1208344     24289    103880         0     71317    315582   5238100    145.76    159.00
2386.32/597.48	c  S st  8164   1209985     24289    103880         0     72958    315582   5619444    145.77   no data
2387.53/597.75	c  S st  8164   1210487     24289    103880         0     73460    315582   5692701    145.77   no data
2387.53/597.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2388.31/597.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.16
2388.31/597.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2388.31/597.97	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2388.31/597.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2388.31/597.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24289 time:  0.01 s
2388.71/598.00	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
2389.12/598.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
2390.32/598.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2404.29/601.91	c lits-rem:         2  cl-subs:        3  v-elim:      0  v-fix:    0  time:  3.41 s
2404.29/601.92	c vivif2 --  cl tried   103880 cl shrink        0 lits rem          0 time: 0.01
2404.69/602.02	c vivif2 --  cl tried    73457 cl shrink        0 lits rem          0 time: 0.10
2405.51/602.23	c asymm  cl-useful: 0/103880/103880 lits-rem:0 time: 0.21
2405.51/602.24	c calculated reachability. Time: 0.00
2405.51/602.24	c  N dy  8164   1210487     24289    103880         0     73457    315582   5691526    145.77   no data
2448.63/613.08	c  N dy  8293   1230724     24289    103880         0     93691    315582  10296625    145.78    156.31
2490.98/623.67	c  N dy  8435   1250843     24289    103880         0     61814    315582   2746003    145.80    157.03
2531.72/633.85	c  N dy  8564   1270888     24289    103880         0     81858    315582   7320926    145.80    175.57
2576.06/644.98	c  N dy  8699   1291019     24289    103880         0    101989    315582  11896602    145.79    153.71
2617.19/655.27	c  N dy  8836   1311066     24289    103880         0     69033    315582   4245124    145.84    161.84
2659.54/665.82	c  N dy  8971   1331154     24289    103880         0     89120    315582   8853932    145.86    202.13
2705.07/677.28	c  N dy  9108   1351258     24289    103880         0     55229    315582    810179    145.89    156.25
2745.42/687.38	c  N dy  9244   1371420     24289    103880         0     75390    315582   5420098    145.90    156.41
2789.34/698.36	c  N dy  9380   1391442     24289    103880         0     95412    315582  10055559    145.92    154.54
2833.68/709.45	c  N dy  9518   1411604     24289    103880         0     60570    315582   1817573    145.95    155.75
2874.44/719.60	c  N dy  9662   1431616     24289    103880         0     80581    315582   6425317    145.98    177.93
2918.37/730.65	c  N dy  9797   1451632     24289    103880         0    100595    315582  11119531    146.02    190.17
2962.31/741.66	c  N dy  9937   1471705     24289    103880         0     64677    315582   2535619    146.03    154.26
3004.25/752.16	c  N dy 10076   1491784     24289    103880         0     84755    315582   7171730    146.07    162.12
3049.40/763.45	c  N dy 10215   1511881     24289    103880         0    104851    315582  11723285    146.06    155.52
3092.54/774.27	c  N dy 10351   1531924     24289    103880         0     67900    315582   2989421    146.07    154.58
3134.90/784.80	c  N dy 10484   1551983     24289    103880         0     87957    315582   7602681    146.07    171.84
3179.62/796.04	c  N dy 10617   1572023     24289    103880         0    107995    315582  12271274    146.10    168.53
3223.56/807.01	c  N dy 10762   1592374     24289    103880         0     70346    315582   3365657    146.12    160.04
3265.91/817.68	c  N dy 10901   1612451     24289    103880         0     90421    315582   7954509    146.14    156.34
3311.83/829.12	c  N dy 11036   1632497     24289    103880         0    110466    315582  12554433    146.16    154.98
3355.77/840.11	c  N dy 11175   1652810     24289    103880         0     71783    315582   3536209    146.17    153.94
3398.14/850.80	c  N dy 11308   1672816     24289    103880         0     91788    315582   8159981    146.17    160.36
3444.46/862.38	c  N dy 11438   1692933     24289    103880         0    111903    315582  12764998    146.17    155.85
3484.00/872.20	c  S st 11558   1710489     24289    103880         0     69456    315582   2709800    146.17   no data
3484.80/872.47	c  S st 11558   1710991     24289    103880         0     69958    315582   2791301    146.17   no data
3484.80/872.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3485.60/872.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.15
3485.60/872.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3485.60/872.68	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3485.60/872.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3485.60/872.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24289 time:  0.01 s
3486.01/872.71	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
3486.41/872.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
3486.79/872.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3494.80/874.94	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  1.93 s
3494.80/874.96	c vivif2 --  cl tried   103880 cl shrink        0 lits rem          0 time: 0.01
3495.21/875.01	c vivif2 --  cl tried    69956 cl shrink        0 lits rem          0 time: 0.05
3495.98/875.21	c asymm  cl-useful: 0/103880/103880 lits-rem:0 time: 0.20
3495.98/875.22	c calculated reachability. Time: 0.00
3495.98/875.22	c  N dy 11558   1710991     24289    103880         0     69956    315582   2790536    146.17   no data
3537.93/885.80	c  N dy 11688   1731033     24289    103880         0     89995    315582   7384761    146.18    154.17
3584.26/897.39	c  N dy 11831   1751147     24289    103880         0    110108    315582  12044936    146.21    157.45
3629.00/908.54	c  N dy 11958   1771202     24289    103880         0     69175    315582   2422523    146.20    183.14
3670.97/919.03	c  N dy 12091   1791253     24289    103880         0     89226    315582   6985347    146.19    187.14
3716.88/930.58	c  N dy 12229   1811338     24289    103880         0    109310    315582  11580865    146.20    154.68
3763.24/942.19	c  N dy 12356   1831445     24289    103880         0     67418    315582   1790133    146.20    155.25
3806.78/953.09	c  N dy 12487   1851666     24289    103880         0     87638    315582   6478355    146.19    154.06
3852.69/964.58	c  N dy 12627   1871740     24289    103880         0    107710    315582  11126685    146.23    157.81
3901.43/976.78	c  N dy 12773   1891893     24289    103880         0     64862    315582    995466    146.26    156.46
3943.40/987.25	c  N dy 12917   1912002     24289    103880         0     84971    315582   5698442    146.30    156.87
3988.52/998.57	c  N dy 13052   1932055     24289    103880         0    105024    315582  10324742    146.31    154.02
4036.85/1010.64	c  N dy 13191   1952093     24289    103880         0    125059    315582  14878729    146.31    155.14
4079.61/1021.34	c  N dy 13333   1972141     24289    103880         0     81105    315582   4491532    146.33    154.46
4124.72/1032.70	c  N dy 13482   1992278     24289    103880         0    101240    315582   9220058    146.38    155.35
4173.45/1044.88	c  N dy 13629   2012376     24289    103880         0    121337    315582  13814980    146.40    154.55
4218.19/1056.01	c  N dy 13754   2032436     24289    103880         0     76402    315582   3213351    146.37    161.91
4262.14/1067.02	c  N dy 13892   2052575     24289    103880         0     96541    315582   7891624    146.39    154.25
4309.27/1078.85	c  N dy 14027   2072626     24289    103880         0    116590    315582  12468499    146.39    174.00
4356.81/1090.78	c  N dy 14156   2092760     24289    103880         0     70733    315582   1660772    146.39    160.01
4399.55/1101.41	c  N dy 14293   2112788     24289    103880         0     90761    315582   6302047    146.40    154.28
4445.89/1113.02	c  N dy 14432   2132933     24289    103880         0    110904    315582  11040855    146.43    155.94
4495.43/1125.44	c  N dy 14566   2153036     24289    103880         0    131004    315582  15610881    146.43    156.56
4538.57/1136.20	c  N dy 14695   2173221     24289    103880         0     84191    315582   4516862    146.42    154.15
4584.11/1147.62	c  N dy 14836   2193355     24289    103880         0    104323    315582   9225598    146.46    154.52
4629.25/1158.99	c  S st 14956   2210991     24289    103880         0    121958    315582  13268027    146.46   no data
4630.84/1159.39	c  S st 14956   2211498     24289    103880         0    122465    315582  13349373    146.46   no data
4631.24/1159.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4632.04/1159.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.22
4632.04/1159.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4632.04/1159.68	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4632.04/1159.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4632.44/1159.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24289 time:  0.01 s
4632.44/1159.72	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
4633.26/1159.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.27 s
4637.25/1160.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4666.80/1168.34	c lits-rem:         4  cl-subs:        7  v-elim:      0  v-fix:    0  time:  7.40 s
4666.80/1168.36	c vivif2 --  cl tried   103880 cl shrink        0 lits rem          0 time: 0.01
4667.60/1168.60	c vivif2 --  cl tried   122458 cl shrink        0 lits rem          0 time: 0.24
4669.18/1168.90	c asymm  cl-useful: 0/103880/103880 lits-rem:0 time: 0.30
4669.18/1168.91	c calculated reachability. Time: 0.00
4669.18/1168.91	c  N dy 14956   2211498     24289    103880         0    122458    315582  13346870    146.46   no data
4717.52/1181.01	c  N dy 15098   2231543     24289    103880         0     74506    315582   2050015    146.48    157.71
4761.06/1191.98	c  N dy 15245   2251635     24289    103880         0     94597    315582   6762396    146.52    156.91

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-3173699-1304029997/watcher-3173699-1304029997 -o /tmp/evaluation-result-3173699-1304029997/solver-3173699-1304029997 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173699-1304029997.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: 7.75 7.85 5.98 5/180 27996
/proc/meminfo: memFree=13256348/32950928 swapFree=67111528/67111528
[pid=27996] ppid=27994 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/27996/stat : 27996 (strangenight2-m) R 27994 27996 27798 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 514599364 52441088 347 33554432000 4194304 4627427 140733919628992 18446744073709551615 47114456078258 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27996/statm: 12803 347 299 106 0 7774 0
[pid=27996/tid=27997] ppid=27994 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/27996/task/27997/stat : 27997 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 514599364 52441088 347 33554432000 4194304 4627427 140733919628992 18446744073709551615 47114456078258 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27996/tid=27998] ppid=27994 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/27996/task/27998/stat : 27998 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 514599364 52441088 347 33554432000 4194304 4627427 140733919628992 18446744073709551615 47114456078258 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27996/tid=27999] ppid=27994 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/27996/task/27999/stat : 27999 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 514599364 52441088 347 33554432000 4194304 4627427 140733919628992 18446744073709551615 274474023921 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0638351 s]
/proc/loadavg: 7.75 7.85 5.98 5/180 27996
/proc/meminfo: memFree=13256348/32950928 swapFree=67111528/67111528
[pid=27996] ppid=27994 vsize=369360 CPUtime=0.21 cores=0,2,4,6
/proc/27996/stat : 27996 (strangenight2-m) R 27994 27996 27798 0 -1 4202496 14073 0 0 0 17 4 0 0 18 0 4 0 514599364 378224640 11928 33554432000 4194304 4627427 140733919628992 18446744073709551615 274474072558 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27996/statm: 92340 11928 339 106 0 87311 0
[pid=27996/tid=27997] ppid=27994 vsize=369360 CPUtime=0.05 cores=0,2,4,6
/proc/27996/task/27997/stat : 27997 (strangenight2-m) S 27994 27996 27798 0 -1 4202560 3385 0 0 0 4 1 0 0 18 0 4 0 514599364 378224640 11928 33554432000 4194304 4627427 140733919628992 18446744073709551615 274474072558 0 0 4096 2 18446604453892854976 0 0 -1 4 0 0 0
[pid=27996/tid=27998] ppid=27994 vsize=369492 CPUtime=0.04 cores=0,2,4,6
/proc/27996/task/27998/stat : 27998 (strangenight2-m) S 27994 27996 27798 0 -1 4202560 3510 0 0 0 4 0 0 0 18 0 4 0 514599364 378359808 11939 33554432000 4194304 4627427 140733919628992 18446744073709551615 274474072558 0 0 4096 2 18446604453892854976 0 0 -1 2 0 0 0
[pid=27996/tid=27999] ppid=27994 vsize=369492 CPUtime=0.04 cores=0,2,4,6
/proc/27996/task/27999/stat : 27999 (strangenight2-m) S 27994 27996 27798 0 -1 4202560 3468 0 0 0 3 1 0 0 18 0 4 0 514599364 378359808 11939 33554432000 4194304 4627427 140733919628992 18446744073709551615 274474072558 0 0 4096 2 18446604453892854976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 369360

[startup+0.101864 s]
/proc/loadavg: 7.75 7.85 5.98 5/180 27996
/proc/meminfo: memFree=13256348/32950928 swapFree=67111528/67111528
[pid=27996] ppid=27994 vsize=370416 CPUtime=0.34 cores=0,2,4,6
/proc/27996/stat : 27996 (strangenight2-m) S 27994 27996 27798 0 -1 4202496 16285 0 0 0 27 7 0 0 18 0 4 0 514599364 379305984 14140 33554432000 4194304 4627427 140733919628992 18446744073709551615 274474072558 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27996/statm: 92604 14164 339 106 0 87575 0
[pid=27996/tid=27997] ppid=27994 vsize=370416 CPUtime=0.07 cores=0,2,4,6
/proc/27996/task/27997/stat : 27997 (strangenight2-m) S 27994 27996 27798 0 -1 4202560 3891 0 0 0 6 1 0 0 18 0 4 0 514599364 379305984 14175 33554432000 4194304 4627427 140733919628992 18446744073709551615 274474072558 0 0 4096 2 18446604453892854976 0 0 -1 4 0 0 0
[pid=27996/tid=27998] ppid=27994 vsize=370416 CPUtime=0.08 cores=0,2,4,6
/proc/27996/task/27998/stat : 27998 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 4180 0 0 0 7 1 0 0 18 0 4 0 514599364 379305984 14190 33554432000 4194304 4627427 140733919628992 18446744073709551615 274473664909 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27996/tid=27999] ppid=27994 vsize=370416 CPUtime=0.07 cores=0,2,4,6
/proc/27996/task/27999/stat : 27999 (strangenight2-m) S 27994 27996 27798 0 -1 4202560 4083 0 0 0 5 2 0 0 18 0 4 0 514599364 379305984 14202 33554432000 4194304 4627427 140733919628992 18446744073709551615 274474072558 0 0 4096 2 18446604453892854976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 370416

[startup+0.331626 s]
/proc/loadavg: 7.75 7.85 5.98 5/180 27996
/proc/meminfo: memFree=13256348/32950928 swapFree=67111528/67111528
[pid=27996] ppid=27994 vsize=386100 CPUtime=1.24 cores=0,2,4,6
/proc/27996/stat : 27996 (strangenight2-m) R 27994 27996 27798 0 -1 4202496 25946 0 0 0 113 11 0 0 18 0 4 0 514599364 395366400 23801 33554432000 4194304 4627427 140733919628992 18446744073709551615 274474025386 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27996/statm: 96525 23801 374 106 0 91496 0
[pid=27996/tid=27997] ppid=27994 vsize=386100 CPUtime=0.3 cores=0,2,4,6
/proc/27996/task/27997/stat : 27997 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 6827 0 0 0 28 2 0 0 18 0 4 0 514599364 395366400 23801 33554432000 4194304 4627427 140733919628992 18446744073709551615 4461023 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27996/tid=27998] ppid=27994 vsize=386100 CPUtime=0.3 cores=0,2,4,6
/proc/27996/task/27998/stat : 27998 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 7181 0 0 0 28 2 0 0 18 0 4 0 514599364 395366400 23801 33554432000 4194304 4627427 140733919628992 18446744073709551615 274473625862 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27996/tid=27999] ppid=27994 vsize=386100 CPUtime=0.29 cores=0,2,4,6
/proc/27996/task/27999/stat : 27999 (strangenight2-m) D 27994 27996 27798 0 -1 4202560 4815 0 0 0 27 2 0 0 18 0 4 0 514599364 395366400 23801 33554432000 4194304 4627427 140733919628992 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 386100

[startup+1.07561 s]
/proc/loadavg: 7.75 7.85 5.98 5/180 27996
/proc/meminfo: memFree=13256348/32950928 swapFree=67111528/67111528
[pid=27996] ppid=27994 vsize=392720 CPUtime=4.2 cores=0,2,4,6
/proc/27996/stat : 27996 (strangenight2-m) R 27994 27996 27798 0 -1 4202496 38331 0 0 0 407 13 0 0 19 0 4 0 514599364 402145280 27903 33554432000 4194304 4627427 140733919628992 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27996/statm: 98180 27903 385 106 0 93151 0
[pid=27996/tid=27997] ppid=27994 vsize=392720 CPUtime=1.04 cores=0,2,4,6
/proc/27996/task/27997/stat : 27997 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 10931 0 0 0 101 3 0 0 19 0 4 0 514599364 402145280 27903 33554432000 4194304 4627427 140733919628992 18446744073709551615 4330127 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27996/tid=27998] ppid=27994 vsize=392720 CPUtime=1.05 cores=0,2,4,6
/proc/27996/task/27998/stat : 27998 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 11050 0 0 0 102 3 0 0 19 0 4 0 514599364 402145280 27903 33554432000 4194304 4627427 140733919628992 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27996/tid=27999] ppid=27994 vsize=392720 CPUtime=1.04 cores=0,2,4,6
/proc/27996/task/27999/stat : 27999 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 5399 0 0 0 101 3 0 0 19 0 4 0 514599364 402145280 27903 33554432000 4194304 4627427 140733919628992 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 392720

[startup+1.50054 s]
/proc/loadavg: 7.77 7.86 5.99 9/184 28000
/proc/meminfo: memFree=13134920/32950928 swapFree=67111528/67111528
[pid=27996] ppid=27994 vsize=392720 CPUtime=5.92 cores=0,2,4,6
/proc/27996/stat : 27996 (strangenight2-m) R 27994 27996 27798 0 -1 4202496 39602 0 0 0 578 14 0 0 19 0 4 0 514599364 402145280 29142 33554432000 4194304 4627427 140733919628992 18446744073709551615 4332210 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27996/statm: 98180 29143 385 106 0 93151 0
[pid=27996/tid=27997] ppid=27994 vsize=392720 CPUtime=1.47 cores=0,2,4,6
/proc/27996/task/27997/stat : 27997 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 11280 0 0 0 144 3 0 0 19 0 4 0 514599364 402145280 29143 33554432000 4194304 4627427 140733919628992 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27996/tid=27998] ppid=27994 vsize=392720 CPUtime=1.48 cores=0,2,4,6
/proc/27996/task/27998/stat : 27998 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 11332 0 0 0 145 3 0 0 19 0 4 0 514599364 402145280 29143 33554432000 4194304 4627427 140733919628992 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27996/tid=27999] ppid=27994 vsize=392720 CPUtime=1.47 cores=0,2,4,6
/proc/27996/task/27999/stat : 27999 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 5693 0 0 0 144 3 0 0 19 0 4 0 514599364 402145280 29143 33554432000 4194304 4627427 140733919628992 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 392720

[startup+3.10026 s]
/proc/loadavg: 7.77 7.86 5.99 9/184 28000
/proc/meminfo: memFree=13112848/32950928 swapFree=67111528/67111528
[pid=27996] ppid=27994 vsize=523984 CPUtime=12.29 cores=0,2,4,6
/proc/27996/stat : 27996 (strangenight2-m) R 27994 27996 27798 0 -1 4202496 43948 0 0 0 1214 15 0 0 25 0 4 0 514599364 536559616 33488 33554432000 4194304 4627427 140733919628992 18446744073709551615 4308317 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27996/statm: 130996 33488 385 106 0 125967 0
[pid=27996/tid=27997] ppid=27994 vsize=523984 CPUtime=3.07 cores=0,2,4,6
/proc/27996/task/27997/stat : 27997 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 12318 0 0 0 303 4 0 0 24 0 4 0 514599364 536559616 33488 33554432000 4194304 4627427 140733919628992 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27996/tid=27998] ppid=27994 vsize=523984 CPUtime=3.06 cores=0,2,4,6
/proc/27996/task/27998/stat : 27998 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 12369 0 0 0 303 3 0 0 25 0 4 0 514599364 536559616 33490 33554432000 4194304 4627427 140733919628992 18446744073709551615 4471648 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27996/tid=27999] ppid=27994 vsize=523984 CPUtime=3.05 cores=0,2,4,6
/proc/27996/task/27999/stat : 27999 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 6966 0 0 0 302 3 0 0 24 0 4 0 514599364 536559616 33490 33554432000 4194304 4627427 140733919628992 18446744073709551615 4321720 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 523984

[startup+6.3007 s]
/proc/loadavg: 7.87 7.87 6.01 9/184 28000
/proc/meminfo: memFree=13008824/32950928 swapFree=67111528/67111528
[pid=27996] ppid=27994 vsize=523984 CPUtime=25.08 cores=0,2,4,6
/proc/27996/stat : 27996 (strangenight2-m) R 27994 27996 27798 0 -1 4202496 51770 0 0 0 2490 18 0 0 25 0 4 0 514599364 536559616 41310 33554432000 4194304 4627427 140733919628992 18446744073709551615 4332830 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27996/statm: 130996 41310 385 106 0 125967 0
[pid=27996/tid=27997] ppid=27994 vsize=523984 CPUtime=6.27 cores=0,2,4,6
/proc/27996/task/27997/stat : 27997 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 14365 0 0 0 623 4 0 0 25 0 4 0 514599364 536559616 41310 33554432000 4194304 4627427 140733919628992 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27996/tid=27998] ppid=27994 vsize=523984 CPUtime=6.27 cores=0,2,4,6
/proc/27996/task/27998/stat : 27998 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 14377 0 0 0 623 4 0 0 25 0 4 0 514599364 536559616 41310 33554432000 4194304 4627427 140733919628992 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27996/tid=27999] ppid=27994 vsize=523984 CPUtime=6.24 cores=0,2,4,6
/proc/27996/task/27999/stat : 27999 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 8868 0 0 0 621 3 0 0 25 0 4 0 514599364 536559616 41311 33554432000 4194304 4627427 140733919628992 18446744073709551615 4332667 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 523984

[startup+12.7006 s]
/proc/loadavg: 7.88 7.88 6.02 9/184 28000
/proc/meminfo: memFree=12811552/32950928 swapFree=67111528/67111528
[pid=27996] ppid=27994 vsize=706180 CPUtime=50.64 cores=0,2,4,6
/proc/27996/stat : 27996 (strangenight2-m) R 27994 27996 27798 0 -1 4202496 98391 0 0 0 5036 28 0 0 18 0 4 0 514599364 723128320 59326 33554432000 4194304 4627427 140733919628992 18446744073709551615 4467719 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27996/statm: 176545 59326 390 106 0 171516 0
[pid=27996/tid=27997] ppid=27994 vsize=706180 CPUtime=12.67 cores=0,2,4,6
/proc/27996/task/27997/stat : 27997 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 19924 0 0 0 1261 6 0 0 18 0 4 0 514599364 723128320 59326 33554432000 4194304 4627427 140733919628992 18446744073709551615 4308624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27996/tid=27998] ppid=27994 vsize=706180 CPUtime=12.67 cores=0,2,4,6
/proc/27996/task/27998/stat : 27998 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 19992 0 0 0 1262 5 0 0 18 0 4 0 514599364 723128320 59326 33554432000 4194304 4627427 140733919628992 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27996/tid=27999] ppid=27994 vsize=706180 CPUtime=12.6 cores=0,2,4,6
/proc/27996/task/27999/stat : 27999 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 21695 0 0 0 1255 5 0 0 25 0 4 0 514599364 723128320 59326 33554432000 4194304 4627427 140733919628992 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 706180

[startup+25.5003 s]
/proc/loadavg: 7.90 7.88 6.04 9/184 28001
/proc/meminfo: memFree=12438420/32950928 swapFree=67111528/67111528
[pid=27996] ppid=27994 vsize=822768 CPUtime=101.77 cores=0,2,4,6
/proc/27996/stat : 27996 (strangenight2-m) R 27994 27996 27798 0 -1 4202496 175687 0 0 0 10132 45 0 0 25 0 4 0 514599364 842514432 106229 33554432000 4194304 4627427 140733919628992 18446744073709551615 4327897 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27996/statm: 205692 106229 390 106 0 200663 0
[pid=27996/tid=27997] ppid=27994 vsize=822768 CPUtime=25.47 cores=0,2,4,6
/proc/27996/task/27997/stat : 27997 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 53143 0 0 0 2534 13 0 0 25 0 4 0 514599364 842514432 106229 33554432000 4194304 4627427 140733919628992 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27996/tid=27998] ppid=27994 vsize=822768 CPUtime=25.47 cores=0,2,4,6
/proc/27996/task/27998/stat : 27998 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 35125 0 0 0 2538 9 0 0 25 0 4 0 514599364 842514432 106229 33554432000 4194304 4627427 140733919628992 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27996/tid=27999] ppid=27994 vsize=822768 CPUtime=25.34 cores=0,2,4,6
/proc/27996/task/27999/stat : 27999 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 41082 0 0 0 2525 9 0 0 25 0 4 0 514599364 842514432 106229 33554432000 4194304 4627427 140733919628992 18446744073709551615 274473622952 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 822768

[startup+51.1068 s]
/proc/loadavg: 7.94 7.89 6.10 9/184 28002
/proc/meminfo: memFree=11966676/32950928 swapFree=67111528/67111528
[pid=27996] ppid=27994 vsize=957148 CPUtime=204.07 cores=0,2,4,6
/proc/27996/stat : 27996 (strangenight2-m) R 27994 27996 27798 0 -1 4202496 279221 0 0 0 20340 67 0 0 25 0 4 0 514599364 980119552 145616 33554432000 4194304 4627427 140733919628992 18446744073709551615 4332767 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27996/statm: 239287 145616 390 106 0 234258 0
[pid=27996/tid=27997] ppid=27994 vsize=957148 CPUtime=51.08 cores=0,2,4,6
/proc/27996/task/27997/stat : 27997 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 72692 0 0 0 5091 17 0 0 25 0 4 0 514599364 980119552 145616 33554432000 4194304 4627427 140733919628992 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27996/tid=27998] ppid=27994 vsize=957148 CPUtime=51.07 cores=0,2,4,6
/proc/27996/task/27998/stat : 27998 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 60325 0 0 0 5093 14 0 0 25 0 4 0 514599364 980119552 145616 33554432000 4194304 4627427 140733919628992 18446744073709551615 4330949 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27996/tid=27999] ppid=27994 vsize=957148 CPUtime=50.81 cores=0,2,4,6
/proc/27996/task/27999/stat : 27999 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 70313 0 0 0 5065 16 0 0 25 0 4 0 514599364 980119552 145616 33554432000 4194304 4627427 140733919628992 18446744073709551615 4468060 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.07
Current children cumulated vsize (KiB) 957148

[startup+102.301 s]
/proc/loadavg: 8.01 7.92 6.20 9/184 28003
/proc/meminfo: memFree=11713452/32950928 swapFree=67111528/67111528
[pid=27996] ppid=27994 vsize=951932 CPUtime=408.57 cores=0,2,4,6
/proc/27996/stat : 27996 (strangenight2-m) R 27994 27996 27798 0 -1 4202496 390871 0 0 0 40762 95 0 0 25 0 4 0 514599364 974778368 163963 33554432000 4194304 4627427 140733919628992 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27996/statm: 237983 163963 390 106 0 232954 0
[pid=27996/tid=27997] ppid=27994 vsize=951932 CPUtime=102.26 cores=0,2,4,6
/proc/27996/task/27997/stat : 27997 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 98015 0 0 0 10203 23 0 0 25 0 4 0 514599364 974778368 163963 33554432000 4194304 4627427 140733919628992 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27996/tid=27998] ppid=27994 vsize=951932 CPUtime=102.26 cores=0,2,4,6
/proc/27996/task/27998/stat : 27998 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 85915 0 0 0 10205 21 0 0 25 0 4 0 514599364 974778368 163963 33554432000 4194304 4627427 140733919628992 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27996/tid=27999] ppid=27994 vsize=951932 CPUtime=101.74 cores=0,2,4,6
/proc/27996/task/27999/stat : 27999 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 97550 0 0 0 10152 22 0 0 25 0 4 0 514599364 974778368 163963 33554432000 4194304 4627427 140733919628992 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.57
Current children cumulated vsize (KiB) 951932

[startup+162.301 s]

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

[pid=27996] ppid=27994 vsize=1466572 CPUtime=2565.67 cores=0,2,4,6
/proc/27996/stat : 27996 (strangenight2-m) R 27994 27996 27798 0 -1 4202496 1414110 0 0 0 256148 419 0 0 25 0 4 0 514599364 1501769728 290983 33554432000 4194304 4627427 140733919628992 18446744073709551615 4327427 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27996/statm: 366643 290983 390 106 0 361614 0
[pid=27996/tid=27997] ppid=27994 vsize=1466572 CPUtime=642.25 cores=0,2,4,6
/proc/27996/task/27997/stat : 27997 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 364512 0 0 0 64118 107 0 0 25 0 4 0 514599364 1501769728 290983 33554432000 4194304 4627427 140733919628992 18446744073709551615 4308752 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27996/tid=27998] ppid=27994 vsize=1466572 CPUtime=642.2 cores=0,2,4,6
/proc/27996/task/27998/stat : 27998 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 334230 0 0 0 64120 100 0 0 25 0 4 0 514599364 1501769728 290983 33554432000 4194304 4627427 140733919628992 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27996/tid=27999] ppid=27994 vsize=1466572 CPUtime=638.93 cores=0,2,4,6
/proc/27996/task/27999/stat : 27999 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 366343 0 0 0 63787 106 0 0 25 0 4 0 514599364 1501769728 290983 33554432000 4194304 4627427 140733919628992 18446744073709551615 4330000 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) 1466572

[startup+702.306 s]
/proc/loadavg: 8.10 8.10 7.10 9/184 28019
/proc/meminfo: memFree=10603236/32950928 swapFree=67111528/67111528
[pid=27996] ppid=27994 vsize=1504600 CPUtime=2805.35 cores=0,2,4,6
/proc/27996/stat : 27996 (strangenight2-m) R 27994 27996 27798 0 -1 4202496 1516671 0 0 0 280082 453 0 0 25 0 4 0 514599364 1540710400 286171 33554432000 4194304 4627427 140733919628992 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27996/statm: 376150 286171 390 106 0 371121 0
[pid=27996/tid=27997] ppid=27994 vsize=1504600 CPUtime=702.25 cores=0,2,4,6
/proc/27996/task/27997/stat : 27997 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 389115 0 0 0 70111 114 0 0 25 0 4 0 514599364 1540710400 286171 33554432000 4194304 4627427 140733919628992 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27996/tid=27998] ppid=27994 vsize=1504600 CPUtime=702.19 cores=0,2,4,6
/proc/27996/task/27998/stat : 27998 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 362728 0 0 0 70110 109 0 0 25 0 4 0 514599364 1540710400 286171 33554432000 4194304 4627427 140733919628992 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27996/tid=27999] ppid=27994 vsize=1504600 CPUtime=698.63 cores=0,2,4,6
/proc/27996/task/27999/stat : 27999 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 391109 0 0 0 69747 116 0 0 25 0 4 0 514599364 1540710400 286171 33554432000 4194304 4627427 140733919628992 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.35
Current children cumulated vsize (KiB) 1504600

[startup+762.301 s]
/proc/loadavg: 8.08 8.09 7.16 9/184 28020
/proc/meminfo: memFree=10595036/32950928 swapFree=67111528/67111528
[pid=27996] ppid=27994 vsize=1403248 CPUtime=3045 cores=0,2,4,6
/proc/27996/stat : 27996 (strangenight2-m) R 27994 27996 27798 0 -1 4202496 1621520 0 0 0 304008 492 0 0 25 0 4 0 514599364 1436925952 279774 33554432000 4194304 4627427 140733919628992 18446744073709551615 4327897 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27996/statm: 350812 279774 390 106 0 345783 0
[pid=27996/tid=27997] ppid=27994 vsize=1403248 CPUtime=762.24 cores=0,2,4,6
/proc/27996/task/27997/stat : 27997 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 417151 0 0 0 76100 124 0 0 25 0 4 0 514599364 1436925952 279774 33554432000 4194304 4627427 140733919628992 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27996/tid=27998] ppid=27994 vsize=1403248 CPUtime=762.17 cores=0,2,4,6
/proc/27996/task/27998/stat : 27998 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 387385 0 0 0 76100 117 0 0 25 0 4 0 514599364 1436925952 279774 33554432000 4194304 4627427 140733919628992 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27996/tid=27999] ppid=27994 vsize=1403248 CPUtime=758.31 cores=0,2,4,6
/proc/27996/task/27999/stat : 27999 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 418940 0 0 0 75705 126 0 0 25 0 4 0 514599364 1436925952 279774 33554432000 4194304 4627427 140733919628992 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045
Current children cumulated vsize (KiB) 1403248

[startup+822.301 s]
/proc/loadavg: 8.09 8.09 7.22 9/184 28022
/proc/meminfo: memFree=10476596/32950928 swapFree=67111528/67111528
[pid=27996] ppid=27994 vsize=1447444 CPUtime=3284.68 cores=0,2,4,6
/proc/27996/stat : 27996 (strangenight2-m) R 27994 27996 27798 0 -1 4202496 1722193 0 0 0 327942 526 0 0 25 0 4 0 514599364 1482182656 295240 33554432000 4194304 4627427 140733919628992 18446744073709551615 4326744 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27996/statm: 361861 295240 390 106 0 356832 0
[pid=27996/tid=27997] ppid=27994 vsize=1447444 CPUtime=822.23 cores=0,2,4,6
/proc/27996/task/27997/stat : 27997 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 443324 0 0 0 82091 132 0 0 25 0 4 0 514599364 1482182656 295240 33554432000 4194304 4627427 140733919628992 18446744073709551615 4308268 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27996/tid=27998] ppid=27994 vsize=1447444 CPUtime=822.17 cores=0,2,4,6
/proc/27996/task/27998/stat : 27998 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 411448 0 0 0 82092 125 0 0 25 0 4 0 514599364 1482182656 295240 33554432000 4194304 4627427 140733919628992 18446744073709551615 4310574 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27996/tid=27999] ppid=27994 vsize=1447444 CPUtime=818 cores=0,2,4,6
/proc/27996/task/27999/stat : 27999 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 445210 0 0 0 81665 135 0 0 25 0 4 0 514599364 1482182656 295241 33554432000 4194304 4627427 140733919628992 18446744073709551615 4332984 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) 1447444

[startup+882.3 s]
/proc/loadavg: 8.08 8.08 7.27 9/184 28024
/proc/meminfo: memFree=10382340/32950928 swapFree=67111528/67111528
[pid=27996] ppid=27994 vsize=1448708 CPUtime=3524.34 cores=0,2,4,6
/proc/27996/stat : 27996 (strangenight2-m) R 27994 27996 27798 0 -1 4202496 1816665 0 0 0 351875 559 0 0 25 0 4 0 514599364 1483476992 302163 33554432000 4194304 4627427 140733919628992 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27996/statm: 362177 302163 390 106 0 357148 0
[pid=27996/tid=27997] ppid=27994 vsize=1448708 CPUtime=882.23 cores=0,2,4,6
/proc/27996/task/27997/stat : 27997 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 465883 0 0 0 88083 140 0 0 25 0 4 0 514599364 1483476992 302163 33554432000 4194304 4627427 140733919628992 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27996/tid=27998] ppid=27994 vsize=1448708 CPUtime=882.15 cores=0,2,4,6
/proc/27996/task/27998/stat : 27998 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 433911 0 0 0 88083 132 0 0 25 0 4 0 514599364 1483476992 302163 33554432000 4194304 4627427 140733919628992 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27996/tid=27999] ppid=27994 vsize=1448708 CPUtime=877.69 cores=0,2,4,6
/proc/27996/task/27999/stat : 27999 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 467580 0 0 0 87626 143 0 0 25 0 4 0 514599364 1483476992 302163 33554432000 4194304 4627427 140733919628992 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.34
Current children cumulated vsize (KiB) 1448708

[startup+942.301 s]
/proc/loadavg: 8.08 8.08 7.31 9/184 28025
/proc/meminfo: memFree=10385172/32950928 swapFree=67111528/67111528
[pid=27996] ppid=27994 vsize=1457120 CPUtime=3764.01 cores=0,2,4,6
/proc/27996/stat : 27996 (strangenight2-m) R 27994 27996 27798 0 -1 4202496 1922303 0 0 0 375809 592 0 0 25 0 4 0 514599364 1492090880 290873 33554432000 4194304 4627427 140733919628992 18446744073709551615 4308715 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27996/statm: 364280 290873 390 106 0 359251 0
[pid=27996/tid=27997] ppid=27994 vsize=1457120 CPUtime=942.23 cores=0,2,4,6
/proc/27996/task/27997/stat : 27997 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 493318 0 0 0 94073 150 0 0 25 0 4 0 514599364 1492090880 290873 33554432000 4194304 4627427 140733919628992 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27996/tid=27998] ppid=27994 vsize=1457120 CPUtime=942.14 cores=0,2,4,6
/proc/27996/task/27998/stat : 27998 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 461597 0 0 0 94073 141 0 0 25 0 4 0 514599364 1492090880 290873 33554432000 4194304 4627427 140733919628992 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27996/tid=27999] ppid=27994 vsize=1457120 CPUtime=937.36 cores=0,2,4,6
/proc/27996/task/27999/stat : 27999 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 491129 0 0 0 93588 148 0 0 25 0 4 0 514599364 1492090880 290873 33554432000 4194304 4627427 140733919628992 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.01
Current children cumulated vsize (KiB) 1457120

[startup+1002.3 s]
/proc/loadavg: 8.07 8.08 7.36 9/184 28027
/proc/meminfo: memFree=10154516/32950928 swapFree=67111528/67111528
[pid=27996] ppid=27994 vsize=1530312 CPUtime=4003.69 cores=0,2,4,6
/proc/27996/stat : 27996 (strangenight2-m) R 27994 27996 27798 0 -1 4202496 2032013 0 0 0 399741 628 0 0 25 0 4 0 514599364 1567039488 318385 33554432000 4194304 4627427 140733919628992 18446744073709551615 4333328 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27996/statm: 382578 318385 390 106 0 377549 0
[pid=27996/tid=27997] ppid=27994 vsize=1530312 CPUtime=1002.23 cores=0,2,4,6
/proc/27996/task/27997/stat : 27997 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 518281 0 0 0 100064 159 0 0 25 0 4 0 514599364 1567039488 318385 33554432000 4194304 4627427 140733919628992 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27996/tid=27998] ppid=27994 vsize=1530312 CPUtime=1002.14 cores=0,2,4,6
/proc/27996/task/27998/stat : 27998 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 498797 0 0 0 100062 152 0 0 25 0 4 0 514599364 1567039488 318385 33554432000 4194304 4627427 140733919628992 18446744073709551615 4308752 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27996/tid=27999] ppid=27994 vsize=1530312 CPUtime=997.06 cores=0,2,4,6
/proc/27996/task/27999/stat : 27999 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 516496 0 0 0 99549 157 0 0 25 0 4 0 514599364 1567039488 318385 33554432000 4194304 4627427 140733919628992 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.69
Current children cumulated vsize (KiB) 1530312

[startup+1062.3 s]
/proc/loadavg: 8.07 8.08 7.40 9/184 28028
/proc/meminfo: memFree=10145692/32950928 swapFree=67111528/67111528
[pid=27996] ppid=27994 vsize=1642496 CPUtime=4243.36 cores=0,2,4,6
/proc/27996/stat : 27996 (strangenight2-m) R 27994 27996 27798 0 -1 4202496 2131145 0 0 0 423677 659 0 0 25 0 4 0 514599364 1681915904 326574 33554432000 4194304 4627427 140733919628992 18446744073709551615 4309149 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27996/statm: 410624 326574 390 106 0 405595 0
[pid=27996/tid=27997] ppid=27994 vsize=1642496 CPUtime=1062.22 cores=0,2,4,6
/proc/27996/task/27997/stat : 27997 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 542261 0 0 0 106056 166 0 0 25 0 4 0 514599364 1681915904 326574 33554432000 4194304 4627427 140733919628992 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27996/tid=27998] ppid=27994 vsize=1642496 CPUtime=1062.13 cores=0,2,4,6
/proc/27996/task/27998/stat : 27998 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 523373 0 0 0 106054 159 0 0 25 0 4 0 514599364 1681915904 326574 33554432000 4194304 4627427 140733919628992 18446744073709551615 4308897 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27996/tid=27999] ppid=27994 vsize=1642496 CPUtime=1056.74 cores=0,2,4,6
/proc/27996/task/27999/stat : 27999 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 543816 0 0 0 105508 166 0 0 25 0 4 0 514599364 1681915904 326574 33554432000 4194304 4627427 140733919628992 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.36
Current children cumulated vsize (KiB) 1642496

[startup+1122.3 s]
/proc/loadavg: 8.10 8.09 7.45 9/184 28030
/proc/meminfo: memFree=10149516/32950928 swapFree=67111528/67111528
[pid=27996] ppid=27994 vsize=1584416 CPUtime=4483.05 cores=0,2,4,6
/proc/27996/stat : 27996 (strangenight2-m) R 27994 27996 27798 0 -1 4202496 2232447 0 0 0 447612 693 0 0 25 0 4 0 514599364 1622441984 314713 33554432000 4194304 4627427 140733919628992 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27996/statm: 396104 314713 390 106 0 391075 0
[pid=27996/tid=27997] ppid=27994 vsize=1584416 CPUtime=1122.23 cores=0,2,4,6
/proc/27996/task/27997/stat : 27997 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 569176 0 0 0 112047 176 0 0 25 0 4 0 514599364 1622441984 314713 33554432000 4194304 4627427 140733919628992 18446744073709551615 4308326 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27996/tid=27998] ppid=27994 vsize=1584416 CPUtime=1122.13 cores=0,2,4,6
/proc/27996/task/27998/stat : 27998 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 546462 0 0 0 112047 166 0 0 25 0 4 0 514599364 1622441984 314713 33554432000 4194304 4627427 140733919628992 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27996/tid=27999] ppid=27994 vsize=1584416 CPUtime=1116.43 cores=0,2,4,6
/proc/27996/task/27999/stat : 27999 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 569987 0 0 0 111470 173 0 0 25 0 4 0 514599364 1622441984 314713 33554432000 4194304 4627427 140733919628992 18446744073709551615 4310475 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.05
Current children cumulated vsize (KiB) 1584416

[startup+1182.3 s]
/proc/loadavg: 8.06 8.08 7.48 9/184 28063
/proc/meminfo: memFree=13151788/32950928 swapFree=67111528/67111528
[pid=27996] ppid=27994 vsize=1863928 CPUtime=4722.71 cores=0,2,4,6
/proc/27996/stat : 27996 (strangenight2-m) R 27994 27996 27798 0 -1 4202496 2398882 0 0 0 471534 737 0 0 25 0 4 0 514599364 1908662272 393383 33554432000 4194304 4627427 140733919628992 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27996/statm: 465982 393383 390 106 0 460953 0
[pid=27996/tid=27997] ppid=27994 vsize=1863928 CPUtime=1182.07 cores=0,2,4,6
/proc/27996/task/27997/stat : 27997 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 623696 0 0 0 118019 188 0 0 25 0 4 0 514599364 1908662272 393383 33554432000 4194304 4627427 140733919628992 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27996/tid=27998] ppid=27994 vsize=1863928 CPUtime=1182.12 cores=0,2,4,6
/proc/27996/task/27998/stat : 27998 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 571123 0 0 0 118037 175 0 0 25 0 4 0 514599364 1908662272 393383 33554432000 4194304 4627427 140733919628992 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27996/tid=27999] ppid=27994 vsize=1863928 CPUtime=1176.27 cores=0,2,4,6
/proc/27996/task/27999/stat : 27999 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 610306 0 0 0 117444 183 0 0 25 0 4 0 514599364 1908662272 393383 33554432000 4194304 4627427 140733919628992 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4722.71
Current children cumulated vsize (KiB) 1863928



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.71 s]
/proc/loadavg: 8.11 8.09 7.50 9/184 28063
/proc/meminfo: memFree=12947800/32950928 swapFree=67111528/67111528
[pid=27996] ppid=27994 vsize=1908720 CPUtime=4800.24 cores=0,2,4,6
/proc/27996/stat : 27996 (strangenight2-m) R 27994 27996 27798 0 -1 4202496 2426878 0 0 0 479278 746 0 0 25 0 4 0 514599364 1954529280 404040 33554432000 4194304 4627427 140733919628992 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27996/statm: 477180 404040 390 106 0 472151 0
[pid=27996/tid=27997] ppid=27994 vsize=1908720 CPUtime=1201.36 cores=0,2,4,6
/proc/27996/task/27997/stat : 27997 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 631028 0 0 0 119946 190 0 0 25 0 4 0 514599364 1954529280 404040 33554432000 4194304 4627427 140733919628992 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27996/tid=27998] ppid=27994 vsize=1908720 CPUtime=1201.53 cores=0,2,4,6
/proc/27996/task/27998/stat : 27998 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 576406 0 0 0 119976 177 0 0 25 0 4 0 514599364 1954529280 404040 33554432000 4194304 4627427 140733919628992 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27996/tid=27999] ppid=27994 vsize=1908720 CPUtime=1195.68 cores=0,2,4,6
/proc/27996/task/27999/stat : 27999 (strangenight2-m) R 27994 27996 27798 0 -1 4202560 617780 0 0 0 119383 185 0 0 25 0 4 0 514599364 1954529280 404040 33554432000 4194304 4627427 140733919628992 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 1908720

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.79
CPU time (s): 4800.34
CPU user time (s): 4792.8
CPU system time (s): 7.53885
CPU usage (%): 399.434
Max. virtual memory (cumulated for all children) (KiB): 1923432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.8
system time used= 7.53885
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2426884
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= 10531
involuntary context switches= 33160

runsolver used 1.90471 second user time and 4.34034 second system time

The end

Launcher Data 

Begin job on node125 at 2011-04-29 00:33:17
IDJOB=3173699
IDBENCH=82517
IDSOLVER=1586
FILE ID=node125/3173699-1304029997
RUNJOBID= node125-1304028687-27816
PBS_JOBID= 13170327
Free space on /tmp= 72752 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v25000-c105000-S1233052734-067-UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173699-1304029997/watcher-3173699-1304029997 -o /tmp/evaluation-result-3173699-1304029997/solver-3173699-1304029997 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173699-1304029997.cnf

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

MD5SUM BENCH= eea50e836fd8ac6474349634450aaaf7
RANDOM SEED=1131982993

node125.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	: 5266.55
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.84
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.74
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	: 5332.82
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.74
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      13256380 kB
Buffers:       2215708 kB
Cached:       14963116 kB
SwapCached:          0 kB
Active:       10819448 kB
Inactive:      8339340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      13256380 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            9976 kB
Writeback:           0 kB
AnonPages:     1979260 kB
Mapped:          15488 kB
Slab:           469068 kB
PageTables:       9272 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  2675544 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= 72748 MiB
End job on node125 at 2011-04-29 00:53:21