Trace number 3366370

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 (fixed)? (TO) 4800.38 1203.16

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v750-c3195-S1378008329-078.SATISFIABLE.cnf
MD5SUMd50cd6e15bea1958cfdf9785772f4ad7
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.015996
Satisfiable
(Un)Satisfiability was proved
Number of variables750
Number of clauses3195
Sum of the clauses size9585
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 33195
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366370-1305402743.cnf'
0.00/0.01	c -- header says num vars:            750
0.00/0.01	c -- header says num clauses:        3195
0.00/0.01	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.01	c -- vars added        750
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       750      3195         0         0      9585         0   no data   no data
0.00/0.01	c asymm  cl-useful: 1/3195/3195 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 blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
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:    750 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.17	c lits-rem:         0  cl-subs:        0  v-elim:     19  v-fix:    0  time:  0.00 s
0.00/0.17	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.17	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.17	c calculated reachability. Time: 0.00
0.00/0.17	c Calc default polars -  time:   0.00 s pos:     337 undec:      97 neg:     316
0.00/0.17	c =========================================================================================
0.00/0.17	c types(t): F = full restart, N = normal restart
0.00/0.17	c types(t): S = simplification begin/end, E = solution found
0.00/0.17	c restart types(rt): st = static, dy = dynamic
0.00/0.17	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.17	c  B st     0         0       731      3165         1         0      9604         0   no data   no data
0.00/0.17	c Decided on static restart strategy
0.00/0.82	c  N st     8      4921       731      3165         1      4868      9604    147788   no data   no data
0.00/0.82	c  N st    10     11303       731      3165         1      4518      9604     98817   no data   no data
0.00/0.82	c  N st    11     17047       731      3165         1     10157      9604    266851   no data   no data
5.21/1.32	c  F st    12     25000       731      3165         1     12454      9604    340152   no data   no data
5.21/1.32	c  N st    12     25000       731      3165         1     12454      9604    340152   no data   no data
6.01/1.57	c Decided on static restart strategy
6.01/1.57	c  N st    18     30001       731      3165         1     10733      9604    260845   no data   no data
6.01/1.57	c  S st    18     30001       731      3165         1     10733      9604    260845   no data   no data
6.37/1.60	c  S st    18     30503       731      3165         1     11235      9604    275385   no data   no data
6.37/1.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
6.37/1.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
6.37/1.61	c blocked clauses removed:       27 vars:      4 tried:         731 T: 0.00 s
6.37/1.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.37/1.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.37/1.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    727 time:  0.00 s
6.37/1.61	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
6.37/1.61	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.00 s
6.37/1.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.37/1.67	c lits-rem:        46  cl-subs:      334  v-elim:      0  v-fix:    0  time:  0.05 s
6.37/1.68	c asymm  cl-useful: 0/3137/3137 lits-rem:0 time: 0.01
6.37/1.68	c calculated reachability. Time: 0.00
6.37/1.68	c  N st    18     30503       726      3137         1     10864      9524    262412   no data   no data
8.35/2.13	c  N st    20     37615       726      3137         1     10120      9524    215187   no data   no data
9.96/2.54	c  N st    21     44016       726      3137         1     16438      9524    414974   no data   no data
10.36/2.67	c  S st    22     45756       726      3137         1      9339      9524    166468   no data   no data
10.75/2.70	c  S st    22     46257       726      3137         1      9838      9524    181251   no data   no data
10.75/2.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.75/2.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
10.75/2.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.75/2.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.75/2.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.75/2.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    726 time:  0.00 s
10.75/2.70	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.75/2.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
10.75/2.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.75/2.72	c lits-rem:        20  cl-subs:       34  v-elim:      0  v-fix:    0  time:  0.01 s
10.75/2.72	c vivif2 --  cl tried     3137 cl shrink        0 lits rem          0 time: 0.00
10.75/2.72	c vivif2 --  cl tried     9804 cl shrink        0 lits rem          0 time: 0.00
10.75/2.73	c asymm  cl-useful: 0/3137/3137 lits-rem:0 time: 0.01
10.75/2.73	c calculated reachability. Time: 0.00
10.75/2.73	c  N st    22     46257       726      3137         1      9804      9524    179946   no data   no data
14.74/3.77	c  N st    23     60655       726      3137         1     14181      9524    312833   no data   no data
17.54/4.44	c  N st    24     69386       726      3137         1     11959      9524    221976   no data   no data
17.54/4.44	c  S st    24     69386       726      3137         1     11959      9524    221976   no data   no data
17.54/4.48	c  S st    24     69888       726      3137         1     12461      9524    236180   no data   no data
17.54/4.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.54/4.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
17.54/4.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.54/4.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.54/4.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.54/4.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    726 time:  0.00 s
17.54/4.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.54/4.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.54/4.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.93/4.52	c lits-rem:        30  cl-subs:       80  v-elim:      0  v-fix:    0  time:  0.02 s
17.93/4.52	c vivif2 --  cl tried     3137 cl shrink        0 lits rem          0 time: 0.00
17.93/4.52	c vivif2 --  cl tried    12381 cl shrink        0 lits rem          0 time: 0.00
17.93/4.53	c asymm  cl-useful: 0/3137/3137 lits-rem:0 time: 0.01
17.93/4.53	c calculated reachability. Time: 0.00
17.93/4.53	c  N st    24     69888       726      3137         1     12381      9524    233431   no data   no data
23.93/6.04	c  F st    25     87500       726      3137         1     17921      9524    407859   no data   no data
23.93/6.04	c  N st    25     87500       726      3137         1     17921      9524    407859   no data   no data
25.56/6.47	c Decided on static restart strategy
26.71/6.79	c  N st    32     95539       726      3137         1     13042      9524    220818   no data   no data
29.53/7.48	c  N st    34    104832       726      3137         1     22185      9524    522898   no data   no data
29.53/7.48	c  S st    34    104832       726      3137         1     22185      9524    522898   no data   no data
29.95/7.53	c  S st    34    105333       726      3137         1     22685      9524    537100   no data   no data
29.95/7.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
29.95/7.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
29.95/7.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
29.95/7.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.95/7.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.95/7.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    726 time:  0.00 s
29.95/7.54	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
29.95/7.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
29.95/7.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
30.70/7.77	c lits-rem:       134  cl-subs:      728  v-elim:      0  v-fix:    0  time:  0.21 s
30.70/7.77	c vivif2 --  cl tried     3137 cl shrink        0 lits rem          0 time: 0.00
30.70/7.78	c vivif2 --  cl tried    21957 cl shrink        0 lits rem          0 time: 0.01
30.70/7.79	c asymm  cl-useful: 0/3137/3137 lits-rem:0 time: 0.01
30.70/7.79	c calculated reachability. Time: 0.00
30.70/7.79	c  N st    34    105333       726      3137         1     21957      9524    507876   no data   no data
34.34/8.64	c  N st    35    114932       726      3137         1     17616      9524    337359   no data   no data
39.88/10.01	c  N st    36    129329       726      3137         1     17068      9524    300317   no data   no data
48.26/12.16	c  N st    37    150924       726      3137         1     22631      9524    465776   no data   no data
51.07/12.86	c  S st    38    157999       726      3137         1     29634      9524    694442   no data   no data
51.48/12.94	c  S st    38    158503       726      3137         1     30138      9524    708547   no data   no data
51.48/12.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
51.48/12.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
51.48/12.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
51.48/12.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
51.48/12.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.48/12.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    726 time:  0.00 s
51.48/12.95	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
51.48/12.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
51.48/12.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
52.65/13.28	c lits-rem:       330  cl-subs:      606  v-elim:      0  v-fix:    0  time:  0.29 s
52.65/13.28	c vivif2 --  cl tried     3137 cl shrink        0 lits rem          0 time: 0.00
52.65/13.29	c vivif2 --  cl tried    29532 cl shrink        0 lits rem          0 time: 0.01
53.05/13.31	c asymm  cl-useful: 0/3137/3137 lits-rem:0 time: 0.02
53.05/13.31	c calculated reachability. Time: 0.00
53.05/13.31	c  N st    38    158503       726      3137         1     29532      9524    685783   no data   no data
73.84/18.51	c  N st    39    207092       726      3137         1     24142      9524    454331   no data   no data
88.17/22.12	c  N st    40    237754       726      3137         1     34560      9524    772827   no data   no data
88.17/22.12	c  S st    40    237754       726      3137         1     34560      9524    772827   no data   no data
88.57/22.21	c  S st    40    238258       726      3137         1     35064      9524    787333   no data   no data
88.57/22.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
88.57/22.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
88.57/22.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
88.57/22.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
88.57/22.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
88.57/22.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    726 time:  0.00 s
88.57/22.23	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
88.57/22.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
88.57/22.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
90.98/22.90	c lits-rem:       282  cl-subs:     1124  v-elim:      0  v-fix:    0  time:  0.63 s
90.98/22.90	c vivif2 --  cl tried     3137 cl shrink        0 lits rem          0 time: 0.00
90.98/22.91	c vivif2 --  cl tried    33940 cl shrink        0 lits rem          0 time: 0.01
91.40/22.93	c asymm  cl-useful: 0/3137/3137 lits-rem:0 time: 0.02
91.40/22.93	c calculated reachability. Time: 0.00
91.40/22.93	c  N st    40    238258       726      3137         1     33940      9524    745672   no data   no data
125.68/31.50	c  F st    41    306251       726      3137         1     35895      9524    753788   no data   no data
125.68/31.50	c  N st    41    306251       726      3137         1     35895      9524    753788   no data   no data
128.47/32.22	c Decided on static restart strategy
140.04/35.16	c  N st    51    334555       726      3137         1     40178      9524    860930   no data   no data
151.62/38.09	c  N st    53    357387       726      3137         1     38069      9524    755825   no data   no data
151.62/38.09	c  S st    53    357387       726      3137         1     38069      9524    755825   no data   no data
152.02/38.19	c  S st    53    357892       726      3137         1     38573      9524    769493   no data   no data
152.02/38.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
152.43/38.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
152.43/38.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
152.43/38.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
152.43/38.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
152.43/38.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    726 time:  0.00 s
152.43/38.21	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
152.43/38.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
152.43/38.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
154.01/38.68	c lits-rem:       141  cl-subs:      947  v-elim:      0  v-fix:    0  time:  0.44 s
154.01/38.68	c vivif2 --  cl tried     3137 cl shrink        0 lits rem          0 time: 0.00
154.01/38.69	c vivif2 --  cl tried    37626 cl shrink        0 lits rem          0 time: 0.01
154.41/38.72	c asymm  cl-useful: 0/3137/3137 lits-rem:0 time: 0.03
154.41/38.72	c calculated reachability. Time: 0.00
154.41/38.72	c  N st    53    357892       726      3137         1     37626      9524    736288   no data   no data
173.16/43.42	c  N st    54    390284       726      3137         1     43939      9524    917841   no data   no data
201.13/50.42	c  N st    55    438873       726      3137         1     37506      9524    665290   no data   no data
245.79/61.61	c  N st    56    511755       726      3137         1     51243      9524   1094312   no data   no data
260.95/65.41	c  N st    57    536839       726      3137         1     45408      9524    875422   no data   no data
260.95/65.41	c  S st    57    536839       726      3137         1     45408      9524    875422   no data   no data
261.35/65.53	c  S st    57    537339       726      3137         1     45908      9524    890119   no data   no data
261.35/65.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
261.35/65.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
261.35/65.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
261.35/65.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
261.35/65.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
261.35/65.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    726 time:  0.00 s
261.35/65.55	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
261.35/65.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
261.35/65.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
264.94/66.45	c lits-rem:       242  cl-subs:     1349  v-elim:      0  v-fix:    0  time:  0.86 s
264.94/66.45	c vivif2 --  cl tried     3137 cl shrink        0 lits rem          0 time: 0.00
264.94/66.46	c vivif2 --  cl tried    44559 cl shrink        0 lits rem          0 time: 0.01
265.34/66.50	c asymm  cl-useful: 0/3137/3137 lits-rem:0 time: 0.04
265.34/66.50	c calculated reachability. Time: 0.00
265.34/66.50	c  N st    57    537339       726      3137         1     44559      9524    842455   no data   no data
381.87/95.71	c  N st    58    701325       726      3137         1     38545      9524    536323   no data   no data
468.92/117.55	c  N st    59    806011       726      3137         1     67682      9524   1472797   no data   no data
468.92/117.55	c  S st    59    806011       726      3137         1     67682      9524   1472797   no data   no data
469.68/117.74	c  S st    59    806513       726      3137         1     68184      9524   1486789   no data   no data
469.68/117.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
469.68/117.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
469.68/117.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
469.68/117.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
469.68/117.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
469.68/117.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    726 time:  0.00 s
469.68/117.78	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
470.07/117.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
470.07/117.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
485.64/121.80	c lits-rem:       943  cl-subs:     2540  v-elim:      0  v-fix:    0  time:  3.96 s
485.64/121.80	c vivif2 --  cl tried     3137 cl shrink        0 lits rem          0 time: 0.00
486.06/121.82	c vivif2 --  cl tried    65644 cl shrink        0 lits rem          0 time: 0.02
486.06/121.88	c asymm  cl-useful: 0/3137/3137 lits-rem:0 time: 0.06
486.06/121.88	c calculated reachability. Time: 0.00
486.06/121.88	c  N st    59    806513       726      3137         1     65644      9524   1400256   no data   no data
729.06/182.78	c  F st    60   1071875       726      3137         1     82054      9524   1822459   no data   no data
729.06/182.78	c  N st    60   1071875       726      3137         1     82054      9524   1822459   no data   no data
735.45/184.38	c Decided on static restart strategy
754.24/189.01	c  N st    70   1100180       726      3137         1     65678      9524   1223621   no data   no data
789.71/198.00	c  N st    72   1136172       726      3137         1     55851      9524    865288   no data   no data
823.23/206.37	c  N st    73   1168565       726      3137         1     87981      9524   1905972   no data   no data
861.54/215.97	c  N st    74   1209770       726      3137         1     82041      9524   1696738   no data   no data
861.54/215.97	c  S st    74   1209770       726      3137         1     82041      9524   1696738   no data   no data
862.74/216.21	c  S st    74   1210274       726      3137         1     82544      9524   1712622   no data   no data
862.74/216.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
862.74/216.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
862.74/216.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
862.74/216.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
862.74/216.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
862.74/216.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    726 time:  0.00 s
862.74/216.25	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
862.74/216.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
863.14/216.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
883.48/221.42	c lits-rem:       469  cl-subs:     3103  v-elim:      0  v-fix:    0  time:  5.09 s
883.48/221.42	c vivif2 --  cl tried     3137 cl shrink        0 lits rem          0 time: 0.00
883.48/221.45	c vivif2 --  cl tried    79441 cl shrink        0 lits rem          0 time: 0.02
883.88/221.53	c asymm  cl-useful: 0/3137/3137 lits-rem:0 time: 0.08
883.88/221.53	c calculated reachability. Time: 0.00
883.88/221.53	c  N st    74   1210274       726      3137         1     79441      9524   1607648   no data   no data
957.29/239.91	c  N st    75   1283157       726      3137         1     55581      9524    779719   no data   no data
1067.85/267.61	c  N st    76   1392483       726      3137         1     63465      9524    986330   no data   no data
1245.87/312.30	c  N st    77   1556467       726      3137         1     68162      9524   1055445   no data   no data
1415.45/354.76	c  N st    78   1710274       726      3137         1    110396      9524   2412567   no data   no data
1415.45/354.76	c  S st    78   1710274       726      3137         1    110396      9524   2412567   no data   no data
1417.07/355.11	c  S st    78   1710774       726      3137         1    110896      9524   2426840   no data   no data
1417.07/355.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1417.07/355.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1417.07/355.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1417.07/355.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1417.07/355.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1417.07/355.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    726 time:  0.00 s
1417.07/355.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1417.43/355.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1417.43/355.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1494.84/374.68	c lits-rem:      1219  cl-subs:     7619  v-elim:      0  v-fix:    0  time: 19.39 s
1494.84/374.68	c vivif2 --  cl tried     3137 cl shrink        0 lits rem          0 time: 0.00
1495.24/374.72	c vivif2 --  cl tried   103277 cl shrink        0 lits rem          0 time: 0.03
1495.66/374.83	c asymm  cl-useful: 0/3137/3137 lits-rem:0 time: 0.11
1495.66/374.84	c calculated reachability. Time: 0.00
1495.66/374.84	c  N st    78   1710774       726      3137         1    103277      9524   2182472   no data   no data
1944.20/487.29	c  N st    79   2079738       726      3137         1    115500      9524   2540633   no data   no data
2122.18/531.88	c  N st    80   2210775       726      3137         1    119278      9524   2469026   no data   no data
2122.18/531.88	c  S st    80   2210775       726      3137         1    119278      9524   2469026   no data   no data
2123.82/532.23	c  S st    80   2211275       726      3137         1    119778      9524   2482923   no data   no data
2123.82/532.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2124.17/532.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2124.17/532.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2124.17/532.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2124.17/532.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2124.17/532.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    726 time:  0.00 s
2124.17/532.30	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2124.17/532.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2124.57/532.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2178.44/545.98	c lits-rem:       675  cl-subs:     5190  v-elim:      0  v-fix:    0  time: 13.56 s
2178.44/545.98	c vivif2 --  cl tried     3137 cl shrink        0 lits rem          0 time: 0.00
2178.84/546.01	c vivif2 --  cl tried   114588 cl shrink        0 lits rem          0 time: 0.04
2179.24/546.14	c asymm  cl-useful: 0/3137/3137 lits-rem:0 time: 0.13
2179.24/546.15	c calculated reachability. Time: 0.00
2179.24/546.15	c  N st    80   2211275       726      3137         1    114588      9524   2319810   no data   no data
2838.90/711.49	c  N st    81   2711275       726      3137         1    138264      9524   3175389   no data   no data
2838.90/711.49	c  S st    81   2711275       726      3137         1    138264      9524   3175389   no data   no data
2840.87/711.91	c  S st    81   2711776       726      3137         1    138765      9524   3190199   no data   no data
2840.87/711.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2841.27/712.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.08
2841.27/712.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2841.27/712.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2841.27/712.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2841.27/712.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    726 time:  0.00 s
2841.27/712.00	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2841.27/712.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2841.67/712.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2947.70/738.94	c lits-rem:      1172  cl-subs:     6934  v-elim:      0  v-fix:    0  time: 26.80 s
2947.70/738.94	c vivif2 --  cl tried     3137 cl shrink        0 lits rem          0 time: 0.00
2947.70/738.99	c vivif2 --  cl tried   131831 cl shrink        0 lits rem          0 time: 0.04
2948.47/739.14	c asymm  cl-useful: 0/3137/3137 lits-rem:0 time: 0.15
2948.47/739.15	c calculated reachability. Time: 0.00
2948.47/739.15	c  N st    81   2711776       726      3137         1    131831      9524   2952946   no data   no data
3747.83/939.41	c  N st    82   3211776       726      3137         1    107716      9524   1833912   no data   no data
3747.83/939.41	c  S st    82   3211776       726      3137         1    107716      9524   1833912   no data   no data
3749.03/939.75	c  S st    82   3212278       726      3137         1    108218      9524   1848295   no data   no data
3749.03/939.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3749.43/939.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
3749.43/939.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3749.43/939.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3749.43/939.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3749.43/939.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    726 time:  0.00 s
3749.43/939.81	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3749.43/939.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3749.43/939.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3764.64/943.68	c lits-rem:       518  cl-subs:     2164  v-elim:      0  v-fix:    0  time:  3.79 s
3764.64/943.68	c vivif2 --  cl tried     3137 cl shrink        0 lits rem          0 time: 0.00
3765.00/943.71	c vivif2 --  cl tried   106054 cl shrink        0 lits rem          0 time: 0.03
3765.40/943.82	c asymm  cl-useful: 0/3137/3137 lits-rem:0 time: 0.11
3765.40/943.83	c calculated reachability. Time: 0.00
3765.40/943.83	c  N st    82   3212278       726      3137         1    106054      9524   1776317   no data   no data
4532.48/1136.02	c  N st    83   3712279       726      3137         1    116360      9524   1946344   no data   no data
4532.48/1136.02	c  S st    83   3712279       726      3137         1    116360      9524   1946344   no data   no data
4534.05/1136.45	c  S st    83   3712780       726      3137         1    116861      9524   1961561   no data   no data
4534.05/1136.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4534.45/1136.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.08
4534.45/1136.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4534.45/1136.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4534.45/1136.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4534.45/1136.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    726 time:  0.00 s
4534.45/1136.55	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4534.45/1136.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4534.85/1136.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4573.57/1146.30	c lits-rem:       358  cl-subs:     3580  v-elim:      0  v-fix:    0  time:  9.65 s
4573.57/1146.30	c vivif2 --  cl tried     3137 cl shrink        0 lits rem          0 time: 0.00
4573.57/1146.34	c vivif2 --  cl tried   113281 cl shrink        0 lits rem          0 time: 0.03
4574.36/1146.50	c asymm  cl-useful: 0/3137/3137 lits-rem:0 time: 0.16
4574.36/1146.50	c calculated reachability. Time: 0.00
4574.36/1146.50	c  N st    83   3712780       726      3137         1    113281      9524   1852125   no data   no data
4638.62/1162.67	c  F st    84   3751562       726      3137         1    151179      9524   3034123   no data   no data
4638.62/1162.67	c  N st    84   3751562       726      3137         1    151179      9524   3034123   no data   no data
4650.59/1165.69	c Decided on static restart strategy
4687.70/1174.98	c  N st    94   3779865       726      3137         1     95765      9524   1256442   no data   no data
4739.23/1187.86	c  N st    96   3815857       726      3137         1    131047      9524   2387872   no data   no data

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366370-1305402743/watcher-3366370-1305402743 -o /tmp/evaluation-result-3366370-1305402743/solver-3366370-1305402743 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366370-1305402743.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.98 8.00 8.01 5/298 20561
/proc/meminfo: memFree=27421264/32951124 swapFree=63649232/67111528
[pid=20561] ppid=20559 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/20561/stat : 20561 (strangenight2-m) R 20559 20561 20027 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 651872769 52396032 353 33554432000 4194304 4580107 140733324440688 18446744073709551615 210204647355 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20561/statm: 12792 353 302 95 0 7774 0
[pid=20561/tid=20562] ppid=20559 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/20561/task/20562/stat : 20562 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651872769 52396032 353 33554432000 4194304 4580107 140733324440688 18446744073709551615 46934443128758 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20561/tid=20563] ppid=20559 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/20561/task/20563/stat : 20563 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651872769 52396032 353 33554432000 4194304 4580107 140733324440688 18446744073709551615 46934443128345 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20561/tid=20564] ppid=20559 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/20561/task/20564/stat : 20564 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651872769 52396032 353 33554432000 4194304 4580107 140733324440688 18446744073709551615 46934443128339 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0178329 s]
/proc/loadavg: 7.98 8.00 8.01 5/298 20561
/proc/meminfo: memFree=27421264/32951124 swapFree=63649232/67111528
[pid=20561] ppid=20559 vsize=282696 CPUtime=0.03 cores=1,3,5,7
/proc/20561/stat : 20561 (strangenight2-m) R 20559 20561 20027 0 -1 4202496 1421 0 0 0 3 0 0 0 18 0 4 0 651872769 289480704 1300 33554432000 4194304 4580107 140733324440688 18446744073709551615 210204673130 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20561/statm: 75527 2868 377 95 0 70509 0
[pid=20561/tid=20562] ppid=20559 vsize=286364 CPUtime=0.89 cores=1,3,5,7
/proc/20561/task/20562/stat : 20562 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 1436 0 0 0 89 0 0 0 19 0 4 0 651872769 293236736 2763 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20561/tid=20563] ppid=20559 vsize=286364 CPUtime=0.89 cores=1,3,5,7
/proc/20561/task/20563/stat : 20563 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 1485 0 0 0 89 0 0 0 19 0 4 0 651872769 293236736 2763 33554432000 4194304 4580107 140733324440688 18446744073709551615 4293778 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20561/tid=20564] ppid=20559 vsize=286364 CPUtime=0.9 cores=1,3,5,7
/proc/20561/task/20564/stat : 20564 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 1356 0 0 0 90 0 0 0 19 0 4 0 651872769 293236736 2763 33554432000 4194304 4580107 140733324440688 18446744073709551615 4342240 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 282696

[startup+1.01114 s]
/proc/loadavg: 7.98 8.00 8.01 5/298 20561
/proc/meminfo: memFree=27421264/32951124 swapFree=63649232/67111528
[pid=20561] ppid=20559 vsize=286364 CPUtime=4.01 cores=1,3,5,7
/proc/20561/stat : 20561 (strangenight2-m) R 20559 20561 20027 0 -1 4202496 6433 0 0 0 400 1 0 0 19 0 4 0 651872769 293236736 3028 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294627 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20561/statm: 71591 3028 377 95 0 66573 0
[pid=20561/tid=20562] ppid=20559 vsize=286364 CPUtime=0.99 cores=1,3,5,7
/proc/20561/task/20562/stat : 20562 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 1501 0 0 0 99 0 0 0 19 0 4 0 651872769 293236736 3028 33554432000 4194304 4580107 140733324440688 18446744073709551615 4318737 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20561/tid=20563] ppid=20559 vsize=286364 CPUtime=0.99 cores=1,3,5,7
/proc/20561/task/20563/stat : 20563 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 1552 0 0 0 99 0 0 0 19 0 4 0 651872769 293236736 3028 33554432000 4194304 4580107 140733324440688 18446744073709551615 4324249 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20561/tid=20564] ppid=20559 vsize=286364 CPUtime=1 cores=1,3,5,7
/proc/20561/task/20564/stat : 20564 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 1425 0 0 0 100 0 0 0 19 0 4 0 651872769 293236736 3028 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294558 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 286364

[startup+1.11112 s]
/proc/loadavg: 7.98 8.00 8.01 5/298 20561
/proc/meminfo: memFree=27421264/32951124 swapFree=63649232/67111528
[pid=20561] ppid=20559 vsize=286364 CPUtime=4.4 cores=1,3,5,7
/proc/20561/stat : 20561 (strangenight2-m) R 20559 20561 20027 0 -1 4202496 6701 0 0 0 439 1 0 0 19 0 4 0 651872769 293236736 3296 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20561/statm: 71591 3296 377 95 0 66573 0
[pid=20561/tid=20562] ppid=20559 vsize=286364 CPUtime=1.09 cores=1,3,5,7
/proc/20561/task/20562/stat : 20562 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 1562 0 0 0 109 0 0 0 19 0 4 0 651872769 293236736 3296 33554432000 4194304 4580107 140733324440688 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20561/tid=20563] ppid=20559 vsize=286364 CPUtime=1.09 cores=1,3,5,7
/proc/20561/task/20563/stat : 20563 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 1626 0 0 0 109 0 0 0 19 0 4 0 651872769 293236736 3296 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20561/tid=20564] ppid=20559 vsize=286364 CPUtime=1.1 cores=1,3,5,7
/proc/20561/task/20564/stat : 20564 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 1504 0 0 0 110 0 0 0 19 0 4 0 651872769 293236736 3296 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 286364

[startup+1.2111 s]
/proc/loadavg: 7.98 8.00 8.01 5/298 20561
/proc/meminfo: memFree=27421264/32951124 swapFree=63649232/67111528
[pid=20561] ppid=20559 vsize=286364 CPUtime=4.81 cores=1,3,5,7
/proc/20561/stat : 20561 (strangenight2-m) R 20559 20561 20027 0 -1 4202496 6913 0 0 0 479 2 0 0 19 0 4 0 651872769 293236736 3508 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294589 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20561/statm: 71591 3508 377 95 0 66573 0
[pid=20561/tid=20562] ppid=20559 vsize=286364 CPUtime=1.19 cores=1,3,5,7
/proc/20561/task/20562/stat : 20562 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 1615 0 0 0 119 0 0 0 19 0 4 0 651872769 293236736 3508 33554432000 4194304 4580107 140733324440688 18446744073709551615 4295853 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20561/tid=20563] ppid=20559 vsize=286364 CPUtime=1.19 cores=1,3,5,7
/proc/20561/task/20563/stat : 20563 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 1679 0 0 0 119 0 0 0 19 0 4 0 651872769 293236736 3508 33554432000 4194304 4580107 140733324440688 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20561/tid=20564] ppid=20559 vsize=286364 CPUtime=1.2 cores=1,3,5,7
/proc/20561/task/20564/stat : 20564 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 1560 0 0 0 120 0 0 0 19 0 4 0 651872769 293236736 3508 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.81
Current children cumulated vsize (KiB) 286364

[startup+1.51105 s]
/proc/loadavg: 7.98 8.00 8.01 5/298 20561
/proc/meminfo: memFree=27421264/32951124 swapFree=63649232/67111528
[pid=20561] ppid=20559 vsize=287068 CPUtime=6.01 cores=1,3,5,7
/proc/20561/stat : 20561 (strangenight2-m) R 20559 20561 20027 0 -1 4202496 8520 0 0 0 599 2 0 0 20 0 4 0 651872769 293957632 3448 33554432000 4194304 4580107 140733324440688 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20561/statm: 71767 3449 378 95 0 66749 0
[pid=20561/tid=20562] ppid=20559 vsize=287068 CPUtime=1.49 cores=1,3,5,7
/proc/20561/task/20562/stat : 20562 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 2030 0 0 0 149 0 0 0 20 0 4 0 651872769 293957632 3449 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294487 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20561/tid=20563] ppid=20559 vsize=287068 CPUtime=1.49 cores=1,3,5,7
/proc/20561/task/20563/stat : 20563 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 2074 0 0 0 149 0 0 0 20 0 4 0 651872769 293957632 3449 33554432000 4194304 4580107 140733324440688 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20561/tid=20564] ppid=20559 vsize=287068 CPUtime=1.5 cores=1,3,5,7
/proc/20561/task/20564/stat : 20564 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 1976 0 0 0 150 0 0 0 20 0 4 0 651872769 293957632 3449 33554432000 4194304 4580107 140733324440688 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 287068

[startup+3.11179 s]
/proc/loadavg: 8.22 8.05 8.03 9/302 20565
/proc/meminfo: memFree=27374432/32951124 swapFree=63649232/67111528
[pid=20561] ppid=20559 vsize=294476 CPUtime=12.39 cores=1,3,5,7
/proc/20561/stat : 20561 (strangenight2-m) R 20559 20561 20027 0 -1 4202496 20637 0 0 0 1235 4 0 0 25 0 4 0 651872769 301543424 10775 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20561/statm: 73619 10775 379 95 0 68601 0
[pid=20561/tid=20562] ppid=20559 vsize=294476 CPUtime=3.08 cores=1,3,5,7
/proc/20561/task/20562/stat : 20562 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 4537 0 0 0 307 1 0 0 25 0 4 0 651872769 301543424 10775 33554432000 4194304 4580107 140733324440688 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20561/tid=20563] ppid=20559 vsize=294476 CPUtime=3.1 cores=1,3,5,7
/proc/20561/task/20563/stat : 20563 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 5694 0 0 0 309 1 0 0 25 0 4 0 651872769 301543424 10775 33554432000 4194304 4580107 140733324440688 18446744073709551615 4305960 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20561/tid=20564] ppid=20559 vsize=294476 CPUtime=3.09 cores=1,3,5,7
/proc/20561/task/20564/stat : 20564 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 5088 0 0 0 309 0 0 0 25 0 4 0 651872769 301543424 10775 33554432000 4194304 4580107 140733324440688 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 294476

[startup+6.30126 s]
/proc/loadavg: 8.20 8.05 8.03 9/302 20565
/proc/meminfo: memFree=27356700/32951124 swapFree=63649232/67111528
[pid=20561] ppid=20559 vsize=297636 CPUtime=25.15 cores=1,3,5,7
/proc/20561/stat : 20561 (strangenight2-m) R 20559 20561 20027 0 -1 4202496 31920 0 0 0 2509 6 0 0 25 0 4 0 651872769 304779264 14170 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20561/statm: 74409 14170 379 95 0 69391 0
[pid=20561/tid=20562] ppid=20559 vsize=297636 CPUtime=6.24 cores=1,3,5,7
/proc/20561/task/20562/stat : 20562 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 8707 0 0 0 623 1 0 0 25 0 4 0 651872769 304779264 14176 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20561/tid=20563] ppid=20559 vsize=297636 CPUtime=6.29 cores=1,3,5,7
/proc/20561/task/20563/stat : 20563 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 8021 0 0 0 628 1 0 0 25 0 4 0 651872769 304779264 14176 33554432000 4194304 4580107 140733324440688 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20561/tid=20564] ppid=20559 vsize=297636 CPUtime=6.3 cores=1,3,5,7
/proc/20561/task/20564/stat : 20564 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 7338 0 0 0 629 1 0 0 25 0 4 0 651872769 304779264 14176 33554432000 4194304 4580107 140733324440688 18446744073709551615 4489504 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) 297636

[startup+12.7012 s]
/proc/loadavg: 8.19 8.05 8.03 9/302 20565
/proc/meminfo: memFree=27326092/32951124 swapFree=63649232/67111528
[pid=20561] ppid=20559 vsize=296488 CPUtime=50.67 cores=1,3,5,7
/proc/20561/stat : 20561 (strangenight2-m) R 20559 20561 20027 0 -1 4202496 52119 0 0 0 5055 12 0 0 25 0 4 0 651872769 303603712 23008 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294458 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20561/statm: 74122 23009 379 95 0 69104 0
[pid=20561/tid=20562] ppid=20559 vsize=296488 CPUtime=12.58 cores=1,3,5,7
/proc/20561/task/20562/stat : 20562 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 13574 0 0 0 1255 3 0 0 25 0 4 0 651872769 303603712 23009 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20561/tid=20563] ppid=20559 vsize=296488 CPUtime=12.69 cores=1,3,5,7
/proc/20561/task/20563/stat : 20563 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 13114 0 0 0 1266 3 0 0 25 0 4 0 651872769 303603712 23009 33554432000 4194304 4580107 140733324440688 18446744073709551615 4321921 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20561/tid=20564] ppid=20559 vsize=296488 CPUtime=12.69 cores=1,3,5,7
/proc/20561/task/20564/stat : 20564 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 12280 0 0 0 1267 2 0 0 25 0 4 0 651872769 303603712 23009 33554432000 4194304 4580107 140733324440688 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 296488

[startup+25.5011 s]
/proc/loadavg: 8.16 8.05 8.03 9/302 20565
/proc/meminfo: memFree=27294604/32951124 swapFree=63649232/67111528
[pid=20561] ppid=20559 vsize=320200 CPUtime=101.73 cores=1,3,5,7
/proc/20561/stat : 20561 (strangenight2-m) R 20559 20561 20027 0 -1 4202496 80904 0 0 0 10154 19 0 0 25 0 4 0 651872769 327884800 31360 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20561/statm: 80050 31360 379 95 0 75032 0
[pid=20561/tid=20562] ppid=20559 vsize=320200 CPUtime=25.25 cores=1,3,5,7
/proc/20561/task/20562/stat : 20562 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 20928 0 0 0 2520 5 0 0 25 0 4 0 651872769 327884800 31360 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20561/tid=20563] ppid=20559 vsize=320200 CPUtime=25.49 cores=1,3,5,7
/proc/20561/task/20563/stat : 20563 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 19625 0 0 0 2544 5 0 0 25 0 4 0 651872769 327884800 31361 33554432000 4194304 4580107 140733324440688 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20561/tid=20564] ppid=20559 vsize=320200 CPUtime=25.49 cores=1,3,5,7
/proc/20561/task/20564/stat : 20564 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 18242 0 0 0 2545 4 0 0 25 0 4 0 651872769 327884800 31361 33554432000 4194304 4580107 140733324440688 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 320200

[startup+51.1008 s]
/proc/loadavg: 8.24 8.07 8.04 9/302 20566
/proc/meminfo: memFree=27239760/32951124 swapFree=63649232/67111528
[pid=20561] ppid=20559 vsize=376024 CPUtime=203.89 cores=1,3,5,7
/proc/20561/stat : 20561 (strangenight2-m) R 20559 20561 20027 0 -1 4202496 112946 0 0 0 20360 29 0 0 25 0 4 0 651872769 385048576 43422 33554432000 4194304 4580107 140733324440688 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20561/statm: 94006 43422 379 95 0 88988 0
[pid=20561/tid=20562] ppid=20559 vsize=376024 CPUtime=50.61 cores=1,3,5,7
/proc/20561/task/20562/stat : 20562 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 28492 0 0 0 5054 7 0 0 25 0 4 0 651872769 385048576 43422 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20561/tid=20563] ppid=20559 vsize=376024 CPUtime=51.08 cores=1,3,5,7
/proc/20561/task/20563/stat : 20563 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 29655 0 0 0 5101 7 0 0 25 0 4 0 651872769 385048576 43422 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20561/tid=20564] ppid=20559 vsize=376024 CPUtime=51.08 cores=1,3,5,7
/proc/20561/task/20564/stat : 20564 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 26941 0 0 0 5101 7 0 0 25 0 4 0 651872769 385048576 43422 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.89
Current children cumulated vsize (KiB) 376024

[startup+102.3 s]
/proc/loadavg: 8.16 8.07 8.04 9/302 20567
/proc/meminfo: memFree=27136572/32951124 swapFree=63649232/67111528
[pid=20561] ppid=20559 vsize=474484 CPUtime=408.22 cores=1,3,5,7
/proc/20561/stat : 20561 (strangenight2-m) R 20559 20561 20027 0 -1 4202496 160105 0 0 0 40776 46 0 0 25 0 4 0 651872769 485871616 58902 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20561/statm: 118621 58902 379 95 0 113603 0
[pid=20561/tid=20562] ppid=20559 vsize=474484 CPUtime=101.34 cores=1,3,5,7
/proc/20561/task/20562/stat : 20562 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 40540 0 0 0 10124 10 0 0 25 0 4 0 651872769 485871616 58902 33554432000 4194304 4580107 140733324440688 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20561/tid=20563] ppid=20559 vsize=474484 CPUtime=102.29 cores=1,3,5,7
/proc/20561/task/20563/stat : 20563 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 42631 0 0 0 10215 14 0 0 25 0 4 0 651872769 485871616 58902 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20561/tid=20564] ppid=20559 vsize=474484 CPUtime=102.29 cores=1,3,5,7
/proc/20561/task/20564/stat : 20564 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 41596 0 0 0 10217 12 0 0 25 0 4 0 651872769 485871616 58902 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.22
Current children cumulated vsize (KiB) 474484

[startup+162.301 s]

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

[pid=20561] ppid=20559 vsize=665564 CPUtime=2563.14 cores=1,3,5,7
/proc/20561/stat : 20561 (strangenight2-m) R 20559 20561 20027 0 -1 4202496 490060 0 0 0 256119 195 0 0 25 0 4 0 651872769 681537536 116927 33554432000 4194304 4580107 140733324440688 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20561/statm: 166391 116927 379 95 0 161373 0
[pid=20561/tid=20562] ppid=20559 vsize=665564 CPUtime=636.34 cores=1,3,5,7
/proc/20561/task/20562/stat : 20562 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 119373 0 0 0 63589 45 0 0 25 0 4 0 651872769 681537536 116927 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20561/tid=20563] ppid=20559 vsize=665564 CPUtime=642.29 cores=1,3,5,7
/proc/20561/task/20563/stat : 20563 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 137618 0 0 0 64170 59 0 0 25 0 4 0 651872769 681537536 116927 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20561/tid=20564] ppid=20559 vsize=665564 CPUtime=642.29 cores=1,3,5,7
/proc/20561/task/20564/stat : 20564 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 130062 0 0 0 64175 54 0 0 25 0 4 0 651872769 681537536 116927 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2563.14
Current children cumulated vsize (KiB) 665564

[startup+702.301 s]
/proc/loadavg: 8.19 8.16 8.09 9/302 20592
/proc/meminfo: memFree=26815260/32951124 swapFree=63649232/67111528
[pid=20561] ppid=20559 vsize=628480 CPUtime=2802.57 cores=1,3,5,7
/proc/20561/stat : 20561 (strangenight2-m) R 20559 20561 20027 0 -1 4202496 521386 0 0 0 280045 212 0 0 25 0 4 0 651872769 643563520 113704 33554432000 4194304 4580107 140733324440688 18446744073709551615 4316702 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20561/statm: 157120 113704 379 95 0 152102 0
[pid=20561/tid=20562] ppid=20559 vsize=628480 CPUtime=695.78 cores=1,3,5,7
/proc/20561/task/20562/stat : 20562 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 128163 0 0 0 69528 50 0 0 25 0 4 0 651872769 643563520 113704 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20561/tid=20563] ppid=20559 vsize=628480 CPUtime=702.3 cores=1,3,5,7
/proc/20561/task/20563/stat : 20563 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 148036 0 0 0 70165 65 0 0 25 0 4 0 651872769 643563520 113704 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20561/tid=20564] ppid=20559 vsize=628480 CPUtime=702.29 cores=1,3,5,7
/proc/20561/task/20564/stat : 20564 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 138611 0 0 0 70170 59 0 0 25 0 4 0 651872769 643563520 113704 33554432000 4194304 4580107 140733324440688 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2802.57
Current children cumulated vsize (KiB) 628480

[startup+762.301 s]
/proc/loadavg: 7.72 8.09 8.07 5/293 20615
/proc/meminfo: memFree=27289516/32951124 swapFree=63649232/67111528
[pid=20561] ppid=20559 vsize=640528 CPUtime=3041.05 cores=1,3,5,7
/proc/20561/stat : 20561 (strangenight2-m) R 20559 20561 20027 0 -1 4202496 551306 0 0 0 303877 228 0 0 25 0 4 0 651872769 655900672 123181 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20561/statm: 160132 123181 379 95 0 155114 0
[pid=20561/tid=20562] ppid=20559 vsize=640528 CPUtime=754.26 cores=1,3,5,7
/proc/20561/task/20562/stat : 20562 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 135388 0 0 0 75371 55 0 0 25 0 4 0 651872769 655900672 123181 33554432000 4194304 4580107 140733324440688 18446744073709551615 4316324 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20561/tid=20563] ppid=20559 vsize=640528 CPUtime=762.29 cores=1,3,5,7
/proc/20561/task/20563/stat : 20563 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 157284 0 0 0 76160 69 0 0 25 0 4 0 651872769 655900672 123181 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20561/tid=20564] ppid=20559 vsize=640528 CPUtime=762.29 cores=1,3,5,7
/proc/20561/task/20564/stat : 20564 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 145658 0 0 0 76166 63 0 0 25 0 4 0 651872769 655900672 123181 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3041.05
Current children cumulated vsize (KiB) 640528

[startup+822.301 s]
/proc/loadavg: 5.36 7.34 7.81 5/293 20616
/proc/meminfo: memFree=27269180/32951124 swapFree=63649232/67111528
[pid=20561] ppid=20559 vsize=666616 CPUtime=3280.51 cores=1,3,5,7
/proc/20561/stat : 20561 (strangenight2-m) R 20559 20561 20027 0 -1 4202496 578850 0 0 0 327805 246 0 0 25 0 4 0 651872769 682614784 128213 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294551 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20561/statm: 166654 128213 379 95 0 161636 0
[pid=20561/tid=20562] ppid=20559 vsize=666616 CPUtime=813.72 cores=1,3,5,7
/proc/20561/task/20562/stat : 20562 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 140279 0 0 0 81314 58 0 0 25 0 4 0 651872769 682614784 128213 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20561/tid=20563] ppid=20559 vsize=666616 CPUtime=822.3 cores=1,3,5,7
/proc/20561/task/20563/stat : 20563 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 165290 0 0 0 82154 76 0 0 25 0 4 0 651872769 682614784 128213 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20561/tid=20564] ppid=20559 vsize=666616 CPUtime=822.29 cores=1,3,5,7
/proc/20561/task/20564/stat : 20564 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 152831 0 0 0 82162 67 0 0 25 0 4 0 651872769 682614784 128213 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3280.51
Current children cumulated vsize (KiB) 666616

[startup+882.301 s]
/proc/loadavg: 4.50 6.73 7.57 5/293 20618
/proc/meminfo: memFree=27266164/32951124 swapFree=63649232/67111528
[pid=20561] ppid=20559 vsize=693460 CPUtime=3519.96 cores=1,3,5,7
/proc/20561/stat : 20561 (strangenight2-m) R 20559 20561 20027 0 -1 4202496 606167 0 0 0 351739 257 0 0 25 0 4 0 651872769 710103040 129005 33554432000 4194304 4580107 140733324440688 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20561/statm: 173365 129005 379 95 0 168347 0
[pid=20561/tid=20562] ppid=20559 vsize=693460 CPUtime=873.17 cores=1,3,5,7
/proc/20561/task/20562/stat : 20562 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 144226 0 0 0 87257 60 0 0 25 0 4 0 651872769 710103040 129005 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20561/tid=20563] ppid=20559 vsize=693460 CPUtime=882.3 cores=1,3,5,7
/proc/20561/task/20563/stat : 20563 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 173496 0 0 0 88151 79 0 0 25 0 4 0 651872769 710103040 129005 33554432000 4194304 4580107 140733324440688 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20561/tid=20564] ppid=20559 vsize=693460 CPUtime=882.3 cores=1,3,5,7
/proc/20561/task/20564/stat : 20564 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 163537 0 0 0 88159 71 0 0 25 0 4 0 651872769 710103040 129005 33554432000 4194304 4580107 140733324440688 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3519.96
Current children cumulated vsize (KiB) 693460

[startup+942.301 s]
/proc/loadavg: 4.24 6.25 7.35 5/293 20620
/proc/meminfo: memFree=27204492/32951124 swapFree=63649232/67111528
[pid=20561] ppid=20559 vsize=772268 CPUtime=3759.41 cores=1,3,5,7
/proc/20561/stat : 20561 (strangenight2-m) R 20559 20561 20027 0 -1 4202496 632817 0 0 0 375671 270 0 0 25 0 4 0 651872769 790802432 144643 33554432000 4194304 4580107 140733324440688 18446744073709551615 4406355 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20561/statm: 193067 144643 379 95 0 188049 0
[pid=20561/tid=20562] ppid=20559 vsize=772268 CPUtime=932.62 cores=1,3,5,7
/proc/20561/task/20562/stat : 20562 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 154264 0 0 0 93199 63 0 0 25 0 4 0 651872769 790802432 144643 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20561/tid=20563] ppid=20559 vsize=772268 CPUtime=942.3 cores=1,3,5,7
/proc/20561/task/20563/stat : 20563 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 180324 0 0 0 94148 82 0 0 25 0 4 0 651872769 790802432 144643 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20561/tid=20564] ppid=20559 vsize=772268 CPUtime=942.3 cores=1,3,5,7
/proc/20561/task/20564/stat : 20564 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 167026 0 0 0 94156 74 0 0 25 0 4 0 651872769 790802432 144643 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3759.41
Current children cumulated vsize (KiB) 772268

[startup+1002.3 s]
/proc/loadavg: 4.14 5.85 7.14 5/293 20621
/proc/meminfo: memFree=27215228/32951124 swapFree=63649232/67111528
[pid=20561] ppid=20559 vsize=844544 CPUtime=3998.87 cores=1,3,5,7
/proc/20561/stat : 20561 (strangenight2-m) R 20559 20561 20027 0 -1 4202496 655873 0 0 0 399605 282 0 0 25 0 4 0 651872769 864813056 141848 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20561/statm: 211136 141848 379 95 0 206118 0
[pid=20561/tid=20562] ppid=20559 vsize=844544 CPUtime=992.07 cores=1,3,5,7
/proc/20561/task/20562/stat : 20562 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 159754 0 0 0 99141 66 0 0 25 0 4 0 651872769 864813056 141848 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20561/tid=20563] ppid=20559 vsize=844544 CPUtime=1002.3 cores=1,3,5,7
/proc/20561/task/20563/stat : 20563 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 185448 0 0 0 100145 85 0 0 25 0 4 0 651872769 864813056 141848 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20561/tid=20564] ppid=20559 vsize=844544 CPUtime=1002.3 cores=1,3,5,7
/proc/20561/task/20564/stat : 20564 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 174913 0 0 0 100152 78 0 0 25 0 4 0 651872769 864813056 141848 33554432000 4194304 4580107 140733324440688 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3998.87
Current children cumulated vsize (KiB) 844544

[startup+1062.3 s]
/proc/loadavg: 4.10 5.53 6.95 5/293 20623
/proc/meminfo: memFree=27173548/32951124 swapFree=63649232/67111528
[pid=20561] ppid=20559 vsize=925668 CPUtime=4238.35 cores=1,3,5,7
/proc/20561/stat : 20561 (strangenight2-m) R 20559 20561 20027 0 -1 4202496 680931 0 0 0 423538 297 0 0 25 0 4 0 651872769 947884032 151966 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20561/statm: 231417 151966 379 95 0 226399 0
[pid=20561/tid=20562] ppid=20559 vsize=925668 CPUtime=1051.53 cores=1,3,5,7
/proc/20561/task/20562/stat : 20562 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 162710 0 0 0 105085 68 0 0 25 0 4 0 651872769 947884032 151966 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20561/tid=20563] ppid=20559 vsize=925668 CPUtime=1062.31 cores=1,3,5,7
/proc/20561/task/20563/stat : 20563 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 193684 0 0 0 106140 91 0 0 25 0 4 0 651872769 947884032 151966 33554432000 4194304 4580107 140733324440688 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20561/tid=20564] ppid=20559 vsize=925668 CPUtime=1062.31 cores=1,3,5,7
/proc/20561/task/20564/stat : 20564 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 182733 0 0 0 106149 82 0 0 25 0 4 0 651872769 947884032 151966 33554432000 4194304 4580107 140733324440688 18446744073709551615 4293067 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4238.35
Current children cumulated vsize (KiB) 925668

[startup+1122.3 s]
/proc/loadavg: 4.08 5.26 6.77 5/293 20624
/proc/meminfo: memFree=27180832/32951124 swapFree=63649232/67111528
[pid=20561] ppid=20559 vsize=910520 CPUtime=4477.78 cores=1,3,5,7
/proc/20561/stat : 20561 (strangenight2-m) R 20559 20561 20027 0 -1 4202496 704784 0 0 0 447468 310 0 0 25 0 4 0 651872769 932372480 150416 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294504 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20561/statm: 227630 150416 379 95 0 222612 0
[pid=20561/tid=20562] ppid=20559 vsize=910520 CPUtime=1110.99 cores=1,3,5,7
/proc/20561/task/20562/stat : 20562 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 166818 0 0 0 111028 71 0 0 25 0 4 0 651872769 932372480 150416 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20561/tid=20563] ppid=20559 vsize=910520 CPUtime=1122.3 cores=1,3,5,7
/proc/20561/task/20563/stat : 20563 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 200935 0 0 0 112134 96 0 0 25 0 4 0 651872769 932372480 150416 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20561/tid=20564] ppid=20559 vsize=910520 CPUtime=1122.3 cores=1,3,5,7
/proc/20561/task/20564/stat : 20564 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 190365 0 0 0 112145 85 0 0 25 0 4 0 651872769 932372480 150416 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4477.78
Current children cumulated vsize (KiB) 910520

[startup+1182.31 s]
/proc/loadavg: 4.03 5.03 6.59 5/293 20626
/proc/meminfo: memFree=27137144/32951124 swapFree=63649232/67111528
[pid=20561] ppid=20559 vsize=925316 CPUtime=4717.28 cores=1,3,5,7
/proc/20561/stat : 20561 (strangenight2-m) R 20559 20561 20027 0 -1 4202496 730998 0 0 0 471404 324 0 0 25 0 4 0 651872769 947523584 161117 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20561/statm: 231329 161117 379 95 0 226311 0
[pid=20561/tid=20562] ppid=20559 vsize=925316 CPUtime=1170.44 cores=1,3,5,7
/proc/20561/task/20562/stat : 20562 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 174801 0 0 0 116971 73 0 0 25 0 4 0 651872769 947523584 161117 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20561/tid=20563] ppid=20559 vsize=925316 CPUtime=1182.31 cores=1,3,5,7
/proc/20561/task/20563/stat : 20563 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 206294 0 0 0 118132 99 0 0 25 0 4 0 651872769 947523584 161117 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20561/tid=20564] ppid=20559 vsize=925316 CPUtime=1182.31 cores=1,3,5,7
/proc/20561/task/20564/stat : 20564 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 196859 0 0 0 118142 89 0 0 25 0 4 0 651872769 947523584 161117 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4717.28
Current children cumulated vsize (KiB) 925316



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 4.02 4.96 6.53 5/293 20627
/proc/meminfo: memFree=27122880/32951124 swapFree=63649232/67111528
[pid=20561] ppid=20559 vsize=979016 CPUtime=4800.31 cores=1,3,5,7
/proc/20561/stat : 20561 (strangenight2-m) R 20559 20561 20027 0 -1 4202496 738924 0 0 0 479701 330 0 0 25 0 4 0 651872769 1002512384 164802 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20561/statm: 244754 164802 379 95 0 239736 0
[pid=20561/tid=20562] ppid=20559 vsize=979016 CPUtime=1191.05 cores=1,3,5,7
/proc/20561/task/20562/stat : 20562 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 176366 0 0 0 119031 74 0 0 25 0 4 0 651872769 1002512384 164803 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20561/tid=20563] ppid=20559 vsize=979016 CPUtime=1203.13 cores=1,3,5,7
/proc/20561/task/20563/stat : 20563 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 209410 0 0 0 120212 101 0 0 25 0 4 0 651872769 1002512384 164803 33554432000 4194304 4580107 140733324440688 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20561/tid=20564] ppid=20559 vsize=979016 CPUtime=1203.13 cores=1,3,5,7
/proc/20561/task/20564/stat : 20564 (strangenight2-m) R 20559 20561 20027 0 -1 4202560 198624 0 0 0 120222 91 0 0 25 0 4 0 651872769 1002512384 164803 33554432000 4194304 4580107 140733324440688 18446744073709551615 4322544 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) 979016

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.16
CPU time (s): 4800.38
CPU user time (s): 4797.05
CPU system time (s): 3.32849
CPU usage (%): 398.982
Max. virtual memory (cumulated for all children) (KiB): 1005940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.05
system time used= 3.32849
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 738928
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= 621
involuntary context switches= 34041

runsolver used 2.99654 second user time and 8.16976 second system time

The end

Launcher Data 

Begin job on node130 at 2011-05-14 21:52:23
IDJOB=3366370
IDBENCH=82779
IDSOLVER=1844
FILE ID=node130/3366370-1305402743
RUNJOBID= node130-1305401086-20342
PBS_JOBID= 13324461
Free space on /tmp= 73424 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v750-c3195-S1378008329-078.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366370-1305402743/watcher-3366370-1305402743 -o /tmp/evaluation-result-3366370-1305402743/solver-3366370-1305402743 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366370-1305402743.cnf

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

MD5SUM BENCH= d50cd6e15bea1958cfdf9785772f4ad7
RANDOM SEED=1379179044

node130.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27421544 kB
Buffers:        256220 kB
Cached:        3594168 kB
SwapCached:      10248 kB
Active:        1499036 kB
Inactive:      3761324 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27421544 kB
SwapTotal:    67111528 kB
SwapFree:     63649232 kB
Dirty:            5460 kB
Writeback:           0 kB
AnonPages:     1407796 kB
Mapped:          13804 kB
Slab:           182592 kB
PageTables:      26036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 51934076 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= 73424 MiB
End job on node130 at 2011-05-14 22:12:28