Trace number 3368747

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 (fixed)? (TO) 4800.38 1203.54

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v400-c1704-S1081907273-083.UNKNOWN.cnf
MD5SUM4b706363c6542ff406d07bd657988d05
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark39.0431
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of clauses1704
Sum of the clauses size5112
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31704
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368747-1305402165.cnf'
0.00/0.01	c -- header says num vars:            400
0.00/0.01	c -- header says num clauses:        1704
0.00/0.01	c -- clauses added:            0 learnts,         1704 normals,            0 xors
0.00/0.01	c -- vars added        400
0.00/0.01	c Parsing time:  0.00 s
1.17/0.35	c  N st     0         0       400      1704         0         0      5112         0   no data   no data  --
1.17/0.35	c asymm  cl-useful: 0/1704/1704 lits-rem:0 time: 0.00
1.17/0.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
1.17/0.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.17/0.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1.17/0.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
1.17/0.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1.17/0.35	c lits-rem:         1  cl-subs:        0  v-elim:     20  v-fix:    0  time:  0.01 s
1.17/0.35	c Finding binary XORs  T:     0.00 s  found:       0
1.17/0.35	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1.17/0.35	c calculated reachability. Time: 0.00
1.17/0.35	c Calc default polars -  time:   0.00 s pos:     168 undec:      43 neg:     189
1.17/0.35	c =========================================================================================
1.17/0.35	c types(t): F = full restart, N = normal restart
3.17/0.85	c types(t): S = simplification begin/end, E = solution found
3.17/0.85	c restart types(rt): st = static, dy = dynamic
3.17/0.85	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.85	c  B st     0         0       380      1696         0         0      5222         0   no data   no data  --
3.17/0.85	c Decided on static restart strategy
3.17/0.85	c  N st     8      4915       380      1696         0      4815      5222     96174   no data   no data  --
3.17/0.85	c  N st    10     11299       380      1696         0      4455      5222     68808   no data   no data  --
3.17/0.85	c  N st    11     17043       380      1696         0     10056      5222    184899   no data   no data  --
4.01/1.05	c  F st    12     25002       380      1696         0     12276      5222    228479   no data   no data  --
4.01/1.05	c  N st    12     25002       380      1696         0     12276      5222    228479   no data   no data  --
4.76/1.25	c Decided on static restart strategy
4.76/1.25	c  N st    18     30001       380      1696         0     10538      5222    169447   no data   no data  --
4.76/1.25	c  S st    18     30001       380      1696         0     10538      5222    169447   no data   no data  --
4.76/1.26	c  S st    18     30501       380      1696         0     11037      5222    178997   no data   no data  --
4.76/1.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.76/1.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.76/1.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.15/1.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.15/1.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.15/1.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    380 time:  0.00 s
5.15/1.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.55/1.43	c lits-rem:       226  cl-subs:      954  v-elim:      0  v-fix:    0  time:  0.65 s
5.55/1.44	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.03
5.55/1.44	c calculated reachability. Time: 0.00
5.55/1.44	c  N st    18     30501       380      1696         0     10083      5222    159663   no data   no data  --
7.16/1.84	c  N st    20     37612       380      1696         0      9343      5222    130214   no data   no data  --
8.39/2.21	c  N st    21     44011       380      1696         0     15554      5222    254940   no data   no data  --
9.15/2.31	c  S st    22     45752       380      1696         0     17257      5222    290735   no data   no data  --
9.15/2.36	c  S st    22     46253       380      1696         0      9081      5222    114758   no data   no data  --
9.15/2.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.15/2.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.15/2.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.15/2.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.15/2.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.15/2.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    380 time:  0.00 s
9.15/2.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.55/2.41	c lits-rem:        29  cl-subs:       96  v-elim:      0  v-fix:    0  time:  0.20 s
9.55/2.41	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
9.55/2.42	c vivif2 --  cl tried     8985 cl shrink        0 lits rem          0 time: 0.00
9.55/2.42	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.03
9.55/2.42	c calculated reachability. Time: 0.00
9.55/2.42	c  N st    22     46253       380      1696         0      8985      5222    112908   no data   no data  --
12.77/3.28	c  N st    23     60651       380      1696         0     13273      5222    186895   no data   no data  --
15.13/3.90	c  N st    24     69379       380      1696         0     11097      5222    137575   no data   no data  --
15.13/3.90	c  S st    24     69379       380      1696         0     11097      5222    137575   no data   no data  --
15.53/3.93	c  S st    24     69881       380      1696         0     11594      5222    147551   no data   no data  --
15.53/3.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.53/3.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.53/3.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
15.53/3.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.53/3.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.53/3.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    380 time:  0.00 s
15.53/3.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.93/4.06	c lits-rem:        90  cl-subs:      194  v-elim:      0  v-fix:    0  time:  0.49 s
15.93/4.06	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
15.93/4.06	c vivif2 --  cl tried    11400 cl shrink        0 lits rem          0 time: 0.00
15.93/4.07	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.04
15.93/4.07	c calculated reachability. Time: 0.00
15.93/4.07	c  N st    24     69881       380      1696         0     11400      5222    144027   no data   no data  --
20.71/5.29	c  F st    25     87502       380      1696         0     16886      5222    246028   no data   no data  --
20.71/5.29	c  N st    25     87502       380      1696         0     16886      5222    246028   no data   no data  --
22.30/5.69	c Decided on static restart strategy
23.50/5.98	c  N st    32     95547       380      1696         0     24718      5222    401323   no data   no data  --
26.70/6.70	c  N st    34    104821       380      1696         0     21148      5222    303455   no data   no data  --
26.70/6.70	c  S st    34    104821       380      1696         0     21148      5222    303455   no data   no data  --
26.70/6.75	c  S st    34    105323       380      1696         0     21649      5222    312921   no data   no data  --
26.70/6.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.70/6.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.70/6.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
26.70/6.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.70/6.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.70/6.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    380 time:  0.00 s
26.70/6.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.50/7.40	c lits-rem:       399  cl-subs:     1479  v-elim:      0  v-fix:    0  time:  2.52 s
29.50/7.40	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
29.50/7.40	c vivif2 --  cl tried    20170 cl shrink        0 lits rem          0 time: 0.01
29.50/7.42	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.06
29.50/7.42	c calculated reachability. Time: 0.00
29.50/7.42	c  N st    34    105323       380      1696         0     20170      5222    286540   no data   no data  --
31.88/8.07	c  N st    35    114921       380      1696         0     15909      5222    195985   no data   no data  --
37.07/9.34	c  N st    36    129319       380      1696         0     15316      5222    169773   no data   no data  --
43.90/11.02	c  N st    37    150914       380      1696         0     20788      5222    276433   no data   no data  --
46.24/11.60	c  S st    38    157987       380      1696         0     27659      5222    415730   no data   no data  --
46.24/11.67	c  S st    38    158490       380      1696         0     28161      5222    425588   no data   no data  --
46.24/11.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.24/11.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
46.24/11.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
46.24/11.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.24/11.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.24/11.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    380 time:  0.00 s
46.24/11.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
51.84/13.02	c lits-rem:       991  cl-subs:     1794  v-elim:      0  v-fix:    0  time:  5.27 s
51.84/13.02	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
51.84/13.02	c vivif2 --  cl tried    26367 cl shrink        0 lits rem          0 time: 0.02
51.84/13.04	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.08
51.84/13.04	c calculated reachability. Time: 0.00
51.84/13.04	c  N st    38    158490       380      1696         0     26367      5222    389349   no data   no data  --
70.22/17.67	c  N st    39    207079       380      1696         0     21123      5222    252368   no data   no data  --
82.98/20.88	c  N st    40    237736       380      1696         0     31257      5222    434877   no data   no data  --
82.98/20.88	c  S st    40    237736       380      1696         0     31257      5222    434877   no data   no data  --
83.39/20.96	c  S st    40    238240       380      1696         0     31757      5222    444763   no data   no data  --
83.39/20.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
83.39/20.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
83.39/20.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
83.39/20.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
83.39/20.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.39/20.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    380 time:  0.00 s
83.39/20.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
89.33/22.46	c lits-rem:      1030  cl-subs:     3003  v-elim:      0  v-fix:    0  time:  5.90 s
89.33/22.46	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
89.33/22.47	c vivif2 --  cl tried    28754 cl shrink        0 lits rem          0 time: 0.02
89.33/22.49	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.10
89.33/22.49	c calculated reachability. Time: 0.00
89.33/22.49	c  N st    40    238240       380      1696         0     28754      5222    387790   no data   no data  --
119.65/30.08	c  F st    41    306253       380      1696         0     30976      5222    395604   no data   no data  --
119.65/30.08	c  N st    41    306253       380      1696         0     30976      5222    395604   no data   no data  --
122.05/30.64	c Decided on static restart strategy
132.81/33.38	c  N st    51    334559       380      1696         0     35165      5222    475337   no data   no data  --
143.58/36.03	c  N st    53    357360       380      1696         0     33000      5222    415447   no data   no data  --
143.58/36.03	c  S st    53    357360       380      1696         0     33000      5222    415447   no data   no data  --
143.98/36.11	c  S st    53    357863       380      1696         0     33499      5222    425580   no data   no data  --
143.98/36.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
143.98/36.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
143.98/36.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
143.98/36.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
143.98/36.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
143.98/36.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    380 time:  0.00 s
143.98/36.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
148.80/37.40	c lits-rem:       636  cl-subs:     1187  v-elim:      0  v-fix:    0  time:  5.04 s
148.80/37.40	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
148.80/37.41	c vivif2 --  cl tried    32312 cl shrink        0 lits rem          0 time: 0.02
149.20/37.43	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.10
149.20/37.44	c calculated reachability. Time: 0.00
149.20/37.44	c  N st    53    357863       380      1696         0     32312      5222    402541   no data   no data  --
163.52/41.05	c  N st    54    390256       380      1696         0     38417      5222    515152   no data   no data  --
191.04/47.92	c  N st    55    438845       380      1696         0     32130      5222    353358   no data   no data  --
228.93/57.42	c  N st    56    511728       380      1696         0     45533      5222    597175   no data   no data  --
241.69/60.67	c  N st    57    536796       380      1696         0     39852      5222    482297   no data   no data  --
241.69/60.67	c  S st    57    536796       380      1696         0     39852      5222    482297   no data   no data  --
242.09/60.77	c  S st    57    537299       380      1696         0     40351      5222    492400   no data   no data  --
242.09/60.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
242.09/60.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
242.09/60.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
242.50/60.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
242.50/60.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
242.50/60.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    380 time:  0.00 s
242.50/60.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
248.48/62.35	c lits-rem:      1297  cl-subs:     1953  v-elim:      0  v-fix:    0  time:  6.18 s
248.48/62.35	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
248.48/62.36	c vivif2 --  cl tried    38398 cl shrink        0 lits rem          0 time: 0.02
248.48/62.39	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.13
248.48/62.39	c calculated reachability. Time: 0.00
248.48/62.39	c  N st    57    537299       380      1696         0     38398      5222    457376   no data   no data  --
348.60/87.44	c  N st    58    701283       380      1696         0     67353      5222    981579   no data   no data  --
419.21/105.13	c  N st    59    805950       380      1696         0     61276      5222    819432   no data   no data  --
419.21/105.13	c  S st    59    805950       380      1696         0     61276      5222    819432   no data   no data  --
420.01/105.31	c  S st    59    806454       380      1696         0     61778      5222    829712   no data   no data  --
420.01/105.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
420.01/105.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
420.01/105.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
420.01/105.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
420.01/105.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
420.01/105.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    380 time:  0.00 s
420.01/105.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
433.17/108.67	c lits-rem:      2178  cl-subs:     5945  v-elim:      0  v-fix:    0  time: 13.19 s
433.17/108.67	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
433.17/108.68	c vivif2 --  cl tried    55833 cl shrink        0 lits rem          0 time: 0.04
433.57/108.73	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.22
433.57/108.73	c calculated reachability. Time: 0.00
433.57/108.73	c  N st    59    806454       380      1696         0     55833      5222    728528   no data   no data  --
627.83/157.42	c  F st    60   1071875       380      1696         0     71803      5222    996934   no data   no data  --
627.83/157.42	c  N st    60   1071875       380      1696         0     71803      5222    996934   no data   no data  --
633.41/158.86	c Decided on static restart strategy
651.76/163.49	c  N st    70   1100181       380      1696         0     55740      5222    661089   no data   no data  --
686.07/172.03	c  N st    72   1136178       380      1696         0     46084      5222    440261   no data   no data  --
712.39/178.66	c  N st    73   1168570       380      1696         0     77321      5222   1082133   no data   no data  --
751.88/188.57	c  N st    74   1209682       380      1696         0     71626      5222    928608   no data   no data  --
751.88/188.57	c  S st    74   1209682       380      1696         0     71626      5222    928608   no data   no data  --
753.08/188.85	c  S st    74   1210184       380      1696         0     72126      5222    938905   no data   no data  --
753.08/188.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
753.08/188.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
753.08/188.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.14
753.48/188.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
753.48/188.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
753.48/188.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    380 time:  0.00 s
753.48/188.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
771.03/193.39	c lits-rem:      1160  cl-subs:     4379  v-elim:      0  v-fix:    0  time: 17.79 s
771.03/193.39	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
771.43/193.40	c vivif2 --  cl tried    67747 cl shrink        0 lits rem          0 time: 0.05
771.43/193.51	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.41
771.87/193.51	c calculated reachability. Time: 0.00
771.87/193.51	c  N st    74   1210184       380      1696         0     67747      5222    865072   no data   no data  --
843.22/211.49	c  N st    75   1283067       380      1696         0     92058      5222   1377160   no data   no data  --
947.77/237.69	c  N st    76   1392391       380      1696         0     52554      5222    505432   no data   no data  --
1089.33/273.11	c  N st    77   1556375       380      1696         0     57369      5222    569267   no data   no data  --
1242.88/311.64	c  N st    78   1710185       380      1696         0     98190      5222   1322127   no data   no data  --
1242.88/311.64	c  S st    78   1710185       380      1696         0     98190      5222   1322127   no data   no data  --
1244.08/311.99	c  S st    78   1710688       380      1696         0     98691      5222   1332943   no data   no data  --
1244.48/312.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1244.48/312.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1244.48/312.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.21
1244.88/312.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1244.88/312.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1244.88/312.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    380 time:  0.00 s
1244.88/312.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1281.97/321.42	c lits-rem:       402  cl-subs:    14406  v-elim:      0  v-fix:    0  time: 37.14 s
1281.97/321.42	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
1281.97/321.43	c vivif2 --  cl tried    84285 cl shrink        0 lits rem          0 time: 0.06
1282.37/321.55	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.47
1282.37/321.55	c calculated reachability. Time: 0.00
1282.37/321.55	c  N st    78   1710688       380      1696         0     84285      5222   1086889   no data   no data  --
1665.70/417.64	c  N st    79   2079652       380      1696         0     96172      5222   1178015   no data   no data  --
1812.48/454.40	c  N st    80   2210688       380      1696         0    100117      5222   1244952   no data   no data  --
1812.48/454.40	c  S st    80   2210688       380      1696         0    100117      5222   1244952   no data   no data  --
1813.68/454.73	c  S st    80   2211192       380      1696         0    100618      5222   1255382   no data   no data  --
1813.68/454.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1813.68/454.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1813.68/454.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1814.08/454.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1814.08/454.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1814.08/454.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    380 time:  0.00 s
1814.08/454.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1845.58/462.79	c lits-rem:      1270  cl-subs:    14795  v-elim:      0  v-fix:    0  time: 31.77 s
1845.58/462.79	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
1845.98/462.80	c vivif2 --  cl tried    85823 cl shrink        0 lits rem          0 time: 0.06
1846.38/462.92	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.47
1846.38/462.92	c calculated reachability. Time: 0.00
1846.38/462.92	c  N st    80   2211192       380      1696         0     85823      5222   1011241   no data   no data  --
2400.40/601.87	c  N st    81   2711195       380      1696         0    109092      5222   1376833   no data   no data  --
2400.40/601.87	c  S st    81   2711195       380      1696         0    109092      5222   1376833   no data   no data  --
2402.39/602.35	c  S st    81   2711700       380      1696         0    109596      5222   1387781   no data   no data  --
2402.39/602.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2402.39/602.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2402.79/602.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.25
2402.79/602.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2402.79/602.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2402.79/602.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    380 time:  0.00 s
2402.79/602.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2448.32/613.89	c lits-rem:      1114  cl-subs:    13843  v-elim:      0  v-fix:    0  time: 45.50 s
2448.32/613.89	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
2448.66/613.90	c vivif2 --  cl tried    95753 cl shrink        0 lits rem          0 time: 0.06
2449.06/614.04	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.54
2449.06/614.04	c calculated reachability. Time: 0.00
2449.06/614.04	c  N st    81   2711700       380      1696         0     95753      5222   1157391   no data   no data  --
3039.39/762.09	c  N st    82   3211702       380      1696         0    147360      5222   2050208   no data   no data  --
3039.39/762.09	c  S st    82   3211702       380      1696         0    147360      5222   2050208   no data   no data  --
3041.77/762.64	c  S st    82   3212207       380      1696         0    147863      5222   2060728   no data   no data  --
3041.77/762.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3041.77/762.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3042.17/762.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.30
3042.57/762.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3042.57/762.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3042.57/762.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    380 time:  0.00 s
3042.57/762.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3143.07/788.07	c lits-rem:       956  cl-subs:    26753  v-elim:      0  v-fix:    0  time: 100.76 s
3143.07/788.07	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
3143.07/788.09	c vivif2 --  cl tried   121110 cl shrink        0 lits rem          0 time: 0.09
3143.87/788.29	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.80
3143.87/788.29	c calculated reachability. Time: 0.00
3143.87/788.29	c  N st    82   3212207       380      1696         0    121110      5222   1629220   no data   no data  --
3748.15/939.76	c  N st    83   3712207       380      1696         0    138742      5222   1869380   no data   no data  --
3748.15/939.76	c  S st    83   3712207       380      1696         0    138742      5222   1869380   no data   no data  --
3750.15/940.26	c  S st    83   3712712       380      1696         0    139245      5222   1880143   no data   no data  --
3750.15/940.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3750.15/940.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3750.55/940.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.27
3750.55/940.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3750.55/940.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3750.55/940.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    380 time:  0.00 s
3750.55/940.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3822.72/958.40	c lits-rem:       419  cl-subs:    16690  v-elim:      0  v-fix:    0  time: 71.75 s
3822.72/958.40	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
3822.72/958.42	c vivif2 --  cl tried   122555 cl shrink        0 lits rem          0 time: 0.09
3823.53/958.60	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.73
3823.53/958.61	c calculated reachability. Time: 0.00
3823.53/958.61	c  N st    83   3712712       380      1696         0    122555      5222   1595014   no data   no data  --
3876.58/971.95	c  F st    84   3751564       380      1696         0    160148      5222   2374555   no data   no data  --
3876.58/971.95	c  N st    84   3751564       380      1696         0    160148      5222   2374555   no data   no data  --
3885.35/974.18	c Decided on static restart strategy
3911.68/980.77	c  N st    94   3779870       380      1696         0    106918      5222   1217724   no data   no data  --
3968.31/994.90	c  N st    96   3815862       380      1696         0    141386      5222   1861961   no data   no data  --
4016.17/1006.97	c  N st    97   3848255       380      1696         0     90911      5222    871766   no data   no data  --
4075.65/1021.83	c  N st    98   3896843       380      1696         0    137512      5222   1807017   no data   no data  --
4173.72/1046.50	c  N st    99   3969725       380      1696         0    125478      5222   1564877   no data   no data  --
4332.08/1086.14	c  N st   100   4079049       380      1696         0    147233      5222   2008616   no data   no data  --
4515.93/1132.22	c  N st   101   4212713       380      1696         0    105052      5222   1116827   no data   no data  --
4515.93/1132.22	c  S st   101   4212713       380      1696         0    105052      5222   1116827   no data   no data  --
4517.53/1132.64	c  S st   101   4213215       380      1696         0    105553      5222   1128048   no data   no data  --
4517.53/1132.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4517.53/1132.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4517.93/1132.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.24
4517.93/1132.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4517.93/1132.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4517.93/1132.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    380 time:  0.00 s
4517.93/1132.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4540.27/1138.33	c lits-rem:      1351  cl-subs:     5887  v-elim:      0  v-fix:    0  time: 22.25 s
4540.27/1138.33	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
4540.27/1138.35	c vivif2 --  cl tried    99666 cl shrink        0 lits rem          0 time: 0.07
4541.11/1138.54	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.74
4541.11/1138.54	c calculated reachability. Time: 0.00
4541.11/1138.54	c  N st   101   4213215       380      1696         0     99666      5222   1033237   no data   no data  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368747-1305402165/watcher-3368747-1305402165 -o /tmp/evaluation-result-3368747-1305402165/solver-3368747-1305402165 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368747-1305402165.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.45 7.96 8.04 2/354 28375
/proc/meminfo: memFree=24019684/32951124 swapFree=56449224/67111528
[pid=28375] ppid=28373 vsize=51236 CPUtime=0.02 cores=0,2,4,6
/proc/28375/stat : 28375 (strangenight1-m) R 28373 28375 28046 0 -1 4202496 412 0 0 0 2 0 0 0 22 0 4 0 651816847 52465664 353 33554432000 4194304 4650419 140736973488080 18446744073709551615 47505391294386 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28375/statm: 12809 353 303 112 0 7774 0
[pid=28375/tid=28376] ppid=28373 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28375/task/28376/stat : 28376 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 651816847 52465664 353 33554432000 4194304 4650419 140736973488080 18446744073709551615 47505391294384 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28375/tid=28377] ppid=28373 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28375/task/28377/stat : 28377 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 651816847 52465664 353 33554432000 4194304 4650419 140736973488080 18446744073709551615 47505391294386 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28375/tid=28378] ppid=28373 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28375/task/28378/stat : 28378 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 651816847 52465664 353 33554432000 4194304 4650419 140736973488080 18446744073709551615 253640915953 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0751719 s]
/proc/loadavg: 7.45 7.96 8.04 2/354 28375
/proc/meminfo: memFree=24019684/32951124 swapFree=56449224/67111528
[pid=28375] ppid=28373 vsize=282500 CPUtime=0.27 cores=0,2,4,6
/proc/28375/stat : 28375 (strangenight1-m) R 28373 28375 28046 0 -1 4202496 1434 0 0 0 27 0 0 0 18 0 4 0 651816847 289280000 1314 33554432000 4194304 4650419 140736973488080 18446744073709551615 4328275 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28375/statm: 70625 1315 391 112 0 65590 0
[pid=28375/tid=28376] ppid=28373 vsize=282500 CPUtime=0.07 cores=0,2,4,6
/proc/28375/task/28376/stat : 28376 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 295 0 0 0 7 0 0 0 18 0 4 0 651816847 289280000 1315 33554432000 4194304 4650419 140736973488080 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28375/tid=28377] ppid=28373 vsize=282500 CPUtime=0.06 cores=0,2,4,6
/proc/28375/task/28377/stat : 28377 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 237 0 0 0 6 0 0 0 18 0 4 0 651816847 289280000 1315 33554432000 4194304 4650419 140736973488080 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28375/tid=28378] ppid=28373 vsize=282500 CPUtime=0.05 cores=0,2,4,6
/proc/28375/task/28378/stat : 28378 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 174 0 0 0 5 0 0 0 25 0 4 0 651816847 289280000 1315 33554432000 4194304 4650419 140736973488080 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 282500

[startup+0.101167 s]
/proc/loadavg: 7.45 7.96 8.04 2/354 28375
/proc/meminfo: memFree=24019684/32951124 swapFree=56449224/67111528
[pid=28375] ppid=28373 vsize=282500 CPUtime=0.37 cores=0,2,4,6
/proc/28375/stat : 28375 (strangenight1-m) R 28373 28375 28046 0 -1 4202496 1551 0 0 0 37 0 0 0 18 0 4 0 651816847 289280000 1431 33554432000 4194304 4650419 140736973488080 18446744073709551615 4364645 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28375/statm: 70625 1431 391 112 0 65590 0
[pid=28375/tid=28376] ppid=28373 vsize=282500 CPUtime=0.09 cores=0,2,4,6
/proc/28375/task/28376/stat : 28376 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 324 0 0 0 9 0 0 0 18 0 4 0 651816847 289280000 1431 33554432000 4194304 4650419 140736973488080 18446744073709551615 4363883 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28375/tid=28377] ppid=28373 vsize=282500 CPUtime=0.09 cores=0,2,4,6
/proc/28375/task/28377/stat : 28377 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 270 0 0 0 9 0 0 0 18 0 4 0 651816847 289280000 1431 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28375/tid=28378] ppid=28373 vsize=282500 CPUtime=0.08 cores=0,2,4,6
/proc/28375/task/28378/stat : 28378 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 202 0 0 0 8 0 0 0 25 0 4 0 651816847 289280000 1431 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282500

[startup+0.301131 s]
/proc/loadavg: 7.45 7.96 8.04 2/354 28375
/proc/meminfo: memFree=24019684/32951124 swapFree=56449224/67111528
[pid=28375] ppid=28373 vsize=283816 CPUtime=1.17 cores=0,2,4,6
/proc/28375/stat : 28375 (strangenight1-m) R 28373 28375 28046 0 -1 4202496 2572 0 0 0 117 0 0 0 18 0 4 0 651816847 290627584 1969 33554432000 4194304 4650419 140736973488080 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28375/statm: 70954 1969 393 112 0 65919 0
[pid=28375/tid=28376] ppid=28373 vsize=283816 CPUtime=0.29 cores=0,2,4,6
/proc/28375/task/28376/stat : 28376 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 564 0 0 0 29 0 0 0 18 0 4 0 651816847 290627584 1969 33554432000 4194304 4650419 140736973488080 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28375/tid=28377] ppid=28373 vsize=283816 CPUtime=0.29 cores=0,2,4,6
/proc/28375/task/28377/stat : 28377 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 526 0 0 0 29 0 0 0 18 0 4 0 651816847 290627584 1969 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28375/tid=28378] ppid=28373 vsize=283816 CPUtime=0.28 cores=0,2,4,6
/proc/28375/task/28378/stat : 28378 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 466 0 0 0 28 0 0 0 25 0 4 0 651816847 290627584 1969 33554432000 4194304 4650419 140736973488080 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283816

[startup+0.70106 s]
/proc/loadavg: 7.45 7.96 8.04 2/354 28375
/proc/meminfo: memFree=24019684/32951124 swapFree=56449224/67111528
[pid=28375] ppid=28373 vsize=285188 CPUtime=2.77 cores=0,2,4,6
/proc/28375/stat : 28375 (strangenight1-m) R 28373 28375 28046 0 -1 4202496 4511 0 0 0 276 1 0 0 18 0 4 0 651816847 292032512 2248 33554432000 4194304 4650419 140736973488080 18446744073709551615 4334017 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28375/statm: 71297 2248 393 112 0 66262 0
[pid=28375/tid=28376] ppid=28373 vsize=285188 CPUtime=0.69 cores=0,2,4,6
/proc/28375/task/28376/stat : 28376 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 1080 0 0 0 69 0 0 0 18 0 4 0 651816847 292032512 2248 33554432000 4194304 4650419 140736973488080 18446744073709551615 4349694 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28375/tid=28377] ppid=28373 vsize=285188 CPUtime=0.69 cores=0,2,4,6
/proc/28375/task/28377/stat : 28377 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 1013 0 0 0 69 0 0 0 18 0 4 0 651816847 292032512 2248 33554432000 4194304 4650419 140736973488080 18446744073709551615 4316026 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28375/tid=28378] ppid=28373 vsize=285188 CPUtime=0.68 cores=0,2,4,6
/proc/28375/task/28378/stat : 28378 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 903 0 0 0 68 0 0 0 25 0 4 0 651816847 292032512 2248 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285188

[startup+1.50091 s]
/proc/loadavg: 7.45 7.96 8.04 10/365 28387
/proc/meminfo: memFree=23997844/32951124 swapFree=56449224/67111528
[pid=28375] ppid=28373 vsize=277180 CPUtime=5.95 cores=0,2,4,6
/proc/28375/stat : 28375 (strangenight1-m) R 28373 28375 28046 0 -1 4202496 7850 0 0 0 594 1 0 0 20 0 4 0 651816847 283832320 4127 33554432000 4194304 4650419 140736973488080 18446744073709551615 4363510 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28375/statm: 69295 4127 395 112 0 64260 0
[pid=28375/tid=28376] ppid=28373 vsize=277180 CPUtime=1.49 cores=0,2,4,6
/proc/28375/task/28376/stat : 28376 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 1617 0 0 0 149 0 0 0 19 0 4 0 651816847 283832320 4127 33554432000 4194304 4650419 140736973488080 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28375/tid=28377] ppid=28373 vsize=277180 CPUtime=1.49 cores=0,2,4,6
/proc/28375/task/28377/stat : 28377 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 1736 0 0 0 149 0 0 0 20 0 4 0 651816847 283832320 4127 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28375/tid=28378] ppid=28373 vsize=277180 CPUtime=1.47 cores=0,2,4,6
/proc/28375/task/28378/stat : 28378 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 1404 0 0 0 147 0 0 0 25 0 4 0 651816847 283832320 4127 33554432000 4194304 4650419 140736973488080 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 277180

[startup+3.10062 s]
/proc/loadavg: 7.45 7.96 8.04 9/365 28387
/proc/meminfo: memFree=23962876/32951124 swapFree=56449224/67111528
[pid=28375] ppid=28373 vsize=290500 CPUtime=12.34 cores=0,2,4,6
/proc/28375/stat : 28375 (strangenight1-m) R 28373 28375 28046 0 -1 4202496 14756 0 0 0 1232 2 0 0 25 0 4 0 651816847 297472000 8429 33554432000 4194304 4650419 140736973488080 18446744073709551615 4341607 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28375/statm: 74864 8430 395 112 0 69829 0
[pid=28375/tid=28376] ppid=28373 vsize=299456 CPUtime=3.09 cores=0,2,4,6
/proc/28375/task/28376/stat : 28376 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 3693 0 0 0 309 0 0 0 25 0 4 0 651816847 306642944 8430 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28375/tid=28377] ppid=28373 vsize=299456 CPUtime=3.08 cores=0,2,4,6
/proc/28375/task/28377/stat : 28377 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 3602 0 0 0 308 0 0 0 25 0 4 0 651816847 306642944 8430 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365453 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28375/tid=28378] ppid=28373 vsize=299456 CPUtime=3.05 cores=0,2,4,6
/proc/28375/task/28378/stat : 28378 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 3380 0 0 0 305 0 0 0 25 0 4 0 651816847 306642944 8430 33554432000 4194304 4650419 140736973488080 18446744073709551615 4349680 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 290500

[startup+6.30104 s]
/proc/loadavg: 7.49 7.96 8.04 9/365 28387
/proc/meminfo: memFree=23929400/32951124 swapFree=56449224/67111528
[pid=28375] ppid=28373 vsize=305588 CPUtime=25.11 cores=0,2,4,6
/proc/28375/stat : 28375 (strangenight1-m) R 28373 28375 28046 0 -1 4202496 22658 0 0 0 2507 4 0 0 25 0 4 0 651816847 312922112 11923 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28375/statm: 76397 11923 395 112 0 71362 0
[pid=28375/tid=28376] ppid=28373 vsize=305588 CPUtime=6.28 cores=0,2,4,6
/proc/28375/task/28376/stat : 28376 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 6172 0 0 0 628 0 0 0 25 0 4 0 651816847 312922112 11923 33554432000 4194304 4650419 140736973488080 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28375/tid=28377] ppid=28373 vsize=305588 CPUtime=6.29 cores=0,2,4,6
/proc/28375/task/28377/stat : 28377 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 5759 0 0 0 628 1 0 0 25 0 4 0 651816847 312922112 11923 33554432000 4194304 4650419 140736973488080 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28375/tid=28378] ppid=28373 vsize=305588 CPUtime=6.21 cores=0,2,4,6
/proc/28375/task/28378/stat : 28378 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 4785 0 0 0 621 0 0 0 25 0 4 0 651816847 312922112 11923 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 305588

[startup+12.7009 s]
/proc/loadavg: 7.53 7.96 8.04 9/365 28388
/proc/meminfo: memFree=23880704/32951124 swapFree=56449224/67111528
[pid=28375] ppid=28373 vsize=306100 CPUtime=50.64 cores=0,2,4,6
/proc/28375/stat : 28375 (strangenight1-m) R 28373 28375 28046 0 -1 4202496 34205 0 0 0 5058 6 0 0 25 0 4 0 651816847 313446400 17556 33554432000 4194304 4650419 140736973488080 18446744073709551615 4439366 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28375/statm: 76525 17556 395 112 0 71490 0
[pid=28375/tid=28376] ppid=28373 vsize=306100 CPUtime=12.69 cores=0,2,4,6
/proc/28375/task/28376/stat : 28376 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 8238 0 0 0 1268 1 0 0 25 0 4 0 651816847 313446400 17556 33554432000 4194304 4650419 140736973488080 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28375/tid=28377] ppid=28373 vsize=306100 CPUtime=12.69 cores=0,2,4,6
/proc/28375/task/28377/stat : 28377 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 8586 0 0 0 1268 1 0 0 25 0 4 0 651816847 313446400 17556 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365313 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28375/tid=28378] ppid=28373 vsize=306100 CPUtime=12.54 cores=0,2,4,6
/proc/28375/task/28378/stat : 28378 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 7420 0 0 0 1253 1 0 0 25 0 4 0 651816847 313446400 17556 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 306100

[startup+25.5005 s]
/proc/loadavg: 7.72 7.98 8.05 9/365 28388
/proc/meminfo: memFree=23845960/32951124 swapFree=56449224/67111528
[pid=28375] ppid=28373 vsize=305940 CPUtime=101.69 cores=0,2,4,6
/proc/28375/stat : 28375 (strangenight1-m) R 28373 28375 28046 0 -1 4202496 51050 0 0 0 10160 9 0 0 25 0 4 0 651816847 313282560 21687 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28375/statm: 76485 21687 395 112 0 71450 0
[pid=28375/tid=28376] ppid=28373 vsize=305940 CPUtime=25.49 cores=0,2,4,6
/proc/28375/task/28376/stat : 28376 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 12674 0 0 0 2548 1 0 0 25 0 4 0 651816847 313282560 21687 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28375/tid=28377] ppid=28373 vsize=305940 CPUtime=25.48 cores=0,2,4,6
/proc/28375/task/28377/stat : 28377 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 13583 0 0 0 2547 1 0 0 25 0 4 0 651816847 313282560 21687 33554432000 4194304 4650419 140736973488080 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28375/tid=28378] ppid=28373 vsize=305940 CPUtime=25.2 cores=0,2,4,6
/proc/28375/task/28378/stat : 28378 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 11255 0 0 0 2518 2 0 0 25 0 4 0 651816847 313282560 21687 33554432000 4194304 4650419 140736973488080 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 305940

[startup+51.1009 s]
/proc/loadavg: 7.81 7.98 8.05 9/365 28389
/proc/meminfo: memFree=23804616/32951124 swapFree=56449224/67111528
[pid=28375] ppid=28373 vsize=320988 CPUtime=203.8 cores=0,2,4,6
/proc/28375/stat : 28375 (strangenight1-m) R 28373 28375 28046 0 -1 4202496 77868 0 0 0 20365 15 0 0 25 0 4 0 651816847 328691712 26626 33554432000 4194304 4650419 140736973488080 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28375/statm: 80247 26626 395 112 0 75212 0
[pid=28375/tid=28376] ppid=28373 vsize=320988 CPUtime=51.09 cores=0,2,4,6
/proc/28375/task/28376/stat : 28376 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 20142 0 0 0 5106 3 0 0 25 0 4 0 651816847 328691712 26626 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28375/tid=28377] ppid=28373 vsize=320988 CPUtime=51.08 cores=0,2,4,6
/proc/28375/task/28377/stat : 28377 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 21514 0 0 0 5105 3 0 0 25 0 4 0 651816847 328691712 26626 33554432000 4194304 4650419 140736973488080 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28375/tid=28378] ppid=28373 vsize=320988 CPUtime=50.52 cores=0,2,4,6
/proc/28375/task/28378/stat : 28378 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 14972 0 0 0 5049 3 0 0 25 0 4 0 651816847 328691712 26626 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 320988

[startup+102.314 s]
/proc/loadavg: 8.03 8.01 8.05 9/365 28390
/proc/meminfo: memFree=23755128/32951124 swapFree=56449224/67111528
[pid=28375] ppid=28373 vsize=328900 CPUtime=408.09 cores=0,2,4,6
/proc/28375/stat : 28375 (strangenight1-m) R 28373 28375 28046 0 -1 4202496 124085 0 0 0 40781 28 0 0 25 0 4 0 651816847 336793600 32003 33554432000 4194304 4650419 140736973488080 18446744073709551615 4363444 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28375/statm: 82225 32003 395 112 0 77190 0
[pid=28375/tid=28376] ppid=28373 vsize=328900 CPUtime=102.3 cores=0,2,4,6
/proc/28375/task/28376/stat : 28376 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 32487 0 0 0 10223 7 0 0 25 0 4 0 651816847 336793600 32003 33554432000 4194304 4650419 140736973488080 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28375/tid=28377] ppid=28373 vsize=328900 CPUtime=102.28 cores=0,2,4,6
/proc/28375/task/28377/stat : 28377 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 34015 0 0 0 10222 6 0 0 25 0 4 0 651816847 336793600 32003 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28375/tid=28378] ppid=28373 vsize=328900 CPUtime=101.17 cores=0,2,4,6
/proc/28375/task/28378/stat : 28378 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 24211 0 0 0 10111 6 0 0 25 0 4 0 651816847 336793600 32003 33554432000 4194304 4650419 140736973488080 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.09
Current children cumulated vsize (KiB) 328900

[startup+162.301 s]

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

[pid=28375] ppid=28373 vsize=576132 CPUtime=2801.26 cores=0,2,4,6
/proc/28375/stat : 28375 (strangenight1-m) R 28373 28375 28046 0 -1 4202496 393931 0 0 0 280004 122 0 0 25 0 4 0 651816847 589959168 85101 33554432000 4194304 4650419 140736973488080 18446744073709551615 4333767 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28375/statm: 144033 85101 395 112 0 138998 0
[pid=28375/tid=28376] ppid=28373 vsize=576132 CPUtime=702.31 cores=0,2,4,6
/proc/28375/task/28376/stat : 28376 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 105557 0 0 0 70199 32 0 0 25 0 4 0 651816847 589959168 85101 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28375/tid=28377] ppid=28373 vsize=576132 CPUtime=702.18 cores=0,2,4,6
/proc/28375/task/28377/stat : 28377 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 107455 0 0 0 70188 30 0 0 25 0 4 0 651816847 589959168 85101 33554432000 4194304 4650419 140736973488080 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28375/tid=28378] ppid=28373 vsize=576132 CPUtime=694.43 cores=0,2,4,6
/proc/28375/task/28378/stat : 28378 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 72541 0 0 0 69417 26 0 0 25 0 4 0 651816847 589959168 85101 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2801.26
Current children cumulated vsize (KiB) 576132

[startup+762.314 s]
/proc/loadavg: 8.07 8.09 8.07 9/365 28408
/proc/meminfo: memFree=23336416/32951124 swapFree=56449224/67111528
[pid=28375] ppid=28373 vsize=576388 CPUtime=3040.62 cores=0,2,4,6
/proc/28375/stat : 28375 (strangenight1-m) R 28373 28375 28046 0 -1 4202496 405770 0 0 0 303935 127 0 0 25 0 4 0 651816847 590221312 86729 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28375/statm: 144097 86729 395 112 0 139062 0
[pid=28375/tid=28376] ppid=28373 vsize=576388 CPUtime=762.32 cores=0,2,4,6
/proc/28375/task/28376/stat : 28376 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 108829 0 0 0 76198 34 0 0 25 0 4 0 651816847 590221312 86729 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28375/tid=28377] ppid=28373 vsize=576388 CPUtime=762.18 cores=0,2,4,6
/proc/28375/task/28377/stat : 28377 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 111277 0 0 0 76187 31 0 0 25 0 4 0 651816847 590221312 86729 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28375/tid=28378] ppid=28373 vsize=576388 CPUtime=753.77 cores=0,2,4,6
/proc/28375/task/28378/stat : 28378 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 74794 0 0 0 75350 27 0 0 25 0 4 0 651816847 590221312 86729 33554432000 4194304 4650419 140736973488080 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3040.62
Current children cumulated vsize (KiB) 576388

[startup+822.301 s]
/proc/loadavg: 8.07 8.08 8.07 9/365 28409
/proc/meminfo: memFree=23302412/32951124 swapFree=56449224/67111528
[pid=28375] ppid=28373 vsize=551644 CPUtime=3279.88 cores=0,2,4,6
/proc/28375/stat : 28375 (strangenight1-m) R 28373 28375 28046 0 -1 4202496 420960 0 0 0 327855 133 0 0 25 0 4 0 651816847 564883456 92299 33554432000 4194304 4650419 140736973488080 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28375/statm: 137911 92299 395 112 0 132876 0
[pid=28375/tid=28376] ppid=28373 vsize=551644 CPUtime=822.32 cores=0,2,4,6
/proc/28375/task/28376/stat : 28376 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 111714 0 0 0 82196 36 0 0 25 0 4 0 651816847 564883456 92299 33554432000 4194304 4650419 140736973488080 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28375/tid=28377] ppid=28373 vsize=551644 CPUtime=822.17 cores=0,2,4,6
/proc/28375/task/28377/stat : 28377 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 113197 0 0 0 82185 32 0 0 25 0 4 0 651816847 564883456 92299 33554432000 4194304 4650419 140736973488080 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28375/tid=28378] ppid=28373 vsize=551644 CPUtime=813.08 cores=0,2,4,6
/proc/28375/task/28378/stat : 28378 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 79441 0 0 0 81278 30 0 0 25 0 4 0 651816847 564883456 92299 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3279.88
Current children cumulated vsize (KiB) 551644

[startup+882.301 s]
/proc/loadavg: 8.02 8.07 8.06 9/365 28411
/proc/meminfo: memFree=23287768/32951124 swapFree=56449224/67111528
[pid=28375] ppid=28373 vsize=564236 CPUtime=3519.2 cores=0,2,4,6
/proc/28375/stat : 28375 (strangenight1-m) R 28373 28375 28046 0 -1 4202496 435516 0 0 0 351781 139 0 0 25 0 4 0 651816847 577777664 95938 33554432000 4194304 4650419 140736973488080 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28375/statm: 141059 95938 395 112 0 136024 0
[pid=28375/tid=28376] ppid=28373 vsize=564236 CPUtime=882.32 cores=0,2,4,6
/proc/28375/task/28376/stat : 28376 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 118686 0 0 0 88193 39 0 0 25 0 4 0 651816847 577777664 95938 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28375/tid=28377] ppid=28373 vsize=564236 CPUtime=882.15 cores=0,2,4,6
/proc/28375/task/28377/stat : 28377 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 114513 0 0 0 88183 32 0 0 25 0 4 0 651816847 577777664 95938 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28375/tid=28378] ppid=28373 vsize=564236 CPUtime=872.4 cores=0,2,4,6
/proc/28375/task/28378/stat : 28378 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 82905 0 0 0 87209 31 0 0 25 0 4 0 651816847 577777664 95938 33554432000 4194304 4650419 140736973488080 18446744073709551615 4313331 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3519.2
Current children cumulated vsize (KiB) 564236

[startup+942.301 s]
/proc/loadavg: 8.07 8.07 8.06 9/365 28412
/proc/meminfo: memFree=23304000/32951124 swapFree=56449224/67111528
[pid=28375] ppid=28373 vsize=584188 CPUtime=3758.53 cores=0,2,4,6
/proc/28375/stat : 28375 (strangenight1-m) R 28373 28375 28046 0 -1 4202496 445470 0 0 0 375708 145 0 0 25 0 4 0 651816847 598208512 89964 33554432000 4194304 4650419 140736973488080 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28375/statm: 146047 89964 395 112 0 141012 0
[pid=28375/tid=28376] ppid=28373 vsize=584188 CPUtime=942.31 cores=0,2,4,6
/proc/28375/task/28376/stat : 28376 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 121791 0 0 0 94191 40 0 0 25 0 4 0 651816847 598208512 89964 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28375/tid=28377] ppid=28373 vsize=584188 CPUtime=942.14 cores=0,2,4,6
/proc/28375/task/28377/stat : 28377 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 117343 0 0 0 94180 34 0 0 25 0 4 0 651816847 598208512 89964 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28375/tid=28378] ppid=28373 vsize=584188 CPUtime=931.73 cores=0,2,4,6
/proc/28375/task/28378/stat : 28378 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 84043 0 0 0 93141 32 0 0 25 0 4 0 651816847 598208512 89964 33554432000 4194304 4650419 140736973488080 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3758.53
Current children cumulated vsize (KiB) 584188

[startup+1002.3 s]
/proc/loadavg: 8.06 8.07 8.06 9/365 28414
/proc/meminfo: memFree=23293188/32951124 swapFree=56449224/67111528
[pid=28375] ppid=28373 vsize=570544 CPUtime=3997.83 cores=0,2,4,6
/proc/28375/stat : 28375 (strangenight1-m) R 28373 28375 28046 0 -1 4202496 459471 0 0 0 399631 152 0 0 25 0 4 0 651816847 584237056 92287 33554432000 4194304 4650419 140736973488080 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28375/statm: 142636 92287 395 112 0 137601 0
[pid=28375/tid=28376] ppid=28373 vsize=570544 CPUtime=1002.32 cores=0,2,4,6
/proc/28375/task/28376/stat : 28376 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 125923 0 0 0 100189 43 0 0 25 0 4 0 651816847 584237056 92287 33554432000 4194304 4650419 140736973488080 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28375/tid=28377] ppid=28373 vsize=570544 CPUtime=1002.14 cores=0,2,4,6
/proc/28375/task/28377/stat : 28377 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 120597 0 0 0 100178 36 0 0 25 0 4 0 651816847 584237056 92287 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28375/tid=28378] ppid=28373 vsize=570544 CPUtime=991.03 cores=0,2,4,6
/proc/28375/task/28378/stat : 28378 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 88071 0 0 0 99069 34 0 0 25 0 4 0 651816847 584237056 92287 33554432000 4194304 4650419 140736973488080 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3997.83
Current children cumulated vsize (KiB) 570544

[startup+1062.3 s]
/proc/loadavg: 8.07 8.07 8.06 9/365 28416
/proc/meminfo: memFree=23252492/32951124 swapFree=56449224/67111528
[pid=28375] ppid=28373 vsize=661820 CPUtime=4237.15 cores=0,2,4,6
/proc/28375/stat : 28375 (strangenight1-m) R 28373 28375 28046 0 -1 4202496 475497 0 0 0 423558 157 0 0 25 0 4 0 651816847 677703680 97603 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28375/statm: 165455 97603 395 112 0 160420 0
[pid=28375/tid=28376] ppid=28373 vsize=661820 CPUtime=1062.31 cores=0,2,4,6
/proc/28375/task/28376/stat : 28376 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 129023 0 0 0 106187 44 0 0 25 0 4 0 651816847 677703680 97603 33554432000 4194304 4650419 140736973488080 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28375/tid=28377] ppid=28373 vsize=661820 CPUtime=1062.13 cores=0,2,4,6
/proc/28375/task/28377/stat : 28377 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 125531 0 0 0 106175 38 0 0 25 0 4 0 651816847 677703680 97603 33554432000 4194304 4650419 140736973488080 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28375/tid=28378] ppid=28373 vsize=661820 CPUtime=1050.37 cores=0,2,4,6
/proc/28375/task/28378/stat : 28378 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 93175 0 0 0 105001 36 0 0 25 0 4 0 651816847 677703680 97603 33554432000 4194304 4650419 140736973488080 18446744073709551615 4440782 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4237.15
Current children cumulated vsize (KiB) 661820

[startup+1122.3 s]
/proc/loadavg: 8.10 8.07 8.06 9/365 28426
/proc/meminfo: memFree=23254572/32951124 swapFree=56449224/67111528
[pid=28375] ppid=28373 vsize=661912 CPUtime=4476.45 cores=0,2,4,6
/proc/28375/stat : 28375 (strangenight1-m) R 28373 28375 28046 0 -1 4202496 490965 0 0 0 447480 165 0 0 25 0 4 0 651816847 677797888 97533 33554432000 4194304 4650419 140736973488080 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28375/statm: 165478 97533 395 112 0 160443 0
[pid=28375/tid=28376] ppid=28373 vsize=661912 CPUtime=1122.31 cores=0,2,4,6
/proc/28375/task/28376/stat : 28376 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 131361 0 0 0 112186 45 0 0 25 0 4 0 651816847 677797888 97533 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28375/tid=28377] ppid=28373 vsize=661912 CPUtime=1122.11 cores=0,2,4,6
/proc/28375/task/28377/stat : 28377 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 129631 0 0 0 112172 39 0 0 25 0 4 0 651816847 677797888 97533 33554432000 4194304 4650419 140736973488080 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28375/tid=28378] ppid=28373 vsize=661912 CPUtime=1109.68 cores=0,2,4,6
/proc/28375/task/28378/stat : 28378 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 96682 0 0 0 110930 38 0 0 25 0 4 0 651816847 677797888 97533 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4476.45
Current children cumulated vsize (KiB) 661912

[startup+1182.3 s]
/proc/loadavg: 8.15 8.08 8.06 9/365 28428
/proc/meminfo: memFree=23231860/32951124 swapFree=56449224/67111528
[pid=28375] ppid=28373 vsize=656580 CPUtime=4715.75 cores=0,2,4,6
/proc/28375/stat : 28375 (strangenight1-m) R 28373 28375 28046 0 -1 4202496 505041 0 0 0 471405 170 0 0 25 0 4 0 651816847 672337920 97597 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365313 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28375/statm: 164145 97597 395 112 0 159110 0
[pid=28375/tid=28376] ppid=28373 vsize=656580 CPUtime=1182.31 cores=0,2,4,6
/proc/28375/task/28376/stat : 28376 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 135993 0 0 0 118185 46 0 0 25 0 4 0 651816847 672337920 97597 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28375/tid=28377] ppid=28373 vsize=656580 CPUtime=1182.1 cores=0,2,4,6
/proc/28375/task/28377/stat : 28377 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 131312 0 0 0 118171 39 0 0 25 0 4 0 651816847 672337920 97597 33554432000 4194304 4650419 140736973488080 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28375/tid=28378] ppid=28373 vsize=656580 CPUtime=1168.99 cores=0,2,4,6
/proc/28375/task/28378/stat : 28378 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 100847 0 0 0 116860 39 0 0 25 0 4 0 651816847 672337920 97597 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4715.75
Current children cumulated vsize (KiB) 656580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.5 s]
/proc/loadavg: 8.17 8.09 8.07 9/365 28428
/proc/meminfo: memFree=23233968/32951124 swapFree=56449224/67111528
[pid=28375] ppid=28373 vsize=656580 CPUtime=4800.34 cores=0,2,4,6
/proc/28375/stat : 28375 (strangenight1-m) R 28373 28375 28046 0 -1 4202496 508914 0 0 0 479862 172 0 0 25 0 4 0 651816847 672337920 99821 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365263 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28375/statm: 164145 99821 395 112 0 159110 0
[pid=28375/tid=28376] ppid=28373 vsize=656580 CPUtime=1203.53 cores=0,2,4,6
/proc/28375/task/28376/stat : 28376 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 137345 0 0 0 120306 47 0 0 25 0 4 0 651816847 672337920 99821 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28375/tid=28377] ppid=28373 vsize=656580 CPUtime=1203.31 cores=0,2,4,6
/proc/28375/task/28377/stat : 28377 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 132928 0 0 0 120292 39 0 0 25 0 4 0 651816847 672337920 99821 33554432000 4194304 4650419 140736973488080 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28375/tid=28378] ppid=28373 vsize=656580 CPUtime=1189.94 cores=0,2,4,6
/proc/28375/task/28378/stat : 28378 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 101752 0 0 0 118954 40 0 0 25 0 4 0 651816847 672337920 99821 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 656580

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

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

[startup+1203.5 s]
/proc/loadavg: 8.17 8.09 8.07 9/365 28428
/proc/meminfo: memFree=23233968/32951124 swapFree=56449224/67111528
[pid=28375] ppid=28373 vsize=656580 CPUtime=4800.34 cores=0,2,4,6
/proc/28375/stat : 28375 (strangenight1-m) R 28373 28375 28046 0 -1 4202496 508914 0 0 0 479862 172 0 0 25 0 4 0 651816847 672337920 99821 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365263 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28375/statm: 164145 99821 395 112 0 159110 0
[pid=28375/tid=28376] ppid=28373 vsize=656580 CPUtime=1203.53 cores=0,2,4,6
/proc/28375/task/28376/stat : 28376 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 137345 0 0 0 120306 47 0 0 25 0 4 0 651816847 672337920 99821 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28375/tid=28377] ppid=28373 vsize=656580 CPUtime=1203.31 cores=0,2,4,6
/proc/28375/task/28377/stat : 28377 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 132928 0 0 0 120292 39 0 0 25 0 4 0 651816847 672337920 99821 33554432000 4194304 4650419 140736973488080 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28375/tid=28378] ppid=28373 vsize=656580 CPUtime=1189.94 cores=0,2,4,6
/proc/28375/task/28378/stat : 28378 (strangenight1-m) R 28373 28375 28046 0 -1 4202560 101752 0 0 0 118954 40 0 0 25 0 4 0 651816847 672337920 99821 33554432000 4194304 4650419 140736973488080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 656580

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.54
CPU time (s): 4800.38
CPU user time (s): 4798.65
CPU system time (s): 1.73673
CPU usage (%): 398.857
Max. virtual memory (cumulated for all children) (KiB): 708272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.65
system time used= 1.73673
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508914
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= 356
involuntary context switches= 20065

runsolver used 4.00739 second user time and 9.59554 second system time

The end

Launcher Data 

Begin job on node106 at 2011-05-14 21:42:45
IDJOB=3368747
IDBENCH=82756
IDSOLVER=1846
FILE ID=node106/3368747-1305402165
RUNJOBID= node106-1305402164-28360
PBS_JOBID= 13324490
Free space on /tmp= 73360 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v400-c1704-S1081907273-083.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368747-1305402165/watcher-3368747-1305402165 -o /tmp/evaluation-result-3368747-1305402165/solver-3368747-1305402165 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368747-1305402165.cnf

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

MD5SUM BENCH= 4b706363c6542ff406d07bd657988d05
RANDOM SEED=1043598082

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24021312 kB
Buffers:        267672 kB
Cached:        5683796 kB
SwapCached:      27544 kB
Active:         723124 kB
Inactive:      7979616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24021312 kB
SwapTotal:    67111528 kB
SwapFree:     56449224 kB
Dirty:           10108 kB
Writeback:           0 kB
AnonPages:     2732492 kB
Mapped:           9600 kB
Slab:           113912 kB
PageTables:      47584 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 74992160 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= 73348 MiB
End job on node106 at 2011-05-14 22:02:50