Trace number 3366655

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.34 1202.85

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v800-c3408-S846876765-035.SATISFIABLE.cnf
MD5SUM0d5f032713ed63748b72ef45ba69a269
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.05599
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of clauses3408
Sum of the clauses size10224
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 33408
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.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-3366655-1305411057.cnf'
0.00/0.00	c -- header says num vars:            800
0.00/0.00	c -- header says num clauses:        3408
0.00/0.00	c -- clauses added:            0 learnts,         3408 normals,            0 xors
0.00/0.00	c -- vars added        800
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       800      3408         0         0     10224         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/3408/3408 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    800 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     26  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     366 undec:      84 neg:     350
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       774      3372         0         0     10258         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.41/0.19	c  N st     8      4921       774      3372         0      4883     10258    161531   no data   no data
1.57/0.49	c  N st    10     11307       774      3372         0      4523     10258    101898   no data   no data
2.77/0.79	c  N st    11     17050       774      3372         0     10221     10258    300860   no data   no data
4.80/1.27	c  F st    12     25000       774      3372         0     12506     10258    375477   no data   no data
4.80/1.27	c  N st    12     25000       774      3372         0     12506     10258    375477   no data   no data
5.96/1.54	c  N dy    18     30001       774      3372         0     10763     10258    282683   no data   no data
5.96/1.54	c  S st    18     30001       774      3372         0     10763     10258    282683   no data   no data
5.96/1.57	c  S st    18     30503       774      3372         0     11265     10258    297817   no data   no data
5.96/1.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
5.96/1.57	c blocked clauses removed:        4 vars:      2 tried:         774 T: 0.00 s
5.96/1.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
5.96/1.57	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.96/1.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
5.96/1.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.36/1.63	c lits-rem:       176  cl-subs:      183  v-elim:      0  v-fix:    0  time:  0.04 s
6.36/1.64	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.01
6.36/1.64	c calculated reachability. Time: 0.00
6.36/1.64	c  N dy    18     30503       772      3368         0     11077     10246    289504   no data   no data
7.15/1.89	c  N dy    30     34601       772      3368         0     15152     10246    419005     21.59     22.85
8.35/2.12	c  N dy    48     38636       772      3368         0     11302     10246    226021     21.11     27.31
9.55/2.41	c  N dy    72     43257       772      3368         0     15897     10246    371824     21.21     22.33
9.95/2.59	c  S st    85     45755       772      3368         0      9481     10246    134878     21.26     19.18
10.35/2.62	c  S st    85     46258       772      3368         0      9982     10246    149670     21.26   no data
10.35/2.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.35/2.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
10.35/2.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.35/2.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.35/2.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.35/2.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
10.35/2.62	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.35/2.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
10.35/2.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.35/2.64	c lits-rem:        16  cl-subs:       14  v-elim:      0  v-fix:    0  time:  0.01 s
10.35/2.64	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
10.35/2.64	c vivif2 --  cl tried     9968 cl shrink        0 lits rem          0 time: 0.00
10.35/2.65	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.01
10.35/2.65	c calculated reachability. Time: 0.00
10.35/2.65	c  N dy    85     46258       772      3368         0      9968     10246    149172     21.26   no data
11.55/2.90	c  N dy   101     50540       772      3368         0     14226     10246    286039     21.24     22.60
12.75/3.22	c  N dy   118     54902       772      3368         0     18563     10246    420524     21.09     22.26
13.58/3.47	c  N dy   136     58950       772      3368         0     12672     10246    204575     21.07     25.97
14.74/3.74	c  N dy   166     62972       772      3368         0     16678     10246    332555     21.24     24.13
15.94/4.05	c  N dy   191     67049       772      3368         0     20741     10246    461544     21.36     22.70
16.73/4.22	c  S st   196     69387       772      3368         0     12123     10246    159062     21.30     20.54
16.73/4.25	c  S st   196     69891       772      3368         0     12627     10246    174022     21.30   no data
16.73/4.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.73/4.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.73/4.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.73/4.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.73/4.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.73/4.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
16.73/4.26	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.73/4.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.73/4.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.73/4.28	c lits-rem:         3  cl-subs:       28  v-elim:      0  v-fix:    0  time:  0.01 s
16.73/4.28	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
16.73/4.28	c vivif2 --  cl tried    12599 cl shrink        0 lits rem          0 time: 0.00
16.73/4.29	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.01
16.73/4.29	c calculated reachability. Time: 0.00
16.73/4.29	c  N dy   196     69891       772      3368         0     12599     10246    172920     21.30   no data
18.33/4.61	c  N dy   219     74668       772      3368         0     17352     10246    321921     21.32     22.68
19.93/5.00	c  N dy   242     79433       772      3368         0     22096     10246    473093     21.36     22.61
21.13/5.38	c  N dy   265     84831       772      3368         0     15531     10246    238381     21.39     22.92
21.95/5.57	c  F st   275     87501       772      3368         0     18184     10246    320363     21.37     19.61
23.11/5.82	c  N st   280     90800       772      3368         0     21462     10246    429249     21.37   no data
25.12/6.30	c  N dy   287     96641       772      3368         0     14326     10246    171995     21.26     22.48
27.10/6.81	c  N dy   323    103215       772      3368         0     20863     10246    382779     21.34     22.79
27.50/6.95	c  S st   330    104836       772      3368         0     22473     10246    432040     21.33   no data
27.90/7.01	c  S st   330    105340       772      3368         0     22977     10246    448042     21.33   no data
27.90/7.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.90/7.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.90/7.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.90/7.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.90/7.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.90/7.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
27.90/7.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.90/7.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.90/7.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.31/7.11	c lits-rem:        95  cl-subs:      213  v-elim:      0  v-fix:    0  time:  0.08 s
28.31/7.11	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
28.31/7.12	c vivif2 --  cl tried    22764 cl shrink        0 lits rem          0 time: 0.01
28.31/7.13	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.01
28.31/7.14	c calculated reachability. Time: 0.00
28.31/7.14	c  N dy   330    105340       772      3368         0     22764     10246    439737     21.33   no data
30.73/7.72	c  N dy   367    112211       772      3368         0     15695     10246    193056     21.37     22.74
32.70/8.29	c  N dy   407    119411       772      3368         0     22840     10246    420594     21.43     22.64
35.90/9.05	c  N dy   443    127374       772      3368         0     15846     10246    168684     21.48     22.64
38.69/9.74	c  N dy   477    135565       772      3368         0     23983     10246    422366     21.44     22.92
42.28/10.67	c  N dy   527    144865       772      3368         0     17338     10246    190250     21.47     22.81
45.46/11.49	c  N dy   572    154586       772      3368         0     27015     10246    499525     21.50     22.78
47.07/11.84	c  S st   582    158011       772      3368         0     30423     10246    608477     21.47     20.01
47.47/11.91	c  S st   582    158513       772      3368         0     30925     10246    625002     21.47   no data
47.47/11.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.47/11.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.47/11.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.47/11.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.47/11.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.47/11.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
47.47/11.92	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.47/11.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.47/11.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.87/12.08	c lits-rem:        95  cl-subs:      263  v-elim:      0  v-fix:    0  time:  0.14 s
47.87/12.08	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
47.87/12.09	c vivif2 --  cl tried    30662 cl shrink        0 lits rem          0 time: 0.01
48.29/12.11	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.02
48.29/12.11	c calculated reachability. Time: 0.00
48.29/12.11	c  N dy   582    158513       772      3368         0     30662     10246    614399     21.47   no data
51.86/13.09	c  N dy   645    168757       772      3368         0     23935     10246    375661     21.52     22.76
56.65/14.21	c  N dy   681    179553       772      3368         0     34660     10246    714622     21.48     23.02
61.04/15.31	c  N dy   735    191327       772      3368         0     28468     10246    496951     21.50     22.68
66.26/16.66	c  N dy   768    203649       772      3368         0     21823     10246    255440     21.43     22.58
71.81/18.07	c  N dy   831    217109       772      3368         0     35203     10246    681078     21.46     22.66
77.80/19.57	c  N dy   908    231178       772      3368         0     29316     10246    469170     21.50     22.72
80.99/20.34	c  S st   941    237772       772      3368         0     35871     10246    677408     21.52   no data
81.39/20.42	c  S st   941    238273       772      3368         0     36372     10246    693432     21.52   no data
81.39/20.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.39/20.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
81.39/20.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
81.39/20.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.39/20.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.39/20.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
81.39/20.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
81.39/20.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
81.39/20.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.19/20.67	c lits-rem:       143  cl-subs:      323  v-elim:      0  v-fix:    0  time:  0.20 s
82.19/20.67	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
82.19/20.67	c vivif2 --  cl tried    36049 cl shrink        0 lits rem          0 time: 0.01
82.59/20.70	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.03
82.59/20.70	c calculated reachability. Time: 0.00
82.59/20.70	c  N dy   941    238273       772      3368         0     36049     10246    680973     21.52   no data
91.37/22.90	c  N dy   998    256494       772      3368         0     33281     10246    568165     21.47     22.86
99.36/24.90	c  N dy  1069    272993       772      3368         0     27808     10246    371052     21.46     22.70
108.53/27.20	c  N dy  1146    290652       772      3368         0     45352     10246    931344     21.46     22.60
115.32/28.91	c  F st  1215    306251       772      3368         0     38002     10246    671565     21.46   no data
116.92/29.33	c  N st  1220    309549       772      3368         0     41284     10246    781993     21.46   no data
118.12/29.60	c Decided on static restart strategy
129.69/32.55	c  N st  1225    334554       772      3368         0     42094     10246    994810     21.46   no data
141.66/35.54	c  N st  1227    357410       772      3368         0     39942     10246   1034214     21.46   no data
141.66/35.54	c  S st  1227    357410       772      3368         0     39942     10246   1034214     21.46   no data
142.06/35.64	c  S st  1227    357911       772      3368         0     40443     10246   1048936     21.46   no data
142.06/35.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
142.06/35.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
142.06/35.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
142.06/35.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
142.06/35.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
142.06/35.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
142.06/35.66	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
142.06/35.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
142.46/35.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.85/36.87	c lits-rem:       228  cl-subs:     1891  v-elim:      0  v-fix:    0  time:  1.16 s
146.85/36.87	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
146.85/36.88	c vivif2 --  cl tried    38552 cl shrink        0 lits rem          0 time: 0.01
147.25/36.91	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.03
147.25/36.92	c calculated reachability. Time: 0.00
147.25/36.92	c  N st  1227    357911       772      3368         0     38552     10246    979656     21.46   no data
168.01/42.13	c  N st  1228    390305       772      3368         0     44825     10246   1194317     21.46   no data
199.53/50.09	c  N st  1229    438894       772      3368         0     38520     10246    851722     21.46   no data
246.62/61.82	c  N st  1230    511776       772      3368         0     52035     10246   1266348     21.46   no data
260.20/65.26	c  N st  1231    536866       772      3368         0     46290     10246   1051086     21.46   no data
260.20/65.26	c  S st  1231    536866       772      3368         0     46290     10246   1051086     21.46   no data
260.59/65.38	c  S st  1231    537371       772      3368         0     46795     10246   1068480     21.46   no data
260.59/65.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
260.99/65.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
260.99/65.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
260.99/65.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
260.99/65.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
260.99/65.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
260.99/65.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
260.99/65.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
260.99/65.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
265.78/66.62	c lits-rem:       816  cl-subs:     1221  v-elim:      0  v-fix:    0  time:  1.17 s
265.78/66.62	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
265.78/66.64	c vivif2 --  cl tried    45574 cl shrink        0 lits rem          0 time: 0.01
265.78/66.68	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.04
265.78/66.68	c calculated reachability. Time: 0.00
265.78/66.68	c  N st  1231    537371       772      3368         0     45574     10246   1021666     21.46   no data
398.69/99.96	c  N st  1232    701355       772      3368         0     39909     10246    661800     21.46   no data
478.53/119.93	c  N st  1233    806056       772      3368         0     69039     10246   1669677     21.46   no data
478.53/119.93	c  S st  1233    806056       772      3368         0     69039     10246   1669677     21.46   no data
479.31/120.12	c  S st  1233    806559       772      3368         0     69542     10246   1685218     21.46   no data
479.31/120.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
479.31/120.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
479.31/120.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
479.31/120.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
479.31/120.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
479.31/120.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
479.31/120.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
479.31/120.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
479.71/120.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
497.27/124.64	c lits-rem:       488  cl-subs:     2463  v-elim:      0  v-fix:    0  time:  4.41 s
497.27/124.64	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
497.27/124.67	c vivif2 --  cl tried    67079 cl shrink        0 lits rem          0 time: 0.02
497.67/124.74	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.07
497.67/124.74	c calculated reachability. Time: 0.00
497.67/124.74	c  N st  1233    806559       772      3368         0     67079     10246   1603039     21.46   no data
733.58/183.89	c  F st  1234   1071875       772      3368         0     82736     10246   2058848     21.46   no data
733.94/183.90	c  N st  1234   1071875       772      3368         0     82736     10246   2058848     21.46   no data
739.53/185.35	c Decided on static restart strategy
757.89/189.92	c  N st  1244   1100180       772      3368         0     66577     10246   1324325     21.46   no data
792.60/198.64	c  N st  1246   1136173       772      3368         0     56840     10246    995507     21.46   no data
823.33/206.32	c  N st  1247   1168566       772      3368         0     88803     10246   2110205     21.46   no data
861.65/215.97	c  N st  1248   1209838       772      3368         0     83039     10246   1806297     21.46   no data
861.65/215.97	c  S st  1248   1209838       772      3368         0     83039     10246   1806297     21.46   no data
862.45/216.20	c  S st  1248   1210340       772      3368         0     83541     10246   1821654     21.46   no data
862.85/216.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
862.85/216.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
862.85/216.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
862.85/216.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
862.85/216.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
862.85/216.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
862.85/216.25	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
862.85/216.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
863.25/216.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
882.42/221.13	c lits-rem:       598  cl-subs:     3015  v-elim:      0  v-fix:    0  time:  4.81 s
882.42/221.13	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
882.42/221.16	c vivif2 --  cl tried    80526 cl shrink        0 lits rem          0 time: 0.03
882.84/221.24	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.09
882.84/221.25	c calculated reachability. Time: 0.00
882.84/221.25	c  N st  1248   1210340       772      3368         0     80526     10246   1725523     21.46   no data
958.62/240.22	c  N st  1249   1283222       772      3368         0     56921     10246    908049     21.46   no data
1073.16/268.91	c  N st  1250   1392545       772      3368         0     65297     10246   1213921     21.46   no data
1238.42/310.32	c  N st  1251   1556530       772      3368         0     70068     10246   1309872     21.46   no data
1408.80/353.11	c  N st  1252   1710340       772      3368         0    111978     10246   2809453     21.46   no data
1408.80/353.11	c  S st  1252   1710340       772      3368         0    111978     10246   2809453     21.46   no data
1410.39/353.49	c  S st  1252   1710842       772      3368         0     56432     10246    677191     21.46   no data
1410.79/353.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1410.79/353.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
1410.79/353.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1410.79/353.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1410.79/353.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1410.79/353.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
1410.79/353.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1410.79/353.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
1410.79/353.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1411.19/353.65	c lits-rem:        37  cl-subs:       23  v-elim:      0  v-fix:    0  time:  0.09 s
1411.19/353.65	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
1411.19/353.66	c vivif2 --  cl tried    56409 cl shrink        0 lits rem          0 time: 0.01
1411.59/353.70	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.05
1411.59/353.71	c calculated reachability. Time: 0.00
1411.59/353.71	c  N st  1252   1710842       772      3368         0     56409     10246    676796     21.46   no data
1878.95/470.82	c  N st  1253   2079807       772      3368         0     62180     10246    731214     21.46   no data
2038.56/510.89	c  N st  1254   2210842       772      3368         0     64308     10246    743241     21.46   no data
2038.56/510.89	c  S st  1254   2210842       772      3368         0     64308     10246    743241     21.46   no data
2039.36/511.06	c  S st  1254   2211345       772      3368         0     64810     10246    758835     21.46   no data
2039.36/511.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2039.36/511.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
2039.76/511.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2039.76/511.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2039.76/511.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2039.76/511.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
2039.76/511.10	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2039.76/511.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2039.76/511.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2040.16/511.24	c lits-rem:        13  cl-subs:       42  v-elim:      0  v-fix:    0  time:  0.10 s
2040.16/511.24	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
2040.16/511.25	c vivif2 --  cl tried    64768 cl shrink        0 lits rem          0 time: 0.01
2040.56/511.31	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.06
2040.56/511.31	c calculated reachability. Time: 0.00
2040.56/511.31	c  N st  1254   2211345       772      3368         0     64768     10246    757560     21.46   no data
2737.37/685.97	c  N st  1255   2711346       772      3368         0     81211     10246   1173032     21.46   no data
2737.37/685.97	c  S st  1255   2711346       772      3368         0     81211     10246   1173032     21.46   no data
2738.17/686.18	c  S st  1255   2711848       772      3368         0     81712     10246   1188818     21.46   no data
2738.17/686.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2738.57/686.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
2738.57/686.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2738.57/686.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2738.57/686.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2738.57/686.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
2738.57/686.23	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2738.57/686.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2738.57/686.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2743.78/687.54	c lits-rem:       123  cl-subs:     1234  v-elim:      0  v-fix:    0  time:  1.25 s
2743.78/687.54	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
2743.78/687.56	c vivif2 --  cl tried    80478 cl shrink        0 lits rem          0 time: 0.02
2744.19/687.66	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.10
2744.19/687.67	c calculated reachability. Time: 0.00
2744.19/687.67	c  N st  1255   2711848       772      3368         0     80478     10246   1145392     21.46   no data
3459.34/866.86	c  N st  1256   3211848       772      3368         0    127010     10246   2769246     21.46   no data
3459.34/866.86	c  S st  1256   3211848       772      3368         0    127010     10246   2769246     21.46   no data
3460.91/867.24	c  S st  1256   3212351       772      3368         0    127513     10246   2785302     21.46   no data
3460.91/867.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3461.31/867.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.07
3461.31/867.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3461.31/867.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3461.31/867.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3461.31/867.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
3461.31/867.32	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3461.31/867.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3461.71/867.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3531.96/885.06	c lits-rem:       453  cl-subs:     4975  v-elim:      0  v-fix:    0  time: 17.61 s
3531.96/885.06	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
3532.36/885.10	c vivif2 --  cl tried   122538 cl shrink        0 lits rem          0 time: 0.04
3532.76/885.28	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.18
3532.76/885.29	c calculated reachability. Time: 0.00
3532.76/885.29	c  N st  1256   3212351       772      3368         0    122538     10246   2593124     21.46   no data
4312.97/1080.74	c  N st  1257   3712351       772      3368         0    133677     10246   2801135     21.46   no data
4312.97/1080.74	c  S st  1257   3712351       772      3368         0    133677     10246   2801135     21.46   no data
4314.57/1081.16	c  S st  1257   3712853       772      3368         0    134179     10246   2817876     21.46   no data
4314.57/1081.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4314.97/1081.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.08
4314.97/1081.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4314.97/1081.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4314.97/1081.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4314.97/1081.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
4314.97/1081.25	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4314.97/1081.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4315.39/1081.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4426.70/1109.25	c lits-rem:       693  cl-subs:     5831  v-elim:      0  v-fix:    0  time: 27.86 s
4426.70/1109.25	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
4426.70/1109.28	c vivif2 --  cl tried   128348 cl shrink        0 lits rem          0 time: 0.04
4427.50/1109.44	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.15
4427.50/1109.44	c calculated reachability. Time: 0.00
4427.50/1109.44	c  N st  1257   3712853       772      3368         0    128348     10246   2606603     21.46   no data
4501.73/1128.02	c  F st  1258   3751562       772      3368         0    166351     10246   3843836     21.46   no data
4501.73/1128.02	c  N st  1258   3751562       772      3368         0    166351     10246   3843836     21.46   no data
4534.05/1136.19	c  N dy  1364   3772669       772      3368         0    103640     10246   1597746     21.52     22.75
4572.37/1145.71	c  N dy  1476   3792767       772      3368         0    123597     10246   2240118     21.57     23.59
4619.06/1157.40	c  N dy  1600   3812953       772      3368         0    143673     10246   2895478     21.63     22.83
4679.34/1172.58	c  N dy  1724   3832982       772      3368         0    163574     10246   3543323     21.69     26.73
4720.83/1182.95	c  N dy  1837   3853646       772      3368         0     98980     10246   1303278     21.74     22.96
4756.75/1191.99	c  N dy  1962   3873793       772      3368         0    119038     10246   1954792     21.80     22.97

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366655-1305411057/watcher-3366655-1305411057 -o /tmp/evaluation-result-3366655-1305411057/solver-3366655-1305411057 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366655-1305411057.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.07 8.10 8.01 7/282 19554
/proc/meminfo: memFree=25071512/32951124 swapFree=67057896/67111528
[pid=19554] ppid=19552 vsize=208252 CPUtime=0 cores=0,2,4,6
/proc/19554/stat : 19554 (strangenight2-m) R 19552 19554 19052 0 -1 4202496 860 0 0 0 0 0 0 0 25 0 4 0 633521006 213250048 783 33554432000 4194304 4580107 140734464276272 18446744073709551615 254261277381 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19554/statm: 52063 786 336 95 0 47045 0
[pid=19554/tid=19555] ppid=19552 vsize=208240 CPUtime=0 cores=0,2,4,6
/proc/19554/task/19555/stat : 19555 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 37 0 0 0 0 0 0 0 25 0 4 0 633521006 213237760 880 33554432000 4194304 4580107 140734464276272 18446744073709551615 254261721582 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19554/tid=19556] ppid=19552 vsize=208240 CPUtime=0 cores=0,2,4,6
/proc/19554/task/19556/stat : 19556 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 162 0 0 0 0 0 0 0 25 0 4 0 633521006 213237760 880 33554432000 4194304 4580107 140734464276272 18446744073709551615 4293979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19554/tid=19557] ppid=19552 vsize=208240 CPUtime=0 cores=0,2,4,6
/proc/19554/task/19557/stat : 19557 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 171 0 0 0 0 0 0 0 25 0 4 0 633521006 213237760 880 33554432000 4194304 4580107 140734464276272 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.110522 s]
/proc/loadavg: 8.07 8.10 8.01 7/282 19554
/proc/meminfo: memFree=25071512/32951124 swapFree=67057896/67111528
[pid=19554] ppid=19552 vsize=217592 CPUtime=0.41 cores=0,2,4,6
/proc/19554/stat : 19554 (strangenight2-m) R 19552 19554 19052 0 -1 4202496 2001 0 0 0 41 0 0 0 25 0 4 0 633521006 222814208 1924 33554432000 4194304 4580107 140734464276272 18446744073709551615 4293100 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19554/statm: 54398 1925 377 95 0 49380 0
[pid=19554/tid=19555] ppid=19552 vsize=217592 CPUtime=0.1 cores=0,2,4,6
/proc/19554/task/19555/stat : 19555 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 339 0 0 0 10 0 0 0 25 0 4 0 633521006 222814208 1925 33554432000 4194304 4580107 140734464276272 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19554/tid=19556] ppid=19552 vsize=217592 CPUtime=0.1 cores=0,2,4,6
/proc/19554/task/19556/stat : 19556 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 480 0 0 0 10 0 0 0 25 0 4 0 633521006 222814208 1925 33554432000 4194304 4580107 140734464276272 18446744073709551615 4318848 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19554/tid=19557] ppid=19552 vsize=217592 CPUtime=0.1 cores=0,2,4,6
/proc/19554/task/19557/stat : 19557 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 319 0 0 0 10 0 0 0 25 0 4 0 633521006 222814208 1926 33554432000 4194304 4580107 140734464276272 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 217592

[startup+0.200506 s]
/proc/loadavg: 8.07 8.10 8.01 7/282 19554
/proc/meminfo: memFree=25071512/32951124 swapFree=67057896/67111528
[pid=19554] ppid=19552 vsize=219048 CPUtime=0.77 cores=0,2,4,6
/proc/19554/stat : 19554 (strangenight2-m) R 19552 19554 19052 0 -1 4202496 2703 0 0 0 77 0 0 0 25 0 4 0 633521006 224305152 2030 33554432000 4194304 4580107 140734464276272 18446744073709551615 4316647 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19554/statm: 54762 2030 377 95 0 49744 0
[pid=19554/tid=19555] ppid=19552 vsize=219048 CPUtime=0.19 cores=0,2,4,6
/proc/19554/task/19555/stat : 19555 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 451 0 0 0 19 0 0 0 25 0 4 0 633521006 224305152 2030 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19554/tid=19556] ppid=19552 vsize=219048 CPUtime=0.19 cores=0,2,4,6
/proc/19554/task/19556/stat : 19556 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 673 0 0 0 19 0 0 0 25 0 4 0 633521006 224305152 2030 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19554/tid=19557] ppid=19552 vsize=219048 CPUtime=0.19 cores=0,2,4,6
/proc/19554/task/19557/stat : 19557 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 515 0 0 0 19 0 0 0 25 0 4 0 633521006 224305152 2030 33554432000 4194304 4580107 140734464276272 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 219048

[startup+0.300488 s]
/proc/loadavg: 8.07 8.10 8.01 7/282 19554
/proc/meminfo: memFree=25071512/32951124 swapFree=67057896/67111528
[pid=19554] ppid=19552 vsize=219576 CPUtime=1.17 cores=0,2,4,6
/proc/19554/stat : 19554 (strangenight2-m) R 19552 19554 19052 0 -1 4202496 3185 0 0 0 117 0 0 0 25 0 4 0 633521006 224845824 2310 33554432000 4194304 4580107 140734464276272 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19554/statm: 54894 2310 377 95 0 49876 0
[pid=19554/tid=19555] ppid=19552 vsize=219576 CPUtime=0.29 cores=0,2,4,6
/proc/19554/task/19555/stat : 19555 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 634 0 0 0 29 0 0 0 25 0 4 0 633521006 224845824 2310 33554432000 4194304 4580107 140734464276272 18446744073709551615 4321334 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19554/tid=19556] ppid=19552 vsize=219576 CPUtime=0.29 cores=0,2,4,6
/proc/19554/task/19556/stat : 19556 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 766 0 0 0 29 0 0 0 25 0 4 0 633521006 224845824 2310 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19554/tid=19557] ppid=19552 vsize=219576 CPUtime=0.29 cores=0,2,4,6
/proc/19554/task/19557/stat : 19557 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 616 0 0 0 29 0 0 0 25 0 4 0 633521006 224845824 2310 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 219576

[startup+0.700418 s]
/proc/loadavg: 8.07 8.10 8.01 7/282 19554
/proc/meminfo: memFree=25071512/32951124 swapFree=67057896/67111528
[pid=19554] ppid=19552 vsize=220856 CPUtime=2.77 cores=0,2,4,6
/proc/19554/stat : 19554 (strangenight2-m) R 19552 19554 19052 0 -1 4202496 5098 0 0 0 277 0 0 0 25 0 4 0 633521006 226156544 3034 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294589 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19554/statm: 55214 3034 377 95 0 50196 0
[pid=19554/tid=19555] ppid=19552 vsize=220856 CPUtime=0.69 cores=0,2,4,6
/proc/19554/task/19555/stat : 19555 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 1114 0 0 0 69 0 0 0 25 0 4 0 633521006 226156544 3034 33554432000 4194304 4580107 140734464276272 18446744073709551615 4320987 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19554/tid=19556] ppid=19552 vsize=220856 CPUtime=0.69 cores=0,2,4,6
/proc/19554/task/19556/stat : 19556 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 1230 0 0 0 69 0 0 0 25 0 4 0 633521006 226156544 3034 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19554/tid=19557] ppid=19552 vsize=220856 CPUtime=0.69 cores=0,2,4,6
/proc/19554/task/19557/stat : 19557 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 1093 0 0 0 69 0 0 0 25 0 4 0 633521006 226156544 3034 33554432000 4194304 4580107 140734464276272 18446744073709551615 4301867 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 220856

[startup+1.50028 s]
/proc/loadavg: 8.07 8.10 8.01 11/286 19558
/proc/meminfo: memFree=25033660/32951124 swapFree=67057896/67111528
[pid=19554] ppid=19552 vsize=223000 CPUtime=5.96 cores=0,2,4,6
/proc/19554/stat : 19554 (strangenight2-m) R 19552 19554 19052 0 -1 4202496 8960 0 0 0 595 1 0 0 25 0 4 0 633521006 228352000 3526 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19554/statm: 55750 3526 378 95 0 50732 0
[pid=19554/tid=19555] ppid=19552 vsize=223000 CPUtime=1.47 cores=0,2,4,6
/proc/19554/task/19555/stat : 19555 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 2071 0 0 0 147 0 0 0 25 0 4 0 633521006 228352000 3527 33554432000 4194304 4580107 140734464276272 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19554/tid=19556] ppid=19552 vsize=223000 CPUtime=1.49 cores=0,2,4,6
/proc/19554/task/19556/stat : 19556 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 2173 0 0 0 149 0 0 0 25 0 4 0 633521006 228352000 3527 33554432000 4194304 4580107 140734464276272 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19554/tid=19557] ppid=19552 vsize=223000 CPUtime=1.49 cores=0,2,4,6
/proc/19554/task/19557/stat : 19557 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 2079 0 0 0 149 0 0 0 25 0 4 0 633521006 228352000 3527 33554432000 4194304 4580107 140734464276272 18446744073709551615 4320440 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 223000

[startup+3.10099 s]
/proc/loadavg: 8.06 8.10 8.01 10/286 19558
/proc/meminfo: memFree=25009976/32951124 swapFree=67057896/67111528
[pid=19554] ppid=19552 vsize=238984 CPUtime=12.35 cores=0,2,4,6
/proc/19554/stat : 19554 (strangenight2-m) R 19552 19554 19052 0 -1 4202496 21484 0 0 0 1231 4 0 0 25 0 4 0 633521006 244719616 11712 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19554/statm: 59746 11712 379 95 0 54728 0
[pid=19554/tid=19555] ppid=19552 vsize=238984 CPUtime=3.07 cores=0,2,4,6
/proc/19554/task/19555/stat : 19555 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 4745 0 0 0 306 1 0 0 25 0 4 0 633521006 244719616 11712 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19554/tid=19556] ppid=19552 vsize=238984 CPUtime=3.09 cores=0,2,4,6
/proc/19554/task/19556/stat : 19556 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 5896 0 0 0 308 1 0 0 25 0 4 0 633521006 244719616 11712 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19554/tid=19557] ppid=19552 vsize=238984 CPUtime=3.08 cores=0,2,4,6
/proc/19554/task/19557/stat : 19557 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 5397 0 0 0 308 0 0 0 25 0 4 0 633521006 244719616 11713 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 238984

[startup+6.30042 s]
/proc/loadavg: 8.06 8.10 8.01 10/286 19558
/proc/meminfo: memFree=24950088/32951124 swapFree=67057896/67111528
[pid=19554] ppid=19552 vsize=258164 CPUtime=25.12 cores=0,2,4,6
/proc/19554/stat : 19554 (strangenight2-m) R 19552 19554 19052 0 -1 4202496 31540 0 0 0 2506 6 0 0 25 0 4 0 633521006 264359936 15432 33554432000 4194304 4580107 140734464276272 18446744073709551615 4293151 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19554/statm: 64541 15432 379 95 0 59523 0
[pid=19554/tid=19555] ppid=19552 vsize=258164 CPUtime=6.23 cores=0,2,4,6
/proc/19554/task/19555/stat : 19555 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 9207 0 0 0 622 1 0 0 25 0 4 0 633521006 264359936 15432 33554432000 4194304 4580107 140734464276272 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19554/tid=19556] ppid=19552 vsize=258164 CPUtime=6.28 cores=0,2,4,6
/proc/19554/task/19556/stat : 19556 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 8104 0 0 0 627 1 0 0 25 0 4 0 633521006 264359936 15432 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19554/tid=19557] ppid=19552 vsize=258164 CPUtime=6.29 cores=0,2,4,6
/proc/19554/task/19557/stat : 19557 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 7597 0 0 0 628 1 0 0 25 0 4 0 633521006 264359936 15432 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 258164

[startup+12.7003 s]
/proc/loadavg: 8.05 8.10 8.00 11/286 19558
/proc/meminfo: memFree=24883916/32951124 swapFree=67057896/67111528
[pid=19554] ppid=19552 vsize=313912 CPUtime=50.66 cores=0,2,4,6
/proc/19554/stat : 19554 (strangenight2-m) R 19552 19554 19052 0 -1 4202496 48631 0 0 0 5056 10 0 0 25 0 4 0 633521006 321445888 26891 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19554/statm: 78478 26891 379 95 0 73460 0
[pid=19554/tid=19555] ppid=19552 vsize=313912 CPUtime=12.58 cores=0,2,4,6
/proc/19554/task/19555/stat : 19555 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 11592 0 0 0 1256 2 0 0 25 0 4 0 633521006 321445888 26891 33554432000 4194304 4580107 140734464276272 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19554/tid=19556] ppid=19552 vsize=313912 CPUtime=12.68 cores=0,2,4,6
/proc/19554/task/19556/stat : 19556 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 13327 0 0 0 1266 2 0 0 25 0 4 0 633521006 321445888 26891 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19554/tid=19557] ppid=19552 vsize=313912 CPUtime=12.69 cores=0,2,4,6
/proc/19554/task/19557/stat : 19557 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 13757 0 0 0 1266 3 0 0 25 0 4 0 633521006 321445888 26891 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 313912

[startup+25.501 s]
/proc/loadavg: 8.04 8.09 8.00 11/286 19558
/proc/meminfo: memFree=24808148/32951124 swapFree=67057896/67111528
[pid=19554] ppid=19552 vsize=335688 CPUtime=101.75 cores=0,2,4,6
/proc/19554/stat : 19554 (strangenight2-m) R 19552 19554 19052 0 -1 4202496 68627 0 0 0 10161 14 0 0 25 0 4 0 633521006 343744512 37249 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19554/statm: 83922 37249 379 95 0 78904 0
[pid=19554/tid=19555] ppid=19552 vsize=335688 CPUtime=25.27 cores=0,2,4,6
/proc/19554/task/19555/stat : 19555 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 16792 0 0 0 2524 3 0 0 25 0 4 0 633521006 343744512 37249 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19554/tid=19556] ppid=19552 vsize=335688 CPUtime=25.48 cores=0,2,4,6
/proc/19554/task/19556/stat : 19556 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 19109 0 0 0 2546 2 0 0 25 0 4 0 633521006 343744512 37249 33554432000 4194304 4580107 140734464276272 18446744073709551615 4293087 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19554/tid=19557] ppid=19552 vsize=335688 CPUtime=25.48 cores=0,2,4,6
/proc/19554/task/19557/stat : 19557 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 19968 0 0 0 2544 4 0 0 25 0 4 0 633521006 343744512 37249 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 335688

[startup+51.1005 s]
/proc/loadavg: 8.03 8.08 8.00 10/286 19559
/proc/meminfo: memFree=24748696/32951124 swapFree=67057896/67111528
[pid=19554] ppid=19552 vsize=332756 CPUtime=203.92 cores=0,2,4,6
/proc/19554/stat : 19554 (strangenight2-m) R 19552 19554 19052 0 -1 4202496 98041 0 0 0 20368 24 0 0 25 0 4 0 633521006 340742144 45905 33554432000 4194304 4580107 140734464276272 18446744073709551615 4295679 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19554/statm: 83189 45905 379 95 0 78171 0
[pid=19554/tid=19555] ppid=19552 vsize=332756 CPUtime=50.65 cores=0,2,4,6
/proc/19554/task/19555/stat : 19555 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 21843 0 0 0 5060 5 0 0 25 0 4 0 633521006 340742144 45905 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19554/tid=19556] ppid=19552 vsize=332756 CPUtime=51.08 cores=0,2,4,6
/proc/19554/task/19556/stat : 19556 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 25715 0 0 0 5103 5 0 0 25 0 4 0 633521006 340742144 45905 33554432000 4194304 4580107 140734464276272 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19554/tid=19557] ppid=19552 vsize=332756 CPUtime=51.08 cores=0,2,4,6
/proc/19554/task/19557/stat : 19557 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 31223 0 0 0 5100 8 0 0 25 0 4 0 633521006 340742144 45905 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.92
Current children cumulated vsize (KiB) 332756

[startup+102.3 s]
/proc/loadavg: 8.08 8.10 8.01 11/286 19560
/proc/meminfo: memFree=24673280/32951124 swapFree=67057896/67111528
[pid=19554] ppid=19552 vsize=342416 CPUtime=408.29 cores=0,2,4,6
/proc/19554/stat : 19554 (strangenight2-m) R 19552 19554 19052 0 -1 4202496 134879 0 0 0 40791 38 0 0 25 0 4 0 633521006 350633984 49224 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19554/statm: 85604 49224 379 95 0 80586 0
[pid=19554/tid=19555] ppid=19552 vsize=342416 CPUtime=101.41 cores=0,2,4,6
/proc/19554/task/19555/stat : 19555 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 28117 0 0 0 10134 7 0 0 25 0 4 0 633521006 350633984 49224 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19554/tid=19556] ppid=19552 vsize=342416 CPUtime=102.29 cores=0,2,4,6
/proc/19554/task/19556/stat : 19556 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 33960 0 0 0 10221 8 0 0 25 0 4 0 633521006 350633984 49224 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19554/tid=19557] ppid=19552 vsize=342416 CPUtime=102.3 cores=0,2,4,6
/proc/19554/task/19557/stat : 19557 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 42128 0 0 0 10217 13 0 0 25 0 4 0 633521006 350633984 49224 33554432000 4194304 4580107 140734464276272 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.29
Current children cumulated vsize (KiB) 342416

[startup+162.301 s]

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

[pid=19554] ppid=19552 vsize=576616 CPUtime=2802.82 cores=0,2,4,6
/proc/19554/stat : 19554 (strangenight2-m) R 19552 19554 19052 0 -1 4202496 356588 0 0 0 280149 133 0 0 25 0 4 0 633521006 590454784 121485 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19554/statm: 144154 121485 379 95 0 139136 0
[pid=19554/tid=19555] ppid=19552 vsize=576616 CPUtime=696.02 cores=0,2,4,6
/proc/19554/task/19555/stat : 19555 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 44942 0 0 0 69588 14 0 0 25 0 4 0 633521006 590454784 121485 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19554/tid=19556] ppid=19552 vsize=576616 CPUtime=702.3 cores=0,2,4,6
/proc/19554/task/19556/stat : 19556 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 112442 0 0 0 70190 40 0 0 25 0 4 0 633521006 590454784 121485 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19554/tid=19557] ppid=19552 vsize=576616 CPUtime=702.3 cores=0,2,4,6
/proc/19554/task/19557/stat : 19557 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 121392 0 0 0 70181 49 0 0 25 0 4 0 633521006 590454784 121485 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294438 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2802.82
Current children cumulated vsize (KiB) 576616

[startup+762.301 s]
/proc/loadavg: 8.07 8.08 8.02 11/286 19578
/proc/meminfo: memFree=24080500/32951124 swapFree=67057896/67111528
[pid=19554] ppid=19552 vsize=740164 CPUtime=3042.31 cores=0,2,4,6
/proc/19554/stat : 19554 (strangenight2-m) R 19552 19554 19052 0 -1 4202496 374425 0 0 0 304091 140 0 0 25 0 4 0 633521006 757927936 124326 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19554/statm: 185041 124326 379 95 0 180023 0
[pid=19554/tid=19555] ppid=19552 vsize=740164 CPUtime=755.48 cores=0,2,4,6
/proc/19554/task/19555/stat : 19555 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 48468 0 0 0 75533 15 0 0 25 0 4 0 633521006 757927936 124326 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19554/tid=19556] ppid=19552 vsize=740164 CPUtime=762.31 cores=0,2,4,6
/proc/19554/task/19556/stat : 19556 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 119508 0 0 0 76188 43 0 0 25 0 4 0 633521006 757927936 124326 33554432000 4194304 4580107 140734464276272 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19554/tid=19557] ppid=19552 vsize=740164 CPUtime=762.31 cores=0,2,4,6
/proc/19554/task/19557/stat : 19557 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 126459 0 0 0 76180 51 0 0 25 0 4 0 633521006 757927936 124326 33554432000 4194304 4580107 140734464276272 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3042.31
Current children cumulated vsize (KiB) 740164

[startup+822.3 s]
/proc/loadavg: 8.06 8.07 8.02 11/286 19579
/proc/meminfo: memFree=24053580/32951124 swapFree=67057896/67111528
[pid=19554] ppid=19552 vsize=745124 CPUtime=3281.73 cores=0,2,4,6
/proc/19554/stat : 19554 (strangenight2-m) R 19552 19554 19052 0 -1 4202496 392682 0 0 0 328023 150 0 0 25 0 4 0 633521006 763006976 126636 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19554/statm: 186281 126636 379 95 0 181263 0
[pid=19554/tid=19555] ppid=19552 vsize=745124 CPUtime=814.93 cores=0,2,4,6
/proc/19554/task/19555/stat : 19555 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 49052 0 0 0 81477 16 0 0 25 0 4 0 633521006 763006976 126636 33554432000 4194304 4580107 140734464276272 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19554/tid=19556] ppid=19552 vsize=745124 CPUtime=822.3 cores=0,2,4,6
/proc/19554/task/19556/stat : 19556 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 124232 0 0 0 82185 45 0 0 25 0 4 0 633521006 763006976 126636 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19554/tid=19557] ppid=19552 vsize=745124 CPUtime=822.31 cores=0,2,4,6
/proc/19554/task/19557/stat : 19557 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 134462 0 0 0 82176 55 0 0 25 0 4 0 633521006 763006976 126636 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3281.73
Current children cumulated vsize (KiB) 745124

[startup+882.312 s]
/proc/loadavg: 8.39 8.16 8.05 11/286 19584
/proc/meminfo: memFree=23954668/32951124 swapFree=67057896/67111528
[pid=19554] ppid=19552 vsize=725880 CPUtime=3521.21 cores=0,2,4,6
/proc/19554/stat : 19554 (strangenight2-m) R 19552 19554 19052 0 -1 4202496 413337 0 0 0 351962 159 0 0 25 0 4 0 633521006 743301120 135456 33554432000 4194304 4580107 140734464276272 18446744073709551615 4451895 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19554/statm: 181470 135456 379 95 0 176452 0
[pid=19554/tid=19555] ppid=19552 vsize=725880 CPUtime=874.4 cores=0,2,4,6
/proc/19554/task/19555/stat : 19555 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 49894 0 0 0 87423 17 0 0 25 0 4 0 633521006 743301120 135456 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19554/tid=19556] ppid=19552 vsize=725880 CPUtime=882.31 cores=0,2,4,6
/proc/19554/task/19556/stat : 19556 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 133108 0 0 0 88181 50 0 0 25 0 4 0 633521006 743301120 135456 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19554/tid=19557] ppid=19552 vsize=725880 CPUtime=882.31 cores=0,2,4,6
/proc/19554/task/19557/stat : 19557 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 143913 0 0 0 88173 58 0 0 25 0 4 0 633521006 743301120 135456 33554432000 4194304 4580107 140734464276272 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3521.21
Current children cumulated vsize (KiB) 725880

[startup+942.301 s]
/proc/loadavg: 8.21 8.16 8.05 10/286 19586
/proc/meminfo: memFree=23964304/32951124 swapFree=67057896/67111528
[pid=19554] ppid=19552 vsize=656616 CPUtime=3760.64 cores=0,2,4,6
/proc/19554/stat : 19554 (strangenight2-m) R 19552 19554 19052 0 -1 4202496 434343 0 0 0 375894 170 0 0 25 0 4 0 633521006 672374784 134645 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19554/statm: 164154 134645 379 95 0 159136 0
[pid=19554/tid=19555] ppid=19552 vsize=656616 CPUtime=933.86 cores=0,2,4,6
/proc/19554/task/19555/stat : 19555 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 50901 0 0 0 93369 17 0 0 25 0 4 0 633521006 672374784 134645 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19554/tid=19556] ppid=19552 vsize=656616 CPUtime=942.3 cores=0,2,4,6
/proc/19554/task/19556/stat : 19556 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 141641 0 0 0 94175 55 0 0 25 0 4 0 633521006 672374784 134645 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19554/tid=19557] ppid=19552 vsize=656616 CPUtime=942.31 cores=0,2,4,6
/proc/19554/task/19557/stat : 19557 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 151141 0 0 0 94169 62 0 0 25 0 4 0 633521006 672374784 134645 33554432000 4194304 4580107 140734464276272 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3760.64
Current children cumulated vsize (KiB) 656616

[startup+1002.3 s]
/proc/loadavg: 8.22 8.17 8.06 11/286 19587
/proc/meminfo: memFree=23917792/32951124 swapFree=67057896/67111528
[pid=19554] ppid=19552 vsize=790992 CPUtime=4000.09 cores=0,2,4,6
/proc/19554/stat : 19554 (strangenight2-m) R 19552 19554 19052 0 -1 4202496 462787 0 0 0 399828 181 0 0 25 0 4 0 633521006 809975808 145547 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19554/statm: 197748 145547 379 95 0 192730 0
[pid=19554/tid=19555] ppid=19552 vsize=790992 CPUtime=993.31 cores=0,2,4,6
/proc/19554/task/19555/stat : 19555 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 56256 0 0 0 99313 18 0 0 25 0 4 0 633521006 809975808 145547 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19554/tid=19556] ppid=19552 vsize=790992 CPUtime=1002.3 cores=0,2,4,6
/proc/19554/task/19556/stat : 19556 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 151690 0 0 0 100172 58 0 0 25 0 4 0 633521006 809975808 145547 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19554/tid=19557] ppid=19552 vsize=790992 CPUtime=1002.31 cores=0,2,4,6
/proc/19554/task/19557/stat : 19557 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 157912 0 0 0 100165 66 0 0 25 0 4 0 633521006 809975808 145547 33554432000 4194304 4580107 140734464276272 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4000.09
Current children cumulated vsize (KiB) 790992

[startup+1062.3 s]
/proc/loadavg: 8.11 8.15 8.06 11/286 19589
/proc/meminfo: memFree=23885776/32951124 swapFree=67057896/67111528
[pid=19554] ppid=19552 vsize=912124 CPUtime=4239.54 cores=0,2,4,6
/proc/19554/stat : 19554 (strangenight2-m) R 19552 19554 19052 0 -1 4202496 482722 0 0 0 423764 190 0 0 25 0 4 0 633521006 934014976 151634 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294396 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19554/statm: 228031 151634 379 95 0 223013 0
[pid=19554/tid=19555] ppid=19552 vsize=912124 CPUtime=1052.78 cores=0,2,4,6
/proc/19554/task/19555/stat : 19555 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 57458 0 0 0 105259 19 0 0 25 0 4 0 633521006 934014976 151634 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19554/tid=19556] ppid=19552 vsize=912124 CPUtime=1062.3 cores=0,2,4,6
/proc/19554/task/19556/stat : 19556 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 160599 0 0 0 106168 62 0 0 25 0 4 0 633521006 934014976 151634 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19554/tid=19557] ppid=19552 vsize=912124 CPUtime=1062.31 cores=0,2,4,6
/proc/19554/task/19557/stat : 19557 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 165708 0 0 0 106162 69 0 0 25 0 4 0 633521006 934014976 151634 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4239.54
Current children cumulated vsize (KiB) 912124

[startup+1122.3 s]
/proc/loadavg: 8.15 8.15 8.07 10/286 19590
/proc/meminfo: memFree=23852148/32951124 swapFree=67057896/67111528
[pid=19554] ppid=19552 vsize=911832 CPUtime=4478.98 cores=0,2,4,6
/proc/19554/stat : 19554 (strangenight2-m) R 19552 19554 19052 0 -1 4202496 494666 0 0 0 447702 196 0 0 25 0 4 0 633521006 933715968 152886 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19554/statm: 227958 152886 379 95 0 222940 0
[pid=19554/tid=19555] ppid=19552 vsize=911832 CPUtime=1112.22 cores=0,2,4,6
/proc/19554/task/19555/stat : 19555 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 58138 0 0 0 111203 19 0 0 25 0 4 0 633521006 933715968 152886 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19554/tid=19556] ppid=19552 vsize=911832 CPUtime=1122.31 cores=0,2,4,6
/proc/19554/task/19556/stat : 19556 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 168076 0 0 0 112165 66 0 0 25 0 4 0 633521006 933715968 152886 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19554/tid=19557] ppid=19552 vsize=911832 CPUtime=1122.31 cores=0,2,4,6
/proc/19554/task/19557/stat : 19557 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 168752 0 0 0 112160 71 0 0 25 0 4 0 633521006 933715968 152886 33554432000 4194304 4580107 140734464276272 18446744073709551615 4340648 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4478.98
Current children cumulated vsize (KiB) 911832

[startup+1182.3 s]
/proc/loadavg: 8.13 8.14 8.07 10/286 19592
/proc/meminfo: memFree=23852752/32951124 swapFree=67057896/67111528
[pid=19554] ppid=19552 vsize=906920 CPUtime=4718.44 cores=0,2,4,6
/proc/19554/stat : 19554 (strangenight2-m) R 19552 19554 19052 0 -1 4202496 511748 0 0 0 471641 203 0 0 25 0 4 0 633521006 928686080 156504 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19554/statm: 226730 156504 379 95 0 221712 0
[pid=19554/tid=19555] ppid=19552 vsize=906920 CPUtime=1171.69 cores=0,2,4,6
/proc/19554/task/19555/stat : 19555 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 59318 0 0 0 117149 20 0 0 25 0 4 0 633521006 928686080 156504 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19554/tid=19556] ppid=19552 vsize=906920 CPUtime=1182.31 cores=0,2,4,6
/proc/19554/task/19556/stat : 19556 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 178481 0 0 0 118162 69 0 0 25 0 4 0 633521006 928686080 156504 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19554/tid=19557] ppid=19552 vsize=906920 CPUtime=1182.31 cores=0,2,4,6
/proc/19554/task/19557/stat : 19557 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 172940 0 0 0 118158 73 0 0 25 0 4 0 633521006 928686080 156504 33554432000 4194304 4580107 140734464276272 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4718.44
Current children cumulated vsize (KiB) 906920



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.09 8.13 8.07 5/281 19594
/proc/meminfo: memFree=24463488/32951124 swapFree=67057896/67111528
[pid=19554] ppid=19552 vsize=856072 CPUtime=4800.28 cores=0,2,4,6
/proc/19554/stat : 19554 (strangenight2-m) R 19552 19554 19052 0 -1 4202496 515061 0 0 0 479823 205 0 0 25 0 4 0 633521006 876617728 154296 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19554/statm: 214018 154296 379 95 0 209000 0
[pid=19554/tid=19555] ppid=19552 vsize=856072 CPUtime=1192 cores=0,2,4,6
/proc/19554/task/19555/stat : 19555 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 59612 0 0 0 119180 20 0 0 25 0 4 0 633521006 876617728 154298 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19554/tid=19556] ppid=19552 vsize=856072 CPUtime=1202.82 cores=0,2,4,6
/proc/19554/task/19556/stat : 19556 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 181361 0 0 0 120212 70 0 0 25 0 4 0 633521006 876617728 154298 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19554/tid=19557] ppid=19552 vsize=856072 CPUtime=1202.82 cores=0,2,4,6
/proc/19554/task/19557/stat : 19557 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 173081 0 0 0 120209 73 0 0 25 0 4 0 633521006 876617728 154298 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 856072

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

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

[startup+1202.8 s]
/proc/loadavg: 8.09 8.13 8.07 5/281 19594
/proc/meminfo: memFree=24463488/32951124 swapFree=67057896/67111528
[pid=19554] ppid=19552 vsize=856072 CPUtime=4800.28 cores=0,2,4,6
/proc/19554/stat : 19554 (strangenight2-m) R 19552 19554 19052 0 -1 4202496 515061 0 0 0 479823 205 0 0 25 0 4 0 633521006 876617728 154296 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19554/statm: 214018 154296 379 95 0 209000 0
[pid=19554/tid=19555] ppid=19552 vsize=856072 CPUtime=1192 cores=0,2,4,6
/proc/19554/task/19555/stat : 19555 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 59612 0 0 0 119180 20 0 0 25 0 4 0 633521006 876617728 154298 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19554/tid=19556] ppid=19552 vsize=856072 CPUtime=1202.82 cores=0,2,4,6
/proc/19554/task/19556/stat : 19556 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 181361 0 0 0 120212 70 0 0 25 0 4 0 633521006 876617728 154298 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19554/tid=19557] ppid=19552 vsize=856072 CPUtime=1202.82 cores=0,2,4,6
/proc/19554/task/19557/stat : 19557 (strangenight2-m) R 19552 19554 19052 0 -1 4202560 173081 0 0 0 120209 73 0 0 25 0 4 0 633521006 876617728 154298 33554432000 4194304 4580107 140734464276272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 856072

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.85
CPU time (s): 4800.34
CPU user time (s): 4798.26
CPU system time (s): 2.08068
CPU usage (%): 399.082
Max. virtual memory (cumulated for all children) (KiB): 967488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.26
system time used= 2.08068
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 515064
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= 285
involuntary context switches= 24779

runsolver used 3.18352 second user time and 7.64884 second system time

The end

Launcher Data 

Begin job on node140 at 2011-05-15 00:10:57
IDJOB=3366655
IDBENCH=83064
IDSOLVER=1844
FILE ID=node140/3366655-1305411057
RUNJOBID= node140-1305409851-19397
PBS_JOBID= 13324508
Free space on /tmp= 73480 MiB

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

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

MD5SUM BENCH= 0d5f032713ed63748b72ef45ba69a269
RANDOM SEED=342162311

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.74
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.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.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:      25071420 kB
Buffers:        299012 kB
Cached:        3727508 kB
SwapCached:       8056 kB
Active:        4897124 kB
Inactive:      2672332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25071420 kB
SwapTotal:    67111528 kB
SwapFree:     67057896 kB
Dirty:           11256 kB
Writeback:           8 kB
AnonPages:     3539988 kB
Mapped:          23692 kB
Slab:           225260 kB
PageTables:      21900 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 45668620 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= 73480 MiB
End job on node140 at 2011-05-15 00:31:02