Trace number 3368883

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.22 1203.13

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-3368883-1305405304.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.00	c Parsing time:  0.01 s
0.00/0.00	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.00/0.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
0.00/0.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.57/0.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
3.57/0.95	c Finding binary XORs  T:     0.00 s  found:       0
3.57/0.95	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
3.57/0.95	c calculated reachability. Time: 0.00
3.57/0.95	c Calc default polars -  time:   0.00 s pos:      26 undec:       2 neg:      22
3.57/0.95	c =========================================================================================
3.57/0.95	c types(t): F = full restart, N = normal restart
3.57/0.95	c types(t): S = simplification begin/end, E = solution found
3.57/0.95	c restart types(rt): st = static, dy = dynamic
3.57/0.95	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.57/0.95	c  B st     0         0        50      4450         0         0     31150         0   no data   no data  --
3.57/0.95	c  N dy     8      4829        50      4450         0      4153     31150     76368     15.49     16.40  --
3.57/0.95	c  N dy    18     10038        50      4450         0      6470     31150    111740     15.19     16.10  --
3.57/0.95	c  N dy    42     14066        50      4450         0      6360     31150    106894     15.50     16.57  --
3.57/0.95	c  N dy    61     18073        50      4450         0      4964     31150     75340     15.67     17.92  --
3.97/1.05	c  F st    73     25000        50      4450         0     10939     31150    183414     15.50     15.54  --
3.97/1.05	c  N st    73     25000        50      4450         0     10939     31150    183414     15.50     15.54  --
4.80/1.23	c  N dy    79     30001        50      4450         0      9394     31150    150478     15.50   no data  --
4.80/1.23	c  S st    79     30001        50      4450         0      9394     31150    150478     15.50   no data  --
4.80/1.23	c  S st    79     30505        50      4450         0      9841     31150    158960     15.50   no data  --
4.80/1.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.80/1.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.80/1.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.80/1.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.80/1.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.80/1.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
4.80/1.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.97/2.08	c lits-rem:      1272  cl-subs:     1516  v-elim:      0  v-fix:    0  time:  3.40 s
8.78/2.28	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.78
8.78/2.28	c calculated reachability. Time: 0.00
8.78/2.28	c  N dy    79     30505        50      4450         0      8325     31150    132569     15.50   no data  --
9.95/2.50	c  N dy    97     34747        50      4450         0     11991     31150    199044     15.54     16.41  --
10.75/2.73	c  N dy   108     39470        50      4450         0      9312     31150    141738     15.50     16.33  --
11.55/2.90	c  N dy   116     43509        50      4450         0     12796     31150    205042     15.50     16.43  --
11.95/3.01	c  S st   117     45757        50      4450         0     14743     31150    240377     15.47     13.79  --
11.95/3.06	c  S st   117     46260        50      4450         0     15193     31150    248839     15.47   no data  --
11.95/3.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.95/3.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.95/3.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
11.95/3.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.95/3.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.95/3.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
11.95/3.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.74/4.20	c lits-rem:      1930  cl-subs:     2747  v-elim:      0  v-fix:    0  time:  4.51 s
16.74/4.20	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
16.74/4.20	c vivif2 --  cl tried    12446 cl shrink        0 lits rem          0 time: 0.01
17.56/4.48	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.07
17.56/4.48	c calculated reachability. Time: 0.00
17.56/4.48	c  N dy   117     46260        50      4450         0     12446     31150    199896     15.47   no data  --
19.53/4.97	c  N dy   132     55690        50      4450         0     13077     31150    198526     15.29     16.16  --
20.73/5.25	c  N dy   142     60219        50      4450         0     16970     31150    267512     15.27     16.09  --
22.71/5.70	c  N dy   157     69392        50      4450         0     16345     31150    251381     15.14     13.32  --
22.71/5.70	c  S st   157     69392        50      4450         0     16345     31150    251381     15.14     13.32  --
22.71/5.75	c  S st   157     69895        50      4450         0     16790     31150    259910     15.14   no data  --
22.71/5.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.71/5.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
22.71/5.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
22.71/5.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
22.71/5.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22.71/5.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
22.71/5.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.51/6.97	c lits-rem:      2208  cl-subs:     2825  v-elim:      0  v-fix:    0  time:  4.82 s
27.51/6.97	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
27.51/6.97	c vivif2 --  cl tried    13965 cl shrink        0 lits rem          0 time: 0.01
28.71/7.28	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.21
28.71/7.28	c calculated reachability. Time: 0.00
28.71/7.28	c  N dy   157     69895        50      4450         0     13965     31150    212270     15.14   no data  --
30.31/7.60	c  N dy   195     74393        50      4450         0     17921     31150    286435     15.24     16.78  --
31.50/7.96	c  N dy   223     80792        50      4450         0     14242     31150    210869     15.26     16.11  --
33.10/8.38	c  F st   236     87502        50      4450         0     20037     31150    313832     15.21     13.01  --
33.10/8.38	c  N st   236     87502        50      4450         0     20037     31150    313832     15.21     13.01  --
34.30/8.69	c  N dy   246     93095        50      4450         0     14597     31150    213417     15.22     16.83  --
36.68/9.25	c  N dy   292    100685        50      4450         0     21205     31150    335754     15.30     16.25  --
37.88/9.54	c  S st   319    104843        50      4450         0     13628     31150    188144     15.33   no data  --
37.88/9.59	c  S st   319    105346        50      4450         0     14069     31150    196397     15.33   no data  --
37.88/9.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
37.88/9.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
37.88/9.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
38.28/9.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
38.28/9.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
38.28/9.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
38.28/9.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
41.88/10.51	c lits-rem:       729  cl-subs:      646  v-elim:      0  v-fix:    0  time:  3.65 s
41.88/10.51	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
41.88/10.51	c vivif2 --  cl tried    13423 cl shrink        0 lits rem          0 time: 0.01
43.08/10.82	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.23
43.08/10.82	c calculated reachability. Time: 0.00
43.08/10.82	c  N dy   319    105346        50      4450         0     13423     31150    183261     15.33   no data  --
44.66/11.28	c  N dy   344    112390        50      4450         0     19496     31150    291550     15.31     16.19  --
47.06/11.87	c  N dy   381    119631        50      4450         0     13721     31150    180057     15.35     17.23  --
50.25/12.68	c  N dy   429    130510        50      4450         0     23142     31150    351179     15.38     16.20  --
53.09/13.36	c  N dy   482    138899        50      4450         0     17461     31150    241761     15.44     17.06  --
55.84/14.09	c  N dy   522    147982        50      4450         0     25362     31150    387288     15.46     16.29  --
59.04/14.88	c  N dy   578    157482        50      4450         0     19788     31150    277300     15.51     16.33  --
59.44/14.92	c  S st   583    158021        50      4450         0     20256     31150    286141     15.51     15.37  --
59.44/14.98	c  S st   583    158525        50      4450         0     20701     31150    294716     15.51   no data  --
59.44/14.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
59.44/14.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
59.44/14.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
59.44/14.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
59.44/14.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
59.44/14.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
59.44/14.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
64.23/16.19	c lits-rem:      1455  cl-subs:     1865  v-elim:      0  v-fix:    0  time:  4.78 s
64.23/16.19	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
64.23/16.19	c vivif2 --  cl tried    18836 cl shrink        0 lits rem          0 time: 0.01
65.84/16.53	c asymm  cl-useful: 0/3722/4450 lits-rem:0 time: 1.34
65.84/16.53	c calculated reachability. Time: 0.00
65.84/16.53	c  N dy   583    158525        50      4450         0     18836     31150    259334     15.51   no data  --
69.41/17.44	c  N dy   608    168700        50      4450         0     27592     31150    418167     15.51     16.42  --
73.00/18.35	c  N dy   640    180059        50      4450         0     22810     31150    324285     15.49     16.46  --
77.79/19.59	c  N dy   699    192743        50      4450         0     18255     31150    234906     15.52     16.67  --
82.58/20.76	c  N dy   749    205545        50      4450         0     29387     31150    439636     15.54     16.44  --
90.16/22.63	c  N dy   792    225857        50      4450         0     30422     31150    437143     15.46     16.44  --
94.95/23.81	c  S st   849    237790        50      4450         0     23544     31150    316522     15.48   no data  --
94.95/23.88	c  S st   849    238294        50      4450         0     23995     31150    325267     15.48   no data  --
94.95/23.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
94.95/23.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
94.95/23.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
94.95/23.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
94.95/23.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
94.95/23.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
94.95/23.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
100.96/25.35	c lits-rem:      1479  cl-subs:     1958  v-elim:      0  v-fix:    0  time:  5.81 s
100.96/25.35	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
100.96/25.36	c vivif2 --  cl tried    22037 cl shrink        0 lits rem          0 time: 0.01
101.37/25.44	c asymm  cl-useful: 0/728/4450 lits-rem:0 time: 0.34
101.37/25.44	c calculated reachability. Time: 0.00
101.37/25.44	c  N dy   849    238294        50      4450         0     22037     31150    289156     15.48   no data  --
108.51/27.22	c  N dy   890    255878        50      4450         0     19178     31150    227385     15.44     16.34  --
115.69/29.09	c  N dy   933    275940        50      4450         0     36522     31150    540407     15.41     16.26  --
123.31/30.94	c  N dy  1037    293636        50      4450         0     32908     31150    473000     15.45     17.55  --
129.25/32.48	c  F st  1113    306251        50      4450         0     23973     31150    300293     15.48     14.11  --
131.67/33.07	c  N dy  1124    312445        50      4450         0     29300     31150    399081     15.48     17.39  --
140.87/35.34	c  N dy  1188    332463        50      4450         0     25878     31150    330429     15.48     17.84  --
151.60/38.04	c  N dy  1296    352706        50      4450         0     21765     31150    248221     15.52     16.34  --
153.20/38.48	c  S st  1320    357442        50      4450         0     25844     31150    322744     15.52     15.25  --
153.62/38.55	c  S st  1320    357945        50      4450         0     26287     31150    331369     15.52   no data  --
153.62/38.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
153.62/38.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
153.62/38.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
153.62/38.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
153.62/38.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
153.62/38.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
153.62/38.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
160.77/40.39	c lits-rem:       840  cl-subs:     1395  v-elim:      0  v-fix:    0  time:  7.28 s
160.77/40.39	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
160.77/40.39	c vivif2 --  cl tried    24892 cl shrink        0 lits rem          0 time: 0.02
162.39/40.73	c asymm  cl-useful: 0/3048/4450 lits-rem:0 time: 1.36
162.39/40.73	c calculated reachability. Time: 0.00
162.39/40.73	c  N dy  1320    357945        50      4450         0     24892     31150    305655     15.52   no data  --
175.14/43.96	c  N dy  1446    380694        50      4450         0     44561     31150    669554     15.56     16.38  --
184.76/46.32	c  N dy  1464    401008        50      4450         0     39585     31150    553910     15.49     16.33  --
195.09/48.92	c  N dy  1567    421097        50      4450         0     33751     31150    451529     15.51     17.40  --
206.70/51.86	c  N dy  1641    441658        50      4450         0     27383     31150    325964     15.50     16.40  --
223.02/55.95	c  N dy  1731    476956        50      4450         0     32630     31150    406508     15.46     16.29  --
236.19/59.25	c  N dy  1879    497037        50      4450         0     50068     31150    732901     15.50     18.53  --
248.95/62.41	c  N dy  2006    520745        50      4450         0     44728     31150    635406     15.53     16.50  --
258.95/64.97	c  S st  2083    536920        50      4450         0     31909     31150    387352     15.54   no data  --
259.37/65.06	c  S st  2083    537422        50      4450         0     32362     31150    396020     15.54   no data  --
259.37/65.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
259.37/65.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
259.37/65.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.03
259.37/65.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
259.37/65.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
259.37/65.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
259.37/65.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
266.91/66.97	c lits-rem:       740  cl-subs:     1568  v-elim:      0  v-fix:    0  time:  7.55 s
266.91/66.97	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
266.91/66.98	c vivif2 --  cl tried    30794 cl shrink        0 lits rem          0 time: 0.02
268.14/67.23	c asymm  cl-useful: 0/1402/4450 lits-rem:0 time: 0.99
268.14/67.23	c calculated reachability. Time: 0.00
268.14/67.23	c  N dy  2083    537422        50      4450         0     30794     31150    368281     15.54   no data  --
278.08/69.75	c  N dy  2104    558817        50      4450         0     49191     31150    695614     15.50     16.43  --
289.67/72.68	c  N dy  2174    578880        50      4450         0     39018     31150    506343     15.49     16.52  --
307.65/77.16	c  N dy  2283    607619        50      4450         0     35328     31150    433409     15.50     16.38  --
321.57/80.60	c  N dy  2389    628936        50      4450         0     53809     31150    777177     15.52     16.38  --
334.34/83.85	c  N dy  2510    648956        50      4450         0     41832     31150    553895     15.55     18.47  --
349.89/87.78	c  N dy  2573    671664        50      4450         0     31118     31150    343973     15.52     16.46  --
367.45/92.18	c  N dy  2680    700409        50      4450         0     55822     31150    789180     15.51     16.35  --
386.22/96.87	c  N dy  2693    734241        50      4450         0     53509     31150    714797     15.42     16.54  --
401.77/100.71	c  N dy  2780    754667        50      4450         0     39449     31150    480352     15.42     16.27  --
416.13/104.39	c  N dy  2855    776837        50      4450         0     58518     31150    827599     15.42     16.28  --
433.69/108.78	c  N dy  2988    800751        50      4450         0     46584     31150    609461     15.44     16.42  --
438.08/109.88	c  S st  3037    806135        50      4450         0     51257     31150    698507     15.45   no data  --
438.89/110.02	c  S st  3037    806636        50      4450         0     51700     31150    707278     15.45   no data  --
438.89/110.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
438.89/110.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
438.89/110.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
438.89/110.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
438.89/110.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
438.89/110.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
438.89/110.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
464.01/116.36	c lits-rem:      2636  cl-subs:     5622  v-elim:      0  v-fix:    0  time: 25.10 s
464.01/116.36	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
464.01/116.37	c vivif2 --  cl tried    46078 cl shrink        0 lits rem          0 time: 0.03
464.81/116.58	c asymm  cl-useful: 0/969/4450 lits-rem:0 time: 0.85
464.81/116.58	c calculated reachability. Time: 0.00
464.81/116.58	c  N dy  3037    806636        50      4450         0     46078     31150    602530     15.45   no data  --
484.75/121.50	c  N dy  3155    829429        50      4450         0     65690     31150    964358     15.47     16.30  --
498.32/124.96	c  N dy  3178    853402        50      4450         0     52878     31150    696137     15.43     16.40  --
517.89/129.88	c  N dy  3270    878481        50      4450         0     40335     31150    477685     15.43     16.32  --
533.03/133.69	c  N dy  3387    898517        50      4450         0     57647     31150    799419     15.44     17.04  --
554.58/139.04	c  N dy  3484    925551        50      4450         0     45561     31150    551863     15.44     16.27  --
571.73/143.39	c  N dy  3640    945566        50      4450         0     62885     31150    880428     15.47     17.75  --
590.49/148.04	c  N dy  3771    965591        50      4450         0     44168     31150    536130     15.49     16.76  --
602.45/151.08	c  N dy  3794    985874        50      4450         0     61446     31150    838059     15.46     16.44  --
622.81/156.17	c  N dy  3937   1006524        50      4450         0     42404     31150    496709     15.48     16.38  --
637.97/159.92	c  N dy  4033   1026606        50      4450         0     59674     31150    814333     15.49     16.34  --
661.11/165.79	c  N dy  4172   1047178        50      4450         0     39629     31150    435127     15.51     16.47  --
675.47/169.36	c  N dy  4274   1067260        50      4450         0     56884     31150    753340     15.52     17.02  --
680.29/170.57	c  F st  4314   1071875        50      4450         0     60871     31150    829170     15.52     15.56  --
698.61/175.14	c  N dy  4335   1093467        50      4450         0     40605     31150    442782     15.50     16.33  --
715.39/179.35	c  N dy  4472   1115604        50      4450         0     59633     31150    797511     15.52     16.45  --
750.08/188.05	c  N dy  4618   1154542        50      4450         0     53393     31150    658172     15.51     16.40  --
771.22/193.36	c  N dy  4620   1184525        50      4450         0     78577     31150   1081097     15.46     16.33  --
791.58/198.40	c  N dy  4783   1204572        50      4450         0     56001     31150    728112     15.48     16.45  --
796.76/199.75	c  S st  4807   1209956        50      4450         0     60647     31150    815001     15.48   no data  --
797.56/199.97	c  S st  4807   1210457        50      4450         0     61086     31150    823603     15.48   no data  --
797.56/199.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
797.56/199.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
797.96/200.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
797.96/200.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
797.96/200.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
797.96/200.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
797.96/200.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
869.43/217.93	c lits-rem:      3282  cl-subs:     5947  v-elim:      0  v-fix:    0  time: 71.39 s
869.43/217.93	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
869.43/217.94	c vivif2 --  cl tried    55139 cl shrink        0 lits rem          0 time: 0.04
870.98/218.34	c asymm  cl-useful: 0/633/4450 lits-rem:0 time: 1.58
870.98/218.34	c calculated reachability. Time: 0.00
870.98/218.34	c  N dy  4807   1210457        50      4450         0     55139     31150    710470     15.48   no data  --
896.10/224.61	c  N dy  4953   1230481        50      4450         0     72385     31150   1036456     15.50     17.18  --
917.28/229.91	c  N dy  5039   1252582        50      4450         0     50592     31150    611364     15.50     16.36  --
936.41/234.73	c  N dy  5190   1272615        50      4450         0     67917     31150    939136     15.52     16.96  --
959.55/240.55	c  N dy  5254   1294599        50      4450         0     44792     31150    492975     15.52     16.39  --
981.10/245.90	c  N dy  5359   1316896        50      4450         0     64016     31150    846691     15.52     16.36  --
1007.83/252.66	c  N dy  5462   1336941        50      4450         0     81245     31150   1165825     15.52     17.10  --
1030.17/258.28	c  N dy  5588   1357029        50      4450         0     55695     31150    692672     15.54     17.18  --
1064.09/266.76	c  N dy  5726   1391613        50      4450         0     85202     31150   1226418     15.53     16.47  --
1088.86/272.94	c  N dy  5813   1422346        50      4450         0     67854     31150    898260     15.52     16.39  --
1113.56/279.11	c  N dy  5891   1443936        50      4450         0     86346     31150   1236155     15.53     16.53  --
1132.75/283.99	c  N dy  6012   1464099        50      4450         0     59188     31150    743572     15.54     16.41  --
1156.25/289.80	c  N dy  6168   1484194        50      4450         0     76413     31150   1070317     15.55     17.12  --
1185.42/297.13	c  N dy  6314   1506019        50      4450         0     49740     31150    558009     15.57     16.54  --
1199.74/300.79	c  N dy  6329   1526071        50      4450         0     66781     31150    855541     15.55     18.29  --
1225.28/307.18	c  N dy  6473   1546091        50      4450         0     83959     31150   1180883     15.57     18.07  --
1246.03/312.31	c  N dy  6529   1566114        50      4450         0     54793     31150    641739     15.56     16.38  --
1264.42/316.98	c  N dy  6618   1586375        50      4450         0     72182     31150    962595     15.56     16.40  --
1290.75/323.55	c  N dy  6757   1606411        50      4450         0     89465     31150   1288874     15.58     17.50  --
1309.87/328.35	c  N dy  6838   1626483        50      4450         0     59519     31150    728320     15.58     17.20  --
1331.41/333.71	c  N dy  6934   1647004        50      4450         0     77101     31150   1053868     15.59     16.52  --
1358.54/340.52	c  N dy  7032   1667041        50      4450         0     94295     31150   1372389     15.59     16.95  --
1379.29/345.76	c  N dy  7155   1687825        50      4450         0     64164     31150    809625     15.60     16.60  --
1410.41/353.55	c  N dy  7299   1708956        50      4450         0     82407     31150   1154850     15.62     16.45  --
1413.23/354.26	c  S st  7313   1710457        50      4450         0     83720     31150   1179967     15.62     16.50  --
1414.40/354.56	c  S st  7313   1710962        50      4450         0     84163     31150   1188713     15.62   no data  --
1414.40/354.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1414.40/354.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1414.80/354.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.18
1414.80/354.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1414.80/354.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1414.80/354.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
1414.80/354.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1584.80/397.26	c lits-rem:      6247  cl-subs:    10487  v-elim:      0  v-fix:    0  time: 169.94 s
1584.80/397.26	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
1584.80/397.27	c vivif2 --  cl tried    73676 cl shrink        0 lits rem          0 time: 0.06
1586.35/397.62	c asymm  cl-useful: 0/493/4450 lits-rem:0 time: 1.39
1586.35/397.62	c calculated reachability. Time: 0.00
1586.35/397.62	c  N dy  7313   1710962        50      4450         0     73676     31150    991155     15.62   no data  --
1613.07/404.33	c  N dy  7355   1732410        50      4450         0     91848     31150   1312910     15.60     16.52  --
1639.01/410.88	c  N dy  7418   1761032        50      4450         0     68087     31150    867295     15.60     16.43  --
1669.34/418.41	c  N dy  7570   1781108        50      4450         0     85341     31150   1194342     15.61     17.54  --
1704.45/427.23	c  N dy  7692   1804169        50      4450         0     55811     31150    632911     15.62     16.61  --
1725.24/432.48	c  N dy  7820   1824225        50      4450         0     73064     31150    957877     15.63     17.97  --
1755.55/440.01	c  N dy  7825   1855108        50      4450         0     99120     31150   1408419     15.60     16.56  --
1776.28/445.26	c  N dy  7956   1875111        50      4450         0     66068     31150    824741     15.60     17.83  --
1798.62/450.89	c  N dy  8009   1895124        50      4450         0     83090     31150   1129901     15.60     16.84  --
1832.53/459.36	c  N dy  8172   1915219        50      4450         0    100462     31150   1458804     15.61     17.16  --
1860.46/466.30	c  N dy  8280   1943163        50      4450         0     73080     31150    938803     15.61     16.51  --
1886.79/472.95	c  N dy  8395   1963230        50      4450         0     90264     31150   1258978     15.62     18.65  --
1919.11/481.03	c  N dy  8545   1983263        50      4450         0     55311     31150    608988     15.63     17.09  --
1938.27/485.83	c  N dy  8634   2003352        50      4450         0     72478     31150    928608     15.64     17.55  --
1970.60/493.95	c  N dy  8728   2030178        50      4450         0     95403     31150   1343430     15.63     16.50  --
2001.74/501.78	c  N dy  8874   2050231        50      4450         0     59680     31150    682880     15.64     16.76  --
2024.44/507.46	c  N dy  8928   2073756        50      4450         0     79688     31150   1043189     15.64     16.48  --
2054.41/514.95	c  N dy  9049   2093825        50      4450         0     96941     31150   1368161     15.64     17.55  --
2083.10/522.15	c  N dy  9154   2114251        50      4450         0     60527     31150    692069     15.65     16.51  --
2108.63/528.53	c  N dy  9298   2136876        50      4450         0     79982     31150   1060586     15.66     16.54  --
2139.76/536.39	c  N dy  9446   2157870        50      4450         0     98044     31150   1403301     15.67     16.66  --
2172.07/544.45	c  N dy  9571   2178276        50      4450         0     60686     31150    687319     15.68     16.54  --
2195.61/550.34	c  N dy  9730   2198375        50      4450         0     77929     31150   1015500     15.69     17.01  --
2215.97/555.48	c  S st  9823   2210962        50      4450         0     88762     31150   1221419     15.69   no data  --
2217.56/555.80	c  S st  9823   2211468        50      4450         0     89212     31150   1230114     15.69   no data  --
2217.56/555.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2217.56/555.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2217.56/555.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.19
2217.56/555.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2217.56/555.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2217.56/555.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
2217.56/555.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2430.57/609.27	c lits-rem:      5519  cl-subs:     9819  v-elim:      0  v-fix:    0  time: 212.90 s
2430.57/609.27	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
2430.57/609.28	c vivif2 --  cl tried    79393 cl shrink        0 lits rem          0 time: 0.06
2432.16/609.67	c asymm  cl-useful: 0/445/4450 lits-rem:0 time: 1.53
2432.16/609.67	c calculated reachability. Time: 0.00
2432.16/609.67	c  N dy  9823   2211468        50      4450         0     79393     31150   1041523     15.69   no data  --
2466.51/618.21	c  N dy  9954   2231512        50      4450         0     96584     31150   1366674     15.70     16.62  --
2500.80/626.85	c  N dy 10021   2251536        50      4450         0     58679     31150    642464     15.70     18.02  --
2525.13/632.90	c  N dy 10113   2271619        50      4450         0     75820     31150    957743     15.70     16.75  --
2551.87/639.66	c  N dy 10157   2291709        50      4450         0     92935     31150   1270231     15.70     16.53  --
2589.39/649.09	c  N dy 10183   2314772        50      4450         0     56500     31150    595384     15.69     16.54  --
2608.92/653.90	c  N dy 10259   2334779        50      4450         0     73540     31150    906635     15.69     18.24  --
2641.25/662.09	c  N dy 10352   2361627        50      4450         0     96372     31150   1324404     15.69     16.70  --
2675.16/670.55	c  N dy 10437   2381647        50      4450         0    113397     31150   1633016     15.69     17.05  --
2695.89/675.77	c  N dy 10460   2403614        50      4450         0     74967     31150    921035     15.68     16.66  --
2722.23/682.36	c  N dy 10571   2423713        50      4450         0     92129     31150   1243702     15.69     18.35  --
2760.97/692.02	c  N dy 10658   2448176        50      4450         0    113005     31150   1627765     15.69     16.59  --
2782.93/697.60	c  N dy 10745   2468262        50      4450         0     72314     31150    875974     15.69     17.18  --
2813.64/705.26	c  N dy 10836   2493566        50      4450         0     93854     31150   1270064     15.69     16.60  --
2847.13/713.62	c  N dy 10937   2513606        50      4450         0    111044     31150   1591371     15.69     17.46  --
2871.45/719.75	c  N dy 10961   2534131        50      4450         0     69708     31150    810784     15.69     16.53  --
2897.38/726.28	c  N dy 11079   2554140        50      4450         0     86802     31150   1130667     15.69     18.04  --
2926.92/733.69	c  N dy 11161   2574170        50      4450         0    103899     31150   1444698     15.69     16.81  --
2962.45/742.54	c  N dy 11244   2594221        50      4450         0     61271     31150    653849     15.69     17.54  --
2980.78/747.10	c  N dy 11288   2614459        50      4450         0     78444     31150    964582     15.69     16.72  --
3011.50/754.85	c  N dy 11350   2640898        50      4450         0    100929     31150   1370838     15.68     16.53  --
3047.00/763.76	c  N dy 11451   2660934        50      4450         0    118003     31150   1689796     15.69     17.41  --
3074.54/770.65	c  N dy 11576   2680942        50      4450         0     74707     31150    903056     15.69     16.56  --
3106.06/778.53	c  N dy 11702   2704040        50      4450         0     94395     31150   1269595     15.70     16.53  --
3116.83/781.29	c  S st 11723   2711470        50      4450         0    100658     31150   1384721     15.70   no data  --
3118.43/781.63	c  S st 11723   2711972        50      4450         0    101095     31150   1393336     15.70   no data  --
3118.43/781.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3118.43/781.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3118.43/781.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.19
3118.83/781.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3118.83/781.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3118.83/781.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
3118.83/781.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3655.03/916.16	c lits-rem:      6575  cl-subs:    13119  v-elim:      0  v-fix:    0  time: 536.28 s
3655.03/916.16	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
3655.03/916.17	c vivif2 --  cl tried    87976 cl shrink        0 lits rem          0 time: 0.07
3657.02/916.62	c asymm  cl-useful: 0/394/4450 lits-rem:0 time: 1.77
3657.02/916.62	c calculated reachability. Time: 0.00
3657.02/916.62	c  N dy 11723   2711972        50      4450         0     87976     31150   1153473     15.70   no data  --
3699.74/927.37	c  N dy 11838   2732091        50      4450         0    105229     31150   1476570     15.70     16.70  --
3747.61/939.36	c  N dy 11912   2755277        50      4450         0     64502     31150    701869     15.70     16.59  --
3773.93/946.00	c  N dy 11970   2776985        50      4450         0     82960     31150   1033536     15.70     16.63  --
3809.05/954.73	c  N dy 12062   2798391        50      4450         0    101220     31150   1370730     15.70     16.53  --
3847.35/964.37	c  N dy 12143   2819897        50      4450         0    119498     31150   1707188     15.70     16.61  --
3875.31/971.39	c  N dy 12229   2839937        50      4450         0     74901     31150    883414     15.70     18.24  --
3895.63/976.41	c  N dy 12247   2859963        50      4450         0     91849     31150   1181036     15.69     17.87  --
3928.39/984.65	c  N dy 12354   2880003        50      4450         0    109005     31150   1501635     15.69     18.03  --
3967.46/994.44	c  N dy 12442   2900056        50      4450         0     63304     31150    666543     15.70     17.47  --
3990.18/1000.10	c  N dy 12549   2920095        50      4450         0     80439     31150    987374     15.70     16.58  --
4020.90/1007.85	c  N dy 12679   2940163        50      4450         0     97613     31150   1312078     15.71     17.37  --
4052.83/1015.81	c  N dy 12710   2962345        50      4450         0    116318     31150   1646519     15.70     16.57  --
4100.31/1027.75	c  N dy 12807   2996553        50      4450         0     81484     31150    975406     15.70     16.75  --
4128.24/1034.70	c  N dy 12869   3020068        50      4450         0    101378     31150   1330570     15.69     16.53  --
4166.14/1044.26	c  N dy 12986   3040889        50      4450         0    119201     31150   1666100     15.70     16.54  --
4200.08/1052.72	c  N dy 13064   3061050        50      4450         0     71909     31150    811971     15.70     16.57  --
4223.99/1058.78	c  N dy 13111   3082216        50      4450         0     89826     31150   1134389     15.69     16.52  --
4277.86/1072.30	c  N dy 13234   3112118        50      4450         0    115350     31150   1608097     15.69     16.56  --
4326.94/1084.59	c  N dy 13366   3132217        50      4450         0     67051     31150    713907     15.70     16.87  --
4359.24/1092.60	c  N dy 13501   3153368        50      4450         0     85192     31150   1054825     15.70     16.55  --
4388.80/1100.08	c  N dy 13558   3173422        50      4450         0    102269     31150   1367852     15.70     16.53  --
4437.08/1112.12	c  N dy 13652   3198283        50      4450         0    123458     31150   1759863     15.70     16.67  --
4464.99/1119.15	c  S st 13675   3211974        50      4450         0     68571     31150    733009     15.70     14.62  --
4465.79/1119.36	c  S st 13675   3212477        50      4450         0     69012     31150    741628     15.70   no data  --
4465.79/1119.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4465.79/1119.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4466.19/1119.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
4466.19/1119.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4466.19/1119.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4466.19/1119.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
4466.19/1119.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4520.04/1132.92	c lits-rem:       306  cl-subs:     1073  v-elim:      0  v-fix:    0  time: 53.88 s
4520.04/1132.93	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
4520.04/1132.94	c vivif2 --  cl tried    67939 cl shrink        0 lits rem          0 time: 0.04
4521.23/1133.22	c asymm  cl-useful: 0/513/4450 lits-rem:0 time: 1.13
4521.23/1133.22	c calculated reachability. Time: 0.00
4521.23/1133.22	c  N dy 13675   3212477        50      4450         0     67939     31150    724176     15.70   no data  --
4549.98/1140.49	c  N dy 13772   3237445        50      4450         0     89185     31150   1116758     15.70     16.54  --
4584.68/1149.11	c  N dy 13824   3259405        50      4450         0    107835     31150   1455331     15.70     16.78  --
4646.93/1164.73	c  N dy 13901   3296088        50      4450         0     71714     31150    779185     15.69     16.67  --
4685.23/1174.33	c  N dy 14012   3324110        50      4450         0     95475     31150   1210250     15.68     16.60  --
4720.34/1183.11	c  N dy 14013   3355059        50      4450         0    121460     31150   1651681     15.66     16.86  --
4760.24/1193.10	c  N dy 14108   3375071        50      4450         0     70780     31150    765471     15.66     16.94  --
4787.78/1200.05	c  N dy 14212   3396850        50      4450         0     89384     31150   1109558     15.67     16.50  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368883-1305405304/watcher-3368883-1305405304 -o /tmp/evaluation-result-3368883-1305405304/solver-3368883-1305405304 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368883-1305405304.cnf 

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

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


[startup+0 s]
/proc/loadavg: 6.84 7.79 7.52 7/310 14029
/proc/meminfo: memFree=12315500/32950928 swapFree=67111348/67111528
[pid=14029] ppid=14027 vsize=273580 CPUtime=0 cores=1,3,5,7
/proc/14029/stat : 14029 (strangenight1-m) R 14027 14029 13350 0 -1 4202496 794 0 0 0 0 0 0 0 24 0 4 0 652129149 280145920 711 33554432000 4194304 4650419 140736567857760 18446744073709551615 235594563339 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14029/statm: 68395 721 343 112 0 63360 0
[pid=14029/tid=14031] ppid=14027 vsize=281912 CPUtime=0 cores=1,3,5,7
/proc/14029/task/14031/stat : 14031 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 150 0 0 0 0 0 0 0 24 0 4 0 652129149 288677888 946 33554432000 4194304 4650419 140736567857760 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14029/tid=14032] ppid=14027 vsize=281912 CPUtime=0 cores=1,3,5,7
/proc/14029/task/14032/stat : 14032 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 157 0 0 0 0 0 0 0 24 0 4 0 652129149 288677888 946 33554432000 4194304 4650419 140736567857760 18446744073709551615 235594527777 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14029/tid=14033] ppid=14027 vsize=281912 CPUtime=0 cores=1,3,5,7
/proc/14029/task/14033/stat : 14033 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 145 0 0 0 0 0 0 0 25 0 4 0 652129149 288677888 946 33554432000 4194304 4650419 140736567857760 18446744073709551615 4373800 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.110388 s]
/proc/loadavg: 6.84 7.79 7.52 7/310 14029
/proc/meminfo: memFree=12315500/32950928 swapFree=67111348/67111528
[pid=14029] ppid=14027 vsize=283916 CPUtime=0.42 cores=1,3,5,7
/proc/14029/stat : 14029 (strangenight1-m) R 14027 14029 13350 0 -1 4202496 2341 0 0 0 42 0 0 0 18 0 4 0 652129149 290729984 2123 33554432000 4194304 4650419 140736567857760 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14029/statm: 70979 2123 382 112 0 65944 0
[pid=14029/tid=14031] ppid=14027 vsize=283916 CPUtime=0.1 cores=1,3,5,7
/proc/14029/task/14031/stat : 14031 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 533 0 0 0 10 0 0 0 24 0 4 0 652129149 290729984 2123 33554432000 4194304 4650419 140736567857760 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14029/tid=14032] ppid=14027 vsize=283916 CPUtime=0.1 cores=1,3,5,7
/proc/14029/task/14032/stat : 14032 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 535 0 0 0 10 0 0 0 24 0 4 0 652129149 290729984 2123 33554432000 4194304 4650419 140736567857760 18446744073709551615 4438393 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14029/tid=14033] ppid=14027 vsize=283916 CPUtime=0.1 cores=1,3,5,7
/proc/14029/task/14033/stat : 14033 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 319 0 0 0 10 0 0 0 25 0 4 0 652129149 290729984 2123 33554432000 4194304 4650419 140736567857760 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 283916

[startup+0.200373 s]
/proc/loadavg: 6.84 7.79 7.52 7/310 14029
/proc/meminfo: memFree=12315500/32950928 swapFree=67111348/67111528
[pid=14029] ppid=14027 vsize=284328 CPUtime=0.77 cores=1,3,5,7
/proc/14029/stat : 14029 (strangenight1-m) R 14027 14029 13350 0 -1 4202496 2741 0 0 0 77 0 0 0 18 0 4 0 652129149 291151872 2359 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14029/statm: 71082 2359 390 112 0 66047 0
[pid=14029/tid=14031] ppid=14027 vsize=284328 CPUtime=0.19 cores=1,3,5,7
/proc/14029/task/14031/stat : 14031 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 603 0 0 0 19 0 0 0 24 0 4 0 652129149 291151872 2359 33554432000 4194304 4650419 140736567857760 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14029/tid=14032] ppid=14027 vsize=284328 CPUtime=0.19 cores=1,3,5,7
/proc/14029/task/14032/stat : 14032 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 602 0 0 0 19 0 0 0 24 0 4 0 652129149 291151872 2359 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14029/tid=14033] ppid=14027 vsize=284328 CPUtime=0.19 cores=1,3,5,7
/proc/14029/task/14033/stat : 14033 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 513 0 0 0 19 0 0 0 25 0 4 0 652129149 291151872 2359 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365366 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 284328

[startup+0.300355 s]
/proc/loadavg: 6.84 7.79 7.52 7/310 14029
/proc/meminfo: memFree=12315500/32950928 swapFree=67111348/67111528
[pid=14029] ppid=14027 vsize=284940 CPUtime=1.17 cores=1,3,5,7
/proc/14029/stat : 14029 (strangenight1-m) R 14027 14029 13350 0 -1 4202496 3296 0 0 0 117 0 0 0 18 0 4 0 652129149 291778560 2508 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14029/statm: 71235 2508 390 112 0 66200 0
[pid=14029/tid=14031] ppid=14027 vsize=284940 CPUtime=0.29 cores=1,3,5,7
/proc/14029/task/14031/stat : 14031 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 762 0 0 0 29 0 0 0 25 0 4 0 652129149 291778560 2508 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14029/tid=14032] ppid=14027 vsize=284940 CPUtime=0.29 cores=1,3,5,7
/proc/14029/task/14032/stat : 14032 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 766 0 0 0 29 0 0 0 24 0 4 0 652129149 291778560 2508 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14029/tid=14033] ppid=14027 vsize=284940 CPUtime=0.29 cores=1,3,5,7
/proc/14029/task/14033/stat : 14033 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 583 0 0 0 29 0 0 0 25 0 4 0 652129149 291778560 2508 33554432000 4194304 4650419 140736567857760 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284940

[startup+0.700284 s]
/proc/loadavg: 6.84 7.79 7.52 7/310 14029
/proc/meminfo: memFree=12315500/32950928 swapFree=67111348/67111528
[pid=14029] ppid=14027 vsize=294720 CPUtime=2.77 cores=1,3,5,7
/proc/14029/stat : 14029 (strangenight1-m) R 14027 14029 13350 0 -1 4202496 5172 0 0 0 277 0 0 0 18 0 4 0 652129149 301793280 3368 33554432000 4194304 4650419 140736567857760 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14029/statm: 73680 3374 390 112 0 68645 0
[pid=14029/tid=14031] ppid=14027 vsize=294720 CPUtime=0.69 cores=1,3,5,7
/proc/14029/task/14031/stat : 14031 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 1177 0 0 0 69 0 0 0 25 0 4 0 652129149 301793280 3377 33554432000 4194304 4650419 140736567857760 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14029/tid=14032] ppid=14027 vsize=294720 CPUtime=0.69 cores=1,3,5,7
/proc/14029/task/14032/stat : 14032 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 1265 0 0 0 69 0 0 0 25 0 4 0 652129149 301793280 3382 33554432000 4194304 4650419 140736567857760 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14029/tid=14033] ppid=14027 vsize=294720 CPUtime=0.69 cores=1,3,5,7
/proc/14029/task/14033/stat : 14033 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 1156 0 0 0 69 0 0 0 25 0 4 0 652129149 301793280 3386 33554432000 4194304 4650419 140736567857760 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 294720

[startup+1.50115 s]
/proc/loadavg: 6.84 7.79 7.52 11/315 14034
/proc/meminfo: memFree=12286692/32950928 swapFree=67111348/67111528
[pid=14029] ppid=14027 vsize=287252 CPUtime=5.96 cores=1,3,5,7
/proc/14029/stat : 14029 (strangenight1-m) R 14027 14029 13350 0 -1 4202496 9385 0 0 0 596 0 0 0 19 0 4 0 652129149 294146048 4802 33554432000 4194304 4650419 140736567857760 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14029/statm: 71813 4803 392 112 0 66778 0
[pid=14029/tid=14031] ppid=14027 vsize=287252 CPUtime=1.49 cores=1,3,5,7
/proc/14029/task/14031/stat : 14031 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 2069 0 0 0 149 0 0 0 25 0 4 0 652129149 294146048 4803 33554432000 4194304 4650419 140736567857760 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14029/tid=14032] ppid=14027 vsize=287252 CPUtime=1.49 cores=1,3,5,7
/proc/14029/task/14032/stat : 14032 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 2095 0 0 0 149 0 0 0 25 0 4 0 652129149 294146048 4803 33554432000 4194304 4650419 140736567857760 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14029/tid=14033] ppid=14027 vsize=287252 CPUtime=1.48 cores=1,3,5,7
/proc/14029/task/14033/stat : 14033 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 1888 0 0 0 148 0 0 0 25 0 4 0 652129149 294146048 4803 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 287252

[startup+3.10087 s]
/proc/loadavg: 6.84 7.79 7.52 11/315 14034
/proc/meminfo: memFree=12249224/32950928 swapFree=67111348/67111528
[pid=14029] ppid=14027 vsize=282344 CPUtime=12.35 cores=1,3,5,7
/proc/14029/stat : 14029 (strangenight1-m) R 14027 14029 13350 0 -1 4202496 15613 0 0 0 1234 1 0 0 25 0 4 0 652129149 289120256 10069 33554432000 4194304 4650419 140736567857760 18446744073709551615 4433059 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14029/statm: 70586 10069 392 112 0 65551 0
[pid=14029/tid=14031] ppid=14027 vsize=282344 CPUtime=3.09 cores=1,3,5,7
/proc/14029/task/14031/stat : 14031 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 3193 0 0 0 309 0 0 0 25 0 4 0 652129149 289120256 10069 33554432000 4194304 4650419 140736567857760 18446744073709551615 4313304 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14029/tid=14032] ppid=14027 vsize=282344 CPUtime=3.08 cores=1,3,5,7
/proc/14029/task/14032/stat : 14032 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 3881 0 0 0 308 0 0 0 25 0 4 0 652129149 289120256 10069 33554432000 4194304 4650419 140736567857760 18446744073709551615 4370697 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14029/tid=14033] ppid=14027 vsize=282344 CPUtime=3.06 cores=1,3,5,7
/proc/14029/task/14033/stat : 14033 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 3904 0 0 0 306 0 0 0 25 0 4 0 652129149 289120256 10069 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 282344

[startup+6.30031 s]
/proc/loadavg: 6.94 7.79 7.52 10/315 14034
/proc/meminfo: memFree=12222044/32950928 swapFree=67111348/67111528
[pid=14029] ppid=14027 vsize=287880 CPUtime=25.12 cores=1,3,5,7
/proc/14029/stat : 14029 (strangenight1-m) R 14027 14029 13350 0 -1 4202496 22741 0 0 0 2509 3 0 0 25 0 4 0 652129149 294789120 13024 33554432000 4194304 4650419 140736567857760 18446744073709551615 4438944 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14029/statm: 71970 13024 392 112 0 66935 0
[pid=14029/tid=14031] ppid=14027 vsize=287880 CPUtime=6.29 cores=1,3,5,7
/proc/14029/task/14031/stat : 14031 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 5176 0 0 0 629 0 0 0 25 0 4 0 652129149 294789120 13024 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14029/tid=14032] ppid=14027 vsize=287880 CPUtime=6.29 cores=1,3,5,7
/proc/14029/task/14032/stat : 14032 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 6235 0 0 0 628 1 0 0 25 0 4 0 652129149 294789120 13024 33554432000 4194304 4650419 140736567857760 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14029/tid=14033] ppid=14027 vsize=287880 CPUtime=6.23 cores=1,3,5,7
/proc/14029/task/14033/stat : 14033 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 5645 0 0 0 623 0 0 0 25 0 4 0 652129149 294789120 13024 33554432000 4194304 4650419 140736567857760 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 287880

[startup+12.7002 s]
/proc/loadavg: 7.02 7.79 7.52 10/315 14034
/proc/meminfo: memFree=12191068/32950928 swapFree=67111348/67111528
[pid=14029] ppid=14027 vsize=305464 CPUtime=50.65 cores=1,3,5,7
/proc/14029/stat : 14029 (strangenight1-m) R 14027 14029 13350 0 -1 4202496 31481 0 0 0 5061 4 0 0 25 0 4 0 652129149 312795136 15688 33554432000 4194304 4650419 140736567857760 18446744073709551615 4334290 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14029/statm: 76366 15688 392 112 0 71331 0
[pid=14029/tid=14031] ppid=14027 vsize=305464 CPUtime=12.68 cores=1,3,5,7
/proc/14029/task/14031/stat : 14031 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 7053 0 0 0 1268 0 0 0 25 0 4 0 652129149 312795136 15688 33554432000 4194304 4650419 140736567857760 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14029/tid=14032] ppid=14027 vsize=305464 CPUtime=12.68 cores=1,3,5,7
/proc/14029/task/14032/stat : 14032 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 8496 0 0 0 1267 1 0 0 25 0 4 0 652129149 312795136 15688 33554432000 4194304 4650419 140736567857760 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14029/tid=14033] ppid=14027 vsize=305464 CPUtime=12.56 cores=1,3,5,7
/proc/14029/task/14033/stat : 14033 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 8645 0 0 0 1256 0 0 0 25 0 4 0 652129149 312795136 15688 33554432000 4194304 4650419 140736567857760 18446744073709551615 4310834 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 305464

[startup+25.5009 s]
/proc/loadavg: 7.24 7.80 7.53 11/315 14034
/proc/meminfo: memFree=12141716/32950928 swapFree=67111348/67111528
[pid=14029] ppid=14027 vsize=309436 CPUtime=101.73 cores=1,3,5,7
/proc/14029/stat : 14029 (strangenight1-m) R 14027 14029 13350 0 -1 4202496 46308 0 0 0 10164 9 0 0 25 0 4 0 652129149 316862464 22534 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14029/statm: 77359 22534 392 112 0 72324 0
[pid=14029/tid=14031] ppid=14027 vsize=309436 CPUtime=25.49 cores=1,3,5,7
/proc/14029/task/14031/stat : 14031 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 9769 0 0 0 2548 1 0 0 25 0 4 0 652129149 316862464 22534 33554432000 4194304 4650419 140736567857760 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14029/tid=14032] ppid=14027 vsize=309436 CPUtime=25.48 cores=1,3,5,7
/proc/14029/task/14032/stat : 14032 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 13088 0 0 0 2546 2 0 0 25 0 4 0 652129149 316862464 22534 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14029/tid=14033] ppid=14027 vsize=309436 CPUtime=25.23 cores=1,3,5,7
/proc/14029/task/14033/stat : 14033 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 12794 0 0 0 2521 2 0 0 25 0 4 0 652129149 316862464 22534 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 309436

[startup+51.1004 s]
/proc/loadavg: 7.64 7.85 7.55 10/315 14035
/proc/meminfo: memFree=12125460/32950928 swapFree=67111348/67111528
[pid=14029] ppid=14027 vsize=303628 CPUtime=203.87 cores=1,3,5,7
/proc/14029/stat : 14029 (strangenight1-m) R 14027 14029 13350 0 -1 4202496 67578 0 0 0 20371 16 0 0 25 0 4 0 652129149 310915072 24250 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14029/statm: 75907 24250 392 112 0 70872 0
[pid=14029/tid=14031] ppid=14027 vsize=303628 CPUtime=51.08 cores=1,3,5,7
/proc/14029/task/14031/stat : 14031 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 13190 0 0 0 5106 2 0 0 25 0 4 0 652129149 310915072 24250 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14029/tid=14032] ppid=14027 vsize=303628 CPUtime=51.08 cores=1,3,5,7
/proc/14029/task/14032/stat : 14032 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 19534 0 0 0 5104 4 0 0 25 0 4 0 652129149 310915072 24250 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14029/tid=14033] ppid=14027 vsize=303628 CPUtime=50.59 cores=1,3,5,7
/proc/14029/task/14033/stat : 14033 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 19504 0 0 0 5055 4 0 0 25 0 4 0 652129149 310915072 24250 33554432000 4194304 4650419 140736567857760 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.87
Current children cumulated vsize (KiB) 303628

[startup+102.3 s]
/proc/loadavg: 7.92 7.89 7.58 11/315 14036
/proc/meminfo: memFree=12077332/32950928 swapFree=67111348/67111528
[pid=14029] ppid=14027 vsize=336080 CPUtime=408.17 cores=1,3,5,7
/proc/14029/stat : 14029 (strangenight1-m) R 14027 14029 13350 0 -1 4202496 101272 0 0 0 40790 27 0 0 25 0 4 0 652129149 344145920 29725 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14029/statm: 84020 29725 392 112 0 78985 0
[pid=14029/tid=14031] ppid=14027 vsize=336080 CPUtime=102.28 cores=1,3,5,7
/proc/14029/task/14031/stat : 14031 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 15996 0 0 0 10225 3 0 0 25 0 4 0 652129149 344145920 29727 33554432000 4194304 4650419 140736567857760 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14029/tid=14032] ppid=14027 vsize=336080 CPUtime=102.3 cores=1,3,5,7
/proc/14029/task/14032/stat : 14032 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 29584 0 0 0 10222 8 0 0 25 0 4 0 652129149 344145920 29727 33554432000 4194304 4650419 140736567857760 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14029/tid=14033] ppid=14027 vsize=336080 CPUtime=101.28 cores=1,3,5,7
/proc/14029/task/14033/stat : 14033 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 31477 0 0 0 10121 7 0 0 25 0 4 0 652129149 344145920 29727 33554432000 4194304 4650419 140736567857760 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.17
Current children cumulated vsize (KiB) 336080

[startup+162.301 s]

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

[pid=14029] ppid=14027 vsize=409688 CPUtime=2562.64 cores=1,3,5,7
/proc/14029/stat : 14029 (strangenight1-m) R 14027 14029 13350 0 -1 4202496 305693 0 0 0 256149 115 0 0 25 0 4 0 652129149 419520512 60816 33554432000 4194304 4650419 140736567857760 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14029/statm: 102422 60816 392 112 0 97387 0
[pid=14029/tid=14031] ppid=14027 vsize=409688 CPUtime=642.2 cores=1,3,5,7
/proc/14029/task/14031/stat : 14031 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 49970 0 0 0 64203 17 0 0 25 0 4 0 652129149 419520512 60816 33554432000 4194304 4650419 140736567857760 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14029/tid=14032] ppid=14027 vsize=409688 CPUtime=642.3 cores=1,3,5,7
/proc/14029/task/14032/stat : 14032 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 90503 0 0 0 64197 33 0 0 25 0 4 0 652129149 419520512 60816 33554432000 4194304 4650419 140736567857760 18446744073709551615 4366953 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14029/tid=14033] ppid=14027 vsize=409688 CPUtime=635.83 cores=1,3,5,7
/proc/14029/task/14033/stat : 14033 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 86392 0 0 0 63551 32 0 0 25 0 4 0 652129149 419520512 60816 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2562.64
Current children cumulated vsize (KiB) 409688

[startup+702.301 s]
/proc/loadavg: 8.10 8.05 7.80 11/315 14052
/proc/meminfo: memFree=11759732/32950928 swapFree=67111348/67111528
[pid=14029] ppid=14027 vsize=475836 CPUtime=2802.04 cores=1,3,5,7
/proc/14029/stat : 14029 (strangenight1-m) R 14027 14029 13350 0 -1 4202496 322983 0 0 0 280079 125 0 0 25 0 4 0 652129149 487256064 67702 33554432000 4194304 4650419 140736567857760 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14029/statm: 118959 67702 392 112 0 113924 0
[pid=14029/tid=14031] ppid=14027 vsize=475836 CPUtime=702.19 cores=1,3,5,7
/proc/14029/task/14031/stat : 14031 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 51305 0 0 0 70201 18 0 0 25 0 4 0 652129149 487256064 67702 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14029/tid=14032] ppid=14027 vsize=475836 CPUtime=702.3 cores=1,3,5,7
/proc/14029/task/14032/stat : 14032 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 96582 0 0 0 70195 35 0 0 25 0 4 0 652129149 487256064 67702 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14029/tid=14033] ppid=14027 vsize=475836 CPUtime=695.23 cores=1,3,5,7
/proc/14029/task/14033/stat : 14033 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 90565 0 0 0 69488 35 0 0 25 0 4 0 652129149 487256064 67702 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2802.04
Current children cumulated vsize (KiB) 475836

[startup+762.3 s]
/proc/loadavg: 8.07 8.05 7.81 11/315 14054
/proc/meminfo: memFree=11768276/32950928 swapFree=67111348/67111528
[pid=14029] ppid=14027 vsize=481956 CPUtime=3041.45 cores=1,3,5,7
/proc/14029/stat : 14029 (strangenight1-m) R 14027 14029 13350 0 -1 4202496 336480 0 0 0 304013 132 0 0 25 0 4 0 652129149 493522944 72775 33554432000 4194304 4650419 140736567857760 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14029/statm: 120489 72775 392 112 0 115454 0
[pid=14029/tid=14031] ppid=14027 vsize=481956 CPUtime=762.2 cores=1,3,5,7
/proc/14029/task/14031/stat : 14031 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 53234 0 0 0 76200 20 0 0 25 0 4 0 652129149 493522944 72775 33554432000 4194304 4650419 140736567857760 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14029/tid=14032] ppid=14027 vsize=481956 CPUtime=762.31 cores=1,3,5,7
/proc/14029/task/14032/stat : 14032 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 101375 0 0 0 76194 37 0 0 25 0 4 0 652129149 493522944 72775 33554432000 4194304 4650419 140736567857760 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14029/tid=14033] ppid=14027 vsize=481956 CPUtime=754.64 cores=1,3,5,7
/proc/14029/task/14033/stat : 14033 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 94568 0 0 0 75427 37 0 0 25 0 4 0 652129149 493522944 72775 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3041.45
Current children cumulated vsize (KiB) 481956

[startup+822.301 s]
/proc/loadavg: 8.09 8.07 7.83 11/315 14055
/proc/meminfo: memFree=11722996/32950928 swapFree=67111348/67111528
[pid=14029] ppid=14027 vsize=482588 CPUtime=3280.81 cores=1,3,5,7
/proc/14029/stat : 14029 (strangenight1-m) R 14027 14029 13350 0 -1 4202496 342210 0 0 0 327947 134 0 0 25 0 4 0 652129149 494170112 71646 33554432000 4194304 4650419 140736567857760 18446744073709551615 4476297 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14029/statm: 120647 71646 392 112 0 115612 0
[pid=14029/tid=14031] ppid=14027 vsize=482588 CPUtime=822.17 cores=1,3,5,7
/proc/14029/task/14031/stat : 14031 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 53242 0 0 0 82197 20 0 0 25 0 4 0 652129149 494170112 71646 33554432000 4194304 4650419 140736567857760 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14029/tid=14032] ppid=14027 vsize=482588 CPUtime=822.3 cores=1,3,5,7
/proc/14029/task/14032/stat : 14032 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 104393 0 0 0 82191 39 0 0 25 0 4 0 652129149 494170112 71646 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14029/tid=14033] ppid=14027 vsize=482588 CPUtime=814.04 cores=1,3,5,7
/proc/14029/task/14033/stat : 14033 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 95078 0 0 0 81367 37 0 0 25 0 4 0 652129149 494170112 71646 33554432000 4194304 4650419 140736567857760 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3280.81
Current children cumulated vsize (KiB) 482588

[startup+882.312 s]
/proc/loadavg: 8.22 8.10 7.85 10/315 14057
/proc/meminfo: memFree=11730896/32950928 swapFree=67111348/67111528
[pid=14029] ppid=14027 vsize=482640 CPUtime=3520.23 cores=1,3,5,7
/proc/14029/stat : 14029 (strangenight1-m) R 14027 14029 13350 0 -1 4202496 345286 0 0 0 351886 137 0 0 25 0 4 0 652129149 494223360 72457 33554432000 4194304 4650419 140736567857760 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14029/statm: 120660 72457 392 112 0 115625 0
[pid=14029/tid=14031] ppid=14027 vsize=482640 CPUtime=882.18 cores=1,3,5,7
/proc/14029/task/14031/stat : 14031 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 53318 0 0 0 88198 20 0 0 25 0 4 0 652129149 494223360 72457 33554432000 4194304 4650419 140736567857760 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14029/tid=14032] ppid=14027 vsize=482640 CPUtime=882.32 cores=1,3,5,7
/proc/14029/task/14032/stat : 14032 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 107392 0 0 0 88190 42 0 0 25 0 4 0 652129149 494223360 72457 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14029/tid=14033] ppid=14027 vsize=482640 CPUtime=873.42 cores=1,3,5,7
/proc/14029/task/14033/stat : 14033 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 95078 0 0 0 87305 37 0 0 25 0 4 0 652129149 494223360 72457 33554432000 4194304 4650419 140736567857760 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3520.23
Current children cumulated vsize (KiB) 482640

[startup+942.301 s]
/proc/loadavg: 8.15 8.10 7.86 11/315 14059
/proc/meminfo: memFree=11731248/32950928 swapFree=67111348/67111528
[pid=14029] ppid=14027 vsize=482688 CPUtime=3759.58 cores=1,3,5,7
/proc/14029/stat : 14029 (strangenight1-m) R 14027 14029 13350 0 -1 4202496 348732 0 0 0 375818 140 0 0 25 0 4 0 652129149 494272512 69173 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14029/statm: 120672 69173 392 112 0 115637 0
[pid=14029/tid=14031] ppid=14027 vsize=482688 CPUtime=942.16 cores=1,3,5,7
/proc/14029/task/14031/stat : 14031 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 53318 0 0 0 94196 20 0 0 25 0 4 0 652129149 494272512 69173 33554432000 4194304 4650419 140736567857760 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14029/tid=14032] ppid=14027 vsize=482688 CPUtime=942.3 cores=1,3,5,7
/proc/14029/task/14032/stat : 14032 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 110137 0 0 0 94186 44 0 0 25 0 4 0 652129149 494272512 69173 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14029/tid=14033] ppid=14027 vsize=482688 CPUtime=932.81 cores=1,3,5,7
/proc/14029/task/14033/stat : 14033 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 95078 0 0 0 93244 37 0 0 25 0 4 0 652129149 494272512 69173 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3759.58
Current children cumulated vsize (KiB) 482688

[startup+1002.3 s]
/proc/loadavg: 8.09 8.09 7.88 10/315 14060
/proc/meminfo: memFree=11691156/32950928 swapFree=67111348/67111528
[pid=14029] ppid=14027 vsize=482792 CPUtime=3998.96 cores=1,3,5,7
/proc/14029/stat : 14029 (strangenight1-m) R 14027 14029 13350 0 -1 4202496 361512 0 0 0 399749 147 0 0 25 0 4 0 652129149 494379008 77304 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365276 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14029/statm: 120698 77304 392 112 0 115663 0
[pid=14029/tid=14031] ppid=14027 vsize=482792 CPUtime=1002.14 cores=1,3,5,7
/proc/14029/task/14031/stat : 14031 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 53747 0 0 0 100194 20 0 0 25 0 4 0 652129149 494379008 77304 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14029/tid=14032] ppid=14027 vsize=482792 CPUtime=1002.3 cores=1,3,5,7
/proc/14029/task/14032/stat : 14032 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 114564 0 0 0 100184 46 0 0 25 0 4 0 652129149 494379008 77304 33554432000 4194304 4650419 140736567857760 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14029/tid=14033] ppid=14027 vsize=482792 CPUtime=992.21 cores=1,3,5,7
/proc/14029/task/14033/stat : 14033 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 99408 0 0 0 99182 39 0 0 25 0 4 0 652129149 494379008 77304 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3998.96
Current children cumulated vsize (KiB) 482792

[startup+1062.3 s]
/proc/loadavg: 8.18 8.10 7.89 11/315 14062
/proc/meminfo: memFree=11691136/32950928 swapFree=67111348/67111528
[pid=14029] ppid=14027 vsize=489452 CPUtime=4238.36 cores=1,3,5,7
/proc/14029/stat : 14029 (strangenight1-m) R 14027 14029 13350 0 -1 4202496 373995 0 0 0 423682 154 0 0 25 0 4 0 652129149 501198848 76265 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14029/statm: 122363 76265 392 112 0 117328 0
[pid=14029/tid=14031] ppid=14027 vsize=489452 CPUtime=1062.14 cores=1,3,5,7
/proc/14029/task/14031/stat : 14031 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 55183 0 0 0 106192 22 0 0 25 0 4 0 652129149 501198848 76265 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14029/tid=14032] ppid=14027 vsize=489452 CPUtime=1062.3 cores=1,3,5,7
/proc/14029/task/14032/stat : 14032 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 120843 0 0 0 106182 48 0 0 25 0 4 0 652129149 501198848 76265 33554432000 4194304 4650419 140736567857760 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14029/tid=14033] ppid=14027 vsize=489452 CPUtime=1051.61 cores=1,3,5,7
/proc/14029/task/14033/stat : 14033 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 101672 0 0 0 105121 40 0 0 25 0 4 0 652129149 501198848 76265 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4238.36
Current children cumulated vsize (KiB) 489452

[startup+1122.3 s]
/proc/loadavg: 8.06 8.08 7.90 11/315 14063
/proc/meminfo: memFree=11684180/32950928 swapFree=67111348/67111528
[pid=14029] ppid=14027 vsize=489452 CPUtime=4477.75 cores=1,3,5,7
/proc/14029/stat : 14029 (strangenight1-m) R 14027 14029 13350 0 -1 4202496 384849 0 0 0 447617 158 0 0 25 0 4 0 652129149 501198848 72323 33554432000 4194304 4650419 140736567857760 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14029/statm: 122363 72323 392 112 0 117328 0
[pid=14029/tid=14031] ppid=14027 vsize=489452 CPUtime=1122.13 cores=1,3,5,7
/proc/14029/task/14031/stat : 14031 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 55187 0 0 0 112191 22 0 0 25 0 4 0 652129149 501198848 72323 33554432000 4194304 4650419 140736567857760 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14029/tid=14032] ppid=14027 vsize=489452 CPUtime=1122.3 cores=1,3,5,7
/proc/14029/task/14032/stat : 14032 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 126080 0 0 0 112181 49 0 0 25 0 4 0 652129149 501198848 72323 33554432000 4194304 4650419 140736567857760 18446744073709551615 4366956 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14029/tid=14033] ppid=14027 vsize=489452 CPUtime=1111.01 cores=1,3,5,7
/proc/14029/task/14033/stat : 14033 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 104203 0 0 0 111059 42 0 0 25 0 4 0 652129149 501198848 72323 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4477.75
Current children cumulated vsize (KiB) 489452

[startup+1182.3 s]
/proc/loadavg: 8.15 8.10 7.91 11/315 14065
/proc/meminfo: memFree=11656992/32950928 swapFree=67111348/67111528
[pid=14029] ppid=14027 vsize=489652 CPUtime=4717.15 cores=1,3,5,7
/proc/14029/stat : 14029 (strangenight1-m) R 14027 14029 13350 0 -1 4202496 393331 0 0 0 471552 163 0 0 25 0 4 0 652129149 501403648 78077 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14029/statm: 122413 78077 392 112 0 117378 0
[pid=14029/tid=14031] ppid=14027 vsize=489652 CPUtime=1182.12 cores=1,3,5,7
/proc/14029/task/14031/stat : 14031 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 55319 0 0 0 118190 22 0 0 25 0 4 0 652129149 501403648 78077 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14029/tid=14032] ppid=14027 vsize=489652 CPUtime=1182.31 cores=1,3,5,7
/proc/14029/task/14032/stat : 14032 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 129430 0 0 0 118180 51 0 0 25 0 4 0 652129149 501403648 78077 33554432000 4194304 4650419 140736567857760 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14029/tid=14033] ppid=14027 vsize=489652 CPUtime=1170.42 cores=1,3,5,7
/proc/14029/task/14033/stat : 14033 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 106686 0 0 0 116999 43 0 0 25 0 4 0 652129149 501403648 78077 33554432000 4194304 4650419 140736567857760 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4717.15
Current children cumulated vsize (KiB) 489652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.10 8.09 7.91 5/311 14067
/proc/meminfo: memFree=11988968/32950928 swapFree=67111348/67111528
[pid=14029] ppid=14027 vsize=489712 CPUtime=4800.16 cores=1,3,5,7
/proc/14029/stat : 14029 (strangenight1-m) R 14027 14029 13350 0 -1 4202496 399149 0 0 0 479851 165 0 0 25 0 4 0 652129149 501465088 81335 33554432000 4194304 4650419 140736567857760 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14029/statm: 122428 81335 392 112 0 117393 0
[pid=14029/tid=14031] ppid=14027 vsize=489712 CPUtime=1202.93 cores=1,3,5,7
/proc/14029/task/14031/stat : 14031 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 55319 0 0 0 120271 22 0 0 25 0 4 0 652129149 501465088 81336 33554432000 4194304 4650419 140736567857760 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14029/tid=14032] ppid=14027 vsize=489712 CPUtime=1203.12 cores=1,3,5,7
/proc/14029/task/14032/stat : 14032 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 131487 0 0 0 120260 52 0 0 25 0 4 0 652129149 501465088 81336 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14029/tid=14033] ppid=14027 vsize=489712 CPUtime=1191.01 cores=1,3,5,7
/proc/14029/task/14033/stat : 14033 (strangenight1-m) R 14027 14029 13350 0 -1 4202560 108562 0 0 0 119058 43 0 0 25 0 4 0 652129149 501465088 81336 33554432000 4194304 4650419 140736567857760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 489712

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): 1203.13
CPU time (s): 4800.22
CPU user time (s): 4798.55
CPU system time (s): 1.66875
CPU usage (%): 398.977
Max. virtual memory (cumulated for all children) (KiB): 495412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.55
system time used= 1.66875
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 399151
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= 179
involuntary context switches= 36305

runsolver used 3.11952 second user time and 9.01563 second system time

The end

Launcher Data 

Begin job on node120 at 2011-05-14 22:35:04
IDJOB=3368883
IDBENCH=82892
IDSOLVER=1846
FILE ID=node120/3368883-1305405304
RUNJOBID= node120-1305405304-14008
PBS_JOBID= 13324463
Free space on /tmp= 73504 MiB

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

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

MD5SUM BENCH= 80aa82e62b454f2871f6471d9559597d
RANDOM SEED=1719559774

node120.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.809
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.61
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.809
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	: 5226.07
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.809
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.82
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.809
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.809
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.78
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.809
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.809
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.82
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.809
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      12315780 kB
Buffers:        257096 kB
Cached:        3584704 kB
SwapCached:          0 kB
Active:       17369360 kB
Inactive:      2977392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      12315780 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           12608 kB
Writeback:           0 kB
AnonPages:    16504224 kB
Mapped:          24580 kB
Slab:           175348 kB
PageTables:      48960 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 51590692 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= 73504 MiB
End job on node120 at 2011-05-14 22:55:09