Trace number 3369065

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.39 1203.94

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v150-c3195-S1650617512-037.SATISFIABLE.cnf
MD5SUM00e397e3dd3a79476fc090c9f6643f84
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.05999
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses3195
Sum of the clauses size15975
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 53195
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.20/0.11	c This is CryptoMiniSat 2.9.0
0.20/0.11	c compiled with gcc version 4.4.5
0.20/0.11	c WARNING: for repeatability, setting FPU to use double precision
0.20/0.11	c Reading file 'HOME/instance-3369065-1305411286.cnf'
0.20/0.11	c -- header says num vars:            150
0.20/0.11	c -- header says num clauses:        3195
0.20/0.11	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.20/0.11	c -- vars added        150
0.20/0.11	c Parsing time:  0.01 s
0.20/0.11	c  N st     0         0       150      3195         0         0     15975         0   no data   no data  --
0.20/0.20	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.03
0.20/0.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.20/0.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.20/0.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.20/0.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
0.20/0.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.20/0.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
0.20/0.20	c Finding binary XORs  T:     0.00 s  found:       0
0.20/0.20	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.20/0.20	c calculated reachability. Time: 0.00
0.20/0.20	c Calc default polars -  time:   0.00 s pos:      73 undec:       5 neg:      72
0.20/0.20	c =========================================================================================
0.20/0.20	c types(t): F = full restart, N = normal restart
0.20/0.20	c types(t): S = simplification begin/end, E = solution found
0.20/0.20	c restart types(rt): st = static, dy = dynamic
0.20/0.20	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.20/0.20	c  B st     0         0       150      3195         0         0     15975         0   no data   no data  --
0.20/0.20	c Decided on static restart strategy
0.20/0.25	c  N st     8      4918       150      3195         0      4686     15975    140922   no data   no data  --
0.20/0.48	c  N st    10     11302       150      3195         0      4336     15975     99516   no data   no data  --
0.20/0.69	c  N st    11     17046       150      3195         0      9841     15975    273147   no data   no data  --
3.72/1.04	c  F st    12     25002       150      3195         0     12101     15975    344381   no data   no data  --
3.72/1.04	c  N st    12     25002       150      3195         0     12101     15975    344381   no data   no data  --
4.53/1.26	c Decided on static restart strategy
4.53/1.26	c  N st    18     30001       150      3195         0     10328     15975    265576   no data   no data  --
4.53/1.26	c  S st    18     30001       150      3195         0     10328     15975    265576   no data   no data  --
4.53/1.29	c  S st    18     30506       150      3195         0     10827     15975    280149   no data   no data  --
4.53/1.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.53/1.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.53/1.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.53/1.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.53/1.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.53/1.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4.53/1.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.14/2.21	c lits-rem:      2913  cl-subs:     1156  v-elim:      0  v-fix:    0  time:  3.18 s
8.14/2.25	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.14
8.14/2.26	c calculated reachability. Time: 0.00
8.14/2.26	c  N st    18     30506       150      3195         0      9671     15975    237889   no data   no data  --
9.45/2.61	c  N st    20     37618       150      3195         0      8893     15975    199432   no data   no data  --
10.49/2.96	c  N st    21     44018       150      3195         0     14973     15975    382243   no data   no data  --
10.85/3.06	c  S st    22     45760       150      3195         0     16620     15975    431318   no data   no data  --
11.15/3.12	c  S st    22     46264       150      3195         0      8618     15975    170532   no data   no data  --
11.15/3.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.15/3.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.15/3.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
11.15/3.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.15/3.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.15/3.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
11.15/3.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
12.18/3.43	c lits-rem:       299  cl-subs:      173  v-elim:      0  v-fix:    0  time:  1.03 s
12.18/3.43	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
12.18/3.43	c vivif2 --  cl tried     8445 cl shrink        0 lits rem          0 time: 0.00
12.18/3.47	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.15
12.18/3.47	c calculated reachability. Time: 0.00
12.18/3.47	c  N st    22     46264       150      3195         0      8445     15975    164696   no data   no data  --
15.76/4.35	c  N st    23     60662       150      3195         0     12603     15975    272839   no data   no data  --
18.15/4.95	c  N st    24     69398       150      3195         0     10497     15975    195635   no data   no data  --
18.15/4.95	c  S st    24     69398       150      3195         0     10497     15975    195635   no data   no data  --
18.15/4.98	c  S st    24     69902       150      3195         0     10992     15975    210503   no data   no data  --
18.15/4.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
18.15/4.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.15/4.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
18.15/4.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18.15/4.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.15/4.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
18.15/4.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
20.95/5.66	c lits-rem:       564  cl-subs:      242  v-elim:      0  v-fix:    0  time:  2.69 s
20.95/5.66	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
20.95/5.67	c vivif2 --  cl tried    10750 cl shrink        0 lits rem          0 time: 0.01
21.35/5.72	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.20
21.35/5.72	c calculated reachability. Time: 0.00
21.35/5.72	c  N st    24     69902       150      3195         0     10750     15975    202201   no data   no data  --
25.74/6.83	c  F st    25     87500       150      3195         0     16144     15975    356246   no data   no data  --
25.74/6.83	c  N st    25     87500       150      3195         0     16144     15975    356246   no data   no data  --
26.94/7.17	c Decided on static restart strategy
27.74/7.38	c  N st    32     95535       150      3195         0     23814     15975    590055   no data   no data  --
29.72/7.89	c  N st    34    104854       150      3195         0     20327     15975    464316   no data   no data  --
29.72/7.89	c  S st    34    104854       150      3195         0     20327     15975    464316   no data   no data  --
30.12/7.94	c  S st    34    105358       150      3195         0     20818     15975    478508   no data   no data  --
30.12/7.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
30.12/7.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
30.12/7.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
30.12/7.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
30.12/7.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
30.12/7.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
30.12/7.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
36.94/9.62	c lits-rem:      3468  cl-subs:     1392  v-elim:      0  v-fix:    0  time:  6.58 s
36.94/9.62	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
36.94/9.62	c vivif2 --  cl tried    19426 cl shrink        0 lits rem          0 time: 0.02
37.30/9.72	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.40
37.30/9.73	c calculated reachability. Time: 0.00
37.30/9.73	c  N st    34    105358       150      3195         0     19426     15975    430804   no data   no data  --
40.50/10.50	c  N st    35    114957       150      3195         0     15239     15975    307087   no data   no data  --
44.89/11.61	c  N st    36    129355       150      3195         0     14704     15975    264741   no data   no data  --
50.87/13.15	c  N st    37    150950       150      3195         0     20003     15975    407626   no data   no data  --
52.87/13.67	c  S st    38    158037       150      3195         0     26754     15975    618517   no data   no data  --
53.27/13.74	c  S st    38    158539       150      3195         0     27247     15975    633157   no data   no data  --
53.27/13.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
53.27/13.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
53.27/13.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
53.27/13.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
53.27/13.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
53.27/13.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
53.27/13.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
61.64/15.82	c lits-rem:      4220  cl-subs:     2008  v-elim:      0  v-fix:    0  time:  8.19 s
61.64/15.82	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
61.64/15.83	c vivif2 --  cl tried    25239 cl shrink        0 lits rem          0 time: 0.02
62.04/15.96	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.52
62.04/15.96	c calculated reachability. Time: 0.00
62.04/15.96	c  N st    38    158539       150      3195         0     25239     15975    561569   no data   no data  --
79.20/20.30	c  N st    39    207127       150      3195         0     20007     15975    353616   no data   no data  --
90.36/23.02	c  N st    40    237809       150      3195         0     30173     15975    647904   no data   no data  --
90.36/23.02	c  S st    40    237809       150      3195         0     30173     15975    647904   no data   no data  --
90.76/23.10	c  S st    40    238311       150      3195         0     30666     15975    662910   no data   no data  --
90.76/23.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
90.76/23.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
90.76/23.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
90.76/23.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
90.76/23.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
90.76/23.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
90.76/23.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
99.95/25.50	c lits-rem:      4477  cl-subs:     2112  v-elim:      0  v-fix:    0  time:  9.40 s
99.95/25.50	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
100.35/25.50	c vivif2 --  cl tried    28554 cl shrink        0 lits rem          0 time: 0.03
100.75/25.65	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.60
100.75/25.65	c calculated reachability. Time: 0.00
100.75/25.65	c  N st    40    238311       150      3195         0     28554     15975    593798   no data   no data  --
128.69/32.61	c  F st    41    306250       150      3195         0     30360     15975    601073   no data   no data  --
128.69/32.61	c  N st    41    306250       150      3195         0     30360     15975    601073   no data   no data  --
130.67/33.17	c Decided on static restart strategy
141.05/35.74	c  N st    51    334553       150      3195         0     34558     15975    695486   no data   no data  --
151.05/38.26	c  N st    53    357466       150      3195         0     32638     15975    634237   no data   no data  --
151.05/38.26	c  S st    53    357466       150      3195         0     32638     15975    634237   no data   no data  --
151.41/38.34	c  S st    53    357968       150      3195         0     33128     15975    649033   no data   no data  --
151.41/38.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
151.41/38.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
151.41/38.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
151.41/38.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
151.41/38.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
151.41/38.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
151.41/38.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
160.59/40.69	c lits-rem:      4180  cl-subs:     1602  v-elim:      0  v-fix:    0  time:  9.24 s
160.59/40.69	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
160.59/40.69	c vivif2 --  cl tried    31526 cl shrink        0 lits rem          0 time: 0.03
161.39/40.85	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.60
161.39/40.85	c calculated reachability. Time: 0.00
161.39/40.85	c  N st    53    357968       150      3195         0     31526     15975    590927   no data   no data  --
176.56/44.69	c  N st    54    390361       150      3195         0     37527     15975    770642   no data   no data  --
202.47/51.17	c  N st    55    438949       150      3195         0     31369     15975    542152   no data   no data  --
236.39/59.65	c  N st    56    511832       150      3195         0     44392     15975    910626   no data   no data  --
248.76/62.73	c  N st    57    536952       150      3195         0     38963     15975    731259   no data   no data  --
248.76/62.73	c  S st    57    536952       150      3195         0     38963     15975    731259   no data   no data  --
249.16/62.83	c  S st    57    537457       150      3195         0     39458     15975    745973   no data   no data  --
249.16/62.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
249.16/62.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
249.16/62.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
249.16/62.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
249.16/62.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
249.16/62.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
249.16/62.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
260.76/65.73	c lits-rem:      4604  cl-subs:     1645  v-elim:      0  v-fix:    0  time: 11.39 s
260.76/65.73	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
260.76/65.74	c vivif2 --  cl tried    37813 cl shrink        0 lits rem          0 time: 0.03
261.52/65.96	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.88
261.52/65.96	c calculated reachability. Time: 0.00
261.52/65.96	c  N st    57    537457       150      3195         0     37813     15975    687561   no data   no data  --
349.70/88.00	c  N st    58    701441       150      3195         0     66040     15975   1519981   no data   no data  --
414.37/104.23	c  N st    59    806187       150      3195         0     60011     15975   1251200   no data   no data  --
414.37/104.23	c  S st    59    806187       150      3195         0     60011     15975   1251200   no data   no data  --
415.14/104.41	c  S st    59    806689       150      3195         0     60503     15975   1266242   no data   no data  --
415.14/104.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
415.14/104.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
415.14/104.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
415.14/104.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
415.14/104.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
415.14/104.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
415.14/104.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
451.44/113.53	c lits-rem:      2354  cl-subs:     5309  v-elim:      0  v-fix:    0  time: 36.09 s
451.44/113.53	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
451.44/113.55	c vivif2 --  cl tried    55194 cl shrink        0 lits rem          0 time: 0.06
453.04/113.90	c asymm  cl-useful: 0/2453/3195 lits-rem:0 time: 1.40
453.04/113.90	c calculated reachability. Time: 0.00
453.04/113.90	c  N st    59    806689       150      3195         0     55194     15975   1102486   no data   no data  --
637.40/160.19	c  F st    60   1071875       150      3195         0     70739     15975   1469337   no data   no data  --
637.40/160.19	c  N st    60   1071875       150      3195         0     70739     15975   1469337   no data   no data  --
642.61/161.48	c Decided on static restart strategy
658.54/165.40	c  N st    70   1100180       150      3195         0     55162     15975    968462   no data   no data  --
686.08/172.36	c  N st    72   1136172       150      3195         0     45887     15975    659111   no data   no data  --
708.02/177.83	c  N st    73   1168564       150      3195         0     76556     15975   1624902   no data   no data  --
737.53/185.23	c  N st    74   1210033       150      3195         0     71252     15975   1394697   no data   no data  --
737.53/185.23	c  S st    74   1210033       150      3195         0     71252     15975   1394697   no data   no data  --
738.33/185.44	c  S st    74   1210534       150      3195         0     71739     15975   1409505   no data   no data  --
738.33/185.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
738.33/185.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
738.33/185.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.13
738.74/185.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
738.74/185.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
738.74/185.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
738.74/185.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
804.17/201.98	c lits-rem:      2170  cl-subs:     5179  v-elim:      0  v-fix:    0  time: 65.63 s
804.17/201.98	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
804.58/202.01	c vivif2 --  cl tried    66560 cl shrink        0 lits rem          0 time: 0.10
805.00/202.18	c asymm  cl-useful: 0/742/3195 lits-rem:0 time: 0.67
805.00/202.18	c calculated reachability. Time: 0.00
805.00/202.18	c  N st    74   1210534       150      3195         0     66560     15975   1253103   no data   no data  --
880.77/221.13	c  N st    75   1283418       150      3195         0     89957     15975   1951926   no data   no data  --
990.90/248.78	c  N st    76   1392741       150      3195         0     51840     15975    747089   no data   no data  --
1126.96/282.80	c  N st    77   1556726       150      3195         0     56556     15975    846025   no data   no data  --
1261.03/316.44	c  N st    78   1710534       150      3195         0     96425     15975   1966971   no data   no data  --
1261.03/316.44	c  S st    78   1710534       150      3195         0     96425     15975   1966971   no data   no data  --
1262.20/316.75	c  S st    78   1711034       150      3195         0     96917     15975   1981608   no data   no data  --
1262.20/316.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1262.20/316.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1262.60/316.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1262.60/316.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1262.60/316.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1262.60/316.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1262.60/316.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1383.11/347.07	c lits-rem:      1777  cl-subs:    11259  v-elim:      0  v-fix:    0  time: 120.47 s
1383.11/347.07	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1383.11/347.09	c vivif2 --  cl tried    85658 cl shrink        0 lits rem          0 time: 0.08
1384.69/347.45	c asymm  cl-useful: 0/1557/3195 lits-rem:0 time: 1.43
1384.69/347.46	c calculated reachability. Time: 0.00
1384.69/347.46	c  N st    78   1711034       150      3195         0     85658     15975   1667015   no data   no data  --
1724.26/432.58	c  N st    79   2079998       150      3195         0     97458     15975   1939933   no data   no data  --
1847.96/463.51	c  N st    80   2211034       150      3195         0    101784     15975   2042155   no data   no data  --
1847.96/463.51	c  S st    80   2211034       150      3195         0    101784     15975   2042155   no data   no data  --
1849.18/463.87	c  S st    80   2211538       150      3195         0    102279     15975   2056944   no data   no data  --
1849.18/463.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1849.18/463.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1849.59/463.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
1849.59/463.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1849.59/463.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1849.59/463.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1849.59/463.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1950.60/489.76	c lits-rem:      1789  cl-subs:     7869  v-elim:      0  v-fix:    0  time: 100.84 s
1950.60/489.76	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1950.60/489.79	c vivif2 --  cl tried    94410 cl shrink        0 lits rem          0 time: 0.12
1952.19/490.17	c asymm  cl-useful: 0/1234/3195 lits-rem:0 time: 1.49
1952.19/490.17	c calculated reachability. Time: 0.00
1952.19/490.17	c  N st    80   2211538       150      3195         0     94410     15975   1819680   no data   no data  --
2462.50/618.01	c  N st    81   2711538       150      3195         0    117093     15975   2463541   no data   no data  --
2462.50/618.01	c  S st    81   2711538       150      3195         0    117093     15975   2463541   no data   no data  --
2463.70/618.35	c  S st    81   2712040       150      3195         0    117585     15975   2478296   no data   no data  --
2463.70/618.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2463.70/618.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2464.10/618.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.24
2464.10/618.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2464.10/618.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2464.10/618.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2464.10/618.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2650.03/665.09	c lits-rem:      1707  cl-subs:    11245  v-elim:      0  v-fix:    0  time: 185.83 s
2650.03/665.09	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2650.43/665.12	c vivif2 --  cl tried   106340 cl shrink        0 lits rem          0 time: 0.12
2651.63/665.49	c asymm  cl-useful: 0/1256/3195 lits-rem:0 time: 1.48
2651.63/665.49	c calculated reachability. Time: 0.00
2651.63/665.49	c  N st    81   2712040       150      3195         0    106340     15975   2137350   no data   no data  --
3228.23/809.94	c  N st    82   3212041       150      3195         0     83646     15975   1253949   no data   no data  --
3228.23/809.94	c  S st    82   3212041       150      3195         0     83646     15975   1253949   no data   no data  --
3229.40/810.20	c  S st    82   3212546       150      3195         0     84141     15975   1269096   no data   no data  --
3229.40/810.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3229.40/810.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3229.40/810.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.16
3229.40/810.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3229.40/810.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3229.40/810.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3229.40/810.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3257.73/817.34	c lits-rem:       459  cl-subs:     2001  v-elim:      0  v-fix:    0  time: 28.16 s
3257.73/817.35	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3257.73/817.36	c vivif2 --  cl tried    82140 cl shrink        0 lits rem          0 time: 0.06
3258.95/817.70	c asymm  cl-useful: 0/1435/3195 lits-rem:0 time: 1.33
3258.95/817.70	c calculated reachability. Time: 0.00
3258.95/817.70	c  N st    82   3212546       150      3195         0     82140     15975   1204829   no data   no data  --
3845.08/964.55	c  N st    83   3712546       150      3195         0     92288     15975   1408414   no data   no data  --
3845.08/964.55	c  S st    83   3712546       150      3195         0     92288     15975   1408414   no data   no data  --
3846.29/964.82	c  S st    83   3713054       150      3195         0     92785     15975   1423414   no data   no data  --
3846.29/964.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3846.29/964.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3846.29/964.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.18
3846.69/964.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3846.69/964.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3846.69/964.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3846.69/964.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3883.40/974.12	c lits-rem:      1850  cl-subs:     3075  v-elim:      0  v-fix:    0  time: 36.71 s
3883.40/974.12	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3883.40/974.14	c vivif2 --  cl tried    89710 cl shrink        0 lits rem          0 time: 0.08
3883.80/974.29	c asymm  cl-useful: 0/504/3195 lits-rem:0 time: 0.59
3883.80/974.29	c calculated reachability. Time: 0.00
3883.80/974.29	c  N st    83   3713054       150      3195         0     89710     15975   1332638   no data   no data  --
3930.08/985.81	c  F st    84   3751562       150      3195         0    126002     15975   2426415   no data   no data  --
3930.08/985.81	c  N st    84   3751562       150      3195         0    126002     15975   2426415   no data   no data  --
3938.46/987.97	c Decided on static restart strategy
3981.95/998.82	c  N st    94   3779863       150      3195         0    152904     15975   3249599   no data   no data  --
4027.46/1010.21	c  N st    96   3815857       150      3195         0    107027     15975   1825503   no data   no data  --
4077.70/1022.89	c  N st    97   3848249       150      3195         0    137697     15975   2776487   no data   no data  --
4155.50/1042.33	c  N st    98   3896839       150      3195         0    102419     15975   1658891   no data   no data  --
4282.39/1074.15	c  N st    99   3969723       150      3195         0     89229     15975   1243819   no data   no data  --
4430.03/1111.11	c  N st   100   4079047       150      3195         0    109236     15975   1845353   no data   no data  --
4615.20/1157.56	c  N st   101   4213055       150      3195         0    151701     15975   3132488   no data   no data  --
4615.20/1157.56	c  S st   101   4213055       150      3195         0    151701     15975   3132488   no data   no data  --
4617.17/1158.07	c  S st   101   4213560       150      3195         0    152193     15975   3147289   no data   no data  --
4617.17/1158.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4617.17/1158.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4617.57/1158.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.32
4617.97/1158.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4617.97/1158.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4617.97/1158.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4617.97/1158.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

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-3369065-1305411286/watcher-3369065-1305411286 -o /tmp/evaluation-result-3369065-1305411286/solver-3369065-1305411286 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369065-1305411286.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: 8.08 8.10 7.80 6/285 5381
/proc/meminfo: memFree=19018776/32951132 swapFree=67093824/67111528
[pid=5381] ppid=5379 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/5381/stat : 5381 (strangenight1-m) R 5379 5381 4908 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 652728246 52465664 352 33554432000 4194304 4650419 140733703982176 18446744073709551615 274664864753 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5381/statm: 12809 352 303 112 0 7774 0
[pid=5381/tid=5382] ppid=5379 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/5381/task/5382/stat : 5382 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652728246 52465664 355 33554432000 4194304 4650419 140733703982176 18446744073709551615 47797951944626 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5381/tid=5383] ppid=5379 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/5381/task/5383/stat : 5383 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652728246 52465664 355 33554432000 4194304 4650419 140733703982176 18446744073709551615 47797951944620 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5381/tid=5384] ppid=5379 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/5381/task/5384/stat : 5384 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652728246 52465664 355 33554432000 4194304 4650419 140733703982176 18446744073709551615 47797951944624 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.109924 s]
/proc/loadavg: 8.08 8.10 7.80 6/285 5381
/proc/meminfo: memFree=19018776/32951132 swapFree=67093824/67111528
[pid=5381] ppid=5379 vsize=51236 CPUtime=0.2 cores=0,2,4,6
/proc/5381/stat : 5381 (strangenight1-m) S 5379 5381 4908 0 -1 4202496 415 0 0 0 20 0 0 0 25 0 4 0 652728246 52465664 355 33554432000 4194304 4650419 140733703982176 18446744073709551615 47797951944244 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5381/statm: 12809 355 306 112 0 7774 0
[pid=5381/tid=5382] ppid=5379 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/5381/task/5382/stat : 5382 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652728246 52465664 355 33554432000 4194304 4650419 140733703982176 18446744073709551615 47797951944215 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5381/tid=5383] ppid=5379 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/5381/task/5383/stat : 5383 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652728246 52465664 355 33554432000 4194304 4650419 140733703982176 18446744073709551615 47797951944620 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5381/tid=5384] ppid=5379 vsize=51236 CPUtime=0.09 cores=0,2,4,6
/proc/5381/task/5384/stat : 5384 (strangenight1-m) S 5379 5381 4908 0 -1 4202560 0 0 0 0 9 0 0 0 25 0 4 0 652728246 52465664 355 33554432000 4194304 4650419 140733703982176 18446744073709551615 47797951944244 0 0 4096 2 18446604453072717632 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 51236

[startup+0.259221 s]
/proc/loadavg: 8.08 8.10 7.80 6/285 5381
/proc/meminfo: memFree=19018776/32951132 swapFree=67093824/67111528
[pid=5381] ppid=5379 vsize=286376 CPUtime=3.32 cores=0,2,4,6
/proc/5381/stat : 5381 (strangenight1-m) R 5379 5381 4908 0 -1 4202496 6611 0 0 0 332 0 0 0 19 0 4 0 652728246 293249024 3279 33554432000 4194304 4650419 140733703982176 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/5381/statm: 71594 3279 391 112 0 66559 0
[pid=5381/tid=5382] ppid=5379 vsize=286376 CPUtime=0.81 cores=0,2,4,6
/proc/5381/task/5382/stat : 5382 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 1639 0 0 0 81 0 0 0 18 0 4 0 652728246 293249024 3279 33554432000 4194304 4650419 140733703982176 18446744073709551615 4330686 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5381/tid=5383] ppid=5379 vsize=286376 CPUtime=0.71 cores=0,2,4,6
/proc/5381/task/5383/stat : 5383 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 1541 0 0 0 71 0 0 0 25 0 4 0 652728246 293249024 3279 33554432000 4194304 4650419 140733703982176 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5381/tid=5384] ppid=5379 vsize=286376 CPUtime=0.89 cores=0,2,4,6
/proc/5381/task/5384/stat : 5384 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 1407 0 0 0 89 0 0 0 25 0 4 0 652728246 293249024 3279 33554432000 4194304 4650419 140733703982176 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.32
Current children cumulated vsize (KiB) 286376

[startup+1.01812 s]
/proc/loadavg: 8.08 8.10 7.80 6/285 5381
/proc/meminfo: memFree=19018776/32951132 swapFree=67093824/67111528
[pid=5381] ppid=5379 vsize=286376 CPUtime=3.72 cores=0,2,4,6
/proc/5381/stat : 5381 (strangenight1-m) R 5379 5381 4908 0 -1 4202496 6887 0 0 0 372 0 0 0 19 0 4 0 652728246 293249024 3555 33554432000 4194304 4650419 140733703982176 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/5381/statm: 71594 3555 391 112 0 66559 0
[pid=5381/tid=5382] ppid=5379 vsize=286376 CPUtime=0.91 cores=0,2,4,6
/proc/5381/task/5382/stat : 5382 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 1706 0 0 0 91 0 0 0 19 0 4 0 652728246 293249024 3555 33554432000 4194304 4650419 140733703982176 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5381/tid=5383] ppid=5379 vsize=286376 CPUtime=0.81 cores=0,2,4,6
/proc/5381/task/5383/stat : 5383 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 1612 0 0 0 81 0 0 0 25 0 4 0 652728246 293249024 3555 33554432000 4194304 4650419 140733703982176 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5381/tid=5384] ppid=5379 vsize=286376 CPUtime=0.99 cores=0,2,4,6
/proc/5381/task/5384/stat : 5384 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 1472 0 0 0 99 0 0 0 25 0 4 0 652728246 293249024 3555 33554432000 4194304 4650419 140733703982176 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.72
Current children cumulated vsize (KiB) 286376

[startup+1.1181 s]
/proc/loadavg: 8.08 8.10 7.80 6/285 5381
/proc/meminfo: memFree=19018776/32951132 swapFree=67093824/67111528
[pid=5381] ppid=5379 vsize=286732 CPUtime=4.13 cores=0,2,4,6
/proc/5381/stat : 5381 (strangenight1-m) R 5379 5381 4908 0 -1 4202496 7818 0 0 0 412 1 0 0 19 0 4 0 652728246 293613568 3264 33554432000 4194304 4650419 140733703982176 18446744073709551615 4334278 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/5381/statm: 71683 3264 392 112 0 66648 0
[pid=5381/tid=5382] ppid=5379 vsize=286732 CPUtime=1.01 cores=0,2,4,6
/proc/5381/task/5382/stat : 5382 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 2011 0 0 0 101 0 0 0 19 0 4 0 652728246 293613568 3264 33554432000 4194304 4650419 140733703982176 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5381/tid=5383] ppid=5379 vsize=286732 CPUtime=0.91 cores=0,2,4,6
/proc/5381/task/5383/stat : 5383 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 1674 0 0 0 91 0 0 0 25 0 4 0 652728246 293613568 3264 33554432000 4194304 4650419 140733703982176 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5381/tid=5384] ppid=5379 vsize=286732 CPUtime=1.09 cores=0,2,4,6
/proc/5381/task/5384/stat : 5384 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 1742 0 0 0 109 0 0 0 25 0 4 0 652728246 293613568 3264 33554432000 4194304 4650419 140733703982176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.13
Current children cumulated vsize (KiB) 286732

[startup+1.50104 s]
/proc/loadavg: 8.08 8.10 7.80 6/285 5381
/proc/meminfo: memFree=19018776/32951132 swapFree=67093824/67111528
[pid=5381] ppid=5379 vsize=287200 CPUtime=5.66 cores=0,2,4,6
/proc/5381/stat : 5381 (strangenight1-m) R 5379 5381 4908 0 -1 4202496 10633 0 0 0 565 1 0 0 19 0 4 0 652728246 294092800 5669 33554432000 4194304 4650419 140733703982176 18446744073709551615 4438922 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/5381/statm: 71800 5670 393 112 0 66765 0
[pid=5381/tid=5382] ppid=5379 vsize=287200 CPUtime=1.39 cores=0,2,4,6
/proc/5381/task/5382/stat : 5382 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 2281 0 0 0 139 0 0 0 19 0 4 0 652728246 294092800 5670 33554432000 4194304 4650419 140733703982176 18446744073709551615 4313064 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5381/tid=5383] ppid=5379 vsize=287200 CPUtime=1.29 cores=0,2,4,6
/proc/5381/task/5383/stat : 5383 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 2198 0 0 0 129 0 0 0 25 0 4 0 652728246 294092800 5670 33554432000 4194304 4650419 140733703982176 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5381/tid=5384] ppid=5379 vsize=287200 CPUtime=1.48 cores=0,2,4,6
/proc/5381/task/5384/stat : 5384 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 1986 0 0 0 148 0 0 0 25 0 4 0 652728246 294092800 5670 33554432000 4194304 4650419 140733703982176 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.66
Current children cumulated vsize (KiB) 287200

[startup+3.10076 s]
/proc/loadavg: 8.08 8.10 7.80 9/289 5385
/proc/meminfo: memFree=18973996/32951132 swapFree=67093824/67111528
[pid=5381] ppid=5379 vsize=288784 CPUtime=11.15 cores=0,2,4,6
/proc/5381/stat : 5381 (strangenight1-m) R 5379 5381 4908 0 -1 4202496 17095 0 0 0 1097 18 0 0 25 0 4 0 652728246 295714816 9408 33554432000 4194304 4650419 140733703982176 18446744073709551615 4365303 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/5381/statm: 72196 9408 393 112 0 67161 0
[pid=5381/tid=5382] ppid=5379 vsize=288784 CPUtime=2.86 cores=0,2,4,6
/proc/5381/task/5382/stat : 5382 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 4564 0 0 0 284 2 0 0 23 0 4 0 652728246 295714816 9408 33554432000 4194304 4650419 140733703982176 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5381/tid=5383] ppid=5379 vsize=288784 CPUtime=2.89 cores=0,2,4,6
/proc/5381/task/5383/stat : 5383 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 5188 0 0 0 289 0 0 0 25 0 4 0 652728246 295714816 9408 33554432000 4194304 4650419 140733703982176 18446744073709551615 4476318 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5381/tid=5384] ppid=5379 vsize=288784 CPUtime=2.32 cores=0,2,4,6
/proc/5381/task/5384/stat : 5384 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 2425 0 0 0 220 12 0 0 25 0 4 0 652728246 295714816 9408 33554432000 4194304 4650419 140733703982176 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.15
Current children cumulated vsize (KiB) 288784

[startup+6.3102 s]
/proc/loadavg: 8.08 8.10 7.80 9/289 5385
/proc/meminfo: memFree=18947800/32951132 swapFree=67093824/67111528
[pid=5381] ppid=5379 vsize=297976 CPUtime=23.78 cores=0,2,4,6
/proc/5381/stat : 5381 (strangenight1-m) R 5379 5381 4908 0 -1 4202496 28110 0 0 0 2355 23 0 0 25 0 4 0 652728246 305127424 14525 33554432000 4194304 4650419 140733703982176 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/5381/statm: 74494 14525 393 112 0 69459 0
[pid=5381/tid=5382] ppid=5379 vsize=297976 CPUtime=6.07 cores=0,2,4,6
/proc/5381/task/5382/stat : 5382 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 7750 0 0 0 604 3 0 0 25 0 4 0 652728246 305127424 14525 33554432000 4194304 4650419 140733703982176 18446744073709551615 4364766 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5381/tid=5383] ppid=5379 vsize=297976 CPUtime=6.09 cores=0,2,4,6
/proc/5381/task/5383/stat : 5383 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 7466 0 0 0 609 0 0 0 25 0 4 0 652728246 305127424 14525 33554432000 4194304 4650419 140733703982176 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5381/tid=5384] ppid=5379 vsize=297976 CPUtime=5.36 cores=0,2,4,6
/proc/5381/task/5384/stat : 5384 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 5578 0 0 0 521 15 0 0 25 0 4 0 652728246 305127424 14525 33554432000 4194304 4650419 140733703982176 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.78
Current children cumulated vsize (KiB) 297976

[startup+12.7011 s]
/proc/loadavg: 8.07 8.09 7.80 9/289 5385
/proc/meminfo: memFree=18911252/32951132 swapFree=67093824/67111528
[pid=5381] ppid=5379 vsize=298892 CPUtime=49.27 cores=0,2,4,6
/proc/5381/stat : 5381 (strangenight1-m) R 5379 5381 4908 0 -1 4202496 45365 0 0 0 4901 26 0 0 25 0 4 0 652728246 306065408 20857 33554432000 4194304 4650419 140733703982176 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/5381/statm: 74723 20858 393 112 0 69688 0
[pid=5381/tid=5382] ppid=5379 vsize=298892 CPUtime=12.45 cores=0,2,4,6
/proc/5381/task/5382/stat : 5382 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 12467 0 0 0 1241 4 0 0 25 0 4 0 652728246 306065408 20858 33554432000 4194304 4650419 140733703982176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5381/tid=5383] ppid=5379 vsize=298892 CPUtime=12.49 cores=0,2,4,6
/proc/5381/task/5383/stat : 5383 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 11698 0 0 0 1248 1 0 0 25 0 4 0 652728246 306065408 20858 33554432000 4194304 4650419 140733703982176 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5381/tid=5384] ppid=5379 vsize=298892 CPUtime=11.73 cores=0,2,4,6
/proc/5381/task/5384/stat : 5384 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 8902 0 0 0 1158 15 0 0 25 0 4 0 652728246 306065408 20858 33554432000 4194304 4650419 140733703982176 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 49.27
Current children cumulated vsize (KiB) 298892

[startup+25.5009 s]
/proc/loadavg: 8.06 8.09 7.80 9/289 5385
/proc/meminfo: memFree=18871572/32951132 swapFree=67093824/67111528
[pid=5381] ppid=5379 vsize=306848 CPUtime=100.35 cores=0,2,4,6
/proc/5381/stat : 5381 (strangenight1-m) R 5379 5381 4908 0 -1 4202496 71404 0 0 0 10003 32 0 0 25 0 4 0 652728246 314212352 28803 33554432000 4194304 4650419 140733703982176 18446744073709551615 4533751 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/5381/statm: 76712 28803 393 112 0 71677 0
[pid=5381/tid=5382] ppid=5379 vsize=306848 CPUtime=25.26 cores=0,2,4,6
/proc/5381/task/5382/stat : 5382 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 19169 0 0 0 2520 6 0 0 25 0 4 0 652728246 314212352 28803 33554432000 4194304 4650419 140733703982176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5381/tid=5383] ppid=5379 vsize=306848 CPUtime=25.29 cores=0,2,4,6
/proc/5381/task/5383/stat : 5383 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 18918 0 0 0 2526 3 0 0 25 0 4 0 652728246 314212352 28803 33554432000 4194304 4650419 140733703982176 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5381/tid=5384] ppid=5379 vsize=306848 CPUtime=24.52 cores=0,2,4,6
/proc/5381/task/5384/stat : 5384 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 12692 0 0 0 2436 16 0 0 25 0 4 0 652728246 314212352 28803 33554432000 4194304 4650419 140733703982176 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 100.35
Current children cumulated vsize (KiB) 306848

[startup+51.1005 s]
/proc/loadavg: 8.04 8.08 7.81 9/289 5386
/proc/meminfo: memFree=18820056/32951132 swapFree=67093824/67111528
[pid=5381] ppid=5379 vsize=315688 CPUtime=202.47 cores=0,2,4,6
/proc/5381/stat : 5381 (strangenight1-m) R 5379 5381 4908 0 -1 4202496 111428 0 0 0 20205 42 0 0 25 0 4 0 652728246 323264512 36500 33554432000 4194304 4650419 140733703982176 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/5381/statm: 78922 36500 393 112 0 73887 0
[pid=5381/tid=5382] ppid=5379 vsize=315688 CPUtime=50.86 cores=0,2,4,6
/proc/5381/task/5382/stat : 5382 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 31258 0 0 0 5078 8 0 0 25 0 4 0 652728246 323264512 36500 33554432000 4194304 4650419 140733703982176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5381/tid=5383] ppid=5379 vsize=315688 CPUtime=50.88 cores=0,2,4,6
/proc/5381/task/5383/stat : 5383 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 30237 0 0 0 5082 6 0 0 25 0 4 0 652728246 323264512 36500 33554432000 4194304 4650419 140733703982176 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5381/tid=5384] ppid=5379 vsize=315688 CPUtime=50.09 cores=0,2,4,6
/proc/5381/task/5384/stat : 5384 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 18183 0 0 0 4992 17 0 0 25 0 4 0 652728246 323264512 36500 33554432000 4194304 4650419 140733703982176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 202.47
Current children cumulated vsize (KiB) 315688

[startup+102.301 s]
/proc/loadavg: 8.05 8.08 7.82 9/289 5387
/proc/meminfo: memFree=18771420/32951132 swapFree=67093824/67111528
[pid=5381] ppid=5379 vsize=307336 CPUtime=406.76 cores=0,2,4,6
/proc/5381/stat : 5381 (strangenight1-m) R 5379 5381 4908 0 -1 4202496 173910 0 0 0 40612 64 0 0 25 0 4 0 652728246 314712064 42020 33554432000 4194304 4650419 140733703982176 18446744073709551615 4315116 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/5381/statm: 76834 42020 393 112 0 71799 0
[pid=5381/tid=5382] ppid=5379 vsize=307336 CPUtime=102.05 cores=0,2,4,6
/proc/5381/task/5382/stat : 5382 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 46304 0 0 0 10192 13 0 0 25 0 4 0 652728246 314712064 42020 33554432000 4194304 4650419 140733703982176 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5381/tid=5383] ppid=5379 vsize=307336 CPUtime=102.07 cores=0,2,4,6
/proc/5381/task/5383/stat : 5383 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 48125 0 0 0 10195 12 0 0 25 0 4 0 652728246 314712064 42020 33554432000 4194304 4650419 140733703982176 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5381/tid=5384] ppid=5379 vsize=307336 CPUtime=101.25 cores=0,2,4,6
/proc/5381/task/5384/stat : 5384 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 28783 0 0 0 10105 20 0 0 25 0 4 0 652728246 314712064 42020 33554432000 4194304 4650419 140733703982176 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 406.76
Current children cumulated vsize (KiB) 307336

[startup+162.3 s]

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

[pid=5381] ppid=5379 vsize=601612 CPUtime=2798.87 cores=0,2,4,6
/proc/5381/stat : 5381 (strangenight1-m) R 5379 5381 4908 0 -1 4202496 503103 0 0 0 279681 206 0 0 25 0 4 0 652728246 616050688 108697 33554432000 4194304 4650419 140733703982176 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/5381/statm: 150403 108697 393 112 0 145368 0
[pid=5381/tid=5382] ppid=5379 vsize=601612 CPUtime=701.97 cores=0,2,4,6
/proc/5381/task/5382/stat : 5382 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 163398 0 0 0 70137 60 0 0 25 0 4 0 652728246 616050688 108697 33554432000 4194304 4650419 140733703982176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5381/tid=5383] ppid=5379 vsize=601612 CPUtime=702 cores=0,2,4,6
/proc/5381/task/5383/stat : 5383 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 118062 0 0 0 70155 45 0 0 25 0 4 0 652728246 616050688 108697 33554432000 4194304 4650419 140733703982176 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5381/tid=5384] ppid=5379 vsize=601612 CPUtime=700.13 cores=0,2,4,6
/proc/5381/task/5384/stat : 5384 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 84792 0 0 0 69968 45 0 0 25 0 4 0 652728246 616050688 108697 33554432000 4194304 4650419 140733703982176 18446744073709551615 4365308 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2798.87
Current children cumulated vsize (KiB) 601612

[startup+762.3 s]
/proc/loadavg: 8.01 8.11 7.97 9/289 5435
/proc/meminfo: memFree=18330580/32951132 swapFree=67093824/67111528
[pid=5381] ppid=5379 vsize=643348 CPUtime=3038.27 cores=0,2,4,6
/proc/5381/stat : 5381 (strangenight1-m) R 5379 5381 4908 0 -1 4202496 525000 0 0 0 303611 216 0 0 25 0 4 0 652728246 658788352 108241 33554432000 4194304 4650419 140733703982176 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/5381/statm: 160837 108241 393 112 0 155802 0
[pid=5381/tid=5382] ppid=5379 vsize=643348 CPUtime=761.95 cores=0,2,4,6
/proc/5381/task/5382/stat : 5382 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 172084 0 0 0 76133 62 0 0 25 0 4 0 652728246 658788352 108241 33554432000 4194304 4650419 140733703982176 18446744073709551615 4313071 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5381/tid=5383] ppid=5379 vsize=643348 CPUtime=761.99 cores=0,2,4,6
/proc/5381/task/5383/stat : 5383 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 123805 0 0 0 76150 49 0 0 25 0 4 0 652728246 658788352 108241 33554432000 4194304 4650419 140733703982176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5381/tid=5384] ppid=5379 vsize=643348 CPUtime=760.11 cores=0,2,4,6
/proc/5381/task/5384/stat : 5384 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 88127 0 0 0 75964 47 0 0 25 0 4 0 652728246 658788352 108241 33554432000 4194304 4650419 140733703982176 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3038.27
Current children cumulated vsize (KiB) 643348

[startup+822.301 s]
/proc/loadavg: 8.15 8.12 7.98 9/289 5437
/proc/meminfo: memFree=18254184/32951132 swapFree=67093824/67111528
[pid=5381] ppid=5379 vsize=654260 CPUtime=3277.68 cores=0,2,4,6
/proc/5381/stat : 5381 (strangenight1-m) R 5379 5381 4908 0 -1 4202496 558341 0 0 0 327538 230 0 0 25 0 4 0 652728246 669962240 120876 33554432000 4194304 4650419 140733703982176 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/5381/statm: 163565 120876 393 112 0 158530 0
[pid=5381/tid=5382] ppid=5379 vsize=654260 CPUtime=821.94 cores=0,2,4,6
/proc/5381/task/5382/stat : 5382 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 182594 0 0 0 82127 67 0 0 25 0 4 0 652728246 669962240 120876 33554432000 4194304 4650419 140733703982176 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5381/tid=5383] ppid=5379 vsize=654260 CPUtime=821.98 cores=0,2,4,6
/proc/5381/task/5383/stat : 5383 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 131996 0 0 0 82146 52 0 0 25 0 4 0 652728246 669962240 120876 33554432000 4194304 4650419 140733703982176 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5381/tid=5384] ppid=5379 vsize=654260 CPUtime=820.11 cores=0,2,4,6
/proc/5381/task/5384/stat : 5384 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 93023 0 0 0 81962 49 0 0 25 0 4 0 652728246 669962240 120876 33554432000 4194304 4650419 140733703982176 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3277.68
Current children cumulated vsize (KiB) 654260

[startup+882.301 s]
/proc/loadavg: 8.19 8.13 7.99 9/289 5438
/proc/meminfo: memFree=18234716/32951132 swapFree=67093824/67111528
[pid=5381] ppid=5379 vsize=654436 CPUtime=3517.1 cores=0,2,4,6
/proc/5381/stat : 5381 (strangenight1-m) R 5379 5381 4908 0 -1 4202496 579436 0 0 0 351469 241 0 0 25 0 4 0 652728246 670142464 116129 33554432000 4194304 4650419 140733703982176 18446744073709551615 4363426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/5381/statm: 163609 116129 393 112 0 158574 0
[pid=5381/tid=5382] ppid=5379 vsize=654436 CPUtime=881.91 cores=0,2,4,6
/proc/5381/task/5382/stat : 5382 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 191424 0 0 0 88121 70 0 0 25 0 4 0 652728246 670142464 116129 33554432000 4194304 4650419 140733703982176 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5381/tid=5383] ppid=5379 vsize=654436 CPUtime=881.97 cores=0,2,4,6
/proc/5381/task/5383/stat : 5383 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 136516 0 0 0 88143 54 0 0 25 0 4 0 652728246 670142464 116129 33554432000 4194304 4650419 140733703982176 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5381/tid=5384] ppid=5379 vsize=654436 CPUtime=880.09 cores=0,2,4,6
/proc/5381/task/5384/stat : 5384 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 95617 0 0 0 87960 49 0 0 25 0 4 0 652728246 670142464 116129 33554432000 4194304 4650419 140733703982176 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3517.1
Current children cumulated vsize (KiB) 654436

[startup+942.301 s]
/proc/loadavg: 8.27 8.15 8.01 9/289 5440
/proc/meminfo: memFree=18128324/32951132 swapFree=67093824/67111528
[pid=5381] ppid=5379 vsize=682508 CPUtime=3756.51 cores=0,2,4,6
/proc/5381/stat : 5381 (strangenight1-m) R 5379 5381 4908 0 -1 4202496 606296 0 0 0 375398 253 0 0 25 0 4 0 652728246 698888192 130219 33554432000 4194304 4650419 140733703982176 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/5381/statm: 170627 130219 393 112 0 165592 0
[pid=5381/tid=5382] ppid=5379 vsize=682508 CPUtime=941.91 cores=0,2,4,6
/proc/5381/task/5382/stat : 5382 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 199700 0 0 0 94118 73 0 0 25 0 4 0 652728246 698888192 130219 33554432000 4194304 4650419 140733703982176 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5381/tid=5383] ppid=5379 vsize=682508 CPUtime=941.95 cores=0,2,4,6
/proc/5381/task/5383/stat : 5383 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 143799 0 0 0 94137 58 0 0 25 0 4 0 652728246 698888192 130219 33554432000 4194304 4650419 140733703982176 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5381/tid=5384] ppid=5379 vsize=682508 CPUtime=940.09 cores=0,2,4,6
/proc/5381/task/5384/stat : 5384 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 100371 0 0 0 93957 52 0 0 25 0 4 0 652728246 698888192 130219 33554432000 4194304 4650419 140733703982176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3756.51
Current children cumulated vsize (KiB) 682508

[startup+1002.3 s]
/proc/loadavg: 8.22 8.15 8.01 9/289 5441
/proc/meminfo: memFree=18145668/32951132 swapFree=67093824/67111528
[pid=5381] ppid=5379 vsize=687628 CPUtime=3995.92 cores=0,2,4,6
/proc/5381/stat : 5381 (strangenight1-m) R 5379 5381 4908 0 -1 4202496 624854 0 0 0 399329 263 0 0 25 0 4 0 652728246 704131072 124105 33554432000 4194304 4650419 140733703982176 18446744073709551615 4313711 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/5381/statm: 171907 124105 393 112 0 166872 0
[pid=5381/tid=5382] ppid=5379 vsize=687628 CPUtime=1001.88 cores=0,2,4,6
/proc/5381/task/5382/stat : 5382 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 207816 0 0 0 100112 76 0 0 25 0 4 0 652728246 704131072 124105 33554432000 4194304 4650419 140733703982176 18446744073709551615 4315054 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5381/tid=5383] ppid=5379 vsize=687628 CPUtime=1001.95 cores=0,2,4,6
/proc/5381/task/5383/stat : 5383 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 145347 0 0 0 100135 60 0 0 25 0 4 0 652728246 704131072 124105 33554432000 4194304 4650419 140733703982176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5381/tid=5384] ppid=5379 vsize=687628 CPUtime=1000.07 cores=0,2,4,6
/proc/5381/task/5384/stat : 5384 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 103334 0 0 0 99954 53 0 0 25 0 4 0 652728246 704131072 124105 33554432000 4194304 4650419 140733703982176 18446744073709551615 4367245 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3995.92
Current children cumulated vsize (KiB) 687628

[startup+1062.3 s]
/proc/loadavg: 8.20 8.15 8.02 9/289 5443
/proc/meminfo: memFree=18160032/32951132 swapFree=67093824/67111528
[pid=5381] ppid=5379 vsize=720396 CPUtime=4235.32 cores=0,2,4,6
/proc/5381/stat : 5381 (strangenight1-m) R 5379 5381 4908 0 -1 4202496 655940 0 0 0 423256 276 0 0 25 0 4 0 652728246 737685504 125341 33554432000 4194304 4650419 140733703982176 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/5381/statm: 180099 125341 393 112 0 175064 0
[pid=5381/tid=5382] ppid=5379 vsize=720396 CPUtime=1061.85 cores=0,2,4,6
/proc/5381/task/5382/stat : 5382 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 214041 0 0 0 106105 80 0 0 25 0 4 0 652728246 737685504 125341 33554432000 4194304 4650419 140733703982176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5381/tid=5383] ppid=5379 vsize=720396 CPUtime=1061.94 cores=0,2,4,6
/proc/5381/task/5383/stat : 5383 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 150559 0 0 0 106132 62 0 0 25 0 4 0 652728246 737685504 125341 33554432000 4194304 4650419 140733703982176 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5381/tid=5384] ppid=5379 vsize=720396 CPUtime=1060.06 cores=0,2,4,6
/proc/5381/task/5384/stat : 5384 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 115559 0 0 0 105951 55 0 0 25 0 4 0 652728246 737685504 125341 33554432000 4194304 4650419 140733703982176 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4235.32
Current children cumulated vsize (KiB) 720396

[startup+1122.3 s]
/proc/loadavg: 8.18 8.15 8.02 9/289 5445
/proc/meminfo: memFree=18115500/32951132 swapFree=67093824/67111528
[pid=5381] ppid=5379 vsize=727208 CPUtime=4474.75 cores=0,2,4,6
/proc/5381/stat : 5381 (strangenight1-m) R 5379 5381 4908 0 -1 4202496 697664 0 0 0 447184 291 0 0 25 0 4 0 652728246 744660992 125567 33554432000 4194304 4650419 140733703982176 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/5381/statm: 181802 125567 393 112 0 176767 0
[pid=5381/tid=5382] ppid=5379 vsize=727208 CPUtime=1121.85 cores=0,2,4,6
/proc/5381/task/5382/stat : 5382 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 222258 0 0 0 112100 85 0 0 25 0 4 0 652728246 744660992 125567 33554432000 4194304 4650419 140733703982176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5381/tid=5383] ppid=5379 vsize=727208 CPUtime=1121.95 cores=0,2,4,6
/proc/5381/task/5383/stat : 5383 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 156876 0 0 0 112129 66 0 0 25 0 4 0 652728246 744660992 125567 33554432000 4194304 4650419 140733703982176 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5381/tid=5384] ppid=5379 vsize=727208 CPUtime=1120.06 cores=0,2,4,6
/proc/5381/task/5384/stat : 5384 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 138080 0 0 0 111947 59 0 0 25 0 4 0 652728246 744660992 125567 33554432000 4194304 4650419 140733703982176 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4474.75
Current children cumulated vsize (KiB) 727208

[startup+1182.3 s]
/proc/loadavg: 8.20 8.17 8.03 9/289 5446
/proc/meminfo: memFree=18110776/32951132 swapFree=67093824/67111528
[pid=5381] ppid=5379 vsize=684004 CPUtime=4714.13 cores=0,2,4,6
/proc/5381/stat : 5381 (strangenight1-m) R 5379 5381 4908 0 -1 4202496 719445 0 0 0 471111 302 0 0 25 0 4 0 652728246 700420096 131015 33554432000 4194304 4650419 140733703982176 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/5381/statm: 171001 131015 393 112 0 165966 0
[pid=5381/tid=5382] ppid=5379 vsize=684004 CPUtime=1181.83 cores=0,2,4,6
/proc/5381/task/5382/stat : 5382 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 230541 0 0 0 118094 89 0 0 25 0 4 0 652728246 700420096 131015 33554432000 4194304 4650419 140733703982176 18446744073709551615 4333763 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5381/tid=5383] ppid=5379 vsize=684004 CPUtime=1181.93 cores=0,2,4,6
/proc/5381/task/5383/stat : 5383 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 162327 0 0 0 118124 69 0 0 25 0 4 0 652728246 700420096 131015 33554432000 4194304 4650419 140733703982176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5381/tid=5384] ppid=5379 vsize=684004 CPUtime=1180.03 cores=0,2,4,6
/proc/5381/task/5384/stat : 5384 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 140105 0 0 0 117944 59 0 0 25 0 4 0 652728246 700420096 131015 33554432000 4194304 4650419 140733703982176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4714.13
Current children cumulated vsize (KiB) 684004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.9 s]
/proc/loadavg: 8.14 8.16 8.03 9/289 5447
/proc/meminfo: memFree=18077288/32951132 swapFree=67093824/67111528
[pid=5381] ppid=5379 vsize=684004 CPUtime=4800.33 cores=0,2,4,6
/proc/5381/stat : 5381 (strangenight1-m) R 5379 5381 4908 0 -1 4202496 724744 0 0 0 479727 306 0 0 25 0 4 0 652728246 700420096 133851 33554432000 4194304 4650419 140733703982176 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/5381/statm: 171001 133851 393 112 0 165966 0
[pid=5381/tid=5382] ppid=5379 vsize=684004 CPUtime=1203.43 cores=0,2,4,6
/proc/5381/task/5382/stat : 5382 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 232129 0 0 0 120253 90 0 0 25 0 4 0 652728246 700420096 133852 33554432000 4194304 4650419 140733703982176 18446744073709551615 4330369 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5381/tid=5383] ppid=5379 vsize=684004 CPUtime=1203.53 cores=0,2,4,6
/proc/5381/task/5383/stat : 5383 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 162931 0 0 0 120283 70 0 0 25 0 4 0 652728246 700420096 133852 33554432000 4194304 4650419 140733703982176 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5381/tid=5384] ppid=5379 vsize=684004 CPUtime=1201.64 cores=0,2,4,6
/proc/5381/task/5384/stat : 5384 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 141814 0 0 0 120104 60 0 0 25 0 4 0 652728246 700420096 133852 33554432000 4194304 4650419 140733703982176 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 684004

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

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

[startup+1203.9 s]
/proc/loadavg: 8.14 8.16 8.03 9/289 5447
/proc/meminfo: memFree=18077288/32951132 swapFree=67093824/67111528
[pid=5381] ppid=5379 vsize=684004 CPUtime=4800.33 cores=0,2,4,6
/proc/5381/stat : 5381 (strangenight1-m) R 5379 5381 4908 0 -1 4202496 724744 0 0 0 479727 306 0 0 25 0 4 0 652728246 700420096 133851 33554432000 4194304 4650419 140733703982176 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/5381/statm: 171001 133851 393 112 0 165966 0
[pid=5381/tid=5382] ppid=5379 vsize=684004 CPUtime=1203.43 cores=0,2,4,6
/proc/5381/task/5382/stat : 5382 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 232129 0 0 0 120253 90 0 0 25 0 4 0 652728246 700420096 133852 33554432000 4194304 4650419 140733703982176 18446744073709551615 4330369 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5381/tid=5383] ppid=5379 vsize=684004 CPUtime=1203.53 cores=0,2,4,6
/proc/5381/task/5383/stat : 5383 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 162931 0 0 0 120283 70 0 0 25 0 4 0 652728246 700420096 133852 33554432000 4194304 4650419 140733703982176 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5381/tid=5384] ppid=5379 vsize=684004 CPUtime=1201.64 cores=0,2,4,6
/proc/5381/task/5384/stat : 5384 (strangenight1-m) R 5379 5381 4908 0 -1 4202560 141814 0 0 0 120104 60 0 0 25 0 4 0 652728246 700420096 133852 33554432000 4194304 4650419 140733703982176 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 684004

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.94
CPU time (s): 4800.39
CPU user time (s): 4797.31
CPU system time (s): 3.08753
CPU usage (%): 398.723
Max. virtual memory (cumulated for all children) (KiB): 901480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.31
system time used= 3.08753
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 724746
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= 217
involuntary context switches= 20022

runsolver used 3.17152 second user time and 7.9108 second system time

The end

Launcher Data 

Begin job on node131 at 2011-05-15 00:14:46
IDJOB=3369065
IDBENCH=83074
IDSOLVER=1846
FILE ID=node131/3369065-1305411286
RUNJOBID= node131-1305410075-5221
PBS_JOBID= 13324514
Free space on /tmp= 73684 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v150-c3195-S1650617512-037.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369065-1305411286/watcher-3369065-1305411286 -o /tmp/evaluation-result-3369065-1305411286/solver-3369065-1305411286 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369065-1305411286.cnf

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

MD5SUM BENCH= 00e397e3dd3a79476fc090c9f6643f84
RANDOM SEED=967158074

node131.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	: 5332.75
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.83
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.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.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.77
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      19019056 kB
Buffers:        274340 kB
Cached:        3639812 kB
SwapCached:       1504 kB
Active:       10610260 kB
Inactive:      3063772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      19019056 kB
SwapTotal:    67111528 kB
SwapFree:     67093824 kB
Dirty:           12624 kB
Writeback:           0 kB
AnonPages:     9757632 kB
Mapped:          27344 kB
Slab:           164296 kB
PageTables:      31368 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 28139632 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73676 MiB
End job on node131 at 2011-05-15 00:34:52