Trace number 3174246

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.24 1201.74

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-3174246-1304115886.cnf'
0.00/0.00	c -- header says num vars:            800
0.00/0.00	c -- header says num clauses:        3408
0.00/0.01	c -- clauses added:            0 learnts,         3408 normals,            0 xors
0.00/0.01	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.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    800 time:  0.00 s
0.00/0.80	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.80	c lits-rem:         0  cl-subs:        0  v-elim:     26  v-fix:    0  time:  0.00 s
0.00/0.80	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.80	c calculated reachability. Time: 0.00
0.00/0.80	c Calc default polars -  time:   0.00 s pos:     366 undec:      84 neg:     350
0.00/0.80	c =========================================================================================
0.00/0.80	c types(t): F = full restart, N = normal restart
0.00/0.80	c types(t): S = simplification begin/end, E = solution found
0.00/0.80	c restart types(rt): st = static, dy = dynamic
0.00/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.80	c  B st     0         0       774      3372         0         0     10258         0   no data   no data
0.00/0.80	c Decided on static restart strategy
0.00/0.80	c  N st     8      4921       774      3372         0      4883     10258    161531   no data   no data
0.00/0.80	c  N st    10     11307       774      3372         0      4523     10258    101898   no data   no data
0.00/0.80	c  N st    11     17050       774      3372         0     10221     10258    300860   no data   no data
4.78/1.27	c  F st    12     25000       774      3372         0     12506     10258    375477   no data   no data
4.78/1.27	c  N st    12     25000       774      3372         0     12506     10258    375477   no data   no data
5.97/1.53	c  N dy    18     30001       774      3372         0     10763     10258    282683   no data   no data
5.97/1.53	c  S st    18     30001       774      3372         0     10763     10258    282683   no data   no data
5.97/1.56	c  S st    18     30503       774      3372         0     11265     10258    297817   no data   no data
5.97/1.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
5.97/1.57	c blocked clauses removed:        4 vars:      2 tried:         774 T: 0.00 s
5.97/1.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
5.97/1.57	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.97/1.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
5.97/1.58	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.18/1.89	c  N dy    30     34601       772      3368         0     15152     10246    419005     21.59     22.85
8.36/2.12	c  N dy    48     38636       772      3368         0     11302     10246    226021     21.11     27.31
9.56/2.41	c  N dy    72     43257       772      3368         0     15897     10246    371824     21.21     22.33
9.96/2.58	c  S st    85     45755       772      3368         0      9481     10246    134878     21.26     19.18
10.36/2.61	c  S st    85     46258       772      3368         0      9982     10246    149670     21.26   no data
10.36/2.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.36/2.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
10.36/2.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.36/2.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.36/2.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.36/2.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
10.36/2.62	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.36/2.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
10.36/2.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.36/2.64	c lits-rem:        16  cl-subs:       14  v-elim:      0  v-fix:    0  time:  0.01 s
10.36/2.64	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
10.36/2.64	c vivif2 --  cl tried     9968 cl shrink        0 lits rem          0 time: 0.00
10.36/2.64	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.01
10.36/2.64	c calculated reachability. Time: 0.00
10.36/2.64	c  N dy    85     46258       772      3368         0      9968     10246    149172     21.26   no data
11.16/2.89	c  N dy   101     50540       772      3368         0     14226     10246    286039     21.24     22.60
12.75/3.21	c  N dy   118     54902       772      3368         0     18563     10246    420524     21.09     22.26
13.55/3.47	c  N dy   136     58950       772      3368         0     12672     10246    204575     21.07     25.97
14.75/3.73	c  N dy   166     62972       772      3368         0     16678     10246    332555     21.24     24.13
15.97/4.04	c  N dy   191     67049       772      3368         0     20741     10246    461544     21.36     22.70
16.75/4.21	c  S st   196     69387       772      3368         0     12123     10246    159062     21.30     20.54
16.75/4.25	c  S st   196     69891       772      3368         0     12627     10246    174022     21.30   no data
16.75/4.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.75/4.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.75/4.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.75/4.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.75/4.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.75/4.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
16.75/4.25	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.75/4.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.75/4.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.75/4.28	c lits-rem:         3  cl-subs:       28  v-elim:      0  v-fix:    0  time:  0.01 s
16.75/4.28	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
16.75/4.28	c vivif2 --  cl tried    12599 cl shrink        0 lits rem          0 time: 0.00
16.75/4.29	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.01
16.75/4.29	c calculated reachability. Time: 0.00
16.75/4.29	c  N dy   196     69891       772      3368         0     12599     10246    172920     21.30   no data
18.35/4.62	c  N dy   219     74668       772      3368         0     17352     10246    321921     21.32     22.68
19.55/4.99	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.93/5.57	c  F st   275     87501       772      3368         0     18184     10246    320363     21.37     19.61
23.13/5.81	c  N st   280     90800       772      3368         0     21462     10246    429249     21.37   no data
24.74/6.30	c  N dy   287     96641       772      3368         0     14326     10246    171995     21.26     22.48
27.13/6.80	c  N dy   323    103215       772      3368         0     20863     10246    382779     21.34     22.79
27.53/6.95	c  S st   330    104836       772      3368         0     22473     10246    432040     21.33   no data
27.92/7.00	c  S st   330    105340       772      3368         0     22977     10246    448042     21.33   no data
27.92/7.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.92/7.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.92/7.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.92/7.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.92/7.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.92/7.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
27.92/7.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.92/7.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.92/7.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.32/7.11	c lits-rem:        95  cl-subs:      213  v-elim:      0  v-fix:    0  time:  0.08 s
28.32/7.11	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
28.32/7.11	c vivif2 --  cl tried    22764 cl shrink        0 lits rem          0 time: 0.01
28.32/7.13	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.01
28.32/7.13	c calculated reachability. Time: 0.00
28.32/7.13	c  N dy   330    105340       772      3368         0     22764     10246    439737     21.33   no data
30.72/7.72	c  N dy   367    112211       772      3368         0     15695     10246    193056     21.37     22.74
32.72/8.28	c  N dy   407    119411       772      3368         0     22840     10246    420594     21.43     22.64
35.91/9.05	c  N dy   443    127374       772      3368         0     15846     10246    168684     21.48     22.64
38.71/9.74	c  N dy   477    135565       772      3368         0     23983     10246    422366     21.44     22.92
42.31/10.66	c  N dy   527    144865       772      3368         0     17338     10246    190250     21.47     22.81
45.49/11.48	c  N dy   572    154586       772      3368         0     27015     10246    499525     21.50     22.78
47.10/11.83	c  S st   582    158011       772      3368         0     30423     10246    608477     21.47     20.01
47.10/11.90	c  S st   582    158513       772      3368         0     30925     10246    625002     21.47   no data
47.48/11.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.48/11.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.48/11.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.48/11.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.48/11.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.48/11.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
47.48/11.91	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.48/11.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.48/11.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.88/12.08	c lits-rem:        95  cl-subs:      263  v-elim:      0  v-fix:    0  time:  0.14 s
47.88/12.08	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
47.88/12.08	c vivif2 --  cl tried    30662 cl shrink        0 lits rem          0 time: 0.01
48.28/12.10	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.02
48.28/12.11	c calculated reachability. Time: 0.00
48.28/12.11	c  N dy   582    158513       772      3368         0     30662     10246    614399     21.47   no data
51.88/13.09	c  N dy   645    168757       772      3368         0     23935     10246    375661     21.52     22.76
56.67/14.21	c  N dy   681    179553       772      3368         0     34660     10246    714622     21.48     23.02
61.06/15.31	c  N dy   735    191327       772      3368         0     28468     10246    496951     21.50     22.68
66.25/16.65	c  N dy   768    203649       772      3368         0     21823     10246    255440     21.43     22.58
71.84/18.08	c  N dy   831    217109       772      3368         0     35203     10246    681078     21.46     22.66
77.86/19.58	c  N dy   908    231178       772      3368         0     29316     10246    469170     21.50     22.72
81.03/20.35	c  S st   941    237772       772      3368         0     35871     10246    677408     21.52   no data
81.43/20.43	c  S st   941    238273       772      3368         0     36372     10246    693432     21.52   no data
81.43/20.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.43/20.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
81.43/20.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
81.43/20.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.43/20.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.43/20.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
81.43/20.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
81.43/20.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
81.43/20.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.63/20.73	c lits-rem:       143  cl-subs:      323  v-elim:      0  v-fix:    0  time:  0.25 s
82.63/20.73	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
82.63/20.74	c vivif2 --  cl tried    36049 cl shrink        0 lits rem          0 time: 0.01
82.63/20.77	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.04
82.63/20.77	c calculated reachability. Time: 0.00
82.63/20.77	c  N dy   941    238273       772      3368         0     36049     10246    680973     21.52   no data
91.41/22.96	c  N dy   998    256494       772      3368         0     33281     10246    568165     21.47     22.86
99.43/24.96	c  N dy  1069    272993       772      3368         0     27808     10246    371052     21.46     22.70
108.61/27.25	c  N dy  1146    290652       772      3368         0     45352     10246    931344     21.46     22.60
115.38/28.97	c  F st  1215    306251       772      3368         0     38002     10246    671565     21.46   no data
116.99/29.39	c  N st  1220    309549       772      3368         0     41284     10246    781993     21.46   no data
118.17/29.67	c Decided on static restart strategy
130.17/32.61	c  N st  1225    334554       772      3368         0     42094     10246    994810     21.46   no data
142.13/35.60	c  N st  1227    357410       772      3368         0     39942     10246   1034214     21.46   no data
142.13/35.60	c  S st  1227    357410       772      3368         0     39942     10246   1034214     21.46   no data
142.53/35.71	c  S st  1227    357911       772      3368         0     40443     10246   1048936     21.46   no data
142.53/35.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
142.53/35.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
142.53/35.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
142.53/35.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
142.53/35.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
142.53/35.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
142.53/35.73	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
142.53/35.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
142.53/35.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.32/36.93	c lits-rem:       228  cl-subs:     1891  v-elim:      0  v-fix:    0  time:  1.15 s
147.32/36.93	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
147.32/36.95	c vivif2 --  cl tried    38552 cl shrink        0 lits rem          0 time: 0.01
147.32/36.98	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.03
147.32/36.98	c calculated reachability. Time: 0.00
147.32/36.98	c  N st  1227    357911       772      3368         0     38552     10246    979656     21.46   no data
168.49/42.21	c  N st  1228    390305       772      3368         0     44825     10246   1194317     21.46   no data
200.46/50.22	c  N st  1229    438894       772      3368         0     38520     10246    851722     21.46   no data
247.17/61.97	c  N st  1230    511776       772      3368         0     52035     10246   1266348     21.46   no data
261.15/65.46	c  N st  1231    536866       772      3368         0     46290     10246   1051086     21.46   no data
261.15/65.46	c  S st  1231    536866       772      3368         0     46290     10246   1051086     21.46   no data
261.56/65.58	c  S st  1231    537371       772      3368         0     46795     10246   1068480     21.46   no data
261.56/65.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
261.98/65.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
261.98/65.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
261.98/65.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
261.98/65.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
261.98/65.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
261.98/65.60	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
261.98/65.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
261.98/65.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
266.36/66.80	c lits-rem:       816  cl-subs:     1221  v-elim:      0  v-fix:    0  time:  1.14 s
266.36/66.80	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
266.76/66.81	c vivif2 --  cl tried    45574 cl shrink        0 lits rem          0 time: 0.01
266.76/66.85	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.04
266.76/66.85	c calculated reachability. Time: 0.00
266.76/66.85	c  N st  1231    537371       772      3368         0     45574     10246   1021666     21.46   no data
400.16/100.29	c  N st  1232    701355       772      3368         0     39909     10246    661800     21.46   no data
480.84/120.41	c  N st  1233    806056       772      3368         0     69039     10246   1669677     21.46   no data
480.84/120.41	c  S st  1233    806056       772      3368         0     69039     10246   1669677     21.46   no data
481.65/120.60	c  S st  1233    806559       772      3368         0     69542     10246   1685218     21.46   no data
481.65/120.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
481.65/120.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
481.65/120.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
481.65/120.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
481.65/120.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
481.65/120.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
481.65/120.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
481.65/120.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
482.06/120.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
500.01/125.21	c lits-rem:       488  cl-subs:     2463  v-elim:      0  v-fix:    0  time:  4.49 s
500.01/125.21	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
500.01/125.23	c vivif2 --  cl tried    67079 cl shrink        0 lits rem          0 time: 0.02
500.41/125.30	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.07
500.41/125.30	c calculated reachability. Time: 0.00
500.41/125.30	c  N st  1233    806559       772      3368         0     67079     10246   1603039     21.46   no data
738.06/184.84	c  F st  1234   1071875       772      3368         0     82736     10246   2058848     21.46   no data
738.06/184.84	c  N st  1234   1071875       772      3368         0     82736     10246   2058848     21.46   no data
743.65/186.27	c Decided on static restart strategy
762.41/190.90	c  N st  1244   1100180       772      3368         0     66577     10246   1324325     21.46   no data
797.17/199.62	c  N st  1246   1136173       772      3368         0     56840     10246    995507     21.46   no data
827.92/207.35	c  N st  1247   1168566       772      3368         0     88803     10246   2110205     21.46   no data
866.66/217.07	c  N st  1248   1209838       772      3368         0     83039     10246   1806297     21.46   no data
866.66/217.07	c  S st  1248   1209838       772      3368         0     83039     10246   1806297     21.46   no data
867.46/217.29	c  S st  1248   1210340       772      3368         0     83541     10246   1821654     21.46   no data
867.86/217.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
867.86/217.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
867.86/217.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
867.86/217.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
867.86/217.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
867.86/217.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
867.86/217.34	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
867.86/217.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
868.27/217.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
889.43/222.70	c lits-rem:       598  cl-subs:     3015  v-elim:      0  v-fix:    0  time:  5.27 s
889.43/222.70	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
889.43/222.73	c vivif2 --  cl tried    80526 cl shrink        0 lits rem          0 time: 0.03
889.83/222.84	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.11
889.83/222.84	c calculated reachability. Time: 0.00
889.83/222.84	c  N st  1248   1210340       772      3368         0     80526     10246   1725523     21.46   no data
964.94/241.66	c  N st  1249   1283222       772      3368         0     56921     10246    908049     21.46   no data
1079.59/270.36	c  N st  1250   1392545       772      3368         0     65297     10246   1213921     21.46   no data
1244.96/311.78	c  N st  1251   1556530       772      3368         0     70068     10246   1309872     21.46   no data
1415.93/354.55	c  N st  1252   1710340       772      3368         0    111978     10246   2809453     21.46   no data
1415.93/354.55	c  S st  1252   1710340       772      3368         0    111978     10246   2809453     21.46   no data
1417.55/354.97	c  S st  1252   1710842       772      3368         0     56432     10246    677191     21.46   no data
1417.55/354.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1417.55/355.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
1417.95/355.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1417.95/355.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1417.95/355.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1417.95/355.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
1417.95/355.00	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1417.95/355.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1417.95/355.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1418.32/355.13	c lits-rem:        37  cl-subs:       23  v-elim:      0  v-fix:    0  time:  0.09 s
1418.32/355.14	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
1418.32/355.15	c vivif2 --  cl tried    56409 cl shrink        0 lits rem          0 time: 0.01
1418.32/355.19	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.05
1418.32/355.20	c calculated reachability. Time: 0.00
1418.32/355.20	c  N st  1252   1710842       772      3368         0     56409     10246    676796     21.46   no data
1888.12/472.79	c  N st  1253   2079807       772      3368         0     62180     10246    731214     21.46   no data
2049.08/513.08	c  N st  1254   2210842       772      3368         0     64308     10246    743241     21.46   no data
2049.08/513.08	c  S st  1254   2210842       772      3368         0     64308     10246    743241     21.46   no data
2049.88/513.25	c  S st  1254   2211345       772      3368         0     64810     10246    758835     21.46   no data
2049.88/513.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2049.88/513.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
2049.88/513.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2049.88/513.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2049.88/513.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2049.88/513.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
2049.88/513.28	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2049.88/513.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2050.30/513.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2050.70/513.43	c lits-rem:        13  cl-subs:       42  v-elim:      0  v-fix:    0  time:  0.10 s
2050.70/513.43	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
2050.70/513.44	c vivif2 --  cl tried    64768 cl shrink        0 lits rem          0 time: 0.01
2051.08/513.50	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.06
2051.08/513.50	c calculated reachability. Time: 0.00
2051.08/513.50	c  N st  1254   2211345       772      3368         0     64768     10246    757560     21.46   no data
2754.52/689.61	c  N st  1255   2711346       772      3368         0     81211     10246   1173032     21.46   no data
2754.52/689.61	c  S st  1255   2711346       772      3368         0     81211     10246   1173032     21.46   no data
2755.32/689.82	c  S st  1255   2711848       772      3368         0     81712     10246   1188818     21.46   no data
2755.32/689.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2755.32/689.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
2755.32/689.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2755.32/689.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2755.32/689.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2755.32/689.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
2755.32/689.87	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2755.32/689.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2755.72/689.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2759.32/690.82	c lits-rem:       123  cl-subs:     1234  v-elim:      0  v-fix:    0  time:  0.88 s
2759.32/690.82	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
2759.32/690.83	c vivif2 --  cl tried    80478 cl shrink        0 lits rem          0 time: 0.02
2759.72/690.91	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.08
2759.72/690.91	c calculated reachability. Time: 0.00
2759.72/690.91	c  N st  1255   2711848       772      3368         0     80478     10246   1145392     21.46   no data
3476.35/870.32	c  N st  1256   3211848       772      3368         0    127010     10246   2769246     21.46   no data
3476.35/870.32	c  S st  1256   3211848       772      3368         0    127010     10246   2769246     21.46   no data
3477.95/870.71	c  S st  1256   3212351       772      3368         0    127513     10246   2785302     21.46   no data
3477.95/870.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3477.95/870.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.07
3477.95/870.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3477.95/870.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3477.95/870.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3477.95/870.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
3477.95/870.79	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3478.36/870.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3478.76/870.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3561.44/891.65	c lits-rem:       453  cl-subs:     4975  v-elim:      0  v-fix:    0  time: 20.72 s
3561.44/891.65	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
3561.44/891.69	c vivif2 --  cl tried   122538 cl shrink        0 lits rem          0 time: 0.04
3562.26/891.87	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.18
3562.26/891.87	c calculated reachability. Time: 0.00
3562.26/891.87	c  N st  1256   3212351       772      3368         0    122538     10246   2593124     21.46   no data
4344.77/1087.70	c  N st  1257   3712351       772      3368         0    133677     10246   2801135     21.46   no data
4344.77/1087.70	c  S st  1257   3712351       772      3368         0    133677     10246   2801135     21.46   no data
4346.77/1088.23	c  S st  1257   3712853       772      3368         0    134179     10246   2817876     21.46   no data
4346.77/1088.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4347.17/1088.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.09
4347.17/1088.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4347.17/1088.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4347.17/1088.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4347.17/1088.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
4347.17/1088.33	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4347.17/1088.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
4347.57/1088.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4451.03/1114.30	c lits-rem:       693  cl-subs:     5831  v-elim:      0  v-fix:    0  time: 25.82 s
4451.03/1114.30	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
4451.03/1114.34	c vivif2 --  cl tried   128348 cl shrink        0 lits rem          0 time: 0.04
4451.43/1114.50	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.15
4451.83/1114.50	c calculated reachability. Time: 0.00
4451.83/1114.50	c  N st  1257   3712853       772      3368         0    128348     10246   2606603     21.46   no data
4526.13/1133.18	c  F st  1258   3751562       772      3368         0    166351     10246   3843836     21.46   no data
4526.13/1133.18	c  N st  1258   3751562       772      3368         0    166351     10246   3843836     21.46   no data
4559.30/1141.42	c  N dy  1364   3772669       772      3368         0    103640     10246   1597746     21.52     22.75
4597.64/1151.01	c  N dy  1476   3792767       772      3368         0    123597     10246   2240118     21.57     23.59
4645.17/1162.90	c  N dy  1600   3812953       772      3368         0    143673     10246   2895478     21.63     22.83
4700.69/1176.87	c  N dy  1724   3832982       772      3368         0    163574     10246   3543323     21.69     26.73
4747.83/1188.62	c  N dy  1837   3853646       772      3368         0     98980     10246   1303278     21.74     22.96
4784.18/1197.72	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: 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-3174246-1304115886/watcher-3174246-1304115886 -o /tmp/evaluation-result-3174246-1304115886/solver-3174246-1304115886 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174246-1304115886.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: 3.75 4.05 5.08 2/170 27427
/proc/meminfo: memFree=30845988/32951132 swapFree=67111356/67111528
[pid=27427] ppid=27425 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/27427/stat : 27427 (strangenight2-m) R 27425 27427 26975 0 -1 4202496 413 0 0 0 0 0 0 0 22 0 4 0 523188246 52441088 352 33554432000 4194304 4627427 140734286151152 18446744073709551615 274664808379 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27427/statm: 12803 352 303 106 0 7774 0
[pid=27427/tid=27428] ppid=27425 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/27427/task/27428/stat : 27428 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 523188247 52441088 352 33554432000 4194304 4627427 140734286151152 18446744073709551615 47182529160729 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27427/tid=27429] ppid=27425 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/27427/task/27429/stat : 27429 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 523188247 52441088 352 33554432000 4194304 4627427 140734286151152 18446744073709551615 47182529161138 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27427/tid=27430] ppid=27425 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/27427/task/27430/stat : 27430 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 523188247 52441088 352 33554432000 4194304 4627427 140734286151152 18446744073709551615 274659855446 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.808021 s]
/proc/loadavg: 3.75 4.05 5.08 2/170 27427
/proc/meminfo: memFree=30845988/32951132 swapFree=67111356/67111528
[pid=27427] ppid=27425 vsize=285552 CPUtime=3.2 cores=1,3,5,7
/proc/27427/stat : 27427 (strangenight2-m) R 27425 27427 26975 0 -1 4202496 5549 0 0 0 320 0 0 0 19 0 4 0 523188246 292405248 3414 33554432000 4194304 4627427 140734286151152 18446744073709551615 4310577 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27427/statm: 71388 3415 385 106 0 66359 0
[pid=27427/tid=27428] ppid=27425 vsize=285552 CPUtime=0.8 cores=1,3,5,7
/proc/27427/task/27428/stat : 27428 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 1271 0 0 0 80 0 0 0 19 0 4 0 523188247 292405248 3415 33554432000 4194304 4627427 140734286151152 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27427/tid=27429] ppid=27425 vsize=285552 CPUtime=0.8 cores=1,3,5,7
/proc/27427/task/27429/stat : 27429 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 1353 0 0 0 80 0 0 0 19 0 4 0 523188247 292405248 3415 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27427/tid=27430] ppid=27425 vsize=285552 CPUtime=0.8 cores=1,3,5,7
/proc/27427/task/27430/stat : 27430 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 1187 0 0 0 80 0 0 0 19 0 4 0 523188247 292405248 3415 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 285552

[startup+0.901008 s]
/proc/loadavg: 3.75 4.05 5.08 2/170 27427
/proc/meminfo: memFree=30845988/32951132 swapFree=67111356/67111528
[pid=27427] ppid=27425 vsize=286508 CPUtime=3.57 cores=1,3,5,7
/proc/27427/stat : 27427 (strangenight2-m) R 27425 27427 26975 0 -1 4202496 6561 0 0 0 357 0 0 0 19 0 4 0 523188246 293384192 2908 33554432000 4194304 4627427 140734286151152 18446744073709551615 4333004 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27427/statm: 71627 2908 385 106 0 66598 0
[pid=27427/tid=27428] ppid=27425 vsize=286508 CPUtime=0.89 cores=1,3,5,7
/proc/27427/task/27428/stat : 27428 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 1520 0 0 0 89 0 0 0 19 0 4 0 523188247 293384192 2912 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27427/tid=27429] ppid=27425 vsize=286508 CPUtime=0.89 cores=1,3,5,7
/proc/27427/task/27429/stat : 27429 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 1604 0 0 0 89 0 0 0 19 0 4 0 523188247 293384192 2912 33554432000 4194304 4627427 140734286151152 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27427/tid=27430] ppid=27425 vsize=286508 CPUtime=0.89 cores=1,3,5,7
/proc/27427/task/27430/stat : 27430 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 1451 0 0 0 89 0 0 0 19 0 4 0 523188247 293384192 2913 33554432000 4194304 4627427 140734286151152 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 286508

[startup+1.00299 s]
/proc/loadavg: 3.75 4.05 5.08 2/170 27427
/proc/meminfo: memFree=30845988/32951132 swapFree=67111356/67111528
[pid=27427] ppid=27425 vsize=286508 CPUtime=3.98 cores=1,3,5,7
/proc/27427/stat : 27427 (strangenight2-m) R 27425 27427 26975 0 -1 4202496 6848 0 0 0 398 0 0 0 19 0 4 0 523188246 293384192 3195 33554432000 4194304 4627427 140734286151152 18446744073709551615 4333052 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27427/statm: 71627 3195 385 106 0 66598 0
[pid=27427/tid=27428] ppid=27425 vsize=286508 CPUtime=0.99 cores=1,3,5,7
/proc/27427/task/27428/stat : 27428 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 1588 0 0 0 99 0 0 0 19 0 4 0 523188247 293384192 3195 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27427/tid=27429] ppid=27425 vsize=286508 CPUtime=0.99 cores=1,3,5,7
/proc/27427/task/27429/stat : 27429 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 1672 0 0 0 99 0 0 0 19 0 4 0 523188247 293384192 3195 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309284 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27427/tid=27430] ppid=27425 vsize=286508 CPUtime=0.99 cores=1,3,5,7
/proc/27427/task/27430/stat : 27430 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 1528 0 0 0 99 0 0 0 19 0 4 0 523188247 293384192 3195 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 286508

[startup+1.10097 s]
/proc/loadavg: 3.75 4.05 5.08 2/170 27427
/proc/meminfo: memFree=30845988/32951132 swapFree=67111356/67111528
[pid=27427] ppid=27425 vsize=286508 CPUtime=4.37 cores=1,3,5,7
/proc/27427/stat : 27427 (strangenight2-m) R 27425 27427 26975 0 -1 4202496 7120 0 0 0 437 0 0 0 19 0 4 0 523188246 293384192 3467 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27427/statm: 71627 3467 385 106 0 66598 0
[pid=27427/tid=27428] ppid=27425 vsize=286508 CPUtime=1.09 cores=1,3,5,7
/proc/27427/task/27428/stat : 27428 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 1658 0 0 0 109 0 0 0 19 0 4 0 523188247 293384192 3467 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27427/tid=27429] ppid=27425 vsize=286508 CPUtime=1.08 cores=1,3,5,7
/proc/27427/task/27429/stat : 27429 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 1733 0 0 0 108 0 0 0 19 0 4 0 523188247 293384192 3467 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27427/tid=27430] ppid=27425 vsize=286508 CPUtime=1.09 cores=1,3,5,7
/proc/27427/task/27430/stat : 27430 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 1597 0 0 0 109 0 0 0 19 0 4 0 523188247 293384192 3467 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 286508

[startup+1.5009 s]
/proc/loadavg: 3.75 4.05 5.08 2/170 27427
/proc/meminfo: memFree=30845988/32951132 swapFree=67111356/67111528
[pid=27427] ppid=27425 vsize=287240 CPUtime=5.97 cores=1,3,5,7
/proc/27427/stat : 27427 (strangenight2-m) R 27425 27427 26975 0 -1 4202496 9093 0 0 0 596 1 0 0 19 0 4 0 523188246 294133760 3588 33554432000 4194304 4627427 140734286151152 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27427/statm: 71810 3588 386 106 0 66781 0
[pid=27427/tid=27428] ppid=27425 vsize=287240 CPUtime=1.49 cores=1,3,5,7
/proc/27427/task/27428/stat : 27428 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 2151 0 0 0 149 0 0 0 20 0 4 0 523188247 294133760 3588 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27427/tid=27429] ppid=27425 vsize=287240 CPUtime=1.48 cores=1,3,5,7
/proc/27427/task/27429/stat : 27429 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 2223 0 0 0 148 0 0 0 20 0 4 0 523188247 294133760 3588 33554432000 4194304 4627427 140734286151152 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27427/tid=27430] ppid=27425 vsize=287240 CPUtime=1.48 cores=1,3,5,7
/proc/27427/task/27430/stat : 27430 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 2090 0 0 0 148 0 0 0 20 0 4 0 523188247 294133760 3588 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309594 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) 287240

[startup+3.10063 s]
/proc/loadavg: 3.75 4.05 5.08 10/181 27443
/proc/meminfo: memFree=30770736/32951132 swapFree=67111356/67111528
[pid=27427] ppid=27425 vsize=284360 CPUtime=12.35 cores=1,3,5,7
/proc/27427/stat : 27427 (strangenight2-m) R 27425 27427 26975 0 -1 4202496 21797 0 0 0 1232 3 0 0 25 0 4 0 523188246 291184640 11968 33554432000 4194304 4627427 140734286151152 18446744073709551615 4327427 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27427/statm: 71090 11968 389 106 0 66061 0
[pid=27427/tid=27428] ppid=27425 vsize=284360 CPUtime=3.09 cores=1,3,5,7
/proc/27427/task/27428/stat : 27428 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 4845 0 0 0 309 0 0 0 25 0 4 0 523188247 291184640 11968 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27427/tid=27429] ppid=27425 vsize=284360 CPUtime=3.07 cores=1,3,5,7
/proc/27427/task/27429/stat : 27429 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 5969 0 0 0 306 1 0 0 25 0 4 0 523188247 291184640 11968 33554432000 4194304 4627427 140734286151152 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27427/tid=27430] ppid=27425 vsize=284360 CPUtime=3.08 cores=1,3,5,7
/proc/27427/task/27430/stat : 27430 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 5417 0 0 0 308 0 0 0 25 0 4 0 523188247 291184640 11968 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 284360

[startup+6.30607 s]
/proc/loadavg: 4.09 4.12 5.09 9/182 27444
/proc/meminfo: memFree=30735284/32951132 swapFree=67111356/67111528
[pid=27427] ppid=27425 vsize=295436 CPUtime=25.14 cores=1,3,5,7
/proc/27427/stat : 27427 (strangenight2-m) R 27425 27427 26975 0 -1 4202496 32817 0 0 0 2509 5 0 0 25 0 4 0 523188246 302526464 15967 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27427/statm: 73859 15968 389 106 0 68830 0
[pid=27427/tid=27428] ppid=27425 vsize=295436 CPUtime=6.29 cores=1,3,5,7
/proc/27427/task/27428/stat : 27428 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 9323 0 0 0 628 1 0 0 25 0 4 0 523188247 302526464 15968 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27427/tid=27429] ppid=27425 vsize=295436 CPUtime=6.25 cores=1,3,5,7
/proc/27427/task/27429/stat : 27429 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 8150 0 0 0 624 1 0 0 25 0 4 0 523188247 302526464 15968 33554432000 4194304 4627427 140734286151152 18446744073709551615 4327752 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27427/tid=27430] ppid=27425 vsize=295436 CPUtime=6.29 cores=1,3,5,7
/proc/27427/task/27430/stat : 27430 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 7690 0 0 0 628 1 0 0 25 0 4 0 523188247 302526464 15969 33554432000 4194304 4627427 140734286151152 18446744073709551615 4507260 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) 295436

[startup+12.701 s]
/proc/loadavg: 4.41 4.18 5.11 9/182 27444
/proc/meminfo: memFree=30693368/32951132 swapFree=67111356/67111528
[pid=27427] ppid=27425 vsize=292824 CPUtime=50.68 cores=1,3,5,7
/proc/27427/stat : 27427 (strangenight2-m) R 27425 27427 26975 0 -1 4202496 52617 0 0 0 5058 10 0 0 25 0 4 0 523188246 299851776 25199 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27427/statm: 73206 25199 389 106 0 68177 0
[pid=27427/tid=27428] ppid=27425 vsize=292824 CPUtime=12.68 cores=1,3,5,7
/proc/27427/task/27428/stat : 27428 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 14668 0 0 0 1266 2 0 0 25 0 4 0 523188247 299851776 25199 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27427/tid=27429] ppid=27425 vsize=292824 CPUtime=12.61 cores=1,3,5,7
/proc/27427/task/27429/stat : 27429 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 12538 0 0 0 1259 2 0 0 25 0 4 0 523188247 299851776 25199 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27427/tid=27430] ppid=27425 vsize=292824 CPUtime=12.68 cores=1,3,5,7
/proc/27427/task/27430/stat : 27430 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 13915 0 0 0 1265 3 0 0 25 0 4 0 523188247 299851776 25199 33554432000 4194304 4627427 140734286151152 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 292824

[startup+25.5007 s]
/proc/loadavg: 5.27 4.38 5.16 9/182 27445
/proc/meminfo: memFree=30628880/32951132 swapFree=67111356/67111528
[pid=27427] ppid=27425 vsize=316480 CPUtime=101.8 cores=1,3,5,7
/proc/27427/stat : 27427 (strangenight2-m) R 27425 27427 26975 0 -1 4202496 76958 0 0 0 10163 17 0 0 25 0 4 0 523188246 324075520 33719 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27427/statm: 79120 33719 389 106 0 74091 0
[pid=27427/tid=27428] ppid=27425 vsize=316480 CPUtime=25.48 cores=1,3,5,7
/proc/27427/task/27428/stat : 27428 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 22349 0 0 0 2544 4 0 0 25 0 4 0 523188247 324075520 33719 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27427/tid=27429] ppid=27425 vsize=316480 CPUtime=25.34 cores=1,3,5,7
/proc/27427/task/27429/stat : 27429 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 17101 0 0 0 2530 4 0 0 25 0 4 0 523188247 324075520 33719 33554432000 4194304 4627427 140734286151152 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27427/tid=27430] ppid=27425 vsize=316480 CPUtime=25.47 cores=1,3,5,7
/proc/27427/task/27430/stat : 27430 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 20180 0 0 0 2543 4 0 0 25 0 4 0 523188247 324075520 33719 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 316480

[startup+51.1003 s]
/proc/loadavg: 6.20 4.67 5.23 9/182 27446
/proc/meminfo: memFree=30584300/32951132 swapFree=67111356/67111528
[pid=27427] ppid=27425 vsize=316208 CPUtime=204.04 cores=1,3,5,7
/proc/27427/stat : 27427 (strangenight2-m) R 27425 27427 26975 0 -1 4202496 110735 0 0 0 20375 29 0 0 25 0 4 0 523188246 323796992 42726 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27427/statm: 79052 42726 389 106 0 74023 0
[pid=27427/tid=27428] ppid=27425 vsize=316208 CPUtime=51.06 cores=1,3,5,7
/proc/27427/task/27428/stat : 27428 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 27468 0 0 0 5101 5 0 0 25 0 4 0 523188247 323796992 42726 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27427/tid=27429] ppid=27425 vsize=316208 CPUtime=50.8 cores=1,3,5,7
/proc/27427/task/27429/stat : 27429 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 23941 0 0 0 5073 7 0 0 25 0 4 0 523188247 323796992 42726 33554432000 4194304 4627427 140734286151152 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27427/tid=27430] ppid=27425 vsize=316208 CPUtime=51.07 cores=1,3,5,7
/proc/27427/task/27430/stat : 27430 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 31360 0 0 0 5099 8 0 0 25 0 4 0 523188247 323796992 42726 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.04
Current children cumulated vsize (KiB) 316208

[startup+102.3 s]
/proc/loadavg: 7.22 5.18 5.37 9/182 27447
/proc/meminfo: memFree=30520664/32951132 swapFree=67111356/67111528
[pid=27427] ppid=27425 vsize=391660 CPUtime=408.55 cores=1,3,5,7
/proc/27427/stat : 27427 (strangenight2-m) R 27425 27427 26975 0 -1 4202496 154306 0 0 0 40810 45 0 0 25 0 4 0 523188246 401059840 52905 33554432000 4194304 4627427 140734286151152 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27427/statm: 97915 52905 389 106 0 92886 0
[pid=27427/tid=27428] ppid=27425 vsize=391660 CPUtime=102.27 cores=1,3,5,7
/proc/27427/task/27428/stat : 27428 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 30445 0 0 0 10221 6 0 0 25 0 4 0 523188247 401059840 52905 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27427/tid=27429] ppid=27425 vsize=391660 CPUtime=101.72 cores=1,3,5,7
/proc/27427/task/27429/stat : 27429 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 33596 0 0 0 10162 10 0 0 25 0 4 0 523188247 401059840 52905 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27427/tid=27430] ppid=27425 vsize=391660 CPUtime=102.26 cores=1,3,5,7
/proc/27427/task/27430/stat : 27430 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 44551 0 0 0 10214 12 0 0 25 0 4 0 523188247 401059840 52905 33554432000 4194304 4627427 140734286151152 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.55
Current children cumulated vsize (KiB) 391660

[startup+162.301 s]

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

[pid=27427] ppid=27425 vsize=786344 CPUtime=2805.26 cores=1,3,5,7
/proc/27427/stat : 27427 (strangenight2-m) R 27425 27427 26975 0 -1 4202496 421116 0 0 0 280352 174 0 0 25 0 4 0 523188246 805216256 125441 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27427/statm: 196586 125441 389 106 0 191557 0
[pid=27427/tid=27428] ppid=27425 vsize=786344 CPUtime=702.25 cores=1,3,5,7
/proc/27427/task/27428/stat : 27428 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 39170 0 0 0 70214 11 0 0 25 0 4 0 523188247 805216256 125441 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27427/tid=27429] ppid=27425 vsize=786344 CPUtime=698.47 cores=1,3,5,7
/proc/27427/task/27429/stat : 27429 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 117414 0 0 0 69797 50 0 0 25 0 4 0 523188247 805216256 125441 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27427/tid=27430] ppid=27425 vsize=786344 CPUtime=702.26 cores=1,3,5,7
/proc/27427/task/27430/stat : 27430 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 125719 0 0 0 70173 53 0 0 25 0 4 0 523188247 805216256 125441 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.26
Current children cumulated vsize (KiB) 786344

[startup+762.3 s]
/proc/loadavg: 8.15 7.78 6.75 9/182 27494
/proc/meminfo: memFree=30055732/32951132 swapFree=67111356/67111528
[pid=27427] ppid=27425 vsize=708652 CPUtime=3044.93 cores=1,3,5,7
/proc/27427/stat : 27427 (strangenight2-m) R 27425 27427 26975 0 -1 4202496 438432 0 0 0 304311 182 0 0 25 0 4 0 523188246 725659648 118547 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27427/statm: 177163 118547 389 106 0 172134 0
[pid=27427/tid=27428] ppid=27425 vsize=708652 CPUtime=762.25 cores=1,3,5,7
/proc/27427/task/27428/stat : 27428 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 39907 0 0 0 76213 12 0 0 25 0 4 0 523188247 725659648 118547 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27427/tid=27429] ppid=27425 vsize=708652 CPUtime=758.14 cores=1,3,5,7
/proc/27427/task/27429/stat : 27429 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 123437 0 0 0 75762 52 0 0 25 0 4 0 523188247 725659648 118547 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27427/tid=27430] ppid=27425 vsize=708652 CPUtime=762.26 cores=1,3,5,7
/proc/27427/task/27430/stat : 27430 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 130750 0 0 0 76170 56 0 0 25 0 4 0 523188247 725659648 118547 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3044.93
Current children cumulated vsize (KiB) 708652

[startup+822.301 s]
/proc/loadavg: 8.05 7.81 6.82 9/182 27496
/proc/meminfo: memFree=30060788/32951132 swapFree=67111356/67111528
[pid=27427] ppid=27425 vsize=709696 CPUtime=3284.61 cores=1,3,5,7
/proc/27427/stat : 27427 (strangenight2-m) R 27425 27427 26975 0 -1 4202496 454619 0 0 0 328268 193 0 0 25 0 4 0 523188246 726728704 111538 33554432000 4194304 4627427 140734286151152 18446744073709551615 4310392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27427/statm: 177424 111538 389 106 0 172395 0
[pid=27427/tid=27428] ppid=27425 vsize=709696 CPUtime=822.25 cores=1,3,5,7
/proc/27427/task/27428/stat : 27428 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 40929 0 0 0 82213 12 0 0 25 0 4 0 523188247 726728704 111538 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27427/tid=27429] ppid=27425 vsize=709696 CPUtime=817.82 cores=1,3,5,7
/proc/27427/task/27429/stat : 27429 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 128978 0 0 0 81726 56 0 0 25 0 4 0 523188247 726728704 111538 33554432000 4194304 4627427 140734286151152 18446744073709551615 4330984 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27427/tid=27430] ppid=27425 vsize=709696 CPUtime=822.27 cores=1,3,5,7
/proc/27427/task/27430/stat : 27430 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 135328 0 0 0 82168 59 0 0 25 0 4 0 523188247 726728704 111538 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.61
Current children cumulated vsize (KiB) 709696

[startup+882.301 s]
/proc/loadavg: 8.02 7.85 6.89 9/182 27498
/proc/meminfo: memFree=29923872/32951132 swapFree=67111356/67111528
[pid=27427] ppid=27425 vsize=776568 CPUtime=3524.28 cores=1,3,5,7
/proc/27427/stat : 27427 (strangenight2-m) R 27425 27427 26975 0 -1 4202496 484784 0 0 0 352222 206 0 0 25 0 4 0 523188246 795205632 122923 33554432000 4194304 4627427 140734286151152 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27427/statm: 194142 122923 389 106 0 189113 0
[pid=27427/tid=27428] ppid=27425 vsize=776568 CPUtime=882.25 cores=1,3,5,7
/proc/27427/task/27428/stat : 27428 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 43472 0 0 0 88211 14 0 0 25 0 4 0 523188247 795205632 122923 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27427/tid=27429] ppid=27425 vsize=776568 CPUtime=877.49 cores=1,3,5,7
/proc/27427/task/27429/stat : 27429 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 135655 0 0 0 87689 60 0 0 25 0 4 0 523188247 795205632 122923 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27427/tid=27430] ppid=27425 vsize=776568 CPUtime=882.26 cores=1,3,5,7
/proc/27427/task/27430/stat : 27430 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 144894 0 0 0 88163 63 0 0 25 0 4 0 523188247 795205632 122923 33554432000 4194304 4627427 140734286151152 18446744073709551615 4420243 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.28
Current children cumulated vsize (KiB) 776568

[startup+942.3 s]
/proc/loadavg: 8.00 7.87 6.96 9/182 27499
/proc/meminfo: memFree=29940080/32951132 swapFree=67111356/67111528
[pid=27427] ppid=27425 vsize=730752 CPUtime=3763.98 cores=1,3,5,7
/proc/27427/stat : 27427 (strangenight2-m) R 27425 27427 26975 0 -1 4202496 506310 0 0 0 376181 217 0 0 25 0 4 0 523188246 748290048 123156 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27427/statm: 182688 123156 389 106 0 177659 0
[pid=27427/tid=27428] ppid=27425 vsize=730752 CPUtime=942.26 cores=1,3,5,7
/proc/27427/task/27428/stat : 27428 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 47105 0 0 0 94210 16 0 0 25 0 4 0 523188247 748290048 123156 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27427/tid=27429] ppid=27425 vsize=730752 CPUtime=937.17 cores=1,3,5,7
/proc/27427/task/27429/stat : 27429 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 142687 0 0 0 93654 63 0 0 25 0 4 0 523188247 748290048 123156 33554432000 4194304 4627427 140734286151152 18446744073709551615 4332200 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27427/tid=27430] ppid=27425 vsize=730752 CPUtime=942.27 cores=1,3,5,7
/proc/27427/task/27430/stat : 27430 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 151868 0 0 0 94161 66 0 0 25 0 4 0 523188247 748290048 123156 33554432000 4194304 4627427 140734286151152 18446744073709551615 4333369 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3763.98
Current children cumulated vsize (KiB) 730752

[startup+1002.3 s]
/proc/loadavg: 8.00 7.89 7.02 9/182 27501
/proc/meminfo: memFree=29846556/32951132 swapFree=67111356/67111528
[pid=27427] ppid=27425 vsize=869848 CPUtime=4003.63 cores=1,3,5,7
/proc/27427/stat : 27427 (strangenight2-m) R 27425 27427 26975 0 -1 4202496 540190 0 0 0 400130 233 0 0 25 0 4 0 523188246 890724352 141344 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27427/statm: 217462 141344 389 106 0 212433 0
[pid=27427/tid=27428] ppid=27425 vsize=869848 CPUtime=1002.26 cores=1,3,5,7
/proc/27427/task/27428/stat : 27428 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 56868 0 0 0 100206 20 0 0 25 0 4 0 523188247 890724352 141344 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27427/tid=27429] ppid=27425 vsize=869848 CPUtime=996.84 cores=1,3,5,7
/proc/27427/task/27429/stat : 27429 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 152717 0 0 0 99617 67 0 0 25 0 4 0 523188247 890724352 141344 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27427/tid=27430] ppid=27425 vsize=869848 CPUtime=1002.26 cores=1,3,5,7
/proc/27427/task/27430/stat : 27430 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 158892 0 0 0 100156 70 0 0 25 0 4 0 523188247 890724352 141344 33554432000 4194304 4627427 140734286151152 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.63
Current children cumulated vsize (KiB) 869848

[startup+1062.31 s]
/proc/loadavg: 8.04 7.92 7.09 9/182 27502
/proc/meminfo: memFree=29852248/32951132 swapFree=67111356/67111528
[pid=27427] ppid=27425 vsize=822568 CPUtime=4243.33 cores=1,3,5,7
/proc/27427/stat : 27427 (strangenight2-m) R 27425 27427 26975 0 -1 4202496 562325 0 0 0 424088 245 0 0 25 0 4 0 523188246 842309632 142207 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27427/statm: 205642 142207 389 106 0 200613 0
[pid=27427/tid=27428] ppid=27425 vsize=822568 CPUtime=1062.26 cores=1,3,5,7
/proc/27427/task/27428/stat : 27428 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 57527 0 0 0 106206 20 0 0 25 0 4 0 523188247 842309632 142207 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27427/tid=27429] ppid=27425 vsize=822568 CPUtime=1056.52 cores=1,3,5,7
/proc/27427/task/27429/stat : 27429 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 161579 0 0 0 105580 72 0 0 25 0 4 0 523188247 842309632 142207 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309598 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27427/tid=27430] ppid=27425 vsize=822568 CPUtime=1062.27 cores=1,3,5,7
/proc/27427/task/27430/stat : 27430 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 166401 0 0 0 106153 74 0 0 25 0 4 0 523188247 842309632 142207 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.33
Current children cumulated vsize (KiB) 822568

[startup+1122.3 s]
/proc/loadavg: 8.01 7.93 7.14 9/182 27504
/proc/meminfo: memFree=29774856/32951132 swapFree=67111356/67111528
[pid=27427] ppid=27425 vsize=981912 CPUtime=4482.99 cores=1,3,5,7
/proc/27427/stat : 27427 (strangenight2-m) R 27425 27427 26975 0 -1 4202496 577914 0 0 0 448044 255 0 0 25 0 4 0 523188246 1005477888 150978 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27427/statm: 245478 150978 389 106 0 240449 0
[pid=27427/tid=27428] ppid=27425 vsize=981912 CPUtime=1122.26 cores=1,3,5,7
/proc/27427/task/27428/stat : 27428 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 58722 0 0 0 112205 21 0 0 25 0 4 0 523188247 1005477888 150978 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27427/tid=27429] ppid=27425 vsize=981912 CPUtime=1116.19 cores=1,3,5,7
/proc/27427/task/27429/stat : 27429 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 167466 0 0 0 111543 76 0 0 25 0 4 0 523188247 1005477888 150978 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27427/tid=27430] ppid=27425 vsize=981912 CPUtime=1122.27 cores=1,3,5,7
/proc/27427/task/27430/stat : 27430 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 169614 0 0 0 112150 77 0 0 25 0 4 0 523188247 1005477888 150978 33554432000 4194304 4627427 140734286151152 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4482.99
Current children cumulated vsize (KiB) 981912

[startup+1182.3 s]
/proc/loadavg: 8.04 7.96 7.20 9/182 27506
/proc/meminfo: memFree=29736516/32951132 swapFree=67111356/67111528
[pid=27427] ppid=27425 vsize=823196 CPUtime=4722.67 cores=1,3,5,7
/proc/27427/stat : 27427 (strangenight2-m) R 27425 27427 26975 0 -1 4202496 599305 0 0 0 472001 266 0 0 25 0 4 0 523188246 842952704 154961 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27427/statm: 205799 154961 389 106 0 200770 0
[pid=27427/tid=27428] ppid=27425 vsize=823196 CPUtime=1182.26 cores=1,3,5,7
/proc/27427/task/27428/stat : 27428 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 63053 0 0 0 118202 24 0 0 25 0 4 0 523188247 842952704 154961 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27427/tid=27429] ppid=27425 vsize=823196 CPUtime=1175.86 cores=1,3,5,7
/proc/27427/task/27429/stat : 27429 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 176581 0 0 0 117506 80 0 0 25 0 4 0 523188247 842952704 154961 33554432000 4194304 4627427 140734286151152 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27427/tid=27430] ppid=27425 vsize=823196 CPUtime=1182.27 cores=1,3,5,7
/proc/27427/task/27430/stat : 27430 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 172607 0 0 0 118148 79 0 0 25 0 4 0 523188247 842952704 154961 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.67
Current children cumulated vsize (KiB) 823196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.10 7.98 7.22 9/182 27506
/proc/meminfo: memFree=29730796/32951132 swapFree=67111356/67111528
[pid=27427] ppid=27425 vsize=926216 CPUtime=4800.18 cores=1,3,5,7
/proc/27427/stat : 27427 (strangenight2-m) R 27425 27427 26975 0 -1 4202496 602251 0 0 0 479750 268 0 0 25 0 4 0 523188246 948445184 152468 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27427/statm: 231554 152468 389 106 0 226525 0
[pid=27427/tid=27428] ppid=27425 vsize=926216 CPUtime=1201.66 cores=1,3,5,7
/proc/27427/task/27428/stat : 27428 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 63328 0 0 0 120142 24 0 0 25 0 4 0 523188247 948445184 152468 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27427/tid=27429] ppid=27425 vsize=926216 CPUtime=1195.16 cores=1,3,5,7
/proc/27427/task/27429/stat : 27429 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 178049 0 0 0 119435 81 0 0 25 0 4 0 523188247 948445184 152468 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27427/tid=27430] ppid=27425 vsize=926216 CPUtime=1201.68 cores=1,3,5,7
/proc/27427/task/27430/stat : 27430 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 173777 0 0 0 120088 80 0 0 25 0 4 0 523188247 948445184 152468 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 926216

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

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

[startup+1201.7 s]
/proc/loadavg: 8.10 7.98 7.22 9/182 27506
/proc/meminfo: memFree=29730796/32951132 swapFree=67111356/67111528
[pid=27427] ppid=27425 vsize=926216 CPUtime=4800.18 cores=1,3,5,7
/proc/27427/stat : 27427 (strangenight2-m) R 27425 27427 26975 0 -1 4202496 602251 0 0 0 479750 268 0 0 25 0 4 0 523188246 948445184 152468 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27427/statm: 231554 152468 389 106 0 226525 0
[pid=27427/tid=27428] ppid=27425 vsize=926216 CPUtime=1201.66 cores=1,3,5,7
/proc/27427/task/27428/stat : 27428 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 63328 0 0 0 120142 24 0 0 25 0 4 0 523188247 948445184 152468 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27427/tid=27429] ppid=27425 vsize=926216 CPUtime=1195.16 cores=1,3,5,7
/proc/27427/task/27429/stat : 27429 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 178049 0 0 0 119435 81 0 0 25 0 4 0 523188247 948445184 152468 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27427/tid=27430] ppid=27425 vsize=926216 CPUtime=1201.68 cores=1,3,5,7
/proc/27427/task/27430/stat : 27430 (strangenight2-m) R 27425 27427 26975 0 -1 4202560 173777 0 0 0 120088 80 0 0 25 0 4 0 523188247 948445184 152468 33554432000 4194304 4627427 140734286151152 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 926216

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.24
CPU user time (s): 4797.53
CPU system time (s): 2.70959
CPU usage (%): 399.441
Max. virtual memory (cumulated for all children) (KiB): 981912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.53
system time used= 2.70959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 602252
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= 231
involuntary context switches= 31117

runsolver used 1.89571 second user time and 4.6333 second system time

The end

Launcher Data 

Begin job on node131 at 2011-04-30 00:24:46
IDJOB=3174246
IDBENCH=83064
IDSOLVER=1586
FILE ID=node131/3174246-1304115886
RUNJOBID= node131-1304115886-27418
PBS_JOBID= 13170681
Free space on /tmp= 71384 MiB

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

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

MD5SUM BENCH= 0d5f032713ed63748b72ef45ba69a269
RANDOM SEED=1182482539

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      30846144 kB
Buffers:        212080 kB
Cached:        1520980 kB
SwapCached:        168 kB
Active:         159368 kB
Inactive:      1639408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30846144 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:            5468 kB
Writeback:           0 kB
AnonPages:       65624 kB
Mapped:          14712 kB
Slab:           242784 kB
PageTables:       4744 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   185360 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71376 MiB
End job on node131 at 2011-04-30 00:44:50