Trace number 3175307

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

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v600-c2556-S1677156340-036.UNKNOWN.cnf
MD5SUM99f3efd3bfc8a6f99ffbd289ed4a5837
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of clauses2556
Sum of the clauses size7668
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32556
Number of clauses of size 40
Number of clauses of size 50
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-3175307-1304110683.cnf'
0.00/0.00	c -- header says num vars:            600
0.00/0.00	c -- header says num clauses:        2556
0.00/0.00	c -- clauses added:            0 learnts,         2556 normals,            0 xors
0.00/0.00	c -- vars added        600
0.00/0.00	c Parsing time:  0.01 s
0.00/0.00	c  N st     0         0       600      2556         0         0      7668         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 1/2556/2556 lits-rem:3 time: 0.00
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:        1  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:    600 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     21  v-fix:    0  time:  0.01 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     250 undec:      86 neg:     264
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       579      2538         1         0      7732         0   no data   no data  --
0.00/0.07	c Decided on static restart strategy
0.38/0.16	c  N st     8      4920       579      2538         1      4883      7732    129979   no data   no data  --
1.57/0.42	c  N st    10     11302       579      2538         1      4501      7732     84054   no data   no data  --
2.78/0.71	c  N st    11     17046       579      2538         1     10191      7732    247788   no data   no data  --
4.39/1.14	c  F st    12     25000       579      2538         1     12461      7732    300322   no data   no data  --
4.39/1.14	c  N st    12     25000       579      2538         1     12461      7732    300322   no data   no data  --
5.17/1.39	c  N dy    18     30001       579      2538         1     10742      7732    230952   no data   no data  --
5.17/1.39	c  S st    18     30001       579      2538         1     10742      7732    230952   no data   no data  --
5.57/1.42	c  S st    18     30504       579      2538         1     11245      7732    244173   no data   no data  --
5.57/1.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.57/1.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.57/1.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    579 time:  0.00 s
5.57/1.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
6.37/1.68	c lits-rem:       142  cl-subs:      276  v-elim:      0  v-fix:    0  time:  0.98 s
6.37/1.69	c asymm  cl-useful: 0/2538/2538 lits-rem:0 time: 0.03
6.37/1.69	c calculated reachability. Time: 0.00
6.37/1.69	c  N dy    18     30504       579      2538         1     10969      7732    235247   no data   no data  --
7.57/1.97	c  N dy    32     35440       579      2538         1      8018      7732    109702     16.81     18.18  --
8.39/2.19	c  N dy    58     39802       579      2538         1     12343      7732    220413     17.24     18.26  --
9.56/2.46	c  N dy    84     43907       579      2538         1     16411      7732    324275     17.52     18.55  --
9.96/2.59	c  S st    95     45757       579      2538         1      9366      7732    115273     17.56   no data  --
10.36/2.62	c  S st    95     46262       579      2538         1      9870      7732    128647     17.56   no data  --
10.36/2.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.36/2.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.36/2.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
10.36/2.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.36/2.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.36/2.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    579 time:  0.00 s
10.36/2.63	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.76/2.72	c lits-rem:        22  cl-subs:       12  v-elim:      0  v-fix:    0  time:  0.38 s
10.76/2.72	c vivif2 --  cl tried     2538 cl shrink        0 lits rem          0 time: 0.00
10.76/2.72	c vivif2 --  cl tried     9858 cl shrink        0 lits rem          0 time: 0.01
10.76/2.73	c asymm  cl-useful: 0/2538/2538 lits-rem:0 time: 0.03
10.76/2.73	c calculated reachability. Time: 0.00
10.76/2.73	c  N dy    95     46262       579      2538         1      9858      7732    128210     17.56   no data  --
11.96/3.00	c  N dy   103     50819       579      2538         1     14374      7732    246067     17.36     18.38  --
12.78/3.28	c  N dy   127     54938       579      2538         1     18460      7732    350976     17.49     18.44  --
13.95/3.55	c  N dy   155     59133       579      2538         1     12728      7732    180952     17.65     18.58  --
15.15/3.80	c  N dy   174     63178       579      2538         1     16737      7732    284435     17.68     18.89  --
16.35/4.17	c  N dy   197     68032       579      2538         1     21547      7732    408541     17.71     18.78  --
16.75/4.27	c  S st   205     69395       579      2538         1     12000      7732    138758     17.73     16.99  --
16.75/4.30	c  S st   205     69898       579      2538         1     12503      7732    152332     17.73   no data  --
16.75/4.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.75/4.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.17/4.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
17.17/4.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.17/4.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.17/4.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    579 time:  0.00 s
17.17/4.31	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.57/4.46	c lits-rem:        65  cl-subs:       27  v-elim:      0  v-fix:    0  time:  0.61 s
17.57/4.46	c vivif2 --  cl tried     2538 cl shrink        0 lits rem          0 time: 0.00
17.57/4.46	c vivif2 --  cl tried    12476 cl shrink        0 lits rem          0 time: 0.01
17.57/4.47	c asymm  cl-useful: 0/2538/2538 lits-rem:0 time: 0.04
17.57/4.47	c calculated reachability. Time: 0.00
17.57/4.47	c  N dy   205     69898       579      2538         1     12476      7732    151474     17.73   no data  --
18.75/4.77	c  N dy   221     74439       579      2538         1     16965      7732    268696     17.74     24.45  --
20.75/5.23	c  N dy   234     80041       579      2538         1     22506      7732    411107     17.64     18.62  --
22.35/5.61	c  N dy   249     85299       579      2538         1     15818      7732    215255     17.54     18.49  --
22.75/5.76	c  F st   260     87501       579      2538         1     17996      7732    272932     17.56   no data  --
23.94/6.01	c  N st   265     90797       579      2538         1     21267      7732    363508     17.56   no data  --
25.96/6.53	c  N dy   293     96594       579      2538         1     14145      7732    153714     17.62     20.03  --
27.94/7.00	c  N dy   331    102852       579      2538         1     20361      7732    316379     17.69     18.69  --
28.34/7.17	c  S st   340    104848       579      2538         1     22337      7732    367615     17.69     16.73  --
28.74/7.23	c  S st   340    105350       579      2538         1     22839      7732    380302     17.69   no data  --
28.74/7.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.74/7.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
28.74/7.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
28.74/7.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.74/7.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.74/7.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    579 time:  0.00 s
28.74/7.25	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
32.34/8.18	c lits-rem:       404  cl-subs:      207  v-elim:      0  v-fix:    0  time:  3.71 s
32.34/8.18	c vivif2 --  cl tried     2538 cl shrink        0 lits rem          0 time: 0.00
32.34/8.19	c vivif2 --  cl tried    22632 cl shrink        0 lits rem          0 time: 0.02
32.73/8.21	c asymm  cl-useful: 0/2538/2538 lits-rem:0 time: 0.07
32.73/8.21	c calculated reachability. Time: 0.00
32.73/8.21	c  N dy   340    105350       579      2538         1     22632      7732    373323     17.69   no data  --
35.15/8.86	c  N dy   384    112114       579      2538         1     15462      7732    169953     17.78     18.98  --
37.52/9.42	c  N dy   418    119360       579      2538         1     22631      7732    357894     17.81     18.88  --
40.72/10.20	c  N dy   461    126978       579      2538         1     15318      7732    143483     17.87     18.96  --
43.13/10.88	c  N dy   496    135184       579      2538         1     23442      7732    357015     17.86     18.86  --
47.11/11.87	c  N dy   527    144244       579      2538         1     16559      7732    155099     17.84     18.99  --
50.71/12.70	c  N dy   536    154428       579      2538         1     26563      7732    415653     17.72     18.75  --
51.91/13.08	c  S st   553    158027       579      2538         1     30122      7732    508759     17.73     15.68  --
52.33/13.15	c  S st   553    158530       579      2538         1     30625      7732    522083     17.73   no data  --
52.33/13.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
52.33/13.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
52.33/13.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
52.33/13.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
52.33/13.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
52.33/13.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    579 time:  0.00 s
52.33/13.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
58.70/14.76	c lits-rem:       521  cl-subs:      992  v-elim:      0  v-fix:    0  time:  6.31 s
58.70/14.76	c vivif2 --  cl tried     2538 cl shrink        0 lits rem          0 time: 0.00
58.70/14.76	c vivif2 --  cl tried    29633 cl shrink        0 lits rem          0 time: 0.02
58.70/14.79	c asymm  cl-useful: 0/2538/2538 lits-rem:0 time: 0.10
58.70/14.79	c calculated reachability. Time: 0.00
58.70/14.79	c  N dy   553    158530       579      2538         1     29633      7732    496786     17.73   no data  --
62.69/15.76	c  N dy   583    168721       579      2538         1     22897      7732    296105     17.68     20.43  --
67.48/16.94	c  N dy   652    179707       579      2538         1     33769      7732    582987     17.76     18.73  --
72.68/18.24	c  N dy   700    192885       579      2538         1     29035      7732    444302     17.75     18.83  --
79.09/19.81	c  N dy   768    205312       579      2538         1     22545      7732    256147     17.79     18.86  --
85.06/21.30	c  N dy   819    218805       579      2538         1     35901      7732    605172     17.78     18.82  --
91.87/23.07	c  N dy   852    233454       579      2538         1     30594      7732    439880     17.70     18.67  --
94.25/23.68	c  S st   877    237796       579      2538         1     34895      7732    552402     17.72   no data  --
94.65/23.77	c  S st   877    238299       579      2538         1     35398      7732    564702     17.72   no data  --
94.65/23.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
94.65/23.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
94.65/23.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.06
95.05/23.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
95.05/23.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
95.05/23.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    579 time:  0.00 s
95.05/23.81	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
102.24/25.61	c lits-rem:       586  cl-subs:      738  v-elim:      0  v-fix:    0  time:  7.19 s
102.24/25.61	c vivif2 --  cl tried     2538 cl shrink        0 lits rem          0 time: 0.00
102.24/25.61	c vivif2 --  cl tried    34660 cl shrink        0 lits rem          0 time: 0.02
102.24/25.64	c asymm  cl-useful: 0/2538/2538 lits-rem:0 time: 0.12
102.24/25.64	c calculated reachability. Time: 0.00
102.24/25.64	c  N dy   877    238299       579      2538         1     34660      7732    544569     17.72   no data  --
109.45/27.44	c  N dy   943    253609       579      2538         1     29019      7732    376009     17.73     18.73  --
118.23/29.64	c  N dy  1045    269803       579      2538         1     23298      7732    212468     17.80     18.77  --
126.21/31.65	c  N dy  1122    287060       579      2538         1     40391      7732    666771     17.81     18.75  --
135.00/33.89	c  N dy  1192    305445       579      2538         1     35827      7732    521272     17.81     19.48  --
135.40/34.00	c  F st  1199    306251       579      2538         1     36625      7732    543026     17.81   no data  --
138.59/34.71	c Decided on static restart strategy
145.38/36.45	c  N st  1208    324957       579      2538         1     31267      7732    575772     17.81   no data  --
157.37/39.46	c  N st  1210    348953       579      2538         1     30202      7732    551472     17.81   no data  --
161.37/40.45	c  S st  1211    357448       579      2538         1     38571      7732    793419     17.81   no data  --
161.77/40.54	c  S st  1211    357951       579      2538         1     39074      7732    806317     17.81   no data  --
161.77/40.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
161.77/40.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
161.77/40.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
161.77/40.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
161.77/40.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
161.77/40.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    579 time:  0.00 s
161.77/40.59	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
170.55/42.73	c lits-rem:       527  cl-subs:     2059  v-elim:      0  v-fix:    0  time:  8.56 s
170.55/42.73	c vivif2 --  cl tried     2538 cl shrink        0 lits rem          0 time: 0.00
170.55/42.74	c vivif2 --  cl tried    37015 cl shrink        0 lits rem          0 time: 0.04
170.55/42.78	c asymm  cl-useful: 0/2538/2538 lits-rem:0 time: 0.14
170.55/42.78	c calculated reachability. Time: 0.00
170.55/42.78	c  N st  1211    357951       579      2538         1     37015      7732    749218     17.81   no data  --
190.52/47.79	c  N st  1212    390344       579      2538         1     43312      7732    890305     17.81   no data  --
220.88/55.34	c  N st  1213    438932       579      2538         1     37172      7732    670440     17.81   no data  --
269.21/67.42	c  N st  1214    511814       579      2538         1     50898      7732   1067171     17.81   no data  --
284.80/71.33	c  N st  1215    536929       579      2538         1     45082      7732    859029     17.81   no data  --
284.80/71.33	c  S st  1215    536929       579      2538         1     45082      7732    859029     17.81   no data  --
285.21/71.45	c  S st  1215    537430       579      2538         1     45583      7732    872146     17.81   no data  --
285.21/71.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
285.21/71.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
285.21/71.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
285.21/71.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
285.21/71.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
285.21/71.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    579 time:  0.00 s
285.21/71.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
295.18/73.96	c lits-rem:      1281  cl-subs:     1129  v-elim:      0  v-fix:    0  time:  9.81 s
295.18/73.96	c vivif2 --  cl tried     2538 cl shrink        0 lits rem          0 time: 0.00
295.18/73.97	c vivif2 --  cl tried    44454 cl shrink        0 lits rem          0 time: 0.04
295.58/74.02	c asymm  cl-useful: 0/2538/2538 lits-rem:0 time: 0.20
295.58/74.02	c calculated reachability. Time: 0.00
295.58/74.02	c  N st  1215    537430       579      2538         1     44454      7732    834796     17.81   no data  --
413.05/103.48	c  N st  1216    701415       579      2538         1     38435      7732    513502     17.81   no data  --
495.31/124.09	c  N st  1217    806145       579      2538         1     67434      7732   1274115     17.81   no data  --
495.31/124.09	c  S st  1217    806145       579      2538         1     67434      7732   1274115     17.81   no data  --
496.13/124.29	c  S st  1217    806647       579      2538         1     67936      7732   1287117     17.81   no data  --
496.13/124.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
496.13/124.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
496.53/124.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
496.53/124.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
496.53/124.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
496.53/124.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    579 time:  0.00 s
496.53/124.37	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
514.48/128.82	c lits-rem:       183  cl-subs:     3556  v-elim:      0  v-fix:    0  time: 17.76 s
514.48/128.82	c vivif2 --  cl tried     2538 cl shrink        0 lits rem          0 time: 0.00
514.48/128.83	c vivif2 --  cl tried    64380 cl shrink        0 lits rem          0 time: 0.06
514.88/128.91	c asymm  cl-useful: 0/2538/2538 lits-rem:0 time: 0.32
514.88/128.92	c calculated reachability. Time: 0.00
514.88/128.92	c  N st  1217    806647       579      2538         1     64380      7732   1192311     17.81   no data  --
749.34/187.68	c  F st  1218   1071878       579      2538         1     79794      7732   1475956     17.81   no data  --
749.34/187.68	c  N st  1218   1071878       579      2538         1     79794      7732   1475956     17.81   no data  --
756.14/189.36	c Decided on static restart strategy
776.11/194.33	c  N st  1228   1100186       579      2538         1     63781      7732   1048060     17.81   no data  --
812.06/203.38	c  N st  1230   1136180       579      2538         1     54136      7732    747131     17.81   no data  --
846.42/211.93	c  N st  1231   1168572       579      2538         1     85727      7732   1613725     17.81   no data  --
881.57/220.72	c  N st  1232   1209975       579      2538         1     80398      7732   1475658     17.81   no data  --
881.57/220.72	c  S st  1232   1209975       579      2538         1     80398      7732   1475658     17.81   no data  --
882.37/220.96	c  S st  1232   1210476       579      2538         1     80899      7732   1488658     17.81   no data  --
882.37/220.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
882.37/220.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
882.78/221.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.15
882.78/221.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
882.78/221.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
882.78/221.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    579 time:  0.00 s
882.78/221.05	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
903.14/226.15	c lits-rem:       457  cl-subs:     3595  v-elim:      0  v-fix:    0  time: 20.35 s
903.14/226.15	c vivif2 --  cl tried     2538 cl shrink        0 lits rem          0 time: 0.00
903.14/226.16	c vivif2 --  cl tried    77304 cl shrink        0 lits rem          0 time: 0.07
903.54/226.27	c asymm  cl-useful: 0/2538/2538 lits-rem:0 time: 0.42
903.54/226.27	c calculated reachability. Time: 0.00
903.54/226.27	c  N st  1232   1210476       579      2538         1     77304      7732   1388072     17.81   no data  --
979.04/245.17	c  N st  1233   1283360       579      2538         1     53804      7732    664251     17.81   no data  --
1092.09/273.44	c  N st  1234   1392683       579      2538         1     62152      7732    866623     17.81   no data  --
1252.66/313.60	c  N st  1235   1556667       579      2538         1     66811      7732    949578     17.81   no data  --
1416.45/354.61	c  N st  1236   1710476       579      2538         1    108997      7732   2175867     17.81   no data  --
1416.45/354.61	c  S st  1236   1710476       579      2538         1    108997      7732   2175867     17.81   no data  --
1417.65/354.96	c  S st  1236   1710978       579      2538         1    109498      7732   2188435     17.81   no data  --
1417.65/354.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1417.65/354.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1418.05/355.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.23
1418.45/355.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1418.45/355.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1418.45/355.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    579 time:  0.00 s
1418.45/355.10	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1483.96/371.50	c lits-rem:        70  cl-subs:     6022  v-elim:      0  v-fix:    0  time: 65.49 s
1483.96/371.50	c vivif2 --  cl tried     2538 cl shrink        0 lits rem          0 time: 0.00
1483.96/371.53	c vivif2 --  cl tried   103476 cl shrink        0 lits rem          0 time: 0.10
1484.36/371.68	c asymm  cl-useful: 0/2538/2538 lits-rem:0 time: 0.60
1484.36/371.68	c calculated reachability. Time: 0.00
1484.36/371.68	c  N st  1236   1710978       579      2538         1    103476      7732   2010884     17.81   no data  --
1916.17/479.76	c  N st  1237   2079944       579      2538         1    114814      7732   2226192     17.81   no data  --
2095.95/524.79	c  N st  1238   2210980       579      2538         1    118596      7732   2188784     17.81   no data  --
2095.95/524.79	c  S st  1238   2210980       579      2538         1    118596      7732   2188784     17.81   no data  --
2097.93/525.20	c  S st  1238   2211483       579      2538         1    119098      7732   2202196     17.81   no data  --
2097.93/525.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2097.93/525.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2097.93/525.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.25
2098.33/525.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2098.33/525.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2098.33/525.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    579 time:  0.00 s
2098.33/525.35	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2185.01/547.02	c lits-rem:       224  cl-subs:     9104  v-elim:      0  v-fix:    0  time: 86.57 s
2185.01/547.02	c vivif2 --  cl tried     2538 cl shrink        0 lits rem          0 time: 0.00
2185.01/547.05	c vivif2 --  cl tried   109994 cl shrink        0 lits rem          0 time: 0.10
2185.80/547.21	c asymm  cl-useful: 0/2538/2538 lits-rem:0 time: 0.66
2185.80/547.22	c calculated reachability. Time: 0.00
2185.80/547.22	c  N st  1238   2211483       579      2538         1    109994      7732   1960477     17.81   no data  --
2894.06/724.56	c  N st  1239   2711486       579      2538         1    134003      7732   2557604     17.81   no data  --
2894.06/724.56	c  S st  1239   2711486       579      2538         1    134003      7732   2557604     17.81   no data  --
2895.68/724.99	c  S st  1239   2711989       579      2538         1    134506      7732   2571322     17.81   no data  --
2896.05/725.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2896.05/725.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2896.05/725.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.29
2896.45/725.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2896.45/725.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2896.45/725.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    579 time:  0.00 s
2896.45/725.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2991.95/749.00	c lits-rem:       120  cl-subs:     7607  v-elim:      0  v-fix:    0  time: 95.24 s
2991.95/749.00	c vivif2 --  cl tried     2538 cl shrink        0 lits rem          0 time: 0.00
2991.95/749.04	c vivif2 --  cl tried   126899 cl shrink        0 lits rem          0 time: 0.12
2992.73/749.23	c asymm  cl-useful: 0/2538/2538 lits-rem:0 time: 0.76
2992.73/749.23	c calculated reachability. Time: 0.00
2992.73/749.23	c  N st  1239   2711989       579      2538         1    126899      7732   2362952     17.81   no data  --
3734.95/935.06	c  N st  1240   3211990       579      2538         1    102207      7732   1497399     17.81   no data  --
3734.95/935.06	c  S st  1240   3211990       579      2538         1    102207      7732   1497399     17.81   no data  --
3736.13/935.38	c  S st  1240   3212494       579      2538         1    102709      7732   1510408     17.81   no data  --
3736.13/935.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3736.13/935.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3736.53/935.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
3736.53/935.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3736.53/935.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3736.53/935.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    579 time:  0.00 s
3736.53/935.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3758.89/941.05	c lits-rem:       361  cl-subs:     3852  v-elim:      0  v-fix:    0  time: 22.21 s
3758.89/941.05	c vivif2 --  cl tried     2538 cl shrink        0 lits rem          0 time: 0.00
3758.89/941.07	c vivif2 --  cl tried    98857 cl shrink        0 lits rem          0 time: 0.08
3759.69/941.21	c asymm  cl-useful: 0/2538/2538 lits-rem:0 time: 0.54
3759.69/941.21	c calculated reachability. Time: 0.00
3759.69/941.21	c  N st  1240   3212494       579      2538         1     98857      7732   1410196     17.81   no data  --
4608.15/1153.63	c  N st  1241   3712495       579      2538         1    109816      7732   1624209     17.81   no data  --
4608.15/1153.63	c  S st  1241   3712495       579      2538         1    109816      7732   1624209     17.81   no data  --
4609.37/1153.96	c  S st  1241   3713000       579      2538         1    110320      7732   1637811     17.81   no data  --
4609.37/1153.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4609.37/1153.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4609.75/1154.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
4609.75/1154.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4609.75/1154.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4609.75/1154.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    579 time:  0.00 s
4609.75/1154.08	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4636.12/1160.61	c lits-rem:       240  cl-subs:     3105  v-elim:      0  v-fix:    0  time: 26.09 s
4636.12/1160.61	c vivif2 --  cl tried     2538 cl shrink        0 lits rem          0 time: 0.00
4636.12/1160.64	c vivif2 --  cl tried   107215 cl shrink        0 lits rem          0 time: 0.08
4636.52/1160.79	c asymm  cl-useful: 0/2538/2538 lits-rem:0 time: 0.64
4636.92/1160.80	c calculated reachability. Time: 0.00
4636.92/1160.80	c  N st  1241   3713000       579      2538         1    107215      7732   1549246     17.81   no data  --
4702.82/1177.39	c  F st  1242   3751563       579      2538         1    144948      7732   2656722     17.81   no data  --
4702.82/1177.39	c  N st  1242   3751563       579      2538         1    144948      7732   2656722     17.81   no data  --
4713.21/1179.98	c Decided on static restart strategy
4760.35/1191.78	c  N st  1252   3779867       579      2538         1     89721      7732    995435     17.81   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-3175307-1304110683/watcher-3175307-1304110683 -o /tmp/evaluation-result-3175307-1304110683/solver-3175307-1304110683 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175307-1304110683.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: 7.16 7.88 7.85 6/180 3658
/proc/meminfo: memFree=30753124/32951124 swapFree=67110188/67111528
[pid=3658] ppid=3656 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/3658/stat : 3658 (strangenight1-m) R 3656 3658 3446 0 -1 4202496 417 0 0 0 0 0 0 0 22 0 4 0 522669054 52465664 356 33554432000 4194304 4650419 140734132606576 18446744073709551615 47281150519218 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3658/statm: 12809 356 306 112 0 7774 0
[pid=3658/tid=3659] ppid=3656 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/3658/task/3659/stat : 3659 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 4 0 522669054 52465664 356 33554432000 4194304 4650419 140734132606576 18446744073709551615 222921777083 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3658/tid=3660] ppid=3656 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/3658/task/3660/stat : 3660 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 522669054 52465664 356 33554432000 4194304 4650419 140734132606576 18446744073709551615 47281150519212 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3658/tid=3661] ppid=3656 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/3658/task/3661/stat : 3661 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 522669054 52465664 356 33554432000 4194304 4650419 140734132606576 18446744073709551615 222916824150 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.090109 s]
/proc/loadavg: 7.16 7.88 7.85 6/180 3658
/proc/meminfo: memFree=30753124/32951124 swapFree=67110188/67111528
[pid=3658] ppid=3656 vsize=282724 CPUtime=0.33 cores=1,3,5,7
/proc/3658/stat : 3658 (strangenight1-m) R 3656 3658 3446 0 -1 4202496 1797 0 0 0 33 0 0 0 18 0 4 0 522669054 289509376 1649 33554432000 4194304 4650419 140734132606576 18446744073709551615 4364427 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3658/statm: 70681 1649 391 112 0 65646 0
[pid=3658/tid=3659] ppid=3656 vsize=282724 CPUtime=0.08 cores=1,3,5,7
/proc/3658/task/3659/stat : 3659 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 416 0 0 0 8 0 0 0 18 0 4 0 522669054 289509376 1655 33554432000 4194304 4650419 140734132606576 18446744073709551615 222921474240 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3658/tid=3660] ppid=3656 vsize=282724 CPUtime=0.08 cores=1,3,5,7
/proc/3658/task/3660/stat : 3660 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 332 0 0 0 8 0 0 0 24 0 4 0 522669054 289509376 1655 33554432000 4194304 4650419 140734132606576 18446744073709551615 4229517 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3658/tid=3661] ppid=3656 vsize=282724 CPUtime=0.08 cores=1,3,5,7
/proc/3658/task/3661/stat : 3661 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 267 0 0 0 8 0 0 0 18 0 4 0 522669054 289509376 1655 33554432000 4194304 4650419 140734132606576 18446744073709551615 4364424 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 282724

[startup+0.101107 s]
/proc/loadavg: 7.16 7.88 7.85 6/180 3658
/proc/meminfo: memFree=30753124/32951124 swapFree=67110188/67111528
[pid=3658] ppid=3656 vsize=282724 CPUtime=0.38 cores=1,3,5,7
/proc/3658/stat : 3658 (strangenight1-m) R 3656 3658 3446 0 -1 4202496 1851 0 0 0 38 0 0 0 18 0 4 0 522669054 289509376 1703 33554432000 4194304 4650419 140734132606576 18446744073709551615 4364792 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3658/statm: 70681 1703 391 112 0 65646 0
[pid=3658/tid=3659] ppid=3656 vsize=282724 CPUtime=0.09 cores=1,3,5,7
/proc/3658/task/3659/stat : 3659 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 427 0 0 0 9 0 0 0 18 0 4 0 522669054 289509376 1703 33554432000 4194304 4650419 140734132606576 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3658/tid=3660] ppid=3656 vsize=282724 CPUtime=0.09 cores=1,3,5,7
/proc/3658/task/3660/stat : 3660 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 348 0 0 0 9 0 0 0 24 0 4 0 522669054 289509376 1703 33554432000 4194304 4650419 140734132606576 18446744073709551615 4316012 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3658/tid=3661] ppid=3656 vsize=282724 CPUtime=0.09 cores=1,3,5,7
/proc/3658/task/3661/stat : 3661 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 277 0 0 0 9 0 0 0 18 0 4 0 522669054 289509376 1703 33554432000 4194304 4650419 140734132606576 18446744073709551615 4334464 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282724

[startup+0.301071 s]
/proc/loadavg: 7.16 7.88 7.85 6/180 3658
/proc/meminfo: memFree=30753124/32951124 swapFree=67110188/67111528
[pid=3658] ppid=3656 vsize=284112 CPUtime=1.17 cores=1,3,5,7
/proc/3658/stat : 3658 (strangenight1-m) R 3656 3658 3446 0 -1 4202496 3043 0 0 0 117 0 0 0 18 0 4 0 522669054 290930688 2253 33554432000 4194304 4650419 140734132606576 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3658/statm: 71028 2253 393 112 0 65993 0
[pid=3658/tid=3659] ppid=3656 vsize=284112 CPUtime=0.29 cores=1,3,5,7
/proc/3658/task/3659/stat : 3659 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 712 0 0 0 29 0 0 0 18 0 4 0 522669054 290930688 2253 33554432000 4194304 4650419 140734132606576 18446744073709551615 4315147 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3658/tid=3660] ppid=3656 vsize=284112 CPUtime=0.29 cores=1,3,5,7
/proc/3658/task/3660/stat : 3660 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 663 0 0 0 29 0 0 0 25 0 4 0 522669054 290930688 2253 33554432000 4194304 4650419 140734132606576 18446744073709551615 4367302 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3658/tid=3661] ppid=3656 vsize=284112 CPUtime=0.29 cores=1,3,5,7
/proc/3658/task/3661/stat : 3661 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 591 0 0 0 29 0 0 0 18 0 4 0 522669054 290930688 2253 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284112

[startup+0.700999 s]
/proc/loadavg: 7.16 7.88 7.85 6/180 3658
/proc/meminfo: memFree=30753124/32951124 swapFree=67110188/67111528
[pid=3658] ppid=3656 vsize=285020 CPUtime=2.78 cores=1,3,5,7
/proc/3658/stat : 3658 (strangenight1-m) R 3656 3658 3446 0 -1 4202496 4752 0 0 0 277 1 0 0 18 0 4 0 522669054 291860480 2999 33554432000 4194304 4650419 140734132606576 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3658/statm: 71255 2999 393 112 0 66220 0
[pid=3658/tid=3659] ppid=3656 vsize=285020 CPUtime=0.69 cores=1,3,5,7
/proc/3658/task/3659/stat : 3659 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 1119 0 0 0 69 0 0 0 18 0 4 0 522669054 291860480 2999 33554432000 4194304 4650419 140734132606576 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3658/tid=3660] ppid=3656 vsize=285020 CPUtime=0.69 cores=1,3,5,7
/proc/3658/task/3660/stat : 3660 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 1120 0 0 0 69 0 0 0 25 0 4 0 522669054 291860480 2999 33554432000 4194304 4650419 140734132606576 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3658/tid=3661] ppid=3656 vsize=285020 CPUtime=0.69 cores=1,3,5,7
/proc/3658/task/3661/stat : 3661 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 1017 0 0 0 69 0 0 0 18 0 4 0 522669054 291860480 2999 33554432000 4194304 4650419 140734132606576 18446744073709551615 4333937 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285020

[startup+1.50086 s]
/proc/loadavg: 7.16 7.88 7.85 9/184 3662
/proc/meminfo: memFree=30734612/32951124 swapFree=67110188/67111528
[pid=3658] ppid=3656 vsize=292316 CPUtime=5.97 cores=1,3,5,7
/proc/3658/stat : 3658 (strangenight1-m) R 3656 3658 3446 0 -1 4202496 9435 0 0 0 595 2 0 0 20 0 4 0 522669054 299331584 5027 33554432000 4194304 4650419 140734132606576 18446744073709551615 4476129 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3658/statm: 73079 5027 395 112 0 68044 0
[pid=3658/tid=3659] ppid=3656 vsize=292316 CPUtime=1.48 cores=1,3,5,7
/proc/3658/task/3659/stat : 3659 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 1962 0 0 0 148 0 0 0 20 0 4 0 522669054 299331584 5027 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3658/tid=3660] ppid=3656 vsize=292316 CPUtime=1.48 cores=1,3,5,7
/proc/3658/task/3660/stat : 3660 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 1946 0 0 0 148 0 0 0 25 0 4 0 522669054 299331584 5027 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3658/tid=3661] ppid=3656 vsize=292316 CPUtime=1.49 cores=1,3,5,7
/proc/3658/task/3661/stat : 3661 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 1801 0 0 0 149 0 0 0 20 0 4 0 522669054 299331584 5027 33554432000 4194304 4650419 140734132606576 18446744073709551615 4366819 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) 292316

[startup+3.10056 s]
/proc/loadavg: 7.23 7.89 7.85 9/184 3662
/proc/meminfo: memFree=30705968/32951124 swapFree=67110188/67111528
[pid=3658] ppid=3656 vsize=266292 CPUtime=12.36 cores=1,3,5,7
/proc/3658/stat : 3658 (strangenight1-m) R 3656 3658 3446 0 -1 4202496 17495 0 0 0 1233 3 0 0 25 0 4 0 522669054 272683008 10386 33554432000 4194304 4650419 140734132606576 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3658/statm: 66573 10386 395 112 0 61538 0
[pid=3658/tid=3659] ppid=3656 vsize=266292 CPUtime=3.09 cores=1,3,5,7
/proc/3658/task/3659/stat : 3659 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 4112 0 0 0 308 1 0 0 25 0 4 0 522669054 272683008 10386 33554432000 4194304 4650419 140734132606576 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3658/tid=3660] ppid=3656 vsize=266292 CPUtime=3.07 cores=1,3,5,7
/proc/3658/task/3660/stat : 3660 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 4586 0 0 0 307 0 0 0 25 0 4 0 522669054 272683008 10386 33554432000 4194304 4650419 140734132606576 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3658/tid=3661] ppid=3656 vsize=266292 CPUtime=3.08 cores=1,3,5,7
/proc/3658/task/3661/stat : 3661 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 3964 0 0 0 308 0 0 0 25 0 4 0 522669054 272683008 10386 33554432000 4194304 4650419 140734132606576 18446744073709551615 4364340 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) 266292

[startup+6.30098 s]
/proc/loadavg: 7.23 7.89 7.85 9/184 3662
/proc/meminfo: memFree=30661632/32951124 swapFree=67110188/67111528
[pid=3658] ppid=3656 vsize=276332 CPUtime=25.15 cores=1,3,5,7
/proc/3658/stat : 3658 (strangenight1-m) R 3656 3658 3446 0 -1 4202496 24877 0 0 0 2510 5 0 0 25 0 4 0 522669054 282963968 14762 33554432000 4194304 4650419 140734132606576 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3658/statm: 69083 14762 395 112 0 64048 0
[pid=3658/tid=3659] ppid=3656 vsize=276332 CPUtime=6.29 cores=1,3,5,7
/proc/3658/task/3659/stat : 3659 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 6600 0 0 0 628 1 0 0 25 0 4 0 522669054 282963968 14762 33554432000 4194304 4650419 140734132606576 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3658/tid=3660] ppid=3656 vsize=276332 CPUtime=6.25 cores=1,3,5,7
/proc/3658/task/3660/stat : 3660 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 6584 0 0 0 625 0 0 0 25 0 4 0 522669054 282963968 14762 33554432000 4194304 4650419 140734132606576 18446744073709551615 222921473803 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3658/tid=3661] ppid=3656 vsize=276332 CPUtime=6.29 cores=1,3,5,7
/proc/3658/task/3661/stat : 3661 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 5419 0 0 0 628 1 0 0 25 0 4 0 522669054 282963968 14762 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 276332

[startup+12.7008 s]
/proc/loadavg: 7.35 7.89 7.85 9/184 3662
/proc/meminfo: memFree=30614580/32951124 swapFree=67110188/67111528
[pid=3658] ppid=3656 vsize=286128 CPUtime=50.71 cores=1,3,5,7
/proc/3658/stat : 3658 (strangenight1-m) R 3656 3658 3446 0 -1 4202496 37385 0 0 0 5063 8 0 0 25 0 4 0 522669054 292995072 20283 33554432000 4194304 4650419 140734132606576 18446744073709551615 4364358 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3658/statm: 71532 20283 395 112 0 66497 0
[pid=3658/tid=3659] ppid=3656 vsize=286128 CPUtime=12.69 cores=1,3,5,7
/proc/3658/task/3659/stat : 3659 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 10209 0 0 0 1267 2 0 0 25 0 4 0 522669054 292995072 20283 33554432000 4194304 4650419 140734132606576 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3658/tid=3660] ppid=3656 vsize=286128 CPUtime=12.62 cores=1,3,5,7
/proc/3658/task/3660/stat : 3660 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 10164 0 0 0 1261 1 0 0 25 0 4 0 522669054 292995072 20283 33554432000 4194304 4650419 140734132606576 18446744073709551615 4333890 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3658/tid=3661] ppid=3656 vsize=286128 CPUtime=12.69 cores=1,3,5,7
/proc/3658/task/3661/stat : 3661 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 7733 0 0 0 1267 2 0 0 25 0 4 0 522669054 292995072 20283 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 286128

[startup+25.5005 s]
/proc/loadavg: 7.53 7.91 7.86 9/184 3663
/proc/meminfo: memFree=30558112/32951124 swapFree=67110188/67111528
[pid=3658] ppid=3656 vsize=307080 CPUtime=101.84 cores=1,3,5,7
/proc/3658/stat : 3658 (strangenight1-m) R 3656 3658 3446 0 -1 4202496 55375 0 0 0 10172 12 0 0 25 0 4 0 522669054 314449920 31880 33554432000 4194304 4650419 140734132606576 18446744073709551615 4476769 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3658/statm: 76770 31880 395 112 0 71735 0
[pid=3658/tid=3659] ppid=3656 vsize=307080 CPUtime=25.49 cores=1,3,5,7
/proc/3658/task/3659/stat : 3659 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 15523 0 0 0 2547 2 0 0 25 0 4 0 522669054 314449920 31880 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3658/tid=3660] ppid=3656 vsize=307080 CPUtime=25.34 cores=1,3,5,7
/proc/3658/task/3660/stat : 3660 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 15251 0 0 0 2532 2 0 0 25 0 4 0 522669054 314449920 31880 33554432000 4194304 4650419 140734132606576 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3658/tid=3661] ppid=3656 vsize=307080 CPUtime=25.49 cores=1,3,5,7
/proc/3658/task/3661/stat : 3661 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 11183 0 0 0 2546 3 0 0 25 0 4 0 522669054 314449920 31880 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365494 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) 307080

[startup+51.1008 s]
/proc/loadavg: 7.69 7.91 7.86 9/184 3663
/proc/meminfo: memFree=30519340/32951124 swapFree=67110188/67111528
[pid=3658] ppid=3656 vsize=384048 CPUtime=204.1 cores=1,3,5,7
/proc/3658/stat : 3658 (strangenight1-m) R 3656 3658 3446 0 -1 4202496 83524 0 0 0 20392 18 0 0 25 0 4 0 522669054 393265152 36899 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3658/statm: 96012 36899 395 112 0 90977 0
[pid=3658/tid=3659] ppid=3656 vsize=384048 CPUtime=51.08 cores=1,3,5,7
/proc/3658/task/3659/stat : 3659 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 21016 0 0 0 5105 3 0 0 25 0 4 0 522669054 393265152 36899 33554432000 4194304 4650419 140734132606576 18446744073709551615 4367420 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3658/tid=3660] ppid=3656 vsize=384048 CPUtime=50.81 cores=1,3,5,7
/proc/3658/task/3660/stat : 3660 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 23770 0 0 0 5076 5 0 0 25 0 4 0 522669054 393265152 36899 33554432000 4194304 4650419 140734132606576 18446744073709551615 4476207 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3658/tid=3661] ppid=3656 vsize=384048 CPUtime=51.08 cores=1,3,5,7
/proc/3658/task/3661/stat : 3661 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 16755 0 0 0 5104 4 0 0 25 0 4 0 522669054 393265152 36899 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365357 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) 384048

[startup+102.306 s]
/proc/loadavg: 7.91 7.94 7.87 9/184 3665
/proc/meminfo: memFree=30451220/32951124 swapFree=67110188/67111528
[pid=3658] ppid=3656 vsize=399780 CPUtime=408.65 cores=1,3,5,7
/proc/3658/stat : 3658 (strangenight1-m) R 3656 3658 3446 0 -1 4202496 119773 0 0 0 40834 31 0 0 25 0 4 0 522669054 409374720 46863 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3658/statm: 99945 46863 395 112 0 94910 0
[pid=3658/tid=3659] ppid=3656 vsize=399780 CPUtime=102.3 cores=1,3,5,7
/proc/3658/task/3659/stat : 3659 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 25593 0 0 0 10225 5 0 0 25 0 4 0 522669054 409374720 46863 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365313 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3658/tid=3660] ppid=3656 vsize=399780 CPUtime=101.73 cores=1,3,5,7
/proc/3658/task/3660/stat : 3660 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 33444 0 0 0 10165 8 0 0 25 0 4 0 522669054 409374720 46863 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3658/tid=3661] ppid=3656 vsize=399780 CPUtime=102.29 cores=1,3,5,7
/proc/3658/task/3661/stat : 3661 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 25192 0 0 0 10222 7 0 0 25 0 4 0 522669054 409374720 46863 33554432000 4194304 4650419 140734132606576 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 399780

[startup+162.3 s]

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

[pid=3658] ppid=3656 vsize=596756 CPUtime=2805.37 cores=1,3,5,7
/proc/3658/stat : 3658 (strangenight1-m) R 3656 3658 3446 0 -1 4202496 413357 0 0 0 280371 166 0 0 25 0 4 0 522669054 611078144 90250 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3658/statm: 149189 90250 395 112 0 144154 0
[pid=3658/tid=3659] ppid=3656 vsize=596756 CPUtime=702.29 cores=1,3,5,7
/proc/3658/task/3659/stat : 3659 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 104974 0 0 0 70187 42 0 0 25 0 4 0 522669054 611078144 90250 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3658/tid=3660] ppid=3656 vsize=596756 CPUtime=698.45 cores=1,3,5,7
/proc/3658/task/3660/stat : 3660 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 97858 0 0 0 69807 38 0 0 25 0 4 0 522669054 611078144 90250 33554432000 4194304 4650419 140734132606576 18446744073709551615 4366857 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3658/tid=3661] ppid=3656 vsize=596756 CPUtime=702.3 cores=1,3,5,7
/proc/3658/task/3661/stat : 3661 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 82777 0 0 0 70196 34 0 0 25 0 4 0 522669054 611078144 90250 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.37
Current children cumulated vsize (KiB) 596756

[startup+762.307 s]
/proc/loadavg: 8.17 8.12 8.00 9/184 3694
/proc/meminfo: memFree=30084128/32951124 swapFree=67110188/67111528
[pid=3658] ppid=3656 vsize=607296 CPUtime=3045.08 cores=1,3,5,7
/proc/3658/stat : 3658 (strangenight1-m) R 3656 3658 3446 0 -1 4202496 436441 0 0 0 304330 178 0 0 25 0 4 0 522669054 621871104 95075 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3658/statm: 151824 95075 395 112 0 146789 0
[pid=3658/tid=3659] ppid=3656 vsize=607296 CPUtime=762.3 cores=1,3,5,7
/proc/3658/task/3659/stat : 3659 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 111928 0 0 0 76184 46 0 0 25 0 4 0 522669054 621871104 95075 33554432000 4194304 4650419 140734132606576 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3658/tid=3660] ppid=3656 vsize=607296 CPUtime=758.13 cores=1,3,5,7
/proc/3658/task/3660/stat : 3660 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 103058 0 0 0 75771 42 0 0 25 0 4 0 522669054 621871104 95075 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3658/tid=3661] ppid=3656 vsize=607296 CPUtime=762.31 cores=1,3,5,7
/proc/3658/task/3661/stat : 3661 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 87291 0 0 0 76194 37 0 0 25 0 4 0 522669054 621871104 95075 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.08
Current children cumulated vsize (KiB) 607296

[startup+822.301 s]
/proc/loadavg: 8.16 8.13 8.01 9/184 3696
/proc/meminfo: memFree=30041432/32951124 swapFree=67110188/67111528
[pid=3658] ppid=3656 vsize=607512 CPUtime=3284.74 cores=1,3,5,7
/proc/3658/stat : 3658 (strangenight1-m) R 3656 3658 3446 0 -1 4202496 458893 0 0 0 328285 189 0 0 25 0 4 0 522669054 622092288 99104 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3658/statm: 151878 99104 395 112 0 146843 0
[pid=3658/tid=3659] ppid=3656 vsize=607512 CPUtime=822.3 cores=1,3,5,7
/proc/3658/task/3659/stat : 3659 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 118900 0 0 0 82181 49 0 0 25 0 4 0 522669054 622092288 99104 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3658/tid=3660] ppid=3656 vsize=607512 CPUtime=817.8 cores=1,3,5,7
/proc/3658/task/3660/stat : 3660 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 106419 0 0 0 81737 43 0 0 25 0 4 0 522669054 622092288 99104 33554432000 4194304 4650419 140734132606576 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3658/tid=3661] ppid=3656 vsize=607512 CPUtime=822.3 cores=1,3,5,7
/proc/3658/task/3661/stat : 3661 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 92643 0 0 0 82190 40 0 0 25 0 4 0 522669054 622092288 99104 33554432000 4194304 4650419 140734132606576 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.74
Current children cumulated vsize (KiB) 607512

[startup+882.301 s]
/proc/loadavg: 8.10 8.12 8.01 9/184 3697
/proc/meminfo: memFree=29993284/32951124 swapFree=67110188/67111528
[pid=3658] ppid=3656 vsize=607676 CPUtime=3524.41 cores=1,3,5,7
/proc/3658/stat : 3658 (strangenight1-m) R 3656 3658 3446 0 -1 4202496 482749 0 0 0 352241 200 0 0 25 0 4 0 522669054 622260224 113125 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3658/statm: 151919 113125 395 112 0 146884 0
[pid=3658/tid=3659] ppid=3656 vsize=607676 CPUtime=882.3 cores=1,3,5,7
/proc/3658/task/3659/stat : 3659 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 127672 0 0 0 88177 53 0 0 25 0 4 0 522669054 622260224 113125 33554432000 4194304 4650419 140734132606576 18446744073709551615 4433066 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3658/tid=3660] ppid=3656 vsize=607676 CPUtime=877.46 cores=1,3,5,7
/proc/3658/task/3660/stat : 3660 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 110507 0 0 0 87701 45 0 0 25 0 4 0 522669054 622260224 113125 33554432000 4194304 4650419 140734132606576 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3658/tid=3661] ppid=3656 vsize=607676 CPUtime=882.31 cores=1,3,5,7
/proc/3658/task/3661/stat : 3661 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 96932 0 0 0 88189 42 0 0 25 0 4 0 522669054 622260224 113125 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.41
Current children cumulated vsize (KiB) 607676

[startup+942.301 s]
/proc/loadavg: 8.12 8.12 8.01 9/184 3699
/proc/meminfo: memFree=30017036/32951124 swapFree=67110188/67111528
[pid=3658] ppid=3656 vsize=614980 CPUtime=3764.09 cores=1,3,5,7
/proc/3658/stat : 3658 (strangenight1-m) R 3656 3658 3446 0 -1 4202496 501712 0 0 0 376199 210 0 0 25 0 4 0 522669054 629739520 105105 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365286 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3658/statm: 153745 105105 395 112 0 148710 0
[pid=3658/tid=3659] ppid=3656 vsize=614980 CPUtime=942.3 cores=1,3,5,7
/proc/3658/task/3659/stat : 3659 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 134864 0 0 0 94173 57 0 0 25 0 4 0 522669054 629739520 105105 33554432000 4194304 4650419 140734132606576 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3658/tid=3660] ppid=3656 vsize=614980 CPUtime=937.14 cores=1,3,5,7
/proc/3658/task/3660/stat : 3660 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 112328 0 0 0 93668 46 0 0 25 0 4 0 522669054 629739520 105105 33554432000 4194304 4650419 140734132606576 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3658/tid=3661] ppid=3656 vsize=614980 CPUtime=942.31 cores=1,3,5,7
/proc/3658/task/3661/stat : 3661 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 99287 0 0 0 94188 43 0 0 25 0 4 0 522669054 629739520 105105 33554432000 4194304 4650419 140734132606576 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.09
Current children cumulated vsize (KiB) 614980

[startup+1002.3 s]
/proc/loadavg: 8.13 8.13 8.02 9/184 3701
/proc/meminfo: memFree=29955860/32951124 swapFree=67110188/67111528
[pid=3658] ppid=3656 vsize=779624 CPUtime=4003.77 cores=1,3,5,7
/proc/3658/stat : 3658 (strangenight1-m) R 3656 3658 3446 0 -1 4202496 522490 0 0 0 400155 222 0 0 25 0 4 0 522669054 798334976 112179 33554432000 4194304 4650419 140734132606576 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3658/statm: 194906 112179 395 112 0 189871 0
[pid=3658/tid=3659] ppid=3656 vsize=779624 CPUtime=1002.3 cores=1,3,5,7
/proc/3658/task/3659/stat : 3659 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 141642 0 0 0 100169 61 0 0 25 0 4 0 522669054 798334976 112179 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3658/tid=3660] ppid=3656 vsize=779624 CPUtime=996.82 cores=1,3,5,7
/proc/3658/task/3660/stat : 3660 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 116959 0 0 0 99633 49 0 0 25 0 4 0 522669054 798334976 112179 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3658/tid=3661] ppid=3656 vsize=779624 CPUtime=1002.31 cores=1,3,5,7
/proc/3658/task/3661/stat : 3661 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 103575 0 0 0 100185 46 0 0 25 0 4 0 522669054 798334976 112179 33554432000 4194304 4650419 140734132606576 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.77
Current children cumulated vsize (KiB) 779624

[startup+1062.3 s]
/proc/loadavg: 8.08 8.12 8.02 9/184 3702
/proc/meminfo: memFree=29929652/32951124 swapFree=67110188/67111528
[pid=3658] ppid=3656 vsize=667648 CPUtime=4243.45 cores=1,3,5,7
/proc/3658/stat : 3658 (strangenight1-m) R 3656 3658 3446 0 -1 4202496 546388 0 0 0 424112 233 0 0 25 0 4 0 522669054 683671552 112616 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3658/statm: 166912 112616 395 112 0 161877 0
[pid=3658/tid=3659] ppid=3656 vsize=667648 CPUtime=1062.31 cores=1,3,5,7
/proc/3658/task/3659/stat : 3659 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 147672 0 0 0 106166 65 0 0 25 0 4 0 522669054 683671552 112616 33554432000 4194304 4650419 140734132606576 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3658/tid=3660] ppid=3656 vsize=667648 CPUtime=1056.49 cores=1,3,5,7
/proc/3658/task/3660/stat : 3660 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 121208 0 0 0 105598 51 0 0 25 0 4 0 522669054 683671552 112616 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3658/tid=3661] ppid=3656 vsize=667648 CPUtime=1062.31 cores=1,3,5,7
/proc/3658/task/3661/stat : 3661 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 110504 0 0 0 106184 47 0 0 25 0 4 0 522669054 683671552 112616 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.45
Current children cumulated vsize (KiB) 667648

[startup+1122.3 s]
/proc/loadavg: 8.13 8.12 8.02 9/184 3704
/proc/meminfo: memFree=29892404/32951124 swapFree=67110188/67111528
[pid=3658] ppid=3656 vsize=746568 CPUtime=4483.12 cores=1,3,5,7
/proc/3658/stat : 3658 (strangenight1-m) R 3656 3658 3446 0 -1 4202496 569301 0 0 0 448068 244 0 0 25 0 4 0 522669054 764485632 125533 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3658/statm: 186642 125533 395 112 0 181607 0
[pid=3658/tid=3659] ppid=3656 vsize=746568 CPUtime=1122.31 cores=1,3,5,7
/proc/3658/task/3659/stat : 3659 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 155493 0 0 0 112164 67 0 0 25 0 4 0 522669054 764485632 125533 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3658/tid=3660] ppid=3656 vsize=746568 CPUtime=1116.16 cores=1,3,5,7
/proc/3658/task/3660/stat : 3660 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 126059 0 0 0 111561 55 0 0 25 0 4 0 522669054 764485632 125533 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3658/tid=3661] ppid=3656 vsize=746568 CPUtime=1122.31 cores=1,3,5,7
/proc/3658/task/3661/stat : 3661 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 114544 0 0 0 112182 49 0 0 25 0 4 0 522669054 764485632 125533 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.12
Current children cumulated vsize (KiB) 746568

[startup+1182.3 s]
/proc/loadavg: 8.10 8.11 8.02 9/184 3705
/proc/meminfo: memFree=29884800/32951124 swapFree=67110188/67111528
[pid=3658] ppid=3656 vsize=739688 CPUtime=4722.8 cores=1,3,5,7
/proc/3658/stat : 3658 (strangenight1-m) R 3656 3658 3446 0 -1 4202496 587734 0 0 0 472026 254 0 0 25 0 4 0 522669054 757440512 123036 33554432000 4194304 4650419 140734132606576 18446744073709551615 4364427 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3658/statm: 184922 123036 395 112 0 179887 0
[pid=3658/tid=3659] ppid=3656 vsize=739688 CPUtime=1182.31 cores=1,3,5,7
/proc/3658/task/3659/stat : 3659 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 162023 0 0 0 118160 71 0 0 25 0 4 0 522669054 757440512 123036 33554432000 4194304 4650419 140734132606576 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3658/tid=3660] ppid=3656 vsize=739688 CPUtime=1175.83 cores=1,3,5,7
/proc/3658/task/3660/stat : 3660 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 129883 0 0 0 117526 57 0 0 25 0 4 0 522669054 757440512 123036 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3658/tid=3661] ppid=3656 vsize=739688 CPUtime=1182.32 cores=1,3,5,7
/proc/3658/task/3661/stat : 3661 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 116309 0 0 0 118182 50 0 0 25 0 4 0 522669054 757440512 123036 33554432000 4194304 4650419 140734132606576 18446744073709551615 4315110 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.8
Current children cumulated vsize (KiB) 739688



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.13 8.12 8.02 5/180 3707
/proc/meminfo: memFree=30251228/32951124 swapFree=67110188/67111528
[pid=3658] ppid=3656 vsize=686924 CPUtime=4800.31 cores=1,3,5,7
/proc/3658/stat : 3658 (strangenight1-m) R 3656 3658 3446 0 -1 4202496 593847 0 0 0 479771 260 0 0 25 0 4 0 522669054 703410176 125369 33554432000 4194304 4650419 140734132606576 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3658/statm: 171731 125369 395 112 0 166696 0
[pid=3658/tid=3659] ppid=3656 vsize=686924 CPUtime=1201.71 cores=1,3,5,7
/proc/3658/task/3659/stat : 3659 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 163303 0 0 0 120098 73 0 0 25 0 4 0 522669054 703410176 125369 33554432000 4194304 4650419 140734132606576 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3658/tid=3660] ppid=3656 vsize=686924 CPUtime=1195.13 cores=1,3,5,7
/proc/3658/task/3660/stat : 3660 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 130858 0 0 0 119455 58 0 0 25 0 4 0 522669054 703410176 125369 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3658/tid=3661] ppid=3656 vsize=686924 CPUtime=1201.72 cores=1,3,5,7
/proc/3658/task/3661/stat : 3661 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 117658 0 0 0 120121 51 0 0 25 0 4 0 522669054 703410176 125369 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 686924

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

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

[startup+1201.7 s]
/proc/loadavg: 8.13 8.12 8.02 5/180 3707
/proc/meminfo: memFree=30251228/32951124 swapFree=67110188/67111528
[pid=3658] ppid=3656 vsize=686924 CPUtime=4800.31 cores=1,3,5,7
/proc/3658/stat : 3658 (strangenight1-m) R 3656 3658 3446 0 -1 4202496 593847 0 0 0 479771 260 0 0 25 0 4 0 522669054 703410176 125369 33554432000 4194304 4650419 140734132606576 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3658/statm: 171731 125369 395 112 0 166696 0
[pid=3658/tid=3659] ppid=3656 vsize=686924 CPUtime=1201.71 cores=1,3,5,7
/proc/3658/task/3659/stat : 3659 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 163303 0 0 0 120098 73 0 0 25 0 4 0 522669054 703410176 125369 33554432000 4194304 4650419 140734132606576 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3658/tid=3660] ppid=3656 vsize=686924 CPUtime=1195.13 cores=1,3,5,7
/proc/3658/task/3660/stat : 3660 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 130858 0 0 0 119455 58 0 0 25 0 4 0 522669054 703410176 125369 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3658/tid=3661] ppid=3656 vsize=686924 CPUtime=1201.72 cores=1,3,5,7
/proc/3658/task/3661/stat : 3661 (strangenight1-m) R 3656 3658 3446 0 -1 4202560 117658 0 0 0 120121 51 0 0 25 0 4 0 522669054 703410176 125369 33554432000 4194304 4650419 140734132606576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 686924

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.36
CPU user time (s): 4797.74
CPU system time (s): 2.6226
CPU usage (%): 399.454
Max. virtual memory (cumulated for all children) (KiB): 846856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.74
system time used= 2.6226
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 593848
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= 294
involuntary context switches= 21147

runsolver used 1.76873 second user time and 4.80227 second system time

The end

Launcher Data 

Begin job on node109 at 2011-04-29 22:58:03
IDJOB=3175307
IDBENCH=82925
IDSOLVER=1588
FILE ID=node109/3175307-1304110683
RUNJOBID= node109-1304110683-3636
PBS_JOBID= 13170674
Free space on /tmp= 72380 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v600-c2556-S1677156340-036.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175307-1304110683/watcher-3175307-1304110683 -o /tmp/evaluation-result-3175307-1304110683/solver-3175307-1304110683 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175307-1304110683.cnf

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

MD5SUM BENCH= 99f3efd3bfc8a6f99ffbd289ed4a5837
RANDOM SEED=848072490

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30753404 kB
Buffers:        738668 kB
Cached:        1004868 kB
SwapCached:        712 kB
Active:         150956 kB
Inactive:      1659520 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30753404 kB
SwapTotal:    67111528 kB
SwapFree:     67110188 kB
Dirty:           12576 kB
Writeback:           0 kB
AnonPages:       66392 kB
Mapped:          14788 kB
Slab:           324644 kB
PageTables:       4496 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   273740 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= 72380 MiB
End job on node109 at 2011-04-29 23:18:07