Trace number 3174051

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.2 1201.74

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-3174051-1304079470.cnf'
0.00/0.00	c -- header says num vars:            125
0.00/0.00	c -- header says num clauses:        2662
0.00/0.01	c -- clauses added:            0 learnts,         2662 normals,            0 xors
0.00/0.01	c -- vars added        125
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	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
3.17/0.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.17/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.17/0.80	c calculated reachability. Time: 0.00
3.17/0.80	c Calc default polars -  time:   0.00 s pos:      58 undec:       5 neg:      62
3.17/0.80	c =========================================================================================
3.17/0.80	c types(t): F = full restart, N = normal restart
3.17/0.80	c types(t): S = simplification begin/end, E = solution found
3.17/0.80	c restart types(rt): st = static, dy = dynamic
3.17/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.80	c  B st     0         0       125      2662         0         0     13310         0   no data   no data
3.17/0.80	c Decided on static restart strategy
3.17/0.80	c  N st     8      4915       125      2662         0      4676     13310    122132   no data   no data
3.17/0.80	c  N st    10     11299       125      2662         0      4315     13310     86803   no data   no data
3.17/0.80	c  N st    11     17042       125      2662         0      9725     13310    232836   no data   no data
3.17/0.83	c  F st    12     25001       125      2662         0     11937     13310    287864   no data   no data
3.17/0.83	c  N st    12     25001       125      2662         0     11937     13310    287864   no data   no data
3.98/1.05	c Decided on static restart strategy
3.98/1.05	c  N st    18     30002       125      2662         0     10214     13310    226933   no data   no data
3.98/1.05	c  S st    18     30002       125      2662         0     10214     13310    226933   no data   no data
3.98/1.08	c  S st    18     30505       125      2662         0     10703     13310    239636   no data   no data
3.98/1.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.98/1.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
3.98/1.08	c blocked clauses removed:        0 vars:      0 tried:         125 T: 0.00 s
3.98/1.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.98/1.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.98/1.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3.98/1.08	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.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.76/1.27	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.62	c  N st    20     37618       125      2662         0      8625     13310    167481   no data   no data
7.57/1.91	c  N st    21     44017       125      2662         0     14678     13310    333662   no data   no data
7.97/2.00	c  S st    22     45757       125      2662         0     16303     13310    376906   no data   no data
7.97/2.05	c  S st    22     46261       125      2662         0     16790     13310    389918   no data   no data
7.97/2.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.97/2.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
7.97/2.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.97/2.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.97/2.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.97/2.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
7.97/2.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.97/2.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.97/2.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.49	c lits-rem:       315  cl-subs:     1640  v-elim:      0  v-fix:    0  time:  0.42 s
9.56/2.49	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
9.56/2.49	c vivif2 --  cl tried    15150 cl shrink        0 lits rem          0 time: 0.00
9.96/2.55	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
9.96/2.55	c calculated reachability. Time: 0.00
9.96/2.55	c  N st    22     46261       125      2662         0     15150     13310    341620   no data   no data
13.18/3.35	c  N st    23     60658       125      2662         0     10981     13310    200484   no data   no data
15.15/3.89	c  N st    24     69392       125      2662         0     19135     13310    410247   no data   no data
15.15/3.89	c  S st    24     69392       125      2662         0     19135     13310    410247   no data   no data
15.55/3.94	c  S st    24     69892       125      2662         0     19624     13310    422613   no data   no data
15.55/3.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.55/3.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
15.55/3.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.55/3.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.55/3.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.55/3.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
15.55/3.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.55/3.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
15.55/3.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.94/4.60	c lits-rem:       452  cl-subs:     2234  v-elim:      0  v-fix:    0  time:  0.64 s
17.94/4.60	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
18.34/4.60	c vivif2 --  cl tried    17390 cl shrink        0 lits rem          0 time: 0.00
18.34/4.67	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.07
18.34/4.67	c calculated reachability. Time: 0.00
18.34/4.67	c  N st    24     69892       125      2662         0     17390     13310    362215   no data   no data
23.14/5.84	c  F st    25     87501       125      2662         0     12428     13310    214854   no data   no data
23.14/5.84	c  N st    25     87501       125      2662         0     12428     13310    214854   no data   no data
24.33/6.11	c Decided on static restart strategy
24.73/6.28	c  N st    32     95540       125      2662         0     20021     13310    413910   no data   no data
27.53/6.93	c  N st    34    104841       125      2662         0     16554     13310    311755   no data   no data
27.53/6.93	c  S st    34    104841       125      2662         0     16554     13310    311755   no data   no data
27.53/6.97	c  S st    34    105346       125      2662         0     17050     13310    324210   no data   no data
27.53/6.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.53/6.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
27.53/6.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.53/6.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.53/6.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.53/6.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
27.53/6.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.53/6.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
27.53/6.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.73/7.21	c lits-rem:       202  cl-subs:     1165  v-elim:      0  v-fix:    0  time:  0.22 s
28.73/7.21	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
28.73/7.21	c vivif2 --  cl tried    15885 cl shrink        0 lits rem          0 time: 0.00
28.73/7.28	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
28.73/7.28	c calculated reachability. Time: 0.00
28.73/7.28	c  N st    34    105346       125      2662         0     15885     13310    294477   no data   no data
31.93/8.03	c  N st    35    114945       125      2662         0     24905     13310    529277   no data   no data
35.92/9.02	c  N st    36    129343       125      2662         0     25269     13310    525414   no data   no data
41.52/10.47	c  N st    37    150938       125      2662         0     16525     13310    263688   no data   no data
43.53/10.92	c  S st    38    158019       125      2662         0     23185     13310    440543   no data   no data
43.53/10.98	c  S st    38    158521       125      2662         0     23675     13310    453112   no data   no data
43.53/10.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.53/10.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
43.53/10.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.53/10.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.53/10.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.53/10.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
43.53/10.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.53/10.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
43.94/11.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.51/11.50	c lits-rem:       460  cl-subs:     1617  v-elim:      0  v-fix:    0  time:  0.49 s
45.51/11.50	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
45.91/11.50	c vivif2 --  cl tried    22058 cl shrink        0 lits rem          0 time: 0.00
45.91/11.58	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.08
45.91/11.58	c calculated reachability. Time: 0.00
45.91/11.58	c  N st    38    158521       125      2662         0     22058     13310    409688   no data   no data
62.68/15.79	c  N st    39    207109       125      2662         0     34739     13310    707146   no data   no data
73.87/18.60	c  N st    40    237781       125      2662         0     26914     13310    485976   no data   no data
73.87/18.60	c  S st    40    237781       125      2662         0     26914     13310    485976   no data   no data
74.29/18.67	c  S st    40    238281       125      2662         0     27403     13310    498903   no data   no data
74.29/18.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
74.29/18.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
74.29/18.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
74.29/18.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
74.29/18.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
74.29/18.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
74.29/18.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
74.29/18.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
74.29/18.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.48/19.41	c lits-rem:       433  cl-subs:     2121  v-elim:      0  v-fix:    0  time:  0.72 s
77.48/19.41	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
77.48/19.42	c vivif2 --  cl tried    25282 cl shrink        0 lits rem          0 time: 0.00
77.88/19.52	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.10
77.88/19.52	c calculated reachability. Time: 0.00
77.88/19.52	c  N st    40    238281       125      2662         0     25282     13310    446255   no data   no data
101.84/25.59	c  F st    41    306255       125      2662         0     27179     13310    450749   no data   no data
101.84/25.59	c  N st    41    306255       125      2662         0     27179     13310    450749   no data   no data
103.84/26.09	c Decided on static restart strategy
113.42/28.40	c  N st    51    334563       125      2662         0     31309     13310    540297   no data   no data
122.63/30.72	c  N st    53    357422       125      2662         0     29316     13310    467151   no data   no data
122.63/30.72	c  S st    53    357422       125      2662         0     29316     13310    467151   no data   no data
122.63/30.79	c  S st    53    357925       125      2662         0     29803     13310    480030   no data   no data
122.63/30.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
123.03/30.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
123.03/30.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
123.03/30.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
123.03/30.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
123.03/30.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
123.03/30.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
123.03/30.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
123.03/30.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
124.60/31.24	c lits-rem:       393  cl-subs:     1318  v-elim:      0  v-fix:    0  time:  0.42 s
124.60/31.24	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
124.60/31.25	c vivif2 --  cl tried    28485 cl shrink        0 lits rem          0 time: 0.00
125.00/31.36	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.11
125.00/31.37	c calculated reachability. Time: 0.00
125.00/31.37	c  N st    53    357925       125      2662         0     28485     13310    446717   no data   no data
138.19/34.68	c  N st    54    390317       125      2662         0     34491     13310    592926   no data   no data
162.17/40.70	c  N st    55    438906       125      2662         0     28578     13310    419133   no data   no data
194.91/48.89	c  N st    56    511788       125      2662         0     41393     13310    728841   no data   no data
207.69/52.04	c  N st    57    536887       125      2662         0     35942     13310    560359   no data   no data
207.69/52.04	c  S st    57    536887       125      2662         0     35942     13310    560359   no data   no data
208.09/52.14	c  S st    57    537389       125      2662         0     36432     13310    572769   no data   no data
208.09/52.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
208.09/52.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
208.09/52.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
208.09/52.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
208.09/52.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
208.09/52.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
208.09/52.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
208.09/52.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
208.09/52.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
210.51/52.78	c lits-rem:       583  cl-subs:     1512  v-elim:      0  v-fix:    0  time:  0.60 s
210.51/52.78	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
210.51/52.79	c vivif2 --  cl tried    34920 cl shrink        0 lits rem          0 time: 0.01
211.28/52.92	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.14
211.28/52.92	c calculated reachability. Time: 0.00
211.28/52.92	c  N st    57    537389       125      2662         0     34920     13310    534276   no data   no data
300.77/75.35	c  N st    58    701373       125      2662         0     63159     13310   1219006   no data   no data
358.28/89.72	c  N st    59    806083       125      2662         0     57123     13310   1011041   no data   no data
358.28/89.72	c  S st    59    806083       125      2662         0     57123     13310   1011041   no data   no data
358.68/89.89	c  S st    59    806585       125      2662         0     57603     13310   1023993   no data   no data
358.68/89.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
359.08/89.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
359.08/89.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
359.08/89.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
359.08/89.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
359.08/89.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
359.08/89.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
359.08/89.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
359.08/89.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
374.66/93.87	c lits-rem:      1732  cl-subs:     4705  v-elim:      0  v-fix:    0  time:  3.91 s
374.66/93.87	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
374.66/93.88	c vivif2 --  cl tried    52898 cl shrink        0 lits rem          0 time: 0.01
375.86/94.14	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.26
375.86/94.14	c calculated reachability. Time: 0.00
375.86/94.14	c  N st    59    806585       125      2662         0     52898     13310    909939   no data   no data
538.04/134.70	c  F st    60   1071875       125      2662         0     67992     13310   1230279   no data   no data
538.04/134.70	c  N st    60   1071875       125      2662         0     67992     13310   1230279   no data   no data
542.83/135.99	c Decided on static restart strategy
559.22/140.03	c  N st    70   1100179       125      2662         0     52636     13310    797416   no data   no data
593.19/148.52	c  N st    72   1136174       125      2662         0     43339     13310    536586   no data   no data
615.54/154.14	c  N st    73   1168567       125      2662         0     73830     13310   1348066   no data   no data
645.10/161.60	c  N st    74   1209877       125      2662         0     68407     13310   1177026   no data   no data
645.10/161.60	c  S st    74   1209877       125      2662         0     68407     13310   1177026   no data   no data
646.29/161.84	c  S st    74   1210380       125      2662         0     68898     13310   1190091   no data   no data
646.29/161.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
646.29/161.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.04
646.29/161.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
646.29/161.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
646.29/161.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
646.29/161.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
646.29/161.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
646.69/161.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
646.69/161.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
689.04/172.51	c lits-rem:      1293  cl-subs:     5742  v-elim:      0  v-fix:    0  time: 10.57 s
689.04/172.51	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
689.04/172.53	c vivif2 --  cl tried    63156 cl shrink        0 lits rem          0 time: 0.02
690.63/172.95	c asymm  cl-useful: 0/2223/2662 lits-rem:0 time: 0.43
690.63/172.96	c calculated reachability. Time: 0.00
690.63/172.96	c  N st    74   1210380       125      2662         0     63156     13310   1046424   no data   no data
758.93/190.04	c  N st    75   1283262       125      2662         0     86479     13310   1661024   no data   no data
859.18/215.12	c  N st    76   1392586       125      2662         0     48608     13310    596814   no data   no data
998.19/249.99	c  N st    77   1556570       125      2662         0     53166     13310    673818   no data   no data
1134.41/284.09	c  N st    78   1710381       125      2662         0     92676     13310   1642337   no data   no data
1134.41/284.09	c  S st    78   1710381       125      2662         0     92676     13310   1642337   no data   no data
1135.61/284.38	c  S st    78   1710885       125      2662         0     93163     13310   1655325   no data   no data
1135.61/284.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1136.01/284.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
1136.01/284.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1136.01/284.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1136.01/284.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1136.01/284.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1136.01/284.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1136.01/284.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1136.41/284.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1286.58/322.10	c lits-rem:      2476  cl-subs:    12121  v-elim:      0  v-fix:    0  time: 37.60 s
1286.58/322.11	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1286.58/322.13	c vivif2 --  cl tried    81042 cl shrink        0 lits rem          0 time: 0.03
1288.98/322.71	c asymm  cl-useful: 0/1635/2662 lits-rem:0 time: 0.58
1288.98/322.71	c calculated reachability. Time: 0.00
1288.98/322.71	c  N st    78   1710885       125      2662         0     81042     13310   1373340   no data   no data
1657.27/414.93	c  N st    79   2079851       125      2662         0     92790     13310   1590893   no data   no data
1779.91/445.67	c  N st    80   2210888       125      2662         0     96788     13310   1650314   no data   no data
1779.91/445.67	c  S st    80   2210888       125      2662         0     96788     13310   1650314   no data   no data
1781.11/445.95	c  S st    80   2211391       125      2662         0     97271     13310   1663292   no data   no data
1781.11/445.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1781.50/446.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1781.50/446.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1781.50/446.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1781.50/446.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1781.50/446.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1781.50/446.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1781.50/446.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1781.50/446.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1891.34/473.50	c lits-rem:      1763  cl-subs:    11502  v-elim:      0  v-fix:    0  time: 27.42 s
1891.34/473.50	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1891.34/473.52	c vivif2 --  cl tried    85769 cl shrink        0 lits rem          0 time: 0.02
1892.54/473.86	c asymm  cl-useful: 0/1027/2662 lits-rem:0 time: 0.34
1892.54/473.86	c calculated reachability. Time: 0.00
1892.54/473.86	c  N st    80   2211391       125      2662         0     85769     13310   1385471   no data   no data
2384.66/597.07	c  N st    81   2711396       125      2662         0    108730     13310   1876839   no data   no data
2384.66/597.07	c  S st    81   2711396       125      2662         0    108730     13310   1876839   no data   no data
2386.25/597.41	c  S st    81   2711898       125      2662         0    109215     13310   1889813   no data   no data
2386.25/597.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2386.25/597.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
2386.25/597.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2386.25/597.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2386.25/597.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2386.25/597.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2386.25/597.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2386.65/597.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2386.65/597.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2475.33/619.78	c lits-rem:      2777  cl-subs:    12362  v-elim:      0  v-fix:    0  time: 22.22 s
2475.33/619.78	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2475.73/619.80	c vivif2 --  cl tried    96853 cl shrink        0 lits rem          0 time: 0.02
2476.93/620.14	c asymm  cl-useful: 0/1485/2662 lits-rem:0 time: 0.34
2476.93/620.15	c calculated reachability. Time: 0.00
2476.93/620.15	c  N st    81   2711898       125      2662         0     96853     13310   1598018   no data   no data
3086.08/772.63	c  N st    82   3211898       125      2662         0     74969     13310    905549   no data   no data
3086.08/772.63	c  S st    82   3211898       125      2662         0     74969     13310    905549   no data   no data
3086.88/772.84	c  S st    82   3212402       125      2662         0     75454     13310    918774   no data   no data
3086.88/772.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3086.88/772.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
3086.88/772.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3086.88/772.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3086.88/772.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3086.88/772.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3086.88/772.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3087.28/772.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3087.28/772.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3089.67/773.52	c lits-rem:        99  cl-subs:      569  v-elim:      0  v-fix:    0  time:  0.59 s
3089.67/773.52	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3089.67/773.53	c vivif2 --  cl tried    74885 cl shrink        0 lits rem          0 time: 0.01
3090.47/773.75	c asymm  cl-useful: 0/1177/2662 lits-rem:0 time: 0.22
3090.47/773.75	c calculated reachability. Time: 0.00
3090.47/773.75	c  N st    82   3212402       125      2662         0     74885     13310    904692   no data   no data
3671.30/919.18	c  N st    83   3712403       125      2662         0     84668     13310   1080581   no data   no data
3671.30/919.18	c  S st    83   3712403       125      2662         0     84668     13310   1080581   no data   no data
3672.49/919.41	c  S st    83   3712905       125      2662         0     85159     13310   1093582   no data   no data
3672.49/919.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3672.49/919.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.03
3672.49/919.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3672.49/919.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3672.49/919.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3672.49/919.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3672.49/919.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3672.49/919.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3672.49/919.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3677.70/920.76	c lits-rem:       912  cl-subs:     1644  v-elim:      0  v-fix:    0  time:  1.26 s
3677.70/920.76	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3677.70/920.78	c vivif2 --  cl tried    83515 cl shrink        0 lits rem          0 time: 0.02
3678.88/921.09	c asymm  cl-useful: 0/1722/2662 lits-rem:0 time: 0.31
3678.88/921.09	c calculated reachability. Time: 0.00
3678.88/921.09	c  N st    83   3712905       125      2662         0     83515     13310   1055930   no data   no data
3723.63/932.28	c  F st    84   3751562       125      2662         0    119602     13310   2051607   no data   no data
3723.63/932.28	c  N st    84   3751562       125      2662         0    119602     13310   2051607   no data   no data
3732.01/934.36	c Decided on static restart strategy
3770.76/944.00	c  N st    94   3779864       125      2662         0    146133     13310   2746690   no data   no data
3811.10/954.18	c  N st    96   3815857       125      2662         0    100805     13310   1505774   no data   no data
3851.45/964.29	c  N st    97   3848249       125      2662         0    130952     13310   2296809   no data   no data
3915.36/980.28	c  N st    98   3896838       125      2662         0     96093     13310   1336461   no data   no data
4014.43/1005.01	c  N st    99   3969720       125      2662         0     83100     13310    988181   no data   no data
4149.45/1038.84	c  N st   100   4079044       125      2662         0    102685     13310   1487181   no data   no data
4323.63/1082.46	c  N st   101   4212905       125      2662         0    144405     13310   2577758   no data   no data
4323.63/1082.46	c  S st   101   4212905       125      2662         0    144405     13310   2577758   no data   no data
4325.60/1082.95	c  S st   101   4213407       125      2662         0    144894     13310   2590255   no data   no data
4325.60/1082.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4326.00/1083.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.07
4326.00/1083.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4326.00/1083.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4326.00/1083.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4326.00/1083.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4326.00/1083.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4326.00/1083.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4326.40/1083.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4499.39/1126.47	c lits-rem:      3461  cl-subs:    14783  v-elim:      0  v-fix:    0  time: 43.32 s
4499.39/1126.47	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
4499.76/1126.50	c vivif2 --  cl tried   130111 cl shrink        0 lits rem          0 time: 0.03
4500.96/1126.88	c asymm  cl-useful: 0/940/2662 lits-rem:0 time: 0.37
4500.96/1126.88	c calculated reachability. Time: 0.00
4500.96/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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3174051-1304079470/watcher-3174051-1304079470 -o /tmp/evaluation-result-3174051-1304079470/solver-3174051-1304079470 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174051-1304079470.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: 6.68 7.82 7.93 2/180 21714
/proc/meminfo: memFree=25379552/32951124 swapFree=67111524/67111528
[pid=21712] ppid=21709 vsize=273404 CPUtime=0 cores=1,3,5,7
/proc/21712/stat : 21712 (strangenight2-m) R 21709 21712 21677 0 -1 4202496 586 0 0 0 0 0 0 0 20 0 4 0 519545211 279965696 495 33554432000 4194304 4627427 140733429796000 18446744073709551615 4360952 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21712/statm: 68351 495 338 106 0 63322 0
[pid=21712/tid=21716] ppid=21709 vsize=273404 CPUtime=0 cores=1,3,5,7
/proc/21712/task/21716/stat : 21716 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 60 0 0 0 0 0 0 0 18 0 4 0 519545211 279965696 504 33554432000 4194304 4627427 140733429796000 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21712/tid=21718] ppid=21709 vsize=273404 CPUtime=0 cores=1,3,5,7
/proc/21712/task/21718/stat : 21718 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 61 0 0 0 0 0 0 0 20 0 4 0 519545211 279965696 505 33554432000 4194304 4627427 140733429796000 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21712/tid=21719] ppid=21709 vsize=273404 CPUtime=0 cores=1,3,5,7
/proc/21712/task/21719/stat : 21719 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 4 0 519545211 279965696 508 33554432000 4194304 4627427 140733429796000 18446744073709551615 232335935578 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.057515 s]
/proc/loadavg: 6.68 7.82 7.93 2/180 21714
/proc/meminfo: memFree=25379552/32951124 swapFree=67111524/67111528
[pid=21712] ppid=21709 vsize=282364 CPUtime=0.2 cores=1,3,5,7
/proc/21712/stat : 21712 (strangenight2-m) R 21709 21712 21677 0 -1 4202496 1644 0 0 0 20 0 0 0 20 0 4 0 519545211 289140736 1518 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21712/statm: 70591 1518 383 106 0 65562 0
[pid=21712/tid=21716] ppid=21709 vsize=282364 CPUtime=0.05 cores=1,3,5,7
/proc/21712/task/21716/stat : 21716 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 346 0 0 0 5 0 0 0 18 0 4 0 519545211 289140736 1518 33554432000 4194304 4627427 140733429796000 18446744073709551615 4332756 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21712/tid=21718] ppid=21709 vsize=282364 CPUtime=0.05 cores=1,3,5,7
/proc/21712/task/21718/stat : 21718 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 342 0 0 0 5 0 0 0 20 0 4 0 519545211 289140736 1518 33554432000 4194304 4627427 140733429796000 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21712/tid=21719] ppid=21709 vsize=282364 CPUtime=0.04 cores=1,3,5,7
/proc/21712/task/21719/stat : 21719 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 202 0 0 0 4 0 0 0 21 0 4 0 519545211 289140736 1518 33554432000 4194304 4627427 140733429796000 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 282364

[startup+0.157498 s]
/proc/loadavg: 6.68 7.82 7.93 2/180 21714
/proc/meminfo: memFree=25379552/32951124 swapFree=67111524/67111528
[pid=21712] ppid=21709 vsize=283832 CPUtime=0.6 cores=1,3,5,7
/proc/21712/stat : 21712 (strangenight2-m) R 21709 21712 21677 0 -1 4202496 2448 0 0 0 60 0 0 0 20 0 4 0 519545211 290643968 1695 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309408 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21712/statm: 70958 1695 384 106 0 65929 0
[pid=21712/tid=21716] ppid=21709 vsize=283832 CPUtime=0.15 cores=1,3,5,7
/proc/21712/task/21716/stat : 21716 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 537 0 0 0 15 0 0 0 18 0 4 0 519545211 290643968 1695 33554432000 4194304 4627427 140733429796000 18446744073709551615 4310126 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21712/tid=21718] ppid=21709 vsize=283832 CPUtime=0.15 cores=1,3,5,7
/proc/21712/task/21718/stat : 21718 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 525 0 0 0 15 0 0 0 20 0 4 0 519545211 290643968 1695 33554432000 4194304 4627427 140733429796000 18446744073709551615 4330282 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21712/tid=21719] ppid=21709 vsize=283832 CPUtime=0.14 cores=1,3,5,7
/proc/21712/task/21719/stat : 21719 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 417 0 0 0 14 0 0 0 21 0 4 0 519545211 290643968 1695 33554432000 4194304 4627427 140733429796000 18446744073709551615 4330825 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 283832

[startup+0.300473 s]
/proc/loadavg: 6.68 7.82 7.93 2/180 21714
/proc/meminfo: memFree=25379552/32951124 swapFree=67111524/67111528
[pid=21712] ppid=21709 vsize=284140 CPUtime=1.17 cores=1,3,5,7
/proc/21712/stat : 21712 (strangenight2-m) R 21709 21712 21677 0 -1 4202496 3095 0 0 0 117 0 0 0 20 0 4 0 519545211 290959360 2342 33554432000 4194304 4627427 140733429796000 18446744073709551615 4321895 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21712/statm: 71035 2342 384 106 0 66006 0
[pid=21712/tid=21716] ppid=21709 vsize=284140 CPUtime=0.29 cores=1,3,5,7
/proc/21712/task/21716/stat : 21716 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 699 0 0 0 29 0 0 0 18 0 4 0 519545211 290959360 2342 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21712/tid=21718] ppid=21709 vsize=284140 CPUtime=0.29 cores=1,3,5,7
/proc/21712/task/21718/stat : 21718 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 687 0 0 0 29 0 0 0 20 0 4 0 519545211 290959360 2342 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21712/tid=21719] ppid=21709 vsize=284140 CPUtime=0.28 cores=1,3,5,7
/proc/21712/task/21719/stat : 21719 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 575 0 0 0 28 0 0 0 21 0 4 0 519545211 290959360 2342 33554432000 4194304 4627427 140733429796000 18446744073709551615 4333184 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284140

[startup+0.700402 s]
/proc/loadavg: 6.68 7.82 7.93 2/180 21714
/proc/meminfo: memFree=25379552/32951124 swapFree=67111524/67111528
[pid=21712] ppid=21709 vsize=285752 CPUtime=2.77 cores=1,3,5,7
/proc/21712/stat : 21712 (strangenight2-m) R 21709 21712 21677 0 -1 4202496 5581 0 0 0 277 0 0 0 21 0 4 0 519545211 292610048 2691 33554432000 4194304 4627427 140733429796000 18446744073709551615 4332309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21712/statm: 71438 2691 384 106 0 66409 0
[pid=21712/tid=21716] ppid=21709 vsize=285752 CPUtime=0.69 cores=1,3,5,7
/proc/21712/task/21716/stat : 21716 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 1331 0 0 0 69 0 0 0 18 0 4 0 519545211 292610048 2691 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21712/tid=21718] ppid=21709 vsize=285752 CPUtime=0.69 cores=1,3,5,7
/proc/21712/task/21718/stat : 21718 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 1304 0 0 0 69 0 0 0 20 0 4 0 519545211 292610048 2691 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21712/tid=21719] ppid=21709 vsize=285752 CPUtime=0.68 cores=1,3,5,7
/proc/21712/task/21719/stat : 21719 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 1181 0 0 0 68 0 0 0 22 0 4 0 519545211 292610048 2691 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285752

[startup+1.50026 s]
/proc/loadavg: 6.68 7.82 7.93 10/188 21722
/proc/meminfo: memFree=25356300/32951124 swapFree=67111524/67111528
[pid=21712] ppid=21709 vsize=286784 CPUtime=5.96 cores=1,3,5,7
/proc/21712/stat : 21712 (strangenight2-m) R 21709 21712 21677 0 -1 4202496 11582 0 0 0 595 1 0 0 24 0 4 0 519545211 293666816 5855 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21712/statm: 71696 5855 388 106 0 66667 0
[pid=21712/tid=21716] ppid=21709 vsize=286784 CPUtime=1.49 cores=1,3,5,7
/proc/21712/task/21716/stat : 21716 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 3429 0 0 0 149 0 0 0 20 0 4 0 519545211 293666816 5855 33554432000 4194304 4627427 140733429796000 18446744073709551615 4427152 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21712/tid=21718] ppid=21709 vsize=286784 CPUtime=1.49 cores=1,3,5,7
/proc/21712/task/21718/stat : 21718 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 2212 0 0 0 149 0 0 0 23 0 4 0 519545211 293666816 5855 33554432000 4194304 4627427 140733429796000 18446744073709551615 4333279 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21712/tid=21719] ppid=21709 vsize=286784 CPUtime=1.48 cores=1,3,5,7
/proc/21712/task/21719/stat : 21719 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 2091 0 0 0 148 0 0 0 25 0 4 0 519545211 293666816 5855 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286784

[startup+3.10098 s]
/proc/loadavg: 6.68 7.82 7.93 10/188 21722
/proc/meminfo: memFree=25302744/32951124 swapFree=67111524/67111528
[pid=21712] ppid=21709 vsize=287464 CPUtime=12.36 cores=1,3,5,7
/proc/21712/stat : 21712 (strangenight2-m) R 21709 21712 21677 0 -1 4202496 21218 0 0 0 1234 2 0 0 25 0 4 0 519545211 294363136 10991 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21712/statm: 71866 10991 388 106 0 66837 0
[pid=21712/tid=21716] ppid=21709 vsize=287464 CPUtime=3.09 cores=1,3,5,7
/proc/21712/task/21716/stat : 21716 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 4721 0 0 0 309 0 0 0 25 0 4 0 519545211 294363136 10991 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21712/tid=21718] ppid=21709 vsize=287464 CPUtime=3.08 cores=1,3,5,7
/proc/21712/task/21718/stat : 21718 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 5374 0 0 0 308 0 0 0 25 0 4 0 519545211 294363136 10991 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21712/tid=21719] ppid=21709 vsize=287464 CPUtime=3.07 cores=1,3,5,7
/proc/21712/task/21719/stat : 21719 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 5091 0 0 0 307 0 0 0 25 0 4 0 519545211 294363136 10991 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 287464

[startup+6.30041 s]
/proc/loadavg: 6.95 7.85 7.94 10/188 21722
/proc/meminfo: memFree=25261832/32951124 swapFree=67111524/67111528
[pid=21712] ppid=21709 vsize=291812 CPUtime=25.14 cores=1,3,5,7
/proc/21712/stat : 21712 (strangenight2-m) R 21709 21712 21677 0 -1 4202496 32227 0 0 0 2509 5 0 0 25 0 4 0 519545211 298815488 15290 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309100 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21712/statm: 72953 15290 388 106 0 67924 0
[pid=21712/tid=21716] ppid=21709 vsize=291812 CPUtime=6.28 cores=1,3,5,7
/proc/21712/task/21716/stat : 21716 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 8238 0 0 0 628 0 0 0 25 0 4 0 519545211 298815488 15290 33554432000 4194304 4627427 140733429796000 18446744073709551615 4507021 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21712/tid=21718] ppid=21709 vsize=291812 CPUtime=6.28 cores=1,3,5,7
/proc/21712/task/21718/stat : 21718 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 8097 0 0 0 627 1 0 0 25 0 4 0 519545211 298815488 15290 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21712/tid=21719] ppid=21709 vsize=291812 CPUtime=6.25 cores=1,3,5,7
/proc/21712/task/21719/stat : 21719 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 7495 0 0 0 625 0 0 0 25 0 4 0 519545211 298815488 15290 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 291812

[startup+12.7003 s]
/proc/loadavg: 7.03 7.85 7.94 10/188 21722
/proc/meminfo: memFree=25217660/32951124 swapFree=67111524/67111528
[pid=21712] ppid=21709 vsize=301948 CPUtime=50.7 cores=1,3,5,7
/proc/21712/stat : 21712 (strangenight2-m) R 21709 21712 21677 0 -1 4202496 49154 0 0 0 5062 8 0 0 25 0 4 0 519545211 309194752 20302 33554432000 4194304 4627427 140733429796000 18446744073709551615 4333295 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21712/statm: 75487 20302 388 106 0 70458 0
[pid=21712/tid=21716] ppid=21709 vsize=301948 CPUtime=12.68 cores=1,3,5,7
/proc/21712/task/21716/stat : 21716 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 12651 0 0 0 1267 1 0 0 25 0 4 0 519545211 309194752 20302 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21712/tid=21718] ppid=21709 vsize=301948 CPUtime=12.69 cores=1,3,5,7
/proc/21712/task/21718/stat : 21718 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 11875 0 0 0 1266 3 0 0 25 0 4 0 519545211 309194752 20302 33554432000 4194304 4627427 140733429796000 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21712/tid=21719] ppid=21709 vsize=301948 CPUtime=12.62 cores=1,3,5,7
/proc/21712/task/21719/stat : 21719 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 12337 0 0 0 1261 1 0 0 25 0 4 0 519545211 309194752 20302 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309111 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 301948

[startup+25.501 s]
/proc/loadavg: 7.31 7.88 7.94 10/188 21722
/proc/meminfo: memFree=25166316/32951124 swapFree=67111524/67111528
[pid=21712] ppid=21709 vsize=303040 CPUtime=101.84 cores=1,3,5,7
/proc/21712/stat : 21712 (strangenight2-m) R 21709 21712 21677 0 -1 4202496 75397 0 0 0 10170 14 0 0 25 0 4 0 519545211 310312960 27131 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309300 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21712/statm: 75760 27131 388 106 0 70731 0
[pid=21712/tid=21716] ppid=21709 vsize=303040 CPUtime=25.48 cores=1,3,5,7
/proc/21712/task/21716/stat : 21716 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 19803 0 0 0 2545 3 0 0 25 0 4 0 519545211 310312960 27131 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21712/tid=21718] ppid=21709 vsize=303040 CPUtime=25.49 cores=1,3,5,7
/proc/21712/task/21718/stat : 21718 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 18234 0 0 0 2545 4 0 0 25 0 4 0 519545211 310312960 27131 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21712/tid=21719] ppid=21709 vsize=303040 CPUtime=25.35 cores=1,3,5,7
/proc/21712/task/21719/stat : 21719 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 19238 0 0 0 2533 2 0 0 25 0 4 0 519545211 310312960 27131 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 303040

[startup+51.1005 s]
/proc/loadavg: 7.55 7.89 7.94 10/188 21723
/proc/meminfo: memFree=25131156/32951124 swapFree=67111524/67111528
[pid=21712] ppid=21709 vsize=319328 CPUtime=204.09 cores=1,3,5,7
/proc/21712/stat : 21712 (strangenight2-m) R 21709 21712 21677 0 -1 4202496 114402 0 0 0 20385 24 0 0 25 0 4 0 519545211 326991872 31256 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309587 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21712/statm: 79832 31256 388 106 0 74803 0
[pid=21712/tid=21716] ppid=21709 vsize=319328 CPUtime=51.08 cores=1,3,5,7
/proc/21712/task/21716/stat : 21716 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 30205 0 0 0 5103 5 0 0 25 0 4 0 519545211 326991872 31256 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21712/tid=21718] ppid=21709 vsize=319328 CPUtime=51.09 cores=1,3,5,7
/proc/21712/task/21718/stat : 21718 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 28226 0 0 0 5101 8 0 0 25 0 4 0 519545211 326991872 31256 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21712/tid=21719] ppid=21709 vsize=319328 CPUtime=50.81 cores=1,3,5,7
/proc/21712/task/21719/stat : 21719 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 28818 0 0 0 5077 4 0 0 25 0 4 0 519545211 326991872 31256 33554432000 4194304 4627427 140733429796000 18446744073709551615 4310109 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 319328

[startup+102.307 s]
/proc/loadavg: 8.00 7.96 7.97 10/188 21725
/proc/meminfo: memFree=25032300/32951124 swapFree=67111524/67111528
[pid=21712] ppid=21709 vsize=386100 CPUtime=408.64 cores=1,3,5,7
/proc/21712/stat : 21712 (strangenight2-m) R 21709 21712 21677 0 -1 4202496 178417 0 0 0 40822 42 0 0 25 0 4 0 519545211 395366400 46165 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21712/statm: 96525 46165 388 106 0 91496 0
[pid=21712/tid=21716] ppid=21709 vsize=386100 CPUtime=102.29 cores=1,3,5,7
/proc/21712/task/21716/stat : 21716 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 44294 0 0 0 10220 9 0 0 25 0 4 0 519545211 395366400 46165 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21712/tid=21718] ppid=21709 vsize=386100 CPUtime=102.29 cores=1,3,5,7
/proc/21712/task/21718/stat : 21718 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 45285 0 0 0 10218 11 0 0 25 0 4 0 519545211 395366400 46165 33554432000 4194304 4627427 140733429796000 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21712/tid=21719] ppid=21709 vsize=386100 CPUtime=101.73 cores=1,3,5,7
/proc/21712/task/21719/stat : 21719 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 45745 0 0 0 10164 9 0 0 25 0 4 0 519545211 395366400 46165 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 386100

[startup+162.301 s]

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

[pid=21712] ppid=21709 vsize=548884 CPUtime=2805.25 cores=1,3,5,7
/proc/21712/stat : 21712 (strangenight2-m) R 21709 21712 21677 0 -1 4202496 556026 0 0 0 280326 199 0 0 25 0 4 0 519545211 562057216 98279 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21712/statm: 137221 98279 388 106 0 132192 0
[pid=21712/tid=21716] ppid=21709 vsize=548884 CPUtime=702.29 cores=1,3,5,7
/proc/21712/task/21716/stat : 21716 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 133784 0 0 0 70185 44 0 0 25 0 4 0 519545211 562057216 98279 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21712/tid=21718] ppid=21709 vsize=548884 CPUtime=702.3 cores=1,3,5,7
/proc/21712/task/21718/stat : 21718 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 138308 0 0 0 70176 54 0 0 25 0 4 0 519545211 562057216 98279 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21712/tid=21719] ppid=21709 vsize=548884 CPUtime=698.33 cores=1,3,5,7
/proc/21712/task/21719/stat : 21719 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 142823 0 0 0 69788 45 0 0 25 0 4 0 519545211 562057216 98279 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.25
Current children cumulated vsize (KiB) 548884

[startup+762.307 s]
/proc/loadavg: 8.18 8.12 8.03 10/188 21742
/proc/meminfo: memFree=24527940/32951124 swapFree=67111524/67111528
[pid=21712] ppid=21709 vsize=615536 CPUtime=3044.95 cores=1,3,5,7
/proc/21712/stat : 21712 (strangenight2-m) R 21709 21712 21677 0 -1 4202496 589268 0 0 0 304282 213 0 0 25 0 4 0 519545211 630308864 110497 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21712/statm: 153884 110497 388 106 0 148855 0
[pid=21712/tid=21716] ppid=21709 vsize=615536 CPUtime=762.29 cores=1,3,5,7
/proc/21712/task/21716/stat : 21716 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 142910 0 0 0 76182 47 0 0 25 0 4 0 519545211 630308864 110497 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21712/tid=21718] ppid=21709 vsize=615536 CPUtime=762.31 cores=1,3,5,7
/proc/21712/task/21718/stat : 21718 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 146097 0 0 0 76174 57 0 0 25 0 4 0 519545211 630308864 110497 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21712/tid=21719] ppid=21709 vsize=615536 CPUtime=758 cores=1,3,5,7
/proc/21712/task/21719/stat : 21719 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 149807 0 0 0 75752 48 0 0 25 0 4 0 519545211 630308864 110497 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.95
Current children cumulated vsize (KiB) 615536

[startup+822.301 s]
/proc/loadavg: 8.16 8.13 8.03 10/188 21744
/proc/meminfo: memFree=24530268/32951124 swapFree=67111524/67111528
[pid=21712] ppid=21709 vsize=576756 CPUtime=3284.62 cores=1,3,5,7
/proc/21712/stat : 21712 (strangenight2-m) R 21709 21712 21677 0 -1 4202496 617466 0 0 0 328235 227 0 0 25 0 4 0 519545211 590598144 103574 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21712/statm: 144189 103574 388 106 0 139160 0
[pid=21712/tid=21716] ppid=21709 vsize=576756 CPUtime=822.29 cores=1,3,5,7
/proc/21712/task/21716/stat : 21716 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 149247 0 0 0 82178 51 0 0 25 0 4 0 519545211 590598144 103574 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21712/tid=21718] ppid=21709 vsize=576756 CPUtime=822.3 cores=1,3,5,7
/proc/21712/task/21718/stat : 21718 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 153459 0 0 0 82170 60 0 0 25 0 4 0 519545211 590598144 103574 33554432000 4194304 4627427 140733429796000 18446744073709551615 4324104 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21712/tid=21719] ppid=21709 vsize=576756 CPUtime=817.67 cores=1,3,5,7
/proc/21712/task/21719/stat : 21719 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 155602 0 0 0 81716 51 0 0 25 0 4 0 519545211 590598144 103574 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.62
Current children cumulated vsize (KiB) 576756

[startup+882.301 s]
/proc/loadavg: 8.10 8.11 8.03 10/188 21745
/proc/meminfo: memFree=24492176/32951124 swapFree=67111524/67111528
[pid=21712] ppid=21709 vsize=643312 CPUtime=3524.29 cores=1,3,5,7
/proc/21712/stat : 21712 (strangenight2-m) R 21709 21712 21677 0 -1 4202496 646372 0 0 0 352189 240 0 0 25 0 4 0 519545211 658751488 112297 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309253 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21712/statm: 160828 112297 388 106 0 155799 0
[pid=21712/tid=21716] ppid=21709 vsize=643312 CPUtime=882.3 cores=1,3,5,7
/proc/21712/task/21716/stat : 21716 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 156562 0 0 0 88175 55 0 0 25 0 4 0 519545211 658751488 112297 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21712/tid=21718] ppid=21709 vsize=643312 CPUtime=882.31 cores=1,3,5,7
/proc/21712/task/21718/stat : 21718 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 160388 0 0 0 88168 63 0 0 25 0 4 0 519545211 658751488 112297 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21712/tid=21719] ppid=21709 vsize=643312 CPUtime=877.35 cores=1,3,5,7
/proc/21712/task/21719/stat : 21719 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 162439 0 0 0 87680 55 0 0 25 0 4 0 519545211 658751488 112297 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.29
Current children cumulated vsize (KiB) 643312

[startup+942.3 s]
/proc/loadavg: 8.15 8.12 8.04 10/188 21747
/proc/meminfo: memFree=24489304/32951124 swapFree=67111524/67111528
[pid=21712] ppid=21709 vsize=695728 CPUtime=3763.97 cores=1,3,5,7
/proc/21712/stat : 21712 (strangenight2-m) R 21709 21712 21677 0 -1 4202496 676535 0 0 0 376145 252 0 0 25 0 4 0 519545211 712425472 115587 33554432000 4194304 4627427 140733429796000 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21712/statm: 173932 115587 388 106 0 168903 0
[pid=21712/tid=21716] ppid=21709 vsize=695728 CPUtime=942.3 cores=1,3,5,7
/proc/21712/task/21716/stat : 21716 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 164326 0 0 0 94172 58 0 0 25 0 4 0 519545211 712425472 115587 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21712/tid=21718] ppid=21709 vsize=695728 CPUtime=942.31 cores=1,3,5,7
/proc/21712/task/21718/stat : 21718 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 169089 0 0 0 94165 66 0 0 25 0 4 0 519545211 712425472 115587 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21712/tid=21719] ppid=21709 vsize=695728 CPUtime=937.02 cores=1,3,5,7
/proc/21712/task/21719/stat : 21719 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 168266 0 0 0 93645 57 0 0 25 0 4 0 519545211 712425472 115587 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.97
Current children cumulated vsize (KiB) 695728

[startup+1002.3 s]
/proc/loadavg: 8.10 8.11 8.04 10/188 21749
/proc/meminfo: memFree=24464840/32951124 swapFree=67111524/67111528
[pid=21712] ppid=21709 vsize=750568 CPUtime=4003.64 cores=1,3,5,7
/proc/21712/stat : 21712 (strangenight2-m) R 21709 21712 21677 0 -1 4202496 702581 0 0 0 400099 265 0 0 25 0 4 0 519545211 768581632 120605 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21712/statm: 187642 120605 388 106 0 182613 0
[pid=21712/tid=21716] ppid=21709 vsize=750568 CPUtime=1002.3 cores=1,3,5,7
/proc/21712/task/21716/stat : 21716 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 171263 0 0 0 100169 61 0 0 25 0 4 0 519545211 768581632 120605 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21712/tid=21718] ppid=21709 vsize=750568 CPUtime=1002.31 cores=1,3,5,7
/proc/21712/task/21718/stat : 21718 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 176260 0 0 0 100161 70 0 0 25 0 4 0 519545211 768581632 120605 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21712/tid=21719] ppid=21709 vsize=750568 CPUtime=996.69 cores=1,3,5,7
/proc/21712/task/21719/stat : 21719 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 172446 0 0 0 99610 59 0 0 25 0 4 0 519545211 768581632 120605 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.64
Current children cumulated vsize (KiB) 750568

[startup+1062.3 s]
/proc/loadavg: 8.03 8.09 8.03 10/188 21750
/proc/meminfo: memFree=24458000/32951124 swapFree=67111524/67111528
[pid=21712] ppid=21709 vsize=753208 CPUtime=4243.32 cores=1,3,5,7
/proc/21712/stat : 21712 (strangenight2-m) R 21709 21712 21677 0 -1 4202496 725889 0 0 0 424057 275 0 0 25 0 4 0 519545211 771284992 125712 33554432000 4194304 4627427 140733429796000 18446744073709551615 4324120 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21712/statm: 188302 125712 388 106 0 183273 0
[pid=21712/tid=21716] ppid=21709 vsize=753208 CPUtime=1062.3 cores=1,3,5,7
/proc/21712/task/21716/stat : 21716 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 174878 0 0 0 106167 63 0 0 25 0 4 0 519545211 771284992 125712 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21712/tid=21718] ppid=21709 vsize=753208 CPUtime=1062.32 cores=1,3,5,7
/proc/21712/task/21718/stat : 21718 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 182140 0 0 0 106159 73 0 0 25 0 4 0 519545211 771284992 125712 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21712/tid=21719] ppid=21709 vsize=753208 CPUtime=1056.37 cores=1,3,5,7
/proc/21712/task/21719/stat : 21719 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 178766 0 0 0 105574 63 0 0 25 0 4 0 519545211 771284992 125712 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.32
Current children cumulated vsize (KiB) 753208

[startup+1122.3 s]
/proc/loadavg: 8.06 8.08 8.03 10/188 21752
/proc/meminfo: memFree=24395224/32951124 swapFree=67111524/67111528
[pid=21712] ppid=21709 vsize=711728 CPUtime=4482.99 cores=1,3,5,7
/proc/21712/stat : 21712 (strangenight2-m) R 21709 21712 21677 0 -1 4202496 747539 0 0 0 448013 286 0 0 25 0 4 0 519545211 728809472 125924 33554432000 4194304 4627427 140733429796000 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21712/statm: 177932 125924 388 106 0 172903 0
[pid=21712/tid=21716] ppid=21709 vsize=711728 CPUtime=1122.3 cores=1,3,5,7
/proc/21712/task/21716/stat : 21716 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 178534 0 0 0 112165 65 0 0 25 0 4 0 519545211 728809472 125924 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21712/tid=21718] ppid=21709 vsize=711728 CPUtime=1122.31 cores=1,3,5,7
/proc/21712/task/21718/stat : 21718 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 188960 0 0 0 112154 77 0 0 25 0 4 0 519545211 728809472 125924 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21712/tid=21719] ppid=21709 vsize=711728 CPUtime=1116.04 cores=1,3,5,7
/proc/21712/task/21719/stat : 21719 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 181511 0 0 0 111539 65 0 0 25 0 4 0 519545211 728809472 125924 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.99
Current children cumulated vsize (KiB) 711728

[startup+1182.3 s]
/proc/loadavg: 8.38 8.16 8.06 10/188 21753
/proc/meminfo: memFree=24335436/32951124 swapFree=67111524/67111528
[pid=21712] ppid=21709 vsize=711924 CPUtime=4722.65 cores=1,3,5,7
/proc/21712/stat : 21712 (strangenight2-m) R 21709 21712 21677 0 -1 4202496 771019 0 0 0 471962 303 0 0 25 0 4 0 519545211 729010176 133157 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21712/statm: 177981 133157 388 106 0 172952 0
[pid=21712/tid=21716] ppid=21709 vsize=711924 CPUtime=1182.31 cores=1,3,5,7
/proc/21712/task/21716/stat : 21716 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 182310 0 0 0 118163 68 0 0 25 0 4 0 519545211 729010176 133157 33554432000 4194304 4627427 140733429796000 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21712/tid=21718] ppid=21709 vsize=711924 CPUtime=1182.32 cores=1,3,5,7
/proc/21712/task/21718/stat : 21718 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 196217 0 0 0 118150 82 0 0 25 0 4 0 519545211 729010176 133157 33554432000 4194304 4627427 140733429796000 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21712/tid=21719] ppid=21709 vsize=711924 CPUtime=1175.68 cores=1,3,5,7
/proc/21712/task/21719/stat : 21719 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 187143 0 0 0 117500 68 0 0 25 0 4 0 519545211 729010176 133157 33554432000 4194304 4627427 140733429796000 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.65
Current children cumulated vsize (KiB) 711924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.27 8.15 8.06 9/188 21754
/proc/meminfo: memFree=24304060/32951124 swapFree=67111524/67111528
[pid=21712] ppid=21709 vsize=725576 CPUtime=4800.14 cores=1,3,5,7
/proc/21712/stat : 21712 (strangenight2-m) R 21709 21712 21677 0 -1 4202496 775192 0 0 0 479709 305 0 0 25 0 4 0 519545211 742989824 137330 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21712/statm: 181394 137330 388 106 0 176365 0
[pid=21712/tid=21716] ppid=21709 vsize=725576 CPUtime=1201.71 cores=1,3,5,7
/proc/21712/task/21716/stat : 21716 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 182310 0 0 0 120103 68 0 0 25 0 4 0 519545211 742989824 137330 33554432000 4194304 4627427 140733429796000 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21712/tid=21718] ppid=21709 vsize=725576 CPUtime=1201.72 cores=1,3,5,7
/proc/21712/task/21718/stat : 21718 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 199409 0 0 0 120089 83 0 0 25 0 4 0 519545211 742989824 137330 33554432000 4194304 4627427 140733429796000 18446744073709551615 4420243 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21712/tid=21719] ppid=21709 vsize=725576 CPUtime=1194.95 cores=1,3,5,7
/proc/21712/task/21719/stat : 21719 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 187143 0 0 0 119427 68 0 0 25 0 4 0 519545211 742989824 137330 33554432000 4194304 4627427 140733429796000 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.14
Current children cumulated vsize (KiB) 725576

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

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

[startup+1201.7 s]
/proc/loadavg: 8.27 8.15 8.06 9/188 21754
/proc/meminfo: memFree=24304060/32951124 swapFree=67111524/67111528
[pid=21712] ppid=21709 vsize=725576 CPUtime=4800.14 cores=1,3,5,7
/proc/21712/stat : 21712 (strangenight2-m) R 21709 21712 21677 0 -1 4202496 775192 0 0 0 479709 305 0 0 25 0 4 0 519545211 742989824 137330 33554432000 4194304 4627427 140733429796000 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21712/statm: 181394 137330 388 106 0 176365 0
[pid=21712/tid=21716] ppid=21709 vsize=725576 CPUtime=1201.71 cores=1,3,5,7
/proc/21712/task/21716/stat : 21716 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 182310 0 0 0 120103 68 0 0 25 0 4 0 519545211 742989824 137330 33554432000 4194304 4627427 140733429796000 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21712/tid=21718] ppid=21709 vsize=725576 CPUtime=1201.72 cores=1,3,5,7
/proc/21712/task/21718/stat : 21718 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 199409 0 0 0 120089 83 0 0 25 0 4 0 519545211 742989824 137330 33554432000 4194304 4627427 140733429796000 18446744073709551615 4420243 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21712/tid=21719] ppid=21709 vsize=725576 CPUtime=1194.95 cores=1,3,5,7
/proc/21712/task/21719/stat : 21719 (strangenight2-m) R 21709 21712 21677 0 -1 4202560 187143 0 0 0 119427 68 0 0 25 0 4 0 519545211 742989824 137330 33554432000 4194304 4627427 140733429796000 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.14
Current children cumulated vsize (KiB) 725576

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.2
CPU user time (s): 4797.12
CPU system time (s): 3.08053
CPU usage (%): 399.438
Max. virtual memory (cumulated for all children) (KiB): 866092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.12
system time used= 3.08053
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 775192
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= 356
involuntary context switches= 51801

runsolver used 1.80572 second user time and 4.93625 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-29 14:17:50
IDJOB=3174051
IDBENCH=82869
IDSOLVER=1586
FILE ID=node132/3174051-1304079470
RUNJOBID= node132-1304079470-21696
PBS_JOBID= 13170531
Free space on /tmp= 71872 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3174051-1304079470/watcher-3174051-1304079470 -o /tmp/evaluation-result-3174051-1304079470/solver-3174051-1304079470 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174051-1304079470.cnf

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

MD5SUM BENCH= 10f0c0c20b1ddb1f4561bcd231d72d23
RANDOM SEED=1705111045

node132.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.833
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.66
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.833
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.74
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.833
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.76
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.833
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.75
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.833
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.77
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.833
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.67
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.833
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.82
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.833
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25380112 kB
Buffers:        769848 kB
Cached:        6237152 kB
SwapCached:          4 kB
Active:        2080772 kB
Inactive:      4990392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25380112 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           11364 kB
Writeback:           0 kB
AnonPages:       64100 kB
Mapped:          14216 kB
Slab:           435824 kB
PageTables:       4848 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   188064 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71864 MiB
End job on node132 at 2011-04-29 14:37:54