Trace number 3173935

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-2-mt? (TO) 4800.37 1201.73

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v600-c2556-S1734827769-099.UNKNOWN.cnf
MD5SUM2eb2fa74ab0dce335225200db81f6563
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 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3173935-1304073679.cnf'
0.00/0.00	c -- header says num vars:            600
0.00/0.00	c -- header says num clauses:        2556
0.01/0.01	c -- clauses added:            0 learnts,         2556 normals,            0 xors
0.01/0.01	c -- vars added        600
0.01/0.01	c Parsing time:  0.00 s
0.01/0.01	c  N st     0         0       600      2556         0         0      7668         0   no data   no data
0.01/0.01	c asymm  cl-useful: 0/2556/2556 lits-rem:0 time: 0.00
0.01/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.01/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.01/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.01/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.01/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    600 time:  0.00 s
0.01/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1.58/0.42	c lits-rem:         2  cl-subs:        3  v-elim:     10  v-fix:    0  time:  0.00 s
1.58/0.42	c Finding binary XORs  T:     0.00 s  found:       0
1.58/0.42	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1.58/0.42	c calculated reachability. Time: 0.00
1.58/0.42	c Calc default polars -  time:   0.00 s pos:     278 undec:      66 neg:     256
1.58/0.42	c =========================================================================================
1.58/0.42	c types(t): F = full restart, N = normal restart
1.58/0.42	c types(t): S = simplification begin/end, E = solution found
1.58/0.42	c restart types(rt): st = static, dy = dynamic
1.58/0.42	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.58/0.42	c  B st     0         0       590      2545         2         0      7706         0   no data   no data
1.58/0.42	c Decided on static restart strategy
1.58/0.42	c  N st     8      4920       590      2545         2      4859      7706    134457   no data   no data
3.18/0.80	c  N st    10     11304       590      2545         2      4494      7706     88235   no data   no data
3.18/0.80	c  N st    11     17047       590      2545         2     10158      7706    249605   no data   no data
4.77/1.20	c  F st    12     25003       590      2545         2     12398      7706    296777   no data   no data
4.77/1.20	c  N st    12     25003       590      2545         2     12398      7706    296777   no data   no data
5.57/1.40	c  N dy    18     30000       590      2545         2     10693      7706    231640   no data   no data
5.57/1.40	c  S st    18     30000       590      2545         2     10693      7706    231640   no data   no data
5.57/1.43	c  S st    18     30505       590      2545         2     11197      7706    243654   no data   no data
5.57/1.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.57/1.43	c blocked clauses removed:        9 vars:      1 tried:         590 T: 0.00 s
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:    589 time:  0.00 s
5.57/1.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.57/1.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.97/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.50	c lits-rem:        91  cl-subs:      413  v-elim:      0  v-fix:    0  time:  0.05 s
5.97/1.50	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.01
5.97/1.50	c calculated reachability. Time: 0.00
5.97/1.50	c  N dy    18     30505       589      2536         2     10784      7679    231331   no data   no data
6.77/1.73	c  N dy    41     34534       589      2536         2     14777      7679    334131     17.98     20.37
7.57/1.97	c  N dy    51     38892       589      2536         2     11270      7679    193564     17.14     18.17
8.79/2.22	c  N dy    70     42898       589      2536         2     15240      7679    294896     17.11     18.06
9.56/2.43	c  S st    84     45759       589      2536         2      9214      7679    112902     17.15     15.68
9.56/2.45	c  S st    84     46259       589      2536         2      9713      7679    126361     17.15   no data
9.56/2.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.56/2.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.56/2.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.56/2.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.56/2.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    589 time:  0.00 s
9.56/2.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.56/2.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.56/2.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.47	c lits-rem:         3  cl-subs:       12  v-elim:      0  v-fix:    0  time:  0.01 s
9.56/2.47	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
9.56/2.47	c vivif2 --  cl tried     9701 cl shrink        0 lits rem          0 time: 0.00
9.56/2.48	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.00
9.56/2.48	c calculated reachability. Time: 0.00
9.56/2.48	c  N dy    84     46259       589      2536         2      9701      7679    126044     17.15   no data
10.76/2.71	c  N dy    90     50269       589      2536         2     13667      7679    224651     16.88     17.82
11.56/2.99	c  N dy   109     54276       589      2536         2     17637      7679    323792     16.96     20.17
12.77/3.27	c  N dy   131     58521       589      2536         2     11967      7679    161221     17.01     18.12
13.95/3.53	c  N dy   154     62598       589      2536         2     16015      7679    267183     17.11     23.48
15.16/3.85	c  N dy   179     66945       589      2536         2     20330      7679    377198     17.19     18.20
15.96/4.05	c  S st   192     69389       589      2536         2     11852      7679    134460     17.20     14.89
15.96/4.08	c  S st   192     69891       589      2536         2     12351      7679    146853     17.20   no data
15.96/4.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.96/4.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.96/4.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.96/4.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.96/4.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.96/4.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    589 time:  0.00 s
15.96/4.08	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
15.96/4.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.96/4.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.36/4.10	c lits-rem:         4  cl-subs:       26  v-elim:      0  v-fix:    0  time:  0.01 s
16.36/4.10	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
16.36/4.11	c vivif2 --  cl tried    12325 cl shrink        0 lits rem          0 time: 0.00
16.36/4.11	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.01
16.36/4.11	c calculated reachability. Time: 0.00
16.36/4.11	c  N dy   192     69891       589      2536         2     12325      7679    146092     17.20   no data
17.58/4.42	c  N dy   208     74594       589      2536         2     16980      7679    264103     17.17     18.35
18.76/4.79	c  N dy   227     79431       589      2536         2     21772      7679    384328     17.18     18.13
20.75/5.28	c  N dy   228     85972       589      2536         2     16344      7679    230141     16.92     17.84
21.15/5.39	c  F st   241     87501       589      2536         2     17865      7679    269773     16.97     15.54
22.75/5.79	c Decided on static restart strategy
22.75/5.79	c  N st   247     92693       589      2536         2     23001      7679    408913     16.97   no data
25.15/6.36	c  N st   249     99804       589      2536         2     17162      7679    370145     16.97   no data
27.14/6.81	c  S st   250    104839       589      2536         2     22103      7679    500968     16.97   no data
27.14/6.86	c  S st   250    105345       589      2536         2     22606      7679    513997     16.97   no data
27.14/6.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.14/6.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.14/6.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.14/6.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.14/6.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.14/6.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    589 time:  0.00 s
27.14/6.87	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.14/6.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.14/6.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.33/7.13	c lits-rem:       240  cl-subs:      896  v-elim:      0  v-fix:    0  time:  0.24 s
28.33/7.13	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
28.33/7.14	c vivif2 --  cl tried    21710 cl shrink        0 lits rem          0 time: 0.01
28.33/7.15	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.01
28.33/7.15	c calculated reachability. Time: 0.00
28.33/7.15	c  N st   250    105345       589      2536         2     21710      7679    486011     16.97   no data
31.93/8.07	c  N st   251    114943       589      2536         2     17331      7679    308130     16.97   no data
37.53/9.43	c  N st   252    129341       589      2536         2     16766      7679    308146     16.97   no data
44.71/11.29	c  N st   253    150940       589      2536         2     22243      7679    403605     16.97   no data
47.92/12.05	c  S st   254    158017       589      2536         2     29183      7679    608059     16.97   no data
48.33/12.12	c  S st   254    158518       589      2536         2     29682      7679    620785     16.97   no data
48.33/12.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
48.33/12.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
48.33/12.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
48.33/12.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
48.33/12.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.33/12.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    589 time:  0.00 s
48.33/12.13	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
48.33/12.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
48.33/12.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.71/12.72	c lits-rem:       326  cl-subs:     1637  v-elim:      0  v-fix:    0  time:  0.56 s
50.71/12.72	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
50.71/12.73	c vivif2 --  cl tried    28045 cl shrink        0 lits rem          0 time: 0.01
50.71/12.74	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.02
50.71/12.75	c calculated reachability. Time: 0.00
50.71/12.75	c  N st   254    158518       589      2536         2     28045      7679    574235     16.97   no data
70.31/17.69	c  N st   255    207108       589      2536         2     22770      7679    385659     16.97   no data
83.49/20.91	c  N st   256    237780       589      2536         2     33227      7679    636343     16.97   no data
83.49/20.91	c  S st   256    237780       589      2536         2     33227      7679    636343     16.97   no data
83.49/20.99	c  S st   256    238284       589      2536         2     33731      7679    649343     16.97   no data
83.49/20.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
83.87/21.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
83.87/21.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
83.87/21.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
83.87/21.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.87/21.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    589 time:  0.00 s
83.87/21.00	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
83.87/21.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
83.87/21.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.86/21.52	c lits-rem:       137  cl-subs:     1314  v-elim:      0  v-fix:    0  time:  0.49 s
85.86/21.52	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
85.86/21.53	c vivif2 --  cl tried    32417 cl shrink        0 lits rem          0 time: 0.01
85.86/21.55	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.02
85.86/21.55	c calculated reachability. Time: 0.00
85.86/21.55	c  N st   256    238284       589      2536         2     32417      7679    615014     16.97   no data
117.82/29.57	c  F st   257    306250       589      2536         2     34438      7679    652849     16.97   no data
117.82/29.57	c  N st   257    306250       589      2536         2     34438      7679    652849     16.97   no data
120.61/30.25	c Decided on static restart strategy
132.99/33.36	c  N st   267    334551       589      2536         2     38717      7679    718369     16.97   no data
145.00/36.33	c  N st   269    357427       589      2536         2     36686      7679    643293     16.97   no data
145.00/36.33	c  S st   269    357427       589      2536         2     36686      7679    643293     16.97   no data
145.38/36.43	c  S st   269    357934       589      2536         2     37193      7679    656248     16.97   no data
145.38/36.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
145.38/36.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
145.38/36.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
145.38/36.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
145.38/36.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.38/36.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    589 time:  0.00 s
145.38/36.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
145.38/36.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
145.38/36.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.58/36.79	c lits-rem:       130  cl-subs:      831  v-elim:      0  v-fix:    0  time:  0.31 s
146.58/36.79	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
146.98/36.80	c vivif2 --  cl tried    36362 cl shrink        0 lits rem          0 time: 0.01
146.98/36.82	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.02
146.98/36.82	c calculated reachability. Time: 0.00
146.98/36.82	c  N st   269    357934       589      2536         2     36362      7679    631694     16.97   no data
164.95/41.36	c  N st   270    390327       589      2536         2     42534      7679    778186     16.97   no data
192.12/48.18	c  N st   271    438916       589      2536         2     36260      7679    571485     16.97   no data
236.06/59.12	c  N st   272    511798       589      2536         2     49933      7679    893534     16.97   no data
252.44/63.29	c  N st   273    536901       589      2536         2     44038      7679    681808     16.97   no data
252.44/63.29	c  S st   273    536901       589      2536         2     44038      7679    681808     16.97   no data
253.24/63.41	c  S st   273    537404       589      2536         2     44540      7679    694032     16.97   no data
253.24/63.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
253.24/63.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
253.24/63.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
253.24/63.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
253.24/63.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
253.24/63.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    589 time:  0.00 s
253.24/63.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
253.24/63.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
253.24/63.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
255.63/64.03	c lits-rem:       216  cl-subs:     1747  v-elim:      0  v-fix:    0  time:  0.57 s
255.63/64.03	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
255.63/64.04	c vivif2 --  cl tried    42793 cl shrink        0 lits rem          0 time: 0.01
255.63/64.07	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.03
255.63/64.07	c calculated reachability. Time: 0.00
255.63/64.07	c  N st   273    537404       589      2536         2     42793      7679    653665     16.97   no data
364.29/91.24	c  N st   274    701389       589      2536         2     37096      7679    432723     16.97   no data
448.19/112.25	c  N st   275    806107       589      2536         2     65923      7679   1215281     16.97   no data
448.19/112.25	c  S st   275    806107       589      2536         2     65923      7679   1215281     16.97   no data
448.97/112.46	c  S st   275    806611       589      2536         2     66427      7679   1228058     16.97   no data
448.97/112.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
448.97/112.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
448.97/112.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
448.97/112.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
448.97/112.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
448.97/112.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    589 time:  0.00 s
448.97/112.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
449.37/112.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
449.37/112.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
464.16/116.21	c lits-rem:       479  cl-subs:     3691  v-elim:      0  v-fix:    0  time:  3.66 s
464.16/116.21	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
464.16/116.22	c vivif2 --  cl tried    62736 cl shrink        0 lits rem          0 time: 0.02
464.16/116.28	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.06
464.16/116.28	c calculated reachability. Time: 0.00
464.16/116.28	c  N st   275    806611       589      2536         2     62736      7679   1127259     16.97   no data
695.83/174.27	c  F st   276   1071876       589      2536         2     78888      7679   1506707     16.97   no data
695.83/174.27	c  N st   276   1071876       589      2536         2     78888      7679   1506707     16.97   no data
702.64/175.96	c Decided on static restart strategy
722.99/181.02	c  N st   286   1100179       589      2536         2     62547      7679   1001945     16.97   no data
758.55/189.94	c  N st   288   1136172       589      2536         2     52754      7679    689744     16.97   no data
786.91/197.05	c  N st   289   1168565       589      2536         2     84730      7679   1624114     16.97   no data
829.26/207.67	c  N st   290   1209916       589      2536         2     79101      7679   1393732     16.97   no data
829.26/207.67	c  S st   290   1209916       589      2536         2     79101      7679   1393732     16.97   no data
830.47/207.91	c  S st   290   1210418       589      2536         2     79603      7679   1407518     16.97   no data
830.47/207.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
830.47/207.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
830.47/207.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
830.47/207.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
830.47/207.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
830.47/207.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    589 time:  0.00 s
830.47/207.95	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
830.47/207.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
830.85/208.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
843.25/211.12	c lits-rem:       296  cl-subs:     3208  v-elim:      0  v-fix:    0  time:  3.10 s
843.25/211.12	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
843.25/211.14	c vivif2 --  cl tried    76395 cl shrink        0 lits rem          0 time: 0.02
843.66/211.21	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.07
843.66/211.22	c calculated reachability. Time: 0.00
843.66/211.22	c  N st   290   1210418       589      2536         2     76395      7679   1320542     16.97   no data
922.76/231.05	c  N st   291   1283300       589      2536         2     52532      7679    625638     16.97   no data
1032.98/258.67	c  N st   292   1392623       589      2536         2     60870      7679    817199     16.97   no data
1187.98/297.48	c  N st   293   1556610       589      2536         2     65436      7679    887733     16.97   no data
1344.96/336.73	c  N st   294   1710419       589      2536         2    107046      7679   2029788     16.97   no data
1344.96/336.73	c  S st   294   1710419       589      2536         2    107046      7679   2029788     16.97   no data
1346.16/337.07	c  S st   294   1710921       589      2536         2    107547      7679   2042882     16.97   no data
1346.16/337.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1346.56/337.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1346.56/337.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1346.56/337.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1346.56/337.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1346.56/337.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    589 time:  0.00 s
1346.56/337.14	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1346.56/337.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1346.96/337.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1408.48/352.62	c lits-rem:      1317  cl-subs:     8185  v-elim:      0  v-fix:    0  time: 15.39 s
1408.48/352.62	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
1408.48/352.65	c vivif2 --  cl tried    99362 cl shrink        0 lits rem          0 time: 0.03
1408.88/352.75	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.10
1408.88/352.75	c calculated reachability. Time: 0.00
1408.88/352.75	c  N st   294   1710921       589      2536         2     99362      7679   1822037     16.97   no data
1822.32/456.21	c  N st   295   2079888       589      2536         2    110847      7679   1958947     16.97   no data
1985.71/497.15	c  N st   296   2210922       589      2536         2    115007      7679   2064138     16.97   no data
1985.71/497.15	c  S st   296   2210922       589      2536         2    115007      7679   2064138     16.97   no data
1987.29/497.51	c  S st   296   2211423       589      2536         2    115508      7679   2077636     16.97   no data
1987.29/497.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1987.29/497.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1987.29/497.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1987.29/497.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1987.29/497.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1987.29/497.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    589 time:  0.00 s
1987.29/497.57	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1987.69/497.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1987.69/497.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2070.39/518.38	c lits-rem:      1209  cl-subs:    10883  v-elim:      0  v-fix:    0  time: 20.71 s
2070.39/518.38	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
2070.79/518.40	c vivif2 --  cl tried   104625 cl shrink        0 lits rem          0 time: 0.03
2071.19/518.51	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.11
2071.19/518.51	c calculated reachability. Time: 0.00
2071.19/518.51	c  N st   296   2211423       589      2536         2    104625      7679   1784922     16.97   no data
2704.33/677.03	c  N st   297   2711423       589      2536         2    128674      7679   2426232     16.97   no data
2704.33/677.03	c  S st   297   2711423       589      2536         2    128674      7679   2426232     16.97   no data
2705.93/677.48	c  S st   297   2711927       589      2536         2    129178      7679   2439537     16.97   no data
2705.93/677.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2706.33/677.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2706.33/677.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2706.33/677.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2706.33/677.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2706.33/677.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    589 time:  0.00 s
2706.33/677.56	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2706.33/677.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2706.74/677.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2777.83/695.46	c lits-rem:       796  cl-subs:     6969  v-elim:      0  v-fix:    0  time: 17.79 s
2777.83/695.46	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
2777.83/695.49	c vivif2 --  cl tried   122209 cl shrink        0 lits rem          0 time: 0.03
2778.63/695.63	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.13
2778.63/695.63	c calculated reachability. Time: 0.00
2778.63/695.63	c  N st   297   2711927       589      2536         2    122209      7679   2244560     16.97   no data
3472.10/869.26	c  N st   298   3211930       589      2536         2     97886      7679   1400010     16.97   no data
3472.10/869.26	c  S st   298   3211930       589      2536         2     97886      7679   1400010     16.97   no data
3473.30/869.58	c  S st   298   3212435       589      2536         2     98391      7679   1413479     16.97   no data
3473.30/869.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3473.70/869.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3473.70/869.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3473.70/869.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3473.70/869.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3473.70/869.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    589 time:  0.00 s
3473.70/869.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3473.70/869.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3474.10/869.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3485.29/872.58	c lits-rem:       383  cl-subs:     3124  v-elim:      0  v-fix:    0  time:  2.88 s
3485.29/872.59	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
3485.68/872.61	c vivif2 --  cl tried    95267 cl shrink        0 lits rem          0 time: 0.02
3486.08/872.70	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.09
3486.08/872.70	c calculated reachability. Time: 0.00
3486.08/872.70	c  N st   298   3212435       589      2536         2     95267      7679   1327420     16.97   no data
4250.65/1064.14	c  N st   299   3712435       589      2536         2    106150      7679   1486302     16.97   no data
4250.65/1064.14	c  S st   299   3712435       589      2536         2    106150      7679   1486302     16.97   no data
4251.85/1064.48	c  S st   299   3712939       589      2536         2    106654      7679   1499877     16.97   no data
4251.85/1064.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4252.25/1064.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4252.25/1064.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4252.25/1064.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4252.25/1064.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4252.25/1064.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    589 time:  0.00 s
4252.25/1064.54	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4252.25/1064.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4252.65/1064.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4263.03/1067.24	c lits-rem:       399  cl-subs:     2968  v-elim:      0  v-fix:    0  time:  2.63 s
4263.03/1067.24	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
4263.03/1067.27	c vivif2 --  cl tried   103686 cl shrink        0 lits rem          0 time: 0.02
4263.43/1067.37	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.10
4263.43/1067.37	c calculated reachability. Time: 0.00
4263.43/1067.37	c  N st   299   3712939       589      2536         2    103686      7679   1425653     16.97   no data
4330.14/1084.06	c  F st   300   3751563       589      2536         2    141322      7679   2410949     16.97   no data
4330.14/1084.06	c  N st   300   3751563       589      2536         2    141322      7679   2410949     16.97   no data
4342.52/1087.11	c Decided on static restart strategy
4394.46/1100.15	c  N st   310   3779872       589      2536         2     86080      7679    880841     16.97   no data
4442.41/1112.19	c  N st   312   3815864       589      2536         2    121491      7679   1878497     16.97   no data
4496.71/1125.73	c  N st   313   3848256       589      2536         2    153099      7679   2711539     16.97   no data
4564.23/1142.63	c  N st   314   3896845       589      2536         2    116672      7679   1737752     16.97   no data
4678.07/1171.16	c  N st   315   3969729       589      2536         2    102739      7679   1302147     16.97   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-3173935-1304073679/watcher-3173935-1304073679 -o /tmp/evaluation-result-3173935-1304073679/solver-3173935-1304073679 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173935-1304073679.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.42 7.96 7.93 2/173 588
/proc/meminfo: memFree=27779256/32951124 swapFree=67111356/67111528
[pid=588] ppid=585 vsize=14880 CPUtime=0 cores=1,3,5,7
/proc/588/stat : 588 (strangenight2-m) R 585 588 32444 0 -1 4194304 110 0 0 0 0 0 0 0 25 0 1 0 518965591 15237120 66 33554432000 4194304 4627427 140736322974304 18446744073709551615 218900807399 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/588/statm: 4576 70 53 106 0 55 0
[pid=588/tid=594] ppid=585 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/588/task/594/stat : 594 (strangenight2-m) R 585 588 32444 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 518965591 52441088 347 33554432000 4194304 4627427 140736322974304 18446744073709551615 218905787377 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=588/tid=605] ppid=585 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/588/task/605/stat : 605 (strangenight2-m) R 585 588 32444 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 518965591 52441088 347 33554432000 4194304 4627427 140736322974304 18446744073709551615 47073479546806 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=588/tid=606] ppid=585 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/588/task/606/stat : 606 (strangenight2-m) R 585 588 32444 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 518965591 52441088 347 33554432000 4194304 4627427 140736322974304 18446744073709551615 47073479546796 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.00903098 s]
/proc/loadavg: 7.42 7.96 7.93 2/173 588
/proc/meminfo: memFree=27779256/32951124 swapFree=67111356/67111528
[pid=588] ppid=585 vsize=282028 CPUtime=0.01 cores=1,3,5,7
/proc/588/stat : 588 (strangenight2-m) R 585 588 32444 0 -1 4202496 891 0 0 0 1 0 0 0 18 0 4 0 518965591 288796672 806 33554432000 4194304 4627427 140736322974304 18446744073709551615 218905836063 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/588/statm: 70507 810 338 106 0 65478 0
[pid=588/tid=594] ppid=585 vsize=282028 CPUtime=0 cores=1,3,5,7
/proc/588/task/594/stat : 594 (strangenight2-m) R 585 588 32444 0 -1 4202560 118 0 0 0 0 0 0 0 19 0 4 0 518965591 288796672 811 33554432000 4194304 4627427 140736322974304 18446744073709551615 4531733 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=588/tid=605] ppid=585 vsize=282024 CPUtime=0 cores=1,3,5,7
/proc/588/task/605/stat : 605 (strangenight2-m) R 585 588 32444 0 -1 4202560 141 0 0 0 0 0 0 0 18 0 4 0 518965591 288792576 814 33554432000 4194304 4627427 140736322974304 18446744073709551615 218905755543 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=588/tid=606] ppid=585 vsize=282024 CPUtime=0 cores=1,3,5,7
/proc/588/task/606/stat : 606 (strangenight2-m) R 585 588 32444 0 -1 4202560 135 0 0 0 0 0 0 0 18 0 4 0 518965591 288792576 817 33554432000 4194304 4627427 140736322974304 18446744073709551615 218905836063 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 282028

[startup+0.109004 s]
/proc/loadavg: 7.42 7.96 7.93 2/173 588
/proc/meminfo: memFree=27779256/32951124 swapFree=67111356/67111528
[pid=588] ppid=585 vsize=282280 CPUtime=0.41 cores=1,3,5,7
/proc/588/stat : 588 (strangenight2-m) R 585 588 32444 0 -1 4202496 1811 0 0 0 41 0 0 0 18 0 4 0 518965591 289054720 1725 33554432000 4194304 4627427 140736322974304 18446744073709551615 4327432 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/588/statm: 70570 1725 384 106 0 65541 0
[pid=588/tid=594] ppid=585 vsize=282280 CPUtime=0.1 cores=1,3,5,7
/proc/588/task/594/stat : 594 (strangenight2-m) R 585 588 32444 0 -1 4202560 377 0 0 0 10 0 0 0 20 0 4 0 518965591 289054720 1725 33554432000 4194304 4627427 140736322974304 18446744073709551615 4308117 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=588/tid=605] ppid=585 vsize=282280 CPUtime=0.1 cores=1,3,5,7
/proc/588/task/605/stat : 605 (strangenight2-m) R 585 588 32444 0 -1 4202560 387 0 0 0 10 0 0 0 18 0 4 0 518965591 289054720 1725 33554432000 4194304 4627427 140736322974304 18446744073709551615 4249192 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=588/tid=606] ppid=585 vsize=282280 CPUtime=0.1 cores=1,3,5,7
/proc/588/task/606/stat : 606 (strangenight2-m) R 585 588 32444 0 -1 4202560 259 0 0 0 10 0 0 0 18 0 4 0 518965591 289054720 1725 33554432000 4194304 4627427 140736322974304 18446744073709551615 4330282 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282280

[startup+0.30097 s]
/proc/loadavg: 7.42 7.96 7.93 2/173 588
/proc/meminfo: memFree=27779256/32951124 swapFree=67111356/67111528
[pid=588] ppid=585 vsize=283856 CPUtime=1.18 cores=1,3,5,7
/proc/588/stat : 588 (strangenight2-m) R 585 588 32444 0 -1 4202496 2909 0 0 0 117 1 0 0 18 0 4 0 518965591 290668544 2192 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/588/statm: 70964 2192 385 106 0 65935 0
[pid=588/tid=594] ppid=585 vsize=283856 CPUtime=0.29 cores=1,3,5,7
/proc/588/task/594/stat : 594 (strangenight2-m) R 585 588 32444 0 -1 4202560 652 0 0 0 29 0 0 0 20 0 4 0 518965591 290668544 2192 33554432000 4194304 4627427 140736322974304 18446744073709551615 4332749 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=588/tid=605] ppid=585 vsize=283856 CPUtime=0.29 cores=1,3,5,7
/proc/588/task/605/stat : 605 (strangenight2-m) R 585 588 32444 0 -1 4202560 655 0 0 0 29 0 0 0 18 0 4 0 518965591 290668544 2192 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=588/tid=606] ppid=585 vsize=283856 CPUtime=0.29 cores=1,3,5,7
/proc/588/task/606/stat : 606 (strangenight2-m) R 585 588 32444 0 -1 4202560 530 0 0 0 29 0 0 0 18 0 4 0 518965591 290668544 2192 33554432000 4194304 4627427 140736322974304 18446744073709551615 4324600 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283856

[startup+0.700898 s]
/proc/loadavg: 7.42 7.96 7.93 2/173 588
/proc/meminfo: memFree=27779256/32951124 swapFree=67111356/67111528
[pid=588] ppid=585 vsize=284684 CPUtime=2.78 cores=1,3,5,7
/proc/588/stat : 588 (strangenight2-m) R 585 588 32444 0 -1 4202496 4546 0 0 0 277 1 0 0 18 0 4 0 518965591 291516416 2844 33554432000 4194304 4627427 140736322974304 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/588/statm: 71171 2844 385 106 0 66142 0
[pid=588/tid=594] ppid=585 vsize=284684 CPUtime=0.69 cores=1,3,5,7
/proc/588/task/594/stat : 594 (strangenight2-m) R 585 588 32444 0 -1 4202560 1057 0 0 0 69 0 0 0 21 0 4 0 518965591 291516416 2844 33554432000 4194304 4627427 140736322974304 18446744073709551615 4332735 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=588/tid=605] ppid=585 vsize=284684 CPUtime=0.69 cores=1,3,5,7
/proc/588/task/605/stat : 605 (strangenight2-m) R 585 588 32444 0 -1 4202560 1071 0 0 0 69 0 0 0 18 0 4 0 518965591 291516416 2844 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=588/tid=606] ppid=585 vsize=284684 CPUtime=0.69 cores=1,3,5,7
/proc/588/task/606/stat : 606 (strangenight2-m) R 585 588 32444 0 -1 4202560 939 0 0 0 69 0 0 0 18 0 4 0 518965591 291516416 2844 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 284684

[startup+1.50075 s]
/proc/loadavg: 7.42 7.96 7.93 10/184 609
/proc/meminfo: memFree=27755196/32951124 swapFree=67111356/67111528
[pid=588] ppid=585 vsize=286492 CPUtime=5.97 cores=1,3,5,7
/proc/588/stat : 588 (strangenight2-m) R 585 588 32444 0 -1 4202496 9240 0 0 0 596 1 0 0 19 0 4 0 518965591 293367808 4713 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/588/statm: 71623 4713 389 106 0 66594 0
[pid=588/tid=594] ppid=585 vsize=286492 CPUtime=1.48 cores=1,3,5,7
/proc/588/task/594/stat : 594 (strangenight2-m) R 585 588 32444 0 -1 4202560 1889 0 0 0 148 0 0 0 23 0 4 0 518965591 293367808 4713 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=588/tid=605] ppid=585 vsize=286492 CPUtime=1.49 cores=1,3,5,7
/proc/588/task/605/stat : 605 (strangenight2-m) R 585 588 32444 0 -1 4202560 1899 0 0 0 149 0 0 0 19 0 4 0 518965591 293367808 4713 33554432000 4194304 4627427 140736322974304 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=588/tid=606] ppid=585 vsize=286492 CPUtime=1.49 cores=1,3,5,7
/proc/588/task/606/stat : 606 (strangenight2-m) R 585 588 32444 0 -1 4202560 1790 0 0 0 149 0 0 0 20 0 4 0 518965591 293367808 4714 33554432000 4194304 4627427 140736322974304 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286492

[startup+3.10047 s]
/proc/loadavg: 7.42 7.96 7.93 9/184 609
/proc/meminfo: memFree=27724692/32951124 swapFree=67111356/67111528
[pid=588] ppid=585 vsize=286852 CPUtime=12.36 cores=1,3,5,7
/proc/588/stat : 588 (strangenight2-m) R 585 588 32444 0 -1 4202496 18078 0 0 0 1233 3 0 0 25 0 4 0 518965591 293736448 10555 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/588/statm: 71713 10555 389 106 0 66684 0
[pid=588/tid=594] ppid=585 vsize=286852 CPUtime=3.07 cores=1,3,5,7
/proc/588/task/594/stat : 594 (strangenight2-m) R 585 588 32444 0 -1 4202560 4111 0 0 0 307 0 0 0 25 0 4 0 518965591 293736448 10555 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=588/tid=605] ppid=585 vsize=286852 CPUtime=3.08 cores=1,3,5,7
/proc/588/task/605/stat : 605 (strangenight2-m) R 585 588 32444 0 -1 4202560 5220 0 0 0 308 0 0 0 25 0 4 0 518965591 293736448 10555 33554432000 4194304 4627427 140736322974304 18446744073709551615 4507021 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=588/tid=606] ppid=585 vsize=286852 CPUtime=3.09 cores=1,3,5,7
/proc/588/task/606/stat : 606 (strangenight2-m) R 585 588 32444 0 -1 4202560 4059 0 0 0 308 1 0 0 25 0 4 0 518965591 293736448 10555 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 286852

[startup+6.30089 s]
/proc/loadavg: 7.47 7.96 7.93 9/184 609
/proc/meminfo: memFree=27687864/32951124 swapFree=67111356/67111528
[pid=588] ppid=585 vsize=305972 CPUtime=25.15 cores=1,3,5,7
/proc/588/stat : 588 (strangenight2-m) R 585 588 32444 0 -1 4202496 27172 0 0 0 2510 5 0 0 25 0 4 0 518965591 313315328 14969 33554432000 4194304 4627427 140736322974304 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/588/statm: 76493 14969 389 106 0 71464 0
[pid=588/tid=594] ppid=585 vsize=305972 CPUtime=6.26 cores=1,3,5,7
/proc/588/task/594/stat : 594 (strangenight2-m) R 585 588 32444 0 -1 4202560 7227 0 0 0 625 1 0 0 25 0 4 0 518965591 313315328 14969 33554432000 4194304 4627427 140736322974304 18446744073709551615 4310440 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=588/tid=605] ppid=585 vsize=305972 CPUtime=6.29 cores=1,3,5,7
/proc/588/task/605/stat : 605 (strangenight2-m) R 585 588 32444 0 -1 4202560 8568 0 0 0 628 1 0 0 25 0 4 0 518965591 313315328 14969 33554432000 4194304 4627427 140736322974304 18446744073709551615 4428111 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=588/tid=606] ppid=585 vsize=305972 CPUtime=6.29 cores=1,3,5,7
/proc/588/task/606/stat : 606 (strangenight2-m) R 585 588 32444 0 -1 4202560 5117 0 0 0 628 1 0 0 25 0 4 0 518965591 313315328 14969 33554432000 4194304 4627427 140736322974304 18446744073709551615 4310136 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 305972

[startup+12.7007 s]
/proc/loadavg: 7.51 7.96 7.93 9/184 609
/proc/meminfo: memFree=27637784/32951124 swapFree=67111356/67111528
[pid=588] ppid=585 vsize=297704 CPUtime=50.71 cores=1,3,5,7
/proc/588/stat : 588 (strangenight2-m) R 585 588 32444 0 -1 4202496 44357 0 0 0 5063 8 0 0 25 0 4 0 518965591 304848896 23648 33554432000 4194304 4627427 140736322974304 18446744073709551615 4427152 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/588/statm: 74426 23648 389 106 0 69397 0
[pid=588/tid=594] ppid=585 vsize=297704 CPUtime=12.62 cores=1,3,5,7
/proc/588/task/594/stat : 594 (strangenight2-m) R 585 588 32444 0 -1 4202560 10883 0 0 0 1261 1 0 0 25 0 4 0 518965591 304848896 23648 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=588/tid=605] ppid=585 vsize=297704 CPUtime=12.68 cores=1,3,5,7
/proc/588/task/605/stat : 605 (strangenight2-m) R 585 588 32444 0 -1 4202560 11762 0 0 0 1267 1 0 0 25 0 4 0 518965591 304848896 23648 33554432000 4194304 4627427 140736322974304 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=588/tid=606] ppid=585 vsize=297704 CPUtime=12.68 cores=1,3,5,7
/proc/588/task/606/stat : 606 (strangenight2-m) R 585 588 32444 0 -1 4202560 9299 0 0 0 1267 1 0 0 25 0 4 0 518965591 304848896 23648 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 297704

[startup+25.5004 s]
/proc/loadavg: 7.62 7.96 7.93 9/184 610
/proc/meminfo: memFree=27571052/32951124 swapFree=67111356/67111528
[pid=588] ppid=585 vsize=371708 CPUtime=101.83 cores=1,3,5,7
/proc/588/stat : 588 (strangenight2-m) R 585 588 32444 0 -1 4202496 67213 0 0 0 10170 13 0 0 25 0 4 0 518965591 380628992 34417 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/588/statm: 92927 34417 389 106 0 87898 0
[pid=588/tid=594] ppid=585 vsize=371708 CPUtime=25.34 cores=1,3,5,7
/proc/588/task/594/stat : 594 (strangenight2-m) R 585 588 32444 0 -1 4202560 16126 0 0 0 2532 2 0 0 25 0 4 0 518965591 380628992 34417 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=588/tid=605] ppid=585 vsize=371708 CPUtime=25.49 cores=1,3,5,7
/proc/588/task/605/stat : 605 (strangenight2-m) R 585 588 32444 0 -1 4202560 18652 0 0 0 2546 3 0 0 25 0 4 0 518965591 380628992 34417 33554432000 4194304 4627427 140736322974304 18446744073709551615 4324721 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=588/tid=606] ppid=585 vsize=371708 CPUtime=25.49 cores=1,3,5,7
/proc/588/task/606/stat : 606 (strangenight2-m) R 585 588 32444 0 -1 4202560 13623 0 0 0 2546 3 0 0 25 0 4 0 518965591 380628992 34417 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 371708

[startup+51.1008 s]
/proc/loadavg: 7.82 7.98 7.94 9/184 610
/proc/meminfo: memFree=27538272/32951124 swapFree=67111356/67111528
[pid=588] ppid=585 vsize=306908 CPUtime=204.1 cores=1,3,5,7
/proc/588/stat : 588 (strangenight2-m) R 585 588 32444 0 -1 4202496 93389 0 0 0 20388 22 0 0 25 0 4 0 518965591 314273792 38931 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309065 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/588/statm: 76727 38931 389 106 0 71698 0
[pid=588/tid=594] ppid=585 vsize=306908 CPUtime=50.8 cores=1,3,5,7
/proc/588/task/594/stat : 594 (strangenight2-m) R 585 588 32444 0 -1 4202560 21367 0 0 0 5076 4 0 0 25 0 4 0 518965591 314273792 38931 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=588/tid=605] ppid=585 vsize=306908 CPUtime=51.09 cores=1,3,5,7
/proc/588/task/605/stat : 605 (strangenight2-m) R 585 588 32444 0 -1 4202560 23737 0 0 0 5105 4 0 0 25 0 4 0 518965591 314273792 38931 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309290 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=588/tid=606] ppid=585 vsize=306908 CPUtime=51.09 cores=1,3,5,7
/proc/588/task/606/stat : 606 (strangenight2-m) R 585 588 32444 0 -1 4202560 21713 0 0 0 5104 5 0 0 25 0 4 0 518965591 314273792 38931 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 306908

[startup+102.306 s]
/proc/loadavg: 8.00 8.00 7.94 9/184 612
/proc/meminfo: memFree=27499688/32951124 swapFree=67111356/67111528
[pid=588] ppid=585 vsize=307672 CPUtime=408.64 cores=1,3,5,7
/proc/588/stat : 588 (strangenight2-m) R 585 588 32444 0 -1 4202496 132992 0 0 0 40828 36 0 0 25 0 4 0 518965591 315056128 42527 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309209 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/588/statm: 76918 42527 389 106 0 71889 0
[pid=588/tid=594] ppid=585 vsize=307672 CPUtime=101.73 cores=1,3,5,7
/proc/588/task/594/stat : 594 (strangenight2-m) R 585 588 32444 0 -1 4202560 28316 0 0 0 10166 7 0 0 25 0 4 0 518965591 315056128 42527 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=588/tid=605] ppid=585 vsize=307672 CPUtime=102.3 cores=1,3,5,7
/proc/588/task/605/stat : 605 (strangenight2-m) R 585 588 32444 0 -1 4202560 31274 0 0 0 10223 7 0 0 25 0 4 0 518965591 315056128 42527 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=588/tid=606] ppid=585 vsize=307672 CPUtime=102.29 cores=1,3,5,7
/proc/588/task/606/stat : 606 (strangenight2-m) R 585 588 32444 0 -1 4202560 36333 0 0 0 10219 10 0 0 25 0 4 0 518965591 315056128 42527 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 307672

[startup+162.301 s]

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

[pid=588] ppid=585 vsize=562052 CPUtime=2805.4 cores=1,3,5,7
/proc/588/stat : 588 (strangenight2-m) R 585 588 32444 0 -1 4202496 409064 0 0 0 280382 158 0 0 25 0 4 0 518965591 575541248 95456 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309253 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/588/statm: 140513 95456 389 106 0 135484 0
[pid=588/tid=594] ppid=585 vsize=562052 CPUtime=698.45 cores=1,3,5,7
/proc/588/task/594/stat : 594 (strangenight2-m) R 585 588 32444 0 -1 4202560 71459 0 0 0 69818 27 0 0 25 0 4 0 518965591 575541248 95456 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=588/tid=605] ppid=585 vsize=562052 CPUtime=702.31 cores=1,3,5,7
/proc/588/task/605/stat : 605 (strangenight2-m) R 585 588 32444 0 -1 4202560 114749 0 0 0 70189 42 0 0 25 0 4 0 518965591 575541248 95456 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=588/tid=606] ppid=585 vsize=562052 CPUtime=702.3 cores=1,3,5,7
/proc/588/task/606/stat : 606 (strangenight2-m) R 585 588 32444 0 -1 4202560 104881 0 0 0 70186 44 0 0 25 0 4 0 518965591 575541248 95456 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.4
Current children cumulated vsize (KiB) 562052

[startup+762.307 s]
/proc/loadavg: 8.06 8.06 8.00 9/184 659
/proc/meminfo: memFree=27127236/32951124 swapFree=67111356/67111528
[pid=588] ppid=585 vsize=512780 CPUtime=3045.09 cores=1,3,5,7
/proc/588/stat : 588 (strangenight2-m) R 585 588 32444 0 -1 4202496 432053 0 0 0 304341 168 0 0 25 0 4 0 518965591 525086720 99010 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/588/statm: 128195 99010 389 106 0 123166 0
[pid=588/tid=594] ppid=585 vsize=512780 CPUtime=758.13 cores=1,3,5,7
/proc/588/task/594/stat : 594 (strangenight2-m) R 585 588 32444 0 -1 4202560 74957 0 0 0 75784 29 0 0 25 0 4 0 518965591 525086720 99010 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=588/tid=605] ppid=585 vsize=512780 CPUtime=762.31 cores=1,3,5,7
/proc/588/task/605/stat : 605 (strangenight2-m) R 585 588 32444 0 -1 4202560 122605 0 0 0 76185 46 0 0 25 0 4 0 518965591 525086720 99010 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=588/tid=606] ppid=585 vsize=512780 CPUtime=762.31 cores=1,3,5,7
/proc/588/task/606/stat : 606 (strangenight2-m) R 585 588 32444 0 -1 4202560 110076 0 0 0 76185 46 0 0 25 0 4 0 518965591 525086720 99010 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3045.09
Current children cumulated vsize (KiB) 512780

[startup+822.301 s]
/proc/loadavg: 8.06 8.06 8.00 9/184 661
/proc/meminfo: memFree=27134876/32951124 swapFree=67111356/67111528
[pid=588] ppid=585 vsize=501548 CPUtime=3284.75 cores=1,3,5,7
/proc/588/stat : 588 (strangenight2-m) R 585 588 32444 0 -1 4202496 451518 0 0 0 328298 177 0 0 25 0 4 0 518965591 513585152 96647 33554432000 4194304 4627427 140736322974304 18446744073709551615 4308715 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/588/statm: 125387 96647 389 106 0 120358 0
[pid=588/tid=594] ppid=585 vsize=501548 CPUtime=817.8 cores=1,3,5,7
/proc/588/task/594/stat : 594 (strangenight2-m) R 585 588 32444 0 -1 4202560 78271 0 0 0 81750 30 0 0 25 0 4 0 518965591 513585152 96647 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309220 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=588/tid=605] ppid=585 vsize=501548 CPUtime=822.31 cores=1,3,5,7
/proc/588/task/605/stat : 605 (strangenight2-m) R 585 588 32444 0 -1 4202560 129186 0 0 0 82182 49 0 0 25 0 4 0 518965591 513585152 96647 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=588/tid=606] ppid=585 vsize=501548 CPUtime=822.3 cores=1,3,5,7
/proc/588/task/606/stat : 606 (strangenight2-m) R 585 588 32444 0 -1 4202560 116463 0 0 0 82181 49 0 0 25 0 4 0 518965591 513585152 96647 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.75
Current children cumulated vsize (KiB) 501548

[startup+882.3 s]
/proc/loadavg: 8.05 8.06 8.00 9/184 663
/proc/meminfo: memFree=27107312/32951124 swapFree=67111356/67111528
[pid=588] ppid=585 vsize=583640 CPUtime=3524.43 cores=1,3,5,7
/proc/588/stat : 588 (strangenight2-m) R 585 588 32444 0 -1 4202496 474608 0 0 0 352255 188 0 0 25 0 4 0 518965591 597647360 103060 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/588/statm: 145910 103060 389 106 0 140881 0
[pid=588/tid=594] ppid=585 vsize=583640 CPUtime=877.47 cores=1,3,5,7
/proc/588/task/594/stat : 594 (strangenight2-m) R 585 588 32444 0 -1 4202560 81066 0 0 0 87715 32 0 0 25 0 4 0 518965591 597647360 103060 33554432000 4194304 4627427 140736322974304 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=588/tid=605] ppid=585 vsize=583640 CPUtime=882.31 cores=1,3,5,7
/proc/588/task/605/stat : 605 (strangenight2-m) R 585 588 32444 0 -1 4202560 135729 0 0 0 88178 53 0 0 25 0 4 0 518965591 597647360 103060 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=588/tid=606] ppid=585 vsize=583640 CPUtime=882.3 cores=1,3,5,7
/proc/588/task/606/stat : 606 (strangenight2-m) R 585 588 32444 0 -1 4202560 123634 0 0 0 88178 52 0 0 25 0 4 0 518965591 597647360 103060 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.43
Current children cumulated vsize (KiB) 583640

[startup+942.3 s]
/proc/loadavg: 8.02 8.05 8.00 9/184 664
/proc/meminfo: memFree=27072060/32951124 swapFree=67111356/67111528
[pid=588] ppid=585 vsize=527112 CPUtime=3764.1 cores=1,3,5,7
/proc/588/stat : 588 (strangenight2-m) R 585 588 32444 0 -1 4202496 497796 0 0 0 376212 198 0 0 25 0 4 0 518965591 539762688 103168 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/588/statm: 131778 103168 389 106 0 126749 0
[pid=588/tid=594] ppid=585 vsize=527112 CPUtime=937.14 cores=1,3,5,7
/proc/588/task/594/stat : 594 (strangenight2-m) R 585 588 32444 0 -1 4202560 85484 0 0 0 93680 34 0 0 25 0 4 0 518965591 539762688 103168 33554432000 4194304 4627427 140736322974304 18446744073709551615 4308767 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=588/tid=605] ppid=585 vsize=527112 CPUtime=942.31 cores=1,3,5,7
/proc/588/task/605/stat : 605 (strangenight2-m) R 585 588 32444 0 -1 4202560 143396 0 0 0 94175 56 0 0 25 0 4 0 518965591 539762688 103168 33554432000 4194304 4627427 140736322974304 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=588/tid=606] ppid=585 vsize=527112 CPUtime=942.3 cores=1,3,5,7
/proc/588/task/606/stat : 606 (strangenight2-m) R 585 588 32444 0 -1 4202560 130050 0 0 0 94175 55 0 0 25 0 4 0 518965591 539762688 103168 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3764.1
Current children cumulated vsize (KiB) 527112

[startup+1002.3 s]
/proc/loadavg: 8.08 8.05 8.01 9/184 666
/proc/meminfo: memFree=27063100/32951124 swapFree=67111356/67111528
[pid=588] ppid=585 vsize=592868 CPUtime=4003.78 cores=1,3,5,7
/proc/588/stat : 588 (strangenight2-m) R 585 588 32444 0 -1 4202496 516611 0 0 0 400168 210 0 0 25 0 4 0 518965591 607096832 103254 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/588/statm: 148217 103254 389 106 0 143188 0
[pid=588/tid=594] ppid=585 vsize=592868 CPUtime=996.81 cores=1,3,5,7
/proc/588/task/594/stat : 594 (strangenight2-m) R 585 588 32444 0 -1 4202560 87793 0 0 0 99646 35 0 0 25 0 4 0 518965591 607096832 103254 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=588/tid=605] ppid=585 vsize=592868 CPUtime=1002.31 cores=1,3,5,7
/proc/588/task/605/stat : 605 (strangenight2-m) R 585 588 32444 0 -1 4202560 149698 0 0 0 100172 59 0 0 25 0 4 0 518965591 607096832 103254 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=588/tid=606] ppid=585 vsize=592868 CPUtime=1002.3 cores=1,3,5,7
/proc/588/task/606/stat : 606 (strangenight2-m) R 585 588 32444 0 -1 4202560 136363 0 0 0 100171 59 0 0 25 0 4 0 518965591 607096832 103254 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.78
Current children cumulated vsize (KiB) 592868

[startup+1062.3 s]
/proc/loadavg: 8.10 8.06 8.00 9/184 667
/proc/meminfo: memFree=27028468/32951124 swapFree=67111356/67111528
[pid=588] ppid=585 vsize=606176 CPUtime=4243.46 cores=1,3,5,7
/proc/588/stat : 588 (strangenight2-m) R 585 588 32444 0 -1 4202496 540971 0 0 0 424126 220 0 0 25 0 4 0 518965591 620724224 112083 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/588/statm: 151544 112083 389 106 0 146515 0
[pid=588/tid=594] ppid=585 vsize=606176 CPUtime=1056.48 cores=1,3,5,7
/proc/588/task/594/stat : 594 (strangenight2-m) R 585 588 32444 0 -1 4202560 96728 0 0 0 105610 38 0 0 25 0 4 0 518965591 620724224 112083 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=588/tid=605] ppid=585 vsize=606176 CPUtime=1062.31 cores=1,3,5,7
/proc/588/task/605/stat : 605 (strangenight2-m) R 585 588 32444 0 -1 4202560 154991 0 0 0 106169 62 0 0 25 0 4 0 518965591 620724224 112083 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=588/tid=606] ppid=585 vsize=606176 CPUtime=1062.3 cores=1,3,5,7
/proc/588/task/606/stat : 606 (strangenight2-m) R 585 588 32444 0 -1 4202560 140550 0 0 0 106170 60 0 0 25 0 4 0 518965591 620724224 112083 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.46
Current children cumulated vsize (KiB) 606176

[startup+1122.3 s]
/proc/loadavg: 8.10 8.06 8.00 9/184 669
/proc/meminfo: memFree=26971260/32951124 swapFree=67111356/67111528
[pid=588] ppid=585 vsize=654312 CPUtime=4483.13 cores=1,3,5,7
/proc/588/stat : 588 (strangenight2-m) R 585 588 32444 0 -1 4202496 564265 0 0 0 448080 233 0 0 25 0 4 0 518965591 670015488 117221 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/588/statm: 163578 117221 389 106 0 158549 0
[pid=588/tid=594] ppid=585 vsize=654312 CPUtime=1116.15 cores=1,3,5,7
/proc/588/task/594/stat : 594 (strangenight2-m) R 585 588 32444 0 -1 4202560 100875 0 0 0 111575 40 0 0 25 0 4 0 518965591 670015488 117221 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=588/tid=605] ppid=585 vsize=654312 CPUtime=1122.32 cores=1,3,5,7
/proc/588/task/605/stat : 605 (strangenight2-m) R 585 588 32444 0 -1 4202560 161942 0 0 0 112166 66 0 0 25 0 4 0 518965591 670015488 117221 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=588/tid=606] ppid=585 vsize=654312 CPUtime=1122.31 cores=1,3,5,7
/proc/588/task/606/stat : 606 (strangenight2-m) R 585 588 32444 0 -1 4202560 147661 0 0 0 112166 65 0 0 25 0 4 0 518965591 670015488 117221 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4483.13
Current children cumulated vsize (KiB) 654312

[startup+1182.3 s]
/proc/loadavg: 8.10 8.06 8.00 9/184 671
/proc/meminfo: memFree=26970748/32951124 swapFree=67111356/67111528
[pid=588] ppid=585 vsize=672952 CPUtime=4722.81 cores=1,3,5,7
/proc/588/stat : 588 (strangenight2-m) R 585 588 32444 0 -1 4202496 588577 0 0 0 472037 244 0 0 25 0 4 0 518965591 689102848 114945 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/588/statm: 168238 114945 389 106 0 163209 0
[pid=588/tid=594] ppid=585 vsize=672952 CPUtime=1175.84 cores=1,3,5,7
/proc/588/task/594/stat : 594 (strangenight2-m) R 585 588 32444 0 -1 4202560 103011 0 0 0 117542 42 0 0 25 0 4 0 518965591 689102848 114945 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=588/tid=605] ppid=585 vsize=672952 CPUtime=1182.32 cores=1,3,5,7
/proc/588/task/605/stat : 605 (strangenight2-m) R 585 588 32444 0 -1 4202560 170694 0 0 0 118162 70 0 0 25 0 4 0 518965591 689102848 114945 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=588/tid=606] ppid=585 vsize=672952 CPUtime=1182.31 cores=1,3,5,7
/proc/588/task/606/stat : 606 (strangenight2-m) R 585 588 32444 0 -1 4202560 154216 0 0 0 118163 68 0 0 25 0 4 0 518965591 689102848 114945 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.81
Current children cumulated vsize (KiB) 672952



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.13 8.07 8.01 9/184 680
/proc/meminfo: memFree=26953228/32951124 swapFree=67111356/67111528
[pid=588] ppid=585 vsize=726248 CPUtime=4800.3 cores=1,3,5,7
/proc/588/stat : 588 (strangenight2-m) R 585 588 32444 0 -1 4202496 593792 0 0 0 479782 248 0 0 25 0 4 0 518965591 743677952 120159 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/588/statm: 181562 120159 389 106 0 176533 0
[pid=588/tid=594] ppid=585 vsize=726248 CPUtime=1195.13 cores=1,3,5,7
/proc/588/task/594/stat : 594 (strangenight2-m) R 585 588 32444 0 -1 4202560 103928 0 0 0 119471 42 0 0 25 0 4 0 518965591 743677952 120160 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=588/tid=605] ppid=585 vsize=726248 CPUtime=1201.72 cores=1,3,5,7
/proc/588/task/605/stat : 605 (strangenight2-m) R 585 588 32444 0 -1 4202560 172289 0 0 0 120101 71 0 0 25 0 4 0 518965591 743677952 120160 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=588/tid=606] ppid=585 vsize=726248 CPUtime=1201.71 cores=1,3,5,7
/proc/588/task/606/stat : 606 (strangenight2-m) R 585 588 32444 0 -1 4202560 155796 0 0 0 120103 68 0 0 25 0 4 0 518965591 743677952 120160 33554432000 4194304 4627427 140736322974304 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 726248

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.07 8.01 9/184 680
/proc/meminfo: memFree=26953228/32951124 swapFree=67111356/67111528
[pid=588] ppid=585 vsize=726248 CPUtime=4800.3 cores=1,3,5,7
/proc/588/stat : 588 (strangenight2-m) R 585 588 32444 0 -1 4202496 593792 0 0 0 479782 248 0 0 25 0 4 0 518965591 743677952 120159 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/588/statm: 181562 120159 389 106 0 176533 0
[pid=588/tid=594] ppid=585 vsize=726248 CPUtime=1195.13 cores=1,3,5,7
/proc/588/task/594/stat : 594 (strangenight2-m) R 585 588 32444 0 -1 4202560 103928 0 0 0 119471 42 0 0 25 0 4 0 518965591 743677952 120160 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=588/tid=605] ppid=585 vsize=726248 CPUtime=1201.72 cores=1,3,5,7
/proc/588/task/605/stat : 605 (strangenight2-m) R 585 588 32444 0 -1 4202560 172289 0 0 0 120101 71 0 0 25 0 4 0 518965591 743677952 120160 33554432000 4194304 4627427 140736322974304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=588/tid=606] ppid=585 vsize=726248 CPUtime=1201.71 cores=1,3,5,7
/proc/588/task/606/stat : 606 (strangenight2-m) R 585 588 32444 0 -1 4202560 155796 0 0 0 120103 68 0 0 25 0 4 0 518965591 743677952 120160 33554432000 4194304 4627427 140736322974304 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 726248

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.37
CPU user time (s): 4797.86
CPU system time (s): 2.50462
CPU usage (%): 399.453
Max. virtual memory (cumulated for all children) (KiB): 779360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.86
system time used= 2.50462
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 593794
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= 347
involuntary context switches= 33285

runsolver used 1.89371 second user time and 4.68329 second system time

The end

Launcher Data 

Begin job on node137 at 2011-04-29 12:41:19
IDJOB=3173935
IDBENCH=82753
IDSOLVER=1586
FILE ID=node137/3173935-1304073679
RUNJOBID= node137-1304072475-479
PBS_JOBID= 13170471
Free space on /tmp= 71620 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v600-c2556-S1734827769-099.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173935-1304073679/watcher-3173935-1304073679 -o /tmp/evaluation-result-3173935-1304073679/solver-3173935-1304073679 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173935-1304073679.cnf

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

MD5SUM BENCH= 2eb2fa74ab0dce335225200db81f6563
RANDOM SEED=2042008745

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
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.844
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.844
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.83
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.844
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:      27779544 kB
Buffers:        906128 kB
Cached:        3736312 kB
SwapCached:         56 kB
Active:         312192 kB
Inactive:      4393680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27779544 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           11312 kB
Writeback:           0 kB
AnonPages:       63252 kB
Mapped:          14680 kB
Slab:           401248 kB
PageTables:       4256 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   190104 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= 71608 MiB
End job on node137 at 2011-04-29 13:01:23