Trace number 3366460

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.2 1202.85

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S34055288-072.SATISFIABLE.cnf
MD5SUM10f0c0c20b1ddb1f4561bcd231d72d23
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.043992
Satisfiable
(Un)Satisfiability was proved
Number of variables125
Number of clauses2662
Sum of the clauses size13310
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52662
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3366460-1305404648.cnf'
0.00/0.00	c -- header says num vars:            125
0.00/0.00	c -- header says num clauses:        2662
0.00/0.00	c -- clauses added:            0 learnts,         2662 normals,            0 xors
0.00/0.00	c -- vars added        125
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       125      2662         0         0     13310         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.01
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:    125 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.02	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.02	c Calc default polars -  time:   0.00 s pos:      58 undec:       5 neg:      62
0.00/0.02	c =========================================================================================
0.00/0.02	c types(t): F = full restart, N = normal restart
0.00/0.02	c types(t): S = simplification begin/end, E = solution found
0.00/0.02	c restart types(rt): st = static, dy = dynamic
0.00/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.02	c  B st     0         0       125      2662         0         0     13310         0   no data   no data
0.15/0.06	c Decided on static restart strategy
0.37/0.13	c  N st     8      4915       125      2662         0      4676     13310    122132   no data   no data
1.17/0.32	c  N st    10     11299       125      2662         0      4315     13310     86803   no data   no data
1.97/0.53	c  N st    11     17042       125      2662         0      9725     13310    232836   no data   no data
3.16/0.84	c  F st    12     25001       125      2662         0     11937     13310    287864   no data   no data
3.16/0.84	c  N st    12     25001       125      2662         0     11937     13310    287864   no data   no data
3.98/1.06	c Decided on static restart strategy
3.98/1.06	c  N st    18     30002       125      2662         0     10214     13310    226933   no data   no data
3.98/1.06	c  S st    18     30002       125      2662         0     10214     13310    226933   no data   no data
3.98/1.09	c  S st    18     30505       125      2662         0     10703     13310    239636   no data   no data
3.98/1.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.98/1.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
3.98/1.09	c blocked clauses removed:        0 vars:      0 tried:         125 T: 0.00 s
3.98/1.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.98/1.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.98/1.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3.98/1.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.98/1.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.98/1.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.76/1.28	c lits-rem:       170  cl-subs:     1375  v-elim:      0  v-fix:    0  time:  0.17 s
5.16/1.31	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.04
5.16/1.31	c calculated reachability. Time: 0.00
5.16/1.31	c  N st    18     30505       125      2662         0      9328     13310    201158   no data   no data
6.36/1.63	c  N st    20     37618       125      2662         0      8625     13310    167481   no data   no data
7.55/1.92	c  N st    21     44017       125      2662         0     14678     13310    333662   no data   no data
7.95/2.02	c  S st    22     45757       125      2662         0     16303     13310    376906   no data   no data
7.95/2.06	c  S st    22     46261       125      2662         0     16790     13310    389918   no data   no data
7.95/2.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.95/2.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
7.95/2.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.95/2.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.95/2.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.95/2.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
7.95/2.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.95/2.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.95/2.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.94/2.50	c lits-rem:       315  cl-subs:     1640  v-elim:      0  v-fix:    0  time:  0.42 s
9.94/2.50	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
9.94/2.50	c vivif2 --  cl tried    15150 cl shrink        0 lits rem          0 time: 0.00
9.94/2.56	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
9.94/2.56	c calculated reachability. Time: 0.00
9.94/2.56	c  N st    22     46261       125      2662         0     15150     13310    341620   no data   no data
13.18/3.37	c  N st    23     60658       125      2662         0     10981     13310    200484   no data   no data
15.54/3.91	c  N st    24     69392       125      2662         0     19135     13310    410247   no data   no data
15.54/3.91	c  S st    24     69392       125      2662         0     19135     13310    410247   no data   no data
15.54/3.96	c  S st    24     69892       125      2662         0     19624     13310    422613   no data   no data
15.54/3.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.54/3.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
15.54/3.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.54/3.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.54/3.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.54/3.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
15.54/3.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.54/3.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.54/3.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.33/4.61	c lits-rem:       452  cl-subs:     2234  v-elim:      0  v-fix:    0  time:  0.63 s
18.33/4.61	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
18.33/4.62	c vivif2 --  cl tried    17390 cl shrink        0 lits rem          0 time: 0.00
18.33/4.69	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.07
18.33/4.69	c calculated reachability. Time: 0.00
18.33/4.69	c  N st    24     69892       125      2662         0     17390     13310    362215   no data   no data
23.12/5.87	c  F st    25     87501       125      2662         0     12428     13310    214854   no data   no data
23.12/5.87	c  N st    25     87501       125      2662         0     12428     13310    214854   no data   no data
24.32/6.14	c Decided on static restart strategy
25.12/6.31	c  N st    32     95540       125      2662         0     20021     13310    413910   no data   no data
27.50/6.96	c  N st    34    104841       125      2662         0     16554     13310    311755   no data   no data
27.50/6.96	c  S st    34    104841       125      2662         0     16554     13310    311755   no data   no data
27.90/7.01	c  S st    34    105346       125      2662         0     17050     13310    324210   no data   no data
27.90/7.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.90/7.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
27.90/7.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.90/7.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.90/7.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.90/7.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
27.90/7.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.90/7.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
27.90/7.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.71/7.25	c lits-rem:       202  cl-subs:     1165  v-elim:      0  v-fix:    0  time:  0.22 s
28.71/7.25	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
28.71/7.25	c vivif2 --  cl tried    15885 cl shrink        0 lits rem          0 time: 0.00
29.11/7.32	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
29.11/7.32	c calculated reachability. Time: 0.00
29.11/7.32	c  N st    34    105346       125      2662         0     15885     13310    294477   no data   no data
31.89/8.06	c  N st    35    114945       125      2662         0     24905     13310    529277   no data   no data
35.89/9.06	c  N st    36    129343       125      2662         0     25269     13310    525414   no data   no data
41.87/10.51	c  N st    37    150938       125      2662         0     16525     13310    263688   no data   no data
43.49/10.96	c  S st    38    158019       125      2662         0     23185     13310    440543   no data   no data
43.91/11.02	c  S st    38    158521       125      2662         0     23675     13310    453112   no data   no data
43.91/11.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.91/11.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
43.91/11.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.91/11.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.91/11.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.91/11.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
43.91/11.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.91/11.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
43.91/11.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.86/11.54	c lits-rem:       460  cl-subs:     1617  v-elim:      0  v-fix:    0  time:  0.49 s
45.86/11.54	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
45.86/11.55	c vivif2 --  cl tried    22058 cl shrink        0 lits rem          0 time: 0.01
46.26/11.63	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.09
46.26/11.63	c calculated reachability. Time: 0.00
46.26/11.63	c  N st    38    158521       125      2662         0     22058     13310    409688   no data   no data
63.03/15.87	c  N st    39    207109       125      2662         0     34739     13310    707146   no data   no data
74.23/18.68	c  N st    40    237781       125      2662         0     26914     13310    485976   no data   no data
74.23/18.68	c  S st    40    237781       125      2662         0     26914     13310    485976   no data   no data
74.64/18.76	c  S st    40    238281       125      2662         0     27403     13310    498903   no data   no data
74.64/18.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
74.64/18.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
74.64/18.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
74.64/18.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
74.64/18.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
74.64/18.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
74.64/18.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
74.64/18.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
74.64/18.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.80/19.50	c lits-rem:       433  cl-subs:     2121  v-elim:      0  v-fix:    0  time:  0.72 s
77.80/19.50	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
77.80/19.51	c vivif2 --  cl tried    25282 cl shrink        0 lits rem          0 time: 0.00
78.20/19.61	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.10
78.20/19.61	c calculated reachability. Time: 0.00
78.20/19.61	c  N st    40    238281       125      2662         0     25282     13310    446255   no data   no data
102.54/25.72	c  F st    41    306255       125      2662         0     27179     13310    450749   no data   no data
102.54/25.72	c  N st    41    306255       125      2662         0     27179     13310    450749   no data   no data
104.53/26.22	c Decided on static restart strategy
113.73/28.54	c  N st    51    334563       125      2662         0     31309     13310    540297   no data   no data
122.93/30.88	c  N st    53    357422       125      2662         0     29316     13310    467151   no data   no data
122.93/30.88	c  S st    53    357422       125      2662         0     29316     13310    467151   no data   no data
123.29/30.96	c  S st    53    357925       125      2662         0     29803     13310    480030   no data   no data
123.29/30.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
123.29/30.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
123.29/30.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
123.29/30.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
123.29/30.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
123.29/30.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
123.29/30.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
123.29/30.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
123.29/30.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
125.29/31.40	c lits-rem:       393  cl-subs:     1318  v-elim:      0  v-fix:    0  time:  0.42 s
125.29/31.40	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
125.29/31.40	c vivif2 --  cl tried    28485 cl shrink        0 lits rem          0 time: 0.00
125.69/31.52	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.11
125.69/31.52	c calculated reachability. Time: 0.00
125.69/31.52	c  N st    53    357925       125      2662         0     28485     13310    446717   no data   no data
138.85/34.86	c  N st    54    390317       125      2662         0     34491     13310    592926   no data   no data
162.79/40.82	c  N st    55    438906       125      2662         0     28578     13310    419133   no data   no data
195.93/49.12	c  N st    56    511788       125      2662         0     41393     13310    728841   no data   no data
208.29/52.27	c  N st    57    536887       125      2662         0     35942     13310    560359   no data   no data
208.29/52.27	c  S st    57    536887       125      2662         0     35942     13310    560359   no data   no data
208.69/52.37	c  S st    57    537389       125      2662         0     36432     13310    572769   no data   no data
208.69/52.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
208.69/52.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
208.69/52.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
208.69/52.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
208.69/52.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
208.69/52.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
208.69/52.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
208.69/52.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
209.09/52.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
211.08/52.99	c lits-rem:       583  cl-subs:     1512  v-elim:      0  v-fix:    0  time:  0.59 s
211.08/52.99	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
211.48/53.00	c vivif2 --  cl tried    34920 cl shrink        0 lits rem          0 time: 0.01
211.88/53.14	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.14
211.88/53.14	c calculated reachability. Time: 0.00
211.88/53.14	c  N st    57    537389       125      2662         0     34920     13310    534276   no data   no data
301.68/75.65	c  N st    58    701373       125      2662         0     63159     13310   1219006   no data   no data
359.15/90.08	c  N st    59    806083       125      2662         0     57123     13310   1011041   no data   no data
359.15/90.08	c  S st    59    806083       125      2662         0     57123     13310   1011041   no data   no data
359.98/90.24	c  S st    59    806585       125      2662         0     57603     13310   1023993   no data   no data
359.98/90.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
359.98/90.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
359.98/90.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
359.98/90.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
359.98/90.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
359.98/90.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
359.98/90.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
359.98/90.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
360.34/90.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
375.92/94.20	c lits-rem:      1732  cl-subs:     4705  v-elim:      0  v-fix:    0  time:  3.89 s
375.92/94.20	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
375.92/94.21	c vivif2 --  cl tried    52898 cl shrink        0 lits rem          0 time: 0.01
376.72/94.47	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.26
376.72/94.47	c calculated reachability. Time: 0.00
376.72/94.47	c  N st    59    806585       125      2662         0     52898     13310    909939   no data   no data
539.56/135.22	c  F st    60   1071875       125      2662         0     67992     13310   1230279   no data   no data
539.56/135.23	c  N st    60   1071875       125      2662         0     67992     13310   1230279   no data   no data
544.72/136.53	c Decided on static restart strategy
560.69/140.56	c  N st    70   1100179       125      2662         0     52636     13310    797416   no data   no data
594.62/149.08	c  N st    72   1136174       125      2662         0     43339     13310    536586   no data   no data
617.37/154.74	c  N st    73   1168567       125      2662         0     73830     13310   1348066   no data   no data
648.50/162.51	c  N st    74   1209877       125      2662         0     68407     13310   1177026   no data   no data
648.50/162.51	c  S st    74   1209877       125      2662         0     68407     13310   1177026   no data   no data
649.32/162.77	c  S st    74   1210380       125      2662         0     68898     13310   1190091   no data   no data
649.32/162.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
649.73/162.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.04
649.73/162.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
649.73/162.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
649.73/162.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
649.73/162.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
649.73/162.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
649.73/162.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
649.73/162.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
691.59/173.38	c lits-rem:      1293  cl-subs:     5742  v-elim:      0  v-fix:    0  time: 10.50 s
691.59/173.38	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
691.59/173.39	c vivif2 --  cl tried    63156 cl shrink        0 lits rem          0 time: 0.02
693.63/173.82	c asymm  cl-useful: 0/2223/2662 lits-rem:0 time: 0.42
693.63/173.82	c calculated reachability. Time: 0.00
693.63/173.82	c  N st    74   1210380       125      2662         0     63156     13310   1046424   no data   no data
758.64/190.10	c  N st    75   1283262       125      2662         0     86479     13310   1661024   no data   no data
859.20/215.38	c  N st    76   1392586       125      2662         0     48608     13310    596814   no data   no data
998.48/250.28	c  N st    77   1556570       125      2662         0     53166     13310    673818   no data   no data
1138.97/285.49	c  N st    78   1710381       125      2662         0     92676     13310   1642337   no data   no data
1138.97/285.49	c  S st    78   1710381       125      2662         0     92676     13310   1642337   no data   no data
1140.57/285.87	c  S st    78   1710885       125      2662         0     93163     13310   1655325   no data   no data
1140.57/285.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1140.98/285.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
1140.98/285.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1140.98/285.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1140.98/285.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1140.98/285.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1140.98/285.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1140.98/285.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1141.40/286.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1277.81/320.25	c lits-rem:      2476  cl-subs:    12121  v-elim:      0  v-fix:    0  time: 34.23 s
1277.81/320.25	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1277.81/320.27	c vivif2 --  cl tried    81042 cl shrink        0 lits rem          0 time: 0.02
1280.21/320.83	c asymm  cl-useful: 0/1635/2662 lits-rem:0 time: 0.55
1280.21/320.83	c calculated reachability. Time: 0.00
1280.21/320.83	c  N st    78   1710885       125      2662         0     81042     13310   1373340   no data   no data
1649.78/413.40	c  N st    79   2079851       125      2662         0     92790     13310   1590893   no data   no data
1775.08/444.89	c  N st    80   2210888       125      2662         0     96788     13310   1650314   no data   no data
1775.08/444.89	c  S st    80   2210888       125      2662         0     96788     13310   1650314   no data   no data
1776.68/445.26	c  S st    80   2211391       125      2662         0     97271     13310   1663292   no data   no data
1776.68/445.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1777.08/445.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
1777.08/445.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1777.08/445.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1777.08/445.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1777.08/445.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1777.08/445.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1777.08/445.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1777.51/445.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1893.60/474.59	c lits-rem:      1763  cl-subs:    11502  v-elim:      0  v-fix:    0  time: 29.18 s
1893.60/474.59	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1894.00/474.62	c vivif2 --  cl tried    85769 cl shrink        0 lits rem          0 time: 0.02
1895.20/474.96	c asymm  cl-useful: 0/1027/2662 lits-rem:0 time: 0.34
1895.20/474.96	c calculated reachability. Time: 0.00
1895.20/474.96	c  N st    80   2211391       125      2662         0     85769     13310   1385471   no data   no data
2380.09/596.43	c  N st    81   2711396       125      2662         0    108730     13310   1876839   no data   no data
2380.09/596.43	c  S st    81   2711396       125      2662         0    108730     13310   1876839   no data   no data
2381.29/596.78	c  S st    81   2711898       125      2662         0    109215     13310   1889813   no data   no data
2381.29/596.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2381.69/596.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
2381.69/596.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2381.69/596.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2381.69/596.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2381.69/596.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2381.69/596.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2381.69/596.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2382.09/596.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2468.69/618.62	c lits-rem:      2777  cl-subs:    12362  v-elim:      0  v-fix:    0  time: 21.70 s
2468.69/618.62	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2468.69/618.64	c vivif2 --  cl tried    96853 cl shrink        0 lits rem          0 time: 0.02
2469.89/618.99	c asymm  cl-useful: 0/1485/2662 lits-rem:0 time: 0.35
2470.29/619.00	c calculated reachability. Time: 0.00
2470.29/619.00	c  N st    81   2711898       125      2662         0     96853     13310   1598018   no data   no data
3079.27/771.67	c  N st    82   3211898       125      2662         0     74969     13310    905549   no data   no data
3079.27/771.67	c  S st    82   3211898       125      2662         0     74969     13310    905549   no data   no data
3080.47/771.90	c  S st    82   3212402       125      2662         0     75454     13310    918774   no data   no data
3080.47/771.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3080.47/771.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
3080.47/771.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3080.47/771.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3080.47/771.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3080.47/771.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3080.47/771.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3080.47/771.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3080.47/771.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3082.86/772.56	c lits-rem:        99  cl-subs:      569  v-elim:      0  v-fix:    0  time:  0.58 s
3082.86/772.56	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3082.86/772.57	c vivif2 --  cl tried    74885 cl shrink        0 lits rem          0 time: 0.01
3083.66/772.79	c asymm  cl-useful: 0/1177/2662 lits-rem:0 time: 0.21
3083.66/772.79	c calculated reachability. Time: 0.00
3083.66/772.79	c  N st    82   3212402       125      2662         0     74885     13310    904692   no data   no data
3665.58/918.58	c  N st    83   3712403       125      2662         0     84668     13310   1080581   no data   no data
3665.58/918.58	c  S st    83   3712403       125      2662         0     84668     13310   1080581   no data   no data
3666.74/918.81	c  S st    83   3712905       125      2662         0     85159     13310   1093582   no data   no data
3666.74/918.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3666.74/918.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3666.74/918.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3666.74/918.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3666.74/918.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3666.74/918.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3666.74/918.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3666.74/918.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3667.14/918.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3671.93/920.16	c lits-rem:       912  cl-subs:     1644  v-elim:      0  v-fix:    0  time:  1.26 s
3671.93/920.16	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3671.93/920.18	c vivif2 --  cl tried    83515 cl shrink        0 lits rem          0 time: 0.02
3673.12/920.49	c asymm  cl-useful: 0/1722/2662 lits-rem:0 time: 0.31
3673.12/920.50	c calculated reachability. Time: 0.00
3673.12/920.50	c  N st    83   3712905       125      2662         0     83515     13310   1055930   no data   no data
3718.26/931.77	c  F st    84   3751562       125      2662         0    119602     13310   2051607   no data   no data
3718.26/931.77	c  N st    84   3751562       125      2662         0    119602     13310   2051607   no data   no data
3726.63/933.89	c Decided on static restart strategy
3765.32/943.57	c  N st    94   3779864       125      2662         0    146133     13310   2746690   no data   no data
3806.42/953.82	c  N st    96   3815857       125      2662         0    100805     13310   1505774   no data   no data
3847.13/964.01	c  N st    97   3848249       125      2662         0    130952     13310   2296809   no data   no data
3911.79/980.25	c  N st    98   3896838       125      2662         0     96093     13310   1336461   no data   no data
4010.36/1004.99	c  N st    99   3969720       125      2662         0     83100     13310    988181   no data   no data
4145.65/1038.82	c  N st   100   4079044       125      2662         0    102685     13310   1487181   no data   no data
4321.26/1082.89	c  N st   101   4212905       125      2662         0    144405     13310   2577758   no data   no data
4321.26/1082.89	c  S st   101   4212905       125      2662         0    144405     13310   2577758   no data   no data
4323.26/1083.37	c  S st   101   4213407       125      2662         0    144894     13310   2590255   no data   no data
4323.26/1083.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4323.68/1083.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.07
4323.68/1083.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4323.68/1083.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4323.68/1083.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4323.68/1083.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4323.68/1083.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4323.68/1083.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4324.09/1083.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4495.28/1126.47	c lits-rem:      3461  cl-subs:    14783  v-elim:      0  v-fix:    0  time: 42.90 s
4495.28/1126.47	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
4495.64/1126.50	c vivif2 --  cl tried   130111 cl shrink        0 lits rem          0 time: 0.03
4496.84/1126.88	c asymm  cl-useful: 0/940/2662 lits-rem:0 time: 0.37
4496.84/1126.88	c calculated reachability. Time: 0.00
4496.84/1126.88	c  N st   101   4213407       125      2662         0    130111     13310   2213940   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-3366460-1305404648/watcher-3366460-1305404648 -o /tmp/evaluation-result-3366460-1305404648/solver-3366460-1305404648 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366460-1305404648.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 7.48 7.96 7.98 2/287 5043
/proc/meminfo: memFree=16815080/32951124 swapFree=52307768/67111528
[pid=5043] ppid=5040 vsize=216164 CPUtime=0 cores=1,3,5,7
/proc/5043/stat : 5043 (strangenight2-m) R 5040 5043 4414 0 -1 4202496 659 0 0 0 0 0 0 0 23 0 4 0 652067604 221351936 592 33554432000 4194304 4580107 140734760719248 18446744073709551615 218371062303 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5043/statm: 54041 594 336 95 0 49023 0
[pid=5043/tid=5047] ppid=5040 vsize=216296 CPUtime=0 cores=1,3,5,7
/proc/5043/task/5047/stat : 5047 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 51 0 0 0 0 0 0 0 24 0 4 0 652067604 221487104 712 33554432000 4194304 4580107 140734760719248 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5043/tid=5048] ppid=5040 vsize=216296 CPUtime=0 cores=1,3,5,7
/proc/5043/task/5048/stat : 5048 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 103 0 0 0 0 0 0 0 24 0 4 0 652067604 221487104 712 33554432000 4194304 4580107 140734760719248 18446744073709551615 4504618 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5043/tid=5049] ppid=5040 vsize=216296 CPUtime=0 cores=1,3,5,7
/proc/5043/task/5049/stat : 5049 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 111 0 0 0 0 0 0 0 24 0 4 0 652067604 221487104 712 33554432000 4194304 4580107 140734760719248 18446744073709551615 218370618401 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0446469 s]
/proc/loadavg: 7.48 7.96 7.98 2/287 5043
/proc/meminfo: memFree=16815080/32951124 swapFree=52307768/67111528
[pid=5043] ppid=5040 vsize=216916 CPUtime=0.15 cores=1,3,5,7
/proc/5043/stat : 5043 (strangenight2-m) R 5040 5043 4414 0 -1 4202496 1461 0 0 0 15 0 0 0 18 0 4 0 652067604 222121984 1379 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294692 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5043/statm: 54229 1379 375 95 0 49211 0
[pid=5043/tid=5047] ppid=5040 vsize=216916 CPUtime=0.03 cores=1,3,5,7
/proc/5043/task/5047/stat : 5047 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 243 0 0 0 3 0 0 0 24 0 4 0 652067604 222121984 1379 33554432000 4194304 4580107 140734760719248 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5043/tid=5048] ppid=5040 vsize=216916 CPUtime=0.03 cores=1,3,5,7
/proc/5043/task/5048/stat : 5048 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 336 0 0 0 3 0 0 0 18 0 4 0 652067604 222121984 1379 33554432000 4194304 4580107 140734760719248 18446744073709551615 4324363 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5043/tid=5049] ppid=5040 vsize=216916 CPUtime=0.03 cores=1,3,5,7
/proc/5043/task/5049/stat : 5049 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 165 0 0 0 3 0 0 0 24 0 4 0 652067604 222121984 1380 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 216916

[startup+0.100636 s]
/proc/loadavg: 7.48 7.96 7.98 2/287 5043
/proc/meminfo: memFree=16815080/32951124 swapFree=52307768/67111528
[pid=5043] ppid=5040 vsize=217076 CPUtime=0.37 cores=1,3,5,7
/proc/5043/stat : 5043 (strangenight2-m) R 5040 5043 4414 0 -1 4202496 1767 0 0 0 37 0 0 0 18 0 4 0 652067604 222285824 1685 33554432000 4194304 4580107 140734760719248 18446744073709551615 4295679 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5043/statm: 54269 1685 376 95 0 49251 0
[pid=5043/tid=5047] ppid=5040 vsize=217076 CPUtime=0.08 cores=1,3,5,7
/proc/5043/task/5047/stat : 5047 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 323 0 0 0 8 0 0 0 24 0 4 0 652067604 222285824 1685 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5043/tid=5048] ppid=5040 vsize=217076 CPUtime=0.09 cores=1,3,5,7
/proc/5043/task/5048/stat : 5048 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 411 0 0 0 9 0 0 0 18 0 4 0 652067604 222285824 1685 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294455 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5043/tid=5049] ppid=5040 vsize=217076 CPUtime=0.09 cores=1,3,5,7
/proc/5043/task/5049/stat : 5049 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 228 0 0 0 9 0 0 0 24 0 4 0 652067604 222285824 1685 33554432000 4194304 4580107 140734760719248 18446744073709551615 4316288 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 217076

[startup+0.300601 s]
/proc/loadavg: 7.48 7.96 7.98 2/287 5043
/proc/meminfo: memFree=16815080/32951124 swapFree=52307768/67111528
[pid=5043] ppid=5040 vsize=218864 CPUtime=1.17 cores=1,3,5,7
/proc/5043/stat : 5043 (strangenight2-m) R 5040 5043 4414 0 -1 4202496 3028 0 0 0 117 0 0 0 18 0 4 0 652067604 224116736 2319 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5043/statm: 54716 2319 377 95 0 49698 0
[pid=5043/tid=5047] ppid=5040 vsize=218864 CPUtime=0.28 cores=1,3,5,7
/proc/5043/task/5047/stat : 5047 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 633 0 0 0 28 0 0 0 25 0 4 0 652067604 224116736 2319 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5043/tid=5048] ppid=5040 vsize=218864 CPUtime=0.29 cores=1,3,5,7
/proc/5043/task/5048/stat : 5048 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 729 0 0 0 29 0 0 0 18 0 4 0 652067604 224116736 2319 33554432000 4194304 4580107 140734760719248 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5043/tid=5049] ppid=5040 vsize=218864 CPUtime=0.29 cores=1,3,5,7
/proc/5043/task/5049/stat : 5049 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 534 0 0 0 29 0 0 0 25 0 4 0 652067604 224116736 2319 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 218864

[startup+0.70053 s]
/proc/loadavg: 7.48 7.96 7.98 2/287 5043
/proc/meminfo: memFree=16815080/32951124 swapFree=52307768/67111528
[pid=5043] ppid=5040 vsize=220724 CPUtime=2.76 cores=1,3,5,7
/proc/5043/stat : 5043 (strangenight2-m) R 5040 5043 4414 0 -1 4202496 5511 0 0 0 276 0 0 0 18 0 4 0 652067604 226021376 2665 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5043/statm: 55181 2665 377 95 0 50163 0
[pid=5043/tid=5047] ppid=5040 vsize=220724 CPUtime=0.68 cores=1,3,5,7
/proc/5043/task/5047/stat : 5047 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 1259 0 0 0 68 0 0 0 25 0 4 0 652067604 226021376 2665 33554432000 4194304 4580107 140734760719248 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5043/tid=5048] ppid=5040 vsize=220724 CPUtime=0.69 cores=1,3,5,7
/proc/5043/task/5048/stat : 5048 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 1347 0 0 0 69 0 0 0 18 0 4 0 652067604 226021376 2665 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5043/tid=5049] ppid=5040 vsize=220724 CPUtime=0.69 cores=1,3,5,7
/proc/5043/task/5049/stat : 5049 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 1155 0 0 0 69 0 0 0 25 0 4 0 652067604 226021376 2665 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 220724

[startup+1.50039 s]
/proc/loadavg: 7.48 7.96 7.98 9/298 5054
/proc/meminfo: memFree=16790812/32951124 swapFree=52307768/67111528
[pid=5043] ppid=5040 vsize=222020 CPUtime=5.96 cores=1,3,5,7
/proc/5043/stat : 5043 (strangenight2-m) R 5040 5043 4414 0 -1 4202496 11430 0 0 0 595 1 0 0 19 0 4 0 652067604 227348480 5767 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5043/statm: 55505 5767 379 95 0 50487 0
[pid=5043/tid=5047] ppid=5040 vsize=222020 CPUtime=1.47 cores=1,3,5,7
/proc/5043/task/5047/stat : 5047 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 3293 0 0 0 147 0 0 0 25 0 4 0 652067604 227348480 5768 33554432000 4194304 4580107 140734760719248 18446744073709551615 4451531 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5043/tid=5048] ppid=5040 vsize=222020 CPUtime=1.49 cores=1,3,5,7
/proc/5043/task/5048/stat : 5048 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 2247 0 0 0 149 0 0 0 19 0 4 0 652067604 227348480 5768 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5043/tid=5049] ppid=5040 vsize=222020 CPUtime=1.49 cores=1,3,5,7
/proc/5043/task/5049/stat : 5049 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 2053 0 0 0 149 0 0 0 25 0 4 0 652067604 227348480 5768 33554432000 4194304 4580107 140734760719248 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 222020

[startup+3.10111 s]
/proc/loadavg: 7.48 7.96 7.98 9/298 5054
/proc/meminfo: memFree=16743904/32951124 swapFree=52307768/67111528
[pid=5043] ppid=5040 vsize=231524 CPUtime=12.35 cores=1,3,5,7
/proc/5043/stat : 5043 (strangenight2-m) R 5040 5043 4414 0 -1 4202496 20743 0 0 0 1232 3 0 0 25 0 4 0 652067604 237080576 10755 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294974 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5043/statm: 57881 10755 379 95 0 52863 0
[pid=5043/tid=5047] ppid=5040 vsize=231524 CPUtime=3.06 cores=1,3,5,7
/proc/5043/task/5047/stat : 5047 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 4530 0 0 0 306 0 0 0 25 0 4 0 652067604 237080576 10755 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5043/tid=5048] ppid=5040 vsize=231524 CPUtime=3.08 cores=1,3,5,7
/proc/5043/task/5048/stat : 5048 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 5453 0 0 0 308 0 0 0 25 0 4 0 652067604 237080576 10755 33554432000 4194304 4580107 140734760719248 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5043/tid=5049] ppid=5040 vsize=231524 CPUtime=3.08 cores=1,3,5,7
/proc/5043/task/5049/stat : 5049 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 4822 0 0 0 308 0 0 0 25 0 4 0 652067604 237080576 10755 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 231524

[startup+6.30054 s]
/proc/loadavg: 7.52 7.96 7.98 9/298 5054
/proc/meminfo: memFree=16694732/32951124 swapFree=52307768/67111528
[pid=5043] ppid=5040 vsize=237080 CPUtime=25.12 cores=1,3,5,7
/proc/5043/stat : 5043 (strangenight2-m) R 5040 5043 4414 0 -1 4202496 31594 0 0 0 2506 6 0 0 25 0 4 0 652067604 242769920 14710 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5043/statm: 59270 14710 379 95 0 54252 0
[pid=5043/tid=5047] ppid=5040 vsize=237080 CPUtime=6.23 cores=1,3,5,7
/proc/5043/task/5047/stat : 5047 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 7816 0 0 0 622 1 0 0 25 0 4 0 652067604 242769920 14710 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5043/tid=5048] ppid=5040 vsize=237080 CPUtime=6.28 cores=1,3,5,7
/proc/5043/task/5048/stat : 5048 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 8333 0 0 0 627 1 0 0 25 0 4 0 652067604 242769920 14710 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5043/tid=5049] ppid=5040 vsize=237080 CPUtime=6.28 cores=1,3,5,7
/proc/5043/task/5049/stat : 5049 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 7158 0 0 0 627 1 0 0 25 0 4 0 652067604 242769920 14710 33554432000 4194304 4580107 140734760719248 18446744073709551615 4295831 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 237080

[startup+12.7004 s]
/proc/loadavg: 7.64 7.98 7.98 9/298 5054
/proc/meminfo: memFree=16654712/32951124 swapFree=52307768/67111528
[pid=5043] ppid=5040 vsize=247216 CPUtime=50.66 cores=1,3,5,7
/proc/5043/stat : 5043 (strangenight2-m) R 5040 5043 4414 0 -1 4202496 47621 0 0 0 5056 10 0 0 25 0 4 0 652067604 253149184 19634 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294524 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5043/statm: 61804 19634 379 95 0 56786 0
[pid=5043/tid=5047] ppid=5040 vsize=247216 CPUtime=12.57 cores=1,3,5,7
/proc/5043/task/5047/stat : 5047 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 12177 0 0 0 1255 2 0 0 25 0 4 0 652067604 253149184 19634 33554432000 4194304 4580107 140734760719248 18446744073709551615 4306194 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5043/tid=5048] ppid=5040 vsize=247216 CPUtime=12.69 cores=1,3,5,7
/proc/5043/task/5048/stat : 5048 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 12066 0 0 0 1267 2 0 0 25 0 4 0 652067604 253149184 19634 33554432000 4194304 4580107 140734760719248 18446744073709551615 4321348 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5043/tid=5049] ppid=5040 vsize=247216 CPUtime=12.68 cores=1,3,5,7
/proc/5043/task/5049/stat : 5049 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 11870 0 0 0 1265 3 0 0 25 0 4 0 652067604 253149184 19634 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294704 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 247216

[startup+25.5011 s]
/proc/loadavg: 7.72 7.98 7.98 9/298 5055
/proc/meminfo: memFree=16612052/32951124 swapFree=52307768/67111528
[pid=5043] ppid=5040 vsize=249376 CPUtime=101.74 cores=1,3,5,7
/proc/5043/stat : 5043 (strangenight2-m) R 5040 5043 4414 0 -1 4202496 72039 0 0 0 10158 16 0 0 25 0 4 0 652067604 255361024 23772 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5043/statm: 62344 23772 379 95 0 57326 0
[pid=5043/tid=5047] ppid=5040 vsize=249376 CPUtime=25.26 cores=1,3,5,7
/proc/5043/task/5047/stat : 5047 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 18196 0 0 0 2522 4 0 0 25 0 4 0 652067604 255361024 23772 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5043/tid=5048] ppid=5040 vsize=249376 CPUtime=25.49 cores=1,3,5,7
/proc/5043/task/5048/stat : 5048 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 18708 0 0 0 2546 3 0 0 25 0 4 0 652067604 255361024 23772 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294570 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5043/tid=5049] ppid=5040 vsize=249376 CPUtime=25.49 cores=1,3,5,7
/proc/5043/task/5049/stat : 5049 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 17925 0 0 0 2544 5 0 0 25 0 4 0 652067604 255361024 23772 33554432000 4194304 4580107 140734760719248 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 249376

[startup+51.1006 s]
/proc/loadavg: 7.88 8.00 7.99 9/298 5055
/proc/meminfo: memFree=16560876/32951124 swapFree=52307768/67111528
[pid=5043] ppid=5040 vsize=311872 CPUtime=203.9 cores=1,3,5,7
/proc/5043/stat : 5043 (strangenight2-m) R 5040 5043 4414 0 -1 4202496 107326 0 0 0 20363 27 0 0 25 0 4 0 652067604 319356928 32938 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5043/statm: 77968 32938 379 95 0 72950 0
[pid=5043/tid=5047] ppid=5040 vsize=311872 CPUtime=50.62 cores=1,3,5,7
/proc/5043/task/5047/stat : 5047 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 29405 0 0 0 5056 6 0 0 25 0 4 0 652067604 319356928 32938 33554432000 4194304 4580107 140734760719248 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5043/tid=5048] ppid=5040 vsize=311872 CPUtime=51.08 cores=1,3,5,7
/proc/5043/task/5048/stat : 5048 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 24763 0 0 0 5103 5 0 0 25 0 4 0 652067604 319356928 32938 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5043/tid=5049] ppid=5040 vsize=311872 CPUtime=51.08 cores=1,3,5,7
/proc/5043/task/5049/stat : 5049 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 27200 0 0 0 5100 8 0 0 25 0 4 0 652067604 319356928 32938 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 311872

[startup+102.311 s]
/proc/loadavg: 7.99 8.01 7.99 9/298 5057
/proc/meminfo: memFree=16480612/32951124 swapFree=52307768/67111528
[pid=5043] ppid=5040 vsize=337608 CPUtime=408.27 cores=1,3,5,7
/proc/5043/stat : 5043 (strangenight2-m) R 5040 5043 4414 0 -1 4202496 164954 0 0 0 40783 44 0 0 25 0 4 0 652067604 345710592 41666 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294438 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5043/statm: 84402 41666 379 95 0 79384 0
[pid=5043/tid=5047] ppid=5040 vsize=337608 CPUtime=101.36 cores=1,3,5,7
/proc/5043/task/5047/stat : 5047 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 43186 0 0 0 10126 10 0 0 25 0 4 0 652067604 345710592 41666 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5043/tid=5048] ppid=5040 vsize=337608 CPUtime=102.3 cores=1,3,5,7
/proc/5043/task/5048/stat : 5048 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 40201 0 0 0 10220 10 0 0 25 0 4 0 652067604 345710592 41666 33554432000 4194304 4580107 140734760719248 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5043/tid=5049] ppid=5040 vsize=337608 CPUtime=102.29 cores=1,3,5,7
/proc/5043/task/5049/stat : 5049 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 41135 0 0 0 10216 13 0 0 25 0 4 0 652067604 345710592 41666 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.27
Current children cumulated vsize (KiB) 337608

[startup+162.301 s]

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

[pid=5043] ppid=5040 vsize=594896 CPUtime=2563.28 cores=1,3,5,7
/proc/5043/stat : 5043 (strangenight2-m) R 5040 5043 4414 0 -1 4202496 492694 0 0 0 256140 188 0 0 25 0 4 0 652067604 609173504 104476 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5043/statm: 148724 104476 379 95 0 143706 0
[pid=5043/tid=5047] ppid=5040 vsize=594896 CPUtime=636.35 cores=1,3,5,7
/proc/5043/task/5047/stat : 5047 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 130751 0 0 0 63587 48 0 0 25 0 4 0 652067604 609173504 104476 33554432000 4194304 4580107 140734760719248 18446744073709551615 4406408 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5043/tid=5048] ppid=5040 vsize=594896 CPUtime=642.31 cores=1,3,5,7
/proc/5043/task/5048/stat : 5048 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 111804 0 0 0 64188 43 0 0 25 0 4 0 652067604 609173504 104476 33554432000 4194304 4580107 140734760719248 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5043/tid=5049] ppid=5040 vsize=594896 CPUtime=642.29 cores=1,3,5,7
/proc/5043/task/5049/stat : 5049 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 128557 0 0 0 64180 49 0 0 25 0 4 0 652067604 609173504 104476 33554432000 4194304 4580107 140734760719248 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2563.28
Current children cumulated vsize (KiB) 594896

[startup+702.301 s]
/proc/loadavg: 8.15 8.11 8.02 9/298 5073
/proc/meminfo: memFree=15958360/32951124 swapFree=52307768/67111528
[pid=5043] ppid=5040 vsize=582440 CPUtime=2802.7 cores=1,3,5,7
/proc/5043/stat : 5043 (strangenight2-m) R 5040 5043 4414 0 -1 4202496 515284 0 0 0 280070 200 0 0 25 0 4 0 652067604 596418560 107809 33554432000 4194304 4580107 140734760719248 18446744073709551615 4293232 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5043/statm: 145610 107809 379 95 0 140592 0
[pid=5043/tid=5047] ppid=5040 vsize=582440 CPUtime=695.79 cores=1,3,5,7
/proc/5043/task/5047/stat : 5047 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 134138 0 0 0 69529 50 0 0 25 0 4 0 652067604 596418560 107809 33554432000 4194304 4580107 140734760719248 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5043/tid=5048] ppid=5040 vsize=582440 CPUtime=702.3 cores=1,3,5,7
/proc/5043/task/5048/stat : 5048 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 119123 0 0 0 70183 47 0 0 25 0 4 0 652067604 596418560 107809 33554432000 4194304 4580107 140734760719248 18446744073709551615 4342278 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5043/tid=5049] ppid=5040 vsize=582440 CPUtime=702.28 cores=1,3,5,7
/proc/5043/task/5049/stat : 5049 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 133155 0 0 0 70177 51 0 0 25 0 4 0 652067604 596418560 107809 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2802.7
Current children cumulated vsize (KiB) 582440

[startup+762.311 s]
/proc/loadavg: 8.09 8.10 8.02 9/298 5074
/proc/meminfo: memFree=15946168/32951124 swapFree=52307768/67111528
[pid=5043] ppid=5040 vsize=583064 CPUtime=3042.19 cores=1,3,5,7
/proc/5043/stat : 5043 (strangenight2-m) R 5040 5043 4414 0 -1 4202496 534039 0 0 0 304010 209 0 0 25 0 4 0 652067604 597057536 113978 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5043/statm: 145766 113978 379 95 0 140748 0
[pid=5043/tid=5047] ppid=5040 vsize=583064 CPUtime=755.25 cores=1,3,5,7
/proc/5043/task/5047/stat : 5047 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 137583 0 0 0 75473 52 0 0 25 0 4 0 652067604 597057536 113978 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5043/tid=5048] ppid=5040 vsize=583064 CPUtime=762.32 cores=1,3,5,7
/proc/5043/task/5048/stat : 5048 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 126660 0 0 0 76180 52 0 0 25 0 4 0 652067604 597057536 113978 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5043/tid=5049] ppid=5040 vsize=583064 CPUtime=762.28 cores=1,3,5,7
/proc/5043/task/5049/stat : 5049 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 138016 0 0 0 76175 53 0 0 25 0 4 0 652067604 597057536 113978 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3042.19
Current children cumulated vsize (KiB) 583064

[startup+822.3 s]
/proc/loadavg: 8.03 8.08 8.02 9/298 5076
/proc/meminfo: memFree=15923188/32951124 swapFree=52307768/67111528
[pid=5043] ppid=5040 vsize=596672 CPUtime=3281.61 cores=1,3,5,7
/proc/5043/stat : 5043 (strangenight2-m) R 5040 5043 4414 0 -1 4202496 562975 0 0 0 327937 224 0 0 25 0 4 0 652067604 610992128 110747 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294356 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5043/statm: 149168 110747 379 95 0 144150 0
[pid=5043/tid=5047] ppid=5040 vsize=596672 CPUtime=814.71 cores=1,3,5,7
/proc/5043/task/5047/stat : 5047 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 145978 0 0 0 81415 56 0 0 25 0 4 0 652067604 610992128 110747 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5043/tid=5048] ppid=5040 vsize=596672 CPUtime=822.31 cores=1,3,5,7
/proc/5043/task/5048/stat : 5048 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 133831 0 0 0 82175 56 0 0 25 0 4 0 652067604 610992128 110747 33554432000 4194304 4580107 140734760719248 18446744073709551615 4304870 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5043/tid=5049] ppid=5040 vsize=596672 CPUtime=822.27 cores=1,3,5,7
/proc/5043/task/5049/stat : 5049 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 142839 0 0 0 82172 55 0 0 25 0 4 0 652067604 610992128 110747 33554432000 4194304 4580107 140734760719248 18446744073709551615 4416457 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3281.61
Current children cumulated vsize (KiB) 596672

[startup+882.301 s]
/proc/loadavg: 8.01 8.06 8.01 9/298 5078
/proc/meminfo: memFree=15956008/32951124 swapFree=52307768/67111528
[pid=5043] ppid=5040 vsize=583572 CPUtime=3521.06 cores=1,3,5,7
/proc/5043/stat : 5043 (strangenight2-m) R 5040 5043 4414 0 -1 4202496 589266 0 0 0 351869 237 0 0 25 0 4 0 652067604 597577728 110836 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5043/statm: 145893 110836 379 95 0 140875 0
[pid=5043/tid=5047] ppid=5040 vsize=583572 CPUtime=874.16 cores=1,3,5,7
/proc/5043/task/5047/stat : 5047 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 153407 0 0 0 87357 59 0 0 25 0 4 0 652067604 597577728 110836 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5043/tid=5048] ppid=5040 vsize=583572 CPUtime=882.3 cores=1,3,5,7
/proc/5043/task/5048/stat : 5048 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 140446 0 0 0 88172 58 0 0 25 0 4 0 652067604 597577728 110836 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5043/tid=5049] ppid=5040 vsize=583572 CPUtime=882.27 cores=1,3,5,7
/proc/5043/task/5049/stat : 5049 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 147270 0 0 0 88169 58 0 0 25 0 4 0 652067604 597577728 110836 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3521.06
Current children cumulated vsize (KiB) 583572

[startup+942.301 s]
/proc/loadavg: 8.08 8.07 8.01 9/298 5079
/proc/meminfo: memFree=15933792/32951124 swapFree=52307768/67111528
[pid=5043] ppid=5040 vsize=609640 CPUtime=3760.54 cores=1,3,5,7
/proc/5043/stat : 5043 (strangenight2-m) R 5040 5043 4414 0 -1 4202496 621816 0 0 0 375800 254 0 0 25 0 4 0 652067604 624271360 109997 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294821 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5043/statm: 152410 109997 379 95 0 147392 0
[pid=5043/tid=5047] ppid=5040 vsize=609640 CPUtime=933.62 cores=1,3,5,7
/proc/5043/task/5047/stat : 5047 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 160203 0 0 0 93299 63 0 0 25 0 4 0 652067604 624271360 109997 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5043/tid=5048] ppid=5040 vsize=609640 CPUtime=942.3 cores=1,3,5,7
/proc/5043/task/5048/stat : 5048 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 149375 0 0 0 94167 63 0 0 25 0 4 0 652067604 624271360 109997 33554432000 4194304 4580107 140734760719248 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5043/tid=5049] ppid=5040 vsize=609640 CPUtime=942.27 cores=1,3,5,7
/proc/5043/task/5049/stat : 5049 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 156544 0 0 0 94165 62 0 0 25 0 4 0 652067604 624271360 109997 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3760.54
Current children cumulated vsize (KiB) 609640

[startup+1002.3 s]
/proc/loadavg: 8.10 8.07 8.01 9/298 5081
/proc/meminfo: memFree=15938840/32951124 swapFree=52307768/67111528
[pid=5043] ppid=5040 vsize=620560 CPUtime=3999.98 cores=1,3,5,7
/proc/5043/stat : 5043 (strangenight2-m) R 5040 5043 4414 0 -1 4202496 650971 0 0 0 399732 266 0 0 25 0 4 0 652067604 635453440 114091 33554432000 4194304 4580107 140734760719248 18446744073709551615 4295727 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5043/statm: 155140 114091 379 95 0 150122 0
[pid=5043/tid=5047] ppid=5040 vsize=620560 CPUtime=993.07 cores=1,3,5,7
/proc/5043/task/5047/stat : 5047 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 167432 0 0 0 99242 65 0 0 25 0 4 0 652067604 635453440 114091 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5043/tid=5048] ppid=5040 vsize=620560 CPUtime=1002.3 cores=1,3,5,7
/proc/5043/task/5048/stat : 5048 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 156465 0 0 0 100163 67 0 0 25 0 4 0 652067604 635453440 114091 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294442 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5043/tid=5049] ppid=5040 vsize=620560 CPUtime=1002.27 cores=1,3,5,7
/proc/5043/task/5049/stat : 5049 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 163917 0 0 0 100162 65 0 0 25 0 4 0 652067604 635453440 114091 33554432000 4194304 4580107 140734760719248 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3999.98
Current children cumulated vsize (KiB) 620560

[startup+1062.3 s]
/proc/loadavg: 8.14 8.08 8.02 9/298 5082
/proc/meminfo: memFree=15926268/32951124 swapFree=52307768/67111528
[pid=5043] ppid=5040 vsize=648972 CPUtime=4239.44 cores=1,3,5,7
/proc/5043/stat : 5043 (strangenight2-m) R 5040 5043 4414 0 -1 4202496 668069 0 0 0 423668 276 0 0 25 0 4 0 652067604 664547328 112324 33554432000 4194304 4580107 140734760719248 18446744073709551615 4340633 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5043/statm: 162243 112324 379 95 0 157225 0
[pid=5043/tid=5047] ppid=5040 vsize=648972 CPUtime=1052.52 cores=1,3,5,7
/proc/5043/task/5047/stat : 5047 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 171600 0 0 0 105184 68 0 0 25 0 4 0 652067604 664547328 112324 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5043/tid=5048] ppid=5040 vsize=648972 CPUtime=1062.31 cores=1,3,5,7
/proc/5043/task/5048/stat : 5048 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 158555 0 0 0 106163 68 0 0 25 0 4 0 652067604 664547328 112324 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5043/tid=5049] ppid=5040 vsize=648972 CPUtime=1062.26 cores=1,3,5,7
/proc/5043/task/5049/stat : 5049 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 170965 0 0 0 106157 69 0 0 25 0 4 0 652067604 664547328 112324 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4239.44
Current children cumulated vsize (KiB) 648972

[startup+1122.3 s]
/proc/loadavg: 8.15 8.10 8.02 9/298 5084
/proc/meminfo: memFree=15826256/32951124 swapFree=52307768/67111528
[pid=5043] ppid=5040 vsize=607528 CPUtime=4478.88 cores=1,3,5,7
/proc/5043/stat : 5043 (strangenight2-m) R 5040 5043 4414 0 -1 4202496 690440 0 0 0 447599 289 0 0 25 0 4 0 652067604 622108672 123635 33554432000 4194304 4580107 140734760719248 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5043/statm: 151882 123635 379 95 0 146864 0
[pid=5043/tid=5047] ppid=5040 vsize=607528 CPUtime=1111.95 cores=1,3,5,7
/proc/5043/task/5047/stat : 5047 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 177380 0 0 0 111124 71 0 0 25 0 4 0 652067604 622108672 123635 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5043/tid=5048] ppid=5040 vsize=607528 CPUtime=1122.31 cores=1,3,5,7
/proc/5043/task/5048/stat : 5048 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 165357 0 0 0 112158 73 0 0 25 0 4 0 652067604 622108672 123635 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5043/tid=5049] ppid=5040 vsize=607528 CPUtime=1122.27 cores=1,3,5,7
/proc/5043/task/5049/stat : 5049 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 176097 0 0 0 112154 73 0 0 25 0 4 0 652067604 622108672 123635 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4478.88
Current children cumulated vsize (KiB) 607528

[startup+1182.3 s]
/proc/loadavg: 8.11 8.09 8.02 9/298 5086
/proc/meminfo: memFree=15765592/32951124 swapFree=52307768/67111528
[pid=5043] ppid=5040 vsize=738856 CPUtime=4718.32 cores=1,3,5,7
/proc/5043/stat : 5043 (strangenight2-m) R 5040 5043 4414 0 -1 4202496 719919 0 0 0 471527 305 0 0 25 0 4 0 652067604 756588544 133605 33554432000 4194304 4580107 140734760719248 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5043/statm: 184714 133605 379 95 0 179696 0
[pid=5043/tid=5047] ppid=5040 vsize=738856 CPUtime=1171.4 cores=1,3,5,7
/proc/5043/task/5047/stat : 5047 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 187259 0 0 0 117064 76 0 0 25 0 4 0 652067604 756588544 133605 33554432000 4194304 4580107 140734760719248 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5043/tid=5048] ppid=5040 vsize=738856 CPUtime=1182.31 cores=1,3,5,7
/proc/5043/task/5048/stat : 5048 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 172478 0 0 0 118154 77 0 0 25 0 4 0 652067604 756588544 133605 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5043/tid=5049] ppid=5040 vsize=738856 CPUtime=1182.27 cores=1,3,5,7
/proc/5043/task/5049/stat : 5049 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 181917 0 0 0 118151 76 0 0 25 0 4 0 652067604 756588544 133605 33554432000 4194304 4580107 140734760719248 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4718.32
Current children cumulated vsize (KiB) 738856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.14 8.10 8.02 9/298 5086
/proc/meminfo: memFree=15736060/32951124 swapFree=52307768/67111528
[pid=5043] ppid=5040 vsize=756704 CPUtime=4800.13 cores=1,3,5,7
/proc/5043/stat : 5043 (strangenight2-m) R 5040 5043 4414 0 -1 4202496 725537 0 0 0 479705 308 0 0 25 0 4 0 652067604 774864896 139223 33554432000 4194304 4580107 140734760719248 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5043/statm: 189176 139223 379 95 0 184158 0
[pid=5043/tid=5047] ppid=5040 vsize=756704 CPUtime=1191.69 cores=1,3,5,7
/proc/5043/task/5047/stat : 5047 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 187259 0 0 0 119093 76 0 0 25 0 4 0 652067604 774864896 139224 33554432000 4194304 4580107 140734760719248 18446744073709551615 4406408 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5043/tid=5048] ppid=5040 vsize=756704 CPUtime=1202.82 cores=1,3,5,7
/proc/5043/task/5048/stat : 5048 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 176891 0 0 0 120203 79 0 0 25 0 4 0 652067604 774864896 139224 33554432000 4194304 4580107 140734760719248 18446744073709551615 4406350 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5043/tid=5049] ppid=5040 vsize=756704 CPUtime=1202.78 cores=1,3,5,7
/proc/5043/task/5049/stat : 5049 (strangenight2-m) R 5040 5043 4414 0 -1 4202560 181917 0 0 0 120202 76 0 0 25 0 4 0 652067604 774864896 139224 33554432000 4194304 4580107 140734760719248 18446744073709551615 4406408 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.13
Current children cumulated vsize (KiB) 756704

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.85
CPU time (s): 4800.2
CPU user time (s): 4797.09
CPU system time (s): 3.11253
CPU usage (%): 399.071
Max. virtual memory (cumulated for all children) (KiB): 808756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.09
system time used= 3.11253
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 725538
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= 241
involuntary context switches= 34571

runsolver used 2.91056 second user time and 8.24075 second system time

The end

Launcher Data 

Begin job on node101 at 2011-05-14 22:24:08
IDJOB=3366460
IDBENCH=82869
IDSOLVER=1844
FILE ID=node101/3366460-1305404648
RUNJOBID= node101-1305404648-5028
PBS_JOBID= 13324459
Free space on /tmp= 73736 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v125-c2662-S34055288-072.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366460-1305404648/watcher-3366460-1305404648 -o /tmp/evaluation-result-3366460-1305404648/solver-3366460-1305404648 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366460-1305404648.cnf

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

MD5SUM BENCH= 10f0c0c20b1ddb1f4561bcd231d72d23
RANDOM SEED=1506599591

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
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	: 5226.07
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.841
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.77
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.841
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.83
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.841
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.74
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.841
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.841
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.841
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16815244 kB
Buffers:        322272 kB
Cached:        5884364 kB
SwapCached:      14848 kB
Active:       10832216 kB
Inactive:      5029048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16815244 kB
SwapTotal:    67111528 kB
SwapFree:     52307768 kB
Dirty:           10924 kB
Writeback:           0 kB
AnonPages:     9651004 kB
Mapped:          14292 kB
Slab:           149796 kB
PageTables:      61952 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 41980352 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= 73728 MiB
End job on node101 at 2011-05-14 22:44:13