Trace number 3368930

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-1-mt (fixed)? (TO) 4800.13 1203.13

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v60-c5340-S1510638717-051.SATISFIABLE.cnf
MD5SUMe8248df66827581bc842de4513557985
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.05799
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of clauses5340
Sum of the clauses size37380
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 55340

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368930-1305406374.cnf'
0.00/0.01	c -- header says num vars:             60
0.00/0.01	c -- header says num clauses:        5340
0.00/0.01	c -- clauses added:            0 learnts,         5340 normals,            0 xors
0.00/0.01	c -- vars added         60
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.37/0.12	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.46
0.37/0.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.37/0.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.37/0.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.37/0.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
0.37/0.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.37/0.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
0.37/0.14	c Finding binary XORs  T:     0.00 s  found:       0
0.37/0.15	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.37/0.15	c calculated reachability. Time: 0.00
0.37/0.15	c Calc default polars -  time:   0.00 s pos:      28 undec:       1 neg:      31
0.37/0.15	c =========================================================================================
0.37/0.15	c types(t): F = full restart, N = normal restart
0.37/0.15	c types(t): S = simplification begin/end, E = solution found
0.37/0.15	c restart types(rt): st = static, dy = dynamic
0.37/0.15	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.37/0.15	c  B st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.77/0.27	c  N dy     7      4713        60      5340         0      4218     37380     90989     17.75     18.74  --
1.58/0.40	c  N dy    24      8781        60      5340         0      5612     37380    114328     18.13     19.11  --
1.97/0.57	c  N dy    45     13207        60      5340         0      5764     37380    109596     18.45     19.44  --
3.17/0.81	c  N dy    53     19348        60      5340         0      6230     37380    110404     18.25     19.26  --
3.99/1.06	c  F st    58     25001        60      5340         0     11256     37380    215349     18.02     17.17  --
3.99/1.06	c  N st    58     25001        60      5340         0     11256     37380    215349     18.02     17.17  --
4.76/1.28	c  N dy    64     30000        60      5340         0      9623     37380    173075     18.02   no data  --
4.76/1.28	c  S st    64     30000        60      5340         0      9623     37380    173075     18.02   no data  --
5.16/1.32	c  S st    64     30501        60      5340         0     10087     37380    183447     18.02   no data  --
5.16/1.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.16/1.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.16/1.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
5.16/1.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.79/2.22	c lits-rem:      1301  cl-subs:     1051  v-elim:      0  v-fix:    0  time:  3.54 s
9.55/2.47	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.01
9.55/2.47	c calculated reachability. Time: 0.00
9.55/2.47	c  N dy    64     30501        60      5340         0      9036     37380    160235     18.02   no data  --
10.35/2.68	c  N dy    82     34716        60      5340         0     12817     37380    241798     18.09     19.05  --
11.55/2.90	c  N dy   100     38792        60      5340         0      9461     37380    158996     18.13     20.83  --
12.35/3.13	c  N dy   113     43150        60      5340         0     13314     37380    240561     18.14     19.14  --
12.77/3.28	c  S st   117     45752        60      5340         0     15613     37380    289290     18.12     18.85  --
13.18/3.33	c  S st   117     46255        60      5340         0      8135     37380    123788     18.12   no data  --
13.18/3.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.18/3.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.18/3.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.18/3.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.18/3.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.18/3.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
13.18/3.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.94/4.08	c lits-rem:        98  cl-subs:       25  v-elim:      0  v-fix:    0  time:  2.96 s
15.94/4.08	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
15.94/4.08	c vivif2 --  cl tried     8110 cl shrink        0 lits rem          0 time: 0.00
16.73/4.30	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.89
16.73/4.30	c calculated reachability. Time: 0.00
16.73/4.30	c  N dy   117     46255        60      5340         0      8110     37380    123117     18.12   no data  --
18.33/4.67	c  N dy   136     53141        60      5340         0     14220     37380    251383     18.08     19.03  --
19.53/4.95	c  N dy   145     57490        60      5340         0      9235     37380    135903     18.03     18.98  --
20.33/5.18	c  N dy   178     61511        60      5340         0     12841     37380    214666     18.15     21.28  --
22.32/5.67	c  N dy   191     69382        60      5340         0     10052     37380    145125     18.00     15.96  --
22.32/5.67	c  S st   191     69382        60      5340         0     10052     37380    145125     18.00     15.96  --
22.72/5.70	c  S st   191     69887        60      5340         0     10520     37380    155586     18.00   no data  --
22.72/5.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.72/5.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
22.72/5.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
22.72/5.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
22.72/5.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22.72/5.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
22.72/5.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.93/6.55	c lits-rem:       246  cl-subs:      146  v-elim:      0  v-fix:    0  time:  3.32 s
25.93/6.55	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
25.93/6.55	c vivif2 --  cl tried    10374 cl shrink        0 lits rem          0 time: 0.00
27.11/6.82	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.08
27.11/6.82	c calculated reachability. Time: 0.00
27.11/6.82	c  N dy   191     69887        60      5340         0     10374     37380    152177     18.00   no data  --
28.31/7.15	c  N dy   194     76002        60      5340         0     15782     37380    263021     17.89     18.89  --
29.90/7.52	c  N dy   227     80888        60      5340         0     20199     37380    358476     17.97     20.87  --
31.50/7.95	c  F st   253     87501        60      5340         0     15399     37380    247512     17.97     18.07  --
31.50/7.95	c  N st   253     87501        60      5340         0     15399     37380    247512     17.97     18.07  --
33.10/8.32	c  N dy   263     93095        60      5340         0     20383     37380    354409     17.98     19.71  --
35.13/8.89	c  N dy   271    101600        60      5340         0     16263     37380    251283     17.85     18.79  --
36.29/9.13	c  S st   291    104830        60      5340         0     19177     37380    314726     17.89     17.31  --
36.29/9.19	c  S st   291    105332        60      5340         0     19635     37380    324812     17.89   no data  --
36.29/9.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.29/9.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.69/9.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
36.69/9.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.69/9.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.69/9.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
36.69/9.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.27/10.67	c lits-rem:      1497  cl-subs:     2163  v-elim:      0  v-fix:    0  time:  5.84 s
42.27/10.67	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
42.27/10.67	c vivif2 --  cl tried    17472 cl shrink        0 lits rem          0 time: 0.01
43.92/11.03	c asymm  cl-useful: 0/4366/5340 lits-rem:0 time: 1.41
43.92/11.03	c calculated reachability. Time: 0.00
43.92/11.03	c  N dy   291    105332        60      5340         0     17472     37380    281066     17.89   no data  --
46.27/11.64	c  N dy   336    112715        60      5340         0     24099     37380    423839     17.97     18.97  --
49.86/12.55	c  N dy   374    126065        60      5340         0     23631     37380    401468     17.94     18.99  --
52.69/13.24	c  N dy   410    134946        60      5340         0     18263     37380    279691     17.97     18.93  --
55.45/13.93	c  N dy   432    143638        60      5340         0     25947     37380    439508     17.95     19.34  --
58.64/14.71	c  N dy   484    152878        60      5340         0     19996     37380    305973     18.00     20.24  --
60.24/15.16	c  S st   520    158000        60      5340         0     24591     37380    405769     18.05     17.83  --
60.64/15.22	c  S st   520    158503        60      5340         0     25056     37380    416102     18.05   no data  --
60.64/15.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
60.64/15.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
60.64/15.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.02
60.64/15.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
60.64/15.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
60.64/15.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
60.64/15.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
69.02/17.38	c lits-rem:      1929  cl-subs:     2432  v-elim:      0  v-fix:    0  time:  8.54 s
69.02/17.38	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
69.02/17.39	c vivif2 --  cl tried    22624 cl shrink        0 lits rem          0 time: 0.02
69.84/17.52	c asymm  cl-useful: 0/974/5340 lits-rem:0 time: 0.51
69.84/17.52	c calculated reachability. Time: 0.00
69.84/17.52	c  N dy   520    158503        60      5340         0     22624     37380    361082     18.05   no data  --
73.81/18.53	c  N dy   543    171197        60      5340         0     18858     37380    272378     18.00     19.20  --
77.80/19.57	c  N dy   592    182956        60      5340         0     29283     37380    493727     18.03     19.05  --
82.58/20.72	c  N dy   639    196003        60      5340         0     24997     37380    393154     18.05     19.05  --
87.82/22.06	c  N dy   695    208765        60      5340         0     19442     37380    265161     18.08     19.09  --
93.36/23.49	c  N dy   734    224153        60      5340         0     33076     37380    551340     18.05     19.06  --
98.55/24.75	c  S st   776    237755        60      5340         0     27423     37380    423061     18.04     15.79  --
98.95/24.82	c  S st   776    238260        60      5340         0     27881     37380    433056     18.04   no data  --
98.95/24.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
98.95/24.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
98.95/24.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
98.95/24.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
98.95/24.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
98.95/24.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
98.95/24.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
107.73/27.07	c lits-rem:      1846  cl-subs:     2763  v-elim:      0  v-fix:    0  time:  8.88 s
107.73/27.07	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
107.73/27.07	c vivif2 --  cl tried    25118 cl shrink        0 lits rem          0 time: 0.02
109.34/27.46	c asymm  cl-useful: 0/3215/5340 lits-rem:0 time: 1.55
109.34/27.46	c calculated reachability. Time: 0.00
109.34/27.46	c  N dy   776    238260        60      5340         0     25118     37380    375162     18.04   no data  --
121.30/30.43	c  N dy   830    269867        60      5340         0     34520     37380    551761     17.92     18.88  --
128.88/32.30	c  N dy   901    287899        60      5340         0     31146     37380    480626     17.91     19.05  --
136.86/34.38	c  F st   980    306252        60      5340         0     27159     37380    391044     17.93   no data  --
137.26/34.41	c  N st   981    306502        60      5340         0     27382     37380    395737     17.93   no data  --
148.86/37.38	c  N dy  1000    336945        60      5340         0     32995     37380    490990     17.82     18.77  --
159.20/39.96	c  N dy  1105    357024        60      5340         0     28775     37380    404587     17.87     19.20  --
159.60/40.01	c  S st  1109    357390        60      5340         0     29103     37380    411658     17.87   no data  --
159.60/40.09	c  S st  1109    357892        60      5340         0     29550     37380    421424     17.87   no data  --
159.60/40.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
159.60/40.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
160.00/40.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
160.00/40.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
160.00/40.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
160.00/40.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
160.00/40.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
169.59/42.53	c lits-rem:      1534  cl-subs:     1791  v-elim:      0  v-fix:    0  time:  9.64 s
169.59/42.53	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
169.59/42.53	c vivif2 --  cl tried    27759 cl shrink        0 lits rem          0 time: 0.02
170.80/42.83	c asymm  cl-useful: 0/2125/5340 lits-rem:0 time: 1.18
170.80/42.83	c calculated reachability. Time: 0.00
170.80/42.83	c  N dy  1109    357892        60      5340         0     27759     37380    382333     17.87   no data  --
182.35/45.73	c  N dy  1171    381573        60      5340         0     25757     37380    323820     17.83     18.92  --
193.52/48.57	c  N dy  1248    401631        60      5340         0     43598     37380    700786     17.83     19.59  --
204.30/51.21	c  N dy  1367    421674        60      5340         0     37562     37380    570392     17.88     18.94  --
215.12/53.93	c  N dy  1462    441746        60      5340         0     30533     37380    410208     17.91     18.90  --
231.45/58.05	c  N dy  1566    472836        60      5340         0     32299     37380    428900     17.90     18.90  --
242.21/60.78	c  N dy  1650    492868        60      5340         0     50093     37380    806098     17.91     19.91  --
253.79/63.67	c  N dy  1745    513799        60      5340         0     42171     37380    634581     17.93     18.89  --
268.56/67.31	c  N dy  1864    536838        60      5340         0     35064     37380    471533     17.95     15.46  --
268.56/67.31	c  S st  1864    536838        60      5340         0     35064     37380    471533     17.95     15.46  --
268.56/67.39	c  S st  1864    537339        60      5340         0     35531     37380    482084     17.95   no data  --
268.56/67.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
268.56/67.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
268.95/67.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
268.95/67.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
268.95/67.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
268.95/67.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
268.95/67.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
277.73/69.68	c lits-rem:       994  cl-subs:     2007  v-elim:      0  v-fix:    0  time:  9.03 s
277.73/69.68	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
277.73/69.68	c vivif2 --  cl tried    33524 cl shrink        0 lits rem          0 time: 0.02
279.33/70.06	c asymm  cl-useful: 0/2692/5340 lits-rem:0 time: 1.49
279.33/70.06	c calculated reachability. Time: 0.00
279.33/70.06	c  N dy  1864    537339        60      5340         0     33524     37380    439836     17.95   no data  --
292.11/73.23	c  N dy  1984    557354        60      5340         0     51295     37380    824261     17.99     19.19  --
307.66/77.14	c  N dy  2091    583466        60      5340         0     46066     37380    693365     18.00     19.10  --
322.03/80.73	c  N dy  2236    603510        60      5340         0     34698     37380    449306     18.04     19.40  --
343.58/86.18	c  N dy  2320    640600        60      5340         0     37287     37380    476789     17.98     19.09  --
357.95/89.77	c  N dy  2398    660897        60      5340         0     55298     37380    859701     17.99     19.04  --
381.11/95.54	c  N dy  2523    696388        60      5340         0     55609     37380    857426     17.97     18.98  --
395.11/99.06	c  N dy  2595    717212        60      5340         0     42263     37380    575330     17.98     18.95  --
409.03/102.51	c  N dy  2659    737277        60      5340         0     59980     37380    949903     17.97     19.03  --
424.60/106.40	c  N dy  2690    762816        60      5340         0     49776     37380    710022     17.92     18.92  --
441.36/110.67	c  N dy  2780    783505        60      5340         0     34546     37380    390923     17.94     18.96  --
456.93/114.52	c  N dy  2934    806008        60      5340         0     54549     37380    824206     17.97     16.84  --
456.93/114.52	c  S st  2934    806008        60      5340         0     54549     37380    824206     17.97     16.84  --
457.33/114.67	c  S st  2934    806510        60      5340         0     55010     37380    834617     17.97   no data  --
457.33/114.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
457.33/114.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
457.33/114.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
457.73/114.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
457.73/114.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
457.73/114.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
457.73/114.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
487.30/122.13	c lits-rem:      2859  cl-subs:     4958  v-elim:      0  v-fix:    0  time: 29.57 s
487.30/122.13	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
487.30/122.14	c vivif2 --  cl tried    50052 cl shrink        0 lits rem          0 time: 0.03
488.06/122.38	c asymm  cl-useful: 0/786/5340 lits-rem:0 time: 0.95
488.06/122.38	c calculated reachability. Time: 0.00
488.06/122.38	c  N dy  2934    806510        60      5340         0     50052     37380    723714     17.97   no data  --
506.82/127.06	c  N dy  3050    826573        60      5340         0     67860     37380   1107816     17.99     19.05  --
519.99/130.32	c  N dy  3137    846645        60      5340         0     51381     37380    741303     18.00     19.56  --
537.15/134.61	c  N dy  3210    866717        60      5340         0     69162     37380   1120468     18.00     20.44  --
549.52/137.78	c  N dy  3264    886758        60      5340         0     51534     37380    728454     18.00     20.99  --
569.08/142.66	c  N dy  3396    907525        60      5340         0     70009     37380   1129001     18.02     19.00  --
584.64/146.56	c  N dy  3530    927832        60      5340         0     51795     37380    735337     18.05     19.05  --
603.40/151.25	c  N dy  3591    950072        60      5340         0     71424     37380   1149719     18.05     19.15  --
619.00/155.19	c  N dy  3699    970468        60      5340         0     52343     37380    733253     18.06     19.12  --
642.91/161.18	c  N dy  3741   1001823        60      5340         0     41904     37380    493829     18.03     18.99  --
657.28/164.71	c  N dy  3786   1023027        60      5340         0     60642     37380    890430     18.03     19.08  --
680.04/170.47	c  N dy  3916   1044406        60      5340         0     40726     37380    460437     18.05     19.01  --
694.79/174.16	c  N dy  4032   1064410        60      5340         0     58519     37380    845287     18.06     20.44  --
701.99/175.99	c  F st  4086   1071875        60      5340         0     65166     37380    991518     18.07   no data  --
715.17/179.22	c  N dy  4142   1084438        60      5340         0     76279     37380   1234538     18.08     20.08  --
729.91/182.92	c  N dy  4190   1104703        60      5340         0     54242     37380    733615     18.08     19.15  --
748.27/187.51	c  N dy  4263   1126231        60      5340         0     73255     37380   1137914     18.08     19.18  --
767.43/192.32	c  N dy  4385   1146285        60      5340         0     50440     37380    654887     18.10     20.64  --
787.38/197.38	c  N dy  4487   1166360        60      5340         0     68216     37380   1037471     18.11     19.20  --
809.33/202.89	c  N dy  4541   1186367        60      5340         0     44296     37380    508551     18.10     20.66  --
828.48/207.61	c  N dy  4576   1209292        60      5340         0     64421     37380    926474     18.08     19.20  --
828.88/207.76	c  S st  4579   1209765        60      5340         0     64847     37380    935854     18.08     18.25  --
830.07/208.01	c  S st  4579   1210269        60      5340         0     65300     37380    946045     18.08   no data  --
830.07/208.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
830.07/208.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
830.07/208.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.16
830.07/208.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
830.07/208.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
830.07/208.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
830.07/208.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
902.68/226.24	c lits-rem:      2628  cl-subs:     7159  v-elim:      0  v-fix:    0  time: 72.42 s
902.68/226.24	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
902.68/226.25	c vivif2 --  cl tried    58141 cl shrink        0 lits rem          0 time: 0.04
903.91/226.60	c asymm  cl-useful: 0/659/5340 lits-rem:0 time: 1.38
903.91/226.61	c calculated reachability. Time: 0.00
903.91/226.61	c  N dy  4579   1210269        60      5340         0     58141     37380    803502     18.08   no data  --
925.85/232.05	c  N dy  4660   1230898        60      5340         0     76425     37380   1197317     18.09     19.10  --
948.97/237.81	c  N dy  4728   1256681        60      5340         0     57106     37380    769434     18.08     19.16  --
969.76/243.07	c  N dy  4861   1276691        60      5340         0     74881     37380   1157820     18.10     20.78  --
999.26/250.45	c  N dy  4914   1311044        60      5340         0     61929     37380    855536     18.08     19.04  --
1026.41/257.30	c  N dy  4969   1334164        60      5340         0     82274     37380   1285875     18.07     19.06  --
1048.36/262.71	c  N dy  5046   1354207        60      5340         0     56103     37380    734009     18.08     19.04  --
1069.50/268.05	c  N dy  5115   1374296        60      5340         0     73884     37380   1114791     18.08     19.88  --
1095.85/274.67	c  N dy  5186   1395636        60      5340         0     47774     37380    541338     18.08     19.09  --
1112.21/278.74	c  N dy  5282   1415704        60      5340         0     65499     37380    920936     18.09     19.15  --
1134.56/284.40	c  N dy  5330   1438313        60      5340         0     85356     37380   1336334     18.08     19.42  --
1158.94/290.47	c  N dy  5469   1461986        60      5340         0     60504     37380    806832     18.09     19.11  --
1179.66/295.66	c  N dy  5567   1482053        60      5340         0     78274     37380   1188694     18.10     19.91  --
1204.80/301.96	c  N dy  5649   1502102        60      5340         0     49156     37380    552940     18.11     19.08  --
1224.38/306.81	c  N dy  5724   1526419        60      5340         0     70600     37380   1007809     18.10     19.10  --
1263.47/316.61	c  N dy  5764   1570440        60      5340         0     61471     37380    789250     18.06     19.12  --
1287.81/322.76	c  N dy  5856   1594801        60      5340         0     83018     37380   1249194     18.06     19.23  --
1312.59/328.91	c  N dy  5938   1615255        60      5340         0     52618     37380    607418     18.06     19.03  --
1334.54/334.45	c  N dy  6022   1640457        60      5340         0     74822     37380   1077493     18.07     19.14  --
1360.87/341.09	c  N dy  6147   1660487        60      5340         0     92535     37380   1464696     18.08     20.21  --
1384.38/347.00	c  N dy  6277   1680645        60      5340         0     61008     37380    780046     18.09     19.12  --
1413.91/354.38	c  N dy  6319   1710270        60      5340         0     86980     37380   1319817     18.07     16.43  --
1413.91/354.38	c  S st  6319   1710270        60      5340         0     86980     37380   1319817     18.07     16.43  --
1415.51/354.71	c  S st  6319   1710772        60      5340         0     87435     37380   1329746     18.07   no data  --
1415.51/354.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1415.51/354.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1415.51/354.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.20
1415.91/354.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1415.91/354.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1415.91/354.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
1415.91/354.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1603.44/401.87	c lits-rem:      7307  cl-subs:    11415  v-elim:      0  v-fix:    0  time: 187.75 s
1603.44/401.87	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
1603.44/401.89	c vivif2 --  cl tried    76020 cl shrink        0 lits rem          0 time: 0.06
1605.44/402.34	c asymm  cl-useful: 0/521/5340 lits-rem:0 time: 1.82
1605.44/402.35	c calculated reachability. Time: 0.00
1605.44/402.35	c  N dy  6319   1710772        60      5340         0     76020     37380   1096234     18.07   no data  --
1643.35/411.83	c  N dy  6441   1730789        60      5340         0     93761     37380   1480416     18.08     19.43  --
1674.07/419.53	c  N dy  6488   1754897        60      5340         0     65242     37380    844557     18.07     19.10  --
1704.79/427.22	c  N dy  6617   1774915        60      5340         0     83057     37380   1233435     18.08     20.02  --
1744.29/437.14	c  N dy  6694   1796829        60      5340         0     51508     37380    555011     18.08     19.08  --
1770.63/443.79	c  N dy  6793   1816861        60      5340         0     69259     37380    936449     18.08     19.22  --
1806.14/452.64	c  N dy  6883   1836939        60      5340         0     87003     37380   1317474     18.09     19.17  --
1843.69/462.05	c  N dy  6944   1856995        60      5340         0     52806     37380    572951     18.09     19.91  --
1876.77/470.36	c  N dy  7036   1884355        60      5340         0     76906     37380   1086454     18.09     19.16  --
1912.68/479.30	c  N dy  7146   1904536        60      5340         0     94791     37380   1474015     18.10     19.12  --
1944.22/487.26	c  N dy  7257   1924550        60      5340         0     59599     37380    703086     18.10     19.31  --
1970.54/493.84	c  N dy  7355   1951704        60      5340         0     83507     37380   1214522     18.10     19.15  --
2000.05/501.24	c  N dy  7481   1971767        60      5340         0    101352     37380   1604145     18.11     20.59  --
2025.60/507.60	c  N dy  7626   1991894        60      5340         0     65335     37380    826247     18.13     19.16  --
2045.94/512.75	c  N dy  7679   2013253        60      5340         0     84133     37380   1221297     18.12     19.26  --
2076.68/520.43	c  N dy  7770   2035433        60      5340         0    103644     37380   1639746     18.12     19.09  --
2102.24/526.84	c  N dy  7847   2058864        60      5340         0     69582     37380    898476     18.12     19.08  --
2127.36/533.13	c  N dy  7974   2078887        60      5340         0     87338     37380   1286605     18.14     19.15  --
2155.34/540.19	c  N dy  8000   2101256        60      5340         0    106896     37380   1694709     18.13     19.24  --
2178.04/545.85	c  N dy  8089   2121350        60      5340         0     69189     37380    883702     18.13     19.23  --
2203.22/552.20	c  N dy  8207   2141442        60      5340         0     87030     37380   1271833     18.14     19.73  --
2243.14/562.19	c  N dy  8231   2175939        60      5340         0     60810     37380    686041     18.12     19.08  --
2277.03/570.68	c  N dy  8340   2210654        60      5340         0     91359     37380   1332503     18.11     19.12  --
2277.43/570.73	c  S st  8342   2210773        60      5340         0     91464     37380   1334827     18.11   no data  --
2278.27/570.98	c  S st  8342   2211276        60      5340         0     91907     37380   1344448     18.11   no data  --
2278.27/570.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2278.27/570.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2278.62/571.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
2278.62/571.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2278.62/571.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2278.62/571.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
2278.62/571.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2386.77/598.17	c lits-rem:      4748  cl-subs:    11008  v-elim:      0  v-fix:    0  time: 108.13 s
2386.77/598.17	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
2386.77/598.19	c vivif2 --  cl tried    80899 cl shrink        0 lits rem          0 time: 0.06
2388.36/598.51	c asymm  cl-useful: 0/464/5340 lits-rem:0 time: 1.27
2388.36/598.51	c calculated reachability. Time: 0.00
2388.36/598.51	c  N dy  8342   2211276        60      5340         0     80899     37380   1124783     18.11   no data  --
2415.50/605.33	c  N dy  8397   2231358        60      5340         0     98446     37380   1494059     18.11     19.08  --
2449.47/613.89	c  N dy  8534   2251391        60      5340         0     59635     37380    666811     18.12     21.39  --
2479.36/621.31	c  N dy  8596   2282202        60      5340         0     86606     37380   1222805     18.11     19.12  --
2510.92/629.27	c  N dy  8695   2303207        60      5340         0    105139     37380   1621955     18.12     19.21  --
2547.19/638.38	c  N dy  8787   2323266        60      5340         0     65129     37380    768518     18.12     19.59  --
2581.91/647.02	c  N dy  8804   2350524        60      5340         0     88984     37380   1262675     18.10     19.08  --
2631.79/659.52	c  N dy  8964   2370587        60      5340         0    106793     37380   1655841     18.12     20.68  --
2674.48/670.28	c  N dy  9121   2390662        60      5340         0     65748     37380    776342     18.13     20.16  --
2704.80/677.80	c  N dy  9232   2410684        60      5340         0     83511     37380   1162376     18.14     19.80  --
2747.00/688.45	c  N dy  9359   2432830        60      5340         0    103127     37380   1590409     18.15     19.23  --
2793.60/700.22	c  N dy  9429   2453612        60      5340         0     61457     37380    666682     18.15     19.11  --
2823.20/707.72	c  N dy  9536   2473636        60      5340         0     79186     37380   1052130     18.15     20.55  --
2863.10/717.72	c  N dy  9704   2493682        60      5340         0     96959     37380   1447245     18.17     19.47  --
2908.19/729.01	c  N dy  9826   2513781        60      5340         0    114762     37380   1835125     18.18     20.75  --
2946.10/738.54	c  N dy  9936   2534727        60      5340         0     72232     37380    890659     18.18     19.39  --
2976.42/746.19	c  N dy 10061   2555390        60      5340         0     90545     37380   1290536     18.19     19.16  --
3013.14/755.38	c  N dy 10150   2576017        60      5340         0    108747     37380   1684676     18.20     19.18  --
3049.89/764.56	c  N dy 10250   2596034        60      5340         0     64586     37380    715113     18.20     20.36  --
3073.40/770.42	c  N dy 10370   2616070        60      5340         0     82234     37380   1097702     18.21     20.52  --
3102.16/777.61	c  N dy 10435   2637675        60      5340         0    101279     37380   1502214     18.21     19.24  --
3141.25/787.43	c  N dy 10557   2658421        60      5340         0    119563     37380   1900992     18.21     19.27  --
3169.18/794.41	c  N dy 10644   2678423        60      5340         0     74582     37380    921517     18.22     21.26  --
3194.76/800.87	c  N dy 10758   2698458        60      5340         0     92266     37380   1308456     18.22     19.98  --
3213.08/805.40	c  S st 10801   2711276        60      5340         0    103549     37380   1549239     18.22     18.49  --
3214.28/805.73	c  S st 10801   2711780        60      5340         0    104010     37380   1559518     18.22   no data  --
3214.28/805.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3214.28/805.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3214.28/805.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
3214.68/805.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3214.68/805.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3214.68/805.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
3214.68/805.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3602.54/903.03	c lits-rem:      6872  cl-subs:    10714  v-elim:      0  v-fix:    0  time: 387.72 s
3602.54/903.03	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
3602.54/903.05	c vivif2 --  cl tried    93296 cl shrink        0 lits rem          0 time: 0.07
3603.71/903.37	c asymm  cl-useful: 0/605/5340 lits-rem:0 time: 1.28
3603.71/903.37	c calculated reachability. Time: 0.00
3603.71/903.37	c  N dy 10801   2711780        60      5340         0     93296     37380   1324937     18.22   no data  --
3633.69/910.85	c  N dy 10860   2732859        60      5340         0    111727     37380   1713190     18.22     19.21  --
3666.38/919.00	c  N dy 10918   2753523        60      5340         0     67068     37380    757808     18.22     19.23  --
3691.11/925.27	c  N dy 10995   2777163        60      5340         0     87970     37380   1205445     18.22     19.50  --
3723.84/933.49	c  N dy 11071   2797205        60      5340         0    105573     37380   1582667     18.22     19.20  --
3766.94/944.27	c  N dy 11186   2817275        60      5340         0    123307     37380   1970027     18.23     22.00  --
3806.44/954.10	c  N dy 11290   2837367        60      5340         0     77035     37380    961380     18.23     19.26  --
3834.37/961.11	c  N dy 11303   2858051        60      5340         0     95080     37380   1337071     18.22     19.33  --
3872.27/970.66	c  N dy 11367   2878267        60      5340         0    112857     37380   1716670     18.22     19.25  --
3922.15/983.10	c  N dy 11461   2898497        60      5340         0     65751     37380    704336     18.22     19.26  --
3950.87/990.39	c  N dy 11527   2918516        60      5340         0     83359     37380   1081095     18.22     19.21  --
3996.37/1001.72	c  N dy 11614   2942925        60      5340         0    104899     37380   1539575     18.22     19.35  --
4044.25/1013.76	c  N dy 11715   2963123        60      5340         0    122688     37380   1924523     18.22     19.20  --
4092.13/1025.79	c  N dy 11763   2991542        60      5340         0     81596     37380   1017575     18.21     19.22  --
4123.65/1033.68	c  N dy 11806   3011586        60      5340         0     99251     37380   1393523     18.21     20.83  --
4172.33/1045.85	c  N dy 11954   3031738        60      5340         0    117060     37380   1786068     18.22     19.20  --
4231.37/1060.67	c  N dy 12043   3058427        60      5340         0     73680     37380    847227     18.22     19.24  --
4266.88/1069.51	c  N dy 12154   3078503        60      5340         0     91439     37380   1230890     18.22     19.86  --
4323.95/1083.86	c  N dy 12214   3111643        60      5340         0    120385     37380   1832634     18.21     19.40  --
4376.62/1097.02	c  N dy 12330   3136954        60      5340         0     74938     37380    865974     18.22     19.20  --
4402.56/1103.54	c  N dy 12371   3157198        60      5340         0     92612     37380   1238451     18.21     19.24  --
4435.69/1111.83	c  N dy 12452   3177366        60      5340         0    110454     37380   1624169     18.21     19.19  --
4473.60/1121.31	c  N dy 12509   3197373        60      5340         0    127993     37380   1996027     18.21     19.63  --
4507.91/1129.94	c  S st 12616   3211781        60      5340         0     72164     37380    805886     18.22   no data  --
4508.71/1130.19	c  S st 12616   3212284        60      5340         0     72615     37380    816126     18.22   no data  --
4508.71/1130.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4508.71/1130.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4509.11/1130.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
4509.11/1130.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4509.11/1130.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4509.11/1130.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
4509.11/1130.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4586.54/1149.69	c lits-rem:       532  cl-subs:      933  v-elim:      0  v-fix:    0  time: 77.55 s
4586.54/1149.69	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
4586.94/1149.71	c vivif2 --  cl tried    71682 cl shrink        0 lits rem          0 time: 0.05
4588.14/1150.05	c asymm  cl-useful: 0/624/5340 lits-rem:0 time: 1.38
4588.14/1150.06	c calculated reachability. Time: 0.00
4588.14/1150.06	c  N dy 12616   3212284        60      5340         0     71682     37380    794126     18.22   no data  --
4651.20/1165.84	c  N dy 12729   3257014        60      5340         0    110486     37380   1595064     18.21     19.27  --
4694.70/1176.76	c  N dy 12808   3277034        60      5340         0    128126     37380   1974141     18.21     20.76  --
4736.60/1187.27	c  N dy 12897   3297100        60      5340         0     76704     37380    896013     18.21     20.07  --
4765.76/1194.56	c  N dy 13010   3317187        60      5340         0     94488     37380   1284247     18.22     19.72  --
4796.90/1202.32	c  N dy 13084   3337837        60      5340         0    112745     37380   1674400     18.22     19.22  --

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-3368930-1305406374/watcher-3368930-1305406374 -o /tmp/evaluation-result-3368930-1305406374/solver-3368930-1305406374 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368930-1305406374.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 6.98 7.80 7.43 6/298 20915
/proc/meminfo: memFree=27767856/32951124 swapFree=63649232/67111528
[pid=20915] ppid=20913 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/20915/stat : 20915 (strangenight1-m) R 20913 20915 20874 0 -1 4202496 413 0 0 0 0 0 0 0 23 0 4 0 652235899 52465664 353 33554432000 4194304 4650419 140737306799888 18446744073709551615 47482778765228 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20915/statm: 12809 353 303 112 0 7774 0
[pid=20915/tid=20916] ppid=20913 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/20915/task/20916/stat : 20916 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 652235899 52465664 353 33554432000 4194304 4650419 140737306799888 18446744073709551615 47482778765234 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20915/tid=20917] ppid=20913 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/20915/task/20917/stat : 20917 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652235899 52465664 353 33554432000 4194304 4650419 140737306799888 18446744073709551615 210204703729 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20915/tid=20918] ppid=20913 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/20915/task/20918/stat : 20918 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652235899 52465664 353 33554432000 4194304 4650419 140737306799888 18446744073709551615 47482778765238 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.017007 s]
/proc/loadavg: 6.98 7.80 7.43 6/298 20915
/proc/meminfo: memFree=27767856/32951124 swapFree=63649232/67111528
[pid=20915] ppid=20913 vsize=281636 CPUtime=0.04 cores=1,3,5,7
/proc/20915/stat : 20915 (strangenight1-m) R 20913 20915 20874 0 -1 4202496 1154 0 0 0 4 0 0 0 18 0 4 0 652235899 288395264 1060 33554432000 4194304 4650419 140737306799888 18446744073709551615 4370658 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20915/statm: 70409 1060 366 112 0 65374 0
[pid=20915/tid=20916] ppid=20913 vsize=281636 CPUtime=0.01 cores=1,3,5,7
/proc/20915/task/20916/stat : 20916 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 185 0 0 0 1 0 0 0 18 0 4 0 652235899 288395264 1060 33554432000 4194304 4650419 140737306799888 18446744073709551615 4371088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20915/tid=20917] ppid=20913 vsize=281636 CPUtime=0 cores=1,3,5,7
/proc/20915/task/20917/stat : 20917 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 188 0 0 0 0 0 0 0 25 0 4 0 652235899 288395264 1060 33554432000 4194304 4650419 140737306799888 18446744073709551615 4370576 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20915/tid=20918] ppid=20913 vsize=281636 CPUtime=0 cores=1,3,5,7
/proc/20915/task/20918/stat : 20918 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 181 0 0 0 0 0 0 0 18 0 4 0 652235899 288395264 1061 33554432000 4194304 4650419 140737306799888 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 281636

[startup+0.100992 s]
/proc/loadavg: 6.98 7.80 7.43 6/298 20915
/proc/meminfo: memFree=27767856/32951124 swapFree=63649232/67111528
[pid=20915] ppid=20913 vsize=281636 CPUtime=0.37 cores=1,3,5,7
/proc/20915/stat : 20915 (strangenight1-m) R 20913 20915 20874 0 -1 4202496 1319 0 0 0 37 0 0 0 18 0 4 0 652235899 288395264 1225 33554432000 4194304 4650419 140737306799888 18446744073709551615 4370697 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20915/statm: 70409 1225 366 112 0 65374 0
[pid=20915/tid=20916] ppid=20913 vsize=281636 CPUtime=0.09 cores=1,3,5,7
/proc/20915/task/20916/stat : 20916 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 197 0 0 0 9 0 0 0 18 0 4 0 652235899 288395264 1225 33554432000 4194304 4650419 140737306799888 18446744073709551615 4370511 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20915/tid=20917] ppid=20913 vsize=281636 CPUtime=0.08 cores=1,3,5,7
/proc/20915/task/20917/stat : 20917 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 197 0 0 0 8 0 0 0 25 0 4 0 652235899 288395264 1225 33554432000 4194304 4650419 140737306799888 18446744073709551615 4370697 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20915/tid=20918] ppid=20913 vsize=281636 CPUtime=0.09 cores=1,3,5,7
/proc/20915/task/20918/stat : 20918 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 312 0 0 0 9 0 0 0 18 0 4 0 652235899 288395264 1225 33554432000 4194304 4650419 140737306799888 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 281636

[startup+0.300961 s]
/proc/loadavg: 6.98 7.80 7.43 6/298 20915
/proc/meminfo: memFree=27767856/32951124 swapFree=63649232/67111528
[pid=20915] ppid=20913 vsize=285120 CPUtime=1.17 cores=1,3,5,7
/proc/20915/stat : 20915 (strangenight1-m) R 20913 20915 20874 0 -1 4202496 3718 0 0 0 117 0 0 0 18 0 4 0 652235899 291962880 2771 33554432000 4194304 4650419 140737306799888 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20915/statm: 71280 2771 390 112 0 66245 0
[pid=20915/tid=20916] ppid=20913 vsize=285120 CPUtime=0.29 cores=1,3,5,7
/proc/20915/task/20916/stat : 20916 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 904 0 0 0 29 0 0 0 18 0 4 0 652235899 291962880 2771 33554432000 4194304 4650419 140737306799888 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20915/tid=20917] ppid=20913 vsize=285120 CPUtime=0.28 cores=1,3,5,7
/proc/20915/task/20917/stat : 20917 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 896 0 0 0 28 0 0 0 25 0 4 0 652235899 291962880 2771 33554432000 4194304 4650419 140737306799888 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20915/tid=20918] ppid=20913 vsize=285120 CPUtime=0.29 cores=1,3,5,7
/proc/20915/task/20918/stat : 20918 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 627 0 0 0 29 0 0 0 18 0 4 0 652235899 291962880 2771 33554432000 4194304 4650419 140737306799888 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 285120

[startup+0.700895 s]
/proc/loadavg: 6.98 7.80 7.43 6/298 20915
/proc/meminfo: memFree=27767856/32951124 swapFree=63649232/67111528
[pid=20915] ppid=20913 vsize=285776 CPUtime=2.77 cores=1,3,5,7
/proc/20915/stat : 20915 (strangenight1-m) R 20913 20915 20874 0 -1 4202496 5683 0 0 0 276 1 0 0 18 0 4 0 652235899 292634624 3548 33554432000 4194304 4650419 140737306799888 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20915/statm: 71444 3548 390 112 0 66409 0
[pid=20915/tid=20916] ppid=20913 vsize=285776 CPUtime=0.69 cores=1,3,5,7
/proc/20915/task/20916/stat : 20916 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 1383 0 0 0 69 0 0 0 18 0 4 0 652235899 292634624 3548 33554432000 4194304 4650419 140737306799888 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20915/tid=20917] ppid=20913 vsize=285776 CPUtime=0.68 cores=1,3,5,7
/proc/20915/task/20917/stat : 20917 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 1325 0 0 0 68 0 0 0 25 0 4 0 652235899 292634624 3548 33554432000 4194304 4650419 140737306799888 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20915/tid=20918] ppid=20913 vsize=285776 CPUtime=0.69 cores=1,3,5,7
/proc/20915/task/20918/stat : 20918 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 1239 0 0 0 69 0 0 0 18 0 4 0 652235899 292634624 3548 33554432000 4194304 4650419 140737306799888 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285776

[startup+1.50076 s]
/proc/loadavg: 6.98 7.80 7.43 9/302 20919
/proc/meminfo: memFree=27745380/32951124 swapFree=63649232/67111528
[pid=20915] ppid=20913 vsize=291496 CPUtime=5.96 cores=1,3,5,7
/proc/20915/stat : 20915 (strangenight1-m) R 20913 20915 20874 0 -1 4202496 9999 0 0 0 595 1 0 0 20 0 4 0 652235899 298491904 5368 33554432000 4194304 4650419 140737306799888 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20915/statm: 72874 5368 392 112 0 67839 0
[pid=20915/tid=20916] ppid=20913 vsize=291496 CPUtime=1.49 cores=1,3,5,7
/proc/20915/task/20916/stat : 20916 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 2239 0 0 0 149 0 0 0 19 0 4 0 652235899 298491904 5368 33554432000 4194304 4650419 140737306799888 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20915/tid=20917] ppid=20913 vsize=291496 CPUtime=1.47 cores=1,3,5,7
/proc/20915/task/20917/stat : 20917 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 2063 0 0 0 147 0 0 0 25 0 4 0 652235899 298491904 5368 33554432000 4194304 4650419 140737306799888 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20915/tid=20918] ppid=20913 vsize=291496 CPUtime=1.48 cores=1,3,5,7
/proc/20915/task/20918/stat : 20918 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 2054 0 0 0 148 0 0 0 20 0 4 0 652235899 298491904 5368 33554432000 4194304 4650419 140737306799888 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 291496

[startup+3.1005 s]
/proc/loadavg: 6.98 7.80 7.43 9/302 20919
/proc/meminfo: memFree=27714380/32951124 swapFree=63649232/67111528
[pid=20915] ppid=20913 vsize=283060 CPUtime=12.35 cores=1,3,5,7
/proc/20915/stat : 20915 (strangenight1-m) R 20913 20915 20874 0 -1 4202496 16589 0 0 0 1232 3 0 0 25 0 4 0 652235899 289853440 10229 33554432000 4194304 4650419 140737306799888 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20915/statm: 70765 10229 392 112 0 65730 0
[pid=20915/tid=20916] ppid=20913 vsize=283060 CPUtime=3.09 cores=1,3,5,7
/proc/20915/task/20916/stat : 20916 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 3709 0 0 0 308 1 0 0 25 0 4 0 652235899 289853440 10229 33554432000 4194304 4650419 140737306799888 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20915/tid=20917] ppid=20913 vsize=283060 CPUtime=3.06 cores=1,3,5,7
/proc/20915/task/20917/stat : 20917 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 4318 0 0 0 306 0 0 0 25 0 4 0 652235899 289853440 10229 33554432000 4194304 4650419 140737306799888 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20915/tid=20918] ppid=20913 vsize=283060 CPUtime=3.08 cores=1,3,5,7
/proc/20915/task/20918/stat : 20918 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 4410 0 0 0 308 0 0 0 25 0 4 0 652235899 289853440 10229 33554432000 4194304 4650419 140737306799888 18446744073709551615 4370697 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 283060

[startup+6.30096 s]
/proc/loadavg: 7.07 7.81 7.43 9/302 20919
/proc/meminfo: memFree=27672148/32951124 swapFree=63649232/67111528
[pid=20915] ppid=20913 vsize=284108 CPUtime=25.12 cores=1,3,5,7
/proc/20915/stat : 20915 (strangenight1-m) R 20913 20915 20874 0 -1 4202496 24370 0 0 0 2507 5 0 0 25 0 4 0 652235899 290926592 13016 33554432000 4194304 4650419 140737306799888 18446744073709551615 4438671 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20915/statm: 71027 13016 392 112 0 65992 0
[pid=20915/tid=20916] ppid=20913 vsize=284108 CPUtime=6.29 cores=1,3,5,7
/proc/20915/task/20916/stat : 20916 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 6297 0 0 0 628 1 0 0 25 0 4 0 652235899 290926592 13016 33554432000 4194304 4650419 140737306799888 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20915/tid=20917] ppid=20913 vsize=284108 CPUtime=6.23 cores=1,3,5,7
/proc/20915/task/20917/stat : 20917 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 6119 0 0 0 622 1 0 0 25 0 4 0 652235899 290926592 13016 33554432000 4194304 4650419 140737306799888 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20915/tid=20918] ppid=20913 vsize=284108 CPUtime=6.29 cores=1,3,5,7
/proc/20915/task/20918/stat : 20918 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 6437 0 0 0 628 1 0 0 25 0 4 0 652235899 290926592 13016 33554432000 4194304 4650419 140737306799888 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 284108

[startup+12.7009 s]
/proc/loadavg: 7.14 7.81 7.44 9/302 20919
/proc/meminfo: memFree=27626756/32951124 swapFree=63649232/67111528
[pid=20915] ppid=20913 vsize=289048 CPUtime=50.66 cores=1,3,5,7
/proc/20915/stat : 20915 (strangenight1-m) R 20913 20915 20874 0 -1 4202496 35730 0 0 0 5058 8 0 0 25 0 4 0 652235899 295985152 17849 33554432000 4194304 4650419 140737306799888 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20915/statm: 72262 17849 392 112 0 67227 0
[pid=20915/tid=20916] ppid=20913 vsize=289048 CPUtime=12.69 cores=1,3,5,7
/proc/20915/task/20916/stat : 20916 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 9646 0 0 0 1267 2 0 0 25 0 4 0 652235899 295985152 17849 33554432000 4194304 4650419 140737306799888 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20915/tid=20917] ppid=20913 vsize=289048 CPUtime=12.57 cores=1,3,5,7
/proc/20915/task/20917/stat : 20917 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 8342 0 0 0 1256 1 0 0 25 0 4 0 652235899 295985152 17849 33554432000 4194304 4650419 140737306799888 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20915/tid=20918] ppid=20913 vsize=289048 CPUtime=12.69 cores=1,3,5,7
/proc/20915/task/20918/stat : 20918 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 9310 0 0 0 1267 2 0 0 25 0 4 0 652235899 295985152 17849 33554432000 4194304 4650419 140737306799888 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 289048

[startup+25.5008 s]
/proc/loadavg: 7.33 7.82 7.45 9/302 20919
/proc/meminfo: memFree=27585620/32951124 swapFree=63649232/67111528
[pid=20915] ppid=20913 vsize=284784 CPUtime=101.74 cores=1,3,5,7
/proc/20915/stat : 20915 (strangenight1-m) R 20913 20915 20874 0 -1 4202496 55945 0 0 0 10160 14 0 0 25 0 4 0 652235899 291618816 20143 33554432000 4194304 4650419 140737306799888 18446744073709551615 4433048 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20915/statm: 71196 20143 392 112 0 66161 0
[pid=20915/tid=20916] ppid=20913 vsize=284784 CPUtime=25.48 cores=1,3,5,7
/proc/20915/task/20916/stat : 20916 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 14720 0 0 0 2545 3 0 0 25 0 4 0 652235899 291618816 20143 33554432000 4194304 4650419 140737306799888 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20915/tid=20917] ppid=20913 vsize=284784 CPUtime=25.25 cores=1,3,5,7
/proc/20915/task/20917/stat : 20917 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 13577 0 0 0 2523 2 0 0 25 0 4 0 652235899 291618816 20143 33554432000 4194304 4650419 140737306799888 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20915/tid=20918] ppid=20913 vsize=284784 CPUtime=25.49 cores=1,3,5,7
/proc/20915/task/20918/stat : 20918 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 14037 0 0 0 2545 4 0 0 25 0 4 0 652235899 291618816 20143 33554432000 4194304 4650419 140737306799888 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 284784

[startup+51.1005 s]
/proc/loadavg: 7.56 7.83 7.46 9/302 20920
/proc/meminfo: memFree=27527296/32951124 swapFree=63649232/67111528
[pid=20915] ppid=20913 vsize=288188 CPUtime=203.9 cores=1,3,5,7
/proc/20915/stat : 20915 (strangenight1-m) R 20913 20915 20874 0 -1 4202496 84210 0 0 0 20369 21 0 0 25 0 4 0 652235899 295104512 27043 33554432000 4194304 4650419 140737306799888 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20915/statm: 72047 27043 392 112 0 67012 0
[pid=20915/tid=20916] ppid=20913 vsize=288188 CPUtime=51.09 cores=1,3,5,7
/proc/20915/task/20916/stat : 20916 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 21061 0 0 0 5104 5 0 0 25 0 4 0 652235899 295104512 27043 33554432000 4194304 4650419 140737306799888 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20915/tid=20917] ppid=20913 vsize=288188 CPUtime=50.61 cores=1,3,5,7
/proc/20915/task/20917/stat : 20917 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 21441 0 0 0 5058 3 0 0 25 0 4 0 652235899 295104512 27043 33554432000 4194304 4650419 140737306799888 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20915/tid=20918] ppid=20913 vsize=288188 CPUtime=51.09 cores=1,3,5,7
/proc/20915/task/20918/stat : 20918 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 21856 0 0 0 5103 6 0 0 25 0 4 0 652235899 295104512 27043 33554432000 4194304 4650419 140737306799888 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 288188

[startup+102.311 s]
/proc/loadavg: 7.81 7.86 7.48 9/302 20921
/proc/meminfo: memFree=27467864/32951124 swapFree=63649232/67111528
[pid=20915] ppid=20913 vsize=309052 CPUtime=408.28 cores=1,3,5,7
/proc/20915/stat : 20915 (strangenight1-m) R 20913 20915 20874 0 -1 4202496 121509 0 0 0 40794 34 0 0 25 0 4 0 652235899 316469248 33340 33554432000 4194304 4650419 140737306799888 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20915/statm: 77263 33340 392 112 0 72228 0
[pid=20915/tid=20916] ppid=20913 vsize=309052 CPUtime=102.3 cores=1,3,5,7
/proc/20915/task/20916/stat : 20916 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 29988 0 0 0 10222 8 0 0 25 0 4 0 652235899 316469248 33340 33554432000 4194304 4650419 140737306799888 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20915/tid=20917] ppid=20913 vsize=309052 CPUtime=101.36 cores=1,3,5,7
/proc/20915/task/20917/stat : 20917 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 31566 0 0 0 10129 7 0 0 25 0 4 0 652235899 316469248 33340 33554432000 4194304 4650419 140737306799888 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20915/tid=20918] ppid=20913 vsize=309052 CPUtime=102.29 cores=1,3,5,7
/proc/20915/task/20918/stat : 20918 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 33280 0 0 0 10220 9 0 0 25 0 4 0 652235899 316469248 33340 33554432000 4194304 4650419 140737306799888 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.28
Current children cumulated vsize (KiB) 309052

[startup+162.301 s]

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

[pid=20915] ppid=20913 vsize=479048 CPUtime=2801.88 cores=1,3,5,7
/proc/20915/stat : 20915 (strangenight1-m) R 20913 20915 20874 0 -1 4202496 359990 0 0 0 280058 130 0 0 25 0 4 0 652235899 490545152 74299 33554432000 4194304 4650419 140737306799888 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20915/statm: 119762 74299 392 112 0 114727 0
[pid=20915/tid=20916] ppid=20913 vsize=479048 CPUtime=702.3 cores=1,3,5,7
/proc/20915/task/20916/stat : 20916 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 99096 0 0 0 70199 31 0 0 25 0 4 0 652235899 490545152 74299 33554432000 4194304 4650419 140737306799888 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20915/tid=20917] ppid=20913 vsize=479048 CPUtime=695.56 cores=1,3,5,7
/proc/20915/task/20917/stat : 20917 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 92369 0 0 0 69521 35 0 0 25 0 4 0 652235899 490545152 74299 33554432000 4194304 4650419 140737306799888 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20915/tid=20918] ppid=20913 vsize=479048 CPUtime=702.29 cores=1,3,5,7
/proc/20915/task/20918/stat : 20918 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 88018 0 0 0 70201 28 0 0 25 0 4 0 652235899 490545152 74299 33554432000 4194304 4650419 140737306799888 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2801.88
Current children cumulated vsize (KiB) 479048

[startup+762.311 s]
/proc/loadavg: 8.20 8.13 7.81 9/302 20951
/proc/meminfo: memFree=27070280/32951124 swapFree=63649232/67111528
[pid=20915] ppid=20913 vsize=447808 CPUtime=3041.11 cores=1,3,5,7
/proc/20915/stat : 20915 (strangenight1-m) R 20913 20915 20874 0 -1 4202496 372104 0 0 0 303975 136 0 0 25 0 4 0 652235899 458555392 71113 33554432000 4194304 4650419 140737306799888 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20915/statm: 111952 71113 392 112 0 106917 0
[pid=20915/tid=20916] ppid=20913 vsize=447808 CPUtime=762.31 cores=1,3,5,7
/proc/20915/task/20916/stat : 20916 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 99888 0 0 0 76200 31 0 0 25 0 4 0 652235899 458555392 71113 33554432000 4194304 4650419 140737306799888 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20915/tid=20917] ppid=20913 vsize=447808 CPUtime=754.99 cores=1,3,5,7
/proc/20915/task/20917/stat : 20917 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 95326 0 0 0 75462 37 0 0 25 0 4 0 652235899 458555392 71113 33554432000 4194304 4650419 140737306799888 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20915/tid=20918] ppid=20913 vsize=447808 CPUtime=762.3 cores=1,3,5,7
/proc/20915/task/20918/stat : 20918 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 92692 0 0 0 76201 29 0 0 25 0 4 0 652235899 458555392 71113 33554432000 4194304 4650419 140737306799888 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3041.11
Current children cumulated vsize (KiB) 447808

[startup+822.301 s]
/proc/loadavg: 8.13 8.12 7.82 9/302 20952
/proc/meminfo: memFree=27071244/32951124 swapFree=63649232/67111528
[pid=20915] ppid=20913 vsize=445976 CPUtime=3280.51 cores=1,3,5,7
/proc/20915/stat : 20915 (strangenight1-m) R 20913 20915 20874 0 -1 4202496 390390 0 0 0 327907 144 0 0 25 0 4 0 652235899 456679424 72892 33554432000 4194304 4650419 140737306799888 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20915/statm: 111494 72892 392 112 0 106459 0
[pid=20915/tid=20916] ppid=20913 vsize=445976 CPUtime=822.3 cores=1,3,5,7
/proc/20915/task/20916/stat : 20916 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 102447 0 0 0 82197 33 0 0 25 0 4 0 652235899 456679424 72892 33554432000 4194304 4650419 140737306799888 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20915/tid=20917] ppid=20913 vsize=445976 CPUtime=814.41 cores=1,3,5,7
/proc/20915/task/20917/stat : 20917 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 98206 0 0 0 81403 38 0 0 25 0 4 0 652235899 456679424 72892 33554432000 4194304 4650419 140737306799888 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20915/tid=20918] ppid=20913 vsize=445976 CPUtime=822.29 cores=1,3,5,7
/proc/20915/task/20918/stat : 20918 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 98932 0 0 0 82197 32 0 0 25 0 4 0 652235899 456679424 72892 33554432000 4194304 4650419 140737306799888 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3280.51
Current children cumulated vsize (KiB) 445976

[startup+882.301 s]
/proc/loadavg: 8.05 8.10 7.83 9/302 20954
/proc/meminfo: memFree=27040588/32951124 swapFree=63649232/67111528
[pid=20915] ppid=20913 vsize=460784 CPUtime=3519.92 cores=1,3,5,7
/proc/20915/stat : 20915 (strangenight1-m) R 20913 20915 20874 0 -1 4202496 399839 0 0 0 351843 149 0 0 25 0 4 0 652235899 471842816 71877 33554432000 4194304 4650419 140737306799888 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20915/statm: 115196 71877 392 112 0 110161 0
[pid=20915/tid=20916] ppid=20913 vsize=460784 CPUtime=882.3 cores=1,3,5,7
/proc/20915/task/20916/stat : 20916 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 106451 0 0 0 88195 35 0 0 25 0 4 0 652235899 471842816 71877 33554432000 4194304 4650419 140737306799888 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20915/tid=20917] ppid=20913 vsize=460784 CPUtime=873.81 cores=1,3,5,7
/proc/20915/task/20917/stat : 20917 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 100782 0 0 0 87342 39 0 0 25 0 4 0 652235899 471842816 71877 33554432000 4194304 4650419 140737306799888 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20915/tid=20918] ppid=20913 vsize=460784 CPUtime=882.3 cores=1,3,5,7
/proc/20915/task/20918/stat : 20918 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 101252 0 0 0 88196 34 0 0 25 0 4 0 652235899 471842816 71877 33554432000 4194304 4650419 140737306799888 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3519.92
Current children cumulated vsize (KiB) 460784

[startup+942.301 s]
/proc/loadavg: 8.06 8.09 7.84 9/302 20955
/proc/meminfo: memFree=27035076/32951124 swapFree=63649232/67111528
[pid=20915] ppid=20913 vsize=448352 CPUtime=3759.36 cores=1,3,5,7
/proc/20915/stat : 20915 (strangenight1-m) R 20913 20915 20874 0 -1 4202496 412790 0 0 0 375780 156 0 0 25 0 4 0 652235899 459112448 75025 33554432000 4194304 4650419 140737306799888 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20915/statm: 112088 75025 392 112 0 107053 0
[pid=20915/tid=20916] ppid=20913 vsize=448352 CPUtime=942.3 cores=1,3,5,7
/proc/20915/task/20916/stat : 20916 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 108969 0 0 0 94193 37 0 0 25 0 4 0 652235899 459112448 75025 33554432000 4194304 4650419 140737306799888 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20915/tid=20917] ppid=20913 vsize=448352 CPUtime=933.25 cores=1,3,5,7
/proc/20915/task/20917/stat : 20917 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 104696 0 0 0 93284 41 0 0 25 0 4 0 652235899 459112448 75025 33554432000 4194304 4650419 140737306799888 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20915/tid=20918] ppid=20913 vsize=448352 CPUtime=942.3 cores=1,3,5,7
/proc/20915/task/20918/stat : 20918 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 104758 0 0 0 94194 36 0 0 25 0 4 0 652235899 459112448 75025 33554432000 4194304 4650419 140737306799888 18446744073709551615 4438387 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3759.36
Current children cumulated vsize (KiB) 448352

[startup+1002.3 s]
/proc/loadavg: 8.07 8.09 7.85 9/302 20957
/proc/meminfo: memFree=27024892/32951124 swapFree=63649232/67111528
[pid=20915] ppid=20913 vsize=466268 CPUtime=3998.76 cores=1,3,5,7
/proc/20915/stat : 20915 (strangenight1-m) R 20913 20915 20874 0 -1 4202496 424284 0 0 0 399714 162 0 0 25 0 4 0 652235899 477458432 74541 33554432000 4194304 4650419 140737306799888 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20915/statm: 116567 74541 392 112 0 111532 0
[pid=20915/tid=20916] ppid=20913 vsize=466268 CPUtime=1002.3 cores=1,3,5,7
/proc/20915/task/20916/stat : 20916 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 109272 0 0 0 100193 37 0 0 25 0 4 0 652235899 477458432 74541 33554432000 4194304 4650419 140737306799888 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20915/tid=20917] ppid=20913 vsize=466268 CPUtime=992.65 cores=1,3,5,7
/proc/20915/task/20917/stat : 20917 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 109168 0 0 0 99220 45 0 0 25 0 4 0 652235899 477458432 74541 33554432000 4194304 4650419 140737306799888 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20915/tid=20918] ppid=20913 vsize=466268 CPUtime=1002.3 cores=1,3,5,7
/proc/20915/task/20918/stat : 20918 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 108553 0 0 0 100194 36 0 0 25 0 4 0 652235899 477458432 74541 33554432000 4194304 4650419 140737306799888 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3998.76
Current children cumulated vsize (KiB) 466268

[startup+1062.3 s]
/proc/loadavg: 8.10 8.10 7.87 9/302 20959
/proc/meminfo: memFree=26995988/32951124 swapFree=63649232/67111528
[pid=20915] ppid=20913 vsize=466320 CPUtime=4238.17 cores=1,3,5,7
/proc/20915/stat : 20915 (strangenight1-m) R 20913 20915 20874 0 -1 4202496 430788 0 0 0 423651 166 0 0 25 0 4 0 652235899 477511680 76202 33554432000 4194304 4650419 140737306799888 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20915/statm: 116580 76202 392 112 0 111545 0
[pid=20915/tid=20916] ppid=20913 vsize=466320 CPUtime=1062.3 cores=1,3,5,7
/proc/20915/task/20916/stat : 20916 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 109272 0 0 0 106193 37 0 0 25 0 4 0 652235899 477511680 76202 33554432000 4194304 4650419 140737306799888 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20915/tid=20917] ppid=20913 vsize=466320 CPUtime=1052.06 cores=1,3,5,7
/proc/20915/task/20917/stat : 20917 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 113258 0 0 0 105158 48 0 0 25 0 4 0 652235899 477511680 76202 33554432000 4194304 4650419 140737306799888 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20915/tid=20918] ppid=20913 vsize=466320 CPUtime=1062.3 cores=1,3,5,7
/proc/20915/task/20918/stat : 20918 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 110261 0 0 0 106194 36 0 0 25 0 4 0 652235899 477511680 76202 33554432000 4194304 4650419 140737306799888 18446744073709551615 4476812 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4238.17
Current children cumulated vsize (KiB) 466320

[startup+1122.3 s]
/proc/loadavg: 8.07 8.09 7.88 9/302 20960
/proc/meminfo: memFree=26964092/32951124 swapFree=63649232/67111528
[pid=20915] ppid=20913 vsize=478912 CPUtime=4477.59 cores=1,3,5,7
/proc/20915/stat : 20915 (strangenight1-m) R 20913 20915 20874 0 -1 4202496 443021 0 0 0 447588 171 0 0 25 0 4 0 652235899 490405888 83184 33554432000 4194304 4650419 140737306799888 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20915/statm: 119728 83184 392 112 0 114693 0
[pid=20915/tid=20916] ppid=20913 vsize=478912 CPUtime=1122.3 cores=1,3,5,7
/proc/20915/task/20916/stat : 20916 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 109893 0 0 0 112193 37 0 0 25 0 4 0 652235899 490405888 83184 33554432000 4194304 4650419 140737306799888 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20915/tid=20917] ppid=20913 vsize=478912 CPUtime=1111.47 cores=1,3,5,7
/proc/20915/task/20917/stat : 20917 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 119840 0 0 0 111097 50 0 0 25 0 4 0 652235899 490405888 83184 33554432000 4194304 4650419 140737306799888 18446744073709551615 4439120 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20915/tid=20918] ppid=20913 vsize=478912 CPUtime=1122.3 cores=1,3,5,7
/proc/20915/task/20918/stat : 20918 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 112870 0 0 0 112193 37 0 0 25 0 4 0 652235899 490405888 83184 33554432000 4194304 4650419 140737306799888 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4477.59
Current children cumulated vsize (KiB) 478912

[startup+1182.3 s]
/proc/loadavg: 8.02 8.07 7.89 9/302 20962
/proc/meminfo: memFree=26945956/32951124 swapFree=63649232/67111528
[pid=20915] ppid=20913 vsize=506992 CPUtime=4717.05 cores=1,3,5,7
/proc/20915/stat : 20915 (strangenight1-m) R 20913 20915 20874 0 -1 4202496 451967 0 0 0 471529 176 0 0 25 0 4 0 652235899 519159808 77997 33554432000 4194304 4650419 140737306799888 18446744073709551615 4363426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20915/statm: 126748 77997 392 112 0 121713 0
[pid=20915/tid=20916] ppid=20913 vsize=506992 CPUtime=1182.3 cores=1,3,5,7
/proc/20915/task/20916/stat : 20916 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 112334 0 0 0 118192 38 0 0 25 0 4 0 652235899 519159808 77997 33554432000 4194304 4650419 140737306799888 18446744073709551615 4334196 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20915/tid=20917] ppid=20913 vsize=506992 CPUtime=1170.93 cores=1,3,5,7
/proc/20915/task/20917/stat : 20917 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 120508 0 0 0 117043 50 0 0 25 0 4 0 652235899 519159808 77997 33554432000 4194304 4650419 140737306799888 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20915/tid=20918] ppid=20913 vsize=506992 CPUtime=1182.3 cores=1,3,5,7
/proc/20915/task/20918/stat : 20918 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 115020 0 0 0 118191 39 0 0 25 0 4 0 652235899 519159808 77997 33554432000 4194304 4650419 140737306799888 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4717.05
Current children cumulated vsize (KiB) 506992



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.02 8.07 7.89 5/297 20964
/proc/meminfo: memFree=27459592/32951124 swapFree=63649232/67111528
[pid=20915] ppid=20913 vsize=506992 CPUtime=4800.07 cores=1,3,5,7
/proc/20915/stat : 20915 (strangenight1-m) R 20913 20915 20874 0 -1 4202496 456902 0 0 0 479828 179 0 0 25 0 4 0 652235899 519159808 77458 33554432000 4194304 4650419 140737306799888 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20915/statm: 126748 77458 392 112 0 121713 0
[pid=20915/tid=20916] ppid=20913 vsize=506992 CPUtime=1203.11 cores=1,3,5,7
/proc/20915/task/20916/stat : 20916 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 112516 0 0 0 120273 38 0 0 25 0 4 0 652235899 519159808 77458 33554432000 4194304 4650419 140737306799888 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20915/tid=20917] ppid=20913 vsize=506992 CPUtime=1191.54 cores=1,3,5,7
/proc/20915/task/20917/stat : 20917 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 121226 0 0 0 119103 51 0 0 25 0 4 0 652235899 519159808 77458 33554432000 4194304 4650419 140737306799888 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20915/tid=20918] ppid=20913 vsize=506992 CPUtime=1203.11 cores=1,3,5,7
/proc/20915/task/20918/stat : 20918 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 116965 0 0 0 120271 40 0 0 25 0 4 0 652235899 519159808 77458 33554432000 4194304 4650419 140737306799888 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 506992

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

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

[startup+1203.1 s]
/proc/loadavg: 8.02 8.07 7.89 5/297 20964
/proc/meminfo: memFree=27459592/32951124 swapFree=63649232/67111528
[pid=20915] ppid=20913 vsize=506992 CPUtime=4800.07 cores=1,3,5,7
/proc/20915/stat : 20915 (strangenight1-m) R 20913 20915 20874 0 -1 4202496 456902 0 0 0 479828 179 0 0 25 0 4 0 652235899 519159808 77458 33554432000 4194304 4650419 140737306799888 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20915/statm: 126748 77458 392 112 0 121713 0
[pid=20915/tid=20916] ppid=20913 vsize=506992 CPUtime=1203.11 cores=1,3,5,7
/proc/20915/task/20916/stat : 20916 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 112516 0 0 0 120273 38 0 0 25 0 4 0 652235899 519159808 77458 33554432000 4194304 4650419 140737306799888 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20915/tid=20917] ppid=20913 vsize=506992 CPUtime=1191.54 cores=1,3,5,7
/proc/20915/task/20917/stat : 20917 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 121226 0 0 0 119103 51 0 0 25 0 4 0 652235899 519159808 77458 33554432000 4194304 4650419 140737306799888 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20915/tid=20918] ppid=20913 vsize=506992 CPUtime=1203.11 cores=1,3,5,7
/proc/20915/task/20918/stat : 20918 (strangenight1-m) R 20913 20915 20874 0 -1 4202560 116965 0 0 0 120271 40 0 0 25 0 4 0 652235899 519159808 77458 33554432000 4194304 4650419 140737306799888 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 506992

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.13
CPU time (s): 4800.13
CPU user time (s): 4798.32
CPU system time (s): 1.81172
CPU usage (%): 398.97
Max. virtual memory (cumulated for all children) (KiB): 544448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.32
system time used= 1.81172
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 456903
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= 477
involuntary context switches= 33089

runsolver used 3.11653 second user time and 8.35773 second system time

The end

Launcher Data 

Begin job on node130 at 2011-05-14 22:52:54
IDJOB=3368930
IDBENCH=82939
IDSOLVER=1846
FILE ID=node130/3368930-1305406374
RUNJOBID= node130-1305406374-20893
PBS_JOBID= 13324512
Free space on /tmp= 73424 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v60-c5340-S1510638717-051.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368930-1305406374/watcher-3368930-1305406374 -o /tmp/evaluation-result-3368930-1305406374/solver-3368930-1305406374 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368930-1305406374.cnf

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

MD5SUM BENCH= e8248df66827581bc842de4513557985
RANDOM SEED=1643402991

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
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.81
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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27768136 kB
Buffers:        257776 kB
Cached:        3595568 kB
SwapCached:      10248 kB
Active:        1150244 kB
Inactive:      3760816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27768136 kB
SwapTotal:    67111528 kB
SwapFree:     63649232 kB
Dirty:           12500 kB
Writeback:           0 kB
AnonPages:     1056076 kB
Mapped:          13600 kB
Slab:           183112 kB
PageTables:      25712 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 51545864 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= 73416 MiB
End job on node130 at 2011-05-14 23:12:59