Trace number 3368754

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.26 1203.46

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.01	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368754-1305402222.cnf'
0.00/0.01	c -- header says num vars:            125
0.00/0.01	c -- header says num clauses:        2662
0.03/0.01	c -- clauses added:            0 learnts,         2662 normals,            0 xors
0.03/0.01	c -- vars added        125
0.03/0.01	c Parsing time:  0.01 s
0.03/0.01	c  N st     0         0       125      2662         0         0     13310         0   no data   no data  --
0.03/0.02	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.04
0.03/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.03/0.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.03/0.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.03/0.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
0.03/0.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.03/0.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
0.03/0.11	c Finding binary XORs  T:     0.00 s  found:       0
0.03/0.11	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.03/0.11	c calculated reachability. Time: 0.00
0.03/0.11	c Calc default polars -  time:   0.00 s pos:      62 undec:       5 neg:      58
0.03/0.11	c =========================================================================================
0.03/0.11	c types(t): F = full restart, N = normal restart
0.03/0.11	c types(t): S = simplification begin/end, E = solution found
0.03/0.11	c restart types(rt): st = static, dy = dynamic
0.03/0.11	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.03/0.11	c  B st     0         0       125      2662         0         0     13310         0   no data   no data  --
0.03/0.11	c Decided on static restart strategy
0.42/0.14	c  N st     8      4915       125      2662         0      4635     13310    119869   no data   no data  --
1.16/0.34	c  N st    10     11298       125      2662         0      4284     13310     86677   no data   no data  --
1.96/0.54	c  N st    11     17044       125      2662         0      9696     13310    228444   no data   no data  --
3.16/0.86	c  F st    12     25000       125      2662         0     11938     13310    279170   no data   no data  --
3.16/0.86	c  N st    12     25000       125      2662         0     11938     13310    279170   no data   no data  --
3.99/1.08	c Decided on static restart strategy
3.99/1.08	c  N st    18     30001       125      2662         0     10247     13310    230480   no data   no data  --
3.99/1.08	c  S st    18     30001       125      2662         0     10247     13310    230480   no data   no data  --
4.41/1.11	c  S st    18     30502       125      2662         0     10735     13310    243350   no data   no data  --
4.41/1.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.41/1.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.41/1.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.41/1.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.41/1.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.41/1.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.41/1.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
6.75/1.79	c lits-rem:      2509  cl-subs:     1461  v-elim:      0  v-fix:    0  time:  2.65 s
7.15/1.83	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.17
7.15/1.83	c calculated reachability. Time: 0.00
7.15/1.83	c  N st    18     30502       125      2662         0      9274     13310    199773   no data   no data  --
8.38/2.18	c  N st    20     37614       125      2662         0      8530     13310    164489   no data   no data  --
9.54/2.49	c  N st    21     44013       125      2662         0     14575     13310    324106   no data   no data  --
9.94/2.58	c  S st    22     45753       125      2662         0     16221     13310    367762   no data   no data  --
10.34/2.62	c  S st    22     46254       125      2662         0     16711     13310    380584   no data   no data  --
10.34/2.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.34/2.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.34/2.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
10.34/2.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.34/2.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.34/2.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
10.34/2.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.93/4.01	c lits-rem:      3879  cl-subs:     1649  v-elim:      0  v-fix:    0  time:  5.48 s
15.93/4.01	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
15.93/4.02	c vivif2 --  cl tried    15062 cl shrink        0 lits rem          0 time: 0.02
15.93/4.09	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.29
15.93/4.09	c calculated reachability. Time: 0.00
15.93/4.09	c  N st    22     46254       125      2662         0     15062     13310    331494   no data   no data  --
19.51/4.93	c  N st    23     60652       125      2662         0     10836     13310    193496   no data   no data  --
21.54/5.43	c  N st    24     69381       125      2662         0     19043     13310    409510   no data   no data  --
21.54/5.43	c  S st    24     69381       125      2662         0     19043     13310    409510   no data   no data  --
21.54/5.48	c  S st    24     69888       125      2662         0     19533     13310    421665   no data   no data  --
21.54/5.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
21.54/5.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
21.54/5.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
21.54/5.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
21.54/5.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
21.54/5.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
21.54/5.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.89/7.00	c lits-rem:      4365  cl-subs:     1980  v-elim:      0  v-fix:    0  time:  6.01 s
27.89/7.01	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
27.89/7.01	c vivif2 --  cl tried    17553 cl shrink        0 lits rem          0 time: 0.02
27.89/7.09	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.34
27.89/7.09	c calculated reachability. Time: 0.00
27.89/7.09	c  N st    24     69888       125      2662         0     17553     13310    364497   no data   no data  --
32.68/8.26	c  F st    25     87500       125      2662         0     12597     13310    219460   no data   no data  --
32.68/8.26	c  N st    25     87500       125      2662         0     12597     13310    219460   no data   no data  --
33.88/8.58	c Decided on static restart strategy
34.70/8.77	c  N st    32     95540       125      2662         0     20182     13310    413976   no data   no data  --
37.46/9.40	c  N st    34    104833       125      2662         0     16676     13310    316673   no data   no data  --
37.46/9.40	c  S st    34    104833       125      2662         0     16676     13310    316673   no data   no data  --
37.46/9.45	c  S st    34    105337       125      2662         0     17166     13310    329181   no data   no data  --
37.46/9.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
37.46/9.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
37.46/9.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
37.46/9.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
37.46/9.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
37.46/9.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
37.46/9.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.26/10.61	c lits-rem:      2420  cl-subs:     1351  v-elim:      0  v-fix:    0  time:  4.56 s
42.26/10.61	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
42.26/10.61	c vivif2 --  cl tried    15815 cl shrink        0 lits rem          0 time: 0.01
42.26/10.68	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.27
42.26/10.68	c calculated reachability. Time: 0.00
42.26/10.68	c  N st    34    105337       125      2662         0     15815     13310    290978   no data   no data  --
45.44/11.42	c  N st    35    114935       125      2662         0     24788     13310    514013   no data   no data  --
49.83/12.54	c  N st    36    129333       125      2662         0     25237     13310    529091   no data   no data  --
56.22/14.11	c  N st    37    150928       125      2662         0     16450     13310    264934   no data   no data  --
58.21/14.62	c  S st    38    158005       125      2662         0     23107     13310    441850   no data   no data  --
58.21/14.68	c  S st    38    158505       125      2662         0     23592     13310    454460   no data   no data  --
58.21/14.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
58.21/14.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
58.21/14.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
58.61/14.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
58.61/14.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
58.61/14.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
58.61/14.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
64.20/16.18	c lits-rem:      4243  cl-subs:     1652  v-elim:      0  v-fix:    0  time:  5.91 s
64.20/16.18	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
64.20/16.18	c vivif2 --  cl tried    21940 cl shrink        0 lits rem          0 time: 0.02
64.60/16.29	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.43
64.60/16.29	c calculated reachability. Time: 0.00
64.60/16.29	c  N st    38    158505       125      2662         0     21940     13310    405739   no data   no data  --
81.74/20.52	c  N st    39    207094       125      2662         0     34727     13310    736920   no data   no data  --
93.32/23.44	c  N st    40    237757       125      2662         0     26908     13310    493873   no data   no data  --
93.32/23.44	c  S st    40    237757       125      2662         0     26908     13310    493873   no data   no data  --
93.72/23.51	c  S st    40    238260       125      2662         0     27387     13310    506275   no data   no data  --
93.72/23.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
93.72/23.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
93.72/23.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
93.72/23.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
93.72/23.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
93.72/23.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
93.72/23.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
100.10/25.12	c lits-rem:      3348  cl-subs:     1904  v-elim:      0  v-fix:    0  time:  6.36 s
100.10/25.12	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
100.10/25.13	c vivif2 --  cl tried    25483 cl shrink        0 lits rem          0 time: 0.02
100.52/25.25	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.48
100.52/25.25	c calculated reachability. Time: 0.00
100.52/25.25	c  N st    40    238260       125      2662         0     25483     13310    452289   no data   no data  --
126.42/31.73	c  F st    41    306251       125      2662         0     27412     13310    455321   no data   no data  --
126.42/31.73	c  N st    41    306251       125      2662         0     27412     13310    455321   no data   no data  --
128.40/32.22	c Decided on static restart strategy
138.39/34.70	c  N st    51    334552       125      2662         0     31516     13310    545013   no data   no data  --
148.78/37.34	c  N st    53    357390       125      2662         0     29507     13310    482261   no data   no data  --
148.78/37.34	c  S st    53    357390       125      2662         0     29507     13310    482261   no data   no data  --
149.19/37.42	c  S st    53    357897       125      2662         0     29997     13310    495376   no data   no data  --
149.19/37.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
149.19/37.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
149.19/37.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
149.19/37.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
149.19/37.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
149.19/37.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
149.19/37.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
155.54/39.03	c lits-rem:      2923  cl-subs:     1185  v-elim:      0  v-fix:    0  time:  6.36 s
155.54/39.03	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
155.54/39.04	c vivif2 --  cl tried    28812 cl shrink        0 lits rem          0 time: 0.02
155.94/39.17	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.53
155.94/39.17	c calculated reachability. Time: 0.00
155.94/39.17	c  N st    53    357897       125      2662         0     28812     13310    459481   no data   no data  --
175.88/44.11	c  N st    54    390289       125      2662         0     34747     13310    597528   no data   no data  --
198.61/49.86	c  N st    55    438879       125      2662         0     28830     13310    424875   no data   no data  --
234.52/58.82	c  N st    56    511761       125      2662         0     41704     13310    728229   no data   no data  --
247.29/62.04	c  N st    57    536845       125      2662         0     36130     13310    556620   no data   no data  --
247.29/62.04	c  S st    57    536845       125      2662         0     36130     13310    556620   no data   no data  --
247.69/62.14	c  S st    57    537349       125      2662         0     36624     13310    569756   no data   no data  --
247.69/62.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
247.69/62.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
247.69/62.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
247.69/62.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
247.69/62.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
247.69/62.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
247.69/62.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
256.06/64.22	c lits-rem:      2384  cl-subs:     1869  v-elim:      0  v-fix:    0  time:  8.20 s
256.06/64.22	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
256.06/64.23	c vivif2 --  cl tried    34755 cl shrink        0 lits rem          0 time: 0.02
256.86/64.40	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.68
256.86/64.40	c calculated reachability. Time: 0.00
256.86/64.40	c  N st    57    537349       125      2662         0     34755     13310    523772   no data   no data  --
344.61/86.45	c  N st    58    701334       125      2662         0     62760     13310   1213687   no data   no data  --
411.24/103.15	c  N st    59    806023       125      2662         0     56563     13310    968788   no data   no data  --
411.24/103.15	c  S st    59    806023       125      2662         0     56563     13310    968788   no data   no data  --
412.06/103.32	c  S st    59    806524       125      2662         0     57047     13310    981777   no data   no data  --
412.06/103.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
412.06/103.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
412.06/103.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
412.06/103.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
412.06/103.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
412.06/103.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
412.06/103.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
434.77/109.01	c lits-rem:      1356  cl-subs:     6525  v-elim:      0  v-fix:    0  time: 22.44 s
434.77/109.01	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
434.77/109.02	c vivif2 --  cl tried    50522 cl shrink        0 lits rem          0 time: 0.04
435.57/109.29	c asymm  cl-useful: 0/2228/2662 lits-rem:0 time: 1.10
435.57/109.29	c calculated reachability. Time: 0.00
435.57/109.29	c  N st    59    806524       125      2662         0     50522     13310    833345   no data   no data  --
602.71/151.15	c  F st    60   1071875       125      2662         0     65766     13310   1122037   no data   no data  --
602.71/151.15	c  N st    60   1071875       125      2662         0     65766     13310   1122037   no data   no data  --
606.69/152.12	c Decided on static restart strategy
625.05/156.78	c  N st    70   1100180       125      2662         0     50690     13310    745093   no data   no data  --
648.58/162.68	c  N st    72   1136174       125      2662         0     84570     13310   1646842   no data   no data  --
670.95/168.22	c  N st    73   1168566       125      2662         0     72023     13310   1297547   no data   no data  --
705.23/176.86	c  N st    74   1209787       125      2662         0     66692     13310   1136673   no data   no data  --
705.23/176.86	c  S st    74   1209787       125      2662         0     66692     13310   1136673   no data   no data  --
706.46/177.14	c  S st    74   1210290       125      2662         0     67181     13310   1149995   no data   no data  --
706.46/177.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
706.46/177.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
706.46/177.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.16
706.81/177.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
706.81/177.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
706.81/177.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
706.81/177.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
753.08/188.88	c lits-rem:       331  cl-subs:     5259  v-elim:      0  v-fix:    0  time: 46.47 s
753.08/188.88	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
753.08/188.89	c vivif2 --  cl tried    61922 cl shrink        0 lits rem          0 time: 0.05
754.72/189.27	c asymm  cl-useful: 0/1901/2662 lits-rem:0 time: 1.49
754.72/189.27	c calculated reachability. Time: 0.00
754.72/189.27	c  N st    74   1210290       125      2662         0     61922     13310   1013076   no data   no data  --
805.73/202.02	c  N st    75   1283172       125      2662         0     85255     13310   1628946   no data   no data  --
891.88/223.64	c  N st    76   1392495       125      2662         0     94754     13310   1827180   no data   no data  --
1034.68/259.41	c  N st    77   1556481       125      2662         0     51955     13310    645010   no data   no data  --
1163.13/291.60	c  N st    78   1710290       125      2662         0     91797     13310   1694171   no data   no data  --
1163.13/291.60	c  S st    78   1710290       125      2662         0     91797     13310   1694171   no data   no data  --
1164.33/291.90	c  S st    78   1710791       125      2662         0     92280     13310   1706970   no data   no data  --
1164.33/291.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1164.33/291.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1164.33/291.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
1164.72/292.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1164.72/292.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1164.72/292.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1164.72/292.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1278.80/320.67	c lits-rem:       600  cl-subs:     9523  v-elim:      0  v-fix:    0  time: 114.29 s
1278.80/320.68	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1278.80/320.70	c vivif2 --  cl tried    82757 cl shrink        0 lits rem          0 time: 0.08
1280.00/320.98	c asymm  cl-useful: 0/761/2662 lits-rem:0 time: 1.14
1280.00/320.98	c calculated reachability. Time: 0.00
1280.00/320.98	c  N st    78   1710791       125      2662         0     82757     13310   1456342   no data   no data  --
1664.12/417.20	c  N st    79   2079755       125      2662         0     94486     13310   1625795   no data   no data  --
1786.17/447.83	c  N st    80   2210793       125      2662         0     98073     13310   1669377   no data   no data  --
1786.17/447.83	c  S st    80   2210793       125      2662         0     98073     13310   1669377   no data   no data  --
1787.37/448.14	c  S st    80   2211295       125      2662         0     98562     13310   1682538   no data   no data  --
1787.37/448.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1787.37/448.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1787.77/448.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1787.77/448.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1787.77/448.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1787.77/448.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1787.77/448.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1908.67/478.52	c lits-rem:       864  cl-subs:    11015  v-elim:      0  v-fix:    0  time: 120.69 s
1908.67/478.52	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1908.67/478.54	c vivif2 --  cl tried    87547 cl shrink        0 lits rem          0 time: 0.08
1910.62/479.01	c asymm  cl-useful: 0/1430/2662 lits-rem:0 time: 1.85
1910.62/479.01	c calculated reachability. Time: 0.00
1910.62/479.01	c  N st    80   2211295       125      2662         0     87547     13310   1433976   no data   no data  --
2410.83/604.44	c  N st    81   2711296       125      2662         0    110430     13310   1927514   no data   no data  --
2410.83/604.44	c  S st    81   2711296       125      2662         0    110430     13310   1927514   no data   no data  --
2412.43/604.80	c  S st    81   2711799       125      2662         0    110921     13310   1940114   no data   no data  --
2412.43/604.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2412.43/604.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2412.43/604.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
2412.86/604.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2412.86/604.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2412.86/604.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2412.86/604.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2541.67/637.28	c lits-rem:      1435  cl-subs:    12405  v-elim:      0  v-fix:    0  time: 129.01 s
2541.67/637.28	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2542.06/637.31	c vivif2 --  cl tried    98516 cl shrink        0 lits rem          0 time: 0.10
2543.66/637.79	c asymm  cl-useful: 0/1023/2662 lits-rem:0 time: 1.94
2544.06/637.80	c calculated reachability. Time: 0.00
2544.06/637.80	c  N st    81   2711799       125      2662         0     98516     13310   1649322   no data   no data  --
3117.66/781.62	c  N st    82   3211799       125      2662         0     76146     13310    930391   no data   no data  --
3117.66/781.62	c  S st    82   3211799       125      2662         0     76146     13310    930391   no data   no data  --
3118.45/781.83	c  S st    82   3212301       125      2662         0     76634     13310    943139   no data   no data  --
3118.45/781.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3118.45/781.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3118.45/781.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.13
3118.45/781.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3118.45/781.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3118.45/781.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3118.45/781.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3139.19/787.00	c lits-rem:       850  cl-subs:     1083  v-elim:      0  v-fix:    0  time: 20.35 s
3139.19/787.00	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3139.19/787.01	c vivif2 --  cl tried    75551 cl shrink        0 lits rem          0 time: 0.05
3140.39/787.31	c asymm  cl-useful: 0/1598/2662 lits-rem:0 time: 1.21
3140.39/787.32	c calculated reachability. Time: 0.00
3140.39/787.32	c  N st    82   3212301       125      2662         0     75551     13310    918447   no data   no data  --
3800.15/952.73	c  N st    83   3712301       125      2662         0     85619     13310   1093794   no data   no data  --
3800.15/952.73	c  S st    83   3712301       125      2662         0     85619     13310   1093794   no data   no data  --
3801.36/953.00	c  S st    83   3712806       125      2662         0     86109     13310   1107203   no data   no data  --
3801.36/953.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3801.36/953.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3801.36/953.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.15
3801.36/953.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3801.36/953.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3801.36/953.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3801.36/953.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3832.07/960.79	c lits-rem:      1467  cl-subs:     2349  v-elim:      0  v-fix:    0  time: 30.76 s
3832.07/960.79	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3832.47/960.80	c vivif2 --  cl tried    83760 cl shrink        0 lits rem          0 time: 0.06
3833.67/961.10	c asymm  cl-useful: 0/1064/2662 lits-rem:0 time: 1.20
3833.67/961.11	c calculated reachability. Time: 0.00
3833.67/961.11	c  N st    83   3712806       125      2662         0     83760     13310   1051163   no data   no data  --
3872.36/970.82	c  F st    84   3751563       125      2662         0    119867     13310   2017847   no data   no data  --
3872.36/970.83	c  N st    84   3751563       125      2662         0    119867     13310   2017847   no data   no data  --
3879.53/972.63	c Decided on static restart strategy
3923.41/983.69	c  N st    94   3779875       125      2662         0    146431     13310   2722283   no data   no data  --
3976.06/996.80	c  N st    96   3815869       125      2662         0    101170     13310   1483611   no data   no data  --
4020.74/1008.04	c  N st    97   3848261       125      2662         0    131386     13310   2276551   no data   no data  --
4089.39/1025.25	c  N st    98   3896850       125      2662         0     96623     13310   1353864   no data   no data  --
4197.42/1052.36	c  N st    99   3969732       125      2662         0     83396     13310    993675   no data   no data  --
4361.76/1093.57	c  N st   100   4079057       125      2662         0    102995     13310   1492536   no data   no data  --
4552.45/1141.30	c  N st   101   4212806       125      2662         0    144559     13310   2553456   no data   no data  --
4552.45/1141.30	c  S st   101   4212806       125      2662         0    144559     13310   2553456   no data   no data  --
4554.48/1141.84	c  S st   101   4213308       125      2662         0    145037     13310   2566426   no data   no data  --
4554.48/1141.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4554.48/1141.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4554.83/1141.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.31
4555.23/1142.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4555.23/1142.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4555.23/1142.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4555.23/1142.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

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

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


[startup+0 s]
/proc/loadavg: 8.14 8.11 8.09 7/355 17935
/proc/meminfo: memFree=24749336/32950928 swapFree=67056568/67111528
[pid=17935] ppid=17933 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17935/stat : 17935 (strangenight1-m) R 17933 17935 17503 0 -1 4202496 417 0 0 0 0 0 0 0 25 0 4 0 651819292 52465664 357 33554432000 4194304 4650419 140735897569344 18446744073709551615 48007780902834 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17935/statm: 12809 357 306 112 0 7774 0
[pid=17935/tid=17936] ppid=17933 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651819292 52465664 357 33554432000 4194304 4650419 140735897569344 18446744073709551615 48007780902425 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17935/tid=17937] ppid=17933 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17937/stat : 17937 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651819292 52465664 357 33554432000 4194304 4650419 140735897569344 18446744073709551615 48007780902425 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17935/tid=17938] ppid=17933 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17938/stat : 17938 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 651819292 52465664 357 33554432000 4194304 4650419 140735897569344 18446744073709551615 48007780902425 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0154761 s]
/proc/loadavg: 8.14 8.11 8.09 7/355 17935
/proc/meminfo: memFree=24749336/32950928 swapFree=67056568/67111528
[pid=17935] ppid=17933 vsize=281644 CPUtime=0.03 cores=0,2,4,6
/proc/17935/stat : 17935 (strangenight1-m) R 17933 17935 17503 0 -1 4202496 797 0 0 0 3 0 0 0 25 0 4 0 651819292 288403456 712 33554432000 4194304 4650419 140735897569344 18446744073709551615 239476799982 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17935/statm: 70411 713 354 112 0 65376 0
[pid=17935/tid=17936] ppid=17933 vsize=281644 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 104 0 0 0 0 0 0 0 18 0 4 0 651819292 288403456 713 33554432000 4194304 4650419 140735897569344 18446744073709551615 239476800031 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17935/tid=17937] ppid=17933 vsize=281644 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17937/stat : 17937 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 86 0 0 0 0 0 0 0 18 0 4 0 651819292 288403456 715 33554432000 4194304 4650419 140735897569344 18446744073709551615 239476800031 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17935/tid=17938] ppid=17933 vsize=281644 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17938/stat : 17938 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 122 0 0 0 0 0 0 0 18 0 4 0 651819292 288403456 716 33554432000 4194304 4650419 140735897569344 18446744073709551615 239476800031 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 281644

[startup+0.113508 s]
/proc/loadavg: 8.14 8.11 8.09 7/355 17935
/proc/meminfo: memFree=24749336/32950928 swapFree=67056568/67111528
[pid=17935] ppid=17933 vsize=282504 CPUtime=0.42 cores=0,2,4,6
/proc/17935/stat : 17935 (strangenight1-m) R 17933 17935 17503 0 -1 4202496 1957 0 0 0 42 0 0 0 25 0 4 0 651819292 289284096 1804 33554432000 4194304 4650419 140735897569344 18446744073709551615 4332076 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17935/statm: 70626 1805 389 112 0 65591 0
[pid=17935/tid=17936] ppid=17933 vsize=282504 CPUtime=0.1 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 431 0 0 0 10 0 0 0 18 0 4 0 651819292 289284096 1805 33554432000 4194304 4650419 140735897569344 18446744073709551615 4314998 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17935/tid=17937] ppid=17933 vsize=282504 CPUtime=0.1 cores=0,2,4,6
/proc/17935/task/17937/stat : 17937 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 421 0 0 0 10 0 0 0 18 0 4 0 651819292 289284096 1805 33554432000 4194304 4650419 140735897569344 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17935/tid=17938] ppid=17933 vsize=282504 CPUtime=0.1 cores=0,2,4,6
/proc/17935/task/17938/stat : 17938 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 305 0 0 0 10 0 0 0 18 0 4 0 651819292 289284096 1805 33554432000 4194304 4650419 140735897569344 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282504

[startup+0.300407 s]
/proc/loadavg: 8.14 8.11 8.09 7/355 17935
/proc/meminfo: memFree=24749336/32950928 swapFree=67056568/67111528
[pid=17935] ppid=17933 vsize=283664 CPUtime=1.16 cores=0,2,4,6
/proc/17935/stat : 17935 (strangenight1-m) R 17933 17935 17503 0 -1 4202496 3183 0 0 0 116 0 0 0 25 0 4 0 651819292 290471936 2406 33554432000 4194304 4650419 140735897569344 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17935/statm: 70916 2406 391 112 0 65881 0
[pid=17935/tid=17936] ppid=17933 vsize=283664 CPUtime=0.29 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 752 0 0 0 29 0 0 0 18 0 4 0 651819292 290471936 2406 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17935/tid=17937] ppid=17933 vsize=283664 CPUtime=0.29 cores=0,2,4,6
/proc/17935/task/17937/stat : 17937 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 708 0 0 0 29 0 0 0 18 0 4 0 651819292 290471936 2406 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17935/tid=17938] ppid=17933 vsize=283664 CPUtime=0.29 cores=0,2,4,6
/proc/17935/task/17938/stat : 17938 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 621 0 0 0 29 0 0 0 18 0 4 0 651819292 290471936 2406 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 283664

[startup+0.700331 s]
/proc/loadavg: 8.14 8.11 8.09 7/355 17935
/proc/meminfo: memFree=24749336/32950928 swapFree=67056568/67111528
[pid=17935] ppid=17933 vsize=284860 CPUtime=2.76 cores=0,2,4,6
/proc/17935/stat : 17935 (strangenight1-m) R 17933 17935 17503 0 -1 4202496 5619 0 0 0 276 0 0 0 25 0 4 0 651819292 291696640 2695 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17935/statm: 71215 2695 391 112 0 66180 0
[pid=17935/tid=17936] ppid=17933 vsize=284860 CPUtime=0.69 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 1361 0 0 0 69 0 0 0 18 0 4 0 651819292 291696640 2695 33554432000 4194304 4650419 140735897569344 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17935/tid=17937] ppid=17933 vsize=284860 CPUtime=0.69 cores=0,2,4,6
/proc/17935/task/17937/stat : 17937 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 1307 0 0 0 69 0 0 0 18 0 4 0 651819292 291696640 2695 33554432000 4194304 4650419 140735897569344 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17935/tid=17938] ppid=17933 vsize=284860 CPUtime=0.69 cores=0,2,4,6
/proc/17935/task/17938/stat : 17938 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 1192 0 0 0 69 0 0 0 18 0 4 0 651819292 291696640 2695 33554432000 4194304 4650419 140735897569344 18446744073709551615 4366857 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284860

[startup+1.50018 s]
/proc/loadavg: 8.29 8.14 8.10 10/359 17939
/proc/meminfo: memFree=24724628/32950928 swapFree=67056568/67111528
[pid=17935] ppid=17933 vsize=276516 CPUtime=5.95 cores=0,2,4,6
/proc/17935/stat : 17935 (strangenight1-m) R 17933 17935 17503 0 -1 4202496 11423 0 0 0 594 1 0 0 25 0 4 0 651819292 283152384 6271 33554432000 4194304 4650419 140735897569344 18446744073709551615 4438643 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17935/statm: 69129 6271 393 112 0 64094 0
[pid=17935/tid=17936] ppid=17933 vsize=276516 CPUtime=1.48 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 3377 0 0 0 148 0 0 0 20 0 4 0 651819292 283152384 6271 33554432000 4194304 4650419 140735897569344 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17935/tid=17937] ppid=17933 vsize=276516 CPUtime=1.49 cores=0,2,4,6
/proc/17935/task/17937/stat : 17937 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 2242 0 0 0 149 0 0 0 20 0 4 0 651819292 283152384 6271 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17935/tid=17938] ppid=17933 vsize=276516 CPUtime=1.49 cores=0,2,4,6
/proc/17935/task/17938/stat : 17938 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 2033 0 0 0 149 0 0 0 19 0 4 0 651819292 283152384 6271 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 276516

[startup+3.10087 s]
/proc/loadavg: 8.29 8.14 8.10 9/359 17939
/proc/meminfo: memFree=24685444/32950928 swapFree=67056568/67111528
[pid=17935] ppid=17933 vsize=285264 CPUtime=12.34 cores=0,2,4,6
/proc/17935/stat : 17935 (strangenight1-m) R 17933 17935 17503 0 -1 4202496 18863 0 0 0 1231 3 0 0 25 0 4 0 651819292 292110336 12246 33554432000 4194304 4650419 140735897569344 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17935/statm: 71316 12246 393 112 0 66281 0
[pid=17935/tid=17936] ppid=17933 vsize=285264 CPUtime=3.08 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 4457 0 0 0 308 0 0 0 25 0 4 0 651819292 292110336 12246 33554432000 4194304 4650419 140735897569344 18446744073709551615 4330253 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17935/tid=17937] ppid=17933 vsize=285264 CPUtime=3.08 cores=0,2,4,6
/proc/17935/task/17937/stat : 17937 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 4473 0 0 0 308 0 0 0 25 0 4 0 651819292 292110336 12246 33554432000 4194304 4650419 140735897569344 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17935/tid=17938] ppid=17933 vsize=285264 CPUtime=3.09 cores=0,2,4,6
/proc/17935/task/17938/stat : 17938 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 4405 0 0 0 309 0 0 0 25 0 4 0 651819292 292110336 12246 33554432000 4194304 4650419 140735897569344 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 285264

[startup+6.30026 s]
/proc/loadavg: 8.29 8.14 8.10 9/359 17939
/proc/meminfo: memFree=24655956/32950928 swapFree=67056568/67111528
[pid=17935] ppid=17933 vsize=280440 CPUtime=25.1 cores=0,2,4,6
/proc/17935/stat : 17935 (strangenight1-m) R 17933 17935 17503 0 -1 4202496 27909 0 0 0 2505 5 0 0 25 0 4 0 651819292 287170560 16307 33554432000 4194304 4650419 140735897569344 18446744073709551615 4439120 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17935/statm: 70110 16307 393 112 0 65075 0
[pid=17935/tid=17936] ppid=17933 vsize=280440 CPUtime=6.28 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 7317 0 0 0 627 1 0 0 25 0 4 0 651819292 287170560 16307 33554432000 4194304 4650419 140735897569344 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17935/tid=17937] ppid=17933 vsize=280440 CPUtime=6.28 cores=0,2,4,6
/proc/17935/task/17937/stat : 17937 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 7674 0 0 0 627 1 0 0 25 0 4 0 651819292 287170560 16307 33554432000 4194304 4650419 140735897569344 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17935/tid=17938] ppid=17933 vsize=280440 CPUtime=6.28 cores=0,2,4,6
/proc/17935/task/17938/stat : 17938 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 5788 0 0 0 628 0 0 0 25 0 4 0 651819292 287170560 16307 33554432000 4194304 4650419 140735897569344 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 280440

[startup+12.701 s]
/proc/loadavg: 8.33 8.15 8.10 9/359 17939
/proc/meminfo: memFree=24622072/32950928 swapFree=67056568/67111528
[pid=17935] ppid=17933 vsize=281776 CPUtime=50.63 cores=0,2,4,6
/proc/17935/stat : 17935 (strangenight1-m) R 17933 17935 17503 0 -1 4202496 40573 0 0 0 5055 8 0 0 25 0 4 0 651819292 288538624 19748 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17935/statm: 70444 19748 393 112 0 65409 0
[pid=17935/tid=17936] ppid=17933 vsize=281776 CPUtime=12.69 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 11059 0 0 0 1267 2 0 0 25 0 4 0 651819292 288538624 19748 33554432000 4194304 4650419 140735897569344 18446744073709551615 4366052 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17935/tid=17937] ppid=17933 vsize=281776 CPUtime=12.68 cores=0,2,4,6
/proc/17935/task/17937/stat : 17937 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 10858 0 0 0 1266 2 0 0 25 0 4 0 651819292 288538624 19748 33554432000 4194304 4650419 140735897569344 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17935/tid=17938] ppid=17933 vsize=281776 CPUtime=12.69 cores=0,2,4,6
/proc/17935/task/17938/stat : 17938 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 8366 0 0 0 1268 1 0 0 25 0 4 0 651819292 288538624 19748 33554432000 4194304 4650419 140735897569344 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 281776

[startup+25.5006 s]
/proc/loadavg: 8.27 8.15 8.10 9/359 17939
/proc/meminfo: memFree=24581640/32950928 swapFree=67056568/67111528
[pid=17935] ppid=17933 vsize=297824 CPUtime=101.69 cores=0,2,4,6
/proc/17935/stat : 17935 (strangenight1-m) R 17933 17935 17503 0 -1 4202496 62956 0 0 0 10155 14 0 0 25 0 4 0 651819292 304971776 26286 33554432000 4194304 4650419 140735897569344 18446744073709551615 4366865 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17935/statm: 74456 26286 393 112 0 69421 0
[pid=17935/tid=17936] ppid=17933 vsize=297824 CPUtime=25.48 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 17717 0 0 0 2545 3 0 0 25 0 4 0 651819292 304971776 26286 33554432000 4194304 4650419 140735897569344 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17935/tid=17937] ppid=17933 vsize=297824 CPUtime=25.48 cores=0,2,4,6
/proc/17935/task/17937/stat : 17937 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 16039 0 0 0 2545 3 0 0 25 0 4 0 651819292 304971776 26286 33554432000 4194304 4650419 140735897569344 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17935/tid=17938] ppid=17933 vsize=297824 CPUtime=25.48 cores=0,2,4,6
/proc/17935/task/17938/stat : 17938 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 12184 0 0 0 2546 2 0 0 25 0 4 0 651819292 304971776 26286 33554432000 4194304 4650419 140735897569344 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 297824

[startup+51.1007 s]
/proc/loadavg: 8.18 8.14 8.10 9/359 17940
/proc/meminfo: memFree=24531936/32950928 swapFree=67056568/67111528
[pid=17935] ppid=17933 vsize=291144 CPUtime=203.81 cores=0,2,4,6
/proc/17935/stat : 17935 (strangenight1-m) R 17933 17935 17503 0 -1 4202496 97439 0 0 0 20358 23 0 0 25 0 4 0 651819292 298131456 33983 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17935/statm: 72786 33983 393 112 0 67751 0
[pid=17935/tid=17936] ppid=17933 vsize=291144 CPUtime=51.07 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 28181 0 0 0 5102 5 0 0 25 0 4 0 651819292 298131456 33983 33554432000 4194304 4650419 140735897569344 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17935/tid=17937] ppid=17933 vsize=291144 CPUtime=51.09 cores=0,2,4,6
/proc/17935/task/17937/stat : 17937 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 25637 0 0 0 5103 6 0 0 25 0 4 0 651819292 298131456 33983 33554432000 4194304 4650419 140735897569344 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17935/tid=17938] ppid=17933 vsize=291144 CPUtime=51.09 cores=0,2,4,6
/proc/17935/task/17938/stat : 17938 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 16920 0 0 0 5105 4 0 0 25 0 4 0 651819292 298131456 33983 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.81
Current children cumulated vsize (KiB) 291144

[startup+102.313 s]
/proc/loadavg: 8.15 8.14 8.10 9/359 17941
/proc/meminfo: memFree=24469184/32950928 swapFree=67056568/67111528
[pid=17935] ppid=17933 vsize=302832 CPUtime=408.09 cores=0,2,4,6
/proc/17935/stat : 17935 (strangenight1-m) R 17933 17935 17503 0 -1 4202496 147706 0 0 0 40770 39 0 0 25 0 4 0 651819292 310099968 38170 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17935/statm: 75708 38170 393 112 0 70673 0
[pid=17935/tid=17936] ppid=17933 vsize=302832 CPUtime=102.28 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 42970 0 0 0 10219 9 0 0 25 0 4 0 651819292 310099968 38170 33554432000 4194304 4650419 140735897569344 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17935/tid=17937] ppid=17933 vsize=302832 CPUtime=102.3 cores=0,2,4,6
/proc/17935/task/17937/stat : 17937 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 37032 0 0 0 10220 10 0 0 25 0 4 0 651819292 310099968 38170 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17935/tid=17938] ppid=17933 vsize=302832 CPUtime=102.31 cores=0,2,4,6
/proc/17935/task/17938/stat : 17938 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 26425 0 0 0 10223 8 0 0 25 0 4 0 651819292 310099968 38170 33554432000 4194304 4650419 140735897569344 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.09
Current children cumulated vsize (KiB) 302832

[startup+162.3 s]

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

[pid=17935] ppid=17933 vsize=496420 CPUtime=2562.03 cores=0,2,4,6
/proc/17935/stat : 17935 (strangenight1-m) R 17933 17935 17503 0 -1 4202496 435725 0 0 0 256056 147 0 0 25 0 4 0 651819292 508334080 96510 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17935/statm: 124105 96510 393 112 0 119070 0
[pid=17935/tid=17936] ppid=17933 vsize=496420 CPUtime=642.2 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 123686 0 0 0 64182 38 0 0 25 0 4 0 651819292 508334080 96510 33554432000 4194304 4650419 140735897569344 18446744073709551615 4433093 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17935/tid=17937] ppid=17933 vsize=496420 CPUtime=642.32 cores=0,2,4,6
/proc/17935/task/17937/stat : 17937 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 122031 0 0 0 64186 46 0 0 25 0 4 0 651819292 508334080 96510 33554432000 4194304 4650419 140735897569344 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17935/tid=17938] ppid=17933 vsize=496420 CPUtime=642.32 cores=0,2,4,6
/proc/17935/task/17938/stat : 17938 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 62398 0 0 0 64210 22 0 0 25 0 4 0 651819292 508334080 96510 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2562.03
Current children cumulated vsize (KiB) 496420

[startup+702.301 s]
/proc/loadavg: 8.14 8.12 8.09 9/359 17987
/proc/meminfo: memFree=24143620/32950928 swapFree=67056568/67111528
[pid=17935] ppid=17933 vsize=485028 CPUtime=2801.32 cores=0,2,4,6
/proc/17935/stat : 17935 (strangenight1-m) R 17933 17935 17503 0 -1 4202496 456740 0 0 0 279975 157 0 0 25 0 4 0 651819292 496668672 94643 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17935/statm: 121257 94643 393 112 0 116222 0
[pid=17935/tid=17936] ppid=17933 vsize=485028 CPUtime=702.18 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 127370 0 0 0 70179 39 0 0 25 0 4 0 651819292 496668672 94643 33554432000 4194304 4650419 140735897569344 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17935/tid=17937] ppid=17933 vsize=485028 CPUtime=702.31 cores=0,2,4,6
/proc/17935/task/17937/stat : 17937 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 128481 0 0 0 70182 49 0 0 25 0 4 0 651819292 496668672 94643 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17935/tid=17938] ppid=17933 vsize=485028 CPUtime=702.31 cores=0,2,4,6
/proc/17935/task/17938/stat : 17938 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 65194 0 0 0 70207 24 0 0 25 0 4 0 651819292 496668672 94643 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2801.32
Current children cumulated vsize (KiB) 485028

[startup+762.314 s]
/proc/loadavg: 8.14 8.13 8.09 9/359 17989
/proc/meminfo: memFree=24069296/32950928 swapFree=67056568/67111528
[pid=17935] ppid=17933 vsize=629160 CPUtime=3040.7 cores=0,2,4,6
/proc/17935/stat : 17935 (strangenight1-m) R 17933 17935 17503 0 -1 4202496 483029 0 0 0 303901 169 0 0 25 0 4 0 651819292 644259840 111243 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17935/statm: 157290 111243 393 112 0 152255 0
[pid=17935/tid=17936] ppid=17933 vsize=629160 CPUtime=762.18 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 136840 0 0 0 76175 43 0 0 25 0 4 0 651819292 644259840 111243 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17935/tid=17937] ppid=17933 vsize=629160 CPUtime=762.33 cores=0,2,4,6
/proc/17935/task/17937/stat : 17937 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 136352 0 0 0 76179 54 0 0 25 0 4 0 651819292 644259840 111243 33554432000 4194304 4650419 140735897569344 18446744073709551615 4364766 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17935/tid=17938] ppid=17933 vsize=629160 CPUtime=762.32 cores=0,2,4,6
/proc/17935/task/17938/stat : 17938 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 65445 0 0 0 76208 24 0 0 25 0 4 0 651819292 644259840 111243 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3040.7
Current children cumulated vsize (KiB) 629160

[startup+822.301 s]
/proc/loadavg: 8.09 8.12 8.09 9/359 17990
/proc/meminfo: memFree=24054736/32950928 swapFree=67056568/67111528
[pid=17935] ppid=17933 vsize=629216 CPUtime=3279.99 cores=0,2,4,6
/proc/17935/stat : 17935 (strangenight1-m) R 17933 17935 17503 0 -1 4202496 494946 0 0 0 327825 174 0 0 25 0 4 0 651819292 644317184 110250 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17935/statm: 157304 110250 393 112 0 152269 0
[pid=17935/tid=17936] ppid=17933 vsize=629216 CPUtime=822.15 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 141291 0 0 0 82171 44 0 0 25 0 4 0 651819292 644317184 110250 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17935/tid=17937] ppid=17933 vsize=629216 CPUtime=822.32 cores=0,2,4,6
/proc/17935/task/17937/stat : 17937 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 137233 0 0 0 82178 54 0 0 25 0 4 0 651819292 644317184 110250 33554432000 4194304 4650419 140735897569344 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17935/tid=17938] ppid=17933 vsize=629216 CPUtime=822.31 cores=0,2,4,6
/proc/17935/task/17938/stat : 17938 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 65647 0 0 0 82207 24 0 0 25 0 4 0 651819292 644317184 110250 33554432000 4194304 4650419 140735897569344 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3279.99
Current children cumulated vsize (KiB) 629216

[startup+882.301 s]
/proc/loadavg: 8.11 8.12 8.09 9/359 17992
/proc/meminfo: memFree=24053204/32950928 swapFree=67056568/67111528
[pid=17935] ppid=17933 vsize=513760 CPUtime=3519.33 cores=0,2,4,6
/proc/17935/stat : 17935 (strangenight1-m) R 17933 17935 17503 0 -1 4202496 515711 0 0 0 351749 184 0 0 25 0 4 0 651819292 526090240 108138 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17935/statm: 128440 108138 393 112 0 123405 0
[pid=17935/tid=17936] ppid=17933 vsize=513760 CPUtime=882.15 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 147684 0 0 0 88168 47 0 0 25 0 4 0 651819292 526090240 108138 33554432000 4194304 4650419 140735897569344 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17935/tid=17937] ppid=17933 vsize=513760 CPUtime=882.32 cores=0,2,4,6
/proc/17935/task/17937/stat : 17937 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 143788 0 0 0 88175 57 0 0 25 0 4 0 651819292 526090240 108138 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17935/tid=17938] ppid=17933 vsize=513760 CPUtime=882.32 cores=0,2,4,6
/proc/17935/task/17938/stat : 17938 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 66354 0 0 0 88207 25 0 0 25 0 4 0 651819292 526090240 108138 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3519.33
Current children cumulated vsize (KiB) 513760

[startup+942.3 s]
/proc/loadavg: 8.12 8.13 8.09 9/359 17994
/proc/meminfo: memFree=24039528/32950928 swapFree=67056568/67111528
[pid=17935] ppid=17933 vsize=579684 CPUtime=3758.67 cores=0,2,4,6
/proc/17935/stat : 17935 (strangenight1-m) R 17933 17935 17503 0 -1 4202496 541797 0 0 0 375672 195 0 0 25 0 4 0 651819292 593596416 107734 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17935/statm: 144921 107734 393 112 0 139886 0
[pid=17935/tid=17936] ppid=17933 vsize=579684 CPUtime=942.13 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 154592 0 0 0 94162 51 0 0 25 0 4 0 651819292 593596416 107734 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17935/tid=17937] ppid=17933 vsize=579684 CPUtime=942.32 cores=0,2,4,6
/proc/17935/task/17937/stat : 17937 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 152482 0 0 0 94172 60 0 0 25 0 4 0 651819292 593596416 107734 33554432000 4194304 4650419 140735897569344 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17935/tid=17938] ppid=17933 vsize=579684 CPUtime=942.32 cores=0,2,4,6
/proc/17935/task/17938/stat : 17938 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 69462 0 0 0 94206 26 0 0 25 0 4 0 651819292 593596416 107734 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3758.67
Current children cumulated vsize (KiB) 579684

[startup+1002.3 s]
/proc/loadavg: 8.11 8.13 8.09 9/359 17995
/proc/meminfo: memFree=24012452/32950928 swapFree=67056568/67111528
[pid=17935] ppid=17933 vsize=591124 CPUtime=3998 cores=0,2,4,6
/proc/17935/stat : 17935 (strangenight1-m) R 17933 17935 17503 0 -1 4202496 559974 0 0 0 399597 203 0 0 25 0 4 0 651819292 605310976 115312 33554432000 4194304 4650419 140735897569344 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17935/statm: 147781 115312 393 112 0 142746 0
[pid=17935/tid=17936] ppid=17933 vsize=591124 CPUtime=1002.12 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 159707 0 0 0 100159 53 0 0 25 0 4 0 651819292 605310976 115312 33554432000 4194304 4650419 140735897569344 18446744073709551615 4438378 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17935/tid=17937] ppid=17933 vsize=591124 CPUtime=1002.32 cores=0,2,4,6
/proc/17935/task/17937/stat : 17937 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 157802 0 0 0 100169 63 0 0 25 0 4 0 651819292 605310976 115312 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17935/tid=17938] ppid=17933 vsize=591124 CPUtime=1002.32 cores=0,2,4,6
/proc/17935/task/17938/stat : 17938 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 70942 0 0 0 100205 27 0 0 25 0 4 0 651819292 605310976 115312 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3998
Current children cumulated vsize (KiB) 591124

[startup+1062.3 s]
/proc/loadavg: 8.26 8.16 8.10 9/359 18006
/proc/meminfo: memFree=24008268/32950928 swapFree=67056568/67111528
[pid=17935] ppid=17933 vsize=656888 CPUtime=4237.3 cores=0,2,4,6
/proc/17935/stat : 17935 (strangenight1-m) R 17933 17935 17503 0 -1 4202496 580830 0 0 0 423518 212 0 0 25 0 4 0 651819292 672653312 115089 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17935/statm: 164222 115089 393 112 0 159187 0
[pid=17935/tid=17936] ppid=17933 vsize=656888 CPUtime=1062.11 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 161807 0 0 0 106156 55 0 0 25 0 4 0 651819292 672653312 115089 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17935/tid=17937] ppid=17933 vsize=656888 CPUtime=1062.31 cores=0,2,4,6
/proc/17935/task/17937/stat : 17937 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 164693 0 0 0 106165 66 0 0 25 0 4 0 651819292 672653312 115089 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17935/tid=17938] ppid=17933 vsize=656888 CPUtime=1062.32 cores=0,2,4,6
/proc/17935/task/17938/stat : 17938 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 75995 0 0 0 106204 28 0 0 25 0 4 0 651819292 672653312 115089 33554432000 4194304 4650419 140735897569344 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4237.3
Current children cumulated vsize (KiB) 656888

[startup+1122.3 s]
/proc/loadavg: 8.24 8.16 8.10 9/359 18007
/proc/meminfo: memFree=24016028/32950928 swapFree=67056568/67111528
[pid=17935] ppid=17933 vsize=568180 CPUtime=4476.65 cores=0,2,4,6
/proc/17935/stat : 17935 (strangenight1-m) R 17933 17935 17503 0 -1 4202496 606014 0 0 0 447443 222 0 0 25 0 4 0 651819292 581816320 107020 33554432000 4194304 4650419 140735897569344 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17935/statm: 142045 107020 393 112 0 137010 0
[pid=17935/tid=17936] ppid=17933 vsize=568180 CPUtime=1122.1 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 168602 0 0 0 112153 57 0 0 25 0 4 0 651819292 581816320 107020 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17935/tid=17937] ppid=17933 vsize=568180 CPUtime=1122.31 cores=0,2,4,6
/proc/17935/task/17937/stat : 17937 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 172109 0 0 0 112162 69 0 0 25 0 4 0 651819292 581816320 107020 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17935/tid=17938] ppid=17933 vsize=568180 CPUtime=1122.33 cores=0,2,4,6
/proc/17935/task/17938/stat : 17938 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 80382 0 0 0 112204 29 0 0 25 0 4 0 651819292 581816320 107020 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4476.65
Current children cumulated vsize (KiB) 568180

[startup+1182.3 s]
/proc/loadavg: 8.09 8.13 8.09 9/359 18009
/proc/meminfo: memFree=23945148/32950928 swapFree=67056568/67111528
[pid=17935] ppid=17933 vsize=643024 CPUtime=4715.98 cores=0,2,4,6
/proc/17935/stat : 17935 (strangenight1-m) R 17933 17935 17503 0 -1 4202496 631168 0 0 0 471366 232 0 0 25 0 4 0 651819292 658456576 120827 33554432000 4194304 4650419 140735897569344 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17935/statm: 160756 120827 393 112 0 155721 0
[pid=17935/tid=17936] ppid=17933 vsize=643024 CPUtime=1182.1 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 174676 0 0 0 118150 60 0 0 25 0 4 0 651819292 658456576 120827 33554432000 4194304 4650419 140735897569344 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17935/tid=17937] ppid=17933 vsize=643024 CPUtime=1182.32 cores=0,2,4,6
/proc/17935/task/17937/stat : 17937 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 181777 0 0 0 118158 74 0 0 25 0 4 0 651819292 658456576 120827 33554432000 4194304 4650419 140735897569344 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17935/tid=17938] ppid=17933 vsize=643024 CPUtime=1182.33 cores=0,2,4,6
/proc/17935/task/17938/stat : 17938 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 84249 0 0 0 118202 31 0 0 25 0 4 0 651819292 658456576 120827 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4715.98
Current children cumulated vsize (KiB) 643024



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.41 s]
/proc/loadavg: 8.06 8.12 8.09 5/351 18027
/proc/meminfo: memFree=24270532/32950928 swapFree=67056568/67111528
[pid=17935] ppid=17933 vsize=643024 CPUtime=4800.19 cores=0,2,4,6
/proc/17935/stat : 17935 (strangenight1-m) R 17933 17935 17503 0 -1 4202496 632340 0 0 0 479785 234 0 0 25 0 4 0 651819292 658456576 121999 33554432000 4194304 4650419 140735897569344 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17935/statm: 160756 121999 393 112 0 155721 0
[pid=17935/tid=17936] ppid=17933 vsize=643024 CPUtime=1203.21 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 175849 0 0 0 120260 61 0 0 25 0 4 0 651819292 658456576 122000 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17935/tid=17937] ppid=17933 vsize=643024 CPUtime=1203.44 cores=0,2,4,6
/proc/17935/task/17937/stat : 17937 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 181777 0 0 0 120270 74 0 0 25 0 4 0 651819292 658456576 122000 33554432000 4194304 4650419 140735897569344 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17935/tid=17938] ppid=17933 vsize=643024 CPUtime=1203.45 cores=0,2,4,6
/proc/17935/task/17938/stat : 17938 (strangenight1-m) R 17933 17935 17503 0 -1 4202560 84249 0 0 0 120314 31 0 0 25 0 4 0 651819292 658456576 122000 33554432000 4194304 4650419 140735897569344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 643024

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.46
CPU time (s): 4800.26
CPU user time (s): 4797.89
CPU system time (s): 2.36664
CPU usage (%): 398.873
Max. virtual memory (cumulated for all children) (KiB): 762212

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

runsolver used 3.67944 second user time and 9.71552 second system time

The end

Launcher Data 

Begin job on node148 at 2011-05-14 21:43:42
IDJOB=3368754
IDBENCH=82763
IDSOLVER=1846
FILE ID=node148/3368754-1305402222
RUNJOBID= node148-1305401016-17817
PBS_JOBID= 13324458
Free space on /tmp= 72836 MiB

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

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

MD5SUM BENCH= 6deba4513edb64b9aaebf4e8cfbaf90d
RANDOM SEED=1048350645

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24749616 kB
Buffers:        315000 kB
Cached:        4594436 kB
SwapCached:       8488 kB
Active:        4556516 kB
Inactive:      3293820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24749616 kB
SwapTotal:    67111528 kB
SwapFree:     67056568 kB
Dirty:           12444 kB
Writeback:           0 kB
AnonPages:     2938384 kB
Mapped:          27368 kB
Slab:           258664 kB
PageTables:      29296 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 84737804 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= 72836 MiB
End job on node148 at 2011-05-14 22:03:48