Trace number 3421698

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) 40000.5 5012.14

General information on the benchmark

NameSAT05/crafted/markstrom05/eulcbip/
eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf
MD5SUM151ccdb2c52c7f525fde5dca388bb6e6
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.082986
Satisfiable
(Un)Satisfiability was proved
Number of variables135
Number of clauses672
Sum of the clauses size2684
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22
Number of clauses of size 30
Number of clauses of size 4670
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.02	c Using 8 threads
0.35/0.07	c This is CryptoMiniSat 3.0.0
0.35/0.07	c WARNING: for repeatability, setting FPU to use double precision
0.35/0.07	c Reading file 'HOME/instance-3421698-1306786791.cnf'
0.35/0.07	c -- header says num vars:            135
0.35/0.07	c -- header says num clauses:         672
0.35/0.07	c -- clauses added:            0 learnts,          672 normals,            0 xors
0.35/0.07	c -- vars added        135
0.35/0.07	c Parsing time:  0.00 s
0.35/0.07	c  N st     0         0       135       670         2         0      2684         0   no data   no data
0.35/0.07	c asymm  cl-useful: 0/670/670 lits-rem:0 time: 0.00
0.35/0.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.35/0.07	c Replacing        1 vars Replaced       18 lits Time:     0.00 s 
0.35/0.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.35/0.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.35/0.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.35/0.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
0.35/0.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.35/0.09	c lits-rem:       536  cl-subs:      134  v-elim:      0  v-fix:    0  time:  0.00 s
0.35/0.09	c Finding binary XORs  T:     0.00 s  found:       0
0.35/0.09	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.35/0.09	c calculated reachability. Time: 0.00
0.35/0.09	c Calc default polars -  time:   0.00 s pos:       0 undec:     135 neg:       0
0.35/0.09	c =========================================================================================
0.35/0.09	c types(t): F = full restart, N = normal restart
0.35/0.09	c types(t): S = simplification begin/end, E = solution found
0.35/0.09	c restart types(rt): st = static, dy = dynamic
0.35/0.09	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.35/0.09	c  B st     0         0       134       536         0         0      1608         0   no data   no data
0.35/0.11	c Decided on static restart strategy
0.35/0.94	c  N st     8      4916       134       536         0      4807      1608    121444   no data   no data
0.35/0.94	c  N st    10     11299       134       536         0      4385      1608     85229   no data   no data
0.35/0.94	c  N st    11     17043       134       536         0      9862      1608    258274   no data   no data
7.54/1.04	c  F st    12     25000       134       536         0     12090      1608    316742   no data   no data
7.54/1.04	c  N st    12     25000       134       536         0     12090      1608    316742   no data   no data
9.14/1.24	c Decided on static restart strategy
9.14/1.24	c  N st    18     30000       134       536         0     10437      1608    222353   no data   no data
9.14/1.24	c  S st    18     30000       134       536         0     10437      1608    222353   no data   no data
9.14/1.24	c  S st    18     30503       134       536         0     10937      1608    234277   no data   no data
9.14/1.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.14/1.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.14/1.24	c blocked clauses removed:        0 vars:      0 tried:         134 T: 0.00 s
9.14/1.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.14/1.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.14/1.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
9.14/1.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.14/1.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.14/1.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.94/1.34	c lits-rem:       350  cl-subs:      295  v-elim:      0  v-fix:    0  time:  0.10 s
9.94/1.34	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.00
9.94/1.34	c calculated reachability. Time: 0.00
9.94/1.34	c  N st    18     30503       134       536         0     10642      1608    224860   no data   no data
11.54/1.56	c  N st    20     37613       134       536         0      9942      1608    195660   no data   no data
14.27/1.83	c  N st    21     44012       134       536         0     16212      1608    372391   no data   no data
14.27/1.90	c  S st    22     45754       134       536         0      9185      1608    152492   no data   no data
15.11/1.92	c  S st    22     46261       134       536         0      9686      1608    164293   no data   no data
15.11/1.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.11/1.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
15.11/1.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.11/1.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.11/1.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.11/1.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
15.11/1.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.11/1.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.11/1.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.11/1.95	c lits-rem:        42  cl-subs:       11  v-elim:      0  v-fix:    0  time:  0.02 s
15.11/1.95	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
15.11/1.95	c vivif2 --  cl tried     9675 cl shrink        0 lits rem          0 time: 0.00
15.11/1.96	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.00
15.11/1.96	c calculated reachability. Time: 0.00
15.11/1.96	c  N st    22     46261       134       536         0      9675      1608    163895   no data   no data
20.56/2.65	c  N st    23     60658       134       536         0     13997      1608    280999   no data   no data
23.88/3.05	c  N st    24     69391       134       536         0     11848      1608    192709   no data   no data
23.88/3.05	c  S st    24     69391       134       536         0     11848      1608    192709   no data   no data
23.88/3.08	c  S st    24     69894       134       536         0     12350      1608    205219   no data   no data
23.88/3.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.88/3.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
23.88/3.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
23.88/3.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.88/3.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.88/3.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
23.88/3.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
23.88/3.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
23.88/3.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.54/3.12	c lits-rem:        70  cl-subs:       27  v-elim:      0  v-fix:    0  time:  0.03 s
24.54/3.12	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
24.54/3.12	c vivif2 --  cl tried    12323 cl shrink        0 lits rem          0 time: 0.00
24.54/3.13	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.00
24.54/3.13	c calculated reachability. Time: 0.00
24.54/3.13	c  N st    24     69894       134       536         0     12323      1608    204282   no data   no data
32.67/4.14	c  F st    25     87501       134       536         0     17722      1608    348537   no data   no data
32.67/4.14	c  N st    25     87501       134       536         0     17722      1608    348537   no data   no data
34.92/4.44	c Decided on static restart strategy
36.52/4.64	c  N st    32     95543       134       536         0     12872      1608    189935   no data   no data
40.60/5.13	c  N st    34    104845       134       536         0     21693      1608    451408   no data   no data
40.60/5.13	c  S st    34    104845       134       536         0     21693      1608    451408   no data   no data
40.60/5.17	c  S st    34    105346       134       536         0     22192      1608    463783   no data   no data
40.60/5.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
40.60/5.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
40.60/5.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
40.60/5.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
40.60/5.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
40.60/5.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
40.60/5.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
40.60/5.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
40.60/5.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.50/5.61	c lits-rem:      1053  cl-subs:      902  v-elim:      0  v-fix:    0  time:  0.42 s
44.50/5.61	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
44.50/5.61	c vivif2 --  cl tried    21290 cl shrink        0 lits rem          0 time: 0.00
44.50/5.62	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.01
44.50/5.62	c calculated reachability. Time: 0.00
44.50/5.62	c  N st    34    105346       134       536         0     21290      1608    433805   no data   no data
49.39/6.30	c  N st    35    114944       134       536         0     16902      1608    288114   no data   no data
57.28/7.23	c  N st    36    129341       134       536         0     16341      1608    263658   no data   no data
68.44/8.64	c  N st    37    150936       134       536         0     21596      1608    400173   no data   no data
72.44/9.16	c  S st    38    158019       134       536         0     28234      1608    586145   no data   no data
73.24/9.21	c  S st    38    158523       134       536         0     28734      1608    597493   no data   no data
73.24/9.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
73.24/9.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
73.24/9.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
73.24/9.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
73.24/9.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
73.24/9.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
73.24/9.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
73.24/9.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
73.24/9.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.83/10.45	c lits-rem:      2565  cl-subs:     2516  v-elim:      0  v-fix:    0  time:  1.21 s
82.83/10.45	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
82.83/10.46	c vivif2 --  cl tried    26218 cl shrink        0 lits rem          0 time: 0.01
82.83/10.47	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.01
82.83/10.47	c calculated reachability. Time: 0.00
82.83/10.47	c  N st    38    158523       134       536         0     26218      1608    520735   no data   no data
111.71/14.09	c  N st    39    207112       134       536         0     21036      1608    350598   no data   no data
129.27/16.29	c  N st    40    237785       134       536         0     31728      1608    676530   no data   no data
129.27/16.29	c  S st    40    237785       134       536         0     31728      1608    676530   no data   no data
129.91/16.34	c  S st    40    238288       134       536         0     32230      1608    689290   no data   no data
129.91/16.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
129.91/16.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
129.91/16.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
129.91/16.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
129.91/16.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
129.91/16.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
129.91/16.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
129.91/16.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
129.91/16.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
136.32/17.12	c lits-rem:       918  cl-subs:      752  v-elim:      0  v-fix:    0  time:  0.74 s
136.32/17.12	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
136.32/17.13	c vivif2 --  cl tried    31478 cl shrink        0 lits rem          0 time: 0.01
136.32/17.14	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.01
136.32/17.14	c calculated reachability. Time: 0.00
136.32/17.14	c  N st    40    238288       134       536         0     31478      1608    664400   no data   no data
185.00/23.26	c  F st    41    306250       134       536         0     33720      1608    702340   no data   no data
185.00/23.26	c  N st    41    306250       134       536         0     33720      1608    702340   no data   no data
189.00/23.74	c Decided on static restart strategy
204.96/25.79	c  N st    51    334561       134       536         0     37861      1608    765583   no data   no data
219.31/27.57	c  N st    53    357432       134       536         0     35623      1608    681449   no data   no data
219.31/27.57	c  S st    53    357432       134       536         0     35623      1608    681449   no data   no data
220.11/27.64	c  S st    53    357937       134       536         0     36122      1608    693665   no data   no data
220.11/27.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
220.11/27.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
220.11/27.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
220.11/27.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
220.11/27.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
220.11/27.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
220.11/27.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
220.11/27.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
220.11/27.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
226.49/28.47	c lits-rem:      1260  cl-subs:     1120  v-elim:      0  v-fix:    0  time:  0.79 s
226.49/28.47	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
226.49/28.48	c vivif2 --  cl tried    35002 cl shrink        0 lits rem          0 time: 0.01
226.49/28.49	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.01
226.49/28.49	c calculated reachability. Time: 0.00
226.49/28.49	c  N st    53    357937       134       536         0     35002      1608    659784   no data   no data
252.19/31.69	c  N st    54    390329       134       536         0     41088      1608    825225   no data   no data
294.34/36.97	c  N st    55    438918       134       536         0     34501      1608    589334   no data   no data
351.82/44.11	c  N st    56    511801       134       536         0     48456      1608   1043569   no data   no data
372.58/46.70	c  N st    57    536905       134       536         0     42361      1608    788028   no data   no data
372.58/46.70	c  S st    57    536905       134       536         0     42361      1608    788028   no data   no data
372.58/46.78	c  S st    57    537409       134       536         0     42862      1608    800103   no data   no data
372.58/46.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
372.58/46.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
372.58/46.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
372.58/46.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
372.58/46.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
372.58/46.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
372.58/46.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
373.38/46.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
373.38/46.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
386.14/48.48	c lits-rem:      1175  cl-subs:     2183  v-elim:      0  v-fix:    0  time:  1.66 s
386.14/48.48	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
386.14/48.49	c vivif2 --  cl tried    40679 cl shrink        0 lits rem          0 time: 0.01
386.94/48.51	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.02
386.94/48.52	c calculated reachability. Time: 0.00
386.94/48.52	c  N st    57    537409       134       536         0     40679      1608    729613   no data   no data
549.88/68.94	c  N st    58    701393       134       536         0     35412      1608    494202   no data   no data
654.36/82.00	c  N st    59    806113       134       536         0     62799      1608   1350270   no data   no data
654.36/82.00	c  S st    59    806113       134       536         0     62799      1608   1350270   no data   no data
654.36/82.11	c  S st    59    806616       134       536         0     63300      1608   1362594   no data   no data
654.36/82.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
655.25/82.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
655.25/82.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
655.25/82.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
655.25/82.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
655.25/82.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
655.25/82.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
655.25/82.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
655.25/82.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
717.56/89.96	c lits-rem:      2722  cl-subs:     4839  v-elim:      0  v-fix:    0  time:  7.78 s
717.56/89.96	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
717.56/89.98	c vivif2 --  cl tried    58461 cl shrink        0 lits rem          0 time: 0.01
718.20/90.01	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.03
718.20/90.01	c calculated reachability. Time: 0.00
718.20/90.01	c  N st    59    806616       134       536         0     58461      1608   1211938   no data   no data
1021.54/128.00	c  F st    60   1071875       134       536         0     73763      1608   1554388   no data   no data
1021.54/128.00	c  N st    60   1071875       134       536         0     73763      1608   1554388   no data   no data
1027.11/128.78	c Decided on static restart strategy
1052.66/131.97	c  N st    70   1100174       134       536         0     58904      1608   1073092   no data   no data
1100.56/137.96	c  N st    72   1136168       134       536         0     49381      1608    760803   no data   no data
1136.49/142.41	c  N st    73   1168560       134       536         0     80352      1608   1748286   no data   no data
1185.98/148.65	c  N st    74   1209925       134       536         0     74910      1608   1599062   no data   no data
1185.98/148.65	c  S st    74   1209925       134       536         0     74910      1608   1599062   no data   no data
1186.78/148.77	c  S st    74   1210427       134       536         0     75410      1608   1611996   no data   no data
1186.78/148.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1187.58/148.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
1187.58/148.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1187.58/148.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1187.58/148.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1187.58/148.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
1187.58/148.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1187.58/148.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1187.58/148.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1261.95/158.15	c lits-rem:      4203  cl-subs:     4337  v-elim:      0  v-fix:    0  time:  9.27 s
1261.95/158.15	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
1261.95/158.16	c vivif2 --  cl tried    71073 cl shrink        0 lits rem          0 time: 0.02
1262.60/158.20	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.04
1262.60/158.20	c calculated reachability. Time: 0.00
1262.60/158.20	c  N st    74   1210427       134       536         0     71073      1608   1465652   no data   no data
1348.01/168.96	c  N st    75   1283309       134       536         0     47866      1608    670701   no data   no data
1491.68/186.97	c  N st    76   1392632       134       536         0     54781      1608    855336   no data   no data
1725.57/216.24	c  N st    77   1556616       134       536         0     58974      1608    933015   no data   no data
1917.14/240.20	c  N st    78   1710428       134       536         0    100837      1608   2295059   no data   no data
1917.14/240.20	c  S st    78   1710428       134       536         0    100837      1608   2295059   no data   no data
1917.94/240.38	c  S st    78   1710931       134       536         0    101338      1608   2308238   no data   no data
1917.94/240.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1918.75/240.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
1918.75/240.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1918.75/240.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1918.75/240.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1918.75/240.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
1918.75/240.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1918.75/240.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1919.64/240.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2114.27/264.98	c lits-rem:      7197  cl-subs:     7127  v-elim:      0  v-fix:    0  time: 24.45 s
2114.27/264.98	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
2115.07/265.01	c vivif2 --  cl tried    94211 cl shrink        0 lits rem          0 time: 0.03
2115.07/265.06	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.06
2115.07/265.07	c calculated reachability. Time: 0.00
2115.07/265.07	c  N st    78   1710931       134       536         0     94211      1608   2076617   no data   no data
2625.16/328.94	c  N st    79   2079897       134       536         0    105084      1608   2282347   no data   no data
2799.97/350.83	c  N st    80   2210931       134       536         0    109012      1608   2209150   no data   no data
2799.97/350.83	c  S st    80   2210931       134       536         0    109012      1608   2209150   no data   no data
2801.57/351.01	c  S st    80   2211431       134       536         0    109510      1608   2222413   no data   no data
2801.57/351.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2801.57/351.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
2801.57/351.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2801.57/351.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2801.57/351.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2801.57/351.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
2801.57/351.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2801.57/351.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2802.37/351.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3057.79/383.16	c lits-rem:      7360  cl-subs:     9783  v-elim:      0  v-fix:    0  time: 32.00 s
3057.79/383.16	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
3057.79/383.19	c vivif2 --  cl tried    99727 cl shrink        0 lits rem          0 time: 0.03
3058.59/383.28	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.09
3058.59/383.29	c calculated reachability. Time: 0.00
3058.59/383.29	c  N st    80   2211431       134       536         0     99727      1608   1939236   no data   no data
3759.44/471.05	c  N st    81   2711432       134       536         0    120980      1608   2334694   no data   no data
3759.44/471.05	c  S st    81   2711432       134       536         0    120980      1608   2334694   no data   no data
3762.65/471.44	c  S st    81   2711937       134       536         0    121483      1608   2347765   no data   no data
3762.65/471.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3763.54/471.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.12
3763.54/471.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3763.54/471.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3763.54/471.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3763.54/471.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
3763.54/471.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3764.39/471.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
3765.03/471.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4670.02/585.16	c lits-rem:      8866  cl-subs:    20019  v-elim:      0  v-fix:    0  time: 113.44 s
4670.02/585.16	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
4670.02/585.19	c vivif2 --  cl tried   101464 cl shrink        0 lits rem          0 time: 0.03
4670.82/585.28	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.09
4670.82/585.28	c calculated reachability. Time: 0.00
4670.82/585.28	c  N st    81   2711937       134       536         0    101464      1608   1840484   no data   no data
5464.29/684.65	c  N st    82   3211937       134       536         0     80868      1608   1197496   no data   no data
5464.29/684.65	c  S st    82   3211937       134       536         0     80868      1608   1197496   no data   no data
5465.89/684.82	c  S st    82   3212438       134       536         0     81368      1608   1210234   no data   no data
5465.89/684.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
5465.89/684.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.06
5465.89/684.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5465.89/684.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5465.89/684.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5465.89/684.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
5465.89/684.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5465.89/684.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
5466.78/684.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5490.63/687.97	c lits-rem:      1940  cl-subs:     1648  v-elim:      0  v-fix:    0  time:  3.02 s
5490.63/687.97	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
5490.63/687.99	c vivif2 --  cl tried    79720 cl shrink        0 lits rem          0 time: 0.02
5491.43/688.07	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.08
5491.43/688.07	c calculated reachability. Time: 0.00
5491.43/688.07	c  N st    82   3212438       134       536         0     79720      1608   1164638   no data   no data
6428.51/805.47	c  N st    83   3712438       134       536         0     89301      1608   1361759   no data   no data
6428.51/805.47	c  S st    83   3712438       134       536         0     89301      1608   1361759   no data   no data
6430.11/805.64	c  S st    83   3712940       134       536         0     89802      1608   1374619   no data   no data
6430.11/805.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
6430.90/805.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.05
6430.90/805.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
6430.90/805.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6430.90/805.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6430.90/805.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
6430.90/805.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
6430.90/805.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
6430.90/805.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6477.35/811.56	c lits-rem:      2056  cl-subs:     2880  v-elim:      0  v-fix:    0  time:  5.78 s
6477.35/811.56	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
6477.35/811.58	c vivif2 --  cl tried    86922 cl shrink        0 lits rem          0 time: 0.02
6477.99/811.65	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.07
6477.99/811.65	c calculated reachability. Time: 0.00
6477.99/811.65	c  N st    83   3712940       134       536         0     86922      1608   1295993   no data   no data
6547.58/820.32	c  F st    84   3751564       134       536         0    123164      1608   2401832   no data   no data
6547.58/820.32	c  N st    84   3751564       134       536         0    123164      1608   2401832   no data   no data
6556.37/821.43	c Decided on static restart strategy
6597.73/826.66	c  N st    94   3779874       134       536         0    151011      1608   3247567   no data   no data
6662.37/834.72	c  N st    96   3815867       134       536         0    105939      1608   1864260   no data   no data
6731.11/843.36	c  N st    97   3848260       134       536         0    137317      1608   2840091   no data   no data
6846.73/857.86	c  N st    98   3896849       134       536         0    101536      1608   1689214   no data   no data
7036.71/881.64	c  N st    99   3969731       134       536         0     87800      1608   1247216   no data   no data
7225.89/905.39	c  N st   100   4079054       134       536         0    107187      1608   1739748   no data   no data
7476.54/936.70	c  N st   101   4212943       134       536         0    148921      1608   2989723   no data   no data
7476.54/936.70	c  S st   101   4212943       134       536         0    148921      1608   2989723   no data   no data
7478.27/936.97	c  S st   101   4213446       134       536         0    149424      1608   3003079   no data   no data
7478.27/936.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
7478.92/937.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.08
7478.92/937.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7478.92/937.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7478.92/937.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7478.92/937.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
7478.92/937.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7479.72/937.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
7479.72/937.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8019.29/1004.75	c lits-rem:      7754  cl-subs:    17223  v-elim:      0  v-fix:    0  time: 67.55 s
8019.29/1004.75	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
8019.29/1004.79	c vivif2 --  cl tried   132201 cl shrink        0 lits rem          0 time: 0.04
8020.09/1004.89	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.10
8020.09/1004.89	c calculated reachability. Time: 0.00
8020.09/1004.90	c  N st   101   4213446       134       536         0    132201      1608   2513829   no data   no data
8497.42/1064.69	c  N st   102   4459423       134       536         0    107111      1608   1740357   no data   no data
8966.79/1123.48	c  N st   103   4713447       134       536         0    169316      1608   3441794   no data   no data
8966.79/1123.48	c  S st   103   4713447       134       536         0    169316      1608   3441794   no data   no data
8969.19/1123.79	c  S st   103   4713954       134       536         0    169821      1608   3455147   no data   no data
8969.19/1123.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
8970.92/1123.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.11
8970.92/1123.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8970.92/1123.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8970.92/1123.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8970.92/1123.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
8970.92/1123.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8970.92/1123.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
8971.57/1124.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9781.62/1225.60	c lits-rem:      4897  cl-subs:    25714  v-elim:      0  v-fix:    0  time: 101.53 s
9781.62/1225.60	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
9781.62/1225.65	c vivif2 --  cl tried   144107 cl shrink        0 lits rem          0 time: 0.05
9782.42/1225.78	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.13
9782.42/1225.78	c calculated reachability. Time: 0.00
9782.42/1225.78	c  N st   103   4713954       134       536         0    144107      1608   2775677   no data   no data
10915.87/1367.79	c  N st   104   5213955       134       536         0    162439      1608   3289070   no data   no data
10915.87/1367.79	c  S st   104   5213955       134       536         0    162439      1608   3289070   no data   no data
10919.20/1368.18	c  S st   104   5214457       134       536         0    162940      1608   3302130   no data   no data
10919.85/1368.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
10920.65/1368.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.13
10920.65/1368.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10920.65/1368.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10920.65/1368.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10920.65/1368.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
10920.65/1368.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10920.65/1368.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
10921.45/1368.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11429.84/1432.10	c lits-rem:      5787  cl-subs:    12189  v-elim:      0  v-fix:    0  time: 63.61 s
11429.84/1432.10	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
11429.84/1432.16	c vivif2 --  cl tried   150751 cl shrink        0 lits rem          0 time: 0.06
11431.45/1432.33	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.16
11431.45/1432.33	c calculated reachability. Time: 0.00
11431.45/1432.33	c  N st   104   5214457       134       536         0    150751      1608   2993956   no data   no data
12510.62/1567.58	c  N st   105   5714457       134       536         0    141325      1608   2540573   no data   no data
12510.62/1567.58	c  S st   105   5714457       134       536         0    141325      1608   2540573   no data   no data
12513.82/1567.97	c  S st   105   5714959       134       536         0    141825      1608   2553957   no data   no data
12513.82/1567.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
12514.62/1568.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.10
12514.62/1568.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
12514.62/1568.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
12514.62/1568.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
12514.62/1568.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
12514.62/1568.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
12515.42/1568.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
12516.31/1568.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
12918.47/1618.65	c lits-rem:      4260  cl-subs:     9633  v-elim:      0  v-fix:    0  time: 50.43 s
12918.47/1618.65	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
12918.47/1618.69	c vivif2 --  cl tried   132192 cl shrink        0 lits rem          0 time: 0.04
12920.16/1618.83	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.14
12920.16/1618.84	c calculated reachability. Time: 0.00
12920.16/1618.84	c  N st   105   5714959       134       536         0    132192      1608   2291598   no data   no data
14300.11/1791.74	c  N st   106   6214960       134       536         0    201443      1608   4308193   no data   no data
14300.11/1791.74	c  S st   106   6214960       134       536         0    201443      1608   4308193   no data   no data
14304.92/1792.36	c  S st   106   6215462       134       536         0    201941      1608   4321102   no data   no data
14304.92/1792.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
14306.52/1792.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.6M T:  0.19
14306.52/1792.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14306.52/1792.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14306.52/1792.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14306.52/1792.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
14306.52/1792.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14307.41/1792.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
14308.89/1792.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16747.01/2098.40	c lits-rem:      4890  cl-subs:    27555  v-elim:      0  v-fix:    0  time: 305.55 s
16747.01/2098.40	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
16747.91/2098.48	c vivif2 --  cl tried   174386 cl shrink        0 lits rem          0 time: 0.08
16750.19/2098.78	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.30
16750.19/2098.79	c calculated reachability. Time: 0.00
16750.19/2098.79	c  N st   106   6215462       134       536         0    174386      1608   3521254   no data   no data
18184.45/2278.48	c  N st   107   6715463       134       536         0    124133      1608   1951617   no data   no data
18184.45/2278.48	c  S st   107   6715463       134       536         0    124133      1608   1951617   no data   no data
18186.85/2278.78	c  S st   107   6715964       134       536         0    124632      1608   1965038   no data   no data
18186.85/2278.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
18187.74/2278.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.07
18187.74/2278.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
18187.74/2278.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18187.74/2278.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18187.74/2278.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
18187.74/2278.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
18187.74/2278.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
18188.59/2278.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18283.43/2290.83	c lits-rem:       853  cl-subs:     4903  v-elim:      0  v-fix:    0  time: 11.86 s
18283.43/2290.83	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
18283.43/2290.86	c vivif2 --  cl tried   119729 cl shrink        0 lits rem          0 time: 0.03
18284.31/2290.94	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.08
18284.31/2290.94	c calculated reachability. Time: 0.00
18284.31/2290.94	c  N st   107   6715964       134       536         0    119729      1608   1819467   no data   no data
19550.99/2449.63	c  N st   108   7215965       134       536         0    155975      1608   2905328   no data   no data
19550.99/2449.63	c  S st   108   7215965       134       536         0    155975      1608   2905328   no data   no data
19554.99/2450.11	c  S st   108   7216468       134       536         0    156474      1608   2919111   no data   no data
19554.99/2450.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
19556.59/2450.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.18
19556.59/2450.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
19556.59/2450.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
19556.59/2450.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
19556.59/2450.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
19556.59/2450.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
19556.59/2450.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
19558.34/2450.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
20417.66/2558.30	c lits-rem:      2588  cl-subs:    11891  v-elim:      0  v-fix:    0  time: 107.77 s
20417.66/2558.30	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
20418.51/2558.36	c vivif2 --  cl tried   144583 cl shrink        0 lits rem          0 time: 0.06
20419.93/2558.56	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.20
20419.93/2558.57	c calculated reachability. Time: 0.00
20419.93/2558.57	c  N st   108   7216468       134       536         0    144583      1608   2544943   no data   no data
21766.32/2727.28	c  N st   109   7716469       134       536         0    165939      1608   3098388   no data   no data
21766.32/2727.28	c  S st   109   7716469       134       536         0    165939      1608   3098388   no data   no data
21769.62/2727.71	c  S st   109   7716971       134       536         0    166440      1608   3111401   no data   no data
21770.46/2727.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
21771.10/2727.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.15
21771.10/2727.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
21771.10/2727.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
21771.10/2727.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
21771.10/2727.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
21771.10/2727.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
21771.90/2727.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
21772.70/2728.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22453.50/2813.30	c lits-rem:      2940  cl-subs:    12098  v-elim:      0  v-fix:    0  time: 85.23 s
22453.50/2813.30	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
22453.50/2813.36	c vivif2 --  cl tried   154342 cl shrink        0 lits rem          0 time: 0.06
22455.24/2813.58	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.21
22455.24/2813.58	c calculated reachability. Time: 0.00
22455.24/2813.58	c  N st   109   7716971       134       536         0    154342      1608   2761483   no data   no data
23876.67/2991.69	c  N st   110   8216971       134       536         0    158463      1608   2738822   no data   no data
23876.67/2991.69	c  S st   110   8216971       134       536         0    158463      1608   2738822   no data   no data
23878.97/2991.98	c  S st   110   8217473       134       536         0    158965      1608   2752299   no data   no data
23879.77/2992.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
23879.77/2992.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.08
23879.77/2992.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
23879.77/2992.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23879.77/2992.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23879.77/2992.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
23879.77/2992.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
23880.57/2992.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
23880.57/2992.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24156.74/3026.76	c lits-rem:      7082  cl-subs:    12079  v-elim:      0  v-fix:    0  time: 34.57 s
24156.74/3026.76	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
24156.74/3026.80	c vivif2 --  cl tried   146886 cl shrink        0 lits rem          0 time: 0.04
24157.64/3026.90	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.10
24157.64/3026.90	c calculated reachability. Time: 0.00
24157.64/3026.90	c  N st   110   8217473       134       536         0    146886      1608   2425821   no data   no data
25510.62/3196.39	c  N st   111   8717474       134       536         0    138631      1608   2138569   no data   no data
25510.62/3196.39	c  S st   111   8717474       134       536         0    138631      1608   2138569   no data   no data
25512.87/3196.68	c  S st   111   8717975       134       536         0    139128      1608   2151627   no data   no data
25512.87/3196.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
25513.67/3196.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.09
25513.67/3196.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25513.67/3196.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25513.67/3196.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25513.67/3196.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
25513.67/3196.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25514.47/3196.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
25515.27/3196.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25654.93/3214.47	c lits-rem:      1297  cl-subs:     4962  v-elim:      0  v-fix:    0  time: 17.56 s
25654.93/3214.47	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
25655.73/3214.52	c vivif2 --  cl tried   134166 cl shrink        0 lits rem          0 time: 0.04
25656.53/3214.65	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.13
25656.53/3214.65	c calculated reachability. Time: 0.00
25656.53/3214.65	c  N st   111   8717975       134       536         0    134166      1608   2017588   no data   no data
27091.39/3394.47	c  N st   112   9217977       134       536         0    233497      1608   4542385   no data   no data
27091.39/3394.47	c  S st   112   9217977       134       536         0    233497      1608   4542385   no data   no data
27096.19/3395.07	c  S st   112   9218480       134       536         0    233998      1608   4556459   no data   no data
27096.19/3395.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
27097.79/3395.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.8M T:  0.19
27097.79/3395.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27097.79/3395.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27097.79/3395.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27097.79/3395.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
27097.79/3395.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27098.69/3395.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
27100.17/3395.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
30210.23/3785.27	c lits-rem:      7016  cl-subs:    44405  v-elim:      0  v-fix:    0  time: 389.68 s
30210.23/3785.27	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
30211.03/3785.32	c vivif2 --  cl tried   189593 cl shrink        0 lits rem          0 time: 0.06
30212.63/3785.51	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.19
30212.63/3785.52	c calculated reachability. Time: 0.00
30212.63/3785.52	c  N st   112   9218480       134       536         0    189593      1608   3428413   no data   no data
31721.18/3974.52	c  N st   113   9718480       134       536         0    158085      1608   2566737   no data   no data
31721.18/3974.52	c  S st   113   9718480       134       536         0    158085      1608   2566737   no data   no data
31723.58/3974.80	c  S st   113   9718984       134       536         0    158588      1608   2579880   no data   no data
31723.58/3974.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
31724.38/3974.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.09
31724.38/3974.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
31724.38/3974.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
31724.38/3974.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
31724.38/3974.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
31724.38/3974.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
31724.38/3974.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
31725.27/3975.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
31974.97/4006.31	c lits-rem:      2782  cl-subs:    10026  v-elim:      0  v-fix:    0  time: 31.27 s
31974.97/4006.31	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
31974.97/4006.35	c vivif2 --  cl tried   148562 cl shrink        0 lits rem          0 time: 0.04
31975.77/4006.47	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.12
31975.77/4006.48	c calculated reachability. Time: 0.00
31975.77/4006.48	c  N st   113   9718984       134       536         0    148562      1608   2319014   no data   no data
33707.58/4223.43	c  N st   114  10218984       134       536         0    229890      1608   4671602   no data   no data
33707.58/4223.43	c  S st   114  10218984       134       536         0    229890      1608   4671602   no data   no data
33712.36/4224.02	c  S st   114  10219487       134       536         0    230393      1608   4685469   no data   no data
33712.36/4224.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
33713.96/4224.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.7M T:  0.17
33713.96/4224.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
33713.96/4224.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
33713.96/4224.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
33713.96/4224.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
33713.96/4224.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
33713.96/4224.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
33715.56/4224.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
35591.77/4459.55	c lits-rem:      8648  cl-subs:    23202  v-elim:      0  v-fix:    0  time: 235.08 s
35591.77/4459.55	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
35592.58/4459.64	c vivif2 --  cl tried   207191 cl shrink        0 lits rem          0 time: 0.09
35594.98/4459.96	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.32
35594.98/4459.97	c calculated reachability. Time: 0.00
35594.98/4459.97	c  N st   114  10219487       134       536         0    207191      1608   4038317   no data   no data
37516.70/4700.76	c  N st   115  10719487       134       536         0    146107      1608   2128519   no data   no data
37516.70/4700.76	c  S st   115  10719487       134       536         0    146107      1608   2128519   no data   no data
37520.67/4701.23	c  S st   115  10719993       134       536         0    146612      1608   2142652   no data   no data
37520.67/4701.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
37522.27/4701.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.15
37522.27/4701.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
37522.27/4701.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
37522.27/4701.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
37522.27/4701.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
37522.27/4701.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
37522.27/4701.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
37523.07/4701.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
37717.77/4725.99	c lits-rem:      1093  cl-subs:     4380  v-elim:      0  v-fix:    0  time: 24.40 s
37717.77/4725.99	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
37718.57/4726.04	c vivif2 --  cl tried   142232 cl shrink        0 lits rem          0 time: 0.05
37720.17/4726.26	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.22
37720.17/4726.26	c calculated reachability. Time: 0.00
37720.17/4726.26	c  N st   115  10719993       134       536         0    142232      1608   2032777   no data   no data
39352.09/4930.89	c  N st   116  11219993       134       536         0    208280      1608   3911154   no data   no data
39352.09/4930.89	c  S st   116  11219993       134       536         0    208280      1608   3911154   no data   no data
39356.07/4931.33	c  S st   116  11220496       134       536         0    208781      1608   3925401   no data   no data
39356.07/4931.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
39356.87/4931.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.6M T:  0.14
39356.87/4931.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
39356.87/4931.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39356.87/4931.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39356.87/4931.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
39356.87/4931.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
39357.67/4931.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
39358.47/4931.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39714.45/4976.24	c lits-rem:      4892  cl-subs:     9503  v-elim:      0  v-fix:    0  time: 44.57 s
39714.45/4976.24	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
39715.25/4976.30	c vivif2 --  cl tried   199278 cl shrink        0 lits rem          0 time: 0.06
39716.05/4976.49	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.19
39716.85/4976.50	c calculated reachability. Time: 0.00
39716.85/4976.50	c  N st   116  11220496       134       536         0    199278      1608   3670069   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-3421698-1306786791/watcher-3421698-1306786791 -o /tmp/evaluation-result-3421698-1306786791/solver-3421698-1306786791 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3421698-1306786791.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.45 2.12 2.03 1/520 16991
/proc/meminfo: memFree=4380920/32951124 swapFree=59042448/67111528
[pid=16991] ppid=16989 vsize=92144 CPUtime=0.04 cores=0-7
/proc/16991/stat : 16991 (strangenight2-m) R 16989 16991 16931 0 -1 4202496 411 0 0 0 4 0 0 0 25 0 8 0 868909720 94355456 352 33554432000 4194304 4580107 140735276544320 18446744073709551615 47602587961256 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16991/statm: 23036 352 299 95 0 18018 0
[pid=16991/tid=16992] ppid=16989 vsize=92144 CPUtime=0.01 cores=0-7
/proc/16991/task/16992/stat : 16992 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 868909720 94355456 352 33554432000 4194304 4580107 140735276544320 18446744073709551615 47602587961266 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16991/tid=16993] ppid=16989 vsize=92144 CPUtime=0.01 cores=0-7
/proc/16991/task/16993/stat : 16993 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 868909720 94355456 352 33554432000 4194304 4580107 140735276544320 18446744073709551615 47602587961266 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16991/tid=16994] ppid=16989 vsize=92144 CPUtime=0 cores=0-7
/proc/16991/task/16994/stat : 16994 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 868909720 94355456 352 33554432000 4194304 4580107 140735276544320 18446744073709551615 47602587961266 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16991/tid=16995] ppid=16989 vsize=92144 CPUtime=0.01 cores=0-7
/proc/16991/task/16995/stat : 16995 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 868909720 94355456 352 33554432000 4194304 4580107 140735276544320 18446744073709551615 47602587961266 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16991/tid=16996] ppid=16989 vsize=92144 CPUtime=0.01 cores=0-7
/proc/16991/task/16996/stat : 16996 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 868909720 94355456 352 33554432000 4194304 4580107 140735276544320 18446744073709551615 47602587961256 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16991/tid=16997] ppid=16989 vsize=92144 CPUtime=0 cores=0-7
/proc/16991/task/16997/stat : 16997 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 868909720 94355456 352 33554432000 4194304 4580107 140735276544320 18446744073709551615 47602587961264 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16991/tid=16998] ppid=16989 vsize=92144 CPUtime=0 cores=0-7
/proc/16991/task/16998/stat : 16998 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 868909720 94355456 352 33554432000 4194304 4580107 140735276544320 18446744073709551615 216735235057 0 0 4096 2 0 0 0 -1 6 0 0 0

[startup+0.0650521 s]
/proc/loadavg: 2.45 2.12 2.03 1/520 16991
/proc/meminfo: memFree=4380920/32951124 swapFree=59042448/67111528
[pid=16991] ppid=16989 vsize=92144 CPUtime=0.35 cores=0-7
/proc/16991/stat : 16991 (strangenight2-m) R 16989 16991 16931 0 -1 4202496 417 0 0 0 35 0 0 0 25 0 8 0 868909720 94355456 358 33554432000 4194304 4580107 140735276544320 18446744073709551615 47602587960857 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16991/statm: 23036 358 302 95 0 18018 0
[pid=16991/tid=16992] ppid=16989 vsize=92144 CPUtime=0.06 cores=0-7
/proc/16991/task/16992/stat : 16992 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 4 0 0 0 6 0 0 0 25 0 8 0 868909720 94355456 358 33554432000 4194304 4580107 140735276544320 18446744073709551615 47602587960857 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16991/tid=16993] ppid=16989 vsize=92144 CPUtime=0.05 cores=0-7
/proc/16991/task/16993/stat : 16993 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 0 0 0 0 5 0 0 0 25 0 8 0 868909720 94355456 358 33554432000 4194304 4580107 140735276544320 18446744073709551615 47602587960857 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16991/tid=16994] ppid=16989 vsize=92144 CPUtime=0 cores=0-7
/proc/16991/task/16994/stat : 16994 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 868909720 94355456 358 33554432000 4194304 4580107 140735276544320 18446744073709551615 47602587961266 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16991/tid=16995] ppid=16989 vsize=92144 CPUtime=0.06 cores=0-7
/proc/16991/task/16995/stat : 16995 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 1 0 0 0 6 0 0 0 25 0 8 0 868909720 94355456 358 33554432000 4194304 4580107 140735276544320 18446744073709551615 47602587960857 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16991/tid=16996] ppid=16989 vsize=92144 CPUtime=0.06 cores=0-7
/proc/16991/task/16996/stat : 16996 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 1 0 0 0 6 0 0 0 25 0 8 0 868909720 94355456 358 33554432000 4194304 4580107 140735276544320 18446744073709551615 47602587960857 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16991/tid=16997] ppid=16989 vsize=92144 CPUtime=0.04 cores=0-7
/proc/16991/task/16997/stat : 16997 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 8 0 868909720 94355456 358 33554432000 4194304 4580107 140735276544320 18446744073709551615 47602587960857 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16991/tid=16998] ppid=16989 vsize=92144 CPUtime=0 cores=0-7
/proc/16991/task/16998/stat : 16998 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 868909720 94355456 358 33554432000 4194304 4580107 140735276544320 18446744073709551615 47602587960848 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 92144

[startup+0.124982 s]
/proc/loadavg: 2.45 2.12 2.03 1/520 16991
/proc/meminfo: memFree=4380920/32951124 swapFree=59042448/67111528
[pid=16991] ppid=16989 vsize=493780 CPUtime=7.54 cores=0-7
/proc/16991/stat : 16991 (strangenight2-m) R 16989 16991 16931 0 -1 4202496 11954 0 0 0 752 2 0 0 19 0 8 0 868909720 505630720 5129 33554432000 4194304 4580107 140735276544320 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16991/statm: 123445 5129 379 95 0 118427 0
[pid=16991/tid=16992] ppid=16989 vsize=493780 CPUtime=0.96 cores=0-7
/proc/16991/task/16992/stat : 16992 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 1573 0 0 0 96 0 0 0 19 0 8 0 868909720 505630720 5129 33554432000 4194304 4580107 140735276544320 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16991/tid=16993] ppid=16989 vsize=493780 CPUtime=0.95 cores=0-7
/proc/16991/task/16993/stat : 16993 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 1606 0 0 0 95 0 0 0 19 0 8 0 868909720 505630720 5129 33554432000 4194304 4580107 140735276544320 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16991/tid=16994] ppid=16989 vsize=493780 CPUtime=0.89 cores=0-7
/proc/16991/task/16994/stat : 16994 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 1355 0 0 0 89 0 0 0 19 0 8 0 868909720 505630720 5129 33554432000 4194304 4580107 140735276544320 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16991/tid=16995] ppid=16989 vsize=493780 CPUtime=0.96 cores=0-7
/proc/16991/task/16995/stat : 16995 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 1389 0 0 0 96 0 0 0 19 0 8 0 868909720 505630720 5129 33554432000 4194304 4580107 140735276544320 18446744073709551615 4305152 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16991/tid=16996] ppid=16989 vsize=493780 CPUtime=0.96 cores=0-7
/proc/16991/task/16996/stat : 16996 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 1415 0 0 0 96 0 0 0 19 0 8 0 868909720 505630720 5129 33554432000 4194304 4580107 140735276544320 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16991/tid=16997] ppid=16989 vsize=493780 CPUtime=0.93 cores=0-7
/proc/16991/task/16997/stat : 16997 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 1468 0 0 0 93 0 0 0 19 0 8 0 868909720 505630720 5129 33554432000 4194304 4580107 140735276544320 18446744073709551615 4318835 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16991/tid=16998] ppid=16989 vsize=493780 CPUtime=0.87 cores=0-7
/proc/16991/task/16998/stat : 16998 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 1411 0 0 0 87 0 0 0 19 0 8 0 868909720 505630720 5129 33554432000 4194304 4580107 140735276544320 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.54
Current children cumulated vsize (KiB) 493780

[startup+1.07085 s]
/proc/loadavg: 2.45 2.12 2.03 1/520 16991
/proc/meminfo: memFree=4380920/32951124 swapFree=59042448/67111528
[pid=16991] ppid=16989 vsize=494136 CPUtime=8.34 cores=0-7
/proc/16991/stat : 16991 (strangenight2-m) R 16989 16991 16931 0 -1 4202496 13279 0 0 0 831 3 0 0 19 0 8 0 868909720 505995264 4971 33554432000 4194304 4580107 140735276544320 18446744073709551615 4294389 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16991/statm: 123534 4971 379 95 0 118516 0
[pid=16991/tid=16992] ppid=16989 vsize=494136 CPUtime=1.06 cores=0-7
/proc/16991/task/16992/stat : 16992 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 1655 0 0 0 106 0 0 0 19 0 8 0 868909720 505995264 4971 33554432000 4194304 4580107 140735276544320 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16991/tid=16993] ppid=16989 vsize=494136 CPUtime=1.05 cores=0-7
/proc/16991/task/16993/stat : 16993 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 1706 0 0 0 105 0 0 0 19 0 8 0 868909720 505995264 4971 33554432000 4194304 4580107 140735276544320 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16991/tid=16994] ppid=16989 vsize=494136 CPUtime=0.99 cores=0-7
/proc/16991/task/16994/stat : 16994 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 1590 0 0 0 99 0 0 0 19 0 8 0 868909720 505995264 4971 33554432000 4194304 4580107 140735276544320 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16991/tid=16995] ppid=16989 vsize=494136 CPUtime=1.06 cores=0-7
/proc/16991/task/16995/stat : 16995 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 1636 0 0 0 106 0 0 0 19 0 8 0 868909720 505995264 4971 33554432000 4194304 4580107 140735276544320 18446744073709551615 4321100 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16991/tid=16996] ppid=16989 vsize=494136 CPUtime=1.06 cores=0-7
/proc/16991/task/16996/stat : 16996 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 1644 0 0 0 106 0 0 0 19 0 8 0 868909720 505995264 4971 33554432000 4194304 4580107 140735276544320 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16991/tid=16997] ppid=16989 vsize=494136 CPUtime=1.03 cores=0-7
/proc/16991/task/16997/stat : 16997 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 1559 0 0 0 103 0 0 0 19 0 8 0 868909720 505995264 4971 33554432000 4194304 4580107 140735276544320 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16991/tid=16998] ppid=16989 vsize=494136 CPUtime=0.97 cores=0-7
/proc/16991/task/16998/stat : 16998 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 1521 0 0 0 97 0 0 0 19 0 8 0 868909720 505995264 4971 33554432000 4194304 4580107 140735276544320 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8.34
Current children cumulated vsize (KiB) 494136

[startup+1.17083 s]
/proc/loadavg: 2.45 2.12 2.03 1/520 16991
/proc/meminfo: memFree=4380920/32951124 swapFree=59042448/67111528
[pid=16991] ppid=16989 vsize=494388 CPUtime=9.14 cores=0-7
/proc/16991/stat : 16991 (strangenight2-m) R 16989 16991 16931 0 -1 4202496 14176 0 0 0 911 3 0 0 19 0 8 0 868909720 506253312 5424 33554432000 4194304 4580107 140735276544320 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16991/statm: 123597 5424 379 95 0 118579 0
[pid=16991/tid=16992] ppid=16989 vsize=494388 CPUtime=1.16 cores=0-7
/proc/16991/task/16992/stat : 16992 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 1747 0 0 0 116 0 0 0 19 0 8 0 868909720 506253312 5424 33554432000 4194304 4580107 140735276544320 18446744073709551615 4318741 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16991/tid=16993] ppid=16989 vsize=494388 CPUtime=1.15 cores=0-7
/proc/16991/task/16993/stat : 16993 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 1774 0 0 0 115 0 0 0 19 0 8 0 868909720 506253312 5424 33554432000 4194304 4580107 140735276544320 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16991/tid=16994] ppid=16989 vsize=494388 CPUtime=1.09 cores=0-7
/proc/16991/task/16994/stat : 16994 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 1692 0 0 0 109 0 0 0 19 0 8 0 868909720 506253312 5425 33554432000 4194304 4580107 140735276544320 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16991/tid=16995] ppid=16989 vsize=494388 CPUtime=1.16 cores=0-7
/proc/16991/task/16995/stat : 16995 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 1729 0 0 0 116 0 0 0 19 0 8 0 868909720 506253312 5425 33554432000 4194304 4580107 140735276544320 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16991/tid=16996] ppid=16989 vsize=494388 CPUtime=1.16 cores=0-7
/proc/16991/task/16996/stat : 16996 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 1730 0 0 0 116 0 0 0 19 0 8 0 868909720 506253312 5425 33554432000 4194304 4580107 140735276544320 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16991/tid=16997] ppid=16989 vsize=494388 CPUtime=1.13 cores=0-7
/proc/16991/task/16997/stat : 16997 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 1641 0 0 0 113 0 0 0 19 0 8 0 868909720 506253312 5425 33554432000 4194304 4580107 140735276544320 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16991/tid=16998] ppid=16989 vsize=494388 CPUtime=1.07 cores=0-7
/proc/16991/task/16998/stat : 16998 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 1800 0 0 0 107 0 0 0 19 0 8 0 868909720 506253312 5425 33554432000 4194304 4580107 140735276544320 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 9.14
Current children cumulated vsize (KiB) 494388

[startup+1.57076 s]
/proc/loadavg: 2.45 2.12 2.03 1/520 16991
/proc/meminfo: memFree=4380920/32951124 swapFree=59042448/67111528
[pid=16991] ppid=16989 vsize=444752 CPUtime=12.34 cores=0-7
/proc/16991/stat : 16991 (strangenight2-m) R 16989 16991 16931 0 -1 4202496 20579 0 0 0 1230 4 0 0 20 0 8 0 868909720 455426048 8512 33554432000 4194304 4580107 140735276544320 18446744073709551615 4318418 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16991/statm: 111188 8512 380 95 0 106170 0
[pid=16991/tid=16992] ppid=16989 vsize=444752 CPUtime=1.55 cores=0-7
/proc/16991/task/16992/stat : 16992 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 3388 0 0 0 155 0 0 0 20 0 8 0 868909720 455426048 8512 33554432000 4194304 4580107 140735276544320 18446744073709551615 4318711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16991/tid=16993] ppid=16989 vsize=444752 CPUtime=1.55 cores=0-7
/proc/16991/task/16993/stat : 16993 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 2203 0 0 0 155 0 0 0 20 0 8 0 868909720 455426048 8512 33554432000 4194304 4580107 140735276544320 18446744073709551615 4293184 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16991/tid=16994] ppid=16989 vsize=444752 CPUtime=1.49 cores=0-7
/proc/16991/task/16994/stat : 16994 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 2139 0 0 0 149 0 0 0 20 0 8 0 868909720 455426048 8512 33554432000 4194304 4580107 140735276544320 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16991/tid=16995] ppid=16989 vsize=444752 CPUtime=1.56 cores=0-7
/proc/16991/task/16995/stat : 16995 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 2189 0 0 0 156 0 0 0 20 0 8 0 868909720 455426048 8512 33554432000 4194304 4580107 140735276544320 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16991/tid=16996] ppid=16989 vsize=444752 CPUtime=1.56 cores=0-7
/proc/16991/task/16996/stat : 16996 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 2186 0 0 0 156 0 0 0 20 0 8 0 868909720 455426048 8512 33554432000 4194304 4580107 140735276544320 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16991/tid=16997] ppid=16989 vsize=444752 CPUtime=1.53 cores=0-7
/proc/16991/task/16997/stat : 16997 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 2128 0 0 0 153 0 0 0 20 0 8 0 868909720 455426048 8512 33554432000 4194304 4580107 140735276544320 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16991/tid=16998] ppid=16989 vsize=444752 CPUtime=1.47 cores=0-7
/proc/16991/task/16998/stat : 16998 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 2369 0 0 0 147 0 0 0 20 0 8 0 868909720 455426048 8514 33554432000 4194304 4580107 140735276544320 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 444752

[startup+3.10049 s]
/proc/loadavg: 2.45 2.12 2.03 9/528 16999
/proc/meminfo: memFree=4302744/32951124 swapFree=59042448/67111528
[pid=16991] ppid=16989 vsize=490512 CPUtime=24.54 cores=0-7
/proc/16991/stat : 16991 (strangenight2-m) R 16989 16991 16931 0 -1 4202496 39796 0 0 0 2446 8 0 0 25 0 8 0 868909720 502284288 23133 33554432000 4194304 4580107 140735276544320 18446744073709551615 4451818 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16991/statm: 122628 23133 380 95 0 117610 0
[pid=16991/tid=16992] ppid=16989 vsize=490512 CPUtime=3.09 cores=0-7
/proc/16991/task/16992/stat : 16992 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 6489 0 0 0 308 1 0 0 25 0 8 0 868909720 502284288 23133 33554432000 4194304 4580107 140735276544320 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16991/tid=16993] ppid=16989 vsize=490512 CPUtime=3.09 cores=0-7
/proc/16991/task/16993/stat : 16993 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 5573 0 0 0 308 1 0 0 25 0 8 0 868909720 502284288 23133 33554432000 4194304 4580107 140735276544320 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16991/tid=16994] ppid=16989 vsize=490512 CPUtime=2.99 cores=0-7
/proc/16991/task/16994/stat : 16994 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 4937 0 0 0 298 1 0 0 24 0 8 0 868909720 502284288 23133 33554432000 4194304 4580107 140735276544320 18446744073709551615 4324249 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16991/tid=16995] ppid=16989 vsize=490512 CPUtime=3.08 cores=0-7
/proc/16991/task/16995/stat : 16995 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 4135 0 0 0 308 0 0 0 25 0 8 0 868909720 502284288 23133 33554432000 4194304 4580107 140735276544320 18446744073709551615 4304864 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16991/tid=16996] ppid=16989 vsize=490512 CPUtime=3.08 cores=0-7
/proc/16991/task/16996/stat : 16996 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 4859 0 0 0 308 0 0 0 25 0 8 0 868909720 502284288 23133 33554432000 4194304 4580107 140735276544320 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16991/tid=16997] ppid=16989 vsize=490512 CPUtime=3.06 cores=0-7
/proc/16991/task/16997/stat : 16997 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 4186 0 0 0 305 1 0 0 18 0 8 0 868909720 502284288 23134 33554432000 4194304 4580107 140735276544320 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16991/tid=16998] ppid=16989 vsize=490512 CPUtime=3 cores=0-7
/proc/16991/task/16998/stat : 16998 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 3798 0 0 0 300 0 0 0 25 0 8 0 868909720 502284288 23134 33554432000 4194304 4580107 140735276544320 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.54
Current children cumulated vsize (KiB) 490512

[startup+6.31993 s]
/proc/loadavg: 2.89 2.22 2.06 9/528 17000
/proc/meminfo: memFree=4240392/32951124 swapFree=59042448/67111528
[pid=16991] ppid=16989 vsize=507012 CPUtime=50.23 cores=0-7
/proc/16991/stat : 16991 (strangenight2-m) R 16989 16991 16931 0 -1 4202496 61284 0 0 0 5011 12 0 0 25 0 8 0 868909720 519180288 35333 33554432000 4194304 4580107 140735276544320 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16991/statm: 126753 35333 380 95 0 121735 0
[pid=16991/tid=16992] ppid=16989 vsize=507012 CPUtime=6.31 cores=0-7
/proc/16991/task/16992/stat : 16992 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 7768 0 0 0 630 1 0 0 25 0 8 0 868909720 519180288 35333 33554432000 4194304 4580107 140735276544320 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16991/tid=16993] ppid=16989 vsize=507012 CPUtime=6.3 cores=0-7
/proc/16991/task/16993/stat : 16993 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 8798 0 0 0 629 1 0 0 25 0 8 0 868909720 519180288 35333 33554432000 4194304 4580107 140735276544320 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16991/tid=16994] ppid=16989 vsize=507012 CPUtime=6.14 cores=0-7
/proc/16991/task/16994/stat : 16994 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 8345 0 0 0 613 1 0 0 25 0 8 0 868909720 519180288 35333 33554432000 4194304 4580107 140735276544320 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16991/tid=16995] ppid=16989 vsize=507012 CPUtime=6.31 cores=0-7
/proc/16991/task/16995/stat : 16995 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 6175 0 0 0 630 1 0 0 25 0 8 0 868909720 519180288 35333 33554432000 4194304 4580107 140735276544320 18446744073709551615 4304894 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16991/tid=16996] ppid=16989 vsize=507012 CPUtime=6.31 cores=0-7
/proc/16991/task/16996/stat : 16996 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 6872 0 0 0 630 1 0 0 25 0 8 0 868909720 519180288 35333 33554432000 4194304 4580107 140735276544320 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16991/tid=16997] ppid=16989 vsize=507012 CPUtime=6.27 cores=0-7
/proc/16991/task/16997/stat : 16997 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 6334 0 0 0 626 1 0 0 25 0 8 0 868909720 519180288 35333 33554432000 4194304 4580107 140735276544320 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16991/tid=16998] ppid=16989 vsize=507012 CPUtime=6.23 cores=0-7
/proc/16991/task/16998/stat : 16998 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 8402 0 0 0 622 1 0 0 25 0 8 0 868909720 519180288 35333 33554432000 4194304 4580107 140735276544320 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0

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

[pid=16991/tid=16994] ppid=16989 vsize=3157896 CPUtime=4576.13 cores=0-7
/proc/16991/task/16994/stat : 16994 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 387236 0 0 0 457404 209 0 0 25 0 8 0 868909720 3233685504 552883 33554432000 4194304 4580107 140735276544320 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16991/tid=16995] ppid=16989 vsize=3157896 CPUtime=4662.38 cores=0-7
/proc/16991/task/16995/stat : 16995 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 349508 0 0 0 466049 189 0 0 25 0 8 0 868909720 3233685504 552883 33554432000 4194304 4580107 140735276544320 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16991/tid=16996] ppid=16989 vsize=3157896 CPUtime=4662.39 cores=0-7
/proc/16991/task/16996/stat : 16996 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 420866 0 0 0 465984 255 0 0 25 0 8 0 868909720 3233685504 552883 33554432000 4194304 4580107 140735276544320 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16991/tid=16997] ppid=16989 vsize=3157896 CPUtime=4660.89 cores=0-7
/proc/16991/task/16997/stat : 16997 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 447485 0 0 0 465869 220 0 0 25 0 8 0 868909720 3233685504 552883 33554432000 4194304 4580107 140735276544320 18446744073709551615 4406375 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16991/tid=16998] ppid=16989 vsize=3157896 CPUtime=4662.1 cores=0-7
/proc/16991/task/16998/stat : 16998 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 370963 0 0 0 466033 177 0 0 25 0 8 0 868909720 3233685504 552883 33554432000 4194304 4580107 140735276544320 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 37210.2
Current children cumulated vsize (KiB) 3157896

[startup+4722.3 s]
/proc/loadavg: 8.06 8.06 8.00 9/528 17137
/proc/meminfo: memFree=2209652/32951124 swapFree=59042448/67111528
[pid=16991] ppid=16989 vsize=3038180 CPUtime=37689 cores=0-7
/proc/16991/stat : 16991 (strangenight2-m) R 16989 16991 16931 0 -1 4202496 2990558 0 0 0 3767307 1597 0 0 25 0 8 0 868909720 3111096320 541814 33554432000 4194304 4580107 140735276544320 18446744073709551615 4416469 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16991/statm: 759545 541814 380 95 0 754527 0
[pid=16991/tid=16992] ppid=16989 vsize=3038180 CPUtime=4721.69 cores=0-7
/proc/16991/task/16992/stat : 16992 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 332461 0 0 0 472006 163 0 0 25 0 8 0 868909720 3111096320 541814 33554432000 4194304 4580107 140735276544320 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16991/tid=16993] ppid=16989 vsize=3038180 CPUtime=4722.38 cores=0-7
/proc/16991/task/16993/stat : 16993 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 350228 0 0 0 472056 182 0 0 25 0 8 0 868909720 3111096320 541814 33554432000 4194304 4580107 140735276544320 18446744073709551615 4406350 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16991/tid=16994] ppid=16989 vsize=3038180 CPUtime=4634.94 cores=0-7
/proc/16991/task/16994/stat : 16994 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 387236 0 0 0 463285 209 0 0 25 0 8 0 868909720 3111096320 541814 33554432000 4194304 4580107 140735276544320 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16991/tid=16995] ppid=16989 vsize=3038180 CPUtime=4722.38 cores=0-7
/proc/16991/task/16995/stat : 16995 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 349508 0 0 0 472049 189 0 0 25 0 8 0 868909720 3111096320 541814 33554432000 4194304 4580107 140735276544320 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16991/tid=16996] ppid=16989 vsize=3038180 CPUtime=4722.39 cores=0-7
/proc/16991/task/16996/stat : 16996 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 420866 0 0 0 471984 255 0 0 25 0 8 0 868909720 3111096320 541814 33554432000 4194304 4580107 140735276544320 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16991/tid=16997] ppid=16989 vsize=3038180 CPUtime=4720.88 cores=0-7
/proc/16991/task/16997/stat : 16997 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 447485 0 0 0 471868 220 0 0 25 0 8 0 868909720 3111096320 541814 33554432000 4194304 4580107 140735276544320 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16991/tid=16998] ppid=16989 vsize=3038180 CPUtime=4722.1 cores=0-7
/proc/16991/task/16998/stat : 16998 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 377374 0 0 0 472027 183 0 0 25 0 8 0 868909720 3111096320 541814 33554432000 4194304 4580107 140735276544320 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 37689
Current children cumulated vsize (KiB) 3038180

[startup+4782.3 s]
/proc/loadavg: 8.30 8.13 8.02 9/528 17142
/proc/meminfo: memFree=2186148/32951124 swapFree=59042448/67111528
[pid=16991] ppid=16989 vsize=3055788 CPUtime=38166.9 cores=0-7
/proc/16991/stat : 16991 (strangenight2-m) R 16989 16991 16931 0 -1 4202496 2998623 0 0 0 3815090 1605 0 0 25 0 8 0 868909720 3129126912 547809 33554432000 4194304 4580107 140735276544320 18446744073709551615 4293235 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16991/statm: 763947 547809 380 95 0 758929 0
[pid=16991/tid=16992] ppid=16989 vsize=3055788 CPUtime=4780.97 cores=0-7
/proc/16991/task/16992/stat : 16992 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 332461 0 0 0 477934 163 0 0 25 0 8 0 868909720 3129126912 547809 33554432000 4194304 4580107 140735276544320 18446744073709551615 4406408 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16991/tid=16993] ppid=16989 vsize=3055788 CPUtime=4782.39 cores=0-7
/proc/16991/task/16993/stat : 16993 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 350228 0 0 0 478056 183 0 0 25 0 8 0 868909720 3129126912 547809 33554432000 4194304 4580107 140735276544320 18446744073709551615 4415779 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16991/tid=16994] ppid=16989 vsize=3055788 CPUtime=4693.78 cores=0-7
/proc/16991/task/16994/stat : 16994 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 387236 0 0 0 469169 209 0 0 25 0 8 0 868909720 3129126912 547809 33554432000 4194304 4580107 140735276544320 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16991/tid=16995] ppid=16989 vsize=3055788 CPUtime=4782.38 cores=0-7
/proc/16991/task/16995/stat : 16995 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 349508 0 0 0 478049 189 0 0 25 0 8 0 868909720 3129126912 547809 33554432000 4194304 4580107 140735276544320 18446744073709551615 4406375 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16991/tid=16996] ppid=16989 vsize=3055788 CPUtime=4782.39 cores=0-7
/proc/16991/task/16996/stat : 16996 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 420866 0 0 0 477984 255 0 0 25 0 8 0 868909720 3129126912 547809 33554432000 4194304 4580107 140735276544320 18446744073709551615 4406486 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16991/tid=16997] ppid=16989 vsize=3055788 CPUtime=4780.84 cores=0-7
/proc/16991/task/16997/stat : 16997 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 447485 0 0 0 477864 220 0 0 25 0 8 0 868909720 3129126912 547809 33554432000 4194304 4580107 140735276544320 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16991/tid=16998] ppid=16989 vsize=3055788 CPUtime=4781.92 cores=0-7
/proc/16991/task/16998/stat : 16998 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 383793 0 0 0 478005 187 0 0 25 0 8 0 868909720 3129126912 547809 33554432000 4194304 4580107 140735276544320 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 38166.9
Current children cumulated vsize (KiB) 3055788

[startup+4842.3 s]
/proc/loadavg: 8.14 8.11 8.02 9/528 17143
/proc/meminfo: memFree=2189072/32951124 swapFree=59042448/67111528
[pid=16991] ppid=16989 vsize=2983408 CPUtime=38645.7 cores=0-7
/proc/16991/stat : 16991 (strangenight2-m) R 16989 16991 16931 0 -1 4202496 3002279 0 0 0 3862961 1612 0 0 25 0 8 0 868909720 3055009792 546938 33554432000 4194304 4580107 140735276544320 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16991/statm: 745852 546938 380 95 0 740834 0
[pid=16991/tid=16992] ppid=16989 vsize=2983408 CPUtime=4840.97 cores=0-7
/proc/16991/task/16992/stat : 16992 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 332461 0 0 0 483934 163 0 0 25 0 8 0 868909720 3055009792 546938 33554432000 4194304 4580107 140735276544320 18446744073709551615 4406408 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16991/tid=16993] ppid=16989 vsize=2983408 CPUtime=4842.39 cores=0-7
/proc/16991/task/16993/stat : 16993 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 352109 0 0 0 484053 186 0 0 25 0 8 0 868909720 3055009792 546938 33554432000 4194304 4580107 140735276544320 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16991/tid=16994] ppid=16989 vsize=2983408 CPUtime=4752.57 cores=0-7
/proc/16991/task/16994/stat : 16994 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 387236 0 0 0 475048 209 0 0 25 0 8 0 868909720 3055009792 546938 33554432000 4194304 4580107 140735276544320 18446744073709551615 4406408 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16991/tid=16995] ppid=16989 vsize=2983408 CPUtime=4842.38 cores=0-7
/proc/16991/task/16995/stat : 16995 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 349508 0 0 0 484049 189 0 0 25 0 8 0 868909720 3055009792 546938 33554432000 4194304 4580107 140735276544320 18446744073709551615 4415779 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16991/tid=16996] ppid=16989 vsize=2983408 CPUtime=4842.39 cores=0-7
/proc/16991/task/16996/stat : 16996 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 420866 0 0 0 483984 255 0 0 25 0 8 0 868909720 3055009792 546938 33554432000 4194304 4580107 140735276544320 18446744073709551615 4406385 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16991/tid=16997] ppid=16989 vsize=2983408 CPUtime=4840.82 cores=0-7
/proc/16991/task/16997/stat : 16997 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 447485 0 0 0 483862 220 0 0 25 0 8 0 868909720 3055009792 546938 33554432000 4194304 4580107 140735276544320 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16991/tid=16998] ppid=16989 vsize=2983408 CPUtime=4841.92 cores=0-7
/proc/16991/task/16998/stat : 16998 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 383907 0 0 0 484004 188 0 0 25 0 8 0 868909720 3055009792 546938 33554432000 4194304 4580107 140735276544320 18446744073709551615 4406395 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 38645.7
Current children cumulated vsize (KiB) 2983408

[startup+4902.3 s]
/proc/loadavg: 8.24 8.14 8.03 9/528 17145
/proc/meminfo: memFree=2151972/32951124 swapFree=59042448/67111528
[pid=16991] ppid=16989 vsize=3059100 CPUtime=39124.7 cores=0-7
/proc/16991/stat : 16991 (strangenight2-m) R 16989 16991 16931 0 -1 4202496 3020904 0 0 0 3910839 1629 0 0 25 0 8 0 868909720 3132518400 556567 33554432000 4194304 4580107 140735276544320 18446744073709551615 4294378 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16991/statm: 764775 556567 380 95 0 759757 0
[pid=16991/tid=16992] ppid=16989 vsize=3059100 CPUtime=4900.99 cores=0-7
/proc/16991/task/16992/stat : 16992 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 333781 0 0 0 489934 165 0 0 25 0 8 0 868909720 3132518400 556569 33554432000 4194304 4580107 140735276544320 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16991/tid=16993] ppid=16989 vsize=3059100 CPUtime=4902.41 cores=0-7
/proc/16991/task/16993/stat : 16993 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 354278 0 0 0 490053 188 0 0 25 0 8 0 868909720 3132518400 556569 33554432000 4194304 4580107 140735276544320 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16991/tid=16994] ppid=16989 vsize=3059100 CPUtime=4811.45 cores=0-7
/proc/16991/task/16994/stat : 16994 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 387948 0 0 0 480935 210 0 0 25 0 8 0 868909720 3132518400 556569 33554432000 4194304 4580107 140735276544320 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16991/tid=16995] ppid=16989 vsize=3059100 CPUtime=4902.4 cores=0-7
/proc/16991/task/16995/stat : 16995 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 356106 0 0 0 490046 194 0 0 25 0 8 0 868909720 3132518400 556569 33554432000 4194304 4580107 140735276544320 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16991/tid=16996] ppid=16989 vsize=3059100 CPUtime=4902.41 cores=0-7
/proc/16991/task/16996/stat : 16996 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 420866 0 0 0 489986 255 0 0 25 0 8 0 868909720 3132518400 556569 33554432000 4194304 4580107 140735276544320 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16991/tid=16997] ppid=16989 vsize=3059100 CPUtime=4900.82 cores=0-7
/proc/16991/task/16997/stat : 16997 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 447485 0 0 0 489862 220 0 0 25 0 8 0 868909720 3132518400 556569 33554432000 4194304 4580107 140735276544320 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16991/tid=16998] ppid=16989 vsize=3059100 CPUtime=4901.94 cores=0-7
/proc/16991/task/16998/stat : 16998 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 384928 0 0 0 490005 189 0 0 25 0 8 0 868909720 3132518400 556569 33554432000 4194304 4580107 140735276544320 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 39124.7
Current children cumulated vsize (KiB) 3059100

[startup+4962.3 s]
/proc/loadavg: 8.16 8.13 8.03 9/528 17147
/proc/meminfo: memFree=2185176/32951124 swapFree=59042448/67111528
[pid=16991] ppid=16989 vsize=2853364 CPUtime=39603.5 cores=0-7
/proc/16991/stat : 16991 (strangenight2-m) R 16989 16991 16931 0 -1 4202496 3051922 0 0 0 3958707 1644 0 0 25 0 8 0 868909720 2921844736 548188 33554432000 4194304 4580107 140735276544320 18446744073709551615 4406375 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16991/statm: 713341 548188 380 95 0 708323 0
[pid=16991/tid=16992] ppid=16989 vsize=2853364 CPUtime=4960.97 cores=0-7
/proc/16991/task/16992/stat : 16992 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 335548 0 0 0 495931 166 0 0 25 0 8 0 868909720 2921844736 548188 33554432000 4194304 4580107 140735276544320 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16991/tid=16993] ppid=16989 vsize=2853364 CPUtime=4962.39 cores=0-7
/proc/16991/task/16993/stat : 16993 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 357195 0 0 0 496050 189 0 0 25 0 8 0 868909720 2921844736 548188 33554432000 4194304 4580107 140735276544320 18446744073709551615 4415779 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16991/tid=16994] ppid=16989 vsize=2853364 CPUtime=4870.36 cores=0-7
/proc/16991/task/16994/stat : 16994 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 390085 0 0 0 486825 211 0 0 25 0 8 0 868909720 2921844736 548188 33554432000 4194304 4580107 140735276544320 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16991/tid=16995] ppid=16989 vsize=2853364 CPUtime=4962.39 cores=0-7
/proc/16991/task/16995/stat : 16995 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 363558 0 0 0 496040 199 0 0 25 0 8 0 868909720 2921844736 548188 33554432000 4194304 4580107 140735276544320 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16991/tid=16996] ppid=16989 vsize=2853364 CPUtime=4962.39 cores=0-7
/proc/16991/task/16996/stat : 16996 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 422808 0 0 0 495983 256 0 0 25 0 8 0 868909720 2921844736 548188 33554432000 4194304 4580107 140735276544320 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16991/tid=16997] ppid=16989 vsize=2853364 CPUtime=4960.79 cores=0-7
/proc/16991/task/16997/stat : 16997 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 454058 0 0 0 495856 223 0 0 25 0 8 0 868909720 2921844736 548188 33554432000 4194304 4580107 140735276544320 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16991/tid=16998] ppid=16989 vsize=2853364 CPUtime=4961.92 cores=0-7
/proc/16991/task/16998/stat : 16998 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 392653 0 0 0 495999 193 0 0 25 0 8 0 868909720 2921844736 548188 33554432000 4194304 4580107 140735276544320 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 39603.5
Current children cumulated vsize (KiB) 2853364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5012 s]
/proc/loadavg: 8.11 8.12 8.03 9/528 17148
/proc/meminfo: memFree=2152920/32951124 swapFree=59042448/67111528
[pid=16991] ppid=16989 vsize=2848792 CPUtime=40000.3 cores=0-7
/proc/16991/stat : 16991 (strangenight2-m) R 16989 16991 16931 0 -1 4202496 3090529 0 0 0 3998371 1662 0 0 25 0 8 0 868909720 2917163008 556046 33554432000 4194304 4580107 140735276544320 18446744073709551615 4317025 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16991/statm: 712198 556046 380 95 0 707180 0
[pid=16991/tid=16992] ppid=16989 vsize=2848792 CPUtime=5010.69 cores=0-7
/proc/16991/task/16992/stat : 16992 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 337330 0 0 0 500903 166 0 0 25 0 8 0 868909720 2917163008 556050 33554432000 4194304 4580107 140735276544320 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16991/tid=16993] ppid=16989 vsize=2848792 CPUtime=5012.11 cores=0-7
/proc/16991/task/16993/stat : 16993 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 362188 0 0 0 501019 192 0 0 25 0 8 0 868909720 2917163008 556050 33554432000 4194304 4580107 140735276544320 18446744073709551615 4301509 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16991/tid=16994] ppid=16989 vsize=2848792 CPUtime=4919.2 cores=0-7
/proc/16991/task/16994/stat : 16994 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 391676 0 0 0 491709 211 0 0 25 0 8 0 868909720 2917163008 556051 33554432000 4194304 4580107 140735276544320 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16991/tid=16995] ppid=16989 vsize=2848792 CPUtime=5012.11 cores=0-7
/proc/16991/task/16995/stat : 16995 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 370116 0 0 0 501009 202 0 0 25 0 8 0 868909720 2917163008 556051 33554432000 4194304 4580107 140735276544320 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16991/tid=16996] ppid=16989 vsize=2848792 CPUtime=5012.11 cores=0-7
/proc/16991/task/16996/stat : 16996 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 429880 0 0 0 500952 259 0 0 25 0 8 0 868909720 2917163008 556051 33554432000 4194304 4580107 140735276544320 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16991/tid=16997] ppid=16989 vsize=2848792 CPUtime=5010.5 cores=0-7
/proc/16991/task/16997/stat : 16997 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 461288 0 0 0 500824 226 0 0 25 0 8 0 868909720 2917163008 556051 33554432000 4194304 4580107 140735276544320 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16991/tid=16998] ppid=16989 vsize=2848792 CPUtime=5011.65 cores=0-7
/proc/16991/task/16998/stat : 16998 (strangenight2-m) R 16989 16991 16931 0 -1 4202560 399637 0 0 0 500969 196 0 0 25 0 8 0 868909720 2917163008 556051 33554432000 4194304 4580107 140735276544320 18446744073709551615 4304894 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 40000.3
Current children cumulated vsize (KiB) 2848792

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

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

[startup+5012.12 s]
/proc/loadavg: 8.11 8.12 8.03 9/528 17148
/proc/meminfo: memFree=2152920/32951124 swapFree=59042448/67111528
[pid=16991] ppid=16989 vsize=0 CPUtime=40000.5 cores=0-7
/proc/16991/stat : 16991 (strangenight2-m) Z 16989 16991 16931 0 -1 4203548 3090534 0 0 0 3998379 1672 0 0 25 0 2 0 868909720 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16991/statm: 0 0 0 0 0 0 0
[pid=16991/tid=16994] ppid=16989 vsize=0 CPUtime=4919.3 cores=0-7
/proc/16991/task/16994/stat : 16994 (strangenight2-m) R 16989 16991 16931 0 -1 4203588 391676 0 0 0 491709 221 0 0 25 0 2 0 868909720 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 40000.5
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5012.14
CPU time (s): 40000.5
CPU user time (s): 39983.8
CPU system time (s): 16.7355
CPU usage (%): 798.073
Max. virtual memory (cumulated for all children) (KiB): 3157896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39983.8
system time used= 16.7355
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3090534
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= 2515
involuntary context switches= 180824

runsolver used 22.7775 second user time and 70.0963 second system time

The end

Launcher Data 

Begin job on node119 at 2011-05-30 22:19:51
IDJOB=3421698
IDBENCH=85780
IDSOLVER=1878
FILE ID=node119/3421698-1306786791
RUNJOBID= node119-1306786785-16945
PBS_JOBID= 13475032
Free space on /tmp= 56692 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT05/crafted/markstrom05/eulcbip/eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3421698-1306786791/watcher-3421698-1306786791 -o /tmp/evaluation-result-3421698-1306786791/solver-3421698-1306786791 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3421698-1306786791.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 151ccdb2c52c7f525fde5dca388bb6e6
RANDOM SEED=32608828

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       4381076 kB
Buffers:        263628 kB
Cached:       17971360 kB
SwapCached:       8708 kB
Active:       16273416 kB
Inactive:     11603524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       4381076 kB
SwapTotal:    67111528 kB
SwapFree:     59042448 kB
Dirty:            5956 kB
Writeback:           0 kB
AnonPages:     9637228 kB
Mapped:          34428 kB
Slab:           540520 kB
PageTables:      78988 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 163854000 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= 56688 MiB
End job on node119 at 2011-05-30 23:43:25