Trace number 3366659

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.34 1202.94

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S1402967451-034.SATISFIABLE.cnf
MD5SUMfff1de37c6c2184176b7a20930cdd47f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.03184
Satisfiable
(Un)Satisfiability was proved
Number of variables650
Number of clauses2769
Sum of the clauses size8307
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32769
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-3366659-1305411198.cnf'
0.00/0.01	c -- header says num vars:            650
0.00/0.01	c -- header says num clauses:        2769
0.00/0.01	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.01	c -- vars added        650
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       650      2769         0         0      8307         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2769/2769 lits-rem:0 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:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    650 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.11	c lits-rem:         0  cl-subs:        0  v-elim:     20  v-fix:    0  time:  0.00 s
0.00/0.11	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.11	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.11	c calculated reachability. Time: 0.00
0.00/0.11	c Calc default polars -  time:   0.00 s pos:     267 undec:      75 neg:     308
0.00/0.11	c =========================================================================================
0.00/0.11	c types(t): F = full restart, N = normal restart
0.00/0.11	c types(t): S = simplification begin/end, E = solution found
0.00/0.11	c restart types(rt): st = static, dy = dynamic
0.00/0.11	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.11	c  B st     0         0       630      2741         0         0      8355         0   no data   no data
0.00/0.11	c Decided on static restart strategy
0.82/0.21	c  N st     8      4914       630      2741         0      4868      8355    144621   no data   no data
2.03/0.60	c  N st    10     11296       630      2741         0      4510      8355     88999   no data   no data
2.77/0.75	c  N st    11     17039       630      2741         0     10174      8355    253341   no data   no data
4.80/1.21	c  F st    12     25000       630      2741         0     12444      8355    302249   no data   no data
4.80/1.21	c  N st    12     25000       630      2741         0     12444      8355    302249   no data   no data
5.56/1.47	c Decided on static restart strategy
5.56/1.47	c  N st    18     30001       630      2741         0     10704      8355    238989   no data   no data
5.56/1.47	c  S st    18     30001       630      2741         0     10704      8355    238989   no data   no data
5.96/1.50	c  S st    18     30504       630      2741         0     11207      8355    252083   no data   no data
5.96/1.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.96/1.51	c blocked clauses removed:       10 vars:      1 tried:         630 T: 0.00 s
5.96/1.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    629 time:  0.00 s
5.96/1.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.96/1.51	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.00 s
5.96/1.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.56	c lits-rem:       161  cl-subs:      268  v-elim:      0  v-fix:    0  time:  0.04 s
5.96/1.57	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.01
5.96/1.57	c calculated reachability. Time: 0.00
5.96/1.57	c  N st    18     30504       628      2730         0     10910      8332    242066   no data   no data
7.56/1.98	c  N st    20     37614       628      2730         0     10194      8332    201408   no data   no data
9.19/2.39	c  N st    21     44014       628      2730         0     16510      8332    392147   no data   no data
9.95/2.53	c  S st    22     45757       628      2730         0      9435      8332    157785   no data   no data
9.95/2.56	c  S st    22     46262       628      2730         0      9940      8332    170900   no data   no data
9.95/2.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.95/2.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.95/2.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.95/2.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.95/2.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.95/2.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
9.95/2.56	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.95/2.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.95/2.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.95/2.58	c lits-rem:        34  cl-subs:       36  v-elim:      0  v-fix:    0  time:  0.01 s
9.95/2.58	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
9.95/2.58	c vivif2 --  cl tried     9904 cl shrink        0 lits rem          0 time: 0.00
9.95/2.59	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.01
9.95/2.59	c calculated reachability. Time: 0.00
9.95/2.59	c  N st    22     46262       628      2730         0      9904      8332    169668   no data   no data
13.93/3.53	c  N st    23     60661       628      2730         0     14299      8332    290983   no data   no data
16.73/4.22	c  N st    24     69393       628      2730         0     12073      8332    206516   no data   no data
16.73/4.22	c  S st    24     69393       628      2730         0     12073      8332    206516   no data   no data
16.73/4.25	c  S st    24     69900       628      2730         0     12580      8332    219695   no data   no data
16.73/4.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.73/4.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.73/4.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.73/4.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.73/4.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.73/4.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
16.73/4.26	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.73/4.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.73/4.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.73/4.29	c lits-rem:        57  cl-subs:      119  v-elim:      0  v-fix:    0  time:  0.02 s
16.73/4.29	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
16.73/4.29	c vivif2 --  cl tried    12461 cl shrink        0 lits rem          0 time: 0.00
17.12/4.30	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.01
17.12/4.30	c calculated reachability. Time: 0.00
17.12/4.30	c  N st    24     69900       628      2730         0     12461      8332    216246   no data   no data
22.71/5.70	c  F st    25     87501       628      2730         0     17955      8332    378278   no data   no data
22.71/5.70	c  N st    25     87501       628      2730         0     17955      8332    378278   no data   no data
24.31/6.13	c Decided on static restart strategy
25.51/6.40	c  N st    32     95545       628      2730         0     13085      8332    201862   no data   no data
27.90/7.06	c  N st    34    104851       628      2730         0     22256      8332    461523   no data   no data
27.90/7.06	c  S st    34    104851       628      2730         0     22256      8332    461523   no data   no data
28.30/7.11	c  S st    34    105354       628      2730         0     22758      8332    475518   no data   no data
28.30/7.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.30/7.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.30/7.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.30/7.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.30/7.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.30/7.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
28.30/7.12	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28.30/7.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
28.30/7.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.69/7.29	c lits-rem:       109  cl-subs:      557  v-elim:      0  v-fix:    0  time:  0.15 s
28.69/7.29	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
29.10/7.30	c vivif2 --  cl tried    22201 cl shrink        0 lits rem          0 time: 0.00
29.10/7.31	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.01
29.10/7.31	c calculated reachability. Time: 0.00
29.10/7.31	c  N st    34    105354       628      2730         0     22201      8332    458184   no data   no data
32.29/8.16	c  N st    35    114955       628      2730         0     17878      8332    314147   no data   no data
37.48/9.43	c  N st    36    129353       628      2730         0     17330      8332    279451   no data   no data
45.46/11.41	c  N st    37    150949       628      2730         0     22824      8332    428852   no data   no data
48.69/12.23	c  S st    38    158031       628      2730         0     29743      8332    622134   no data   no data
49.05/12.31	c  S st    38    158536       628      2730         0     30247      8332    635463   no data   no data
49.05/12.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.05/12.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
49.05/12.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49.05/12.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.05/12.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.05/12.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
49.05/12.32	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
49.05/12.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
49.05/12.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.04/12.90	c lits-rem:       319  cl-subs:     1475  v-elim:      0  v-fix:    0  time:  0.55 s
51.04/12.90	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
51.44/12.90	c vivif2 --  cl tried    28772 cl shrink        0 lits rem          0 time: 0.01
51.44/12.92	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.02
51.44/12.92	c calculated reachability. Time: 0.00
51.44/12.92	c  N st    38    158536       628      2730         0     28772      8332    590308   no data   no data
71.40/17.96	c  N st    39    207124       628      2730         0     23337      8332    377538   no data   no data
85.36/21.47	c  N st    40    237805       628      2730         0     33762      8332    650677   no data   no data
85.36/21.47	c  S st    40    237805       628      2730         0     33762      8332    650677   no data   no data
85.76/21.56	c  S st    40    238309       628      2730         0     34266      8332    663802   no data   no data
85.76/21.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
85.76/21.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
85.76/21.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
85.76/21.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
85.76/21.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.76/21.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
85.76/21.58	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
85.76/21.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
86.16/21.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
89.35/22.40	c lits-rem:       198  cl-subs:     2083  v-elim:      0  v-fix:    0  time:  0.79 s
89.35/22.40	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
89.35/22.41	c vivif2 --  cl tried    32183 cl shrink        0 lits rem          0 time: 0.01
89.35/22.43	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.02
89.35/22.43	c calculated reachability. Time: 0.00
89.35/22.43	c  N st    40    238309       628      2730         0     32183      8332    607923   no data   no data
122.08/30.64	c  F st    41    306250       628      2730         0     34275      8332    621640   no data   no data
122.08/30.64	c  N st    41    306250       628      2730         0     34275      8332    621640   no data   no data
124.88/31.33	c Decided on static restart strategy
136.48/34.24	c  N st    51    334551       628      2730         0     38518      8332    731640   no data   no data
148.83/37.31	c  N st    53    357463       628      2730         0     36501      8332    661876   no data   no data
148.83/37.31	c  S st    53    357463       628      2730         0     36501      8332    661876   no data   no data
148.83/37.40	c  S st    53    357970       628      2730         0     37007      8332    674878   no data   no data
148.83/37.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
149.24/37.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
149.24/37.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
149.24/37.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
149.24/37.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
149.24/37.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
149.24/37.42	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
149.24/37.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
149.24/37.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
150.81/37.85	c lits-rem:       161  cl-subs:     1060  v-elim:      0  v-fix:    0  time:  0.40 s
150.81/37.85	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
150.81/37.86	c vivif2 --  cl tried    35947 cl shrink        0 lits rem          0 time: 0.01
150.81/37.89	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.03
150.81/37.89	c calculated reachability. Time: 0.00
150.81/37.89	c  N st    53    357970       628      2730         0     35947      8332    638889   no data   no data
169.58/42.50	c  N st    54    390363       628      2730         0     42242      8332    794613   no data   no data
198.30/49.75	c  N st    55    438952       628      2730         0     35903      8332    562887   no data   no data
243.40/61.04	c  N st    56    511838       628      2730         0     49404      8332    898569   no data   no data
260.16/65.21	c  N st    57    536955       628      2730         0     43636      8332    724423   no data   no data
260.16/65.21	c  S st    57    536955       628      2730         0     43636      8332    724423   no data   no data
260.55/65.31	c  S st    57    537458       628      2730         0     44139      8332    738284   no data   no data
260.55/65.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
260.55/65.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
260.55/65.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
260.55/65.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
260.55/65.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
260.55/65.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
260.55/65.33	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
260.55/65.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
260.55/65.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
262.96/65.93	c lits-rem:       310  cl-subs:     1288  v-elim:      0  v-fix:    0  time:  0.57 s
262.96/65.93	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
262.96/65.94	c vivif2 --  cl tried    42851 cl shrink        0 lits rem          0 time: 0.01
262.96/65.97	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.03
262.96/65.97	c calculated reachability. Time: 0.00
262.96/65.97	c  N st    57    537458       628      2730         0     42851      8332    703221   no data   no data
380.28/95.37	c  N st    58    701443       628      2730         0     36819      8332    436678   no data   no data
464.49/116.41	c  N st    59    806188       628      2730         0     65965      8332   1210961   no data   no data
464.49/116.41	c  S st    59    806188       628      2730         0     65965      8332   1210961   no data   no data
464.89/116.59	c  S st    59    806690       628      2730         0     66467      8332   1224651   no data   no data
464.89/116.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
465.30/116.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
465.30/116.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
465.30/116.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
465.30/116.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
465.30/116.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
465.30/116.62	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
465.30/116.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
465.30/116.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
480.85/120.53	c lits-rem:       653  cl-subs:     4754  v-elim:      0  v-fix:    0  time:  3.86 s
480.85/120.53	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
480.85/120.54	c vivif2 --  cl tried    61713 cl shrink        0 lits rem          0 time: 0.01
481.25/120.60	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.06
481.25/120.60	c calculated reachability. Time: 0.00
481.25/120.60	c  N st    59    806690       628      2730         0     61713      8332   1095940   no data   no data
706.74/177.18	c  F st    60   1071876       628      2730         0     77617      8332   1443818   no data   no data
706.74/177.18	c  N st    60   1071876       628      2730         0     77617      8332   1443818   no data   no data
712.70/178.67	c Decided on static restart strategy
731.85/183.45	c  N st    70   1100178       628      2730         0     61461      8332    971012   no data   no data
766.98/192.22	c  N st    72   1136172       628      2730         0     51634      8332    643748   no data   no data
794.95/199.26	c  N st    73   1168565       628      2730         0     83281      8332   1518596   no data   no data
835.61/209.40	c  N st    74   1210036       628      2730         0     77954      8332   1384297   no data   no data
835.61/209.40	c  S st    74   1210036       628      2730         0     77954      8332   1384297   no data   no data
836.81/209.73	c  S st    74   1210543       628      2730         0     78461      8332   1397808   no data   no data
836.81/209.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
836.81/209.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
836.81/209.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
836.81/209.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
836.81/209.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
836.81/209.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
836.81/209.78	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
837.21/209.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
837.21/209.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
854.37/214.16	c lits-rem:       846  cl-subs:     3897  v-elim:      0  v-fix:    0  time:  4.30 s
854.37/214.16	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
854.37/214.18	c vivif2 --  cl tried    74564 cl shrink        0 lits rem          0 time: 0.02
854.77/214.26	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.08
854.77/214.26	c calculated reachability. Time: 0.00
854.77/214.26	c  N st    74   1210543       628      2730         0     74564      8332   1292106   no data   no data
928.19/232.69	c  N st    75   1283428       628      2730         0     51056      8332    581247   no data   no data
1037.54/260.01	c  N st    76   1392753       628      2730         0     59195      8332    783242   no data   no data
1209.95/303.30	c  N st    77   1556737       628      2730         0     63817      8332    834354   no data   no data
1376.75/345.07	c  N st    78   1710544       628      2730         0    105796      8332   2045311   no data   no data
1376.75/345.07	c  S st    78   1710544       628      2730         0    105796      8332   2045311   no data   no data
1378.37/345.41	c  S st    78   1711051       628      2730         0    106303      8332   2059148   no data   no data
1378.37/345.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1378.37/345.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1378.37/345.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1378.37/345.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1378.37/345.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1378.37/345.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
1378.37/345.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1378.37/345.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1378.78/345.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1425.83/357.31	c lits-rem:      1074  cl-subs:     5380  v-elim:      0  v-fix:    0  time: 11.74 s
1425.83/357.31	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
1425.83/357.34	c vivif2 --  cl tried   100923 cl shrink        0 lits rem          0 time: 0.03
1426.23/357.45	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.11
1426.23/357.45	c calculated reachability. Time: 0.00
1426.23/357.45	c  N st    78   1711051       628      2730         0    100923      8332   1905139   no data   no data
1897.92/475.69	c  N st    79   2080016       628      2730         0    112373      8332   2125777   no data   no data
2061.15/516.55	c  N st    80   2211053       628      2730         0    116707      8332   2268350   no data   no data
2061.15/516.55	c  S st    80   2211053       628      2730         0    116707      8332   2268350   no data   no data
2062.75/516.91	c  S st    80   2211555       628      2730         0    117208      8332   2281822   no data   no data
2062.75/516.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2062.75/516.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2062.75/516.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2062.75/516.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2062.75/516.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2062.75/516.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
2062.75/516.99	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2063.16/517.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2063.16/517.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2113.02/529.56	c lits-rem:       923  cl-subs:     5307  v-elim:      0  v-fix:    0  time: 12.47 s
2113.02/529.56	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
2113.02/529.59	c vivif2 --  cl tried   111901 cl shrink        0 lits rem          0 time: 0.03
2113.82/529.71	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.12
2113.82/529.72	c calculated reachability. Time: 0.00
2113.82/529.72	c  N st    80   2211555       628      2730         0    111901      8332   2127058   no data   no data
2828.56/708.83	c  N st    81   2711556       628      2730         0    134895      8332   2580726   no data   no data
2828.56/708.83	c  S st    81   2711556       628      2730         0    134895      8332   2580726   no data   no data
2830.56/709.32	c  S st    81   2712058       628      2730         0    135397      8332   2594518   no data   no data
2830.56/709.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2830.95/709.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2830.95/709.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2830.95/709.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2830.95/709.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2830.95/709.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
2830.95/709.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2830.95/709.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2831.37/709.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2947.45/738.67	c lits-rem:       762  cl-subs:    12230  v-elim:      0  v-fix:    0  time: 29.14 s
2947.45/738.67	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
2947.85/738.70	c vivif2 --  cl tried   123167 cl shrink        0 lits rem          0 time: 0.03
2948.25/738.84	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.14
2948.25/738.84	c calculated reachability. Time: 0.00
2948.25/738.84	c  N st    81   2712058       628      2730         0    123167      8332   2271014   no data   no data
3729.58/934.65	c  N st    82   3212058       628      2730         0     99363      8332   1425576   no data   no data
3729.58/934.66	c  S st    82   3212058       628      2730         0     99363      8332   1425576   no data   no data
3730.77/934.95	c  S st    82   3212558       628      2730         0     99863      8332   1438865   no data   no data
3730.77/934.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3731.19/935.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3731.19/935.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3731.19/935.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3731.19/935.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3731.19/935.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
3731.19/935.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3731.19/935.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3731.19/935.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3744.78/938.48	c lits-rem:       287  cl-subs:     3471  v-elim:      0  v-fix:    0  time:  3.41 s
3744.78/938.48	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
3745.14/938.50	c vivif2 --  cl tried    96392 cl shrink        0 lits rem          0 time: 0.02
3745.54/938.60	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.10
3745.54/938.61	c calculated reachability. Time: 0.00
3745.54/938.61	c  N st    82   3212558       628      2730         0     96392      8332   1345249   no data   no data
4591.97/1150.75	c  N st    83   3712559       628      2730         0    107558      8332   1517323   no data   no data
4591.97/1150.75	c  S st    83   3712559       628      2730         0    107558      8332   1517323   no data   no data
4593.53/1151.16	c  S st    83   3713061       628      2730         0    108060      8332   1530742   no data   no data
4593.53/1151.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4593.93/1151.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.07
4593.93/1151.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4593.93/1151.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4593.93/1151.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4593.93/1151.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
4593.93/1151.24	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4593.93/1151.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4594.33/1151.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4610.68/1155.43	c lits-rem:       902  cl-subs:     3180  v-elim:      0  v-fix:    0  time:  4.10 s
4610.68/1155.43	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
4610.68/1155.45	c vivif2 --  cl tried   104880 cl shrink        0 lits rem          0 time: 0.02
4611.08/1155.57	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.12
4611.08/1155.57	c calculated reachability. Time: 0.00
4611.08/1155.57	c  N st    83   3713061       628      2730         0    104880      8332   1451483   no data   no data
4683.32/1173.61	c  F st    84   3751562       628      2730         0    142588      8332   2523459   no data   no data
4683.32/1173.61	c  N st    84   3751562       628      2730         0    142588      8332   2523459   no data   no data
4694.49/1176.40	c Decided on static restart strategy
4748.37/1189.95	c  N st    94   3779872       628      2730         0     87168      8332    927683   no data   no data
4798.65/1202.50	c  N st    96   3815866       628      2730         0    122431      8332   1892339   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-3366659-1305411198/watcher-3366659-1305411198 -o /tmp/evaluation-result-3366659-1305411198/solver-3366659-1305411198 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366659-1305411198.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.54 7.99 8.01 2/290 21302
/proc/meminfo: memFree=27772972/32951124 swapFree=63649232/67111528
[pid=21302] ppid=21300 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/21302/stat : 21302 (strangenight2-m) R 21300 21302 20874 0 -1 4202496 406 0 0 0 0 0 0 0 18 0 4 0 652718325 52396032 347 33554432000 4194304 4580107 140734856321776 18446744073709551615 47642886907816 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21302/statm: 12792 347 299 95 0 7774 0
[pid=21302/tid=21304] ppid=21300 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 652718326 52396032 347 33554432000 4194304 4580107 140734856321776 18446744073709551615 210204703729 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 652718326 52396032 347 33554432000 4194304 4580107 140734856321776 18446744073709551615 47642886907816 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21302/tid=21306] ppid=21300 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21306/stat : 21306 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 652718326 52396032 347 33554432000 4194304 4580107 140734856321776 18446744073709551615 47642886907826 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.114082 s]
/proc/loadavg: 7.54 7.99 8.01 2/290 21302
/proc/meminfo: memFree=27772972/32951124 swapFree=63649232/67111528
[pid=21302] ppid=21300 vsize=282416 CPUtime=0.42 cores=0,2,4,6
/proc/21302/stat : 21302 (strangenight2-m) R 21300 21302 20874 0 -1 4202496 1940 0 0 0 42 0 0 0 19 0 4 0 652718325 289193984 1765 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21302/statm: 70604 1765 377 95 0 65586 0
[pid=21302/tid=21304] ppid=21300 vsize=282416 CPUtime=0.09 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 415 0 0 0 9 0 0 0 20 0 4 0 652718326 289193984 1766 33554432000 4194304 4580107 140734856321776 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=282416 CPUtime=0.1 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 404 0 0 0 10 0 0 0 20 0 4 0 652718326 289193984 1766 33554432000 4194304 4580107 140734856321776 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21302/tid=21306] ppid=21300 vsize=282416 CPUtime=0.1 cores=0,2,4,6
/proc/21302/task/21306/stat : 21306 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 295 0 0 0 10 0 0 0 20 0 4 0 652718326 289193984 1766 33554432000 4194304 4580107 140734856321776 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282416

[startup+0.213971 s]
/proc/loadavg: 7.54 7.99 8.01 2/290 21302
/proc/meminfo: memFree=27772972/32951124 swapFree=63649232/67111528
[pid=21302] ppid=21300 vsize=283924 CPUtime=0.82 cores=0,2,4,6
/proc/21302/stat : 21302 (strangenight2-m) R 21300 21302 20874 0 -1 4202496 2665 0 0 0 82 0 0 0 19 0 4 0 652718325 290738176 1808 33554432000 4194304 4580107 140734856321776 18446744073709551615 4318686 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21302/statm: 70981 1808 377 95 0 65963 0
[pid=21302/tid=21304] ppid=21300 vsize=283924 CPUtime=0.19 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 598 0 0 0 19 0 0 0 20 0 4 0 652718326 290738176 1808 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=283924 CPUtime=0.2 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 578 0 0 0 20 0 0 0 20 0 4 0 652718326 290738176 1808 33554432000 4194304 4580107 140734856321776 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21302/tid=21306] ppid=21300 vsize=283924 CPUtime=0.2 cores=0,2,4,6
/proc/21302/task/21306/stat : 21306 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 475 0 0 0 20 0 0 0 20 0 4 0 652718326 290738176 1808 33554432000 4194304 4580107 140734856321776 18446744073709551615 4293971 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 283924

[startup+0.313953 s]
/proc/loadavg: 7.54 7.99 8.01 2/290 21302
/proc/meminfo: memFree=27772972/32951124 swapFree=63649232/67111528
[pid=21302] ppid=21300 vsize=283924 CPUtime=1.23 cores=0,2,4,6
/proc/21302/stat : 21302 (strangenight2-m) R 21300 21302 20874 0 -1 4202496 3098 0 0 0 122 1 0 0 19 0 4 0 652718325 290738176 2241 33554432000 4194304 4580107 140734856321776 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21302/statm: 70981 2241 377 95 0 65963 0
[pid=21302/tid=21304] ppid=21300 vsize=283924 CPUtime=0.29 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 714 0 0 0 29 0 0 0 20 0 4 0 652718326 290738176 2241 33554432000 4194304 4580107 140734856321776 18446744073709551615 4316439 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=283924 CPUtime=0.3 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 661 0 0 0 30 0 0 0 20 0 4 0 652718326 290738176 2241 33554432000 4194304 4580107 140734856321776 18446744073709551615 4295828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21302/tid=21306] ppid=21300 vsize=283924 CPUtime=0.3 cores=0,2,4,6
/proc/21302/task/21306/stat : 21306 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 598 0 0 0 30 0 0 0 20 0 4 0 652718326 290738176 2241 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 283924

[startup+0.70089 s]
/proc/loadavg: 7.54 7.99 8.01 2/290 21302
/proc/meminfo: memFree=27772972/32951124 swapFree=63649232/67111528
[pid=21302] ppid=21300 vsize=284996 CPUtime=2.77 cores=0,2,4,6
/proc/21302/stat : 21302 (strangenight2-m) R 21300 21302 20874 0 -1 4202496 4756 0 0 0 276 1 0 0 19 0 4 0 652718325 291835904 2875 33554432000 4194304 4580107 140734856321776 18446744073709551615 4316670 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21302/statm: 71249 2875 377 95 0 66231 0
[pid=21302/tid=21304] ppid=21300 vsize=284996 CPUtime=0.68 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 1125 0 0 0 68 0 0 0 20 0 4 0 652718326 291835904 2875 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=284996 CPUtime=0.69 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 1071 0 0 0 69 0 0 0 20 0 4 0 652718326 291835904 2875 33554432000 4194304 4580107 140734856321776 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21302/tid=21306] ppid=21300 vsize=284996 CPUtime=0.69 cores=0,2,4,6
/proc/21302/task/21306/stat : 21306 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 1021 0 0 0 69 0 0 0 21 0 4 0 652718326 291835904 2875 33554432000 4194304 4580107 140734856321776 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284996

[startup+1.50076 s]
/proc/loadavg: 7.54 7.99 8.01 9/302 21321
/proc/meminfo: memFree=27751184/32951124 swapFree=63649232/67111528
[pid=21302] ppid=21300 vsize=286472 CPUtime=5.96 cores=0,2,4,6
/proc/21302/stat : 21302 (strangenight2-m) R 21300 21302 20874 0 -1 4202496 8164 0 0 0 595 1 0 0 21 0 4 0 652718325 293347328 3439 33554432000 4194304 4580107 140734856321776 18446744073709551615 4293131 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21302/statm: 71618 3439 378 95 0 66600 0
[pid=21302/tid=21304] ppid=21300 vsize=286472 CPUtime=1.47 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 1999 0 0 0 147 0 0 0 23 0 4 0 652718326 293347328 3439 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=286472 CPUtime=1.49 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 1932 0 0 0 149 0 0 0 23 0 4 0 652718326 293347328 3439 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21302/tid=21306] ppid=21300 vsize=286472 CPUtime=1.49 cores=0,2,4,6
/proc/21302/task/21306/stat : 21306 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 1866 0 0 0 149 0 0 0 23 0 4 0 652718326 293347328 3439 33554432000 4194304 4580107 140734856321776 18446744073709551615 4293710 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286472

[startup+3.10049 s]
/proc/loadavg: 7.54 7.99 8.01 9/302 21321
/proc/meminfo: memFree=27722496/32951124 swapFree=63649232/67111528
[pid=21302] ppid=21300 vsize=296432 CPUtime=12.35 cores=0,2,4,6
/proc/21302/stat : 21302 (strangenight2-m) R 21300 21302 20874 0 -1 4202496 19680 0 0 0 1231 4 0 0 25 0 4 0 652718325 303546368 10594 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294445 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21302/statm: 74108 10594 379 95 0 69090 0
[pid=21302/tid=21304] ppid=21300 vsize=296432 CPUtime=3.05 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 4349 0 0 0 305 0 0 0 25 0 4 0 652718326 303546368 10594 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=296432 CPUtime=3.08 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 5270 0 0 0 308 0 0 0 25 0 4 0 652718326 303546368 10594 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21302/tid=21306] ppid=21300 vsize=296432 CPUtime=3.08 cores=0,2,4,6
/proc/21302/task/21306/stat : 21306 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 4822 0 0 0 308 0 0 0 25 0 4 0 652718326 303546368 10594 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 296432

[startup+6.30096 s]
/proc/loadavg: 7.58 7.99 8.01 9/302 21351
/proc/meminfo: memFree=27701600/32951124 swapFree=63649232/67111528
[pid=21302] ppid=21300 vsize=304208 CPUtime=25.12 cores=0,2,4,6
/proc/21302/stat : 21302 (strangenight2-m) R 21300 21302 20874 0 -1 4202496 31946 0 0 0 2506 6 0 0 25 0 4 0 652718325 311508992 14859 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21302/statm: 76052 14859 379 95 0 71034 0
[pid=21302/tid=21304] ppid=21300 vsize=304208 CPUtime=6.23 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 8204 0 0 0 622 1 0 0 25 0 4 0 652718326 311508992 14859 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=304208 CPUtime=6.29 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 8767 0 0 0 628 1 0 0 25 0 4 0 652718326 311508992 14859 33554432000 4194304 4580107 140734856321776 18446744073709551615 4406483 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21302/tid=21306] ppid=21300 vsize=304208 CPUtime=6.29 cores=0,2,4,6
/proc/21302/task/21306/stat : 21306 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 7242 0 0 0 628 1 0 0 25 0 4 0 652718326 311508992 14859 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 304208

[startup+12.7009 s]
/proc/loadavg: 7.61 7.99 8.01 9/302 21351
/proc/meminfo: memFree=27627548/32951124 swapFree=63649232/67111528
[pid=21302] ppid=21300 vsize=312640 CPUtime=50.64 cores=0,2,4,6
/proc/21302/stat : 21302 (strangenight2-m) R 21300 21302 20874 0 -1 4202496 49260 0 0 0 5055 9 0 0 25 0 4 0 652718325 320143360 22699 33554432000 4194304 4580107 140734856321776 18446744073709551615 4406350 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21302/statm: 78160 22699 379 95 0 73142 0
[pid=21302/tid=21304] ppid=21300 vsize=312640 CPUtime=12.56 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 12239 0 0 0 1255 1 0 0 25 0 4 0 652718326 320143360 22699 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=312640 CPUtime=12.69 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 10002 0 0 0 1268 1 0 0 25 0 4 0 652718326 320143360 22699 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21302/tid=21306] ppid=21300 vsize=312640 CPUtime=12.69 cores=0,2,4,6
/proc/21302/task/21306/stat : 21306 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 12636 0 0 0 1267 2 0 0 25 0 4 0 652718326 320143360 22699 33554432000 4194304 4580107 140734856321776 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 312640

[startup+25.5008 s]
/proc/loadavg: 7.70 7.99 8.01 9/302 21352
/proc/meminfo: memFree=27560240/32951124 swapFree=63649232/67111528
[pid=21302] ppid=21300 vsize=332332 CPUtime=101.72 cores=0,2,4,6
/proc/21302/stat : 21302 (strangenight2-m) R 21300 21302 20874 0 -1 4202496 71629 0 0 0 10158 14 0 0 25 0 4 0 652718325 340307968 30417 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21302/statm: 83083 30417 379 95 0 78065 0
[pid=21302/tid=21304] ppid=21300 vsize=332332 CPUtime=25.25 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 19635 0 0 0 2522 3 0 0 25 0 4 0 652718326 340307968 30417 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294400 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=332332 CPUtime=25.48 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 13048 0 0 0 2547 1 0 0 25 0 4 0 652718326 340307968 30417 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21302/tid=21306] ppid=21300 vsize=332332 CPUtime=25.48 cores=0,2,4,6
/proc/21302/task/21306/stat : 21306 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 18111 0 0 0 2545 3 0 0 25 0 4 0 652718326 340307968 30417 33554432000 4194304 4580107 140734856321776 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 332332

[startup+51.1005 s]
/proc/loadavg: 7.94 8.02 8.02 9/302 21353
/proc/meminfo: memFree=27506452/32951124 swapFree=63649232/67111528
[pid=21302] ppid=21300 vsize=292568 CPUtime=203.89 cores=0,2,4,6
/proc/21302/stat : 21302 (strangenight2-m) R 21300 21302 20874 0 -1 4202496 106333 0 0 0 20367 22 0 0 25 0 4 0 652718325 299589632 35961 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21302/statm: 73142 35961 379 95 0 68124 0
[pid=21302/tid=21304] ppid=21300 vsize=292568 CPUtime=50.62 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 27338 0 0 0 5057 5 0 0 25 0 4 0 652718326 299589632 35961 33554432000 4194304 4580107 140734856321776 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=292568 CPUtime=51.08 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 21753 0 0 0 5106 2 0 0 25 0 4 0 652718326 299589632 35961 33554432000 4194304 4580107 140734856321776 18446744073709551615 4293985 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21302/tid=21306] ppid=21300 vsize=292568 CPUtime=51.08 cores=0,2,4,6
/proc/21302/task/21306/stat : 21306 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 27437 0 0 0 5103 5 0 0 25 0 4 0 652718326 299589632 35961 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.89
Current children cumulated vsize (KiB) 292568

[startup+102.301 s]
/proc/loadavg: 7.97 8.02 8.01 9/302 21354
/proc/meminfo: memFree=27423076/32951124 swapFree=63649232/67111528
[pid=21302] ppid=21300 vsize=371004 CPUtime=408.23 cores=0,2,4,6
/proc/21302/stat : 21302 (strangenight2-m) R 21300 21302 20874 0 -1 4202496 150758 0 0 0 40790 33 0 0 25 0 4 0 652718325 379908096 52112 33554432000 4194304 4580107 140734856321776 18446744073709551615 4321874 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21302/statm: 92751 52112 379 95 0 87733 0
[pid=21302/tid=21304] ppid=21300 vsize=371004 CPUtime=101.36 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 39932 0 0 0 10128 8 0 0 25 0 4 0 652718326 379908096 52114 33554432000 4194304 4580107 140734856321776 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=371004 CPUtime=102.29 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 31418 0 0 0 10224 5 0 0 25 0 4 0 652718326 379908096 52114 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21302/tid=21306] ppid=21300 vsize=371004 CPUtime=102.29 cores=0,2,4,6
/proc/21302/task/21306/stat : 21306 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 39598 0 0 0 10221 8 0 0 25 0 4 0 652718326 379908096 52114 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.23
Current children cumulated vsize (KiB) 371004

[startup+162.301 s]

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

[pid=21302] ppid=21300 vsize=505944 CPUtime=2563.17 cores=0,2,4,6
/proc/21302/stat : 21302 (strangenight2-m) R 21300 21302 20874 0 -1 4202496 346241 0 0 0 256203 114 0 0 25 0 4 0 652718325 518086656 88431 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21302/statm: 126486 88431 379 95 0 121468 0
[pid=21302/tid=21304] ppid=21300 vsize=505944 CPUtime=636.39 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 58226 0 0 0 63623 16 0 0 25 0 4 0 652718326 518086656 88431 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=505944 CPUtime=642.29 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 54533 0 0 0 64214 15 0 0 25 0 4 0 652718326 518086656 88431 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21302/tid=21306] ppid=21300 vsize=505944 CPUtime=642.29 cores=0,2,4,6
/proc/21302/task/21306/stat : 21306 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 129348 0 0 0 64182 47 0 0 25 0 4 0 652718326 518086656 88431 33554432000 4194304 4580107 140734856321776 18446744073709551615 4321192 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2563.17
Current children cumulated vsize (KiB) 505944

[startup+702.301 s]
/proc/loadavg: 8.16 8.09 8.02 9/302 21400
/proc/meminfo: memFree=26980208/32951124 swapFree=63649232/67111528
[pid=21302] ppid=21300 vsize=517780 CPUtime=2802.61 cores=0,2,4,6
/proc/21302/stat : 21302 (strangenight2-m) R 21300 21302 20874 0 -1 4202496 361889 0 0 0 280141 120 0 0 25 0 4 0 652718325 530206720 96657 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21302/statm: 129445 96657 379 95 0 124427 0
[pid=21302/tid=21304] ppid=21300 vsize=517780 CPUtime=695.85 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 60010 0 0 0 69568 17 0 0 25 0 4 0 652718326 530206720 96657 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=517780 CPUtime=702.29 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 57339 0 0 0 70213 16 0 0 25 0 4 0 652718326 530206720 96657 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21302/tid=21306] ppid=21300 vsize=517780 CPUtime=702.29 cores=0,2,4,6
/proc/21302/task/21306/stat : 21306 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 139078 0 0 0 70178 51 0 0 25 0 4 0 652718326 530206720 96657 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2802.61
Current children cumulated vsize (KiB) 517780

[startup+762.301 s]
/proc/loadavg: 8.09 8.08 8.02 9/302 21401
/proc/meminfo: memFree=26972716/32951124 swapFree=63649232/67111528
[pid=21302] ppid=21300 vsize=613320 CPUtime=3042.05 cores=0,2,4,6
/proc/21302/stat : 21302 (strangenight2-m) R 21300 21302 20874 0 -1 4202496 379274 0 0 0 304077 128 0 0 25 0 4 0 652718325 628039680 94520 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294570 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21302/statm: 153330 94520 379 95 0 148312 0
[pid=21302/tid=21304] ppid=21300 vsize=613320 CPUtime=755.27 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 63013 0 0 0 75509 18 0 0 25 0 4 0 652718326 628039680 94521 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=613320 CPUtime=762.3 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 60154 0 0 0 76212 18 0 0 25 0 4 0 652718326 628039680 94521 33554432000 4194304 4580107 140734856321776 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21302/tid=21306] ppid=21300 vsize=613320 CPUtime=762.3 cores=0,2,4,6
/proc/21302/task/21306/stat : 21306 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 145529 0 0 0 76176 54 0 0 25 0 4 0 652718326 628039680 94521 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3042.05
Current children cumulated vsize (KiB) 613320

[startup+822.301 s]
/proc/loadavg: 8.03 8.07 8.01 9/302 21403
/proc/meminfo: memFree=26874972/32951124 swapFree=63649232/67111528
[pid=21302] ppid=21300 vsize=625100 CPUtime=3281.47 cores=0,2,4,6
/proc/21302/stat : 21302 (strangenight2-m) R 21300 21302 20874 0 -1 4202496 401435 0 0 0 328010 137 0 0 25 0 4 0 652718325 640102400 109673 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21302/statm: 156275 109673 379 95 0 151257 0
[pid=21302/tid=21304] ppid=21300 vsize=625100 CPUtime=814.72 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 68461 0 0 0 81452 20 0 0 25 0 4 0 652718326 640102400 109673 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=625100 CPUtime=822.29 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 63014 0 0 0 82210 19 0 0 25 0 4 0 652718326 640102400 109673 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21302/tid=21306] ppid=21300 vsize=625100 CPUtime=822.29 cores=0,2,4,6
/proc/21302/task/21306/stat : 21306 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 152623 0 0 0 82171 58 0 0 25 0 4 0 652718326 640102400 109673 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3281.47
Current children cumulated vsize (KiB) 625100

[startup+882.312 s]
/proc/loadavg: 8.01 8.05 8.01 9/302 21405
/proc/meminfo: memFree=26861276/32951124 swapFree=63649232/67111528
[pid=21302] ppid=21300 vsize=625224 CPUtime=3520.92 cores=0,2,4,6
/proc/21302/stat : 21302 (strangenight2-m) R 21300 21302 20874 0 -1 4202496 414636 0 0 0 351948 144 0 0 25 0 4 0 652718325 640229376 103801 33554432000 4194304 4580107 140734856321776 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21302/statm: 156306 103801 379 95 0 151288 0
[pid=21302/tid=21304] ppid=21300 vsize=625224 CPUtime=874.15 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 70966 0 0 0 87393 22 0 0 25 0 4 0 652718326 640229376 103801 33554432000 4194304 4580107 140734856321776 18446744073709551615 4318711 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=625224 CPUtime=882.3 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 63171 0 0 0 88211 19 0 0 25 0 4 0 652718326 640229376 103801 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21302/tid=21306] ppid=21300 vsize=625224 CPUtime=882.3 cores=0,2,4,6
/proc/21302/task/21306/stat : 21306 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 159419 0 0 0 88169 61 0 0 25 0 4 0 652718326 640229376 103801 33554432000 4194304 4580107 140734856321776 18446744073709551615 4321944 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3520.92
Current children cumulated vsize (KiB) 625224

[startup+942.301 s]
/proc/loadavg: 8.05 8.06 8.01 9/302 21406
/proc/meminfo: memFree=26862228/32951124 swapFree=63649232/67111528
[pid=21302] ppid=21300 vsize=625448 CPUtime=3760.31 cores=0,2,4,6
/proc/21302/stat : 21302 (strangenight2-m) R 21300 21302 20874 0 -1 4202496 433676 0 0 0 375879 152 0 0 25 0 4 0 652718325 640458752 110478 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21302/statm: 156362 110478 379 95 0 151344 0
[pid=21302/tid=21304] ppid=21300 vsize=625448 CPUtime=933.58 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 74975 0 0 0 93334 24 0 0 25 0 4 0 652718326 640458752 110478 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=625448 CPUtime=942.29 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 63221 0 0 0 94210 19 0 0 25 0 4 0 652718326 640458752 110478 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21302/tid=21306] ppid=21300 vsize=625448 CPUtime=942.29 cores=0,2,4,6
/proc/21302/task/21306/stat : 21306 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 169262 0 0 0 94165 64 0 0 25 0 4 0 652718326 640458752 110478 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3760.31
Current children cumulated vsize (KiB) 625448

[startup+1002.3 s]
/proc/loadavg: 8.12 8.07 8.01 9/302 21408
/proc/meminfo: memFree=26854136/32951124 swapFree=63649232/67111528
[pid=21302] ppid=21300 vsize=638524 CPUtime=3999.74 cores=0,2,4,6
/proc/21302/stat : 21302 (strangenight2-m) R 21300 21302 20874 0 -1 4202496 446354 0 0 0 399818 156 0 0 25 0 4 0 652718325 653848576 109741 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21302/statm: 159631 109741 379 95 0 154613 0
[pid=21302/tid=21304] ppid=21300 vsize=638524 CPUtime=993.02 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 77589 0 0 0 99278 24 0 0 25 0 4 0 652718326 653848576 109741 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=638524 CPUtime=1002.29 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 63360 0 0 0 100210 19 0 0 25 0 4 0 652718326 653848576 109741 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21302/tid=21306] ppid=21300 vsize=638524 CPUtime=1002.29 cores=0,2,4,6
/proc/21302/task/21306/stat : 21306 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 174335 0 0 0 100164 65 0 0 25 0 4 0 652718326 653848576 109741 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3999.74
Current children cumulated vsize (KiB) 638524

[startup+1062.3 s]
/proc/loadavg: 8.14 8.09 8.02 9/302 21409
/proc/meminfo: memFree=26818016/32951124 swapFree=63649232/67111528
[pid=21302] ppid=21300 vsize=686692 CPUtime=4239.18 cores=0,2,4,6
/proc/21302/stat : 21302 (strangenight2-m) R 21300 21302 20874 0 -1 4202496 465177 0 0 0 423753 165 0 0 25 0 4 0 652718325 703172608 117662 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21302/statm: 171673 117662 379 95 0 166655 0
[pid=21302/tid=21304] ppid=21300 vsize=686692 CPUtime=1052.47 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 84006 0 0 0 105220 27 0 0 25 0 4 0 652718326 703172608 117662 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=686692 CPUtime=1062.3 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 63503 0 0 0 106210 20 0 0 25 0 4 0 652718326 703172608 117662 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21302/tid=21306] ppid=21300 vsize=686692 CPUtime=1062.29 cores=0,2,4,6
/proc/21302/task/21306/stat : 21306 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 180900 0 0 0 106161 68 0 0 25 0 4 0 652718326 703172608 117662 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4239.18
Current children cumulated vsize (KiB) 686692

[startup+1122.3 s]
/proc/loadavg: 8.14 8.10 8.02 9/302 21411
/proc/meminfo: memFree=26772072/32951124 swapFree=63649232/67111528
[pid=21302] ppid=21300 vsize=716700 CPUtime=4478.62 cores=0,2,4,6
/proc/21302/stat : 21302 (strangenight2-m) R 21300 21302 20874 0 -1 4202496 485930 0 0 0 447687 175 0 0 25 0 4 0 652718325 733900800 123152 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21302/statm: 179175 123152 379 95 0 174157 0
[pid=21302/tid=21304] ppid=21300 vsize=716700 CPUtime=1111.91 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 89295 0 0 0 111162 29 0 0 25 0 4 0 652718326 733900800 123152 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=716700 CPUtime=1122.3 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 65713 0 0 0 112210 20 0 0 25 0 4 0 652718326 733900800 123152 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21302/tid=21306] ppid=21300 vsize=716700 CPUtime=1122.3 cores=0,2,4,6
/proc/21302/task/21306/stat : 21306 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 187506 0 0 0 112158 72 0 0 25 0 4 0 652718326 733900800 123152 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4478.62
Current children cumulated vsize (KiB) 716700

[startup+1182.3 s]
/proc/loadavg: 8.13 8.11 8.03 9/302 21413
/proc/meminfo: memFree=26779736/32951124 swapFree=63649232/67111528
[pid=21302] ppid=21300 vsize=716424 CPUtime=4718.04 cores=0,2,4,6
/proc/21302/stat : 21302 (strangenight2-m) R 21300 21302 20874 0 -1 4202496 502804 0 0 0 471621 183 0 0 25 0 4 0 652718325 733618176 125040 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21302/statm: 179106 125040 379 95 0 174088 0
[pid=21302/tid=21304] ppid=21300 vsize=716424 CPUtime=1171.35 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 90708 0 0 0 117105 30 0 0 25 0 4 0 652718326 733618176 125040 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=716424 CPUtime=1182.3 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 69715 0 0 0 118208 22 0 0 25 0 4 0 652718326 733618176 125040 33554432000 4194304 4580107 140734856321776 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21302/tid=21306] ppid=21300 vsize=716424 CPUtime=1182.29 cores=0,2,4,6
/proc/21302/task/21306/stat : 21306 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 194583 0 0 0 118156 73 0 0 25 0 4 0 652718326 733618176 125040 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4718.04
Current children cumulated vsize (KiB) 716424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.9 s]
/proc/loadavg: 8.16 8.12 8.03 9/302 21413
/proc/meminfo: memFree=26755428/32951124 swapFree=63649232/67111528
[pid=21302] ppid=21300 vsize=663460 CPUtime=4800.27 cores=0,2,4,6
/proc/21302/stat : 21302 (strangenight2-m) R 21300 21302 20874 0 -1 4202496 509346 0 0 0 479841 186 0 0 25 0 4 0 652718325 679383040 127414 33554432000 4194304 4580107 140734856321776 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21302/statm: 165865 127414 379 95 0 160847 0
[pid=21302/tid=21304] ppid=21300 vsize=663460 CPUtime=1191.75 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 92087 0 0 0 119145 30 0 0 25 0 4 0 652718326 679383040 127416 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=663460 CPUtime=1202.91 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 70504 0 0 0 120268 23 0 0 25 0 4 0 652718326 679383040 127416 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21302/tid=21306] ppid=21300 vsize=663460 CPUtime=1202.9 cores=0,2,4,6
/proc/21302/task/21306/stat : 21306 (strangenight2-m) R 21300 21302 20874 0 -1 4202560 196414 0 0 0 120216 74 0 0 25 0 4 0 652718326 679383040 127416 33554432000 4194304 4580107 140734856321776 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 663460

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): 1202.94
CPU time (s): 4800.34
CPU user time (s): 4798.45
CPU system time (s): 1.88971
CPU usage (%): 399.049
Max. virtual memory (cumulated for all children) (KiB): 813432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.45
system time used= 1.88971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509349
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= 273
involuntary context switches= 22915

runsolver used 3.07653 second user time and 8.09077 second system time

The end

Launcher Data 

Begin job on node130 at 2011-05-15 00:13:18
IDJOB=3366659
IDBENCH=83068
IDSOLVER=1844
FILE ID=node130/3366659-1305411198
RUNJOBID= node130-1305409993-21188
PBS_JOBID= 13324512
Free space on /tmp= 73424 MiB

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

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

MD5SUM BENCH= fff1de37c6c2184176b7a20930cdd47f
RANDOM SEED=1423899367

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:      27773228 kB
Buffers:        260032 kB
Cached:        3594848 kB
SwapCached:      10248 kB
Active:        1147380 kB
Inactive:      3760708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27773228 kB
SwapTotal:    67111528 kB
SwapFree:     63649232 kB
Dirty:            5448 kB
Writeback:           0 kB
AnonPages:     1051092 kB
Mapped:          13096 kB
Slab:           182960 kB
PageTables:      25124 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 51458668 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= 73416 MiB
End job on node130 at 2011-05-15 00:33:23