Trace number 3175145

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.37 1201.74

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S436871389-051.SATISFIABLE.cnf
MD5SUM6deba4513edb64b9aaebf4e8cfbaf90d
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.018997
Satisfiable
(Un)Satisfiability was proved
Number of variables125
Number of clauses2662
Sum of the clauses size13310
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 52662
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-3175145-1304091597.cnf'
0.00/0.00	c -- header says num vars:            125
0.00/0.00	c -- header says num clauses:        2662
0.00/0.00	c -- clauses added:            0 learnts,         2662 normals,            0 xors
0.00/0.00	c -- vars added        125
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       125      2662         0         0     13310         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.04
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.57/0.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
3.57/0.90	c Finding binary XORs  T:     0.00 s  found:       0
3.57/0.90	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.57/0.90	c calculated reachability. Time: 0.00
3.57/0.90	c Calc default polars -  time:   0.00 s pos:      62 undec:       5 neg:      58
3.57/0.90	c =========================================================================================
3.57/0.90	c types(t): F = full restart, N = normal restart
3.57/0.90	c types(t): S = simplification begin/end, E = solution found
3.57/0.90	c restart types(rt): st = static, dy = dynamic
3.57/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.57/0.90	c  B st     0         0       125      2662         0         0     13310         0   no data   no data  --
3.57/0.90	c Decided on static restart strategy
3.57/0.90	c  N st     8      4915       125      2662         0      4635     13310    119869   no data   no data  --
3.57/0.90	c  N st    10     11298       125      2662         0      4284     13310     86677   no data   no data  --
3.57/0.90	c  N st    11     17044       125      2662         0      9696     13310    228444   no data   no data  --
3.57/0.90	c  F st    12     25000       125      2662         0     11938     13310    279170   no data   no data  --
3.57/0.90	c  N st    12     25000       125      2662         0     11938     13310    279170   no data   no data  --
3.99/1.10	c Decided on static restart strategy
3.99/1.10	c  N st    18     30001       125      2662         0     10247     13310    230480   no data   no data  --
3.99/1.10	c  S st    18     30001       125      2662         0     10247     13310    230480   no data   no data  --
3.99/1.10	c  S st    18     30502       125      2662         0     10735     13310    243350   no data   no data  --
3.99/1.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.99/1.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3.99/1.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
3.99/1.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.99/1.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.99/1.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3.99/1.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
6.77/1.74	c lits-rem:      2509  cl-subs:     1461  v-elim:      0  v-fix:    0  time:  2.65 s
6.77/1.78	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.18
6.77/1.78	c calculated reachability. Time: 0.00
6.77/1.79	c  N st    18     30502       125      2662         0      9274     13310    199773   no data   no data  --
8.39/2.12	c  N st    20     37614       125      2662         0      8530     13310    164489   no data   no data  --
9.57/2.42	c  N st    21     44013       125      2662         0     14575     13310    324106   no data   no data  --
9.97/2.51	c  S st    22     45753       125      2662         0     16221     13310    367762   no data   no data  --
9.97/2.55	c  S st    22     46254       125      2662         0     16711     13310    380584   no data   no data  --
9.97/2.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.97/2.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.97/2.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
9.97/2.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.97/2.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.97/2.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
9.97/2.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.56/3.92	c lits-rem:      3879  cl-subs:     1649  v-elim:      0  v-fix:    0  time:  5.41 s
15.56/3.92	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
15.56/3.93	c vivif2 --  cl tried    15062 cl shrink        0 lits rem          0 time: 0.02
15.96/4.00	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.29
15.96/4.00	c calculated reachability. Time: 0.00
15.96/4.00	c  N st    22     46254       125      2662         0     15062     13310    331494   no data   no data  --
19.15/4.82	c  N st    23     60652       125      2662         0     10836     13310    193496   no data   no data  --
20.75/5.30	c  N st    24     69381       125      2662         0     19043     13310    409510   no data   no data  --
20.75/5.30	c  S st    24     69381       125      2662         0     19043     13310    409510   no data   no data  --
21.15/5.35	c  S st    24     69888       125      2662         0     19533     13310    421665   no data   no data  --
21.15/5.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
21.15/5.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
21.15/5.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
21.15/5.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
21.15/5.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
21.15/5.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
21.15/5.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.13/6.84	c lits-rem:      4365  cl-subs:     1980  v-elim:      0  v-fix:    0  time:  5.90 s
27.13/6.84	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
27.13/6.85	c vivif2 --  cl tried    17553 cl shrink        0 lits rem          0 time: 0.02
27.53/6.93	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.32
27.53/6.93	c calculated reachability. Time: 0.00
27.53/6.93	c  N st    24     69888       125      2662         0     17553     13310    364497   no data   no data  --
31.94/8.07	c  F st    25     87500       125      2662         0     12597     13310    219460   no data   no data  --
31.94/8.07	c  N st    25     87500       125      2662         0     12597     13310    219460   no data   no data  --
33.13/8.38	c Decided on static restart strategy
33.93/8.55	c  N st    32     95540       125      2662         0     20182     13310    413976   no data   no data  --
36.33/9.17	c  N st    34    104833       125      2662         0     16676     13310    316673   no data   no data  --
36.33/9.17	c  S st    34    104833       125      2662         0     16676     13310    316673   no data   no data  --
36.73/9.22	c  S st    34    105337       125      2662         0     17166     13310    329181   no data   no data  --
36.73/9.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.73/9.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.73/9.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
36.73/9.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.73/9.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.73/9.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
36.73/9.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
41.12/10.37	c lits-rem:      2420  cl-subs:     1351  v-elim:      0  v-fix:    0  time:  4.53 s
41.12/10.37	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
41.12/10.37	c vivif2 --  cl tried    15815 cl shrink        0 lits rem          0 time: 0.01
41.52/10.44	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.26
41.52/10.44	c calculated reachability. Time: 0.00
41.52/10.44	c  N st    34    105337       125      2662         0     15815     13310    290978   no data   no data  --
44.32/11.15	c  N st    35    114935       125      2662         0     24788     13310    514013   no data   no data  --
48.71/12.24	c  N st    36    129333       125      2662         0     25237     13310    529091   no data   no data  --
54.71/13.78	c  N st    37    150928       125      2662         0     16450     13310    264934   no data   no data  --
56.72/14.27	c  S st    38    158005       125      2662         0     23107     13310    441850   no data   no data  --
57.12/14.33	c  S st    38    158505       125      2662         0     23592     13310    454460   no data   no data  --
57.12/14.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
57.12/14.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
57.12/14.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
57.12/14.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
57.12/14.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
57.12/14.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
57.12/14.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
62.70/15.77	c lits-rem:      4243  cl-subs:     1652  v-elim:      0  v-fix:    0  time:  5.68 s
62.70/15.77	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
62.70/15.77	c vivif2 --  cl tried    21940 cl shrink        0 lits rem          0 time: 0.02
63.10/15.89	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.45
63.10/15.89	c calculated reachability. Time: 0.00
63.10/15.89	c  N st    38    158505       125      2662         0     21940     13310    405739   no data   no data  --
79.87/20.03	c  N st    39    207094       125      2662         0     34727     13310    736920   no data   no data  --
91.46/22.91	c  N st    40    237757       125      2662         0     26908     13310    493873   no data   no data  --
91.46/22.91	c  S st    40    237757       125      2662         0     26908     13310    493873   no data   no data  --
91.46/22.98	c  S st    40    238260       125      2662         0     27387     13310    506275   no data   no data  --
91.46/22.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
91.46/22.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
91.46/22.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
91.87/23.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
91.87/23.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
91.87/23.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
91.87/23.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
97.85/24.60	c lits-rem:      3348  cl-subs:     1904  v-elim:      0  v-fix:    0  time:  6.35 s
97.85/24.60	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
98.24/24.60	c vivif2 --  cl tried    25483 cl shrink        0 lits rem          0 time: 0.02
98.64/24.71	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.43
98.64/24.71	c calculated reachability. Time: 0.00
98.64/24.71	c  N st    40    238260       125      2662         0     25483     13310    452289   no data   no data  --
123.81/31.03	c  F st    41    306251       125      2662         0     27412     13310    455321   no data   no data  --
123.81/31.03	c  N st    41    306251       125      2662         0     27412     13310    455321   no data   no data  --
125.81/31.52	c Decided on static restart strategy
135.40/33.93	c  N st    51    334552       125      2662         0     31516     13310    545013   no data   no data  --
145.79/36.50	c  N st    53    357390       125      2662         0     29507     13310    482261   no data   no data  --
145.79/36.50	c  S st    53    357390       125      2662         0     29507     13310    482261   no data   no data  --
145.79/36.58	c  S st    53    357897       125      2662         0     29997     13310    495376   no data   no data  --
145.79/36.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
145.79/36.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
145.79/36.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
146.19/36.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
146.19/36.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.19/36.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
146.19/36.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
152.57/38.21	c lits-rem:      2923  cl-subs:     1185  v-elim:      0  v-fix:    0  time:  6.42 s
152.57/38.21	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
152.57/38.21	c vivif2 --  cl tried    28812 cl shrink        0 lits rem          0 time: 0.02
152.97/38.35	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.52
152.97/38.35	c calculated reachability. Time: 0.00
152.97/38.35	c  N st    53    357897       125      2662         0     28812     13310    459481   no data   no data  --
171.75/43.03	c  N st    54    390289       125      2662         0     34747     13310    597528   no data   no data  --
194.51/48.78	c  N st    55    438879       125      2662         0     28830     13310    424875   no data   no data  --
229.67/57.57	c  N st    56    511761       125      2662         0     41704     13310    728229   no data   no data  --
242.05/60.68	c  N st    57    536845       125      2662         0     36130     13310    556620   no data   no data  --
242.05/60.68	c  S st    57    536845       125      2662         0     36130     13310    556620   no data   no data  --
242.45/60.78	c  S st    57    537349       125      2662         0     36624     13310    569756   no data   no data  --
242.45/60.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
242.45/60.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
242.45/60.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
242.85/60.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
242.85/60.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
242.85/60.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
242.85/60.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
250.83/62.83	c lits-rem:      2384  cl-subs:     1869  v-elim:      0  v-fix:    0  time:  8.06 s
250.83/62.83	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
250.83/62.83	c vivif2 --  cl tried    34755 cl shrink        0 lits rem          0 time: 0.02
251.24/62.99	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.62
251.24/62.99	c calculated reachability. Time: 0.00
251.24/62.99	c  N st    57    537349       125      2662         0     34755     13310    523772   no data   no data  --
337.52/84.59	c  N st    58    701334       125      2662         0     62760     13310   1213687   no data   no data  --
403.04/100.99	c  N st    59    806023       125      2662         0     56563     13310    968788   no data   no data  --
403.04/100.99	c  S st    59    806023       125      2662         0     56563     13310    968788   no data   no data  --
403.85/101.14	c  S st    59    806524       125      2662         0     57047     13310    981777   no data   no data  --
403.85/101.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
403.85/101.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
403.85/101.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
403.85/101.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
403.85/101.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
403.85/101.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
403.85/101.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
426.22/106.79	c lits-rem:      1356  cl-subs:     6525  v-elim:      0  v-fix:    0  time: 22.35 s
426.22/106.79	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
426.60/106.80	c vivif2 --  cl tried    50522 cl shrink        0 lits rem          0 time: 0.04
427.40/107.07	c asymm  cl-useful: 0/2228/2662 lits-rem:0 time: 1.05
427.40/107.07	c calculated reachability. Time: 0.00
427.40/107.07	c  N st    59    806524       125      2662         0     50522     13310    833345   no data   no data  --
591.18/148.06	c  F st    60   1071875       125      2662         0     65766     13310   1122037   no data   no data  --
591.18/148.06	c  N st    60   1071875       125      2662         0     65766     13310   1122037   no data   no data  --
595.18/149.02	c Decided on static restart strategy
613.15/153.58	c  N st    70   1100180       125      2662         0     50690     13310    745093   no data   no data  --
636.31/159.38	c  N st    72   1136174       125      2662         0     84570     13310   1646842   no data   no data  --
657.89/164.79	c  N st    73   1168566       125      2662         0     72023     13310   1297547   no data   no data  --
689.05/172.50	c  N st    74   1209787       125      2662         0     66692     13310   1136673   no data   no data  --
689.05/172.50	c  S st    74   1209787       125      2662         0     66692     13310   1136673   no data   no data  --
689.87/172.76	c  S st    74   1210290       125      2662         0     67181     13310   1149995   no data   no data  --
689.87/172.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
689.87/172.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
689.87/172.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.14
690.25/172.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
690.25/172.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
690.25/172.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
690.25/172.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
735.78/184.22	c lits-rem:       331  cl-subs:     5259  v-elim:      0  v-fix:    0  time: 45.47 s
735.78/184.22	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
735.78/184.23	c vivif2 --  cl tried    61922 cl shrink        0 lits rem          0 time: 0.06
737.38/184.64	c asymm  cl-useful: 0/1901/2662 lits-rem:0 time: 1.65
737.38/184.65	c calculated reachability. Time: 0.00
737.38/184.65	c  N st    74   1210290       125      2662         0     61922     13310   1013076   no data   no data  --
790.52/197.99	c  N st    75   1283172       125      2662         0     85255     13310   1628946   no data   no data  --
872.80/218.56	c  N st    76   1392495       125      2662         0     94754     13310   1827180   no data   no data  --
1016.20/254.41	c  N st    77   1556481       125      2662         0     51955     13310    645010   no data   no data  --
1142.05/285.99	c  N st    78   1710290       125      2662         0     91797     13310   1694171   no data   no data  --
1142.05/285.99	c  S st    78   1710290       125      2662         0     91797     13310   1694171   no data   no data  --
1143.23/286.28	c  S st    78   1710791       125      2662         0     92280     13310   1706970   no data   no data  --
1143.23/286.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1143.23/286.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1143.63/286.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
1143.63/286.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1143.63/286.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1143.63/286.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1143.63/286.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1242.69/311.11	c lits-rem:       600  cl-subs:     9523  v-elim:      0  v-fix:    0  time: 98.76 s
1242.69/311.11	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1242.69/311.13	c vivif2 --  cl tried    82757 cl shrink        0 lits rem          0 time: 0.08
1243.90/311.41	c asymm  cl-useful: 0/761/2662 lits-rem:0 time: 1.08
1243.90/311.41	c calculated reachability. Time: 0.00
1243.90/311.41	c  N st    78   1710791       125      2662         0     82757     13310   1456342   no data   no data  --
1626.98/407.30	c  N st    79   2079755       125      2662         0     94486     13310   1625795   no data   no data  --
1747.22/437.40	c  N st    80   2210793       125      2662         0     98073     13310   1669377   no data   no data  --
1747.22/437.40	c  S st    80   2210793       125      2662         0     98073     13310   1669377   no data   no data  --
1748.43/437.72	c  S st    80   2211295       125      2662         0     98562     13310   1682538   no data   no data  --
1748.43/437.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1748.43/437.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1748.43/437.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1748.84/437.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1748.84/437.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1748.84/437.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1748.84/437.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1838.29/460.24	c lits-rem:       864  cl-subs:    11015  v-elim:      0  v-fix:    0  time: 89.50 s
1838.29/460.24	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1838.29/460.26	c vivif2 --  cl tried    87547 cl shrink        0 lits rem          0 time: 0.08
1840.29/460.72	c asymm  cl-useful: 0/1430/2662 lits-rem:0 time: 1.81
1840.29/460.72	c calculated reachability. Time: 0.00
1840.29/460.72	c  N st    80   2211295       125      2662         0     87547     13310   1433976   no data   no data  --
2341.21/586.17	c  N st    81   2711296       125      2662         0    110430     13310   1927514   no data   no data  --
2341.21/586.17	c  S st    81   2711296       125      2662         0    110430     13310   1927514   no data   no data  --
2342.80/586.53	c  S st    81   2711799       125      2662         0    110921     13310   1940114   no data   no data  --
2342.80/586.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2342.80/586.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2343.20/586.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
2343.20/586.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2343.20/586.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2343.20/586.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2343.20/586.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2467.84/617.83	c lits-rem:      1435  cl-subs:    12405  v-elim:      0  v-fix:    0  time: 124.48 s
2467.84/617.83	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2467.84/617.85	c vivif2 --  cl tried    98516 cl shrink        0 lits rem          0 time: 0.08
2469.46/618.21	c asymm  cl-useful: 0/1023/2662 lits-rem:0 time: 1.43
2469.46/618.21	c calculated reachability. Time: 0.00
2469.46/618.21	c  N st    81   2711799       125      2662         0     98516     13310   1649322   no data   no data  --
3036.68/760.27	c  N st    82   3211799       125      2662         0     76146     13310    930391   no data   no data  --
3036.68/760.27	c  S st    82   3211799       125      2662         0     76146     13310    930391   no data   no data  --
3037.47/760.48	c  S st    82   3212301       125      2662         0     76634     13310    943139   no data   no data  --
3037.47/760.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3037.47/760.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3037.87/760.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.13
3037.87/760.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3037.87/760.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3037.87/760.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3037.87/760.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3058.28/765.63	c lits-rem:       850  cl-subs:     1083  v-elim:      0  v-fix:    0  time: 20.29 s
3058.28/765.63	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3058.28/765.64	c vivif2 --  cl tried    75551 cl shrink        0 lits rem          0 time: 0.05
3059.45/765.94	c asymm  cl-useful: 0/1598/2662 lits-rem:0 time: 1.19
3059.45/765.94	c calculated reachability. Time: 0.00
3059.45/765.94	c  N st    82   3212301       125      2662         0     75551     13310    918447   no data   no data  --
3708.19/928.40	c  N st    83   3712301       125      2662         0     85619     13310   1093794   no data   no data  --
3708.19/928.40	c  S st    83   3712301       125      2662         0     85619     13310   1093794   no data   no data  --
3709.37/928.66	c  S st    83   3712806       125      2662         0     86109     13310   1107203   no data   no data  --
3709.37/928.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3709.37/928.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3709.77/928.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
3709.77/928.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3709.77/928.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3709.77/928.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3709.77/928.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3740.13/936.34	c lits-rem:      1467  cl-subs:     2349  v-elim:      0  v-fix:    0  time: 30.31 s
3740.13/936.34	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3740.13/936.35	c vivif2 --  cl tried    83760 cl shrink        0 lits rem          0 time: 0.06
3741.33/936.65	c asymm  cl-useful: 0/1064/2662 lits-rem:0 time: 1.20
3741.33/936.65	c calculated reachability. Time: 0.00
3741.33/936.65	c  N st    83   3712806       125      2662         0     83760     13310   1051163   no data   no data  --
3779.27/946.15	c  F st    84   3751563       125      2662         0    119867     13310   2017847   no data   no data  --
3779.27/946.15	c  N st    84   3751563       125      2662         0    119867     13310   2017847   no data   no data  --
3786.47/947.93	c Decided on static restart strategy
3825.21/957.64	c  N st    94   3779875       125      2662         0    146431     13310   2722283   no data   no data  --
3875.57/970.23	c  N st    96   3815869       125      2662         0    101170     13310   1483611   no data   no data  --
3923.08/982.12	c  N st    97   3848261       125      2662         0    131386     13310   2276551   no data   no data  --
3990.19/998.98	c  N st    98   3896850       125      2662         0     96623     13310   1353864   no data   no data  --
4099.67/1026.38	c  N st    99   3969732       125      2662         0     83396     13310    993675   no data   no data  --
4251.83/1064.45	c  N st   100   4079057       125      2662         0    102995     13310   1492536   no data   no data  --
4450.37/1114.15	c  N st   101   4212806       125      2662         0    144559     13310   2553456   no data   no data  --
4450.37/1114.15	c  S st   101   4212806       125      2662         0    144559     13310   2553456   no data   no data  --
4452.36/1114.68	c  S st   101   4213308       125      2662         0    145037     13310   2566426   no data   no data  --
4452.36/1114.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4452.36/1114.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4452.76/1114.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.30
4453.16/1114.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4453.16/1114.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4453.16/1114.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4453.16/1114.85	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-3175145-1304091597/watcher-3175145-1304091597 -o /tmp/evaluation-result-3175145-1304091597/solver-3175145-1304091597 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175145-1304091597.cnf 

running on 4 cores: 1,3,5,7

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: 3.90 6.57 7.48 5/180 5956
/proc/meminfo: memFree=19964148/32950904 swapFree=67082284/67111528
[pid=5956] ppid=5954 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/5956/stat : 5956 (strangenight1-m) R 5954 5956 5556 0 -1 4202496 414 0 0 0 0 0 0 0 22 0 4 0 520759437 52465664 353 33554432000 4194304 4650419 140737244453312 18446744073709551615 47859873277874 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5956/statm: 12809 353 303 112 0 7774 0
[pid=5956/tid=5957] ppid=5954 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5957/stat : 5957 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 520759437 52465664 353 33554432000 4194304 4650419 140737244453312 18446744073709551615 47859873277874 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5956/tid=5958] ppid=5954 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5958/stat : 5958 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 520759437 52465664 353 33554432000 4194304 4650419 140737244453312 18446744073709551615 47859873277874 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5956/tid=5959] ppid=5954 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/5956/task/5959/stat : 5959 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 520759437 52465664 353 33554432000 4194304 4650419 140737244453312 18446744073709551615 237278936049 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0814819 s]
/proc/loadavg: 3.90 6.57 7.48 5/180 5956
/proc/meminfo: memFree=19964148/32950904 swapFree=67082284/67111528
[pid=5956] ppid=5954 vsize=282768 CPUtime=0.3 cores=1,3,5,7
/proc/5956/stat : 5956 (strangenight1-m) R 5954 5956 5556 0 -1 4202496 1819 0 0 0 30 0 0 0 18 0 4 0 520759437 289554432 1641 33554432000 4194304 4650419 140737244453312 18446744073709551615 4363331 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5956/statm: 70692 1641 389 112 0 65657 0
[pid=5956/tid=5957] ppid=5954 vsize=282768 CPUtime=0.07 cores=1,3,5,7
/proc/5956/task/5957/stat : 5957 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 391 0 0 0 7 0 0 0 24 0 4 0 520759437 289554432 1642 33554432000 4194304 4650419 140737244453312 18446744073709551615 4331347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5956/tid=5958] ppid=5954 vsize=282768 CPUtime=0.07 cores=1,3,5,7
/proc/5956/task/5958/stat : 5958 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 377 0 0 0 7 0 0 0 18 0 4 0 520759437 289554432 1642 33554432000 4194304 4650419 140737244453312 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5956/tid=5959] ppid=5954 vsize=282768 CPUtime=0.07 cores=1,3,5,7
/proc/5956/task/5959/stat : 5959 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 251 0 0 0 7 0 0 0 25 0 4 0 520759437 289554432 1642 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 282768

[startup+0.100478 s]
/proc/loadavg: 3.90 6.57 7.48 5/180 5956
/proc/meminfo: memFree=19964148/32950904 swapFree=67082284/67111528
[pid=5956] ppid=5954 vsize=282768 CPUtime=0.38 cores=1,3,5,7
/proc/5956/stat : 5956 (strangenight1-m) R 5954 5956 5556 0 -1 4202496 1910 0 0 0 38 0 0 0 18 0 4 0 520759437 289554432 1732 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5956/statm: 70692 1732 389 112 0 65657 0
[pid=5956/tid=5957] ppid=5954 vsize=282768 CPUtime=0.09 cores=1,3,5,7
/proc/5956/task/5957/stat : 5957 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 412 0 0 0 9 0 0 0 24 0 4 0 520759437 289554432 1732 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5956/tid=5958] ppid=5954 vsize=282768 CPUtime=0.09 cores=1,3,5,7
/proc/5956/task/5958/stat : 5958 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 397 0 0 0 9 0 0 0 18 0 4 0 520759437 289554432 1733 33554432000 4194304 4650419 140737244453312 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5956/tid=5959] ppid=5954 vsize=282768 CPUtime=0.09 cores=1,3,5,7
/proc/5956/task/5959/stat : 5959 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 281 0 0 0 9 0 0 0 25 0 4 0 520759437 289554432 1733 33554432000 4194304 4650419 140737244453312 18446744073709551615 4334529 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282768

[startup+0.300443 s]
/proc/loadavg: 3.90 6.57 7.48 5/180 5956
/proc/meminfo: memFree=19964148/32950904 swapFree=67082284/67111528
[pid=5956] ppid=5954 vsize=284092 CPUtime=1.18 cores=1,3,5,7
/proc/5956/stat : 5956 (strangenight1-m) R 5954 5956 5556 0 -1 4202496 3188 0 0 0 118 0 0 0 18 0 4 0 520759437 290910208 2386 33554432000 4194304 4650419 140737244453312 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5956/statm: 71023 2386 391 112 0 65988 0
[pid=5956/tid=5957] ppid=5954 vsize=284092 CPUtime=0.29 cores=1,3,5,7
/proc/5956/task/5957/stat : 5957 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 731 0 0 0 29 0 0 0 24 0 4 0 520759437 290910208 2386 33554432000 4194304 4650419 140737244453312 18446744073709551615 4314975 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5956/tid=5958] ppid=5954 vsize=284092 CPUtime=0.29 cores=1,3,5,7
/proc/5956/task/5958/stat : 5958 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 711 0 0 0 29 0 0 0 18 0 4 0 520759437 290910208 2386 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5956/tid=5959] ppid=5954 vsize=284092 CPUtime=0.29 cores=1,3,5,7
/proc/5956/task/5959/stat : 5959 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 605 0 0 0 29 0 0 0 25 0 4 0 520759437 290910208 2386 33554432000 4194304 4650419 140737244453312 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284092

[startup+0.700372 s]
/proc/loadavg: 3.90 6.57 7.48 5/180 5956
/proc/meminfo: memFree=19964148/32950904 swapFree=67082284/67111528
[pid=5956] ppid=5954 vsize=285700 CPUtime=2.77 cores=1,3,5,7
/proc/5956/stat : 5956 (strangenight1-m) R 5954 5956 5556 0 -1 4202496 5700 0 0 0 277 0 0 0 18 0 4 0 520759437 292556800 2763 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5956/statm: 71425 2763 391 112 0 66390 0
[pid=5956/tid=5957] ppid=5954 vsize=285700 CPUtime=0.69 cores=1,3,5,7
/proc/5956/task/5957/stat : 5957 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 1352 0 0 0 69 0 0 0 25 0 4 0 520759437 292556800 2763 33554432000 4194304 4650419 140737244453312 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5956/tid=5958] ppid=5954 vsize=285700 CPUtime=0.69 cores=1,3,5,7
/proc/5956/task/5958/stat : 5958 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 1360 0 0 0 69 0 0 0 18 0 4 0 520759437 292556800 2763 33554432000 4194304 4650419 140737244453312 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5956/tid=5959] ppid=5954 vsize=285700 CPUtime=0.69 cores=1,3,5,7
/proc/5956/task/5959/stat : 5959 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 1198 0 0 0 69 0 0 0 25 0 4 0 520759437 292556800 2763 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285700

[startup+1.50024 s]
/proc/loadavg: 3.90 6.57 7.48 9/184 5960
/proc/meminfo: memFree=19939448/32950904 swapFree=67082284/67111528
[pid=5956] ppid=5954 vsize=278072 CPUtime=5.97 cores=1,3,5,7
/proc/5956/stat : 5956 (strangenight1-m) R 5954 5956 5556 0 -1 4202496 11453 0 0 0 596 1 0 0 20 0 4 0 520759437 284745728 6288 33554432000 4194304 4650419 140737244453312 18446744073709551615 4439082 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5956/statm: 69518 6288 393 112 0 64483 0
[pid=5956/tid=5957] ppid=5954 vsize=278072 CPUtime=1.49 cores=1,3,5,7
/proc/5956/task/5957/stat : 5957 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 3374 0 0 0 149 0 0 0 25 0 4 0 520759437 284745728 6288 33554432000 4194304 4650419 140737244453312 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5956/tid=5958] ppid=5954 vsize=278072 CPUtime=1.49 cores=1,3,5,7
/proc/5956/task/5958/stat : 5958 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 2318 0 0 0 149 0 0 0 20 0 4 0 520759437 284745728 6288 33554432000 4194304 4650419 140737244453312 18446744073709551615 4363617 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5956/tid=5959] ppid=5954 vsize=278072 CPUtime=1.48 cores=1,3,5,7
/proc/5956/task/5959/stat : 5959 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 2027 0 0 0 148 0 0 0 25 0 4 0 520759437 284745728 6288 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 278072

[startup+3.10095 s]
/proc/loadavg: 3.90 6.57 7.48 9/184 5960
/proc/meminfo: memFree=19902868/32950904 swapFree=67082284/67111528
[pid=5956] ppid=5954 vsize=287692 CPUtime=12.37 cores=1,3,5,7
/proc/5956/stat : 5956 (strangenight1-m) R 5954 5956 5556 0 -1 4202496 19035 0 0 0 1235 2 0 0 25 0 4 0 520759437 294596608 12336 33554432000 4194304 4650419 140737244453312 18446744073709551615 4433084 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5956/statm: 71923 12336 393 112 0 66888 0
[pid=5956/tid=5957] ppid=5954 vsize=287692 CPUtime=3.09 cores=1,3,5,7
/proc/5956/task/5957/stat : 5957 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 4454 0 0 0 309 0 0 0 25 0 4 0 520759437 294596608 12336 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5956/tid=5958] ppid=5954 vsize=287692 CPUtime=3.09 cores=1,3,5,7
/proc/5956/task/5958/stat : 5958 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 4680 0 0 0 309 0 0 0 25 0 4 0 520759437 294596608 12336 33554432000 4194304 4650419 140737244453312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5956/tid=5959] ppid=5954 vsize=287692 CPUtime=3.07 cores=1,3,5,7
/proc/5956/task/5959/stat : 5959 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 4353 0 0 0 307 0 0 0 25 0 4 0 520759437 294596608 12336 33554432000 4194304 4650419 140737244453312 18446744073709551615 4334034 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 287692

[startup+6.30038 s]
/proc/loadavg: 4.23 6.60 7.49 9/184 5960
/proc/meminfo: memFree=19866532/32950904 swapFree=67082284/67111528
[pid=5956] ppid=5954 vsize=283408 CPUtime=25.14 cores=1,3,5,7
/proc/5956/stat : 5956 (strangenight1-m) R 5954 5956 5556 0 -1 4202496 28335 0 0 0 2511 3 0 0 25 0 4 0 520759437 290209792 16946 33554432000 4194304 4650419 140737244453312 18446744073709551615 4439361 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5956/statm: 70852 16946 393 112 0 65817 0
[pid=5956/tid=5957] ppid=5954 vsize=283408 CPUtime=6.29 cores=1,3,5,7
/proc/5956/task/5957/stat : 5957 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 7307 0 0 0 628 1 0 0 25 0 4 0 520759437 290209792 16946 33554432000 4194304 4650419 140737244453312 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5956/tid=5958] ppid=5954 vsize=283408 CPUtime=6.28 cores=1,3,5,7
/proc/5956/task/5958/stat : 5958 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 7915 0 0 0 628 0 0 0 25 0 4 0 520759437 290209792 16946 33554432000 4194304 4650419 140737244453312 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5956/tid=5959] ppid=5954 vsize=283408 CPUtime=6.25 cores=1,3,5,7
/proc/5956/task/5959/stat : 5959 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 6001 0 0 0 625 0 0 0 25 0 4 0 520759437 290209792 16946 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 283408

[startup+12.7002 s]
/proc/loadavg: 4.53 6.62 7.49 9/184 5961
/proc/meminfo: memFree=19829368/32950904 swapFree=67082284/67111528
[pid=5956] ppid=5954 vsize=284740 CPUtime=50.71 cores=1,3,5,7
/proc/5956/stat : 5956 (strangenight1-m) R 5954 5956 5556 0 -1 4202496 41430 0 0 0 5065 6 0 0 25 0 4 0 520759437 291573760 21983 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5956/statm: 71185 21983 393 112 0 66150 0
[pid=5956/tid=5957] ppid=5954 vsize=284740 CPUtime=12.69 cores=1,3,5,7
/proc/5956/task/5957/stat : 5957 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 11514 0 0 0 1267 2 0 0 25 0 4 0 520759437 291573760 21983 33554432000 4194304 4650419 140737244453312 18446744073709551615 4333715 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5956/tid=5958] ppid=5954 vsize=284740 CPUtime=12.69 cores=1,3,5,7
/proc/5956/task/5958/stat : 5958 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 11070 0 0 0 1268 1 0 0 25 0 4 0 520759437 291573760 21983 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5956/tid=5959] ppid=5954 vsize=284740 CPUtime=12.62 cores=1,3,5,7
/proc/5956/task/5959/stat : 5959 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 8831 0 0 0 1261 1 0 0 25 0 4 0 520759437 291573760 21983 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 284740

[startup+25.501 s]
/proc/loadavg: 5.30 6.69 7.50 9/184 5961
/proc/meminfo: memFree=19799188/32950904 swapFree=67082284/67111528
[pid=5956] ppid=5954 vsize=292248 CPUtime=101.85 cores=1,3,5,7
/proc/5956/stat : 5956 (strangenight1-m) R 5954 5956 5556 0 -1 4202496 64521 0 0 0 10172 13 0 0 25 0 4 0 520759437 299261952 26916 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5956/statm: 73062 26916 393 112 0 68027 0
[pid=5956/tid=5957] ppid=5954 vsize=292248 CPUtime=25.48 cores=1,3,5,7
/proc/5956/task/5957/stat : 5957 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 18517 0 0 0 2545 3 0 0 25 0 4 0 520759437 299261952 26916 33554432000 4194304 4650419 140737244453312 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5956/tid=5958] ppid=5954 vsize=292248 CPUtime=25.48 cores=1,3,5,7
/proc/5956/task/5958/stat : 5958 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 18069 0 0 0 2546 2 0 0 25 0 4 0 520759437 299261952 26916 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365216 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5956/tid=5959] ppid=5954 vsize=292248 CPUtime=25.34 cores=1,3,5,7
/proc/5956/task/5959/stat : 5959 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 11955 0 0 0 2532 2 0 0 25 0 4 0 520759437 299261952 26916 33554432000 4194304 4650419 140737244453312 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 292248

[startup+51.1004 s]
/proc/loadavg: 6.29 6.81 7.51 9/184 5962
/proc/meminfo: memFree=19748812/32950904 swapFree=67082284/67111528
[pid=5956] ppid=5954 vsize=299528 CPUtime=204.1 cores=1,3,5,7
/proc/5956/stat : 5956 (strangenight1-m) R 5954 5956 5556 0 -1 4202496 98759 0 0 0 20387 23 0 0 25 0 4 0 520759437 306716672 35613 33554432000 4194304 4650419 140737244453312 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5956/statm: 74882 35614 393 112 0 69847 0
[pid=5956/tid=5957] ppid=5954 vsize=299528 CPUtime=51.09 cores=1,3,5,7
/proc/5956/task/5957/stat : 5957 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 29078 0 0 0 5102 7 0 0 25 0 4 0 520759437 306716672 35614 33554432000 4194304 4650419 140737244453312 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5956/tid=5958] ppid=5954 vsize=299528 CPUtime=51.08 cores=1,3,5,7
/proc/5956/task/5958/stat : 5958 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 27967 0 0 0 5103 5 0 0 25 0 4 0 520759437 306716672 35614 33554432000 4194304 4650419 140737244453312 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5956/tid=5959] ppid=5954 vsize=299528 CPUtime=50.81 cores=1,3,5,7
/proc/5956/task/5959/stat : 5959 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 16715 0 0 0 5077 4 0 0 25 0 4 0 520759437 306716672 35614 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 299528

[startup+102.306 s]
/proc/loadavg: 7.38 7.02 7.55 9/184 5963
/proc/meminfo: memFree=19694744/32950904 swapFree=67082284/67111528
[pid=5956] ppid=5954 vsize=303072 CPUtime=408.65 cores=1,3,5,7
/proc/5956/stat : 5956 (strangenight1-m) R 5954 5956 5556 0 -1 4202496 155030 0 0 0 40825 40 0 0 25 0 4 0 520759437 310345728 39496 33554432000 4194304 4650419 140737244453312 18446744073709551615 4432376 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5956/statm: 75768 39496 393 112 0 70733 0
[pid=5956/tid=5957] ppid=5954 vsize=303072 CPUtime=102.29 cores=1,3,5,7
/proc/5956/task/5957/stat : 5957 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 45233 0 0 0 10217 12 0 0 25 0 4 0 520759437 310345728 39496 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5956/tid=5958] ppid=5954 vsize=303072 CPUtime=102.29 cores=1,3,5,7
/proc/5956/task/5958/stat : 5958 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 43100 0 0 0 10220 9 0 0 25 0 4 0 520759437 310345728 39496 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5956/tid=5959] ppid=5954 vsize=303072 CPUtime=101.73 cores=1,3,5,7
/proc/5956/task/5959/stat : 5959 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 25169 0 0 0 10167 6 0 0 25 0 4 0 520759437 310345728 39496 33554432000 4194304 4650419 140737244453312 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 303072

[startup+162.301 s]

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

[pid=5956] ppid=5954 vsize=552976 CPUtime=2805.38 cores=1,3,5,7
/proc/5956/stat : 5956 (strangenight1-m) R 5954 5956 5556 0 -1 4202496 493127 0 0 0 280353 185 0 0 25 0 4 0 520759437 566247424 94230 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5956/statm: 138244 94230 393 112 0 133209 0
[pid=5956/tid=5957] ppid=5954 vsize=552976 CPUtime=702.28 cores=1,3,5,7
/proc/5956/task/5957/stat : 5957 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 137223 0 0 0 70179 49 0 0 25 0 4 0 520759437 566247424 94230 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5956/tid=5958] ppid=5954 vsize=552976 CPUtime=702.3 cores=1,3,5,7
/proc/5956/task/5958/stat : 5958 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 134790 0 0 0 70178 52 0 0 25 0 4 0 520759437 566247424 94230 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5956/tid=5959] ppid=5954 vsize=552976 CPUtime=698.47 cores=1,3,5,7
/proc/5956/task/5959/stat : 5959 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 76054 0 0 0 69817 30 0 0 25 0 4 0 520759437 566247424 94230 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.38
Current children cumulated vsize (KiB) 552976

[startup+762.307 s]
/proc/loadavg: 8.06 7.94 7.79 9/184 6011
/proc/meminfo: memFree=19238840/32950904 swapFree=67082284/67111528
[pid=5956] ppid=5954 vsize=619760 CPUtime=3045.09 cores=1,3,5,7
/proc/5956/stat : 5956 (strangenight1-m) R 5954 5956 5556 0 -1 4202496 515919 0 0 0 304311 198 0 0 25 0 4 0 520759437 634634240 107407 33554432000 4194304 4650419 140737244453312 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5956/statm: 154940 107407 393 112 0 149905 0
[pid=5956/tid=5957] ppid=5954 vsize=619760 CPUtime=762.29 cores=1,3,5,7
/proc/5956/task/5957/stat : 5957 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 145895 0 0 0 76176 53 0 0 25 0 4 0 520759437 634634240 107407 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5956/tid=5958] ppid=5954 vsize=619760 CPUtime=762.3 cores=1,3,5,7
/proc/5956/task/5958/stat : 5958 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 139759 0 0 0 76175 55 0 0 25 0 4 0 520759437 634634240 107407 33554432000 4194304 4650419 140737244453312 18446744073709551615 4313048 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5956/tid=5959] ppid=5954 vsize=619760 CPUtime=758.15 cores=1,3,5,7
/proc/5956/task/5959/stat : 5959 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 80393 0 0 0 75783 32 0 0 25 0 4 0 520759437 634634240 107407 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.09
Current children cumulated vsize (KiB) 619760

[startup+822.3 s]
/proc/loadavg: 8.05 7.97 7.81 9/184 6012
/proc/meminfo: memFree=19273672/32950904 swapFree=67082284/67111528
[pid=5956] ppid=5954 vsize=575644 CPUtime=3284.74 cores=1,3,5,7
/proc/5956/stat : 5956 (strangenight1-m) R 5954 5956 5556 0 -1 4202496 532210 0 0 0 328267 207 0 0 25 0 4 0 520759437 589459456 98282 33554432000 4194304 4650419 140737244453312 18446744073709551615 4366845 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5956/statm: 143911 98282 393 112 0 138876 0
[pid=5956/tid=5957] ppid=5954 vsize=575644 CPUtime=822.28 cores=1,3,5,7
/proc/5956/task/5957/stat : 5957 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 151139 0 0 0 82172 56 0 0 25 0 4 0 520759437 589459456 98282 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5956/tid=5958] ppid=5954 vsize=575644 CPUtime=822.3 cores=1,3,5,7
/proc/5956/task/5958/stat : 5958 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 143733 0 0 0 82173 57 0 0 25 0 4 0 520759437 589459456 98282 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5956/tid=5959] ppid=5954 vsize=575644 CPUtime=817.82 cores=1,3,5,7
/proc/5956/task/5959/stat : 5959 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 82821 0 0 0 81748 34 0 0 25 0 4 0 520759437 589459456 98282 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.74
Current children cumulated vsize (KiB) 575644

[startup+882.301 s]
/proc/loadavg: 8.02 7.97 7.82 9/184 6014
/proc/meminfo: memFree=19233984/32950904 swapFree=67082284/67111528
[pid=5956] ppid=5954 vsize=575972 CPUtime=3524.42 cores=1,3,5,7
/proc/5956/stat : 5956 (strangenight1-m) R 5954 5956 5556 0 -1 4202496 556228 0 0 0 352221 221 0 0 25 0 4 0 520759437 589795328 107668 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5956/statm: 143993 107668 393 112 0 138958 0
[pid=5956/tid=5957] ppid=5954 vsize=575972 CPUtime=882.28 cores=1,3,5,7
/proc/5956/task/5957/stat : 5957 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 157289 0 0 0 88168 60 0 0 25 0 4 0 520759437 589795328 107668 33554432000 4194304 4650419 140737244453312 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5956/tid=5958] ppid=5954 vsize=575972 CPUtime=882.31 cores=1,3,5,7
/proc/5956/task/5958/stat : 5958 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 151788 0 0 0 88169 62 0 0 25 0 4 0 520759437 589795328 107668 33554432000 4194304 4650419 140737244453312 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5956/tid=5959] ppid=5954 vsize=575972 CPUtime=877.5 cores=1,3,5,7
/proc/5956/task/5959/stat : 5959 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 87082 0 0 0 87713 37 0 0 25 0 4 0 520759437 589795328 107668 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.42
Current children cumulated vsize (KiB) 575972

[startup+942.301 s]
/proc/loadavg: 8.08 7.99 7.83 9/184 6015
/proc/meminfo: memFree=19182624/32950904 swapFree=67082284/67111528
[pid=5956] ppid=5954 vsize=641816 CPUtime=3764.1 cores=1,3,5,7
/proc/5956/stat : 5956 (strangenight1-m) R 5954 5956 5556 0 -1 4202496 582450 0 0 0 376176 234 0 0 25 0 4 0 520759437 657219584 111146 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5956/statm: 160454 111146 393 112 0 155419 0
[pid=5956/tid=5957] ppid=5954 vsize=641816 CPUtime=942.28 cores=1,3,5,7
/proc/5956/task/5957/stat : 5957 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 165592 0 0 0 94163 65 0 0 25 0 4 0 520759437 657219584 111146 33554432000 4194304 4650419 140737244453312 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5956/tid=5958] ppid=5954 vsize=641816 CPUtime=942.3 cores=1,3,5,7
/proc/5956/task/5958/stat : 5958 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 160602 0 0 0 94165 65 0 0 25 0 4 0 520759437 657219584 111146 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5956/tid=5959] ppid=5954 vsize=641816 CPUtime=937.17 cores=1,3,5,7
/proc/5956/task/5959/stat : 5959 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 89357 0 0 0 93679 38 0 0 25 0 4 0 520759437 657219584 111146 33554432000 4194304 4650419 140737244453312 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.1
Current children cumulated vsize (KiB) 641816

[startup+1002.3 s]
/proc/loadavg: 8.14 8.02 7.85 9/184 6017
/proc/meminfo: memFree=19207164/32950904 swapFree=67082284/67111528
[pid=5956] ppid=5954 vsize=646016 CPUtime=4003.77 cores=1,3,5,7
/proc/5956/stat : 5956 (strangenight1-m) R 5954 5956 5556 0 -1 4202496 602917 0 0 0 400132 245 0 0 25 0 4 0 520759437 661520384 108447 33554432000 4194304 4650419 140737244453312 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5956/statm: 161504 108447 393 112 0 156469 0
[pid=5956/tid=5957] ppid=5954 vsize=646016 CPUtime=1002.28 cores=1,3,5,7
/proc/5956/task/5957/stat : 5957 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 168949 0 0 0 100162 66 0 0 25 0 4 0 520759437 661520384 108447 33554432000 4194304 4650419 140737244453312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5956/tid=5958] ppid=5954 vsize=646016 CPUtime=1002.3 cores=1,3,5,7
/proc/5956/task/5958/stat : 5958 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 166766 0 0 0 100162 68 0 0 25 0 4 0 520759437 661520384 108447 33554432000 4194304 4650419 140737244453312 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5956/tid=5959] ppid=5954 vsize=646016 CPUtime=996.84 cores=1,3,5,7
/proc/5956/task/5959/stat : 5959 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 93375 0 0 0 99644 40 0 0 25 0 4 0 520759437 661520384 108447 33554432000 4194304 4650419 140737244453312 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.77
Current children cumulated vsize (KiB) 646016

[startup+1062.3 s]
/proc/loadavg: 8.16 8.04 7.86 9/184 6019
/proc/meminfo: memFree=19151600/32950904 swapFree=67082284/67111528
[pid=5956] ppid=5954 vsize=646212 CPUtime=4243.45 cores=1,3,5,7
/proc/5956/stat : 5956 (strangenight1-m) R 5954 5956 5556 0 -1 4202496 625917 0 0 0 424086 259 0 0 25 0 4 0 520759437 661721088 116984 33554432000 4194304 4650419 140737244453312 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5956/statm: 161553 116984 393 112 0 156518 0
[pid=5956/tid=5957] ppid=5954 vsize=646212 CPUtime=1062.28 cores=1,3,5,7
/proc/5956/task/5957/stat : 5957 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 174373 0 0 0 106157 71 0 0 25 0 4 0 520759437 661721088 116984 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365280 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5956/tid=5958] ppid=5954 vsize=646212 CPUtime=1062.3 cores=1,3,5,7
/proc/5956/task/5958/stat : 5958 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 173799 0 0 0 106159 71 0 0 25 0 4 0 520759437 661721088 116984 33554432000 4194304 4650419 140737244453312 18446744073709551615 4364766 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5956/tid=5959] ppid=5954 vsize=646212 CPUtime=1056.52 cores=1,3,5,7
/proc/5956/task/5959/stat : 5959 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 97096 0 0 0 105610 42 0 0 25 0 4 0 520759437 661721088 116984 33554432000 4194304 4650419 140737244453312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.45
Current children cumulated vsize (KiB) 646212

[startup+1122.3 s]
/proc/loadavg: 8.15 8.06 7.88 9/184 6020
/proc/meminfo: memFree=19138200/32950904 swapFree=67082284/67111528
[pid=5956] ppid=5954 vsize=646376 CPUtime=4483.12 cores=1,3,5,7
/proc/5956/stat : 5956 (strangenight1-m) R 5954 5956 5556 0 -1 4202496 648517 0 0 0 448040 272 0 0 25 0 4 0 520759437 661889024 120469 33554432000 4194304 4650419 140737244453312 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5956/statm: 161594 120469 393 112 0 156559 0
[pid=5956/tid=5957] ppid=5954 vsize=646376 CPUtime=1122.28 cores=1,3,5,7
/proc/5956/task/5957/stat : 5957 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 177929 0 0 0 112154 74 0 0 25 0 4 0 520759437 661889024 120469 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5956/tid=5958] ppid=5954 vsize=646376 CPUtime=1122.31 cores=1,3,5,7
/proc/5956/task/5958/stat : 5958 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 180650 0 0 0 112156 75 0 0 25 0 4 0 520759437 661889024 120469 33554432000 4194304 4650419 140737244453312 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5956/tid=5959] ppid=5954 vsize=646376 CPUtime=1116.19 cores=1,3,5,7
/proc/5956/task/5959/stat : 5959 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 101422 0 0 0 111575 44 0 0 25 0 4 0 520759437 661889024 120469 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.12
Current children cumulated vsize (KiB) 646376

[startup+1182.3 s]
/proc/loadavg: 8.14 8.08 7.90 9/184 6022
/proc/meminfo: memFree=19134592/32950904 swapFree=67082284/67111528
[pid=5956] ppid=5954 vsize=668312 CPUtime=4722.8 cores=1,3,5,7
/proc/5956/stat : 5956 (strangenight1-m) R 5954 5956 5556 0 -1 4202496 663271 0 0 0 472000 280 0 0 25 0 4 0 520759437 684351488 121221 33554432000 4194304 4650419 140737244453312 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5956/statm: 167078 121221 393 112 0 162043 0
[pid=5956/tid=5957] ppid=5954 vsize=668312 CPUtime=1182.27 cores=1,3,5,7
/proc/5956/task/5957/stat : 5957 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 182065 0 0 0 118150 77 0 0 25 0 4 0 520759437 684351488 121221 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5956/tid=5958] ppid=5954 vsize=668312 CPUtime=1182.3 cores=1,3,5,7
/proc/5956/task/5958/stat : 5958 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 189521 0 0 0 118152 78 0 0 25 0 4 0 520759437 684351488 121221 33554432000 4194304 4650419 140737244453312 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5956/tid=5959] ppid=5954 vsize=668312 CPUtime=1175.87 cores=1,3,5,7
/proc/5956/task/5959/stat : 5959 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 102391 0 0 0 117542 45 0 0 25 0 4 0 520759437 684351488 121221 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.8
Current children cumulated vsize (KiB) 668312



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.10 8.07 7.90 9/184 6022
/proc/meminfo: memFree=19129004/32950904 swapFree=67082284/67111528
[pid=5956] ppid=5954 vsize=668312 CPUtime=4800.32 cores=1,3,5,7
/proc/5956/stat : 5956 (strangenight1-m) R 5954 5956 5556 0 -1 4202496 670598 0 0 0 479751 281 0 0 25 0 4 0 520759437 684351488 121239 33554432000 4194304 4650419 140737244453312 18446744073709551615 4476297 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5956/statm: 167078 121239 393 112 0 162043 0
[pid=5956/tid=5957] ppid=5954 vsize=668312 CPUtime=1201.68 cores=1,3,5,7
/proc/5956/task/5957/stat : 5957 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 182065 0 0 0 120091 77 0 0 25 0 4 0 520759437 684351488 121239 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5956/tid=5958] ppid=5954 vsize=668312 CPUtime=1201.71 cores=1,3,5,7
/proc/5956/task/5958/stat : 5958 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 189521 0 0 0 120093 78 0 0 25 0 4 0 520759437 684351488 121239 33554432000 4194304 4650419 140737244453312 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5956/tid=5959] ppid=5954 vsize=668312 CPUtime=1195.16 cores=1,3,5,7
/proc/5956/task/5959/stat : 5959 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 103389 0 0 0 119471 45 0 0 25 0 4 0 520759437 684351488 121239 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 668312

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.10 8.07 7.90 9/184 6022
/proc/meminfo: memFree=19129004/32950904 swapFree=67082284/67111528
[pid=5956] ppid=5954 vsize=668312 CPUtime=4800.32 cores=1,3,5,7
/proc/5956/stat : 5956 (strangenight1-m) R 5954 5956 5556 0 -1 4202496 670598 0 0 0 479751 281 0 0 25 0 4 0 520759437 684351488 121239 33554432000 4194304 4650419 140737244453312 18446744073709551615 4476297 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5956/statm: 167078 121239 393 112 0 162043 0
[pid=5956/tid=5957] ppid=5954 vsize=668312 CPUtime=1201.68 cores=1,3,5,7
/proc/5956/task/5957/stat : 5957 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 182065 0 0 0 120091 77 0 0 25 0 4 0 520759437 684351488 121239 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5956/tid=5958] ppid=5954 vsize=668312 CPUtime=1201.71 cores=1,3,5,7
/proc/5956/task/5958/stat : 5958 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 189521 0 0 0 120093 78 0 0 25 0 4 0 520759437 684351488 121239 33554432000 4194304 4650419 140737244453312 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5956/tid=5959] ppid=5954 vsize=668312 CPUtime=1195.16 cores=1,3,5,7
/proc/5956/task/5959/stat : 5959 (strangenight1-m) R 5954 5956 5556 0 -1 4202560 103389 0 0 0 119471 45 0 0 25 0 4 0 520759437 684351488 121239 33554432000 4194304 4650419 140737244453312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 668312

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.37
CPU user time (s): 4797.54
CPU system time (s): 2.83257
CPU usage (%): 399.453
Max. virtual memory (cumulated for all children) (KiB): 755200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.54
system time used= 2.83257
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 670598
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= 255
involuntary context switches= 31831

runsolver used 1.77473 second user time and 4.80027 second system time

The end

Launcher Data 

Begin job on node121 at 2011-04-29 17:39:57
IDJOB=3175145
IDBENCH=82763
IDSOLVER=1588
FILE ID=node121/3175145-1304091597
RUNJOBID= node121-1304091596-5934
PBS_JOBID= 13170562
Free space on /tmp= 72648 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v125-c2662-S436871389-051.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175145-1304091597/watcher-3175145-1304091597 -o /tmp/evaluation-result-3175145-1304091597/solver-3175145-1304091597 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175145-1304091597.cnf

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

MD5SUM BENCH= 6deba4513edb64b9aaebf4e8cfbaf90d
RANDOM SEED=786739189

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

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

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


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      19964428 kB
Buffers:       2182840 kB
Cached:       10240912 kB
SwapCached:       2776 kB
Active:        9139380 kB
Inactive:      3328720 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      19964428 kB
SwapTotal:    67111528 kB
SwapFree:     67082284 kB
Dirty:           12520 kB
Writeback:          16 kB
AnonPages:       41976 kB
Mapped:          14136 kB
Slab:           455744 kB
PageTables:       4672 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:   276484 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= 72644 MiB
End job on node121 at 2011-04-29 18:00:01