Trace number 3175456

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.27 1201.74

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175456-1304124914.cnf'
0.00/0.00	c -- header says num vars:            150
0.00/0.00	c -- header says num clauses:        3195
0.00/0.00	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.00	c -- vars added        150
0.00/0.00	c Parsing time:  0.01 s
0.00/0.00	c  N st     0         0       150      3195         0         0     15975         0   no data   no data  --
0.00/0.02	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.05
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
0.00/0.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
0.00/0.05	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.05	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.05	c calculated reachability. Time: 0.00
0.00/0.05	c Calc default polars -  time:   0.00 s pos:      73 undec:       5 neg:      72
0.00/0.05	c =========================================================================================
0.00/0.05	c types(t): F = full restart, N = normal restart
0.00/0.05	c types(t): S = simplification begin/end, E = solution found
0.00/0.05	c restart types(rt): st = static, dy = dynamic
0.00/0.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.05	c  B st     0         0       150      3195         0         0     15975         0   no data   no data  --
0.37/0.15	c Decided on static restart strategy
0.37/0.15	c  N st     8      4918       150      3195         0      4686     15975    140922   no data   no data  --
1.57/0.45	c  N st    10     11302       150      3195         0      4336     15975     99516   no data   no data  --
1.97/0.59	c  N st    11     17046       150      3195         0      9841     15975    273147   no data   no data  --
3.57/0.94	c  F st    12     25002       150      3195         0     12101     15975    344381   no data   no data  --
3.57/0.94	c  N st    12     25002       150      3195         0     12101     15975    344381   no data   no data  --
4.39/1.16	c Decided on static restart strategy
4.39/1.16	c  N st    18     30001       150      3195         0     10328     15975    265576   no data   no data  --
4.39/1.16	c  S st    18     30001       150      3195         0     10328     15975    265576   no data   no data  --
4.39/1.19	c  S st    18     30506       150      3195         0     10827     15975    280149   no data   no data  --
4.39/1.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.39/1.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.39/1.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.76/1.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.76/1.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.76/1.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4.76/1.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.96/2.10	c lits-rem:      2913  cl-subs:     1156  v-elim:      0  v-fix:    0  time:  3.60 s
8.38/2.15	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.20
8.38/2.15	c calculated reachability. Time: 0.00
8.38/2.15	c  N st    18     30506       150      3195         0      9671     15975    237889   no data   no data  --
9.96/2.51	c  N st    20     37618       150      3195         0      8893     15975    199432   no data   no data  --
11.16/2.85	c  N st    21     44018       150      3195         0     14973     15975    382243   no data   no data  --
11.56/2.96	c  S st    22     45760       150      3195         0     16620     15975    431318   no data   no data  --
11.96/3.01	c  S st    22     46264       150      3195         0      8618     15975    170532   no data   no data  --
11.96/3.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.96/3.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.96/3.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
11.96/3.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.96/3.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.96/3.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
11.96/3.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13.17/3.31	c lits-rem:       299  cl-subs:      173  v-elim:      0  v-fix:    0  time:  1.19 s
13.17/3.31	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
13.17/3.32	c vivif2 --  cl tried     8445 cl shrink        0 lits rem          0 time: 0.00
13.17/3.36	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.16
13.17/3.36	c calculated reachability. Time: 0.00
13.17/3.36	c  N st    22     46264       150      3195         0      8445     15975    164696   no data   no data  --
16.75/4.23	c  N st    23     60662       150      3195         0     12603     15975    272839   no data   no data  --
19.14/4.83	c  N st    24     69398       150      3195         0     10497     15975    195635   no data   no data  --
19.14/4.83	c  S st    24     69398       150      3195         0     10497     15975    195635   no data   no data  --
19.14/4.86	c  S st    24     69902       150      3195         0     10992     15975    210503   no data   no data  --
19.14/4.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
19.14/4.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.14/4.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
19.14/4.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
19.14/4.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
19.14/4.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
19.14/4.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
21.96/5.54	c lits-rem:       564  cl-subs:      242  v-elim:      0  v-fix:    0  time:  2.65 s
21.96/5.54	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
21.96/5.54	c vivif2 --  cl tried    10750 cl shrink        0 lits rem          0 time: 0.01
21.96/5.59	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.21
21.96/5.59	c calculated reachability. Time: 0.00
21.96/5.59	c  N st    24     69902       150      3195         0     10750     15975    202201   no data   no data  --
26.73/6.70	c  F st    25     87500       150      3195         0     16144     15975    356246   no data   no data  --
26.73/6.70	c  N st    25     87500       150      3195         0     16144     15975    356246   no data   no data  --
27.93/7.04	c Decided on static restart strategy
28.73/7.24	c  N st    32     95535       150      3195         0     23814     15975    590055   no data   no data  --
30.75/7.75	c  N st    34    104854       150      3195         0     20327     15975    464316   no data   no data  --
30.75/7.75	c  S st    34    104854       150      3195         0     20327     15975    464316   no data   no data  --
31.12/7.81	c  S st    34    105358       150      3195         0     20818     15975    478508   no data   no data  --
31.12/7.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
31.12/7.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
31.12/7.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
31.12/7.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
31.12/7.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
31.12/7.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
31.12/7.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
37.92/9.56	c lits-rem:      3468  cl-subs:     1392  v-elim:      0  v-fix:    0  time:  6.89 s
37.92/9.56	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
37.92/9.56	c vivif2 --  cl tried    19426 cl shrink        0 lits rem          0 time: 0.02
38.32/9.66	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.38
38.32/9.66	c calculated reachability. Time: 0.00
38.32/9.66	c  N st    34    105358       150      3195         0     19426     15975    430804   no data   no data  --
41.52/10.40	c  N st    35    114957       150      3195         0     15239     15975    307087   no data   no data  --
45.51/11.46	c  N st    36    129355       150      3195         0     14704     15975    264741   no data   no data  --
51.50/12.98	c  N st    37    150950       150      3195         0     20003     15975    407626   no data   no data  --
53.89/13.52	c  S st    38    158037       150      3195         0     26754     15975    618517   no data   no data  --
53.89/13.58	c  S st    38    158539       150      3195         0     27247     15975    633157   no data   no data  --
53.89/13.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
53.89/13.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
53.89/13.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
54.29/13.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
54.29/13.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
54.29/13.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
54.29/13.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
62.28/15.64	c lits-rem:      4220  cl-subs:     2008  v-elim:      0  v-fix:    0  time:  8.10 s
62.28/15.64	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
62.28/15.65	c vivif2 --  cl tried    25239 cl shrink        0 lits rem          0 time: 0.02
62.68/15.78	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.52
62.68/15.78	c calculated reachability. Time: 0.00
62.68/15.78	c  N st    38    158539       150      3195         0     25239     15975    561569   no data   no data  --
79.86/20.09	c  N st    39    207127       150      3195         0     20007     15975    353616   no data   no data  --
90.64/22.79	c  N st    40    237809       150      3195         0     30173     15975    647904   no data   no data  --
90.64/22.79	c  S st    40    237809       150      3195         0     30173     15975    647904   no data   no data  --
91.04/22.88	c  S st    40    238311       150      3195         0     30666     15975    662910   no data   no data  --
91.04/22.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
91.04/22.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
91.04/22.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
91.44/22.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
91.44/22.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
91.44/22.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
91.44/22.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
100.65/25.29	c lits-rem:      4477  cl-subs:     2112  v-elim:      0  v-fix:    0  time:  9.47 s
100.65/25.29	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
100.65/25.30	c vivif2 --  cl tried    28554 cl shrink        0 lits rem          0 time: 0.03
101.42/25.44	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.58
101.42/25.44	c calculated reachability. Time: 0.00
101.42/25.44	c  N st    40    238311       150      3195         0     28554     15975    593798   no data   no data  --
129.00/32.34	c  F st    41    306250       150      3195         0     30360     15975    601073   no data   no data  --
129.00/32.34	c  N st    41    306250       150      3195         0     30360     15975    601073   no data   no data  --
130.99/32.90	c Decided on static restart strategy
141.37/35.46	c  N st    51    334553       150      3195         0     34558     15975    695486   no data   no data  --
151.37/37.97	c  N st    53    357466       150      3195         0     32638     15975    634237   no data   no data  --
151.37/37.97	c  S st    53    357466       150      3195         0     32638     15975    634237   no data   no data  --
151.76/38.06	c  S st    53    357968       150      3195         0     33128     15975    649033   no data   no data  --
151.76/38.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
151.76/38.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
151.76/38.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
151.76/38.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
151.76/38.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
151.76/38.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
151.76/38.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
160.95/40.37	c lits-rem:      4180  cl-subs:     1602  v-elim:      0  v-fix:    0  time:  9.12 s
160.95/40.37	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
160.95/40.38	c vivif2 --  cl tried    31526 cl shrink        0 lits rem          0 time: 0.02
161.75/40.54	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.64
161.75/40.54	c calculated reachability. Time: 0.00
161.75/40.54	c  N st    53    357968       150      3195         0     31526     15975    590927   no data   no data  --
176.93/44.34	c  N st    54    390361       150      3195         0     37527     15975    770642   no data   no data  --
202.49/50.78	c  N st    55    438949       150      3195         0     31369     15975    542152   no data   no data  --
236.44/59.20	c  N st    56    511832       150      3195         0     44392     15975    910626   no data   no data  --
248.43/62.27	c  N st    57    536952       150      3195         0     38963     15975    731259   no data   no data  --
248.43/62.27	c  S st    57    536952       150      3195         0     38963     15975    731259   no data   no data  --
248.83/62.37	c  S st    57    537457       150      3195         0     39458     15975    745973   no data   no data  --
248.83/62.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
248.83/62.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
248.83/62.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
249.22/62.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
249.22/62.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
249.22/62.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
249.22/62.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
260.41/65.26	c lits-rem:      4604  cl-subs:     1645  v-elim:      0  v-fix:    0  time: 11.37 s
260.41/65.26	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
260.41/65.26	c vivif2 --  cl tried    37813 cl shrink        0 lits rem          0 time: 0.03
261.21/65.48	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.87
261.21/65.48	c calculated reachability. Time: 0.00
261.21/65.48	c  N st    57    537457       150      3195         0     37813     15975    687561   no data   no data  --
348.69/87.32	c  N st    58    701441       150      3195         0     66040     15975   1519981   no data   no data  --
413.40/103.50	c  N st    59    806187       150      3195         0     60011     15975   1251200   no data   no data  --
413.40/103.50	c  S st    59    806187       150      3195         0     60011     15975   1251200   no data   no data  --
413.80/103.68	c  S st    59    806689       150      3195         0     60503     15975   1266242   no data   no data  --
413.80/103.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
413.80/103.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
414.20/103.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
414.20/103.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
414.20/103.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
414.20/103.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
414.20/103.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
448.55/112.38	c lits-rem:      2354  cl-subs:     5309  v-elim:      0  v-fix:    0  time: 34.46 s
448.55/112.38	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
448.55/112.39	c vivif2 --  cl tried    55194 cl shrink        0 lits rem          0 time: 0.06
450.15/112.76	c asymm  cl-useful: 0/2453/3195 lits-rem:0 time: 1.45
450.15/112.76	c calculated reachability. Time: 0.00
450.15/112.76	c  N st    59    806689       150      3195         0     55194     15975   1102486   no data   no data  --
633.89/158.75	c  F st    60   1071875       150      3195         0     70739     15975   1469337   no data   no data  --
633.89/158.75	c  N st    60   1071875       150      3195         0     70739     15975   1469337   no data   no data  --
639.09/160.01	c Decided on static restart strategy
654.69/163.95	c  N st    70   1100180       150      3195         0     55162     15975    968462   no data   no data  --
682.24/170.84	c  N st    72   1136172       150      3195         0     45887     15975    659111   no data   no data  --
703.81/176.22	c  N st    73   1168564       150      3195         0     76556     15975   1624902   no data   no data  --
732.96/183.60	c  N st    74   1210033       150      3195         0     71252     15975   1394697   no data   no data  --
732.96/183.60	c  S st    74   1210033       150      3195         0     71252     15975   1394697   no data   no data  --
734.16/183.80	c  S st    74   1210534       150      3195         0     71739     15975   1409505   no data   no data  --
734.16/183.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
734.16/183.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
734.16/183.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.13
734.16/183.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
734.16/183.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
734.16/183.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
734.16/183.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
790.90/198.07	c lits-rem:      2170  cl-subs:     5179  v-elim:      0  v-fix:    0  time: 56.64 s
790.90/198.07	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
790.90/198.09	c vivif2 --  cl tried    66560 cl shrink        0 lits rem          0 time: 0.07
791.68/198.28	c asymm  cl-useful: 0/742/3195 lits-rem:0 time: 0.79
791.68/198.29	c calculated reachability. Time: 0.00
791.68/198.29	c  N st    74   1210534       150      3195         0     66560     15975   1253103   no data   no data  --
866.38/216.99	c  N st    75   1283418       150      3195         0     89957     15975   1951926   no data   no data  --
979.03/245.18	c  N st    76   1392741       150      3195         0     51840     15975    747089   no data   no data  --
1113.25/278.77	c  N st    77   1556726       150      3195         0     56556     15975    846025   no data   no data  --
1246.26/312.03	c  N st    78   1710534       150      3195         0     96425     15975   1966971   no data   no data  --
1246.26/312.03	c  S st    78   1710534       150      3195         0     96425     15975   1966971   no data   no data  --
1247.48/312.36	c  S st    78   1711034       150      3195         0     96917     15975   1981608   no data   no data  --
1247.48/312.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1247.48/312.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1247.88/312.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.21
1247.88/312.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1247.88/312.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1247.88/312.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1247.88/312.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1367.29/342.38	c lits-rem:      1777  cl-subs:    11259  v-elim:      0  v-fix:    0  time: 119.36 s
1367.29/342.38	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1367.69/342.40	c vivif2 --  cl tried    85658 cl shrink        0 lits rem          0 time: 0.08
1368.89/342.76	c asymm  cl-useful: 0/1557/3195 lits-rem:0 time: 1.40
1368.89/342.76	c calculated reachability. Time: 0.00
1368.89/342.76	c  N st    78   1711034       150      3195         0     85658     15975   1667015   no data   no data  --
1706.00/427.17	c  N st    79   2079998       150      3195         0     97458     15975   1939933   no data   no data  --
1828.25/457.78	c  N st    80   2211034       150      3195         0    101784     15975   2042155   no data   no data  --
1828.25/457.78	c  S st    80   2211034       150      3195         0    101784     15975   2042155   no data   no data  --
1829.84/458.12	c  S st    80   2211538       150      3195         0    102279     15975   2056944   no data   no data  --
1829.84/458.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1829.84/458.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1829.84/458.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
1830.24/458.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1830.24/458.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1830.24/458.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1830.24/458.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1928.93/482.96	c lits-rem:      1789  cl-subs:     7869  v-elim:      0  v-fix:    0  time: 98.68 s
1928.93/482.96	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1928.93/482.98	c vivif2 --  cl tried    94410 cl shrink        0 lits rem          0 time: 0.09
1930.51/483.35	c asymm  cl-useful: 0/1234/3195 lits-rem:0 time: 1.46
1930.51/483.35	c calculated reachability. Time: 0.00
1930.51/483.35	c  N st    80   2211538       150      3195         0     94410     15975   1819680   no data   no data  --
2436.22/609.99	c  N st    81   2711538       150      3195         0    117093     15975   2463541   no data   no data  --
2436.22/609.99	c  S st    81   2711538       150      3195         0    117093     15975   2463541   no data   no data  --
2437.82/610.34	c  S st    81   2712040       150      3195         0    117585     15975   2478296   no data   no data  --
2437.82/610.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2437.82/610.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2438.23/610.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.23
2438.23/610.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2438.23/610.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2438.23/610.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2438.23/610.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2619.56/655.81	c lits-rem:      1707  cl-subs:    11245  v-elim:      0  v-fix:    0  time: 180.99 s
2619.56/655.81	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2619.56/655.84	c vivif2 --  cl tried   106340 cl shrink        0 lits rem          0 time: 0.11
2621.16/656.26	c asymm  cl-useful: 0/1256/3195 lits-rem:0 time: 1.68
2621.16/656.26	c calculated reachability. Time: 0.00
2621.16/656.26	c  N st    81   2712040       150      3195         0    106340     15975   2137350   no data   no data  --
3194.78/799.80	c  N st    82   3212041       150      3195         0     83646     15975   1253949   no data   no data  --
3194.78/799.80	c  S st    82   3212041       150      3195         0     83646     15975   1253949   no data   no data  --
3195.58/800.07	c  S st    82   3212546       150      3195         0     84141     15975   1269096   no data   no data  --
3195.58/800.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3195.58/800.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3195.98/800.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.16
3195.98/800.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3195.98/800.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3195.98/800.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3195.98/800.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3224.35/807.27	c lits-rem:       459  cl-subs:     2001  v-elim:      0  v-fix:    0  time: 28.43 s
3224.35/807.27	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3224.35/807.29	c vivif2 --  cl tried    82140 cl shrink        0 lits rem          0 time: 0.06
3225.94/807.63	c asymm  cl-useful: 0/1435/3195 lits-rem:0 time: 1.34
3225.94/807.63	c calculated reachability. Time: 0.00
3225.94/807.63	c  N st    82   3212546       150      3195         0     82140     15975   1204829   no data   no data  --
3806.75/953.02	c  N st    83   3712546       150      3195         0     92288     15975   1408414   no data   no data  --
3806.75/953.02	c  S st    83   3712546       150      3195         0     92288     15975   1408414   no data   no data  --
3807.55/953.28	c  S st    83   3713054       150      3195         0     92785     15975   1423414   no data   no data  --
3807.55/953.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3807.55/953.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3807.95/953.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.18
3807.95/953.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3807.95/953.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3807.95/953.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3807.95/953.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3844.32/962.47	c lits-rem:      1850  cl-subs:     3075  v-elim:      0  v-fix:    0  time: 36.32 s
3844.32/962.47	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3844.32/962.49	c vivif2 --  cl tried    89710 cl shrink        0 lits rem          0 time: 0.07
3845.09/962.64	c asymm  cl-useful: 0/504/3195 lits-rem:0 time: 0.61
3845.09/962.65	c calculated reachability. Time: 0.00
3845.09/962.65	c  N st    83   3713054       150      3195         0     89710     15975   1332638   no data   no data  --
3890.63/974.08	c  F st    84   3751562       150      3195         0    126002     15975   2426415   no data   no data  --
3890.63/974.08	c  N st    84   3751562       150      3195         0    126002     15975   2426415   no data   no data  --
3899.03/976.19	c Decided on static restart strategy
3941.76/986.87	c  N st    94   3779863       150      3195         0    152904     15975   3249599   no data   no data  --
3986.91/998.12	c  N st    96   3815857       150      3195         0    107027     15975   1825503   no data   no data  --
4032.44/1009.59	c  N st    97   3848249       150      3195         0    137697     15975   2776487   no data   no data  --
4097.55/1025.83	c  N st    98   3896839       150      3195         0    102419     15975   1658891   no data   no data  --
4230.99/1059.28	c  N st    99   3969723       150      3195         0     89229     15975   1243819   no data   no data  --
4383.17/1097.32	c  N st   100   4079047       150      3195         0    109236     15975   1845353   no data   no data  --
4571.30/1144.47	c  N st   101   4213055       150      3195         0    151701     15975   3132488   no data   no data  --
4571.30/1144.47	c  S st   101   4213055       150      3195         0    151701     15975   3132488   no data   no data  --
4573.30/1144.98	c  S st   101   4213560       150      3195         0    152193     15975   3147289   no data   no data  --
4573.30/1144.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4573.30/1144.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4573.72/1145.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.32
4574.12/1145.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4574.12/1145.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4574.12/1145.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4574.12/1145.17	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: 935)

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

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

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

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


[startup+0 s]
/proc/loadavg: 6.78 7.77 7.91 5/176 17159
/proc/meminfo: memFree=25285664/32951124 swapFree=67111448/67111528
[pid=17157] ppid=17154 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17157/stat : 17157 (strangenight1-m) R 17154 17157 16699 0 -1 4202496 413 0 0 0 0 0 0 0 18 0 4 0 504907520 52465664 352 33554432000 4194304 4650419 140735526377024 18446744073709551615 46993157998514 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17157/statm: 12809 352 303 112 0 7774 0
[pid=17157/tid=17160] ppid=17154 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17157/task/17160/stat : 17160 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 504907520 52465664 352 33554432000 4194304 4650419 140735526377024 18446744073709551615 255106825201 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17157/tid=17162] ppid=17154 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17157/task/17162/stat : 17162 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 504907520 52465664 352 33554432000 4194304 4650419 140735526377024 18446744073709551615 255101800680 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17157/tid=17164] ppid=17154 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17157/task/17164/stat : 17164 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 504907520 52465664 352 33554432000 4194304 4650419 140735526377024 18446744073709551615 255106825201 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.066825 s]
/proc/loadavg: 6.78 7.77 7.91 5/176 17159
/proc/meminfo: memFree=25285664/32951124 swapFree=67111448/67111528
[pid=17157] ppid=17154 vsize=282856 CPUtime=0.24 cores=0,2,4,6
/proc/17157/stat : 17157 (strangenight1-m) R 17154 17157 16699 0 -1 4202496 1869 0 0 0 24 0 0 0 18 0 4 0 504907520 289644544 1701 33554432000 4194304 4650419 140735526377024 18446744073709551615 4333980 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17157/statm: 70714 1701 388 112 0 65679 0
[pid=17157/tid=17160] ppid=17154 vsize=282856 CPUtime=0.05 cores=0,2,4,6
/proc/17157/task/17160/stat : 17160 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 400 0 0 0 5 0 0 0 18 0 4 0 504907520 289644544 1701 33554432000 4194304 4650419 140735526377024 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17157/tid=17162] ppid=17154 vsize=282856 CPUtime=0.05 cores=0,2,4,6
/proc/17157/task/17162/stat : 17162 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 432 0 0 0 5 0 0 0 18 0 4 0 504907520 289644544 1701 33554432000 4194304 4650419 140735526377024 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17157/tid=17164] ppid=17154 vsize=282856 CPUtime=0.05 cores=0,2,4,6
/proc/17157/task/17164/stat : 17164 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 214 0 0 0 5 0 0 0 21 0 4 0 504907520 289644544 1701 33554432000 4194304 4650419 140735526377024 18446744073709551615 4332084 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 282856

[startup+0.100819 s]
/proc/loadavg: 6.78 7.77 7.91 5/176 17159
/proc/meminfo: memFree=25285664/32951124 swapFree=67111448/67111528
[pid=17157] ppid=17154 vsize=282856 CPUtime=0.37 cores=0,2,4,6
/proc/17157/stat : 17157 (strangenight1-m) R 17154 17157 16699 0 -1 4202496 2043 0 0 0 37 0 0 0 18 0 4 0 504907520 289644544 1875 33554432000 4194304 4650419 140735526377024 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17157/statm: 70714 1875 389 112 0 65679 0
[pid=17157/tid=17160] ppid=17154 vsize=282856 CPUtime=0.09 cores=0,2,4,6
/proc/17157/task/17160/stat : 17160 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 442 0 0 0 9 0 0 0 18 0 4 0 504907520 289644544 1875 33554432000 4194304 4650419 140735526377024 18446744073709551615 4329423 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17157/tid=17162] ppid=17154 vsize=282856 CPUtime=0.09 cores=0,2,4,6
/proc/17157/task/17162/stat : 17162 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 474 0 0 0 9 0 0 0 18 0 4 0 504907520 289644544 1876 33554432000 4194304 4650419 140735526377024 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17157/tid=17164] ppid=17154 vsize=282856 CPUtime=0.09 cores=0,2,4,6
/proc/17157/task/17164/stat : 17164 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 258 0 0 0 9 0 0 0 21 0 4 0 504907520 289644544 1876 33554432000 4194304 4650419 140735526377024 18446744073709551615 4355019 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) 282856

[startup+0.300784 s]
/proc/loadavg: 6.78 7.77 7.91 5/176 17159
/proc/meminfo: memFree=25285664/32951124 swapFree=67111448/67111528
[pid=17157] ppid=17154 vsize=284336 CPUtime=1.17 cores=0,2,4,6
/proc/17157/stat : 17157 (strangenight1-m) R 17154 17157 16699 0 -1 4202496 3425 0 0 0 117 0 0 0 18 0 4 0 504907520 291160064 2537 33554432000 4194304 4650419 140735526377024 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17157/statm: 71084 2537 391 112 0 66049 0
[pid=17157/tid=17160] ppid=17154 vsize=284336 CPUtime=0.29 cores=0,2,4,6
/proc/17157/task/17160/stat : 17160 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 795 0 0 0 29 0 0 0 18 0 4 0 504907520 291160064 2537 33554432000 4194304 4650419 140735526377024 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17157/tid=17162] ppid=17154 vsize=284336 CPUtime=0.29 cores=0,2,4,6
/proc/17157/task/17162/stat : 17162 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 837 0 0 0 29 0 0 0 18 0 4 0 504907520 291160064 2537 33554432000 4194304 4650419 140735526377024 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17157/tid=17164] ppid=17154 vsize=284336 CPUtime=0.29 cores=0,2,4,6
/proc/17157/task/17164/stat : 17164 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 582 0 0 0 29 0 0 0 21 0 4 0 504907520 291160064 2538 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365227 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) 284336

[startup+0.700715 s]
/proc/loadavg: 6.78 7.77 7.91 5/176 17159
/proc/meminfo: memFree=25285664/32951124 swapFree=67111448/67111528
[pid=17157] ppid=17154 vsize=286564 CPUtime=2.77 cores=0,2,4,6
/proc/17157/stat : 17157 (strangenight1-m) R 17154 17157 16699 0 -1 4202496 6314 0 0 0 276 1 0 0 18 0 4 0 504907520 293441536 2968 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17157/statm: 71641 2968 391 112 0 66606 0
[pid=17157/tid=17160] ppid=17154 vsize=286564 CPUtime=0.68 cores=0,2,4,6
/proc/17157/task/17160/stat : 17160 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 1489 0 0 0 68 0 0 0 18 0 4 0 504907520 293441536 2968 33554432000 4194304 4650419 140735526377024 18446744073709551615 4366698 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17157/tid=17162] ppid=17154 vsize=286564 CPUtime=0.69 cores=0,2,4,6
/proc/17157/task/17162/stat : 17162 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 1586 0 0 0 69 0 0 0 18 0 4 0 504907520 293441536 2968 33554432000 4194304 4650419 140735526377024 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17157/tid=17164] ppid=17154 vsize=286564 CPUtime=0.69 cores=0,2,4,6
/proc/17157/task/17164/stat : 17164 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 1265 0 0 0 69 0 0 0 22 0 4 0 504907520 293441536 2968 33554432000 4194304 4650419 140735526377024 18446744073709551615 4334052 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) 286564

[startup+1.50057 s]
/proc/loadavg: 6.78 7.77 7.91 10/184 17167
/proc/meminfo: memFree=25261792/32951124 swapFree=67111448/67111528
[pid=17157] ppid=17154 vsize=278232 CPUtime=5.97 cores=0,2,4,6
/proc/17157/stat : 17157 (strangenight1-m) R 17154 17157 16699 0 -1 4202496 11552 0 0 0 595 2 0 0 20 0 4 0 504907520 284909568 5198 33554432000 4194304 4650419 140735526377024 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17157/statm: 69558 5198 393 112 0 64523 0
[pid=17157/tid=17160] ppid=17154 vsize=278232 CPUtime=1.48 cores=0,2,4,6
/proc/17157/task/17160/stat : 17160 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 2507 0 0 0 148 0 0 0 20 0 4 0 504907520 284909568 5198 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17157/tid=17162] ppid=17154 vsize=278232 CPUtime=1.48 cores=0,2,4,6
/proc/17157/task/17162/stat : 17162 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 2635 0 0 0 148 0 0 0 20 0 4 0 504907520 284909568 5198 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365369 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17157/tid=17164] ppid=17154 vsize=278232 CPUtime=1.48 cores=0,2,4,6
/proc/17157/task/17164/stat : 17164 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 2184 0 0 0 148 0 0 0 25 0 4 0 504907520 284909568 5198 33554432000 4194304 4650419 140735526377024 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 278232

[startup+3.10029 s]
/proc/loadavg: 6.78 7.77 7.91 10/184 17167
/proc/meminfo: memFree=25228428/32951124 swapFree=67111448/67111528
[pid=17157] ppid=17154 vsize=288748 CPUtime=12.36 cores=0,2,4,6
/proc/17157/stat : 17157 (strangenight1-m) R 17154 17157 16699 0 -1 4202496 20067 0 0 0 1233 3 0 0 25 0 4 0 504907520 295677952 11473 33554432000 4194304 4650419 140735526377024 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17157/statm: 72187 11473 393 112 0 67152 0
[pid=17157/tid=17160] ppid=17154 vsize=288748 CPUtime=3.08 cores=0,2,4,6
/proc/17157/task/17160/stat : 17160 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 4571 0 0 0 308 0 0 0 25 0 4 0 504907520 295677952 11473 33554432000 4194304 4650419 140735526377024 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17157/tid=17162] ppid=17154 vsize=288748 CPUtime=3.09 cores=0,2,4,6
/proc/17157/task/17162/stat : 17162 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 5190 0 0 0 308 1 0 0 25 0 4 0 504907520 295677952 11473 33554432000 4194304 4650419 140735526377024 18446744073709551615 4439619 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17157/tid=17164] ppid=17154 vsize=288748 CPUtime=3.07 cores=0,2,4,6
/proc/17157/task/17164/stat : 17164 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 5024 0 0 0 307 0 0 0 25 0 4 0 504907520 295677952 11473 33554432000 4194304 4650419 140735526377024 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 288748

[startup+6.30073 s]
/proc/loadavg: 6.88 7.78 7.91 10/184 17167
/proc/meminfo: memFree=25177084/32951124 swapFree=67111448/67111528
[pid=17157] ppid=17154 vsize=298240 CPUtime=25.14 cores=0,2,4,6
/proc/17157/stat : 17157 (strangenight1-m) R 17154 17157 16699 0 -1 4202496 28715 0 0 0 2508 6 0 0 25 0 4 0 504907520 305397760 16280 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365203 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17157/statm: 74560 16280 393 112 0 69525 0
[pid=17157/tid=17160] ppid=17154 vsize=298240 CPUtime=6.29 cores=0,2,4,6
/proc/17157/task/17160/stat : 17160 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 7189 0 0 0 628 1 0 0 25 0 4 0 504907520 305397760 16280 33554432000 4194304 4650419 140735526377024 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17157/tid=17162] ppid=17154 vsize=298240 CPUtime=6.28 cores=0,2,4,6
/proc/17157/task/17162/stat : 17162 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 7071 0 0 0 627 1 0 0 25 0 4 0 504907520 305397760 16280 33554432000 4194304 4650419 140735526377024 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17157/tid=17164] ppid=17154 vsize=298240 CPUtime=6.25 cores=0,2,4,6
/proc/17157/task/17164/stat : 17164 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 7130 0 0 0 624 1 0 0 25 0 4 0 504907520 305397760 16280 33554432000 4194304 4650419 140735526377024 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 298240

[startup+12.7006 s]
/proc/loadavg: 7.13 7.81 7.92 10/184 17167
/proc/meminfo: memFree=25134940/32951124 swapFree=67111448/67111528
[pid=17157] ppid=17154 vsize=298744 CPUtime=50.7 cores=0,2,4,6
/proc/17157/stat : 17157 (strangenight1-m) R 17154 17157 16699 0 -1 4202496 46056 0 0 0 5062 8 0 0 25 0 4 0 504907520 305913856 21401 33554432000 4194304 4650419 140735526377024 18446744073709551615 4313339 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17157/statm: 74686 21401 393 112 0 69651 0
[pid=17157/tid=17160] ppid=17154 vsize=298744 CPUtime=12.68 cores=0,2,4,6
/proc/17157/task/17160/stat : 17160 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 11532 0 0 0 1267 1 0 0 25 0 4 0 504907520 305913856 21401 33554432000 4194304 4650419 140735526377024 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17157/tid=17162] ppid=17154 vsize=298744 CPUtime=12.69 cores=0,2,4,6
/proc/17157/task/17162/stat : 17162 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 11375 0 0 0 1267 2 0 0 25 0 4 0 504907520 305913856 21401 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17157/tid=17164] ppid=17154 vsize=298744 CPUtime=12.62 cores=0,2,4,6
/proc/17157/task/17164/stat : 17164 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 10883 0 0 0 1260 2 0 0 25 0 4 0 504907520 305913856 21401 33554432000 4194304 4650419 140735526377024 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 298744

[startup+25.5004 s]
/proc/loadavg: 7.32 7.82 7.92 10/184 17167
/proc/meminfo: memFree=25065008/32951124 swapFree=67111448/67111528
[pid=17157] ppid=17154 vsize=323144 CPUtime=101.82 cores=0,2,4,6
/proc/17157/stat : 17157 (strangenight1-m) R 17154 17157 16699 0 -1 4202496 71666 0 0 0 10169 13 0 0 25 0 4 0 504907520 330899456 30923 33554432000 4194304 4650419 140735526377024 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17157/statm: 80786 30923 393 112 0 75751 0
[pid=17157/tid=17160] ppid=17154 vsize=323144 CPUtime=25.48 cores=0,2,4,6
/proc/17157/task/17160/stat : 17160 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 17204 0 0 0 2546 2 0 0 25 0 4 0 504907520 330899456 30923 33554432000 4194304 4650419 140735526377024 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17157/tid=17162] ppid=17154 vsize=323144 CPUtime=25.49 cores=0,2,4,6
/proc/17157/task/17162/stat : 17162 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 18569 0 0 0 2545 4 0 0 25 0 4 0 504907520 330899456 30923 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17157/tid=17164] ppid=17154 vsize=323144 CPUtime=25.34 cores=0,2,4,6
/proc/17157/task/17164/stat : 17164 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 15384 0 0 0 2532 2 0 0 25 0 4 0 504907520 330899456 30923 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 323144

[startup+51.1009 s]
/proc/loadavg: 7.55 7.84 7.92 10/184 17168
/proc/meminfo: memFree=25030392/32951124 swapFree=67111448/67111528
[pid=17157] ppid=17154 vsize=325400 CPUtime=204.1 cores=0,2,4,6
/proc/17157/stat : 17157 (strangenight1-m) R 17154 17157 16699 0 -1 4202496 106991 0 0 0 20387 23 0 0 25 0 4 0 504907520 333209600 37004 33554432000 4194304 4650419 140735526377024 18446744073709551615 4333702 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17157/statm: 81350 37004 393 112 0 76315 0
[pid=17157/tid=17160] ppid=17154 vsize=325400 CPUtime=51.08 cores=0,2,4,6
/proc/17157/task/17160/stat : 17160 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 27615 0 0 0 5104 4 0 0 25 0 4 0 504907520 333209600 37004 33554432000 4194304 4650419 140735526377024 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17157/tid=17162] ppid=17154 vsize=325400 CPUtime=51.09 cores=0,2,4,6
/proc/17157/task/17162/stat : 17162 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 29002 0 0 0 5102 7 0 0 25 0 4 0 504907520 333209600 37004 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17157/tid=17164] ppid=17154 vsize=325400 CPUtime=50.81 cores=0,2,4,6
/proc/17157/task/17164/stat : 17164 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 20159 0 0 0 5077 4 0 0 25 0 4 0 504907520 333209600 37004 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 325400

[startup+102.307 s]
/proc/loadavg: 7.89 7.89 7.94 10/184 17169
/proc/meminfo: memFree=24960076/32951124 swapFree=67111448/67111528
[pid=17157] ppid=17154 vsize=326792 CPUtime=408.63 cores=0,2,4,6
/proc/17157/stat : 17157 (strangenight1-m) R 17154 17157 16699 0 -1 4202496 169959 0 0 0 40823 40 0 0 25 0 4 0 504907520 334635008 44150 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17157/statm: 81698 44150 393 112 0 76663 0
[pid=17157/tid=17160] ppid=17154 vsize=326792 CPUtime=102.29 cores=0,2,4,6
/proc/17157/task/17160/stat : 17160 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 44550 0 0 0 10219 10 0 0 25 0 4 0 504907520 334635008 44150 33554432000 4194304 4650419 140735526377024 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17157/tid=17162] ppid=17154 vsize=326792 CPUtime=102.29 cores=0,2,4,6
/proc/17157/task/17162/stat : 17162 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 47065 0 0 0 10217 12 0 0 25 0 4 0 504907520 334635008 44150 33554432000 4194304 4650419 140735526377024 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17157/tid=17164] ppid=17154 vsize=326792 CPUtime=101.73 cores=0,2,4,6
/proc/17157/task/17164/stat : 17164 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 31539 0 0 0 10167 6 0 0 25 0 4 0 504907520 334635008 44150 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 326792

[startup+162.3 s]

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

[pid=17157] ppid=17154 vsize=582072 CPUtime=2805.31 cores=0,2,4,6
/proc/17157/stat : 17157 (strangenight1-m) R 17154 17157 16699 0 -1 4202496 527995 0 0 0 280349 182 0 0 25 0 4 0 504907520 596041728 116420 33554432000 4194304 4650419 140735526377024 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17157/statm: 145518 116420 393 112 0 140483 0
[pid=17157/tid=17160] ppid=17154 vsize=582072 CPUtime=702.28 cores=0,2,4,6
/proc/17157/task/17160/stat : 17160 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 146484 0 0 0 70177 51 0 0 25 0 4 0 504907520 596041728 116420 33554432000 4194304 4650419 140735526377024 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17157/tid=17162] ppid=17154 vsize=582072 CPUtime=702.3 cores=0,2,4,6
/proc/17157/task/17162/stat : 17162 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 136153 0 0 0 70184 46 0 0 25 0 4 0 504907520 596041728 116420 33554432000 4194304 4650419 140735526377024 18446744073709551615 4360504 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17157/tid=17164] ppid=17154 vsize=582072 CPUtime=698.47 cores=0,2,4,6
/proc/17157/task/17164/stat : 17164 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 93363 0 0 0 69815 32 0 0 25 0 4 0 504907520 596041728 116420 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.31
Current children cumulated vsize (KiB) 582072

[startup+762.307 s]
/proc/loadavg: 8.00 8.02 8.00 10/184 17196
/proc/meminfo: memFree=24428004/32951124 swapFree=67111448/67111528
[pid=17157] ppid=17154 vsize=729184 CPUtime=3045.01 cores=0,2,4,6
/proc/17157/stat : 17157 (strangenight1-m) R 17154 17157 16699 0 -1 4202496 549913 0 0 0 304312 189 0 0 25 0 4 0 504907520 746684416 125095 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17157/statm: 182296 125095 393 112 0 177261 0
[pid=17157/tid=17160] ppid=17154 vsize=729184 CPUtime=762.29 cores=0,2,4,6
/proc/17157/task/17160/stat : 17160 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 151179 0 0 0 76177 52 0 0 25 0 4 0 504907520 746684416 125095 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17157/tid=17162] ppid=17154 vsize=729184 CPUtime=762.31 cores=0,2,4,6
/proc/17157/task/17162/stat : 17162 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 145211 0 0 0 76181 50 0 0 25 0 4 0 504907520 746684416 125095 33554432000 4194304 4650419 140735526377024 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17157/tid=17164] ppid=17154 vsize=729184 CPUtime=758.16 cores=0,2,4,6
/proc/17157/task/17164/stat : 17164 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 95347 0 0 0 75783 33 0 0 25 0 4 0 504907520 746684416 125095 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365313 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.01
Current children cumulated vsize (KiB) 729184

[startup+822.301 s]
/proc/loadavg: 8.05 8.03 8.00 9/184 17197
/proc/meminfo: memFree=24448460/32951124 swapFree=67111448/67111528
[pid=17157] ppid=17154 vsize=648984 CPUtime=3284.67 cores=0,2,4,6
/proc/17157/stat : 17157 (strangenight1-m) R 17154 17157 16699 0 -1 4202496 582597 0 0 0 328265 202 0 0 25 0 4 0 504907520 664559616 117420 33554432000 4194304 4650419 140735526377024 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17157/statm: 162246 117420 393 112 0 157211 0
[pid=17157/tid=17160] ppid=17154 vsize=648984 CPUtime=822.29 cores=0,2,4,6
/proc/17157/task/17160/stat : 17160 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 160777 0 0 0 82174 55 0 0 25 0 4 0 504907520 664559616 117420 33554432000 4194304 4650419 140735526377024 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17157/tid=17162] ppid=17154 vsize=648984 CPUtime=822.3 cores=0,2,4,6
/proc/17157/task/17162/stat : 17162 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 153140 0 0 0 82176 54 0 0 25 0 4 0 504907520 664559616 117420 33554432000 4194304 4650419 140735526377024 18446744073709551615 4433084 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17157/tid=17164] ppid=17154 vsize=648984 CPUtime=817.83 cores=0,2,4,6
/proc/17157/task/17164/stat : 17164 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 102297 0 0 0 81748 35 0 0 25 0 4 0 504907520 664559616 117420 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.67
Current children cumulated vsize (KiB) 648984

[startup+882.301 s]
/proc/loadavg: 8.10 8.05 8.01 10/184 17199
/proc/meminfo: memFree=24400456/32951124 swapFree=67111448/67111528
[pid=17157] ppid=17154 vsize=656700 CPUtime=3524.33 cores=0,2,4,6
/proc/17157/stat : 17157 (strangenight1-m) R 17154 17157 16699 0 -1 4202496 609236 0 0 0 352219 214 0 0 25 0 4 0 504907520 672460800 124611 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17157/statm: 164175 124611 393 112 0 159140 0
[pid=17157/tid=17160] ppid=17154 vsize=656700 CPUtime=882.29 cores=0,2,4,6
/proc/17157/task/17160/stat : 17160 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 169353 0 0 0 88170 59 0 0 25 0 4 0 504907520 672460800 124611 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17157/tid=17162] ppid=17154 vsize=656700 CPUtime=882.3 cores=0,2,4,6
/proc/17157/task/17162/stat : 17162 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 157859 0 0 0 88174 56 0 0 25 0 4 0 504907520 672460800 124611 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17157/tid=17164] ppid=17154 vsize=656700 CPUtime=877.5 cores=0,2,4,6
/proc/17157/task/17164/stat : 17164 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 107346 0 0 0 87712 38 0 0 25 0 4 0 504907520 672460800 124611 33554432000 4194304 4650419 140735526377024 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.33
Current children cumulated vsize (KiB) 656700

[startup+942.301 s]
/proc/loadavg: 8.12 8.07 8.01 9/184 17201
/proc/meminfo: memFree=24367584/32951124 swapFree=67111448/67111528
[pid=17157] ppid=17154 vsize=706200 CPUtime=3764.01 cores=0,2,4,6
/proc/17157/stat : 17157 (strangenight1-m) R 17154 17157 16699 0 -1 4202496 632083 0 0 0 376176 225 0 0 25 0 4 0 504907520 723148800 128592 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17157/statm: 176550 128592 393 112 0 171515 0
[pid=17157/tid=17160] ppid=17154 vsize=706200 CPUtime=942.29 cores=0,2,4,6
/proc/17157/task/17160/stat : 17160 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 173727 0 0 0 94169 60 0 0 25 0 4 0 504907520 723148800 128592 33554432000 4194304 4650419 140735526377024 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17157/tid=17162] ppid=17154 vsize=706200 CPUtime=942.31 cores=0,2,4,6
/proc/17157/task/17162/stat : 17162 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 161994 0 0 0 94172 59 0 0 25 0 4 0 504907520 723148800 128592 33554432000 4194304 4650419 140735526377024 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17157/tid=17164] ppid=17154 vsize=706200 CPUtime=937.18 cores=0,2,4,6
/proc/17157/task/17164/stat : 17164 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 112833 0 0 0 93677 41 0 0 25 0 4 0 504907520 723148800 128592 33554432000 4194304 4650419 140735526377024 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.01
Current children cumulated vsize (KiB) 706200

[startup+1002.3 s]
/proc/loadavg: 8.04 8.05 8.01 10/184 17202
/proc/meminfo: memFree=24403896/32951124 swapFree=67111448/67111528
[pid=17157] ppid=17154 vsize=734664 CPUtime=4003.68 cores=0,2,4,6
/proc/17157/stat : 17157 (strangenight1-m) R 17154 17157 16699 0 -1 4202496 659799 0 0 0 400130 238 0 0 25 0 4 0 504907520 752295936 121735 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17157/statm: 183666 121735 393 112 0 178631 0
[pid=17157/tid=17160] ppid=17154 vsize=734664 CPUtime=1002.29 cores=0,2,4,6
/proc/17157/task/17160/stat : 17160 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 180543 0 0 0 100166 63 0 0 25 0 4 0 504907520 752295936 121735 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17157/tid=17162] ppid=17154 vsize=734664 CPUtime=1002.31 cores=0,2,4,6
/proc/17157/task/17162/stat : 17162 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 169868 0 0 0 100168 63 0 0 25 0 4 0 504907520 752295936 121735 33554432000 4194304 4650419 140735526377024 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17157/tid=17164] ppid=17154 vsize=734664 CPUtime=996.85 cores=0,2,4,6
/proc/17157/task/17164/stat : 17164 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 118770 0 0 0 99642 43 0 0 25 0 4 0 504907520 752295936 121735 33554432000 4194304 4650419 140735526377024 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.68
Current children cumulated vsize (KiB) 734664

[startup+1062.3 s]
/proc/loadavg: 8.01 8.04 8.00 10/184 17204
/proc/meminfo: memFree=24328984/32951124 swapFree=67111448/67111528
[pid=17157] ppid=17154 vsize=792144 CPUtime=4243.36 cores=0,2,4,6
/proc/17157/stat : 17157 (strangenight1-m) R 17154 17157 16699 0 -1 4202496 688453 0 0 0 424087 249 0 0 25 0 4 0 504907520 811155456 129622 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17157/statm: 198036 129622 393 112 0 193001 0
[pid=17157/tid=17160] ppid=17154 vsize=792144 CPUtime=1062.3 cores=0,2,4,6
/proc/17157/task/17160/stat : 17160 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 186841 0 0 0 106163 67 0 0 25 0 4 0 504907520 811155456 129622 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17157/tid=17162] ppid=17154 vsize=792144 CPUtime=1062.31 cores=0,2,4,6
/proc/17157/task/17162/stat : 17162 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 174795 0 0 0 106166 65 0 0 25 0 4 0 504907520 811155456 129622 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17157/tid=17164] ppid=17154 vsize=792144 CPUtime=1056.54 cores=0,2,4,6
/proc/17157/task/17164/stat : 17164 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 128904 0 0 0 105609 45 0 0 25 0 4 0 504907520 811155456 129622 33554432000 4194304 4650419 140735526377024 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.36
Current children cumulated vsize (KiB) 792144

[startup+1122.3 s]
/proc/loadavg: 8.00 8.03 8.00 10/184 17206
/proc/meminfo: memFree=24322648/32951124 swapFree=67111448/67111528
[pid=17157] ppid=17154 vsize=771340 CPUtime=4483.03 cores=0,2,4,6
/proc/17157/stat : 17157 (strangenight1-m) R 17154 17157 16699 0 -1 4202496 718245 0 0 0 448040 263 0 0 25 0 4 0 504907520 789852160 129242 33554432000 4194304 4650419 140735526377024 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17157/statm: 192835 129242 393 112 0 187800 0
[pid=17157/tid=17160] ppid=17154 vsize=771340 CPUtime=1122.29 cores=0,2,4,6
/proc/17157/task/17160/stat : 17160 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 194661 0 0 0 112158 71 0 0 25 0 4 0 504907520 789852160 129242 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17157/tid=17162] ppid=17154 vsize=771340 CPUtime=1122.31 cores=0,2,4,6
/proc/17157/task/17162/stat : 17162 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 182988 0 0 0 112163 68 0 0 25 0 4 0 504907520 789852160 129242 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17157/tid=17164] ppid=17154 vsize=771340 CPUtime=1116.2 cores=0,2,4,6
/proc/17157/task/17164/stat : 17164 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 134894 0 0 0 111574 46 0 0 25 0 4 0 504907520 789852160 129242 33554432000 4194304 4650419 140735526377024 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.03
Current children cumulated vsize (KiB) 771340

[startup+1182.3 s]
/proc/loadavg: 8.03 8.04 8.00 10/184 17207
/proc/meminfo: memFree=24304524/32951124 swapFree=67111448/67111528
[pid=17157] ppid=17154 vsize=727716 CPUtime=4722.71 cores=0,2,4,6
/proc/17157/stat : 17157 (strangenight1-m) R 17154 17157 16699 0 -1 4202496 743218 0 0 0 471997 274 0 0 25 0 4 0 504907520 745181184 129351 33554432000 4194304 4650419 140735526377024 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17157/statm: 181929 129351 393 112 0 176894 0
[pid=17157/tid=17160] ppid=17154 vsize=727716 CPUtime=1182.3 cores=0,2,4,6
/proc/17157/task/17160/stat : 17160 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 200806 0 0 0 118156 74 0 0 25 0 4 0 504907520 745181184 129351 33554432000 4194304 4650419 140735526377024 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17157/tid=17162] ppid=17154 vsize=727716 CPUtime=1182.31 cores=0,2,4,6
/proc/17157/task/17162/stat : 17162 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 191241 0 0 0 118159 72 0 0 25 0 4 0 504907520 745181184 129351 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17157/tid=17164] ppid=17154 vsize=727716 CPUtime=1175.88 cores=0,2,4,6
/proc/17157/task/17164/stat : 17164 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 140780 0 0 0 117539 49 0 0 25 0 4 0 504907520 745181184 129351 33554432000 4194304 4650419 140735526377024 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.71
Current children cumulated vsize (KiB) 727716



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.15 8.06 8.01 10/184 17208
/proc/meminfo: memFree=24318528/32951124 swapFree=67111448/67111528
[pid=17157] ppid=17154 vsize=669968 CPUtime=4800.22 cores=0,2,4,6
/proc/17157/stat : 17157 (strangenight1-m) R 17154 17157 16699 0 -1 4202496 750253 0 0 0 479743 279 0 0 25 0 4 0 504907520 686047232 127467 33554432000 4194304 4650419 140735526377024 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17157/statm: 167492 127467 393 112 0 162457 0
[pid=17157/tid=17160] ppid=17154 vsize=669968 CPUtime=1201.7 cores=0,2,4,6
/proc/17157/task/17160/stat : 17160 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 203718 0 0 0 120095 75 0 0 25 0 4 0 504907520 686047232 127467 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17157/tid=17162] ppid=17154 vsize=669968 CPUtime=1201.72 cores=0,2,4,6
/proc/17157/task/17162/stat : 17162 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 194372 0 0 0 120098 74 0 0 25 0 4 0 504907520 686047232 127467 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17157/tid=17164] ppid=17154 vsize=669968 CPUtime=1195.17 cores=0,2,4,6
/proc/17157/task/17164/stat : 17164 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 141772 0 0 0 119467 50 0 0 25 0 4 0 504907520 686047232 127467 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 669968

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

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

[startup+1201.7 s]
/proc/loadavg: 8.15 8.06 8.01 10/184 17208
/proc/meminfo: memFree=24318528/32951124 swapFree=67111448/67111528
[pid=17157] ppid=17154 vsize=669968 CPUtime=4800.22 cores=0,2,4,6
/proc/17157/stat : 17157 (strangenight1-m) R 17154 17157 16699 0 -1 4202496 750253 0 0 0 479743 279 0 0 25 0 4 0 504907520 686047232 127467 33554432000 4194304 4650419 140735526377024 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17157/statm: 167492 127467 393 112 0 162457 0
[pid=17157/tid=17160] ppid=17154 vsize=669968 CPUtime=1201.7 cores=0,2,4,6
/proc/17157/task/17160/stat : 17160 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 203718 0 0 0 120095 75 0 0 25 0 4 0 504907520 686047232 127467 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17157/tid=17162] ppid=17154 vsize=669968 CPUtime=1201.72 cores=0,2,4,6
/proc/17157/task/17162/stat : 17162 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 194372 0 0 0 120098 74 0 0 25 0 4 0 504907520 686047232 127467 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17157/tid=17164] ppid=17154 vsize=669968 CPUtime=1195.17 cores=0,2,4,6
/proc/17157/task/17164/stat : 17164 (strangenight1-m) R 17154 17157 16699 0 -1 4202560 141772 0 0 0 119467 50 0 0 25 0 4 0 504907520 686047232 127467 33554432000 4194304 4650419 140735526377024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 669968

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.27
CPU user time (s): 4797.45
CPU system time (s): 2.81857
CPU usage (%): 399.444
Max. virtual memory (cumulated for all children) (KiB): 855416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.45
system time used= 2.81857
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 750253
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= 623
involuntary context switches= 52738

runsolver used 1.74073 second user time and 4.81327 second system time

The end

Launcher Data 

Begin job on node144 at 2011-04-30 02:55:14
IDJOB=3175456
IDBENCH=83074
IDSOLVER=1588
FILE ID=node144/3175456-1304124914
RUNJOBID= node144-1304124914-17140
PBS_JOBID= 13170730
Free space on /tmp= 72412 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
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-3175456-1304124914/watcher-3175456-1304124914 -o /tmp/evaluation-result-3175456-1304124914/solver-3175456-1304124914 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175456-1304124914.cnf

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

MD5SUM BENCH= 00e397e3dd3a79476fc090c9f6643f84
RANDOM SEED=1070771694

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
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.82
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.850
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.850
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25286224 kB
Buffers:       2109996 kB
Cached:        4947664 kB
SwapCached:         80 kB
Active:         180752 kB
Inactive:      6940088 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25286224 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:           12576 kB
Writeback:           0 kB
AnonPages:       62596 kB
Mapped:          14476 kB
Slab:           480536 kB
PageTables:       4484 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187508 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= 72396 MiB
End job on node144 at 2011-04-30 03:15:18