Trace number 3368841

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.18 1202.24

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v100-c2130-S1465579926-097.UNKNOWN.cnf
MD5SUMeb55252a6fac55d328f4d31fcc6e53bd
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark332.178
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-3368841-1305404258.cnf'
0.00/0.00	c -- header says num vars:            100
0.00/0.00	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.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.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
0.00/0.01	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:      39 undec:       3 neg:      58
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.05	c Decided on static restart strategy
0.00/0.12	c  N st     8      4917       100      2130         0      4611     10650    102865   no data   no data  --
1.18/0.30	c  N st    10     11301       100      2130         0      4223     10650     73804   no data   no data  --
1.58/0.49	c  N st    11     17045       100      2130         0      9567     10650    188829   no data   no data  --
2.78/0.79	c  F st    12     25000       100      2130         0     11730     10650    234778   no data   no data  --
2.78/0.79	c  N st    12     25000       100      2130         0     11730     10650    234778   no data   no data  --
3.58/0.99	c Decided on static restart strategy
3.58/0.99	c  N st    18     30000       100      2130         0     10073     10650    186409   no data   no data  --
3.58/0.99	c  S st    18     30000       100      2130         0     10073     10650    186409   no data   no data  --
3.98/1.02	c  S st    18     30501       100      2130         0     10553     10650    196987   no data   no data  --
3.98/1.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.98/1.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3.98/1.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
3.98/1.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.98/1.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.98/1.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.98/1.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.57/1.46	c lits-rem:      1918  cl-subs:     1822  v-elim:      0  v-fix:    0  time:  1.69 s
5.57/1.49	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.15
5.57/1.49	c calculated reachability. Time: 0.00
5.57/1.49	c  N st    18     30501       100      2130         0      8731     10650    156376   no data   no data  --
6.77/1.79	c  N st    20     37614       100      2130         0      8069     10650    132474   no data   no data  --
7.97/2.07	c  N st    21     44013       100      2130         0     13974     10650    259884   no data   no data  --
8.37/2.16	c  S st    22     45752       100      2130         0     15572     10650    294669   no data   no data  --
8.79/2.21	c  S st    22     46257       100      2130         0     16059     10650    305848   no data   no data  --
8.79/2.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.79/2.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
8.79/2.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
8.79/2.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.79/2.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.79/2.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
8.79/2.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13.17/3.38	c lits-rem:      3459  cl-subs:     2104  v-elim:      0  v-fix:    0  time:  4.61 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    13955 cl shrink        0 lits rem          0 time: 0.01
13.58/3.45	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.24
13.58/3.45	c calculated reachability. Time: 0.00
13.58/3.45	c  N st    22     46257       100      2130         0     13955     10650    256375   no data   no data  --
16.75/4.26	c  N st    23     60656       100      2130         0      9821     10650    145442   no data   no data  --
18.74/4.71	c  N st    24     69386       100      2130         0     17883     10650    316388   no data   no data  --
18.74/4.71	c  S st    24     69386       100      2130         0     17883     10650    316388   no data   no data  --
18.74/4.76	c  S st    24     69889       100      2130         0     18365     10650    326871   no data   no data  --
18.74/4.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
18.74/4.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.74/4.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
18.74/4.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18.74/4.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.74/4.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
18.74/4.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
23.94/6.07	c lits-rem:      3299  cl-subs:     2583  v-elim:      0  v-fix:    0  time:  5.16 s
23.94/6.07	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
23.94/6.07	c vivif2 --  cl tried    15782 cl shrink        0 lits rem          0 time: 0.01
24.34/6.14	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.28
24.34/6.14	c calculated reachability. Time: 0.00
24.34/6.14	c  N st    24     69889       100      2130         0     15782     10650    271845   no data   no data  --
28.72/7.21	c  F st    25     87500       100      2130         0     22008     10650    394101   no data   no data  --
28.72/7.21	c  N st    25     87500       100      2130         0     22008     10650    394101   no data   no data  --
29.52/7.47	c Decided on static restart strategy
30.33/7.61	c  N st    32     95535       100      2130         0     18525     10650    319914   no data   no data  --
32.32/8.19	c  N st    34    104833       100      2130         0     15119     10650    240615   no data   no data  --
32.32/8.19	c  S st    34    104833       100      2130         0     15119     10650    240615   no data   no data  --
32.72/8.23	c  S st    34    105336       100      2130         0     15601     10650    251322   no data   no data  --
32.72/8.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
32.72/8.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
32.72/8.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
32.72/8.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
32.72/8.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
32.72/8.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
32.72/8.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
36.70/9.26	c lits-rem:      1494  cl-subs:     1166  v-elim:      0  v-fix:    0  time:  4.03 s
36.70/9.26	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
36.70/9.26	c vivif2 --  cl tried    14435 cl shrink        0 lits rem          0 time: 0.01
37.10/9.32	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.25
37.10/9.32	c calculated reachability. Time: 0.00
37.10/9.32	c  N st    34    105336       100      2130         0     14435     10650    225745   no data   no data  --
39.53/9.96	c  N st    35    114934       100      2130         0     23282     10650    421340   no data   no data  --
43.50/10.90	c  N st    36    129331       100      2130         0     23659     10650    409030   no data   no data  --
49.48/12.41	c  N st    37    150926       100      2130         0     14966     10650    197573   no data   no data  --
51.09/12.86	c  S st    38    158004       100      2130         0     21527     10650    342399   no data   no data  --
51.49/12.92	c  S st    38    158512       100      2130         0     22014     10650    353061   no data   no data  --
51.49/12.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
51.49/12.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.49/12.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
51.49/12.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
51.49/12.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.49/12.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
51.49/12.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
56.68/14.22	c lits-rem:      4338  cl-subs:     2117  v-elim:      0  v-fix:    0  time:  5.13 s
56.68/14.22	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
56.68/14.22	c vivif2 --  cl tried    19897 cl shrink        0 lits rem          0 time: 0.02
57.10/14.31	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.35
57.10/14.31	c calculated reachability. Time: 0.00
57.10/14.31	c  N st    38    158512       100      2130         0     19897     10650    304742   no data   no data  --
72.25/18.19	c  N st    39    207101       100      2130         0     32542     10650    558231   no data   no data  --
82.24/20.60	c  N st    40    237769       100      2130         0     24842     10650    379470   no data   no data  --
82.24/20.60	c  S st    40    237769       100      2130         0     24842     10650    379470   no data   no data  --
82.24/20.66	c  S st    40    238272       100      2130         0     25326     10650    390355   no data   no data  --
82.24/20.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
82.24/20.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
82.24/20.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
82.24/20.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
82.24/20.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.24/20.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
82.24/20.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
88.25/22.15	c lits-rem:      3681  cl-subs:     2167  v-elim:      0  v-fix:    0  time:  5.86 s
88.25/22.15	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
88.25/22.15	c vivif2 --  cl tried    23159 cl shrink        0 lits rem          0 time: 0.01
88.62/22.25	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.38
88.62/22.25	c calculated reachability. Time: 0.00
88.62/22.25	c  N st    40    238272       100      2130         0     23159     10650    341951   no data   no data  --
114.61/28.73	c  F st    41    306250       100      2130         0     25102     10650    344561   no data   no data  --
114.61/28.73	c  N st    41    306250       100      2130         0     25102     10650    344561   no data   no data  --
116.18/29.19	c Decided on static restart strategy
124.97/31.34	c  N st    51    334556       100      2130         0     29221     10650    424016   no data   no data  --
134.95/33.84	c  N st    53    357408       100      2130         0     27238     10650    369304   no data   no data  --
134.95/33.84	c  S st    53    357408       100      2130         0     27238     10650    369304   no data   no data  --
135.35/33.92	c  S st    53    357913       100      2130         0     27722     10650    380358   no data   no data  --
135.35/33.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
135.35/33.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
135.35/33.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
135.35/33.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
135.35/33.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
135.35/33.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
135.35/33.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
140.55/35.29	c lits-rem:      2173  cl-subs:     1305  v-elim:      0  v-fix:    0  time:  5.41 s
140.55/35.29	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
140.55/35.30	c vivif2 --  cl tried    26417 cl shrink        0 lits rem          0 time: 0.01
141.33/35.40	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.43
141.33/35.40	c calculated reachability. Time: 0.00
141.33/35.40	c  N st    53    357913       100      2130         0     26417     10650    351748   no data   no data  --
156.91/39.31	c  N st    54    390306       100      2130         0     32237     10650    458597   no data   no data  --
180.09/45.16	c  N st    55    438894       100      2130         0     26251     10650    318495   no data   no data  --
213.21/53.44	c  N st    56    511777       100      2130         0     39054     10650    579535   no data   no data  --
225.99/56.68	c  N st    57    536869       100      2130         0     33635     10650    444733   no data   no data  --
225.99/56.68	c  S st    57    536869       100      2130         0     33635     10650    444733   no data   no data  --
226.39/56.77	c  S st    57    537372       100      2130         0     34119     10650    455557   no data   no data  --
226.39/56.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
226.39/56.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
226.39/56.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
226.39/56.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
226.39/56.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
226.39/56.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
226.39/56.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
232.37/58.26	c lits-rem:      2215  cl-subs:     1718  v-elim:      0  v-fix:    0  time:  5.87 s
232.37/58.26	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
232.37/58.27	c vivif2 --  cl tried    32401 cl shrink        0 lits rem          0 time: 0.02
233.21/58.41	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.58
233.21/58.41	c calculated reachability. Time: 0.00
233.21/58.41	c  N st    57    537372       100      2130         0     32401     10650    419497   no data   no data  --
308.65/77.39	c  N st    58    701359       100      2130         0     60063     10650    982455   no data   no data  --
363.76/91.13	c  N st    59    806058       100      2130         0     54066     10650    802155   no data   no data  --
363.76/91.13	c  S st    59    806058       100      2130         0     54066     10650    802155   no data   no data  --
364.16/91.29	c  S st    59    806561       100      2130         0     54545     10650    813295   no data   no data  --
364.16/91.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
364.16/91.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
364.57/91.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.06
364.57/91.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
364.57/91.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
364.57/91.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
364.57/91.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
382.92/95.95	c lits-rem:      2673  cl-subs:     6619  v-elim:      0  v-fix:    0  time: 18.40 s
382.92/95.95	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
382.92/95.95	c vivif2 --  cl tried    47926 cl shrink        0 lits rem          0 time: 0.03
384.52/96.30	c asymm  cl-useful: 0/1822/2130 lits-rem:0 time: 1.39
384.52/96.30	c calculated reachability. Time: 0.00
384.52/96.30	c  N st    59    806561       100      2130         0     47926     10650    684124   no data   no data  --
537.05/134.58	c  F st    60   1071876       100      2130         0     63296     10650    942934   no data   no data  --
537.05/134.58	c  N st    60   1071876       100      2130         0     63296     10650    942934   no data   no data  --
541.45/135.66	c Decided on static restart strategy
559.02/140.00	c  N st    70   1100183       100      2130         0     48213     10650    614702   no data   no data  --
581.77/145.78	c  N st    72   1136178       100      2130         0     81422     10650   1333318   no data   no data  --
601.76/150.71	c  N st    73   1168570       100      2130         0     69089     10650   1071878   no data   no data  --
630.49/157.99	c  N st    74   1209842       100      2130         0     63684     10650    909898   no data   no data  --
630.49/157.99	c  S st    74   1209842       100      2130         0     63684     10650    909898   no data   no data  --
631.29/158.18	c  S st    74   1210346       100      2130         0     64160     10650    920643   no data   no data  --
631.29/158.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
631.29/158.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
631.69/158.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.09
631.69/158.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
631.69/158.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
631.69/158.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
631.69/158.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
662.03/165.84	c lits-rem:      1739  cl-subs:     6102  v-elim:      0  v-fix:    0  time: 30.39 s
662.03/165.84	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
662.03/165.86	c vivif2 --  cl tried    58058 cl shrink        0 lits rem          0 time: 0.04
663.66/166.22	c asymm  cl-useful: 0/1576/2130 lits-rem:0 time: 1.47
663.66/166.23	c calculated reachability. Time: 0.00
663.66/166.23	c  N st    74   1210346       100      2130         0     58058     10650    802385   no data   no data  --
718.33/179.97	c  N st    75   1283231       100      2130         0     80697     10650   1247066   no data   no data  --
812.17/203.45	c  N st    76   1392554       100      2130         0     90288     10650   1413990   no data   no data  --
943.52/236.40	c  N st    77   1556540       100      2130         0     97916     10650   1571860   no data   no data  --
1066.51/267.19	c  N st    78   1710347       100      2130         0     87767     10650   1339762   no data   no data  --
1066.51/267.19	c  S st    78   1710347       100      2130         0     87767     10650   1339762   no data   no data  --
1067.73/267.47	c  S st    78   1710849       100      2130         0     88238     10650   1350665   no data   no data  --
1067.73/267.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1067.73/267.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1068.10/267.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
1068.10/267.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1068.10/267.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1068.10/267.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1068.10/267.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1153.14/288.85	c lits-rem:      3846  cl-subs:    10950  v-elim:      0  v-fix:    0  time: 84.97 s
1153.14/288.85	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1153.14/288.86	c vivif2 --  cl tried    77288 cl shrink        0 lits rem          0 time: 0.06
1154.34/289.10	c asymm  cl-useful: 0/554/2130 lits-rem:0 time: 0.96
1154.34/289.11	c calculated reachability. Time: 0.00
1154.34/289.11	c  N st    78   1710849       100      2130         0     77288     10650   1142150   no data   no data  --
1483.74/371.63	c  N st    79   2079816       100      2130         0     88316     10650   1271217   no data   no data  --
1604.73/401.90	c  N st    80   2210849       100      2130         0     92672     10650   1371272   no data   no data  --
1604.73/401.90	c  S st    80   2210849       100      2130         0     92672     10650   1371272   no data   no data  --
1605.92/402.27	c  S st    80   2211350       100      2130         0     93149     10650   1382104   no data   no data  --
1605.92/402.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1605.92/402.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1606.32/402.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.20
1606.32/402.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1606.32/402.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1606.32/402.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1606.32/402.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1690.99/423.56	c lits-rem:      2646  cl-subs:    10357  v-elim:      0  v-fix:    0  time: 84.51 s
1690.99/423.56	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1690.99/423.58	c vivif2 --  cl tried    82792 cl shrink        0 lits rem          0 time: 0.07
1692.96/424.00	c asymm  cl-useful: 0/1243/2130 lits-rem:0 time: 1.70
1692.96/424.00	c calculated reachability. Time: 0.00
1692.96/424.00	c  N st    80   2211350       100      2130         0     82792     10650   1173606   no data   no data  --
2183.31/546.89	c  N st    81   2711351       100      2130         0    105460     10650   1557924   no data   no data  --
2183.31/546.89	c  S st    81   2711351       100      2130         0    105460     10650   1557924   no data   no data  --
2184.88/547.29	c  S st    81   2711856       100      2130         0    105942     10650   1569187   no data   no data  --
2185.28/547.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2185.28/547.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2185.28/547.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
2185.67/547.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2185.67/547.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2185.67/547.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2185.67/547.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2293.48/574.42	c lits-rem:       958  cl-subs:    12531  v-elim:      0  v-fix:    0  time: 107.85 s
2293.48/574.42	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2293.48/574.44	c vivif2 --  cl tried    93411 cl shrink        0 lits rem          0 time: 0.08
2295.08/574.89	c asymm  cl-useful: 0/838/2130 lits-rem:0 time: 1.81
2295.48/574.90	c calculated reachability. Time: 0.00
2295.48/574.90	c  N st    81   2711856       100      2130         0     93411     10650   1336444   no data   no data  --
2835.71/710.20	c  N st    82   3211856       100      2130         0     71483     10650    758975   no data   no data  --
2835.71/710.20	c  S st    82   3211856       100      2130         0     71483     10650    758975   no data   no data  --
2836.51/710.43	c  S st    82   3212362       100      2130         0     71972     10650    770191   no data   no data  --
2836.51/710.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2836.51/710.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2836.51/710.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.11
2836.51/710.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2836.51/710.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2836.51/710.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2836.51/710.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2854.89/715.06	c lits-rem:       322  cl-subs:      129  v-elim:      0  v-fix:    0  time: 18.24 s
2854.89/715.06	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2854.89/715.07	c vivif2 --  cl tried    71843 cl shrink        0 lits rem          0 time: 0.04
2856.07/715.34	c asymm  cl-useful: 0/1432/2130 lits-rem:0 time: 1.07
2856.07/715.34	c calculated reachability. Time: 0.00
2856.07/715.34	c  N st    82   3212362       100      2130         0     71843     10650    767168   no data   no data  --
3444.20/862.62	c  N st    83   3712364       100      2130         0     81452     10650    911821   no data   no data  --
3444.20/862.62	c  S st    83   3712364       100      2130         0     81452     10650    911821   no data   no data  --
3445.40/862.94	c  S st    83   3712873       100      2130         0     81937     10650    923355   no data   no data  --
3445.40/862.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3445.40/862.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3445.40/862.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.16
3445.80/863.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3445.80/863.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3445.80/863.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3445.80/863.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3468.95/868.86	c lits-rem:      1298  cl-subs:     1623  v-elim:      0  v-fix:    0  time: 23.31 s
3468.95/868.86	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3468.95/868.87	c vivif2 --  cl tried    80314 cl shrink        0 lits rem          0 time: 0.05
3469.76/869.08	c asymm  cl-useful: 0/698/2130 lits-rem:0 time: 0.81
3469.76/869.08	c calculated reachability. Time: 0.00
3469.76/869.08	c  N st    83   3712873       100      2130         0     80314     10650    892190   no data   no data  --
3509.71/879.09	c  F st    84   3751565       100      2130         0    115583     10650   1668080   no data   no data  --
3509.71/879.09	c  N st    84   3751565       100      2130         0    115583     10650   1668080   no data   no data  --
3516.86/880.89	c Decided on static restart strategy
3554.39/890.26	c  N st    94   3779869       100      2130         0    141588     10650   2237698   no data   no data  --
3603.91/902.65	c  N st    96   3815863       100      2130         0     97271     10650   1248825   no data   no data  --
3649.43/914.07	c  N st    97   3848257       100      2130         0    127032     10650   1908109   no data   no data  --
3714.90/930.43	c  N st    98   3896846       100      2130         0     92952     10650   1138981   no data   no data  --
3813.11/955.04	c  N st    99   3969728       100      2130         0     80134     10650    847581   no data   no data  --
3952.89/990.08	c  N st   100   4079052       100      2130         0     99701     10650   1262037   no data   no data  --
4134.15/1035.45	c  N st   101   4212875       100      2130         0    140325     10650   2104572   no data   no data  --
4134.15/1035.45	c  S st   101   4212875       100      2130         0    140325     10650   2104572   no data   no data  --
4136.15/1035.95	c  S st   101   4213377       100      2130         0    140801     10650   2115636   no data   no data  --
4136.15/1035.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4136.15/1035.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4136.54/1036.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.28
4136.54/1036.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4136.54/1036.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4136.54/1036.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4136.54/1036.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4452.34/1115.19	c lits-rem:      4807  cl-subs:    19440  v-elim:      0  v-fix:    0  time: 315.74 s
4452.34/1115.19	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4452.74/1115.22	c vivif2 --  cl tried   121361 cl shrink        0 lits rem          0 time: 0.13
4455.14/1115.81	c asymm  cl-useful: 0/847/2130 lits-rem:0 time: 2.32
4455.14/1115.81	c calculated reachability. Time: 0.00
4455.14/1115.81	c  N st   101   4213377       100      2130         0    121361     10650   1751974   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-3368841-1305404258/watcher-3368841-1305404258 -o /tmp/evaluation-result-3368841-1305404258/solver-3368841-1305404258 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368841-1305404258.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: 7.56 8.01 8.05 7/231 3538
/proc/meminfo: memFree=19328876/32950928 swapFree=64721848/67111528
[pid=3538] ppid=3536 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/3538/stat : 3538 (strangenight1-m) R 3536 3538 2957 0 -1 4202496 413 0 0 0 0 0 0 0 24 0 4 0 652025602 52465664 353 33554432000 4194304 4650419 140735210107248 18446744073709551615 47354851612594 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3538/statm: 12809 353 303 112 0 7774 0
[pid=3538/tid=3540] ppid=3536 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3540/stat : 3540 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652025602 52465664 353 33554432000 4194304 4650419 140735210107248 18446744073709551615 47354851612594 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3538/tid=3541] ppid=3536 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3541/stat : 3541 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652025602 52465664 353 33554432000 4194304 4650419 140735210107248 18446744073709551615 47354851612594 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3538/tid=3542] ppid=3536 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/3538/task/3542/stat : 3542 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652025602 52465664 353 33554432000 4194304 4650419 140735210107248 18446744073709551615 248089754609 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.158887 s]
/proc/loadavg: 7.56 8.01 8.05 7/231 3538
/proc/meminfo: memFree=19328876/32950928 swapFree=64721848/67111528
[pid=3538] ppid=3536 vsize=283872 CPUtime=0.61 cores=0,2,4,6
/proc/3538/stat : 3538 (strangenight1-m) R 3536 3538 2957 0 -1 4202496 2382 0 0 0 61 0 0 0 25 0 4 0 652025602 290684928 1707 33554432000 4194304 4650419 140735210107248 18446744073709551615 4333940 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3538/statm: 70968 1707 391 112 0 65933 0
[pid=3538/tid=3540] ppid=3536 vsize=283872 CPUtime=0.15 cores=0,2,4,6
/proc/3538/task/3540/stat : 3540 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 498 0 0 0 15 0 0 0 25 0 4 0 652025602 290684928 1707 33554432000 4194304 4650419 140735210107248 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3538/tid=3541] ppid=3536 vsize=283872 CPUtime=0.15 cores=0,2,4,6
/proc/3538/task/3541/stat : 3541 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 523 0 0 0 15 0 0 0 25 0 4 0 652025602 290684928 1707 33554432000 4194304 4650419 140735210107248 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3538/tid=3542] ppid=3536 vsize=283872 CPUtime=0.14 cores=0,2,4,6
/proc/3538/task/3542/stat : 3542 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 425 0 0 0 14 0 0 0 25 0 4 0 652025602 290684928 1707 33554432000 4194304 4650419 140735210107248 18446744073709551615 4334014 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 283872

[startup+0.20088 s]
/proc/loadavg: 7.56 8.01 8.05 7/231 3538
/proc/meminfo: memFree=19328876/32950928 swapFree=64721848/67111528
[pid=3538] ppid=3536 vsize=283872 CPUtime=0.78 cores=0,2,4,6
/proc/3538/stat : 3538 (strangenight1-m) R 3536 3538 2957 0 -1 4202496 2523 0 0 0 78 0 0 0 25 0 4 0 652025602 290684928 1848 33554432000 4194304 4650419 140735210107248 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3538/statm: 70968 1848 391 112 0 65933 0
[pid=3538/tid=3540] ppid=3536 vsize=283872 CPUtime=0.19 cores=0,2,4,6
/proc/3538/task/3540/stat : 3540 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 533 0 0 0 19 0 0 0 25 0 4 0 652025602 290684928 1849 33554432000 4194304 4650419 140735210107248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3538/tid=3541] ppid=3536 vsize=283872 CPUtime=0.19 cores=0,2,4,6
/proc/3538/task/3541/stat : 3541 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 560 0 0 0 19 0 0 0 25 0 4 0 652025602 290684928 1849 33554432000 4194304 4650419 140735210107248 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3538/tid=3542] ppid=3536 vsize=283872 CPUtime=0.19 cores=0,2,4,6
/proc/3538/task/3542/stat : 3542 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 460 0 0 0 19 0 0 0 25 0 4 0 652025602 290684928 1849 33554432000 4194304 4650419 140735210107248 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 283872

[startup+0.300863 s]
/proc/loadavg: 7.56 8.01 8.05 7/231 3538
/proc/meminfo: memFree=19328876/32950928 swapFree=64721848/67111528
[pid=3538] ppid=3536 vsize=284436 CPUtime=1.18 cores=0,2,4,6
/proc/3538/stat : 3538 (strangenight1-m) R 3536 3538 2957 0 -1 4202496 3266 0 0 0 118 0 0 0 25 0 4 0 652025602 291262464 1990 33554432000 4194304 4650419 140735210107248 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3538/statm: 71109 1990 391 112 0 66074 0
[pid=3538/tid=3540] ppid=3536 vsize=284436 CPUtime=0.29 cores=0,2,4,6
/proc/3538/task/3540/stat : 3540 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 754 0 0 0 29 0 0 0 25 0 4 0 652025602 291262464 1990 33554432000 4194304 4650419 140735210107248 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3538/tid=3541] ppid=3536 vsize=284436 CPUtime=0.29 cores=0,2,4,6
/proc/3538/task/3541/stat : 3541 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 778 0 0 0 29 0 0 0 25 0 4 0 652025602 291262464 1990 33554432000 4194304 4650419 140735210107248 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3538/tid=3542] ppid=3536 vsize=284436 CPUtime=0.29 cores=0,2,4,6
/proc/3538/task/3542/stat : 3542 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 556 0 0 0 29 0 0 0 25 0 4 0 652025602 291262464 1990 33554432000 4194304 4650419 140735210107248 18446744073709551615 4340874 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284436

[startup+0.700792 s]
/proc/loadavg: 7.56 8.01 8.05 7/231 3538
/proc/meminfo: memFree=19328876/32950928 swapFree=64721848/67111528
[pid=3538] ppid=3536 vsize=285196 CPUtime=2.78 cores=0,2,4,6
/proc/3538/stat : 3538 (strangenight1-m) R 3536 3538 2957 0 -1 4202496 5150 0 0 0 278 0 0 0 25 0 4 0 652025602 292040704 2664 33554432000 4194304 4650419 140735210107248 18446744073709551615 4367518 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3538/statm: 71299 2664 391 112 0 66264 0
[pid=3538/tid=3540] ppid=3536 vsize=285196 CPUtime=0.69 cores=0,2,4,6
/proc/3538/task/3540/stat : 3540 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 1192 0 0 0 69 0 0 0 25 0 4 0 652025602 292040704 2664 33554432000 4194304 4650419 140735210107248 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3538/tid=3541] ppid=3536 vsize=285196 CPUtime=0.69 cores=0,2,4,6
/proc/3538/task/3541/stat : 3541 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 1227 0 0 0 69 0 0 0 25 0 4 0 652025602 292040704 2664 33554432000 4194304 4650419 140735210107248 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3538/tid=3542] ppid=3536 vsize=285196 CPUtime=0.69 cores=0,2,4,6
/proc/3538/task/3542/stat : 3542 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 1101 0 0 0 69 0 0 0 25 0 4 0 652025602 292040704 2665 33554432000 4194304 4650419 140735210107248 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285196

[startup+1.50065 s]
/proc/loadavg: 7.56 8.01 8.05 10/236 3543
/proc/meminfo: memFree=19299244/32950928 swapFree=64721848/67111528
[pid=3538] ppid=3536 vsize=282496 CPUtime=5.97 cores=0,2,4,6
/proc/3538/stat : 3538 (strangenight1-m) R 3536 3538 2957 0 -1 4202496 10128 0 0 0 596 1 0 0 25 0 4 0 652025602 289275904 5430 33554432000 4194304 4650419 140735210107248 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3538/statm: 70624 5430 393 112 0 65589 0
[pid=3538/tid=3540] ppid=3536 vsize=282496 CPUtime=1.49 cores=0,2,4,6
/proc/3538/task/3540/stat : 3540 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 2927 0 0 0 149 0 0 0 25 0 4 0 652025602 289275904 5430 33554432000 4194304 4650419 140735210107248 18446744073709551615 4439127 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3538/tid=3541] ppid=3536 vsize=282496 CPUtime=1.49 cores=0,2,4,6
/proc/3538/task/3541/stat : 3541 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 2065 0 0 0 149 0 0 0 25 0 4 0 652025602 289275904 5430 33554432000 4194304 4650419 140735210107248 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3538/tid=3542] ppid=3536 vsize=282496 CPUtime=1.48 cores=0,2,4,6
/proc/3538/task/3542/stat : 3542 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 1874 0 0 0 148 0 0 0 25 0 4 0 652025602 289275904 5430 33554432000 4194304 4650419 140735210107248 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 282496

[startup+3.10037 s]
/proc/loadavg: 7.68 8.02 8.05 9/236 3543
/proc/meminfo: memFree=19261176/32950928 swapFree=64721848/67111528
[pid=3538] ppid=3536 vsize=286304 CPUtime=12.36 cores=0,2,4,6
/proc/3538/stat : 3538 (strangenight1-m) R 3536 3538 2957 0 -1 4202496 16859 0 0 0 1234 2 0 0 25 0 4 0 652025602 293175296 9906 33554432000 4194304 4650419 140735210107248 18446744073709551615 4438378 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3538/statm: 71576 9906 393 112 0 66541 0
[pid=3538/tid=3540] ppid=3536 vsize=286304 CPUtime=3.08 cores=0,2,4,6
/proc/3538/task/3540/stat : 3540 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 3993 0 0 0 308 0 0 0 25 0 4 0 652025602 293175296 9906 33554432000 4194304 4650419 140735210107248 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3538/tid=3541] ppid=3536 vsize=286304 CPUtime=3.09 cores=0,2,4,6
/proc/3538/task/3541/stat : 3541 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 4058 0 0 0 309 0 0 0 25 0 4 0 652025602 293175296 9906 33554432000 4194304 4650419 140735210107248 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3538/tid=3542] ppid=3536 vsize=286304 CPUtime=3.06 cores=0,2,4,6
/proc/3538/task/3542/stat : 3542 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 4178 0 0 0 306 0 0 0 25 0 4 0 652025602 293175296 9906 33554432000 4194304 4650419 140735210107248 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 286304

[startup+6.30081 s]
/proc/loadavg: 7.68 8.02 8.05 9/236 3543
/proc/meminfo: memFree=19238244/32950928 swapFree=64721848/67111528
[pid=3538] ppid=3536 vsize=295148 CPUtime=25.14 cores=0,2,4,6
/proc/3538/stat : 3538 (strangenight1-m) R 3536 3538 2957 0 -1 4202496 24559 0 0 0 2510 4 0 0 25 0 4 0 652025602 302231552 12828 33554432000 4194304 4650419 140735210107248 18446744073709551615 4364792 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3538/statm: 73787 12828 393 112 0 68752 0
[pid=3538/tid=3540] ppid=3536 vsize=295148 CPUtime=6.29 cores=0,2,4,6
/proc/3538/task/3540/stat : 3540 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 6420 0 0 0 628 1 0 0 25 0 4 0 652025602 302231552 12828 33554432000 4194304 4650419 140735210107248 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3538/tid=3541] ppid=3536 vsize=295148 CPUtime=6.28 cores=0,2,4,6
/proc/3538/task/3541/stat : 3541 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 6670 0 0 0 628 0 0 0 25 0 4 0 652025602 302231552 12828 33554432000 4194304 4650419 140735210107248 18446744073709551615 4419584 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3538/tid=3542] ppid=3536 vsize=295148 CPUtime=6.25 cores=0,2,4,6
/proc/3538/task/3542/stat : 3542 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 5713 0 0 0 624 1 0 0 25 0 4 0 652025602 302231552 12828 33554432000 4194304 4650419 140735210107248 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 295148

[startup+12.7007 s]
/proc/loadavg: 7.73 8.02 8.05 9/236 3543
/proc/meminfo: memFree=19201948/32950928 swapFree=64721848/67111528
[pid=3538] ppid=3536 vsize=305304 CPUtime=50.69 cores=0,2,4,6
/proc/3538/stat : 3538 (strangenight1-m) R 3536 3538 2957 0 -1 4202496 37010 0 0 0 5062 7 0 0 25 0 4 0 652025602 312631296 17673 33554432000 4194304 4650419 140735210107248 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3538/statm: 76326 17673 393 112 0 71291 0
[pid=3538/tid=3540] ppid=3536 vsize=305304 CPUtime=12.68 cores=0,2,4,6
/proc/3538/task/3540/stat : 3540 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 10149 0 0 0 1267 1 0 0 25 0 4 0 652025602 312631296 17673 33554432000 4194304 4650419 140735210107248 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3538/tid=3541] ppid=3536 vsize=305304 CPUtime=12.69 cores=0,2,4,6
/proc/3538/task/3541/stat : 3541 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 10174 0 0 0 1267 2 0 0 25 0 4 0 652025602 312631296 17673 33554432000 4194304 4650419 140735210107248 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3538/tid=3542] ppid=3536 vsize=305304 CPUtime=12.6 cores=0,2,4,6
/proc/3538/task/3542/stat : 3542 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 8423 0 0 0 1259 1 0 0 25 0 4 0 652025602 312631296 17673 33554432000 4194304 4650419 140735210107248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 305304

[startup+25.5004 s]
/proc/loadavg: 7.77 8.02 8.05 9/236 3544
/proc/meminfo: memFree=19142300/32950928 swapFree=64721848/67111528
[pid=3538] ppid=3536 vsize=323116 CPUtime=101.8 cores=0,2,4,6
/proc/3538/stat : 3538 (strangenight1-m) R 3536 3538 2957 0 -1 4202496 55924 0 0 0 10169 11 0 0 25 0 4 0 652025602 330870784 25678 33554432000 4194304 4650419 140735210107248 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3538/statm: 80779 25678 393 112 0 75744 0
[pid=3538/tid=3540] ppid=3536 vsize=323116 CPUtime=25.48 cores=0,2,4,6
/proc/3538/task/3540/stat : 3540 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 16300 0 0 0 2546 2 0 0 25 0 4 0 652025602 330870784 25678 33554432000 4194304 4650419 140735210107248 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3538/tid=3541] ppid=3536 vsize=323116 CPUtime=25.49 cores=0,2,4,6
/proc/3538/task/3541/stat : 3541 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 16511 0 0 0 2545 4 0 0 25 0 4 0 652025602 330870784 25678 33554432000 4194304 4650419 140735210107248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3538/tid=3542] ppid=3536 vsize=323116 CPUtime=25.31 cores=0,2,4,6
/proc/3538/task/3542/stat : 3542 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 11429 0 0 0 2529 2 0 0 25 0 4 0 652025602 330870784 25679 33554432000 4194304 4650419 140735210107248 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 323116

[startup+51.1009 s]
/proc/loadavg: 7.91 8.03 8.05 9/236 3544
/proc/meminfo: memFree=19122200/32950928 swapFree=64721848/67111528
[pid=3538] ppid=3536 vsize=324848 CPUtime=204.03 cores=0,2,4,6
/proc/3538/stat : 3538 (strangenight1-m) R 3536 3538 2957 0 -1 4202496 79040 0 0 0 20385 18 0 0 25 0 4 0 652025602 332644352 30494 33554432000 4194304 4650419 140735210107248 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3538/statm: 81212 30494 393 112 0 76177 0
[pid=3538/tid=3540] ppid=3536 vsize=324848 CPUtime=51.08 cores=0,2,4,6
/proc/3538/task/3540/stat : 3540 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 25623 0 0 0 5103 5 0 0 25 0 4 0 652025602 332644352 30494 33554432000 4194304 4650419 140735210107248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3538/tid=3541] ppid=3536 vsize=324848 CPUtime=51.08 cores=0,2,4,6
/proc/3538/task/3541/stat : 3541 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 25360 0 0 0 5102 6 0 0 25 0 4 0 652025602 332644352 30494 33554432000 4194304 4650419 140735210107248 18446744073709551615 4341524 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3538/tid=3542] ppid=3536 vsize=324848 CPUtime=50.74 cores=0,2,4,6
/proc/3538/task/3542/stat : 3542 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 15457 0 0 0 5070 4 0 0 25 0 4 0 652025602 332644352 30494 33554432000 4194304 4650419 140735210107248 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.03
Current children cumulated vsize (KiB) 324848

[startup+102.301 s]
/proc/loadavg: 7.96 8.03 8.05 9/236 3546
/proc/meminfo: memFree=19069592/32950928 swapFree=64721848/67111528
[pid=3538] ppid=3536 vsize=317988 CPUtime=408.49 cores=0,2,4,6
/proc/3538/stat : 3538 (strangenight1-m) R 3536 3538 2957 0 -1 4202496 128294 0 0 0 40816 33 0 0 25 0 4 0 652025602 325619712 38489 33554432000 4194304 4650419 140735210107248 18446744073709551615 4365327 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3538/statm: 79497 38489 393 112 0 74462 0
[pid=3538/tid=3540] ppid=3536 vsize=317988 CPUtime=102.29 cores=0,2,4,6
/proc/3538/task/3540/stat : 3540 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 40744 0 0 0 10220 9 0 0 25 0 4 0 652025602 325619712 38491 33554432000 4194304 4650419 140735210107248 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3538/tid=3541] ppid=3536 vsize=317988 CPUtime=102.28 cores=0,2,4,6
/proc/3538/task/3541/stat : 3541 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 41240 0 0 0 10217 11 0 0 25 0 4 0 652025602 325619712 38491 33554432000 4194304 4650419 140735210107248 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3538/tid=3542] ppid=3536 vsize=317988 CPUtime=101.6 cores=0,2,4,6
/proc/3538/task/3542/stat : 3542 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 23109 0 0 0 10153 7 0 0 25 0 4 0 652025602 325619712 38491 33554432000 4194304 4650419 140735210107248 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.49
Current children cumulated vsize (KiB) 317988

[startup+162.3 s]

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

[pid=3538] ppid=3536 vsize=514392 CPUtime=2804.16 cores=0,2,4,6
/proc/3538/stat : 3538 (strangenight1-m) R 3536 3538 2957 0 -1 4202496 417049 0 0 0 280272 144 0 0 25 0 4 0 652025602 526737408 92652 33554432000 4194304 4650419 140735210107248 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3538/statm: 128598 92652 393 112 0 123563 0
[pid=3538/tid=3540] ppid=3536 vsize=514392 CPUtime=702.29 cores=0,2,4,6
/proc/3538/task/3540/stat : 3540 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 123481 0 0 0 70193 36 0 0 25 0 4 0 652025602 526737408 92652 33554432000 4194304 4650419 140735210107248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3538/tid=3541] ppid=3536 vsize=514392 CPUtime=702.22 cores=0,2,4,6
/proc/3538/task/3541/stat : 3541 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 138593 0 0 0 70174 48 0 0 25 0 4 0 652025602 526737408 92652 33554432000 4194304 4650419 140735210107248 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3538/tid=3542] ppid=3536 vsize=514392 CPUtime=697.31 cores=0,2,4,6
/proc/3538/task/3542/stat : 3542 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 71271 0 0 0 69705 26 0 0 25 0 4 0 652025602 526737408 92652 33554432000 4194304 4650419 140735210107248 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2804.16
Current children cumulated vsize (KiB) 514392

[startup+762.3 s]
/proc/loadavg: 8.00 8.04 8.02 9/236 3563
/proc/meminfo: memFree=18689992/32950928 swapFree=64721848/67111528
[pid=3538] ppid=3536 vsize=580104 CPUtime=3043.74 cores=0,2,4,6
/proc/3538/stat : 3538 (strangenight1-m) R 3536 3538 2957 0 -1 4202496 433894 0 0 0 304224 150 0 0 25 0 4 0 652025602 594026496 95034 33554432000 4194304 4650419 140735210107248 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3538/statm: 145026 95034 393 112 0 139991 0
[pid=3538/tid=3540] ppid=3536 vsize=580104 CPUtime=762.3 cores=0,2,4,6
/proc/3538/task/3540/stat : 3540 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 126788 0 0 0 76193 37 0 0 25 0 4 0 652025602 594026496 95034 33554432000 4194304 4650419 140735210107248 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3538/tid=3541] ppid=3536 vsize=580104 CPUtime=762.22 cores=0,2,4,6
/proc/3538/task/3541/stat : 3541 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 146383 0 0 0 76171 51 0 0 25 0 4 0 652025602 594026496 95034 33554432000 4194304 4650419 140735210107248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3538/tid=3542] ppid=3536 vsize=580104 CPUtime=756.89 cores=0,2,4,6
/proc/3538/task/3542/stat : 3542 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 73681 0 0 0 75662 27 0 0 25 0 4 0 652025602 594026496 95034 33554432000 4194304 4650419 140735210107248 18446744073709551615 4365692 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3043.74
Current children cumulated vsize (KiB) 580104

[startup+822.301 s]
/proc/loadavg: 8.00 8.03 8.02 9/236 3565
/proc/meminfo: memFree=18698152/32950928 swapFree=64721848/67111528
[pid=3538] ppid=3536 vsize=567396 CPUtime=3283.29 cores=0,2,4,6
/proc/3538/stat : 3538 (strangenight1-m) R 3536 3538 2957 0 -1 4202496 451884 0 0 0 328170 159 0 0 25 0 4 0 652025602 581013504 87338 33554432000 4194304 4650419 140735210107248 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3538/statm: 141849 87338 393 112 0 136814 0
[pid=3538/tid=3540] ppid=3536 vsize=567396 CPUtime=822.3 cores=0,2,4,6
/proc/3538/task/3540/stat : 3540 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 130261 0 0 0 82190 40 0 0 25 0 4 0 652025602 581013504 87338 33554432000 4194304 4650419 140735210107248 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3538/tid=3541] ppid=3536 vsize=567396 CPUtime=822.21 cores=0,2,4,6
/proc/3538/task/3541/stat : 3541 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 154887 0 0 0 82167 54 0 0 25 0 4 0 652025602 581013504 87338 33554432000 4194304 4650419 140735210107248 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3538/tid=3542] ppid=3536 vsize=567396 CPUtime=816.45 cores=0,2,4,6
/proc/3538/task/3542/stat : 3542 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 76794 0 0 0 81616 29 0 0 25 0 4 0 652025602 581013504 87338 33554432000 4194304 4650419 140735210107248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3283.29
Current children cumulated vsize (KiB) 567396

[startup+882.308 s]
/proc/loadavg: 8.00 8.02 8.01 9/236 3567
/proc/meminfo: memFree=18676784/32950928 swapFree=64721848/67111528
[pid=3538] ppid=3536 vsize=567508 CPUtime=3522.88 cores=0,2,4,6
/proc/3538/stat : 3538 (strangenight1-m) R 3536 3538 2957 0 -1 4202496 467811 0 0 0 352119 169 0 0 25 0 4 0 652025602 581128192 89892 33554432000 4194304 4650419 140735210107248 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3538/statm: 141877 89892 393 112 0 136842 0
[pid=3538/tid=3540] ppid=3536 vsize=567508 CPUtime=882.3 cores=0,2,4,6
/proc/3538/task/3540/stat : 3540 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 133333 0 0 0 88189 41 0 0 25 0 4 0 652025602 581128192 89892 33554432000 4194304 4650419 140735210107248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3538/tid=3541] ppid=3536 vsize=567508 CPUtime=882.21 cores=0,2,4,6
/proc/3538/task/3541/stat : 3541 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 162115 0 0 0 88163 58 0 0 25 0 4 0 652025602 581128192 89892 33554432000 4194304 4650419 140735210107248 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3538/tid=3542] ppid=3536 vsize=567508 CPUtime=876.02 cores=0,2,4,6
/proc/3538/task/3542/stat : 3542 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 79582 0 0 0 87572 30 0 0 25 0 4 0 652025602 581128192 89892 33554432000 4194304 4650419 140735210107248 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3522.88
Current children cumulated vsize (KiB) 567508

[startup+942.301 s]
/proc/loadavg: 8.06 8.03 8.01 9/236 3568
/proc/meminfo: memFree=18632348/32950928 swapFree=64721848/67111528
[pid=3538] ppid=3536 vsize=567608 CPUtime=3762.42 cores=0,2,4,6
/proc/3538/stat : 3538 (strangenight1-m) R 3536 3538 2957 0 -1 4202496 488580 0 0 0 376063 179 0 0 25 0 4 0 652025602 581230592 98722 33554432000 4194304 4650419 140735210107248 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3538/statm: 141902 98722 393 112 0 136867 0
[pid=3538/tid=3540] ppid=3536 vsize=567608 CPUtime=942.3 cores=0,2,4,6
/proc/3538/task/3540/stat : 3540 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 138749 0 0 0 94186 44 0 0 25 0 4 0 652025602 581230592 98723 33554432000 4194304 4650419 140735210107248 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3538/tid=3541] ppid=3536 vsize=567608 CPUtime=942.2 cores=0,2,4,6
/proc/3538/task/3541/stat : 3541 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 170528 0 0 0 94159 61 0 0 25 0 4 0 652025602 581230592 98723 33554432000 4194304 4650419 140735210107248 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3538/tid=3542] ppid=3536 vsize=567608 CPUtime=935.58 cores=0,2,4,6
/proc/3538/task/3542/stat : 3542 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 83275 0 0 0 93526 32 0 0 25 0 4 0 652025602 581230592 98723 33554432000 4194304 4650419 140735210107248 18446744073709551615 4240915 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3762.42
Current children cumulated vsize (KiB) 567608

[startup+1002.3 s]
/proc/loadavg: 8.11 8.05 8.02 9/236 3570
/proc/meminfo: memFree=18663196/32950928 swapFree=64721848/67111528
[pid=3538] ppid=3536 vsize=567728 CPUtime=4001.97 cores=0,2,4,6
/proc/3538/stat : 3538 (strangenight1-m) R 3536 3538 2957 0 -1 4202496 505310 0 0 0 400010 187 0 0 25 0 4 0 652025602 581353472 94739 33554432000 4194304 4650419 140735210107248 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3538/statm: 141932 94739 393 112 0 136897 0
[pid=3538/tid=3540] ppid=3536 vsize=567728 CPUtime=1002.3 cores=0,2,4,6
/proc/3538/task/3540/stat : 3540 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 142561 0 0 0 100183 47 0 0 25 0 4 0 652025602 581353472 94739 33554432000 4194304 4650419 140735210107248 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3538/tid=3541] ppid=3536 vsize=567728 CPUtime=1002.19 cores=0,2,4,6
/proc/3538/task/3541/stat : 3541 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 178179 0 0 0 100155 64 0 0 25 0 4 0 652025602 581353472 94739 33554432000 4194304 4650419 140735210107248 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3538/tid=3542] ppid=3536 vsize=567728 CPUtime=995.15 cores=0,2,4,6
/proc/3538/task/3542/stat : 3542 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 85412 0 0 0 99481 34 0 0 25 0 4 0 652025602 581353472 94739 33554432000 4194304 4650419 140735210107248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4001.97
Current children cumulated vsize (KiB) 567728

[startup+1062.3 s]
/proc/loadavg: 8.20 8.08 8.03 9/236 3571
/proc/meminfo: memFree=18619528/32950928 swapFree=64721848/67111528
[pid=3538] ppid=3536 vsize=646856 CPUtime=4241.55 cores=0,2,4,6
/proc/3538/stat : 3538 (strangenight1-m) R 3536 3538 2957 0 -1 4202496 524901 0 0 0 423959 196 0 0 25 0 4 0 652025602 662380544 102261 33554432000 4194304 4650419 140735210107248 18446744073709551615 4433048 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3538/statm: 161714 102261 393 112 0 156679 0
[pid=3538/tid=3540] ppid=3536 vsize=646856 CPUtime=1062.3 cores=0,2,4,6
/proc/3538/task/3540/stat : 3540 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 148842 0 0 0 106180 50 0 0 25 0 4 0 652025602 662380544 102261 33554432000 4194304 4650419 140735210107248 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3538/tid=3541] ppid=3536 vsize=646856 CPUtime=1062.19 cores=0,2,4,6
/proc/3538/task/3541/stat : 3541 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 185458 0 0 0 106152 67 0 0 25 0 4 0 652025602 662380544 102261 33554432000 4194304 4650419 140735210107248 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3538/tid=3542] ppid=3536 vsize=646856 CPUtime=1054.72 cores=0,2,4,6
/proc/3538/task/3542/stat : 3542 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 88479 0 0 0 105437 35 0 0 25 0 4 0 652025602 662380544 102261 33554432000 4194304 4650419 140735210107248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4241.55
Current children cumulated vsize (KiB) 646856

[startup+1122.3 s]
/proc/loadavg: 8.15 8.08 8.03 9/236 3573
/proc/meminfo: memFree=18564688/32950928 swapFree=64721848/67111528
[pid=3538] ppid=3536 vsize=648640 CPUtime=4481.08 cores=0,2,4,6
/proc/3538/stat : 3538 (strangenight1-m) R 3536 3538 2957 0 -1 4202496 533162 0 0 0 447910 198 0 0 25 0 4 0 652025602 664207360 110517 33554432000 4194304 4650419 140735210107248 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3538/statm: 162160 110517 393 112 0 157125 0
[pid=3538/tid=3540] ppid=3536 vsize=648640 CPUtime=1122.3 cores=0,2,4,6
/proc/3538/task/3540/stat : 3540 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 148842 0 0 0 112180 50 0 0 25 0 4 0 652025602 664207360 110517 33554432000 4194304 4650419 140735210107248 18446744073709551615 4476812 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3538/tid=3541] ppid=3536 vsize=648640 CPUtime=1122.18 cores=0,2,4,6
/proc/3538/task/3541/stat : 3541 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 191279 0 0 0 112150 68 0 0 25 0 4 0 652025602 664207360 110517 33554432000 4194304 4650419 140735210107248 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3538/tid=3542] ppid=3536 vsize=648640 CPUtime=1114.26 cores=0,2,4,6
/proc/3538/task/3542/stat : 3542 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 89761 0 0 0 111390 36 0 0 25 0 4 0 652025602 664207360 110517 33554432000 4194304 4650419 140735210107248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4481.08
Current children cumulated vsize (KiB) 648640

[startup+1182.3 s]
/proc/loadavg: 8.12 8.08 8.03 9/236 3575
/proc/meminfo: memFree=18572324/32950928 swapFree=64721848/67111528
[pid=3538] ppid=3536 vsize=655712 CPUtime=4720.65 cores=0,2,4,6
/proc/3538/stat : 3538 (strangenight1-m) R 3536 3538 2957 0 -1 4202496 549487 0 0 0 471861 204 0 0 25 0 4 0 652025602 671449088 110803 33554432000 4194304 4650419 140735210107248 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3538/statm: 163928 110803 393 112 0 158893 0
[pid=3538/tid=3540] ppid=3536 vsize=655712 CPUtime=1182.3 cores=0,2,4,6
/proc/3538/task/3540/stat : 3540 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 148842 0 0 0 118180 50 0 0 25 0 4 0 652025602 671449088 110803 33554432000 4194304 4650419 140735210107248 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3538/tid=3541] ppid=3536 vsize=655712 CPUtime=1182.17 cores=0,2,4,6
/proc/3538/task/3541/stat : 3541 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 202580 0 0 0 118147 70 0 0 25 0 4 0 652025602 671449088 110803 33554432000 4194304 4650419 140735210107248 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3538/tid=3542] ppid=3536 vsize=655712 CPUtime=1173.83 cores=0,2,4,6
/proc/3538/task/3542/stat : 3542 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 91133 0 0 0 117346 37 0 0 25 0 4 0 652025602 671449088 110803 33554432000 4194304 4650419 140735210107248 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4720.65
Current children cumulated vsize (KiB) 655712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.2 s]
/proc/loadavg: 8.08 8.08 8.02 10/236 3575
/proc/meminfo: memFree=18557676/32950928 swapFree=64721848/67111528
[pid=3538] ppid=3536 vsize=655712 CPUtime=4800.12 cores=0,2,4,6
/proc/3538/stat : 3538 (strangenight1-m) R 3536 3538 2957 0 -1 4202496 558781 0 0 0 479806 206 0 0 25 0 4 0 652025602 671449088 113802 33554432000 4194304 4650419 140735210107248 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3538/statm: 163928 113802 393 112 0 158893 0
[pid=3538/tid=3540] ppid=3536 vsize=655712 CPUtime=1202.21 cores=0,2,4,6
/proc/3538/task/3540/stat : 3540 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 148842 0 0 0 120171 50 0 0 25 0 4 0 652025602 671449088 113802 33554432000 4194304 4650419 140735210107248 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3538/tid=3541] ppid=3536 vsize=655712 CPUtime=1202.08 cores=0,2,4,6
/proc/3538/task/3541/stat : 3541 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 209024 0 0 0 120137 71 0 0 25 0 4 0 652025602 671449088 113802 33554432000 4194304 4650419 140735210107248 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3538/tid=3542] ppid=3536 vsize=655712 CPUtime=1193.58 cores=0,2,4,6
/proc/3538/task/3542/stat : 3542 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 92829 0 0 0 119320 38 0 0 25 0 4 0 652025602 671449088 113802 33554432000 4194304 4650419 140735210107248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 655712

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

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

[startup+1202.2 s]
/proc/loadavg: 8.08 8.08 8.02 10/236 3575
/proc/meminfo: memFree=18557676/32950928 swapFree=64721848/67111528
[pid=3538] ppid=3536 vsize=655712 CPUtime=4800.12 cores=0,2,4,6
/proc/3538/stat : 3538 (strangenight1-m) R 3536 3538 2957 0 -1 4202496 558781 0 0 0 479806 206 0 0 25 0 4 0 652025602 671449088 113802 33554432000 4194304 4650419 140735210107248 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3538/statm: 163928 113802 393 112 0 158893 0
[pid=3538/tid=3540] ppid=3536 vsize=655712 CPUtime=1202.21 cores=0,2,4,6
/proc/3538/task/3540/stat : 3540 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 148842 0 0 0 120171 50 0 0 25 0 4 0 652025602 671449088 113802 33554432000 4194304 4650419 140735210107248 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3538/tid=3541] ppid=3536 vsize=655712 CPUtime=1202.08 cores=0,2,4,6
/proc/3538/task/3541/stat : 3541 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 209024 0 0 0 120137 71 0 0 25 0 4 0 652025602 671449088 113802 33554432000 4194304 4650419 140735210107248 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3538/tid=3542] ppid=3536 vsize=655712 CPUtime=1193.58 cores=0,2,4,6
/proc/3538/task/3542/stat : 3542 (strangenight1-m) R 3536 3538 2957 0 -1 4202560 92829 0 0 0 119320 38 0 0 25 0 4 0 652025602 671449088 113802 33554432000 4194304 4650419 140735210107248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 655712

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.24
CPU time (s): 4800.18
CPU user time (s): 4798.09
CPU system time (s): 2.08868
CPU usage (%): 399.271
Max. virtual memory (cumulated for all children) (KiB): 702556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.09
system time used= 2.08868
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 558782
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= 200
involuntary context switches= 34437

runsolver used 2.57761 second user time and 6.08408 second system time

The end

Launcher Data 

Begin job on node123 at 2011-05-14 22:17:38
IDJOB=3368841
IDBENCH=82850
IDSOLVER=1846
FILE ID=node123/3368841-1305404258
RUNJOBID= node123-1305404258-3510
PBS_JOBID= 13324482
Free space on /tmp= 73364 MiB

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

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

MD5SUM BENCH= eb55252a6fac55d328f4d31fcc6e53bd
RANDOM SEED=2006245935

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      19329280 kB
Buffers:        297244 kB
Cached:        3991204 kB
SwapCached:      10528 kB
Active:       10616220 kB
Inactive:      2737468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      19329280 kB
SwapTotal:    67111528 kB
SwapFree:     64721848 kB
Dirty:           12436 kB
Writeback:           0 kB
AnonPages:     9061800 kB
Mapped:          15788 kB
Slab:           176212 kB
PageTables:      31284 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 13066052 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= 73352 MiB
End job on node123 at 2011-05-14 22:37:42