Trace number 3366600

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 1202.95

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S216164582-083.UNKNOWN.cnf
MD5SUMac87980bdfffc015f316143175a762b6
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of 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-3366600-1305409993.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
3.16/0.80	c lits-rem:         0  cl-subs:        0  v-elim:     15  v-fix:    0  time:  0.00 s
3.16/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.16/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.16/0.80	c calculated reachability. Time: 0.00
3.16/0.80	c Calc default polars -  time:   0.00 s pos:     296 undec:      71 neg:     283
3.16/0.80	c =========================================================================================
3.16/0.80	c types(t): F = full restart, N = normal restart
3.16/0.80	c types(t): S = simplification begin/end, E = solution found
3.16/0.80	c restart types(rt): st = static, dy = dynamic
3.16/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.16/0.80	c  B st     0         0       635      2742         0         0      8296         0   no data   no data
3.16/0.80	c Decided on static restart strategy
3.16/0.80	c  N st     8      4920       635      2742         0      4839      8296    133396   no data   no data
3.16/0.80	c  N st    10     11302       635      2742         0      4495      8296     86957   no data   no data
3.16/0.80	c  N st    11     17045       635      2742         0     10123      8296    241692   no data   no data
4.38/1.20	c  F st    12     25000       635      2742         0     12414      8296    307513   no data   no data
4.38/1.20	c  N st    12     25000       635      2742         0     12414      8296    307513   no data   no data
5.55/1.45	c Decided on static restart strategy
5.55/1.45	c  N st    18     30000       635      2742         0     10708      8296    237913   no data   no data
5.55/1.45	c  S st    18     30000       635      2742         0     10708      8296    237913   no data   no data
5.55/1.48	c  S st    18     30504       635      2742         0     11212      8296    251203   no data   no data
5.55/1.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.55/1.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.55/1.49	c blocked clauses removed:       11 vars:      2 tried:         635 T: 0.00 s
5.55/1.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.55/1.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
5.55/1.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.55/1.49	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.00 s
5.95/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.95/1.55	c lits-rem:       137  cl-subs:      390  v-elim:      0  v-fix:    0  time:  0.05 s
5.95/1.56	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.01
5.95/1.56	c calculated reachability. Time: 0.00
5.95/1.56	c  N st    18     30504       632      2730         0     10821      8265    238081   no data   no data
7.54/1.98	c  N st    20     37616       632      2730         0     10078      8265    197193   no data   no data
9.18/2.37	c  N st    21     44016       632      2730         0     16380      8265    373582   no data   no data
9.54/2.48	c  S st    22     45757       632      2730         0      9301      8265    153468   no data   no data
9.94/2.51	c  S st    22     46262       632      2730         0      9806      8265    166150   no data   no data
9.94/2.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.94/2.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.94/2.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.94/2.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.94/2.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.94/2.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
9.94/2.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.94/2.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.94/2.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.94/2.53	c lits-rem:        13  cl-subs:       27  v-elim:      0  v-fix:    0  time:  0.01 s
9.94/2.53	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
9.94/2.53	c vivif2 --  cl tried     9779 cl shrink        0 lits rem          0 time: 0.00
9.94/2.54	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.01
9.94/2.54	c calculated reachability. Time: 0.00
9.94/2.54	c  N st    22     46262       632      2730         0      9779      8265    165349   no data   no data
13.93/3.53	c  N st    23     60659       632      2730         0     14123      8265    284476   no data   no data
16.32/4.18	c  N st    24     69395       632      2730         0     11905      8265    203990   no data   no data
16.32/4.18	c  S st    24     69395       632      2730         0     11905      8265    203990   no data   no data
16.72/4.21	c  S st    24     69898       632      2730         0     12408      8265    217533   no data   no data
16.72/4.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.72/4.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.72/4.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.72/4.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.72/4.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.72/4.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
16.72/4.22	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.72/4.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.72/4.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.72/4.25	c lits-rem:        33  cl-subs:       95  v-elim:      0  v-fix:    0  time:  0.02 s
16.72/4.25	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
16.72/4.25	c vivif2 --  cl tried    12313 cl shrink        0 lits rem          0 time: 0.00
16.72/4.26	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.01
16.72/4.26	c calculated reachability. Time: 0.00
16.72/4.26	c  N st    24     69898       632      2730         0     12313      8265    214848   no data   no data
22.35/5.62	c  F st    25     87501       632      2730         0     17826      8265    365662   no data   no data
22.35/5.62	c  N st    25     87501       632      2730         0     17826      8265    365662   no data   no data
23.91/6.01	c Decided on static restart strategy
24.71/6.28	c  N st    32     95537       632      2730         0     12965      8265    197604   no data   no data
27.49/6.97	c  N st    34    104847       632      2730         0     22095      8265    451490   no data   no data
27.49/6.97	c  S st    34    104847       632      2730         0     22095      8265    451490   no data   no data
27.90/7.02	c  S st    34    105349       632      2730         0     22597      8265    464860   no data   no data
27.90/7.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.90/7.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.90/7.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.90/7.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.90/7.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.90/7.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
27.90/7.03	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.90/7.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.90/7.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.70/7.21	c lits-rem:        91  cl-subs:      673  v-elim:      0  v-fix:    0  time:  0.15 s
28.70/7.21	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
28.70/7.21	c vivif2 --  cl tried    21924 cl shrink        0 lits rem          0 time: 0.00
28.70/7.22	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.01
28.70/7.22	c calculated reachability. Time: 0.00
28.70/7.22	c  N st    34    105349       632      2730         0     21924      8265    443270   no data   no data
31.89/8.01	c  N st    35    114947       632      2730         0     17621      8265    310264   no data   no data
37.47/9.43	c  N st    36    129344       632      2730         0     17047      8265    277284   no data   no data
45.46/11.47	c  N st    37    150939       632      2730         0     22538      8265    428719   no data   no data
48.27/12.19	c  S st    38    158023       632      2730         0     29465      8265    621204   no data   no data
48.69/12.27	c  S st    38    158532       632      2730         0     29973      8265    634014   no data   no data
48.69/12.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
48.69/12.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
48.69/12.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
48.69/12.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
48.69/12.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.69/12.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
48.69/12.28	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
48.69/12.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
49.05/12.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.64/12.75	c lits-rem:       560  cl-subs:     1096  v-elim:      0  v-fix:    0  time:  0.44 s
50.64/12.75	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
50.64/12.76	c vivif2 --  cl tried    28877 cl shrink        0 lits rem          0 time: 0.01
50.64/12.78	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.02
50.64/12.78	c calculated reachability. Time: 0.00
50.64/12.78	c  N st    38    158532       632      2730         0     28877      8265    597075   no data   no data
71.00/17.87	c  N st    39    207120       632      2730         0     23578      8265    390919   no data   no data
84.96/21.31	c  N st    40    237798       632      2730         0     34095      8265    666082   no data   no data
84.96/21.31	c  S st    40    237798       632      2730         0     34095      8265    666082   no data   no data
84.96/21.40	c  S st    40    238301       632      2730         0     34598      8265    679680   no data   no data
85.36/21.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
85.36/21.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
85.36/21.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
85.36/21.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
85.36/21.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.36/21.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
85.36/21.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
85.36/21.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
85.36/21.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
87.36/21.93	c lits-rem:       242  cl-subs:     1099  v-elim:      0  v-fix:    0  time:  0.49 s
87.36/21.93	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
87.36/21.94	c vivif2 --  cl tried    33499 cl shrink        0 lits rem          0 time: 0.01
87.36/21.96	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.02
87.36/21.96	c calculated reachability. Time: 0.00
87.36/21.96	c  N st    40    238301       632      2730         0     33499      8265    646886   no data   no data
120.09/30.11	c  F st    41    306251       632      2730         0     35299      8265    640803   no data   no data
120.09/30.11	c  N st    41    306251       632      2730         0     35299      8265    640803   no data   no data
122.49/30.76	c Decided on static restart strategy
133.65/33.50	c  N st    51    334553       632      2730         0     39558      8265    736147   no data   no data
144.85/36.40	c  N st    53    357452       632      2730         0     37460      8265    654785   no data   no data
144.85/36.40	c  S st    53    357452       632      2730         0     37460      8265    654785   no data   no data
145.62/36.50	c  S st    53    357956       632      2730         0     37963      8265    668016   no data   no data
145.62/36.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
145.62/36.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
145.62/36.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
145.62/36.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
145.62/36.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.62/36.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
145.62/36.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
145.62/36.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
145.62/36.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.62/37.06	c lits-rem:       120  cl-subs:     1611  v-elim:      0  v-fix:    0  time:  0.52 s
147.62/37.06	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
147.62/37.07	c vivif2 --  cl tried    36352 cl shrink        0 lits rem          0 time: 0.01
148.02/37.10	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.03
148.02/37.10	c calculated reachability. Time: 0.00
148.02/37.10	c  N st    53    357956       632      2730         0     36352      8265    622919   no data   no data
165.58/41.53	c  N st    54    390352       632      2730         0     42720      8265    775469   no data   no data
192.31/48.28	c  N st    55    438940       632      2730         0     36295      8265    554815   no data   no data
237.45/59.56	c  N st    56    511822       632      2730         0     49788      8265    906610   no data   no data
253.77/63.60	c  N st    57    536934       632      2730         0     44144      8265    745303   no data   no data
253.77/63.60	c  S st    57    536934       632      2730         0     44144      8265    745303   no data   no data
254.17/63.72	c  S st    57    537437       632      2730         0     44647      8265    759161   no data   no data
254.17/63.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
254.17/63.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
254.17/63.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
254.17/63.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
254.17/63.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
254.17/63.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
254.17/63.74	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
254.17/63.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
254.17/63.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
256.96/64.46	c lits-rem:       200  cl-subs:     1628  v-elim:      0  v-fix:    0  time:  0.69 s
256.96/64.46	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
256.96/64.47	c vivif2 --  cl tried    43019 cl shrink        0 lits rem          0 time: 0.01
257.36/64.50	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.03
257.36/64.50	c calculated reachability. Time: 0.00
257.36/64.50	c  N st    57    537437       632      2730         0     43019      8265    712817   no data   no data
372.29/93.31	c  N st    58    701422       632      2730         0     37031      8265    438346   no data   no data
451.71/113.27	c  N st    59    806156       632      2730         0     66199      8265   1185539   no data   no data
451.71/113.27	c  S st    59    806156       632      2730         0     66199      8265   1185539   no data   no data
452.54/113.47	c  S st    59    806660       632      2730         0     66703      8265   1199189   no data   no data
452.54/113.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
452.90/113.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
452.90/113.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
452.90/113.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
452.90/113.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
452.90/113.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
452.90/113.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
452.90/113.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
452.90/113.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
463.28/116.11	c lits-rem:       449  cl-subs:     3441  v-elim:      0  v-fix:    0  time:  2.55 s
463.28/116.11	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
463.28/116.13	c vivif2 --  cl tried    63262 cl shrink        0 lits rem          0 time: 0.02
463.28/116.19	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.06
463.28/116.19	c calculated reachability. Time: 0.00
463.28/116.19	c  N st    59    806660       632      2730         0     63262      8265   1118400   no data   no data
683.58/171.32	c  F st    60   1071875       632      2730         0     78982      8265   1456986   no data   no data
683.58/171.32	c  N st    60   1071875       632      2730         0     78982      8265   1456986   no data   no data
688.76/172.66	c Decided on static restart strategy
708.71/177.65	c  N st    70   1100179       632      2730         0     62749      8265    955312   no data   no data
743.03/186.24	c  N st    72   1136175       632      2730         0     53140      8265    708917   no data   no data
774.56/194.19	c  N st    73   1168568       632      2730         0     84930      8265   1645998   no data   no data
812.87/203.72	c  N st    74   1209990       632      2730         0     79589      8265   1480078   no data   no data
812.87/203.72	c  S st    74   1209990       632      2730         0     79589      8265   1480078   no data   no data
813.67/203.98	c  S st    74   1210492       632      2730         0     80088      8265   1494298   no data   no data
813.67/203.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
814.07/204.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
814.07/204.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
814.07/204.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
814.07/204.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
814.07/204.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
814.07/204.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
814.07/204.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
814.07/204.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
835.62/209.49	c lits-rem:       491  cl-subs:     2609  v-elim:      0  v-fix:    0  time:  5.40 s
835.62/209.49	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
836.02/209.51	c vivif2 --  cl tried    77479 cl shrink        0 lits rem          0 time: 0.02
836.42/209.61	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.10
836.42/209.62	c calculated reachability. Time: 0.00
836.42/209.62	c  N st    74   1210492       632      2730         0     77479      8265   1413091   no data   no data
914.23/229.15	c  N st    75   1283374       632      2730         0     53887      8265    672634   no data   no data
1029.95/258.17	c  N st    76   1392698       632      2730         0     61827      8265    843012   no data   no data
1215.12/304.53	c  N st    77   1556682       632      2730         0     66738      8265    956314   no data   no data
1379.93/345.85	c  N st    78   1710492       632      2730         0    108787      8265   2170246   no data   no data
1379.93/345.85	c  S st    78   1710492       632      2730         0    108787      8265   2170246   no data   no data
1381.54/346.20	c  S st    78   1710995       632      2730         0    109289      8265   2183632   no data   no data
1381.54/346.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1381.54/346.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1381.54/346.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1381.54/346.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1381.54/346.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1381.54/346.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
1381.54/346.26	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1381.54/346.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1381.94/346.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1430.21/358.44	c lits-rem:      1136  cl-subs:     5857  v-elim:      0  v-fix:    0  time: 12.08 s
1430.21/358.44	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
1430.21/358.47	c vivif2 --  cl tried   103432 cl shrink        0 lits rem          0 time: 0.03
1430.61/358.58	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.11
1430.61/358.58	c calculated reachability. Time: 0.00
1430.61/358.58	c  N st    78   1710995       632      2730         0    103432      8265   2015058   no data   no data
1869.57/468.55	c  N st    79   2079960       632      2730         0    115161      8265   2136397   no data   no data
2029.98/508.79	c  N st    80   2210995       632      2730         0    118916      8265   2173043   no data   no data
2029.98/508.79	c  S st    80   2210995       632      2730         0    118916      8265   2173043   no data   no data
2031.58/509.16	c  S st    80   2211498       632      2730         0    119419      8265   2186266   no data   no data
2031.58/509.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2031.98/509.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2031.98/509.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2031.98/509.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2031.98/509.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2031.98/509.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
2031.98/509.23	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2031.98/509.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2032.41/509.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2085.85/522.71	c lits-rem:      1244  cl-subs:     7392  v-elim:      0  v-fix:    0  time: 13.38 s
2085.85/522.71	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
2085.85/522.74	c vivif2 --  cl tried   112027 cl shrink        0 lits rem          0 time: 0.03
2086.25/522.86	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.13
2086.25/522.87	c calculated reachability. Time: 0.00
2086.25/522.87	c  N st    80   2211498       632      2730         0    112027      8265   2002501   no data   no data
2777.45/696.05	c  N st    81   2711498       632      2730         0    134950      8265   2528370   no data   no data
2777.45/696.05	c  S st    81   2711498       632      2730         0    134950      8265   2528370   no data   no data
2779.44/696.50	c  S st    81   2711998       632      2730         0    135450      8265   2542602   no data   no data
2779.44/696.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2779.44/696.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2779.44/696.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2779.44/696.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2779.44/696.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2779.44/696.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
2779.44/696.59	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2779.84/696.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2780.24/696.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2888.38/723.86	c lits-rem:       862  cl-subs:    12663  v-elim:      0  v-fix:    0  time: 27.16 s
2888.38/723.86	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
2888.38/723.89	c vivif2 --  cl tried   122787 cl shrink        0 lits rem          0 time: 0.03
2889.15/724.03	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.14
2889.15/724.04	c calculated reachability. Time: 0.00
2889.15/724.04	c  N st    81   2711998       632      2730         0    122787      8265   2228573   no data   no data
3632.22/910.26	c  N st    82   3211998       632      2730         0     99027      8265   1374382   no data   no data
3632.22/910.26	c  S st    82   3211998       632      2730         0     99027      8265   1374382   no data   no data
3633.41/910.56	c  S st    82   3212503       632      2730         0     99532      8265   1387786   no data   no data
3633.41/910.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3633.81/910.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3633.81/910.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3633.81/910.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3633.81/910.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3633.81/910.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
3633.81/910.61	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3633.81/910.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3633.81/910.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3646.99/913.96	c lits-rem:       353  cl-subs:     4188  v-elim:      0  v-fix:    0  time:  3.28 s
3646.99/913.96	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
3646.99/913.98	c vivif2 --  cl tried    95344 cl shrink        0 lits rem          0 time: 0.02
3647.39/914.08	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.10
3647.39/914.08	c calculated reachability. Time: 0.00
3647.39/914.08	c  N st    82   3212503       632      2730         0     95344      8265   1280707   no data   no data
4466.66/1119.31	c  N st    83   3712504       632      2730         0    105914      8265   1450034   no data   no data
4466.66/1119.31	c  S st    83   3712504       632      2730         0    105914      8265   1450034   no data   no data
4467.86/1119.63	c  S st    83   3713006       632      2730         0    106416      8265   1463857   no data   no data
4467.86/1119.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4467.86/1119.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4467.86/1119.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4467.86/1119.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4467.86/1119.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4467.86/1119.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
4467.86/1119.69	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4468.25/1119.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4468.25/1119.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4481.43/1123.00	c lits-rem:       404  cl-subs:     3687  v-elim:      0  v-fix:    0  time:  3.25 s
4481.43/1123.00	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
4481.43/1123.03	c vivif2 --  cl tried   102729 cl shrink        0 lits rem          0 time: 0.02
4481.84/1123.14	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.11
4481.84/1123.14	c calculated reachability. Time: 0.00
4481.84/1123.14	c  N st    83   3713006       632      2730         0    102729      8265   1371148   no data   no data
4543.30/1138.52	c  F st    84   3751562       632      2730         0    140380      8265   2379316   no data   no data
4543.30/1138.52	c  N st    84   3751562       632      2730         0    140380      8265   2379316   no data   no data
4554.05/1141.27	c Decided on static restart strategy
4601.15/1153.01	c  N st    94   3779865       632      2730         0     85343      8265    870138   no data   no data
4655.82/1166.80	c  N st    96   3815858       632      2730         0    120555      8265   1834642   no data   no data
4721.26/1183.10	c  N st    97   3848251       632      2730         0    152179      8265   2674376   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-3366600-1305409993/watcher-3366600-1305409993 -o /tmp/evaluation-result-3366600-1305409993/solver-3366600-1305409993 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366600-1305409993.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.37 7.92 7.97 2/291 21203
/proc/meminfo: memFree=27775416/32951124 swapFree=63649232/67111528
[pid=21203] ppid=21201 vsize=40924 CPUtime=0 cores=0,2,4,6
/proc/21203/stat : 21203 (strangenight2-m) R 21201 21203 20874 0 -1 4202496 406 0 0 0 0 0 0 0 23 0 3 0 652597818 41906176 346 33554432000 4194304 4580107 140733218511792 18446744073709551615 210204703729 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21203/statm: 10231 346 299 95 0 5213 0
[pid=21203/tid=21204] ppid=21201 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/21203/task/21204/stat : 21204 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 652597818 52396032 347 33554432000 4194304 4580107 140733218511792 18446744073709551615 47023009118130 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21203/tid=21205] ppid=21201 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/21203/task/21205/stat : 21205 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 652597818 52396032 347 33554432000 4194304 4580107 140733218511792 18446744073709551615 47023009118134 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21203/tid=21206] ppid=21201 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/21203/task/21206/stat : 21206 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652597819 52396032 347 33554432000 4194304 4580107 140733218511792 18446744073709551615 210204703729 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.144488 s]
/proc/loadavg: 7.37 7.92 7.97 2/291 21203
/proc/meminfo: memFree=27775416/32951124 swapFree=63649232/67111528
[pid=21203] ppid=21201 vsize=282776 CPUtime=0.53 cores=0,2,4,6
/proc/21203/stat : 21203 (strangenight2-m) R 21201 21203 20874 0 -1 4202496 1992 0 0 0 53 0 0 0 18 0 4 0 652597818 289562624 1913 33554432000 4194304 4580107 140733218511792 18446744073709551615 4293907 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21203/statm: 70694 1913 377 95 0 65676 0
[pid=21203/tid=21204] ppid=21201 vsize=282776 CPUtime=0.13 cores=0,2,4,6
/proc/21203/task/21204/stat : 21204 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 466 0 0 0 13 0 0 0 18 0 4 0 652597818 289562624 1913 33554432000 4194304 4580107 140733218511792 18446744073709551615 4318432 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21203/tid=21205] ppid=21201 vsize=282776 CPUtime=0.13 cores=0,2,4,6
/proc/21203/task/21205/stat : 21205 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 420 0 0 0 13 0 0 0 18 0 4 0 652597818 289562624 1913 33554432000 4194304 4580107 140733218511792 18446744073709551615 210204752415 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21203/tid=21206] ppid=21201 vsize=282776 CPUtime=0.12 cores=0,2,4,6
/proc/21203/task/21206/stat : 21206 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 292 0 0 0 12 0 0 0 18 0 4 0 652597819 289562624 1913 33554432000 4194304 4580107 140733218511792 18446744073709551615 210204752366 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 282776

[startup+0.263999 s]
/proc/loadavg: 7.37 7.92 7.97 2/291 21203
/proc/meminfo: memFree=27775416/32951124 swapFree=63649232/67111528
[pid=21203] ppid=21201 vsize=284276 CPUtime=1.01 cores=0,2,4,6
/proc/21203/stat : 21203 (strangenight2-m) R 21201 21203 20874 0 -1 4202496 2723 0 0 0 101 0 0 0 18 0 4 0 652597818 291098624 1975 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294345 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21203/statm: 71069 1975 377 95 0 66051 0
[pid=21203/tid=21204] ppid=21201 vsize=284276 CPUtime=0.25 cores=0,2,4,6
/proc/21203/task/21204/stat : 21204 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 653 0 0 0 25 0 0 0 18 0 4 0 652597818 291098624 1975 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21203/tid=21205] ppid=21201 vsize=284276 CPUtime=0.25 cores=0,2,4,6
/proc/21203/task/21205/stat : 21205 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 595 0 0 0 25 0 0 0 18 0 4 0 652597818 291098624 1975 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21203/tid=21206] ppid=21201 vsize=284276 CPUtime=0.24 cores=0,2,4,6
/proc/21203/task/21206/stat : 21206 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 483 0 0 0 24 0 0 0 18 0 4 0 652597819 291098624 1975 33554432000 4194304 4580107 140733218511792 18446744073709551615 4306048 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 284276

[startup+0.300993 s]
/proc/loadavg: 7.37 7.92 7.97 2/291 21203
/proc/meminfo: memFree=27775416/32951124 swapFree=63649232/67111528
[pid=21203] ppid=21201 vsize=284432 CPUtime=1.16 cores=0,2,4,6
/proc/21203/stat : 21203 (strangenight2-m) R 21201 21203 20874 0 -1 4202496 2906 0 0 0 116 0 0 0 18 0 4 0 652597818 291258368 2158 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294517 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21203/statm: 71108 2158 377 95 0 66090 0
[pid=21203/tid=21204] ppid=21201 vsize=284432 CPUtime=0.29 cores=0,2,4,6
/proc/21203/task/21204/stat : 21204 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 710 0 0 0 29 0 0 0 18 0 4 0 652597818 291258368 2158 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21203/tid=21205] ppid=21201 vsize=284432 CPUtime=0.29 cores=0,2,4,6
/proc/21203/task/21205/stat : 21205 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 626 0 0 0 29 0 0 0 18 0 4 0 652597818 291258368 2158 33554432000 4194304 4580107 140733218511792 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21203/tid=21206] ppid=21201 vsize=284432 CPUtime=0.28 cores=0,2,4,6
/proc/21203/task/21206/stat : 21206 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 544 0 0 0 28 0 0 0 18 0 4 0 652597819 291258368 2158 33554432000 4194304 4580107 140733218511792 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 284432

[startup+0.700927 s]
/proc/loadavg: 7.37 7.92 7.97 2/291 21203
/proc/meminfo: memFree=27775416/32951124 swapFree=63649232/67111528
[pid=21203] ppid=21201 vsize=285468 CPUtime=2.76 cores=0,2,4,6
/proc/21203/stat : 21203 (strangenight2-m) R 21201 21203 20874 0 -1 4202496 4609 0 0 0 276 0 0 0 18 0 4 0 652597818 292319232 2838 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21203/statm: 71367 2839 377 95 0 66349 0
[pid=21203/tid=21204] ppid=21201 vsize=285468 CPUtime=0.69 cores=0,2,4,6
/proc/21203/task/21204/stat : 21204 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 1117 0 0 0 69 0 0 0 18 0 4 0 652597818 292319232 2839 33554432000 4194304 4580107 140733218511792 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21203/tid=21205] ppid=21201 vsize=285468 CPUtime=0.69 cores=0,2,4,6
/proc/21203/task/21205/stat : 21205 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 1089 0 0 0 69 0 0 0 18 0 4 0 652597818 292319232 2839 33554432000 4194304 4580107 140733218511792 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21203/tid=21206] ppid=21201 vsize=285468 CPUtime=0.68 cores=0,2,4,6
/proc/21203/task/21206/stat : 21206 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 979 0 0 0 68 0 0 0 18 0 4 0 652597819 292319232 2839 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 285468

[startup+1.5008 s]
/proc/loadavg: 7.37 7.92 7.97 9/302 21215
/proc/meminfo: memFree=27749660/32951124 swapFree=63649232/67111528
[pid=21203] ppid=21201 vsize=287144 CPUtime=5.95 cores=0,2,4,6
/proc/21203/stat : 21203 (strangenight2-m) R 21201 21203 20874 0 -1 4202496 8684 0 0 0 594 1 0 0 20 0 4 0 652597818 294035456 4087 33554432000 4194304 4580107 140733218511792 18446744073709551615 4401342 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21203/statm: 71786 4092 379 95 0 66768 0
[pid=21203/tid=21204] ppid=21201 vsize=287144 CPUtime=1.48 cores=0,2,4,6
/proc/21203/task/21204/stat : 21204 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 2001 0 0 0 148 0 0 0 19 0 4 0 652597818 294035456 4097 33554432000 4194304 4580107 140733218511792 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21203/tid=21205] ppid=21201 vsize=287144 CPUtime=1.49 cores=0,2,4,6
/proc/21203/task/21205/stat : 21205 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 1949 0 0 0 149 0 0 0 20 0 4 0 652597818 294035456 4103 33554432000 4194304 4580107 140733218511792 18446744073709551615 4320741 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21203/tid=21206] ppid=21201 vsize=287144 CPUtime=1.47 cores=0,2,4,6
/proc/21203/task/21206/stat : 21206 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 1812 0 0 0 147 0 0 0 20 0 4 0 652597819 294035456 4111 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294487 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 287144

[startup+3.10053 s]
/proc/loadavg: 7.37 7.92 7.97 9/302 21215
/proc/meminfo: memFree=27723868/32951124 swapFree=63649232/67111528
[pid=21203] ppid=21201 vsize=292592 CPUtime=12.34 cores=0,2,4,6
/proc/21203/stat : 21203 (strangenight2-m) R 21201 21203 20874 0 -1 4202496 19322 0 0 0 1231 3 0 0 25 0 4 0 652597818 299614208 10447 33554432000 4194304 4580107 140733218511792 18446744073709551615 4293198 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21203/statm: 73148 10447 379 95 0 68130 0
[pid=21203/tid=21204] ppid=21201 vsize=292592 CPUtime=3.09 cores=0,2,4,6
/proc/21203/task/21204/stat : 21204 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 4415 0 0 0 308 1 0 0 25 0 4 0 652597818 299614208 10447 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21203/tid=21205] ppid=21201 vsize=292592 CPUtime=3.08 cores=0,2,4,6
/proc/21203/task/21205/stat : 21205 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 5153 0 0 0 308 0 0 0 25 0 4 0 652597818 299614208 10447 33554432000 4194304 4580107 140733218511792 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21203/tid=21206] ppid=21201 vsize=292592 CPUtime=3.05 cores=0,2,4,6
/proc/21203/task/21206/stat : 21206 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 4615 0 0 0 305 0 0 0 25 0 4 0 652597819 299614208 10447 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 292592

[startup+6.301 s]
/proc/loadavg: 7.42 7.92 7.97 10/302 21215
/proc/meminfo: memFree=27668888/32951124 swapFree=63649232/67111528
[pid=21203] ppid=21201 vsize=301800 CPUtime=25.11 cores=0,2,4,6
/proc/21203/stat : 21203 (strangenight2-m) R 21201 21203 20874 0 -1 4202496 29509 0 0 0 2507 4 0 0 25 0 4 0 652597818 309043200 13094 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294974 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21203/statm: 75450 13094 379 95 0 70432 0
[pid=21203/tid=21204] ppid=21201 vsize=301800 CPUtime=6.28 cores=0,2,4,6
/proc/21203/task/21204/stat : 21204 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 8156 0 0 0 627 1 0 0 25 0 4 0 652597818 309043200 13094 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294410 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21203/tid=21205] ppid=21201 vsize=301800 CPUtime=6.28 cores=0,2,4,6
/proc/21203/task/21205/stat : 21205 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 7136 0 0 0 628 0 0 0 25 0 4 0 652597818 309043200 13094 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21203/tid=21206] ppid=21201 vsize=301800 CPUtime=6.23 cores=0,2,4,6
/proc/21203/task/21206/stat : 21206 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 6572 0 0 0 622 1 0 0 25 0 4 0 652597819 309043200 13094 33554432000 4194304 4580107 140733218511792 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 301800

[startup+12.7009 s]
/proc/loadavg: 7.46 7.92 7.97 9/302 21215
/proc/meminfo: memFree=27594820/32951124 swapFree=63649232/67111528
[pid=21203] ppid=21201 vsize=308200 CPUtime=50.64 cores=0,2,4,6
/proc/21203/stat : 21203 (strangenight2-m) R 21201 21203 20874 0 -1 4202496 50457 0 0 0 5056 8 0 0 25 0 4 0 652597818 315596800 22068 33554432000 4194304 4580107 140733218511792 18446744073709551615 4416496 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21203/statm: 77050 22068 379 95 0 72032 0
[pid=21203/tid=21204] ppid=21201 vsize=308200 CPUtime=12.69 cores=0,2,4,6
/proc/21203/task/21204/stat : 21204 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 12779 0 0 0 1266 3 0 0 25 0 4 0 652597818 315596800 22068 33554432000 4194304 4580107 140733218511792 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21203/tid=21205] ppid=21201 vsize=308200 CPUtime=12.68 cores=0,2,4,6
/proc/21203/task/21205/stat : 21205 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 11721 0 0 0 1267 1 0 0 25 0 4 0 652597818 315596800 22068 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21203/tid=21206] ppid=21201 vsize=308200 CPUtime=12.57 cores=0,2,4,6
/proc/21203/task/21206/stat : 21206 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 11928 0 0 0 1255 2 0 0 25 0 4 0 652597819 315596800 22068 33554432000 4194304 4580107 140733218511792 18446744073709551615 4320689 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 308200

[startup+25.5008 s]
/proc/loadavg: 7.58 7.93 7.97 10/302 21216
/proc/meminfo: memFree=27515468/32951124 swapFree=63649232/67111528
[pid=21203] ppid=21201 vsize=310332 CPUtime=101.72 cores=0,2,4,6
/proc/21203/stat : 21203 (strangenight2-m) R 21201 21203 20874 0 -1 4202496 76901 0 0 0 10158 14 0 0 25 0 4 0 652597818 317779968 28939 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21203/statm: 77583 28939 379 95 0 72565 0
[pid=21203/tid=21204] ppid=21201 vsize=310332 CPUtime=25.49 cores=0,2,4,6
/proc/21203/task/21204/stat : 21204 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 20173 0 0 0 2545 4 0 0 25 0 4 0 652597818 317779968 28939 33554432000 4194304 4580107 140733218511792 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21203/tid=21205] ppid=21201 vsize=310332 CPUtime=25.48 cores=0,2,4,6
/proc/21203/task/21205/stat : 21205 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 18767 0 0 0 2545 3 0 0 25 0 4 0 652597818 317779968 28939 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21203/tid=21206] ppid=21201 vsize=310332 CPUtime=25.25 cores=0,2,4,6
/proc/21203/task/21206/stat : 21206 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 17029 0 0 0 2522 3 0 0 25 0 4 0 652597819 317779968 28939 33554432000 4194304 4580107 140733218511792 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 310332

[startup+51.1006 s]
/proc/loadavg: 7.72 7.93 7.97 10/302 21216
/proc/meminfo: memFree=27460248/32951124 swapFree=63649232/67111528
[pid=21203] ppid=21201 vsize=333668 CPUtime=203.88 cores=0,2,4,6
/proc/21203/stat : 21203 (strangenight2-m) R 21201 21203 20874 0 -1 4202496 112209 0 0 0 20365 23 0 0 25 0 4 0 652597818 341676032 35416 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21203/statm: 83417 35416 379 95 0 78399 0
[pid=21203/tid=21204] ppid=21201 vsize=333668 CPUtime=51.08 cores=0,2,4,6
/proc/21203/task/21204/stat : 21204 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 29430 0 0 0 5103 5 0 0 25 0 4 0 652597818 341676032 35416 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21203/tid=21205] ppid=21201 vsize=333668 CPUtime=51.07 cores=0,2,4,6
/proc/21203/task/21205/stat : 21205 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 29387 0 0 0 5101 6 0 0 25 0 4 0 652597818 341676032 35416 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21203/tid=21206] ppid=21201 vsize=333668 CPUtime=50.61 cores=0,2,4,6
/proc/21203/task/21206/stat : 21206 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 24566 0 0 0 5056 5 0 0 25 0 4 0 652597819 341676032 35416 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.88
Current children cumulated vsize (KiB) 333668

[startup+102.301 s]
/proc/loadavg: 7.88 7.94 7.97 9/302 21218
/proc/meminfo: memFree=27404044/32951124 swapFree=63649232/67111528
[pid=21203] ppid=21201 vsize=346080 CPUtime=408.23 cores=0,2,4,6
/proc/21203/stat : 21203 (strangenight2-m) R 21201 21203 20874 0 -1 4202496 169332 0 0 0 40784 39 0 0 25 0 4 0 652597818 354385920 44396 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21203/statm: 86520 44396 379 95 0 81502 0
[pid=21203/tid=21204] ppid=21201 vsize=346080 CPUtime=102.3 cores=0,2,4,6
/proc/21203/task/21204/stat : 21204 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 43516 0 0 0 10219 11 0 0 25 0 4 0 652597818 354385920 44399 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21203/tid=21205] ppid=21201 vsize=346080 CPUtime=102.27 cores=0,2,4,6
/proc/21203/task/21205/stat : 21205 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 42807 0 0 0 10217 10 0 0 25 0 4 0 652597818 354385920 44399 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21203/tid=21206] ppid=21201 vsize=346080 CPUtime=101.35 cores=0,2,4,6
/proc/21203/task/21206/stat : 21206 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 40506 0 0 0 10126 9 0 0 25 0 4 0 652597819 354385920 44399 33554432000 4194304 4580107 140733218511792 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.23
Current children cumulated vsize (KiB) 346080

[startup+162.301 s]

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

[pid=21203] ppid=21201 vsize=582876 CPUtime=2563.15 cores=0,2,4,6
/proc/21203/stat : 21203 (strangenight2-m) R 21201 21203 20874 0 -1 4202496 487176 0 0 0 256148 167 0 0 25 0 4 0 652597818 596865024 98874 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21203/statm: 145719 98874 379 95 0 140701 0
[pid=21203/tid=21204] ppid=21201 vsize=582876 CPUtime=637.52 cores=0,2,4,6
/proc/21203/task/21204/stat : 21204 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 126429 0 0 0 63709 43 0 0 25 0 4 0 652597818 596865024 98874 33554432000 4194304 4580107 140733218511792 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21203/tid=21205] ppid=21201 vsize=582876 CPUtime=642.16 cores=0,2,4,6
/proc/21203/task/21205/stat : 21205 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 115707 0 0 0 64178 38 0 0 25 0 4 0 652597818 596865024 98874 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21203/tid=21206] ppid=21201 vsize=582876 CPUtime=641.16 cores=0,2,4,6
/proc/21203/task/21206/stat : 21206 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 120549 0 0 0 64070 46 0 0 25 0 4 0 652597819 596865024 98874 33554432000 4194304 4580107 140733218511792 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2563.15
Current children cumulated vsize (KiB) 582876

[startup+702.301 s]
/proc/loadavg: 8.36 8.16 8.04 10/302 21246
/proc/meminfo: memFree=26889184/32951124 swapFree=63649232/67111528
[pid=21203] ppid=21201 vsize=635784 CPUtime=2802.58 cores=0,2,4,6
/proc/21203/stat : 21203 (strangenight2-m) R 21201 21203 20874 0 -1 4202496 516207 0 0 0 280081 177 0 0 25 0 4 0 652597818 651042816 113965 33554432000 4194304 4580107 140733218511792 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21203/statm: 158946 113965 380 95 0 153928 0
[pid=21203/tid=21204] ppid=21201 vsize=635784 CPUtime=696.97 cores=0,2,4,6
/proc/21203/task/21204/stat : 21204 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 131747 0 0 0 69652 45 0 0 25 0 4 0 652597818 651042816 113965 33554432000 4194304 4580107 140733218511792 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21203/tid=21205] ppid=21201 vsize=635784 CPUtime=702.16 cores=0,2,4,6
/proc/21203/task/21205/stat : 21205 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 119199 0 0 0 70176 40 0 0 25 0 4 0 652597818 651042816 113965 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21203/tid=21206] ppid=21201 vsize=635784 CPUtime=701.16 cores=0,2,4,6
/proc/21203/task/21206/stat : 21206 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 129547 0 0 0 70067 49 0 0 25 0 4 0 652597819 651042816 113965 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2802.58
Current children cumulated vsize (KiB) 635784

[startup+762.301 s]
/proc/loadavg: 8.17 8.15 8.04 9/302 21247
/proc/meminfo: memFree=26828876/32951124 swapFree=63649232/67111528
[pid=21203] ppid=21201 vsize=724752 CPUtime=3042.03 cores=0,2,4,6
/proc/21203/stat : 21203 (strangenight2-m) R 21201 21203 20874 0 -1 4202496 533464 0 0 0 304019 184 0 0 25 0 4 0 652597818 742146048 126296 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21203/statm: 181188 126296 379 95 0 176170 0
[pid=21203/tid=21204] ppid=21201 vsize=724752 CPUtime=756.41 cores=0,2,4,6
/proc/21203/task/21204/stat : 21204 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 137778 0 0 0 75594 47 0 0 25 0 4 0 652597818 742146048 126298 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21203/tid=21205] ppid=21201 vsize=724752 CPUtime=762.14 cores=0,2,4,6
/proc/21203/task/21205/stat : 21205 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 122418 0 0 0 76173 41 0 0 25 0 4 0 652597818 742146048 126298 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21203/tid=21206] ppid=21201 vsize=724752 CPUtime=761.17 cores=0,2,4,6
/proc/21203/task/21206/stat : 21206 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 136894 0 0 0 76065 52 0 0 25 0 4 0 652597819 742146048 126298 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3042.03
Current children cumulated vsize (KiB) 724752

[startup+822.301 s]
/proc/loadavg: 8.10 8.13 8.04 10/302 21249
/proc/meminfo: memFree=26844448/32951124 swapFree=63649232/67111528
[pid=21203] ppid=21201 vsize=713236 CPUtime=3281.46 cores=0,2,4,6
/proc/21203/stat : 21203 (strangenight2-m) R 21201 21203 20874 0 -1 4202496 557714 0 0 0 327951 195 0 0 25 0 4 0 652597818 730353664 121166 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21203/statm: 178309 121166 379 95 0 173291 0
[pid=21203/tid=21204] ppid=21201 vsize=713236 CPUtime=815.85 cores=0,2,4,6
/proc/21203/task/21204/stat : 21204 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 145061 0 0 0 81535 50 0 0 25 0 4 0 652597818 730353664 121166 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21203/tid=21205] ppid=21201 vsize=713236 CPUtime=822.13 cores=0,2,4,6
/proc/21203/task/21205/stat : 21205 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 128933 0 0 0 82169 44 0 0 25 0 4 0 652597818 730353664 121166 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21203/tid=21206] ppid=21201 vsize=713236 CPUtime=821.16 cores=0,2,4,6
/proc/21203/task/21206/stat : 21206 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 142032 0 0 0 82062 54 0 0 25 0 4 0 652597819 730353664 121166 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3281.46
Current children cumulated vsize (KiB) 713236

[startup+882.311 s]
/proc/loadavg: 8.07 8.12 8.04 9/302 21251
/proc/meminfo: memFree=26728076/32951124 swapFree=63649232/67111528
[pid=21203] ppid=21201 vsize=694744 CPUtime=3520.92 cores=0,2,4,6
/proc/21203/stat : 21203 (strangenight2-m) R 21201 21203 20874 0 -1 4202496 577346 0 0 0 351889 203 0 0 25 0 4 0 652597818 711417856 133010 33554432000 4194304 4580107 140733218511792 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21203/statm: 173686 133010 379 95 0 168668 0
[pid=21203/tid=21204] ppid=21201 vsize=694744 CPUtime=875.29 cores=0,2,4,6
/proc/21203/task/21204/stat : 21204 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 150346 0 0 0 87477 52 0 0 25 0 4 0 652597818 711417856 133010 33554432000 4194304 4580107 140733218511792 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21203/tid=21205] ppid=21201 vsize=694744 CPUtime=882.12 cores=0,2,4,6
/proc/21203/task/21205/stat : 21205 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 134910 0 0 0 88167 45 0 0 25 0 4 0 652597818 711417856 133010 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21203/tid=21206] ppid=21201 vsize=694744 CPUtime=881.17 cores=0,2,4,6
/proc/21203/task/21206/stat : 21206 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 146099 0 0 0 88060 57 0 0 25 0 4 0 652597819 711417856 133010 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3520.92
Current children cumulated vsize (KiB) 694744

[startup+942.301 s]
/proc/loadavg: 8.02 8.10 8.04 10/302 21252
/proc/meminfo: memFree=26738808/32951124 swapFree=63649232/67111528
[pid=21203] ppid=21201 vsize=689456 CPUtime=3760.32 cores=0,2,4,6
/proc/21203/stat : 21203 (strangenight2-m) R 21201 21203 20874 0 -1 4202496 599401 0 0 0 375820 212 0 0 25 0 4 0 652597818 706002944 129622 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21203/statm: 172364 129622 379 95 0 167346 0
[pid=21203/tid=21204] ppid=21201 vsize=689456 CPUtime=934.74 cores=0,2,4,6
/proc/21203/task/21204/stat : 21204 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 158036 0 0 0 93419 55 0 0 25 0 4 0 652597818 706002944 129622 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21203/tid=21205] ppid=21201 vsize=689456 CPUtime=942.1 cores=0,2,4,6
/proc/21203/task/21205/stat : 21205 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 141217 0 0 0 94162 48 0 0 25 0 4 0 652597818 706002944 129622 33554432000 4194304 4580107 140733218511792 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21203/tid=21206] ppid=21201 vsize=689456 CPUtime=941.17 cores=0,2,4,6
/proc/21203/task/21206/stat : 21206 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 152435 0 0 0 94057 60 0 0 25 0 4 0 652597819 706002944 129622 33554432000 4194304 4580107 140733218511792 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3760.32
Current children cumulated vsize (KiB) 689456

[startup+1002.3 s]
/proc/loadavg: 8.04 8.09 8.04 9/302 21254
/proc/meminfo: memFree=26677008/32951124 swapFree=63649232/67111528
[pid=21203] ppid=21201 vsize=820464 CPUtime=3999.75 cores=0,2,4,6
/proc/21203/stat : 21203 (strangenight2-m) R 21201 21203 20874 0 -1 4202496 620505 0 0 0 399755 220 0 0 25 0 4 0 652597818 840155136 139223 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21203/statm: 205116 139223 379 95 0 200098 0
[pid=21203/tid=21204] ppid=21201 vsize=820464 CPUtime=994.18 cores=0,2,4,6
/proc/21203/task/21204/stat : 21204 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 165577 0 0 0 99361 57 0 0 25 0 4 0 652597818 840155136 139223 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21203/tid=21205] ppid=21201 vsize=820464 CPUtime=1002.1 cores=0,2,4,6
/proc/21203/task/21205/stat : 21205 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 142820 0 0 0 100161 49 0 0 25 0 4 0 652597818 840155136 139223 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21203/tid=21206] ppid=21201 vsize=820464 CPUtime=1001.16 cores=0,2,4,6
/proc/21203/task/21206/stat : 21206 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 158019 0 0 0 100054 62 0 0 25 0 4 0 652597819 840155136 139223 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3999.75
Current children cumulated vsize (KiB) 820464

[startup+1062.3 s]
/proc/loadavg: 8.01 8.07 8.03 9/302 21255
/proc/meminfo: memFree=26685900/32951124 swapFree=63649232/67111528
[pid=21203] ppid=21201 vsize=782480 CPUtime=4239.21 cores=0,2,4,6
/proc/21203/stat : 21203 (strangenight2-m) R 21201 21203 20874 0 -1 4202496 636818 0 0 0 423693 228 0 0 25 0 4 0 652597818 801259520 137332 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21203/statm: 195620 137332 379 95 0 190602 0
[pid=21203/tid=21204] ppid=21201 vsize=782480 CPUtime=1053.65 cores=0,2,4,6
/proc/21203/task/21204/stat : 21204 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 169903 0 0 0 105306 59 0 0 25 0 4 0 652597818 801259520 137332 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21203/tid=21205] ppid=21201 vsize=782480 CPUtime=1062.08 cores=0,2,4,6
/proc/21203/task/21205/stat : 21205 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 143524 0 0 0 106159 49 0 0 25 0 4 0 652597818 801259520 137332 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21203/tid=21206] ppid=21201 vsize=782480 CPUtime=1061.16 cores=0,2,4,6
/proc/21203/task/21206/stat : 21206 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 164531 0 0 0 106051 65 0 0 25 0 4 0 652597819 801259520 137332 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4239.21
Current children cumulated vsize (KiB) 782480

[startup+1122.3 s]
/proc/loadavg: 8.23 8.12 8.04 9/302 21257
/proc/meminfo: memFree=26629796/32951124 swapFree=63649232/67111528
[pid=21203] ppid=21201 vsize=847788 CPUtime=4478.63 cores=0,2,4,6
/proc/21203/stat : 21203 (strangenight2-m) R 21201 21203 20874 0 -1 4202496 656957 0 0 0 447625 238 0 0 25 0 4 0 652597818 868134912 148651 33554432000 4194304 4580107 140733218511792 18446744073709551615 4406350 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21203/statm: 211947 148651 379 95 0 206929 0
[pid=21203/tid=21204] ppid=21201 vsize=847788 CPUtime=1113.08 cores=0,2,4,6
/proc/21203/task/21204/stat : 21204 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 176149 0 0 0 111246 62 0 0 25 0 4 0 652597818 868134912 148651 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21203/tid=21205] ppid=21201 vsize=847788 CPUtime=1122.07 cores=0,2,4,6
/proc/21203/task/21205/stat : 21205 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 147550 0 0 0 112155 52 0 0 25 0 4 0 652597818 868134912 148651 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21203/tid=21206] ppid=21201 vsize=847788 CPUtime=1121.17 cores=0,2,4,6
/proc/21203/task/21206/stat : 21206 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 168540 0 0 0 112050 67 0 0 25 0 4 0 652597819 868134912 148651 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4478.63
Current children cumulated vsize (KiB) 847788

[startup+1182.3 s]
/proc/loadavg: 8.19 8.12 8.05 9/302 21259
/proc/meminfo: memFree=26633980/32951124 swapFree=63649232/67111528
[pid=21203] ppid=21201 vsize=796540 CPUtime=4718.08 cores=0,2,4,6
/proc/21203/stat : 21203 (strangenight2-m) R 21201 21203 20874 0 -1 4202496 677075 0 0 0 471561 247 0 0 25 0 4 0 652597818 815656960 143361 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21203/statm: 199135 143361 379 95 0 194117 0
[pid=21203/tid=21204] ppid=21201 vsize=796540 CPUtime=1172.54 cores=0,2,4,6
/proc/21203/task/21204/stat : 21204 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 181682 0 0 0 117189 65 0 0 25 0 4 0 652597818 815656960 143361 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21203/tid=21205] ppid=21201 vsize=796540 CPUtime=1182.06 cores=0,2,4,6
/proc/21203/task/21205/stat : 21205 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 153906 0 0 0 118151 55 0 0 25 0 4 0 652597818 815656960 143361 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21203/tid=21206] ppid=21201 vsize=796540 CPUtime=1181.17 cores=0,2,4,6
/proc/21203/task/21206/stat : 21206 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 171878 0 0 0 118048 69 0 0 25 0 4 0 652597819 815656960 143361 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4718.08
Current children cumulated vsize (KiB) 796540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.9 s]
/proc/loadavg: 8.20 8.13 8.05 9/302 21259
/proc/meminfo: memFree=26604580/32951124 swapFree=63649232/67111528
[pid=21203] ppid=21201 vsize=809708 CPUtime=4800.31 cores=0,2,4,6
/proc/21203/stat : 21203 (strangenight2-m) R 21201 21203 20874 0 -1 4202496 684190 0 0 0 479780 251 0 0 25 0 4 0 652597818 829140992 142579 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21203/statm: 202427 142579 379 95 0 197409 0
[pid=21203/tid=21204] ppid=21201 vsize=809708 CPUtime=1192.94 cores=0,2,4,6
/proc/21203/task/21204/stat : 21204 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 184452 0 0 0 119228 66 0 0 25 0 4 0 652597818 829140992 142580 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21203/tid=21205] ppid=21201 vsize=809708 CPUtime=1202.67 cores=0,2,4,6
/proc/21203/task/21205/stat : 21205 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 156417 0 0 0 120212 55 0 0 25 0 4 0 652597818 829140992 142580 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21203/tid=21206] ppid=21201 vsize=809708 CPUtime=1201.78 cores=0,2,4,6
/proc/21203/task/21206/stat : 21206 (strangenight2-m) R 21201 21203 20874 0 -1 4202560 173172 0 0 0 120108 70 0 0 25 0 4 0 652597819 829140992 142580 33554432000 4194304 4580107 140733218511792 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 809708

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.95
CPU time (s): 4800.38
CPU user time (s): 4797.84
CPU system time (s): 2.54061
CPU usage (%): 399.052
Max. virtual memory (cumulated for all children) (KiB): 900812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.84
system time used= 2.54061
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 684193
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= 551
involuntary context switches= 22193

runsolver used 3.09653 second user time and 7.99578 second system time

The end

Launcher Data 

Begin job on node130 at 2011-05-14 23:53:13
IDJOB=3366600
IDBENCH=83009
IDSOLVER=1844
FILE ID=node130/3366600-1305409993
RUNJOBID= node130-1305409993-21188
PBS_JOBID= 13324512
Free space on /tmp= 73428 MiB

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

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

MD5SUM BENCH= ac87980bdfffc015f316143175a762b6
RANDOM SEED=513750635

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:      27777044 kB
Buffers:        259540 kB
Cached:        3590776 kB
SwapCached:      10248 kB
Active:        1140968 kB
Inactive:      3762944 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27777044 kB
SwapTotal:    67111528 kB
SwapFree:     63649232 kB
Dirty:            7396 kB
Writeback:           0 kB
AnonPages:     1050896 kB
Mapped:          12884 kB
Slab:           183288 kB
PageTables:      25336 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 51457428 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:13:18