Trace number 3366934

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.17 1203.45

General information on the benchmark

NameSAT03/handmade/stanion/hwb/
hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf
MD5SUMbdf2c49c74bfdbd3bd4663dca402d24f
Bench CategoryCRAFTED (crafted 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 variables194
Number of clauses954
Sum of the clauses size3252
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 210
Number of clauses of size 3544
Number of clauses of size 4400
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-3366934-1305415687.cnf'
0.00/0.00	c -- header says num vars:            194
0.00/0.00	c -- header says num clauses:         954
0.00/0.00	c -- clauses added:            0 learnts,          954 normals,            0 xors
0.00/0.00	c -- vars added        194
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       194       944        10         0      3252         0   no data   no data
0.00/0.00	c asymm  cl-useful: 0/944/944 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.00	c Replacing        1 vars Replaced       12 lits Time:     0.00 s 
0.00/0.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
0.00/0.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.01	c lits-rem:         8  cl-subs:        0  v-elim:     58  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:      52, avg size: 4.0)
0.00/0.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:       1 undec:      60 neg:     133
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       135       424         4         0      1958         0   no data   no data
0.00/0.07	c Decided on static restart strategy
0.77/0.20	c  N st     8      4914       135       424         6      4641      1958    102986   no data   no data
1.16/0.31	c  N st    10     11296       135       424         6      4450      1958     80520   no data   no data
1.56/0.49	c  N st    11     17039       135       424         6      9757      1958    195678   no data   no data
2.77/0.78	c  F st    12     25002       135       424         6     12067      1958    234953   no data   no data
2.77/0.78	c  N st    12     25002       135       424         6     12067      1958    234953   no data   no data
3.57/0.97	c Decided on static restart strategy
3.57/0.97	c  N st    18     30002       135       424         6     10491      1958    191557   no data   no data
3.57/0.97	c  S st    18     30002       135       424         6     10491      1958    191557   no data   no data
3.96/1.01	c  S st    18     30505       135       424         6     10991      1958    201811   no data   no data
3.96/1.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.96/1.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
3.96/1.01	c blocked clauses removed:        0 vars:      0 tried:           3 T: 0.00 s
3.96/1.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.96/1.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.96/1.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
3.96/1.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.96/1.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.96/1.02	c subs with bin:        0  lits-rem:       116  v-fix:    0  time:  0.00 s
4.40/1.17	c lits-rem:      1889  cl-subs:      980  v-elim:      0  v-fix:    0  time:  0.15 s
4.40/1.17	c asymm  cl-useful: 0/424/424 lits-rem:0 time: 0.00
4.40/1.17	c calculated reachability. Time: 0.00
4.40/1.17	c  N st    18     30505       135       424         6     10011      1958    178305   no data   no data
5.56/1.48	c  N st    20     37615       135       424         6      9349      1958    149266   no data   no data
6.76/1.78	c  N st    21     44014       135       424         6     15353      1958    287699   no data   no data
7.15/1.86	c  S st    22     45760       135       424         6     16985      1958    322173   no data   no data
7.56/1.91	c  S st    22     46265       135       424         6      9095      1958    131445   no data   no data
7.56/1.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.56/1.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
7.56/1.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.56/1.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.56/1.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.56/1.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
7.56/1.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.56/1.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.56/1.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.56/1.94	c lits-rem:       363  cl-subs:      111  v-elim:      0  v-fix:    0  time:  0.02 s
7.56/1.94	c vivif2 --  cl tried      424 cl shrink        0 lits rem          0 time: 0.00
7.56/1.94	c vivif2 --  cl tried     8984 cl shrink        0 lits rem          0 time: 0.00
7.56/1.94	c asymm  cl-useful: 0/424/424 lits-rem:0 time: 0.00
7.56/1.94	c calculated reachability. Time: 0.00
7.56/1.94	c  N st    22     46265       135       424         6      8984      1958    129353   no data   no data
10.35/2.66	c  N st    23     60663       135       424         6     13151      1958    216581   no data   no data
12.35/3.12	c  N st    24     69398       135       424         6     11018      1958    155579   no data   no data
12.35/3.12	c  S st    24     69398       135       424         6     11018      1958    155579   no data   no data
12.35/3.14	c  S st    24     69903       135       424         6     11513      1958    165441   no data   no data
12.35/3.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
12.35/3.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
12.35/3.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
12.35/3.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
12.35/3.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
12.35/3.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
12.35/3.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
12.35/3.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
12.35/3.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
12.35/3.18	c lits-rem:       367  cl-subs:      191  v-elim:      0  v-fix:    0  time:  0.03 s
12.35/3.18	c vivif2 --  cl tried      424 cl shrink        0 lits rem          0 time: 0.00
12.35/3.18	c vivif2 --  cl tried    11322 cl shrink        0 lits rem          0 time: 0.00
12.35/3.19	c asymm  cl-useful: 0/424/424 lits-rem:0 time: 0.00
12.35/3.19	c calculated reachability. Time: 0.00
12.35/3.19	c  N st    24     69903       135       424         6     11322      1958    161428   no data   no data
15.93/4.07	c  F st    25     87502       135       424         6     16592      1958    270248   no data   no data
15.93/4.07	c  N st    25     87502       135       424         6     16592      1958    270248   no data   no data
17.13/4.34	c Decided on static restart strategy
17.56/4.50	c  N st    32     95545       135       424         6     24184      1958    441353   no data   no data
19.52/4.96	c  N st    34    104854       135       424         6     20689      1958    348124   no data   no data
19.52/4.96	c  S st    34    104854       135       424         6     20689      1958    348124   no data   no data
19.92/5.02	c  S st    34    105364       135       424         6     21195      1958    359581   no data   no data
19.92/5.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
19.92/5.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
19.92/5.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
19.92/5.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
19.92/5.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
19.92/5.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
19.92/5.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
19.92/5.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
19.92/5.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
21.95/5.58	c lits-rem:      2116  cl-subs:     2508  v-elim:      0  v-fix:    0  time:  0.54 s
21.95/5.58	c vivif2 --  cl tried      424 cl shrink        0 lits rem          0 time: 0.00
21.95/5.58	c vivif2 --  cl tried    18687 cl shrink        0 lits rem          0 time: 0.00
21.95/5.59	c asymm  cl-useful: 8/424/424 lits-rem:8 time: 0.01
21.95/5.60	c calculated reachability. Time: 0.00
21.95/5.60	c  N st    34    105364       135       424         6     18687      1950    300317   no data   no data
24.31/6.10	c  N st    35    114962       135       424         6     14618      1950    200614   no data   no data
27.09/6.89	c  N st    36    129359       135       424         6     28000      1950    494282   no data   no data
32.68/8.24	c  N st    37    150956       135       424         6     19173      1950    283161   no data   no data
34.28/8.64	c  S st    38    158046       135       424         6     25776      1950    426652   no data   no data
34.68/8.70	c  S st    38    158548       135       424         6     26276      1950    437193   no data   no data
34.68/8.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
34.68/8.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
34.68/8.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
34.68/8.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
34.68/8.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
34.68/8.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
34.68/8.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
34.68/8.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
34.68/8.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
38.27/9.67	c lits-rem:      2275  cl-subs:     3739  v-elim:      0  v-fix:    0  time:  0.95 s
38.27/9.67	c vivif2 --  cl tried      424 cl shrink        0 lits rem          0 time: 0.00
38.27/9.68	c vivif2 --  cl tried    22537 cl shrink        0 lits rem          0 time: 0.00
38.27/9.69	c asymm  cl-useful: 7/424/424 lits-rem:7 time: 0.01
38.27/9.69	c calculated reachability. Time: 0.00
38.27/9.69	c  N st    38    158548       135       424         6     22537      1943    355848   no data   no data
51.44/12.95	c  N st    39    207137       135       424         6     35182      1943    613703   no data   no data
59.81/15.07	c  N st    40    237822       135       424         6     27632      1943    438374   no data   no data
59.81/15.07	c  S st    40    237822       135       424         6     27632      1943    438374   no data   no data
60.21/15.14	c  S st    40    238326       135       424         6     28125      1943    448750   no data   no data
60.21/15.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
60.21/15.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
60.21/15.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
60.21/15.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
60.21/15.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
60.21/15.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
60.21/15.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
60.21/15.16	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
60.21/15.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
63.79/16.03	c lits-rem:      1067  cl-subs:     3155  v-elim:      0  v-fix:    0  time:  0.87 s
63.79/16.03	c vivif2 --  cl tried      424 cl shrink        0 lits rem          0 time: 0.00
63.79/16.04	c vivif2 --  cl tried    24970 cl shrink        0 lits rem          0 time: 0.00
63.79/16.05	c asymm  cl-useful: 4/424/424 lits-rem:4 time: 0.01
63.79/16.05	c calculated reachability. Time: 0.00
63.79/16.05	c  N st    40    238326       135       424         6     24970      1935    385912   no data   no data
84.13/21.10	c  F st    41    306250       135       424         6     27147      1935    402450   no data   no data
84.13/21.10	c  N st    41    306250       135       424         6     27147      1935    402450   no data   no data
85.33/21.46	c Decided on static restart strategy
92.56/23.24	c  N st    51    334554       135       424         6     31224      1935    483565   no data   no data
99.70/25.06	c  N st    53    357490       135       424         6     29360      1935    437611   no data   no data
99.70/25.06	c  S st    53    357490       135       424         6     29360      1935    437611   no data   no data
100.10/25.14	c  S st    53    357994       135       424         6     29856      1935    448636   no data   no data
100.10/25.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
100.10/25.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
100.10/25.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
100.10/25.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
100.10/25.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
100.10/25.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
100.10/25.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
100.10/25.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
100.10/25.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
101.68/25.51	c lits-rem:      1888  cl-subs:      947  v-elim:      0  v-fix:    0  time:  0.34 s
101.68/25.51	c vivif2 --  cl tried      424 cl shrink        0 lits rem          0 time: 0.00
101.68/25.51	c vivif2 --  cl tried    28909 cl shrink        0 lits rem          0 time: 0.00
101.68/25.53	c asymm  cl-useful: 4/424/424 lits-rem:4 time: 0.01
101.68/25.53	c calculated reachability. Time: 0.00
101.68/25.53	c  N st    53    357994       135       424         6     28909      1931    426392   no data   no data
112.05/28.16	c  N st    54    390386       135       424         6     35035      1931    545083   no data   no data
130.81/32.88	c  N st    55    438974       135       424         6     28568      1931    383433   no data   no data
157.14/39.47	c  N st    56    511858       135       424         6     41306      1931    626834   no data   no data
166.32/41.77	c  N st    57    536994       135       424         6     35882      1931    522652   no data   no data
166.32/41.77	c  S st    57    536994       135       424         6     35882      1931    522652   no data   no data
166.75/41.86	c  S st    57    537497       135       424         6     36378      1931    532918   no data   no data
166.75/41.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
166.75/41.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
166.75/41.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
166.75/41.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
166.75/41.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
166.75/41.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
166.75/41.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
166.75/41.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
166.75/41.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
170.30/42.71	c lits-rem:      1740  cl-subs:     2722  v-elim:      0  v-fix:    0  time:  0.82 s
170.30/42.71	c vivif2 --  cl tried      424 cl shrink        0 lits rem          0 time: 0.00
170.30/42.72	c vivif2 --  cl tried    33656 cl shrink        0 lits rem          0 time: 0.01
170.30/42.74	c asymm  cl-useful: 7/424/424 lits-rem:7 time: 0.02
170.30/42.74	c calculated reachability. Time: 0.00
170.30/42.74	c  N st    57    537497       135       424         6     33656      1924    478149   no data   no data
235.72/59.16	c  N st    58    701483       135       424         6     60940      1924   1001417   no data   no data
277.99/69.71	c  N st    59    806246       135       424         6     55729      1924    880048   no data   no data
277.99/69.71	c  S st    59    806246       135       424         6     55729      1924    880048   no data   no data
278.39/69.87	c  S st    59    806749       135       424         6     56230      1924    891300   no data   no data
278.39/69.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
278.39/69.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
278.39/69.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
278.39/69.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
278.39/69.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
278.39/69.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
278.39/69.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
278.39/69.90	c lits-rem:         5  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
278.79/69.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
297.15/74.50	c lits-rem:      3650  cl-subs:     9270  v-elim:      0  v-fix:    0  time:  4.58 s
297.15/74.50	c vivif2 --  cl tried      424 cl shrink        0 lits rem          0 time: 0.00
297.15/74.51	c vivif2 --  cl tried    46960 cl shrink        0 lits rem          0 time: 0.01
297.15/74.53	c asymm  cl-useful: 2/424/424 lits-rem:2 time: 0.03
297.15/74.53	c calculated reachability. Time: 0.00
297.15/74.53	c  N st    59    806749       135       424         6     46960      1916    707218   no data   no data
411.23/103.12	c  F st    60   1071877       135       424         6     61829      1916    954613   no data   no data
411.23/103.12	c  N st    60   1071877       135       424         6     61829      1916    954613   no data   no data
413.22/103.67	c Decided on static restart strategy
424.00/106.37	c  N st    70   1100181       135       424         6     47086      1916    665012   no data   no data
439.54/110.20	c  N st    72   1136174       135       424         6     80752      1916   1447083   no data   no data
454.31/113.90	c  N st    73   1168566       135       424         6     68122      1916   1099506   no data   no data
473.89/118.81	c  N st    74   1210123       135       424         6     62791      1916    968787   no data   no data
473.89/118.81	c  S st    74   1210123       135       424         6     62791      1916    968787   no data   no data
474.65/119.04	c  S st    74   1210628       135       424         6     63292      1916    980173   no data   no data
474.65/119.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
474.65/119.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
474.65/119.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
474.65/119.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
474.65/119.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
474.65/119.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
474.65/119.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
474.65/119.09	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
475.05/119.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
509.40/127.79	c lits-rem:      5091  cl-subs:     8454  v-elim:      0  v-fix:    0  time:  8.66 s
509.40/127.79	c vivif2 --  cl tried      424 cl shrink        0 lits rem          0 time: 0.00
509.74/127.80	c vivif2 --  cl tried    54838 cl shrink        0 lits rem          0 time: 0.01
509.74/127.88	c asymm  cl-useful: 6/424/424 lits-rem:6 time: 0.08
509.74/127.88	c calculated reachability. Time: 0.00
509.74/127.88	c  N st    74   1210628       135       424         6     54838      1909    805411   no data   no data
554.42/139.08	c  N st    75   1283510       135       424         6     77621      1909   1292098   no data   no data
615.44/154.35	c  N st    76   1392837       135       424         6     87544      1909   1471484   no data   no data
702.03/176.07	c  N st    77   1556821       135       424         6     94459      1909   1574333   no data   no data
786.56/197.27	c  N st    78   1710628       135       424         6     84499      1909   1340774   no data   no data
786.56/197.27	c  S st    78   1710628       135       424         6     84499      1909   1340774   no data   no data
787.36/197.45	c  S st    78   1711132       135       424         6     84997      1909   1352698   no data   no data
787.36/197.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
787.36/197.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
787.36/197.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
787.36/197.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
787.36/197.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
787.36/197.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
787.36/197.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
787.76/197.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
787.76/197.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
836.03/209.60	c lits-rem:      6944  cl-subs:    14396  v-elim:      0  v-fix:    0  time: 12.06 s
836.03/209.60	c vivif2 --  cl tried      424 cl shrink        0 lits rem          0 time: 0.00
836.03/209.61	c vivif2 --  cl tried    70601 cl shrink        0 lits rem          0 time: 0.02
836.03/209.66	c asymm  cl-useful: 5/424/424 lits-rem:5 time: 0.05
836.03/209.67	c calculated reachability. Time: 0.00
836.03/209.67	c  N st    78   1711132       135       424         6     70601      1904   1086315   no data   no data
1067.37/267.61	c  N st    79   2080096       135       424         6     81938      1904   1238282   no data   no data
1138.38/285.48	c  N st    80   2211133       135       424         6     86577      1904   1368017   no data   no data
1138.38/285.48	c  S st    80   2211133       135       424         6     86577      1904   1368017   no data   no data
1139.17/285.67	c  S st    80   2211636       135       424         6     87072      1904   1378948   no data   no data
1139.17/285.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1139.57/285.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.03
1139.57/285.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1139.57/285.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1139.57/285.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1139.57/285.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
1139.57/285.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1139.57/285.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1139.57/285.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1188.24/297.94	c lits-rem:      5047  cl-subs:    12309  v-elim:      0  v-fix:    0  time: 12.18 s
1188.24/297.94	c vivif2 --  cl tried      424 cl shrink        0 lits rem          0 time: 0.00
1188.24/297.96	c vivif2 --  cl tried    74763 cl shrink        0 lits rem          0 time: 0.02
1188.64/298.03	c asymm  cl-useful: 7/424/424 lits-rem:7 time: 0.06
1188.64/298.03	c calculated reachability. Time: 0.00
1188.64/298.03	c  N st    80   2211636       135       424         6     74763      1897   1130560   no data   no data
1540.49/386.23	c  N st    81   2711636       135       424         6     98253      1897   1563004   no data   no data
1540.49/386.23	c  S st    81   2711636       135       424         6     98253      1897   1563004   no data   no data
1541.24/386.49	c  S st    81   2712142       135       424         6     98752      1897   1574227   no data   no data
1541.24/386.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1541.64/386.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1541.64/386.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1541.64/386.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1541.64/386.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1541.64/386.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
1541.64/386.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1541.64/386.57	c lits-rem:        12  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.02 s
1542.04/386.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1599.49/401.03	c lits-rem:      7377  cl-subs:    12226  v-elim:      0  v-fix:    0  time: 14.41 s
1599.49/401.03	c vivif2 --  cl tried      423 cl shrink        0 lits rem          0 time: 0.00
1599.49/401.04	c vivif2 --  cl tried    86526 cl shrink        0 lits rem          0 time: 0.02
1599.89/401.12	c asymm  cl-useful: 4/423/423 lits-rem:4 time: 0.08
1599.89/401.13	c calculated reachability. Time: 0.00
1599.89/401.13	c  N st    81   2712142       135       423         6     86526      1876   1332175   no data   no data
1946.93/488.14	c  N st    82   3212143       135       423         6    133906      1876   2196396   no data   no data
1946.93/488.14	c  S st    82   3212143       135       423         6    133906      1876   2196396   no data   no data
1948.56/488.59	c  S st    82   3212646       135       423         6    134402      1876   2207862   no data   no data
1948.91/488.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1948.91/488.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.07
1948.91/488.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1948.91/488.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1948.91/488.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1948.91/488.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
1948.91/488.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1949.31/488.71	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1949.31/488.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2183.83/547.56	c lits-rem:      7573  cl-subs:    33838  v-elim:      0  v-fix:    0  time: 58.78 s
2183.83/547.56	c vivif2 --  cl tried      423 cl shrink        0 lits rem          0 time: 0.00
2183.83/547.58	c vivif2 --  cl tried   100564 cl shrink        0 lits rem          0 time: 0.03
2184.64/547.71	c asymm  cl-useful: 3/423/423 lits-rem:3 time: 0.13
2184.64/547.72	c calculated reachability. Time: 0.00
2184.64/547.72	c  N st    82   3212646       135       423         6    100564      1872   1575561   no data   no data
2602.99/652.61	c  N st    83   3712646       135       423         6    119871      1872   1866310   no data   no data
2602.99/652.61	c  S st    83   3712646       135       423         6    119871      1872   1866310   no data   no data
2604.19/652.95	c  S st    83   3713150       135       423         6    120373      1872   1877914   no data   no data
2604.19/652.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2604.59/653.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.07
2604.59/653.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2604.59/653.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2604.59/653.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2604.59/653.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
2604.59/653.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2604.59/653.07	c lits-rem:         3  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2604.99/653.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2731.04/684.79	c lits-rem:      7983  cl-subs:    21055  v-elim:      0  v-fix:    0  time: 31.67 s
2731.04/684.79	c vivif2 --  cl tried      423 cl shrink        0 lits rem          0 time: 0.00
2731.43/684.81	c vivif2 --  cl tried    99318 cl shrink        0 lits rem          0 time: 0.02
2731.43/684.89	c asymm  cl-useful: 2/423/423 lits-rem:2 time: 0.08
2731.43/684.89	c calculated reachability. Time: 0.00
2731.43/684.89	c  N st    83   3713150       135       423         6     99318      1867   1519871   no data   no data
2758.15/691.54	c  F st    84   3751563       135       423         6    134533      1867   2339133   no data   no data
2758.15/691.54	c  N st    84   3751563       135       423         6    134533      1867   2339133   no data   no data
2762.54/692.62	c Decided on static restart strategy
2780.89/697.29	c  N st    94   3779867       135       423         6     84950      1867   1162145   no data   no data
2803.24/702.83	c  N st    96   3815860       135       423         6    118492      1867   1914751   no data   no data
2826.36/708.65	c  N st    97   3848253       135       423         6    148508      1867   2547107   no data   no data
2860.28/717.11	c  N st    98   3896843       135       423         6    115680      1867   1834370   no data   no data
2916.12/731.19	c  N st    99   3969728       135       423         6    103789      1867   1553848   no data   no data
3005.49/753.56	c  N st   100   4079052       135       423         6    124295      1867   2002804   no data   no data
3134.29/785.81	c  N st   101   4213151       135       423         6     84173      1867   1085126   no data   no data
3134.29/785.81	c  S st   101   4213151       135       423         6     84173      1867   1085126   no data   no data
3135.09/786.08	c  S st   101   4213653       135       423         6     84672      1867   1097251   no data   no data
3135.09/786.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3135.49/786.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
3135.49/786.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3135.49/786.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3135.49/786.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3135.49/786.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
3135.49/786.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3135.49/786.16	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3135.89/786.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3143.87/788.20	c lits-rem:      2064  cl-subs:     1149  v-elim:      0  v-fix:    0  time:  2.00 s
3143.87/788.20	c vivif2 --  cl tried      423 cl shrink        0 lits rem          0 time: 0.00
3143.87/788.22	c vivif2 --  cl tried    83523 cl shrink        0 lits rem          0 time: 0.02
3144.27/788.31	c asymm  cl-useful: 0/423/423 lits-rem:0 time: 0.09
3144.27/788.31	c calculated reachability. Time: 0.00
3144.27/788.31	c  N st   101   4213653       135       423         6     83523      1866   1075378   no data   no data
3324.17/833.49	c  N st   102   4459630       135       423         6    142565      1866   2266254   no data   no data
3518.86/882.28	c  N st   103   4713653       135       423         6    119380      1866   1786728   no data   no data
3518.86/882.28	c  S st   103   4713653       135       423         6    119380      1866   1786728   no data   no data
3520.02/882.58	c  S st   103   4714161       135       423         6    119881      1866   1798884   no data   no data
3520.02/882.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3520.43/882.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
3520.43/882.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3520.43/882.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3520.43/882.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3520.43/882.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
3520.43/882.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3520.43/882.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3520.83/882.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3594.22/901.11	c lits-rem:      6074  cl-subs:    15111  v-elim:      0  v-fix:    0  time: 18.41 s
3594.22/901.11	c vivif2 --  cl tried      423 cl shrink        0 lits rem          0 time: 0.00
3594.22/901.15	c vivif2 --  cl tried   104770 cl shrink        0 lits rem          0 time: 0.04
3594.62/901.27	c asymm  cl-useful: 0/423/423 lits-rem:0 time: 0.11
3594.62/901.27	c calculated reachability. Time: 0.00
3594.62/901.27	c  N st   103   4714161       135       423         6    104770      1866   1502151   no data   no data
4040.17/1012.97	c  N st   104   5214161       135       423         6    119779      1866   1756367   no data   no data
4040.17/1012.97	c  S st   104   5214161       135       423         6    119779      1866   1756367   no data   no data
4041.40/1013.28	c  S st   104   5214664       135       423         6    120280      1866   1768165   no data   no data
4041.40/1013.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4041.76/1013.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.05
4041.76/1013.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4041.76/1013.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4041.76/1013.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4041.76/1013.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
4041.76/1013.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4041.76/1013.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4042.16/1013.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4107.97/1029.96	c lits-rem:      4594  cl-subs:    14851  v-elim:      0  v-fix:    0  time: 16.55 s
4107.97/1029.96	c vivif2 --  cl tried      423 cl shrink        0 lits rem          0 time: 0.00
4107.97/1029.98	c vivif2 --  cl tried   105429 cl shrink        0 lits rem          0 time: 0.02
4108.37/1030.06	c asymm  cl-useful: 0/423/423 lits-rem:0 time: 0.08
4108.37/1030.07	c calculated reachability. Time: 0.00
4108.37/1030.07	c  N st   104   5214664       135       423         6    105429      1866   1469047   no data   no data
4579.85/1148.27	c  N st   105   5714664       135       423         6     98251      1866   1260479   no data   no data
4579.85/1148.27	c  S st   105   5714664       135       423         6     98251      1866   1260479   no data   no data
4581.44/1148.67	c  S st   105   5715169       135       423         6     98750      1866   1271590   no data   no data
4581.44/1148.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4581.84/1148.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.06
4581.84/1148.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4581.84/1148.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4581.84/1148.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4581.84/1148.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
4581.84/1148.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4581.84/1148.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4582.24/1148.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4593.41/1151.69	c lits-rem:      1608  cl-subs:     1381  v-elim:      0  v-fix:    0  time:  2.86 s
4593.41/1151.69	c vivif2 --  cl tried      423 cl shrink        0 lits rem          0 time: 0.00
4593.83/1151.71	c vivif2 --  cl tried    97369 cl shrink        0 lits rem          0 time: 0.02
4594.25/1151.82	c asymm  cl-useful: 0/423/423 lits-rem:0 time: 0.11
4594.25/1151.83	c calculated reachability. Time: 0.00
4594.25/1151.83	c  N st   105   5715169       135       423         6     97369      1866   1246150   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-3366934-1305415687/watcher-3366934-1305415687 -o /tmp/evaluation-result-3366934-1305415687/solver-3366934-1305415687 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366934-1305415687.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.15 8.14 8.03 2/342 16976
/proc/meminfo: memFree=25796008/32951124 swapFree=40554400/67111528
[pid=16976] ppid=16974 vsize=273612 CPUtime=0.01 cores=0,2,4,6
/proc/16976/stat : 16976 (strangenight2-m) R 16974 16976 16402 0 -1 4202496 774 0 0 0 1 0 0 0 25 0 4 0 653169166 280178688 693 33554432000 4194304 4580107 140737111907200 18446744073709551615 4489474 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16976/statm: 68403 695 374 95 0 63385 0
[pid=16976/tid=16977] ppid=16974 vsize=273612 CPUtime=0 cores=0,2,4,6
/proc/16976/task/16977/stat : 16977 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 142 0 0 0 0 0 0 0 25 0 4 0 653169166 280178688 714 33554432000 4194304 4580107 140737111907200 18446744073709551615 4322895 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16976/tid=16978] ppid=16974 vsize=273612 CPUtime=0 cores=0,2,4,6
/proc/16976/task/16978/stat : 16978 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 23 0 0 0 0 0 0 0 25 0 4 0 653169166 280178688 714 33554432000 4194304 4580107 140737111907200 18446744073709551615 230809270766 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16976/tid=16979] ppid=16974 vsize=273612 CPUtime=0 cores=0,2,4,6
/proc/16976/task/16979/stat : 16979 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 87 0 0 0 0 0 0 0 25 0 4 0 653169166 280178688 714 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.113489 s]
/proc/loadavg: 8.15 8.14 8.03 2/342 16976
/proc/meminfo: memFree=25796008/32951124 swapFree=40554400/67111528
[pid=16976] ppid=16974 vsize=282192 CPUtime=0.42 cores=0,2,4,6
/proc/16976/stat : 16976 (strangenight2-m) R 16974 16976 16402 0 -1 4202496 1568 0 0 0 42 0 0 0 25 0 4 0 653169166 288964608 1360 33554432000 4194304 4580107 140737111907200 18446744073709551615 4295888 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16976/statm: 70548 1360 379 95 0 65530 0
[pid=16976/tid=16977] ppid=16974 vsize=282192 CPUtime=0.1 cores=0,2,4,6
/proc/16976/task/16977/stat : 16977 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 364 0 0 0 10 0 0 0 25 0 4 0 653169166 288964608 1360 33554432000 4194304 4580107 140737111907200 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16976/tid=16978] ppid=16974 vsize=282192 CPUtime=0.1 cores=0,2,4,6
/proc/16976/task/16978/stat : 16978 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 265 0 0 0 10 0 0 0 25 0 4 0 653169166 288964608 1360 33554432000 4194304 4580107 140737111907200 18446744073709551615 4320743 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16976/tid=16979] ppid=16974 vsize=282192 CPUtime=0.1 cores=0,2,4,6
/proc/16976/task/16979/stat : 16979 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 236 0 0 0 10 0 0 0 25 0 4 0 653169166 288964608 1360 33554432000 4194304 4580107 140737111907200 18446744073709551615 4320872 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282192

[startup+0.20047 s]
/proc/loadavg: 8.15 8.14 8.03 2/342 16976
/proc/meminfo: memFree=25796008/32951124 swapFree=40554400/67111528
[pid=16976] ppid=16974 vsize=283032 CPUtime=0.77 cores=0,2,4,6
/proc/16976/stat : 16976 (strangenight2-m) R 16974 16976 16402 0 -1 4202496 2097 0 0 0 77 0 0 0 25 0 4 0 653169166 289824768 1506 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16976/statm: 70758 1506 379 95 0 65740 0
[pid=16976/tid=16977] ppid=16974 vsize=283032 CPUtime=0.19 cores=0,2,4,6
/proc/16976/task/16977/stat : 16977 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 460 0 0 0 19 0 0 0 25 0 4 0 653169166 289824768 1506 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16976/tid=16978] ppid=16974 vsize=283032 CPUtime=0.18 cores=0,2,4,6
/proc/16976/task/16978/stat : 16978 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 415 0 0 0 18 0 0 0 25 0 4 0 653169166 289824768 1506 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294704 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16976/tid=16979] ppid=16974 vsize=283032 CPUtime=0.19 cores=0,2,4,6
/proc/16976/task/16979/stat : 16979 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 369 0 0 0 19 0 0 0 25 0 4 0 653169166 289824768 1506 33554432000 4194304 4580107 140737111907200 18446744073709551615 4322762 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283032

[startup+0.300452 s]
/proc/loadavg: 8.15 8.14 8.03 2/342 16976
/proc/meminfo: memFree=25796008/32951124 swapFree=40554400/67111528
[pid=16976] ppid=16974 vsize=283364 CPUtime=1.16 cores=0,2,4,6
/proc/16976/stat : 16976 (strangenight2-m) R 16974 16976 16402 0 -1 4202496 2584 0 0 0 116 0 0 0 25 0 4 0 653169166 290164736 1807 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16976/statm: 70841 1807 379 95 0 65823 0
[pid=16976/tid=16977] ppid=16974 vsize=283364 CPUtime=0.29 cores=0,2,4,6
/proc/16976/task/16977/stat : 16977 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 639 0 0 0 29 0 0 0 25 0 4 0 653169166 290164736 1807 33554432000 4194304 4580107 140737111907200 18446744073709551615 4321137 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16976/tid=16978] ppid=16974 vsize=283364 CPUtime=0.28 cores=0,2,4,6
/proc/16976/task/16978/stat : 16978 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 518 0 0 0 28 0 0 0 25 0 4 0 653169166 290164736 1807 33554432000 4194304 4580107 140737111907200 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16976/tid=16979] ppid=16974 vsize=283364 CPUtime=0.29 cores=0,2,4,6
/proc/16976/task/16979/stat : 16979 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 469 0 0 0 29 0 0 0 25 0 4 0 653169166 290164736 1807 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 283364

[startup+0.700379 s]
/proc/loadavg: 8.15 8.14 8.03 2/342 16976
/proc/meminfo: memFree=25796008/32951124 swapFree=40554400/67111528
[pid=16976] ppid=16974 vsize=284480 CPUtime=2.77 cores=0,2,4,6
/proc/16976/stat : 16976 (strangenight2-m) R 16974 16976 16402 0 -1 4202496 4561 0 0 0 276 1 0 0 25 0 4 0 653169166 291307520 2176 33554432000 4194304 4580107 140737111907200 18446744073709551615 4316661 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16976/statm: 71120 2176 379 95 0 66102 0
[pid=16976/tid=16977] ppid=16974 vsize=284480 CPUtime=0.69 cores=0,2,4,6
/proc/16976/task/16977/stat : 16977 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 1056 0 0 0 69 0 0 0 25 0 4 0 653169166 291307520 2176 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16976/tid=16978] ppid=16974 vsize=284480 CPUtime=0.68 cores=0,2,4,6
/proc/16976/task/16978/stat : 16978 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 1035 0 0 0 68 0 0 0 25 0 4 0 653169166 291307520 2176 33554432000 4194304 4580107 140737111907200 18446744073709551615 4295115 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16976/tid=16979] ppid=16974 vsize=284480 CPUtime=0.69 cores=0,2,4,6
/proc/16976/task/16979/stat : 16979 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 986 0 0 0 69 0 0 0 25 0 4 0 653169166 291307520 2176 33554432000 4194304 4580107 140737111907200 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284480

[startup+1.50023 s]
/proc/loadavg: 8.15 8.14 8.03 10/354 16988
/proc/meminfo: memFree=25764788/32951124 swapFree=40554400/67111528
[pid=16976] ppid=16974 vsize=291012 CPUtime=5.96 cores=0,2,4,6
/proc/16976/stat : 16976 (strangenight2-m) R 16974 16976 16402 0 -1 4202496 9978 0 0 0 594 2 0 0 25 0 4 0 653169166 297996288 4946 33554432000 4194304 4580107 140737111907200 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16976/statm: 72753 4946 380 95 0 67735 0
[pid=16976/tid=16977] ppid=16974 vsize=291012 CPUtime=1.48 cores=0,2,4,6
/proc/16976/task/16977/stat : 16977 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 2876 0 0 0 148 0 0 0 25 0 4 0 653169166 297996288 4946 33554432000 4194304 4580107 140737111907200 18446744073709551615 4321874 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16976/tid=16978] ppid=16974 vsize=291012 CPUtime=1.46 cores=0,2,4,6
/proc/16976/task/16978/stat : 16978 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 1820 0 0 0 146 0 0 0 25 0 4 0 653169166 297996288 4946 33554432000 4194304 4580107 140737111907200 18446744073709551615 4295702 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16976/tid=16979] ppid=16974 vsize=291012 CPUtime=1.49 cores=0,2,4,6
/proc/16976/task/16979/stat : 16979 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 1788 0 0 0 149 0 0 0 25 0 4 0 653169166 297996288 4946 33554432000 4194304 4580107 140737111907200 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 291012

[startup+3.10094 s]
/proc/loadavg: 8.14 8.13 8.03 9/354 16988
/proc/meminfo: memFree=25735972/32951124 swapFree=40554400/67111528
[pid=16976] ppid=16974 vsize=282488 CPUtime=12.35 cores=0,2,4,6
/proc/16976/stat : 16976 (strangenight2-m) R 16974 16976 16402 0 -1 4202496 18452 0 0 0 1231 4 0 0 25 0 4 0 653169166 289267712 9925 33554432000 4194304 4580107 140737111907200 18446744073709551615 4304880 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16976/statm: 70622 9925 380 95 0 65604 0
[pid=16976/tid=16977] ppid=16974 vsize=282488 CPUtime=3.09 cores=0,2,4,6
/proc/16976/task/16977/stat : 16977 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 5349 0 0 0 308 1 0 0 25 0 4 0 653169166 289267712 9925 33554432000 4194304 4580107 140737111907200 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16976/tid=16978] ppid=16974 vsize=282488 CPUtime=3.05 cores=0,2,4,6
/proc/16976/task/16978/stat : 16978 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 4602 0 0 0 304 1 0 0 25 0 4 0 653169166 289267712 9925 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16976/tid=16979] ppid=16974 vsize=282488 CPUtime=3.08 cores=0,2,4,6
/proc/16976/task/16979/stat : 16979 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 3937 0 0 0 308 0 0 0 25 0 4 0 653169166 289267712 9925 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 282488

[startup+6.30035 s]
/proc/loadavg: 8.14 8.13 8.03 9/354 16988
/proc/meminfo: memFree=25698700/32951124 swapFree=40554400/67111528
[pid=16976] ppid=16974 vsize=297492 CPUtime=25.1 cores=0,2,4,6
/proc/16976/stat : 16976 (strangenight2-m) R 16974 16976 16402 0 -1 4202496 28355 0 0 0 2504 6 0 0 25 0 4 0 653169166 304631808 12046 33554432000 4194304 4580107 140737111907200 18446744073709551615 4322547 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16976/statm: 74373 12046 380 95 0 69355 0
[pid=16976/tid=16977] ppid=16974 vsize=297492 CPUtime=6.29 cores=0,2,4,6
/proc/16976/task/16977/stat : 16977 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 7268 0 0 0 628 1 0 0 25 0 4 0 653169166 304631808 12046 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16976/tid=16978] ppid=16974 vsize=297492 CPUtime=6.22 cores=0,2,4,6
/proc/16976/task/16978/stat : 16978 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 7213 0 0 0 620 2 0 0 25 0 4 0 653169166 304631808 12046 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16976/tid=16979] ppid=16974 vsize=297492 CPUtime=6.28 cores=0,2,4,6
/proc/16976/task/16979/stat : 16979 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 6134 0 0 0 627 1 0 0 25 0 4 0 653169166 304631808 12046 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 297492

[startup+12.7002 s]
/proc/loadavg: 8.12 8.13 8.03 10/354 16988
/proc/meminfo: memFree=25671396/32951124 swapFree=40554400/67111528
[pid=16976] ppid=16974 vsize=302664 CPUtime=50.64 cores=0,2,4,6
/proc/16976/stat : 16976 (strangenight2-m) R 16974 16976 16402 0 -1 4202496 45833 0 0 0 5054 10 0 0 25 0 4 0 653169166 309927936 17132 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16976/statm: 75666 17132 380 95 0 70648 0
[pid=16976/tid=16977] ppid=16974 vsize=302664 CPUtime=12.69 cores=0,2,4,6
/proc/16976/task/16977/stat : 16977 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 11099 0 0 0 1267 2 0 0 25 0 4 0 653169166 309927936 17133 33554432000 4194304 4580107 140737111907200 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16976/tid=16978] ppid=16974 vsize=302664 CPUtime=12.54 cores=0,2,4,6
/proc/16976/task/16978/stat : 16978 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 12233 0 0 0 1252 2 0 0 25 0 4 0 653169166 309927936 17133 33554432000 4194304 4580107 140737111907200 18446744073709551615 4406375 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16976/tid=16979] ppid=16974 vsize=302664 CPUtime=12.69 cores=0,2,4,6
/proc/16976/task/16979/stat : 16979 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 10928 0 0 0 1267 2 0 0 25 0 4 0 653169166 309927936 17134 33554432000 4194304 4580107 140737111907200 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 302664

[startup+25.5008 s]
/proc/loadavg: 8.10 8.12 8.03 9/354 16988
/proc/meminfo: memFree=25640152/32951124 swapFree=40554400/67111528
[pid=16976] ppid=16974 vsize=307528 CPUtime=101.68 cores=0,2,4,6
/proc/16976/stat : 16976 (strangenight2-m) R 16974 16976 16402 0 -1 4202496 71263 0 0 0 10153 15 0 0 25 0 4 0 653169166 314908672 20225 33554432000 4194304 4580107 140737111907200 18446744073709551615 4417015 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16976/statm: 76882 20225 380 95 0 71864 0
[pid=16976/tid=16977] ppid=16974 vsize=307528 CPUtime=25.49 cores=0,2,4,6
/proc/16976/task/16977/stat : 16977 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 18325 0 0 0 2546 3 0 0 25 0 4 0 653169166 314908672 20225 33554432000 4194304 4580107 140737111907200 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16976/tid=16978] ppid=16974 vsize=307528 CPUtime=25.19 cores=0,2,4,6
/proc/16976/task/16978/stat : 16978 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 17231 0 0 0 2516 3 0 0 25 0 4 0 653169166 314908672 20225 33554432000 4194304 4580107 140737111907200 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16976/tid=16979] ppid=16974 vsize=307528 CPUtime=25.48 cores=0,2,4,6
/proc/16976/task/16979/stat : 16979 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 17396 0 0 0 2545 3 0 0 25 0 4 0 653169166 314908672 20225 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 307528

[startup+51.1012 s]
/proc/loadavg: 8.19 8.14 8.03 10/354 16989
/proc/meminfo: memFree=25600776/32951124 swapFree=40554400/67111528
[pid=16976] ppid=16974 vsize=311860 CPUtime=203.8 cores=0,2,4,6
/proc/16976/stat : 16976 (strangenight2-m) R 16974 16976 16402 0 -1 4202496 112225 0 0 0 20357 23 0 0 25 0 4 0 653169166 319344640 24646 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294345 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16976/statm: 77965 24646 380 95 0 72947 0
[pid=16976/tid=16977] ppid=16974 vsize=311860 CPUtime=51.09 cores=0,2,4,6
/proc/16976/task/16977/stat : 16977 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 28241 0 0 0 5104 5 0 0 25 0 4 0 653169166 319344640 24646 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16976/tid=16978] ppid=16974 vsize=311860 CPUtime=50.52 cores=0,2,4,6
/proc/16976/task/16978/stat : 16978 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 27812 0 0 0 5047 5 0 0 25 0 4 0 653169166 319344640 24646 33554432000 4194304 4580107 140737111907200 18446744073709551615 4293151 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16976/tid=16979] ppid=16974 vsize=311860 CPUtime=51.09 cores=0,2,4,6
/proc/16976/task/16979/stat : 16979 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 27977 0 0 0 5103 6 0 0 25 0 4 0 653169166 319344640 24646 33554432000 4194304 4580107 140737111907200 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 311860

[startup+102.301 s]
/proc/loadavg: 8.20 8.15 8.04 9/354 16990
/proc/meminfo: memFree=25533424/32951124 swapFree=40554400/67111528
[pid=16976] ppid=16974 vsize=326112 CPUtime=408.07 cores=0,2,4,6
/proc/16976/stat : 16976 (strangenight2-m) R 16974 16976 16402 0 -1 4202496 186091 0 0 0 40770 37 0 0 25 0 4 0 653169166 333938688 32383 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16976/statm: 81528 32383 380 95 0 76510 0
[pid=16976/tid=16977] ppid=16974 vsize=326112 CPUtime=102.3 cores=0,2,4,6
/proc/16976/task/16977/stat : 16977 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 45836 0 0 0 10222 8 0 0 25 0 4 0 653169166 333938688 32386 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16976/tid=16978] ppid=16974 vsize=326112 CPUtime=101.15 cores=0,2,4,6
/proc/16976/task/16978/stat : 16978 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 46000 0 0 0 10108 7 0 0 25 0 4 0 653169166 333938688 32386 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16976/tid=16979] ppid=16974 vsize=326112 CPUtime=102.3 cores=0,2,4,6
/proc/16976/task/16979/stat : 16979 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 47653 0 0 0 10219 11 0 0 25 0 4 0 653169166 333938688 32386 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.07
Current children cumulated vsize (KiB) 326112

[startup+162.301 s]

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

[pid=16976] ppid=16974 vsize=563720 CPUtime=2801.23 cores=0,2,4,6
/proc/16976/stat : 16976 (strangenight2-m) R 16974 16976 16402 0 -1 4202496 496134 0 0 0 279970 153 0 0 25 0 4 0 653169166 577249280 101499 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294436 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16976/statm: 140930 101499 380 95 0 135912 0
[pid=16976/tid=16977] ppid=16974 vsize=563720 CPUtime=702.3 cores=0,2,4,6
/proc/16976/task/16977/stat : 16977 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 110984 0 0 0 70199 31 0 0 25 0 4 0 653169166 577249280 101499 33554432000 4194304 4580107 140737111907200 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16976/tid=16978] ppid=16974 vsize=563720 CPUtime=694.31 cores=0,2,4,6
/proc/16976/task/16978/stat : 16978 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 149156 0 0 0 69386 45 0 0 25 0 4 0 653169166 577249280 101499 33554432000 4194304 4580107 140737111907200 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16976/tid=16979] ppid=16974 vsize=563720 CPUtime=702.28 cores=0,2,4,6
/proc/16976/task/16979/stat : 16979 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 120055 0 0 0 70190 38 0 0 25 0 4 0 653169166 577249280 101499 33554432000 4194304 4580107 140737111907200 18446744073709551615 4304864 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2801.23
Current children cumulated vsize (KiB) 563720

[startup+762.301 s]
/proc/loadavg: 8.22 8.17 8.08 9/354 17008
/proc/meminfo: memFree=25028232/32951124 swapFree=40554400/67111528
[pid=16976] ppid=16974 vsize=629736 CPUtime=3040.59 cores=0,2,4,6
/proc/16976/stat : 16976 (strangenight2-m) R 16974 16976 16402 0 -1 4202496 523055 0 0 0 303893 166 0 0 25 0 4 0 653169166 644849664 101212 33554432000 4194304 4580107 140737111907200 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16976/statm: 157434 101212 380 95 0 152416 0
[pid=16976/tid=16977] ppid=16974 vsize=629736 CPUtime=762.32 cores=0,2,4,6
/proc/16976/task/16977/stat : 16977 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 117909 0 0 0 76198 34 0 0 25 0 4 0 653169166 644849664 101212 33554432000 4194304 4580107 140737111907200 18446744073709551615 4406385 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16976/tid=16978] ppid=16974 vsize=629736 CPUtime=753.64 cores=0,2,4,6
/proc/16976/task/16978/stat : 16978 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 156136 0 0 0 75315 49 0 0 25 0 4 0 653169166 644849664 101212 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16976/tid=16979] ppid=16974 vsize=629736 CPUtime=762.3 cores=0,2,4,6
/proc/16976/task/16979/stat : 16979 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 122518 0 0 0 76191 39 0 0 25 0 4 0 653169166 644849664 101212 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3040.59
Current children cumulated vsize (KiB) 629736

[startup+822.301 s]
/proc/loadavg: 8.08 8.13 8.08 9/354 17010
/proc/meminfo: memFree=25001172/32951124 swapFree=40554400/67111528
[pid=16976] ppid=16974 vsize=592424 CPUtime=3279.9 cores=0,2,4,6
/proc/16976/stat : 16976 (strangenight2-m) R 16974 16976 16402 0 -1 4202496 550885 0 0 0 327814 176 0 0 25 0 4 0 653169166 606642176 106430 33554432000 4194304 4580107 140737111907200 18446744073709551615 4304894 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16976/statm: 148106 106430 380 95 0 143088 0
[pid=16976/tid=16977] ppid=16974 vsize=592424 CPUtime=822.3 cores=0,2,4,6
/proc/16976/task/16977/stat : 16977 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 126544 0 0 0 82193 37 0 0 25 0 4 0 653169166 606642176 106430 33554432000 4194304 4580107 140737111907200 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16976/tid=16978] ppid=16974 vsize=592424 CPUtime=812.97 cores=0,2,4,6
/proc/16976/task/16978/stat : 16978 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 160950 0 0 0 81246 51 0 0 25 0 4 0 653169166 606642176 106430 33554432000 4194304 4580107 140737111907200 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16976/tid=16979] ppid=16974 vsize=592424 CPUtime=822.28 cores=0,2,4,6
/proc/16976/task/16979/stat : 16979 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 130245 0 0 0 82187 41 0 0 25 0 4 0 653169166 606642176 106430 33554432000 4194304 4580107 140737111907200 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3279.9
Current children cumulated vsize (KiB) 592424

[startup+882.313 s]
/proc/loadavg: 8.03 8.11 8.07 9/354 17011
/proc/meminfo: memFree=25022336/32951124 swapFree=40554400/67111528
[pid=16976] ppid=16974 vsize=659976 CPUtime=3519.27 cores=0,2,4,6
/proc/16976/stat : 16976 (strangenight2-m) R 16974 16976 16402 0 -1 4202496 581397 0 0 0 351744 183 0 0 25 0 4 0 653169166 675815424 104071 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294345 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16976/statm: 164994 104071 380 95 0 159976 0
[pid=16976/tid=16977] ppid=16974 vsize=659976 CPUtime=882.32 cores=0,2,4,6
/proc/16976/task/16977/stat : 16977 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 138003 0 0 0 88192 40 0 0 25 0 4 0 653169166 675815424 104071 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16976/tid=16978] ppid=16974 vsize=659976 CPUtime=872.31 cores=0,2,4,6
/proc/16976/task/16978/stat : 16978 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 168632 0 0 0 87178 53 0 0 25 0 4 0 653169166 675815424 104071 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16976/tid=16979] ppid=16974 vsize=659976 CPUtime=882.3 cores=0,2,4,6
/proc/16976/task/16979/stat : 16979 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 138891 0 0 0 88187 43 0 0 25 0 4 0 653169166 675815424 104071 33554432000 4194304 4580107 140737111907200 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3519.27
Current children cumulated vsize (KiB) 659976

[startup+942.301 s]
/proc/loadavg: 8.07 8.10 8.07 9/354 17013
/proc/meminfo: memFree=24978664/32951124 swapFree=40554400/67111528
[pid=16976] ppid=16974 vsize=660292 CPUtime=3758.57 cores=0,2,4,6
/proc/16976/stat : 16976 (strangenight2-m) R 16974 16976 16402 0 -1 4202496 610655 0 0 0 375658 199 0 0 25 0 4 0 653169166 676139008 109483 33554432000 4194304 4580107 140737111907200 18446744073709551615 4293110 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16976/statm: 165073 109483 380 95 0 160055 0
[pid=16976/tid=16977] ppid=16974 vsize=660292 CPUtime=942.31 cores=0,2,4,6
/proc/16976/task/16977/stat : 16977 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 148265 0 0 0 94184 47 0 0 25 0 4 0 653169166 676139008 109483 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16976/tid=16978] ppid=16974 vsize=660292 CPUtime=931.64 cores=0,2,4,6
/proc/16976/task/16978/stat : 16978 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 174022 0 0 0 93109 55 0 0 25 0 4 0 653169166 676139008 109483 33554432000 4194304 4580107 140737111907200 18446744073709551615 4406483 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16976/tid=16979] ppid=16974 vsize=660292 CPUtime=942.28 cores=0,2,4,6
/proc/16976/task/16979/stat : 16979 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 145709 0 0 0 94182 46 0 0 25 0 4 0 653169166 676139008 109483 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3758.57
Current children cumulated vsize (KiB) 660292

[startup+1002.3 s]
/proc/loadavg: 8.09 8.10 8.07 9/354 17014
/proc/meminfo: memFree=24991792/32951124 swapFree=40554400/67111528
[pid=16976] ppid=16974 vsize=689920 CPUtime=3997.88 cores=0,2,4,6
/proc/16976/stat : 16976 (strangenight2-m) R 16974 16976 16402 0 -1 4202496 631307 0 0 0 399576 212 0 0 25 0 4 0 653169166 706478080 104572 33554432000 4194304 4580107 140737111907200 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16976/statm: 172480 104572 380 95 0 167462 0
[pid=16976/tid=16977] ppid=16974 vsize=689920 CPUtime=1002.31 cores=0,2,4,6
/proc/16976/task/16977/stat : 16977 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 155674 0 0 0 100180 51 0 0 25 0 4 0 653169166 706478080 104572 33554432000 4194304 4580107 140737111907200 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16976/tid=16978] ppid=16974 vsize=689920 CPUtime=990.95 cores=0,2,4,6
/proc/16976/task/16978/stat : 16978 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 177529 0 0 0 99038 57 0 0 25 0 4 0 653169166 706478080 104572 33554432000 4194304 4580107 140737111907200 18446744073709551615 4296079 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16976/tid=16979] ppid=16974 vsize=689920 CPUtime=1002.29 cores=0,2,4,6
/proc/16976/task/16979/stat : 16979 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 147031 0 0 0 100181 48 0 0 25 0 4 0 653169166 706478080 104572 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3997.88
Current children cumulated vsize (KiB) 689920

[startup+1062.3 s]
/proc/loadavg: 8.15 8.11 8.08 9/354 17016
/proc/meminfo: memFree=24975160/32951124 swapFree=40554400/67111528
[pid=16976] ppid=16974 vsize=646380 CPUtime=4237.21 cores=0,2,4,6
/proc/16976/stat : 16976 (strangenight2-m) R 16974 16976 16402 0 -1 4202496 661966 0 0 0 423497 224 0 0 25 0 4 0 653169166 661893120 109961 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294386 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16976/statm: 161595 109961 380 95 0 156577 0
[pid=16976/tid=16977] ppid=16974 vsize=646380 CPUtime=1062.31 cores=0,2,4,6
/proc/16976/task/16977/stat : 16977 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 164369 0 0 0 106176 55 0 0 25 0 4 0 653169166 661893120 109961 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16976/tid=16978] ppid=16974 vsize=646380 CPUtime=1050.28 cores=0,2,4,6
/proc/16976/task/16978/stat : 16978 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 185090 0 0 0 104968 60 0 0 25 0 4 0 653169166 661893120 109961 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16976/tid=16979] ppid=16974 vsize=646380 CPUtime=1062.29 cores=0,2,4,6
/proc/16976/task/16979/stat : 16979 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 154047 0 0 0 106178 51 0 0 25 0 4 0 653169166 661893120 109961 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4237.21
Current children cumulated vsize (KiB) 646380

[startup+1122.3 s]
/proc/loadavg: 8.16 8.11 8.08 9/354 17018
/proc/meminfo: memFree=24965212/32951124 swapFree=40554400/67111528
[pid=16976] ppid=16974 vsize=596296 CPUtime=4476.55 cores=0,2,4,6
/proc/16976/stat : 16976 (strangenight2-m) R 16974 16976 16402 0 -1 4202496 690345 0 0 0 447419 236 0 0 25 0 4 0 653169166 610607104 108026 33554432000 4194304 4580107 140737111907200 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16976/statm: 149074 108026 380 95 0 144056 0
[pid=16976/tid=16977] ppid=16974 vsize=596296 CPUtime=1122.3 cores=0,2,4,6
/proc/16976/task/16977/stat : 16977 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 173694 0 0 0 112171 59 0 0 25 0 4 0 653169166 610607104 108026 33554432000 4194304 4580107 140737111907200 18446744073709551615 4293100 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16976/tid=16978] ppid=16974 vsize=596296 CPUtime=1109.62 cores=0,2,4,6
/proc/16976/task/16978/stat : 16978 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 188413 0 0 0 110901 61 0 0 25 0 4 0 653169166 610607104 108026 33554432000 4194304 4580107 140737111907200 18446744073709551615 4406395 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16976/tid=16979] ppid=16974 vsize=596296 CPUtime=1122.29 cores=0,2,4,6
/proc/16976/task/16979/stat : 16979 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 159926 0 0 0 112176 53 0 0 25 0 4 0 653169166 610607104 108026 33554432000 4194304 4580107 140737111907200 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4476.55
Current children cumulated vsize (KiB) 596296

[startup+1182.3 s]
/proc/loadavg: 8.20 8.14 8.09 9/354 17019
/proc/meminfo: memFree=24959124/32951124 swapFree=40554400/67111528
[pid=16976] ppid=16974 vsize=647156 CPUtime=4715.87 cores=0,2,4,6
/proc/16976/stat : 16976 (strangenight2-m) R 16974 16976 16402 0 -1 4202496 708909 0 0 0 471342 245 0 0 25 0 4 0 653169166 662687744 110868 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16976/statm: 161789 110868 380 95 0 156771 0
[pid=16976/tid=16977] ppid=16974 vsize=647156 CPUtime=1182.29 cores=0,2,4,6
/proc/16976/task/16977/stat : 16977 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 178164 0 0 0 118169 60 0 0 25 0 4 0 653169166 662687744 110868 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16976/tid=16978] ppid=16974 vsize=647156 CPUtime=1168.96 cores=0,2,4,6
/proc/16976/task/16978/stat : 16978 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 188413 0 0 0 116835 61 0 0 25 0 4 0 653169166 662687744 110868 33554432000 4194304 4580107 140737111907200 18446744073709551615 4501994 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16976/tid=16979] ppid=16974 vsize=647156 CPUtime=1182.29 cores=0,2,4,6
/proc/16976/task/16979/stat : 16979 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 166586 0 0 0 118172 57 0 0 25 0 4 0 653169166 662687744 110868 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4715.87
Current children cumulated vsize (KiB) 647156



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 8.22 8.14 8.09 9/354 17020
/proc/meminfo: memFree=24908648/32951124 swapFree=40554400/67111528
[pid=16976] ppid=16974 vsize=697508 CPUtime=4800.11 cores=0,2,4,6
/proc/16976/stat : 16976 (strangenight2-m) R 16974 16976 16402 0 -1 4202496 720085 0 0 0 479762 249 0 0 25 0 4 0 653169166 714248192 117822 33554432000 4194304 4580107 140737111907200 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16976/statm: 174377 117822 380 95 0 169359 0
[pid=16976/tid=16977] ppid=16974 vsize=697508 CPUtime=1203.41 cores=0,2,4,6
/proc/16976/task/16977/stat : 16977 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 181435 0 0 0 120280 61 0 0 25 0 4 0 653169166 714248192 117823 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16976/tid=16978] ppid=16974 vsize=697508 CPUtime=1189.83 cores=0,2,4,6
/proc/16976/task/16978/stat : 16978 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 192070 0 0 0 118921 62 0 0 25 0 4 0 653169166 714248192 117823 33554432000 4194304 4580107 140737111907200 18446744073709551615 4321096 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16976/tid=16979] ppid=16974 vsize=697508 CPUtime=1203.41 cores=0,2,4,6
/proc/16976/task/16979/stat : 16979 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 168679 0 0 0 120284 57 0 0 25 0 4 0 653169166 714248192 117823 33554432000 4194304 4580107 140737111907200 18446744073709551615 4304894 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 697508

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

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

[startup+1203.4 s]
/proc/loadavg: 8.22 8.14 8.09 9/354 17020
/proc/meminfo: memFree=24908648/32951124 swapFree=40554400/67111528
[pid=16976] ppid=16974 vsize=697508 CPUtime=4800.11 cores=0,2,4,6
/proc/16976/stat : 16976 (strangenight2-m) R 16974 16976 16402 0 -1 4202496 720085 0 0 0 479762 249 0 0 25 0 4 0 653169166 714248192 117822 33554432000 4194304 4580107 140737111907200 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16976/statm: 174377 117822 380 95 0 169359 0
[pid=16976/tid=16977] ppid=16974 vsize=697508 CPUtime=1203.41 cores=0,2,4,6
/proc/16976/task/16977/stat : 16977 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 181435 0 0 0 120280 61 0 0 25 0 4 0 653169166 714248192 117823 33554432000 4194304 4580107 140737111907200 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16976/tid=16978] ppid=16974 vsize=697508 CPUtime=1189.83 cores=0,2,4,6
/proc/16976/task/16978/stat : 16978 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 192070 0 0 0 118921 62 0 0 25 0 4 0 653169166 714248192 117823 33554432000 4194304 4580107 140737111907200 18446744073709551615 4321096 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16976/tid=16979] ppid=16974 vsize=697508 CPUtime=1203.41 cores=0,2,4,6
/proc/16976/task/16979/stat : 16979 (strangenight2-m) R 16974 16976 16402 0 -1 4202560 168679 0 0 0 120284 57 0 0 25 0 4 0 653169166 714248192 117823 33554432000 4194304 4580107 140737111907200 18446744073709551615 4304894 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 697508

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.45
CPU time (s): 4800.17
CPU user time (s): 4797.66
CPU system time (s): 2.51062
CPU usage (%): 398.867
Max. virtual memory (cumulated for all children) (KiB): 771540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.66
system time used= 2.51062
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 720088
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= 185
involuntary context switches= 22329

runsolver used 3.9404 second user time and 9.49556 second system time

The end

Launcher Data 

Begin job on node104 at 2011-05-15 01:28:07
IDJOB=3366934
IDBENCH=84028
IDSOLVER=1844
FILE ID=node104/3366934-1305415687
RUNJOBID= node104-1305414481-16867
PBS_JOBID= 13324539
Free space on /tmp= 73396 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT03/handmade/stanion/hwb/hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366934-1305415687/watcher-3366934-1305415687 -o /tmp/evaluation-result-3366934-1305415687/solver-3366934-1305415687 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366934-1305415687.cnf

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

MD5SUM BENCH= bdf2c49c74bfdbd3bd4663dca402d24f
RANDOM SEED=1170186099

node104.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.855
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.71
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.855
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.83
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.855
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.67
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.855
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.80
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.855
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	: 5293.18
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.855
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.83
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.855
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.855
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25796172 kB
Buffers:        298744 kB
Cached:        2381616 kB
SwapCached:     122128 kB
Active:         928664 kB
Inactive:      5960452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25796172 kB
SwapTotal:    67111528 kB
SwapFree:     40554400 kB
Dirty:           10928 kB
Writeback:           0 kB
AnonPages:     4099520 kB
Mapped:          10308 kB
Slab:           117404 kB
PageTables:      84456 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 74808952 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= 73384 MiB
End job on node104 at 2011-05-15 01:48:13