Trace number 3175232

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.11 1201.63

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-3175232-1304102130.cnf'
0.00/0.00	c -- header says num vars:            100
0.00/0.00	c -- header says num clauses:        2130
0.00/0.00	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.00	c -- vars added        100
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	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.37/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.77/0.79	c  F st    12     25000       100      2130         0     11730     10650    234778   no data   no data  --
2.77/0.79	c  N st    12     25000       100      2130         0     11730     10650    234778   no data   no data  --
3.57/0.99	c Decided on static restart strategy
3.57/0.99	c  N st    18     30000       100      2130         0     10073     10650    186409   no data   no data  --
3.57/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.45	c lits-rem:      1918  cl-subs:     1822  v-elim:      0  v-fix:    0  time:  1.70 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.76/1.79	c  N st    20     37614       100      2130         0      8069     10650    132474   no data   no data  --
7.96/2.06	c  N st    21     44013       100      2130         0     13974     10650    259884   no data   no data  --
8.38/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.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
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.37	c lits-rem:      3459  cl-subs:     2104  v-elim:      0  v-fix:    0  time:  4.60 s
13.17/3.37	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.55/3.44	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.24
13.55/3.44	c calculated reachability. Time: 0.00
13.55/3.44	c  N st    22     46257       100      2130         0     13955     10650    256375   no data   no data  --
16.76/4.25	c  N st    23     60656       100      2130         0      9821     10650    145442   no data   no data  --
18.75/4.70	c  N st    24     69386       100      2130         0     17883     10650    316388   no data   no data  --
18.75/4.70	c  S st    24     69386       100      2130         0     17883     10650    316388   no data   no data  --
18.75/4.75	c  S st    24     69889       100      2130         0     18365     10650    326871   no data   no data  --
18.75/4.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
18.75/4.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.75/4.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
18.75/4.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18.75/4.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.75/4.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
18.75/4.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
23.95/6.05	c lits-rem:      3299  cl-subs:     2583  v-elim:      0  v-fix:    0  time:  5.13 s
23.95/6.05	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
23.95/6.05	c vivif2 --  cl tried    15782 cl shrink        0 lits rem          0 time: 0.01
24.35/6.12	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.28
24.35/6.12	c calculated reachability. Time: 0.00
24.35/6.12	c  N st    24     69889       100      2130         0     15782     10650    271845   no data   no data  --
28.33/7.19	c  F st    25     87500       100      2130         0     22008     10650    394101   no data   no data  --
28.33/7.19	c  N st    25     87500       100      2130         0     22008     10650    394101   no data   no data  --
29.53/7.45	c Decided on static restart strategy
29.93/7.59	c  N st    32     95535       100      2130         0     18525     10650    319914   no data   no data  --
32.33/8.16	c  N st    34    104833       100      2130         0     15119     10650    240615   no data   no data  --
32.33/8.16	c  S st    34    104833       100      2130         0     15119     10650    240615   no data   no data  --
32.73/8.21	c  S st    34    105336       100      2130         0     15601     10650    251322   no data   no data  --
32.73/8.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
32.73/8.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
32.73/8.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
32.73/8.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
32.73/8.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
32.73/8.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
32.73/8.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
36.73/9.22	c lits-rem:      1494  cl-subs:     1166  v-elim:      0  v-fix:    0  time:  4.01 s
36.73/9.22	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
36.73/9.23	c vivif2 --  cl tried    14435 cl shrink        0 lits rem          0 time: 0.01
36.73/9.29	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.26
36.73/9.29	c calculated reachability. Time: 0.00
36.73/9.29	c  N st    34    105336       100      2130         0     14435     10650    225745   no data   no data  --
39.55/9.93	c  N st    35    114934       100      2130         0     23282     10650    421340   no data   no data  --
43.12/10.87	c  N st    36    129331       100      2130         0     23659     10650    409030   no data   no data  --
49.11/12.38	c  N st    37    150926       100      2130         0     14966     10650    197573   no data   no data  --
51.10/12.83	c  S st    38    158004       100      2130         0     21527     10650    342399   no data   no data  --
51.10/12.89	c  S st    38    158512       100      2130         0     22014     10650    353061   no data   no data  --
51.10/12.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
51.10/12.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.10/12.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
51.51/12.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
51.51/12.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.51/12.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
51.51/12.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
56.31/14.18	c lits-rem:      4338  cl-subs:     2117  v-elim:      0  v-fix:    0  time:  5.11 s
56.31/14.18	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
56.31/14.19	c vivif2 --  cl tried    19897 cl shrink        0 lits rem          0 time: 0.01
56.72/14.27	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.34
56.72/14.28	c calculated reachability. Time: 0.00
56.72/14.28	c  N st    38    158512       100      2130         0     19897     10650    304742   no data   no data  --
72.28/18.14	c  N st    39    207101       100      2130         0     32542     10650    558231   no data   no data  --
81.87/20.56	c  N st    40    237769       100      2130         0     24842     10650    379470   no data   no data  --
81.87/20.56	c  S st    40    237769       100      2130         0     24842     10650    379470   no data   no data  --
82.27/20.62	c  S st    40    238272       100      2130         0     25326     10650    390355   no data   no data  --
82.27/20.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
82.27/20.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
82.27/20.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
82.27/20.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
82.27/20.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.27/20.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
82.27/20.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
88.26/22.11	c lits-rem:      3681  cl-subs:     2167  v-elim:      0  v-fix:    0  time:  5.86 s
88.26/22.11	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
88.26/22.11	c vivif2 --  cl tried    23159 cl shrink        0 lits rem          0 time: 0.02
88.66/22.21	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.38
88.66/22.21	c calculated reachability. Time: 0.00
88.66/22.21	c  N st    40    238272       100      2130         0     23159     10650    341951   no data   no data  --
114.24/28.68	c  F st    41    306250       100      2130         0     25102     10650    344561   no data   no data  --
114.24/28.68	c  N st    41    306250       100      2130         0     25102     10650    344561   no data   no data  --
116.22/29.14	c Decided on static restart strategy
124.61/31.29	c  N st    51    334556       100      2130         0     29221     10650    424016   no data   no data  --
135.00/33.80	c  N st    53    357408       100      2130         0     27238     10650    369304   no data   no data  --
135.00/33.80	c  S st    53    357408       100      2130         0     27238     10650    369304   no data   no data  --
135.00/33.88	c  S st    53    357913       100      2130         0     27722     10650    380358   no data   no data  --
135.00/33.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
135.00/33.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
135.00/33.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
135.39/33.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
135.39/33.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
135.39/33.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
135.39/33.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
140.61/35.24	c lits-rem:      2173  cl-subs:     1305  v-elim:      0  v-fix:    0  time:  5.35 s
140.61/35.24	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
140.61/35.24	c vivif2 --  cl tried    26417 cl shrink        0 lits rem          0 time: 0.02
140.98/35.35	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.43
140.98/35.35	c calculated reachability. Time: 0.00
140.98/35.35	c  N st    53    357913       100      2130         0     26417     10650    351748   no data   no data  --
156.57/39.20	c  N st    54    390306       100      2130         0     32237     10650    458597   no data   no data  --
179.76/45.10	c  N st    55    438894       100      2130         0     26251     10650    318495   no data   no data  --
212.89/53.36	c  N st    56    511777       100      2130         0     39054     10650    579535   no data   no data  --
225.68/56.59	c  N st    57    536869       100      2130         0     33635     10650    444733   no data   no data  --
225.68/56.59	c  S st    57    536869       100      2130         0     33635     10650    444733   no data   no data  --
226.08/56.67	c  S st    57    537372       100      2130         0     34119     10650    455557   no data   no data  --
226.08/56.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
226.08/56.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
226.08/56.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
226.47/56.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
226.47/56.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
226.47/56.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
226.47/56.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
232.07/58.17	c lits-rem:      2215  cl-subs:     1718  v-elim:      0  v-fix:    0  time:  5.90 s
232.07/58.17	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
232.07/58.18	c vivif2 --  cl tried    32401 cl shrink        0 lits rem          0 time: 0.02
232.89/58.32	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.57
232.89/58.33	c calculated reachability. Time: 0.00
232.89/58.33	c  N st    57    537372       100      2130         0     32401     10650    419497   no data   no data  --
308.37/77.27	c  N st    58    701359       100      2130         0     60063     10650    982455   no data   no data  --
363.10/90.98	c  N st    59    806058       100      2130         0     54066     10650    802155   no data   no data  --
363.10/90.98	c  S st    59    806058       100      2130         0     54066     10650    802155   no data   no data  --
363.90/91.14	c  S st    59    806561       100      2130         0     54545     10650    813295   no data   no data  --
363.90/91.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
363.90/91.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
363.90/91.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
363.90/91.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
363.90/91.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
363.90/91.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
363.90/91.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
382.67/95.84	c lits-rem:      2673  cl-subs:     6619  v-elim:      0  v-fix:    0  time: 18.58 s
382.67/95.84	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
382.67/95.85	c vivif2 --  cl tried    47926 cl shrink        0 lits rem          0 time: 0.03
383.87/96.16	c asymm  cl-useful: 0/1822/2130 lits-rem:0 time: 1.22
383.87/96.16	c calculated reachability. Time: 0.00
383.87/96.16	c  N st    59    806561       100      2130         0     47926     10650    684124   no data   no data  --
536.87/134.43	c  F st    60   1071876       100      2130         0     63296     10650    942934   no data   no data  --
536.87/134.43	c  N st    60   1071876       100      2130         0     63296     10650    942934   no data   no data  --
541.26/135.50	c Decided on static restart strategy
558.43/139.85	c  N st    70   1100183       100      2130         0     48213     10650    614702   no data   no data  --
581.60/145.64	c  N st    72   1136178       100      2130         0     81422     10650   1333318   no data   no data  --
601.19/150.58	c  N st    73   1168570       100      2130         0     69089     10650   1071878   no data   no data  --
630.34/157.87	c  N st    74   1209842       100      2130         0     63684     10650    909898   no data   no data  --
630.34/157.87	c  S st    74   1209842       100      2130         0     63684     10650    909898   no data   no data  --
631.14/158.06	c  S st    74   1210346       100      2130         0     64160     10650    920643   no data   no data  --
631.14/158.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
631.14/158.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
631.14/158.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
631.54/158.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
631.54/158.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
631.54/158.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
631.54/158.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
656.70/164.47	c lits-rem:      1739  cl-subs:     6102  v-elim:      0  v-fix:    0  time: 25.39 s
656.70/164.47	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
656.70/164.48	c vivif2 --  cl tried    58058 cl shrink        0 lits rem          0 time: 0.05
658.30/164.86	c asymm  cl-useful: 0/1576/2130 lits-rem:0 time: 1.50
658.30/164.86	c calculated reachability. Time: 0.00
658.30/164.86	c  N st    74   1210346       100      2130         0     58058     10650    802385   no data   no data  --
715.03/179.08	c  N st    75   1283231       100      2130         0     80697     10650   1247066   no data   no data  --
807.71/202.28	c  N st    76   1392554       100      2130         0     90288     10650   1413990   no data   no data  --
940.35/235.41	c  N st    77   1556540       100      2130         0     97916     10650   1571860   no data   no data  --
1063.39/266.21	c  N st    78   1710347       100      2130         0     87767     10650   1339762   no data   no data  --
1063.39/266.21	c  S st    78   1710347       100      2130         0     87767     10650   1339762   no data   no data  --
1064.16/266.49	c  S st    78   1710849       100      2130         0     88238     10650   1350665   no data   no data  --
1064.16/266.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1064.16/266.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1064.56/266.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
1064.56/266.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1064.56/266.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1064.56/266.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1064.56/266.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1138.86/285.14	c lits-rem:      3846  cl-subs:    10950  v-elim:      0  v-fix:    0  time: 74.12 s
1138.86/285.14	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1138.86/285.16	c vivif2 --  cl tried    77288 cl shrink        0 lits rem          0 time: 0.06
1139.67/285.38	c asymm  cl-useful: 0/554/2130 lits-rem:0 time: 0.88
1139.67/285.38	c calculated reachability. Time: 0.00
1139.67/285.38	c  N st    78   1710849       100      2130         0     77288     10650   1142150   no data   no data  --
1472.83/368.79	c  N st    79   2079816       100      2130         0     88316     10650   1271217   no data   no data  --
1594.69/399.22	c  N st    80   2210849       100      2130         0     92672     10650   1371272   no data   no data  --
1594.69/399.22	c  S st    80   2210849       100      2130         0     92672     10650   1371272   no data   no data  --
1596.27/399.60	c  S st    80   2211350       100      2130         0     93149     10650   1382104   no data   no data  --
1596.27/399.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1596.27/399.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1596.27/399.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.20
1596.27/399.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1596.27/399.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1596.27/399.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1596.27/399.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1668.18/417.65	c lits-rem:      2646  cl-subs:    10357  v-elim:      0  v-fix:    0  time: 71.71 s
1668.18/417.65	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1668.18/417.67	c vivif2 --  cl tried    82792 cl shrink        0 lits rem          0 time: 0.07
1669.39/417.98	c asymm  cl-useful: 0/1243/2130 lits-rem:0 time: 1.25
1669.39/417.99	c calculated reachability. Time: 0.00
1669.39/417.99	c  N st    80   2211350       100      2130         0     82792     10650   1173606   no data   no data  --
2165.12/542.03	c  N st    81   2711351       100      2130         0    105460     10650   1557924   no data   no data  --
2165.12/542.03	c  S st    81   2711351       100      2130         0    105460     10650   1557924   no data   no data  --
2166.71/542.43	c  S st    81   2711856       100      2130         0    105942     10650   1569187   no data   no data  --
2166.71/542.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2166.71/542.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2166.71/542.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
2167.11/542.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2167.11/542.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2167.11/542.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2167.11/542.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2263.39/566.69	c lits-rem:       958  cl-subs:    12531  v-elim:      0  v-fix:    0  time: 96.44 s
2263.39/566.69	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2263.79/566.71	c vivif2 --  cl tried    93411 cl shrink        0 lits rem          0 time: 0.08
2264.99/567.06	c asymm  cl-useful: 0/838/2130 lits-rem:0 time: 1.38
2264.99/567.06	c calculated reachability. Time: 0.00
2264.99/567.06	c  N st    81   2711856       100      2130         0     93411     10650   1336444   no data   no data  --
2809.87/703.49	c  N st    82   3211856       100      2130         0     71483     10650    758975   no data   no data  --
2809.87/703.49	c  S st    82   3211856       100      2130         0     71483     10650    758975   no data   no data  --
2811.07/703.71	c  S st    82   3212362       100      2130         0     71972     10650    770191   no data   no data  --
2811.07/703.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2811.07/703.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2811.07/703.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.11
2811.07/703.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2811.07/703.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2811.07/703.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2811.07/703.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2829.46/708.40	c lits-rem:       322  cl-subs:      129  v-elim:      0  v-fix:    0  time: 18.46 s
2829.46/708.40	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2829.87/708.41	c vivif2 --  cl tried    71843 cl shrink        0 lits rem          0 time: 0.05
2830.64/708.69	c asymm  cl-useful: 0/1432/2130 lits-rem:0 time: 1.11
2830.64/708.69	c calculated reachability. Time: 0.00
2830.64/708.69	c  N st    82   3212362       100      2130         0     71843     10650    767168   no data   no data  --
3419.86/856.14	c  N st    83   3712364       100      2130         0     81452     10650    911821   no data   no data  --
3419.86/856.14	c  S st    83   3712364       100      2130         0     81452     10650    911821   no data   no data  --
3421.06/856.41	c  S st    83   3712873       100      2130         0     81937     10650    923355   no data   no data  --
3421.06/856.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3421.06/856.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3421.06/856.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
3421.06/856.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3421.06/856.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3421.06/856.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3421.06/856.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3443.83/862.16	c lits-rem:      1298  cl-subs:     1623  v-elim:      0  v-fix:    0  time: 22.68 s
3443.83/862.16	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3443.83/862.17	c vivif2 --  cl tried    80314 cl shrink        0 lits rem          0 time: 0.06
3444.64/862.38	c asymm  cl-useful: 0/698/2130 lits-rem:0 time: 0.85
3444.64/862.38	c calculated reachability. Time: 0.00
3444.64/862.38	c  N st    83   3712873       100      2130         0     80314     10650    892190   no data   no data  --
3484.97/872.44	c  F st    84   3751565       100      2130         0    115583     10650   1668080   no data   no data  --
3484.97/872.44	c  N st    84   3751565       100      2130         0    115583     10650   1668080   no data   no data  --
3492.16/874.22	c Decided on static restart strategy
3529.32/883.56	c  N st    94   3779869       100      2130         0    141588     10650   2237698   no data   no data  --
3574.86/894.98	c  N st    96   3815863       100      2130         0     97271     10650   1248825   no data   no data  --
3619.60/906.13	c  N st    97   3848257       100      2130         0    127032     10650   1908109   no data   no data  --
3689.51/923.63	c  N st    98   3896846       100      2130         0     92952     10650   1138981   no data   no data  --
3787.79/948.21	c  N st    99   3969728       100      2130         0     80134     10650    847581   no data   no data  --
3928.01/983.33	c  N st   100   4079052       100      2130         0     99701     10650   1262037   no data   no data  --
4109.35/1028.79	c  N st   101   4212875       100      2130         0    140325     10650   2104572   no data   no data  --
4109.35/1028.79	c  S st   101   4212875       100      2130         0    140325     10650   2104572   no data   no data  --
4111.35/1029.29	c  S st   101   4213377       100      2130         0    140801     10650   2115636   no data   no data  --
4111.35/1029.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4111.35/1029.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4111.75/1029.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.28
4112.15/1029.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4112.15/1029.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4112.15/1029.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4112.15/1029.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4360.62/1091.60	c lits-rem:      4807  cl-subs:    19440  v-elim:      0  v-fix:    0  time: 248.27 s
4360.62/1091.60	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4360.62/1091.64	c vivif2 --  cl tried   121361 cl shrink        0 lits rem          0 time: 0.13
4363.03/1092.22	c asymm  cl-useful: 0/847/2130 lits-rem:0 time: 2.33
4363.03/1092.23	c calculated reachability. Time: 0.00
4363.03/1092.23	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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3175232-1304102130/watcher-3175232-1304102130 -o /tmp/evaluation-result-3175232-1304102130/solver-3175232-1304102130 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175232-1304102130.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: 8.12 8.02 7.30 6/180 29562
/proc/meminfo: memFree=30535820/32950928 swapFree=67111464/67111528
[pid=29562] ppid=29560 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/29562/stat : 29562 (strangenight1-m) R 29560 29562 29397 0 -1 4202496 414 0 0 0 0 0 0 0 22 0 4 0 521809652 52465664 353 33554432000 4194304 4650419 140736382153328 18446744073709551615 47784768972722 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29562/statm: 12809 353 303 112 0 7774 0
[pid=29562/tid=29563] ppid=29560 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/29562/task/29563/stat : 29563 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 521809652 52465664 353 33554432000 4194304 4650419 140736382153328 18446744073709551615 254500748273 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29562/tid=29564] ppid=29560 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/29562/task/29564/stat : 29564 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 521809652 52465664 353 33554432000 4194304 4650419 140736382153328 18446744073709551615 254512489526 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29562/tid=29565] ppid=29560 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/29562/task/29565/stat : 29565 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 521809652 52465664 353 33554432000 4194304 4650419 140736382153328 18446744073709551615 47784768972726 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.097976 s]
/proc/loadavg: 8.12 8.02 7.30 6/180 29562
/proc/meminfo: memFree=30535820/32950928 swapFree=67111464/67111528
[pid=29562] ppid=29560 vsize=282836 CPUtime=0.36 cores=1,3,5,7
/proc/29562/stat : 29562 (strangenight1-m) R 29560 29562 29397 0 -1 4202496 1759 0 0 0 36 0 0 0 18 0 4 0 521809652 289624064 1614 33554432000 4194304 4650419 140736382153328 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29562/statm: 70709 1615 389 112 0 65674 0
[pid=29562/tid=29563] ppid=29560 vsize=282836 CPUtime=0.08 cores=1,3,5,7
/proc/29562/task/29563/stat : 29563 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 357 0 0 0 8 0 0 0 24 0 4 0 521809652 289624064 1615 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29562/tid=29564] ppid=29560 vsize=282836 CPUtime=0.08 cores=1,3,5,7
/proc/29562/task/29564/stat : 29564 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 370 0 0 0 8 0 0 0 18 0 4 0 521809652 289624064 1615 33554432000 4194304 4650419 140736382153328 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29562/tid=29565] ppid=29560 vsize=282836 CPUtime=0.09 cores=1,3,5,7
/proc/29562/task/29565/stat : 29565 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 252 0 0 0 9 0 0 0 18 0 4 0 521809652 289624064 1615 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 282836

[startup+0.100975 s]
/proc/loadavg: 8.12 8.02 7.30 6/180 29562
/proc/meminfo: memFree=30535820/32950928 swapFree=67111464/67111528
[pid=29562] ppid=29560 vsize=282836 CPUtime=0.37 cores=1,3,5,7
/proc/29562/stat : 29562 (strangenight1-m) R 29560 29562 29397 0 -1 4202496 1769 0 0 0 37 0 0 0 18 0 4 0 521809652 289624064 1624 33554432000 4194304 4650419 140736382153328 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29562/statm: 70709 1624 389 112 0 65674 0
[pid=29562/tid=29563] ppid=29560 vsize=282836 CPUtime=0.09 cores=1,3,5,7
/proc/29562/task/29563/stat : 29563 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 359 0 0 0 9 0 0 0 24 0 4 0 521809652 289624064 1624 33554432000 4194304 4650419 140736382153328 18446744073709551615 4328209 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29562/tid=29564] ppid=29560 vsize=282836 CPUtime=0.09 cores=1,3,5,7
/proc/29562/task/29564/stat : 29564 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 373 0 0 0 9 0 0 0 18 0 4 0 521809652 289624064 1625 33554432000 4194304 4650419 140736382153328 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29562/tid=29565] ppid=29560 vsize=282836 CPUtime=0.09 cores=1,3,5,7
/proc/29562/task/29565/stat : 29565 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 254 0 0 0 9 0 0 0 18 0 4 0 521809652 289624064 1625 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365333 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) 282836

[startup+0.300938 s]
/proc/loadavg: 8.12 8.02 7.30 6/180 29562
/proc/meminfo: memFree=30535820/32950928 swapFree=67111464/67111528
[pid=29562] ppid=29560 vsize=284724 CPUtime=1.18 cores=1,3,5,7
/proc/29562/stat : 29562 (strangenight1-m) R 29560 29562 29397 0 -1 4202496 3291 0 0 0 117 1 0 0 18 0 4 0 521809652 291557376 2014 33554432000 4194304 4650419 140736382153328 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29562/statm: 71181 2014 391 112 0 66146 0
[pid=29562/tid=29563] ppid=29560 vsize=284724 CPUtime=0.29 cores=1,3,5,7
/proc/29562/task/29563/stat : 29563 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 775 0 0 0 29 0 0 0 25 0 4 0 521809652 291557376 2014 33554432000 4194304 4650419 140736382153328 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29562/tid=29564] ppid=29560 vsize=284724 CPUtime=0.29 cores=1,3,5,7
/proc/29562/task/29564/stat : 29564 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 788 0 0 0 29 0 0 0 18 0 4 0 521809652 291557376 2014 33554432000 4194304 4650419 140736382153328 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29562/tid=29565] ppid=29560 vsize=284724 CPUtime=0.29 cores=1,3,5,7
/proc/29562/task/29565/stat : 29565 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 546 0 0 0 29 0 0 0 18 0 4 0 521809652 291557376 2014 33554432000 4194304 4650419 140736382153328 18446744073709551615 4313463 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284724

[startup+0.700857 s]
/proc/loadavg: 8.12 8.02 7.30 6/180 29562
/proc/meminfo: memFree=30535820/32950928 swapFree=67111464/67111528
[pid=29562] ppid=29560 vsize=285912 CPUtime=2.77 cores=1,3,5,7
/proc/29562/stat : 29562 (strangenight1-m) R 29560 29562 29397 0 -1 4202496 5137 0 0 0 276 1 0 0 18 0 4 0 521809652 292773888 2650 33554432000 4194304 4650419 140736382153328 18446744073709551615 4315110 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29562/statm: 71478 2650 391 112 0 66443 0
[pid=29562/tid=29563] ppid=29560 vsize=285912 CPUtime=0.69 cores=1,3,5,7
/proc/29562/task/29563/stat : 29563 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 1221 0 0 0 69 0 0 0 25 0 4 0 521809652 292773888 2650 33554432000 4194304 4650419 140736382153328 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29562/tid=29564] ppid=29560 vsize=285912 CPUtime=0.68 cores=1,3,5,7
/proc/29562/task/29564/stat : 29564 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 1241 0 0 0 68 0 0 0 18 0 4 0 521809652 292773888 2650 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29562/tid=29565] ppid=29560 vsize=285912 CPUtime=0.69 cores=1,3,5,7
/proc/29562/task/29565/stat : 29565 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 1068 0 0 0 69 0 0 0 18 0 4 0 521809652 292773888 2651 33554432000 4194304 4650419 140736382153328 18446744073709551615 4520364 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) 285912

[startup+1.5007 s]
/proc/loadavg: 8.12 8.02 7.30 5/179 29567
/proc/meminfo: memFree=31003060/32950928 swapFree=67111464/67111528
[pid=29562] ppid=29560 vsize=283472 CPUtime=5.97 cores=1,3,5,7
/proc/29562/stat : 29562 (strangenight1-m) R 29560 29562 29397 0 -1 4202496 10111 0 0 0 595 2 0 0 20 0 4 0 521809652 290275328 5411 33554432000 4194304 4650419 140736382153328 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29562/statm: 70868 5411 393 112 0 65833 0
[pid=29562/tid=29563] ppid=29560 vsize=283472 CPUtime=1.48 cores=1,3,5,7
/proc/29562/task/29563/stat : 29563 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 2956 0 0 0 148 0 0 0 25 0 4 0 521809652 290275328 5411 33554432000 4194304 4650419 140736382153328 18446744073709551615 4438378 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29562/tid=29564] ppid=29560 vsize=283472 CPUtime=1.48 cores=1,3,5,7
/proc/29562/task/29564/stat : 29564 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 2085 0 0 0 148 0 0 0 20 0 4 0 521809652 290275328 5411 33554432000 4194304 4650419 140736382153328 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29562/tid=29565] ppid=29560 vsize=283472 CPUtime=1.48 cores=1,3,5,7
/proc/29562/task/29565/stat : 29565 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 1827 0 0 0 148 0 0 0 20 0 4 0 521809652 290275328 5411 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 283472

[startup+3.10038 s]
/proc/loadavg: 7.79 7.95 7.28 6/178 29576
/proc/meminfo: memFree=30987528/32950928 swapFree=67111464/67111528
[pid=29562] ppid=29560 vsize=302028 CPUtime=12.36 cores=1,3,5,7
/proc/29562/stat : 29562 (strangenight1-m) R 29560 29562 29397 0 -1 4202496 16830 0 0 0 1233 3 0 0 25 0 4 0 521809652 309276672 9820 33554432000 4194304 4650419 140736382153328 18446744073709551615 4476297 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29562/statm: 75507 9820 393 112 0 70472 0
[pid=29562/tid=29563] ppid=29560 vsize=302028 CPUtime=3.07 cores=1,3,5,7
/proc/29562/task/29563/stat : 29563 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 3988 0 0 0 307 0 0 0 25 0 4 0 521809652 309276672 9820 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29562/tid=29564] ppid=29560 vsize=302028 CPUtime=3.08 cores=1,3,5,7
/proc/29562/task/29564/stat : 29564 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 4185 0 0 0 308 0 0 0 25 0 4 0 521809652 309276672 9820 33554432000 4194304 4650419 140736382153328 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29562/tid=29565] ppid=29560 vsize=302028 CPUtime=3.09 cores=1,3,5,7
/proc/29562/task/29565/stat : 29565 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 3983 0 0 0 308 1 0 0 25 0 4 0 521809652 309276672 9820 33554432000 4194304 4650419 140736382153328 18446744073709551615 4366950 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 302028

[startup+6.30075 s]
/proc/loadavg: 7.79 7.95 7.28 9/184 29597
/proc/meminfo: memFree=30935664/32950928 swapFree=67111464/67111528
[pid=29562] ppid=29560 vsize=311940 CPUtime=25.14 cores=1,3,5,7
/proc/29562/stat : 29562 (strangenight1-m) R 29560 29562 29397 0 -1 4202496 24301 0 0 0 2509 5 0 0 25 0 4 0 521809652 319426560 12918 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365348 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29562/statm: 77985 12918 393 112 0 72950 0
[pid=29562/tid=29563] ppid=29560 vsize=311940 CPUtime=6.25 cores=1,3,5,7
/proc/29562/task/29563/stat : 29563 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 6433 0 0 0 624 1 0 0 25 0 4 0 521809652 319426560 12918 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29562/tid=29564] ppid=29560 vsize=311940 CPUtime=6.29 cores=1,3,5,7
/proc/29562/task/29564/stat : 29564 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 6915 0 0 0 628 1 0 0 25 0 4 0 521809652 319426560 12918 33554432000 4194304 4650419 140736382153328 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29562/tid=29565] ppid=29560 vsize=311940 CPUtime=6.28 cores=1,3,5,7
/proc/29562/task/29565/stat : 29565 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 5567 0 0 0 627 1 0 0 25 0 4 0 521809652 319426560 12918 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 311940

[startup+12.7005 s]
/proc/loadavg: 7.82 7.96 7.29 9/184 29597
/proc/meminfo: memFree=30891280/32950928 swapFree=67111464/67111528
[pid=29562] ppid=29560 vsize=331468 CPUtime=50.7 cores=1,3,5,7
/proc/29562/stat : 29562 (strangenight1-m) R 29560 29562 29397 0 -1 4202496 37018 0 0 0 5062 8 0 0 25 0 4 0 521809652 339423232 17465 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365327 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29562/statm: 82867 17465 393 112 0 77832 0
[pid=29562/tid=29563] ppid=29560 vsize=331468 CPUtime=12.62 cores=1,3,5,7
/proc/29562/task/29563/stat : 29563 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 9770 0 0 0 1260 2 0 0 25 0 4 0 521809652 339423232 17465 33554432000 4194304 4650419 140736382153328 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29562/tid=29564] ppid=29560 vsize=331468 CPUtime=12.68 cores=1,3,5,7
/proc/29562/task/29564/stat : 29564 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 10501 0 0 0 1267 1 0 0 25 0 4 0 521809652 339423232 17465 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29562/tid=29565] ppid=29560 vsize=331468 CPUtime=12.69 cores=1,3,5,7
/proc/29562/task/29565/stat : 29565 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 8090 0 0 0 1267 2 0 0 25 0 4 0 521809652 339423232 17465 33554432000 4194304 4650419 140736382153328 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 331468

[startup+25.5009 s]
/proc/loadavg: 7.85 7.96 7.30 9/184 29597
/proc/meminfo: memFree=30839432/32950928 swapFree=67111464/67111528
[pid=29562] ppid=29560 vsize=335028 CPUtime=101.84 cores=1,3,5,7
/proc/29562/stat : 29562 (strangenight1-m) R 29560 29562 29397 0 -1 4202496 56617 0 0 0 10171 13 0 0 25 0 4 0 521809652 343068672 23787 33554432000 4194304 4650419 140736382153328 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29562/statm: 83757 23788 393 112 0 78722 0
[pid=29562/tid=29563] ppid=29560 vsize=335028 CPUtime=25.35 cores=1,3,5,7
/proc/29562/task/29563/stat : 29563 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 15093 0 0 0 2532 3 0 0 25 0 4 0 521809652 343068672 23788 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29562/tid=29564] ppid=29560 vsize=335028 CPUtime=25.48 cores=1,3,5,7
/proc/29562/task/29564/stat : 29564 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 16615 0 0 0 2546 2 0 0 25 0 4 0 521809652 343068672 23788 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29562/tid=29565] ppid=29560 vsize=335028 CPUtime=25.49 cores=1,3,5,7
/proc/29562/task/29565/stat : 29565 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 11574 0 0 0 2546 3 0 0 25 0 4 0 521809652 343068672 23788 33554432000 4194304 4650419 140736382153328 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 335028

[startup+51.1008 s]
/proc/loadavg: 7.98 7.98 7.32 9/184 29598
/proc/meminfo: memFree=30801388/32950928 swapFree=67111464/67111528
[pid=29562] ppid=29560 vsize=346468 CPUtime=204.1 cores=1,3,5,7
/proc/29562/stat : 29562 (strangenight1-m) R 29560 29562 29397 0 -1 4202496 81123 0 0 0 20390 20 0 0 25 0 4 0 521809652 354783232 28616 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365300 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29562/statm: 86617 28616 393 112 0 81582 0
[pid=29562/tid=29563] ppid=29560 vsize=346468 CPUtime=50.8 cores=1,3,5,7
/proc/29562/task/29563/stat : 29563 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 22416 0 0 0 5075 5 0 0 25 0 4 0 521809652 354783232 28616 33554432000 4194304 4650419 140736382153328 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29562/tid=29564] ppid=29560 vsize=346468 CPUtime=51.09 cores=1,3,5,7
/proc/29562/task/29564/stat : 29564 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 24186 0 0 0 5104 5 0 0 25 0 4 0 521809652 354783232 28616 33554432000 4194304 4650419 140736382153328 18446744073709551615 4313071 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29562/tid=29565] ppid=29560 vsize=346468 CPUtime=51.09 cores=1,3,5,7
/proc/29562/task/29565/stat : 29565 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 14233 0 0 0 5105 4 0 0 25 0 4 0 521809652 354783232 28616 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 346468

[startup+102.307 s]
/proc/loadavg: 8.15 8.01 7.37 9/184 29599
/proc/meminfo: memFree=30745536/32950928 swapFree=67111464/67111528
[pid=29562] ppid=29560 vsize=342908 CPUtime=408.66 cores=1,3,5,7
/proc/29562/stat : 29562 (strangenight1-m) R 29560 29562 29397 0 -1 4202496 129038 0 0 0 40829 37 0 0 25 0 4 0 521809652 351137792 36969 33554432000 4194304 4650419 140736382153328 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29562/statm: 85727 36969 393 112 0 80692 0
[pid=29562/tid=29563] ppid=29560 vsize=342908 CPUtime=101.73 cores=1,3,5,7
/proc/29562/task/29563/stat : 29563 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 35309 0 0 0 10163 10 0 0 25 0 4 0 521809652 351137792 36969 33554432000 4194304 4650419 140736382153328 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29562/tid=29564] ppid=29560 vsize=342908 CPUtime=102.29 cores=1,3,5,7
/proc/29562/task/29564/stat : 29564 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 39050 0 0 0 10219 10 0 0 25 0 4 0 521809652 351137792 36969 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29562/tid=29565] ppid=29560 vsize=342908 CPUtime=102.3 cores=1,3,5,7
/proc/29562/task/29565/stat : 29565 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 20721 0 0 0 10224 6 0 0 25 0 4 0 521809652 351137792 36969 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.66
Current children cumulated vsize (KiB) 342908

[startup+162.301 s]

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

[pid=29562] ppid=29560 vsize=513752 CPUtime=2565.81 cores=1,3,5,7
/proc/29562/stat : 29562 (strangenight1-m) R 29560 29562 29397 0 -1 4202496 392313 0 0 0 256430 151 0 0 25 0 4 0 521809652 526082048 86652 33554432000 4194304 4650419 140736382153328 18446744073709551615 4313319 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29562/statm: 128438 86652 393 112 0 123403 0
[pid=29562/tid=29563] ppid=29560 vsize=513752 CPUtime=638.82 cores=1,3,5,7
/proc/29562/task/29563/stat : 29563 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 107432 0 0 0 63843 39 0 0 25 0 4 0 521809652 526082048 86652 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365313 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29562/tid=29564] ppid=29560 vsize=513752 CPUtime=642.32 cores=1,3,5,7
/proc/29562/task/29564/stat : 29564 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 124016 0 0 0 64184 48 0 0 25 0 4 0 521809652 526082048 86652 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29562/tid=29565] ppid=29560 vsize=513752 CPUtime=642.32 cores=1,3,5,7
/proc/29562/task/29565/stat : 29565 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 60966 0 0 0 64208 24 0 0 25 0 4 0 521809652 526082048 86652 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.81
Current children cumulated vsize (KiB) 513752

[startup+702.301 s]
/proc/loadavg: 8.06 8.06 7.69 9/184 29615
/proc/meminfo: memFree=30357092/32950928 swapFree=67111464/67111528
[pid=29562] ppid=29560 vsize=493052 CPUtime=2805.47 cores=1,3,5,7
/proc/29562/stat : 29562 (strangenight1-m) R 29560 29562 29397 0 -1 4202496 411582 0 0 0 280386 161 0 0 25 0 4 0 521809652 504885248 82667 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29562/statm: 123263 82667 393 112 0 118228 0
[pid=29562/tid=29563] ppid=29560 vsize=493052 CPUtime=698.49 cores=1,3,5,7
/proc/29562/task/29563/stat : 29563 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 113692 0 0 0 69807 42 0 0 25 0 4 0 521809652 504885248 82667 33554432000 4194304 4650419 140736382153328 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29562/tid=29564] ppid=29560 vsize=493052 CPUtime=702.32 cores=1,3,5,7
/proc/29562/task/29564/stat : 29564 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 131749 0 0 0 70180 52 0 0 25 0 4 0 521809652 504885248 82667 33554432000 4194304 4650419 140736382153328 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29562/tid=29565] ppid=29560 vsize=493052 CPUtime=702.32 cores=1,3,5,7
/proc/29562/task/29565/stat : 29565 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 63103 0 0 0 70207 25 0 0 25 0 4 0 521809652 504885248 82667 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.47
Current children cumulated vsize (KiB) 493052

[startup+762.307 s]
/proc/loadavg: 8.06 8.06 7.72 9/184 29617
/proc/meminfo: memFree=30359408/32950928 swapFree=67111464/67111528
[pid=29562] ppid=29560 vsize=504928 CPUtime=3045.18 cores=1,3,5,7
/proc/29562/stat : 29562 (strangenight1-m) R 29560 29562 29397 0 -1 4202496 433875 0 0 0 304345 173 0 0 25 0 4 0 521809652 517046272 87521 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29562/statm: 126232 87521 393 112 0 121197 0
[pid=29562/tid=29563] ppid=29560 vsize=504928 CPUtime=758.17 cores=1,3,5,7
/proc/29562/task/29563/stat : 29563 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 118765 0 0 0 75772 45 0 0 25 0 4 0 521809652 517046272 87521 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29562/tid=29564] ppid=29560 vsize=504928 CPUtime=762.33 cores=1,3,5,7
/proc/29562/task/29564/stat : 29564 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 137921 0 0 0 76177 56 0 0 25 0 4 0 521809652 517046272 87521 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29562/tid=29565] ppid=29560 vsize=504928 CPUtime=762.33 cores=1,3,5,7
/proc/29562/task/29565/stat : 29565 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 67874 0 0 0 76205 28 0 0 25 0 4 0 521809652 517046272 87521 33554432000 4194304 4650419 140736382153328 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.18
Current children cumulated vsize (KiB) 504928

[startup+822.3 s]
/proc/loadavg: 8.05 8.06 7.74 9/184 29619
/proc/meminfo: memFree=30355528/32950928 swapFree=67111464/67111528
[pid=29562] ppid=29560 vsize=529760 CPUtime=3284.84 cores=1,3,5,7
/proc/29562/stat : 29562 (strangenight1-m) R 29560 29562 29397 0 -1 4202496 454884 0 0 0 328301 183 0 0 25 0 4 0 521809652 542474240 88175 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29562/statm: 132440 88175 393 112 0 127405 0
[pid=29562/tid=29563] ppid=29560 vsize=529760 CPUtime=817.83 cores=1,3,5,7
/proc/29562/task/29563/stat : 29563 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 123605 0 0 0 81737 46 0 0 25 0 4 0 521809652 542474240 88175 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29562/tid=29564] ppid=29560 vsize=529760 CPUtime=822.32 cores=1,3,5,7
/proc/29562/task/29564/stat : 29564 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 146370 0 0 0 82173 59 0 0 25 0 4 0 521809652 542474240 88175 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29562/tid=29565] ppid=29560 vsize=529760 CPUtime=822.33 cores=1,3,5,7
/proc/29562/task/29565/stat : 29565 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 70364 0 0 0 82204 29 0 0 25 0 4 0 521809652 542474240 88175 33554432000 4194304 4650419 140736382153328 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.84
Current children cumulated vsize (KiB) 529760

[startup+882.3 s]
/proc/loadavg: 8.21 8.10 7.76 9/184 29620
/proc/meminfo: memFree=30315420/32950928 swapFree=67111464/67111528
[pid=29562] ppid=29560 vsize=542148 CPUtime=3524.52 cores=1,3,5,7
/proc/29562/stat : 29562 (strangenight1-m) R 29560 29562 29397 0 -1 4202496 471916 0 0 0 352259 193 0 0 25 0 4 0 521809652 555159552 93238 33554432000 4194304 4650419 140736382153328 18446744073709551615 4330369 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29562/statm: 135537 93238 393 112 0 130502 0
[pid=29562/tid=29563] ppid=29560 vsize=542148 CPUtime=877.5 cores=1,3,5,7
/proc/29562/task/29563/stat : 29563 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 127161 0 0 0 87701 49 0 0 25 0 4 0 521809652 555159552 93238 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365260 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29562/tid=29564] ppid=29560 vsize=542148 CPUtime=882.33 cores=1,3,5,7
/proc/29562/task/29564/stat : 29564 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 153201 0 0 0 88170 63 0 0 25 0 4 0 521809652 555159552 93238 33554432000 4194304 4650419 140736382153328 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29562/tid=29565] ppid=29560 vsize=542148 CPUtime=882.32 cores=1,3,5,7
/proc/29562/task/29565/stat : 29565 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 71210 0 0 0 88203 29 0 0 25 0 4 0 521809652 555159552 93238 33554432000 4194304 4650419 140736382153328 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.52
Current children cumulated vsize (KiB) 542148

[startup+942.3 s]
/proc/loadavg: 8.15 8.09 7.78 9/184 29622
/proc/meminfo: memFree=30359032/32950928 swapFree=67111464/67111528
[pid=29562] ppid=29560 vsize=512324 CPUtime=3764.21 cores=1,3,5,7
/proc/29562/stat : 29562 (strangenight1-m) R 29560 29562 29397 0 -1 4202496 491723 0 0 0 376219 202 0 0 25 0 4 0 521809652 524619776 85495 33554432000 4194304 4650419 140736382153328 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29562/statm: 128081 85495 393 112 0 123046 0
[pid=29562/tid=29563] ppid=29560 vsize=512324 CPUtime=937.19 cores=1,3,5,7
/proc/29562/task/29563/stat : 29563 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 132173 0 0 0 93668 51 0 0 25 0 4 0 521809652 524619776 85495 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29562/tid=29564] ppid=29560 vsize=512324 CPUtime=942.33 cores=1,3,5,7
/proc/29562/task/29564/stat : 29564 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 161242 0 0 0 94167 66 0 0 25 0 4 0 521809652 524619776 85495 33554432000 4194304 4650419 140736382153328 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29562/tid=29565] ppid=29560 vsize=512324 CPUtime=942.33 cores=1,3,5,7
/proc/29562/task/29565/stat : 29565 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 74827 0 0 0 94201 32 0 0 25 0 4 0 521809652 524619776 85495 33554432000 4194304 4650419 140736382153328 18446744073709551615 4364766 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.21
Current children cumulated vsize (KiB) 512324

[startup+1002.3 s]
/proc/loadavg: 8.20 8.11 7.80 9/184 29623
/proc/meminfo: memFree=30343252/32950928 swapFree=67111464/67111528
[pid=29562] ppid=29560 vsize=486104 CPUtime=4003.88 cores=1,3,5,7
/proc/29562/stat : 29562 (strangenight1-m) R 29560 29562 29397 0 -1 4202496 514352 0 0 0 400175 213 0 0 25 0 4 0 521809652 497770496 85982 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29562/statm: 121526 85982 393 112 0 116491 0
[pid=29562/tid=29563] ppid=29560 vsize=486104 CPUtime=996.86 cores=1,3,5,7
/proc/29562/task/29563/stat : 29563 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 137506 0 0 0 99632 54 0 0 25 0 4 0 521809652 497770496 85982 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29562/tid=29564] ppid=29560 vsize=486104 CPUtime=1002.33 cores=1,3,5,7
/proc/29562/task/29564/stat : 29564 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 168791 0 0 0 100163 70 0 0 25 0 4 0 521809652 497770496 85982 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29562/tid=29565] ppid=29560 vsize=486104 CPUtime=1002.33 cores=1,3,5,7
/proc/29562/task/29565/stat : 29565 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 78497 0 0 0 100199 34 0 0 25 0 4 0 521809652 497770496 85982 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.88
Current children cumulated vsize (KiB) 486104

[startup+1062.3 s]
/proc/loadavg: 8.15 8.10 7.82 9/184 29625
/proc/meminfo: memFree=30303776/32950928 swapFree=67111464/67111528
[pid=29562] ppid=29560 vsize=544844 CPUtime=4243.57 cores=1,3,5,7
/proc/29562/stat : 29562 (strangenight1-m) R 29560 29562 29397 0 -1 4202496 540053 0 0 0 424131 226 0 0 25 0 4 0 521809652 557920256 92791 33554432000 4194304 4650419 140736382153328 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29562/statm: 136211 92791 393 112 0 131176 0
[pid=29562/tid=29563] ppid=29560 vsize=544844 CPUtime=1056.53 cores=1,3,5,7
/proc/29562/task/29563/stat : 29563 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 143987 0 0 0 105597 56 0 0 25 0 4 0 521809652 557920256 92791 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29562/tid=29564] ppid=29560 vsize=544844 CPUtime=1062.34 cores=1,3,5,7
/proc/29562/task/29564/stat : 29564 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 175977 0 0 0 106159 75 0 0 25 0 4 0 521809652 557920256 92791 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29562/tid=29565] ppid=29560 vsize=544844 CPUtime=1062.33 cores=1,3,5,7
/proc/29562/task/29565/stat : 29565 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 83343 0 0 0 106196 37 0 0 25 0 4 0 521809652 557920256 92791 33554432000 4194304 4650419 140736382153328 18446744073709551615 4366857 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.57
Current children cumulated vsize (KiB) 544844

[startup+1122.3 s]
/proc/loadavg: 8.19 8.11 7.84 9/184 29627
/proc/meminfo: memFree=30235540/32950928 swapFree=67111464/67111528
[pid=29562] ppid=29560 vsize=622764 CPUtime=4483.25 cores=1,3,5,7
/proc/29562/stat : 29562 (strangenight1-m) R 29560 29562 29397 0 -1 4202496 555410 0 0 0 448094 231 0 0 25 0 4 0 521809652 637710336 104627 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365325 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29562/statm: 155691 104627 393 112 0 150656 0
[pid=29562/tid=29563] ppid=29560 vsize=622764 CPUtime=1116.21 cores=1,3,5,7
/proc/29562/task/29563/stat : 29563 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 148756 0 0 0 111563 58 0 0 25 0 4 0 521809652 637710336 104627 33554432000 4194304 4650419 140736382153328 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29562/tid=29564] ppid=29560 vsize=622764 CPUtime=1122.34 cores=1,3,5,7
/proc/29562/task/29564/stat : 29564 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 182014 0 0 0 112158 76 0 0 25 0 4 0 521809652 637710336 104627 33554432000 4194304 4650419 140736382153328 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29562/tid=29565] ppid=29560 vsize=622764 CPUtime=1122.34 cores=1,3,5,7
/proc/29562/task/29565/stat : 29565 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 85627 0 0 0 112195 39 0 0 25 0 4 0 521809652 637710336 104627 33554432000 4194304 4650419 140736382153328 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.25
Current children cumulated vsize (KiB) 622764

[startup+1182.3 s]
/proc/loadavg: 8.24 8.14 7.86 9/184 29658
/proc/meminfo: memFree=30467064/32950928 swapFree=67111464/67111528
[pid=29562] ppid=29560 vsize=636312 CPUtime=4722.94 cores=1,3,5,7
/proc/29562/stat : 29562 (strangenight1-m) R 29560 29562 29397 0 -1 4202496 577379 0 0 0 472057 237 0 0 25 0 4 0 521809652 651583488 109312 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365333 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29562/statm: 159078 109312 393 112 0 154043 0
[pid=29562/tid=29563] ppid=29560 vsize=636312 CPUtime=1175.89 cores=1,3,5,7
/proc/29562/task/29563/stat : 29563 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 152609 0 0 0 117531 58 0 0 25 0 4 0 521809652 651583488 109312 33554432000 4194304 4650419 140736382153328 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29562/tid=29564] ppid=29560 vsize=636312 CPUtime=1182.34 cores=1,3,5,7
/proc/29562/task/29564/stat : 29564 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 194364 0 0 0 118156 78 0 0 25 0 4 0 521809652 651583488 109312 33554432000 4194304 4650419 140736382153328 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29562/tid=29565] ppid=29560 vsize=636312 CPUtime=1182.34 cores=1,3,5,7
/proc/29562/task/29565/stat : 29565 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 87066 0 0 0 118194 40 0 0 25 0 4 0 521809652 651583488 109312 33554432000 4194304 4650419 140736382153328 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.94
Current children cumulated vsize (KiB) 636312



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.17 8.13 7.86 9/184 29659
/proc/meminfo: memFree=30465800/32950928 swapFree=67111464/67111528
[pid=29562] ppid=29560 vsize=636380 CPUtime=4800.06 cores=1,3,5,7
/proc/29562/stat : 29562 (strangenight1-m) R 29560 29562 29397 0 -1 4202496 586345 0 0 0 479767 239 0 0 25 0 4 0 521809652 651653120 107849 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29562/statm: 159095 107849 393 112 0 154060 0
[pid=29562/tid=29563] ppid=29560 vsize=636380 CPUtime=1195.08 cores=1,3,5,7
/proc/29562/task/29563/stat : 29563 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 154413 0 0 0 119450 58 0 0 25 0 4 0 521809652 651653120 107849 33554432000 4194304 4650419 140736382153328 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29562/tid=29564] ppid=29560 vsize=636380 CPUtime=1201.65 cores=1,3,5,7
/proc/29562/task/29564/stat : 29564 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 199456 0 0 0 120086 79 0 0 25 0 4 0 521809652 651653120 107849 33554432000 4194304 4650419 140736382153328 18446744073709551615 4476812 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29562/tid=29565] ppid=29560 vsize=636380 CPUtime=1201.65 cores=1,3,5,7
/proc/29562/task/29565/stat : 29565 (strangenight1-m) R 29560 29562 29397 0 -1 4202560 87066 0 0 0 120125 40 0 0 25 0 4 0 521809652 651653120 107849 33554432000 4194304 4650419 140736382153328 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 636380

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): 1201.63
CPU time (s): 4800.11
CPU user time (s): 4797.69
CPU system time (s): 2.41063
CPU usage (%): 399.466
Max. virtual memory (cumulated for all children) (KiB): 676680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.69
system time used= 2.41063
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 586345
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= 385
involuntary context switches= 17940

runsolver used 1.86772 second user time and 4.70328 second system time

The end

Launcher Data 

Begin job on node149 at 2011-04-29 20:35:30
IDJOB=3175232
IDBENCH=82850
IDSOLVER=1588
FILE ID=node149/3175232-1304102130
RUNJOBID= node149-1304100922-29416
PBS_JOBID= 13170626
Free space on /tmp= 71928 MiB

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

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

MD5SUM BENCH= eb55252a6fac55d328f4d31fcc6e53bd
RANDOM SEED=15728837

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30536092 kB
Buffers:        425664 kB
Cached:        1074940 kB
SwapCached:         60 kB
Active:         580652 kB
Inactive:      1464844 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30536092 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:            6224 kB
Writeback:          32 kB
AnonPages:      544560 kB
Mapped:          15516 kB
Slab:           305164 kB
PageTables:       5792 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   759476 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= 71920 MiB
End job on node149 at 2011-04-29 20:55:33