Trace number 3292786

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.32 1201.73

General information on the benchmark

NameSAT02/industrial/aloul/
Homer/homer16.shuffled.cnf
MD5SUMf98b1abe53ae4846a5f9102253ed913e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.484926
Satisfiable
(Un)Satisfiability was proved
Number of variables264
Number of clauses1476
Sum of the clauses size3168
Maximum clause length11
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21452
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 524

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3292786-1304181451.cnf'
0.00/0.00	c -- header says num vars:            264
0.00/0.00	c -- header says num clauses:        1476
0.00/0.00	c -- clauses added:            0 learnts,         1476 normals,            0 xors
0.00/0.00	c -- vars added        264
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       264        24      1452         0      3168         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/24/24 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    264 time:  0.00 s
0.00/0.00	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.00	c lits-rem:         0  cl-subs:        0  v-elim:     24  v-fix:    0  time:  0.00 s
0.00/0.00	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.00	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.00	c calculated reachability. Time: 0.00
0.00/0.00	c Calc default polars -  time:   0.00 s pos:     120 undec:      24 neg:     120
0.00/0.00	c =========================================================================================
0.00/0.00	c types(t): F = full restart, N = normal restart
0.00/0.00	c types(t): S = simplification begin/end, E = solution found
0.00/0.00	c restart types(rt): st = static, dy = dynamic
0.00/0.00	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.00	c  B st     0         0       240       254      1198         0      5280         0   no data   no data  --
0.78/0.24	c Decided on static restart strategy
0.78/0.24	c  N st     8      4916       240       254      1198      4502      5280    135909   no data   no data  --
3.18/0.85	c  N st    10     11301       240       254      1198      4151      5280    109775   no data   no data  --
3.18/0.85	c  N st    11     17044       240       254      1198      9185      5280    262004   no data   no data  --
3.58/0.94	c  F st    12     25002       240       254      1198     11294      5280    313294   no data   no data  --
3.58/0.94	c Found part        0 vars:        120 clauses:       726 lits size:      2640
3.58/0.94	c Found part        1 vars:        120 clauses:       726 lits size:      2640
3.58/0.94	c Found parts:          2 time: 0.00 s
3.58/0.94	c Solving part 0
3.58/0.94	c  N st     0         0       120       128       598         0      2640         0   no data   no data  --
3.58/0.94	c asymm  cl-useful: 0/128/128 lits-rem:0 time: 0.00
3.58/0.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.58/0.94	c Finding binary XORs  T:     0.00 s  found:       0
3.58/0.94	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.58/0.94	c calculated reachability. Time: 0.00
3.58/0.94	c Calc default polars -  time:   0.00 s pos:      61 undec:     144 neg:      59
3.58/0.94	c =========================================================================================
3.58/0.94	c types(t): F = full restart, N = normal restart
3.58/0.94	c types(t): S = simplification begin/end, E = solution found
3.58/0.95	c restart types(rt): st = static, dy = dynamic
3.58/0.95	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.58/0.95	c  B st     0         0       120       128       598         0      2640         0   no data   no data  --
3.99/1.05	c Decided on static restart strategy
3.99/1.05	c  N st     8      4918       120       128       598      4574      2640    119363   no data   no data  --
4.78/1.25	c  N st    10     11303       120       128       598      4149      2640    104241   no data   no data  --
5.57/1.45	c  N st    11     17046       120       128       598      9382      2640    253057   no data   no data  --
6.77/1.70	c  F st    12     25001       120       128       598     11484      2640    329585   no data   no data  --
6.77/1.70	c  N st    12     25001       120       128       598     11484      2640    329585   no data   no data  --
7.17/1.89	c Decided on static restart strategy
7.17/1.89	c  N st    18     30195       120       128       598     10081      2640    264189   no data   no data  --
8.79/2.21	c  N st    20     37306       120       128       598      9375      2640    239935   no data   no data  --
9.57/2.45	c  N st    21     43705       120       128       598     15272      2640    420751   no data   no data  --
11.57/2.91	c  N st    22     53304       120       128       598     15775      2640    422551   no data   no data  --
14.76/3.79	c  N st    23     67701       120       128       598     19626      2640    535368   no data   no data  --
19.16/4.89	c  F st    24     87500       120       128       598     16653      2640    432309   no data   no data  --
19.16/4.89	c  N st    24     87500       120       128       598     16653      2640    432309   no data   no data  --
20.36/5.13	c Decided on static restart strategy
21.15/5.30	c  N st    31     95539       120       128       598     12225      2640    300793   no data   no data  --
22.75/5.75	c  N st    33    106205       120       128       598     21909      2640    582546   no data   no data  --
24.75/6.23	c  N st    34    115803       120       128       598     18045      2640    463999   no data   no data  --
27.95/7.04	c  N st    35    130200       120       128       598     17500      2640    456783   no data   no data  --
33.14/8.37	c  N st    36    151796       120       128       598     22526      2640    589338   no data   no data  --
42.73/10.76	c  N st    37    184189       120       128       598     19934      2640    511141   no data   no data  --
57.13/14.39	c  N st    38    232777       120       128       598     28683      2640    747041   no data   no data  --
80.68/20.20	c  N st    39    305659       120       128       598     35082      2640    908809   no data   no data  --
80.68/20.26	c  F st    40    306251       120       128       598     35603      2640    921426   no data   no data  --
81.88/20.58	c Decided on static restart strategy
89.06/22.39	c  N st    50    334551       120       128       598     39399      2640   1070943   no data   no data  --
102.26/25.67	c  N st    52    370545       120       128       598     25717      2640    641179   no data   no data  --
114.63/28.76	c  N st    53    402938       120       128       598     30763      2640    811320   no data   no data  --
133.82/33.52	c  N st    54    451526       120       128       598     49473      2640   1378044   no data   no data  --
162.59/40.79	c  N st    55    524409       120       128       598     33584      2640    857664   no data   no data  --
207.31/51.92	c  N st    56    633733       120       128       598     43191      2640   1123849   no data   no data  --
270.43/67.74	c  N st    57    797718       120       128       598     59212      2640   1676557   no data   no data  --
386.69/96.88	c  N st    58   1043696       120       128       600     56215      2640   1545468   no data   no data  --
404.26/101.28	c  F st    59   1071875       120       128       601     40882      2640   1022380   no data   no data  --
404.26/101.28	c  N st    59   1071875       120       128       601     40882      2640   1022380   no data   no data  --
406.24/101.73	c Decided on static restart strategy
418.22/104.70	c  N st    69   1100178       120       128       602     65932      2640   1791915   no data   no data  --
436.20/109.23	c  N st    71   1136172       120       128       602     57367      2640   1525730   no data   no data  --
450.98/112.90	c  N st    72   1168564       120       128       602     44739      2640   1141716   no data   no data  --
473.35/118.51	c  N st    73   1217152       120       128       602     44951      2640   1133128   no data   no data  --
514.12/128.78	c  N st    74   1290036       120       128       602     65957      2640   1813072   no data   no data  --
565.23/141.51	c  N st    75   1399359       120       128       602     74508      2640   2021805   no data   no data  --
655.51/164.10	c  N st    76   1563343       120       128       602     79044      2640   2192553   no data   no data  --
799.32/200.19	c  N st    77   1809319       120       128       602     97162      2640   2907854   no data   no data  --
1052.56/263.59	c  N st    78   2178284       120       128       602     95345      2640   2692733   no data   no data  --
1240.70/310.69	c Finding binary XORs  T:     0.00 s  found:       0
1448.82/362.72	c  N st    79   2731730       119       127       595     99653      2598   2909173   no data   no data  --
1956.93/489.90	c Finding binary XORs  T:     0.00 s  found:       0
2083.55/521.67	c  N st    80   3561900       118       127       584     73517      2565   1922040   no data   no data  --
2252.53/563.93	c  F st    81   3751562       118       127       585     93290      2565   2558492   no data   no data  --
2252.53/563.93	c  N st    81   3751562       118       127       585     93290      2565   2558492   no data   no data  --
2256.12/564.83	c Decided on static restart strategy
2273.30/569.10	c  N st    91   3779864       118       127       585    118456      2565   3306894   no data   no data  --
2307.65/577.77	c  N st    93   3815859       118       127       585    151239      2565   4386502   no data   no data  --
2332.41/584.00	c  N st    94   3848253       118       127       585    102899      2565   2798246   no data   no data  --
2369.17/593.18	c  N st    95   3896843       118       127       585    146449      2565   4196217   no data   no data  --
2425.52/607.28	c  N st    96   3969725       118       127       586    134092      2565   3752199   no data   no data  --
2534.14/634.40	c  N st    97   4079049       118       127       586    153608      2565   4471860   no data   no data  --
2692.33/674.03	c  N st    98   4243033       118       127       586    141862      2565   4109234   no data   no data  --
2968.75/743.24	c  N st    99   4489009       118       127       586    113220      2565   3131429   no data   no data  --
3350.64/838.87	c  N st   100   4857974       118       127       586    100703      2565   2694573   no data   no data  --
3867.52/968.24	c  N st   101   5411422       118       127       586    150126      2565   4283955   no data   no data  --

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3292786-1304181451/watcher-3292786-1304181451 -o /tmp/evaluation-result-3292786-1304181451/solver-3292786-1304181451 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3292786-1304181451.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: 6.59 6.25 7.19 5/180 23696
/proc/meminfo: memFree=23329068/32951124 swapFree=67111524/67111528
[pid=23696] ppid=23694 vsize=281780 CPUtime=0 cores=0,2,4,6
/proc/23696/stat : 23696 (strangenight1-m) R 23694 23696 23046 0 -1 4202496 682 0 0 0 0 0 0 0 25 0 4 0 529745501 288542720 600 33554432000 4194304 4650419 140734933692032 18446744073709551615 244447050271 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23696/statm: 70445 601 370 112 0 65410 0
[pid=23696/tid=23697] ppid=23694 vsize=281780 CPUtime=0 cores=0,2,4,6
/proc/23696/task/23697/stat : 23697 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 49 0 0 0 0 0 0 0 25 0 4 0 529745501 288542720 606 33554432000 4194304 4650419 140734933692032 18446744073709551615 244446606021 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23696/tid=23698] ppid=23694 vsize=281780 CPUtime=0 cores=0,2,4,6
/proc/23696/task/23698/stat : 23698 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 56 0 0 0 0 0 0 0 25 0 4 0 529745501 288542720 607 33554432000 4194304 4650419 140734933692032 18446744073709551615 244447050222 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23696/tid=23699] ppid=23694 vsize=281780 CPUtime=0 cores=0,2,4,6
/proc/23696/task/23699/stat : 23699 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 79 0 0 0 0 0 0 0 25 0 4 0 529745501 288542720 607 33554432000 4194304 4650419 140734933692032 18446744073709551615 244446603416 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.069435 s]
/proc/loadavg: 6.59 6.25 7.19 5/180 23696
/proc/meminfo: memFree=23329068/32951124 swapFree=67111524/67111528
[pid=23696] ppid=23694 vsize=282044 CPUtime=0.25 cores=0,2,4,6
/proc/23696/stat : 23696 (strangenight1-m) R 23694 23696 23046 0 -1 4202496 1466 0 0 0 25 0 0 0 18 0 4 0 529745501 288813056 1382 33554432000 4194304 4650419 140734933692032 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23696/statm: 70511 1383 391 112 0 65476 0
[pid=23696/tid=23697] ppid=23694 vsize=282044 CPUtime=0.06 cores=0,2,4,6
/proc/23696/task/23697/stat : 23697 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 266 0 0 0 6 0 0 0 18 0 4 0 529745501 288813056 1383 33554432000 4194304 4650419 140734933692032 18446744073709551615 244447050271 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23696/tid=23698] ppid=23694 vsize=282044 CPUtime=0.06 cores=0,2,4,6
/proc/23696/task/23698/stat : 23698 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 244 0 0 0 6 0 0 0 25 0 4 0 529745501 288813056 1383 33554432000 4194304 4650419 140734933692032 18446744073709551615 244447050222 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23696/tid=23699] ppid=23694 vsize=282044 CPUtime=0.06 cores=0,2,4,6
/proc/23696/task/23699/stat : 23699 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 249 0 0 0 6 0 0 0 25 0 4 0 529745501 288813056 1383 33554432000 4194304 4650419 140734933692032 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 282044

[startup+0.106695 s]
/proc/loadavg: 6.59 6.25 7.19 5/180 23696
/proc/meminfo: memFree=23329068/32951124 swapFree=67111524/67111528
[pid=23696] ppid=23694 vsize=282504 CPUtime=0.4 cores=0,2,4,6
/proc/23696/stat : 23696 (strangenight1-m) R 23694 23696 23046 0 -1 4202496 1798 0 0 0 40 0 0 0 18 0 4 0 529745501 289284096 1568 33554432000 4194304 4650419 140734933692032 18446744073709551615 4314865 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23696/statm: 70626 1568 393 112 0 65591 0
[pid=23696/tid=23697] ppid=23694 vsize=282504 CPUtime=0.1 cores=0,2,4,6
/proc/23696/task/23697/stat : 23697 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 419 0 0 0 10 0 0 0 18 0 4 0 529745501 289284096 1568 33554432000 4194304 4650419 140734933692032 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23696/tid=23698] ppid=23694 vsize=282504 CPUtime=0.1 cores=0,2,4,6
/proc/23696/task/23698/stat : 23698 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 306 0 0 0 10 0 0 0 25 0 4 0 529745501 289284096 1568 33554432000 4194304 4650419 140734933692032 18446744073709551615 4366015 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23696/tid=23699] ppid=23694 vsize=282504 CPUtime=0.1 cores=0,2,4,6
/proc/23696/task/23699/stat : 23699 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 295 0 0 0 10 0 0 0 25 0 4 0 529745501 289284096 1568 33554432000 4194304 4650419 140734933692032 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282504

[startup+0.30066 s]
/proc/loadavg: 6.59 6.25 7.19 5/180 23696
/proc/meminfo: memFree=23329068/32951124 swapFree=67111524/67111528
[pid=23696] ppid=23694 vsize=283956 CPUtime=1.18 cores=0,2,4,6
/proc/23696/stat : 23696 (strangenight1-m) R 23694 23696 23046 0 -1 4202496 3231 0 0 0 118 0 0 0 18 0 4 0 529745501 290770944 2249 33554432000 4194304 4650419 140734933692032 18446744073709551615 4313711 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23696/statm: 70989 2250 393 112 0 65954 0
[pid=23696/tid=23697] ppid=23694 vsize=283956 CPUtime=0.29 cores=0,2,4,6
/proc/23696/task/23697/stat : 23697 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 866 0 0 0 29 0 0 0 18 0 4 0 529745501 290770944 2250 33554432000 4194304 4650419 140734933692032 18446744073709551615 4330582 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23696/tid=23698] ppid=23694 vsize=283956 CPUtime=0.29 cores=0,2,4,6
/proc/23696/task/23698/stat : 23698 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 594 0 0 0 29 0 0 0 25 0 4 0 529745501 290770944 2250 33554432000 4194304 4650419 140734933692032 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23696/tid=23699] ppid=23694 vsize=283956 CPUtime=0.29 cores=0,2,4,6
/proc/23696/task/23699/stat : 23699 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 645 0 0 0 29 0 0 0 25 0 4 0 529745501 290770944 2250 33554432000 4194304 4650419 140734933692032 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283956

[startup+0.700585 s]
/proc/loadavg: 6.59 6.25 7.19 5/180 23696
/proc/meminfo: memFree=23329068/32951124 swapFree=67111524/67111528
[pid=23696] ppid=23694 vsize=294036 CPUtime=2.78 cores=0,2,4,6
/proc/23696/stat : 23696 (strangenight1-m) R 23694 23696 23046 0 -1 4202496 5494 0 0 0 277 1 0 0 18 0 4 0 529745501 301092864 3086 33554432000 4194304 4650419 140734933692032 18446744073709551615 4316028 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23696/statm: 73509 3094 393 112 0 68474 0
[pid=23696/tid=23697] ppid=23694 vsize=294036 CPUtime=0.69 cores=0,2,4,6
/proc/23696/task/23697/stat : 23697 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 1402 0 0 0 69 0 0 0 18 0 4 0 529745501 301092864 3099 33554432000 4194304 4650419 140734933692032 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23696/tid=23698] ppid=23694 vsize=294036 CPUtime=0.69 cores=0,2,4,6
/proc/23696/task/23698/stat : 23698 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 1006 0 0 0 69 0 0 0 25 0 4 0 529745501 301092864 3105 33554432000 4194304 4650419 140734933692032 18446744073709551615 4366616 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23696/tid=23699] ppid=23694 vsize=294036 CPUtime=0.68 cores=0,2,4,6
/proc/23696/task/23699/stat : 23699 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 1291 0 0 0 68 0 0 0 25 0 4 0 529745501 301092864 3110 33554432000 4194304 4650419 140734933692032 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 294036

[startup+1.50044 s]
/proc/loadavg: 6.59 6.25 7.19 10/184 23700
/proc/meminfo: memFree=23311552/32951124 swapFree=67111524/67111528
[pid=23696] ppid=23694 vsize=285368 CPUtime=5.97 cores=0,2,4,6
/proc/23696/stat : 23696 (strangenight1-m) R 23694 23696 23046 0 -1 4202496 11196 0 0 0 595 2 0 0 20 0 4 0 529745501 292216832 6715 33554432000 4194304 4650419 140734933692032 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23696/statm: 71342 6715 394 112 0 66307 0
[pid=23696/tid=23697] ppid=23694 vsize=285368 CPUtime=1.49 cores=0,2,4,6
/proc/23696/task/23697/stat : 23697 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 3584 0 0 0 149 0 0 0 19 0 4 0 529745501 292216832 6715 33554432000 4194304 4650419 140734933692032 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23696/tid=23698] ppid=23694 vsize=285368 CPUtime=1.48 cores=0,2,4,6
/proc/23696/task/23698/stat : 23698 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 2072 0 0 0 148 0 0 0 25 0 4 0 529745501 292216832 6715 33554432000 4194304 4650419 140734933692032 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23696/tid=23699] ppid=23694 vsize=285368 CPUtime=1.48 cores=0,2,4,6
/proc/23696/task/23699/stat : 23699 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 2481 0 0 0 148 0 0 0 25 0 4 0 529745501 292216832 6716 33554432000 4194304 4650419 140734933692032 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285368

[startup+3.10114 s]
/proc/loadavg: 6.59 6.25 7.19 9/184 23700
/proc/meminfo: memFree=23292828/32951124 swapFree=67111524/67111528
[pid=23696] ppid=23694 vsize=285368 CPUtime=12.37 cores=0,2,4,6
/proc/23696/stat : 23696 (strangenight1-m) R 23694 23696 23046 0 -1 4202496 17240 0 0 0 1234 3 0 0 25 0 4 0 529745501 292216832 11052 33554432000 4194304 4650419 140734933692032 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23696/statm: 71342 11052 394 112 0 66307 0
[pid=23696/tid=23697] ppid=23694 vsize=285368 CPUtime=3.08 cores=0,2,4,6
/proc/23696/task/23697/stat : 23697 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 5061 0 0 0 308 0 0 0 25 0 4 0 529745501 292216832 11052 33554432000 4194304 4650419 140734933692032 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23696/tid=23698] ppid=23694 vsize=285368 CPUtime=3.07 cores=0,2,4,6
/proc/23696/task/23698/stat : 23698 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 3471 0 0 0 307 0 0 0 25 0 4 0 529745501 292216832 11052 33554432000 4194304 4650419 140734933692032 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23696/tid=23699] ppid=23694 vsize=285368 CPUtime=3.09 cores=0,2,4,6
/proc/23696/task/23699/stat : 23699 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 3901 0 0 0 308 1 0 0 25 0 4 0 529745501 292216832 11053 33554432000 4194304 4650419 140734933692032 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 285368

[startup+6.30054 s]
/proc/loadavg: 6.71 6.28 7.19 9/184 23700
/proc/meminfo: memFree=23270460/32951124 swapFree=67111524/67111528
[pid=23696] ppid=23694 vsize=360752 CPUtime=25.15 cores=0,2,4,6
/proc/23696/stat : 23696 (strangenight1-m) R 23694 23696 23046 0 -1 4202496 23958 0 0 0 2511 4 0 0 25 0 4 0 529745501 369410048 13581 33554432000 4194304 4650419 140734933692032 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23696/statm: 90188 13581 394 112 0 85153 0
[pid=23696/tid=23697] ppid=23694 vsize=360752 CPUtime=6.29 cores=0,2,4,6
/proc/23696/task/23697/stat : 23697 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 6525 0 0 0 628 1 0 0 25 0 4 0 529745501 369410048 13581 33554432000 4194304 4650419 140734933692032 18446744073709551615 4304288 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23696/tid=23698] ppid=23694 vsize=360752 CPUtime=6.25 cores=0,2,4,6
/proc/23696/task/23698/stat : 23698 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 4818 0 0 0 625 0 0 0 25 0 4 0 529745501 369410048 13581 33554432000 4194304 4650419 140734933692032 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23696/tid=23699] ppid=23694 vsize=360752 CPUtime=6.29 cores=0,2,4,6
/proc/23696/task/23699/stat : 23699 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 5785 0 0 0 628 1 0 0 25 0 4 0 529745501 369410048 13581 33554432000 4194304 4650419 140734933692032 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 360752

[startup+12.7003 s]
/proc/loadavg: 6.81 6.31 7.20 9/184 23701
/proc/meminfo: memFree=23261052/32951124 swapFree=67111524/67111528
[pid=23696] ppid=23694 vsize=382140 CPUtime=50.72 cores=0,2,4,6
/proc/23696/stat : 23696 (strangenight1-m) R 23694 23696 23046 0 -1 4202496 38423 0 0 0 5065 7 0 0 25 0 4 0 529745501 391311360 16581 33554432000 4194304 4650419 140734933692032 18446744073709551615 4334297 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23696/statm: 95535 16581 394 112 0 90500 0
[pid=23696/tid=23697] ppid=23694 vsize=382140 CPUtime=12.68 cores=0,2,4,6
/proc/23696/task/23697/stat : 23697 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 9716 0 0 0 1267 1 0 0 25 0 4 0 529745501 391311360 16581 33554432000 4194304 4650419 140734933692032 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23696/tid=23698] ppid=23694 vsize=382140 CPUtime=12.63 cores=0,2,4,6
/proc/23696/task/23698/stat : 23698 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 9620 0 0 0 1261 2 0 0 25 0 4 0 529745501 391311360 16581 33554432000 4194304 4650419 140734933692032 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23696/tid=23699] ppid=23694 vsize=382140 CPUtime=12.69 cores=0,2,4,6
/proc/23696/task/23699/stat : 23699 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 8527 0 0 0 1267 2 0 0 25 0 4 0 529745501 391311360 16581 33554432000 4194304 4650419 140734933692032 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 382140

[startup+25.501 s]
/proc/loadavg: 7.07 6.39 7.21 9/184 23701
/proc/meminfo: memFree=23240580/32951124 swapFree=67111524/67111528
[pid=23696] ppid=23694 vsize=307668 CPUtime=101.86 cores=0,2,4,6
/proc/23696/stat : 23696 (strangenight1-m) R 23694 23696 23046 0 -1 4202496 64592 0 0 0 10175 11 0 0 25 0 4 0 529745501 315052032 19058 33554432000 4194304 4650419 140734933692032 18446744073709551615 4313463 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23696/statm: 76917 19058 394 112 0 71882 0
[pid=23696/tid=23697] ppid=23694 vsize=307668 CPUtime=25.49 cores=0,2,4,6
/proc/23696/task/23697/stat : 23697 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 18406 0 0 0 2546 3 0 0 25 0 4 0 529745501 315052032 19058 33554432000 4194304 4650419 140734933692032 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23696/tid=23698] ppid=23694 vsize=307668 CPUtime=25.36 cores=0,2,4,6
/proc/23696/task/23698/stat : 23698 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 17790 0 0 0 2533 3 0 0 25 0 4 0 529745501 315052032 19058 33554432000 4194304 4650419 140734933692032 18446744073709551615 4315293 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23696/tid=23699] ppid=23694 vsize=307668 CPUtime=25.49 cores=0,2,4,6
/proc/23696/task/23699/stat : 23699 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 12945 0 0 0 2547 2 0 0 25 0 4 0 529745501 315052032 19058 33554432000 4194304 4650419 140734933692032 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 307668

[startup+51.1012 s]
/proc/loadavg: 7.39 6.52 7.23 9/184 23701
/proc/meminfo: memFree=23191728/32951124 swapFree=67111524/67111528
[pid=23696] ppid=23694 vsize=333556 CPUtime=204.12 cores=0,2,4,6
/proc/23696/stat : 23696 (strangenight1-m) R 23694 23696 23046 0 -1 4202496 114590 0 0 0 20391 21 0 0 25 0 4 0 529745501 341561344 20859 33554432000 4194304 4650419 140734933692032 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23696/statm: 83389 20859 394 112 0 78354 0
[pid=23696/tid=23697] ppid=23694 vsize=333556 CPUtime=51.09 cores=0,2,4,6
/proc/23696/task/23697/stat : 23697 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 32198 0 0 0 5104 5 0 0 25 0 4 0 529745501 341561344 20859 33554432000 4194304 4650419 140734933692032 18446744073709551615 4366047 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23696/tid=23698] ppid=23694 vsize=333556 CPUtime=50.82 cores=0,2,4,6
/proc/23696/task/23698/stat : 23698 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 31758 0 0 0 5076 6 0 0 25 0 4 0 529745501 341561344 20859 33554432000 4194304 4650419 140734933692032 18446744073709551615 4313048 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23696/tid=23699] ppid=23694 vsize=333556 CPUtime=51.09 cores=0,2,4,6
/proc/23696/task/23699/stat : 23699 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 22138 0 0 0 5105 4 0 0 25 0 4 0 529745501 341561344 20859 33554432000 4194304 4650419 140734933692032 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.12
Current children cumulated vsize (KiB) 333556

[startup+102.307 s]
/proc/loadavg: 7.77 6.76 7.27 9/184 23703
/proc/meminfo: memFree=23139272/32951124 swapFree=67111524/67111528
[pid=23696] ppid=23694 vsize=312316 CPUtime=408.66 cores=0,2,4,6
/proc/23696/stat : 23696 (strangenight1-m) R 23694 23696 23046 0 -1 4202496 198110 0 0 0 40827 39 0 0 25 0 4 0 529745501 319811584 29695 33554432000 4194304 4650419 140734933692032 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23696/statm: 78079 29695 394 112 0 73044 0
[pid=23696/tid=23697] ppid=23694 vsize=312316 CPUtime=102.3 cores=0,2,4,6
/proc/23696/task/23697/stat : 23697 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 55531 0 0 0 10219 11 0 0 25 0 4 0 529745501 319811584 29695 33554432000 4194304 4650419 140734933692032 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23696/tid=23698] ppid=23694 vsize=312316 CPUtime=101.75 cores=0,2,4,6
/proc/23696/task/23698/stat : 23698 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 55028 0 0 0 10164 11 0 0 25 0 4 0 529745501 319811584 29695 33554432000 4194304 4650419 140734933692032 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23696/tid=23699] ppid=23694 vsize=312316 CPUtime=102.29 cores=0,2,4,6
/proc/23696/task/23699/stat : 23699 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 37319 0 0 0 10222 7 0 0 25 0 4 0 529745501 319811584 29695 33554432000 4194304 4650419 140734933692032 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.66
Current children cumulated vsize (KiB) 312316

[startup+162.3 s]

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

[pid=23696] ppid=23694 vsize=492096 CPUtime=2805.38 cores=0,2,4,6
/proc/23696/stat : 23696 (strangenight1-m) R 23694 23696 23046 0 -1 4202496 635796 0 0 0 280381 157 0 0 25 0 4 0 529745501 503906304 70804 33554432000 4194304 4650419 140734933692032 18446744073709551615 4365348 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23696/statm: 123024 70804 394 112 0 117989 0
[pid=23696/tid=23697] ppid=23694 vsize=492096 CPUtime=702.31 cores=0,2,4,6
/proc/23696/task/23697/stat : 23697 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 138952 0 0 0 70200 31 0 0 25 0 4 0 529745501 503906304 70804 33554432000 4194304 4650419 140734933692032 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23696/tid=23698] ppid=23694 vsize=492096 CPUtime=698.44 cores=0,2,4,6
/proc/23696/task/23698/stat : 23698 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 183310 0 0 0 69803 41 0 0 25 0 4 0 529745501 503906304 70804 33554432000 4194304 4650419 140734933692032 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23696/tid=23699] ppid=23694 vsize=492096 CPUtime=702.31 cores=0,2,4,6
/proc/23696/task/23699/stat : 23699 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 127055 0 0 0 70196 35 0 0 25 0 4 0 529745501 503906304 70804 33554432000 4194304 4650419 140734933692032 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.38
Current children cumulated vsize (KiB) 492096

[startup+762.306 s]
/proc/loadavg: 8.07 7.92 7.66 9/184 23721
/proc/meminfo: memFree=22786036/32951124 swapFree=67111524/67111528
[pid=23696] ppid=23694 vsize=558772 CPUtime=3045.07 cores=0,2,4,6
/proc/23696/stat : 23696 (strangenight1-m) R 23694 23696 23046 0 -1 4202496 656548 0 0 0 304343 164 0 0 25 0 4 0 529745501 572182528 74588 33554432000 4194304 4650419 140734933692032 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23696/statm: 139693 74588 394 112 0 134658 0
[pid=23696/tid=23697] ppid=23694 vsize=558772 CPUtime=762.31 cores=0,2,4,6
/proc/23696/task/23697/stat : 23697 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 139837 0 0 0 76200 31 0 0 25 0 4 0 529745501 572182528 74588 33554432000 4194304 4650419 140734933692032 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23696/tid=23698] ppid=23694 vsize=558772 CPUtime=758.1 cores=0,2,4,6
/proc/23696/task/23698/stat : 23698 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 184225 0 0 0 75769 41 0 0 25 0 4 0 529745501 572182528 74588 33554432000 4194304 4650419 140734933692032 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23696/tid=23699] ppid=23694 vsize=558772 CPUtime=762.31 cores=0,2,4,6
/proc/23696/task/23699/stat : 23699 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 131894 0 0 0 76195 36 0 0 25 0 4 0 529745501 572182528 74588 33554432000 4194304 4650419 140734933692032 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.07
Current children cumulated vsize (KiB) 558772

[startup+822.301 s]
/proc/loadavg: 8.06 7.94 7.68 9/184 23722
/proc/meminfo: memFree=22780548/32951124 swapFree=67111524/67111528
[pid=23696] ppid=23694 vsize=512680 CPUtime=3284.73 cores=0,2,4,6
/proc/23696/stat : 23696 (strangenight1-m) R 23694 23696 23046 0 -1 4202496 696184 0 0 0 328296 177 0 0 25 0 4 0 529745501 524984320 77297 33554432000 4194304 4650419 140734933692032 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23696/statm: 128170 77297 394 112 0 123135 0
[pid=23696/tid=23697] ppid=23694 vsize=512680 CPUtime=822.31 cores=0,2,4,6
/proc/23696/task/23697/stat : 23697 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 145294 0 0 0 82198 33 0 0 25 0 4 0 529745501 524984320 77297 33554432000 4194304 4650419 140734933692032 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23696/tid=23698] ppid=23694 vsize=512680 CPUtime=817.77 cores=0,2,4,6
/proc/23696/task/23698/stat : 23698 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 198986 0 0 0 81732 45 0 0 25 0 4 0 529745501 524984320 77298 33554432000 4194304 4650419 140734933692032 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23696/tid=23699] ppid=23694 vsize=512680 CPUtime=822.31 cores=0,2,4,6
/proc/23696/task/23699/stat : 23699 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 139928 0 0 0 82192 39 0 0 25 0 4 0 529745501 524984320 77298 33554432000 4194304 4650419 140734933692032 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.73
Current children cumulated vsize (KiB) 512680

[startup+882.301 s]
/proc/loadavg: 8.23 8.01 7.72 9/184 23724
/proc/meminfo: memFree=22703744/32951124 swapFree=67111524/67111528
[pid=23696] ppid=23694 vsize=692600 CPUtime=3524.39 cores=0,2,4,6
/proc/23696/stat : 23696 (strangenight1-m) R 23694 23696 23046 0 -1 4202496 734158 0 0 0 352251 188 0 0 25 0 4 0 529745501 709222400 82878 33554432000 4194304 4650419 140734933692032 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23696/statm: 173150 82879 394 112 0 168115 0
[pid=23696/tid=23697] ppid=23694 vsize=692600 CPUtime=882.31 cores=0,2,4,6
/proc/23696/task/23697/stat : 23697 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 150864 0 0 0 88196 35 0 0 25 0 4 0 529745501 709222400 82879 33554432000 4194304 4650419 140734933692032 18446744073709551615 4313703 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23696/tid=23698] ppid=23694 vsize=692600 CPUtime=877.44 cores=0,2,4,6
/proc/23696/task/23698/stat : 23698 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 206976 0 0 0 87696 48 0 0 25 0 4 0 529745501 709222400 82879 33554432000 4194304 4650419 140734933692032 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23696/tid=23699] ppid=23694 vsize=692600 CPUtime=882.31 cores=0,2,4,6
/proc/23696/task/23699/stat : 23699 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 149713 0 0 0 88189 42 0 0 25 0 4 0 529745501 709222400 82879 33554432000 4194304 4650419 140734933692032 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.39
Current children cumulated vsize (KiB) 692600

[startup+942.301 s]
/proc/loadavg: 8.18 8.04 7.74 9/184 23725
/proc/meminfo: memFree=22700008/32951124 swapFree=67111524/67111528
[pid=23696] ppid=23694 vsize=582292 CPUtime=3764.07 cores=0,2,4,6
/proc/23696/stat : 23696 (strangenight1-m) R 23694 23696 23046 0 -1 4202496 768320 0 0 0 376208 199 0 0 25 0 4 0 529745501 596267008 82121 33554432000 4194304 4650419 140734933692032 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23696/statm: 145573 82121 394 112 0 140538 0
[pid=23696/tid=23697] ppid=23694 vsize=582292 CPUtime=942.32 cores=0,2,4,6
/proc/23696/task/23697/stat : 23697 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 154714 0 0 0 94196 36 0 0 25 0 4 0 529745501 596267008 82121 33554432000 4194304 4650419 140734933692032 18446744073709551615 4366933 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23696/tid=23698] ppid=23694 vsize=582292 CPUtime=937.11 cores=0,2,4,6
/proc/23696/task/23698/stat : 23698 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 222365 0 0 0 93658 53 0 0 25 0 4 0 529745501 596267008 82121 33554432000 4194304 4650419 140734933692032 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23696/tid=23699] ppid=23694 vsize=582292 CPUtime=942.32 cores=0,2,4,6
/proc/23696/task/23699/stat : 23699 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 156955 0 0 0 94187 45 0 0 25 0 4 0 529745501 596267008 82121 33554432000 4194304 4650419 140734933692032 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.07
Current children cumulated vsize (KiB) 582292

[startup+1002.3 s]
/proc/loadavg: 8.10 8.04 7.76 9/184 23727
/proc/meminfo: memFree=22640928/32951124 swapFree=67111524/67111528
[pid=23696] ppid=23694 vsize=648272 CPUtime=4003.74 cores=0,2,4,6
/proc/23696/stat : 23696 (strangenight1-m) R 23694 23696 23046 0 -1 4202496 801583 0 0 0 400163 211 0 0 25 0 4 0 529745501 663830528 90215 33554432000 4194304 4650419 140734933692032 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23696/statm: 162068 90215 394 112 0 157033 0
[pid=23696/tid=23697] ppid=23694 vsize=648272 CPUtime=1002.32 cores=0,2,4,6
/proc/23696/task/23697/stat : 23697 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 157295 0 0 0 100195 37 0 0 25 0 4 0 529745501 663830528 90215 33554432000 4194304 4650419 140734933692032 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23696/tid=23698] ppid=23694 vsize=648272 CPUtime=996.78 cores=0,2,4,6
/proc/23696/task/23698/stat : 23698 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 234932 0 0 0 99621 57 0 0 25 0 4 0 529745501 663830528 90215 33554432000 4194304 4650419 140734933692032 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23696/tid=23699] ppid=23694 vsize=648272 CPUtime=1002.32 cores=0,2,4,6
/proc/23696/task/23699/stat : 23699 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 162475 0 0 0 100185 47 0 0 25 0 4 0 529745501 663830528 90215 33554432000 4194304 4650419 140734933692032 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.74
Current children cumulated vsize (KiB) 648272

[startup+1062.3 s]
/proc/loadavg: 8.07 8.05 7.78 9/184 23729
/proc/meminfo: memFree=22618332/32951124 swapFree=67111524/67111528
[pid=23696] ppid=23694 vsize=694060 CPUtime=4243.41 cores=0,2,4,6
/proc/23696/stat : 23696 (strangenight1-m) R 23694 23696 23046 0 -1 4202496 827593 0 0 0 424121 220 0 0 25 0 4 0 529745501 710717440 95502 33554432000 4194304 4650419 140734933692032 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23696/statm: 173515 95502 394 112 0 168480 0
[pid=23696/tid=23697] ppid=23694 vsize=694060 CPUtime=1062.32 cores=0,2,4,6
/proc/23696/task/23697/stat : 23697 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 158372 0 0 0 106195 37 0 0 25 0 4 0 529745501 710717440 95502 33554432000 4194304 4650419 140734933692032 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23696/tid=23698] ppid=23694 vsize=694060 CPUtime=1056.45 cores=0,2,4,6
/proc/23696/task/23698/stat : 23698 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 247888 0 0 0 105584 61 0 0 25 0 4 0 529745501 710717440 95502 33554432000 4194304 4650419 140734933692032 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23696/tid=23699] ppid=23694 vsize=694060 CPUtime=1062.32 cores=0,2,4,6
/proc/23696/task/23699/stat : 23699 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 172830 0 0 0 106182 50 0 0 25 0 4 0 529745501 710717440 95502 33554432000 4194304 4650419 140734933692032 18446744073709551615 4313048 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.41
Current children cumulated vsize (KiB) 694060

[startup+1122.3 s]
/proc/loadavg: 8.14 8.07 7.80 9/184 23730
/proc/meminfo: memFree=22674960/32951124 swapFree=67111524/67111528
[pid=23696] ppid=23694 vsize=564572 CPUtime=4483.08 cores=0,2,4,6
/proc/23696/stat : 23696 (strangenight1-m) R 23694 23696 23046 0 -1 4202496 853478 0 0 0 448078 230 0 0 25 0 4 0 529745501 578121728 81320 33554432000 4194304 4650419 140734933692032 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23696/statm: 141143 81320 394 112 0 136108 0
[pid=23696/tid=23697] ppid=23694 vsize=564572 CPUtime=1122.32 cores=0,2,4,6
/proc/23696/task/23697/stat : 23697 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 159228 0 0 0 112195 37 0 0 25 0 4 0 529745501 578121728 81320 33554432000 4194304 4650419 140734933692032 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23696/tid=23698] ppid=23694 vsize=564572 CPUtime=1116.12 cores=0,2,4,6
/proc/23696/task/23698/stat : 23698 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 255939 0 0 0 111547 65 0 0 25 0 4 0 529745501 578121728 81320 33554432000 4194304 4650419 140734933692032 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23696/tid=23699] ppid=23694 vsize=564572 CPUtime=1122.31 cores=0,2,4,6
/proc/23696/task/23699/stat : 23699 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 178329 0 0 0 112179 52 0 0 25 0 4 0 529745501 578121728 81320 33554432000 4194304 4650419 140734933692032 18446744073709551615 4366857 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.08
Current children cumulated vsize (KiB) 564572

[startup+1182.3 s]
/proc/loadavg: 7.92 8.01 7.80 9/184 23763
/proc/meminfo: memFree=22634864/32951124 swapFree=67111524/67111528
[pid=23696] ppid=23694 vsize=650780 CPUtime=4722.76 cores=0,2,4,6
/proc/23696/stat : 23696 (strangenight1-m) R 23694 23696 23046 0 -1 4202496 881833 0 0 0 472037 239 0 0 25 0 4 0 529745501 666398720 94855 33554432000 4194304 4650419 140734933692032 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23696/statm: 162695 94855 394 112 0 157660 0
[pid=23696/tid=23697] ppid=23694 vsize=650780 CPUtime=1182.32 cores=0,2,4,6
/proc/23696/task/23697/stat : 23697 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 164882 0 0 0 118194 38 0 0 25 0 4 0 529745501 666398720 94855 33554432000 4194304 4650419 140734933692032 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23696/tid=23698] ppid=23694 vsize=650780 CPUtime=1175.8 cores=0,2,4,6
/proc/23696/task/23698/stat : 23698 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 257641 0 0 0 117514 66 0 0 25 0 4 0 529745501 666398720 94855 33554432000 4194304 4650419 140734933692032 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23696/tid=23699] ppid=23694 vsize=650780 CPUtime=1182.32 cores=0,2,4,6
/proc/23696/task/23699/stat : 23699 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 187492 0 0 0 118177 55 0 0 25 0 4 0 529745501 666398720 94855 33554432000 4194304 4650419 140734933692032 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.76
Current children cumulated vsize (KiB) 650780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 7.94 8.00 7.80 9/184 23763
/proc/meminfo: memFree=22594672/32951124 swapFree=67111524/67111528
[pid=23696] ppid=23694 vsize=781860 CPUtime=4800.27 cores=0,2,4,6
/proc/23696/stat : 23696 (strangenight1-m) R 23694 23696 23046 0 -1 4202496 889491 0 0 0 479786 241 0 0 25 0 4 0 529745501 800624640 101098 33554432000 4194304 4650419 140734933692032 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23696/statm: 195465 101098 394 112 0 190430 0
[pid=23696/tid=23697] ppid=23694 vsize=781860 CPUtime=1201.73 cores=0,2,4,6
/proc/23696/task/23697/stat : 23697 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 165334 0 0 0 120135 38 0 0 25 0 4 0 529745501 800624640 101098 33554432000 4194304 4650419 140734933692032 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23696/tid=23698] ppid=23694 vsize=781860 CPUtime=1195.09 cores=0,2,4,6
/proc/23696/task/23698/stat : 23698 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 257920 0 0 0 119443 66 0 0 25 0 4 0 529745501 800624640 101098 33554432000 4194304 4650419 140734933692032 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23696/tid=23699] ppid=23694 vsize=781860 CPUtime=1201.73 cores=0,2,4,6
/proc/23696/task/23699/stat : 23699 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 191895 0 0 0 120117 56 0 0 25 0 4 0 529745501 800624640 101098 33554432000 4194304 4650419 140734933692032 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 781860

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

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

[startup+1201.7 s]
/proc/loadavg: 7.94 8.00 7.80 9/184 23763
/proc/meminfo: memFree=22594672/32951124 swapFree=67111524/67111528
[pid=23696] ppid=23694 vsize=781860 CPUtime=4800.27 cores=0,2,4,6
/proc/23696/stat : 23696 (strangenight1-m) R 23694 23696 23046 0 -1 4202496 889491 0 0 0 479786 241 0 0 25 0 4 0 529745501 800624640 101098 33554432000 4194304 4650419 140734933692032 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23696/statm: 195465 101098 394 112 0 190430 0
[pid=23696/tid=23697] ppid=23694 vsize=781860 CPUtime=1201.73 cores=0,2,4,6
/proc/23696/task/23697/stat : 23697 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 165334 0 0 0 120135 38 0 0 25 0 4 0 529745501 800624640 101098 33554432000 4194304 4650419 140734933692032 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23696/tid=23698] ppid=23694 vsize=781860 CPUtime=1195.09 cores=0,2,4,6
/proc/23696/task/23698/stat : 23698 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 257920 0 0 0 119443 66 0 0 25 0 4 0 529745501 800624640 101098 33554432000 4194304 4650419 140734933692032 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23696/tid=23699] ppid=23694 vsize=781860 CPUtime=1201.73 cores=0,2,4,6
/proc/23696/task/23699/stat : 23699 (strangenight1-m) R 23694 23696 23046 0 -1 4202560 191895 0 0 0 120117 56 0 0 25 0 4 0 529745501 800624640 101098 33554432000 4194304 4650419 140734933692032 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 781860

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.32
CPU user time (s): 4797.89
CPU system time (s): 2.43663
CPU usage (%): 399.45
Max. virtual memory (cumulated for all children) (KiB): 825100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.89
system time used= 2.43663
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 889493
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= 264
involuntary context switches= 22556

runsolver used 1.91771 second user time and 4.6243 second system time

The end

Launcher Data 

Begin job on node105 at 2011-04-30 18:37:31
IDJOB=3292786
IDBENCH=87943
IDSOLVER=1588
FILE ID=node105/3292786-1304181451
RUNJOBID= node105-1304181392-23642
PBS_JOBID= 13172437
Free space on /tmp= 73036 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT02/industrial/aloul/Homer/homer16.shuffled.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3292786-1304181451/watcher-3292786-1304181451 -o /tmp/evaluation-result-3292786-1304181451/solver-3292786-1304181451 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3292786-1304181451.cnf

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

MD5SUM BENCH= f98b1abe53ae4846a5f9102253ed913e
RANDOM SEED=908606879

node105.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.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
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.15
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.825
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.82
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.825
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.75
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.825
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	: 5410.70
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.825
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.825
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.82
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.825
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:      23329348 kB
Buffers:       2181192 kB
Cached:        6680744 kB
SwapCached:          4 kB
Active:         819812 kB
Inactive:      8251268 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23329348 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            6520 kB
Writeback:           0 kB
AnonPages:      208804 kB
Mapped:          15504 kB
Slab:           488080 kB
PageTables:       5220 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   462504 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= 73028 MiB
End job on node105 at 2011-04-30 18:57:34