Trace number 3174249

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.31 1201.93

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S236776564-037.SATISFIABLE.cnf
MD5SUMad19e852103e6838347ce97648b48b74
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.141977
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-3174249-1304115997.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
3.17/0.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3.17/0.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.17/0.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.17/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3.17/0.80	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:      10 neg:      57
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      4918       125      2662         0      4639     13310    119601   no data   no data
3.17/0.80	c  N st    10     11305       125      2662         0      4293     13310     88324   no data   no data
3.17/0.80	c  N st    11     17050       125      2662         0      9695     13310    229074   no data   no data
3.58/0.90	c  F st    12     25002       125      2662         0     11893     13310    278400   no data   no data
3.58/0.90	c  N st    12     25002       125      2662         0     11893     13310    278400   no data   no data
3.99/1.10	c Decided on static restart strategy
3.99/1.10	c  N st    18     30000       125      2662         0     10205     13310    225379   no data   no data
3.99/1.10	c  S st    18     30000       125      2662         0     10205     13310    225379   no data   no data
3.99/1.10	c  S st    18     30504       125      2662         0     10702     13310    238364   no data   no data
3.99/1.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.99/1.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
3.99/1.10	c blocked clauses removed:        0 vars:      0 tried:         125 T: 0.00 s
3.99/1.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.99/1.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.99/1.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3.99/1.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.99/1.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.77/1.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.30	c lits-rem:       239  cl-subs:     1587  v-elim:      0  v-fix:    0  time:  0.19 s
5.17/1.33	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.04
5.17/1.33	c calculated reachability. Time: 0.00
5.17/1.33	c  N st    18     30504       125      2662         0      9115     13310    194854   no data   no data
6.37/1.66	c  N st    20     37620       125      2662         0      8385     13310    160812   no data   no data
7.57/1.99	c  N st    21     44020       125      2662         0     14430     13310    321715   no data   no data
7.98/2.08	c  S st    22     45757       125      2662         0     16059     13310    365021   no data   no data
8.39/2.13	c  S st    22     46263       125      2662         0     16548     13310    377732   no data   no data
8.39/2.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.39/2.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
8.39/2.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.39/2.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.39/2.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.39/2.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
8.39/2.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.39/2.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.39/2.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.58	c lits-rem:       340  cl-subs:     1707  v-elim:      0  v-fix:    0  time:  0.43 s
9.96/2.58	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
9.96/2.58	c vivif2 --  cl tried    14841 cl shrink        0 lits rem          0 time: 0.00
10.36/2.64	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
10.36/2.65	c calculated reachability. Time: 0.00
10.36/2.65	c  N st    22     46263       125      2662         0     14841     13310    330087   no data   no data
13.56/3.40	c  N st    23     60660       125      2662         0     10647     13310    192139   no data   no data
15.16/3.87	c  N st    24     69394       125      2662         0     18841     13310    412964   no data   no data
15.16/3.87	c  S st    24     69394       125      2662         0     18841     13310    412964   no data   no data
15.56/3.92	c  S st    24     69900       125      2662         0     19327     13310    425885   no data   no data
15.56/3.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.56/3.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
15.56/3.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.56/3.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.56/3.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.56/3.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
15.56/3.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.56/3.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.56/3.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.95/4.56	c lits-rem:       753  cl-subs:     1994  v-elim:      0  v-fix:    0  time:  0.61 s
17.95/4.56	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
17.95/4.57	c vivif2 --  cl tried    17333 cl shrink        0 lits rem          0 time: 0.00
18.35/4.63	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
18.35/4.63	c calculated reachability. Time: 0.00
18.35/4.63	c  N st    24     69900       125      2662         0     17333     13310    368804   no data   no data
22.75/5.74	c  F st    25     87503       125      2662         0     12391     13310    218459   no data   no data
22.75/5.74	c  N st    25     87503       125      2662         0     12391     13310    218459   no data   no data
23.95/6.00	c Decided on static restart strategy
24.35/6.18	c  N st    32     95542       125      2662         0     20005     13310    420822   no data   no data
26.74/6.77	c  N st    34    104850       125      2662         0     16521     13310    321411   no data   no data
26.74/6.77	c  S st    34    104850       125      2662         0     16521     13310    321411   no data   no data
27.14/6.82	c  S st    34    105354       125      2662         0     17013     13310    334125   no data   no data
27.14/6.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.14/6.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
27.14/6.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.14/6.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.14/6.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.14/6.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
27.14/6.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.14/6.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
27.14/6.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.94/7.05	c lits-rem:       194  cl-subs:     1044  v-elim:      0  v-fix:    0  time:  0.22 s
27.94/7.05	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
27.94/7.06	c vivif2 --  cl tried    15969 cl shrink        0 lits rem          0 time: 0.00
28.34/7.12	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.07
28.34/7.12	c calculated reachability. Time: 0.00
28.34/7.12	c  N st    34    105354       125      2662         0     15969     13310    304764   no data   no data
31.54/7.92	c  N st    35    114952       125      2662         0     24973     13310    540865   no data   no data
35.52/8.97	c  N st    36    129349       125      2662         0     25336     13310    529766   no data   no data
42.32/10.62	c  N st    37    150944       125      2662         0     16498     13310    264067   no data   no data
43.94/11.08	c  S st    38    158031       125      2662         0     23212     13310    442393   no data   no data
44.31/11.14	c  S st    38    158532       125      2662         0     23700     13310    455730   no data   no data
44.31/11.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.31/11.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
44.31/11.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.31/11.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.31/11.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.31/11.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
44.31/11.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.31/11.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
44.31/11.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.32/11.62	c lits-rem:       441  cl-subs:     1532  v-elim:      0  v-fix:    0  time:  0.45 s
46.32/11.62	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
46.32/11.63	c vivif2 --  cl tried    22168 cl shrink        0 lits rem          0 time: 0.00
46.72/11.71	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.09
46.72/11.71	c calculated reachability. Time: 0.00
46.72/11.71	c  N st    38    158532       125      2662         0     22168     13310    414365   no data   no data
62.29/15.68	c  N st    39    207120       125      2662         0     34932     13310    723231   no data   no data
73.88/18.51	c  N st    40    237799       125      2662         0     27078     13310    500337   no data   no data
73.88/18.51	c  S st    40    237799       125      2662         0     27078     13310    500337   no data   no data
73.88/18.57	c  S st    40    238300       125      2662         0     27567     13310    513340   no data   no data
73.88/18.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
73.88/18.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
73.88/18.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
73.88/18.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
73.88/18.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
73.88/18.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
73.88/18.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
73.88/18.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
73.88/18.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.08/19.36	c lits-rem:       757  cl-subs:     2233  v-elim:      0  v-fix:    0  time:  0.76 s
77.08/19.36	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
77.08/19.37	c vivif2 --  cl tried    25334 cl shrink        0 lits rem          0 time: 0.00
77.48/19.47	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.10
77.48/19.47	c calculated reachability. Time: 0.00
77.48/19.47	c  N st    40    238300       125      2662         0     25334     13310    454862   no data   no data
103.44/25.97	c  F st    41    306252       125      2662         0     27294     13310    462099   no data   no data
103.44/25.97	c  N st    41    306252       125      2662         0     27294     13310    462099   no data   no data
105.45/26.43	c Decided on static restart strategy
113.84/28.60	c  N st    51    334565       125      2662         0     31481     13310    555929   no data   no data
123.41/30.92	c  N st    53    357450       125      2662         0     29468     13310    481167   no data   no data
123.41/30.92	c  S st    53    357450       125      2662         0     29468     13310    481167   no data   no data
123.81/31.00	c  S st    53    357951       125      2662         0     29954     13310    493767   no data   no data
123.81/31.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
123.81/31.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
123.81/31.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
123.81/31.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
123.81/31.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
123.81/31.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
123.81/31.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
123.81/31.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
123.81/31.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
125.40/31.43	c lits-rem:       358  cl-subs:     1229  v-elim:      0  v-fix:    0  time:  0.40 s
125.40/31.43	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
125.40/31.44	c vivif2 --  cl tried    28725 cl shrink        0 lits rem          0 time: 0.00
125.80/31.55	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.11
125.80/31.55	c calculated reachability. Time: 0.00
125.80/31.55	c  N st    53    357951       125      2662         0     28725     13310    458970   no data   no data
138.19/34.68	c  N st    54    390343       125      2662         0     34734     13310    597346   no data   no data
160.95/40.37	c  N st    55    438934       125      2662         0     28719     13310    421835   no data   no data
196.11/49.16	c  N st    56    511816       125      2662         0     41503     13310    709229   no data   no data
207.68/52.04	c  N st    57    536926       125      2662         0     36088     13310    567892   no data   no data
207.68/52.04	c  S st    57    536926       125      2662         0     36088     13310    567892   no data   no data
208.08/52.12	c  S st    57    537428       125      2662         0     36572     13310    580422   no data   no data
208.08/52.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
208.08/52.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
208.08/52.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
208.08/52.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
208.08/52.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
208.08/52.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
208.08/52.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
208.08/52.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
208.08/52.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
210.51/52.78	c lits-rem:       527  cl-subs:     1388  v-elim:      0  v-fix:    0  time:  0.62 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    35184 cl shrink        0 lits rem          0 time: 0.01
211.28/52.94	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.15
211.28/52.94	c calculated reachability. Time: 0.00
211.28/52.94	c  N st    57    537428       125      2662         0     35184     13310    543704   no data   no data
303.56/76.03	c  N st    58    701413       125      2662         0     62922     13310   1200284   no data   no data
363.09/90.97	c  N st    59    806144       125      2662         0     57348     13310   1018173   no data   no data
363.09/90.97	c  S st    59    806144       125      2662         0     57348     13310   1018173   no data   no data
363.88/91.14	c  S st    59    806648       125      2662         0     57842     13310   1031216   no data   no data
363.88/91.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
363.88/91.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
363.88/91.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
363.88/91.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
363.88/91.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
363.88/91.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
363.88/91.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
363.88/91.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
364.30/91.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
381.45/95.58	c lits-rem:      1500  cl-subs:     5437  v-elim:      0  v-fix:    0  time:  4.37 s
381.45/95.58	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
381.45/95.59	c vivif2 --  cl tried    52405 cl shrink        0 lits rem          0 time: 0.01
382.65/95.86	c asymm  cl-useful: 0/2609/2662 lits-rem:0 time: 0.27
382.65/95.86	c calculated reachability. Time: 0.00
382.65/95.86	c  N st    59    806648       125      2662         0     52405     13310    899370   no data   no data
548.43/137.37	c  F st    60   1071875       125      2662         0     67619     13310   1199876   no data   no data
548.43/137.37	c  N st    60   1071875       125      2662         0     67619     13310   1199876   no data   no data
552.82/138.40	c Decided on static restart strategy
570.40/142.81	c  N st    70   1100180       125      2662         0     52306     13310    790501   no data   no data
601.57/150.61	c  N st    72   1136173       125      2662         0     43055     13310    528529   no data   no data
622.32/155.83	c  N st    73   1168565       125      2662         0     73440     13310   1349121   no data   no data
653.48/163.60	c  N st    74   1209973       125      2662         0     68348     13310   1197033   no data   no data
653.48/163.60	c  S st    74   1209973       125      2662         0     68348     13310   1197033   no data   no data
654.30/163.87	c  S st    74   1210476       125      2662         0     68831     13310   1209806   no data   no data
654.30/163.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
654.70/163.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.04
654.70/163.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
654.70/163.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
654.70/163.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
654.70/163.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
654.70/163.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
654.70/163.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
654.70/163.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
707.03/177.02	c lits-rem:      2080  cl-subs:     4739  v-elim:      0  v-fix:    0  time: 13.04 s
707.03/177.02	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
707.03/177.04	c vivif2 --  cl tried    64092 cl shrink        0 lits rem          0 time: 0.02
709.01/177.56	c asymm  cl-useful: 0/2078/2662 lits-rem:0 time: 0.52
709.01/177.57	c calculated reachability. Time: 0.00
709.01/177.57	c  N st    74   1210476       125      2662         0     64092     13310   1082964   no data   no data
767.32/192.12	c  N st    75   1283360       125      2662         0     87488     13310   1694994   no data   no data
872.78/218.58	c  N st    76   1392685       125      2662         0     49116     13310    609254   no data   no data
1006.61/252.05	c  N st    77   1556669       125      2662         0     53768     13310    695505   no data   no data
1144.41/286.50	c  N st    78   1710476       125      2662         0     93535     13310   1698979   no data   no data
1144.41/286.50	c  S st    78   1710476       125      2662         0     93535     13310   1698979   no data   no data
1145.61/286.81	c  S st    78   1710982       125      2662         0     94031     13310   1712020   no data   no data
1145.61/286.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1145.61/286.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1145.61/286.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1145.61/286.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1145.61/286.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1145.61/286.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1145.61/286.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1145.61/286.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1146.01/286.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1302.20/326.03	c lits-rem:      2189  cl-subs:    10523  v-elim:      0  v-fix:    0  time: 39.09 s
1302.20/326.03	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1302.20/326.06	c vivif2 --  cl tried    83508 cl shrink        0 lits rem          0 time: 0.03
1303.00/326.28	c asymm  cl-useful: 0/584/2662 lits-rem:0 time: 0.22
1303.00/326.28	c calculated reachability. Time: 0.00
1303.00/326.28	c  N st    78   1710982       125      2662         0     83508     13310   1457984   no data   no data
1638.96/410.38	c  N st    79   2079947       125      2662         0     95094     13310   1645721   no data   no data
1775.17/444.49	c  N st    80   2210984       125      2662         0     99397     13310   1773308   no data   no data
1775.17/444.49	c  S st    80   2210984       125      2662         0     99397     13310   1773308   no data   no data
1776.75/444.84	c  S st    80   2211489       125      2662         0     99883     13310   1786466   no data   no data
1776.75/444.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1776.75/444.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1776.75/444.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1776.75/444.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1776.75/444.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1776.75/444.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1776.75/444.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1777.15/444.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1777.15/444.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1847.06/462.49	c lits-rem:      2499  cl-subs:     9444  v-elim:      0  v-fix:    0  time: 17.52 s
1847.06/462.49	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1847.46/462.51	c vivif2 --  cl tried    90439 cl shrink        0 lits rem          0 time: 0.02
1848.66/462.86	c asymm  cl-useful: 0/1577/2662 lits-rem:0 time: 0.35
1848.66/462.86	c calculated reachability. Time: 0.00
1848.66/462.86	c  N st    80   2211489       125      2662         0     90439     13310   1543899   no data   no data
2395.90/599.83	c  N st    81   2711489       125      2662         0    112900     13310   2018116   no data   no data
2395.90/599.83	c  S st    81   2711489       125      2662         0    112900     13310   2018116   no data   no data
2397.11/600.20	c  S st    81   2711992       125      2662         0    113388     13310   2031429   no data   no data
2397.51/600.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2397.51/600.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2397.51/600.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2397.51/600.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2397.51/600.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2397.51/600.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2397.51/600.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2397.51/600.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2397.91/600.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2504.18/626.90	c lits-rem:      3338  cl-subs:    12213  v-elim:      0  v-fix:    0  time: 26.55 s
2504.18/626.90	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2504.18/626.93	c vivif2 --  cl tried   101175 cl shrink        0 lits rem          0 time: 0.02
2505.36/627.25	c asymm  cl-useful: 0/1085/2662 lits-rem:0 time: 0.32
2505.36/627.25	c calculated reachability. Time: 0.00
2505.36/627.25	c  N st    81   2711992       125      2662         0    101175     13310   1727596   no data   no data
3124.91/782.51	c  N st    82   3211994       125      2662         0     78927     13310   1003022   no data   no data
3124.91/782.51	c  S st    82   3211994       125      2662         0     78927     13310   1003022   no data   no data
3125.71/782.76	c  S st    82   3212498       125      2662         0     79409     13310   1015927   no data   no data
3125.71/782.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3126.11/782.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
3126.11/782.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3126.11/782.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3126.11/782.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3126.11/782.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3126.11/782.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3126.11/782.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3126.11/782.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3130.50/783.98	c lits-rem:       303  cl-subs:     1534  v-elim:      0  v-fix:    0  time:  1.12 s
3130.50/783.98	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3130.50/783.99	c vivif2 --  cl tried    77875 cl shrink        0 lits rem          0 time: 0.01
3132.12/784.31	c asymm  cl-useful: 0/1791/2662 lits-rem:0 time: 0.31
3132.12/784.31	c calculated reachability. Time: 0.00
3132.12/784.31	c  N st    82   3212498       125      2662         0     77875     13310    980398   no data   no data
3801.59/951.96	c  N st    83   3712498       125      2662         0     88027     13310   1161659   no data   no data
3801.59/951.96	c  S st    83   3712498       125      2662         0     88027     13310   1161659   no data   no data
3802.79/952.23	c  S st    83   3713003       125      2662         0     88512     13310   1174216   no data   no data
3802.79/952.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3802.79/952.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3802.79/952.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3802.79/952.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3802.79/952.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3802.79/952.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3802.79/952.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3803.19/952.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3803.19/952.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3811.58/954.40	c lits-rem:       437  cl-subs:     2315  v-elim:      0  v-fix:    0  time:  2.06 s
3811.58/954.40	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3811.58/954.42	c vivif2 --  cl tried    86197 cl shrink        0 lits rem          0 time: 0.02
3812.38/954.63	c asymm  cl-useful: 0/871/2662 lits-rem:0 time: 0.21
3812.38/954.63	c calculated reachability. Time: 0.00
3812.38/954.63	c  N st    83   3713003       125      2662         0     86197     13310   1114592   no data   no data
3855.92/965.50	c  F st    84   3751562       125      2662         0    122219     13310   2066796   no data   no data
3855.92/965.50	c  N st    84   3751562       125      2662         0    122219     13310   2066796   no data   no data
3865.52/967.91	c Decided on static restart strategy
3904.65/977.71	c  N st    94   3779874       125      2662         0    148828     13310   2768324   no data   no data
3950.58/989.20	c  N st    96   3815866       125      2662         0    103527     13310   1574919   no data   no data
4003.31/1002.40	c  N st    97   3848258       125      2662         0    134006     13310   2406471   no data   no data
4081.60/1022.03	c  N st    98   3896848       125      2662         0     98888     13310   1407191   no data   no data
4185.87/1048.12	c  N st    99   3969730       125      2662         0     85747     13310   1054054   no data   no data
4335.69/1085.61	c  N st   100   4079053       125      2662         0    105484     13310   1555276   no data   no data
4507.46/1128.67	c  N st   101   4213005       125      2662         0    147461     13310   2626917   no data   no data
4507.46/1128.67	c  S st   101   4213005       125      2662         0    147461     13310   2626917   no data   no data
4509.43/1129.16	c  S st   101   4213508       125      2662         0    147936     13310   2639940   no data   no data
4509.43/1129.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4509.83/1129.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
4509.83/1129.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4509.83/1129.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4509.83/1129.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4509.83/1129.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4509.83/1129.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4509.83/1129.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4510.23/1129.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4714.35/1180.44	c lits-rem:      3552  cl-subs:    15889  v-elim:      0  v-fix:    0  time: 51.07 s
4714.35/1180.44	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
4714.35/1180.48	c vivif2 --  cl tried   132047 cl shrink        0 lits rem          0 time: 0.04
4716.35/1180.98	c asymm  cl-useful: 0/1157/2662 lits-rem:0 time: 0.51
4716.35/1180.99	c calculated reachability. Time: 0.00
4716.35/1180.99	c  N st   101   4213508       125      2662         0    132047     13310   2244975   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-3174249-1304115997/watcher-3174249-1304115997 -o /tmp/evaluation-result-3174249-1304115997/solver-3174249-1304115997 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174249-1304115997.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: 5.91 7.61 7.58 6/180 23139
/proc/meminfo: memFree=31045008/32951124 swapFree=67103364/67111528
[pid=23139] ppid=23137 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/23139/stat : 23139 (strangenight2-m) R 23137 23139 23098 0 -1 4202496 414 0 0 0 0 0 0 0 22 0 4 0 601830384 52441088 353 33554432000 4194304 4627427 140733411319504 18446744073709551615 47091880847286 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23139/statm: 12803 353 303 106 0 7774 0
[pid=23139/tid=23140] ppid=23137 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/23139/task/23140/stat : 23140 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 5 0 0 0 0 0 0 0 23 0 4 0 601830384 52441088 353 33554432000 4194304 4627427 140733411319504 18446744073709551615 224284925883 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23139/tid=23141] ppid=23137 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/23139/task/23141/stat : 23141 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 601830384 52441088 353 33554432000 4194304 4627427 140733411319504 18446744073709551615 47091880847286 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23139/tid=23142] ppid=23137 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/23139/task/23142/stat : 23142 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 601830384 52441088 353 33554432000 4194304 4627427 140733411319504 18446744073709551615 224279972950 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0302619 s]
/proc/loadavg: 5.91 7.61 7.58 6/180 23139
/proc/meminfo: memFree=31045008/32951124 swapFree=67103364/67111528
[pid=23139] ppid=23137 vsize=216884 CPUtime=0.1 cores=1,3,5,7
/proc/23139/stat : 23139 (strangenight2-m) R 23137 23139 23098 0 -1 4202496 1461 0 0 0 10 0 0 0 18 0 4 0 601830384 222089216 1295 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23139/statm: 54221 1295 383 106 0 49192 0
[pid=23139/tid=23140] ppid=23137 vsize=216884 CPUtime=0.02 cores=1,3,5,7
/proc/23139/task/23140/stat : 23140 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 325 0 0 0 2 0 0 0 18 0 4 0 601830384 222089216 1295 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23139/tid=23141] ppid=23137 vsize=216884 CPUtime=0.02 cores=1,3,5,7
/proc/23139/task/23141/stat : 23141 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 274 0 0 0 2 0 0 0 24 0 4 0 601830384 222089216 1295 33554432000 4194304 4627427 140733411319504 18446744073709551615 4348187 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23139/tid=23142] ppid=23137 vsize=216884 CPUtime=0.02 cores=1,3,5,7
/proc/23139/task/23142/stat : 23142 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 160 0 0 0 2 0 0 0 18 0 4 0 601830384 222089216 1295 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 216884

[startup+0.10025 s]
/proc/loadavg: 5.91 7.61 7.58 6/180 23139
/proc/meminfo: memFree=31045008/32951124 swapFree=67103364/67111528
[pid=23139] ppid=23137 vsize=217028 CPUtime=0.38 cores=1,3,5,7
/proc/23139/stat : 23139 (strangenight2-m) R 23137 23139 23098 0 -1 4202496 1852 0 0 0 38 0 0 0 18 0 4 0 601830384 222236672 1686 33554432000 4194304 4627427 140733411319504 18446744073709551615 4310117 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23139/statm: 54257 1686 383 106 0 49228 0
[pid=23139/tid=23140] ppid=23137 vsize=217028 CPUtime=0.09 cores=1,3,5,7
/proc/23139/task/23140/stat : 23140 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 421 0 0 0 9 0 0 0 18 0 4 0 601830384 222236672 1686 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23139/tid=23141] ppid=23137 vsize=217028 CPUtime=0.09 cores=1,3,5,7
/proc/23139/task/23141/stat : 23141 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 372 0 0 0 9 0 0 0 24 0 4 0 601830384 222236672 1686 33554432000 4194304 4627427 140733411319504 18446744073709551615 4332281 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23139/tid=23142] ppid=23137 vsize=217028 CPUtime=0.09 cores=1,3,5,7
/proc/23139/task/23142/stat : 23142 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 257 0 0 0 9 0 0 0 18 0 4 0 601830384 222236672 1686 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 217028

[startup+0.300217 s]
/proc/loadavg: 5.91 7.61 7.58 6/180 23139
/proc/meminfo: memFree=31045008/32951124 swapFree=67103364/67111528
[pid=23139] ppid=23137 vsize=218908 CPUtime=1.17 cores=1,3,5,7
/proc/23139/stat : 23139 (strangenight2-m) R 23137 23139 23098 0 -1 4202496 3115 0 0 0 117 0 0 0 18 0 4 0 601830384 224161792 2327 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309195 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23139/statm: 54727 2327 384 106 0 49698 0
[pid=23139/tid=23140] ppid=23137 vsize=218908 CPUtime=0.29 cores=1,3,5,7
/proc/23139/task/23140/stat : 23140 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 741 0 0 0 29 0 0 0 18 0 4 0 601830384 224161792 2327 33554432000 4194304 4627427 140733411319504 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23139/tid=23141] ppid=23137 vsize=218908 CPUtime=0.29 cores=1,3,5,7
/proc/23139/task/23141/stat : 23141 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 705 0 0 0 29 0 0 0 25 0 4 0 601830384 224161792 2327 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309122 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23139/tid=23142] ppid=23137 vsize=218908 CPUtime=0.29 cores=1,3,5,7
/proc/23139/task/23142/stat : 23142 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 558 0 0 0 29 0 0 0 18 0 4 0 601830384 224161792 2327 33554432000 4194304 4627427 140733411319504 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 218908

[startup+0.70115 s]
/proc/loadavg: 5.91 7.61 7.58 6/180 23139
/proc/meminfo: memFree=31045008/32951124 swapFree=67103364/67111528
[pid=23139] ppid=23137 vsize=220660 CPUtime=2.77 cores=1,3,5,7
/proc/23139/stat : 23139 (strangenight2-m) R 23137 23139 23098 0 -1 4202496 5564 0 0 0 277 0 0 0 18 0 4 0 601830384 225955840 2648 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23139/statm: 55165 2648 384 106 0 50136 0
[pid=23139/tid=23140] ppid=23137 vsize=220660 CPUtime=0.69 cores=1,3,5,7
/proc/23139/task/23140/stat : 23140 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 1366 0 0 0 69 0 0 0 18 0 4 0 601830384 225955840 2648 33554432000 4194304 4627427 140733411319504 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23139/tid=23141] ppid=23137 vsize=220660 CPUtime=0.69 cores=1,3,5,7
/proc/23139/task/23141/stat : 23141 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 1309 0 0 0 69 0 0 0 25 0 4 0 601830384 225955840 2648 33554432000 4194304 4627427 140733411319504 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23139/tid=23142] ppid=23137 vsize=220660 CPUtime=0.69 cores=1,3,5,7
/proc/23139/task/23142/stat : 23142 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 1160 0 0 0 69 0 0 0 18 0 4 0 601830384 225955840 2648 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 220660

[startup+1.50102 s]
/proc/loadavg: 5.91 7.61 7.58 10/184 23143
/proc/meminfo: memFree=31026376/32951124 swapFree=67103364/67111528
[pid=23139] ppid=23137 vsize=221700 CPUtime=5.97 cores=1,3,5,7
/proc/23139/stat : 23139 (strangenight2-m) R 23137 23139 23098 0 -1 4202496 11409 0 0 0 595 2 0 0 20 0 4 0 601830384 227020800 5728 33554432000 4194304 4627427 140733411319504 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23139/statm: 55425 5728 388 106 0 50396 0
[pid=23139/tid=23140] ppid=23137 vsize=221700 CPUtime=1.48 cores=1,3,5,7
/proc/23139/task/23140/stat : 23140 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 3383 0 0 0 148 0 0 0 20 0 4 0 601830384 227020800 5728 33554432000 4194304 4627427 140733411319504 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23139/tid=23141] ppid=23137 vsize=221700 CPUtime=1.48 cores=1,3,5,7
/proc/23139/task/23141/stat : 23141 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 2221 0 0 0 148 0 0 0 25 0 4 0 601830384 227020800 5728 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23139/tid=23142] ppid=23137 vsize=221700 CPUtime=1.49 cores=1,3,5,7
/proc/23139/task/23142/stat : 23142 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 2046 0 0 0 149 0 0 0 20 0 4 0 601830384 227020800 5728 33554432000 4194304 4627427 140733411319504 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 221700

[startup+3.10075 s]
/proc/loadavg: 5.91 7.61 7.58 10/184 23143
/proc/meminfo: memFree=30993640/32951124 swapFree=67103364/67111528
[pid=23139] ppid=23137 vsize=230652 CPUtime=12.36 cores=1,3,5,7
/proc/23139/stat : 23139 (strangenight2-m) R 23137 23139 23098 0 -1 4202496 20566 0 0 0 1233 3 0 0 25 0 4 0 601830384 236187648 10874 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309149 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23139/statm: 57663 10874 388 106 0 52634 0
[pid=23139/tid=23140] ppid=23137 vsize=230652 CPUtime=3.09 cores=1,3,5,7
/proc/23139/task/23140/stat : 23140 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 4554 0 0 0 308 1 0 0 25 0 4 0 601830384 236187648 10874 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23139/tid=23141] ppid=23137 vsize=230652 CPUtime=3.08 cores=1,3,5,7
/proc/23139/task/23141/stat : 23141 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 5425 0 0 0 307 1 0 0 25 0 4 0 601830384 236187648 10874 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23139/tid=23142] ppid=23137 vsize=230652 CPUtime=3.08 cores=1,3,5,7
/proc/23139/task/23142/stat : 23142 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 5028 0 0 0 308 0 0 0 25 0 4 0 601830384 236187648 10874 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 230652

[startup+6.30022 s]
/proc/loadavg: 6.08 7.62 7.58 10/184 23143
/proc/meminfo: memFree=30948164/32951124 swapFree=67103364/67111528
[pid=23139] ppid=23137 vsize=240948 CPUtime=25.14 cores=1,3,5,7
/proc/23139/stat : 23139 (strangenight2-m) R 23137 23139 23098 0 -1 4202496 31382 0 0 0 2509 5 0 0 25 0 4 0 601830384 246730752 14729 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23139/statm: 60237 14729 388 106 0 55208 0
[pid=23139/tid=23140] ppid=23137 vsize=240948 CPUtime=6.28 cores=1,3,5,7
/proc/23139/task/23140/stat : 23140 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 8029 0 0 0 627 1 0 0 25 0 4 0 601830384 246730752 14729 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23139/tid=23141] ppid=23137 vsize=240948 CPUtime=6.26 cores=1,3,5,7
/proc/23139/task/23141/stat : 23141 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 7845 0 0 0 625 1 0 0 25 0 4 0 601830384 246730752 14729 33554432000 4194304 4627427 140733411319504 18446744073709551615 4299695 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23139/tid=23142] ppid=23137 vsize=240948 CPUtime=6.29 cores=1,3,5,7
/proc/23139/task/23142/stat : 23142 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 7452 0 0 0 628 1 0 0 25 0 4 0 601830384 246730752 14729 33554432000 4194304 4627427 140733411319504 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 240948

[startup+12.7012 s]
/proc/loadavg: 6.23 7.62 7.58 10/184 23143
/proc/meminfo: memFree=30899376/32951124 swapFree=67103364/67111528
[pid=23139] ppid=23137 vsize=241892 CPUtime=50.71 cores=1,3,5,7
/proc/23139/stat : 23139 (strangenight2-m) R 23137 23139 23098 0 -1 4202496 48007 0 0 0 5062 9 0 0 25 0 4 0 601830384 247697408 18763 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23139/statm: 60473 18763 388 106 0 55444 0
[pid=23139/tid=23140] ppid=23137 vsize=241892 CPUtime=12.68 cores=1,3,5,7
/proc/23139/task/23140/stat : 23140 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 12572 0 0 0 1266 2 0 0 25 0 4 0 601830384 247697408 18763 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23139/tid=23141] ppid=23137 vsize=241892 CPUtime=12.62 cores=1,3,5,7
/proc/23139/task/23141/stat : 23141 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 10976 0 0 0 1260 2 0 0 25 0 4 0 601830384 247697408 18763 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23139/tid=23142] ppid=23137 vsize=241892 CPUtime=12.69 cores=1,3,5,7
/proc/23139/task/23142/stat : 23142 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 12245 0 0 0 1267 2 0 0 25 0 4 0 601830384 247697408 18763 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 241892

[startup+25.501 s]
/proc/loadavg: 6.62 7.64 7.59 10/184 23145
/proc/meminfo: memFree=30838244/32951124 swapFree=67103364/67111528
[pid=23139] ppid=23137 vsize=265236 CPUtime=101.84 cores=1,3,5,7
/proc/23139/stat : 23139 (strangenight2-m) R 23137 23139 23098 0 -1 4202496 69673 0 0 0 10168 16 0 0 25 0 4 0 601830384 271601664 28138 33554432000 4194304 4627427 140733411319504 18446744073709551615 4324120 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23139/statm: 66309 28138 388 106 0 61280 0
[pid=23139/tid=23140] ppid=23137 vsize=265236 CPUtime=25.49 cores=1,3,5,7
/proc/23139/task/23140/stat : 23140 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 19568 0 0 0 2545 4 0 0 25 0 4 0 601830384 271601664 28138 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23139/tid=23141] ppid=23137 vsize=265236 CPUtime=25.35 cores=1,3,5,7
/proc/23139/task/23141/stat : 23141 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 16008 0 0 0 2532 3 0 0 25 0 4 0 601830384 271601664 28138 33554432000 4194304 4627427 140733411319504 18446744073709551615 4338622 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23139/tid=23142] ppid=23137 vsize=265236 CPUtime=25.49 cores=1,3,5,7
/proc/23139/task/23142/stat : 23142 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 18349 0 0 0 2545 4 0 0 25 0 4 0 601830384 271601664 28138 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 265236

[startup+51.1008 s]
/proc/loadavg: 7.16 7.68 7.60 10/184 23145
/proc/meminfo: memFree=30794628/32951124 swapFree=67103364/67111528
[pid=23139] ppid=23137 vsize=246940 CPUtime=204.1 cores=1,3,5,7
/proc/23139/stat : 23139 (strangenight2-m) R 23137 23139 23098 0 -1 4202496 106602 0 0 0 20385 25 0 0 25 0 4 0 601830384 252866560 31048 33554432000 4194304 4627427 140733411319504 18446744073709551615 4310126 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23139/statm: 61735 31048 388 106 0 56706 0
[pid=23139/tid=23140] ppid=23137 vsize=246940 CPUtime=51.08 cores=1,3,5,7
/proc/23139/task/23140/stat : 23140 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 29920 0 0 0 5102 6 0 0 25 0 4 0 601830384 252866560 31048 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23139/tid=23141] ppid=23137 vsize=246940 CPUtime=50.81 cores=1,3,5,7
/proc/23139/task/23141/stat : 23141 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 25411 0 0 0 5076 5 0 0 25 0 4 0 601830384 252866560 31048 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23139/tid=23142] ppid=23137 vsize=246940 CPUtime=51.08 cores=1,3,5,7
/proc/23139/task/23142/stat : 23142 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 27383 0 0 0 5102 6 0 0 25 0 4 0 601830384 252866560 31048 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 246940

[startup+102.306 s]
/proc/loadavg: 7.76 7.76 7.63 10/184 23147
/proc/meminfo: memFree=30729232/32951124 swapFree=67103364/67111528
[pid=23139] ppid=23137 vsize=335232 CPUtime=408.63 cores=1,3,5,7
/proc/23139/stat : 23139 (strangenight2-m) R 23137 23139 23098 0 -1 4202496 171066 0 0 0 40822 41 0 0 25 0 4 0 601830384 343277568 42899 33554432000 4194304 4627427 140733411319504 18446744073709551615 4310117 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23139/statm: 83808 42899 388 106 0 78779 0
[pid=23139/tid=23140] ppid=23137 vsize=335232 CPUtime=102.28 cores=1,3,5,7
/proc/23139/task/23140/stat : 23140 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 42639 0 0 0 10219 9 0 0 25 0 4 0 601830384 343277568 42899 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23139/tid=23141] ppid=23137 vsize=335232 CPUtime=101.74 cores=1,3,5,7
/proc/23139/task/23141/stat : 23141 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 43054 0 0 0 10164 10 0 0 25 0 4 0 601830384 343277568 42899 33554432000 4194304 4627427 140733411319504 18446744073709551615 4427854 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23139/tid=23142] ppid=23137 vsize=335232 CPUtime=102.29 cores=1,3,5,7
/proc/23139/task/23142/stat : 23142 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 44190 0 0 0 10218 11 0 0 25 0 4 0 601830384 343277568 42899 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 335232

[startup+162.3 s]

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

[pid=23139] ppid=23137 vsize=586364 CPUtime=2805.35 cores=1,3,5,7
/proc/23139/stat : 23139 (strangenight2-m) R 23137 23139 23098 0 -1 4202496 514761 0 0 0 280353 182 0 0 25 0 4 0 601830384 600436736 107862 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23139/statm: 146591 107862 388 106 0 141562 0
[pid=23139/tid=23140] ppid=23137 vsize=586364 CPUtime=702.28 cores=1,3,5,7
/proc/23139/task/23140/stat : 23140 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 130506 0 0 0 70186 42 0 0 25 0 4 0 601830384 600436736 107862 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23139/tid=23141] ppid=23137 vsize=586364 CPUtime=698.47 cores=1,3,5,7
/proc/23139/task/23141/stat : 23141 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 129945 0 0 0 69797 50 0 0 25 0 4 0 601830384 600436736 107862 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23139/tid=23142] ppid=23137 vsize=586364 CPUtime=702.27 cores=1,3,5,7
/proc/23139/task/23142/stat : 23142 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 127887 0 0 0 70186 41 0 0 25 0 4 0 601830384 600436736 107862 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.35
Current children cumulated vsize (KiB) 586364

[startup+762.307 s]
/proc/loadavg: 8.49 8.14 7.87 10/184 23166
/proc/meminfo: memFree=30281380/32951124 swapFree=67103364/67111528
[pid=23139] ppid=23137 vsize=586688 CPUtime=3044.24 cores=1,3,5,7
/proc/23139/stat : 23139 (strangenight2-m) R 23137 23139 23098 0 -1 4202496 534918 0 0 0 304232 192 0 0 25 0 4 0 601830384 600768512 106477 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23139/statm: 146672 106477 388 106 0 141643 0
[pid=23139/tid=23140] ppid=23137 vsize=586688 CPUtime=761.49 cores=1,3,5,7
/proc/23139/task/23140/stat : 23140 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 131628 0 0 0 76106 43 0 0 25 0 4 0 601830384 600768512 106477 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309200 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23139/tid=23141] ppid=23137 vsize=586688 CPUtime=758.15 cores=1,3,5,7
/proc/23139/task/23141/stat : 23141 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 138315 0 0 0 75762 53 0 0 25 0 4 0 601830384 600768512 106477 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23139/tid=23142] ppid=23137 vsize=586688 CPUtime=762.27 cores=1,3,5,7
/proc/23139/task/23142/stat : 23142 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 134072 0 0 0 76183 44 0 0 25 0 4 0 601830384 600768512 106477 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3044.24
Current children cumulated vsize (KiB) 586688

[startup+822.301 s]
/proc/loadavg: 8.33 8.16 7.89 10/184 23168
/proc/meminfo: memFree=30225396/32951124 swapFree=67103364/67111528
[pid=23139] ppid=23137 vsize=587544 CPUtime=3283.9 cores=1,3,5,7
/proc/23139/stat : 23139 (strangenight2-m) R 23137 23139 23098 0 -1 4202496 550114 0 0 0 328191 199 0 0 25 0 4 0 601830384 601645056 109224 33554432000 4194304 4627427 140733411319504 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23139/statm: 146886 109224 390 106 0 141857 0
[pid=23139/tid=23140] ppid=23137 vsize=587544 CPUtime=821.48 cores=1,3,5,7
/proc/23139/task/23140/stat : 23140 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 134640 0 0 0 82104 44 0 0 25 0 4 0 601830384 601645056 109224 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23139/tid=23141] ppid=23137 vsize=587544 CPUtime=817.82 cores=1,3,5,7
/proc/23139/task/23141/stat : 23141 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 143919 0 0 0 81726 56 0 0 25 0 4 0 601830384 601645056 109224 33554432000 4194304 4627427 140733411319504 18446744073709551615 4420208 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23139/tid=23142] ppid=23137 vsize=587544 CPUtime=822.27 cores=1,3,5,7
/proc/23139/task/23142/stat : 23142 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 140224 0 0 0 82180 47 0 0 25 0 4 0 601830384 601645056 109224 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3283.9
Current children cumulated vsize (KiB) 587544

[startup+882.301 s]
/proc/loadavg: 8.15 8.14 7.90 10/184 23170
/proc/meminfo: memFree=30203656/32951124 swapFree=67103364/67111528
[pid=23139] ppid=23137 vsize=583220 CPUtime=3523.57 cores=1,3,5,7
/proc/23139/stat : 23139 (strangenight2-m) R 23137 23139 23098 0 -1 4202496 566857 0 0 0 352152 205 0 0 25 0 4 0 601830384 597217280 114779 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23139/statm: 145805 114779 390 106 0 140776 0
[pid=23139/tid=23140] ppid=23137 vsize=583220 CPUtime=881.48 cores=1,3,5,7
/proc/23139/task/23140/stat : 23140 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 137869 0 0 0 88103 45 0 0 25 0 4 0 601830384 597217280 114779 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23139/tid=23141] ppid=23137 vsize=583220 CPUtime=877.49 cores=1,3,5,7
/proc/23139/task/23141/stat : 23141 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 144591 0 0 0 87693 56 0 0 25 0 4 0 601830384 597217280 114779 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23139/tid=23142] ppid=23137 vsize=583220 CPUtime=882.27 cores=1,3,5,7
/proc/23139/task/23142/stat : 23142 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 146764 0 0 0 88177 50 0 0 25 0 4 0 601830384 597217280 114779 33554432000 4194304 4627427 140733411319504 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3523.57
Current children cumulated vsize (KiB) 583220

[startup+942.301 s]
/proc/loadavg: 8.17 8.14 7.91 10/184 23172
/proc/meminfo: memFree=30206336/32951124 swapFree=67103364/67111528
[pid=23139] ppid=23137 vsize=558488 CPUtime=3763.25 cores=1,3,5,7
/proc/23139/stat : 23139 (strangenight2-m) R 23137 23139 23098 0 -1 4202496 587752 0 0 0 376110 215 0 0 25 0 4 0 601830384 571891712 112508 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309142 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23139/statm: 139622 112508 390 106 0 134593 0
[pid=23139/tid=23140] ppid=23137 vsize=558488 CPUtime=941.49 cores=1,3,5,7
/proc/23139/task/23140/stat : 23140 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 143540 0 0 0 94101 48 0 0 25 0 4 0 601830384 571891712 112508 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23139/tid=23141] ppid=23137 vsize=558488 CPUtime=937.16 cores=1,3,5,7
/proc/23139/task/23141/stat : 23141 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 147119 0 0 0 93660 56 0 0 25 0 4 0 601830384 571891712 112508 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23139/tid=23142] ppid=23137 vsize=558488 CPUtime=942.27 cores=1,3,5,7
/proc/23139/task/23142/stat : 23142 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 152538 0 0 0 94174 53 0 0 25 0 4 0 601830384 571891712 112508 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3763.25
Current children cumulated vsize (KiB) 558488

[startup+1002.3 s]
/proc/loadavg: 8.27 8.16 7.93 10/184 23174
/proc/meminfo: memFree=30169960/32951124 swapFree=67103364/67111528
[pid=23139] ppid=23137 vsize=558460 CPUtime=4002.91 cores=1,3,5,7
/proc/23139/stat : 23139 (strangenight2-m) R 23137 23139 23098 0 -1 4202496 612390 0 0 0 400066 225 0 0 25 0 4 0 601830384 571863040 112328 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23139/statm: 139615 112328 390 106 0 134586 0
[pid=23139/tid=23140] ppid=23137 vsize=558460 CPUtime=1001.48 cores=1,3,5,7
/proc/23139/task/23140/stat : 23140 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 150299 0 0 0 100098 50 0 0 25 0 4 0 601830384 571863040 112328 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23139/tid=23141] ppid=23137 vsize=558460 CPUtime=996.83 cores=1,3,5,7
/proc/23139/task/23141/stat : 23141 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 153341 0 0 0 99624 59 0 0 25 0 4 0 601830384 571863040 112328 33554432000 4194304 4627427 140733411319504 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23139/tid=23142] ppid=23137 vsize=558460 CPUtime=1002.27 cores=1,3,5,7
/proc/23139/task/23142/stat : 23142 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 160365 0 0 0 100170 57 0 0 25 0 4 0 601830384 571863040 112328 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4002.91
Current children cumulated vsize (KiB) 558460

[startup+1062.3 s]
/proc/loadavg: 8.23 8.16 7.94 10/184 23174
/proc/meminfo: memFree=30165096/32951124 swapFree=67103364/67111528
[pid=23139] ppid=23137 vsize=613984 CPUtime=4242.6 cores=1,3,5,7
/proc/23139/stat : 23139 (strangenight2-m) R 23137 23139 23098 0 -1 4202496 635171 0 0 0 424022 238 0 0 25 0 4 0 601830384 628719616 113447 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23139/statm: 153496 113447 390 106 0 148467 0
[pid=23139/tid=23140] ppid=23137 vsize=613984 CPUtime=1061.49 cores=1,3,5,7
/proc/23139/task/23140/stat : 23140 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 157501 0 0 0 106095 54 0 0 25 0 4 0 601830384 628719616 113447 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23139/tid=23141] ppid=23137 vsize=613984 CPUtime=1056.51 cores=1,3,5,7
/proc/23139/task/23141/stat : 23141 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 155273 0 0 0 105590 61 0 0 25 0 4 0 601830384 628719616 113447 33554432000 4194304 4627427 140733411319504 18446744073709551615 4324205 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23139/tid=23142] ppid=23137 vsize=613984 CPUtime=1062.27 cores=1,3,5,7
/proc/23139/task/23142/stat : 23142 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 167029 0 0 0 106167 60 0 0 25 0 4 0 601830384 628719616 113447 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4242.6
Current children cumulated vsize (KiB) 613984

[startup+1122.3 s]
/proc/loadavg: 8.21 8.16 7.95 10/184 23176
/proc/meminfo: memFree=30176348/32951124 swapFree=67103364/67111528
[pid=23139] ppid=23137 vsize=545796 CPUtime=4482.27 cores=1,3,5,7
/proc/23139/stat : 23139 (strangenight2-m) R 23137 23139 23098 0 -1 4202496 658688 0 0 0 447977 250 0 0 25 0 4 0 601830384 558895104 107986 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23139/statm: 136449 107986 390 106 0 131420 0
[pid=23139/tid=23140] ppid=23137 vsize=545796 CPUtime=1121.48 cores=1,3,5,7
/proc/23139/task/23140/stat : 23140 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 164656 0 0 0 112090 58 0 0 25 0 4 0 601830384 558895104 107986 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23139/tid=23141] ppid=23137 vsize=545796 CPUtime=1116.18 cores=1,3,5,7
/proc/23139/task/23141/stat : 23141 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 164074 0 0 0 111553 65 0 0 25 0 4 0 601830384 558895104 107986 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23139/tid=23142] ppid=23137 vsize=545796 CPUtime=1122.27 cores=1,3,5,7
/proc/23139/task/23142/stat : 23142 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 170822 0 0 0 112166 61 0 0 25 0 4 0 601830384 558895104 107986 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4482.27
Current children cumulated vsize (KiB) 545796

[startup+1182.3 s]
/proc/loadavg: 8.19 8.16 7.96 10/184 23178
/proc/meminfo: memFree=30119132/32951124 swapFree=67103364/67111528
[pid=23139] ppid=23137 vsize=677040 CPUtime=4721.94 cores=1,3,5,7
/proc/23139/stat : 23139 (strangenight2-m) R 23137 23139 23098 0 -1 4202496 681845 0 0 0 471933 261 0 0 25 0 4 0 601830384 693288960 119322 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23139/statm: 169260 119322 390 106 0 164231 0
[pid=23139/tid=23140] ppid=23137 vsize=677040 CPUtime=1181.49 cores=1,3,5,7
/proc/23139/task/23140/stat : 23140 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 171574 0 0 0 118088 61 0 0 25 0 4 0 601830384 693288960 119322 33554432000 4194304 4627427 140733411319504 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23139/tid=23141] ppid=23137 vsize=677040 CPUtime=1175.86 cores=1,3,5,7
/proc/23139/task/23141/stat : 23141 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 168844 0 0 0 117517 69 0 0 25 0 4 0 601830384 693288960 119322 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23139/tid=23142] ppid=23137 vsize=677040 CPUtime=1182.26 cores=1,3,5,7
/proc/23139/task/23142/stat : 23142 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 176018 0 0 0 118162 64 0 0 25 0 4 0 601830384 693288960 119322 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4721.94
Current children cumulated vsize (KiB) 677040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.13 8.15 7.96 5/179 23179
/proc/meminfo: memFree=30527108/32951124 swapFree=67103364/67111528
[pid=23139] ppid=23137 vsize=748896 CPUtime=4800.26 cores=1,3,5,7
/proc/23139/stat : 23139 (strangenight2-m) R 23137 23139 23098 0 -1 4202496 692580 0 0 0 479762 264 0 0 25 0 4 0 601830384 766869504 130056 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309300 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23139/statm: 187224 130056 390 106 0 182195 0
[pid=23139/tid=23140] ppid=23137 vsize=748896 CPUtime=1201.09 cores=1,3,5,7
/proc/23139/task/23140/stat : 23140 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 171574 0 0 0 120048 61 0 0 25 0 4 0 601830384 766869504 130056 33554432000 4194304 4627427 140733411319504 18446744073709551615 4420161 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23139/tid=23141] ppid=23137 vsize=748896 CPUtime=1195.35 cores=1,3,5,7
/proc/23139/task/23141/stat : 23141 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 172923 0 0 0 119465 70 0 0 25 0 4 0 601830384 766869504 130056 33554432000 4194304 4627427 140733411319504 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23139/tid=23142] ppid=23137 vsize=748896 CPUtime=1201.87 cores=1,3,5,7
/proc/23139/task/23142/stat : 23142 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 181773 0 0 0 120122 65 0 0 25 0 4 0 601830384 766869504 130056 33554432000 4194304 4627427 140733411319504 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 748896

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

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

[startup+1201.9 s]
/proc/loadavg: 8.13 8.15 7.96 5/179 23179
/proc/meminfo: memFree=30527108/32951124 swapFree=67103364/67111528
[pid=23139] ppid=23137 vsize=748896 CPUtime=4800.26 cores=1,3,5,7
/proc/23139/stat : 23139 (strangenight2-m) R 23137 23139 23098 0 -1 4202496 692580 0 0 0 479762 264 0 0 25 0 4 0 601830384 766869504 130056 33554432000 4194304 4627427 140733411319504 18446744073709551615 4309300 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23139/statm: 187224 130056 390 106 0 182195 0
[pid=23139/tid=23140] ppid=23137 vsize=748896 CPUtime=1201.09 cores=1,3,5,7
/proc/23139/task/23140/stat : 23140 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 171574 0 0 0 120048 61 0 0 25 0 4 0 601830384 766869504 130056 33554432000 4194304 4627427 140733411319504 18446744073709551615 4420161 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23139/tid=23141] ppid=23137 vsize=748896 CPUtime=1195.35 cores=1,3,5,7
/proc/23139/task/23141/stat : 23141 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 172923 0 0 0 119465 70 0 0 25 0 4 0 601830384 766869504 130056 33554432000 4194304 4627427 140733411319504 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23139/tid=23142] ppid=23137 vsize=748896 CPUtime=1201.87 cores=1,3,5,7
/proc/23139/task/23142/stat : 23142 (strangenight2-m) R 23137 23139 23098 0 -1 4202560 181773 0 0 0 120122 65 0 0 25 0 4 0 601830384 766869504 130056 33554432000 4194304 4627427 140733411319504 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 748896

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.93
CPU time (s): 4800.31
CPU user time (s): 4797.64
CPU system time (s): 2.66459
CPU usage (%): 399.382
Max. virtual memory (cumulated for all children) (KiB): 748896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.64
system time used= 2.66459
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 692580
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= 255
involuntary context switches= 33740

runsolver used 1.82972 second user time and 4.74328 second system time

The end

Launcher Data 

Begin job on node118 at 2011-04-30 00:26:37
IDJOB=3174249
IDBENCH=83067
IDSOLVER=1586
FILE ID=node118/3174249-1304115997
RUNJOBID= node118-1304115997-23117
PBS_JOBID= 13170712
Free space on /tmp= 71612 MiB

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

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

MD5SUM BENCH= ad19e852103e6838347ce97648b48b74
RANDOM SEED=1777278253

node118.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.842
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.842
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.75
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.842
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.74
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.842
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.842
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.68
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.842
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.75
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.842
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.842
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	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31045412 kB
Buffers:        368684 kB
Cached:        1133432 kB
SwapCached:       2188 kB
Active:          72868 kB
Inactive:      1491684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31045412 kB
SwapTotal:    67111528 kB
SwapFree:     67103364 kB
Dirty:           11356 kB
Writeback:           0 kB
AnonPages:       61876 kB
Mapped:          15172 kB
Slab:           275796 kB
PageTables:       4888 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   276644 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= 71612 MiB
End job on node118 at 2011-04-30 00:46:41