Trace number 3369263

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameSAT05/crafted/jarvisalo05/mod2-rand3bip-sat/
mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf
MD5SUM51d9aefd9da7f94abc32dd024090dc46
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.005998
Satisfiable
(Un)Satisfiability was proved
Number of variables270
Number of clauses1080
Sum of the clauses size3240
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31080
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369263-1305416570.cnf'
0.00/0.01	c -- header says num vars:            270
0.00/0.01	c -- header says num clauses:        1080
0.00/0.01	c -- clauses added:            0 learnts,         1080 normals,            0 xors
0.00/0.01	c -- vars added        270
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       270      1080         0         0      3240         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/1080/1080 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    270 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:     270, avg size: 3.0)
0.00/0.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     2 time:   0.00
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:       0 undec:       0 neg:     270
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       270         0         2         0       814         0   no data   no data  --
0.22/0.11	c Decided on static restart strategy
0.77/0.21	c  N st     8      4914       270         0         2      4603       814    124974   no data   no data  --
1.17/0.35	c  N st    10     11297       270         0         2      4216       814     77248   no data   no data  --
2.37/0.60	c  N st    11     17041       270         0         2      9507       814    224919   no data   no data  --
3.57/0.99	c  F st    12     25000       270         0         2     11782       814    260963   no data   no data  --
3.57/1.00	c Replacing        1 vars Replaced     2855 lits Time:     0.02 s 
3.57/1.00	c  N st    12     25000       269         0         0     11782       810    260963   no data   no data  --
4.76/1.24	c Decided on static restart strategy
4.76/1.24	c  N st    18     30001       269         0         0     10120       810    216363   no data   no data  --
4.76/1.24	c  S st    18     30001       269         0         0     10120       810    216363   no data   no data  --
4.76/1.28	c  S st    18     30503       269         0         0     10595       810    230199   no data   no data  --
4.76/1.28	c x-sub:     1 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.00
4.76/1.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.76/1.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
4.76/1.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.76/1.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.76/1.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    268 time:  0.00 s
4.76/1.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.56/1.46	c lits-rem:       662  cl-subs:     1071  v-elim:      0  v-fix:    0  time:  0.69 s
5.56/1.46	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
5.56/1.46	c calculated reachability. Time: 0.00
5.56/1.46	c  N st    18     30503       268         0         0      9367       805    200949   no data   no data  --
7.56/1.90	c  N st    20     37614       268         0         0      8750       805    161891   no data   no data  --
9.15/2.32	c  N st    21     44013       268         0         0     14803       805    331387   no data   no data  --
9.54/2.46	c  S st    22     45754       268         0         0     16439       805    378803   no data   no data  --
9.95/2.53	c  S st    22     46255       268         0         0      8562       805    146553   no data   no data  --
9.95/2.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.00
9.95/2.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.95/2.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.95/2.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.95/2.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.95/2.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
9.95/2.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.35/2.60	c lits-rem:       321  cl-subs:      602  v-elim:      0  v-fix:    0  time:  0.24 s
10.35/2.60	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
10.35/2.60	c vivif2 --  cl tried     7951 cl shrink        0 lits rem          0 time: 0.00
10.35/2.60	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
10.35/2.60	c calculated reachability. Time: 0.00
10.35/2.60	c  N st    22     46255       267         0         0      7951       803    133792   no data   no data  --
14.74/3.76	c  N st    23     60653       267         0         0     12202       803    226963   no data   no data  --
17.57/4.46	c  N st    24     69383       267         0         0     20222       803    437834   no data   no data  --
17.57/4.46	c  S st    24     69383       267         0         0     20222       803    437834   no data   no data  --
17.93/4.54	c  S st    24     69886       267         0         0     10461       803    160332   no data   no data  --
17.93/4.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.93/4.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.93/4.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
17.93/4.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.93/4.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.93/4.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
17.93/4.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
18.33/4.65	c lits-rem:       226  cl-subs:      579  v-elim:      0  v-fix:    0  time:  0.41 s
18.33/4.65	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
18.33/4.65	c vivif2 --  cl tried     9882 cl shrink        0 lits rem          0 time: 0.01
18.33/4.65	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
18.33/4.65	c calculated reachability. Time: 0.00
18.33/4.65	c  N st    24     69886       267         0         0      9882       803    150768   no data   no data  --
24.32/6.13	c  F st    25     87501       267         0         0     15027       803    269030   no data   no data  --
24.32/6.13	c  N st    25     87501       267         0         0     15027       803    269030   no data   no data  --
25.52/6.50	c Decided on static restart strategy
26.71/6.77	c  N st    32     95538       267         0         0     22509       803    469477   no data   no data  --
29.91/7.51	c  N st    34    104830       267         0         0     19129       803    367722   no data   no data  --
29.91/7.51	c  S st    34    104830       267         0         0     19129       803    367722   no data   no data  --
29.91/7.59	c  S st    34    105332       267         0         0     19601       803    380980   no data   no data  --
29.91/7.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
29.91/7.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
29.91/7.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
29.91/7.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.91/7.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.91/7.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
29.91/7.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
37.49/9.42	c lits-rem:      1184  cl-subs:     3447  v-elim:      0  v-fix:    0  time:  7.24 s
37.49/9.42	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
37.49/9.42	c vivif2 --  cl tried    16154 cl shrink        0 lits rem          0 time: 0.01
37.49/9.42	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
37.49/9.42	c calculated reachability. Time: 0.00
37.49/9.42	c  N st    34    105332       267         0         0     16154       803    306914   no data   no data  --
41.08/10.36	c  N st    35    114931       267         0         0     25072       803    547159   no data   no data  --
46.27/11.60	c  N st    36    129328       267         0         0     25470       803    512130   no data   no data  --
53.45/13.43	c  N st    37    150924       267         0         0     16725       803    267374   no data   no data  --
55.84/14.03	c  S st    38    157998       267         0         0     23214       803    431351   no data   no data  --
56.24/14.12	c  S st    38    158503       267         0         0     23706       803    445236   no data   no data  --
56.24/14.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
56.24/14.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
56.24/14.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
56.24/14.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
56.24/14.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
56.24/14.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
56.24/14.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
65.03/16.35	c lits-rem:      1169  cl-subs:     4410  v-elim:      0  v-fix:    0  time:  8.81 s
65.03/16.35	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
65.03/16.35	c vivif2 --  cl tried    19296 cl shrink        0 lits rem          0 time: 0.01
65.03/16.35	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
65.03/16.35	c calculated reachability. Time: 0.00
65.03/16.35	c  N st    38    158503       267         0         0     19296       803    352195   no data   no data  --
83.01/20.90	c  N st    39    207092       267         0         0     32135       803    624414   no data   no data  --
93.36/23.48	c  N st    40    237755       267         0         0     24476       803    415942   no data   no data  --
93.36/23.48	c  S st    40    237755       267         0         0     24476       803    415942   no data   no data  --
93.76/23.57	c  S st    40    238256       267         0         0     24958       803    430013   no data   no data  --
93.76/23.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
93.76/23.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
93.76/23.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
93.76/23.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
93.76/23.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
93.76/23.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
93.76/23.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
102.13/25.62	c lits-rem:       974  cl-subs:     2929  v-elim:      0  v-fix:    0  time:  8.12 s
102.13/25.62	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
102.13/25.63	c vivif2 --  cl tried    22029 cl shrink        0 lits rem          0 time: 0.02
102.13/25.63	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
102.13/25.63	c calculated reachability. Time: 0.00
102.13/25.63	c  N st    40    238256       267         0         0     22029       803    376307   no data   no data  --
130.08/32.60	c  F st    41    306250       267         0         0     24051       803    375346   no data   no data  --
130.08/32.60	c  N st    41    306250       267         0         0     24051       803    375346   no data   no data  --
138.45/34.76	c  N dy    84    325970       267         0         0     42358       803    863626     17.78     18.74  --
148.43/37.27	c  N dy   174    346426       267         0         0     39488       803    774700     18.16     19.17  --
155.21/38.98	c  S st   226    357384       267         0         0     26474       803    402675     18.29     17.63  --
155.61/39.08	c  S st   226    357886       267         0         0     26951       803    416406     18.29   no data  --
155.61/39.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
155.61/39.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
155.61/39.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
156.01/39.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
156.01/39.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
156.01/39.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
156.01/39.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
163.19/40.97	c lits-rem:       966  cl-subs:     1345  v-elim:      0  v-fix:    0  time:  7.47 s
163.19/40.97	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
163.19/40.97	c vivif2 --  cl tried    25606 cl shrink        0 lits rem          0 time: 0.02
163.19/40.97	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
163.19/40.98	c calculated reachability. Time: 0.00
163.19/40.98	c  N dy   226    357886       267         0         0     25606       803    393551     18.29   no data  --
175.19/43.99	c  N dy   299    380233       267         0         0     46657       803    961283     18.31     19.34  --
185.94/46.61	c  N dy   355    400919       267         0         0     41814       803    798806     18.33     19.45  --
199.11/49.90	c  N dy   445    422656       267         0         0     37030       803    645588     18.38     19.38  --
212.28/53.23	c  N dy   521    442917       267         0         0     29799       803    431409     18.40     19.56  --
225.05/56.44	c  N dy   614    462961       267         0         0     48676       803    930146     18.46     20.13  --
237.82/59.68	c  N dy   703    483712       267         0         0     40970       803    702217     18.48     19.49  --
251.79/63.10	c  N dy   763    504246       267         0         0     31987       803    458083     18.48     19.51  --
264.57/66.38	c  N dy   831    524919       267         0         0     51520       803    973292     18.47     19.53  --
274.54/68.87	c  S st   916    536829       267         0         0     33496       803    478259     18.53   no data  --
274.94/68.98	c  S st   916    537333       267         0         0     33981       803    492237     18.53   no data  --
274.94/68.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
274.94/68.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
274.94/68.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
275.34/69.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
275.34/69.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
275.34/69.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
275.34/69.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
283.72/71.17	c lits-rem:       787  cl-subs:     1399  v-elim:      0  v-fix:    0  time:  8.65 s
283.72/71.17	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
283.72/71.18	c vivif2 --  cl tried    32582 cl shrink        0 lits rem          0 time: 0.02
283.72/71.18	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
283.72/71.18	c calculated reachability. Time: 0.00
283.72/71.18	c  N dy   916    537333       267         0         0     32582       803    466349     18.53   no data  --
298.88/74.93	c  N dy  1040    557427       267         0         0     51584       803    973856     18.61     20.41  --
312.84/78.44	c  N dy  1077    577478       267         0         0     40182       803    636944     18.58     19.65  --
330.40/82.82	c  N dy  1190    597576       267         0         0     59226       803   1138920     18.62     20.13  --
344.77/86.47	c  N dy  1275    617628       267         0         0     47117       803    813475     18.64     19.89  --
363.53/91.17	c  N dy  1404    637812       267         0         0     34084       803    448783     18.70     19.69  --
379.49/95.10	c  N dy  1449    662505       267         0         0     57355       803   1061085     18.64     19.64  --
400.24/100.37	c  N dy  1553    692295       267         0         0     52582       803    937276     18.62     19.63  --
418.60/104.95	c  N dy  1657    712911       267         0         0     38044       803    523587     18.65     19.67  --
433.38/108.68	c  N dy  1736    734067       267         0         0     58070       803   1059124     18.66     19.69  --
450.93/113.07	c  N dy  1816    754138       267         0         0     42001       803    608356     18.67     19.95  --
468.09/117.30	c  N dy  1881    775302       267         0         0     62217       803   1149811     18.65     19.66  --
487.28/122.13	c  N dy  1979    796373       267         0         0     46101       803    704511     18.67     19.66  --
494.02/123.87	c  S st  2007    806000       267         0         0     55250       803    947800     18.67     17.86  --
494.82/124.08	c  S st  2007    806506       267         0         0     55738       803    962361     18.67   no data  --
494.82/124.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
494.82/124.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
495.23/124.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
495.23/124.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
495.23/124.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
495.23/124.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
495.23/124.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
517.17/129.64	c lits-rem:      2320  cl-subs:     4635  v-elim:      0  v-fix:    0  time: 21.98 s
517.17/129.64	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
517.17/129.65	c vivif2 --  cl tried    51103 cl shrink        0 lits rem          0 time: 0.04
517.17/129.65	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
517.17/129.65	c calculated reachability. Time: 0.00
517.17/129.65	c  N dy  2007    806506       267         0         0     51103       803    862226     18.67   no data  --
547.11/137.17	c  N dy  2080    841802       267         0         0     47365       803    706924     18.61     19.66  --
565.88/141.90	c  N dy  2220    861849       267         0         0     66443       803   1222589     18.66     22.01  --
585.02/146.61	c  N dy  2302    882073       267         0         0     47948       803    728181     18.67     19.67  --
607.77/152.32	c  N dy  2414    906080       267         0         0     70782       803   1345605     18.68     19.70  --
626.93/157.10	c  N dy  2540    927054       267         0         0     51824       803    819421     18.71     19.71  --
645.67/161.80	c  N dy  2564    949957       267         0         0     73475       803   1392808     18.67     19.66  --
666.03/166.92	c  N dy  2628    972474       267         0         0     55020       803    876918     18.66     19.72  --
685.18/171.75	c  N dy  2707    992525       267         0         0     74045       803   1382652     18.66     21.42  --
706.77/177.14	c  N dy  2772   1012715       267         0         0     52401       803    788891     18.66     19.81  --
725.09/181.79	c  N dy  2821   1032756       267         0         0     71258       803   1293476     18.65     19.70  --
747.03/187.27	c  N dy  2907   1052944       267         0         0     48774       803    690484     18.66     19.66  --
764.20/191.56	c  F st  2937   1071876       267         0         0     66803       803   1159428     18.64   no data  --
765.40/191.82	c  N st  2940   1073064       267         0         0     67930       803   1188969     18.64   no data  --
788.94/197.76	c  N dy  3027   1093975       267         0         0     45074       803    573121     18.65     19.67  --
806.10/202.09	c  N dy  3139   1114027       267         0         0     64080       803   1084614     18.67     21.06  --
825.65/206.90	c  N dy  3197   1134031       267         0         0     82993       803   1598087     18.66     19.65  --
887.91/222.54	c  N dy  3271   1204196       267         0         0     61036       803    930494     18.54     19.53  --
893.90/224.02	c  S st  3305   1209759       267         0         0     66283       803   1068827     18.54   no data  --
894.70/224.27	c  S st  3305   1210259       267         0         0     66764       803   1082800     18.54   no data  --
894.70/224.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
894.70/224.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
894.70/224.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
895.11/224.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
895.11/224.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
895.11/224.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
895.11/224.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
919.44/230.44	c lits-rem:      1267  cl-subs:     7369  v-elim:      0  v-fix:    0  time: 24.39 s
919.44/230.44	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
919.44/230.45	c vivif2 --  cl tried    59395 cl shrink        0 lits rem          0 time: 0.04
919.44/230.45	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
919.44/230.45	c calculated reachability. Time: 0.00
919.44/230.45	c  N dy  3305   1210259       267         0         0     59395       803    942825     18.54   no data  --
943.82/236.60	c  N dy  3400   1232321       267         0         0     80241       803   1484651     18.55     19.57  --
967.73/242.55	c  N dy  3508   1253525       267         0         0     55245       803    805037     18.56     19.57  --
988.08/247.65	c  N dy  3590   1273546       267         0         0     74169       803   1302615     18.56     19.68  --
1013.23/253.92	c  N dy  3659   1295121       267         0         0     48345       803    603857     18.56     19.55  --
1031.20/258.50	c  N dy  3759   1315154       267         0         0     67213       803   1093234     18.57     19.63  --
1055.52/264.55	c  N dy  3844   1338268       267         0         0     88961       803   1660582     18.58     19.64  --
1074.69/269.34	c  N dy  3930   1358276       267         0         0     60752       803    910053     18.58     21.54  --
1096.63/274.90	c  N dy  4019   1378853       267         0         0     80034       803   1408077     18.59     19.60  --
1124.97/281.91	c  N dy  4125   1399050       267         0         0     51117       803    645757     18.59     19.69  --
1147.72/287.67	c  N dy  4242   1419449       267         0         0     70512       803   1158581     18.61     19.59  --
1172.86/293.93	c  N dy  4339   1439531       267         0         0     89406       803   1655973     18.61     19.62  --
1193.63/299.11	c  N dy  4392   1459746       267         0         0     59341       803    845500     18.60     19.62  --
1214.76/304.43	c  N dy  4460   1480024       267         0         0     78368       803   1332398     18.60     19.59  --
1238.70/310.45	c  N dy  4518   1501179       267         0         0     98327       803   1862309     18.60     19.60  --
1259.47/315.67	c  N dy  4612   1521818       267         0         0     67882       803   1061413     18.61     19.63  --
1282.20/321.32	c  N dy  4706   1542568       267         0         0     87415       803   1577624     18.62     19.60  --
1312.92/329.02	c  N dy  4788   1563440       267         0         0     56153       803    731738     18.62     19.63  --
1337.68/335.28	c  N dy  4859   1586348       267         0         0     77670       803   1283919     18.62     19.65  --
1370.80/343.57	c  N dy  4955   1610700       267         0         0    100554       803   1878657     18.63     19.80  --
1397.53/350.20	c  N dy  5076   1632613       267         0         0     69478       803   1071501     18.64     19.66  --
1428.67/358.06	c  N dy  5183   1657398       267         0         0     92673       803   1663642     18.65     19.69  --
1457.80/365.38	c  N dy  5288   1677513       267         0         0     58975       803    783711     18.65     19.70  --
1480.14/370.97	c  N dy  5396   1697616       267         0         0     77878       803   1278531     18.66     19.68  --
1494.50/374.51	c  S st  5429   1710260       267         0         0     89827       803   1587873     18.66   no data  --
1496.52/375.03	c  S st  5429   1710761       267         0         0     90315       803   1602034     18.66   no data  --
1496.52/375.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1496.52/375.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1496.52/375.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
1496.94/375.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1496.94/375.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1496.94/375.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
1496.94/375.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1564.34/392.02	c lits-rem:      5257  cl-subs:    10135  v-elim:      0  v-fix:    0  time: 67.41 s
1564.34/392.02	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
1564.34/392.03	c vivif2 --  cl tried    80180 cl shrink        0 lits rem          0 time: 0.06
1564.34/392.03	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
1564.34/392.04	c calculated reachability. Time: 0.00
1564.34/392.04	c  N dy  5429   1710761       267         0         0     80180       803   1391900     18.66   no data  --
1591.48/398.83	c  N dy  5516   1730847       267         0         0     98981       803   1882328     18.66     21.08  --
1619.02/405.70	c  N dy  5629   1750898       267         0         0     64599       803    928080     18.67     21.27  --
1656.13/415.05	c  N dy  5676   1786310       267         0         0     97404       803   1750793     18.65     19.68  --
1687.26/422.83	c  N dy  5759   1806346       267         0         0     62075       803    845479     18.65     20.36  --
1709.21/428.35	c  N dy  5829   1826695       267         0         0     81196       803   1337859     18.65     19.75  --
1738.75/435.73	c  N dy  5921   1846978       267         0         0    100229       803   1827561     18.66     19.69  --
1765.88/442.57	c  N dy  5992   1867544       267         0         0     64279       803    881996     18.65     19.85  --
1786.25/447.70	c  N dy  6056   1888057       267         0         0     83651       803   1395894     18.65     19.66  --
1817.39/455.42	c  N dy  6157   1908104       267         0         0    102558       803   1891266     18.66     20.93  --
1844.90/462.37	c  N dy  6243   1928203       267         0         0     65051       803    893306     18.66     22.07  --
1871.64/469.07	c  N dy  6321   1948391       267         0         0     83891       803   1381649     18.66     19.71  --
1906.75/477.88	c  N dy  6417   1968943       267         0         0    103172       803   1885424     18.67     19.75  --
1942.26/486.71	c  N dy  6499   1989294       267         0         0     65058       803    874705     18.67     19.80  --
1965.02/492.46	c  N dy  6583   2009298       267         0         0     83822       803   1359812     18.68     20.06  --
1992.57/499.33	c  N dy  6652   2030329       267         0         0    103607       803   1876089     18.68     19.70  --
2022.08/506.79	c  N dy  6712   2050598       267         0         0     64395       803    837943     18.68     19.90  --
2046.83/512.93	c  N dy  6801   2070684       267         0         0     83245       803   1325219     18.68     20.19  --
2072.01/519.23	c  N dy  6870   2090685       267         0         0    101961       803   1816627     18.68     21.18  --
2111.10/529.11	c  N dy  6974   2113319       267         0         0     64201       803    827478     18.69     19.69  --
2140.21/536.36	c  N dy  7072   2136255       267         0         0     85735       803   1387501     18.69     19.81  --
2175.73/545.28	c  N dy  7189   2157802       267         0         0    106111       803   1929391     18.70     19.69  --
2207.68/553.30	c  N dy  7271   2177808       267         0         0     64763       803    831984     18.70     20.51  --
2228.81/558.52	c  N dy  7312   2197849       267         0         0     83675       803   1304327     18.70     19.72  --
2246.77/563.08	c  S st  7352   2210762       267         0         0     95841       803   1609577     18.70   no data  --
2248.76/563.59	c  S st  7352   2211264       267         0         0     96320       803   1622822     18.70   no data  --
2249.16/563.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2249.16/563.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2249.16/563.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
2249.16/563.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2249.16/563.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2249.16/563.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
2249.16/563.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2308.22/578.50	c lits-rem:      1423  cl-subs:    11278  v-elim:      0  v-fix:    0  time: 59.11 s
2308.22/578.50	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
2308.63/578.52	c vivif2 --  cl tried    85042 cl shrink        0 lits rem          0 time: 0.07
2308.63/578.52	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
2308.63/578.52	c calculated reachability. Time: 0.00
2308.63/578.52	c  N dy  7352   2211264       267         0         0     85042       803   1393858     18.70   no data  --
2338.55/586.00	c  N dy  7376   2238068       267         0         0    109812       803   1997310     18.68     19.90  --
2373.68/594.83	c  N dy  7465   2262549       267         0         0     72172       803   1014881     18.68     19.69  --
2398.82/601.15	c  N dy  7567   2282564       267         0         0     90987       803   1506160     18.68     21.76  --
2431.14/609.22	c  N dy  7643   2303951       267         0         0    111134       803   2026356     18.69     19.69  --
2461.87/616.98	c  N dy  7678   2324550       267         0         0     68557       803    901987     18.68     19.67  --
2483.82/622.46	c  N dy  7747   2344662       267         0         0     87428       803   1390896     18.68     19.68  --
2508.96/628.75	c  N dy  7793   2365298       267         0         0    106500       803   1858386     18.66     19.66  --
2546.11/638.10	c  N dy  7859   2385564       267         0         0     62920       803    749273     18.66     19.67  --
2570.42/644.14	c  N dy  7946   2406613       267         0         0     82632       803   1261856     18.67     19.73  --
2597.96/651.04	c  N dy  8032   2426778       267         0         0    101528       803   1754291     18.67     19.76  --
2636.27/660.66	c  N dy  8118   2446913       267         0         0    120481       803   2246059     18.67     19.68  --
2672.18/669.60	c  N dy  8217   2466951       267         0         0     75737       803   1067687     18.68     19.70  --
2700.12/676.68	c  N dy  8314   2487597       267         0         0     95167       803   1582050     18.68     19.79  --
2735.63/685.54	c  N dy  8371   2512370       267         0         0    118273       803   2167742     18.68     19.68  --
2767.56/693.56	c  N dy  8433   2532405       267         0         0     72401       803    965544     18.68     20.59  --
2796.69/700.88	c  N dy  8545   2553199       267         0         0     91944       803   1475289     18.68     19.69  --
2830.22/709.29	c  N dy  8663   2573275       267         0         0    110775       803   1969071     18.69     19.72  --
2866.57/718.34	c  N dy  8765   2593296       267         0         0    129614       803   2460189     18.70     20.95  --
2894.87/725.46	c  N dy  8896   2613299       267         0         0     82758       803   1230899     18.71     19.83  --
2922.81/732.49	c  N dy  8980   2633640       267         0         0    101951       803   1744805     18.71     19.73  --
2955.53/740.67	c  N dy  9054   2654622       267         0         0    121673       803   2265776     18.71     19.73  --
2995.44/750.65	c  N dy  9084   2680859       267         0         0     79234       803   1097386     18.70     19.75  --
3028.15/758.87	c  N dy  9129   2704187       267         0         0    101281       803   1671399     18.69     19.71  --
3040.92/762.06	c  S st  9156   2711265       267         0         0    107947       803   1842899     18.69     18.66  --
3043.72/762.79	c  S st  9156   2711766       267         0         0    108429       803   1857000     18.69   no data  --
3044.12/762.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3044.12/762.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3044.12/762.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.25
3044.52/762.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3044.52/762.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3044.52/762.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
3044.52/762.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3139.10/786.66	c lits-rem:      2574  cl-subs:    12118  v-elim:      0  v-fix:    0  time: 94.68 s
3139.10/786.66	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
3139.10/786.68	c vivif2 --  cl tried    96311 cl shrink        0 lits rem          0 time: 0.08
3139.10/786.68	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
3139.10/786.68	c calculated reachability. Time: 0.00
3139.10/786.68	c  N dy  9156   2711766       267         0         0     96311       803   1609982     18.69   no data  --
3174.22/795.42	c  N dy  9218   2733519       267         0         0    116708       803   2139465     18.69     19.74  --
3211.73/804.85	c  N dy  9309   2753551       267         0         0     68340       803    831607     18.70     19.73  --
3235.31/810.76	c  N dy  9372   2774851       267         0         0     88292       803   1342550     18.70     19.68  --
3264.40/818.09	c  N dy  9443   2795816       267         0         0    107966       803   1857350     18.69     19.85  --
3305.91/828.41	c  N dy  9551   2819311       267         0         0    130008       803   2430759     18.70     19.70  --
3338.64/836.67	c  N dy  9627   2843474       267         0         0     84289       803   1210778     18.70     19.87  --
3367.00/843.71	c  N dy  9712   2863782       267         0         0    103374       803   1710034     18.70     19.77  --
3402.48/852.64	c  N dy  9776   2885641       267         0         0    123752       803   2236288     18.70     19.70  --
3449.58/864.49	c  N dy  9868   2913045       267         0         0     80152       803   1097501     18.69     19.69  --
3481.50/872.48	c  N dy  9935   2933051       267         0         0     98876       803   1575966     18.69     19.75  --
3543.36/887.98	c  N dy 10014   2967049       267         0         0    130314       803   2379248     18.69     19.82  --
3581.69/897.54	c  N dy 10096   2987142       267         0         0     79345       803   1083490     18.69     19.69  --
3611.60/905.06	c  N dy 10175   3007158       267         0         0     98201       803   1577486     18.69     19.69  --
3647.54/914.07	c  N dy 10259   3028367       267         0         0    118196       803   2101787     18.69     19.75  --
3688.62/924.32	c  N dy 10357   3048951       267         0         0    137524       803   2608703     18.70     19.97  --
3726.14/933.78	c  N dy 10437   3074199       267         0         0     89941       803   1320117     18.69     19.68  --
3758.06/941.77	c  N dy 10560   3094665       267         0         0    109214       803   1829957     18.70     19.73  --
3792.40/950.36	c  N dy 10622   3114685       267         0         0    128001       803   2311729     18.70     20.12  --
3833.09/960.51	c  N dy 10683   3136190       267         0         0     75767       803    953669     18.70     19.76  --
3870.21/969.81	c  N dy 10766   3165917       267         0         0    103688       803   1674766     18.69     19.86  --
3916.89/981.58	c  N dy 10795   3193476       267         0         0    129879       803   2373048     18.68     19.86  --
3959.21/992.13	c  S st 10903   3211766       267         0         0     73796       803    887586     18.68   no data  --
3960.39/992.46	c  S st 10903   3212270       267         0         0     74283       803    901619     18.68   no data  --
3960.39/992.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3960.39/992.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3960.79/992.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
3960.79/992.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3960.79/992.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3960.79/992.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
3960.79/992.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3979.95/997.35	c lits-rem:       465  cl-subs:     1349  v-elim:      0  v-fix:    0  time: 19.25 s
3979.95/997.35	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
3979.95/997.36	c vivif2 --  cl tried    72934 cl shrink        0 lits rem          0 time: 0.05
3979.95/997.36	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
3979.95/997.36	c calculated reachability. Time: 0.00
3979.95/997.36	c  N dy 10903   3212270       267         0         0     72934       803    885130     18.68   no data  --
4009.08/1004.63	c  N dy 10966   3234312       267         0         0     93666       803   1428639     18.68     19.72  --
4044.60/1013.57	c  N dy 11060   3256417       267         0         0    114399       803   1968723     18.68     19.70  --
4082.55/1023.09	c  N dy 11135   3276469       267         0         0    133182       803   2453864     18.68     19.68  --
4121.23/1032.80	c  N dy 11198   3296476       267         0         0     77787       803    980043     18.68     19.67  --
4148.39/1039.58	c  N dy 11295   3316487       267         0         0     96608       803   1475451     18.69     21.25  --
4181.89/1047.96	c  N dy 11378   3336567       267         0         0    115618       803   1964348     18.69     20.93  --
4216.60/1056.67	c  N dy 11454   3356678       267         0         0    134553       803   2452300     18.69     19.68  --
4251.33/1065.31	c  N dy 11477   3376774       267         0         0     78108       803    974380     18.68     20.90  --
4278.46/1072.10	c  N dy 11534   3397601       267         0         0     97780       803   1486970     18.68     19.68  --
4309.99/1080.06	c  N dy 11615   3417618       267         0         0    116619       803   1978173     18.68     19.85  --
4339.92/1087.54	c  N dy 11651   3437918       267         0         0    135630       803   2472479     18.67     19.68  --
4381.06/1097.84	c  N dy 11716   3458033       267         0         0     78235       803    968031     18.67     19.81  --
4410.16/1105.10	c  N dy 11787   3478053       267         0         0     97176       803   1469300     18.67     19.67  --
4444.07/1113.63	c  N dy 11871   3498057       267         0         0    115919       803   1963810     18.68     20.63  --
4480.79/1122.87	c  N dy 11952   3518085       267         0         0    134796       803   2463209     18.68     19.69  --
4530.67/1135.33	c  N dy 12053   3538883       267         0         0     77301       803    928791     18.68     19.72  --
4561.80/1143.16	c  N dy 12157   3558934       267         0         0     96194       803   1424116     18.69     21.22  --
4595.74/1151.65	c  N dy 12259   3578985       267         0         0    115028       803   1914843     18.69     20.19  --
4633.23/1161.00	c  N dy 12365   3599050       267         0         0    133925       803   2416156     18.69     19.81  --
4680.72/1172.98	c  N dy 12483   3619699       267         0         0    153375       803   2927230     18.70     19.71  --
4716.24/1181.88	c  N dy 12586   3639746       267         0         0     94104       803   1351454     18.70     19.75  --
4749.80/1190.28	c  N dy 12659   3662068       267         0         0    115184       803   1908403     18.71     19.93  --
4783.29/1198.67	c  N dy 12711   3682095       267         0         0    133857       803   2386999     18.70     19.89  --

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-3369263-1305416570/watcher-3369263-1305416570 -o /tmp/evaluation-result-3369263-1305416570/solver-3369263-1305416570 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369263-1305416570.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: 7.53 7.88 7.87 5/298 22048
/proc/meminfo: memFree=27265644/32951124 swapFree=63649232/67111528
[pid=22048] ppid=22046 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/22048/stat : 22048 (strangenight1-m) R 22046 22048 21663 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 653255472 52465664 353 33554432000 4194304 4650419 140737059661040 18446744073709551615 47733149349810 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22048/statm: 12809 353 303 112 0 7774 0
[pid=22048/tid=22049] ppid=22046 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/22048/task/22049/stat : 22049 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 653255472 52465664 353 33554432000 4194304 4650419 140737059661040 18446744073709551615 210204703729 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22048/tid=22050] ppid=22046 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/22048/task/22050/stat : 22050 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 653255472 52465664 353 33554432000 4194304 4650419 140737059661040 18446744073709551615 47733149349814 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22048/tid=22051] ppid=22046 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/22048/task/22051/stat : 22051 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653255472 52465664 353 33554432000 4194304 4650419 140737059661040 18446744073709551615 47733149349810 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.061881 s]
/proc/loadavg: 7.53 7.88 7.87 5/298 22048
/proc/meminfo: memFree=27265644/32951124 swapFree=63649232/67111528
[pid=22048] ppid=22046 vsize=282168 CPUtime=0.22 cores=0,2,4,6
/proc/22048/stat : 22048 (strangenight1-m) R 22046 22048 21663 0 -1 4202496 1298 0 0 0 22 0 0 0 25 0 4 0 653255472 288940032 1183 33554432000 4194304 4650419 140737059661040 18446744073709551615 4334251 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22048/statm: 70542 1183 392 112 0 65507 0
[pid=22048/tid=22049] ppid=22046 vsize=282168 CPUtime=0.04 cores=0,2,4,6
/proc/22048/task/22049/stat : 22049 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 219 0 0 0 4 0 0 0 25 0 4 0 653255472 288940032 1183 33554432000 4194304 4650419 140737059661040 18446744073709551615 4314865 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22048/tid=22050] ppid=22046 vsize=282168 CPUtime=0.05 cores=0,2,4,6
/proc/22048/task/22050/stat : 22050 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 247 0 0 0 5 0 0 0 25 0 4 0 653255472 288940032 1183 33554432000 4194304 4650419 140737059661040 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22048/tid=22051] ppid=22046 vsize=282168 CPUtime=0.05 cores=0,2,4,6
/proc/22048/task/22051/stat : 22051 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 164 0 0 0 5 0 0 0 25 0 4 0 653255472 288940032 1183 33554432000 4194304 4650419 140737059661040 18446744073709551615 4315228 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 282168

[startup+0.151679 s]
/proc/loadavg: 7.53 7.88 7.87 5/298 22048
/proc/meminfo: memFree=27265644/32951124 swapFree=63649232/67111528
[pid=22048] ppid=22046 vsize=282524 CPUtime=0.57 cores=0,2,4,6
/proc/22048/stat : 22048 (strangenight1-m) R 22046 22048 21663 0 -1 4202496 1813 0 0 0 57 0 0 0 25 0 4 0 653255472 289304576 1551 33554432000 4194304 4650419 140737059661040 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22048/statm: 70631 1551 394 112 0 65596 0
[pid=22048/tid=22049] ppid=22046 vsize=282524 CPUtime=0.13 cores=0,2,4,6
/proc/22048/task/22049/stat : 22049 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 334 0 0 0 13 0 0 0 25 0 4 0 653255472 289304576 1551 33554432000 4194304 4650419 140737059661040 18446744073709551615 210204690522 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22048/tid=22050] ppid=22046 vsize=282524 CPUtime=0.14 cores=0,2,4,6
/proc/22048/task/22050/stat : 22050 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 359 0 0 0 14 0 0 0 25 0 4 0 653255472 289304576 1551 33554432000 4194304 4650419 140737059661040 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22048/tid=22051] ppid=22046 vsize=282524 CPUtime=0.14 cores=0,2,4,6
/proc/22048/task/22051/stat : 22051 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 273 0 0 0 14 0 0 0 25 0 4 0 653255472 289304576 1551 33554432000 4194304 4650419 140737059661040 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 282524

[startup+0.300842 s]
/proc/loadavg: 7.53 7.88 7.87 5/298 22048
/proc/meminfo: memFree=27265644/32951124 swapFree=63649232/67111528
[pid=22048] ppid=22046 vsize=283508 CPUtime=1.17 cores=0,2,4,6
/proc/22048/stat : 22048 (strangenight1-m) R 22046 22048 21663 0 -1 4202496 2627 0 0 0 117 0 0 0 25 0 4 0 653255472 290312192 1883 33554432000 4194304 4650419 140737059661040 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22048/statm: 70877 1883 394 112 0 65842 0
[pid=22048/tid=22049] ppid=22046 vsize=283508 CPUtime=0.28 cores=0,2,4,6
/proc/22048/task/22049/stat : 22049 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 542 0 0 0 28 0 0 0 25 0 4 0 653255472 290312192 1883 33554432000 4194304 4650419 140737059661040 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22048/tid=22050] ppid=22046 vsize=283508 CPUtime=0.29 cores=0,2,4,6
/proc/22048/task/22050/stat : 22050 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 590 0 0 0 29 0 0 0 25 0 4 0 653255472 290312192 1883 33554432000 4194304 4650419 140737059661040 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22048/tid=22051] ppid=22046 vsize=283508 CPUtime=0.29 cores=0,2,4,6
/proc/22048/task/22051/stat : 22051 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 500 0 0 0 29 0 0 0 25 0 4 0 653255472 290312192 1883 33554432000 4194304 4650419 140737059661040 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283508

[startup+0.700776 s]
/proc/loadavg: 7.53 7.88 7.87 5/298 22048
/proc/meminfo: memFree=27265644/32951124 swapFree=63649232/67111528
[pid=22048] ppid=22046 vsize=284760 CPUtime=2.77 cores=0,2,4,6
/proc/22048/stat : 22048 (strangenight1-m) R 22046 22048 21663 0 -1 4202496 4577 0 0 0 277 0 0 0 25 0 4 0 653255472 291594240 2342 33554432000 4194304 4650419 140737059661040 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22048/statm: 71190 2342 394 112 0 66155 0
[pid=22048/tid=22049] ppid=22046 vsize=284760 CPUtime=0.68 cores=0,2,4,6
/proc/22048/task/22049/stat : 22049 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 923 0 0 0 68 0 0 0 25 0 4 0 653255472 291594240 2343 33554432000 4194304 4650419 140737059661040 18446744073709551615 4329338 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22048/tid=22050] ppid=22046 vsize=284760 CPUtime=0.69 cores=0,2,4,6
/proc/22048/task/22050/stat : 22050 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 1141 0 0 0 69 0 0 0 25 0 4 0 653255472 291594240 2343 33554432000 4194304 4650419 140737059661040 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22048/tid=22051] ppid=22046 vsize=284760 CPUtime=0.69 cores=0,2,4,6
/proc/22048/task/22051/stat : 22051 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 953 0 0 0 69 0 0 0 25 0 4 0 653255472 291594240 2343 33554432000 4194304 4650419 140737059661040 18446744073709551615 4336148 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284760

[startup+1.50064 s]
/proc/loadavg: 7.53 7.88 7.87 9/302 22052
/proc/meminfo: memFree=27251352/32951124 swapFree=63649232/67111528
[pid=22048] ppid=22046 vsize=285640 CPUtime=5.96 cores=0,2,4,6
/proc/22048/stat : 22048 (strangenight1-m) R 22046 22048 21663 0 -1 4202496 8647 0 0 0 595 1 0 0 25 0 4 0 653255472 292495360 4456 33554432000 4194304 4650419 140737059661040 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22048/statm: 71410 4456 395 112 0 66375 0
[pid=22048/tid=22049] ppid=22046 vsize=285640 CPUtime=1.47 cores=0,2,4,6
/proc/22048/task/22049/stat : 22049 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 1718 0 0 0 147 0 0 0 25 0 4 0 653255472 292495360 4456 33554432000 4194304 4650419 140737059661040 18446744073709551615 4331155 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22048/tid=22050] ppid=22046 vsize=285640 CPUtime=1.49 cores=0,2,4,6
/proc/22048/task/22050/stat : 22050 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 1759 0 0 0 149 0 0 0 25 0 4 0 653255472 292495360 4456 33554432000 4194304 4650419 140737059661040 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22048/tid=22051] ppid=22046 vsize=285640 CPUtime=1.49 cores=0,2,4,6
/proc/22048/task/22051/stat : 22051 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 1751 0 0 0 149 0 0 0 25 0 4 0 653255472 292495360 4456 33554432000 4194304 4650419 140737059661040 18446744073709551615 4315156 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 285640

[startup+3.10038 s]
/proc/loadavg: 7.57 7.88 7.87 9/302 22053
/proc/meminfo: memFree=27234732/32951124 swapFree=63649232/67111528
[pid=22048] ppid=22046 vsize=294580 CPUtime=12.35 cores=0,2,4,6
/proc/22048/stat : 22048 (strangenight1-m) R 22046 22048 21663 0 -1 4202496 16856 0 0 0 1233 2 0 0 25 0 4 0 653255472 301649920 9479 33554432000 4194304 4650419 140737059661040 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22048/statm: 73645 9479 395 112 0 68610 0
[pid=22048/tid=22049] ppid=22046 vsize=294580 CPUtime=3.06 cores=0,2,4,6
/proc/22048/task/22049/stat : 22049 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 3744 0 0 0 306 0 0 0 25 0 4 0 653255472 301649920 9479 33554432000 4194304 4650419 140737059661040 18446744073709551615 4333011 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22048/tid=22050] ppid=22046 vsize=294580 CPUtime=3.08 cores=0,2,4,6
/proc/22048/task/22050/stat : 22050 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 4246 0 0 0 308 0 0 0 25 0 4 0 653255472 301649920 9479 33554432000 4194304 4650419 140737059661040 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22048/tid=22051] ppid=22046 vsize=294580 CPUtime=3.09 cores=0,2,4,6
/proc/22048/task/22051/stat : 22051 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 4384 0 0 0 309 0 0 0 25 0 4 0 653255472 301649920 9479 33554432000 4194304 4650419 140737059661040 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 294580

[startup+6.30084 s]
/proc/loadavg: 7.57 7.88 7.87 9/302 22053
/proc/meminfo: memFree=27211572/32951124 swapFree=63649232/67111528
[pid=22048] ppid=22046 vsize=295420 CPUtime=25.12 cores=0,2,4,6
/proc/22048/stat : 22048 (strangenight1-m) R 22046 22048 21663 0 -1 4202496 24062 0 0 0 2509 3 0 0 25 0 4 0 653255472 302510080 11564 33554432000 4194304 4650419 140737059661040 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22048/statm: 73855 11564 395 112 0 68820 0
[pid=22048/tid=22049] ppid=22046 vsize=295420 CPUtime=6.23 cores=0,2,4,6
/proc/22048/task/22049/stat : 22049 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 5734 0 0 0 623 0 0 0 25 0 4 0 653255472 302510080 11564 33554432000 4194304 4650419 140737059661040 18446744073709551615 4313319 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22048/tid=22050] ppid=22046 vsize=295420 CPUtime=6.28 cores=0,2,4,6
/proc/22048/task/22050/stat : 22050 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 5845 0 0 0 628 0 0 0 25 0 4 0 653255472 302510080 11564 33554432000 4194304 4650419 140737059661040 18446744073709551615 4334297 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22048/tid=22051] ppid=22046 vsize=295420 CPUtime=6.28 cores=0,2,4,6
/proc/22048/task/22051/stat : 22051 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 6030 0 0 0 628 0 0 0 25 0 4 0 653255472 302510080 11564 33554432000 4194304 4650419 140737059661040 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 295420

[startup+12.7008 s]
/proc/loadavg: 7.63 7.89 7.87 9/302 22053
/proc/meminfo: memFree=27207392/32951124 swapFree=63649232/67111528
[pid=22048] ppid=22046 vsize=300680 CPUtime=50.66 cores=0,2,4,6
/proc/22048/stat : 22048 (strangenight1-m) R 22046 22048 21663 0 -1 4202496 37065 0 0 0 5060 6 0 0 25 0 4 0 653255472 307896320 16313 33554432000 4194304 4650419 140737059661040 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22048/statm: 75170 16313 395 112 0 70135 0
[pid=22048/tid=22049] ppid=22046 vsize=300680 CPUtime=12.56 cores=0,2,4,6
/proc/22048/task/22049/stat : 22049 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 8973 0 0 0 1255 1 0 0 25 0 4 0 653255472 307896320 16313 33554432000 4194304 4650419 140737059661040 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22048/tid=22050] ppid=22046 vsize=300680 CPUtime=12.69 cores=0,2,4,6
/proc/22048/task/22050/stat : 22050 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 8748 0 0 0 1267 2 0 0 25 0 4 0 653255472 307896320 16313 33554432000 4194304 4650419 140737059661040 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22048/tid=22051] ppid=22046 vsize=300680 CPUtime=12.69 cores=0,2,4,6
/proc/22048/task/22051/stat : 22051 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 9451 0 0 0 1268 1 0 0 25 0 4 0 653255472 307896320 16313 33554432000 4194304 4650419 140737059661040 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 300680

[startup+25.5006 s]
/proc/loadavg: 7.69 7.89 7.87 9/302 22053
/proc/meminfo: memFree=27171796/32951124 swapFree=63649232/67111528
[pid=22048] ppid=22046 vsize=298316 CPUtime=101.74 cores=0,2,4,6
/proc/22048/stat : 22048 (strangenight1-m) R 22046 22048 21663 0 -1 4202496 56884 0 0 0 10164 10 0 0 25 0 4 0 653255472 305475584 21328 33554432000 4194304 4650419 140737059661040 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22048/statm: 74579 21328 395 112 0 69544 0
[pid=22048/tid=22049] ppid=22046 vsize=298316 CPUtime=25.24 cores=0,2,4,6
/proc/22048/task/22049/stat : 22049 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 14647 0 0 0 2522 2 0 0 25 0 4 0 653255472 305475584 21328 33554432000 4194304 4650419 140737059661040 18446744073709551615 4366174 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22048/tid=22050] ppid=22046 vsize=298316 CPUtime=25.48 cores=0,2,4,6
/proc/22048/task/22050/stat : 22050 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 14107 0 0 0 2545 3 0 0 25 0 4 0 653255472 305475584 21328 33554432000 4194304 4650419 140737059661040 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22048/tid=22051] ppid=22046 vsize=298316 CPUtime=25.48 cores=0,2,4,6
/proc/22048/task/22051/stat : 22051 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 12732 0 0 0 2547 1 0 0 25 0 4 0 653255472 305475584 21328 33554432000 4194304 4650419 140737059661040 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 298316

[startup+51.1004 s]
/proc/loadavg: 7.94 7.93 7.88 9/302 22054
/proc/meminfo: memFree=27168120/32951124 swapFree=63649232/67111528
[pid=22048] ppid=22046 vsize=284524 CPUtime=203.9 cores=0,2,4,6
/proc/22048/stat : 22048 (strangenight1-m) R 22046 22048 21663 0 -1 4202496 88848 0 0 0 20374 16 0 0 25 0 4 0 653255472 291352576 27402 33554432000 4194304 4650419 140737059661040 18446744073709551615 4331301 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22048/statm: 71131 27402 395 112 0 66096 0
[pid=22048/tid=22049] ppid=22046 vsize=284524 CPUtime=50.62 cores=0,2,4,6
/proc/22048/task/22049/stat : 22049 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 24405 0 0 0 5058 4 0 0 25 0 4 0 653255472 291352576 27402 33554432000 4194304 4650419 140737059661040 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22048/tid=22050] ppid=22046 vsize=284524 CPUtime=51.08 cores=0,2,4,6
/proc/22048/task/22050/stat : 22050 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 23189 0 0 0 5103 5 0 0 25 0 4 0 653255472 291352576 27402 33554432000 4194304 4650419 140737059661040 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22048/tid=22051] ppid=22046 vsize=284524 CPUtime=51.07 cores=0,2,4,6
/proc/22048/task/22051/stat : 22051 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 17085 0 0 0 5105 2 0 0 25 0 4 0 653255472 291352576 27402 33554432000 4194304 4650419 140737059661040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 284524

[startup+102.311 s]
/proc/loadavg: 8.11 7.97 7.90 9/302 22055
/proc/meminfo: memFree=27072480/32951124 swapFree=63649232/67111528
[pid=22048] ppid=22046 vsize=286776 CPUtime=408.27 cores=0,2,4,6
/proc/22048/stat : 22048 (strangenight1-m) R 22046 22048 21663 0 -1 4202496 132986 0 0 0 40799 28 0 0 25 0 4 0 653255472 293658624 36379 33554432000 4194304 4650419 140737059661040 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22048/statm: 71694 36379 395 112 0 66659 0
[pid=22048/tid=22049] ppid=22046 vsize=286776 CPUtime=101.36 cores=0,2,4,6
/proc/22048/task/22049/stat : 22049 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 37923 0 0 0 10129 7 0 0 25 0 4 0 653255472 293658624 36379 33554432000 4194304 4650419 140737059661040 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22048/tid=22050] ppid=22046 vsize=286776 CPUtime=102.3 cores=0,2,4,6
/proc/22048/task/22050/stat : 22050 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 37469 0 0 0 10220 10 0 0 25 0 4 0 653255472 293658624 36379 33554432000 4194304 4650419 140737059661040 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22048/tid=22051] ppid=22046 vsize=286776 CPUtime=102.27 cores=0,2,4,6
/proc/22048/task/22051/stat : 22051 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 24960 0 0 0 10223 4 0 0 25 0 4 0 653255472 293658624 36379 33554432000 4194304 4650419 140737059661040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.27
Current children cumulated vsize (KiB) 286776

[startup+162.301 s]

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

[pid=22048] ppid=22046 vsize=517848 CPUtime=2563.25 cores=0,2,4,6
/proc/22048/stat : 22048 (strangenight1-m) R 22046 22048 21663 0 -1 4202496 359669 0 0 0 256220 105 0 0 25 0 4 0 653255472 530276352 83195 33554432000 4194304 4650419 140737059661040 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22048/statm: 129462 83195 395 112 0 124427 0
[pid=22048/tid=22049] ppid=22046 vsize=517848 CPUtime=636.45 cores=0,2,4,6
/proc/22048/task/22049/stat : 22049 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 89220 0 0 0 63621 24 0 0 25 0 4 0 653255472 530276352 83196 33554432000 4194304 4650419 140737059661040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22048/tid=22050] ppid=22046 vsize=517848 CPUtime=642.31 cores=0,2,4,6
/proc/22048/task/22050/stat : 22050 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 109598 0 0 0 64196 35 0 0 25 0 4 0 653255472 530276352 83196 33554432000 4194304 4650419 140737059661040 18446744073709551615 4331839 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22048/tid=22051] ppid=22046 vsize=517848 CPUtime=642.19 cores=0,2,4,6
/proc/22048/task/22051/stat : 22051 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 74429 0 0 0 64195 24 0 0 25 0 4 0 653255472 530276352 83196 33554432000 4194304 4650419 140737059661040 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2563.25
Current children cumulated vsize (KiB) 517848

[startup+702.301 s]
/proc/loadavg: 8.11 8.08 7.97 9/302 22071
/proc/meminfo: memFree=26722732/32951124 swapFree=63649232/67111528
[pid=22048] ppid=22046 vsize=517992 CPUtime=2802.69 cores=0,2,4,6
/proc/22048/stat : 22048 (strangenight1-m) R 22046 22048 21663 0 -1 4202496 375343 0 0 0 280157 112 0 0 25 0 4 0 653255472 530423808 82268 33554432000 4194304 4650419 140737059661040 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22048/statm: 129498 82268 395 112 0 124463 0
[pid=22048/tid=22049] ppid=22046 vsize=517992 CPUtime=695.9 cores=0,2,4,6
/proc/22048/task/22049/stat : 22049 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 92045 0 0 0 69565 25 0 0 25 0 4 0 653255472 530423808 82268 33554432000 4194304 4650419 140737059661040 18446744073709551615 4313440 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22048/tid=22050] ppid=22046 vsize=517992 CPUtime=702.29 cores=0,2,4,6
/proc/22048/task/22050/stat : 22050 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 115254 0 0 0 70192 37 0 0 25 0 4 0 653255472 530423808 82268 33554432000 4194304 4650419 140737059661040 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22048/tid=22051] ppid=22046 vsize=517992 CPUtime=702.17 cores=0,2,4,6
/proc/22048/task/22051/stat : 22051 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 78299 0 0 0 70192 25 0 0 25 0 4 0 653255472 530423808 82268 33554432000 4194304 4650419 140737059661040 18446744073709551615 4366857 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2802.69
Current children cumulated vsize (KiB) 517992

[startup+762.312 s]
/proc/loadavg: 8.18 8.11 7.99 9/302 22073
/proc/meminfo: memFree=26695536/32951124 swapFree=63649232/67111528
[pid=22048] ppid=22046 vsize=518052 CPUtime=3042.17 cores=0,2,4,6
/proc/22048/stat : 22048 (strangenight1-m) R 22046 22048 21663 0 -1 4202496 390547 0 0 0 304097 120 0 0 25 0 4 0 653255472 530485248 78728 33554432000 4194304 4650419 140737059661040 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22048/statm: 129513 78728 395 112 0 124478 0
[pid=22048/tid=22049] ppid=22046 vsize=518052 CPUtime=755.37 cores=0,2,4,6
/proc/22048/task/22049/stat : 22049 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 95554 0 0 0 75510 27 0 0 25 0 4 0 653255472 530485248 78728 33554432000 4194304 4650419 140737059661040 18446744073709551615 4433084 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22048/tid=22050] ppid=22046 vsize=518052 CPUtime=762.31 cores=0,2,4,6
/proc/22048/task/22050/stat : 22050 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 119623 0 0 0 76191 40 0 0 25 0 4 0 653255472 530485248 78728 33554432000 4194304 4650419 140737059661040 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22048/tid=22051] ppid=22046 vsize=518052 CPUtime=762.17 cores=0,2,4,6
/proc/22048/task/22051/stat : 22051 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 81683 0 0 0 76190 27 0 0 25 0 4 0 653255472 530485248 78728 33554432000 4194304 4650419 140737059661040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3042.17
Current children cumulated vsize (KiB) 518052

[startup+822.301 s]
/proc/loadavg: 7.92 8.05 7.98 9/302 22105
/proc/meminfo: memFree=27320636/32951124 swapFree=63649232/67111528
[pid=22048] ppid=22046 vsize=518176 CPUtime=3281.56 cores=0,2,4,6
/proc/22048/stat : 22048 (strangenight1-m) R 22046 22048 21663 0 -1 4202496 407326 0 0 0 328030 126 0 0 25 0 4 0 653255472 530612224 81333 33554432000 4194304 4650419 140737059661040 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22048/statm: 129544 81333 395 112 0 124509 0
[pid=22048/tid=22049] ppid=22046 vsize=518176 CPUtime=814.82 cores=0,2,4,6
/proc/22048/task/22049/stat : 22049 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 100065 0 0 0 81453 29 0 0 25 0 4 0 653255472 530612224 81333 33554432000 4194304 4650419 140737059661040 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22048/tid=22050] ppid=22046 vsize=518176 CPUtime=822.3 cores=0,2,4,6
/proc/22048/task/22050/stat : 22050 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 124963 0 0 0 82188 42 0 0 25 0 4 0 653255472 530612224 81333 33554432000 4194304 4650419 140737059661040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22048/tid=22051] ppid=22046 vsize=518176 CPUtime=822.14 cores=0,2,4,6
/proc/22048/task/22051/stat : 22051 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 84768 0 0 0 82185 29 0 0 25 0 4 0 653255472 530612224 81333 33554432000 4194304 4650419 140737059661040 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3281.56
Current children cumulated vsize (KiB) 518176

[startup+882.301 s]
/proc/loadavg: 8.08 8.07 7.99 9/302 22107
/proc/meminfo: memFree=27210920/32951124 swapFree=63649232/67111528
[pid=22048] ppid=22046 vsize=585992 CPUtime=3521.01 cores=0,2,4,6
/proc/22048/stat : 22048 (strangenight1-m) R 22046 22048 21663 0 -1 4202496 427849 0 0 0 351966 135 0 0 25 0 4 0 653255472 600055808 92903 33554432000 4194304 4650419 140737059661040 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22048/statm: 146498 92903 395 112 0 141463 0
[pid=22048/tid=22049] ppid=22046 vsize=585992 CPUtime=874.26 cores=0,2,4,6
/proc/22048/task/22049/stat : 22049 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 103343 0 0 0 87396 30 0 0 25 0 4 0 653255472 600055808 92903 33554432000 4194304 4650419 140737059661040 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22048/tid=22050] ppid=22046 vsize=585992 CPUtime=882.3 cores=0,2,4,6
/proc/22048/task/22050/stat : 22050 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 130451 0 0 0 88185 45 0 0 25 0 4 0 653255472 600055808 92903 33554432000 4194304 4650419 140737059661040 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22048/tid=22051] ppid=22046 vsize=585992 CPUtime=882.14 cores=0,2,4,6
/proc/22048/task/22051/stat : 22051 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 90562 0 0 0 88182 32 0 0 25 0 4 0 653255472 600055808 92903 33554432000 4194304 4650419 140737059661040 18446744073709551615 4419588 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3521.01
Current children cumulated vsize (KiB) 585992

[startup+942.301 s]
/proc/loadavg: 8.07 8.07 8.00 9/302 22108
/proc/meminfo: memFree=27216220/32951124 swapFree=63649232/67111528
[pid=22048] ppid=22046 vsize=520540 CPUtime=3760.46 cores=0,2,4,6
/proc/22048/stat : 22048 (strangenight1-m) R 22046 22048 21663 0 -1 4202496 439026 0 0 0 375905 141 0 0 25 0 4 0 653255472 533032960 88900 33554432000 4194304 4650419 140737059661040 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22048/statm: 130135 88900 395 112 0 125100 0
[pid=22048/tid=22049] ppid=22046 vsize=520540 CPUtime=933.73 cores=0,2,4,6
/proc/22048/task/22049/stat : 22049 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 106316 0 0 0 93342 31 0 0 25 0 4 0 653255472 533032960 88900 33554432000 4194304 4650419 140737059661040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22048/tid=22050] ppid=22046 vsize=520540 CPUtime=942.29 cores=0,2,4,6
/proc/22048/task/22050/stat : 22050 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 134949 0 0 0 94182 47 0 0 25 0 4 0 653255472 533032960 88900 33554432000 4194304 4650419 140737059661040 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22048/tid=22051] ppid=22046 vsize=520540 CPUtime=942.13 cores=0,2,4,6
/proc/22048/task/22051/stat : 22051 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 91431 0 0 0 94180 33 0 0 25 0 4 0 653255472 533032960 88900 33554432000 4194304 4650419 140737059661040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3760.46
Current children cumulated vsize (KiB) 520540

[startup+1002.3 s]
/proc/loadavg: 8.06 8.07 8.00 9/302 22110
/proc/meminfo: memFree=27189028/32951124 swapFree=63649232/67111528
[pid=22048] ppid=22046 vsize=520664 CPUtime=3999.9 cores=0,2,4,6
/proc/22048/stat : 22048 (strangenight1-m) R 22046 22048 21663 0 -1 4202496 454231 0 0 0 399843 147 0 0 25 0 4 0 653255472 533159936 88597 33554432000 4194304 4650419 140737059661040 18446744073709551615 4364368 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22048/statm: 130166 88597 395 112 0 125131 0
[pid=22048/tid=22049] ppid=22046 vsize=520664 CPUtime=993.18 cores=0,2,4,6
/proc/22048/task/22049/stat : 22049 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 108835 0 0 0 99285 33 0 0 25 0 4 0 653255472 533159936 88597 33554432000 4194304 4650419 140737059661040 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22048/tid=22050] ppid=22046 vsize=520664 CPUtime=1002.3 cores=0,2,4,6
/proc/22048/task/22050/stat : 22050 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 140488 0 0 0 100181 49 0 0 25 0 4 0 653255472 533159936 88597 33554432000 4194304 4650419 140737059661040 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22048/tid=22051] ppid=22046 vsize=520664 CPUtime=1002.12 cores=0,2,4,6
/proc/22048/task/22051/stat : 22051 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 94433 0 0 0 100178 34 0 0 25 0 4 0 653255472 533159936 88597 33554432000 4194304 4650419 140737059661040 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3999.9
Current children cumulated vsize (KiB) 520664

[startup+1062.3 s]
/proc/loadavg: 8.12 8.08 8.01 9/302 22112
/proc/meminfo: memFree=27172376/32951124 swapFree=63649232/67111528
[pid=22048] ppid=22046 vsize=534160 CPUtime=4239.35 cores=0,2,4,6
/proc/22048/stat : 22048 (strangenight1-m) R 22046 22048 21663 0 -1 4202496 466617 0 0 0 423782 153 0 0 25 0 4 0 653255472 546979840 88499 33554432000 4194304 4650419 140737059661040 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22048/statm: 133540 88499 395 112 0 128505 0
[pid=22048/tid=22049] ppid=22046 vsize=534160 CPUtime=1052.64 cores=0,2,4,6
/proc/22048/task/22049/stat : 22049 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 110695 0 0 0 105230 34 0 0 25 0 4 0 653255472 546979840 88499 33554432000 4194304 4650419 140737059661040 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22048/tid=22050] ppid=22046 vsize=534160 CPUtime=1062.3 cores=0,2,4,6
/proc/22048/task/22050/stat : 22050 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 144770 0 0 0 106179 51 0 0 25 0 4 0 653255472 546979840 88499 33554432000 4194304 4650419 140737059661040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22048/tid=22051] ppid=22046 vsize=534160 CPUtime=1062.11 cores=0,2,4,6
/proc/22048/task/22051/stat : 22051 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 97434 0 0 0 106176 35 0 0 25 0 4 0 653255472 546979840 88499 33554432000 4194304 4650419 140737059661040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4239.35
Current children cumulated vsize (KiB) 534160

[startup+1122.3 s]
/proc/loadavg: 8.21 8.11 8.02 9/302 22122
/proc/meminfo: memFree=27157192/32951124 swapFree=63649232/67111528
[pid=22048] ppid=22046 vsize=534388 CPUtime=4478.79 cores=0,2,4,6
/proc/22048/stat : 22048 (strangenight1-m) R 22046 22048 21663 0 -1 4202496 483003 0 0 0 447717 162 0 0 25 0 4 0 653255472 547213312 85833 33554432000 4194304 4650419 140737059661040 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22048/statm: 133597 85833 395 112 0 128562 0
[pid=22048/tid=22049] ppid=22046 vsize=534388 CPUtime=1112.09 cores=0,2,4,6
/proc/22048/task/22049/stat : 22049 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 112542 0 0 0 111174 35 0 0 25 0 4 0 653255472 547213312 85833 33554432000 4194304 4650419 140737059661040 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22048/tid=22050] ppid=22046 vsize=534388 CPUtime=1122.3 cores=0,2,4,6
/proc/22048/task/22050/stat : 22050 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 150154 0 0 0 112175 55 0 0 25 0 4 0 653255472 547213312 85833 33554432000 4194304 4650419 140737059661040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22048/tid=22051] ppid=22046 vsize=534388 CPUtime=1122.09 cores=0,2,4,6
/proc/22048/task/22051/stat : 22051 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 100424 0 0 0 112173 36 0 0 25 0 4 0 653255472 547213312 85833 33554432000 4194304 4650419 140737059661040 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4478.79
Current children cumulated vsize (KiB) 534388

[startup+1182.3 s]
/proc/loadavg: 8.20 8.12 8.02 9/302 22124
/proc/meminfo: memFree=27111264/32951124 swapFree=63649232/67111528
[pid=22048] ppid=22046 vsize=598300 CPUtime=4718.24 cores=0,2,4,6
/proc/22048/stat : 22048 (strangenight1-m) R 22046 22048 21663 0 -1 4202496 498629 0 0 0 471657 167 0 0 25 0 4 0 653255472 612659200 94697 33554432000 4194304 4650419 140737059661040 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22048/statm: 149575 94697 395 112 0 144540 0
[pid=22048/tid=22049] ppid=22046 vsize=598300 CPUtime=1171.55 cores=0,2,4,6
/proc/22048/task/22049/stat : 22049 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 115492 0 0 0 117119 36 0 0 25 0 4 0 653255472 612659200 94697 33554432000 4194304 4650419 140737059661040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22048/tid=22050] ppid=22046 vsize=598300 CPUtime=1182.3 cores=0,2,4,6
/proc/22048/task/22050/stat : 22050 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 154213 0 0 0 118174 56 0 0 25 0 4 0 653255472 612659200 94697 33554432000 4194304 4650419 140737059661040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22048/tid=22051] ppid=22046 vsize=598300 CPUtime=1182.09 cores=0,2,4,6
/proc/22048/task/22051/stat : 22051 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 103413 0 0 0 118171 38 0 0 25 0 4 0 653255472 612659200 94697 33554432000 4194304 4650419 140737059661040 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4718.24
Current children cumulated vsize (KiB) 598300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.14 8.11 8.02 9/302 22125
/proc/meminfo: memFree=27127500/32951124 swapFree=63649232/67111528
[pid=22048] ppid=22046 vsize=544028 CPUtime=4800.06 cores=0,2,4,6
/proc/22048/stat : 22048 (strangenight1-m) R 22046 22048 21663 0 -1 4202496 502953 0 0 0 479836 170 0 0 25 0 4 0 653255472 557084672 89204 33554432000 4194304 4650419 140737059661040 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22048/statm: 136007 89204 395 112 0 130972 0
[pid=22048/tid=22049] ppid=22046 vsize=544028 CPUtime=1191.86 cores=0,2,4,6
/proc/22048/task/22049/stat : 22049 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 115729 0 0 0 119150 36 0 0 25 0 4 0 653255472 557084672 89205 33554432000 4194304 4650419 140737059661040 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22048/tid=22050] ppid=22046 vsize=544028 CPUtime=1202.81 cores=0,2,4,6
/proc/22048/task/22050/stat : 22050 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 156541 0 0 0 120224 57 0 0 25 0 4 0 653255472 557084672 89205 33554432000 4194304 4650419 140737059661040 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22048/tid=22051] ppid=22046 vsize=544028 CPUtime=1202.59 cores=0,2,4,6
/proc/22048/task/22051/stat : 22051 (strangenight1-m) R 22046 22048 21663 0 -1 4202560 103850 0 0 0 120221 38 0 0 25 0 4 0 653255472 557084672 89205 33554432000 4194304 4650419 140737059661040 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 544028

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.84
CPU time (s): 4800.13
CPU user time (s): 4798.4
CPU system time (s): 1.72174
CPU usage (%): 399.067
Max. virtual memory (cumulated for all children) (KiB): 598300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.4
system time used= 1.72174
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 502955
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= 180
involuntary context switches= 22529

runsolver used 3.19651 second user time and 7.76982 second system time

The end

Launcher Data 

Begin job on node130 at 2011-05-15 01:42:50
IDJOB=3369263
IDBENCH=85304
IDSOLVER=1846
FILE ID=node130/3369263-1305416570
RUNJOBID= node130-1305414956-21681
PBS_JOBID= 13324556
Free space on /tmp= 73420 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369263-1305416570/watcher-3369263-1305416570 -o /tmp/evaluation-result-3369263-1305416570/solver-3369263-1305416570 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369263-1305416570.cnf

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

MD5SUM BENCH= 51d9aefd9da7f94abc32dd024090dc46
RANDOM SEED=1596406601

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27265932 kB
Buffers:        264488 kB
Cached:        3631536 kB
SwapCached:      10248 kB
Active:        1618932 kB
Inactive:      3795864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27265932 kB
SwapTotal:    67111528 kB
SwapFree:     63649232 kB
Dirty:            6184 kB
Writeback:           0 kB
AnonPages:     1515932 kB
Mapped:          13936 kB
Slab:           183384 kB
PageTables:      26316 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 52065264 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73416 MiB
End job on node130 at 2011-05-15 02:02:55