Trace number 3175274

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.06 1202.63

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v50-c4450-S2039518547-066.UNKNOWN.cnf
MD5SUM80aa82e62b454f2871f6471d9559597d
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark32.939
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of clauses4450
Sum of the clauses size31150
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 54450

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-3175274-1304106024.cnf'
0.00/0.00	c -- header says num vars:             50
0.00/0.00	c -- header says num clauses:        4450
0.00/0.00	c -- clauses added:            0 learnts,         4450 normals,            0 xors
0.00/0.00	c -- vars added         50
0.00/0.10	c Parsing time:  0.00 s
0.00/0.10	c  N st     0         0        50      4450         0         0     31150         0   no data   no data  --
0.00/0.10	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.37
0.00/0.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.39/0.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.39/0.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.39/0.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
0.39/0.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1.18/0.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
1.18/0.33	c Finding binary XORs  T:     0.00 s  found:       0
1.18/0.33	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
1.18/0.33	c calculated reachability. Time: 0.00
1.18/0.33	c Calc default polars -  time:   0.00 s pos:      26 undec:       2 neg:      22
1.18/0.33	c =========================================================================================
1.18/0.33	c types(t): F = full restart, N = normal restart
1.18/0.33	c types(t): S = simplification begin/end, E = solution found
1.18/0.33	c restart types(rt): st = static, dy = dynamic
1.18/0.33	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.18/0.33	c  B st     0         0        50      4450         0         0     31150         0   no data   no data  --
1.18/0.33	c  N dy     8      4829        50      4450         0      4153     31150     76368     15.49     16.40  --
1.52/0.41	c  N dy    18     10038        50      4450         0      6470     31150    111740     15.19     16.10  --
1.52/0.55	c  N dy    42     14066        50      4450         0      6360     31150    106894     15.50     16.57  --
2.84/0.87	c  N dy    61     18073        50      4450         0      4964     31150     75340     15.67     17.92  --
3.50/1.02	c  F st    73     25000        50      4450         0     10939     31150    183414     15.50     15.54  --
3.50/1.02	c  N st    73     25000        50      4450         0     10939     31150    183414     15.50     15.54  --
4.19/1.24	c  N dy    79     30001        50      4450         0      9394     31150    150478     15.50   no data  --
4.19/1.24	c  S st    79     30001        50      4450         0      9394     31150    150478     15.50   no data  --
4.19/1.27	c  S st    79     30505        50      4450         0      9841     31150    158960     15.50   no data  --
4.19/1.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.19/1.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.19/1.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.52/1.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.52/1.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.52/1.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
4.52/1.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.53/2.23	c lits-rem:      1272  cl-subs:     1516  v-elim:      0  v-fix:    0  time:  2.81 s
8.21/2.43	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.63
8.21/2.43	c calculated reachability. Time: 0.00
8.21/2.43	c  N dy    79     30505        50      4450         0      8325     31150    132569     15.50   no data  --
8.87/2.65	c  N dy    97     34747        50      4450         0     11991     31150    199044     15.54     16.41  --
9.53/2.87	c  N dy   108     39470        50      4450         0      9312     31150    141738     15.50     16.33  --
10.19/3.05	c  N dy   116     43509        50      4450         0     12796     31150    205042     15.50     16.43  --
10.53/3.16	c  S st   117     45757        50      4450         0     14743     31150    240377     15.47     13.79  --
10.87/3.20	c  S st   117     46260        50      4450         0     15193     31150    248839     15.47   no data  --
10.87/3.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.87/3.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.87/3.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
10.87/3.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.87/3.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.87/3.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
10.87/3.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.07/4.41	c lits-rem:      1930  cl-subs:     2747  v-elim:      0  v-fix:    0  time:  4.00 s
15.07/4.41	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
15.07/4.41	c vivif2 --  cl tried    12446 cl shrink        0 lits rem          0 time: 0.01
15.89/4.68	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.07
15.89/4.68	c calculated reachability. Time: 0.00
15.89/4.68	c  N dy   117     46260        50      4450         0     12446     31150    199896     15.47   no data  --
17.87/5.17	c  N dy   132     55690        50      4450         0     13077     31150    198526     15.29     16.16  --
19.06/5.45	c  N dy   142     60219        50      4450         0     16970     31150    267512     15.27     16.09  --
21.05/5.90	c  N dy   157     69392        50      4450         0     16345     31150    251381     15.14     13.32  --
21.05/5.90	c  S st   157     69392        50      4450         0     16345     31150    251381     15.14     13.32  --
21.05/5.95	c  S st   157     69895        50      4450         0     16790     31150    259910     15.14   no data  --
21.05/5.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
21.05/5.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
21.05/5.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
21.05/5.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
21.05/5.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
21.05/5.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
21.05/5.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.26/7.26	c lits-rem:      2208  cl-subs:     2825  v-elim:      0  v-fix:    0  time:  5.14 s
26.26/7.26	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
26.26/7.26	c vivif2 --  cl tried    13965 cl shrink        0 lits rem          0 time: 0.01
27.46/7.57	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.24
27.46/7.57	c calculated reachability. Time: 0.00
27.46/7.57	c  N dy   157     69895        50      4450         0     13965     31150    212270     15.14   no data  --
28.67/7.89	c  N dy   195     74393        50      4450         0     17921     31150    286435     15.24     16.78  --
30.25/8.25	c  N dy   223     80792        50      4450         0     14242     31150    210869     15.26     16.11  --
31.85/8.66	c  F st   236     87502        50      4450         0     20037     31150    313832     15.21     13.01  --
31.85/8.66	c  N st   236     87502        50      4450         0     20037     31150    313832     15.21     13.01  --
33.07/8.97	c  N dy   246     93095        50      4450         0     14597     31150    213417     15.22     16.83  --
35.44/9.52	c  N dy   292    100685        50      4450         0     21205     31150    335754     15.30     16.25  --
36.64/9.81	c  S st   319    104843        50      4450         0     13628     31150    188144     15.33   no data  --
36.64/9.86	c  S st   319    105346        50      4450         0     14069     31150    196397     15.33   no data  --
36.64/9.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.64/9.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.64/9.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
36.64/9.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.64/9.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.64/9.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
36.64/9.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
40.21/10.79	c lits-rem:       729  cl-subs:      646  v-elim:      0  v-fix:    0  time:  3.65 s
40.21/10.79	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
40.21/10.79	c vivif2 --  cl tried    13423 cl shrink        0 lits rem          0 time: 0.01
41.41/11.10	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.21
41.41/11.10	c calculated reachability. Time: 0.00
41.41/11.10	c  N dy   319    105346        50      4450         0     13423     31150    183261     15.33   no data  --
43.41/11.56	c  N dy   344    112390        50      4450         0     19496     31150    291550     15.31     16.19  --
45.80/12.18	c  N dy   381    119631        50      4450         0     13721     31150    180057     15.35     17.23  --
48.99/12.99	c  N dy   429    130510        50      4450         0     23142     31150    351179     15.38     16.20  --
51.78/13.67	c  N dy   482    138899        50      4450         0     17461     31150    241761     15.44     17.06  --
55.00/14.40	c  N dy   522    147982        50      4450         0     25362     31150    387288     15.46     16.29  --
57.77/15.20	c  N dy   578    157482        50      4450         0     19788     31150    277300     15.51     16.33  --
58.17/15.24	c  S st   583    158021        50      4450         0     20256     31150    286141     15.51     15.37  --
58.57/15.30	c  S st   583    158525        50      4450         0     20701     31150    294716     15.51   no data  --
58.57/15.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
58.57/15.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
58.57/15.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
58.57/15.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
58.57/15.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
58.57/15.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
58.57/15.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
63.36/16.51	c lits-rem:      1455  cl-subs:     1865  v-elim:      0  v-fix:    0  time:  4.78 s
63.36/16.51	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
63.36/16.51	c vivif2 --  cl tried    18836 cl shrink        0 lits rem          0 time: 0.01
64.55/16.84	c asymm  cl-useful: 0/3722/4450 lits-rem:0 time: 1.31
64.55/16.84	c calculated reachability. Time: 0.00
64.55/16.84	c  N dy   583    158525        50      4450         0     18836     31150    259334     15.51   no data  --
68.17/17.74	c  N dy   608    168700        50      4450         0     27592     31150    418167     15.51     16.42  --
71.75/18.65	c  N dy   640    180059        50      4450         0     22810     31150    324285     15.49     16.46  --
76.96/19.91	c  N dy   699    192743        50      4450         0     18255     31150    234906     15.52     16.67  --
81.36/21.03	c  N dy   749    205545        50      4450         0     29387     31150    439636     15.54     16.44  --
88.93/22.90	c  N dy   792    225857        50      4450         0     30422     31150    437143     15.46     16.44  --
93.72/24.12	c  S st   849    237790        50      4450         0     23544     31150    316522     15.48   no data  --
93.72/24.19	c  S st   849    238294        50      4450         0     23995     31150    325267     15.48   no data  --
93.72/24.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
93.72/24.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
93.72/24.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
94.12/24.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
94.12/24.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
94.12/24.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
94.12/24.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
99.71/25.67	c lits-rem:      1479  cl-subs:     1958  v-elim:      0  v-fix:    0  time:  5.85 s
99.71/25.67	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
99.71/25.67	c vivif2 --  cl tried    22037 cl shrink        0 lits rem          0 time: 0.01
100.11/25.76	c asymm  cl-useful: 0/728/4450 lits-rem:0 time: 0.34
100.11/25.76	c calculated reachability. Time: 0.00
100.11/25.76	c  N dy   849    238294        50      4450         0     22037     31150    289156     15.48   no data  --
107.30/27.50	c  N dy   890    255878        50      4450         0     19178     31150    227385     15.44     16.34  --
114.89/29.42	c  N dy   933    275940        50      4450         0     36522     31150    540407     15.41     16.26  --
122.07/31.28	c  N dy  1037    293636        50      4450         0     32908     31150    473000     15.45     17.55  --
128.48/32.85	c  F st  1113    306251        50      4450         0     23973     31150    300293     15.48     14.11  --
130.87/33.43	c  N dy  1124    312445        50      4450         0     29300     31150    399081     15.48     17.39  --
140.05/35.73	c  N dy  1188    332463        50      4450         0     25878     31150    330429     15.48     17.84  --
150.84/38.43	c  N dy  1296    352706        50      4450         0     21765     31150    248221     15.52     16.34  --
152.44/38.87	c  S st  1320    357442        50      4450         0     25844     31150    322744     15.52     15.25  --
152.84/38.94	c  S st  1320    357945        50      4450         0     26287     31150    331369     15.52   no data  --
152.84/38.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
152.84/38.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
152.84/38.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
152.84/38.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
152.84/38.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
152.84/38.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
152.84/38.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
160.04/40.78	c lits-rem:       840  cl-subs:     1395  v-elim:      0  v-fix:    0  time:  7.28 s
160.04/40.78	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
160.04/40.78	c vivif2 --  cl tried    24892 cl shrink        0 lits rem          0 time: 0.01
161.63/41.13	c asymm  cl-useful: 0/3048/4450 lits-rem:0 time: 1.39
161.63/41.13	c calculated reachability. Time: 0.00
161.63/41.13	c  N dy  1320    357945        50      4450         0     24892     31150    305655     15.52   no data  --
173.63/44.16	c  N dy  1446    380694        50      4450         0     44561     31150    669554     15.56     16.38  --
183.19/46.53	c  N dy  1464    401008        50      4450         0     39585     31150    553910     15.49     16.33  --
193.98/49.25	c  N dy  1567    421097        50      4450         0     33751     31150    451529     15.51     17.40  --
205.96/52.20	c  N dy  1641    441658        50      4450         0     27383     31150    325964     15.50     16.40  --
222.37/56.31	c  N dy  1731    476956        50      4450         0     32630     31150    406508     15.46     16.29  --
235.15/59.59	c  N dy  1879    497037        50      4450         0     50068     31150    732901     15.50     18.53  --
247.92/62.76	c  N dy  2006    520745        50      4450         0     44728     31150    635406     15.53     16.50  --
258.29/65.33	c  S st  2083    536920        50      4450         0     31909     31150    387352     15.54   no data  --
258.69/65.42	c  S st  2083    537422        50      4450         0     32362     31150    396020     15.54   no data  --
258.69/65.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
258.69/65.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
258.69/65.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
258.69/65.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
258.69/65.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
258.69/65.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
258.69/65.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
266.30/67.35	c lits-rem:       740  cl-subs:     1568  v-elim:      0  v-fix:    0  time:  7.60 s
266.30/67.35	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
266.30/67.35	c vivif2 --  cl tried    30794 cl shrink        0 lits rem          0 time: 0.02
267.08/67.60	c asymm  cl-useful: 0/1402/4450 lits-rem:0 time: 0.98
267.48/67.60	c calculated reachability. Time: 0.00
267.48/67.60	c  N dy  2083    537422        50      4450         0     30794     31150    368281     15.54   no data  --
277.47/70.12	c  N dy  2104    558817        50      4450         0     49191     31150    695614     15.50     16.43  --
289.05/73.05	c  N dy  2174    578880        50      4450         0     39018     31150    506343     15.49     16.52  --
307.03/77.55	c  N dy  2283    607619        50      4450         0     35328     31150    433409     15.50     16.38  --
320.61/80.99	c  N dy  2389    628936        50      4450         0     53809     31150    777177     15.52     16.38  --
333.80/84.26	c  N dy  2510    648956        50      4450         0     41832     31150    553895     15.55     18.47  --
349.39/88.11	c  N dy  2573    671664        50      4450         0     31118     31150    343973     15.52     16.46  --
366.96/92.60	c  N dy  2680    700409        50      4450         0     55822     31150    789180     15.51     16.35  --
385.71/97.21	c  N dy  2693    734241        50      4450         0     53509     31150    714797     15.42     16.54  --
401.30/101.14	c  N dy  2780    754667        50      4450         0     39449     31150    480352     15.42     16.27  --
416.07/104.82	c  N dy  2855    776837        50      4450         0     58518     31150    827599     15.42     16.28  --
433.27/109.19	c  N dy  2988    800751        50      4450         0     46584     31150    609461     15.44     16.42  --
438.04/110.30	c  S st  3037    806135        50      4450         0     51257     31150    698507     15.45   no data  --
438.44/110.44	c  S st  3037    806636        50      4450         0     51700     31150    707278     15.45   no data  --
438.44/110.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
438.44/110.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
438.44/110.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.07
438.44/110.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
438.44/110.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
438.44/110.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
438.44/110.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
464.03/116.84	c lits-rem:      2636  cl-subs:     5622  v-elim:      0  v-fix:    0  time: 25.39 s
464.03/116.84	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
464.03/116.85	c vivif2 --  cl tried    46078 cl shrink        0 lits rem          0 time: 0.03
464.81/117.06	c asymm  cl-useful: 0/969/4450 lits-rem:0 time: 0.85
464.81/117.06	c calculated reachability. Time: 0.00
464.81/117.06	c  N dy  3037    806636        50      4450         0     46078     31150    602530     15.45   no data  --
484.38/121.91	c  N dy  3155    829429        50      4450         0     65690     31150    964358     15.47     16.30  --
498.36/125.41	c  N dy  3178    853402        50      4450         0     52878     31150    696137     15.43     16.40  --
517.94/130.36	c  N dy  3270    878481        50      4450         0     40335     31150    477685     15.43     16.32  --
533.12/134.17	c  N dy  3387    898517        50      4450         0     57647     31150    799419     15.44     17.04  --
554.68/139.50	c  N dy  3484    925551        50      4450         0     45561     31150    551863     15.44     16.27  --
571.86/143.86	c  N dy  3640    945566        50      4450         0     62885     31150    880428     15.47     17.75  --
590.25/148.47	c  N dy  3771    965591        50      4450         0     44168     31150    536130     15.49     16.76  --
602.62/151.51	c  N dy  3794    985874        50      4450         0     61446     31150    838059     15.46     16.44  --
622.99/156.60	c  N dy  3937   1006524        50      4450         0     42404     31150    496709     15.48     16.38  --
637.78/160.37	c  N dy  4033   1026606        50      4450         0     59674     31150    814333     15.49     16.34  --
661.35/166.21	c  N dy  4172   1047178        50      4450         0     39629     31150    435127     15.51     16.47  --
675.32/169.79	c  N dy  4274   1067260        50      4450         0     56884     31150    753340     15.52     17.02  --
680.51/171.01	c  F st  4314   1071875        50      4450         0     60871     31150    829170     15.52     15.56  --
698.88/175.60	c  N dy  4335   1093467        50      4450         0     40605     31150    442782     15.50     16.33  --
715.66/179.80	c  N dy  4472   1115604        50      4450         0     59633     31150    797511     15.52     16.45  --
750.42/188.50	c  N dy  4618   1154542        50      4450         0     53393     31150    658172     15.51     16.40  --
771.61/193.87	c  N dy  4620   1184525        50      4450         0     78577     31150   1081097     15.46     16.33  --
792.36/199.03	c  N dy  4783   1204572        50      4450         0     56001     31150    728112     15.48     16.45  --
797.57/200.38	c  S st  4807   1209956        50      4450         0     60647     31150    815001     15.48   no data  --
798.34/200.60	c  S st  4807   1210457        50      4450         0     61086     31150    823603     15.48   no data  --
798.74/200.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
798.74/200.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
798.74/200.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
798.74/200.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
798.74/200.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
798.74/200.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
798.74/200.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
867.87/217.98	c lits-rem:      3282  cl-subs:     5947  v-elim:      0  v-fix:    0  time: 69.18 s
867.87/217.98	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
867.87/217.99	c vivif2 --  cl tried    55139 cl shrink        0 lits rem          0 time: 0.04
869.44/218.32	c asymm  cl-useful: 0/633/4450 lits-rem:0 time: 1.32
869.44/218.32	c calculated reachability. Time: 0.00
869.44/218.32	c  N dy  4807   1210457        50      4450         0     55139     31150    710470     15.48   no data  --
894.21/224.56	c  N dy  4953   1230481        50      4450         0     72385     31150   1036456     15.50     17.18  --
915.76/230.00	c  N dy  5039   1252582        50      4450         0     50592     31150    611364     15.50     16.36  --
935.33/234.82	c  N dy  5190   1272615        50      4450         0     67917     31150    939136     15.52     16.96  --
957.69/240.48	c  N dy  5254   1294599        50      4450         0     44792     31150    492975     15.52     16.39  --
979.25/245.83	c  N dy  5359   1316896        50      4450         0     64016     31150    846691     15.52     16.36  --
1006.41/252.61	c  N dy  5462   1336941        50      4450         0     81245     31150   1165825     15.52     17.10  --
1028.77/258.30	c  N dy  5588   1357029        50      4450         0     55695     31150    692672     15.54     17.18  --
1063.50/266.94	c  N dy  5726   1391613        50      4450         0     85202     31150   1226418     15.53     16.47  --
1088.26/273.17	c  N dy  5813   1422346        50      4450         0     67854     31150    898260     15.52     16.39  --
1113.02/279.34	c  N dy  5891   1443936        50      4450         0     86346     31150   1236155     15.53     16.53  --
1132.59/284.25	c  N dy  6012   1464099        50      4450         0     59188     31150    743572     15.54     16.41  --
1155.75/290.05	c  N dy  6168   1484194        50      4450         0     76413     31150   1070317     15.55     17.12  --
1185.31/297.40	c  N dy  6314   1506019        50      4450         0     49740     31150    558009     15.57     16.54  --
1199.68/301.08	c  N dy  6329   1526071        50      4450         0     66781     31150    855541     15.55     18.29  --
1225.25/307.43	c  N dy  6473   1546091        50      4450         0     83959     31150   1180883     15.57     18.07  --
1246.02/312.62	c  N dy  6529   1566114        50      4450         0     54793     31150    641739     15.56     16.38  --
1264.77/317.34	c  N dy  6618   1586375        50      4450         0     72182     31150    962595     15.56     16.40  --
1291.13/323.95	c  N dy  6757   1606411        50      4450         0     89465     31150   1288874     15.58     17.50  --
1310.30/328.76	c  N dy  6838   1626483        50      4450         0     59519     31150    728320     15.58     17.20  --
1331.46/334.08	c  N dy  6934   1647004        50      4450         0     77101     31150   1053868     15.59     16.52  --
1359.41/341.00	c  N dy  7032   1667041        50      4450         0     94295     31150   1372389     15.59     16.95  --
1382.55/346.82	c  N dy  7155   1687825        50      4450         0     64164     31150    809625     15.60     16.60  --
1413.70/354.69	c  N dy  7299   1708956        50      4450         0     82407     31150   1154850     15.62     16.45  --
1416.50/355.39	c  S st  7313   1710457        50      4450         0     83720     31150   1179967     15.62     16.50  --
1418.09/355.70	c  S st  7313   1710962        50      4450         0     84163     31150   1188713     15.62   no data  --
1418.09/355.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1418.09/355.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1418.09/355.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.18
1418.09/355.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1418.09/355.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1418.09/355.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
1418.09/355.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1581.84/396.77	c lits-rem:      6247  cl-subs:    10487  v-elim:      0  v-fix:    0  time: 163.62 s
1581.84/396.77	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
1581.84/396.79	c vivif2 --  cl tried    73676 cl shrink        0 lits rem          0 time: 0.05
1583.44/397.15	c asymm  cl-useful: 0/493/4450 lits-rem:0 time: 1.44
1583.44/397.15	c calculated reachability. Time: 0.00
1583.44/397.15	c  N dy  7313   1710962        50      4450         0     73676     31150    991155     15.62   no data  --
1610.20/403.83	c  N dy  7355   1732410        50      4450         0     91848     31150   1312910     15.60     16.52  --
1635.74/410.23	c  N dy  7418   1761032        50      4450         0     68087     31150    867295     15.60     16.43  --
1664.89/417.51	c  N dy  7570   1781108        50      4450         0     85341     31150   1194342     15.61     17.54  --
1701.63/426.74	c  N dy  7692   1804169        50      4450         0     55811     31150    632911     15.62     16.61  --
1723.18/432.11	c  N dy  7820   1824225        50      4450         0     73064     31150    957877     15.63     17.97  --
1753.14/439.66	c  N dy  7825   1855108        50      4450         0     99120     31150   1408419     15.60     16.56  --
1774.29/444.91	c  N dy  7956   1875111        50      4450         0     66068     31150    824741     15.60     17.83  --
1796.66/450.57	c  N dy  8009   1895124        50      4450         0     83090     31150   1129901     15.60     16.84  --
1830.60/459.08	c  N dy  8172   1915219        50      4450         0    100462     31150   1458804     15.61     17.16  --
1858.54/466.01	c  N dy  8280   1943163        50      4450         0     73080     31150    938803     15.61     16.51  --
1884.90/472.68	c  N dy  8395   1963230        50      4450         0     90264     31150   1258978     15.62     18.65  --
1917.66/480.85	c  N dy  8545   1983263        50      4450         0     55311     31150    608988     15.63     17.09  --
1936.82/485.67	c  N dy  8634   2003352        50      4450         0     72478     31150    928608     15.64     17.55  --
1969.56/493.81	c  N dy  8728   2030178        50      4450         0     95403     31150   1343430     15.63     16.50  --
2000.71/501.69	c  N dy  8874   2050231        50      4450         0     59680     31150    682880     15.64     16.76  --
2023.86/507.42	c  N dy  8928   2073756        50      4450         0     79688     31150   1043189     15.64     16.48  --
2053.83/514.94	c  N dy  9049   2093825        50      4450         0     96941     31150   1368161     15.64     17.55  --
2082.56/522.17	c  N dy  9154   2114251        50      4450         0     60527     31150    692069     15.65     16.51  --
2108.12/528.55	c  N dy  9298   2136876        50      4450         0     79982     31150   1060586     15.66     16.54  --
2139.68/536.47	c  N dy  9446   2157870        50      4450         0     98044     31150   1403301     15.67     16.66  --
2171.63/544.47	c  N dy  9571   2178276        50      4450         0     60686     31150    687319     15.68     16.54  --
2199.98/551.51	c  N dy  9730   2198375        50      4450         0     77929     31150   1015500     15.69     17.01  --
2221.52/556.97	c  S st  9823   2210962        50      4450         0     88762     31150   1221419     15.69   no data  --
2222.72/557.26	c  S st  9823   2211468        50      4450         0     89212     31150   1230114     15.69   no data  --
2222.72/557.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2222.72/557.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2223.12/557.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.19
2223.12/557.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2223.12/557.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2223.12/557.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
2223.12/557.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2418.01/606.12	c lits-rem:      5519  cl-subs:     9819  v-elim:      0  v-fix:    0  time: 194.71 s
2418.01/606.12	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
2418.01/606.14	c vivif2 --  cl tried    79393 cl shrink        0 lits rem          0 time: 0.06
2419.61/606.55	c asymm  cl-useful: 0/445/4450 lits-rem:0 time: 1.66
2419.61/606.56	c calculated reachability. Time: 0.00
2419.61/606.56	c  N dy  9823   2211468        50      4450         0     79393     31150   1041523     15.69   no data  --
2455.53/615.50	c  N dy  9954   2231512        50      4450         0     96584     31150   1366674     15.70     16.62  --
2490.28/624.20	c  N dy 10021   2251536        50      4450         0     58679     31150    642464     15.70     18.02  --
2514.64/630.30	c  N dy 10113   2271619        50      4450         0     75820     31150    957743     15.70     16.75  --
2541.41/637.09	c  N dy 10157   2291709        50      4450         0     92935     31150   1270231     15.70     16.53  --
2579.32/646.57	c  N dy 10183   2314772        50      4450         0     56500     31150    595384     15.69     16.54  --
2598.90/651.43	c  N dy 10259   2334779        50      4450         0     73540     31150    906635     15.69     18.24  --
2631.63/659.62	c  N dy 10352   2361627        50      4450         0     96372     31150   1324404     15.69     16.70  --
2665.17/668.02	c  N dy 10437   2381647        50      4450         0    113397     31150   1633016     15.69     17.05  --
2685.93/673.29	c  N dy 10460   2403614        50      4450         0     74967     31150    921035     15.68     16.66  --
2712.71/679.90	c  N dy 10571   2423713        50      4450         0     92129     31150   1243702     15.69     18.35  --
2751.03/689.57	c  N dy 10658   2448176        50      4450         0    113005     31150   1627765     15.69     16.59  --
2773.38/695.15	c  N dy 10745   2468262        50      4450         0     72314     31150    875974     15.69     17.18  --
2804.13/702.89	c  N dy 10836   2493566        50      4450         0     93854     31150   1270064     15.69     16.60  --
2837.28/711.16	c  N dy 10937   2513606        50      4450         0    111044     31150   1591371     15.69     17.46  --
2861.65/717.28	c  N dy 10961   2534131        50      4450         0     69708     31150    810784     15.69     16.53  --
2887.99/723.81	c  N dy 11079   2554140        50      4450         0     86802     31150   1130667     15.69     18.04  --
2917.55/731.27	c  N dy 11161   2574170        50      4450         0    103899     31150   1444698     15.69     16.81  --
2953.09/740.11	c  N dy 11244   2594221        50      4450         0     61271     31150    653849     15.69     17.54  --
2971.45/744.70	c  N dy 11288   2614459        50      4450         0     78444     31150    964582     15.69     16.72  --
3002.20/752.50	c  N dy 11350   2640898        50      4450         0    100929     31150   1370838     15.68     16.53  --
3038.16/761.42	c  N dy 11451   2660934        50      4450         0    118003     31150   1689796     15.69     17.41  --
3065.69/768.30	c  N dy 11576   2680942        50      4450         0     74707     31150    903056     15.69     16.56  --
3099.66/776.86	c  N dy 11702   2704040        50      4450         0     94395     31150   1269595     15.70     16.53  --
3112.84/780.14	c  S st 11723   2711470        50      4450         0    100658     31150   1384721     15.70   no data  --
3114.42/780.53	c  S st 11723   2711972        50      4450         0    101095     31150   1393336     15.70   no data  --
3114.42/780.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3114.42/780.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3114.42/780.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
3114.81/780.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3114.81/780.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3114.81/780.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
3114.81/780.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3660.74/917.35	c lits-rem:      6575  cl-subs:    13119  v-elim:      0  v-fix:    0  time: 545.88 s
3660.74/917.35	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
3660.74/917.37	c vivif2 --  cl tried    87976 cl shrink        0 lits rem          0 time: 0.06
3662.32/917.76	c asymm  cl-useful: 0/394/4450 lits-rem:0 time: 1.58
3662.32/917.77	c calculated reachability. Time: 0.00
3662.32/917.77	c  N dy 11723   2711972        50      4450         0     87976     31150   1153473     15.70   no data  --
3700.67/927.32	c  N dy 11838   2732091        50      4450         0    105229     31150   1476570     15.70     16.70  --
3745.42/938.54	c  N dy 11912   2755277        50      4450         0     64502     31150    701869     15.70     16.59  --
3772.15/945.24	c  N dy 11970   2776985        50      4450         0     82960     31150   1033536     15.70     16.63  --
3804.90/953.46	c  N dy 12062   2798391        50      4450         0    101220     31150   1370730     15.70     16.53  --
3843.62/963.14	c  N dy 12143   2819897        50      4450         0    119498     31150   1707188     15.70     16.61  --
3871.58/970.15	c  N dy 12229   2839937        50      4450         0     74901     31150    883414     15.70     18.24  --
3891.55/975.17	c  N dy 12247   2859963        50      4450         0     91849     31150   1181036     15.69     17.87  --
3925.11/983.53	c  N dy 12354   2880003        50      4450         0    109005     31150   1501635     15.69     18.03  --
3964.22/993.38	c  N dy 12442   2900056        50      4450         0     63304     31150    666543     15.70     17.47  --
3986.61/999.00	c  N dy 12549   2920095        50      4450         0     80439     31150    987374     15.70     16.58  --
4017.74/1006.75	c  N dy 12679   2940163        50      4450         0     97613     31150   1312078     15.71     17.37  --
4050.07/1014.81	c  N dy 12710   2962345        50      4450         0    116318     31150   1646519     15.70     16.57  --
4097.99/1026.81	c  N dy 12807   2996553        50      4450         0     81484     31150    975406     15.70     16.75  --
4125.54/1033.70	c  N dy 12869   3020068        50      4450         0    101378     31150   1330570     15.69     16.53  --
4163.88/1043.33	c  N dy 12986   3040889        50      4450         0    119201     31150   1666100     15.70     16.54  --
4197.85/1051.89	c  N dy 13064   3061050        50      4450         0     71909     31150    811971     15.70     16.57  --
4219.80/1057.39	c  N dy 13111   3082216        50      4450         0     89826     31150   1134389     15.69     16.52  --
4274.49/1071.01	c  N dy 13234   3112118        50      4450         0    115350     31150   1608097     15.69     16.56  --
4324.41/1083.50	c  N dy 13366   3132217        50      4450         0     67051     31150    713907     15.70     16.87  --
4355.98/1091.49	c  N dy 13501   3153368        50      4450         0     85192     31150   1054825     15.70     16.55  --
4386.31/1099.05	c  N dy 13558   3173422        50      4450         0    102269     31150   1367852     15.70     16.53  --
4435.04/1111.21	c  N dy 13652   3198283        50      4450         0    123458     31150   1759863     15.70     16.67  --
4464.17/1118.51	c  S st 13675   3211974        50      4450         0     68571     31150    733009     15.70     14.62  --
4464.97/1118.76	c  S st 13675   3212477        50      4450         0     69012     31150    741628     15.70   no data  --
4464.97/1118.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4464.97/1118.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4464.97/1118.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
4465.39/1118.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4465.39/1118.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4465.39/1118.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
4465.39/1118.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4538.45/1137.18	c lits-rem:       306  cl-subs:     1073  v-elim:      0  v-fix:    0  time: 73.29 s
4538.45/1137.18	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
4538.45/1137.19	c vivif2 --  cl tried    67939 cl shrink        0 lits rem          0 time: 0.04
4540.06/1137.51	c asymm  cl-useful: 0/513/4450 lits-rem:0 time: 1.28
4540.06/1137.51	c calculated reachability. Time: 0.00
4540.06/1137.51	c  N dy 13675   3212477        50      4450         0     67939     31150    724176     15.70   no data  --
4568.78/1144.77	c  N dy 13772   3237445        50      4450         0     89185     31150   1116758     15.70     16.54  --
4599.53/1152.44	c  N dy 13824   3259405        50      4450         0    107835     31150   1455331     15.70     16.78  --
4663.45/1168.43	c  N dy 13901   3296088        50      4450         0     71714     31150    779185     15.69     16.67  --
4698.59/1177.22	c  N dy 14012   3324110        50      4450         0     95475     31150   1210250     15.68     16.60  --
4733.72/1186.02	c  N dy 14013   3355059        50      4450         0    121460     31150   1651681     15.66     16.86  --
4774.04/1196.12	c  N dy 14108   3375071        50      4450         0     70780     31150    765471     15.66     16.94  --

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 8.21 8.12 8.02 5/178 26547
/proc/meminfo: memFree=30813920/32951132 swapFree=67111356/67111528
[pid=26547] ppid=26545 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/26547/stat : 26547 (strangenight1-m) R 26545 26547 26305 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 522202081 52465664 352 33554432000 4194304 4650419 140733223073312 18446744073709551615 47366989932464 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26547/statm: 12809 352 303 112 0 7774 0
[pid=26547/tid=26548] ppid=26545 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/26547/task/26548/stat : 26548 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 522202082 52465664 352 33554432000 4194304 4650419 140733223073312 18446744073709551615 47366989932470 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26547/tid=26549] ppid=26545 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/26547/task/26549/stat : 26549 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 522202082 52465664 352 33554432000 4194304 4650419 140733223073312 18446744073709551615 47366989932466 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26547/tid=26550] ppid=26545 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/26547/task/26550/stat : 26550 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 522202082 52465664 352 33554432000 4194304 4650419 140733223073312 18446744073709551615 274664864753 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.104223 s]
/proc/loadavg: 8.21 8.12 8.02 5/178 26547
/proc/meminfo: memFree=30813920/32951132 swapFree=67111356/67111528
[pid=26547] ppid=26545 vsize=283104 CPUtime=0.39 cores=0,2,4,6
/proc/26547/stat : 26547 (strangenight1-m) D 26545 26547 26305 0 -1 4202496 1783 0 0 0 39 0 0 0 18 0 4 0 522202081 289898496 1551 33554432000 4194304 4650419 140733223073312 18446744073709551615 4427009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26547/statm: 70776 1551 376 112 0 65741 0
[pid=26547/tid=26548] ppid=26545 vsize=283104 CPUtime=0.09 cores=0,2,4,6
/proc/26547/task/26548/stat : 26548 (strangenight1-m) D 26545 26547 26305 0 -1 4202560 371 0 0 0 9 0 0 0 18 0 4 0 522202082 289898496 1551 33554432000 4194304 4650419 140733223073312 18446744073709551615 274664469189 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26547/tid=26549] ppid=26545 vsize=283104 CPUtime=0.09 cores=0,2,4,6
/proc/26547/task/26549/stat : 26549 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 255 0 0 0 9 0 0 0 18 0 4 0 522202082 289898496 1551 33554432000 4194304 4650419 140733223073312 18446744073709551615 4370697 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26547/tid=26550] ppid=26545 vsize=283104 CPUtime=0.09 cores=0,2,4,6
/proc/26547/task/26550/stat : 26550 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 301 0 0 0 9 0 0 0 25 0 4 0 522202082 289898496 1551 33554432000 4194304 4650419 140733223073312 18446744073709551615 274664851639 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 283104

[startup+0.200679 s]
/proc/loadavg: 8.21 8.12 8.02 5/178 26547
/proc/meminfo: memFree=30813920/32951132 swapFree=67111356/67111528
[pid=26547] ppid=26545 vsize=284204 CPUtime=0.77 cores=0,2,4,6
/proc/26547/stat : 26547 (strangenight1-m) R 26545 26547 26305 0 -1 4202496 2754 0 0 0 77 0 0 0 18 0 4 0 522202081 291024896 2353 33554432000 4194304 4650419 140733223073312 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26547/statm: 71051 2353 390 112 0 66016 0
[pid=26547/tid=26548] ppid=26545 vsize=284204 CPUtime=0.19 cores=0,2,4,6
/proc/26547/task/26548/stat : 26548 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 598 0 0 0 19 0 0 0 18 0 4 0 522202082 291024896 2353 33554432000 4194304 4650419 140733223073312 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26547/tid=26549] ppid=26545 vsize=284204 CPUtime=0.19 cores=0,2,4,6
/proc/26547/task/26549/stat : 26549 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 596 0 0 0 19 0 0 0 18 0 4 0 522202082 291024896 2353 33554432000 4194304 4650419 140733223073312 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26547/tid=26550] ppid=26545 vsize=284204 CPUtime=0.19 cores=0,2,4,6
/proc/26547/task/26550/stat : 26550 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 511 0 0 0 19 0 0 0 25 0 4 0 522202082 291024896 2353 33554432000 4194304 4650419 140733223073312 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 284204

[startup+0.30066 s]
/proc/loadavg: 8.21 8.12 8.02 5/178 26547
/proc/meminfo: memFree=30813920/32951132 swapFree=67111356/67111528
[pid=26547] ppid=26545 vsize=284816 CPUtime=1.18 cores=0,2,4,6
/proc/26547/stat : 26547 (strangenight1-m) R 26545 26547 26305 0 -1 4202496 3311 0 0 0 117 1 0 0 18 0 4 0 522202081 291651584 2504 33554432000 4194304 4650419 140733223073312 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26547/statm: 71204 2504 390 112 0 66169 0
[pid=26547/tid=26548] ppid=26545 vsize=284816 CPUtime=0.29 cores=0,2,4,6
/proc/26547/task/26548/stat : 26548 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 753 0 0 0 29 0 0 0 18 0 4 0 522202082 291651584 2504 33554432000 4194304 4650419 140733223073312 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26547/tid=26549] ppid=26545 vsize=284816 CPUtime=0.29 cores=0,2,4,6
/proc/26547/task/26549/stat : 26549 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 764 0 0 0 29 0 0 0 18 0 4 0 522202082 291651584 2504 33554432000 4194304 4650419 140733223073312 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26547/tid=26550] ppid=26545 vsize=284816 CPUtime=0.29 cores=0,2,4,6
/proc/26547/task/26550/stat : 26550 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 587 0 0 0 29 0 0 0 25 0 4 0 522202082 291651584 2504 33554432000 4194304 4650419 140733223073312 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284816

[startup+0.738757 s]
/proc/loadavg: 8.21 8.12 8.02 5/178 26547
/proc/meminfo: memFree=30813920/32951132 swapFree=67111356/67111528
[pid=26547] ppid=26545 vsize=295132 CPUtime=2.62 cores=0,2,4,6
/proc/26547/stat : 26547 (strangenight1-m) R 26545 26547 26305 0 -1 4202496 4880 0 0 0 255 7 0 0 18 0 4 0 522202081 302215168 3057 33554432000 4194304 4650419 140733223073312 18446744073709551615 274664851639 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26547/statm: 73783 3057 390 112 0 68748 0
[pid=26547/tid=26548] ppid=26545 vsize=295132 CPUtime=0.71 cores=0,2,4,6
/proc/26547/task/26548/stat : 26548 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 1367 0 0 0 71 0 0 0 18 0 4 0 522202082 302215168 3057 33554432000 4194304 4650419 140733223073312 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26547/tid=26549] ppid=26545 vsize=295132 CPUtime=0.62 cores=0,2,4,6
/proc/26547/task/26549/stat : 26549 (strangenight1-m) D 26545 26547 26305 0 -1 4202560 1080 0 0 0 59 3 0 0 18 0 4 0 522202082 302215168 3057 33554432000 4194304 4650419 140733223073312 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26547/tid=26550] ppid=26545 vsize=295132 CPUtime=0.53 cores=0,2,4,6
/proc/26547/task/26550/stat : 26550 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 819 0 0 0 52 1 0 0 25 0 4 0 522202082 302215168 3057 33554432000 4194304 4650419 140733223073312 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 295132

[startup+1.50046 s]
/proc/loadavg: 8.21 8.12 8.02 9/182 26551
/proc/meminfo: memFree=30798716/32951132 swapFree=67111356/67111528
[pid=26547] ppid=26545 vsize=286844 CPUtime=5.14 cores=0,2,4,6
/proc/26547/stat : 26547 (strangenight1-m) R 26545 26547 26305 0 -1 4202496 7820 0 0 0 491 23 0 0 19 0 4 0 522202081 293728256 4686 33554432000 4194304 4650419 140733223073312 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26547/statm: 71711 4686 392 112 0 66676 0
[pid=26547/tid=26548] ppid=26545 vsize=286844 CPUtime=1.43 cores=0,2,4,6
/proc/26547/task/26548/stat : 26548 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 1843 0 0 0 143 0 0 0 19 0 4 0 522202082 293728256 4686 33554432000 4194304 4650419 140733223073312 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26547/tid=26549] ppid=26545 vsize=286844 CPUtime=1.36 cores=0,2,4,6
/proc/26547/task/26549/stat : 26549 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 1797 0 0 0 131 5 0 0 18 0 4 0 522202082 293728256 4686 33554432000 4194304 4650419 140733223073312 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26547/tid=26550] ppid=26545 vsize=286844 CPUtime=0.85 cores=0,2,4,6
/proc/26547/task/26550/stat : 26550 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 819 0 0 0 82 3 0 0 25 0 4 0 522202082 293728256 4686 33554432000 4194304 4650419 140733223073312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.14
Current children cumulated vsize (KiB) 286844

[startup+3.10018 s]
/proc/loadavg: 8.21 8.12 8.02 9/182 26551
/proc/meminfo: memFree=30778504/32951132 swapFree=67111356/67111528
[pid=26547] ppid=26545 vsize=282312 CPUtime=10.53 cores=0,2,4,6
/proc/26547/stat : 26547 (strangenight1-m) R 26545 26547 26305 0 -1 4202496 11925 0 0 0 1011 42 0 0 24 0 4 0 522202081 289087488 7350 33554432000 4194304 4650419 140733223073312 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26547/statm: 70578 7352 392 112 0 65543 0
[pid=26547/tid=26548] ppid=26545 vsize=282312 CPUtime=2.8 cores=0,2,4,6
/proc/26547/task/26548/stat : 26548 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 3059 0 0 0 279 1 0 0 22 0 4 0 522202082 289087488 7352 33554432000 4194304 4650419 140733223073312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26547/tid=26549] ppid=26545 vsize=282312 CPUtime=2.94 cores=0,2,4,6
/proc/26547/task/26549/stat : 26549 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 3856 0 0 0 280 14 0 0 20 0 4 0 522202082 289087488 7352 33554432000 4194304 4650419 140733223073312 18446744073709551615 4444833 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26547/tid=26550] ppid=26545 vsize=282312 CPUtime=1.69 cores=0,2,4,6
/proc/26547/task/26550/stat : 26550 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 1194 0 0 0 159 10 0 0 25 0 4 0 522202082 289087488 7352 33554432000 4194304 4650419 140733223073312 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 10.53
Current children cumulated vsize (KiB) 282312

[startup+6.30063 s]
/proc/loadavg: 8.43 8.17 8.03 9/182 26552
/proc/meminfo: memFree=30755928/32951132 swapFree=67111356/67111528
[pid=26547] ppid=26545 vsize=287700 CPUtime=22.66 cores=0,2,4,6
/proc/26547/stat : 26547 (strangenight1-m) R 26545 26547 26305 0 -1 4202496 20361 0 0 0 2211 55 0 0 25 0 4 0 522202081 294604800 11791 33554432000 4194304 4650419 140733223073312 18446744073709551615 4433048 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26547/statm: 71925 11791 392 112 0 66890 0
[pid=26547/tid=26548] ppid=26545 vsize=287700 CPUtime=5.38 cores=0,2,4,6
/proc/26547/task/26548/stat : 26548 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 5124 0 0 0 532 6 0 0 25 0 4 0 522202082 294604800 11791 33554432000 4194304 4650419 140733223073312 18446744073709551615 4438378 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26547/tid=26549] ppid=26545 vsize=287700 CPUtime=6.12 cores=0,2,4,6
/proc/26547/task/26549/stat : 26549 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 5466 0 0 0 597 15 0 0 25 0 4 0 522202082 294604800 11791 33554432000 4194304 4650419 140733223073312 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26547/tid=26550] ppid=26545 vsize=287700 CPUtime=4.87 cores=0,2,4,6
/proc/26547/task/26550/stat : 26550 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 4114 0 0 0 475 12 0 0 25 0 4 0 522202082 294604800 11791 33554432000 4194304 4650419 140733223073312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 22.66
Current children cumulated vsize (KiB) 287700

[startup+12.7005 s]
/proc/loadavg: 8.48 8.18 8.04 9/182 26552
/proc/meminfo: memFree=30722540/32951132 swapFree=67111356/67111528
[pid=26547] ppid=26545 vsize=305460 CPUtime=48.19 cores=0,2,4,6
/proc/26547/stat : 26547 (strangenight1-m) R 26545 26547 26305 0 -1 4202496 29833 0 0 0 4758 61 0 0 25 0 4 0 522202081 312791040 15958 33554432000 4194304 4650419 140733223073312 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26547/statm: 76365 15958 392 112 0 71330 0
[pid=26547/tid=26548] ppid=26545 vsize=305460 CPUtime=11.76 cores=0,2,4,6
/proc/26547/task/26548/stat : 26548 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 6700 0 0 0 1165 11 0 0 25 0 4 0 522202082 312791040 15958 33554432000 4194304 4650419 140733223073312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26547/tid=26549] ppid=26545 vsize=305460 CPUtime=12.49 cores=0,2,4,6
/proc/26547/task/26549/stat : 26549 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 8144 0 0 0 1233 16 0 0 25 0 4 0 522202082 312791040 15958 33554432000 4194304 4650419 140733223073312 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26547/tid=26550] ppid=26545 vsize=305460 CPUtime=11.26 cores=0,2,4,6
/proc/26547/task/26550/stat : 26550 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 7631 0 0 0 1114 12 0 0 25 0 4 0 522202082 312791040 15958 33554432000 4194304 4650419 140733223073312 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 48.19
Current children cumulated vsize (KiB) 305460

[startup+25.5063 s]
/proc/loadavg: 8.37 8.17 8.04 9/182 26552
/proc/meminfo: memFree=30676036/32951132 swapFree=67111356/67111528
[pid=26547] ppid=26545 vsize=318908 CPUtime=99.33 cores=0,2,4,6
/proc/26547/stat : 26547 (strangenight1-m) R 26545 26547 26305 0 -1 4202496 45153 0 0 0 9867 66 0 0 25 0 4 0 522202081 326561792 21866 33554432000 4194304 4650419 140733223073312 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26547/statm: 79727 21866 392 112 0 74692 0
[pid=26547/tid=26548] ppid=26545 vsize=318908 CPUtime=24.55 cores=0,2,4,6
/proc/26547/task/26548/stat : 26548 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 9642 0 0 0 2442 13 0 0 25 0 4 0 522202082 326561792 21866 33554432000 4194304 4650419 140733223073312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26547/tid=26549] ppid=26545 vsize=318908 CPUtime=25.23 cores=0,2,4,6
/proc/26547/task/26549/stat : 26549 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 13074 0 0 0 2506 17 0 0 25 0 4 0 522202082 326561792 21866 33554432000 4194304 4650419 140733223073312 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26547/tid=26550] ppid=26545 vsize=318908 CPUtime=24.06 cores=0,2,4,6
/proc/26547/task/26550/stat : 26550 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 11751 0 0 0 2393 13 0 0 25 0 4 0 522202082 326561792 21866 33554432000 4194304 4650419 140733223073312 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 99.33
Current children cumulated vsize (KiB) 318908

[startup+51.1009 s]
/proc/loadavg: 8.24 8.16 8.03 9/182 26552
/proc/meminfo: memFree=30671196/32951132 swapFree=67111356/67111528
[pid=26547] ppid=26545 vsize=301028 CPUtime=201.57 cores=0,2,4,6
/proc/26547/stat : 26547 (strangenight1-m) R 26545 26547 26305 0 -1 4202496 70385 0 0 0 20083 74 0 0 25 0 4 0 522202081 308252672 21165 33554432000 4194304 4650419 140733223073312 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26547/statm: 75257 21165 392 112 0 70222 0
[pid=26547/tid=26548] ppid=26545 vsize=301028 CPUtime=50.14 cores=0,2,4,6
/proc/26547/task/26548/stat : 26548 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 14506 0 0 0 4999 15 0 0 25 0 4 0 522202082 308252672 21165 33554432000 4194304 4650419 140733223073312 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26547/tid=26549] ppid=26545 vsize=301028 CPUtime=50.69 cores=0,2,4,6
/proc/26547/task/26549/stat : 26549 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 20422 0 0 0 5050 19 0 0 25 0 4 0 522202082 308252672 21165 33554432000 4194304 4650419 140733223073312 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26547/tid=26550] ppid=26545 vsize=301028 CPUtime=49.66 cores=0,2,4,6
/proc/26547/task/26550/stat : 26550 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 18392 0 0 0 4951 15 0 0 25 0 4 0 522202082 308252672 21165 33554432000 4194304 4650419 140733223073312 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 201.57
Current children cumulated vsize (KiB) 301028

[startup+102.301 s]
/proc/loadavg: 8.15 8.14 8.03 9/182 26554
/proc/meminfo: memFree=30615336/32951132 swapFree=67111356/67111528
[pid=26547] ppid=26545 vsize=333040 CPUtime=406.1 cores=0,2,4,6
/proc/26547/stat : 26547 (strangenight1-m) R 26545 26547 26305 0 -1 4202496 107089 0 0 0 40526 84 0 0 25 0 4 0 522202081 341032960 29165 33554432000 4194304 4650419 140733223073312 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26547/statm: 83260 29165 392 112 0 78225 0
[pid=26547/tid=26548] ppid=26545 vsize=333040 CPUtime=101.33 cores=0,2,4,6
/proc/26547/task/26548/stat : 26548 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 17623 0 0 0 10117 16 0 0 25 0 4 0 522202082 341032960 29165 33554432000 4194304 4650419 140733223073312 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26547/tid=26549] ppid=26545 vsize=333040 CPUtime=101.62 cores=0,2,4,6
/proc/26547/task/26549/stat : 26549 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 30971 0 0 0 10140 22 0 0 25 0 4 0 522202082 341032960 29165 33554432000 4194304 4650419 140733223073312 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26547/tid=26550] ppid=26545 vsize=333040 CPUtime=100.86 cores=0,2,4,6
/proc/26547/task/26550/stat : 26550 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 31064 0 0 0 10069 17 0 0 25 0 4 0 522202082 341032960 29165 33554432000 4194304 4650419 140733223073312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 406.1
Current children cumulated vsize (KiB) 333040

[startup+162.301 s]

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

[pid=26547] ppid=26545 vsize=356500 CPUtime=2562.55 cores=0,2,4,6
/proc/26547/stat : 26547 (strangenight1-m) R 26545 26547 26305 0 -1 4202496 307889 0 0 0 256084 171 0 0 25 0 4 0 522202081 365056000 57587 33554432000 4194304 4650419 140733223073312 18446744073709551615 4366853 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26547/statm: 89125 57587 392 112 0 84090 0
[pid=26547/tid=26548] ppid=26545 vsize=356500 CPUtime=640.74 cores=0,2,4,6
/proc/26547/task/26548/stat : 26548 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 50698 0 0 0 64037 37 0 0 25 0 4 0 522202082 365056000 57587 33554432000 4194304 4650419 140733223073312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26547/tid=26549] ppid=26545 vsize=356500 CPUtime=638.68 cores=0,2,4,6
/proc/26547/task/26549/stat : 26549 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 89773 0 0 0 63823 45 0 0 25 0 4 0 522202082 365056000 57587 33554432000 4194304 4650419 140733223073312 18446744073709551615 4326462 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26547/tid=26550] ppid=26545 vsize=356500 CPUtime=640.86 cores=0,2,4,6
/proc/26547/task/26550/stat : 26550 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 85815 0 0 0 64048 38 0 0 25 0 4 0 522202082 365056000 57587 33554432000 4194304 4650419 140733223073312 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2562.55
Current children cumulated vsize (KiB) 356500

[startup+702.301 s]
/proc/loadavg: 8.14 8.12 8.06 9/182 26570
/proc/meminfo: memFree=30328800/32951132 swapFree=67111356/67111528
[pid=26547] ppid=26545 vsize=362792 CPUtime=2802.13 cores=0,2,4,6
/proc/26547/stat : 26547 (strangenight1-m) R 26545 26547 26305 0 -1 4202496 325057 0 0 0 280034 179 0 0 25 0 4 0 522202081 371499008 59752 33554432000 4194304 4650419 140733223073312 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26547/statm: 90698 59752 392 112 0 85663 0
[pid=26547/tid=26548] ppid=26545 vsize=362792 CPUtime=700.66 cores=0,2,4,6
/proc/26547/task/26548/stat : 26548 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 53599 0 0 0 70026 40 0 0 25 0 4 0 522202082 371499008 59752 33554432000 4194304 4650419 140733223073312 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26547/tid=26549] ppid=26545 vsize=362792 CPUtime=698.35 cores=0,2,4,6
/proc/26547/task/26549/stat : 26549 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 94753 0 0 0 69788 47 0 0 25 0 4 0 522202082 371499008 59752 33554432000 4194304 4650419 140733223073312 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26547/tid=26550] ppid=26545 vsize=362792 CPUtime=700.86 cores=0,2,4,6
/proc/26547/task/26550/stat : 26550 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 88912 0 0 0 70046 40 0 0 25 0 4 0 522202082 371499008 59752 33554432000 4194304 4650419 140733223073312 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2802.13
Current children cumulated vsize (KiB) 362792

[startup+762.301 s]
/proc/loadavg: 8.21 8.14 8.07 9/182 26572
/proc/meminfo: memFree=30310892/32951132 swapFree=67111356/67111528
[pid=26547] ppid=26545 vsize=375472 CPUtime=3041.73 cores=0,2,4,6
/proc/26547/stat : 26547 (strangenight1-m) R 26545 26547 26305 0 -1 4202496 342115 0 0 0 303987 186 0 0 25 0 4 0 522202081 384483328 61788 33554432000 4194304 4650419 140733223073312 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26547/statm: 93868 61788 392 112 0 88833 0
[pid=26547/tid=26548] ppid=26545 vsize=375472 CPUtime=760.58 cores=0,2,4,6
/proc/26547/task/26548/stat : 26548 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 55327 0 0 0 76017 41 0 0 25 0 4 0 522202082 384483328 61788 33554432000 4194304 4650419 140733223073312 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26547/tid=26549] ppid=26545 vsize=375472 CPUtime=758.03 cores=0,2,4,6
/proc/26547/task/26549/stat : 26549 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 99434 0 0 0 75755 48 0 0 25 0 4 0 522202082 384483328 61788 33554432000 4194304 4650419 140733223073312 18446744073709551615 4365308 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26547/tid=26550] ppid=26545 vsize=375472 CPUtime=760.87 cores=0,2,4,6
/proc/26547/task/26550/stat : 26550 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 94497 0 0 0 76045 42 0 0 25 0 4 0 522202082 384483328 61788 33554432000 4194304 4650419 140733223073312 18446744073709551615 4366933 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3041.73
Current children cumulated vsize (KiB) 375472

[startup+822.3 s]
/proc/loadavg: 8.15 8.13 8.07 9/182 26573
/proc/meminfo: memFree=30301556/32951132 swapFree=67111356/67111528
[pid=26547] ppid=26545 vsize=417100 CPUtime=3281.36 cores=0,2,4,6
/proc/26547/stat : 26547 (strangenight1-m) R 26545 26547 26305 0 -1 4202496 356545 0 0 0 327944 192 0 0 25 0 4 0 522202081 427110400 61408 33554432000 4194304 4650419 140733223073312 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26547/statm: 104275 61408 392 112 0 99240 0
[pid=26547/tid=26548] ppid=26545 vsize=417100 CPUtime=820.55 cores=0,2,4,6
/proc/26547/task/26548/stat : 26548 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 57214 0 0 0 82012 43 0 0 25 0 4 0 522202082 427110400 61408 33554432000 4194304 4650419 140733223073312 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26547/tid=26549] ppid=26545 vsize=417100 CPUtime=817.69 cores=0,2,4,6
/proc/26547/task/26549/stat : 26549 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 103253 0 0 0 81719 50 0 0 25 0 4 0 522202082 427110400 61408 33554432000 4194304 4650419 140733223073312 18446744073709551615 4451368 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26547/tid=26550] ppid=26545 vsize=417100 CPUtime=820.86 cores=0,2,4,6
/proc/26547/task/26550/stat : 26550 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 99007 0 0 0 82043 43 0 0 25 0 4 0 522202082 427110400 61408 33554432000 4194304 4650419 140733223073312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3281.36
Current children cumulated vsize (KiB) 417100

[startup+882.301 s]
/proc/loadavg: 8.12 8.12 8.06 9/182 26575
/proc/meminfo: memFree=30306864/32951132 swapFree=67111356/67111528
[pid=26547] ppid=26545 vsize=351616 CPUtime=3520.99 cores=0,2,4,6
/proc/26547/stat : 26547 (strangenight1-m) R 26545 26547 26305 0 -1 4202496 375802 0 0 0 351903 196 0 0 25 0 4 0 522202081 360054784 61405 33554432000 4194304 4650419 140733223073312 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26547/statm: 87904 61405 392 112 0 82869 0
[pid=26547/tid=26548] ppid=26545 vsize=351616 CPUtime=880.49 cores=0,2,4,6
/proc/26547/task/26548/stat : 26548 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 57546 0 0 0 88006 43 0 0 25 0 4 0 522202082 360054784 61405 33554432000 4194304 4650419 140733223073312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26547/tid=26549] ppid=26545 vsize=351616 CPUtime=877.36 cores=0,2,4,6
/proc/26547/task/26549/stat : 26549 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 106259 0 0 0 87685 51 0 0 25 0 4 0 522202082 360054784 61405 33554432000 4194304 4650419 140733223073312 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26547/tid=26550] ppid=26545 vsize=351616 CPUtime=880.87 cores=0,2,4,6
/proc/26547/task/26550/stat : 26550 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 107238 0 0 0 88043 44 0 0 25 0 4 0 522202082 360054784 61405 33554432000 4194304 4650419 140733223073312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3520.99
Current children cumulated vsize (KiB) 351616

[startup+942.301 s]
/proc/loadavg: 8.10 8.11 8.06 9/182 26576
/proc/meminfo: memFree=30283768/32951132 swapFree=67111356/67111528
[pid=26547] ppid=26545 vsize=470452 CPUtime=3760.57 cores=0,2,4,6
/proc/26547/stat : 26547 (strangenight1-m) R 26545 26547 26305 0 -1 4202496 389774 0 0 0 375855 202 0 0 25 0 4 0 522202081 481742848 62776 33554432000 4194304 4650419 140733223073312 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26547/statm: 117613 62776 392 112 0 112578 0
[pid=26547/tid=26548] ppid=26545 vsize=470452 CPUtime=940.41 cores=0,2,4,6
/proc/26547/task/26548/stat : 26548 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 57546 0 0 0 93997 44 0 0 25 0 4 0 522202082 481742848 62776 33554432000 4194304 4650419 140733223073312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26547/tid=26549] ppid=26545 vsize=470452 CPUtime=937.03 cores=0,2,4,6
/proc/26547/task/26549/stat : 26549 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 109096 0 0 0 93651 52 0 0 25 0 4 0 522202082 481742848 62776 33554432000 4194304 4650419 140733223073312 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26547/tid=26550] ppid=26545 vsize=470452 CPUtime=940.87 cores=0,2,4,6
/proc/26547/task/26550/stat : 26550 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 113045 0 0 0 94041 46 0 0 25 0 4 0 522202082 481742848 62776 33554432000 4194304 4650419 140733223073312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3760.57
Current children cumulated vsize (KiB) 470452

[startup+1002.31 s]
/proc/loadavg: 8.09 8.10 8.06 9/182 26578
/proc/meminfo: memFree=30217996/32951132 swapFree=67111356/67111528
[pid=26547] ppid=26545 vsize=482852 CPUtime=4000.18 cores=0,2,4,6
/proc/26547/stat : 26547 (strangenight1-m) R 26545 26547 26305 0 -1 4202496 406710 0 0 0 399810 208 0 0 25 0 4 0 522202081 494440448 74897 33554432000 4194304 4650419 140733223073312 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26547/statm: 120713 74897 392 112 0 115678 0
[pid=26547/tid=26548] ppid=26545 vsize=482852 CPUtime=1000.35 cores=0,2,4,6
/proc/26547/task/26548/stat : 26548 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 60400 0 0 0 99989 46 0 0 25 0 4 0 522202082 494440448 74897 33554432000 4194304 4650419 140733223073312 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26547/tid=26549] ppid=26545 vsize=482852 CPUtime=996.7 cores=0,2,4,6
/proc/26547/task/26549/stat : 26549 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 113642 0 0 0 99616 54 0 0 25 0 4 0 522202082 494440448 74897 33554432000 4194304 4650419 140733223073312 18446744073709551615 4366933 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26547/tid=26550] ppid=26545 vsize=482852 CPUtime=1000.87 cores=0,2,4,6
/proc/26547/task/26550/stat : 26550 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 117946 0 0 0 100040 47 0 0 25 0 4 0 522202082 494440448 74897 33554432000 4194304 4650419 140733223073312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4000.18
Current children cumulated vsize (KiB) 482852

[startup+1062.3 s]
/proc/loadavg: 8.08 8.10 8.06 9/182 26580
/proc/meminfo: memFree=30221920/32951132 swapFree=67111356/67111528
[pid=26547] ppid=26545 vsize=482956 CPUtime=4239.75 cores=0,2,4,6
/proc/26547/stat : 26547 (strangenight1-m) R 26545 26547 26305 0 -1 4202496 417719 0 0 0 423761 214 0 0 25 0 4 0 522202081 494546944 74285 33554432000 4194304 4650419 140733223073312 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26547/statm: 120739 74285 392 112 0 115704 0
[pid=26547/tid=26548] ppid=26545 vsize=482956 CPUtime=1060.26 cores=0,2,4,6
/proc/26547/task/26548/stat : 26548 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 61072 0 0 0 105979 47 0 0 25 0 4 0 522202082 494546944 74285 33554432000 4194304 4650419 140733223073312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26547/tid=26549] ppid=26545 vsize=482956 CPUtime=1056.37 cores=0,2,4,6
/proc/26547/task/26549/stat : 26549 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 120444 0 0 0 105580 57 0 0 25 0 4 0 522202082 494546944 74285 33554432000 4194304 4650419 140733223073312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26547/tid=26550] ppid=26545 vsize=482956 CPUtime=1060.87 cores=0,2,4,6
/proc/26547/task/26550/stat : 26550 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 118980 0 0 0 106039 48 0 0 25 0 4 0 522202082 494546944 74285 33554432000 4194304 4650419 140733223073312 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4239.75
Current children cumulated vsize (KiB) 482956

[startup+1122.3 s]
/proc/loadavg: 8.08 8.09 8.06 9/182 26581
/proc/meminfo: memFree=30238620/32951132 swapFree=67111356/67111528
[pid=26547] ppid=26545 vsize=482956 CPUtime=4479.34 cores=0,2,4,6
/proc/26547/stat : 26547 (strangenight1-m) R 26545 26547 26305 0 -1 4202496 428182 0 0 0 447716 218 0 0 25 0 4 0 522202081 494546944 72126 33554432000 4194304 4650419 140733223073312 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26547/statm: 120739 72126 392 112 0 115704 0
[pid=26547/tid=26548] ppid=26545 vsize=482956 CPUtime=1120.2 cores=0,2,4,6
/proc/26547/task/26548/stat : 26548 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 61079 0 0 0 111972 48 0 0 25 0 4 0 522202082 494546944 72126 33554432000 4194304 4650419 140733223073312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26547/tid=26549] ppid=26545 vsize=482956 CPUtime=1116.03 cores=0,2,4,6
/proc/26547/task/26549/stat : 26549 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 125421 0 0 0 111546 57 0 0 25 0 4 0 522202082 494546944 72126 33554432000 4194304 4650419 140733223073312 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26547/tid=26550] ppid=26545 vsize=482956 CPUtime=1120.87 cores=0,2,4,6
/proc/26547/task/26550/stat : 26550 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 121429 0 0 0 112038 49 0 0 25 0 4 0 522202082 494546944 72126 33554432000 4194304 4650419 140733223073312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4479.34
Current children cumulated vsize (KiB) 482956

[startup+1182.3 s]
/proc/loadavg: 8.03 8.07 8.06 9/182 26583
/proc/meminfo: memFree=30209436/32951132 swapFree=67111356/67111528
[pid=26547] ppid=26545 vsize=482980 CPUtime=4718.93 cores=0,2,4,6
/proc/26547/stat : 26547 (strangenight1-m) R 26545 26547 26305 0 -1 4202496 433590 0 0 0 471672 221 0 0 25 0 4 0 522202081 494571520 74808 33554432000 4194304 4650419 140733223073312 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26547/statm: 120745 74808 392 112 0 115710 0
[pid=26547/tid=26548] ppid=26545 vsize=482980 CPUtime=1180.11 cores=0,2,4,6
/proc/26547/task/26548/stat : 26548 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 61083 0 0 0 117963 48 0 0 25 0 4 0 522202082 494571520 74808 33554432000 4194304 4650419 140733223073312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26547/tid=26549] ppid=26545 vsize=482980 CPUtime=1175.7 cores=0,2,4,6
/proc/26547/task/26549/stat : 26549 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 128660 0 0 0 117511 59 0 0 25 0 4 0 522202082 494571520 74808 33554432000 4194304 4650419 140733223073312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26547/tid=26550] ppid=26545 vsize=482980 CPUtime=1180.87 cores=0,2,4,6
/proc/26547/task/26550/stat : 26550 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 121682 0 0 0 118038 49 0 0 25 0 4 0 522202082 494571520 74808 33554432000 4194304 4650419 140733223073312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4718.93
Current children cumulated vsize (KiB) 482980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.6 s]
/proc/loadavg: 8.02 8.07 8.06 5/174 26601
/proc/meminfo: memFree=30551284/32951132 swapFree=67111356/67111528
[pid=26547] ppid=26545 vsize=483040 CPUtime=4800.02 cores=0,2,4,6
/proc/26547/stat : 26547 (strangenight1-m) R 26545 26547 26305 0 -1 4202496 437732 0 0 0 479778 224 0 0 25 0 4 0 522202081 494632960 76504 33554432000 4194304 4650419 140733223073312 18446744073709551615 4365276 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26547/statm: 120760 76504 392 112 0 115725 0
[pid=26547/tid=26548] ppid=26545 vsize=483040 CPUtime=1200.4 cores=0,2,4,6
/proc/26547/task/26548/stat : 26548 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 61084 0 0 0 119991 49 0 0 25 0 4 0 522202082 494632960 76504 33554432000 4194304 4650419 140733223073312 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26547/tid=26549] ppid=26545 vsize=483040 CPUtime=1195.9 cores=0,2,4,6
/proc/26547/task/26549/stat : 26549 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 130769 0 0 0 119530 60 0 0 25 0 4 0 522202082 494632960 76504 33554432000 4194304 4650419 140733223073312 18446744073709551615 4365267 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26547/tid=26550] ppid=26545 vsize=483040 CPUtime=1201.17 cores=0,2,4,6
/proc/26547/task/26550/stat : 26550 (strangenight1-m) R 26545 26547 26305 0 -1 4202560 121845 0 0 0 120068 49 0 0 25 0 4 0 522202082 494632960 76504 33554432000 4194304 4650419 140733223073312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.02
Current children cumulated vsize (KiB) 483040

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): 1202.63
CPU time (s): 4800.06
CPU user time (s): 4797.8
CPU system time (s): 2.25666
CPU usage (%): 399.131
Max. virtual memory (cumulated for all children) (KiB): 495576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.8
system time used= 2.25666
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 437733
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= 464
involuntary context switches= 23088

runsolver used 1.92071 second user time and 4.53531 second system time

The end

Launcher Data 

Begin job on node131 at 2011-04-29 21:40:24
IDJOB=3175274
IDBENCH=82892
IDSOLVER=1588
FILE ID=node131/3175274-1304106024
RUNJOBID= node131-1304103614-26323
PBS_JOBID= 13170641
Free space on /tmp= 71380 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v50-c4450-S2039518547-066.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175274-1304106024/watcher-3175274-1304106024 -o /tmp/evaluation-result-3175274-1304106024/solver-3175274-1304106024 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175274-1304106024.cnf

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

MD5SUM BENCH= 80aa82e62b454f2871f6471d9559597d
RANDOM SEED=506291312

node131.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.75
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.83
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.75
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.77
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.75
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.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.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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      30814076 kB
Buffers:        202532 kB
Cached:        1523396 kB
SwapCached:        168 kB
Active:         196984 kB
Inactive:      1633368 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30814076 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           12560 kB
Writeback:           0 kB
AnonPages:      103776 kB
Mapped:          15732 kB
Slab:           243036 kB
PageTables:       4460 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   307736 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71380 MiB
End job on node131 at 2011-04-29 22:00:29