Trace number 3321171

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-mtUNSAT 3051.47 400.094

General information on the benchmark

Nameapplication/manthey/traffic/
traffic_f_unknown.cnf
MD5SUMf03ed12a281977a642336980ec847847
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark108.831
Satisfiable
(Un)Satisfiability was proved
Number of variables33320
Number of clauses763101
Sum of the clauses size2854525
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 252598
Number of clauses of size 392683
Number of clauses of size 4617820
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.02	c Using 8 threads
0.65/0.11	c This is CryptoMiniSat 3.0.0
0.65/0.11	c WARNING: for repeatability, setting FPU to use double precision
0.65/0.11	c Reading file 'HOME/instance-3321171-1304324694.cnf'
0.65/0.11	c -- header says num vars:          33320
0.65/0.11	c -- header says num clauses:      763101
3.59/0.78	c -- clauses added:            0 learnts,       763101 normals,            0 xors
3.59/0.78	c -- vars added      33320
3.59/0.78	c Parsing time:  0.25 s
3.59/0.78	c  N st     0         0     33320    710503     52598         0   2854525         0   no data   no data
4.83/0.91	c asymm  cl-useful: 39/721/710503 lits-rem:39 time: 0.12
18.23/2.76	c Flit:   266 Blit:     32 bXBeca:    0 bXProp:  286 Bins:      0 BRemL:      0 BRemN:      0 P: 187.0M T:  1.69
19.03/2.80	c Cleaning up after failed var search:     0.03 s 
19.03/2.84	c Replacing      286 vars Replaced    12679 lits Time:     0.04 s 
23.79/3.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
23.79/3.78	c bin-w-bin subsume rem         6755 bins  time:  0.01 s
24.50/3.86	c subs with bin:     4780  lits-rem:      2872  v-fix:    0  time:  0.08 s
25.29/3.92	c Subs w/ non-existent bins:   2247 l-rem:   1025 v-fix:     0 done:   2517 time:  0.05 s
26.08/4.03	c Removed useless bin:    9488  fixed:     0  props:  18.50M  time:  0.10 s
38.71/5.66	c lits-rem:       779  cl-subs:    56923  v-elim:   2442  v-fix:    0  time:  1.57 s
39.51/5.70	c Finding binary XORs  T:     0.04 s  found:      44
39.51/5.73	c Replacing       44 vars Replaced     2621 lits Time:     0.03 s 
43.50/6.23	c Finding non-binary XORs:     0.45 s (found:       0, avg size: nan)
43.50/6.23	c calculated reachability. Time: 0.02
43.50/6.26	c Calc default polars -  time:   0.03 s pos:    9841 undec:   13641 neg:    9838
43.50/6.26	c =========================================================================================
43.50/6.26	c types(t): F = full restart, N = normal restart
43.50/6.26	c types(t): S = simplification begin/end, E = solution found
43.50/6.26	c restart types(rt): st = static, dy = dynamic
43.50/6.26	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
43.50/6.26	c  B st     0         0     30075    627098     36068         0   2503874         0   no data   no data
52.29/7.36	c  N dy    15      4062     30075    627098     36076      4005   2503873     46946      6.98      7.37
57.09/7.96	c Finding binary XORs  T:     0.04 s  found:       0
61.89/8.53	c  N dy    37      8128     30074    627003     40915      7049   2503538     96017      6.86      8.45
70.69/9.67	c  N dy    55     12151     30061    627003     40940     11002   2503537    141458      6.79      7.21
81.09/10.95	c  N dy    74     16478     30061    627003     40942     15278   2503537    194278      6.81      7.22
90.72/12.17	c  N dy    93     20568     30060    627003     41004      9955   2503537    103596      6.80      7.97
100.24/13.30	c  N dy   118     24577     30060    627003     41038     13936   2503537    154469      6.89      7.90
101.05/13.46	c  F st   121     25000     30060    627003     41038     14355   2503537    159420      6.89      6.15
102.64/13.62	c Found part      840 vars:        952 clauses:      6776 lits size:     23749
102.64/13.62	c Found part      874 vars:        810 clauses:     11035 lits size:     40572
102.64/13.62	c Found part     1056 vars:       5434 clauses:     34518 lits size:    127657
102.64/13.62	c Found part     1226 vars:       4877 clauses:    194691 lits size:    743847
102.64/13.62	c Found part     1281 vars:       1069 clauses:      8829 lits size:     31178
102.64/13.62	c Found part     1299 vars:        191 clauses:       476 lits size:      1318
102.64/13.62	c Found part     1301 vars:      15589 clauses:    400376 lits size:   1513216
102.64/13.62	c Found part     1309 vars:        833 clauses:      5234 lits size:     18300
102.64/13.62	c Found part     1310 vars:        305 clauses:       965 lits size:      2994
102.64/13.62	c Found parts:          9 time: 0.16 s
102.64/13.62	c Solving part 1299
102.64/13.66	c  N st     0         0       191       221       280         0      1318        50   no data   no data
102.64/13.66	c asymm  cl-useful: 27/221/221 lits-rem:27 time: 0.00
102.64/13.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
102.64/13.67	c Finding binary XORs  T:     0.00 s  found:       0
102.64/13.67	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
102.64/13.67	c calculated reachability. Time: 0.00
102.64/13.67	c Calc default polars -  time:   0.00 s pos:      69 undec:   33163 neg:      88
102.64/13.67	c =========================================================================================
102.64/13.67	c types(t): F = full restart, N = normal restart
102.64/13.67	c types(t): S = simplification begin/end, E = solution found
102.64/13.67	c restart types(rt): st = static, dy = dynamic
102.64/13.67	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
102.64/13.67	c  B st     0         0       191       221       280         0      1291        50   no data   no data
102.64/13.67	c  E st     1         0         0       221       280         0      1291        50   no data   no data
102.64/13.67	c Verified 221 clauses.
102.64/13.67	c Verified 221 clauses.
102.64/13.67	c Solved part
102.64/13.67	c =========================================================================================
102.64/13.67	c Solving part 1310
103.44/13.71	c  N st     0         0       305       606       405         0      2994        92   no data   no data
103.44/13.71	c asymm  cl-useful: 85/606/606 lits-rem:123 time: 0.01
103.44/13.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
103.44/13.72	c Finding binary XORs  T:     0.00 s  found:       0
103.44/13.72	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
103.44/13.72	c calculated reachability. Time: 0.00
103.44/13.72	c Calc default polars -  time:   0.00 s pos:     137 undec:   33048 neg:     135
103.44/13.72	c =========================================================================================
103.44/13.72	c types(t): F = full restart, N = normal restart
103.44/13.72	c types(t): S = simplification begin/end, E = solution found
103.44/13.72	c restart types(rt): st = static, dy = dynamic
103.44/13.72	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
103.44/13.72	c  B st     0         0       305       606       405         0      2871        92   no data   no data
103.44/13.72	c  E st     1         0         0       606       405         0      2871        92   no data   no data
103.44/13.72	c Verified 606 clauses.
103.44/13.72	c Verified 606 clauses.
103.44/13.72	c Solved part
103.44/13.72	c =========================================================================================
103.44/13.72	c Solving part 874
103.44/13.76	c  N st     0         0       810     10011      1619         0     40572      1190   no data   no data
105.84/14.01	c asymm  cl-useful: 699/3908/10011 lits-rem:744 time: 0.25
105.84/14.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   31 Bins:      0 BRemL:      0 BRemN:      0 P:  2.9M T:  0.05
105.84/14.07	c Finding binary XORs  T:     0.00 s  found:       2
105.84/14.07	c Replacing       33 vars Replaced     2489 lits Time:     0.00 s 
105.84/14.08	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
105.84/14.08	c calculated reachability. Time: 0.00
105.84/14.08	c Calc default polars -  time:   0.00 s pos:     296 undec:   32755 neg:     269
105.84/14.08	c =========================================================================================
105.84/14.08	c types(t): F = full restart, N = normal restart
105.84/14.08	c types(t): S = simplification begin/end, E = solution found
105.84/14.08	c restart types(rt): st = static, dy = dynamic
105.84/14.08	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
105.84/14.08	c  B st     0         0       777      9496      1603         0     37832      1190   no data   no data
105.84/14.08	c  E st     1         0         0      9496      1603         0     37832      1190   no data   no data
105.84/14.08	c Verified 9496 clauses.
105.84/14.08	c Verified 9496 clauses.
105.84/14.08	c Solved part
105.84/14.08	c =========================================================================================
105.84/14.08	c Solving part 1309
106.64/14.11	c  N st     0         0       833      4250      1022         0     18300        76   no data   no data
106.64/14.18	c asymm  cl-useful: 59/4250/4250 lits-rem:59 time: 0.07
106.64/14.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.02
107.46/14.21	c Finding binary XORs  T:     0.00 s  found:       0
107.46/14.21	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
107.46/14.21	c calculated reachability. Time: 0.00
107.46/14.21	c Calc default polars -  time:   0.00 s pos:     277 undec:   32784 neg:     259
107.46/14.21	c =========================================================================================
107.46/14.21	c types(t): F = full restart, N = normal restart
107.46/14.21	c types(t): S = simplification begin/end, E = solution found
107.46/14.21	c restart types(rt): st = static, dy = dynamic
107.46/14.21	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
107.46/14.21	c  B st     0         0       833      4250      1022         0     18241        76   no data   no data
107.46/14.21	c  E st     1         0         0      4250      1022         0     18241        76   no data   no data
107.46/14.21	c Verified 4250 clauses.
107.46/14.21	c Verified 4250 clauses.
107.46/14.21	c Solved part
107.46/14.21	c =========================================================================================
107.46/14.21	c Solving part 840
107.46/14.24	c  N st     0         0       952      5549      1268         0     23749        82   no data   no data
108.30/14.35	c asymm  cl-useful: 131/5549/5549 lits-rem:131 time: 0.11
108.30/14.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.03
108.30/14.38	c Finding binary XORs  T:     0.00 s  found:       0
108.30/14.38	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
108.30/14.38	c calculated reachability. Time: 0.00
108.30/14.38	c Calc default polars -  time:   0.00 s pos:     355 undec:   32599 neg:     366
108.30/14.38	c =========================================================================================
108.30/14.38	c types(t): F = full restart, N = normal restart
108.30/14.38	c types(t): S = simplification begin/end, E = solution found
108.30/14.38	c restart types(rt): st = static, dy = dynamic
108.30/14.38	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
108.30/14.38	c  B st     0         0       952      5549      1268         0     23618        82   no data   no data
108.30/14.39	c  E st     1         0         0      5549      1268         0     23618        82   no data   no data
108.30/14.39	c Verified 5549 clauses.
108.30/14.39	c Verified 5549 clauses.
108.30/14.39	c Solved part
108.30/14.39	c =========================================================================================
108.30/14.39	c Solving part 1281
109.02/14.42	c  N st     0         0      1069      7373      1531         0     31178       150   no data   no data
109.82/14.58	c asymm  cl-useful: 115/7373/7373 lits-rem:115 time: 0.16
110.61/14.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.1M T:  0.04
110.61/14.62	c Finding binary XORs  T:     0.00 s  found:       0
110.61/14.63	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
110.61/14.63	c calculated reachability. Time: 0.00
110.61/14.63	c Calc default polars -  time:   0.00 s pos:     439 undec:   32423 neg:     458
110.61/14.63	c =========================================================================================
110.61/14.63	c types(t): F = full restart, N = normal restart
110.61/14.63	c types(t): S = simplification begin/end, E = solution found
110.61/14.63	c restart types(rt): st = static, dy = dynamic
110.61/14.63	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
110.61/14.63	c  B st     0         0      1069      7373      1531         0     31063       150   no data   no data
110.61/14.63	c  E st     1         0         0      7373      1531         0     31063       150   no data   no data
110.61/14.63	c Verified 7373 clauses.
110.61/14.63	c Verified 7373 clauses.
110.61/14.63	c Solved part
110.61/14.63	c =========================================================================================
110.61/14.63	c Solving part 1226
112.20/14.80	c  N st     0         0      4877    188516      7377     14345    743847    151845   no data   no data
112.20/14.87	c asymm  cl-useful: 5/341/188516 lits-rem:5 time: 0.07
116.19/15.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P: 70.2M T:  0.48
116.19/15.36	c Finding binary XORs  T:     0.01 s  found:       0
116.19/15.36	c Replacing        1 vars Replaced      652 lits Time:     0.01 s 
117.03/15.47	c Finding non-binary XORs:     0.09 s (found:       0, avg size: nan)
117.03/15.47	c calculated reachability. Time: 0.00
117.03/15.47	c Calc default polars -  time:   0.00 s pos:    1557 undec:   30215 neg:    1548
117.03/15.47	c =========================================================================================
117.03/15.47	c types(t): F = full restart, N = normal restart
117.03/15.47	c types(t): S = simplification begin/end, E = solution found
117.03/15.47	c restart types(rt): st = static, dy = dynamic
117.03/15.47	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
117.03/15.47	c  B st     0         0      4876    188516      7375     14153    743840    150145   no data   no data
128.09/16.80	c  N dy    17      4956      4876    188516      7382     19058    743840    217213      7.14      7.55
136.85/17.99	c  N dy    34      9269      4875    188516      7395     23310    743840    267911      6.85      7.25
148.03/19.39	c  N dy    56     13511      4875    188516      7401     27517    743840    322125      6.90      7.44
159.98/20.83	c  N dy    73     17963      4874    188516      7412     31925    743840    379635      6.81      7.19
170.27/22.17	c  N dy    93     22205      4874    188516      7419     19159    743840    176768      6.84      7.24
175.85/22.88	c  F st   104     25000      4874    188516      7422     21934    743840    212836      6.81   no data
180.61/23.49	c  N st   108     27032      4874    188516      7422     23952    743839    241299      6.81   no data
189.34/24.54	c  N dy   115     31157      4874    188516      7423     28050    743837    302707      6.82      7.26
200.46/25.91	c  N dy   144     35230      4874    188516      7428     32087    743837    356605      6.89      7.30
210.00/27.20	c  N dy   158     39447      4874    188516      7430     36281    743837    411372      6.88      7.27
221.97/28.63	c  N dy   178     43647      4874    188516      7433     21548    743837    177875      6.88      7.25
230.72/29.76	c  N dy   198     47650      4874    188516      7434     25525    743837    230263      6.91      7.59
242.57/31.21	c  N dy   217     51926      4873    188516      7443     29762    743837    286684      6.91      7.30
252.89/32.57	c Finding binary XORs  T:     0.01 s  found:       0
253.69/32.62	c  N dy   235     55930      4872    187935      7277     29650    741476    301992      6.91      7.33
264.87/34.07	c  N dy   265     60147      4872    187935      7279     33833    741475    359188      6.96      7.35
276.83/35.53	c  N dy   280     64641      4871    187935      7289     19960    741475    153535      6.94      7.35
287.23/36.88	c  N dy   301     68841      4870    187935      7293     24136    741475    210752      6.93      9.90
299.22/38.39	c  N dy   324     73269      4870    187935      7295     28534    741475    270826      6.96      7.38
312.00/39.92	c  N dy   343     77950      4869    187935      7303     33174    741475    331890      6.94      8.08
326.41/41.74	c  N dy   376     83008      4868    187935      7319     38171    741475    400985      6.97      7.59
338.37/43.22	c  F st   401     87500      4868    187935      7321     22057    741475    159660      6.99   no data
341.57/43.67	c  N st   404     88693      4868    187935      7321     23245    741475    175369      6.99   no data
355.16/45.34	c  N dy   412     94422      4868    187935      7330     28936    741475    261861      6.98      9.45
368.74/47.09	c  N dy   440    100490      4868    187935      7330     34969    741475    349206      7.01      8.84
387.13/49.34	c  N dy   484    107417      4868    187935      7332     41862    741474    444768      7.04      7.42
404.71/51.56	c  N dy   518    114302      4867    187935      7349     26453    741474    198987      7.04      7.88
411.90/52.47	c Finding binary XORs  T:     0.01 s  found:       1
423.95/53.99	c  N dy   550    121692      4867    187025      7245     29015    737927    264620      7.04      7.76
446.26/56.70	c  N dy   603    129458      4866    187025      7263     36700    737925    373233      7.09      7.46
470.24/59.73	c  N dy   657    137725      4865    187025      7271     23802    737925    171203      7.13      8.83
496.61/63.03	c  N dy   714    146552      4865    187025      7274     32566    737925    292817      7.16      7.60
523.79/66.46	c  N dy   772    155958      4864    187025      7283     41915    737925    427633      7.18      7.57
554.98/70.36	c  N dy   844    166148      4864    187025      7286     28583    737925    222551      7.23      7.77
585.31/74.14	c  N dy   900    176863      4863    187025      7295     39211    737925    376977      7.25      7.65
617.36/78.15	c  N dy   960    188211      4861    187025      7311     25348    737925    161841      7.27      8.54
641.26/81.13	c Finding binary XORs  T:     0.01 s  found:       0
650.06/82.23	c  N dy  1017    200406      4860    185971      7181     31420    733789    274035      7.28      7.71
686.01/86.73	c  N dy  1087    213342      4860    185971      7186     44267    733789    468072      7.30      7.69
726.77/91.80	c  N dy  1173    226972      4860    185971      7201     34356    733789    295657      7.33      8.51
769.13/97.19	c  N dy  1270    241642      4858    185971      7212     48933    733789    513831      7.36      7.81
815.48/102.96	c  N dy  1364    257107      4856    185971      7232     38163    733788    330624      7.39      7.81
862.66/108.90	c  N dy  1454    273519      4855    185971      7255     54450    733787    585991      7.41      9.01
875.43/110.46	c Finding binary XORs  T:     0.01 s  found:       4
911.39/114.99	c  N dy  1552    290984      4854    184873      7167     40407    729509    374388      7.43      7.84
960.20/121.01	c  F st  1641    306250      4853    184873      7178     27920    729509    160703      7.45   no data
973.72/122.76	c  N dy  1647    311450      4853    184873      7178     33095    729509    247470      7.45   no data
1032.06/130.08	c  N dy  1771    331454      4853    184873      7180     52994    729509    559754      7.48      7.99
1095.20/137.97	c  N dy  1895    351899      4853    184873      7185     43573    729509    376728      7.50      7.90
1159.13/145.95	c  N dy  2043    371997      4853    184873      7186     32284    729509    190450      7.54      9.70
1219.87/153.57	c  N dy  2163    392080      4853    184873      7190     52254    729508    496686      7.56      8.96
1287.80/162.02	c  N dy  2285    412812      4851    184873      7207     40324    729508    305468      7.58      7.99
1353.33/170.26	c  N dy  2393    432830      4851    184873      7216     60216    729508    617793      7.59      8.05
1418.87/178.44	c  N dy  2512    453265      4851    184873      7220     46878    729507    402245      7.61      8.03
1484.41/186.64	c  N dy  2614    473459      4851    184873      7228     66969    729507    726698      7.62      8.02
1546.74/194.42	c  N dy  2717    493541      4851    184873      7238     52191    729507    464853      7.63      8.32
1615.47/203.07	c  N dy  2847    513868      4851    184873      7241     36647    729507    209068      7.65      8.06
1619.53/203.53	c Finding binary XORs  T:     0.01 s  found:       7
1676.20/210.60	c  N dy  2961    533944      4851    184466      7202     55890    727910    530006      7.66      8.09
1740.94/218.76	c  N dy  3059    553971      4848    184466      7216     39372    727910    248692      7.67      9.50
1804.87/226.76	c  N dy  3171    574045      4848    184466      7226     59329    727910    570658      7.68      9.55
1872.81/235.30	c  N dy  3282    594153      4847    184466      7239     41721    727910    273115      7.69      8.17
1935.17/243.09	c  N dy  3365    614498      4841    184466      7259     61962    727910    611794      7.69      8.13
2003.08/251.52	c  N dy  3479    634512      4841    184466      7270     43538    727910    285049      7.70      8.26
2054.22/257.94	c Finding binary XORs  T:     0.01 s  found:       6
2064.61/259.22	c  N dy  3592    654582      4831    182235      7119     62459    718653    613052      7.71      9.22
2133.34/267.86	c  N dy  3688    674944      4831    182235      7128     43670    718653    285378      7.71      8.16
2195.68/275.69	c  N dy  3782    694968      4831    182235      7135     63604    718653    621693      7.71      8.44
2266.01/284.46	c  N dy  3893    715208      4828    182235      7150     43902    718653    265602      7.72      8.21
2329.94/292.45	c  N dy  3991    735218      4828    182235      7156     63787    718653    589893      7.72      8.61
2395.47/300.66	c  N dy  4093    755235      4828    182235      7162     83698    718653    929356      7.72      8.83
2461.81/308.96	c  N dy  4192    775364      4828    182235      7173     63003    718653    560474      7.73      8.18
2532.95/317.85	c  N dy  4296    795923      4827    182235      7187     83424    718653    904982      7.73      8.16
2537.72/318.43	c Finding binary XORs  T:     0.01 s  found:      18
2600.07/326.25	c  N dy  4385    816160      4822    179892      7034     60815    709044    521265      7.73      8.24
2674.45/335.58	c  N dy  4471    836502      4810    179892      7059     81019    709044    862877      7.73      8.23
2741.52/343.91	c  N dy  4552    856586      4810    179892      7071     58655    709044    456252      7.72      8.16
2809.44/352.45	c  N dy  4652    876646      4808    179892      7087     78605    709044    812176      7.73      8.59
2846.20/357.01	c Finding binary XORs  T:     0.01 s  found:      39
2847.00/357.10	c Replacing       75 vars Replaced    96281 lits Time:     0.09 s 
2878.98/361.17	c  N dy  4723    896706      4715    167096      6823     49681    657876    340919      7.72      8.59
2902.17/364.10	c Finding binary XORs  T:     0.01 s  found:      25
2913.34/365.41	c Finding binary XORs  T:     0.01 s  found:      41
2913.34/365.43	c Replacing       66 vars Replaced    26481 lits Time:     0.02 s 
2914.94/365.62	c  E dy  4770    910629      4182     84428      6256     18751    333934    163699      7.71      5.37
3051.36/400.00	c Following stats are for *FIRST FINISHED THREAD ONLY*
3051.36/400.00	c num threads              : 8          
3051.36/400.00	c restarts                 : 138        
3051.36/400.00	c dynamic restarts         : 132        
3051.36/400.00	c static restarts          : 6          
3051.36/400.00	c full restarts            : 0          
3051.36/400.00	c total simplify time      : 0.13       
3051.36/400.00	c learnts DL2              : 0          
3051.36/400.00	c learnts size 2           : 64040      
3051.36/400.00	c learnts size 1           : 488         (1.46      % of vars)
3051.36/400.00	c filedLit time            : 1.69        (0.42      % time)
3051.36/400.00	c v-elim SatELite          : 2387        (7.16      % vars)
3051.36/400.00	c SatELite time            : 1.28        (0.32      % time)
3051.36/400.00	c v-elim xor               : 0           (0.00      % vars)
3051.36/400.00	c xor elim time            : 0.00        (0.00      % time)
3051.36/400.00	c num binary xor trees     : 23         
3051.36/400.00	c binxor trees' crown      : 351         (15.26     leafs/tree)
3051.36/400.00	c bin xor find time        : 0.13       
3051.36/400.00	c OTF clause improved      : 232         (0.01      clauses/conflict)
3051.36/400.00	c OTF impr. size diff      : 303         (1.31       lits/clause)
3051.36/400.00	c OTF cl watch-shrink      : 16013       (0.64      clauses/conflict)
3051.36/400.00	c OTF cl watch-sh-lit      : 37456       (2.34       lits/clause)
3051.36/400.00	c tried to recurMin cls    : 4761        (19.04      % of conflicts)
3051.36/400.00	c updated cache            : 0           (0.00       lits/tried recurMin)
3051.36/400.00	c unit cls recevied        : 15          (3.07      % of units)
3051.36/400.00	c unit cls sent            : 0           (0.00      % of units)
3051.36/400.00	c bin cls recevied         : 5760       
3051.36/400.00	c bin cls sent             : 245        
3051.36/400.00	c clauses over max glue    : 0           (0.00      % of all clauses)
3051.36/400.00	c conflicts                : 25003       (62.74     / sec)
3051.36/400.00	c decisions                : 31196       (0.00      % random)
3051.36/400.00	c bogo-props               : 1376511622  (3453830.18 / sec)
3051.36/400.00	c conflict literals        : 305160      (56.25     % deleted)
3051.36/400.00	c Memory used              : 2254.81     MB
3051.36/400.00	c single-thread CPU time   : 398.55      s
3051.36/400.00	c all-threads sum CPU time : 3047.69     s
3051.36/400.00	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

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

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

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


[startup+0 s]
/proc/loadavg: 7.90 7.79 7.35 1/248 952
/proc/meminfo: memFree=28435696/32951124 swapFree=67111348/67111528
[pid=952] ppid=950 vsize=92188 CPUtime=0 cores=0-7
/proc/952/stat : 952 (strangenight2-m) R 950 952 627 0 -1 4202496 413 0 0 0 0 0 0 0 24 0 8 0 524884801 94400512 352 33554432000 4194304 4627427 140736647358944 18446744073709551615 254261672945 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/952/statm: 23047 352 299 106 0 18018 0
[pid=952/tid=953] ppid=950 vsize=92188 CPUtime=0 cores=0-7
/proc/952/task/953/stat : 953 (strangenight2-m) R 950 952 627 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 524884801 94400512 352 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519858 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=952/tid=954] ppid=950 vsize=92188 CPUtime=0 cores=0-7
/proc/952/task/954/stat : 954 (strangenight2-m) R 950 952 627 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 524884801 94400512 352 33554432000 4194304 4627427 140736647358944 18446744073709551615 254261672945 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=952/tid=955] ppid=950 vsize=92188 CPUtime=0 cores=0-7
/proc/952/task/955/stat : 955 (strangenight2-m) R 950 952 627 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 524884801 94400512 352 33554432000 4194304 4627427 140736647358944 18446744073709551615 254261672945 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=952/tid=956] ppid=950 vsize=92188 CPUtime=0 cores=0-7
/proc/952/task/956/stat : 956 (strangenight2-m) R 950 952 627 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 524884801 94400512 352 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519856 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=952/tid=957] ppid=950 vsize=92188 CPUtime=0 cores=0-7
/proc/952/task/957/stat : 957 (strangenight2-m) R 950 952 627 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 524884801 94400512 352 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519858 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=952/tid=958] ppid=950 vsize=92188 CPUtime=0 cores=0-7
/proc/952/task/958/stat : 958 (strangenight2-m) R 950 952 627 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 524884801 94400512 352 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519848 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=952/tid=959] ppid=950 vsize=92188 CPUtime=0 cores=0-7
/proc/952/task/959/stat : 959 (strangenight2-m) R 950 952 627 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 524884801 94400512 352 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519858 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0267041 s]
/proc/loadavg: 7.90 7.79 7.35 1/248 952
/proc/meminfo: memFree=28435696/32951124 swapFree=67111348/67111528
[pid=952] ppid=950 vsize=92188 CPUtime=0.1 cores=0-7
/proc/952/stat : 952 (strangenight2-m) R 950 952 627 0 -1 4202496 420 0 0 0 10 0 0 0 24 0 8 0 524884801 94400512 359 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519449 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/952/statm: 23047 359 303 106 0 18018 0
[pid=952/tid=953] ppid=950 vsize=92188 CPUtime=0.02 cores=0-7
/proc/952/task/953/stat : 953 (strangenight2-m) R 950 952 627 0 -1 4202560 5 0 0 0 2 0 0 0 25 0 8 0 524884801 94400512 359 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519449 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=952/tid=954] ppid=950 vsize=92188 CPUtime=0 cores=0-7
/proc/952/task/954/stat : 954 (strangenight2-m) R 950 952 627 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 524884801 94400512 359 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519447 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=952/tid=955] ppid=950 vsize=92188 CPUtime=0.01 cores=0-7
/proc/952/task/955/stat : 955 (strangenight2-m) R 950 952 627 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 524884801 94400512 359 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519453 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=952/tid=956] ppid=950 vsize=92188 CPUtime=0.01 cores=0-7
/proc/952/task/956/stat : 956 (strangenight2-m) R 950 952 627 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 524884801 94400512 359 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519449 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=952/tid=957] ppid=950 vsize=92188 CPUtime=0 cores=0-7
/proc/952/task/957/stat : 957 (strangenight2-m) R 950 952 627 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 524884801 94400512 359 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519858 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=952/tid=958] ppid=950 vsize=92188 CPUtime=0.01 cores=0-7
/proc/952/task/958/stat : 958 (strangenight2-m) R 950 952 627 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 524884801 94400512 359 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519449 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=952/tid=959] ppid=950 vsize=92188 CPUtime=0 cores=0-7
/proc/952/task/959/stat : 959 (strangenight2-m) R 950 952 627 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 524884801 94400512 359 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519858 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 92188

[startup+0.104666 s]
/proc/loadavg: 7.90 7.79 7.35 1/248 952
/proc/meminfo: memFree=28435696/32951124 swapFree=67111348/67111528
[pid=952] ppid=950 vsize=92188 CPUtime=0.65 cores=0-7
/proc/952/stat : 952 (strangenight2-m) R 950 952 627 0 -1 4202496 420 0 0 0 65 0 0 0 24 0 8 0 524884801 94400512 359 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519449 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/952/statm: 23047 359 303 106 0 18018 0
[pid=952/tid=953] ppid=950 vsize=92188 CPUtime=0.1 cores=0-7
/proc/952/task/953/stat : 953 (strangenight2-m) R 950 952 627 0 -1 4202560 5 0 0 0 10 0 0 0 25 0 8 0 524884801 94400512 359 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519449 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=952/tid=954] ppid=950 vsize=92188 CPUtime=0.08 cores=0-7
/proc/952/task/954/stat : 954 (strangenight2-m) R 950 952 627 0 -1 4202560 1 0 0 0 8 0 0 0 25 0 8 0 524884801 94400512 359 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519443 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=952/tid=955] ppid=950 vsize=92188 CPUtime=0.09 cores=0-7
/proc/952/task/955/stat : 955 (strangenight2-m) R 950 952 627 0 -1 4202560 1 0 0 0 9 0 0 0 25 0 8 0 524884801 94400512 359 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519453 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=952/tid=956] ppid=950 vsize=92188 CPUtime=0.09 cores=0-7
/proc/952/task/956/stat : 956 (strangenight2-m) R 950 952 627 0 -1 4202560 0 0 0 0 9 0 0 0 25 0 8 0 524884801 94400512 359 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519443 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=952/tid=957] ppid=950 vsize=92188 CPUtime=0 cores=0-7
/proc/952/task/957/stat : 957 (strangenight2-m) R 950 952 627 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 524884801 94400512 359 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519858 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=952/tid=958] ppid=950 vsize=92188 CPUtime=0.09 cores=0-7
/proc/952/task/958/stat : 958 (strangenight2-m) R 950 952 627 0 -1 4202560 1 0 0 0 9 0 0 0 25 0 8 0 524884801 94400512 359 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519449 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=952/tid=959] ppid=950 vsize=92188 CPUtime=0.07 cores=0-7
/proc/952/task/959/stat : 959 (strangenight2-m) R 950 952 627 0 -1 4202560 0 0 0 0 7 0 0 0 25 0 8 0 524884801 94400512 359 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519449 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 92188

[startup+0.300657 s]
/proc/loadavg: 7.90 7.79 7.35 1/248 952
/proc/meminfo: memFree=28435696/32951124 swapFree=67111348/67111528
[pid=952] ppid=950 vsize=687920 CPUtime=1.57 cores=0-7
/proc/952/stat : 952 (strangenight2-m) R 950 952 627 0 -1 4202496 51138 0 0 0 131 26 0 0 17 0 8 0 524884801 704430080 43424 33554432000 4194304 4627427 140736647358944 18446744073709551615 254261721582 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/952/statm: 171980 43426 339 106 0 166951 0
[pid=952/tid=953] ppid=950 vsize=687920 CPUtime=0.2 cores=0-7
/proc/952/task/953/stat : 953 (strangenight2-m) R 950 952 627 0 -1 4202560 6741 0 0 0 17 3 0 0 17 0 8 0 524884801 704430080 43429 33554432000 4194304 4627427 140736647358944 18446744073709551615 254261721582 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=952/tid=954] ppid=950 vsize=687920 CPUtime=0.21 cores=0-7
/proc/952/task/954/stat : 954 (strangenight2-m) S 950 952 627 0 -1 4202560 6562 0 0 0 18 3 0 0 17 0 8 0 524884801 704430080 43432 33554432000 4194304 4627427 140736647358944 18446744073709551615 254261721582 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=952/tid=955] ppid=950 vsize=687920 CPUtime=0.21 cores=0-7
/proc/952/task/955/stat : 955 (strangenight2-m) R 950 952 627 0 -1 4202560 6667 0 0 0 17 4 0 0 17 0 8 0 524884801 704430080 43434 33554432000 4194304 4627427 140736647358944 18446744073709551615 254261721582 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=952/tid=956] ppid=950 vsize=687920 CPUtime=0.19 cores=0-7
/proc/952/task/956/stat : 956 (strangenight2-m) R 950 952 627 0 -1 4202560 5258 0 0 0 17 2 0 0 17 0 8 0 524884801 704430080 43439 33554432000 4194304 4627427 140736647358944 18446744073709551615 254261721631 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=952/tid=957] ppid=950 vsize=687920 CPUtime=0.11 cores=0-7
/proc/952/task/957/stat : 957 (strangenight2-m) R 950 952 627 0 -1 4202560 6182 0 0 0 8 3 0 0 17 0 8 0 524884801 704430080 43440 33554432000 4194304 4627427 140736647358944 18446744073709551615 254261277729 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=952/tid=958] ppid=950 vsize=687920 CPUtime=0.19 cores=0-7
/proc/952/task/958/stat : 958 (strangenight2-m) R 950 952 627 0 -1 4202560 7433 0 0 0 18 1 0 0 17 0 8 0 524884801 704430080 43443 33554432000 4194304 4627427 140736647358944 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=952/tid=959] ppid=950 vsize=687920 CPUtime=0.21 cores=0-7
/proc/952/task/959/stat : 959 (strangenight2-m) R 950 952 627 0 -1 4202560 6440 0 0 0 17 4 0 0 17 0 8 0 524884801 704430080 43449 33554432000 4194304 4627427 140736647358944 18446744073709551615 254261721631 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 687920

[startup+0.700591 s]
/proc/loadavg: 7.90 7.79 7.35 1/248 952
/proc/meminfo: memFree=28435696/32951124 swapFree=67111348/67111528
[pid=952] ppid=950 vsize=1005024 CPUtime=3.59 cores=0-7
/proc/952/stat : 952 (strangenight2-m) R 950 952 627 0 -1 4202496 109297 0 0 0 291 68 0 0 16 0 8 0 524884801 1029144576 100368 33554432000 4194304 4627427 140736647358944 18446744073709551615 4360952 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/952/statm: 251256 100374 346 106 0 246227 0
[pid=952/tid=953] ppid=950 vsize=1005024 CPUtime=0.44 cores=0-7
/proc/952/task/953/stat : 953 (strangenight2-m) R 950 952 627 0 -1 4202560 14195 0 0 0 35 9 0 0 16 0 8 0 524884801 1029144576 100378 33554432000 4194304 4627427 140736647358944 18446744073709551615 254261282106 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=952/tid=954] ppid=950 vsize=1005024 CPUtime=0.53 cores=0-7
/proc/952/task/954/stat : 954 (strangenight2-m) R 950 952 627 0 -1 4202560 14925 0 0 0 44 9 0 0 18 0 8 0 524884801 1029144576 100382 33554432000 4194304 4627427 140736647358944 18446744073709551615 4519457 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=952/tid=955] ppid=950 vsize=1005024 CPUtime=0.5 cores=0-7
/proc/952/task/955/stat : 955 (strangenight2-m) R 950 952 627 0 -1 4202560 14916 0 0 0 39 11 0 0 18 0 8 0 524884801 1029144576 100384 33554432000 4194304 4627427 140736647358944 18446744073709551615 4361048 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=952/tid=956] ppid=950 vsize=1005024 CPUtime=0.31 cores=0-7
/proc/952/task/956/stat : 956 (strangenight2-m) R 950 952 627 0 -1 4202560 9293 0 0 0 27 4 0 0 16 0 8 0 524884801 1029144576 100387 33554432000 4194304 4627427 140736647358944 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=952/tid=957] ppid=950 vsize=1005156 CPUtime=0.32 cores=0-7
/proc/952/task/957/stat : 957 (strangenight2-m) R 950 952 627 0 -1 4202560 14122 0 0 0 24 8 0 0 16 0 8 0 524884801 1029279744 100393 33554432000 4194304 4627427 140736647358944 18446744073709551615 254261721631 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=952/tid=958] ppid=950 vsize=1005156 CPUtime=0.52 cores=0-7
/proc/952/task/958/stat : 958 (strangenight2-m) R 950 952 627 0 -1 4202560 14528 0 0 0 46 6 0 0 17 0 8 0 524884801 1029279744 100394 33554432000 4194304 4627427 140736647358944 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=952/tid=959] ppid=950 vsize=1005156 CPUtime=0.52 cores=0-7
/proc/952/task/959/stat : 959 (strangenight2-m) R 950 952 627 0 -1 4202560 14372 0 0 0 41 11 0 0 18 0 8 0 524884801 1029279744 100397 33554432000 4194304 4627427 140736647358944 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 1005024

[startup+1.50039 s]
/proc/loadavg: 7.91 7.80 7.35 9/256 960
/proc/meminfo: memFree=27968152/32951124 swapFree=67111348/67111528
[pid=952] ppid=950 vsize=1044196 CPUtime=9.07 cores=0-7
/proc/952/stat : 952 (strangenight2-m) R 950 952 627 0 -1 4202496 148138 0 0 0 802 105 0 0 16 0 8 0 524884801 1069256704 139176 33554432000 4194304 4627427 140736647358944 18446744073709551615 4309587 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/952/statm: 261049 139176 367 106 0 256020 0
[pid=952/tid=953] ppid=950 vsize=1044196 CPUtime=1.12 cores=0-7
/proc/952/task/953/stat : 953 (strangenight2-m) R 950 952 627 0 -1 4202560 19475 0 0 0 96 16 0 0 16 0 8 0 524884801 1069256704 139177 33554432000 4194304 4627427 140736647358944 18446744073709551615 254261277381 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=952/tid=954] ppid=950 vsize=1044196 CPUtime=1.29 cores=0-7
/proc/952/task/954/stat : 954 (strangenight2-m) R 950 952 627 0 -1 4202560 19653 0 0 0 115 14 0 0 18 0 8 0 524884801 1069256704 139178 33554432000 4194304 4627427 140736647358944 18446744073709551615 4308755 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=952/tid=955] ppid=950 vsize=1044196 CPUtime=1.25 cores=0-7
/proc/952/task/955/stat : 955 (strangenight2-m) R 950 952 627 0 -1 4202560 19767 0 0 0 111 14 0 0 18 0 8 0 524884801 1069256704 139181 33554432000 4194304 4627427 140736647358944 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=952/tid=956] ppid=950 vsize=1044196 CPUtime=1.02 cores=0-7
/proc/952/task/956/stat : 956 (strangenight2-m) R 950 952 627 0 -1 4202560 18542 0 0 0 93 9 0 0 16 0 8 0 524884801 1069256704 139181 33554432000 4194304 4627427 140736647358944 18446744073709551615 254261277381 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=952/tid=957] ppid=950 vsize=1044196 CPUtime=1.02 cores=0-7
/proc/952/task/957/stat : 957 (strangenight2-m) R 950 952 627 0 -1 4202560 18747 0 0 0 88 14 0 0 16 0 8 0 524884801 1069256704 139183 33554432000 4194304 4627427 140736647358944 18446744073709551615 254261277729 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=952/tid=958] ppid=950 vsize=1044196 CPUtime=0.93 cores=0-7
/proc/952/task/958/stat : 958 (strangenight2-m) R 950 952 627 0 -1 4202560 16976 0 0 0 84 9 0 0 17 0 8 0 524884801 1069256704 139184 33554432000 4194304 4627427 140736647358944 18446744073709551615 4239472 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=952/tid=959] ppid=950 vsize=1044196 CPUtime=1.28 cores=0-7
/proc/952/task/959/stat : 959 (strangenight2-m) R 950 952 627 0 -1 4202560 15858 0 0 0 115 13 0 0 18 0 8 0 524884801 1069256704 139185 33554432000 4194304 4627427 140736647358944 18446744073709551615 4299664 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9.07
Current children cumulated vsize (KiB) 1044196

[startup+3.1011 s]
/proc/loadavg: 7.91 7.80 7.35 9/256 960
/proc/meminfo: memFree=27763584/32951124 swapFree=67111348/67111528
[pid=952] ppid=950 vsize=1398660 CPUtime=20.83 cores=0-7
/proc/952/stat : 952 (strangenight2-m) R 950 952 627 0 -1 4202496 219006 0 0 0 1938 145 0 0 17 0 8 0 524884801 1432227840 209791 33554432000 4194304 4627427 140736647358944 18446744073709551615 254261721631 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/952/statm: 349665 209795 373 106 0 344636 0
[pid=952/tid=953] ppid=950 vsize=1398660 CPUtime=2.54 cores=0-7
/proc/952/task/953/stat : 953 (strangenight2-m) S 950 952 627 0 -1 4202560 27896 0 0 0 232 22 0 0 17 0 8 0 524884801 1432227840 209796 33554432000 4194304 4627427 140736647358944 18446744073709551615 254261721582 0 0 4096 2 18446604471119554496 0 0 -1 2 0 0 0
[pid=952/tid=954] ppid=950 vsize=1398660 CPUtime=2.72 cores=0-7
/proc/952/task/954/stat : 954 (strangenight2-m) R 950 952 627 0 -1 4202560 31714 0 0 0 251 21 0 0 17 0 8 0 524884801 1432227840 209801 33554432000 4194304 4627427 140736647358944 18446744073709551615 254261277729 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=952/tid=955] ppid=950 vsize=1398660 CPUtime=2.71 cores=0-7
/proc/952/task/955/stat : 955 (strangenight2-m) R 950 952 627 0 -1 4202560 35809 0 0 0 252 19 0 0 18 0 8 0 524884801 1432227840 209804 33554432000 4194304 4627427 140736647358944 18446744073709551615 254261281656 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=952/tid=956] ppid=950 vsize=1398660 CPUtime=2.52 cores=0-7
/proc/952/task/956/stat : 956 (strangenight2-m) S 950 952 627 0 -1 4202560 25540 0 0 0 239 13 0 0 17 0 8 0 524884801 1432227840 209806 33554432000 4194304 4627427 140736647358944 18446744073709551615 254261721582 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=952/tid=957] ppid=950 vsize=1398660 CPUtime=2.44 cores=0-7
/proc/952/task/957/stat : 957 (strangenight2-m) R 950 952 627 0 -1 4202560 30349 0 0 0 223 21 0 0 17 0 8 0 524884801 1432227840 209810 33554432000 4194304 4627427 140736647358944 18446744073709551615 254261721582 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=952/tid=958] ppid=950 vsize=1398660 CPUtime=2.44 cores=0-7
/proc/952/task/958/stat : 958 (strangenight2-m) R 950 952 627 0 -1 4202560 22827 0 0 0 232 12 0 0 18 0 8 0 524884801 1432227840 209816 33554432000 4194304 4627427 140736647358944 18446744073709551615 4497763 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=952/tid=959] ppid=950 vsize=1398660 CPUtime=2.86 cores=0-7
/proc/952/task/959/stat : 959 (strangenight2-m) R 950 952 627 0 -1 4202560 16369 0 0 0 272 14 0 0 18 0 8 0 524884801 1432227840 209819 33554432000 4194304 4627427 140736647358944 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 20.83
Current children cumulated vsize (KiB) 1398660

[startup+6.30055 s]
/proc/loadavg: 7.92 7.80 7.36 10/256 960
/proc/meminfo: memFree=26996408/32951124 swapFree=67111348/67111528
[pid=952] ppid=950 vsize=1819616 CPUtime=44.3 cores=0-7
/proc/952/stat : 952 (strangenight2-m) R 950 952 627 0 -1 4202496 424696 0 0 0 4180 250 0 0 19 0 8 0 524884801 1863286784 328536 33554432000 4194304 4627427 140736647358944 18446744073709551615 4309109 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/952/statm: 454904 328536 386 106 0 449875 0
[pid=952/tid=953] ppid=950 vsize=1819616 CPUtime=5.37 cores=0-7
/proc/952/task/953/stat : 953 (strangenight2-m) R 950 952 627 0 -1 4202560 58119 0 0 0 498 39 0 0 18 0 8 0 524884801 1863286784 328536 33554432000 4194304 4627427 140736647358944 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=952/tid=954] ppid=950 vsize=1819616 CPUtime=5.69 cores=0-7
/proc/952/task/954/stat : 954 (strangenight2-m) R 950 952 627 0 -1 4202560 55293 0 0 0 537 32 0 0 21 0 8 0 524884801 1863286784 328536 33554432000 4194304 4627427 140736647358944 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=952/tid=955] ppid=950 vsize=1819616 CPUtime=5.77 cores=0-7
/proc/952/task/955/stat : 955 (strangenight2-m) R 950 952 627 0 -1 4202560 58363 0 0 0 552 25 0 0 21 0 8 0 524884801 1863286784 328536 33554432000 4194304 4627427 140736647358944 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=952/tid=956] ppid=950 vsize=1819616 CPUtime=5.4 cores=0-7
/proc/952/task/956/stat : 956 (strangenight2-m) R 950 952 627 0 -1 4202560 64211 0 0 0 508 32 0 0 18 0 8 0 524884801 1863286784 328536 33554432000 4194304 4627427 140736647358944 18446744073709551615 4301976 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=952/tid=957] ppid=950 vsize=1819616 CPUtime=5.4 cores=0-7
/proc/952/task/957/stat : 957 (strangenight2-m) R 950 952 627 0 -1 4202560 56074 0 0 0 506 34 0 0 22 0 8 0 524884801 1863286784 328536 33554432000 4194304 4627427 140736647358944 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=952/tid=958] ppid=950 vsize=1819616 CPUtime=5.24 cores=0-7
/proc/952/task/958/stat : 958 (strangenight2-m) R 950 952 627 0 -1 4202560 54523 0 0 0 493 31 0 0 18 0 8 0 524884801 1863286784 328536 33554432000 4194304 4627427 140736647358944 18446744073709551615 4324341 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=952/tid=959] ppid=950 vsize=1819616 CPUtime=5.98 cores=0-7
/proc/952/task/959/stat : 959 (strangenight2-m) R 950 952 627 0 -1 4202560 17071 0 0 0 584 14 0 0 22 0 8 0 524884801 1863286784 328536 33554432000 4194304 4627427 140736647358944 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0

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

/proc/952/task/956/stat : 956 (strangenight2-m) R 950 952 627 0 -1 4202560 119213 0 0 0 38251 50 0 0 25 0 8 0 524884801 2364338176 410970 33554432000 4194304 4627427 140736647358944 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=952/tid=957] ppid=950 vsize=2308924 CPUtime=381.81 cores=0-7
/proc/952/task/957/stat : 957 (strangenight2-m) S 950 952 627 0 -1 4202560 112939 0 0 0 38132 49 0 0 25 0 8 0 524884801 2364338176 410970 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 4 0 0 0
[pid=952/tid=958] ppid=950 vsize=2308924 CPUtime=368.02 cores=0-7
/proc/952/task/958/stat : 958 (strangenight2-m) S 950 952 627 0 -1 4202560 108690 0 0 0 36754 48 0 0 25 0 8 0 524884801 2364338176 410970 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 3 0 0 0
[pid=952/tid=959] ppid=950 vsize=2308924 CPUtime=380.61 cores=0-7
/proc/952/task/959/stat : 959 (strangenight2-m) R 950 952 627 0 -1 4202560 76413 0 0 0 38027 34 0 0 25 0 8 0 524884801 2364338176 410970 33554432000 4194304 4627427 140736647358944 18446744073709551615 4329388 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3012
Current children cumulated vsize (KiB) 2308924

[startup+390.301 s]
/proc/loadavg: 7.07 7.78 7.52 4/256 973
/proc/meminfo: memFree=26796920/32951124 swapFree=67111348/67111528
[pid=952] ppid=950 vsize=2308924 CPUtime=3031.17 cores=0-7
/proc/952/stat : 952 (strangenight2-m) S 950 952 627 0 -1 4202496 818530 0 0 0 302748 369 0 0 25 0 8 0 524884801 2364338176 408540 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/952/statm: 577231 408540 388 106 0 572202 0
[pid=952/tid=953] ppid=950 vsize=2308924 CPUtime=389.37 cores=0-7
/proc/952/task/953/stat : 953 (strangenight2-m) R 950 952 627 0 -1 4202560 110627 0 0 0 38884 53 0 0 25 0 8 0 524884801 2364338176 408540 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132494891 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=952/tid=954] ppid=950 vsize=2308924 CPUtime=376.36 cores=0-7
/proc/952/task/954/stat : 954 (strangenight2-m) S 950 952 627 0 -1 4202560 97846 0 0 0 37590 46 0 0 25 0 8 0 524884801 2364338176 408540 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 5 0 0 0
[pid=952/tid=955] ppid=950 vsize=2308924 CPUtime=374.33 cores=0-7
/proc/952/task/955/stat : 955 (strangenight2-m) S 950 952 627 0 -1 4202560 112624 0 0 0 37391 42 0 0 25 0 8 0 524884801 2364338176 408540 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 1 0 0 0
[pid=952/tid=956] ppid=950 vsize=2308924 CPUtime=389.4 cores=0-7
/proc/952/task/956/stat : 956 (strangenight2-m) R 950 952 627 0 -1 4202560 119213 0 0 0 38890 50 0 0 25 0 8 0 524884801 2364338176 408540 33554432000 4194304 4627427 140736647358944 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=952/tid=957] ppid=950 vsize=2308924 CPUtime=381.81 cores=0-7
/proc/952/task/957/stat : 957 (strangenight2-m) S 950 952 627 0 -1 4202560 112939 0 0 0 38132 49 0 0 25 0 8 0 524884801 2364338176 408540 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 4 0 0 0
[pid=952/tid=958] ppid=950 vsize=2308924 CPUtime=368.02 cores=0-7
/proc/952/task/958/stat : 958 (strangenight2-m) S 950 952 627 0 -1 4202560 108690 0 0 0 36754 48 0 0 25 0 8 0 524884801 2364338176 408540 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 3 0 0 0
[pid=952/tid=959] ppid=950 vsize=2308924 CPUtime=387 cores=0-7
/proc/952/task/959/stat : 959 (strangenight2-m) R 950 952 627 0 -1 4202560 76781 0 0 0 38666 34 0 0 25 0 8 0 524884801 2364338176 408540 33554432000 4194304 4627427 140736647358944 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3031.17
Current children cumulated vsize (KiB) 2308924

[startup+396.701 s]
/proc/loadavg: 6.36 7.60 7.46 3/256 974
/proc/meminfo: memFree=26812420/32951124 swapFree=67111348/67111528
[pid=952] ppid=950 vsize=2308924 CPUtime=3044.76 cores=0-7
/proc/952/stat : 952 (strangenight2-m) S 950 952 627 0 -1 4202496 818530 0 0 0 304107 369 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/952/statm: 577231 404701 388 106 0 572202 0
[pid=952/tid=953] ppid=950 vsize=2308924 CPUtime=395.77 cores=0-7
/proc/952/task/953/stat : 953 (strangenight2-m) R 950 952 627 0 -1 4202560 110627 0 0 0 39524 53 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132494891 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=952/tid=954] ppid=950 vsize=2308924 CPUtime=376.36 cores=0-7
/proc/952/task/954/stat : 954 (strangenight2-m) S 950 952 627 0 -1 4202560 97846 0 0 0 37590 46 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 5 0 0 0
[pid=952/tid=955] ppid=950 vsize=2308924 CPUtime=374.33 cores=0-7
/proc/952/task/955/stat : 955 (strangenight2-m) S 950 952 627 0 -1 4202560 112624 0 0 0 37391 42 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 1 0 0 0
[pid=952/tid=956] ppid=950 vsize=2308924 CPUtime=390.19 cores=0-7
/proc/952/task/956/stat : 956 (strangenight2-m) S 950 952 627 0 -1 4202560 119213 0 0 0 38969 50 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 5 0 0 0
[pid=952/tid=957] ppid=950 vsize=2308924 CPUtime=381.81 cores=0-7
/proc/952/task/957/stat : 957 (strangenight2-m) S 950 952 627 0 -1 4202560 112939 0 0 0 38132 49 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 4 0 0 0
[pid=952/tid=958] ppid=950 vsize=2308924 CPUtime=368.02 cores=0-7
/proc/952/task/958/stat : 958 (strangenight2-m) S 950 952 627 0 -1 4202560 108690 0 0 0 36754 48 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 3 0 0 0
[pid=952/tid=959] ppid=950 vsize=2308924 CPUtime=393.4 cores=0-7
/proc/952/task/959/stat : 959 (strangenight2-m) R 950 952 627 0 -1 4202560 76781 0 0 0 39306 34 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 4309234 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3044.76
Current children cumulated vsize (KiB) 2308924

[startup+398.301 s]
/proc/loadavg: 6.36 7.60 7.46 3/256 974
/proc/meminfo: memFree=26812544/32951124 swapFree=67111348/67111528
[pid=952] ppid=950 vsize=2308924 CPUtime=3047.97 cores=0-7
/proc/952/stat : 952 (strangenight2-m) S 950 952 627 0 -1 4202496 818530 0 0 0 304428 369 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/952/statm: 577231 404701 388 106 0 572202 0
[pid=952/tid=953] ppid=950 vsize=2308924 CPUtime=397.37 cores=0-7
/proc/952/task/953/stat : 953 (strangenight2-m) R 950 952 627 0 -1 4202560 110627 0 0 0 39684 53 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132495044 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=952/tid=954] ppid=950 vsize=2308924 CPUtime=376.36 cores=0-7
/proc/952/task/954/stat : 954 (strangenight2-m) S 950 952 627 0 -1 4202560 97846 0 0 0 37590 46 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 5 0 0 0
[pid=952/tid=955] ppid=950 vsize=2308924 CPUtime=374.33 cores=0-7
/proc/952/task/955/stat : 955 (strangenight2-m) S 950 952 627 0 -1 4202560 112624 0 0 0 37391 42 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 1 0 0 0
[pid=952/tid=956] ppid=950 vsize=2308924 CPUtime=390.19 cores=0-7
/proc/952/task/956/stat : 956 (strangenight2-m) S 950 952 627 0 -1 4202560 119213 0 0 0 38969 50 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 5 0 0 0
[pid=952/tid=957] ppid=950 vsize=2308924 CPUtime=381.81 cores=0-7
/proc/952/task/957/stat : 957 (strangenight2-m) S 950 952 627 0 -1 4202560 112939 0 0 0 38132 49 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 4 0 0 0
[pid=952/tid=958] ppid=950 vsize=2308924 CPUtime=368.02 cores=0-7
/proc/952/task/958/stat : 958 (strangenight2-m) S 950 952 627 0 -1 4202560 108690 0 0 0 36754 48 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 3 0 0 0
[pid=952/tid=959] ppid=950 vsize=2308924 CPUtime=395 cores=0-7
/proc/952/task/959/stat : 959 (strangenight2-m) R 950 952 627 0 -1 4202560 76781 0 0 0 39466 34 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3047.97
Current children cumulated vsize (KiB) 2308924

[startup+399.101 s]
/proc/loadavg: 6.36 7.60 7.46 3/256 974
/proc/meminfo: memFree=26812544/32951124 swapFree=67111348/67111528
[pid=952] ppid=950 vsize=2308924 CPUtime=3049.56 cores=0-7
/proc/952/stat : 952 (strangenight2-m) S 950 952 627 0 -1 4202496 818530 0 0 0 304587 369 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/952/statm: 577231 404701 388 106 0 572202 0
[pid=952/tid=953] ppid=950 vsize=2308924 CPUtime=398.17 cores=0-7
/proc/952/task/953/stat : 953 (strangenight2-m) R 950 952 627 0 -1 4202560 110627 0 0 0 39764 53 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132495044 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=952/tid=954] ppid=950 vsize=2308924 CPUtime=376.36 cores=0-7
/proc/952/task/954/stat : 954 (strangenight2-m) S 950 952 627 0 -1 4202560 97846 0 0 0 37590 46 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 5 0 0 0
[pid=952/tid=955] ppid=950 vsize=2308924 CPUtime=374.33 cores=0-7
/proc/952/task/955/stat : 955 (strangenight2-m) S 950 952 627 0 -1 4202560 112624 0 0 0 37391 42 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 1 0 0 0
[pid=952/tid=956] ppid=950 vsize=2308924 CPUtime=390.19 cores=0-7
/proc/952/task/956/stat : 956 (strangenight2-m) S 950 952 627 0 -1 4202560 119213 0 0 0 38969 50 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 5 0 0 0
[pid=952/tid=957] ppid=950 vsize=2308924 CPUtime=381.81 cores=0-7
/proc/952/task/957/stat : 957 (strangenight2-m) S 950 952 627 0 -1 4202560 112939 0 0 0 38132 49 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 4 0 0 0
[pid=952/tid=958] ppid=950 vsize=2308924 CPUtime=368.02 cores=0-7
/proc/952/task/958/stat : 958 (strangenight2-m) S 950 952 627 0 -1 4202560 108690 0 0 0 36754 48 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 3 0 0 0
[pid=952/tid=959] ppid=950 vsize=2308924 CPUtime=395.8 cores=0-7
/proc/952/task/959/stat : 959 (strangenight2-m) R 950 952 627 0 -1 4202560 76781 0 0 0 39546 34 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3049.56
Current children cumulated vsize (KiB) 2308924

[startup+399.501 s]
/proc/loadavg: 6.36 7.60 7.46 3/256 974
/proc/meminfo: memFree=26812544/32951124 swapFree=67111348/67111528
[pid=952] ppid=950 vsize=2308924 CPUtime=3050.36 cores=0-7
/proc/952/stat : 952 (strangenight2-m) S 950 952 627 0 -1 4202496 818530 0 0 0 304667 369 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/952/statm: 577231 404701 388 106 0 572202 0
[pid=952/tid=953] ppid=950 vsize=2308924 CPUtime=398.57 cores=0-7
/proc/952/task/953/stat : 953 (strangenight2-m) R 950 952 627 0 -1 4202560 110627 0 0 0 39804 53 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 4219945 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=952/tid=954] ppid=950 vsize=2308924 CPUtime=376.36 cores=0-7
/proc/952/task/954/stat : 954 (strangenight2-m) S 950 952 627 0 -1 4202560 97846 0 0 0 37590 46 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 5 0 0 0
[pid=952/tid=955] ppid=950 vsize=2308924 CPUtime=374.33 cores=0-7
/proc/952/task/955/stat : 955 (strangenight2-m) S 950 952 627 0 -1 4202560 112624 0 0 0 37391 42 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 1 0 0 0
[pid=952/tid=956] ppid=950 vsize=2308924 CPUtime=390.19 cores=0-7
/proc/952/task/956/stat : 956 (strangenight2-m) S 950 952 627 0 -1 4202560 119213 0 0 0 38969 50 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 5 0 0 0
[pid=952/tid=957] ppid=950 vsize=2308924 CPUtime=381.81 cores=0-7
/proc/952/task/957/stat : 957 (strangenight2-m) S 950 952 627 0 -1 4202560 112939 0 0 0 38132 49 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 4 0 0 0
[pid=952/tid=958] ppid=950 vsize=2308924 CPUtime=368.02 cores=0-7
/proc/952/task/958/stat : 958 (strangenight2-m) S 950 952 627 0 -1 4202560 108690 0 0 0 36754 48 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 3 0 0 0
[pid=952/tid=959] ppid=950 vsize=2308924 CPUtime=396.2 cores=0-7
/proc/952/task/959/stat : 959 (strangenight2-m) R 950 952 627 0 -1 4202560 76781 0 0 0 39586 34 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3050.36
Current children cumulated vsize (KiB) 2308924

[startup+399.901 s]
/proc/loadavg: 6.36 7.60 7.46 3/256 974
/proc/meminfo: memFree=26812544/32951124 swapFree=67111348/67111528
[pid=952] ppid=950 vsize=2308924 CPUtime=3051.16 cores=0-7
/proc/952/stat : 952 (strangenight2-m) S 950 952 627 0 -1 4202496 818530 0 0 0 304747 369 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/952/statm: 577231 404701 388 106 0 572202 0
[pid=952/tid=953] ppid=950 vsize=2308924 CPUtime=398.97 cores=0-7
/proc/952/task/953/stat : 953 (strangenight2-m) R 950 952 627 0 -1 4202560 110627 0 0 0 39844 53 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132494891 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=952/tid=954] ppid=950 vsize=2308924 CPUtime=376.36 cores=0-7
/proc/952/task/954/stat : 954 (strangenight2-m) S 950 952 627 0 -1 4202560 97846 0 0 0 37590 46 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 5 0 0 0
[pid=952/tid=955] ppid=950 vsize=2308924 CPUtime=374.33 cores=0-7
/proc/952/task/955/stat : 955 (strangenight2-m) S 950 952 627 0 -1 4202560 112624 0 0 0 37391 42 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 1 0 0 0
[pid=952/tid=956] ppid=950 vsize=2308924 CPUtime=390.19 cores=0-7
/proc/952/task/956/stat : 956 (strangenight2-m) S 950 952 627 0 -1 4202560 119213 0 0 0 38969 50 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 5 0 0 0
[pid=952/tid=957] ppid=950 vsize=2308924 CPUtime=381.81 cores=0-7
/proc/952/task/957/stat : 957 (strangenight2-m) S 950 952 627 0 -1 4202560 112939 0 0 0 38132 49 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 4 0 0 0
[pid=952/tid=958] ppid=950 vsize=2308924 CPUtime=368.02 cores=0-7
/proc/952/task/958/stat : 958 (strangenight2-m) S 950 952 627 0 -1 4202560 108690 0 0 0 36754 48 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 3 0 0 0
[pid=952/tid=959] ppid=950 vsize=2308924 CPUtime=396.6 cores=0-7
/proc/952/task/959/stat : 959 (strangenight2-m) R 950 952 627 0 -1 4202560 76781 0 0 0 39626 34 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3051.16
Current children cumulated vsize (KiB) 2308924

[startup+400.001 s]
/proc/loadavg: 6.36 7.60 7.46 3/256 974
/proc/meminfo: memFree=26812544/32951124 swapFree=67111348/67111528
[pid=952] ppid=950 vsize=2308924 CPUtime=3051.36 cores=0-7
/proc/952/stat : 952 (strangenight2-m) S 950 952 627 0 -1 4202496 818530 0 0 0 304767 369 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/952/statm: 577231 404701 388 106 0 572202 0
[pid=952/tid=953] ppid=950 vsize=2308924 CPUtime=399.07 cores=0-7
/proc/952/task/953/stat : 953 (strangenight2-m) R 950 952 627 0 -1 4202560 110627 0 0 0 39854 53 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132494891 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=952/tid=954] ppid=950 vsize=2308924 CPUtime=376.36 cores=0-7
/proc/952/task/954/stat : 954 (strangenight2-m) S 950 952 627 0 -1 4202560 97846 0 0 0 37590 46 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 5 0 0 0
[pid=952/tid=955] ppid=950 vsize=2308924 CPUtime=374.33 cores=0-7
/proc/952/task/955/stat : 955 (strangenight2-m) S 950 952 627 0 -1 4202560 112624 0 0 0 37391 42 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 1 0 0 0
[pid=952/tid=956] ppid=950 vsize=2308924 CPUtime=390.19 cores=0-7
/proc/952/task/956/stat : 956 (strangenight2-m) S 950 952 627 0 -1 4202560 119213 0 0 0 38969 50 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 5 0 0 0
[pid=952/tid=957] ppid=950 vsize=2308924 CPUtime=381.81 cores=0-7
/proc/952/task/957/stat : 957 (strangenight2-m) S 950 952 627 0 -1 4202560 112939 0 0 0 38132 49 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 4 0 0 0
[pid=952/tid=958] ppid=950 vsize=2308924 CPUtime=368.02 cores=0-7
/proc/952/task/958/stat : 958 (strangenight2-m) S 950 952 627 0 -1 4202560 108690 0 0 0 36754 48 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 47128132519476 0 0 4096 2 18446604471119554496 0 0 -1 3 0 0 0
[pid=952/tid=959] ppid=950 vsize=2308924 CPUtime=396.7 cores=0-7
/proc/952/task/959/stat : 959 (strangenight2-m) R 950 952 627 0 -1 4202560 76781 0 0 0 39636 34 0 0 25 0 8 0 524884801 2364338176 404701 33554432000 4194304 4627427 140736647358944 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3051.36
Current children cumulated vsize (KiB) 2308924

Child status: 20
Real time (s): 400.094
CPU time (s): 3051.47
CPU user time (s): 3047.69
CPU system time (s): 3.78542
CPU usage (%): 762.689
Max. virtual memory (cumulated for all children) (KiB): 2556784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3047.69
system time used= 3.78542
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 818533
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= 303569
involuntary context switches= 26406

runsolver used 0.963853 second user time and 2.32665 second system time

The end

Launcher Data 

Begin job on node140 at 2011-05-02 10:24:55
IDJOB=3321171
IDBENCH=82497
IDSOLVER=1709
FILE ID=node140/3321171-1304324694
RUNJOBID= node140-1304322183-641
PBS_JOBID= 13176786
Free space on /tmp= 73648 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/application/manthey/traffic/traffic_f_unknown.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321171-1304324694/watcher-3321171-1304324694 -o /tmp/evaluation-result-3321171-1304324694/solver-3321171-1304324694 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3321171-1304324694.cnf

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

MD5SUM BENCH= f03ed12a281977a642336980ec847847
RANDOM SEED=2006396588

node140.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.833
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.66
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.833
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	: 5226.14
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.833
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.75
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.833
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.77
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.833
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.75
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.833
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.833
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.833
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:     32951124 kB
MemFree:      28435976 kB
Buffers:        994176 kB
Cached:        1708840 kB
SwapCached:        176 kB
Active:        1501880 kB
Inactive:      2499984 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28435976 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           24436 kB
Writeback:           0 kB
AnonPages:     1298508 kB
Mapped:          21288 kB
Slab:           436068 kB
PageTables:      15556 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 37395488 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= 73644 MiB
End job on node140 at 2011-05-02 10:31:35