Trace number 3175234

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.24 1201.73

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v100-c2130-S2051088205-036.UNKNOWN.cnf
MD5SUM901aadbc76f4961d582bc9856b3c63b3
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark300.4
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of clauses2130
Sum of the clauses size10650
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 52130
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-3175234-1304102618.cnf'
0.00/0.00	c -- header says num vars:            100
0.00/0.00	c -- header says num clauses:        2130
0.00/0.00	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.00	c -- vars added        100
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       100      2130         0         0     10650         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.03
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.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
0.00/0.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.06	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.06	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.06	c calculated reachability. Time: 0.00
0.00/0.06	c Calc default polars -  time:   0.00 s pos:      52 undec:       4 neg:      44
0.00/0.06	c =========================================================================================
0.00/0.06	c types(t): F = full restart, N = normal restart
0.00/0.06	c types(t): S = simplification begin/end, E = solution found
0.00/0.06	c restart types(rt): st = static, dy = dynamic
0.00/0.06	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.06	c  B st     0         0       100      2130         0         0     10650         0   no data   no data  --
0.00/0.06	c Decided on static restart strategy
0.60/0.15	c  N st     8      4916       100      2130         0      4576     10650     99306   no data   no data  --
1.17/0.31	c  N st    10     11301       100      2130         0      4245     10650     73563   no data   no data  --
1.97/0.50	c  N st    11     17045       100      2130         0      9568     10650    188310   no data   no data  --
3.18/0.81	c  F st    12     25001       100      2130         0     11713     10650    230858   no data   no data  --
3.18/0.81	c  N st    12     25001       100      2130         0     11713     10650    230858   no data   no data  --
3.99/1.01	c Decided on static restart strategy
3.99/1.01	c  N st    18     30001       100      2130         0     10050     10650    185163   no data   no data  --
3.99/1.01	c  S st    18     30001       100      2130         0     10050     10650    185163   no data   no data  --
3.99/1.04	c  S st    18     30506       100      2130         0     10529     10650    195841   no data   no data  --
3.99/1.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.99/1.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3.99/1.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
3.99/1.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.99/1.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.99/1.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.99/1.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.56/1.45	c lits-rem:      2116  cl-subs:     1958  v-elim:      0  v-fix:    0  time:  1.64 s
5.56/1.49	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.14
5.56/1.49	c calculated reachability. Time: 0.00
5.56/1.49	c  N st    18     30506       100      2130         0      8571     10650    152176   no data   no data  --
6.77/1.78	c  N st    20     37617       100      2130         0      7891     10650    127000   no data   no data  --
7.97/2.04	c  N st    21     44016       100      2130         0     13829     10650    252339   no data   no data  --
8.38/2.13	c  S st    22     45759       100      2130         0     15450     10650    287694   no data   no data  --
8.38/2.17	c  S st    22     46261       100      2130         0     15924     10650    298563   no data   no data  --
8.38/2.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.38/2.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
8.38/2.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
8.38/2.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.38/2.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.38/2.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
8.38/2.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13.17/3.38	c lits-rem:      3324  cl-subs:     2221  v-elim:      0  v-fix:    0  time:  4.77 s
13.17/3.38	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
13.17/3.38	c vivif2 --  cl tried    13703 cl shrink        0 lits rem          0 time: 0.01
13.55/3.44	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.24
13.55/3.44	c calculated reachability. Time: 0.00
13.55/3.44	c  N st    22     46261       100      2130         0     13703     10650    248742   no data   no data  --
16.35/4.18	c  N st    23     60658       100      2130         0      9616     10650    140013   no data   no data  --
18.35/4.61	c  N st    24     69393       100      2130         0     17688     10650    311771   no data   no data  --
18.35/4.61	c  S st    24     69393       100      2130         0     17688     10650    311771   no data   no data  --
18.35/4.66	c  S st    24     69895       100      2130         0     18174     10650    322786   no data   no data  --
18.35/4.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
18.35/4.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.35/4.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
18.35/4.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18.35/4.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.35/4.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
18.35/4.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
23.95/6.00	c lits-rem:      3710  cl-subs:     2764  v-elim:      0  v-fix:    0  time:  5.28 s
23.95/6.00	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
23.95/6.00	c vivif2 --  cl tried    15410 cl shrink        0 lits rem          0 time: 0.01
23.95/6.07	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.26
23.95/6.07	c calculated reachability. Time: 0.00
23.95/6.07	c  N st    24     69895       100      2130         0     15410     10650    263571   no data   no data  --
27.94/7.00	c  F st    25     87500       100      2130         0     21566     10650    379898   no data   no data  --
27.94/7.00	c  N st    25     87500       100      2130         0     21566     10650    379898   no data   no data  --
28.74/7.28	c Decided on static restart strategy
29.53/7.45	c  N st    32     95542       100      2130         0     18054     10650    307715   no data   no data  --
31.93/8.09	c  N st    34    104844       100      2130         0     14693     10650    231960   no data   no data  --
31.93/8.09	c  S st    34    104844       100      2130         0     14693     10650    231960   no data   no data  --
32.33/8.13	c  S st    34    105346       100      2130         0     15174     10650    243010   no data   no data  --
32.33/8.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
32.33/8.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
32.33/8.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
32.33/8.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
32.33/8.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
32.33/8.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
32.33/8.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
36.32/9.15	c lits-rem:      1444  cl-subs:     1068  v-elim:      0  v-fix:    0  time:  4.02 s
36.32/9.15	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
36.32/9.15	c vivif2 --  cl tried    14106 cl shrink        0 lits rem          0 time: 0.01
36.72/9.22	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.26
36.72/9.22	c calculated reachability. Time: 0.00
36.72/9.22	c  N st    34    105346       100      2130         0     14106     10650    219293   no data   no data  --
39.54/9.94	c  N st    35    114944       100      2130         0     23015     10650    416569   no data   no data  --
42.71/10.79	c  N st    36    129341       100      2130         0     23478     10650    410298   no data   no data  --
49.91/12.53	c  N st    37    150938       100      2130         0     29540     10650    527849   no data   no data  --
51.91/13.00	c  S st    38    158019       100      2130         0     21342     10650    338332   no data   no data  --
51.91/13.05	c  S st    38    158520       100      2130         0     21830     10650    349487   no data   no data  --
51.91/13.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
51.91/13.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.91/13.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
51.91/13.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
51.91/13.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.91/13.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
51.91/13.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
56.72/14.20	c lits-rem:      2925  cl-subs:     1645  v-elim:      0  v-fix:    0  time:  4.52 s
56.72/14.20	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
56.72/14.21	c vivif2 --  cl tried    20185 cl shrink        0 lits rem          0 time: 0.01
56.72/14.29	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.34
56.72/14.29	c calculated reachability. Time: 0.00
56.72/14.29	c  N st    38    158520       100      2130         0     20185     10650    312066   no data   no data  --
72.28/18.10	c  N st    39    207108       100      2130         0     32832     10650    570819   no data   no data  --
82.26/20.62	c  N st    40    237782       100      2130         0     25087     10650    383635   no data   no data  --
82.26/20.62	c  S st    40    237782       100      2130         0     25087     10650    383635   no data   no data  --
82.26/20.69	c  S st    40    238289       100      2130         0     25568     10650    394496   no data   no data  --
82.26/20.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
82.26/20.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
82.26/20.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
82.67/20.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
82.67/20.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.67/20.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
82.67/20.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
87.87/22.03	c lits-rem:      2952  cl-subs:     1925  v-elim:      0  v-fix:    0  time:  5.29 s
87.87/22.03	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
87.87/22.03	c vivif2 --  cl tried    23643 cl shrink        0 lits rem          0 time: 0.02
88.25/22.14	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.42
88.25/22.14	c calculated reachability. Time: 0.00
88.25/22.14	c  N st    40    238289       100      2130         0     23643     10650    351004   no data   no data  --
113.83/28.51	c  F st    41    306252       100      2130         0     25582     10650    352829   no data   no data  --
113.83/28.51	c  N st    41    306252       100      2130         0     25582     10650    352829   no data   no data  --
115.41/28.96	c Decided on static restart strategy
125.00/31.31	c  N st    51    334558       100      2130         0     29608     10650    428041   no data   no data  --
134.59/33.75	c  N st    53    357433       100      2130         0     27701     10650    374503   no data   no data  --
134.59/33.75	c  S st    53    357433       100      2130         0     27701     10650    374503   no data   no data  --
134.99/33.82	c  S st    53    357938       100      2130         0     28191     10650    385737   no data   no data  --
134.99/33.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
134.99/33.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
134.99/33.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
134.99/33.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
134.99/33.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
134.99/33.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
134.99/33.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
140.60/35.23	c lits-rem:      2142  cl-subs:     1336  v-elim:      0  v-fix:    0  time:  5.52 s
140.60/35.23	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
140.60/35.23	c vivif2 --  cl tried    26855 cl shrink        0 lits rem          0 time: 0.02
140.97/35.39	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.62
140.97/35.39	c calculated reachability. Time: 0.00
140.97/35.39	c  N st    53    357938       100      2130         0     26855     10650    357227   no data   no data  --
156.15/39.12	c  N st    54    390333       100      2130         0     32670     10650    470870   no data   no data  --
176.13/44.13	c  N st    55    438922       100      2130         0     26613     10650    322250   no data   no data  --
207.29/51.91	c  N st    56    511807       100      2130         0     39285     10650    563509   no data   no data  --
219.69/55.01	c  N st    57    536909       100      2130         0     33973     10650    445219   no data   no data  --
219.69/55.01	c  S st    57    536909       100      2130         0     33973     10650    445219   no data   no data  --
220.07/55.10	c  S st    57    537412       100      2130         0     34457     10650    456205   no data   no data  --
220.07/55.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
220.07/55.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
220.07/55.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
220.07/55.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
220.07/55.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
220.07/55.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
220.07/55.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
226.07/56.61	c lits-rem:      2151  cl-subs:     1765  v-elim:      0  v-fix:    0  time:  5.94 s
226.07/56.61	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
226.07/56.61	c vivif2 --  cl tried    32692 cl shrink        0 lits rem          0 time: 0.02
226.47/56.77	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.62
226.47/56.77	c calculated reachability. Time: 0.00
226.47/56.77	c  N st    57    537412       100      2130         0     32692     10650    420766   no data   no data  --
310.75/77.87	c  N st    58    701396       100      2130         0     60141     10650    948881   no data   no data  --
365.48/91.50	c  N st    59    806118       100      2130         0     54266     10650    786570   no data   no data  --
365.48/91.50	c  S st    59    806118       100      2130         0     54266     10650    786570   no data   no data  --
365.88/91.65	c  S st    59    806620       100      2130         0     54738     10650    797334   no data   no data  --
365.88/91.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
365.88/91.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
365.88/91.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
365.88/91.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
365.88/91.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
365.88/91.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
365.88/91.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
385.05/96.40	c lits-rem:      2363  cl-subs:     7178  v-elim:      0  v-fix:    0  time: 18.77 s
385.05/96.40	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
385.05/96.41	c vivif2 --  cl tried    47560 cl shrink        0 lits rem          0 time: 0.03
385.85/96.64	c asymm  cl-useful: 0/1860/2130 lits-rem:0 time: 0.95
385.85/96.64	c calculated reachability. Time: 0.00
385.85/96.64	c  N st    59    806620       100      2130         0     47560     10650    671166   no data   no data  --
540.84/135.48	c  F st    60   1071876       100      2130         0     63070     10650    947008   no data   no data  --
540.84/135.48	c  N st    60   1071876       100      2130         0     63070     10650    947008   no data   no data  --
545.64/136.60	c Decided on static restart strategy
564.01/141.22	c  N st    70   1100181       100      2130         0     47917     10650    601311   no data   no data  --
593.19/148.59	c  N st    72   1136173       100      2130         0     80931     10650   1301657   no data   no data  --
611.95/153.25	c  N st    73   1168565       100      2130         0     68513     10650   1017047   no data   no data  --
641.53/160.61	c  N st    74   1209930       100      2130         0     63360     10650    899105   no data   no data  --
641.53/160.61	c  S st    74   1209930       100      2130         0     63360     10650    899105   no data   no data  --
642.30/160.84	c  S st    74   1210432       100      2130         0     63842     10650    910073   no data   no data  --
642.30/160.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
642.30/160.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
642.30/160.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.13
642.70/160.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
642.70/160.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
642.70/160.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
642.70/160.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
664.67/166.46	c lits-rem:      1121  cl-subs:     5796  v-elim:      0  v-fix:    0  time: 22.18 s
664.67/166.46	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
664.67/166.47	c vivif2 --  cl tried    58046 cl shrink        0 lits rem          0 time: 0.04
665.87/166.74	c asymm  cl-useful: 0/1525/2130 lits-rem:0 time: 1.08
665.87/166.75	c calculated reachability. Time: 0.00
665.87/166.75	c  N st    74   1210432       100      2130         0     58046     10650    802193   no data   no data  --
713.01/178.56	c  N st    75   1283314       100      2130         0     81160     10650   1293467   no data   no data  --
790.52/197.92	c  N st    76   1392637       100      2130         0     90860     10650   1480433   no data   no data  --
919.53/230.27	c  N st    77   1556621       100      2130         0     97879     10650   1565404   no data   no data  --
1040.56/260.58	c  N st    78   1710433       100      2130         0     87272     10650   1271125   no data   no data  --
1040.56/260.58	c  S st    78   1710433       100      2130         0     87272     10650   1271125   no data   no data  --
1042.15/260.95	c  S st    78   1710936       100      2130         0     87753     10650   1282023   no data   no data  --
1042.15/260.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1042.15/260.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1042.55/261.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.21
1042.55/261.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1042.55/261.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1042.55/261.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1042.55/261.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1133.25/283.79	c lits-rem:      3591  cl-subs:    13819  v-elim:      0  v-fix:    0  time: 90.82 s
1133.25/283.79	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1133.65/283.81	c vivif2 --  cl tried    73934 cl shrink        0 lits rem          0 time: 0.06
1134.43/284.03	c asymm  cl-useful: 0/605/2130 lits-rem:0 time: 0.89
1134.43/284.04	c calculated reachability. Time: 0.00
1134.43/284.04	c  N st    78   1710936       100      2130         0     73934     10650   1034669   no data   no data  --
1448.40/362.67	c  N st    79   2079900       100      2130         0     85906     10650   1204988   no data   no data  --
1569.43/392.97	c  N st    80   2210936       100      2130         0     89664     10650   1265445   no data   no data  --
1569.43/392.97	c  S st    80   2210936       100      2130         0     89664     10650   1265445   no data   no data  --
1571.43/393.43	c  S st    80   2211441       100      2130         0     90146     10650   1276251   no data   no data  --
1571.43/393.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1571.43/393.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1571.83/393.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.25
1571.83/393.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1571.83/393.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1571.83/393.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1571.83/393.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1666.90/417.38	c lits-rem:      2202  cl-subs:    10692  v-elim:      0  v-fix:    0  time: 95.17 s
1666.90/417.38	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1667.30/417.40	c vivif2 --  cl tried    79454 cl shrink        0 lits rem          0 time: 0.06
1668.50/417.78	c asymm  cl-useful: 0/1106/2130 lits-rem:0 time: 1.54
1668.50/417.79	c calculated reachability. Time: 0.00
1668.50/417.79	c  N st    80   2211441       100      2130         0     79454     10650   1084904   no data   no data  --
2099.11/525.53	c  N st    81   2711441       100      2130         0    102598     10650   1489377   no data   no data  --
2099.11/525.53	c  S st    81   2711441       100      2130         0    102598     10650   1489377   no data   no data  --
2100.32/525.87	c  S st    81   2711947       100      2130         0    103088     10650   1500374   no data   no data  --
2100.32/525.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2100.32/525.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2100.70/525.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
2100.70/525.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2100.70/525.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2100.70/525.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2100.70/525.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2217.74/555.22	c lits-rem:      2751  cl-subs:    12078  v-elim:      0  v-fix:    0  time: 116.82 s
2217.74/555.22	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2217.74/555.24	c vivif2 --  cl tried    91010 cl shrink        0 lits rem          0 time: 0.08
2219.33/555.69	c asymm  cl-useful: 0/892/2130 lits-rem:0 time: 1.78
2219.33/555.69	c calculated reachability. Time: 0.00
2219.33/555.69	c  N st    81   2711947       100      2130         0     91010     10650   1274090   no data   no data  --
2713.85/679.49	c  N st    82   3211947       100      2130         0    140667     10650   2241515   no data   no data  --
2713.85/679.49	c  S st    82   3211947       100      2130         0    140667     10650   2241515   no data   no data  --
2715.85/679.94	c  S st    82   3212452       100      2130         0    141136     10650   2252360   no data   no data  --
2715.85/679.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2715.85/679.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2716.25/680.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.28
2716.25/680.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2716.25/680.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2716.25/680.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2716.25/680.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2944.34/737.16	c lits-rem:      7291  cl-subs:    21732  v-elim:      0  v-fix:    0  time: 227.87 s
2944.34/737.16	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2944.34/737.18	c vivif2 --  cl tried   119404 cl shrink        0 lits rem          0 time: 0.10
2945.94/737.54	c asymm  cl-useful: 0/805/2130 lits-rem:0 time: 1.45
2945.94/737.55	c calculated reachability. Time: 0.00
2945.94/737.55	c  N st    82   3212452       100      2130         0    119404     10650   1852371   no data   no data  --
3504.77/877.44	c  N st    83   3712452       100      2130         0    136457     10650   2106091   no data   no data  --
3504.77/877.44	c  S st    83   3712452       100      2130         0    136457     10650   2106091   no data   no data  --
3506.77/877.98	c  S st    83   3712958       100      2130         0    136938     10650   2117431   no data   no data  --
3506.77/877.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3506.77/877.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3507.17/878.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.28
3507.57/878.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3507.57/878.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3507.57/878.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3507.57/878.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3705.69/927.78	c lits-rem:      8183  cl-subs:    19429  v-elim:      0  v-fix:    0  time: 198.29 s
3705.69/927.78	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3706.09/927.81	c vivif2 --  cl tried   117509 cl shrink        0 lits rem          0 time: 0.09
3707.29/928.18	c asymm  cl-useful: 0/686/2130 lits-rem:0 time: 1.49
3707.29/928.18	c calculated reachability. Time: 0.00
3707.29/928.18	c  N st    83   3712958       100      2130         0    117509     10650   1749674   no data   no data  --
3770.40/943.95	c  F st    84   3751562       100      2130         0     76872     10650    814625   no data   no data  --
3770.40/943.96	c  N st    84   3751562       100      2130         0     76872     10650    814625   no data   no data  --
3775.99/945.36	c Decided on static restart strategy
3799.96/951.37	c  N st    94   3779870       100      2130         0    103001     10650   1391785   no data   no data  --
3840.70/961.57	c  N st    96   3815862       100      2130         0    136077     10650   2125472   no data   no data  --
3879.87/971.31	c  N st    97   3848255       100      2130         0     88344     10650   1042005   no data   no data  --
3925.79/982.88	c  N st    98   3896843       100      2130         0    133188     10650   2063305   no data   no data  --
4011.68/1004.33	c  N st    99   3969725       100      2130         0    121176     10650   1731068   no data   no data  --
4159.06/1041.26	c  N st   100   4079050       100      2130         0    141059     10650   2139166   no data   no data  --
4349.61/1088.99	c  N st   101   4212958       100      2130         0    101869     10650   1280540   no data   no data  --
4349.61/1088.99	c  S st   101   4212958       100      2130         0    101869     10650   1280540   no data   no data  --
4351.19/1089.35	c  S st   101   4213461       100      2130         0    102353     10650   1291549   no data   no data  --
4351.19/1089.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4351.19/1089.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4351.59/1089.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.21
4351.59/1089.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4351.59/1089.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4351.59/1089.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4351.59/1089.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4411.53/1104.40	c lits-rem:      2193  cl-subs:     6514  v-elim:      0  v-fix:    0  time: 59.72 s
4411.53/1104.40	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4411.53/1104.42	c vivif2 --  cl tried    95839 cl shrink        0 lits rem          0 time: 0.06
4412.31/1104.68	c asymm  cl-useful: 0/639/2130 lits-rem:0 time: 1.05
4412.31/1104.68	c calculated reachability. Time: 0.00
4412.31/1104.68	c  N st   101   4213461       100      2130         0     95839     10650   1174259   no data   no data  --
4747.45/1188.57	c  N st   102   4459438       100      2130         0    155622     10650   2435295   no data   no data  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3175234-1304102618/watcher-3175234-1304102618 -o /tmp/evaluation-result-3175234-1304102618/solver-3175234-1304102618 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175234-1304102618.cnf 

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

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


[startup+0 s]
/proc/loadavg: 6.95 7.85 7.93 3/176 17299
/proc/meminfo: memFree=30911332/32950928 swapFree=67111448/67111528
[pid=17299] ppid=17297 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17299/stat : 17299 (strangenight1-m) R 17297 17299 17262 0 -1 4202496 418 0 0 0 0 0 0 0 25 0 4 0 521860511 52465664 358 33554432000 4194304 4650419 140735991770720 18446744073709551615 47484299683347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17299/statm: 12809 358 306 112 0 7774 0
[pid=17299/tid=17302] ppid=17297 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17299/task/17302/stat : 17302 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521860511 52465664 358 33554432000 4194304 4650419 140735991770720 18446744073709551615 47484299683762 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17299/tid=17304] ppid=17297 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17299/task/17304/stat : 17304 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521860511 52465664 358 33554432000 4194304 4650419 140735991770720 18446744073709551615 47484299683357 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17299/tid=17305] ppid=17297 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17299/task/17305/stat : 17305 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521860511 52465664 358 33554432000 4194304 4650419 140735991770720 18446744073709551615 47484299683351 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0640759 s]
/proc/loadavg: 6.95 7.85 7.93 3/176 17299
/proc/meminfo: memFree=30911332/32950928 swapFree=67111448/67111528
[pid=17299] ppid=17297 vsize=282448 CPUtime=0.23 cores=0,2,4,6
/proc/17299/stat : 17299 (strangenight1-m) R 17297 17299 17262 0 -1 4202496 1544 0 0 0 23 0 0 0 25 0 4 0 521860511 289226752 1394 33554432000 4194304 4650419 140735991770720 18446744073709551615 251814283447 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17299/statm: 70612 1394 389 112 0 65577 0
[pid=17299/tid=17302] ppid=17297 vsize=282448 CPUtime=0.05 cores=0,2,4,6
/proc/17299/task/17302/stat : 17302 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 350 0 0 0 5 0 0 0 18 0 4 0 521860511 289226752 1394 33554432000 4194304 4650419 140735991770720 18446744073709551615 4304318 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17299/tid=17304] ppid=17297 vsize=282448 CPUtime=0.05 cores=0,2,4,6
/proc/17299/task/17304/stat : 17304 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 287 0 0 0 5 0 0 0 18 0 4 0 521860511 289226752 1394 33554432000 4194304 4650419 140735991770720 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17299/tid=17305] ppid=17297 vsize=282448 CPUtime=0.05 cores=0,2,4,6
/proc/17299/task/17305/stat : 17305 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 192 0 0 0 5 0 0 0 18 0 4 0 521860511 289226752 1394 33554432000 4194304 4650419 140735991770720 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 282448

[startup+0.157053 s]
/proc/loadavg: 6.95 7.85 7.93 3/176 17299
/proc/meminfo: memFree=30911332/32950928 swapFree=67111448/67111528
[pid=17299] ppid=17297 vsize=283724 CPUtime=0.6 cores=0,2,4,6
/proc/17299/stat : 17299 (strangenight1-m) R 17297 17299 17262 0 -1 4202496 2365 0 0 0 60 0 0 0 25 0 4 0 521860511 290533376 1684 33554432000 4194304 4650419 140735991770720 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17299/statm: 70931 1684 391 112 0 65896 0
[pid=17299/tid=17302] ppid=17297 vsize=283724 CPUtime=0.15 cores=0,2,4,6
/proc/17299/task/17302/stat : 17302 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 571 0 0 0 15 0 0 0 18 0 4 0 521860511 290533376 1684 33554432000 4194304 4650419 140735991770720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17299/tid=17304] ppid=17297 vsize=283724 CPUtime=0.15 cores=0,2,4,6
/proc/17299/task/17304/stat : 17304 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 488 0 0 0 15 0 0 0 18 0 4 0 521860511 290533376 1684 33554432000 4194304 4650419 140735991770720 18446744073709551615 4330582 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17299/tid=17305] ppid=17297 vsize=283724 CPUtime=0.15 cores=0,2,4,6
/proc/17299/task/17305/stat : 17305 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 391 0 0 0 15 0 0 0 18 0 4 0 521860511 290533376 1684 33554432000 4194304 4650419 140735991770720 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 283724

[startup+0.301029 s]
/proc/loadavg: 6.95 7.85 7.93 3/176 17299
/proc/meminfo: memFree=30911332/32950928 swapFree=67111448/67111528
[pid=17299] ppid=17297 vsize=292668 CPUtime=1.17 cores=0,2,4,6
/proc/17299/stat : 17299 (strangenight1-m) R 17297 17299 17262 0 -1 4202496 3101 0 0 0 117 0 0 0 25 0 4 0 521860511 299692032 2225 33554432000 4194304 4650419 140735991770720 18446744073709551615 4354952 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17299/statm: 73167 2229 391 112 0 68132 0
[pid=17299/tid=17302] ppid=17297 vsize=292668 CPUtime=0.29 cores=0,2,4,6
/proc/17299/task/17302/stat : 17302 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 815 0 0 0 29 0 0 0 18 0 4 0 521860511 299692032 2231 33554432000 4194304 4650419 140735991770720 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17299/tid=17304] ppid=17297 vsize=292668 CPUtime=0.29 cores=0,2,4,6
/proc/17299/task/17304/stat : 17304 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 703 0 0 0 29 0 0 0 18 0 4 0 521860511 299692032 2234 33554432000 4194304 4650419 140735991770720 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17299/tid=17305] ppid=17297 vsize=292668 CPUtime=0.29 cores=0,2,4,6
/proc/17299/task/17305/stat : 17305 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 531 0 0 0 29 0 0 0 18 0 4 0 521860511 299692032 2237 33554432000 4194304 4650419 140735991770720 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 292668

[startup+0.700961 s]
/proc/loadavg: 6.95 7.85 7.93 3/176 17299
/proc/meminfo: memFree=30911332/32950928 swapFree=67111448/67111528
[pid=17299] ppid=17297 vsize=285240 CPUtime=2.77 cores=0,2,4,6
/proc/17299/stat : 17299 (strangenight1-m) R 17297 17299 17262 0 -1 4202496 5112 0 0 0 277 0 0 0 25 0 4 0 521860511 292085760 2629 33554432000 4194304 4650419 140735991770720 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17299/statm: 71310 2629 391 112 0 66275 0
[pid=17299/tid=17302] ppid=17297 vsize=285240 CPUtime=0.69 cores=0,2,4,6
/proc/17299/task/17302/stat : 17302 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 1232 0 0 0 69 0 0 0 18 0 4 0 521860511 292085760 2629 33554432000 4194304 4650419 140735991770720 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17299/tid=17304] ppid=17297 vsize=285240 CPUtime=0.69 cores=0,2,4,6
/proc/17299/task/17304/stat : 17304 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 1206 0 0 0 69 0 0 0 18 0 4 0 521860511 292085760 2629 33554432000 4194304 4650419 140735991770720 18446744073709551615 4366953 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17299/tid=17305] ppid=17297 vsize=285240 CPUtime=0.69 cores=0,2,4,6
/proc/17299/task/17305/stat : 17305 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 1043 0 0 0 69 0 0 0 18 0 4 0 521860511 292085760 2629 33554432000 4194304 4650419 140735991770720 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285240

[startup+1.50083 s]
/proc/loadavg: 6.95 7.85 7.93 9/184 17307
/proc/meminfo: memFree=30888204/32950928 swapFree=67111448/67111528
[pid=17299] ppid=17297 vsize=299956 CPUtime=5.96 cores=0,2,4,6
/proc/17299/stat : 17299 (strangenight1-m) R 17297 17299 17262 0 -1 4202496 10054 0 0 0 595 1 0 0 25 0 4 0 521860511 307154944 5560 33554432000 4194304 4650419 140735991770720 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17299/statm: 74989 5560 393 112 0 69954 0
[pid=17299/tid=17302] ppid=17297 vsize=299956 CPUtime=1.49 cores=0,2,4,6
/proc/17299/task/17302/stat : 17302 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 2996 0 0 0 149 0 0 0 20 0 4 0 521860511 307154944 5560 33554432000 4194304 4650419 140735991770720 18446744073709551615 4370511 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17299/tid=17304] ppid=17297 vsize=299956 CPUtime=1.49 cores=0,2,4,6
/proc/17299/task/17304/stat : 17304 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 2046 0 0 0 149 0 0 0 19 0 4 0 521860511 307154944 5560 33554432000 4194304 4650419 140735991770720 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17299/tid=17305] ppid=17297 vsize=299956 CPUtime=1.48 cores=0,2,4,6
/proc/17299/task/17305/stat : 17305 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 1778 0 0 0 148 0 0 0 20 0 4 0 521860511 307154944 5560 33554432000 4194304 4650419 140735991770720 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 299956

[startup+3.10056 s]
/proc/loadavg: 7.04 7.85 7.93 9/184 17307
/proc/meminfo: memFree=30855096/32950928 swapFree=67111448/67111528
[pid=17299] ppid=17297 vsize=301312 CPUtime=12.35 cores=0,2,4,6
/proc/17299/stat : 17299 (strangenight1-m) R 17297 17299 17262 0 -1 4202496 17713 0 0 0 1233 2 0 0 25 0 4 0 521860511 308543488 10888 33554432000 4194304 4650419 140735991770720 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17299/statm: 75328 10888 393 112 0 70293 0
[pid=17299/tid=17302] ppid=17297 vsize=301312 CPUtime=3.08 cores=0,2,4,6
/proc/17299/task/17302/stat : 17302 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 5378 0 0 0 308 0 0 0 25 0 4 0 521860511 308543488 10888 33554432000 4194304 4650419 140735991770720 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17299/tid=17304] ppid=17297 vsize=301312 CPUtime=3.08 cores=0,2,4,6
/proc/17299/task/17304/stat : 17304 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 4278 0 0 0 308 0 0 0 25 0 4 0 521860511 308543488 10888 33554432000 4194304 4650419 140735991770720 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17299/tid=17305] ppid=17297 vsize=301312 CPUtime=3.08 cores=0,2,4,6
/proc/17299/task/17305/stat : 17305 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 3659 0 0 0 308 0 0 0 25 0 4 0 521860511 308543488 10888 33554432000 4194304 4650419 140735991770720 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 301312

[startup+6.30102 s]
/proc/loadavg: 7.04 7.85 7.93 9/184 17307
/proc/meminfo: memFree=30809740/32950928 swapFree=67111448/67111528
[pid=17299] ppid=17297 vsize=303976 CPUtime=25.15 cores=0,2,4,6
/proc/17299/stat : 17299 (strangenight1-m) R 17297 17299 17262 0 -1 4202496 25399 0 0 0 2511 4 0 0 25 0 4 0 521860511 311271424 13001 33554432000 4194304 4650419 140735991770720 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17299/statm: 75994 13001 393 112 0 70959 0
[pid=17299/tid=17302] ppid=17297 vsize=303976 CPUtime=6.29 cores=0,2,4,6
/proc/17299/task/17302/stat : 17302 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 7003 0 0 0 628 1 0 0 25 0 4 0 521860511 311271424 13001 33554432000 4194304 4650419 140735991770720 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17299/tid=17304] ppid=17297 vsize=303976 CPUtime=6.29 cores=0,2,4,6
/proc/17299/task/17304/stat : 17304 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 6992 0 0 0 628 1 0 0 25 0 4 0 521860511 311271424 13001 33554432000 4194304 4650419 140735991770720 18446744073709551615 4439619 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17299/tid=17305] ppid=17297 vsize=303976 CPUtime=6.28 cores=0,2,4,6
/proc/17299/task/17305/stat : 17305 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 5335 0 0 0 628 0 0 0 25 0 4 0 521860511 311271424 13001 33554432000 4194304 4650419 140735991770720 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 303976

[startup+12.7009 s]
/proc/loadavg: 7.18 7.85 7.93 9/184 17308
/proc/meminfo: memFree=30760512/32950928 swapFree=67111448/67111528
[pid=17299] ppid=17297 vsize=332100 CPUtime=50.71 cores=0,2,4,6
/proc/17299/stat : 17299 (strangenight1-m) R 17297 17299 17262 0 -1 4202496 37961 0 0 0 5065 6 0 0 25 0 4 0 521860511 340070400 18411 33554432000 4194304 4650419 140735991770720 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17299/statm: 83025 18411 393 112 0 77990 0
[pid=17299/tid=17302] ppid=17297 vsize=332100 CPUtime=12.68 cores=0,2,4,6
/proc/17299/task/17302/stat : 17302 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 10810 0 0 0 1267 1 0 0 25 0 4 0 521860511 340070400 18411 33554432000 4194304 4650419 140735991770720 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17299/tid=17304] ppid=17297 vsize=332100 CPUtime=12.68 cores=0,2,4,6
/proc/17299/task/17304/stat : 17304 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 9793 0 0 0 1267 1 0 0 25 0 4 0 521860511 340070400 18411 33554432000 4194304 4650419 140735991770720 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17299/tid=17305] ppid=17297 vsize=332100 CPUtime=12.69 cores=0,2,4,6
/proc/17299/task/17305/stat : 17305 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 7768 0 0 0 1268 1 0 0 25 0 4 0 521860511 340070400 18411 33554432000 4194304 4650419 140735991770720 18446744073709551615 4363341 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 332100

[startup+25.5008 s]
/proc/loadavg: 7.31 7.86 7.93 9/184 17308
/proc/meminfo: memFree=30695028/32950928 swapFree=67111448/67111528
[pid=17299] ppid=17297 vsize=330064 CPUtime=101.83 cores=0,2,4,6
/proc/17299/stat : 17299 (strangenight1-m) R 17297 17299 17262 0 -1 4202496 56368 0 0 0 10172 11 0 0 25 0 4 0 521860511 337985536 24041 33554432000 4194304 4650419 140735991770720 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17299/statm: 82516 24041 393 112 0 77481 0
[pid=17299/tid=17302] ppid=17297 vsize=330064 CPUtime=25.49 cores=0,2,4,6
/proc/17299/task/17302/stat : 17302 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 17437 0 0 0 2546 3 0 0 25 0 4 0 521860511 337985536 24041 33554432000 4194304 4650419 140735991770720 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17299/tid=17304] ppid=17297 vsize=330064 CPUtime=25.49 cores=0,2,4,6
/proc/17299/task/17304/stat : 17304 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 15462 0 0 0 2546 3 0 0 25 0 4 0 521860511 337985536 24041 33554432000 4194304 4650419 140735991770720 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17299/tid=17305] ppid=17297 vsize=330064 CPUtime=25.49 cores=0,2,4,6
/proc/17299/task/17305/stat : 17305 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 10050 0 0 0 2547 2 0 0 25 0 4 0 521860511 337985536 24041 33554432000 4194304 4650419 140735991770720 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 330064

[startup+51.1005 s]
/proc/loadavg: 7.60 7.88 7.94 9/184 17308
/proc/meminfo: memFree=30642900/32950928 swapFree=67111448/67111528
[pid=17299] ppid=17297 vsize=351660 CPUtime=204.09 cores=0,2,4,6
/proc/17299/stat : 17299 (strangenight1-m) R 17297 17299 17262 0 -1 4202496 82387 0 0 0 20391 18 0 0 25 0 4 0 521860511 360099840 28967 33554432000 4194304 4650419 140735991770720 18446744073709551615 4329423 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17299/statm: 87915 28967 393 112 0 82880 0
[pid=17299/tid=17302] ppid=17297 vsize=351660 CPUtime=51.08 cores=0,2,4,6
/proc/17299/task/17302/stat : 17302 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 26787 0 0 0 5103 5 0 0 25 0 4 0 521860511 360099840 28967 33554432000 4194304 4650419 140735991770720 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17299/tid=17304] ppid=17297 vsize=351660 CPUtime=51.08 cores=0,2,4,6
/proc/17299/task/17304/stat : 17304 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 23591 0 0 0 5103 5 0 0 25 0 4 0 521860511 360099840 28967 33554432000 4194304 4650419 140735991770720 18446744073709551615 4330361 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17299/tid=17305] ppid=17297 vsize=351660 CPUtime=51.08 cores=0,2,4,6
/proc/17299/task/17305/stat : 17305 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 11327 0 0 0 5106 2 0 0 25 0 4 0 521860511 360099840 28967 33554432000 4194304 4650419 140735991770720 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 351660

[startup+102.307 s]
/proc/loadavg: 7.90 7.91 7.94 9/184 17310
/proc/meminfo: memFree=30556940/32950928 swapFree=67111448/67111528
[pid=17299] ppid=17297 vsize=343240 CPUtime=408.65 cores=0,2,4,6
/proc/17299/stat : 17299 (strangenight1-m) R 17297 17299 17262 0 -1 4202496 132408 0 0 0 40832 33 0 0 25 0 4 0 521860511 351477760 36498 33554432000 4194304 4650419 140735991770720 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17299/statm: 85810 36498 393 112 0 80775 0
[pid=17299/tid=17302] ppid=17297 vsize=343240 CPUtime=102.3 cores=0,2,4,6
/proc/17299/task/17302/stat : 17302 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 41442 0 0 0 10220 10 0 0 25 0 4 0 521860511 351477760 36498 33554432000 4194304 4650419 140735991770720 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17299/tid=17304] ppid=17297 vsize=343240 CPUtime=102.29 cores=0,2,4,6
/proc/17299/task/17304/stat : 17304 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 37430 0 0 0 10220 9 0 0 25 0 4 0 521860511 351477760 36498 33554432000 4194304 4650419 140735991770720 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17299/tid=17305] ppid=17297 vsize=343240 CPUtime=102.29 cores=0,2,4,6
/proc/17299/task/17305/stat : 17305 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 19048 0 0 0 10224 5 0 0 25 0 4 0 521860511 351477760 36498 33554432000 4194304 4650419 140735991770720 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 343240

[startup+162.301 s]

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

[pid=17299] ppid=17297 vsize=567016 CPUtime=2805.33 cores=0,2,4,6
/proc/17299/stat : 17299 (strangenight1-m) R 17297 17299 17262 0 -1 4202496 438818 0 0 0 280392 141 0 0 25 0 4 0 521860511 580624384 81678 33554432000 4194304 4650419 140735991770720 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17299/statm: 141754 81678 393 112 0 136719 0
[pid=17299/tid=17302] ppid=17297 vsize=567016 CPUtime=702.29 cores=0,2,4,6
/proc/17299/task/17302/stat : 17302 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 136292 0 0 0 70189 40 0 0 25 0 4 0 521860511 580624384 81678 33554432000 4194304 4650419 140735991770720 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17299/tid=17304] ppid=17297 vsize=567016 CPUtime=702.3 cores=0,2,4,6
/proc/17299/task/17304/stat : 17304 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 125196 0 0 0 70189 41 0 0 25 0 4 0 521860511 580624384 81678 33554432000 4194304 4650419 140735991770720 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17299/tid=17305] ppid=17297 vsize=567016 CPUtime=702.29 cores=0,2,4,6
/proc/17299/task/17305/stat : 17305 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 55107 0 0 0 70209 20 0 0 25 0 4 0 521860511 580624384 81678 33554432000 4194304 4650419 140735991770720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.33
Current children cumulated vsize (KiB) 567016

[startup+762.307 s]
/proc/loadavg: 8.11 8.09 8.01 9/184 17328
/proc/meminfo: memFree=30153384/32950928 swapFree=67111448/67111528
[pid=17299] ppid=17297 vsize=592580 CPUtime=3045.02 cores=0,2,4,6
/proc/17299/stat : 17299 (strangenight1-m) R 17297 17299 17262 0 -1 4202496 460290 0 0 0 304351 151 0 0 25 0 4 0 521860511 606801920 87510 33554432000 4194304 4650419 140735991770720 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17299/statm: 148145 87510 393 112 0 143110 0
[pid=17299/tid=17302] ppid=17297 vsize=592580 CPUtime=762.3 cores=0,2,4,6
/proc/17299/task/17302/stat : 17302 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 143240 0 0 0 76186 44 0 0 25 0 4 0 521860511 606801920 87510 33554432000 4194304 4650419 140735991770720 18446744073709551615 4333771 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17299/tid=17304] ppid=17297 vsize=592580 CPUtime=762.3 cores=0,2,4,6
/proc/17299/task/17304/stat : 17304 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 133102 0 0 0 76187 43 0 0 25 0 4 0 521860511 606801920 87510 33554432000 4194304 4650419 140735991770720 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17299/tid=17305] ppid=17297 vsize=592580 CPUtime=762.3 cores=0,2,4,6
/proc/17299/task/17305/stat : 17305 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 58487 0 0 0 76209 21 0 0 25 0 4 0 521860511 606801920 87510 33554432000 4194304 4650419 140735991770720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.02
Current children cumulated vsize (KiB) 592580

[startup+822.301 s]
/proc/loadavg: 8.08 8.08 8.01 9/184 17329
/proc/meminfo: memFree=30151240/32950928 swapFree=67111448/67111528
[pid=17299] ppid=17297 vsize=559776 CPUtime=3284.67 cores=0,2,4,6
/proc/17299/stat : 17299 (strangenight1-m) R 17297 17299 17262 0 -1 4202496 480015 0 0 0 328309 158 0 0 25 0 4 0 521860511 573210624 87954 33554432000 4194304 4650419 140735991770720 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17299/statm: 139944 87954 393 112 0 134909 0
[pid=17299/tid=17302] ppid=17297 vsize=559776 CPUtime=822.3 cores=0,2,4,6
/proc/17299/task/17302/stat : 17302 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 150064 0 0 0 82182 48 0 0 25 0 4 0 521860511 573210624 87954 33554432000 4194304 4650419 140735991770720 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17299/tid=17304] ppid=17297 vsize=559776 CPUtime=822.29 cores=0,2,4,6
/proc/17299/task/17304/stat : 17304 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 140234 0 0 0 82184 45 0 0 25 0 4 0 521860511 573210624 87954 33554432000 4194304 4650419 140735991770720 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17299/tid=17305] ppid=17297 vsize=559776 CPUtime=822.3 cores=0,2,4,6
/proc/17299/task/17305/stat : 17305 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 60280 0 0 0 82207 23 0 0 25 0 4 0 521860511 573210624 87954 33554432000 4194304 4650419 140735991770720 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.67
Current children cumulated vsize (KiB) 559776

[startup+882.301 s]
/proc/loadavg: 8.07 8.08 8.01 9/184 17330
/proc/meminfo: memFree=30120460/32950928 swapFree=67111448/67111528
[pid=17299] ppid=17297 vsize=571264 CPUtime=3524.33 cores=0,2,4,6
/proc/17299/stat : 17299 (strangenight1-m) R 17297 17299 17262 0 -1 4202496 502346 0 0 0 352265 168 0 0 25 0 4 0 521860511 584974336 95045 33554432000 4194304 4650419 140735991770720 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17299/statm: 142816 95045 393 112 0 137781 0
[pid=17299/tid=17302] ppid=17297 vsize=571264 CPUtime=882.29 cores=0,2,4,6
/proc/17299/task/17302/stat : 17302 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 157403 0 0 0 88179 50 0 0 25 0 4 0 521860511 584974336 95045 33554432000 4194304 4650419 140735991770720 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17299/tid=17304] ppid=17297 vsize=571264 CPUtime=882.29 cores=0,2,4,6
/proc/17299/task/17304/stat : 17304 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 146851 0 0 0 88181 48 0 0 25 0 4 0 521860511 584974336 95045 33554432000 4194304 4650419 140735991770720 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17299/tid=17305] ppid=17297 vsize=571264 CPUtime=882.29 cores=0,2,4,6
/proc/17299/task/17305/stat : 17305 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 62101 0 0 0 88206 23 0 0 25 0 4 0 521860511 584974336 95045 33554432000 4194304 4650419 140735991770720 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.33
Current children cumulated vsize (KiB) 571264

[startup+942.301 s]
/proc/loadavg: 8.06 8.08 8.01 9/184 17332
/proc/meminfo: memFree=30107772/32950928 swapFree=67111448/67111528
[pid=17299] ppid=17297 vsize=583644 CPUtime=3764.01 cores=0,2,4,6
/proc/17299/stat : 17299 (strangenight1-m) R 17297 17299 17262 0 -1 4202496 518096 0 0 0 376224 177 0 0 25 0 4 0 521860511 597651456 96808 33554432000 4194304 4650419 140735991770720 18446744073709551615 4363423 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17299/statm: 145911 96808 393 112 0 140876 0
[pid=17299/tid=17302] ppid=17297 vsize=583644 CPUtime=942.3 cores=0,2,4,6
/proc/17299/task/17302/stat : 17302 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 163836 0 0 0 94176 54 0 0 25 0 4 0 521860511 597651456 96808 33554432000 4194304 4650419 140735991770720 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17299/tid=17304] ppid=17297 vsize=583644 CPUtime=942.3 cores=0,2,4,6
/proc/17299/task/17304/stat : 17304 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 152478 0 0 0 94179 51 0 0 25 0 4 0 521860511 597651456 96808 33554432000 4194304 4650419 140735991770720 18446744073709551615 4370482 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17299/tid=17305] ppid=17297 vsize=583644 CPUtime=942.29 cores=0,2,4,6
/proc/17299/task/17305/stat : 17305 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 65027 0 0 0 94204 25 0 0 25 0 4 0 521860511 597651456 96808 33554432000 4194304 4650419 140735991770720 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.01
Current children cumulated vsize (KiB) 583644

[startup+1002.3 s]
/proc/loadavg: 8.06 8.08 8.01 9/184 17334
/proc/meminfo: memFree=30108836/32950928 swapFree=67111448/67111528
[pid=17299] ppid=17297 vsize=580152 CPUtime=4003.68 cores=0,2,4,6
/proc/17299/stat : 17299 (strangenight1-m) R 17297 17299 17262 0 -1 4202496 542985 0 0 0 400180 188 0 0 25 0 4 0 521860511 594075648 89732 33554432000 4194304 4650419 140735991770720 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17299/statm: 145038 89732 393 112 0 140003 0
[pid=17299/tid=17302] ppid=17297 vsize=580152 CPUtime=1002.3 cores=0,2,4,6
/proc/17299/task/17302/stat : 17302 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 171145 0 0 0 100173 57 0 0 25 0 4 0 521860511 594075648 89732 33554432000 4194304 4650419 140735991770720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17299/tid=17304] ppid=17297 vsize=580152 CPUtime=1002.29 cores=0,2,4,6
/proc/17299/task/17304/stat : 17304 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 157621 0 0 0 100176 53 0 0 25 0 4 0 521860511 594075648 89732 33554432000 4194304 4650419 140735991770720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17299/tid=17305] ppid=17297 vsize=580152 CPUtime=1002.3 cores=0,2,4,6
/proc/17299/task/17305/stat : 17305 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 69426 0 0 0 100202 28 0 0 25 0 4 0 521860511 594075648 89732 33554432000 4194304 4650419 140735991770720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.68
Current children cumulated vsize (KiB) 580152

[startup+1062.3 s]
/proc/loadavg: 8.13 8.09 8.01 9/184 17345
/proc/meminfo: memFree=30083476/32950928 swapFree=67111448/67111528
[pid=17299] ppid=17297 vsize=566060 CPUtime=4243.34 cores=0,2,4,6
/proc/17299/stat : 17299 (strangenight1-m) R 17297 17299 17262 0 -1 4202496 563895 0 0 0 424138 196 0 0 25 0 4 0 521860511 579645440 94436 33554432000 4194304 4650419 140735991770720 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17299/statm: 141515 94436 393 112 0 136480 0
[pid=17299/tid=17302] ppid=17297 vsize=566060 CPUtime=1062.3 cores=0,2,4,6
/proc/17299/task/17302/stat : 17302 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 179035 0 0 0 106171 59 0 0 25 0 4 0 521860511 579645440 94436 33554432000 4194304 4650419 140735991770720 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17299/tid=17304] ppid=17297 vsize=566060 CPUtime=1062.3 cores=0,2,4,6
/proc/17299/task/17304/stat : 17304 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 162531 0 0 0 106175 55 0 0 25 0 4 0 521860511 579645440 94436 33554432000 4194304 4650419 140735991770720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17299/tid=17305] ppid=17297 vsize=566060 CPUtime=1062.29 cores=0,2,4,6
/proc/17299/task/17305/stat : 17305 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 71157 0 0 0 106200 29 0 0 25 0 4 0 521860511 579645440 94436 33554432000 4194304 4650419 140735991770720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.34
Current children cumulated vsize (KiB) 566060

[startup+1122.3 s]
/proc/loadavg: 8.12 8.09 8.01 9/184 17346
/proc/meminfo: memFree=30004432/32950928 swapFree=67111448/67111528
[pid=17299] ppid=17297 vsize=566152 CPUtime=4483.01 cores=0,2,4,6
/proc/17299/stat : 17299 (strangenight1-m) R 17297 17299 17262 0 -1 4202496 584192 0 0 0 448097 204 0 0 25 0 4 0 521860511 579739648 106076 33554432000 4194304 4650419 140735991770720 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17299/statm: 141538 106076 393 112 0 136503 0
[pid=17299/tid=17302] ppid=17297 vsize=566152 CPUtime=1122.3 cores=0,2,4,6
/proc/17299/task/17302/stat : 17302 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 184091 0 0 0 112169 61 0 0 25 0 4 0 521860511 579739648 106076 33554432000 4194304 4650419 140735991770720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17299/tid=17304] ppid=17297 vsize=566152 CPUtime=1122.3 cores=0,2,4,6
/proc/17299/task/17304/stat : 17304 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 171160 0 0 0 112172 58 0 0 25 0 4 0 521860511 579739648 106076 33554432000 4194304 4650419 140735991770720 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17299/tid=17305] ppid=17297 vsize=566152 CPUtime=1122.29 cores=0,2,4,6
/proc/17299/task/17305/stat : 17305 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 73677 0 0 0 112199 30 0 0 25 0 4 0 521860511 579739648 106076 33554432000 4194304 4650419 140735991770720 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.01
Current children cumulated vsize (KiB) 566152

[startup+1182.3 s]
/proc/loadavg: 8.11 8.09 8.01 9/184 17347
/proc/meminfo: memFree=30052628/32950928 swapFree=67111448/67111528
[pid=17299] ppid=17297 vsize=581120 CPUtime=4722.68 cores=0,2,4,6
/proc/17299/stat : 17299 (strangenight1-m) R 17297 17299 17262 0 -1 4202496 599977 0 0 0 472057 211 0 0 25 0 4 0 521860511 595066880 101033 33554432000 4194304 4650419 140735991770720 18446744073709551615 4365252 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17299/statm: 145280 101033 393 112 0 140245 0
[pid=17299/tid=17302] ppid=17297 vsize=581120 CPUtime=1182.3 cores=0,2,4,6
/proc/17299/task/17302/stat : 17302 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 190957 0 0 0 118166 64 0 0 25 0 4 0 521860511 595066880 101033 33554432000 4194304 4650419 140735991770720 18446744073709551615 4313064 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17299/tid=17304] ppid=17297 vsize=581120 CPUtime=1182.3 cores=0,2,4,6
/proc/17299/task/17304/stat : 17304 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 174091 0 0 0 118171 59 0 0 25 0 4 0 521860511 595066880 101033 33554432000 4194304 4650419 140735991770720 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17299/tid=17305] ppid=17297 vsize=581120 CPUtime=1182.29 cores=0,2,4,6
/proc/17299/task/17305/stat : 17305 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 75853 0 0 0 118198 31 0 0 25 0 4 0 521860511 595066880 101033 33554432000 4194304 4650419 140735991770720 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.68
Current children cumulated vsize (KiB) 581120



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.08 8.08 8.01 10/184 17348
/proc/meminfo: memFree=30017632/32950928 swapFree=67111448/67111528
[pid=17299] ppid=17297 vsize=581184 CPUtime=4800.18 cores=0,2,4,6
/proc/17299/stat : 17299 (strangenight1-m) R 17297 17299 17262 0 -1 4202496 607581 0 0 0 479804 214 0 0 25 0 4 0 521860511 595132416 105020 33554432000 4194304 4650419 140735991770720 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17299/statm: 145296 105020 393 112 0 140261 0
[pid=17299/tid=17302] ppid=17297 vsize=581184 CPUtime=1201.71 cores=0,2,4,6
/proc/17299/task/17302/stat : 17302 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 194156 0 0 0 120105 66 0 0 25 0 4 0 521860511 595132416 105020 33554432000 4194304 4650419 140735991770720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17299/tid=17304] ppid=17297 vsize=581184 CPUtime=1201.71 cores=0,2,4,6
/proc/17299/task/17304/stat : 17304 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 175578 0 0 0 120111 60 0 0 25 0 4 0 521860511 595132416 105020 33554432000 4194304 4650419 140735991770720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17299/tid=17305] ppid=17297 vsize=581184 CPUtime=1201.7 cores=0,2,4,6
/proc/17299/task/17305/stat : 17305 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 76871 0 0 0 120138 32 0 0 25 0 4 0 521860511 595132416 105020 33554432000 4194304 4650419 140735991770720 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 581184

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.08 8.08 8.01 10/184 17348
/proc/meminfo: memFree=30017632/32950928 swapFree=67111448/67111528
[pid=17299] ppid=17297 vsize=581184 CPUtime=4800.18 cores=0,2,4,6
/proc/17299/stat : 17299 (strangenight1-m) R 17297 17299 17262 0 -1 4202496 607581 0 0 0 479804 214 0 0 25 0 4 0 521860511 595132416 105020 33554432000 4194304 4650419 140735991770720 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17299/statm: 145296 105020 393 112 0 140261 0
[pid=17299/tid=17302] ppid=17297 vsize=581184 CPUtime=1201.71 cores=0,2,4,6
/proc/17299/task/17302/stat : 17302 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 194156 0 0 0 120105 66 0 0 25 0 4 0 521860511 595132416 105020 33554432000 4194304 4650419 140735991770720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17299/tid=17304] ppid=17297 vsize=581184 CPUtime=1201.71 cores=0,2,4,6
/proc/17299/task/17304/stat : 17304 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 175578 0 0 0 120111 60 0 0 25 0 4 0 521860511 595132416 105020 33554432000 4194304 4650419 140735991770720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17299/tid=17305] ppid=17297 vsize=581184 CPUtime=1201.7 cores=0,2,4,6
/proc/17299/task/17305/stat : 17305 (strangenight1-m) R 17297 17299 17262 0 -1 4202560 76871 0 0 0 120138 32 0 0 25 0 4 0 521860511 595132416 105020 33554432000 4194304 4650419 140735991770720 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 581184

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.24
CPU user time (s): 4798.07
CPU system time (s): 2.16967
CPU usage (%): 399.443
Max. virtual memory (cumulated for all children) (KiB): 636172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.07
system time used= 2.16967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 607582
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= 324
involuntary context switches= 22536

runsolver used 1.89471 second user time and 4.65229 second system time

The end

Launcher Data 

Begin job on node126 at 2011-04-29 20:43:38
IDJOB=3175234
IDBENCH=82852
IDSOLVER=1588
FILE ID=node126/3175234-1304102618
RUNJOBID= node126-1304102618-17280
PBS_JOBID= 13170635
Free space on /tmp= 71600 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v100-c2130-S2051088205-036.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175234-1304102618/watcher-3175234-1304102618 -o /tmp/evaluation-result-3175234-1304102618/solver-3175234-1304102618 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175234-1304102618.cnf

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

MD5SUM BENCH= 901aadbc76f4961d582bc9856b3c63b3
RANDOM SEED=138651593

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30911884 kB
Buffers:        249892 kB
Cached:        1410892 kB
SwapCached:         76 kB
Active:         135804 kB
Inactive:      1589400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30911884 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:           12612 kB
Writeback:          12 kB
AnonPages:       64744 kB
Mapped:          14816 kB
Slab:           247076 kB
PageTables:       5272 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   189252 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= 71588 MiB
End job on node126 at 2011-04-29 21:03:42