Trace number 3367222

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.48 1203.15

General information on the benchmark

NameSAT03/industrial/kukula/addm_bench/
am_7_7.shuffled-as.sat03-363.cnf
MD5SUMc7f51e1ee7556440ab29e1c4bfe29538
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables4264
Number of clauses14751
Sum of the clauses size40035
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 24214
Number of clauses of size 310535
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-3367222-1305415847.cnf'
0.00/0.00	c -- header says num vars:           4264
0.00/0.00	c -- header says num clauses:       14751
0.00/0.10	c -- clauses added:            0 learnts,        14751 normals,            0 xors
0.00/0.10	c -- vars added       4264
0.00/0.10	c Parsing time:  0.01 s
0.00/0.10	c  N st     0         0      4264     10534      4212         0     40026         0   no data   no data
0.40/0.12	c asymm  cl-useful: 0/10533/10533 lits-rem:0 time: 0.11
0.40/0.14	c Flit:   170 Blit:   1223 bXBeca:    0 bXProp:  344 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
0.40/0.14	c Cleaning up after failed var search:     0.00 s 
0.40/0.14	c Replacing      344 vars Replaced     2881 lits Time:     0.00 s 
0.40/0.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.40/0.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.40/0.15	c subs with bin:      204  lits-rem:       136  v-fix:    0  time:  0.00 s
0.40/0.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1165 time:  0.00 s
0.40/0.15	c Removed useless bin:       0  fixed:     0  props:   0.04M  time:  0.00 s
0.40/0.15	c lits-rem:         0  cl-subs:        4  v-elim:    163  v-fix:    0  time:  0.00 s
0.40/0.15	c Finding binary XORs  T:     0.00 s  found:       1
0.40/0.15	c Replacing        1 vars Replaced       12 lits Time:     0.00 s 
0.77/0.20	c Finding non-binary XORs:     0.00 s (found:     506, avg size: 3.0)
0.77/0.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     11 locsubst:     2 time:   0.00
0.77/0.20	c calculated reachability. Time: 0.00
0.77/0.20	c Calc default polars -  time:   0.00 s pos:     209 undec:    3307 neg:     748
0.77/0.20	c =========================================================================================
0.77/0.20	c types(t): F = full restart, N = normal restart
0.77/0.20	c types(t): S = simplification begin/end, E = solution found
0.77/0.20	c restart types(rt): st = static, dy = dynamic
0.77/0.20	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.77/0.20	c  B st     0         0       990       852       771         0      5826         0   no data   no data
0.77/0.21	c Decided on static restart strategy
1.17/0.34	c  N st     8      4917       970       852      1099      4497      5826    155004   no data   no data
2.37/0.66	c  N st    10     11301       961       852      1260      4723      5826    124746   no data   no data
2.37/0.66	c Finding binary XORs  T:     0.00 s  found:       1
2.37/0.66	c Replacing       26 vars Replaced      585 lits Time:     0.00 s 
3.97/1.05	c  N st    11     17044       930       720      1234     10375      5276    362012   no data   no data
6.36/1.66	c  F st    12     25001       915       684      1371     13080      5136    480859   no data   no data
6.36/1.66	c Replacing        6 vars Replaced      189 lits Time:     0.00 s 
6.36/1.67	c  N st    12     25001       908       681      1333     13080      5095    480815   no data   no data
6.36/1.67	c Finding binary XORs  T:     0.00 s  found:       2
7.56/1.99	c Decided on static restart strategy
7.56/1.99	c  N st    18     30000       892       660      1383     11461      4968    292210   no data   no data
7.56/1.99	c  S st    18     30000       892       660      1383     11461      4968    292210   no data   no data
7.96/2.03	c  S st    18     30502       891       660      1386     11958      4968    303042   no data   no data
7.96/2.03	c x-sub:     1 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.96/2.06	c Flit:     9 Blit:     11 bXBeca:    3 bXProp:    5 Bins:    997 BRemL:    326 BRemN:      0 P:  0.7M T:  0.03
7.96/2.07	c Replacing       13 vars Replaced       63 lits Time:     0.00 s 
7.96/2.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.96/2.07	c bin-w-bin subsume rem           37 bins  time:  0.00 s
7.96/2.07	c subs with bin:       33  lits-rem:         3  v-fix:    0  time:  0.00 s
7.96/2.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    856 time:  0.00 s
7.96/2.07	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
7.96/2.07	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time:  0.00 s
8.36/2.12	c subs with bin:       62  lits-rem:      3366  v-fix:    0  time:  0.03 s
8.36/2.19	c lits-rem:       574  cl-subs:      279  v-elim:      0  v-fix:    0  time:  0.07 s
8.78/2.21	c asymm  cl-useful: 0/584/584 lits-rem:0 time: 0.01
8.78/2.21	c calculated reachability. Time: 0.00
8.78/2.21	c  N st    18     30502       856       584      1816     11575      4581    288180   no data   no data
9.54/2.45	c Finding binary XORs  T:     0.00 s  found:       0
10.75/2.73	c  N st    20     37613       856       584      1837     10984      4581    270570   no data   no data
12.35/3.14	c  N st    21     44012       856       584      1838     17300      4581    518581   no data   no data
12.35/3.14	c Finding binary XORs  T:     0.00 s  found:       2
12.75/3.28	c  S st    22     45753       847       573      2619     10294      4513    196864   no data   no data
13.16/3.33	c  S st    22     46257       847       573      2619     10797      4513    209245   no data   no data
13.16/3.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.16/3.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     61 BRemL:    559 BRemN:      0 P:  0.8M T:  0.03
13.16/3.36	c Replacing        2 vars Replaced      268 lits Time:     0.00 s 
13.16/3.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
13.16/3.36	c bin-w-bin subsume rem          106 bins  time:  0.00 s
13.16/3.36	c subs with bin:       21  lits-rem:         3  v-fix:    0  time:  0.00 s
13.16/3.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    845 time:  0.00 s
13.16/3.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
13.16/3.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
13.16/3.39	c subs with bin:       27  lits-rem:       619  v-fix:    0  time:  0.02 s
13.16/3.41	c lits-rem:       125  cl-subs:       83  v-elim:      0  v-fix:    0  time:  0.02 s
13.16/3.41	c vivif2 --  cl tried      552 cl shrink        0 lits rem          0 time: 0.00
13.58/3.42	c vivif2 --  cl tried    10687 cl shrink     3046 lits rem      10525 time: 0.01
13.58/3.43	c asymm  cl-useful: 1/552/552 lits-rem:1 time: 0.01
13.58/3.43	c calculated reachability. Time: 0.00
13.58/3.43	c  N st    22     46257       845       552      2019     10682      4468    195286   no data   no data
18.32/4.62	c  N st    23     60654       845       552      2019     15114      4468    345752   no data   no data
18.32/4.63	c Finding binary XORs  T:     0.00 s  found:       0
21.12/5.33	c  N st    24     69387       844       552      2087     12974      4464    258647   no data   no data
21.12/5.33	c  S st    24     69387       844       552      2087     12974      4464    258647   no data   no data
21.12/5.37	c  S st    24     69890       843       552      2116     13477      4464    269479   no data   no data
21.12/5.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
21.52/5.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    111 BRemL:    128 BRemN:      0 P:  0.8M T:  0.03
21.52/5.41	c Replacing        1 vars Replaced       13 lits Time:     0.00 s 
21.52/5.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
21.52/5.41	c bin-w-bin subsume rem           14 bins  time:  0.00 s
21.52/5.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
21.52/5.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    842 time:  0.00 s
21.52/5.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
21.52/5.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
21.52/5.44	c subs with bin:        0  lits-rem:       199  v-fix:    0  time:  0.02 s
21.52/5.47	c lits-rem:       183  cl-subs:       96  v-elim:      0  v-fix:    0  time:  0.03 s
21.52/5.47	c vivif2 --  cl tried      551 cl shrink        0 lits rem          0 time: 0.00
21.52/5.48	c vivif2 --  cl tried    13380 cl shrink     1882 lits rem      11262 time: 0.01
21.52/5.49	c asymm  cl-useful: 5/551/551 lits-rem:19 time: 0.01
21.52/5.49	c calculated reachability. Time: 0.00
21.52/5.49	c  N st    24     69890       842       546      2067     13380      4442    255523   no data   no data
28.71/7.21	c  F st    25     87500       842       546      2067     19129      4442    598689   no data   no data
28.71/7.21	c  N st    25     87500       842       546      2067     19129      4442    598689   no data   no data
28.71/7.21	c Finding binary XORs  T:     0.00 s  found:       0
30.31/7.65	c Decided on static restart strategy
31.14/7.90	c  N st    32     95538       842       546      2085     27106      4442    926143   no data   no data
32.70/8.21	c Finding binary XORs  T:     0.00 s  found:       0
34.29/8.63	c  N st    34    104836       841       545      2208     23507      4435    686913   no data   no data
34.29/8.63	c  S st    34    104836       841       545      2208     23507      4435    686913   no data   no data
34.29/8.69	c  S st    34    105337       841       545      2260     24007      4435    700673   no data   no data
34.29/8.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
34.69/8.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     15 BRemL:    129 BRemN:      0 P:  1.4M T:  0.04
34.69/8.74	c Replacing        1 vars Replaced       25 lits Time:     0.00 s 
34.69/8.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
34.69/8.74	c bin-w-bin subsume rem           12 bins  time:  0.00 s
34.69/8.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
34.69/8.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    840 time:  0.00 s
34.69/8.74	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
34.69/8.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
35.12/8.86	c subs with bin:        8  lits-rem:       564  v-fix:    0  time:  0.09 s
35.89/9.06	c lits-rem:       422  cl-subs:      219  v-elim:      0  v-fix:    0  time:  0.19 s
35.89/9.06	c vivif2 --  cl tried      545 cl shrink        0 lits rem          0 time: 0.00
36.29/9.10	c vivif2 --  cl tried    23779 cl shrink     6718 lits rem      44433 time: 0.04
36.29/9.12	c asymm  cl-useful: 8/545/545 lits-rem:26 time: 0.01
36.29/9.12	c calculated reachability. Time: 0.00
36.29/9.12	c  N st    34    105337       840       538      2140     23779      4420    645296   no data   no data
38.28/9.62	c  N st    35    114935       840       538      2140     19402      4420    333589   no data   no data
43.48/10.90	c  N st    36    129332       840       538      2142     18929      4420    404932   no data   no data
43.48/10.90	c Finding binary XORs  T:     0.00 s  found:       0
50.66/12.77	c  N st    37    150928       840       538      2151     24495      4420    473925   no data   no data
53.45/13.46	c  S st    38    158005       840       538      2188     31496      4420    729254   no data   no data
53.84/13.54	c  S st    38    158506       837       538      2189     31995      4420    742026   no data   no data
53.84/13.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
53.84/13.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     31 BRemL:     42 BRemN:      0 P:  1.9M T:  0.06
54.24/13.60	c Replacing        1 vars Replaced       58 lits Time:     0.01 s 
54.24/13.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
54.24/13.60	c bin-w-bin subsume rem           12 bins  time:  0.00 s
54.24/13.60	c subs with bin:        3  lits-rem:         0  v-fix:    0  time:  0.00 s
54.24/13.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    836 time:  0.00 s
54.24/13.61	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
54.24/13.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
54.24/13.70	c subs with bin:        3  lits-rem:       209  v-fix:    0  time:  0.06 s
55.44/13.97	c lits-rem:      1097  cl-subs:      683  v-elim:      0  v-fix:    0  time:  0.27 s
55.44/13.97	c vivif2 --  cl tried      533 cl shrink        0 lits rem          0 time: 0.00
55.84/14.02	c vivif2 --  cl tried    31286 cl shrink     9219 lits rem      31278 time: 0.05
55.84/14.04	c asymm  cl-useful: 1/533/533 lits-rem:4 time: 0.02
55.84/14.04	c calculated reachability. Time: 0.00
55.84/14.04	c  N st    38    158506       836       532      2136     31286      4388    689806   no data   no data
76.99/19.32	c  N st    39    207097       836       532      2137     26091      4388    511632   no data   no data
76.99/19.32	c Finding binary XORs  T:     0.00 s  found:       0
92.18/23.14	c  N st    40    237759       836       532      2153     36599      4388    936916   no data   no data
92.18/23.14	c  S st    40    237759       836       532      2153     36599      4388    936916   no data   no data
92.60/23.23	c  S st    40    238265       836       532      2168     37104      4388    952124   no data   no data
92.60/23.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
92.95/23.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     29 BRemL:     37 BRemN:      0 P:  2.0M T:  0.07
92.95/23.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
92.95/23.31	c bin-w-bin subsume rem            9 bins  time:  0.00 s
92.95/23.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
92.95/23.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    836 time:  0.00 s
92.95/23.31	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
92.95/23.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
93.35/23.46	c subs with bin:        7  lits-rem:        99  v-fix:    0  time:  0.10 s
95.75/24.03	c lits-rem:      1353  cl-subs:     1182  v-elim:      0  v-fix:    0  time:  0.57 s
95.75/24.03	c vivif2 --  cl tried      532 cl shrink        0 lits rem          0 time: 0.00
96.15/24.10	c vivif2 --  cl tried    35915 cl shrink    11412 lits rem      53114 time: 0.07
96.15/24.13	c asymm  cl-useful: 0/532/532 lits-rem:0 time: 0.03
96.15/24.13	c calculated reachability. Time: 0.00
96.15/24.13	c  N st    40    238265       836       532      2151     35915      4388    869565   no data   no data
126.87/31.84	c  F st    41    306250       836       532      2151     37914      4388    888318   no data   no data
126.87/31.84	c  N st    41    306250       836       532      2151     37914      4388    888318   no data   no data
126.87/31.85	c Finding binary XORs  T:     0.00 s  found:       1
129.26/32.47	c Decided on static restart strategy
140.87/35.33	c  N st    51    334552       834       528      2206     42229      4376   1206975   no data   no data
149.24/37.45	c  N st    53    357398       832       528      2206     40262      4376    831817   no data   no data
149.24/37.45	c  S st    53    357398       832       528      2206     40262      4376    831817   no data   no data
149.24/37.46	c Finding binary XORs  T:     0.00 s  found:       1
149.66/37.56	c  S st    53    357901       832       525      2162     40708      4357    845077   no data   no data
149.66/37.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
150.01/37.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     20 BRemL:     52 BRemN:      0 P:  2.2M T:  0.07
150.01/37.63	c Replacing        2 vars Replaced       83 lits Time:     0.00 s 
150.01/37.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
150.01/37.63	c bin-w-bin subsume rem           14 bins  time:  0.00 s
150.01/37.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
150.01/37.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    830 time:  0.00 s
150.01/37.63	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
150.01/37.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
150.41/37.72	c subs with bin:       24  lits-rem:       391  v-fix:    0  time:  0.06 s
151.61/38.01	c lits-rem:      1028  cl-subs:      483  v-elim:      0  v-fix:    0  time:  0.29 s
151.61/38.01	c vivif2 --  cl tried      525 cl shrink        0 lits rem          0 time: 0.00
151.61/38.06	c vivif2 --  cl tried    40198 cl shrink     9333 lits rem      30865 time: 0.05
151.61/38.09	c asymm  cl-useful: 0/525/525 lits-rem:0 time: 0.03
151.61/38.09	c calculated reachability. Time: 0.00
151.61/38.09	c  N st    53    357901       830       525      2112     40198      4349    799687   no data   no data
166.80/41.86	c  N st    54    390295       830       525      2112     46655      4349   1245570   no data   no data
191.92/48.15	c  N st    55    438883       830       525      2115     40557      4349   1025496   no data   no data
191.92/48.15	c Finding binary XORs  T:     0.00 s  found:       0
231.42/58.01	c  N st    56    511767       830       525      2122     54068      4349   1498600   no data   no data
231.42/58.01	c Finding binary XORs  T:     0.00 s  found:       0
243.39/61.02	c  N st    57    536852       830       525      2151     48349      4349   1196844   no data   no data
243.39/61.02	c  S st    57    536852       830       525      2151     48349      4349   1196844   no data   no data
243.79/61.13	c  S st    57    537356       830       525      2151     48853      4349   1212522   no data   no data
243.79/61.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
244.19/61.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      4 BRemL:     20 BRemN:      0 P:  2.6M T:  0.09
244.19/61.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
244.19/61.22	c bin-w-bin subsume rem            4 bins  time:  0.00 s
244.19/61.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
244.19/61.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    830 time:  0.00 s
244.19/61.22	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
244.19/61.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
244.60/61.39	c subs with bin:       51  lits-rem:        64  v-fix:    0  time:  0.12 s
246.98/61.99	c lits-rem:      1828  cl-subs:      613  v-elim:      0  v-fix:    0  time:  0.59 s
246.98/61.99	c vivif2 --  cl tried      525 cl shrink        0 lits rem          0 time: 0.00
247.38/62.08	c vivif2 --  cl tried    48189 cl shrink    13446 lits rem     121194 time: 0.08
247.78/62.11	c asymm  cl-useful: 0/525/525 lits-rem:0 time: 0.03
247.78/62.11	c calculated reachability. Time: 0.00
247.78/62.11	c  N st    57    537356       830       525      2131     48189      4349   1065595   no data   no data
352.33/88.31	c  N st    58    701340       830       525      2131     41978      4349    714632   no data   no data
352.33/88.32	c Finding binary XORs  T:     0.00 s  found:       0
423.76/106.21	c  N st    59    806035       829       524      2040     71557      4342   1702979   no data   no data
423.76/106.21	c  S st    59    806035       829       524      2040     71557      4342   1702979   no data   no data
424.16/106.39	c  S st    59    806535       829       524      2040     72054      4342   1716516   no data   no data
424.16/106.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
424.96/106.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     18 BRemL:     21 BRemN:      0 P:  3.4M T:  0.13
424.96/106.53	c Replacing        1 vars Replaced       15 lits Time:     0.00 s 
424.96/106.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
424.96/106.53	c bin-w-bin subsume rem            2 bins  time:  0.00 s
424.96/106.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
424.96/106.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    828 time:  0.00 s
424.96/106.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
424.96/106.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
425.78/106.76	c subs with bin:        0  lits-rem:        59  v-fix:    0  time:  0.15 s
433.34/108.64	c lits-rem:      1979  cl-subs:     1544  v-elim:      0  v-fix:    0  time:  1.88 s
433.34/108.64	c vivif2 --  cl tried      524 cl shrink        0 lits rem          0 time: 0.00
433.74/108.80	c vivif2 --  cl tried    70510 cl shrink    27358 lits rem     105253 time: 0.15
434.14/108.86	c asymm  cl-useful: 0/524/524 lits-rem:0 time: 0.07
434.14/108.87	c calculated reachability. Time: 0.00
434.14/108.87	c  N st    59    806535       828       524      2034     70510      4339   1564006   no data   no data
434.14/108.87	c Finding binary XORs  T:     0.00 s  found:       0
604.52/151.59	c  F st    60   1071875       828       524      2035     86749      4339   1970922   no data   no data
604.92/151.60	c  N st    60   1071875       828       524      2035     86749      4339   1970922   no data   no data
604.92/151.60	c Finding binary XORs  T:     0.00 s  found:       0
608.92/152.62	c Decided on static restart strategy
621.68/155.88	c  N st    70   1100182       828       524      2068     70376      4339   1428898   no data   no data
646.42/162.02	c  N st    72   1136176       828       524      2069     60643      4339   1090977   no data   no data
666.77/167.15	c  N st    73   1168568       828       524      2069     92642      4339   2266147   no data   no data
691.51/173.39	c  N st    74   1209803       828       524      2069     86684      4339   1663146   no data   no data
691.51/173.39	c  S st    74   1209803       828       524      2069     86684      4339   1663146   no data   no data
692.31/173.56	c  S st    74   1210309       828       524      2069     87189      4339   1677465   no data   no data
692.31/173.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
693.11/173.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      5 BRemL:     21 BRemN:      0 P:  4.6M T:  0.17
693.11/173.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
693.11/173.73	c bin-w-bin subsume rem            3 bins  time:  0.00 s
693.11/173.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
693.11/173.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    828 time:  0.00 s
693.11/173.73	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
693.11/173.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
693.94/173.94	c subs with bin:        0  lits-rem:        79  v-fix:    0  time:  0.12 s
704.28/176.57	c lits-rem:      4563  cl-subs:     4585  v-elim:      0  v-fix:    0  time:  2.61 s
704.28/176.57	c vivif2 --  cl tried      524 cl shrink        0 lits rem          0 time: 0.00
705.08/176.72	c vivif2 --  cl tried    82604 cl shrink    22966 lits rem      65380 time: 0.14
705.48/176.81	c asymm  cl-useful: 0/524/524 lits-rem:0 time: 0.09
705.48/176.81	c calculated reachability. Time: 0.00
705.48/176.81	c  N st    74   1210309       828       524      2050     82604      4339   1518232   no data   no data
705.48/176.81	c Finding binary XORs  T:     0.00 s  found:       0
754.17/189.02	c  N st    75   1283191       828       524      2050     58944      4339    972896   no data   no data
840.35/210.60	c  N st    76   1392514       828       524      2050     67479      4339   1177479   no data   no data
977.22/244.93	c  N st    77   1556498       828       524      2051     72512      4339   1481628   no data   no data
1089.74/273.14	c  N st    78   1710309       828       524      2052    114875      4339   2828082   no data   no data
1089.74/273.14	c  S st    78   1710309       828       524      2052    114875      4339   2828082   no data   no data
1090.54/273.35	c  S st    78   1710813       828       524      2053    115378      4339   2843145   no data   no data
1090.54/273.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1091.34/273.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     13 BRemL:      3 BRemN:      0 P:  4.7M T:  0.19
1091.34/273.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1091.34/273.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1091.34/273.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1091.34/273.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    828 time:  0.00 s
1091.34/273.55	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1091.34/273.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1092.96/273.99	c subs with bin:        2  lits-rem:       115  v-fix:    0  time:  0.31 s
1118.48/280.39	c lits-rem:      4461  cl-subs:     2648  v-elim:      0  v-fix:    0  time:  6.35 s
1118.48/280.39	c vivif2 --  cl tried      524 cl shrink        0 lits rem          0 time: 0.00
1120.07/280.76	c vivif2 --  cl tried   112728 cl shrink    39368 lits rem     194022 time: 0.35
1120.47/280.88	c asymm  cl-useful: 1/524/524 lits-rem:1 time: 0.12
1120.47/280.88	c calculated reachability. Time: 0.00
1120.47/280.88	c  N st    78   1710813       828       524      2063    112728      4338   2559943   no data   no data
1120.47/280.88	c Finding binary XORs  T:     0.00 s  found:       0
1438.08/360.40	c  N st    79   2079781       828       524      2064    125286      4338   3351828   no data   no data
1550.99/388.78	c  N st    80   2210813       828       524      2075    129307      4338   3532448   no data   no data
1550.99/388.78	c  S st    80   2210813       828       524      2075    129307      4338   3532448   no data   no data
1552.19/389.06	c  S st    80   2211316       828       524      2075    129809      4338   3550711   no data   no data
1552.19/389.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1553.39/389.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     29 BRemL:     30 BRemN:      0 P:  6.4M T:  0.27
1553.39/389.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1553.39/389.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1553.39/389.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1553.39/389.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    828 time:  0.00 s
1553.39/389.35	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1553.39/389.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1555.77/389.97	c subs with bin:        1  lits-rem:        80  v-fix:    0  time:  0.46 s
1589.33/398.34	c lits-rem:      8917  cl-subs:     4290  v-elim:      0  v-fix:    0  time:  8.28 s
1589.33/398.34	c vivif2 --  cl tried      524 cl shrink        0 lits rem          0 time: 0.00
1590.88/398.71	c vivif2 --  cl tried   125518 cl shrink    48214 lits rem     215280 time: 0.36
1591.29/398.85	c asymm  cl-useful: 0/524/524 lits-rem:0 time: 0.14
1591.29/398.86	c calculated reachability. Time: 0.00
1591.29/398.86	c  N st    80   2211316       828       524      2075    125517      4338   3208217   no data   no data
1591.29/398.86	c Finding binary XORs  T:     0.00 s  found:       0
2099.60/526.23	c  N st    81   2711316       828       524      2075     77578      4338   1190532   no data   no data
2099.60/526.23	c  S st    81   2711316       828       524      2075     77578      4338   1190532   no data   no data
2099.60/526.23	c Finding binary XORs  T:     0.00 s  found:       0
2100.00/526.37	c  S st    81   2711821       828       524      2113     78083      4338   1209675   no data   no data
2100.00/526.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2100.80/526.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     27 BRemN:      0 P:  4.2M T:  0.15
2100.80/526.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2100.80/526.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2100.80/526.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2100.80/526.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    828 time:  0.00 s
2100.80/526.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2100.80/526.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2101.20/526.68	c subs with bin:        2  lits-rem:        61  v-fix:    0  time:  0.09 s
2102.83/527.01	c lits-rem:      1005  cl-subs:      463  v-elim:      0  v-fix:    0  time:  0.32 s
2102.83/527.01	c vivif2 --  cl tried      524 cl shrink        0 lits rem          0 time: 0.00
2102.83/527.07	c vivif2 --  cl tried    77618 cl shrink     4049 lits rem      21016 time: 0.06
2103.18/527.14	c asymm  cl-useful: 0/524/524 lits-rem:0 time: 0.07
2103.18/527.14	c calculated reachability. Time: 0.00
2103.18/527.14	c  N st    81   2711821       828       524      2086     77618      4338   1177545   no data   no data
2644.62/662.83	c  N st    82   3211821       828       524      2086    124290      4338   2815023   no data   no data
2644.62/662.83	c  S st    82   3211821       828       524      2086    124290      4338   2815023   no data   no data
2645.83/663.11	c  S st    82   3212328       827       524      2100    124797      4338   2832815   no data   no data
2645.83/663.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2646.65/663.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      6 BRemL:     14 BRemN:      0 P:  5.9M T:  0.25
2647.07/663.41	c Replacing        1 vars Replaced       74 lits Time:     0.03 s 
2647.07/663.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2647.07/663.41	c bin-w-bin subsume rem            4 bins  time:  0.00 s
2647.07/663.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2647.07/663.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    826 time:  0.00 s
2647.07/663.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2647.07/663.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2648.61/663.81	c subs with bin:        0  lits-rem:       433  v-fix:    0  time:  0.28 s
2667.77/668.64	c lits-rem:      1998  cl-subs:     2682  v-elim:      0  v-fix:    0  time:  4.78 s
2667.77/668.64	c vivif2 --  cl tried      523 cl shrink        0 lits rem          0 time: 0.00
2669.00/668.95	c vivif2 --  cl tried   122101 cl shrink    35589 lits rem     132950 time: 0.30
2669.36/669.09	c asymm  cl-useful: 0/523/523 lits-rem:0 time: 0.13
2669.36/669.09	c calculated reachability. Time: 0.00
2669.36/669.09	c  N st    82   3212328       826       523      2066    122101      4328   2635151   no data   no data
2669.36/669.09	c Finding binary XORs  T:     0.00 s  found:       0
3281.82/822.58	c  N st    83   3712329       826       523      2066    131425      4328   2375843   no data   no data
3281.82/822.58	c  S st    83   3712329       826       523      2066    131425      4328   2375843   no data   no data
3282.22/822.60	c Finding binary XORs  T:     0.00 s  found:       0
3283.04/822.88	c  S st    83   3712834       823       521      2069    131759      4312   2373649   no data   no data
3283.04/822.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3284.21/823.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     30 BRemN:      0 P:  6.2M T:  0.26
3284.21/823.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3284.21/823.15	c bin-w-bin subsume rem            4 bins  time:  0.00 s
3284.21/823.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3284.21/823.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    823 time:  0.00 s
3284.21/823.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3284.21/823.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3285.41/823.42	c subs with bin:        2  lits-rem:       552  v-fix:    0  time:  0.16 s
3322.54/832.80	c lits-rem:     11362  cl-subs:     9872  v-elim:      0  v-fix:    0  time:  9.28 s
3322.54/832.80	c vivif2 --  cl tried      521 cl shrink        0 lits rem          0 time: 0.00
3323.71/833.02	c vivif2 --  cl tried   121885 cl shrink    21849 lits rem      44386 time: 0.22
3324.11/833.14	c asymm  cl-useful: 0/521/521 lits-rem:0 time: 0.12
3324.11/833.15	c calculated reachability. Time: 0.00
3324.11/833.15	c  N st    83   3712834       823       521      2036    121885      4309   2133321   no data   no data
3359.62/842.06	c  F st    84   3751563       823       521      2036    160064      4309   3442131   no data   no data
3359.62/842.06	c  N st    84   3751563       823       521      2036    160064      4309   3442131   no data   no data
3365.61/843.54	c Decided on static restart strategy
3388.37/849.26	c  N st    94   3779871       823       521      2038    105103      4309   1858892   no data   no data
3420.26/857.22	c  N st    96   3815867       823       521      2038    140556      4309   3125388   no data   no data
3460.17/867.27	c  N st    97   3848259       823       521      2039     88387      4309   1271630   no data   no data
3506.87/878.96	c  N st    98   3896847       823       521      2040    136557      4309   3339730   no data   no data
3585.88/898.77	c  N st    99   3969729       823       521      2040    122473      4309   2412447   no data   no data
3693.58/925.77	c  N st   100   4079053       823       521      2040    142517      4309   2887367   no data   no data
3854.77/966.11	c  N st   101   4212837       823       521      2041     98804      4309   1516282   no data   no data
3854.77/966.11	c  S st   101   4212837       823       521      2041     98804      4309   1516282   no data   no data
3855.57/966.31	c  S st   101   4213338       823       521      2041     99305      4309   1532187   no data   no data
3855.57/966.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3856.37/966.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      2 BRemN:      0 P:  4.8M T:  0.19
3856.37/966.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3856.37/966.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3856.37/966.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3856.37/966.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    823 time:  0.00 s
3856.37/966.51	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
3856.37/966.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3856.77/966.68	c subs with bin:        1  lits-rem:        11  v-fix:    0  time:  0.11 s
3859.16/967.23	c lits-rem:       893  cl-subs:      776  v-elim:      0  v-fix:    0  time:  0.53 s
3859.16/967.23	c vivif2 --  cl tried      521 cl shrink        0 lits rem          0 time: 0.00
3859.55/967.32	c vivif2 --  cl tried    98528 cl shrink     5943 lits rem      14887 time: 0.09
3859.95/967.40	c asymm  cl-useful: 0/521/521 lits-rem:0 time: 0.08
3859.95/967.41	c calculated reachability. Time: 0.00
3859.95/967.41	c  N st   101   4213338       823       521      2041     98528      4309   1497631   no data   no data
4123.68/1033.51	c  N st   102   4459316       823       521      2041    159302      4309   3576227   no data   no data
4465.22/1119.14	c  N st   103   4713341       823       521      2041    132554      4309   2433998   no data   no data
4465.22/1119.14	c  S st   103   4713341       823       521      2041    132554      4309   2433998   no data   no data
4466.42/1119.43	c  S st   103   4713844       823       521      2042    133057      4309   2450382   no data   no data
4466.42/1119.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4467.63/1119.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.5M T:  0.27
4467.63/1119.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4467.63/1119.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4467.63/1119.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4467.63/1119.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    823 time:  0.00 s
4467.63/1119.71	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
4467.63/1119.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4468.81/1120.03	c subs with bin:        0  lits-rem:         2  v-fix:    0  time:  0.19 s
4489.56/1125.24	c lits-rem:      9048  cl-subs:     6270  v-elim:      0  v-fix:    0  time:  5.16 s
4489.56/1125.24	c vivif2 --  cl tried      521 cl shrink        0 lits rem          0 time: 0.00
4490.40/1125.47	c vivif2 --  cl tried   126787 cl shrink    22158 lits rem      71942 time: 0.22
4490.76/1125.59	c asymm  cl-useful: 0/521/521 lits-rem:0 time: 0.12
4491.16/1125.60	c calculated reachability. Time: 0.00
4491.16/1125.60	c  N st   103   4713844       823       521      2042    126787      4309   2237900   no data   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3367222-1305415847/watcher-3367222-1305415847 -o /tmp/evaluation-result-3367222-1305415847/solver-3367222-1305415847 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367222-1305415847.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.06 8.07 7.64 5/310 20214
/proc/meminfo: memFree=18040180/32950928 swapFree=67111348/67111528
[pid=20214] ppid=20212 vsize=274948 CPUtime=0 cores=0,2,4,6
/proc/20214/stat : 20214 (strangenight2-m) R 20212 20214 19509 0 -1 4202496 1485 0 0 0 0 0 0 0 25 0 4 0 653184414 281546752 1342 33554432000 4194304 4580107 140735568636992 18446744073709551615 4310281 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20214/statm: 68737 1373 336 95 0 63719 0
[pid=20214/tid=20215] ppid=20212 vsize=285776 CPUtime=0 cores=0,2,4,6
/proc/20214/task/20215/stat : 20215 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 632 0 0 0 0 0 0 0 25 0 4 0 653184414 292634624 2403 33554432000 4194304 4580107 140735568636992 18446744073709551615 274474072607 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20214/tid=20216] ppid=20212 vsize=285776 CPUtime=0 cores=0,2,4,6
/proc/20214/task/20216/stat : 20216 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 502 0 0 0 0 0 0 0 25 0 4 0 653184414 292634624 2404 33554432000 4194304 4580107 140735568636992 18446744073709551615 274474072558 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20214/tid=20217] ppid=20212 vsize=285776 CPUtime=0 cores=0,2,4,6
/proc/20214/task/20217/stat : 20217 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 635 0 0 0 0 0 0 0 25 0 4 0 653184414 292634624 2405 33554432000 4194304 4580107 140735568636992 18446744073709551615 274474072607 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.108147 s]
/proc/loadavg: 8.06 8.07 7.64 5/310 20214
/proc/meminfo: memFree=18040180/32950928 swapFree=67111348/67111528
[pid=20214] ppid=20212 vsize=285984 CPUtime=0.4 cores=0,2,4,6
/proc/20214/stat : 20214 (strangenight2-m) R 20212 20214 19509 0 -1 4202496 3250 0 0 0 40 0 0 0 25 0 4 0 653184414 292847616 2879 33554432000 4194304 4580107 140735568636992 18446744073709551615 4293682 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20214/statm: 71496 2879 358 95 0 66478 0
[pid=20214/tid=20215] ppid=20212 vsize=285984 CPUtime=0.1 cores=0,2,4,6
/proc/20214/task/20215/stat : 20215 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 717 0 0 0 10 0 0 0 25 0 4 0 653184414 292847616 2879 33554432000 4194304 4580107 140735568636992 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20214/tid=20216] ppid=20212 vsize=285984 CPUtime=0.09 cores=0,2,4,6
/proc/20214/task/20216/stat : 20216 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 583 0 0 0 9 0 0 0 25 0 4 0 653184414 292847616 2879 33554432000 4194304 4580107 140735568636992 18446744073709551615 4293244 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20214/tid=20217] ppid=20212 vsize=285984 CPUtime=0.09 cores=0,2,4,6
/proc/20214/task/20217/stat : 20217 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 811 0 0 0 9 0 0 0 25 0 4 0 653184414 292847616 2879 33554432000 4194304 4580107 140735568636992 18446744073709551615 4302544 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 285984

[startup+0.201132 s]
/proc/loadavg: 8.06 8.07 7.64 5/310 20214
/proc/meminfo: memFree=18040180/32950928 swapFree=67111348/67111528
[pid=20214] ppid=20212 vsize=287044 CPUtime=0.77 cores=0,2,4,6
/proc/20214/stat : 20214 (strangenight2-m) R 20212 20214 19509 0 -1 4202496 4314 0 0 0 76 1 0 0 25 0 4 0 653184414 293933056 3928 33554432000 4194304 4580107 140735568636992 18446744073709551615 4295131 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20214/statm: 71761 3928 379 95 0 66743 0
[pid=20214/tid=20215] ppid=20212 vsize=287044 CPUtime=0.19 cores=0,2,4,6
/proc/20214/task/20215/stat : 20215 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 1031 0 0 0 19 0 0 0 25 0 4 0 653184414 293933056 3928 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20214/tid=20216] ppid=20212 vsize=287044 CPUtime=0.19 cores=0,2,4,6
/proc/20214/task/20216/stat : 20216 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 904 0 0 0 19 0 0 0 25 0 4 0 653184414 293933056 3928 33554432000 4194304 4580107 140735568636992 18446744073709551615 4295047 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20214/tid=20217] ppid=20212 vsize=287044 CPUtime=0.19 cores=0,2,4,6
/proc/20214/task/20217/stat : 20217 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 891 0 0 0 19 0 0 0 25 0 4 0 653184414 293933056 3928 33554432000 4194304 4580107 140735568636992 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 287044

[startup+0.301114 s]
/proc/loadavg: 8.06 8.07 7.64 5/310 20214
/proc/meminfo: memFree=18040180/32950928 swapFree=67111348/67111528
[pid=20214] ppid=20212 vsize=287476 CPUtime=1.17 cores=0,2,4,6
/proc/20214/stat : 20214 (strangenight2-m) R 20212 20214 19509 0 -1 4202496 4871 0 0 0 116 1 0 0 25 0 4 0 653184414 294375424 4295 33554432000 4194304 4580107 140735568636992 18446744073709551615 4293108 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20214/statm: 71869 4295 379 95 0 66851 0
[pid=20214/tid=20215] ppid=20212 vsize=287476 CPUtime=0.29 cores=0,2,4,6
/proc/20214/task/20215/stat : 20215 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 1135 0 0 0 29 0 0 0 25 0 4 0 653184414 294375424 4296 33554432000 4194304 4580107 140735568636992 18446744073709551615 274473628357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20214/tid=20216] ppid=20212 vsize=287476 CPUtime=0.28 cores=0,2,4,6
/proc/20214/task/20216/stat : 20216 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 1040 0 0 0 28 0 0 0 25 0 4 0 653184414 294375424 4296 33554432000 4194304 4580107 140735568636992 18446744073709551615 4306033 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20214/tid=20217] ppid=20212 vsize=287476 CPUtime=0.29 cores=0,2,4,6
/proc/20214/task/20217/stat : 20217 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 1071 0 0 0 29 0 0 0 25 0 4 0 653184414 294375424 4296 33554432000 4194304 4580107 140735568636992 18446744073709551615 4293720 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 287476

[startup+0.701045 s]
/proc/loadavg: 8.06 8.07 7.64 5/310 20214
/proc/meminfo: memFree=18040180/32950928 swapFree=67111348/67111528
[pid=20214] ppid=20212 vsize=289324 CPUtime=2.77 cores=0,2,4,6
/proc/20214/stat : 20214 (strangenight2-m) R 20212 20214 19509 0 -1 4202496 7003 0 0 0 276 1 0 0 25 0 4 0 653184414 296267776 4759 33554432000 4194304 4580107 140735568636992 18446744073709551615 4316661 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20214/statm: 72331 4759 379 95 0 67313 0
[pid=20214/tid=20215] ppid=20212 vsize=289324 CPUtime=0.69 cores=0,2,4,6
/proc/20214/task/20215/stat : 20215 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 1752 0 0 0 69 0 0 0 25 0 4 0 653184414 296267776 4759 33554432000 4194304 4580107 140735568636992 18446744073709551615 4320853 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20214/tid=20216] ppid=20212 vsize=289324 CPUtime=0.68 cores=0,2,4,6
/proc/20214/task/20216/stat : 20216 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 1471 0 0 0 68 0 0 0 25 0 4 0 653184414 296267776 4759 33554432000 4194304 4580107 140735568636992 18446744073709551615 4317008 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20214/tid=20217] ppid=20212 vsize=289324 CPUtime=0.69 cores=0,2,4,6
/proc/20214/task/20217/stat : 20217 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 1536 0 0 0 69 0 0 0 25 0 4 0 653184414 296267776 4760 33554432000 4194304 4580107 140735568636992 18446744073709551615 274473992087 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 289324

[startup+1.5009 s]
/proc/loadavg: 8.06 8.07 7.64 9/314 20218
/proc/meminfo: memFree=18017084/32950928 swapFree=67111348/67111528
[pid=20214] ppid=20212 vsize=281768 CPUtime=5.96 cores=0,2,4,6
/proc/20214/stat : 20214 (strangenight2-m) R 20212 20214 19509 0 -1 4202496 10163 0 0 0 594 2 0 0 25 0 4 0 653184414 288530432 5671 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294378 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20214/statm: 70442 5671 380 95 0 65424 0
[pid=20214/tid=20215] ppid=20212 vsize=281768 CPUtime=1.49 cores=0,2,4,6
/proc/20214/task/20215/stat : 20215 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 2532 0 0 0 149 0 0 0 25 0 4 0 653184414 288530432 5671 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20214/tid=20216] ppid=20212 vsize=281768 CPUtime=1.48 cores=0,2,4,6
/proc/20214/task/20216/stat : 20216 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 2323 0 0 0 148 0 0 0 25 0 4 0 653184414 288530432 5671 33554432000 4194304 4580107 140735568636992 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20214/tid=20217] ppid=20212 vsize=281768 CPUtime=1.48 cores=0,2,4,6
/proc/20214/task/20217/stat : 20217 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 2308 0 0 0 148 0 0 0 25 0 4 0 653184414 288530432 5671 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 281768

[startup+3.10062 s]
/proc/loadavg: 8.06 8.07 7.64 9/314 20218
/proc/meminfo: memFree=18001832/32950928 swapFree=67111348/67111528
[pid=20214] ppid=20212 vsize=287860 CPUtime=12.35 cores=0,2,4,6
/proc/20214/stat : 20214 (strangenight2-m) R 20212 20214 19509 0 -1 4202496 21305 0 0 0 1231 4 0 0 25 0 4 0 653184414 294768640 13382 33554432000 4194304 4580107 140735568636992 18446744073709551615 4296144 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20214/statm: 71965 13382 380 95 0 66947 0
[pid=20214/tid=20215] ppid=20212 vsize=287860 CPUtime=3.09 cores=0,2,4,6
/proc/20214/task/20215/stat : 20215 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 5155 0 0 0 308 1 0 0 25 0 4 0 653184414 294768640 13382 33554432000 4194304 4580107 140735568636992 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20214/tid=20216] ppid=20212 vsize=287860 CPUtime=3.08 cores=0,2,4,6
/proc/20214/task/20216/stat : 20216 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 6310 0 0 0 307 1 0 0 25 0 4 0 653184414 294768640 13382 33554432000 4194304 4580107 140735568636992 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20214/tid=20217] ppid=20212 vsize=287860 CPUtime=3.08 cores=0,2,4,6
/proc/20214/task/20217/stat : 20217 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 3664 0 0 0 308 0 0 0 25 0 4 0 653184414 294768640 13382 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 287860

[startup+6.30106 s]
/proc/loadavg: 8.06 8.07 7.64 9/314 20218
/proc/meminfo: memFree=17961296/32950928 swapFree=67111348/67111528
[pid=20214] ppid=20212 vsize=298476 CPUtime=25.12 cores=0,2,4,6
/proc/20214/stat : 20214 (strangenight2-m) R 20212 20214 19509 0 -1 4202496 33034 0 0 0 2505 7 0 0 25 0 4 0 653184414 305639424 16342 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294430 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20214/statm: 74619 16342 380 95 0 69601 0
[pid=20214/tid=20215] ppid=20212 vsize=298476 CPUtime=6.29 cores=0,2,4,6
/proc/20214/task/20215/stat : 20215 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 9966 0 0 0 627 2 0 0 25 0 4 0 653184414 305639424 16342 33554432000 4194304 4580107 140735568636992 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20214/tid=20216] ppid=20212 vsize=298476 CPUtime=6.28 cores=0,2,4,6
/proc/20214/task/20216/stat : 20216 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 9008 0 0 0 627 1 0 0 25 0 4 0 653184414 305639424 16342 33554432000 4194304 4580107 140735568636992 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20214/tid=20217] ppid=20212 vsize=298476 CPUtime=6.28 cores=0,2,4,6
/proc/20214/task/20217/stat : 20217 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 4722 0 0 0 628 0 0 0 25 0 4 0 653184414 305639424 16342 33554432000 4194304 4580107 140735568636992 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 298476

[startup+12.7009 s]
/proc/loadavg: 8.05 8.06 7.64 9/314 20218
/proc/meminfo: memFree=17944500/32950928 swapFree=67111348/67111528
[pid=20214] ppid=20212 vsize=314600 CPUtime=50.66 cores=0,2,4,6
/proc/20214/stat : 20214 (strangenight2-m) R 20212 20214 19509 0 -1 4202496 56597 0 0 0 5056 10 0 0 25 0 4 0 653184414 322150400 25904 33554432000 4194304 4580107 140735568636992 18446744073709551615 4295409 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20214/statm: 78650 25904 380 95 0 73632 0
[pid=20214/tid=20215] ppid=20212 vsize=314600 CPUtime=12.68 cores=0,2,4,6
/proc/20214/task/20215/stat : 20215 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 16009 0 0 0 1266 2 0 0 25 0 4 0 653184414 322150400 25904 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20214/tid=20216] ppid=20212 vsize=314600 CPUtime=12.68 cores=0,2,4,6
/proc/20214/task/20216/stat : 20216 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 14873 0 0 0 1266 2 0 0 25 0 4 0 653184414 322150400 25904 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20214/tid=20217] ppid=20212 vsize=314600 CPUtime=12.69 cores=0,2,4,6
/proc/20214/task/20217/stat : 20217 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 9171 0 0 0 1268 1 0 0 25 0 4 0 653184414 322150400 25904 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 314600

[startup+25.5007 s]
/proc/loadavg: 8.04 8.06 7.65 9/314 20219
/proc/meminfo: memFree=17879520/32950928 swapFree=67111348/67111528
[pid=20214] ppid=20212 vsize=327328 CPUtime=101.73 cores=0,2,4,6
/proc/20214/stat : 20214 (strangenight2-m) R 20212 20214 19509 0 -1 4202496 87497 0 0 0 10157 16 0 0 25 0 4 0 653184414 335183872 36747 33554432000 4194304 4580107 140735568636992 18446744073709551615 4293222 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20214/statm: 81832 36747 380 95 0 76814 0
[pid=20214/tid=20215] ppid=20212 vsize=327328 CPUtime=25.48 cores=0,2,4,6
/proc/20214/task/20215/stat : 20215 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 24235 0 0 0 2545 3 0 0 25 0 4 0 653184414 335183872 36747 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20214/tid=20216] ppid=20212 vsize=327328 CPUtime=25.49 cores=0,2,4,6
/proc/20214/task/20216/stat : 20216 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 23420 0 0 0 2544 5 0 0 25 0 4 0 653184414 335183872 36747 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20214/tid=20217] ppid=20212 vsize=327328 CPUtime=25.48 cores=0,2,4,6
/proc/20214/task/20217/stat : 20217 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 12790 0 0 0 2547 1 0 0 25 0 4 0 653184414 335183872 36747 33554432000 4194304 4580107 140735568636992 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 327328

[startup+51.1012 s]
/proc/loadavg: 8.10 8.07 7.66 9/314 20219
/proc/meminfo: memFree=17842476/32950928 swapFree=67111348/67111528
[pid=20214] ppid=20212 vsize=326272 CPUtime=203.89 cores=0,2,4,6
/proc/20214/stat : 20214 (strangenight2-m) R 20212 20214 19509 0 -1 4202496 134570 0 0 0 20363 26 0 0 25 0 4 0 653184414 334102528 39442 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20214/statm: 81568 39442 383 95 0 76550 0
[pid=20214/tid=20215] ppid=20212 vsize=326272 CPUtime=51.08 cores=0,2,4,6
/proc/20214/task/20215/stat : 20215 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 35220 0 0 0 5102 6 0 0 25 0 4 0 653184414 334102528 39442 33554432000 4194304 4580107 140735568636992 18446744073709551615 4296107 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20214/tid=20216] ppid=20212 vsize=326272 CPUtime=51.08 cores=0,2,4,6
/proc/20214/task/20216/stat : 20216 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 37076 0 0 0 5101 7 0 0 25 0 4 0 653184414 334102528 39442 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20214/tid=20217] ppid=20212 vsize=326272 CPUtime=51.08 cores=0,2,4,6
/proc/20214/task/20217/stat : 20217 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 20170 0 0 0 5105 3 0 0 25 0 4 0 653184414 334102528 39442 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.89
Current children cumulated vsize (KiB) 326272

[startup+102.301 s]
/proc/loadavg: 8.16 8.09 7.68 9/314 20221
/proc/meminfo: memFree=17749048/32950928 swapFree=67111348/67111528
[pid=20214] ppid=20212 vsize=339560 CPUtime=408.22 cores=0,2,4,6
/proc/20214/stat : 20214 (strangenight2-m) R 20212 20214 19509 0 -1 4202496 200043 0 0 0 40779 43 0 0 25 0 4 0 653184414 347709440 53961 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20214/statm: 84890 53961 380 95 0 79872 0
[pid=20214/tid=20215] ppid=20212 vsize=339560 CPUtime=102.29 cores=0,2,4,6
/proc/20214/task/20215/stat : 20215 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 52432 0 0 0 10219 10 0 0 25 0 4 0 653184414 347709440 53962 33554432000 4194304 4580107 140735568636992 18446744073709551615 4305280 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20214/tid=20216] ppid=20212 vsize=339560 CPUtime=102.29 cores=0,2,4,6
/proc/20214/task/20216/stat : 20216 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 52361 0 0 0 10218 11 0 0 25 0 4 0 653184414 347709440 53962 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20214/tid=20217] ppid=20212 vsize=339560 CPUtime=102.3 cores=0,2,4,6
/proc/20214/task/20217/stat : 20217 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 33885 0 0 0 10223 7 0 0 25 0 4 0 653184414 347709440 53962 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.22
Current children cumulated vsize (KiB) 339560

[startup+162.301 s]

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

[pid=20214] ppid=20212 vsize=807824 CPUtime=2562.84 cores=0,2,4,6
/proc/20214/stat : 20214 (strangenight2-m) R 20212 20214 19509 0 -1 4202496 568660 0 0 0 256114 170 0 0 25 0 4 0 653184414 827211776 139819 33554432000 4194304 4580107 140735568636992 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20214/statm: 201956 139819 380 95 0 196938 0
[pid=20214/tid=20215] ppid=20212 vsize=807824 CPUtime=642.2 cores=0,2,4,6
/proc/20214/task/20215/stat : 20215 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 109069 0 0 0 64191 29 0 0 25 0 4 0 653184414 827211776 139819 33554432000 4194304 4580107 140735568636992 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20214/tid=20216] ppid=20212 vsize=807824 CPUtime=642.3 cores=0,2,4,6
/proc/20214/task/20216/stat : 20216 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 191005 0 0 0 64169 61 0 0 25 0 4 0 653184414 827211776 139819 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20214/tid=20217] ppid=20212 vsize=807824 CPUtime=642.29 cores=0,2,4,6
/proc/20214/task/20217/stat : 20217 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 106996 0 0 0 64195 34 0 0 25 0 4 0 653184414 827211776 139819 33554432000 4194304 4580107 140735568636992 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2562.84
Current children cumulated vsize (KiB) 807824

[startup+702.301 s]
/proc/loadavg: 8.04 8.08 7.86 9/314 20267
/proc/meminfo: memFree=17163924/32950928 swapFree=67111348/67111528
[pid=20214] ppid=20212 vsize=886728 CPUtime=2802.23 cores=0,2,4,6
/proc/20214/stat : 20214 (strangenight2-m) R 20212 20214 19509 0 -1 4202496 602463 0 0 0 280039 184 0 0 25 0 4 0 653184414 908009472 153677 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20214/statm: 221682 153677 380 95 0 216664 0
[pid=20214/tid=20215] ppid=20212 vsize=886728 CPUtime=702.2 cores=0,2,4,6
/proc/20214/task/20215/stat : 20215 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 117150 0 0 0 70188 32 0 0 25 0 4 0 653184414 908009472 153677 33554432000 4194304 4580107 140735568636992 18446744073709551615 4305310 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20214/tid=20216] ppid=20212 vsize=886728 CPUtime=702.3 cores=0,2,4,6
/proc/20214/task/20216/stat : 20216 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 198472 0 0 0 70165 65 0 0 25 0 4 0 653184414 908009472 153677 33554432000 4194304 4580107 140735568636992 18446744073709551615 4305229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20214/tid=20217] ppid=20212 vsize=886728 CPUtime=702.29 cores=0,2,4,6
/proc/20214/task/20217/stat : 20217 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 112816 0 0 0 70192 37 0 0 25 0 4 0 653184414 908009472 153677 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2802.23
Current children cumulated vsize (KiB) 886728

[startup+762.301 s]
/proc/loadavg: 8.01 8.06 7.86 9/314 20268
/proc/meminfo: memFree=17153344/32950928 swapFree=67111348/67111528
[pid=20214] ppid=20212 vsize=779900 CPUtime=3041.65 cores=0,2,4,6
/proc/20214/stat : 20214 (strangenight2-m) R 20212 20214 19509 0 -1 4202496 626715 0 0 0 303970 195 0 0 25 0 4 0 653184414 798617600 151371 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20214/statm: 194975 151371 380 95 0 189957 0
[pid=20214/tid=20215] ppid=20212 vsize=779900 CPUtime=762.19 cores=0,2,4,6
/proc/20214/task/20215/stat : 20215 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 121424 0 0 0 76186 33 0 0 25 0 4 0 653184414 798617600 151371 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20214/tid=20216] ppid=20212 vsize=779900 CPUtime=762.31 cores=0,2,4,6
/proc/20214/task/20216/stat : 20216 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 207355 0 0 0 76162 69 0 0 25 0 4 0 653184414 798617600 151371 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20214/tid=20217] ppid=20212 vsize=779900 CPUtime=762.31 cores=0,2,4,6
/proc/20214/task/20217/stat : 20217 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 117200 0 0 0 76192 39 0 0 25 0 4 0 653184414 798617600 151371 33554432000 4194304 4580107 140735568636992 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3041.65
Current children cumulated vsize (KiB) 779900

[startup+822.3 s]
/proc/loadavg: 8.08 8.08 7.88 9/314 20270
/proc/meminfo: memFree=17138680/32950928 swapFree=67111348/67111528
[pid=20214] ppid=20212 vsize=831552 CPUtime=3281.02 cores=0,2,4,6
/proc/20214/stat : 20214 (strangenight2-m) R 20212 20214 19509 0 -1 4202496 653165 0 0 0 327897 205 0 0 25 0 4 0 653184414 851509248 151302 33554432000 4194304 4580107 140735568636992 18446744073709551615 4316670 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20214/statm: 207888 151302 380 95 0 202870 0
[pid=20214/tid=20215] ppid=20212 vsize=831552 CPUtime=822.17 cores=0,2,4,6
/proc/20214/task/20215/stat : 20215 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 124196 0 0 0 82183 34 0 0 25 0 4 0 653184414 851509248 151302 33554432000 4194304 4580107 140735568636992 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20214/tid=20216] ppid=20212 vsize=831552 CPUtime=822.3 cores=0,2,4,6
/proc/20214/task/20216/stat : 20216 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 220192 0 0 0 82155 75 0 0 25 0 4 0 653184414 851509248 151302 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294440 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20214/tid=20217] ppid=20212 vsize=831552 CPUtime=822.3 cores=0,2,4,6
/proc/20214/task/20217/stat : 20217 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 122733 0 0 0 82189 41 0 0 25 0 4 0 653184414 851509248 151302 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3281.02
Current children cumulated vsize (KiB) 831552

[startup+882.312 s]
/proc/loadavg: 8.10 8.07 7.89 9/314 20271
/proc/meminfo: memFree=17073184/32950928 swapFree=67111348/67111528
[pid=20214] ppid=20212 vsize=826172 CPUtime=3520.46 cores=0,2,4,6
/proc/20214/stat : 20214 (strangenight2-m) R 20212 20214 19509 0 -1 4202496 685021 0 0 0 351828 218 0 0 25 0 4 0 653184414 846000128 158464 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294482 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20214/statm: 206543 158465 380 95 0 201525 0
[pid=20214/tid=20215] ppid=20212 vsize=826172 CPUtime=882.17 cores=0,2,4,6
/proc/20214/task/20215/stat : 20215 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 126758 0 0 0 88182 35 0 0 25 0 4 0 653184414 846000128 158465 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20214/tid=20216] ppid=20212 vsize=826172 CPUtime=882.31 cores=0,2,4,6
/proc/20214/task/20216/stat : 20216 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 228579 0 0 0 88153 78 0 0 25 0 4 0 653184414 846000128 158465 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20214/tid=20217] ppid=20212 vsize=826172 CPUtime=882.3 cores=0,2,4,6
/proc/20214/task/20217/stat : 20217 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 131444 0 0 0 88186 44 0 0 25 0 4 0 653184414 846000128 158465 33554432000 4194304 4580107 140735568636992 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3520.46
Current children cumulated vsize (KiB) 826172

[startup+942.3 s]
/proc/loadavg: 8.07 8.07 7.90 9/314 20273
/proc/meminfo: memFree=17063236/32950928 swapFree=67111348/67111528
[pid=20214] ppid=20212 vsize=845500 CPUtime=3759.81 cores=0,2,4,6
/proc/20214/stat : 20214 (strangenight2-m) R 20212 20214 19509 0 -1 4202496 707073 0 0 0 375753 228 0 0 25 0 4 0 653184414 865792000 156127 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294974 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20214/statm: 211375 156127 380 95 0 206357 0
[pid=20214/tid=20215] ppid=20212 vsize=845500 CPUtime=942.15 cores=0,2,4,6
/proc/20214/task/20215/stat : 20215 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 128401 0 0 0 94179 36 0 0 25 0 4 0 653184414 865792000 156127 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294438 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20214/tid=20216] ppid=20212 vsize=845500 CPUtime=942.3 cores=0,2,4,6
/proc/20214/task/20216/stat : 20216 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 233801 0 0 0 94149 81 0 0 25 0 4 0 653184414 865792000 156127 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20214/tid=20217] ppid=20212 vsize=845500 CPUtime=942.3 cores=0,2,4,6
/proc/20214/task/20217/stat : 20217 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 138379 0 0 0 94182 48 0 0 25 0 4 0 653184414 865792000 156127 33554432000 4194304 4580107 140735568636992 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3759.81
Current children cumulated vsize (KiB) 845500

[startup+1002.3 s]
/proc/loadavg: 8.20 8.10 7.92 9/314 20275
/proc/meminfo: memFree=17068416/32950928 swapFree=67111348/67111528
[pid=20214] ppid=20212 vsize=751868 CPUtime=3999.19 cores=0,2,4,6
/proc/20214/stat : 20214 (strangenight2-m) R 20212 20214 19509 0 -1 4202496 745144 0 0 0 399678 241 0 0 25 0 4 0 653184414 769912832 151164 33554432000 4194304 4580107 140735568636992 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20214/statm: 187967 151164 380 95 0 182949 0
[pid=20214/tid=20215] ppid=20212 vsize=751868 CPUtime=1002.15 cores=0,2,4,6
/proc/20214/task/20215/stat : 20215 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 135483 0 0 0 100176 39 0 0 25 0 4 0 653184414 769912832 151164 33554432000 4194304 4580107 140735568636992 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20214/tid=20216] ppid=20212 vsize=751868 CPUtime=1002.3 cores=0,2,4,6
/proc/20214/task/20216/stat : 20216 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 249040 0 0 0 100145 85 0 0 25 0 4 0 653184414 769912832 151164 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20214/tid=20217] ppid=20212 vsize=751868 CPUtime=1002.3 cores=0,2,4,6
/proc/20214/task/20217/stat : 20217 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 142944 0 0 0 100180 50 0 0 25 0 4 0 653184414 769912832 151164 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3999.19
Current children cumulated vsize (KiB) 751868

[startup+1062.3 s]
/proc/loadavg: 8.20 8.11 7.93 9/314 20276
/proc/meminfo: memFree=16997084/32950928 swapFree=67111348/67111528
[pid=20214] ppid=20212 vsize=985324 CPUtime=4238.6 cores=0,2,4,6
/proc/20214/stat : 20214 (strangenight2-m) R 20212 20214 19509 0 -1 4202496 783821 0 0 0 423603 257 0 0 25 0 4 0 653184414 1008971776 169369 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294386 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20214/statm: 246331 169369 380 95 0 241313 0
[pid=20214/tid=20215] ppid=20212 vsize=985324 CPUtime=1062.14 cores=0,2,4,6
/proc/20214/task/20215/stat : 20215 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 146705 0 0 0 106170 44 0 0 25 0 4 0 653184414 1008971776 169369 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20214/tid=20216] ppid=20212 vsize=985324 CPUtime=1062.3 cores=0,2,4,6
/proc/20214/task/20216/stat : 20216 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 261367 0 0 0 106141 89 0 0 25 0 4 0 653184414 1008971776 169369 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20214/tid=20217] ppid=20212 vsize=985324 CPUtime=1062.3 cores=0,2,4,6
/proc/20214/task/20217/stat : 20217 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 147346 0 0 0 106178 52 0 0 25 0 4 0 653184414 1008971776 169369 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4238.6
Current children cumulated vsize (KiB) 985324

[startup+1122.3 s]
/proc/loadavg: 8.14 8.11 7.94 9/314 20278
/proc/meminfo: memFree=16941880/32950928 swapFree=67111348/67111528
[pid=20214] ppid=20212 vsize=801072 CPUtime=4477.99 cores=0,2,4,6
/proc/20214/stat : 20214 (strangenight2-m) R 20212 20214 19509 0 -1 4202496 809125 0 0 0 447534 265 0 0 25 0 4 0 653184414 820297728 170022 33554432000 4194304 4580107 140735568636992 18446744073709551615 4406476 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20214/statm: 200268 170022 380 95 0 195250 0
[pid=20214/tid=20215] ppid=20212 vsize=801072 CPUtime=1122.13 cores=0,2,4,6
/proc/20214/task/20215/stat : 20215 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 150977 0 0 0 112168 45 0 0 25 0 4 0 653184414 820297728 170022 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20214/tid=20216] ppid=20212 vsize=801072 CPUtime=1122.31 cores=0,2,4,6
/proc/20214/task/20216/stat : 20216 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 272290 0 0 0 112138 93 0 0 25 0 4 0 653184414 820297728 170022 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20214/tid=20217] ppid=20212 vsize=801072 CPUtime=1122.3 cores=0,2,4,6
/proc/20214/task/20217/stat : 20217 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 154516 0 0 0 112176 54 0 0 25 0 4 0 653184414 820297728 170022 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4477.99
Current children cumulated vsize (KiB) 801072

[startup+1182.3 s]
/proc/loadavg: 8.05 8.08 7.94 9/314 20279
/proc/meminfo: memFree=16966764/32950928 swapFree=67111348/67111528
[pid=20214] ppid=20212 vsize=880636 CPUtime=4717.4 cores=0,2,4,6
/proc/20214/stat : 20214 (strangenight2-m) R 20212 20214 19509 0 -1 4202496 831793 0 0 0 471465 275 0 0 25 0 4 0 653184414 901771264 173396 33554432000 4194304 4580107 140735568636992 18446744073709551615 4295023 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20214/statm: 220159 173396 380 95 0 215141 0
[pid=20214/tid=20215] ppid=20212 vsize=880636 CPUtime=1182.12 cores=0,2,4,6
/proc/20214/task/20215/stat : 20215 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 155013 0 0 0 118165 47 0 0 25 0 4 0 653184414 901771264 173396 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20214/tid=20216] ppid=20212 vsize=880636 CPUtime=1182.3 cores=0,2,4,6
/proc/20214/task/20216/stat : 20216 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 283405 0 0 0 118133 97 0 0 25 0 4 0 653184414 901771264 173396 33554432000 4194304 4580107 140735568636992 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20214/tid=20217] ppid=20212 vsize=880636 CPUtime=1182.31 cores=0,2,4,6
/proc/20214/task/20217/stat : 20217 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 159517 0 0 0 118174 57 0 0 25 0 4 0 653184414 901771264 173396 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4717.4
Current children cumulated vsize (KiB) 880636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.04 8.08 7.94 9/314 20280
/proc/meminfo: memFree=16933768/32950928 swapFree=67111348/67111528
[pid=20214] ppid=20212 vsize=947436 CPUtime=4800.4 cores=0,2,4,6
/proc/20214/stat : 20214 (strangenight2-m) R 20212 20214 19509 0 -1 4202496 841113 0 0 0 479761 279 0 0 25 0 4 0 653184414 970174464 176982 33554432000 4194304 4580107 140735568636992 18446744073709551615 4321126 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20214/statm: 236859 176982 380 95 0 231841 0
[pid=20214/tid=20215] ppid=20212 vsize=947436 CPUtime=1202.93 cores=0,2,4,6
/proc/20214/task/20215/stat : 20215 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 158877 0 0 0 120244 49 0 0 25 0 4 0 653184414 970174464 176983 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20214/tid=20216] ppid=20212 vsize=947436 CPUtime=1203.11 cores=0,2,4,6
/proc/20214/task/20216/stat : 20216 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 287802 0 0 0 120212 99 0 0 25 0 4 0 653184414 970174464 176983 33554432000 4194304 4580107 140735568636992 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20214/tid=20217] ppid=20212 vsize=947436 CPUtime=1203.11 cores=0,2,4,6
/proc/20214/task/20217/stat : 20217 (strangenight2-m) R 20212 20214 19509 0 -1 4202560 160232 0 0 0 120254 57 0 0 25 0 4 0 653184414 970174464 176983 33554432000 4194304 4580107 140735568636992 18446744073709551615 4305180 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 947436

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.15
CPU time (s): 4800.48
CPU user time (s): 4797.65
CPU system time (s): 2.82857
CPU usage (%): 398.992
Max. virtual memory (cumulated for all children) (KiB): 1066520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.65
system time used= 2.82857
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 841115
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= 590
involuntary context switches= 24828

runsolver used 3.37049 second user time and 8.5377 second system time

The end

Launcher Data 

Begin job on node125 at 2011-05-15 01:30:48
IDJOB=3367222
IDBENCH=84237
IDSOLVER=1844
FILE ID=node125/3367222-1305415847
RUNJOBID= node125-1305414565-20065
PBS_JOBID= 13324523
Free space on /tmp= 73192 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT03/industrial/kukula/addm_bench/am_7_7.shuffled-as.sat03-363.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3367222-1305415847/watcher-3367222-1305415847 -o /tmp/evaluation-result-3367222-1305415847/solver-3367222-1305415847 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3367222-1305415847.cnf

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

MD5SUM BENCH= c7f51e1ee7556440ab29e1c4bfe29538
RANDOM SEED=731555228

node125.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.828
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.65
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.828
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	: 5266.55
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.828
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.84
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.828
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.74
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.828
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.82
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.828
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.828
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.828
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:     32950928 kB
MemFree:      18040344 kB
Buffers:        259280 kB
Cached:        4035828 kB
SwapCached:          0 kB
Active:       11321888 kB
Inactive:      3215424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      18040344 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            5848 kB
Writeback:           0 kB
AnonPages:    10241540 kB
Mapped:          29876 kB
Slab:           274340 kB
PageTables:      35884 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 51297328 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= 73188 MiB
End job on node125 at 2011-05-15 01:50:53