Trace number 3368843

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.25 1204.24

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.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-3368843-1305404308.cnf'
0.00/0.01	c -- header says num vars:            100
0.00/0.01	c -- header says num clauses:        2130
0.00/0.01	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.01	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.02	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.03
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.02	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.02	c Calc default polars -  time:   0.00 s pos:      52 undec:       4 neg:      44
0.00/0.02	c =========================================================================================
0.00/0.02	c types(t): F = full restart, N = normal restart
0.00/0.02	c types(t): S = simplification begin/end, E = solution found
0.00/0.02	c restart types(rt): st = static, dy = dynamic
0.00/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.02	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.37/0.13	c  N st     8      4916       100      2130         0      4576     10650     99306   no data   no data  --
1.17/0.32	c  N st    10     11301       100      2130         0      4245     10650     73563   no data   no data  --
1.97/0.51	c  N st    11     17045       100      2130         0      9568     10650    188310   no data   no data  --
3.17/0.81	c  F st    12     25001       100      2130         0     11713     10650    230858   no data   no data  --
3.17/0.81	c  N st    12     25001       100      2130         0     11713     10650    230858   no data   no data  --
3.56/1.01	c Decided on static restart strategy
3.56/1.01	c  N st    18     30001       100      2130         0     10050     10650    185163   no data   no data  --
3.56/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.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.99/1.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.99/1.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.99/1.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.55/1.46	c lits-rem:      2116  cl-subs:     1958  v-elim:      0  v-fix:    0  time:  1.64 s
5.55/1.49	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.14
5.55/1.49	c calculated reachability. Time: 0.00
5.55/1.49	c  N st    18     30506       100      2130         0      8571     10650    152176   no data   no data  --
6.75/1.78	c  N st    20     37617       100      2130         0      7891     10650    127000   no data   no data  --
7.96/2.04	c  N st    21     44016       100      2130         0     13829     10650    252339   no data   no data  --
8.37/2.12	c  S st    22     45759       100      2130         0     15450     10650    287694   no data   no data  --
8.37/2.17	c  S st    22     46261       100      2130         0     15924     10650    298563   no data   no data  --
8.37/2.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.37/2.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
8.37/2.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
8.37/2.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.37/2.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.37/2.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
8.37/2.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13.19/3.37	c lits-rem:      3324  cl-subs:     2221  v-elim:      0  v-fix:    0  time:  4.73 s
13.19/3.37	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
13.19/3.37	c vivif2 --  cl tried    13703 cl shrink        0 lits rem          0 time: 0.01
13.53/3.43	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.23
13.53/3.43	c calculated reachability. Time: 0.00
13.53/3.43	c  N st    22     46261       100      2130         0     13703     10650    248742   no data   no data  --
16.32/4.18	c  N st    23     60658       100      2130         0      9616     10650    140013   no data   no data  --
18.31/4.60	c  N st    24     69393       100      2130         0     17688     10650    311771   no data   no data  --
18.31/4.60	c  S st    24     69393       100      2130         0     17688     10650    311771   no data   no data  --
18.31/4.65	c  S st    24     69895       100      2130         0     18174     10650    322786   no data   no data  --
18.31/4.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
18.31/4.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.31/4.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
18.31/4.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18.31/4.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.31/4.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
18.31/4.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
23.49/5.97	c lits-rem:      3710  cl-subs:     2764  v-elim:      0  v-fix:    0  time:  5.21 s
23.49/5.97	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
23.49/5.97	c vivif2 --  cl tried    15410 cl shrink        0 lits rem          0 time: 0.01
23.89/6.04	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.27
23.89/6.04	c calculated reachability. Time: 0.00
23.89/6.04	c  N st    24     69895       100      2130         0     15410     10650    263571   no data   no data  --
27.47/6.97	c  F st    25     87500       100      2130         0     21566     10650    379898   no data   no data  --
27.47/6.97	c  N st    25     87500       100      2130         0     21566     10650    379898   no data   no data  --
28.67/7.25	c Decided on static restart strategy
29.47/7.42	c  N st    32     95542       100      2130         0     18054     10650    307715   no data   no data  --
31.87/8.05	c  N st    34    104844       100      2130         0     14693     10650    231960   no data   no data  --
31.87/8.05	c  S st    34    104844       100      2130         0     14693     10650    231960   no data   no data  --
31.87/8.09	c  S st    34    105346       100      2130         0     15174     10650    243010   no data   no data  --
31.87/8.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
31.87/8.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
32.27/8.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
32.27/8.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
32.27/8.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
32.27/8.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
32.27/8.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
36.25/9.10	c lits-rem:      1444  cl-subs:     1068  v-elim:      0  v-fix:    0  time:  3.99 s
36.25/9.10	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
36.25/9.11	c vivif2 --  cl tried    14106 cl shrink        0 lits rem          0 time: 0.01
36.25/9.17	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.25
36.25/9.17	c calculated reachability. Time: 0.00
36.25/9.17	c  N st    34    105346       100      2130         0     14106     10650    219293   no data   no data  --
39.06/9.89	c  N st    35    114944       100      2130         0     23015     10650    416569   no data   no data  --
42.63/10.74	c  N st    36    129341       100      2130         0     23478     10650    410298   no data   no data  --
49.40/12.47	c  N st    37    150938       100      2130         0     29540     10650    527849   no data   no data  --
51.40/12.94	c  S st    38    158019       100      2130         0     21342     10650    338332   no data   no data  --
51.80/13.00	c  S st    38    158520       100      2130         0     21830     10650    349487   no data   no data  --
51.80/13.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
51.80/13.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.80/13.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
51.80/13.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
51.80/13.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.80/13.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
51.80/13.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
56.19/14.13	c lits-rem:      2925  cl-subs:     1645  v-elim:      0  v-fix:    0  time:  4.46 s
56.19/14.13	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
56.19/14.14	c vivif2 --  cl tried    20185 cl shrink        0 lits rem          0 time: 0.02
56.61/14.22	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.32
56.61/14.22	c calculated reachability. Time: 0.00
56.61/14.22	c  N st    38    158520       100      2130         0     20185     10650    312066   no data   no data  --
71.73/18.01	c  N st    39    207108       100      2130         0     32832     10650    570819   no data   no data  --
81.70/20.52	c  N st    40    237782       100      2130         0     25087     10650    383635   no data   no data  --
81.70/20.52	c  S st    40    237782       100      2130         0     25087     10650    383635   no data   no data  --
81.70/20.58	c  S st    40    238289       100      2130         0     25568     10650    394496   no data   no data  --
81.70/20.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.70/20.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
81.70/20.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
82.10/20.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
82.10/20.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.10/20.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
82.10/20.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
87.30/21.92	c lits-rem:      2952  cl-subs:     1925  v-elim:      0  v-fix:    0  time:  5.23 s
87.30/21.92	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
87.30/21.92	c vivif2 --  cl tried    23643 cl shrink        0 lits rem          0 time: 0.02
87.74/22.03	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.41
87.74/22.03	c calculated reachability. Time: 0.00
87.74/22.03	c  N st    40    238289       100      2130         0     23643     10650    351004   no data   no data  --
112.79/28.36	c  F st    41    306252       100      2130         0     25582     10650    352829   no data   no data  --
112.79/28.36	c  N st    41    306252       100      2130         0     25582     10650    352829   no data   no data  --
114.77/28.80	c Decided on static restart strategy
123.95/31.13	c  N st    51    334558       100      2130         0     29608     10650    428041   no data   no data  --
133.52/33.56	c  N st    53    357433       100      2130         0     27701     10650    374503   no data   no data  --
133.52/33.56	c  S st    53    357433       100      2130         0     27701     10650    374503   no data   no data  --
133.92/33.64	c  S st    53    357938       100      2130         0     28191     10650    385737   no data   no data  --
133.92/33.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
133.92/33.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
133.92/33.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
133.92/33.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
133.92/33.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
133.92/33.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
133.92/33.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
139.10/34.96	c lits-rem:      2142  cl-subs:     1336  v-elim:      0  v-fix:    0  time:  5.18 s
139.10/34.96	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
139.10/34.96	c vivif2 --  cl tried    26855 cl shrink        0 lits rem          0 time: 0.02
139.50/35.11	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.59
139.92/35.11	c calculated reachability. Time: 0.00
139.92/35.11	c  N st    53    357938       100      2130         0     26855     10650    357227   no data   no data  --
154.24/38.74	c  N st    54    390333       100      2130         0     32670     10650    470870   no data   no data  --
174.18/43.79	c  N st    55    438922       100      2130         0     26613     10650    322250   no data   no data  --
205.27/51.54	c  N st    56    511807       100      2130         0     39285     10650    563509   no data   no data  --
217.64/54.61	c  N st    57    536909       100      2130         0     33973     10650    445219   no data   no data  --
217.64/54.61	c  S st    57    536909       100      2130         0     33973     10650    445219   no data   no data  --
218.04/54.70	c  S st    57    537412       100      2130         0     34457     10650    456205   no data   no data  --
218.04/54.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
218.04/54.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
218.04/54.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
218.04/54.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
218.04/54.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
218.04/54.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
218.04/54.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
224.00/56.20	c lits-rem:      2151  cl-subs:     1765  v-elim:      0  v-fix:    0  time:  5.87 s
224.00/56.20	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
224.00/56.20	c vivif2 --  cl tried    32692 cl shrink        0 lits rem          0 time: 0.02
224.40/56.35	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.61
224.40/56.36	c calculated reachability. Time: 0.00
224.40/56.36	c  N st    57    537412       100      2130         0     32692     10650    420766   no data   no data  --
307.72/77.25	c  N st    58    701396       100      2130         0     60141     10650    948881   no data   no data  --
361.94/90.84	c  N st    59    806118       100      2130         0     54266     10650    786570   no data   no data  --
361.94/90.84	c  S st    59    806118       100      2130         0     54266     10650    786570   no data   no data  --
362.34/91.00	c  S st    59    806620       100      2130         0     54738     10650    797334   no data   no data  --
362.74/91.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
362.74/91.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
362.74/91.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
362.74/91.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
362.74/91.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
362.74/91.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
362.74/91.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
381.52/95.72	c lits-rem:      2363  cl-subs:     7178  v-elim:      0  v-fix:    0  time: 18.64 s
381.52/95.72	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
381.52/95.73	c vivif2 --  cl tried    47560 cl shrink        0 lits rem          0 time: 0.03
382.26/95.96	c asymm  cl-useful: 0/1860/2130 lits-rem:0 time: 0.92
382.26/95.96	c calculated reachability. Time: 0.00
382.26/95.96	c  N st    59    806620       100      2130         0     47560     10650    671166   no data   no data  --
535.74/134.45	c  F st    60   1071876       100      2130         0     63070     10650    947008   no data   no data  --
535.74/134.45	c  N st    60   1071876       100      2130         0     63070     10650    947008   no data   no data  --
540.12/135.59	c Decided on static restart strategy
558.47/140.17	c  N st    70   1100181       100      2130         0     47917     10650    601311   no data   no data  --
587.62/147.48	c  N st    72   1136173       100      2130         0     80931     10650   1301657   no data   no data  --
605.90/152.07	c  N st    73   1168565       100      2130         0     68513     10650   1017047   no data   no data  --
634.60/159.21	c  N st    74   1209930       100      2130         0     63360     10650    899105   no data   no data  --
634.60/159.21	c  S st    74   1209930       100      2130         0     63360     10650    899105   no data   no data  --
635.42/159.43	c  S st    74   1210432       100      2130         0     63842     10650    910073   no data   no data  --
635.42/159.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
635.42/159.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
635.42/159.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.13
635.42/159.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
635.42/159.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
635.42/159.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
635.42/159.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
659.71/165.56	c lits-rem:      1121  cl-subs:     5796  v-elim:      0  v-fix:    0  time: 24.13 s
659.71/165.56	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
659.71/165.57	c vivif2 --  cl tried    58046 cl shrink        0 lits rem          0 time: 0.04
660.91/165.84	c asymm  cl-useful: 0/1525/2130 lits-rem:0 time: 1.09
660.91/165.85	c calculated reachability. Time: 0.00
660.91/165.85	c  N st    74   1210432       100      2130         0     58046     10650    802193   no data   no data  --
707.54/177.57	c  N st    75   1283314       100      2130         0     81160     10650   1293467   no data   no data  --
780.89/195.93	c  N st    76   1392637       100      2130         0     90860     10650   1480433   no data   no data  --
912.10/228.87	c  N st    77   1556621       100      2130         0     97879     10650   1565404   no data   no data  --
1030.83/258.63	c  N st    78   1710433       100      2130         0     87272     10650   1271125   no data   no data  --
1030.83/258.63	c  S st    78   1710433       100      2130         0     87272     10650   1271125   no data   no data  --
1032.03/258.97	c  S st    78   1710936       100      2130         0     87753     10650   1282023   no data   no data  --
1032.03/258.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1032.03/258.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1032.43/259.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.20
1032.43/259.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1032.43/259.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1032.43/259.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1032.43/259.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1123.70/281.91	c lits-rem:      3591  cl-subs:    13819  v-elim:      0  v-fix:    0  time: 90.95 s
1123.70/281.91	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1123.70/281.92	c vivif2 --  cl tried    73934 cl shrink        0 lits rem          0 time: 0.06
1124.50/282.14	c asymm  cl-useful: 0/605/2130 lits-rem:0 time: 0.87
1124.50/282.14	c calculated reachability. Time: 0.00
1124.50/282.14	c  N st    78   1710936       100      2130         0     73934     10650   1034669   no data   no data  --
1436.23/360.37	c  N st    79   2079900       100      2130         0     85906     10650   1204988   no data   no data  --
1553.43/389.72	c  N st    80   2210936       100      2130         0     89664     10650   1265445   no data   no data  --
1553.43/389.72	c  S st    80   2210936       100      2130         0     89664     10650   1265445   no data   no data  --
1555.02/390.18	c  S st    80   2211441       100      2130         0     90146     10650   1276251   no data   no data  --
1555.02/390.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1555.02/390.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1555.42/390.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.25
1555.82/390.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1555.82/390.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1555.82/390.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1555.82/390.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1653.45/414.86	c lits-rem:      2202  cl-subs:    10692  v-elim:      0  v-fix:    0  time: 97.87 s
1653.45/414.86	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1653.45/414.88	c vivif2 --  cl tried    79454 cl shrink        0 lits rem          0 time: 0.06
1655.05/415.26	c asymm  cl-useful: 0/1106/2130 lits-rem:0 time: 1.52
1655.05/415.26	c calculated reachability. Time: 0.00
1655.05/415.26	c  N st    80   2211441       100      2130         0     79454     10650   1084904   no data   no data  --
2081.61/522.29	c  N st    81   2711441       100      2130         0    102598     10650   1489377   no data   no data  --
2081.61/522.29	c  S st    81   2711441       100      2130         0    102598     10650   1489377   no data   no data  --
2083.19/522.61	c  S st    81   2711947       100      2130         0    103088     10650   1500374   no data   no data  --
2083.19/522.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2083.19/522.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2083.19/522.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
2083.59/522.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2083.59/522.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2083.59/522.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2083.59/522.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2190.00/549.42	c lits-rem:      2751  cl-subs:    12078  v-elim:      0  v-fix:    0  time: 106.43 s
2190.00/549.42	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2190.00/549.44	c vivif2 --  cl tried    91010 cl shrink        0 lits rem          0 time: 0.08
2191.60/549.87	c asymm  cl-useful: 0/892/2130 lits-rem:0 time: 1.74
2191.60/549.88	c calculated reachability. Time: 0.00
2191.60/549.88	c  N st    81   2711947       100      2130         0     91010     10650   1274090   no data   no data  --
2682.71/673.02	c  N st    82   3211947       100      2130         0    140667     10650   2241515   no data   no data  --
2682.71/673.02	c  S st    82   3211947       100      2130         0    140667     10650   2241515   no data   no data  --
2684.29/673.46	c  S st    82   3212452       100      2130         0    141136     10650   2252360   no data   no data  --
2684.29/673.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2684.29/673.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2684.69/673.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.28
2685.09/673.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2685.09/673.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2685.09/673.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2685.09/673.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2908.70/729.75	c lits-rem:      7291  cl-subs:    21732  v-elim:      0  v-fix:    0  time: 223.65 s
2908.70/729.75	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2908.70/729.77	c vivif2 --  cl tried   119404 cl shrink        0 lits rem          0 time: 0.10
2910.30/730.13	c asymm  cl-useful: 0/805/2130 lits-rem:0 time: 1.44
2910.30/730.13	c calculated reachability. Time: 0.00
2910.30/730.13	c  N st    82   3212452       100      2130         0    119404     10650   1852371   no data   no data  --
3462.39/868.67	c  N st    83   3712452       100      2130         0    136457     10650   2106091   no data   no data  --
3462.39/868.67	c  S st    83   3712452       100      2130         0    136457     10650   2106091   no data   no data  --
3464.78/869.20	c  S st    83   3712958       100      2130         0    136938     10650   2117431   no data   no data  --
3464.78/869.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3464.78/869.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3464.78/869.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.27
3465.18/869.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3465.18/869.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3465.18/869.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3465.18/869.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3658.48/917.83	c lits-rem:      8183  cl-subs:    19429  v-elim:      0  v-fix:    0  time: 193.23 s
3658.48/917.83	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3658.48/917.86	c vivif2 --  cl tried   117509 cl shrink        0 lits rem          0 time: 0.09
3660.08/918.23	c asymm  cl-useful: 0/686/2130 lits-rem:0 time: 1.48
3660.08/918.23	c calculated reachability. Time: 0.00
3660.08/918.23	c  N st    83   3712958       100      2130         0    117509     10650   1749674   no data   no data  --
3717.09/932.59	c  F st    84   3751562       100      2130         0     76872     10650    814625   no data   no data  --
3717.09/932.59	c  N st    84   3751562       100      2130         0     76872     10650    814625   no data   no data  --
3722.72/933.97	c Decided on static restart strategy
3746.18/939.90	c  N st    94   3779870       100      2130         0    103001     10650   1391785   no data   no data  --
3790.04/950.83	c  N st    96   3815862       100      2130         0    136077     10650   2125472   no data   no data  --
3829.91/960.84	c  N st    97   3848255       100      2130         0     88344     10650   1042005   no data   no data  --
3875.35/972.29	c  N st    98   3896843       100      2130         0    133188     10650   2063305   no data   no data  --
3960.25/993.58	c  N st    99   3969725       100      2130         0    121176     10650   1731068   no data   no data  --
4098.59/1028.25	c  N st   100   4079050       100      2130         0    141059     10650   2139166   no data   no data  --
4290.30/1076.37	c  N st   101   4212958       100      2130         0    101869     10650   1280540   no data   no data  --
4290.30/1076.37	c  S st   101   4212958       100      2130         0    101869     10650   1280540   no data   no data  --
4291.91/1076.75	c  S st   101   4213461       100      2130         0    102353     10650   1291549   no data   no data  --
4291.91/1076.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4291.91/1076.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4292.32/1076.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
4292.32/1076.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4292.32/1076.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4292.32/1076.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4292.32/1076.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4359.65/1093.70	c lits-rem:      2193  cl-subs:     6514  v-elim:      0  v-fix:    0  time: 67.12 s
4359.65/1093.70	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4359.65/1093.71	c vivif2 --  cl tried    95839 cl shrink        0 lits rem          0 time: 0.07
4360.45/1093.98	c asymm  cl-useful: 0/639/2130 lits-rem:0 time: 1.08
4360.45/1093.99	c calculated reachability. Time: 0.00
4360.45/1093.99	c  N st   101   4213461       100      2130         0     95839     10650   1174259   no data   no data  --
4690.93/1176.86	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: 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-3368843-1305404308/watcher-3368843-1305404308 -o /tmp/evaluation-result-3368843-1305404308/solver-3368843-1305404308 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368843-1305404308.cnf 

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

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


[startup+0 s]
/proc/loadavg: 5.18 7.33 7.83 6/415 8275
/proc/meminfo: memFree=21336944/32950940 swapFree=67111356/67111528
[pid=8275] ppid=8273 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8275/stat : 8275 (strangenight1-m) R 8273 8275 7703 0 -1 4202496 416 0 0 0 0 0 0 0 23 0 4 0 730661607 52465664 356 33554432000 4194304 4650419 140734311427760 18446744073709551615 47907822442418 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8275/statm: 12809 356 306 112 0 7774 0
[pid=8275/tid=8276] ppid=8273 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/8275/task/8276/stat : 8276 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 4 0 0 0 1 0 0 0 24 0 4 0 730661607 52465664 356 33554432000 4194304 4650419 140734311427760 18446744073709551615 47907822442009 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8275/tid=8277] ppid=8273 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8277/stat : 8277 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 730661607 52465664 356 33554432000 4194304 4650419 140734311427760 18446744073709551615 47907822442412 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8275/tid=8278] ppid=8273 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8275/task/8278/stat : 8278 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 730661607 52465664 356 33554432000 4194304 4650419 140734311427760 18446744073709551615 47907822442000 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0755441 s]
/proc/loadavg: 5.18 7.33 7.83 6/415 8275
/proc/meminfo: memFree=21336944/32950940 swapFree=67111356/67111528
[pid=8275] ppid=8273 vsize=282408 CPUtime=0.27 cores=1,3,5,7
/proc/8275/stat : 8275 (strangenight1-m) R 8273 8275 7703 0 -1 4202496 1538 0 0 0 27 0 0 0 25 0 4 0 730661607 289185792 1396 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365276 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8275/statm: 70602 1396 389 112 0 65567 0
[pid=8275/tid=8276] ppid=8273 vsize=282408 CPUtime=0.07 cores=1,3,5,7
/proc/8275/task/8276/stat : 8276 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 319 0 0 0 7 0 0 0 25 0 4 0 730661607 289185792 1396 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8275/tid=8277] ppid=8273 vsize=282408 CPUtime=0.06 cores=1,3,5,7
/proc/8275/task/8277/stat : 8277 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 289 0 0 0 6 0 0 0 25 0 4 0 730661607 289185792 1397 33554432000 4194304 4650419 140734311427760 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8275/tid=8278] ppid=8273 vsize=282408 CPUtime=0.06 cores=1,3,5,7
/proc/8275/task/8278/stat : 8278 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 211 0 0 0 6 0 0 0 25 0 4 0 730661607 289185792 1397 33554432000 4194304 4650419 140734311427760 18446744073709551615 215988253729 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 282408

[startup+0.100539 s]
/proc/loadavg: 5.18 7.33 7.83 6/415 8275
/proc/meminfo: memFree=21336944/32950940 swapFree=67111356/67111528
[pid=8275] ppid=8273 vsize=282540 CPUtime=0.37 cores=1,3,5,7
/proc/8275/stat : 8275 (strangenight1-m) R 8273 8275 7703 0 -1 4202496 1694 0 0 0 37 0 0 0 25 0 4 0 730661607 289320960 1552 33554432000 4194304 4650419 140734311427760 18446744073709551615 4329095 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8275/statm: 70635 1552 389 112 0 65600 0
[pid=8275/tid=8276] ppid=8273 vsize=282540 CPUtime=0.09 cores=1,3,5,7
/proc/8275/task/8276/stat : 8276 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 367 0 0 0 9 0 0 0 25 0 4 0 730661607 289320960 1552 33554432000 4194304 4650419 140734311427760 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8275/tid=8277] ppid=8273 vsize=282540 CPUtime=0.08 cores=1,3,5,7
/proc/8275/task/8277/stat : 8277 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 322 0 0 0 8 0 0 0 25 0 4 0 730661607 289320960 1553 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8275/tid=8278] ppid=8273 vsize=282540 CPUtime=0.09 cores=1,3,5,7
/proc/8275/task/8278/stat : 8278 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 252 0 0 0 9 0 0 0 25 0 4 0 730661607 289320960 1553 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282540

[startup+0.300505 s]
/proc/loadavg: 5.18 7.33 7.83 6/415 8275
/proc/meminfo: memFree=21336944/32950940 swapFree=67111356/67111528
[pid=8275] ppid=8273 vsize=284144 CPUtime=1.17 cores=1,3,5,7
/proc/8275/stat : 8275 (strangenight1-m) R 8273 8275 7703 0 -1 4202496 2987 0 0 0 117 0 0 0 25 0 4 0 730661607 290963456 2119 33554432000 4194304 4650419 140734311427760 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8275/statm: 71036 2119 391 112 0 66001 0
[pid=8275/tid=8276] ppid=8273 vsize=284144 CPUtime=0.29 cores=1,3,5,7
/proc/8275/task/8276/stat : 8276 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 775 0 0 0 29 0 0 0 25 0 4 0 730661607 290963456 2119 33554432000 4194304 4650419 140734311427760 18446744073709551615 4364766 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8275/tid=8277] ppid=8273 vsize=284144 CPUtime=0.28 cores=1,3,5,7
/proc/8275/task/8277/stat : 8277 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 618 0 0 0 28 0 0 0 25 0 4 0 730661607 290963456 2119 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8275/tid=8278] ppid=8273 vsize=284144 CPUtime=0.29 cores=1,3,5,7
/proc/8275/task/8278/stat : 8278 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 548 0 0 0 29 0 0 0 25 0 4 0 730661607 290963456 2119 33554432000 4194304 4650419 140734311427760 18446744073709551615 4363660 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284144

[startup+0.700434 s]
/proc/loadavg: 5.18 7.33 7.83 6/415 8275
/proc/meminfo: memFree=21336944/32950940 swapFree=67111356/67111528
[pid=8275] ppid=8273 vsize=285188 CPUtime=2.77 cores=1,3,5,7
/proc/8275/stat : 8275 (strangenight1-m) R 8273 8275 7703 0 -1 4202496 5096 0 0 0 277 0 0 0 25 0 4 0 730661607 292032512 2627 33554432000 4194304 4650419 140734311427760 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8275/statm: 71297 2627 391 112 0 66262 0
[pid=8275/tid=8276] ppid=8273 vsize=285188 CPUtime=0.69 cores=1,3,5,7
/proc/8275/task/8276/stat : 8276 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 1213 0 0 0 69 0 0 0 25 0 4 0 730661607 292032512 2627 33554432000 4194304 4650419 140734311427760 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8275/tid=8277] ppid=8273 vsize=285188 CPUtime=0.68 cores=1,3,5,7
/proc/8275/task/8277/stat : 8277 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 1195 0 0 0 68 0 0 0 25 0 4 0 730661607 292032512 2627 33554432000 4194304 4650419 140734311427760 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8275/tid=8278] ppid=8273 vsize=285188 CPUtime=0.69 cores=1,3,5,7
/proc/8275/task/8278/stat : 8278 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 1070 0 0 0 69 0 0 0 25 0 4 0 730661607 292032512 2627 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285188

[startup+1.5003 s]
/proc/loadavg: 5.18 7.33 7.83 10/420 8280
/proc/meminfo: memFree=21314200/32950940 swapFree=67111356/67111528
[pid=8275] ppid=8273 vsize=281764 CPUtime=5.95 cores=1,3,5,7
/proc/8275/stat : 8275 (strangenight1-m) R 8273 8275 7703 0 -1 4202496 10077 0 0 0 594 1 0 0 25 0 4 0 730661607 288526336 5611 33554432000 4194304 4650419 140734311427760 18446744073709551615 4315081 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8275/statm: 70441 5611 393 112 0 65406 0
[pid=8275/tid=8276] ppid=8273 vsize=281764 CPUtime=1.49 cores=1,3,5,7
/proc/8275/task/8276/stat : 8276 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 2956 0 0 0 149 0 0 0 25 0 4 0 730661607 288526336 5612 33554432000 4194304 4650419 140734311427760 18446744073709551615 4370633 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8275/tid=8277] ppid=8273 vsize=281764 CPUtime=1.46 cores=1,3,5,7
/proc/8275/task/8277/stat : 8277 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 2029 0 0 0 146 0 0 0 25 0 4 0 730661607 288526336 5612 33554432000 4194304 4650419 140734311427760 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8275/tid=8278] ppid=8273 vsize=281764 CPUtime=1.49 cores=1,3,5,7
/proc/8275/task/8278/stat : 8278 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 1838 0 0 0 149 0 0 0 25 0 4 0 730661607 288526336 5612 33554432000 4194304 4650419 140734311427760 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 281764

[startup+3.10102 s]
/proc/loadavg: 5.18 7.33 7.83 11/420 8281
/proc/meminfo: memFree=21278612/32950940 swapFree=67111356/67111528
[pid=8275] ppid=8273 vsize=287156 CPUtime=12.35 cores=1,3,5,7
/proc/8275/stat : 8275 (strangenight1-m) R 8273 8275 7703 0 -1 4202496 17944 0 0 0 1232 3 0 0 25 0 4 0 730661607 294047744 11289 33554432000 4194304 4650419 140734311427760 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8275/statm: 71789 11289 393 112 0 66754 0
[pid=8275/tid=8276] ppid=8273 vsize=287156 CPUtime=3.09 cores=1,3,5,7
/proc/8275/task/8276/stat : 8276 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 5266 0 0 0 308 1 0 0 25 0 4 0 730661607 294047744 11289 33554432000 4194304 4650419 140734311427760 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8275/tid=8277] ppid=8273 vsize=287156 CPUtime=3.05 cores=1,3,5,7
/proc/8275/task/8277/stat : 8277 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 4048 0 0 0 305 0 0 0 25 0 4 0 730661607 294047744 11289 33554432000 4194304 4650419 140734311427760 18446744073709551615 4339884 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8275/tid=8278] ppid=8273 vsize=287156 CPUtime=3.08 cores=1,3,5,7
/proc/8275/task/8278/stat : 8278 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 3871 0 0 0 308 0 0 0 25 0 4 0 730661607 294047744 11289 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 287156

[startup+6.30046 s]
/proc/loadavg: 5.40 7.34 7.83 11/420 8281
/proc/meminfo: memFree=21243832/32950940 swapFree=67111356/67111528
[pid=8275] ppid=8273 vsize=288584 CPUtime=25.09 cores=1,3,5,7
/proc/8275/stat : 8275 (strangenight1-m) R 8273 8275 7703 0 -1 4202496 25214 0 0 0 2505 4 0 0 25 0 4 0 730661607 295510016 13274 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8275/statm: 72146 13274 393 112 0 67111 0
[pid=8275/tid=8276] ppid=8273 vsize=288584 CPUtime=6.29 cores=1,3,5,7
/proc/8275/task/8276/stat : 8276 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 6804 0 0 0 628 1 0 0 25 0 4 0 730661607 295510016 13274 33554432000 4194304 4650419 140734311427760 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8275/tid=8277] ppid=8273 vsize=288584 CPUtime=6.21 cores=1,3,5,7
/proc/8275/task/8277/stat : 8277 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 6832 0 0 0 620 1 0 0 25 0 4 0 730661607 295510016 13274 33554432000 4194304 4650419 140734311427760 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8275/tid=8278] ppid=8273 vsize=288584 CPUtime=6.29 cores=1,3,5,7
/proc/8275/task/8278/stat : 8278 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 5448 0 0 0 628 1 0 0 25 0 4 0 730661607 295510016 13274 33554432000 4194304 4650419 140734311427760 18446744073709551615 4334047 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 288584

[startup+12.7003 s]
/proc/loadavg: 5.69 7.37 7.84 11/420 8281
/proc/meminfo: memFree=21206324/32950940 swapFree=67111356/67111528
[pid=8275] ppid=8273 vsize=282608 CPUtime=50.6 cores=1,3,5,7
/proc/8275/stat : 8275 (strangenight1-m) R 8273 8275 7703 0 -1 4202496 37582 0 0 0 5054 6 0 0 25 0 4 0 730661607 289390592 17323 33554432000 4194304 4650419 140734311427760 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8275/statm: 70652 17323 393 112 0 65617 0
[pid=8275/tid=8276] ppid=8273 vsize=282608 CPUtime=12.69 cores=1,3,5,7
/proc/8275/task/8276/stat : 8276 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 10205 0 0 0 1268 1 0 0 25 0 4 0 730661607 289390592 17323 33554432000 4194304 4650419 140734311427760 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8275/tid=8277] ppid=8273 vsize=282608 CPUtime=12.51 cores=1,3,5,7
/proc/8275/task/8277/stat : 8277 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 9957 0 0 0 1250 1 0 0 25 0 4 0 730661607 289390592 17323 33554432000 4194304 4650419 140734311427760 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8275/tid=8278] ppid=8273 vsize=282608 CPUtime=12.69 cores=1,3,5,7
/proc/8275/task/8278/stat : 8278 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 8444 0 0 0 1268 1 0 0 25 0 4 0 730661607 289390592 17323 33554432000 4194304 4650419 140734311427760 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 282608

[startup+25.5011 s]
/proc/loadavg: 6.20 7.40 7.84 11/420 8281
/proc/meminfo: memFree=21151384/32950940 swapFree=67111356/67111528
[pid=8275] ppid=8273 vsize=300756 CPUtime=101.62 cores=1,3,5,7
/proc/8275/stat : 8275 (strangenight1-m) R 8273 8275 7703 0 -1 4202496 58212 0 0 0 10150 12 0 0 25 0 4 0 730661607 307974144 24327 33554432000 4194304 4650419 140734311427760 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8275/statm: 75189 24327 393 112 0 70154 0
[pid=8275/tid=8276] ppid=8273 vsize=300756 CPUtime=25.49 cores=1,3,5,7
/proc/8275/task/8276/stat : 8276 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 16546 0 0 0 2546 3 0 0 25 0 4 0 730661607 307974144 24327 33554432000 4194304 4650419 140734311427760 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8275/tid=8277] ppid=8273 vsize=300756 CPUtime=25.14 cores=1,3,5,7
/proc/8275/task/8277/stat : 8277 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 15956 0 0 0 2511 3 0 0 25 0 4 0 730661607 307974144 24328 33554432000 4194304 4650419 140734311427760 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8275/tid=8278] ppid=8273 vsize=300756 CPUtime=25.49 cores=1,3,5,7
/proc/8275/task/8278/stat : 8278 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 11284 0 0 0 2547 2 0 0 25 0 4 0 730661607 307974144 24328 33554432000 4194304 4650419 140734311427760 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.62
Current children cumulated vsize (KiB) 300756

[startup+51.1006 s]
/proc/loadavg: 6.81 7.45 7.84 10/420 8282
/proc/meminfo: memFree=21119596/32950940 swapFree=67111356/67111528
[pid=8275] ppid=8273 vsize=309608 CPUtime=203.68 cores=1,3,5,7
/proc/8275/stat : 8275 (strangenight1-m) R 8273 8275 7703 0 -1 4202496 89300 0 0 0 20348 20 0 0 25 0 4 0 730661607 317038592 26709 33554432000 4194304 4650419 140734311427760 18446744073709551615 4310770 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8275/statm: 77402 26709 393 112 0 72367 0
[pid=8275/tid=8276] ppid=8273 vsize=309608 CPUtime=51.09 cores=1,3,5,7
/proc/8275/task/8276/stat : 8276 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 25685 0 0 0 5104 5 0 0 25 0 4 0 730661607 317038592 26709 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8275/tid=8277] ppid=8273 vsize=309608 CPUtime=50.39 cores=1,3,5,7
/proc/8275/task/8277/stat : 8277 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 25491 0 0 0 5034 5 0 0 25 0 4 0 730661607 317038592 26709 33554432000 4194304 4650419 140734311427760 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8275/tid=8278] ppid=8273 vsize=309608 CPUtime=51.08 cores=1,3,5,7
/proc/8275/task/8278/stat : 8278 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 15185 0 0 0 5105 3 0 0 25 0 4 0 730661607 317038592 26709 33554432000 4194304 4650419 140734311427760 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.68
Current children cumulated vsize (KiB) 309608

[startup+102.316 s]
/proc/loadavg: 7.53 7.55 7.85 10/420 8283
/proc/meminfo: memFree=21054856/32950940 swapFree=67111356/67111528
[pid=8275] ppid=8273 vsize=305648 CPUtime=407.83 cores=1,3,5,7
/proc/8275/stat : 8275 (strangenight1-m) R 8273 8275 7703 0 -1 4202496 140551 0 0 0 40749 34 0 0 25 0 4 0 730661607 312983552 35446 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365286 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8275/statm: 76412 35446 393 112 0 71377 0
[pid=8275/tid=8276] ppid=8273 vsize=305648 CPUtime=102.31 cores=1,3,5,7
/proc/8275/task/8276/stat : 8276 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 39684 0 0 0 10221 10 0 0 25 0 4 0 730661607 312983552 35446 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8275/tid=8277] ppid=8273 vsize=305648 CPUtime=100.89 cores=1,3,5,7
/proc/8275/task/8277/stat : 8277 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 40712 0 0 0 10080 9 0 0 25 0 4 0 730661607 312983552 35446 33554432000 4194304 4650419 140734311427760 18446744073709551615 4438661 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8275/tid=8278] ppid=8273 vsize=305648 CPUtime=102.3 cores=1,3,5,7
/proc/8275/task/8278/stat : 8278 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 22745 0 0 0 10225 5 0 0 25 0 4 0 730661607 312983552 35446 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.83
Current children cumulated vsize (KiB) 305648

[startup+162.301 s]

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

[pid=8275] ppid=8273 vsize=572708 CPUtime=2560.35 cores=1,3,5,7
/proc/8275/stat : 8275 (strangenight1-m) R 8273 8275 7703 0 -1 4202496 436353 0 0 0 255878 157 0 0 25 0 4 0 730661607 586452992 77252 33554432000 4194304 4650419 140734311427760 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8275/statm: 143177 77252 393 112 0 138142 0
[pid=8275/tid=8276] ppid=8273 vsize=572708 CPUtime=642.31 cores=1,3,5,7
/proc/8275/task/8276/stat : 8276 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 124304 0 0 0 64187 44 0 0 25 0 4 0 730661607 586452992 77254 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8275/tid=8277] ppid=8273 vsize=572708 CPUtime=633.42 cores=1,3,5,7
/proc/8275/task/8277/stat : 8277 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 122052 0 0 0 63295 47 0 0 25 0 4 0 730661607 586452992 77254 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8275/tid=8278] ppid=8273 vsize=572708 CPUtime=642.31 cores=1,3,5,7
/proc/8275/task/8278/stat : 8278 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 64478 0 0 0 64208 23 0 0 25 0 4 0 730661607 586452992 77254 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2560.35
Current children cumulated vsize (KiB) 572708

[startup+702.301 s]
/proc/loadavg: 8.16 8.08 7.99 11/420 8299
/proc/meminfo: memFree=20669288/32950940 swapFree=67111356/67111528
[pid=8275] ppid=8273 vsize=573100 CPUtime=2799.49 cores=1,3,5,7
/proc/8275/stat : 8275 (strangenight1-m) R 8273 8275 7703 0 -1 4202496 463315 0 0 0 279778 171 0 0 25 0 4 0 730661607 586854400 85850 33554432000 4194304 4650419 140734311427760 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8275/statm: 143275 85850 393 112 0 138240 0
[pid=8275/tid=8276] ppid=8273 vsize=573100 CPUtime=702.3 cores=1,3,5,7
/proc/8275/task/8276/stat : 8276 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 131281 0 0 0 70182 48 0 0 25 0 4 0 730661607 586854400 85850 33554432000 4194304 4650419 140734311427760 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8275/tid=8277] ppid=8273 vsize=573100 CPUtime=692.57 cores=1,3,5,7
/proc/8275/task/8277/stat : 8277 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 129009 0 0 0 69205 52 0 0 25 0 4 0 730661607 586854400 85850 33554432000 4194304 4650419 140734311427760 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8275/tid=8278] ppid=8273 vsize=573100 CPUtime=702.3 cores=1,3,5,7
/proc/8275/task/8278/stat : 8278 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 68103 0 0 0 70205 25 0 0 25 0 4 0 730661607 586854400 85850 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2799.49
Current children cumulated vsize (KiB) 573100

[startup+762.316 s]
/proc/loadavg: 8.16 8.09 8.00 10/420 8301
/proc/meminfo: memFree=20672708/32950940 swapFree=67111356/67111528
[pid=8275] ppid=8273 vsize=560548 CPUtime=3038.71 cores=1,3,5,7
/proc/8275/stat : 8275 (strangenight1-m) R 8273 8275 7703 0 -1 4202496 483755 0 0 0 303688 183 0 0 25 0 4 0 730661607 574001152 86797 33554432000 4194304 4650419 140734311427760 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8275/statm: 140137 86797 393 112 0 135102 0
[pid=8275/tid=8276] ppid=8273 vsize=560548 CPUtime=762.3 cores=1,3,5,7
/proc/8275/task/8276/stat : 8276 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 137723 0 0 0 76179 51 0 0 25 0 4 0 730661607 574001152 86797 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8275/tid=8277] ppid=8273 vsize=560548 CPUtime=751.74 cores=1,3,5,7
/proc/8275/task/8277/stat : 8277 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 135077 0 0 0 75118 56 0 0 25 0 4 0 730661607 574001152 86797 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8275/tid=8278] ppid=8273 vsize=560548 CPUtime=762.32 cores=1,3,5,7
/proc/8275/task/8278/stat : 8278 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 70762 0 0 0 76205 27 0 0 25 0 4 0 730661607 574001152 86797 33554432000 4194304 4650419 140734311427760 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3038.71
Current children cumulated vsize (KiB) 560548

[startup+822.301 s]
/proc/loadavg: 8.16 8.10 8.01 11/420 8302
/proc/meminfo: memFree=20645248/32950940 swapFree=67111356/67111528
[pid=8275] ppid=8273 vsize=560724 CPUtime=3277.84 cores=1,3,5,7
/proc/8275/stat : 8275 (strangenight1-m) R 8273 8275 7703 0 -1 4202496 504829 0 0 0 327591 193 0 0 25 0 4 0 730661607 574181376 93655 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8275/statm: 140181 93655 393 112 0 135146 0
[pid=8275/tid=8276] ppid=8273 vsize=560724 CPUtime=822.29 cores=1,3,5,7
/proc/8275/task/8276/stat : 8276 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 143931 0 0 0 82174 55 0 0 25 0 4 0 730661607 574181376 93655 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8275/tid=8277] ppid=8273 vsize=560724 CPUtime=810.91 cores=1,3,5,7
/proc/8275/task/8277/stat : 8277 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 142265 0 0 0 81032 59 0 0 25 0 4 0 730661607 574181376 93655 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8275/tid=8278] ppid=8273 vsize=560724 CPUtime=822.3 cores=1,3,5,7
/proc/8275/task/8278/stat : 8278 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 74108 0 0 0 82202 28 0 0 25 0 4 0 730661607 574181376 93655 33554432000 4194304 4650419 140734311427760 18446744073709551615 4439111 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3277.84
Current children cumulated vsize (KiB) 560724

[startup+882.301 s]
/proc/loadavg: 8.14 8.11 8.01 10/420 8304
/proc/meminfo: memFree=20649064/32950940 swapFree=67111356/67111528
[pid=8275] ppid=8273 vsize=575348 CPUtime=3516.99 cores=1,3,5,7
/proc/8275/stat : 8275 (strangenight1-m) R 8273 8275 7703 0 -1 4202496 525634 0 0 0 351496 203 0 0 25 0 4 0 730661607 589156352 91902 33554432000 4194304 4650419 140734311427760 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8275/statm: 143837 91902 393 112 0 138802 0
[pid=8275/tid=8276] ppid=8273 vsize=575348 CPUtime=882.29 cores=1,3,5,7
/proc/8275/task/8276/stat : 8276 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 149743 0 0 0 88171 58 0 0 25 0 4 0 730661607 589156352 91902 33554432000 4194304 4650419 140734311427760 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8275/tid=8277] ppid=8273 vsize=575348 CPUtime=870.06 cores=1,3,5,7
/proc/8275/task/8277/stat : 8277 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 149435 0 0 0 86944 62 0 0 25 0 4 0 730661607 589156352 91902 33554432000 4194304 4650419 140734311427760 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8275/tid=8278] ppid=8273 vsize=575348 CPUtime=882.3 cores=1,3,5,7
/proc/8275/task/8278/stat : 8278 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 74592 0 0 0 88201 29 0 0 25 0 4 0 730661607 589156352 91902 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365280 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3516.99
Current children cumulated vsize (KiB) 575348

[startup+942.301 s]
/proc/loadavg: 8.17 8.13 8.02 11/420 8306
/proc/meminfo: memFree=20636108/32950940 swapFree=67111356/67111528
[pid=8275] ppid=8273 vsize=562468 CPUtime=3756.16 cores=1,3,5,7
/proc/8275/stat : 8275 (strangenight1-m) R 8273 8275 7703 0 -1 4202496 543789 0 0 0 375403 213 0 0 25 0 4 0 730661607 575967232 90550 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365273 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8275/statm: 140617 90550 393 112 0 135582 0
[pid=8275/tid=8276] ppid=8273 vsize=562468 CPUtime=942.3 cores=1,3,5,7
/proc/8275/task/8276/stat : 8276 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 155677 0 0 0 94168 62 0 0 25 0 4 0 730661607 575967232 90550 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8275/tid=8277] ppid=8273 vsize=562468 CPUtime=929.22 cores=1,3,5,7
/proc/8275/task/8277/stat : 8277 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 155309 0 0 0 92857 65 0 0 25 0 4 0 730661607 575967232 90550 33554432000 4194304 4650419 140734311427760 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8275/tid=8278] ppid=8273 vsize=562468 CPUtime=942.31 cores=1,3,5,7
/proc/8275/task/8278/stat : 8278 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 77046 0 0 0 94200 31 0 0 25 0 4 0 730661607 575967232 90550 33554432000 4194304 4650419 140734311427760 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3756.16
Current children cumulated vsize (KiB) 562468

[startup+1002.3 s]
/proc/loadavg: 8.10 8.12 8.02 10/420 8307
/proc/meminfo: memFree=20612132/32950940 swapFree=67111356/67111528
[pid=8275] ppid=8273 vsize=571540 CPUtime=3995.34 cores=1,3,5,7
/proc/8275/stat : 8275 (strangenight1-m) R 8273 8275 7703 0 -1 4202496 563358 0 0 0 399310 224 0 0 25 0 4 0 730661607 585256960 91999 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8275/statm: 142885 91999 393 112 0 137850 0
[pid=8275/tid=8276] ppid=8273 vsize=571540 CPUtime=1002.3 cores=1,3,5,7
/proc/8275/task/8276/stat : 8276 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 162263 0 0 0 100165 65 0 0 25 0 4 0 730661607 585256960 91999 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8275/tid=8277] ppid=8273 vsize=571540 CPUtime=988.4 cores=1,3,5,7
/proc/8275/task/8277/stat : 8277 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 160295 0 0 0 98772 68 0 0 25 0 4 0 730661607 585256960 91999 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8275/tid=8278] ppid=8273 vsize=571540 CPUtime=1002.31 cores=1,3,5,7
/proc/8275/task/8278/stat : 8278 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 79587 0 0 0 100199 32 0 0 25 0 4 0 730661607 585256960 91999 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3995.34
Current children cumulated vsize (KiB) 571540

[startup+1062.3 s]
/proc/loadavg: 8.04 8.10 8.01 11/420 8309
/proc/meminfo: memFree=20587784/32950940 swapFree=67111356/67111528
[pid=8275] ppid=8273 vsize=577556 CPUtime=4234.5 cores=1,3,5,7
/proc/8275/stat : 8275 (strangenight1-m) R 8273 8275 7703 0 -1 4202496 582695 0 0 0 423216 234 0 0 25 0 4 0 730661607 591417344 101808 33554432000 4194304 4650419 140734311427760 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8275/statm: 144389 101808 393 112 0 139354 0
[pid=8275/tid=8276] ppid=8273 vsize=577556 CPUtime=1062.3 cores=1,3,5,7
/proc/8275/task/8276/stat : 8276 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 166919 0 0 0 106163 67 0 0 25 0 4 0 730661607 591417344 101808 33554432000 4194304 4650419 140734311427760 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8275/tid=8277] ppid=8273 vsize=577556 CPUtime=1047.56 cores=1,3,5,7
/proc/8275/task/8277/stat : 8277 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 166345 0 0 0 104684 72 0 0 25 0 4 0 730661607 591417344 101808 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8275/tid=8278] ppid=8273 vsize=577556 CPUtime=1062.31 cores=1,3,5,7
/proc/8275/task/8278/stat : 8278 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 81950 0 0 0 106198 33 0 0 25 0 4 0 730661607 591417344 101808 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4234.5
Current children cumulated vsize (KiB) 577556

[startup+1122.3 s]
/proc/loadavg: 8.05 8.09 8.01 10/420 8310
/proc/meminfo: memFree=20587240/32950940 swapFree=67111356/67111528
[pid=8275] ppid=8273 vsize=582520 CPUtime=4473.66 cores=1,3,5,7
/proc/8275/stat : 8275 (strangenight1-m) R 8273 8275 7703 0 -1 4202496 603058 0 0 0 447125 241 0 0 25 0 4 0 730661607 596500480 95638 33554432000 4194304 4650419 140734311427760 18446744073709551615 4330724 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8275/statm: 145630 95638 393 112 0 140595 0
[pid=8275/tid=8276] ppid=8273 vsize=582520 CPUtime=1122.3 cores=1,3,5,7
/proc/8275/task/8276/stat : 8276 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 173309 0 0 0 112161 69 0 0 25 0 4 0 730661607 596500480 95638 33554432000 4194304 4650419 140734311427760 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8275/tid=8277] ppid=8273 vsize=582520 CPUtime=1106.71 cores=1,3,5,7
/proc/8275/task/8277/stat : 8277 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 172191 0 0 0 110597 74 0 0 25 0 4 0 730661607 596500480 95638 33554432000 4194304 4650419 140734311427760 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8275/tid=8278] ppid=8273 vsize=582520 CPUtime=1122.31 cores=1,3,5,7
/proc/8275/task/8278/stat : 8278 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 82758 0 0 0 112198 33 0 0 25 0 4 0 730661607 596500480 95638 33554432000 4194304 4650419 140734311427760 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4473.66
Current children cumulated vsize (KiB) 582520

[startup+1182.3 s]
/proc/loadavg: 5.79 7.47 7.80 5/411 8329
/proc/meminfo: memFree=20925952/32950940 swapFree=67111356/67111528
[pid=8275] ppid=8273 vsize=582644 CPUtime=4712.85 cores=1,3,5,7
/proc/8275/stat : 8275 (strangenight1-m) R 8273 8275 7703 0 -1 4202496 622757 0 0 0 471033 252 0 0 25 0 4 0 730661607 596627456 104075 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8275/statm: 145661 104075 393 112 0 140626 0
[pid=8275/tid=8276] ppid=8273 vsize=582644 CPUtime=1182.3 cores=1,3,5,7
/proc/8275/task/8276/stat : 8276 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 179838 0 0 0 118157 73 0 0 25 0 4 0 730661607 596627456 104075 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8275/tid=8277] ppid=8273 vsize=582644 CPUtime=1165.91 cores=1,3,5,7
/proc/8275/task/8277/stat : 8277 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 177815 0 0 0 116515 76 0 0 25 0 4 0 730661607 596627456 104075 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8275/tid=8278] ppid=8273 vsize=582644 CPUtime=1182.31 cores=1,3,5,7
/proc/8275/task/8278/stat : 8278 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 85409 0 0 0 118196 35 0 0 25 0 4 0 730661607 596627456 104075 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4712.85
Current children cumulated vsize (KiB) 582644



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.2 s]
/proc/loadavg: 5.18 7.19 7.70 5/411 8330
/proc/meminfo: memFree=20943804/32950940 swapFree=67111356/67111528
[pid=8275] ppid=8273 vsize=575492 CPUtime=4800.18 cores=1,3,5,7
/proc/8275/stat : 8275 (strangenight1-m) R 8273 8275 7703 0 -1 4202496 628377 0 0 0 479761 257 0 0 25 0 4 0 730661607 589303808 99503 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8275/statm: 143873 99503 393 112 0 138838 0
[pid=8275/tid=8276] ppid=8273 vsize=575492 CPUtime=1204.22 cores=1,3,5,7
/proc/8275/task/8276/stat : 8276 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 181621 0 0 0 120347 75 0 0 25 0 4 0 730661607 589303808 99505 33554432000 4194304 4650419 140734311427760 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8275/tid=8277] ppid=8273 vsize=575492 CPUtime=1187.5 cores=1,3,5,7
/proc/8275/task/8277/stat : 8277 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 180545 0 0 0 118673 77 0 0 25 0 4 0 730661607 589303808 99505 33554432000 4194304 4650419 140734311427760 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8275/tid=8278] ppid=8273 vsize=575492 CPUtime=1204.22 cores=1,3,5,7
/proc/8275/task/8278/stat : 8278 (strangenight1-m) R 8273 8275 7703 0 -1 4202560 85409 0 0 0 120387 35 0 0 25 0 4 0 730661607 589303808 99505 33554432000 4194304 4650419 140734311427760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 575492

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): 1204.24
CPU time (s): 4800.25
CPU user time (s): 4797.66
CPU system time (s): 2.59061
CPU usage (%): 398.612
Max. virtual memory (cumulated for all children) (KiB): 649856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.66
system time used= 2.59061
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 628379
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= 197
involuntary context switches= 36809

runsolver used 4.5683 second user time and 12.1612 second system time

The end

Launcher Data 

Begin job on node117 at 2011-05-14 22:18:28
IDJOB=3368843
IDBENCH=82852
IDSOLVER=1846
FILE ID=node117/3368843-1305404308
RUNJOBID= node117-1305404308-8254
PBS_JOBID= 13324483
Free space on /tmp= 73412 MiB

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

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

MD5SUM BENCH= 901aadbc76f4961d582bc9856b3c63b3
RANDOM SEED=759773033

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

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

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

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


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      21337100 kB
Buffers:        298832 kB
Cached:        3081668 kB
SwapCached:          0 kB
Active:        9385248 kB
Inactive:      1874448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      21337100 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           12476 kB
Writeback:           0 kB
AnonPages:     7879484 kB
Mapped:          31944 kB
Slab:           243472 kB
PageTables:      44336 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS: 100449312 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= 73412 MiB
End job on node117 at 2011-05-14 22:38:35