Trace number 3366108

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) 4800.36 1204

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366108-1305395074.cnf'
0.00/0.01	c -- header says num vars:          25000
0.00/0.01	c -- header says num clauses:      105000
0.35/0.13	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.35/0.13	c -- vars added      25000
0.35/0.13	c Parsing time:  0.07 s
0.35/0.13	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data
0.35/0.27	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.09
0.35/0.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.03
0.96/0.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.96/0.33	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.38/0.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.38/0.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  25000 time:  0.01 s
1.38/0.45	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.01 s
1.38/0.75	c lits-rem:         0  cl-subs:        0  v-elim:    629  v-fix:    0  time:  0.17 s
1.38/0.75	c Finding binary XORs  T:     0.01 s  found:       0
1.38/0.75	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
1.38/0.75	c calculated reachability. Time: 0.00
1.38/0.75	c Calc default polars -  time:   0.01 s pos:   11167 undec:    2757 neg:   11076
1.38/0.75	c =========================================================================================
1.38/0.75	c types(t): F = full restart, N = normal restart
1.38/0.75	c types(t): S = simplification begin/end, E = solution found
1.38/0.75	c restart types(rt): st = static, dy = dynamic
1.38/0.75	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.38/0.75	c  B st     0         0     24371    104344         0         0    316935         0   no data   no data
7.46/1.97	c  N dy    20      4074     24371    104344         0      4074    316935    994919    135.25    145.81
13.05/3.36	c  N dy    50      8082     24371    104344         0      8081    316935   1844298    137.27    149.26
18.64/4.79	c  N dy    77     12104     24371    104344         0     12103    316935   2671546    136.28    155.91
25.01/6.33	c  N dy   110     16188     24371    104344         0     16186    316935   3540191    137.77    148.49
31.39/7.91	c  N dy   137     20292     24371    104344         0     10290    316935    640947    138.88    151.09
37.00/9.39	c  N dy   166     24356     24371    104344         0     14353    316935   1525218    139.25    147.81
38.17/9.63	c  F st   171     25000     24371    104344         0     14997    316935   1673823    139.54    137.80
46.20/11.66	c  N dy   177     30000     24371    104344         0     19996    316935   3316882    139.54   no data
46.20/11.66	c  S st   177     30000     24371    104344         0     19996    316935   3316882    139.54   no data
46.94/11.86	c  S st   177     30507     24371    104344         0     20503    316935   3408572    139.54   no data
46.94/11.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
47.34/11.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.06
47.34/11.98	c blocked clauses removed:      458 vars:     76 tried:       24371 T: 0.01 s
47.34/11.98	c bin-w-bin subsume rem            0 bins  time:  0.01 s
47.34/11.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
47.75/12.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24295 time:  0.01 s
47.75/12.01	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
48.14/12.11	c lits-rem:         0  cl-subs:        0  v-elim:      6  v-fix:    0  time:  0.10 s
48.94/12.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
52.53/13.24	c lits-rem:         5  cl-subs:        8  v-elim:      0  v-fix:    0  time:  0.86 s
52.93/13.37	c asymm  cl-useful: 0/103880/103880 lits-rem:0 time: 0.12
52.93/13.38	c calculated reachability. Time: 0.00
52.93/13.38	c  N dy   177     30507     24289    103880         0     20154    315582   3226258    139.54   no data
59.36/14.97	c  N dy   200     34582     24289    103880         0     24227    315582   4139594    139.63    149.88
66.48/16.71	c  N dy   231     38652     24289    103880         0     28296    315582   5057591    140.06    156.98
72.85/18.36	c  N dy   258     42750     24289    103880         0     17072    315582   1071118    140.42    148.99
77.63/19.51	c  S st   279     45762     24289    103880         0     20084    315582   1714611    140.28   no data
78.43/19.71	c  S st   279     46265     24289    103880         0     20587    315582   1798858    140.28   no data
78.43/19.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
78.43/19.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.06
78.83/19.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
78.83/19.82	c bin-w-bin subsume rem            0 bins  time:  0.01 s
78.83/19.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
78.83/19.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24289 time:  0.01 s
78.83/19.85	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
79.23/19.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
79.63/20.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
80.84/20.31	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.24 s
80.84/20.33	c vivif2 --  cl tried   103880 cl shrink        0 lits rem          0 time: 0.01
80.84/20.36	c vivif2 --  cl tried    20586 cl shrink        0 lits rem          0 time: 0.03
81.27/20.49	c asymm  cl-useful: 0/103880/103880 lits-rem:0 time: 0.13
81.61/20.50	c calculated reachability. Time: 0.00
81.61/20.50	c  N dy   279     46265     24289    103880         0     20586    315582   1798801    140.28   no data
88.01/22.10	c  N dy   310     50363     24289    103880         0     24684    315582   2733253    140.70    155.74
94.44/23.74	c  N dy   338     54459     24289    103880         0     28780    315582   3607965    140.50    152.86
101.16/25.43	c  N dy   366     58551     24289    103880         0     32871    315582   4502242    140.48    148.39
107.93/27.10	c  N dy   397     62578     24289    103880         0     36898    315582   5401427    140.76    175.36
114.32/28.74	c  N dy   425     66706     24289    103880         0     22366    315582   1489375    140.73    148.94
118.70/29.80	c  S st   441     69397     24289    103880         0     25057    315582   2056267    140.57   no data
119.51/30.01	c  S st   441     69900     24289    103880         0     25560    315582   2141078    140.57   no data
119.51/30.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
119.51/30.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.07
119.91/30.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
119.91/30.13	c bin-w-bin subsume rem            0 bins  time:  0.01 s
119.91/30.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
119.91/30.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24289 time:  0.01 s
119.91/30.15	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
120.32/30.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
120.75/30.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
122.29/30.74	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.36 s
122.29/30.75	c vivif2 --  cl tried   103880 cl shrink        0 lits rem          0 time: 0.01
122.29/30.79	c vivif2 --  cl tried    25559 cl shrink        0 lits rem          0 time: 0.03
123.08/30.92	c asymm  cl-useful: 0/103880/103880 lits-rem:0 time: 0.13
123.08/30.93	c calculated reachability. Time: 0.00
123.08/30.93	c  N dy   441     69900     24289    103880         0     25559    315582   2140077    140.57   no data
130.26/32.72	c  N dy   468     74431     24289    103880         0     30090    315582   3094961    140.55    197.39
138.29/34.75	c  N dy   501     79281     24289    103880         0     34938    315582   4167500    140.67    148.19
147.06/36.92	c  N dy   539     84353     24289    103880         0     40010    315582   5307113    140.96    149.15
152.19/38.25	c  F st   563     87500     24289    103880         0     22326    315582    968036    141.06    136.12
158.17/39.71	c  N st   568     90796     24289    103880         0     25621    315582   2058186    141.06   no data
167.74/42.19	c  N dy   597     96686     24289    103880         0     31509    315582   3650360    141.30    149.61
178.50/44.82	c  N dy   641    102863     24289    103880         0     37686    315582   5056668    141.47    160.15
181.72/45.68	c  S st   654    104850     24289    103880         0     39673    315582   5511435    141.44   no data
182.89/45.91	c  S st   654    105350     24289    103880         0     40173    315582   5587006    141.44   no data
182.89/45.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
183.29/46.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.08
183.29/46.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
183.29/46.04	c bin-w-bin subsume rem            0 bins  time:  0.01 s
183.29/46.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
183.29/46.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24289 time:  0.01 s
183.29/46.07	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
183.69/46.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
185.29/46.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
191.66/48.18	c lits-rem:        16  cl-subs:        8  v-elim:      0  v-fix:    0  time:  1.65 s
191.66/48.19	c vivif2 --  cl tried   103880 cl shrink        0 lits rem          0 time: 0.01
192.06/48.28	c vivif2 --  cl tried    40165 cl shrink        0 lits rem          0 time: 0.09
192.86/48.44	c asymm  cl-useful: 0/103880/103880 lits-rem:0 time: 0.16
192.86/48.45	c calculated reachability. Time: 0.00
192.86/48.45	c  N dy   654    105350     24289    103880         0     40165    315582   5585119    141.44   no data
204.42/51.34	c  N dy   703    112130     24289    103880         0     24533    315582   1084606    141.72    151.42
216.39/54.37	c  N dy   754    119381     24289    103880         0     31784    315582   2684290    141.90    153.50
229.55/57.68	c  N dy   809    127085     24289    103880         0     39487    315582   4395610    142.01    157.71
244.30/61.33	c  N dy   869    135250     24289    103880         0     23945    315582    629287    142.42    159.57
258.25/64.88	c  N dy   923    144082     24289    103880         0     32776    315582   2571366    142.40    150.74
274.60/68.90	c  N dy   990    153398     24289    103880         0     42091    315582   4650102    142.51    151.05
282.60/70.95	c  S st  1021    158027     24289    103880         0     46720    315582   5663119    142.46   no data
283.78/71.20	c  S st  1021    158533     24289    103880         0     47226    315582   5751258    142.46   no data
283.78/71.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
284.18/71.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
284.18/71.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
284.18/71.34	c bin-w-bin subsume rem            0 bins  time:  0.01 s
284.18/71.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
284.18/71.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24289 time:  0.01 s
284.18/71.36	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
284.58/71.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
286.17/71.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
294.55/73.97	c lits-rem:         1  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.14 s
294.55/73.98	c vivif2 --  cl tried   103880 cl shrink        0 lits rem          0 time: 0.01
294.95/74.08	c vivif2 --  cl tried    47223 cl shrink        0 lits rem          0 time: 0.09
295.77/74.25	c asymm  cl-useful: 0/103880/103880 lits-rem:0 time: 0.17
295.77/74.25	c calculated reachability. Time: 0.00
295.77/74.25	c  N dy  1021    158533     24289    103880         0     47223    315582   5751030    142.46   no data
313.31/78.61	c  N dy  1090    168792     24289    103880         0     32632    315582   2295556    142.50    151.30
331.62/83.28	c  N dy  1163    179571     24289    103880         0     43409    315582   4735953    142.62    153.47
352.37/88.41	c  N dy  1242    191040     24289    103880         0     28954    315582   1210807    142.70    194.68
373.09/93.62	c  N dy  1326    203293     24289    103880         0     41205    315582   3975963    142.92    157.02
397.07/99.61	c  N dy  1421    216304     24289    103880         0     27251    315582    568740    143.10    163.40
420.55/105.55	c  N dy  1520    230158     24289    103880         0     41103    315582   3711799    143.35    206.96
434.11/108.97	c  S st  1569    237800     24289    103880         0     48745    315582   5426866    143.31   no data
435.31/109.21	c  S st  1569    238303     24289    103880         0     49248    315582   5512300    143.31   no data
435.31/109.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
435.71/109.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
435.71/109.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
435.71/109.35	c bin-w-bin subsume rem            0 bins  time:  0.01 s
435.71/109.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
435.71/109.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24289 time:  0.01 s
435.71/109.38	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
436.13/109.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
437.30/109.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
446.46/112.08	c lits-rem:         4  cl-subs:        2  v-elim:      0  v-fix:    0  time:  2.26 s
446.46/112.09	c vivif2 --  cl tried   103880 cl shrink        0 lits rem          0 time: 0.01
446.86/112.18	c vivif2 --  cl tried    49246 cl shrink        0 lits rem          0 time: 0.09
447.66/112.35	c asymm  cl-useful: 0/103880/103880 lits-rem:0 time: 0.17
447.66/112.36	c calculated reachability. Time: 0.00
447.66/112.36	c  N dy  1569    238303     24289    103880         0     49246    315582   5511878    143.31   no data
474.38/119.06	c  N dy  1665    253640     24289    103880         0     36604    315582   2420328    143.18    151.05
503.48/126.34	c  N dy  1785    269862     24289    103880         0     52826    315582   6115868    143.43    151.02
534.19/134.07	c  N dy  1906    287133     24289    103880         0     41110    315582   3256966    143.80    170.30
568.14/142.53	c  N dy  2034    305604     24289    103880         0     59579    315582   7435502    143.89    152.00
569.28/142.86	c  F st  2039    306252     24289    103880         0     30236    315582    525091    143.89    149.63
602.80/151.29	c  N dy  2135    325177     24289    103880         0     49158    315582   5263977    143.90    155.61
639.46/160.43	c  N dy  2272    345234     24289    103880         0     38222    315582   2103256    144.05    179.27
661.38/165.91	c  S st  2357    357455     24289    103880         0     50442    315582   4841644    144.05   no data
662.20/166.15	c  S st  2357    357957     24289    103880         0     50944    315582   4929410    144.05   no data
662.20/166.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
662.60/166.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
662.60/166.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
662.60/166.30	c bin-w-bin subsume rem            0 bins  time:  0.01 s
662.99/166.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
662.99/166.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24289 time:  0.01 s
662.99/166.32	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
663.39/166.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
664.21/166.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
672.57/168.78	c lits-rem:        13  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.06 s
672.57/168.79	c vivif2 --  cl tried   103880 cl shrink        0 lits rem          0 time: 0.01
672.98/168.87	c vivif2 --  cl tried    50939 cl shrink        0 lits rem          0 time: 0.08
673.75/169.05	c asymm  cl-useful: 0/103880/103880 lits-rem:0 time: 0.17
673.75/169.06	c calculated reachability. Time: 0.00
673.75/169.06	c  N dy  2357    357957     24289    103880         0     50939    315582   4927630    144.05   no data
710.84/178.33	c  N dy  2495    378045     24289    103880         0     39023    315582   2059612    144.08    179.51
748.72/187.83	c  N dy  2641    398210     24289    103880         0     59185    315582   6642101    144.28    153.07
785.00/196.94	c  N dy  2778    418234     24289    103880         0     46207    315582   3401483    144.30    151.99
822.89/206.46	c  N dy  2911    438291     24289    103880         0     66263    315582   7981006    144.34    159.84
858.77/215.49	c  N dy  3048    458335     24289    103880         0     52323    315582   4641822    144.44    157.70
897.11/225.09	c  N dy  3181    478439     24289    103880         0     37421    315582   1004617    144.53    152.22
933.75/234.29	c  N dy  3320    498560     24289    103880         0     57541    315582   5597548    144.62    155.71
972.02/243.88	c  N dy  3455    518579     24289    103880         0     41561    315582   1712715    144.63    152.29
1005.52/252.27	c  S st  3583    536935     24289    103880         0     59917    315582   5876105    144.69   no data
1006.77/252.51	c  S st  3583    537436     24289    103880         0     60418    315582   5952931    144.69   no data
1006.77/252.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1007.12/252.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.10
1007.12/252.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1007.12/252.67	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1007.12/252.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1007.12/252.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24289 time:  0.01 s
1007.12/252.69	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
1007.91/252.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
1009.11/253.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1021.07/256.17	c lits-rem:         2  cl-subs:        4  v-elim:      0  v-fix:    0  time:  3.01 s
1021.07/256.18	c vivif2 --  cl tried   103880 cl shrink        0 lits rem          0 time: 0.01
1021.47/256.28	c vivif2 --  cl tried    60414 cl shrink        0 lits rem          0 time: 0.10
1022.27/256.47	c asymm  cl-useful: 0/103880/103880 lits-rem:0 time: 0.19
1022.27/256.48	c calculated reachability. Time: 0.00
1022.27/256.48	c  N dy  3583    537436     24289    103880         0     60414    315582   5951410    144.69   no data
1060.94/266.14	c  N dy  3724    557456     24289    103880         0     43432    315582   1939036    144.75    165.26
1098.88/275.63	c  N dy  3866    577549     24289    103880         0     63522    315582   6556713    144.84    157.08
1137.10/285.23	c  N dy  3995    597669     24289    103880         0     45642    315582   2190743    144.77    162.02
1175.38/294.84	c  N dy  4144    617883     24289    103880         0     65856    315582   6807022    144.84    157.50
1214.05/304.55	c  N dy  4278    638001     24289    103880         0     46977    315582   2279055    144.85    156.72
1252.72/314.24	c  N dy  4420    658067     24289    103880         0     67043    315582   6887353    144.93    152.85
1292.60/324.20	c  N dy  4552    678112     24289    103880         0     47088    315582   2090542    144.95    157.44
1332.47/334.23	c  N dy  4682    698244     24289    103880         0     67219    315582   6641687    144.93    162.91
1373.15/344.48	c  N dy  4820    718319     24289    103880         0     46294    315582   1636841    144.95    156.07
1413.02/354.42	c  N dy  4972    738567     24289    103880         0     66542    315582   6302276    145.07    154.10
1454.48/364.82	c  N dy  5112    758620     24289    103880         0     44600    315582   1059248    145.11    154.71
1492.37/374.38	c  N dy  5250    778678     24289    103880         0     64658    315582   5602221    145.14    155.19
1534.24/384.88	c  N dy  5383    798736     24289    103880         0     84715    315582  10189821    145.17    166.07
1548.59/388.42	c  S st  5432    806154     24289    103880         0     49134    315582   1864978    145.15    124.06
1549.39/388.66	c  S st  5432    806655     24289    103880         0     49635    315582   1940976    145.15   no data
1549.39/388.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1549.79/388.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
1549.79/388.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1549.79/388.79	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1550.21/388.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1550.21/388.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24289 time:  0.01 s
1550.21/388.83	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
1550.63/388.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
1550.97/389.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1553.78/389.76	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.70 s
1553.78/389.78	c vivif2 --  cl tried   103880 cl shrink        0 lits rem          0 time: 0.01
1554.18/389.81	c vivif2 --  cl tried    49634 cl shrink        0 lits rem          0 time: 0.03
1554.60/390.00	c asymm  cl-useful: 0/103880/103880 lits-rem:0 time: 0.17
1554.60/390.00	c calculated reachability. Time: 0.00
1554.60/390.00	c  N dy  5432    806655     24289    103880         0     49634    315582   1940566    145.15   no data
1593.65/399.79	c  N dy  5566    826723     24289    103880         0     69699    315582   6426373    145.14    157.31
1636.32/410.42	c  N dy  5705    846830     24289    103880         0     45806    315582    871856    145.20    154.72
1676.20/420.41	c  N dy  5841    867056     24289    103880         0     66032    315582   5498845    145.24    155.37
1718.05/430.99	c  N dy  5971    887134     24289    103880         0     86106    315582  10091235    145.27    153.06
1757.92/440.90	c  N dy  6112    907150     24289    103880         0     61123    315582   4227945    145.34    156.49
1799.40/451.34	c  N dy  6250    927205     24289    103880         0     81174    315582   8774133    145.38    154.10
1840.45/461.65	c  N dy  6389    947255     24289    103880         0     55229    315582   2608185    145.42    153.40
1881.13/471.83	c  N dy  6530    967330     24289    103880         0     75303    315582   7208732    145.46    160.34
1924.19/482.65	c  N dy  6669    987374     24289    103880         0     48347    315582    805844    145.52    163.95
1963.66/492.50	c  N dy  6810   1007429     24289    103880         0     68402    315582   5355846    145.54    153.56
2006.77/503.31	c  N dy  6948   1027448     24289    103880         0     88419    315582   9980039    145.58    156.49
2047.80/513.63	c  N dy  7092   1047513     24289    103880         0     60486    315582   3369938    145.61    155.34
2088.87/523.97	c  N dy  7232   1067625     24289    103880         0     80597    315582   8015446    145.65    154.71
2098.04/526.29	c  F st  7263   1071876     24289    103880         0     84847    315582   8986019    145.66   no data
2132.33/534.85	c  N dy  7341   1087682     24289    103880         0     51656    315582   1095911    145.66    154.64
2172.21/544.82	c  N dy  7477   1107832     24289    103880         0     71803    315582   5722079    145.70    159.36
2215.66/555.74	c  N dy  7617   1127901     24289    103880         0     91871    315582  10344490    145.73    159.27
2257.13/566.16	c  N dy  7756   1147979     24289    103880         0     61954    315582   3268315    145.75    159.43
2298.61/576.59	c  N dy  7888   1168069     24289    103880         0     82043    315582   7868940    145.76    153.45
2343.66/587.84	c  N dy  8015   1188232     24289    103880         0     51208    315582    552753    145.75    163.31
2384.73/598.13	c  N dy  8151   1208344     24289    103880         0     71317    315582   5238100    145.76    159.00
2387.95/599.00	c  S st  8164   1209985     24289    103880         0     72958    315582   5619444    145.77   no data
2389.12/599.28	c  S st  8164   1210487     24289    103880         0     73460    315582   5692701    145.77   no data
2389.51/599.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2389.91/599.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.11
2389.91/599.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2389.91/599.44	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2389.91/599.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2389.91/599.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24289 time:  0.01 s
2389.91/599.47	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
2390.71/599.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
2391.91/599.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2405.49/603.31	c lits-rem:         2  cl-subs:        3  v-elim:      0  v-fix:    0  time:  3.33 s
2405.49/603.33	c vivif2 --  cl tried   103880 cl shrink        0 lits rem          0 time: 0.01
2405.91/603.42	c vivif2 --  cl tried    73457 cl shrink        0 lits rem          0 time: 0.10
2406.66/603.64	c asymm  cl-useful: 0/103880/103880 lits-rem:0 time: 0.21
2406.66/603.64	c calculated reachability. Time: 0.00
2406.66/603.65	c  N dy  8164   1210487     24289    103880         0     73457    315582   5691526    145.77   no data
2450.51/614.65	c  N dy  8293   1230724     24289    103880         0     93691    315582  10296625    145.78    156.31
2493.20/625.33	c  N dy  8435   1250843     24289    103880         0     61814    315582   2746003    145.80    157.03
2534.25/635.65	c  N dy  8564   1270888     24289    103880         0     81858    315582   7320926    145.80    175.57
2579.30/646.93	c  N dy  8699   1291019     24289    103880         0    101989    315582  11896602    145.79    153.71
2620.82/657.33	c  N dy  8836   1311066     24289    103880         0     69033    315582   4245124    145.84    161.84
2663.45/668.05	c  N dy  8971   1331154     24289    103880         0     89120    315582   8853932    145.86    202.13
2709.68/679.68	c  N dy  9108   1351258     24289    103880         0     55229    315582    810179    145.89    156.25
2750.36/689.88	c  N dy  9244   1371420     24289    103880         0     75390    315582   5420098    145.90    156.41
2795.02/701.06	c  N dy  9380   1391442     24289    103880         0     95412    315582  10055559    145.92    154.54
2839.69/712.28	c  N dy  9518   1411604     24289    103880         0     60570    315582   1817573    145.95    155.75
2880.74/722.54	c  N dy  9662   1431616     24289    103880         0     80581    315582   6425317    145.98    177.93
2925.40/733.79	c  N dy  9797   1451632     24289    103880         0    100595    315582  11119531    146.02    190.17
2969.66/744.87	c  N dy  9937   1471705     24289    103880         0     64677    315582   2535619    146.03    154.26
3011.92/755.49	c  N dy 10076   1491784     24289    103880         0     84755    315582   7171730    146.07    162.12
3057.78/766.97	c  N dy 10215   1511881     24289    103880         0    104851    315582  11723285    146.06    155.52
3101.24/777.87	c  N dy 10351   1531924     24289    103880         0     67900    315582   2989421    146.07    154.58
3143.90/788.52	c  N dy 10484   1551983     24289    103880         0     87957    315582   7602681    146.07    171.84
3189.36/799.94	c  N dy 10617   1572023     24289    103880         0    107995    315582  12271274    146.10    168.53
3233.61/811.03	c  N dy 10762   1592374     24289    103880         0     70346    315582   3365657    146.12    160.04
3276.68/821.86	c  N dy 10901   1612451     24289    103880         0     90421    315582   7954509    146.14    156.34
3323.32/833.50	c  N dy 11036   1632497     24289    103880         0    110466    315582  12554433    146.16    154.98
3367.59/844.60	c  N dy 11175   1652810     24289    103880         0     71783    315582   3536209    146.17    153.94
3410.65/855.43	c  N dy 11308   1672816     24289    103880         0     91788    315582   8159981    146.17    160.36
3457.70/867.20	c  N dy 11438   1692933     24289    103880         0    111903    315582  12764998    146.17    155.85
3497.18/877.16	c  S st 11558   1710489     24289    103880         0     69456    315582   2709800    146.17   no data
3498.36/877.44	c  S st 11558   1710991     24289    103880         0     69958    315582   2791301    146.17   no data
3498.36/877.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3498.76/877.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.10
3498.76/877.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3499.16/877.60	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3499.16/877.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3499.16/877.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24289 time:  0.01 s
3499.16/877.63	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
3499.56/877.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
3499.96/877.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3507.94/879.82	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  1.88 s
3507.94/879.83	c vivif2 --  cl tried   103880 cl shrink        0 lits rem          0 time: 0.01
3507.94/879.88	c vivif2 --  cl tried    69956 cl shrink        0 lits rem          0 time: 0.05
3508.74/880.09	c asymm  cl-useful: 0/103880/103880 lits-rem:0 time: 0.20
3509.14/880.10	c calculated reachability. Time: 0.00
3509.14/880.10	c  N dy 11558   1710991     24289    103880         0     69956    315582   2790536    146.17   no data
3551.80/890.83	c  N dy 11688   1731033     24289    103880         0     89995    315582   7384761    146.18    154.17
3598.90/902.64	c  N dy 11831   1751147     24289    103880         0    110108    315582  12044936    146.21    157.45
3643.90/913.91	c  N dy 11958   1771202     24289    103880         0     69175    315582   2422523    146.20    183.14
3686.19/924.55	c  N dy 12091   1791253     24289    103880         0     89226    315582   6985347    146.19    187.14
3732.81/936.29	c  N dy 12229   1811338     24289    103880         0    109310    315582  11580865    146.20    154.68
3779.86/948.03	c  N dy 12356   1831445     24289    103880         0     67418    315582   1790133    146.20    155.25
3822.93/958.86	c  N dy 12487   1851666     24289    103880         0     87638    315582   6478355    146.19    154.06
3870.41/970.79	c  N dy 12627   1871740     24289    103880         0    107710    315582  11126685    146.23    157.81
3919.82/983.17	c  N dy 12773   1891893     24289    103880         0     64862    315582    995466    146.26    156.46
3962.07/993.75	c  N dy 12917   1912002     24289    103880         0     84971    315582   5698442    146.30    156.87
4007.92/1005.22	c  N dy 13052   1932055     24289    103880         0    105024    315582  10324742    146.31    154.02
4056.56/1017.46	c  N dy 13191   1952093     24289    103880         0    125059    315582  14878729    146.31    155.14
4100.02/1028.31	c  N dy 13333   1972141     24289    103880         0     81105    315582   4491532    146.33    154.46
4145.88/1039.84	c  N dy 13482   1992278     24289    103880         0    101240    315582   9220058    146.38    155.35
4194.93/1052.20	c  N dy 13629   2012376     24289    103880         0    121337    315582  13814980    146.40    154.55
4239.56/1063.30	c  N dy 13754   2032436     24289    103880         0     76402    315582   3213351    146.37    161.91
4283.07/1074.29	c  N dy 13892   2052575     24289    103880         0     96541    315582   7891624    146.39    154.25
4330.48/1086.14	c  N dy 14027   2072626     24289    103880         0    116590    315582  12468499    146.39    174.00
4377.92/1098.04	c  N dy 14156   2092760     24289    103880         0     70733    315582   1660772    146.39    160.01
4420.19/1108.62	c  N dy 14293   2112788     24289    103880         0     90761    315582   6302047    146.40    154.28
4466.04/1120.17	c  N dy 14432   2132933     24289    103880         0    110904    315582  11040855    146.43    155.94
4515.88/1132.61	c  N dy 14566   2153036     24289    103880         0    131004    315582  15610881    146.43    156.56
4558.55/1143.32	c  N dy 14695   2173221     24289    103880         0     84191    315582   4516862    146.42    154.15
4604.00/1154.71	c  N dy 14836   2193355     24289    103880         0    104323    315582   9225598    146.46    154.52
4648.26/1165.82	c  S st 14956   2210991     24289    103880         0    121958    315582  13268027    146.46   no data
4649.86/1166.23	c  S st 14956   2211498     24289    103880         0    122465    315582  13349373    146.46   no data
4649.86/1166.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4650.66/1166.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.17
4650.66/1166.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4650.66/1166.48	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4650.66/1166.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4650.66/1166.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24289 time:  0.01 s
4650.66/1166.51	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
4651.85/1166.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
4655.46/1167.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4684.54/1174.93	c lits-rem:         4  cl-subs:        7  v-elim:      0  v-fix:    0  time:  7.28 s
4684.54/1174.94	c vivif2 --  cl tried   103880 cl shrink        0 lits rem          0 time: 0.01
4685.35/1175.17	c vivif2 --  cl tried   122458 cl shrink        0 lits rem          0 time: 0.23
4686.59/1175.46	c asymm  cl-useful: 0/103880/103880 lits-rem:0 time: 0.29
4686.59/1175.47	c calculated reachability. Time: 0.00
4686.59/1175.47	c  N dy 14956   2211498     24289    103880         0    122458    315582  13346870    146.46   no data
4734.83/1187.52	c  N dy 15098   2231543     24289    103880         0     74506    315582   2050015    146.48    157.71
4778.27/1198.43	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: 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-3366108-1305395074/watcher-3366108-1305395074 -o /tmp/evaluation-result-3366108-1305395074/solver-3366108-1305395074 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366108-1305395074.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: 3.77 5.81 7.03 8/386 10891
/proc/meminfo: memFree=14892748/32951124 swapFree=65586204/67111528
[pid=10891] ppid=10889 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/10891/stat : 10891 (strangenight2-m) R 10889 10891 10272 0 -1 4202496 406 0 0 0 0 0 0 0 22 0 4 0 729738070 52396032 347 33554432000 4194304 4580107 140733392552240 18446744073709551615 47003501389746 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10891/statm: 12792 347 299 95 0 7774 0
[pid=10891/tid=10892] ppid=10889 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10892/stat : 10892 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 729738071 52396032 347 33554432000 4194304 4580107 140733392552240 18446744073709551615 47003501389736 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10891/tid=10893] ppid=10889 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10893/stat : 10893 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 729738071 52396032 347 33554432000 4194304 4580107 140733392552240 18446744073709551615 47003501389746 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10891/tid=10894] ppid=10889 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10894/stat : 10894 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 729738071 52396032 347 33554432000 4194304 4580107 140733392552240 18446744073709551615 216735235057 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0670679 s]
/proc/loadavg: 3.77 5.81 7.03 8/386 10891
/proc/meminfo: memFree=14892748/32951124 swapFree=65586204/67111528
[pid=10891] ppid=10889 vsize=370152 CPUtime=0.22 cores=0,2,4,6
/proc/10891/stat : 10891 (strangenight2-m) S 10889 10891 10272 0 -1 4202496 13679 0 0 0 16 6 0 0 18 0 4 0 729738070 379035648 11641 33554432000 4194304 4580107 140733392552240 18446744073709551615 216735283694 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10891/statm: 92538 11673 337 95 0 87520 0
[pid=10891/tid=10892] ppid=10889 vsize=370152 CPUtime=0.05 cores=0,2,4,6
/proc/10891/task/10892/stat : 10892 (strangenight2-m) S 10889 10891 10272 0 -1 4202560 3401 0 0 0 4 1 0 0 18 0 4 0 729738071 379035648 11697 33554432000 4194304 4580107 140733392552240 18446744073709551615 216735283694 0 0 4096 2 18446604449652683712 0 0 -1 4 0 0 0
[pid=10891/tid=10893] ppid=10889 vsize=370152 CPUtime=0.05 cores=0,2,4,6
/proc/10891/task/10893/stat : 10893 (strangenight2-m) S 10889 10891 10272 0 -1 4202560 3351 0 0 0 4 1 0 0 18 0 4 0 729738071 379035648 11729 33554432000 4194304 4580107 140733392552240 18446744073709551615 216735283694 0 0 4096 2 18446604449652683712 0 0 -1 0 0 0 0
[pid=10891/tid=10894] ppid=10889 vsize=370152 CPUtime=0.04 cores=0,2,4,6
/proc/10891/task/10894/stat : 10894 (strangenight2-m) S 10889 10891 10272 0 -1 4202560 3210 0 0 0 3 1 0 0 18 0 4 0 729738071 379035648 11783 33554432000 4194304 4580107 140733392552240 18446744073709551615 216735283694 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 370152

[startup+0.107974 s]
/proc/loadavg: 3.77 5.81 7.03 8/386 10891
/proc/meminfo: memFree=14892748/32951124 swapFree=65586204/67111528
[pid=10891] ppid=10889 vsize=371644 CPUtime=0.35 cores=0,2,4,6
/proc/10891/stat : 10891 (strangenight2-m) R 10889 10891 10272 0 -1 4202496 15852 0 0 0 24 11 0 0 18 0 4 0 729738070 380563456 13813 33554432000 4194304 4580107 140733392552240 18446744073709551615 216735283743 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10891/statm: 92911 13841 337 95 0 87893 0
[pid=10891/tid=10892] ppid=10889 vsize=371644 CPUtime=0.08 cores=0,2,4,6
/proc/10891/task/10892/stat : 10892 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 3944 0 0 0 5 3 0 0 17 0 4 0 729738071 380563456 13856 33554432000 4194304 4580107 140733392552240 18446744073709551615 216735283743 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10891/tid=10893] ppid=10889 vsize=371644 CPUtime=0.08 cores=0,2,4,6
/proc/10891/task/10893/stat : 10893 (strangenight2-m) S 10889 10891 10272 0 -1 4202560 3775 0 0 0 6 2 0 0 17 0 4 0 729738071 380563456 13857 33554432000 4194304 4580107 140733392552240 18446744073709551615 216735283694 0 0 4096 2 18446604449652683712 0 0 -1 0 0 0 0
[pid=10891/tid=10894] ppid=10889 vsize=371644 CPUtime=0.07 cores=0,2,4,6
/proc/10891/task/10894/stat : 10894 (strangenight2-m) S 10889 10891 10272 0 -1 4202560 3716 0 0 0 5 2 0 0 17 0 4 0 729738071 380563456 13857 33554432000 4194304 4580107 140733392552240 18446744073709551615 216735283694 0 0 4096 2 18446604449652683712 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 371644

[startup+0.363127 s]
/proc/loadavg: 3.77 5.81 7.03 8/386 10891
/proc/meminfo: memFree=14892748/32951124 swapFree=65586204/67111528
[pid=10891] ppid=10889 vsize=410544 CPUtime=1.38 cores=0,2,4,6
/proc/10891/stat : 10891 (strangenight2-m) R 10889 10891 10272 0 -1 4202496 30679 0 0 0 122 16 0 0 18 0 4 0 729738070 420397056 27755 33554432000 4194304 4580107 140733392552240 18446744073709551615 4451559 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10891/statm: 102275 28018 371 95 0 97257 0
[pid=10891/tid=10892] ppid=10889 vsize=409100 CPUtime=0.35 cores=0,2,4,6
/proc/10891/task/10892/stat : 10892 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 9020 0 0 0 30 5 0 0 18 0 4 0 729738071 418918400 28033 33554432000 4194304 4580107 140733392552240 18446744073709551615 4451818 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10891/tid=10893] ppid=10889 vsize=413432 CPUtime=0.35 cores=0,2,4,6
/proc/10891/task/10893/stat : 10893 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 8695 0 0 0 32 3 0 0 18 0 4 0 729738071 423354368 29340 33554432000 4194304 4580107 140733392552240 18446744073709551615 216734876117 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10891/tid=10894] ppid=10889 vsize=413432 CPUtime=0.34 cores=0,2,4,6
/proc/10891/task/10894/stat : 10894 (strangenight2-m) S 10889 10891 10272 0 -1 4202560 4512 0 0 0 31 3 0 0 18 0 4 0 729738071 423354368 29362 33554432000 4194304 4580107 140733392552240 18446744073709551615 216735283694 0 0 4096 2 18446604449652683712 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 410544

[startup+1.18777 s]
/proc/loadavg: 3.77 5.81 7.03 8/386 10891
/proc/meminfo: memFree=14892748/32951124 swapFree=65586204/67111528
[pid=10891] ppid=10889 vsize=401444 CPUtime=4.63 cores=0,2,4,6
/proc/10891/stat : 10891 (strangenight2-m) R 10889 10891 10272 0 -1 4202496 37585 0 0 0 445 18 0 0 19 0 4 0 729738070 411078656 28313 33554432000 4194304 4580107 140733392552240 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10891/statm: 100361 28313 377 95 0 95343 0
[pid=10891/tid=10892] ppid=10889 vsize=401444 CPUtime=1.15 cores=0,2,4,6
/proc/10891/task/10892/stat : 10892 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 10119 0 0 0 110 5 0 0 19 0 4 0 729738071 411078656 28313 33554432000 4194304 4580107 140733392552240 18446744073709551615 4318737 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10891/tid=10893] ppid=10889 vsize=401444 CPUtime=1.15 cores=0,2,4,6
/proc/10891/task/10893/stat : 10893 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 10726 0 0 0 111 4 0 0 18 0 4 0 729738071 411078656 28313 33554432000 4194304 4580107 140733392552240 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10891/tid=10894] ppid=10889 vsize=401444 CPUtime=1.14 cores=0,2,4,6
/proc/10891/task/10894/stat : 10894 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 5129 0 0 0 111 3 0 0 19 0 4 0 729738071 411078656 28313 33554432000 4194304 4580107 140733392552240 18446744073709551615 4322534 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.63
Current children cumulated vsize (KiB) 401444

[startup+1.50072 s]
/proc/loadavg: 3.77 5.81 7.03 8/386 10891
/proc/meminfo: memFree=14892748/32951124 swapFree=65586204/67111528
[pid=10891] ppid=10889 vsize=401444 CPUtime=5.88 cores=0,2,4,6
/proc/10891/stat : 10891 (strangenight2-m) R 10889 10891 10272 0 -1 4202496 38514 0 0 0 570 18 0 0 20 0 4 0 729738070 411078656 29226 33554432000 4194304 4580107 140733392552240 18446744073709551615 4320876 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10891/statm: 100361 29226 377 95 0 95343 0
[pid=10891/tid=10892] ppid=10889 vsize=401444 CPUtime=1.46 cores=0,2,4,6
/proc/10891/task/10892/stat : 10892 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 10402 0 0 0 141 5 0 0 19 0 4 0 729738071 411078656 29227 33554432000 4194304 4580107 140733392552240 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10891/tid=10893] ppid=10889 vsize=401444 CPUtime=1.47 cores=0,2,4,6
/proc/10891/task/10893/stat : 10893 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 10930 0 0 0 143 4 0 0 19 0 4 0 729738071 411078656 29227 33554432000 4194304 4580107 140733392552240 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10891/tid=10894] ppid=10889 vsize=401444 CPUtime=1.45 cores=0,2,4,6
/proc/10891/task/10894/stat : 10894 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 5344 0 0 0 142 3 0 0 19 0 4 0 729738071 411078656 29227 33554432000 4194304 4580107 140733392552240 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 401444

[startup+3.10044 s]
/proc/loadavg: 3.77 5.81 7.03 10/390 10895
/proc/meminfo: memFree=14734544/32951124 swapFree=65586204/67111528
[pid=10891] ppid=10889 vsize=532708 CPUtime=12.25 cores=0,2,4,6
/proc/10891/stat : 10891 (strangenight2-m) R 10889 10891 10272 0 -1 4202496 42846 0 0 0 1206 19 0 0 25 0 4 0 729738070 545492992 33558 33554432000 4194304 4580107 140733392552240 18446744073709551615 4295890 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10891/statm: 133177 33559 377 95 0 128159 0
[pid=10891/tid=10892] ppid=10889 vsize=532708 CPUtime=3.06 cores=0,2,4,6
/proc/10891/task/10892/stat : 10892 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 11414 0 0 0 301 5 0 0 24 0 4 0 729738071 545492992 33559 33554432000 4194304 4580107 140733392552240 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10891/tid=10893] ppid=10889 vsize=532708 CPUtime=3.06 cores=0,2,4,6
/proc/10891/task/10893/stat : 10893 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 11938 0 0 0 302 4 0 0 23 0 4 0 729738071 545492992 33559 33554432000 4194304 4580107 140733392552240 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10891/tid=10894] ppid=10889 vsize=532708 CPUtime=3.03 cores=0,2,4,6
/proc/10891/task/10894/stat : 10894 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 6660 0 0 0 299 4 0 0 24 0 4 0 729738071 545492992 33559 33554432000 4194304 4580107 140733392552240 18446744073709551615 4295856 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 532708

[startup+6.30089 s]
/proc/loadavg: 4.11 5.85 7.04 10/390 10895
/proc/meminfo: memFree=14598284/32951124 swapFree=65586204/67111528
[pid=10891] ppid=10889 vsize=532708 CPUtime=25.01 cores=0,2,4,6
/proc/10891/stat : 10891 (strangenight2-m) R 10889 10891 10272 0 -1 4202496 50596 0 0 0 2481 20 0 0 25 0 4 0 729738070 545492992 41308 33554432000 4194304 4580107 140733392552240 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10891/statm: 133177 41308 377 95 0 128159 0
[pid=10891/tid=10892] ppid=10889 vsize=532708 CPUtime=6.27 cores=0,2,4,6
/proc/10891/task/10892/stat : 10892 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 13398 0 0 0 621 6 0 0 25 0 4 0 729738071 545492992 41308 33554432000 4194304 4580107 140733392552240 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10891/tid=10893] ppid=10889 vsize=532708 CPUtime=6.26 cores=0,2,4,6
/proc/10891/task/10893/stat : 10893 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 13903 0 0 0 622 4 0 0 25 0 4 0 729738071 545492992 41308 33554432000 4194304 4580107 140733392552240 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10891/tid=10894] ppid=10889 vsize=532708 CPUtime=6.19 cores=0,2,4,6
/proc/10891/task/10894/stat : 10894 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 8620 0 0 0 615 4 0 0 25 0 4 0 729738071 545492992 41308 33554432000 4194304 4580107 140733392552240 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.01
Current children cumulated vsize (KiB) 532708

[startup+12.7148 s]
/proc/loadavg: 4.42 5.88 7.04 9/390 10895
/proc/meminfo: memFree=14461264/32951124 swapFree=65586204/67111528
[pid=10891] ppid=10889 vsize=716528 CPUtime=50.58 cores=0,2,4,6
/proc/10891/stat : 10891 (strangenight2-m) R 10889 10891 10272 0 -1 4202496 89293 0 0 0 5030 28 0 0 25 0 4 0 729738070 733724672 59256 33554432000 4194304 4580107 140733392552240 18446744073709551615 4415844 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10891/statm: 179132 59256 379 95 0 174114 0
[pid=10891/tid=10892] ppid=10889 vsize=716528 CPUtime=12.68 cores=0,2,4,6
/proc/10891/task/10892/stat : 10892 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 18976 0 0 0 1261 7 0 0 25 0 4 0 729738071 733724672 59256 33554432000 4194304 4580107 140733392552240 18446744073709551615 4293985 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10891/tid=10893] ppid=10889 vsize=716528 CPUtime=12.68 cores=0,2,4,6
/proc/10891/task/10893/stat : 10893 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 19388 0 0 0 1262 6 0 0 25 0 4 0 729738071 733724672 59256 33554432000 4194304 4580107 140733392552240 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10891/tid=10894] ppid=10889 vsize=716528 CPUtime=12.51 cores=0,2,4,6
/proc/10891/task/10894/stat : 10894 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 13951 0 0 0 1246 5 0 0 25 0 4 0 729738071 733724672 59256 33554432000 4194304 4580107 140733392552240 18446744073709551615 4318848 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 716528

[startup+25.5006 s]
/proc/loadavg: 5.21 5.98 7.06 10/390 10896
/proc/meminfo: memFree=14178288/32951124 swapFree=65586204/67111528
[pid=10891] ppid=10889 vsize=803444 CPUtime=101.56 cores=0,2,4,6
/proc/10891/stat : 10891 (strangenight2-m) R 10889 10891 10272 0 -1 4202496 166206 0 0 0 10109 47 0 0 25 0 4 0 729738070 822726656 106862 33554432000 4194304 4580107 140733392552240 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10891/statm: 200861 106862 379 95 0 195843 0
[pid=10891/tid=10892] ppid=10889 vsize=803444 CPUtime=25.46 cores=0,2,4,6
/proc/10891/task/10892/stat : 10892 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 51854 0 0 0 2531 15 0 0 25 0 4 0 729738071 822726656 106862 33554432000 4194304 4580107 140733392552240 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10891/tid=10893] ppid=10889 vsize=803444 CPUtime=25.46 cores=0,2,4,6
/proc/10891/task/10893/stat : 10893 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 33636 0 0 0 2537 9 0 0 25 0 4 0 729738071 822726656 106862 33554432000 4194304 4580107 140733392552240 18446744073709551615 4292896 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10891/tid=10894] ppid=10889 vsize=803444 CPUtime=25.15 cores=0,2,4,6
/proc/10891/task/10894/stat : 10894 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 33775 0 0 0 2505 10 0 0 25 0 4 0 729738071 822726656 106862 33554432000 4194304 4580107 140733392552240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 803444

[startup+51.1011 s]
/proc/loadavg: 6.16 6.15 7.08 10/390 10896
/proc/meminfo: memFree=14016088/32951124 swapFree=65586204/67111528
[pid=10891] ppid=10889 vsize=717032 CPUtime=203.65 cores=0,2,4,6
/proc/10891/stat : 10891 (strangenight2-m) R 10889 10891 10272 0 -1 4202496 244593 0 0 0 20299 66 0 0 25 0 4 0 729738070 734240768 131161 33554432000 4194304 4580107 140733392552240 18446744073709551615 4295841 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10891/statm: 179258 131161 379 95 0 174240 0
[pid=10891/tid=10892] ppid=10889 vsize=717032 CPUtime=51.07 cores=0,2,4,6
/proc/10891/task/10892/stat : 10892 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 70056 0 0 0 5087 20 0 0 25 0 4 0 729738071 734240768 131165 33554432000 4194304 4580107 140733392552240 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10891/tid=10893] ppid=10889 vsize=717032 CPUtime=50.9 cores=0,2,4,6
/proc/10891/task/10893/stat : 10893 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 54363 0 0 0 5076 14 0 0 25 0 4 0 729738071 734240768 131165 33554432000 4194304 4580107 140733392552240 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10891/tid=10894] ppid=10889 vsize=717032 CPUtime=50.6 cores=0,2,4,6
/proc/10891/task/10894/stat : 10894 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 51319 0 0 0 5045 15 0 0 25 0 4 0 729738071 734240768 131165 33554432000 4194304 4580107 140733392552240 18446744073709551615 4507434 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.65
Current children cumulated vsize (KiB) 717032

[startup+102.3 s]
/proc/loadavg: 7.26 6.45 7.13 10/390 10898
/proc/meminfo: memFree=13806928/32951124 swapFree=65586204/67111528
[pid=10891] ppid=10889 vsize=1012448 CPUtime=407.78 cores=0,2,4,6
/proc/10891/stat : 10891 (strangenight2-m) R 10889 10891 10272 0 -1 4202496 353604 0 0 0 40683 95 0 0 25 0 4 0 729738070 1036746752 172477 33554432000 4194304 4580107 140733392552240 18446744073709551615 4293235 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10891/statm: 253112 172477 379 95 0 248094 0
[pid=10891/tid=10892] ppid=10889 vsize=1012448 CPUtime=102.25 cores=0,2,4,6
/proc/10891/task/10892/stat : 10892 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 98522 0 0 0 10198 27 0 0 25 0 4 0 729738071 1036746752 172477 33554432000 4194304 4580107 140733392552240 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10891/tid=10893] ppid=10889 vsize=1012448 CPUtime=101.45 cores=0,2,4,6
/proc/10891/task/10893/stat : 10893 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 74966 0 0 0 10124 21 0 0 25 0 4 0 729738071 1036746752 172477 33554432000 4194304 4580107 140733392552240 18446744073709551615 4293032 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10891/tid=10894] ppid=10889 vsize=1012448 CPUtime=101.78 cores=0,2,4,6
/proc/10891/task/10894/stat : 10894 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 85869 0 0 0 10154 24 0 0 25 0 4 0 729738071 1036746752 172477 33554432000 4194304 4580107 140733392552240 18446744073709551615 4325657 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.78
Current children cumulated vsize (KiB) 1012448

[startup+162.315 s]

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

[pid=10891] ppid=10889 vsize=1395264 CPUtime=2800.23 cores=0,2,4,6
/proc/10891/stat : 10891 (strangenight2-m) R 10889 10891 10272 0 -1 4202496 1507446 0 0 0 279588 435 0 0 25 0 4 0 729738070 1428750336 292336 33554432000 4194304 4580107 140733392552240 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10891/statm: 348816 292336 379 95 0 343798 0
[pid=10891/tid=10892] ppid=10889 vsize=1395264 CPUtime=702.24 cores=0,2,4,6
/proc/10891/task/10892/stat : 10892 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 398190 0 0 0 70115 109 0 0 25 0 4 0 729738071 1428750336 292350 33554432000 4194304 4580107 140733392552240 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10891/tid=10893] ppid=10889 vsize=1395264 CPUtime=698.85 cores=0,2,4,6
/proc/10891/task/10893/stat : 10893 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 360889 0 0 0 69781 104 0 0 25 0 4 0 729738071 1428750336 292350 33554432000 4194304 4580107 140733392552240 18446744073709551615 4317544 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10891/tid=10894] ppid=10889 vsize=1395264 CPUtime=701.78 cores=0,2,4,6
/proc/10891/task/10894/stat : 10894 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 391051 0 0 0 70060 118 0 0 25 0 4 0 729738071 1428750336 292350 33554432000 4194304 4580107 140733392552240 18446744073709551615 4293748 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2800.23
Current children cumulated vsize (KiB) 1395264

[startup+762.3 s]
/proc/loadavg: 8.15 7.93 7.61 10/390 10915
/proc/meminfo: memFree=12687072/32951124 swapFree=65586204/67111528
[pid=10891] ppid=10889 vsize=1453452 CPUtime=3039.43 cores=0,2,4,6
/proc/10891/stat : 10891 (strangenight2-m) R 10889 10891 10272 0 -1 4202496 1613745 0 0 0 303476 467 0 0 25 0 4 0 729738070 1488334848 298835 33554432000 4194304 4580107 140733392552240 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10891/statm: 363363 298835 379 95 0 358345 0
[pid=10891/tid=10892] ppid=10889 vsize=1453452 CPUtime=762.22 cores=0,2,4,6
/proc/10891/task/10892/stat : 10892 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 424779 0 0 0 76106 116 0 0 25 0 4 0 729738071 1488334848 298835 33554432000 4194304 4580107 140733392552240 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10891/tid=10893] ppid=10889 vsize=1453452 CPUtime=758.84 cores=0,2,4,6
/proc/10891/task/10893/stat : 10893 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 388682 0 0 0 75771 113 0 0 18 0 4 0 729738071 1488334848 298835 33554432000 4194304 4580107 140733392552240 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10891/tid=10894] ppid=10889 vsize=1453452 CPUtime=761.77 cores=0,2,4,6
/proc/10891/task/10894/stat : 10894 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 418891 0 0 0 76051 126 0 0 25 0 4 0 729738071 1488334848 298836 33554432000 4194304 4580107 140733392552240 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3039.43
Current children cumulated vsize (KiB) 1453452

[startup+822.315 s]
/proc/loadavg: 8.12 7.96 7.64 10/390 10917
/proc/meminfo: memFree=12673716/32951124 swapFree=65586204/67111528
[pid=10891] ppid=10889 vsize=1592876 CPUtime=3278.72 cores=0,2,4,6
/proc/10891/stat : 10891 (strangenight2-m) R 10889 10891 10272 0 -1 4202496 1715928 0 0 0 327373 499 0 0 25 0 4 0 729738070 1631105024 316926 33554432000 4194304 4580107 140733392552240 18446744073709551615 4295890 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10891/statm: 398219 316926 379 95 0 393201 0
[pid=10891/tid=10892] ppid=10889 vsize=1592876 CPUtime=822.23 cores=0,2,4,6
/proc/10891/task/10892/stat : 10892 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 452632 0 0 0 82099 124 0 0 25 0 4 0 729738071 1631105024 316926 33554432000 4194304 4580107 140733392552240 18446744073709551615 4292959 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10891/tid=10893] ppid=10889 vsize=1592876 CPUtime=818.84 cores=0,2,4,6
/proc/10891/task/10893/stat : 10893 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 415128 0 0 0 81765 119 0 0 25 0 4 0 729738071 1631105024 316926 33554432000 4194304 4580107 140733392552240 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10891/tid=10894] ppid=10889 vsize=1592876 CPUtime=821.79 cores=0,2,4,6
/proc/10891/task/10894/stat : 10894 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 442834 0 0 0 82044 135 0 0 25 0 4 0 729738071 1631105024 316926 33554432000 4194304 4580107 140733392552240 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3278.72
Current children cumulated vsize (KiB) 1592876

[startup+882.301 s]
/proc/loadavg: 8.11 7.98 7.66 10/390 10918
/proc/meminfo: memFree=12764816/32951124 swapFree=65586204/67111528
[pid=10891] ppid=10889 vsize=1608652 CPUtime=3517.91 cores=0,2,4,6
/proc/10891/stat : 10891 (strangenight2-m) R 10889 10891 10272 0 -1 4202496 1809587 0 0 0 351262 529 0 0 25 0 4 0 729738070 1647259648 304794 33554432000 4194304 4580107 140733392552240 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10891/statm: 402163 304794 379 95 0 397145 0
[pid=10891/tid=10892] ppid=10889 vsize=1608652 CPUtime=882.22 cores=0,2,4,6
/proc/10891/task/10892/stat : 10892 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 471154 0 0 0 88093 129 0 0 25 0 4 0 729738071 1647259648 304794 33554432000 4194304 4580107 140733392552240 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10891/tid=10893] ppid=10889 vsize=1608652 CPUtime=878.83 cores=0,2,4,6
/proc/10891/task/10893/stat : 10893 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 442445 0 0 0 87756 127 0 0 25 0 4 0 729738071 1647259648 304794 33554432000 4194304 4580107 140733392552240 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10891/tid=10894] ppid=10889 vsize=1608652 CPUtime=881.77 cores=0,2,4,6
/proc/10891/task/10894/stat : 10894 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 464866 0 0 0 88033 144 0 0 25 0 4 0 729738071 1647259648 304794 33554432000 4194304 4580107 140733392552240 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3517.91
Current children cumulated vsize (KiB) 1608652

[startup+942.301 s]
/proc/loadavg: 8.09 8.00 7.69 10/390 10920
/proc/meminfo: memFree=12767108/32951124 swapFree=65586204/67111528
[pid=10891] ppid=10889 vsize=1507944 CPUtime=3757.14 cores=0,2,4,6
/proc/10891/stat : 10891 (strangenight2-m) R 10889 10891 10272 0 -1 4202496 1905094 0 0 0 375152 562 0 0 25 0 4 0 729738070 1544134656 291833 33554432000 4194304 4580107 140733392552240 18446744073709551615 4293090 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10891/statm: 376986 291833 379 95 0 371968 0
[pid=10891/tid=10892] ppid=10889 vsize=1507944 CPUtime=942.22 cores=0,2,4,6
/proc/10891/task/10892/stat : 10892 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 494592 0 0 0 94086 136 0 0 25 0 4 0 729738071 1544134656 291833 33554432000 4194304 4580107 140733392552240 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10891/tid=10893] ppid=10889 vsize=1507944 CPUtime=938.82 cores=0,2,4,6
/proc/10891/task/10893/stat : 10893 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 465971 0 0 0 93747 135 0 0 25 0 4 0 729738071 1544134656 291833 33554432000 4194304 4580107 140733392552240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10891/tid=10894] ppid=10889 vsize=1507944 CPUtime=941.76 cores=0,2,4,6
/proc/10891/task/10894/stat : 10894 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 487988 0 0 0 94025 151 0 0 25 0 4 0 729738071 1544134656 291833 33554432000 4194304 4580107 140733392552240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3757.14
Current children cumulated vsize (KiB) 1507944

[startup+1002.3 s]
/proc/loadavg: 8.09 8.01 7.71 10/390 10931
/proc/meminfo: memFree=12593008/32951124 swapFree=65586204/67111528
[pid=10891] ppid=10889 vsize=1648028 CPUtime=3996.36 cores=0,2,4,6
/proc/10891/stat : 10891 (strangenight2-m) R 10889 10891 10272 0 -1 4202496 2017270 0 0 0 399043 593 0 0 25 0 4 0 729738070 1687580672 334952 33554432000 4194304 4580107 140733392552240 18446744073709551615 4293904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10891/statm: 412007 334952 379 95 0 406989 0
[pid=10891/tid=10892] ppid=10889 vsize=1648028 CPUtime=1002.22 cores=0,2,4,6
/proc/10891/task/10892/stat : 10892 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 520169 0 0 0 100077 145 0 0 25 0 4 0 729738071 1687580672 334952 33554432000 4194304 4580107 140733392552240 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10891/tid=10893] ppid=10889 vsize=1648028 CPUtime=998.79 cores=0,2,4,6
/proc/10891/task/10893/stat : 10893 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 503541 0 0 0 99736 143 0 0 25 0 4 0 729738071 1687580672 334952 33554432000 4194304 4580107 140733392552240 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10891/tid=10894] ppid=10889 vsize=1648028 CPUtime=1001.76 cores=0,2,4,6
/proc/10891/task/10894/stat : 10894 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 513717 0 0 0 100018 158 0 0 25 0 4 0 729738071 1687580672 334952 33554432000 4194304 4580107 140733392552240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3996.36
Current children cumulated vsize (KiB) 1648028

[startup+1062.3 s]
/proc/loadavg: 8.14 8.04 7.74 10/390 10932
/proc/meminfo: memFree=12374828/32951124 swapFree=65586204/67111528
[pid=10891] ppid=10889 vsize=1539524 CPUtime=4235.57 cores=0,2,4,6
/proc/10891/stat : 10891 (strangenight2-m) R 10889 10891 10272 0 -1 4202496 2120039 0 0 0 422928 629 0 0 25 0 4 0 729738070 1576472576 307360 33554432000 4194304 4580107 140733392552240 18446744073709551615 4293685 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10891/statm: 384881 307360 379 95 0 379863 0
[pid=10891/tid=10892] ppid=10889 vsize=1539524 CPUtime=1062.03 cores=0,2,4,6
/proc/10891/task/10892/stat : 10892 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 546952 0 0 0 106048 155 0 0 25 0 4 0 729738071 1576472576 307360 33554432000 4194304 4580107 140733392552240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10891/tid=10893] ppid=10889 vsize=1539524 CPUtime=1058.79 cores=0,2,4,6
/proc/10891/task/10893/stat : 10893 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 526538 0 0 0 105728 151 0 0 25 0 4 0 729738071 1576472576 307360 33554432000 4194304 4580107 140733392552240 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10891/tid=10894] ppid=10889 vsize=1539524 CPUtime=1061.75 cores=0,2,4,6
/proc/10891/task/10894/stat : 10894 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 540502 0 0 0 106008 167 0 0 25 0 4 0 729738071 1576472576 307360 33554432000 4194304 4580107 140733392552240 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4235.57
Current children cumulated vsize (KiB) 1539524

[startup+1122.3 s]
/proc/loadavg: 8.14 8.06 7.76 10/390 10934
/proc/meminfo: memFree=12247156/32951124 swapFree=65586204/67111528
[pid=10891] ppid=10889 vsize=1614128 CPUtime=4474.82 cores=0,2,4,6
/proc/10891/stat : 10891 (strangenight2-m) R 10889 10891 10272 0 -1 4202496 2219505 0 0 0 446820 662 0 0 25 0 4 0 729738070 1652867072 343993 33554432000 4194304 4580107 140733392552240 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10891/statm: 403532 343993 379 95 0 398514 0
[pid=10891/tid=10892] ppid=10889 vsize=1614128 CPUtime=1121.28 cores=0,2,4,6
/proc/10891/task/10892/stat : 10892 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 571478 0 0 0 111965 163 0 0 25 0 4 0 729738071 1652867072 343993 33554432000 4194304 4580107 140733392552240 18446744073709551615 4293755 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10891/tid=10893] ppid=10889 vsize=1614128 CPUtime=1118.79 cores=0,2,4,6
/proc/10891/task/10893/stat : 10893 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 551359 0 0 0 111720 159 0 0 25 0 4 0 729738071 1652867072 343993 33554432000 4194304 4580107 140733392552240 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10891/tid=10894] ppid=10889 vsize=1614128 CPUtime=1121.75 cores=0,2,4,6
/proc/10891/task/10894/stat : 10894 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 565078 0 0 0 111999 176 0 0 25 0 4 0 729738071 1652867072 343993 33554432000 4194304 4580107 140733392552240 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4474.82
Current children cumulated vsize (KiB) 1614128

[startup+1182.3 s]
/proc/loadavg: 8.15 8.08 7.78 10/390 10935
/proc/meminfo: memFree=11988528/32951124 swapFree=65586204/67111528
[pid=10891] ppid=10889 vsize=1789892 CPUtime=4714.04 cores=0,2,4,6
/proc/10891/stat : 10891 (strangenight2-m) R 10889 10891 10272 0 -1 4202496 2386468 0 0 0 470700 704 0 0 25 0 4 0 729738070 1832849408 394062 33554432000 4194304 4580107 140733392552240 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10891/statm: 447473 394062 379 95 0 442455 0
[pid=10891/tid=10892] ppid=10889 vsize=1789892 CPUtime=1180.51 cores=0,2,4,6
/proc/10891/task/10892/stat : 10892 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 621679 0 0 0 117875 176 0 0 25 0 4 0 729738071 1832849408 394062 33554432000 4194304 4580107 140733392552240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10891/tid=10893] ppid=10889 vsize=1789892 CPUtime=1178.78 cores=0,2,4,6
/proc/10891/task/10893/stat : 10893 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 577318 0 0 0 117711 167 0 0 25 0 4 0 729738071 1832849408 394062 33554432000 4194304 4580107 140733392552240 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10891/tid=10894] ppid=10889 vsize=1789892 CPUtime=1181.75 cores=0,2,4,6
/proc/10891/task/10894/stat : 10894 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 611427 0 0 0 117988 187 0 0 25 0 4 0 729738071 1832849408 394062 33554432000 4194304 4580107 140733392552240 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4714.04
Current children cumulated vsize (KiB) 1789892



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.9 s]
/proc/loadavg: 8.11 8.07 7.78 6/389 10937
/proc/meminfo: memFree=12172504/32951124 swapFree=65586204/67111528
[pid=10891] ppid=10889 vsize=1909060 CPUtime=4800.24 cores=0,2,4,6
/proc/10891/stat : 10891 (strangenight2-m) R 10889 10891 10272 0 -1 4202496 2422507 0 0 0 479308 716 0 0 25 0 4 0 729738070 1954877440 413013 33554432000 4194304 4580107 140733392552240 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10891/statm: 477265 413013 379 95 0 472247 0
[pid=10891/tid=10892] ppid=10889 vsize=1909060 CPUtime=1201.85 cores=0,2,4,6
/proc/10891/task/10892/stat : 10892 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 630386 0 0 0 120006 179 0 0 25 0 4 0 729738071 1954877440 413023 33554432000 4194304 4580107 140733392552240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10891/tid=10893] ppid=10889 vsize=1909060 CPUtime=1200.41 cores=0,2,4,6
/proc/10891/task/10893/stat : 10893 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 585549 0 0 0 119871 170 0 0 25 0 4 0 729738071 1954877440 413023 33554432000 4194304 4580107 140733392552240 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10891/tid=10894] ppid=10889 vsize=1909060 CPUtime=1203.38 cores=0,2,4,6
/proc/10891/task/10894/stat : 10894 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 620089 0 0 0 120148 190 0 0 25 0 4 0 729738071 1954877440 413023 33554432000 4194304 4580107 140733392552240 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 1909060

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

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

[startup+1203.9 s]
/proc/loadavg: 8.11 8.07 7.78 6/389 10937
/proc/meminfo: memFree=12172504/32951124 swapFree=65586204/67111528
[pid=10891] ppid=10889 vsize=1909060 CPUtime=4800.24 cores=0,2,4,6
/proc/10891/stat : 10891 (strangenight2-m) R 10889 10891 10272 0 -1 4202496 2422507 0 0 0 479308 716 0 0 25 0 4 0 729738070 1954877440 413013 33554432000 4194304 4580107 140733392552240 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10891/statm: 477265 413013 379 95 0 472247 0
[pid=10891/tid=10892] ppid=10889 vsize=1909060 CPUtime=1201.85 cores=0,2,4,6
/proc/10891/task/10892/stat : 10892 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 630386 0 0 0 120006 179 0 0 25 0 4 0 729738071 1954877440 413023 33554432000 4194304 4580107 140733392552240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10891/tid=10893] ppid=10889 vsize=1909060 CPUtime=1200.41 cores=0,2,4,6
/proc/10891/task/10893/stat : 10893 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 585549 0 0 0 119871 170 0 0 25 0 4 0 729738071 1954877440 413023 33554432000 4194304 4580107 140733392552240 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10891/tid=10894] ppid=10889 vsize=1909060 CPUtime=1203.38 cores=0,2,4,6
/proc/10891/task/10894/stat : 10894 (strangenight2-m) R 10889 10891 10272 0 -1 4202560 620089 0 0 0 120148 190 0 0 25 0 4 0 729738071 1954877440 413023 33554432000 4194304 4580107 140733392552240 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 1909060

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1204
CPU time (s): 4800.36
CPU user time (s): 4793.13
CPU system time (s): 7.2299
CPU usage (%): 398.7
Max. virtual memory (cumulated for all children) (KiB): 1909060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.13
system time used= 7.2299
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2422522
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= 14348
involuntary context switches= 19429

runsolver used 4.44032 second user time and 10.7034 second system time

The end

Launcher Data 

Begin job on node119 at 2011-05-14 19:44:34
IDJOB=3366108
IDBENCH=82517
IDSOLVER=1844
FILE ID=node119/3366108-1305395074
RUNJOBID= node119-1305395074-10868
PBS_JOBID= 13324436
Free space on /tmp= 73188 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
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-3366108-1305395074/watcher-3366108-1305395074 -o /tmp/evaluation-result-3366108-1305395074/solver-3366108-1305395074 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366108-1305395074.cnf

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

MD5SUM BENCH= eea50e836fd8ac6474349634450aaaf7
RANDOM SEED=1233363896

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:      14892904 kB
Buffers:        279124 kB
Cached:        4550988 kB
SwapCached:       4756 kB
Active:       14712176 kB
Inactive:      3014768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14892904 kB
SwapTotal:    67111528 kB
SwapFree:     65586204 kB
Dirty:           13720 kB
Writeback:           0 kB
AnonPages:    12894604 kB
Mapped:          30124 kB
Slab:           210628 kB
PageTables:      56668 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 102548468 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= 73180 MiB
End job on node119 at 2011-05-14 20:04:40