Trace number 3175321

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? (TO) 4800.4 1201.74

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175321-1304114794.cnf'
0.00/0.00	c -- header says num vars:             60
0.00/0.00	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.38/0.12	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.46
0.38/0.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.38/0.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.38/0.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.38/0.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
0.38/0.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.38/0.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
0.38/0.14	c Finding binary XORs  T:     0.00 s  found:       0
0.38/0.14	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.38/0.14	c calculated reachability. Time: 0.00
0.38/0.14	c Calc default polars -  time:   0.00 s pos:      28 undec:       1 neg:      31
0.38/0.14	c =========================================================================================
0.38/0.14	c types(t): F = full restart, N = normal restart
0.38/0.14	c types(t): S = simplification begin/end, E = solution found
0.38/0.14	c restart types(rt): st = static, dy = dynamic
0.38/0.14	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.38/0.14	c  B st     0         0        60      5340         0         0     37380         0   no data   no data  --
1.00/0.26	c  N dy     7      4713        60      5340         0      4218     37380     90989     17.75     18.74  --
1.17/0.40	c  N dy    24      8781        60      5340         0      5612     37380    114328     18.13     19.11  --
1.17/0.81	c  N dy    45     13207        60      5340         0      5764     37380    109596     18.45     19.44  --
1.17/0.81	c  N dy    53     19348        60      5340         0      6230     37380    110404     18.25     19.26  --
3.96/1.06	c  F st    58     25001        60      5340         0     11256     37380    215349     18.02     17.17  --
3.96/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.75/2.22	c lits-rem:      1301  cl-subs:     1051  v-elim:      0  v-fix:    0  time:  3.55 s
9.56/2.47	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.00
9.56/2.47	c calculated reachability. Time: 0.00
9.56/2.47	c  N dy    64     30501        60      5340         0      9036     37380    160235     18.02   no data  --
10.38/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.75/3.28	c  S st   117     45752        60      5340         0     15613     37380    289290     18.12     18.85  --
13.15/3.33	c  S st   117     46255        60      5340         0      8135     37380    123788     18.12   no data  --
13.15/3.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.15/3.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.15/3.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.15/3.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.15/3.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.15/3.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
13.15/3.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.94/4.07	c lits-rem:        98  cl-subs:       25  v-elim:      0  v-fix:    0  time:  2.95 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
17.15/4.30	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.90
17.15/4.30	c calculated reachability. Time: 0.00
17.15/4.30	c  N dy   117     46255        60      5340         0      8110     37380    123117     18.12   no data  --
18.35/4.66	c  N dy   136     53141        60      5340         0     14220     37380    251383     18.08     19.03  --
19.56/4.95	c  N dy   145     57490        60      5340         0      9235     37380    135903     18.03     18.98  --
20.34/5.17	c  N dy   178     61511        60      5340         0     12841     37380    214666     18.15     21.28  --
22.34/5.67	c  N dy   191     69382        60      5340         0     10052     37380    145125     18.00     15.96  --
22.34/5.67	c  S st   191     69382        60      5340         0     10052     37380    145125     18.00     15.96  --
22.74/5.70	c  S st   191     69887        60      5340         0     10520     37380    155586     18.00   no data  --
22.74/5.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.74/5.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
22.74/5.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
22.74/5.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
22.74/5.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22.74/5.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
22.74/5.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.94/6.54	c lits-rem:       246  cl-subs:      146  v-elim:      0  v-fix:    0  time:  3.33 s
25.94/6.54	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
25.94/6.55	c vivif2 --  cl tried    10374 cl shrink        0 lits rem          0 time: 0.01
27.14/6.82	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.08
27.14/6.82	c calculated reachability. Time: 0.00
27.14/6.82	c  N dy   191     69887        60      5340         0     10374     37380    152177     18.00   no data  --
28.35/7.15	c  N dy   194     76002        60      5340         0     15782     37380    263021     17.89     18.89  --
29.93/7.52	c  N dy   227     80888        60      5340         0     20199     37380    358476     17.97     20.87  --
31.53/7.94	c  F st   253     87501        60      5340         0     15399     37380    247512     17.97     18.07  --
31.53/7.94	c  N st   253     87501        60      5340         0     15399     37380    247512     17.97     18.07  --
33.12/8.32	c  N dy   263     93095        60      5340         0     20383     37380    354409     17.98     19.71  --
35.12/8.88	c  N dy   271    101600        60      5340         0     16263     37380    251283     17.85     18.79  --
36.32/9.12	c  S st   291    104830        60      5340         0     19177     37380    314726     17.89     17.31  --
36.32/9.18	c  S st   291    105332        60      5340         0     19635     37380    324812     17.89   no data  --
36.32/9.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.32/9.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.32/9.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
36.32/9.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.32/9.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.32/9.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
36.32/9.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.31/10.66	c lits-rem:      1497  cl-subs:     2163  v-elim:      0  v-fix:    0  time:  5.82 s
42.31/10.66	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
42.31/10.66	c vivif2 --  cl tried    17472 cl shrink        0 lits rem          0 time: 0.01
43.91/11.02	c asymm  cl-useful: 0/4366/5340 lits-rem:0 time: 1.41
43.91/11.02	c calculated reachability. Time: 0.00
43.91/11.02	c  N dy   291    105332        60      5340         0     17472     37380    281066     17.89   no data  --
46.30/11.63	c  N dy   336    112715        60      5340         0     24099     37380    423839     17.97     18.97  --
49.93/12.54	c  N dy   374    126065        60      5340         0     23631     37380    401468     17.94     18.99  --
52.70/13.22	c  N dy   410    134946        60      5340         0     18263     37380    279691     17.97     18.93  --
55.49/13.92	c  N dy   432    143638        60      5340         0     25947     37380    439508     17.95     19.34  --
58.30/14.69	c  N dy   484    152878        60      5340         0     19996     37380    305973     18.00     20.24  --
60.29/15.14	c  S st   520    158000        60      5340         0     24591     37380    405769     18.05     17.83  --
60.69/15.21	c  S st   520    158503        60      5340         0     25056     37380    416102     18.05   no data  --
60.69/15.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
60.69/15.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
60.69/15.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
60.69/15.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
60.69/15.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
60.69/15.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
60.69/15.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
69.08/17.39	c lits-rem:      1929  cl-subs:     2432  v-elim:      0  v-fix:    0  time:  8.63 s
69.08/17.39	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
69.08/17.39	c vivif2 --  cl tried    22624 cl shrink        0 lits rem          0 time: 0.02
69.88/17.52	c asymm  cl-useful: 0/974/5340 lits-rem:0 time: 0.52
69.88/17.52	c calculated reachability. Time: 0.00
69.88/17.52	c  N dy   520    158503        60      5340         0     22624     37380    361082     18.05   no data  --
73.87/18.54	c  N dy   543    171197        60      5340         0     18858     37380    272378     18.00     19.20  --
77.87/19.58	c  N dy   592    182956        60      5340         0     29283     37380    493727     18.03     19.05  --
82.66/20.73	c  N dy   639    196003        60      5340         0     24997     37380    393154     18.05     19.05  --
87.85/22.08	c  N dy   695    208765        60      5340         0     19442     37380    265161     18.08     19.09  --
93.86/23.51	c  N dy   734    224153        60      5340         0     33076     37380    551340     18.05     19.06  --
98.66/24.77	c  S st   776    237755        60      5340         0     27423     37380    423061     18.04     15.79  --
99.03/24.84	c  S st   776    238260        60      5340         0     27881     37380    433056     18.04   no data  --
99.03/24.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
99.03/24.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
99.03/24.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
99.03/24.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
99.03/24.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
99.03/24.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
99.03/24.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
107.82/27.09	c lits-rem:      1846  cl-subs:     2763  v-elim:      0  v-fix:    0  time:  8.87 s
107.82/27.09	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
107.82/27.09	c vivif2 --  cl tried    25118 cl shrink        0 lits rem          0 time: 0.02
109.42/27.48	c asymm  cl-useful: 0/3215/5340 lits-rem:0 time: 1.55
109.42/27.48	c calculated reachability. Time: 0.00
109.42/27.48	c  N dy   776    238260        60      5340         0     25118     37380    375162     18.04   no data  --
121.40/30.45	c  N dy   830    269867        60      5340         0     34520     37380    551761     17.92     18.88  --
129.02/32.32	c  N dy   901    287899        60      5340         0     31146     37380    480626     17.91     19.05  --
137.38/34.40	c  F st   980    306252        60      5340         0     27159     37380    391044     17.93   no data  --
137.38/34.43	c  N st   981    306502        60      5340         0     27382     37380    395737     17.93   no data  --
149.37/37.41	c  N dy  1000    336945        60      5340         0     32995     37380    490990     17.82     18.77  --
159.35/39.99	c  N dy  1105    357024        60      5340         0     28775     37380    404587     17.87     19.20  --
159.77/40.04	c  S st  1109    357390        60      5340         0     29103     37380    411658     17.87   no data  --
160.17/40.12	c  S st  1109    357892        60      5340         0     29550     37380    421424     17.87   no data  --
160.17/40.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
160.17/40.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
160.17/40.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
160.17/40.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
160.17/40.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
160.17/40.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
160.17/40.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
169.74/42.58	c lits-rem:      1534  cl-subs:     1791  v-elim:      0  v-fix:    0  time:  9.73 s
169.74/42.58	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
169.74/42.58	c vivif2 --  cl tried    27759 cl shrink        0 lits rem          0 time: 0.02
170.94/42.88	c asymm  cl-useful: 0/2125/5340 lits-rem:0 time: 1.20
170.94/42.89	c calculated reachability. Time: 0.00
170.94/42.89	c  N dy  1109    357892        60      5340         0     27759     37380    382333     17.87   no data  --
182.92/45.82	c  N dy  1171    381573        60      5340         0     25757     37380    323820     17.83     18.92  --
194.11/48.63	c  N dy  1248    401631        60      5340         0     43598     37380    700786     17.83     19.59  --
204.50/51.27	c  N dy  1367    421674        60      5340         0     37562     37380    570392     17.88     18.94  --
215.28/53.99	c  N dy  1462    441746        60      5340         0     30533     37380    410208     17.91     18.90  --
232.06/58.11	c  N dy  1566    472836        60      5340         0     32299     37380    428900     17.90     18.90  --
242.85/60.85	c  N dy  1650    492868        60      5340         0     50093     37380    806098     17.91     19.91  --
254.43/63.74	c  N dy  1745    513799        60      5340         0     42171     37380    634581     17.93     18.89  --
268.81/67.38	c  N dy  1864    536838        60      5340         0     35064     37380    471533     17.95     15.46  --
268.81/67.38	c  S st  1864    536838        60      5340         0     35064     37380    471533     17.95     15.46  --
269.21/67.46	c  S st  1864    537339        60      5340         0     35531     37380    482084     17.95   no data  --
269.21/67.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
269.21/67.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
269.21/67.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
269.21/67.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
269.21/67.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
269.21/67.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
269.21/67.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
278.42/69.76	c lits-rem:       994  cl-subs:     2007  v-elim:      0  v-fix:    0  time:  9.06 s
278.42/69.76	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
278.42/69.76	c vivif2 --  cl tried    33524 cl shrink        0 lits rem          0 time: 0.02
279.99/70.14	c asymm  cl-useful: 0/2692/5340 lits-rem:0 time: 1.50
279.99/70.14	c calculated reachability. Time: 0.00
279.99/70.14	c  N dy  1864    537339        60      5340         0     33524     37380    439836     17.95   no data  --
292.78/73.32	c  N dy  1984    557354        60      5340         0     51295     37380    824261     17.99     19.19  --
308.35/77.23	c  N dy  2091    583466        60      5340         0     46066     37380    693365     18.00     19.10  --
322.76/80.82	c  N dy  2236    603510        60      5340         0     34698     37380    449306     18.04     19.40  --
344.33/86.28	c  N dy  2320    640600        60      5340         0     37287     37380    476789     17.98     19.09  --
358.68/89.87	c  N dy  2398    660897        60      5340         0     55298     37380    859701     17.99     19.04  --
381.85/95.64	c  N dy  2523    696388        60      5340         0     55609     37380    857426     17.97     18.98  --
395.84/99.19	c  N dy  2595    717212        60      5340         0     42263     37380    575330     17.98     18.95  --
409.82/102.66	c  N dy  2659    737277        60      5340         0     59980     37380    949903     17.97     19.03  --
425.39/106.55	c  N dy  2690    762816        60      5340         0     49776     37380    710022     17.92     18.92  --
442.57/110.88	c  N dy  2780    783505        60      5340         0     34546     37380    390923     17.94     18.96  --
458.16/114.73	c  N dy  2934    806008        60      5340         0     54549     37380    824206     17.97     16.84  --
458.16/114.73	c  S st  2934    806008        60      5340         0     54549     37380    824206     17.97     16.84  --
458.57/114.88	c  S st  2934    806510        60      5340         0     55010     37380    834617     17.97   no data  --
458.57/114.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
458.57/114.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
458.57/114.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
458.97/114.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
458.97/114.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
458.97/114.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
458.97/114.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
488.52/122.36	c lits-rem:      2859  cl-subs:     4958  v-elim:      0  v-fix:    0  time: 29.69 s
488.52/122.36	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
488.52/122.37	c vivif2 --  cl tried    50052 cl shrink        0 lits rem          0 time: 0.03
489.74/122.61	c asymm  cl-useful: 0/786/5340 lits-rem:0 time: 0.94
489.74/122.61	c calculated reachability. Time: 0.00
489.74/122.61	c  N dy  2934    806510        60      5340         0     50052     37380    723714     17.97   no data  --
508.89/127.41	c  N dy  3050    826573        60      5340         0     67860     37380   1107816     17.99     19.05  --
521.67/130.62	c  N dy  3137    846645        60      5340         0     51381     37380    741303     18.00     19.56  --
538.85/134.90	c  N dy  3210    866717        60      5340         0     69162     37380   1120468     18.00     20.44  --
551.25/138.07	c  N dy  3264    886758        60      5340         0     51534     37380    728454     18.00     20.99  --
570.81/142.97	c  N dy  3396    907525        60      5340         0     70009     37380   1129001     18.02     19.00  --
586.40/146.89	c  N dy  3530    927832        60      5340         0     51795     37380    735337     18.05     19.05  --
605.56/151.61	c  N dy  3591    950072        60      5340         0     71424     37380   1149719     18.05     19.15  --
621.16/155.54	c  N dy  3699    970468        60      5340         0     52343     37380    733253     18.06     19.12  --
645.10/161.55	c  N dy  3741   1001823        60      5340         0     41904     37380    493829     18.03     18.99  --
659.48/165.10	c  N dy  3786   1023027        60      5340         0     60642     37380    890430     18.03     19.08  --
682.26/170.87	c  N dy  3916   1044406        60      5340         0     40726     37380    460437     18.05     19.01  --
697.03/174.58	c  N dy  4032   1064410        60      5340         0     58519     37380    845287     18.06     20.44  --
704.64/176.41	c  F st  4086   1071875        60      5340         0     65166     37380    991518     18.07   no data  --
717.41/179.64	c  N dy  4142   1084438        60      5340         0     76279     37380   1234538     18.08     20.08  --
732.18/183.32	c  N dy  4190   1104703        60      5340         0     54242     37380    733615     18.08     19.15  --
750.56/187.93	c  N dy  4263   1126231        60      5340         0     73255     37380   1137914     18.08     19.18  --
769.73/192.76	c  N dy  4385   1146285        60      5340         0     50440     37380    654887     18.10     20.64  --
790.10/197.84	c  N dy  4487   1166360        60      5340         0     68216     37380   1037471     18.11     19.20  --
812.07/203.40	c  N dy  4541   1186367        60      5340         0     44296     37380    508551     18.10     20.66  --
831.25/208.15	c  N dy  4576   1209292        60      5340         0     64421     37380    926474     18.08     19.20  --
832.07/208.30	c  S st  4579   1209765        60      5340         0     64847     37380    935854     18.08     18.25  --
832.85/208.55	c  S st  4579   1210269        60      5340         0     65300     37380    946045     18.08   no data  --
832.85/208.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
832.85/208.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
833.25/208.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.16
833.25/208.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
833.25/208.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
833.25/208.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
833.25/208.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
906.77/227.02	c lits-rem:      2628  cl-subs:     7159  v-elim:      0  v-fix:    0  time: 73.44 s
906.77/227.02	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
906.77/227.03	c vivif2 --  cl tried    58141 cl shrink        0 lits rem          0 time: 0.04
907.95/227.38	c asymm  cl-useful: 0/659/5340 lits-rem:0 time: 1.42
907.95/227.38	c calculated reachability. Time: 0.00
907.95/227.38	c  N dy  4579   1210269        60      5340         0     58141     37380    803502     18.08   no data  --
929.92/232.85	c  N dy  4660   1230898        60      5340         0     76425     37380   1197317     18.09     19.10  --
953.09/238.61	c  N dy  4728   1256681        60      5340         0     57106     37380    769434     18.08     19.16  --
974.26/243.93	c  N dy  4861   1276691        60      5340         0     74881     37380   1157820     18.10     20.78  --
1004.61/251.58	c  N dy  4914   1311044        60      5340         0     61929     37380    855536     18.08     19.04  --
1031.78/258.40	c  N dy  4969   1334164        60      5340         0     82274     37380   1285875     18.07     19.06  --
1054.15/263.90	c  N dy  5046   1354207        60      5340         0     56103     37380    734009     18.08     19.04  --
1075.32/269.28	c  N dy  5115   1374296        60      5340         0     73884     37380   1114791     18.08     19.88  --
1100.88/275.68	c  N dy  5186   1395636        60      5340         0     47774     37380    541338     18.08     19.09  --
1117.26/279.77	c  N dy  5282   1415704        60      5340         0     65499     37380    920936     18.09     19.15  --
1140.05/285.45	c  N dy  5330   1438313        60      5340         0     85356     37380   1336334     18.08     19.42  --
1164.40/291.55	c  N dy  5469   1461986        60      5340         0     60504     37380    806832     18.09     19.11  --
1185.17/296.78	c  N dy  5567   1482053        60      5340         0     78274     37380   1188694     18.10     19.91  --
1210.74/303.11	c  N dy  5649   1502102        60      5340         0     49156     37380    552940     18.11     19.08  --
1229.92/307.96	c  N dy  5724   1526419        60      5340         0     70600     37380   1007809     18.10     19.10  --
1269.06/317.78	c  N dy  5764   1570440        60      5340         0     61471     37380    789250     18.06     19.12  --
1293.85/323.96	c  N dy  5856   1594801        60      5340         0     83018     37380   1249194     18.06     19.23  --
1318.60/330.15	c  N dy  5938   1615255        60      5340         0     52618     37380    607418     18.06     19.03  --
1340.97/335.72	c  N dy  6022   1640457        60      5340         0     74822     37380   1077493     18.07     19.14  --
1367.74/342.42	c  N dy  6147   1660487        60      5340         0     92535     37380   1464696     18.08     20.21  --
1391.30/348.34	c  N dy  6277   1680645        60      5340         0     61008     37380    780046     18.09     19.12  --
1420.88/355.78	c  N dy  6319   1710270        60      5340         0     86980     37380   1319817     18.07     16.43  --
1420.88/355.78	c  S st  6319   1710270        60      5340         0     86980     37380   1319817     18.07     16.43  --
1422.45/356.10	c  S st  6319   1710772        60      5340         0     87435     37380   1329746     18.07   no data  --
1422.45/356.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1422.45/356.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1422.45/356.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.19
1422.85/356.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1422.85/356.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1422.85/356.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
1422.85/356.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1613.40/403.95	c lits-rem:      7307  cl-subs:    11415  v-elim:      0  v-fix:    0  time: 190.68 s
1613.40/403.95	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
1613.40/403.96	c vivif2 --  cl tried    76020 cl shrink        0 lits rem          0 time: 0.06
1615.40/404.42	c asymm  cl-useful: 0/521/5340 lits-rem:0 time: 1.81
1615.40/404.42	c calculated reachability. Time: 0.00
1615.40/404.42	c  N dy  6319   1710772        60      5340         0     76020     37380   1096234     18.07   no data  --
1653.35/413.99	c  N dy  6441   1730789        60      5340         0     93761     37380   1480416     18.08     19.43  --
1684.52/421.75	c  N dy  6488   1754897        60      5340         0     65242     37380    844557     18.07     19.10  --
1715.69/429.54	c  N dy  6617   1774915        60      5340         0     83057     37380   1233435     18.08     20.02  --
1757.21/439.93	c  N dy  6694   1796829        60      5340         0     51508     37380    555011     18.08     19.08  --
1783.58/446.57	c  N dy  6793   1816861        60      5340         0     69259     37380    936449     18.08     19.22  --
1819.12/455.47	c  N dy  6883   1836939        60      5340         0     87003     37380   1317474     18.09     19.17  --
1857.07/464.94	c  N dy  6944   1856995        60      5340         0     52806     37380    572951     18.09     19.91  --
1889.03/472.96	c  N dy  7036   1884355        60      5340         0     76906     37380   1086454     18.09     19.16  --
1924.58/481.81	c  N dy  7146   1904536        60      5340         0     94791     37380   1474015     18.10     19.12  --
1956.14/489.71	c  N dy  7257   1924550        60      5340         0     59599     37380    703086     18.10     19.31  --
1982.50/496.30	c  N dy  7355   1951704        60      5340         0     83507     37380   1214522     18.10     19.15  --
2012.06/503.73	c  N dy  7481   1971767        60      5340         0    101352     37380   1604145     18.11     20.59  --
2037.63/510.11	c  N dy  7626   1991894        60      5340         0     65335     37380    826247     18.13     19.16  --
2058.42/515.32	c  N dy  7679   2013253        60      5340         0     84133     37380   1221297     18.12     19.26  --
2089.18/523.04	c  N dy  7770   2035433        60      5340         0    103644     37380   1639746     18.12     19.09  --
2114.73/529.47	c  N dy  7847   2058864        60      5340         0     69582     37380    898476     18.12     19.08  --
2139.89/535.76	c  N dy  7974   2078887        60      5340         0     87338     37380   1286605     18.14     19.15  --
2168.28/542.87	c  N dy  8000   2101256        60      5340         0    106896     37380   1694709     18.13     19.24  --
2191.02/548.53	c  N dy  8089   2121350        60      5340         0     69189     37380    883702     18.13     19.23  --
2216.61/554.93	c  N dy  8207   2141442        60      5340         0     87030     37380   1271833     18.14     19.73  --
2256.53/564.98	c  N dy  8231   2175939        60      5340         0     60810     37380    686041     18.12     19.08  --
2290.49/573.41	c  N dy  8340   2210654        60      5340         0     91359     37380   1332503     18.11     19.12  --
2290.49/573.46	c  S st  8342   2210773        60      5340         0     91464     37380   1334827     18.11   no data  --
2291.68/573.71	c  S st  8342   2211276        60      5340         0     91907     37380   1344448     18.11   no data  --
2291.68/573.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2291.68/573.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2291.68/573.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
2292.08/573.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2292.08/573.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2292.08/573.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
2292.08/573.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2401.17/601.13	c lits-rem:      4748  cl-subs:    11008  v-elim:      0  v-fix:    0  time: 109.14 s
2401.17/601.13	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
2401.17/601.14	c vivif2 --  cl tried    80899 cl shrink        0 lits rem          0 time: 0.06
2402.34/601.48	c asymm  cl-useful: 0/464/5340 lits-rem:0 time: 1.33
2402.34/601.48	c calculated reachability. Time: 0.00
2402.34/601.48	c  N dy  8342   2211276        60      5340         0     80899     37380   1124783     18.11   no data  --
2429.90/608.34	c  N dy  8397   2231358        60      5340         0     98446     37380   1494059     18.11     19.08  --
2463.85/616.88	c  N dy  8534   2251391        60      5340         0     59635     37380    666811     18.12     21.39  --
2493.82/624.31	c  N dy  8596   2282202        60      5340         0     86606     37380   1222805     18.11     19.12  --
2526.57/632.54	c  N dy  8695   2303207        60      5340         0    105139     37380   1621955     18.12     19.21  --
2564.92/642.16	c  N dy  8787   2323266        60      5340         0     65129     37380    768518     18.12     19.59  --
2600.08/650.95	c  N dy  8804   2350524        60      5340         0     88984     37380   1262675     18.10     19.08  --
2648.41/663.01	c  N dy  8964   2370587        60      5340         0    106793     37380   1655841     18.12     20.68  --
2691.55/673.83	c  N dy  9121   2390662        60      5340         0     65748     37380    776342     18.13     20.16  --
2721.94/681.41	c  N dy  9232   2410684        60      5340         0     83511     37380   1162376     18.14     19.80  --
2764.25/692.08	c  N dy  9359   2432830        60      5340         0    103127     37380   1590409     18.15     19.23  --
2809.81/703.49	c  N dy  9429   2453612        60      5340         0     61457     37380    666682     18.15     19.11  --
2838.95/710.72	c  N dy  9536   2473636        60      5340         0     79186     37380   1052130     18.15     20.55  --
2878.89/720.79	c  N dy  9704   2493682        60      5340         0     96959     37380   1447245     18.17     19.47  --
2924.44/732.18	c  N dy  9826   2513781        60      5340         0    114762     37380   1835125     18.18     20.75  --
2962.79/741.73	c  N dy  9936   2534727        60      5340         0     72232     37380    890659     18.18     19.39  --
2993.55/749.42	c  N dy 10061   2555390        60      5340         0     90545     37380   1290536     18.19     19.16  --
3030.69/758.71	c  N dy 10150   2576017        60      5340         0    108747     37380   1684676     18.20     19.18  --
3067.45/767.97	c  N dy 10250   2596034        60      5340         0     64586     37380    715113     18.20     20.36  --
3091.03/773.85	c  N dy 10370   2616070        60      5340         0     82234     37380   1097702     18.21     20.52  --
3119.78/781.06	c  N dy 10435   2637675        60      5340         0    101279     37380   1502214     18.21     19.24  --
3159.32/790.97	c  N dy 10557   2658421        60      5340         0    119563     37380   1900992     18.21     19.27  --
3187.31/797.99	c  N dy 10644   2678423        60      5340         0     74582     37380    921517     18.22     21.26  --
3213.25/804.42	c  N dy 10758   2698458        60      5340         0     92266     37380   1308456     18.22     19.98  --
3231.24/808.98	c  S st 10801   2711276        60      5340         0    103549     37380   1549239     18.22     18.49  --
3232.82/809.31	c  S st 10801   2711780        60      5340         0    104010     37380   1559518     18.22   no data  --
3232.82/809.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3232.82/809.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3232.82/809.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
3233.22/809.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3233.22/809.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3233.22/809.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
3233.22/809.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3625.10/907.56	c lits-rem:      6872  cl-subs:    10714  v-elim:      0  v-fix:    0  time: 392.03 s
3625.10/907.56	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
3625.10/907.58	c vivif2 --  cl tried    93296 cl shrink        0 lits rem          0 time: 0.07
3626.71/907.90	c asymm  cl-useful: 0/605/5340 lits-rem:0 time: 1.28
3626.71/907.91	c calculated reachability. Time: 0.00
3626.71/907.91	c  N dy 10801   2711780        60      5340         0     93296     37380   1324937     18.22   no data  --
3656.25/915.34	c  N dy 10860   2732859        60      5340         0    111727     37380   1713190     18.22     19.21  --
3689.01/923.57	c  N dy 10918   2753523        60      5340         0     67068     37380    757808     18.22     19.23  --
3714.18/929.85	c  N dy 10995   2777163        60      5340         0     87970     37380   1205445     18.22     19.50  --
3747.73/938.26	c  N dy 11071   2797205        60      5340         0    105573     37380   1582667     18.22     19.20  --
3790.87/949.07	c  N dy 11186   2817275        60      5340         0    123307     37380   1970027     18.23     22.00  --
3830.82/959.09	c  N dy 11290   2837367        60      5340         0     77035     37380    961380     18.23     19.26  --
3859.19/966.12	c  N dy 11303   2858051        60      5340         0     95080     37380   1337071     18.22     19.33  --
3897.53/975.72	c  N dy 11367   2878267        60      5340         0    112857     37380   1716670     18.22     19.25  --
3947.49/988.22	c  N dy 11461   2898497        60      5340         0     65751     37380    704336     18.22     19.26  --
3976.63/995.52	c  N dy 11527   2918516        60      5340         0     83359     37380   1081095     18.22     19.21  --
4022.18/1006.97	c  N dy 11614   2942925        60      5340         0    104899     37380   1539575     18.22     19.35  --
4070.92/1019.11	c  N dy 11715   2963123        60      5340         0    122688     37380   1924523     18.22     19.20  --
4118.86/1031.12	c  N dy 11763   2991542        60      5340         0     81596     37380   1017575     18.21     19.22  --
4150.78/1039.12	c  N dy 11806   3011586        60      5340         0     99251     37380   1393523     18.21     20.83  --
4199.52/1051.35	c  N dy 11954   3031738        60      5340         0    117060     37380   1786068     18.22     19.20  --
4259.04/1066.26	c  N dy 12043   3058427        60      5340         0     73680     37380    847227     18.22     19.24  --
4294.61/1075.18	c  N dy 12154   3078503        60      5340         0     91439     37380   1230890     18.22     19.86  --
4352.51/1089.60	c  N dy 12214   3111643        60      5340         0    120385     37380   1832634     18.21     19.40  --
4405.24/1102.86	c  N dy 12330   3136954        60      5340         0     74938     37380    865974     18.22     19.20  --
4431.60/1109.40	c  N dy 12371   3157198        60      5340         0     92612     37380   1238451     18.21     19.24  --
4468.36/1118.69	c  N dy 12452   3177366        60      5340         0    110454     37380   1624169     18.21     19.19  --
4506.70/1128.22	c  N dy 12509   3197373        60      5340         0    127993     37380   1996027     18.21     19.63  --
4540.68/1136.75	c  S st 12616   3211781        60      5340         0     72164     37380    805886     18.22   no data  --
4541.86/1137.00	c  S st 12616   3212284        60      5340         0     72615     37380    816126     18.22   no data  --
4541.86/1137.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4541.86/1137.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4541.86/1137.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.16
4541.86/1137.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4541.86/1137.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4541.86/1137.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
4541.86/1137.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4620.18/1156.69	c lits-rem:       532  cl-subs:      933  v-elim:      0  v-fix:    0  time: 78.33 s
4620.18/1156.69	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
4620.55/1156.70	c vivif2 --  cl tried    71682 cl shrink        0 lits rem          0 time: 0.05
4621.75/1157.07	c asymm  cl-useful: 0/624/5340 lits-rem:0 time: 1.48
4621.75/1157.07	c calculated reachability. Time: 0.00
4621.75/1157.07	c  N dy 12616   3212284        60      5340         0     71682     37380    794126     18.22   no data  --
4685.69/1173.10	c  N dy 12729   3257014        60      5340         0    110486     37380   1595064     18.21     19.27  --
4729.63/1184.01	c  N dy 12808   3277034        60      5340         0    128126     37380   1974141     18.21     20.76  --
4769.96/1194.15	c  N dy 12897   3297100        60      5340         0     76704     37380    896013     18.21     20.07  --
4797.51/1201.08	c  N dy 13010   3317187        60      5340         0     94488     37380   1284247     18.22     19.72  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3175321-1304114794/watcher-3175321-1304114794 -o /tmp/evaluation-result-3175321-1304114794/solver-3175321-1304114794 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175321-1304114794.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: 1.56 3.93 5.10 4/176 23494
/proc/meminfo: memFree=30804704/32951124 swapFree=67111464/67111528
[pid=23494] ppid=23490 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/23494/stat : 23494 (strangenight1-m) R 23490 23494 23457 0 -1 4202496 413 0 0 0 0 0 0 0 18 0 4 0 601709995 52465664 352 33554432000 4194304 4650419 140736648729904 18446744073709551615 47542478010290 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23494/statm: 12809 352 303 112 0 7774 0
[pid=23494/tid=23497] ppid=23490 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/23494/task/23497/stat : 23497 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 601709996 52465664 352 33554432000 4194304 4650419 140736648729904 18446744073709551615 47542478010290 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23494/tid=23498] ppid=23490 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/23494/task/23498/stat : 23498 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 601709996 52465664 352 33554432000 4194304 4650419 140736648729904 18446744073709551615 260020452337 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23494/tid=23499] ppid=23490 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/23494/task/23499/stat : 23499 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 601709996 52465664 352 33554432000 4194304 4650419 140736648729904 18446744073709551615 47542478010290 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.088947 s]
/proc/loadavg: 1.56 3.93 5.10 4/176 23494
/proc/meminfo: memFree=30804704/32951124 swapFree=67111464/67111528
[pid=23494] ppid=23490 vsize=281908 CPUtime=0.33 cores=1,3,5,7
/proc/23494/stat : 23494 (strangenight1-m) R 23490 23494 23457 0 -1 4202496 1309 0 0 0 33 0 0 0 20 0 4 0 601709995 288673792 1219 33554432000 4194304 4650419 140736648729904 18446744073709551615 4370482 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23494/statm: 70477 1219 366 112 0 65442 0
[pid=23494/tid=23497] ppid=23490 vsize=281908 CPUtime=0.08 cores=1,3,5,7
/proc/23494/task/23497/stat : 23497 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 194 0 0 0 8 0 0 0 20 0 4 0 601709996 288673792 1219 33554432000 4194304 4650419 140736648729904 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23494/tid=23498] ppid=23490 vsize=281908 CPUtime=0.08 cores=1,3,5,7
/proc/23494/task/23498/stat : 23498 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 202 0 0 0 8 0 0 0 21 0 4 0 601709996 288673792 1219 33554432000 4194304 4650419 140736648729904 18446744073709551615 4370697 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23494/tid=23499] ppid=23490 vsize=281908 CPUtime=0.08 cores=1,3,5,7
/proc/23494/task/23499/stat : 23499 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 300 0 0 0 8 0 0 0 21 0 4 0 601709996 288673792 1219 33554432000 4194304 4650419 140736648729904 18446744073709551615 260020093047 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 281908

[startup+0.100944 s]
/proc/loadavg: 1.56 3.93 5.10 4/176 23494
/proc/meminfo: memFree=30804704/32951124 swapFree=67111464/67111528
[pid=23494] ppid=23490 vsize=281908 CPUtime=0.38 cores=1,3,5,7
/proc/23494/stat : 23494 (strangenight1-m) R 23490 23494 23457 0 -1 4202496 1319 0 0 0 38 0 0 0 20 0 4 0 601709995 288673792 1229 33554432000 4194304 4650419 140736648729904 18446744073709551615 4371123 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23494/statm: 70477 1229 366 112 0 65442 0
[pid=23494/tid=23497] ppid=23490 vsize=281908 CPUtime=0.09 cores=1,3,5,7
/proc/23494/task/23497/stat : 23497 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 194 0 0 0 9 0 0 0 20 0 4 0 601709996 288673792 1229 33554432000 4194304 4650419 140736648729904 18446744073709551615 4370732 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23494/tid=23498] ppid=23490 vsize=281908 CPUtime=0.09 cores=1,3,5,7
/proc/23494/task/23498/stat : 23498 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 202 0 0 0 9 0 0 0 21 0 4 0 601709996 288673792 1229 33554432000 4194304 4650419 140736648729904 18446744073709551615 4536636 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23494/tid=23499] ppid=23490 vsize=281908 CPUtime=0.09 cores=1,3,5,7
/proc/23494/task/23499/stat : 23499 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 309 0 0 0 9 0 0 0 21 0 4 0 601709996 288673792 1229 33554432000 4194304 4650419 140736648729904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 281908

[startup+0.30091 s]
/proc/loadavg: 1.56 3.93 5.10 4/176 23494
/proc/meminfo: memFree=30804704/32951124 swapFree=67111464/67111528
[pid=23494] ppid=23490 vsize=285332 CPUtime=1.17 cores=1,3,5,7
/proc/23494/stat : 23494 (strangenight1-m) R 23490 23494 23457 0 -1 4202496 3629 0 0 0 117 0 0 0 18 0 4 0 601709995 292179968 2683 33554432000 4194304 4650419 140736648729904 18446744073709551615 4326360 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23494/statm: 71333 2683 390 112 0 66298 0
[pid=23494/tid=23497] ppid=23490 vsize=285332 CPUtime=0.29 cores=1,3,5,7
/proc/23494/task/23497/stat : 23497 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 844 0 0 0 29 0 0 0 20 0 4 0 601709996 292179968 2683 33554432000 4194304 4650419 140736648729904 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23494/tid=23498] ppid=23490 vsize=285332 CPUtime=0.29 cores=1,3,5,7
/proc/23494/task/23498/stat : 23498 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 888 0 0 0 29 0 0 0 18 0 4 0 601709996 292179968 2683 33554432000 4194304 4650419 140736648729904 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23494/tid=23499] ppid=23490 vsize=285332 CPUtime=0.29 cores=1,3,5,7
/proc/23494/task/23499/stat : 23499 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 621 0 0 0 29 0 0 0 21 0 4 0 601709996 292179968 2683 33554432000 4194304 4650419 140736648729904 18446744073709551615 4334325 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 285332

[startup+0.920795 s]
/proc/loadavg: 1.56 3.93 5.10 4/176 23494
/proc/meminfo: memFree=30804704/32951124 swapFree=67111464/67111528
[pid=23494] ppid=23490 vsize=286928 CPUtime=3.65 cores=1,3,5,7
/proc/23494/stat : 23494 (strangenight1-m) R 23490 23494 23457 0 -1 4202496 6660 0 0 0 364 1 0 0 18 0 4 0 601709995 293814272 3684 33554432000 4194304 4650419 140736648729904 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23494/statm: 71732 3684 390 112 0 66697 0
[pid=23494/tid=23497] ppid=23490 vsize=286928 CPUtime=0.91 cores=1,3,5,7
/proc/23494/task/23497/stat : 23497 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 1614 0 0 0 91 0 0 0 21 0 4 0 601709996 293814272 3684 33554432000 4194304 4650419 140736648729904 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23494/tid=23498] ppid=23490 vsize=286928 CPUtime=0.9 cores=1,3,5,7
/proc/23494/task/23498/stat : 23498 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 1653 0 0 0 90 0 0 0 18 0 4 0 601709996 293814272 3684 33554432000 4194304 4650419 140736648729904 18446744073709551615 4366956 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23494/tid=23499] ppid=23490 vsize=286928 CPUtime=0.9 cores=1,3,5,7
/proc/23494/task/23499/stat : 23499 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 1354 0 0 0 90 0 0 0 23 0 4 0 601709996 293814272 3684 33554432000 4194304 4650419 140736648729904 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 286928

[startup+1.50069 s]
/proc/loadavg: 1.56 3.93 5.10 11/184 23502
/proc/meminfo: memFree=30765828/32951124 swapFree=67111464/67111528
[pid=23494] ppid=23490 vsize=287736 CPUtime=5.98 cores=1,3,5,7
/proc/23494/stat : 23494 (strangenight1-m) R 23490 23494 23457 0 -1 4202496 9976 0 0 0 597 1 0 0 19 0 4 0 601709995 294641664 5340 33554432000 4194304 4650419 140736648729904 18446744073709551615 4439082 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23494/statm: 71934 5340 392 112 0 66899 0
[pid=23494/tid=23497] ppid=23490 vsize=287736 CPUtime=1.49 cores=1,3,5,7
/proc/23494/task/23497/stat : 23497 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 2127 0 0 0 149 0 0 0 23 0 4 0 601709996 294641664 5340 33554432000 4194304 4650419 140736648729904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23494/tid=23498] ppid=23490 vsize=287736 CPUtime=1.48 cores=1,3,5,7
/proc/23494/task/23498/stat : 23498 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 2142 0 0 0 148 0 0 0 19 0 4 0 601709996 294641664 5340 33554432000 4194304 4650419 140736648729904 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23494/tid=23499] ppid=23490 vsize=287736 CPUtime=1.49 cores=1,3,5,7
/proc/23494/task/23499/stat : 23499 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 2052 0 0 0 149 0 0 0 25 0 4 0 601709996 294641664 5340 33554432000 4194304 4650419 140736648729904 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 287736

[startup+3.1004 s]
/proc/loadavg: 2.07 4.00 5.12 10/184 23502
/proc/meminfo: memFree=30726772/32951124 swapFree=67111464/67111528
[pid=23494] ppid=23490 vsize=283764 CPUtime=12.35 cores=1,3,5,7
/proc/23494/stat : 23494 (strangenight1-m) R 23490 23494 23457 0 -1 4202496 16552 0 0 0 1232 3 0 0 25 0 4 0 601709995 290574336 10233 33554432000 4194304 4650419 140736648729904 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23494/statm: 70941 10233 392 112 0 65906 0
[pid=23494/tid=23497] ppid=23490 vsize=283764 CPUtime=3.08 cores=1,3,5,7
/proc/23494/task/23497/stat : 23497 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 3603 0 0 0 308 0 0 0 25 0 4 0 601709996 290574336 10234 33554432000 4194304 4650419 140736648729904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23494/tid=23498] ppid=23490 vsize=283764 CPUtime=3.07 cores=1,3,5,7
/proc/23494/task/23498/stat : 23498 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 4383 0 0 0 306 1 0 0 25 0 4 0 601709996 290574336 10234 33554432000 4194304 4650419 140736648729904 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23494/tid=23499] ppid=23490 vsize=283764 CPUtime=3.08 cores=1,3,5,7
/proc/23494/task/23499/stat : 23499 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 4383 0 0 0 308 0 0 0 25 0 4 0 601709996 290574336 10234 33554432000 4194304 4650419 140736648729904 18446744073709551615 4370643 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 283764

[startup+6.30081 s]
/proc/loadavg: 2.07 4.00 5.12 10/184 23502
/proc/meminfo: memFree=30701344/32951124 swapFree=67111464/67111528
[pid=23494] ppid=23490 vsize=290376 CPUtime=25.14 cores=1,3,5,7
/proc/23494/stat : 23494 (strangenight1-m) R 23490 23494 23457 0 -1 4202496 23828 0 0 0 2509 5 0 0 25 0 4 0 601709995 297345024 12321 33554432000 4194304 4650419 140736648729904 18446744073709551615 4439082 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23494/statm: 72594 12321 392 112 0 67559 0
[pid=23494/tid=23497] ppid=23490 vsize=290376 CPUtime=6.29 cores=1,3,5,7
/proc/23494/task/23497/stat : 23497 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 5995 0 0 0 628 1 0 0 25 0 4 0 601709996 297345024 12321 33554432000 4194304 4650419 140736648729904 18446744073709551615 4370482 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23494/tid=23498] ppid=23490 vsize=290376 CPUtime=6.25 cores=1,3,5,7
/proc/23494/task/23498/stat : 23498 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 5887 0 0 0 624 1 0 0 25 0 4 0 601709996 297345024 12321 33554432000 4194304 4650419 140736648729904 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23494/tid=23499] ppid=23490 vsize=290376 CPUtime=6.29 cores=1,3,5,7
/proc/23494/task/23499/stat : 23499 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 6374 0 0 0 628 1 0 0 25 0 4 0 601709996 297345024 12321 33554432000 4194304 4650419 140736648729904 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 290376

[startup+12.7006 s]
/proc/loadavg: 2.98 4.13 5.15 10/184 23502
/proc/meminfo: memFree=30652040/32951124 swapFree=67111464/67111528
[pid=23494] ppid=23490 vsize=308324 CPUtime=50.7 cores=1,3,5,7
/proc/23494/stat : 23494 (strangenight1-m) R 23490 23494 23457 0 -1 4202496 35010 0 0 0 5062 8 0 0 25 0 4 0 601709995 315723776 19452 33554432000 4194304 4650419 140736648729904 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23494/statm: 77081 19452 392 112 0 72046 0
[pid=23494/tid=23497] ppid=23490 vsize=308324 CPUtime=12.69 cores=1,3,5,7
/proc/23494/task/23497/stat : 23497 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 8023 0 0 0 1267 2 0 0 25 0 4 0 601709996 315723776 19452 33554432000 4194304 4650419 140736648729904 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23494/tid=23498] ppid=23490 vsize=308324 CPUtime=12.61 cores=1,3,5,7
/proc/23494/task/23498/stat : 23498 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 8665 0 0 0 1260 1 0 0 25 0 4 0 601709996 315723776 19452 33554432000 4194304 4650419 140736648729904 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23494/tid=23499] ppid=23490 vsize=308324 CPUtime=12.69 cores=1,3,5,7
/proc/23494/task/23499/stat : 23499 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 9721 0 0 0 1267 2 0 0 25 0 4 0 601709996 315723776 19452 33554432000 4194304 4650419 140736648729904 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 308324

[startup+25.5003 s]
/proc/loadavg: 3.76 4.26 5.18 10/184 23503
/proc/meminfo: memFree=30603720/32951124 swapFree=67111464/67111528
[pid=23494] ppid=23490 vsize=311488 CPUtime=101.83 cores=1,3,5,7
/proc/23494/stat : 23494 (strangenight1-m) R 23490 23494 23457 0 -1 4202496 52345 0 0 0 10171 12 0 0 25 0 4 0 601709995 318963712 24042 33554432000 4194304 4650419 140736648729904 18446744073709551615 4433247 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23494/statm: 77872 24043 392 112 0 72837 0
[pid=23494/tid=23497] ppid=23490 vsize=311488 CPUtime=25.48 cores=1,3,5,7
/proc/23494/task/23497/stat : 23497 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 11551 0 0 0 2546 2 0 0 25 0 4 0 601709996 318963712 24043 33554432000 4194304 4650419 140736648729904 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23494/tid=23498] ppid=23490 vsize=311488 CPUtime=25.35 cores=1,3,5,7
/proc/23494/task/23498/stat : 23498 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 13495 0 0 0 2532 3 0 0 25 0 4 0 601709996 318963712 24043 33554432000 4194304 4650419 140736648729904 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23494/tid=23499] ppid=23490 vsize=311488 CPUtime=25.48 cores=1,3,5,7
/proc/23494/task/23499/stat : 23499 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 14378 0 0 0 2545 3 0 0 25 0 4 0 601709996 318963712 24043 33554432000 4194304 4650419 140736648729904 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 311488

[startup+51.1066 s]
/proc/loadavg: 5.35 4.59 5.26 10/184 23504
/proc/meminfo: memFree=30567780/32951124 swapFree=67111464/67111528
[pid=23494] ppid=23490 vsize=306296 CPUtime=204.12 cores=1,3,5,7
/proc/23494/stat : 23494 (strangenight1-m) R 23490 23494 23457 0 -1 4202496 77478 0 0 0 20392 20 0 0 25 0 4 0 601709995 313647104 26616 33554432000 4194304 4650419 140736648729904 18446744073709551615 4365286 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23494/statm: 76574 26617 392 112 0 71539 0
[pid=23494/tid=23497] ppid=23490 vsize=306296 CPUtime=51.09 cores=1,3,5,7
/proc/23494/task/23497/stat : 23497 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 16664 0 0 0 5105 4 0 0 25 0 4 0 601709996 313647104 26617 33554432000 4194304 4650419 140736648729904 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23494/tid=23498] ppid=23490 vsize=306296 CPUtime=50.82 cores=1,3,5,7
/proc/23494/task/23498/stat : 23498 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 20408 0 0 0 5077 5 0 0 25 0 4 0 601709996 313647104 26617 33554432000 4194304 4650419 140736648729904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23494/tid=23499] ppid=23490 vsize=306296 CPUtime=51.09 cores=1,3,5,7
/proc/23494/task/23499/stat : 23499 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 21692 0 0 0 5104 5 0 0 25 0 4 0 601709996 313647104 26617 33554432000 4194304 4650419 140736648729904 18446744073709551615 4366857 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.12
Current children cumulated vsize (KiB) 306296

[startup+102.301 s]
/proc/loadavg: 7.01 5.15 5.42 10/184 23505
/proc/meminfo: memFree=30510040/32951124 swapFree=67111464/67111528
[pid=23494] ppid=23490 vsize=339200 CPUtime=408.62 cores=1,3,5,7
/proc/23494/stat : 23494 (strangenight1-m) R 23490 23494 23457 0 -1 4202496 115157 0 0 0 40829 33 0 0 25 0 4 0 601709995 347340800 34591 33554432000 4194304 4650419 140736648729904 18446744073709551615 4365267 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23494/statm: 84800 34591 392 112 0 79765 0
[pid=23494/tid=23497] ppid=23490 vsize=339200 CPUtime=102.29 cores=1,3,5,7
/proc/23494/task/23497/stat : 23497 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 21008 0 0 0 10223 6 0 0 25 0 4 0 601709996 347340800 34591 33554432000 4194304 4650419 140736648729904 18446744073709551615 4315103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23494/tid=23498] ppid=23490 vsize=339200 CPUtime=101.73 cores=1,3,5,7
/proc/23494/task/23498/stat : 23498 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 31862 0 0 0 10164 9 0 0 25 0 4 0 601709996 347340800 34591 33554432000 4194304 4650419 140736648729904 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23494/tid=23499] ppid=23490 vsize=339200 CPUtime=102.29 cores=1,3,5,7
/proc/23494/task/23499/stat : 23499 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 34914 0 0 0 10219 10 0 0 25 0 4 0 601709996 347340800 34591 33554432000 4194304 4650419 140736648729904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 339200

[startup+162.301 s]

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

[pid=23494] ppid=23490 vsize=487032 CPUtime=2565.72 cores=1,3,5,7
/proc/23494/stat : 23494 (strangenight1-m) R 23490 23494 23457 0 -1 4202496 327053 0 0 0 256450 122 0 0 25 0 4 0 601709995 498720768 67762 33554432000 4194304 4650419 140736648729904 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23494/statm: 121758 67762 392 112 0 116723 0
[pid=23494/tid=23497] ppid=23490 vsize=487032 CPUtime=642.3 cores=1,3,5,7
/proc/23494/task/23497/stat : 23497 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 49940 0 0 0 64210 20 0 0 25 0 4 0 601709996 498720768 67762 33554432000 4194304 4650419 140736648729904 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23494/tid=23498] ppid=23490 vsize=487032 CPUtime=638.78 cores=1,3,5,7
/proc/23494/task/23498/stat : 23498 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 96747 0 0 0 63840 38 0 0 25 0 4 0 601709996 498720768 67762 33554432000 4194304 4650419 140736648729904 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23494/tid=23499] ppid=23490 vsize=487032 CPUtime=642.29 cores=1,3,5,7
/proc/23494/task/23499/stat : 23499 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 96993 0 0 0 64200 29 0 0 25 0 4 0 601709996 498720768 67762 33554432000 4194304 4650419 140736648729904 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2565.72
Current children cumulated vsize (KiB) 487032

[startup+702.307 s]
/proc/loadavg: 8.00 7.64 6.66 10/184 23521
/proc/meminfo: memFree=30154916/32951124 swapFree=67111464/67111528
[pid=23494] ppid=23490 vsize=433804 CPUtime=2805.42 cores=1,3,5,7
/proc/23494/stat : 23494 (strangenight1-m) R 23490 23494 23457 0 -1 4202496 339111 0 0 0 280416 126 0 0 25 0 4 0 601709995 444215296 66458 33554432000 4194304 4650419 140736648729904 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23494/statm: 108451 66458 392 112 0 103416 0
[pid=23494/tid=23497] ppid=23490 vsize=433804 CPUtime=702.31 cores=1,3,5,7
/proc/23494/task/23497/stat : 23497 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 50001 0 0 0 70211 20 0 0 25 0 4 0 601709996 444215296 66458 33554432000 4194304 4650419 140736648729904 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23494/tid=23498] ppid=23490 vsize=433804 CPUtime=698.46 cores=1,3,5,7
/proc/23494/task/23498/stat : 23498 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 100724 0 0 0 69806 40 0 0 25 0 4 0 601709996 444215296 66458 33554432000 4194304 4650419 140736648729904 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23494/tid=23499] ppid=23490 vsize=433804 CPUtime=702.31 cores=1,3,5,7
/proc/23494/task/23499/stat : 23499 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 101435 0 0 0 70201 30 0 0 25 0 4 0 601709996 444215296 66458 33554432000 4194304 4650419 140736648729904 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.42
Current children cumulated vsize (KiB) 433804

[startup+762.301 s]
/proc/loadavg: 8.07 7.73 6.75 10/184 23522
/proc/meminfo: memFree=30102152/32951124 swapFree=67111464/67111528
[pid=23494] ppid=23490 vsize=380612 CPUtime=3045.08 cores=1,3,5,7
/proc/23494/stat : 23494 (strangenight1-m) R 23490 23494 23457 0 -1 4202496 353425 0 0 0 304374 134 0 0 25 0 4 0 601709995 389746688 68430 33554432000 4194304 4650419 140736648729904 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23494/statm: 95153 68430 392 112 0 90118 0
[pid=23494/tid=23497] ppid=23490 vsize=380612 CPUtime=762.31 cores=1,3,5,7
/proc/23494/task/23497/stat : 23497 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 50005 0 0 0 76211 20 0 0 25 0 4 0 601709996 389746688 68430 33554432000 4194304 4650419 140736648729904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23494/tid=23498] ppid=23490 vsize=380612 CPUtime=758.13 cores=1,3,5,7
/proc/23494/task/23498/stat : 23498 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 105927 0 0 0 75769 44 0 0 25 0 4 0 601709996 389746688 68430 33554432000 4194304 4650419 140736648729904 18446744073709551615 4314710 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23494/tid=23499] ppid=23490 vsize=380612 CPUtime=762.3 cores=1,3,5,7
/proc/23494/task/23499/stat : 23499 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 105457 0 0 0 76199 31 0 0 25 0 4 0 601709996 389746688 68430 33554432000 4194304 4650419 140736648729904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3045.08
Current children cumulated vsize (KiB) 380612

[startup+822.3 s]
/proc/loadavg: 8.09 7.80 6.83 10/184 23524
/proc/meminfo: memFree=30048756/32951124 swapFree=67111464/67111528
[pid=23494] ppid=23490 vsize=471124 CPUtime=3284.75 cores=1,3,5,7
/proc/23494/stat : 23494 (strangenight1-m) R 23490 23494 23457 0 -1 4202496 371080 0 0 0 328332 143 0 0 25 0 4 0 601709995 482430976 76395 33554432000 4194304 4650419 140736648729904 18446744073709551615 4439106 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23494/statm: 117781 76395 392 112 0 112746 0
[pid=23494/tid=23497] ppid=23490 vsize=471124 CPUtime=822.31 cores=1,3,5,7
/proc/23494/task/23497/stat : 23497 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 52566 0 0 0 82209 22 0 0 25 0 4 0 601709996 482430976 76395 33554432000 4194304 4650419 140736648729904 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23494/tid=23498] ppid=23490 vsize=471124 CPUtime=817.8 cores=1,3,5,7
/proc/23494/task/23498/stat : 23498 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 110997 0 0 0 81733 47 0 0 25 0 4 0 601709996 482430976 76395 33554432000 4194304 4650419 140736648729904 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23494/tid=23499] ppid=23490 vsize=471124 CPUtime=822.3 cores=1,3,5,7
/proc/23494/task/23499/stat : 23499 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 108466 0 0 0 82198 32 0 0 25 0 4 0 601709996 482430976 76395 33554432000 4194304 4650419 140736648729904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.75
Current children cumulated vsize (KiB) 471124

[startup+882.3 s]
/proc/loadavg: 8.03 7.84 6.90 10/184 23526
/proc/meminfo: memFree=30062624/32951124 swapFree=67111464/67111528
[pid=23494] ppid=23490 vsize=471240 CPUtime=3524.43 cores=1,3,5,7
/proc/23494/stat : 23494 (strangenight1-m) R 23490 23494 23457 0 -1 4202496 387120 0 0 0 352297 146 0 0 25 0 4 0 601709995 482549760 75093 33554432000 4194304 4650419 140736648729904 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23494/statm: 117810 75093 392 112 0 112775 0
[pid=23494/tid=23497] ppid=23490 vsize=471240 CPUtime=882.31 cores=1,3,5,7
/proc/23494/task/23497/stat : 23497 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 52712 0 0 0 88209 22 0 0 25 0 4 0 601709996 482549760 75093 33554432000 4194304 4650419 140736648729904 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23494/tid=23498] ppid=23490 vsize=471240 CPUtime=877.48 cores=1,3,5,7
/proc/23494/task/23498/stat : 23498 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 115653 0 0 0 87699 49 0 0 25 0 4 0 601709996 482549760 75093 33554432000 4194304 4650419 140736648729904 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23494/tid=23499] ppid=23490 vsize=471240 CPUtime=882.3 cores=1,3,5,7
/proc/23494/task/23499/stat : 23499 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 108981 0 0 0 88198 32 0 0 25 0 4 0 601709996 482549760 75093 33554432000 4194304 4650419 140736648729904 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.43
Current children cumulated vsize (KiB) 471240

[startup+942.3 s]
/proc/loadavg: 8.01 7.86 6.97 10/184 23527
/proc/meminfo: memFree=30070264/32951124 swapFree=67111464/67111528
[pid=23494] ppid=23490 vsize=500324 CPUtime=3764.1 cores=1,3,5,7
/proc/23494/stat : 23494 (strangenight1-m) R 23490 23494 23457 0 -1 4202496 408091 0 0 0 376257 153 0 0 25 0 4 0 601709995 512331776 74487 33554432000 4194304 4650419 140736648729904 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23494/statm: 125081 74487 392 112 0 120046 0
[pid=23494/tid=23497] ppid=23490 vsize=500324 CPUtime=942.31 cores=1,3,5,7
/proc/23494/task/23497/stat : 23497 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 54509 0 0 0 94208 23 0 0 25 0 4 0 601709996 512331776 74487 33554432000 4194304 4650419 140736648729904 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23494/tid=23498] ppid=23490 vsize=500324 CPUtime=937.15 cores=1,3,5,7
/proc/23494/task/23498/stat : 23498 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 120490 0 0 0 93664 51 0 0 25 0 4 0 601709996 512331776 74487 33554432000 4194304 4650419 140736648729904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23494/tid=23499] ppid=23490 vsize=500324 CPUtime=942.3 cores=1,3,5,7
/proc/23494/task/23499/stat : 23499 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 113712 0 0 0 94196 34 0 0 25 0 4 0 601709996 512331776 74487 33554432000 4194304 4650419 140736648729904 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3764.1
Current children cumulated vsize (KiB) 500324

[startup+1002.3 s]
/proc/loadavg: 8.08 7.90 7.04 10/184 23529
/proc/meminfo: memFree=29995784/32951124 swapFree=67111464/67111528
[pid=23494] ppid=23490 vsize=500384 CPUtime=4003.79 cores=1,3,5,7
/proc/23494/stat : 23494 (strangenight1-m) R 23490 23494 23457 0 -1 4202496 417066 0 0 0 400221 158 0 0 25 0 4 0 601709995 512393216 80741 33554432000 4194304 4650419 140736648729904 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23494/statm: 125096 80741 392 112 0 120061 0
[pid=23494/tid=23497] ppid=23490 vsize=500384 CPUtime=1002.31 cores=1,3,5,7
/proc/23494/task/23497/stat : 23497 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 55448 0 0 0 100208 23 0 0 25 0 4 0 601709996 512393216 80741 33554432000 4194304 4650419 140736648729904 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23494/tid=23498] ppid=23490 vsize=500384 CPUtime=996.83 cores=1,3,5,7
/proc/23494/task/23498/stat : 23498 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 123919 0 0 0 99630 53 0 0 25 0 4 0 601709996 512393216 80741 33554432000 4194304 4650419 140736648729904 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23494/tid=23499] ppid=23490 vsize=500384 CPUtime=1002.3 cores=1,3,5,7
/proc/23494/task/23499/stat : 23499 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 113713 0 0 0 100196 34 0 0 25 0 4 0 601709996 512393216 80741 33554432000 4194304 4650419 140736648729904 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.79
Current children cumulated vsize (KiB) 500384

[startup+1062.3 s]
/proc/loadavg: 8.10 7.93 7.10 10/184 23530
/proc/meminfo: memFree=30039496/32951124 swapFree=67111464/67111528
[pid=23494] ppid=23490 vsize=500436 CPUtime=4243.45 cores=1,3,5,7
/proc/23494/stat : 23494 (strangenight1-m) R 23490 23494 23457 0 -1 4202496 421725 0 0 0 424183 162 0 0 25 0 4 0 601709995 512446464 77836 33554432000 4194304 4650419 140736648729904 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23494/statm: 125109 77836 392 112 0 120074 0
[pid=23494/tid=23497] ppid=23490 vsize=500436 CPUtime=1062.31 cores=1,3,5,7
/proc/23494/task/23497/stat : 23497 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 55449 0 0 0 106208 23 0 0 25 0 4 0 601709996 512446464 77836 33554432000 4194304 4650419 140736648729904 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23494/tid=23498] ppid=23490 vsize=500436 CPUtime=1056.49 cores=1,3,5,7
/proc/23494/task/23498/stat : 23498 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 127673 0 0 0 105593 56 0 0 25 0 4 0 601709996 512446464 77836 33554432000 4194304 4650419 140736648729904 18446744073709551615 4313703 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23494/tid=23499] ppid=23490 vsize=500436 CPUtime=1062.3 cores=1,3,5,7
/proc/23494/task/23499/stat : 23499 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 113713 0 0 0 106196 34 0 0 25 0 4 0 601709996 512446464 77836 33554432000 4194304 4650419 140736648729904 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.45
Current children cumulated vsize (KiB) 500436

[startup+1122.3 s]
/proc/loadavg: 8.10 7.96 7.16 10/184 23532
/proc/meminfo: memFree=29995056/32951124 swapFree=67111464/67111528
[pid=23494] ppid=23490 vsize=500516 CPUtime=4483.14 cores=1,3,5,7
/proc/23494/stat : 23494 (strangenight1-m) R 23490 23494 23457 0 -1 4202496 435922 0 0 0 448145 169 0 0 25 0 4 0 601709995 512528384 86672 33554432000 4194304 4650419 140736648729904 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23494/statm: 125129 86672 392 112 0 120094 0
[pid=23494/tid=23497] ppid=23490 vsize=500516 CPUtime=1122.31 cores=1,3,5,7
/proc/23494/task/23497/stat : 23497 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 55880 0 0 0 112208 23 0 0 25 0 4 0 601709996 512528384 86672 33554432000 4194304 4650419 140736648729904 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23494/tid=23498] ppid=23490 vsize=500516 CPUtime=1116.17 cores=1,3,5,7
/proc/23494/task/23498/stat : 23498 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 134102 0 0 0 111558 59 0 0 25 0 4 0 601709996 512528384 86672 33554432000 4194304 4650419 140736648729904 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23494/tid=23499] ppid=23490 vsize=500516 CPUtime=1122.3 cores=1,3,5,7
/proc/23494/task/23499/stat : 23499 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 116250 0 0 0 112195 35 0 0 25 0 4 0 601709996 512528384 86672 33554432000 4194304 4650419 140736648729904 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4483.14
Current children cumulated vsize (KiB) 500516

[startup+1182.3 s]
/proc/loadavg: 8.10 7.98 7.21 10/184 23534
/proc/meminfo: memFree=30007292/32951124 swapFree=67111464/67111528
[pid=23494] ppid=23490 vsize=513044 CPUtime=4722.82 cores=1,3,5,7
/proc/23494/stat : 23494 (strangenight1-m) R 23490 23494 23457 0 -1 4202496 454070 0 0 0 472107 175 0 0 25 0 4 0 601709995 525357056 81866 33554432000 4194304 4650419 140736648729904 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23494/statm: 128261 81866 392 112 0 123226 0
[pid=23494/tid=23497] ppid=23490 vsize=513044 CPUtime=1182.31 cores=1,3,5,7
/proc/23494/task/23497/stat : 23497 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 58553 0 0 0 118206 25 0 0 25 0 4 0 601709996 525357056 81866 33554432000 4194304 4650419 140736648729904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23494/tid=23498] ppid=23490 vsize=513044 CPUtime=1175.84 cores=1,3,5,7
/proc/23494/task/23498/stat : 23498 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 145053 0 0 0 117524 60 0 0 25 0 4 0 601709996 525357056 81866 33554432000 4194304 4650419 140736648729904 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23494/tid=23499] ppid=23490 vsize=513044 CPUtime=1182.31 cores=1,3,5,7
/proc/23494/task/23499/stat : 23499 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 119086 0 0 0 118194 37 0 0 25 0 4 0 601709996 525357056 81866 33554432000 4194304 4650419 140736648729904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.82
Current children cumulated vsize (KiB) 513044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.71 s]
/proc/loadavg: 8.07 7.98 7.23 10/184 23534
/proc/meminfo: memFree=29998100/32951124 swapFree=67111464/67111528
[pid=23494] ppid=23490 vsize=513044 CPUtime=4800.36 cores=1,3,5,7
/proc/23494/stat : 23494 (strangenight1-m) R 23490 23494 23457 0 -1 4202496 459434 0 0 0 479858 178 0 0 25 0 4 0 601709995 525357056 85340 33554432000 4194304 4650419 140736648729904 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23494/statm: 128261 85340 392 112 0 123226 0
[pid=23494/tid=23497] ppid=23490 vsize=513044 CPUtime=1201.73 cores=1,3,5,7
/proc/23494/task/23497/stat : 23497 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 58581 0 0 0 120148 25 0 0 25 0 4 0 601709996 525357056 85340 33554432000 4194304 4650419 140736648729904 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23494/tid=23498] ppid=23490 vsize=513044 CPUtime=1195.14 cores=1,3,5,7
/proc/23494/task/23498/stat : 23498 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 147494 0 0 0 119453 61 0 0 25 0 4 0 601709996 525357056 85340 33554432000 4194304 4650419 140736648729904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23494/tid=23499] ppid=23490 vsize=513044 CPUtime=1201.72 cores=1,3,5,7
/proc/23494/task/23499/stat : 23499 (strangenight1-m) R 23490 23494 23457 0 -1 4202560 120032 0 0 0 120134 38 0 0 25 0 4 0 601709996 525357056 85340 33554432000 4194304 4650419 140736648729904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 513044

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.4
CPU user time (s): 4798.61
CPU system time (s): 1.79673
CPU usage (%): 399.456
Max. virtual memory (cumulated for all children) (KiB): 513436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.61
system time used= 1.79673
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 459435
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= 392
involuntary context switches= 46943

runsolver used 1.90371 second user time and 4.67429 second system time

The end

Launcher Data 

Begin job on node110 at 2011-04-30 00:06:34
IDJOB=3175321
IDBENCH=82939
IDSOLVER=1588
FILE ID=node110/3175321-1304114794
RUNJOBID= node110-1304114794-23476
PBS_JOBID= 13170707
Free space on /tmp= 72840 MiB

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

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

MD5SUM BENCH= e8248df66827581bc842de4513557985
RANDOM SEED=1505359588

node110.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30805132 kB
Buffers:        923336 kB
Cached:         750576 kB
SwapCached:         64 kB
Active:         145012 kB
Inactive:      1593092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30805132 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:           12588 kB
Writeback:          20 kB
AnonPages:       64772 kB
Mapped:          14632 kB
Slab:           342332 kB
PageTables:       4668 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   185032 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= 72828 MiB
End job on node110 at 2011-04-30 00:26:38