Trace number 3175271

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.27 1201.73

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v60-c5340-S384085843-009.UNKNOWN.cnf
MD5SUM420ae9a699afd6f172f364b156d160ff
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark363.335
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of clauses5340
Sum of the clauses size37380
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 55340

Solver Data

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175271-1304105532.cnf'
0.00/0.00	c -- header says num vars:             60
0.00/0.00	c -- header says num clauses:        5340
0.00/0.01	c -- clauses added:            0 learnts,         5340 normals,            0 xors
0.00/0.01	c -- vars added         60
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.48/0.81	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.46
0.48/0.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.48/0.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.48/0.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.48/0.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
0.48/0.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.48/0.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
0.48/0.81	c Finding binary XORs  T:     0.00 s  found:       0
0.48/0.81	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.48/0.81	c calculated reachability. Time: 0.00
0.48/0.81	c Calc default polars -  time:   0.00 s pos:      28 undec:       2 neg:      30
0.48/0.81	c =========================================================================================
0.48/0.81	c types(t): F = full restart, N = normal restart
0.48/0.81	c types(t): S = simplification begin/end, E = solution found
0.48/0.81	c restart types(rt): st = static, dy = dynamic
0.48/0.81	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.48/0.81	c  B st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.48/0.81	c  N dy     7      4343        60      5340         0      3859     37380     83761     18.04     19.05  --
0.48/0.81	c  N dy    21     15728        60      5340         0      7921     37380    150447     17.30     18.25  --
0.48/0.91	c  N dy    59     19763        60      5340         0      6577     37380    119127     17.80     20.00  --
4.20/1.11	c  F st    81     25000        60      5340         0     11251     37380    217598     17.91     16.23  --
4.20/1.11	c  N st    81     25000        60      5340         0     11251     37380    217598     17.91     16.23  --
5.00/1.31	c  N dy    87     30000        60      5340         0      9665     37380    175130     17.91   no data  --
5.00/1.31	c  S st    87     30000        60      5340         0      9665     37380    175130     17.91   no data  --
5.40/1.41	c  S st    87     30504        60      5340         0     10119     37380    185231     17.91   no data  --
5.40/1.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.40/1.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.40/1.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.40/1.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.40/1.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.40/1.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
5.40/1.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.77/2.26	c lits-rem:      1478  cl-subs:     1205  v-elim:      0  v-fix:    0  time:  3.62 s
9.97/2.52	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.04
9.97/2.52	c calculated reachability. Time: 0.00
9.97/2.52	c  N dy    87     30504        60      5340         0      8914     37380    159276     17.91   no data  --
11.57/2.99	c  N dy   102     40084        60      5340         0     10377     37380    176422     17.58     18.67  --
12.77/3.24	c  N dy   136     44150        60      5340         0     14047     37380    256049     17.76     19.69  --
13.17/3.35	c  S st   152     45756        60      5340         0     15496     37380    287981     17.85   no data  --
13.56/3.40	c  S st   152     46258        60      5340         0      8002     37380    121306     17.85   no data  --
13.56/3.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.56/3.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.56/3.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.56/3.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.56/3.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.56/3.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
13.56/3.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.37/4.11	c lits-rem:       128  cl-subs:       23  v-elim:      0  v-fix:    0  time:  2.79 s
16.37/4.11	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
16.37/4.11	c vivif2 --  cl tried     7979 cl shrink        0 lits rem          0 time: 0.00
17.16/4.33	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.89
17.16/4.33	c calculated reachability. Time: 0.00
17.16/4.33	c  N dy   152     46258        60      5340         0      7979     37380    120779     17.85   no data  --
18.76/4.77	c  N dy   174     54767        60      5340         0     15551     37380    278440     17.77     18.71  --
19.96/5.07	c  N dy   205     58793        60      5340         0     10272     37380    158709     17.88     18.99  --
21.18/5.31	c  N dy   224     63031        60      5340         0     14022     37380    239160     17.94     19.01  --
22.75/5.74	c  N dy   229     69244        60      5340         0      9759     37380    140266     17.86     18.83  --
22.75/5.75	c  S st   231     69387        60      5340         0      9886     37380    142956     17.87   no data  --
22.75/5.78	c  S st   231     69888        60      5340         0     10346     37380    153179     17.87   no data  --
22.75/5.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.75/5.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
22.75/5.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
22.75/5.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
22.75/5.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22.75/5.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
22.75/5.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.34/6.64	c lits-rem:       207  cl-subs:       98  v-elim:      0  v-fix:    0  time:  3.39 s
26.34/6.64	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
26.34/6.64	c vivif2 --  cl tried    10248 cl shrink        0 lits rem          0 time: 0.00
27.54/6.91	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.10
27.54/6.91	c calculated reachability. Time: 0.00
27.54/6.91	c  N dy   231     69888        60      5340         0     10248     37380    150559     17.87   no data  --
28.34/7.18	c  N dy   259     74412        60      5340         0     14312     37380    237385     17.93     19.89  --
29.56/7.50	c  N dy   267     79799        60      5340         0     19044     37380    335441     17.88     18.84  --
31.54/7.96	c  N dy   279     86993        60      5340         0     14773     37380    232749     17.83     18.81  --
31.54/7.99	c  F st   284     87500        60      5340         0     15216     37380    242445     17.84   no data  --
33.14/8.32	c  N dy   290     92697        60      5340         0     19809     37380    341048     17.84   no data  --
34.73/8.79	c  N dy   324     98679        60      5340         0     13666     37380    202888     17.89     19.48  --
36.73/9.21	c  S st   350    104833        60      5340         0     19148     37380    319599     17.91   no data  --
36.73/9.26	c  S st   350    105336        60      5340         0     19610     37380    329757     17.91   no data  --
36.73/9.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.73/9.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.73/9.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
36.73/9.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.73/9.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.73/9.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
36.73/9.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.52/10.90	c lits-rem:      1870  cl-subs:     1898  v-elim:      0  v-fix:    0  time:  6.46 s
43.52/10.90	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
43.52/10.90	c vivif2 --  cl tried    17712 cl shrink        0 lits rem          0 time: 0.01
44.72/11.26	c asymm  cl-useful: 0/4295/5340 lits-rem:0 time: 1.44
44.72/11.27	c calculated reachability. Time: 0.00
44.72/11.27	c  N dy   350    105336        60      5340         0     17712     37380    287276     17.91   no data  --
50.32/12.69	c  N dy   377    127520        60      5340         0     24949     37380    420784     17.66     18.66  --
53.11/13.34	c  N dy   425    135689        60      5340         0     18978     37380    296416     17.73     20.36  --
56.32/14.15	c  N dy   502    144415        60      5340         0     26799     37380    466733     17.85     19.20  --
59.51/14.93	c  N dy   532    154697        60      5340         0     21704     37380    341987     17.85     18.89  --
60.73/15.25	c  S st   558    158004        60      5340         0     24702     37380    407389     17.89     18.45  --
61.10/15.32	c  S st   558    158508        60      5340         0     25161     37380    417786     17.89   no data  --
61.10/15.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
61.10/15.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
61.10/15.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
61.10/15.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
61.10/15.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
61.10/15.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
61.10/15.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
69.10/17.31	c lits-rem:      2083  cl-subs:     2740  v-elim:      0  v-fix:    0  time:  7.86 s
69.10/17.31	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
69.10/17.31	c vivif2 --  cl tried    22421 cl shrink        0 lits rem          0 time: 0.02
69.51/17.46	c asymm  cl-useful: 0/1045/5340 lits-rem:0 time: 0.59
69.51/17.46	c calculated reachability. Time: 0.00
69.51/17.46	c  N dy   558    158508        60      5340         0     22421     37380    358377     17.89   no data  --
73.91/18.59	c  N dy   625    169447        60      5340         0     17226     37380    239145     17.96     18.95  --
79.07/19.83	c  N dy   691    183200        60      5340         0     29491     37380    498690     17.99     18.99  --
82.69/20.76	c  N dy   711    194961        60      5340         0     23942     37380    368287     17.95     20.97  --
87.47/21.99	c  N dy   737    207408        60      5340         0     18121     37380    240892     17.91     20.99  --
95.47/23.96	c  N dy   757    229390        60      5340         0     19798     37380    261791     17.76     18.70  --
98.65/24.75	c  S st   818    237763        60      5340         0     27234     37380    421491     17.81     18.54  --
99.05/24.82	c  S st   818    238268        60      5340         0     27687     37380    431494     17.81   no data  --
99.05/24.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
99.05/24.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
99.05/24.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
99.05/24.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
99.05/24.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
99.05/24.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
99.05/24.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
107.04/26.89	c lits-rem:      1875  cl-subs:     2340  v-elim:      0  v-fix:    0  time:  8.16 s
107.04/26.89	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
107.04/26.89	c vivif2 --  cl tried    25347 cl shrink        0 lits rem          0 time: 0.02
108.65/27.28	c asymm  cl-useful: 0/3329/5340 lits-rem:0 time: 1.53
108.65/27.28	c calculated reachability. Time: 0.00
108.65/27.28	c  N dy   818    238268        60      5340         0     25347     37380    380300     17.81   no data  --
115.83/29.05	c  N dy   921    253491        60      5340         0     20415     37380    266094     17.89     19.39  --
122.61/30.77	c  N dy  1026    269765        60      5340         0     34949     37380    580112     17.96     20.37  --
129.01/32.38	c  N dy  1052    287001        60      5340         0     30693     37380    466689     17.91     19.37  --
136.99/34.37	c  N dy  1125    305357        60      5340         0     26678     37380    378494     17.93     19.29  --
137.39/34.47	c  F st  1132    306250        60      5340         0     27483     37380    396126     17.94     17.67  --
145.39/36.48	c  N dy  1147    325473        60      5340         0     23203     37380    293707     17.91     18.91  --
154.57/38.77	c  N dy  1238    345546        60      5340         0     41071     37380    673692     17.94     21.43  --
160.57/40.20	c  S st  1316    357402        60      5340         0     29420     37380    419730     17.98     17.97  --
160.57/40.28	c  S st  1316    357905        60      5340         0     29873     37380    429855     17.98   no data  --
160.57/40.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
160.57/40.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
160.57/40.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
160.97/40.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
160.97/40.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
160.97/40.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
160.97/40.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
170.16/42.62	c lits-rem:      1458  cl-subs:     1686  v-elim:      0  v-fix:    0  time:  9.26 s
170.16/42.62	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
170.16/42.63	c vivif2 --  cl tried    28187 cl shrink        0 lits rem          0 time: 0.02
171.75/43.00	c asymm  cl-useful: 0/2011/5340 lits-rem:0 time: 1.49
171.75/43.00	c calculated reachability. Time: 0.00
171.75/43.00	c  N dy  1316    357905        60      5340         0     28187     37380    390924     17.98   no data  --
182.94/45.88	c  N dy  1410    377962        60      5340         0     45924     37380    769133     18.01     18.97  --
192.92/48.38	c  N dy  1471    398004        60      5340         0     40740     37380    648954     18.01     19.03  --
208.50/52.27	c  N dy  1548    428809        60      5340         0     44147     37380    702608     17.98     19.04  --
218.09/54.63	c  N dy  1608    448900        60      5340         0     37161     37380    548370     17.96     19.83  --
230.07/57.69	c  N dy  1724    468943        60      5340         0     29277     37380    372140     18.00     19.00  --
240.47/60.28	c  N dy  1817    488985        60      5340         0     47067     37380    754207     18.02     19.75  --
252.04/63.19	c  N dy  1927    509069        60      5340         0     38316     37380    556456     18.05     19.24  --
265.63/66.54	c  N dy  2028    529714        60      5340         0     29110     37380    345689     18.08     19.06  --
268.82/67.37	c  S st  2064    536857        60      5340         0     35492     37380    483211     18.08   no data  --
269.22/67.46	c  S st  2064    537361        60      5340         0     35953     37380    493292     18.08   no data  --
269.22/67.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
269.22/67.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
269.22/67.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
269.22/67.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
269.22/67.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
269.22/67.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
269.22/67.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
278.40/69.70	c lits-rem:       748  cl-subs:     2005  v-elim:      0  v-fix:    0  time:  8.86 s
278.40/69.71	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
278.40/69.71	c vivif2 --  cl tried    33948 cl shrink        0 lits rem          0 time: 0.02
279.60/70.09	c asymm  cl-useful: 0/2601/5340 lits-rem:0 time: 1.54
279.60/70.10	c calculated reachability. Time: 0.00
279.60/70.10	c  N dy  2064    537361        60      5340         0     33948     37380    449857     18.08   no data  --
290.78/72.87	c  N dy  2110    557373        60      5340         0     51595     37380    820565     18.06     19.13  --
303.57/76.05	c  N dy  2132    582228        60      5340         0     45137     37380    659531     17.99     19.06  --
315.16/78.98	c  N dy  2138    602579        60      5340         0     33926     37380    424011     17.94     18.93  --
328.35/82.24	c  N dy  2242    624003        60      5340         0     52901     37380    828933     17.95     18.94  --
341.52/85.57	c  N dy  2369    644069        60      5340         0     40731     37380    570844     17.99     19.06  --
355.89/89.11	c  N dy  2454    664133        60      5340         0     58515     37380    949911     18.00     19.10  --
369.88/92.65	c  N dy  2617    684153        60      5340         0     45408     37380    664469     18.05     20.65  --
385.87/96.67	c  N dy  2723    704239        60      5340         0     63252     37380   1048971     18.07     20.86  --
409.42/102.59	c  N dy  2841    739384        60      5340         0     62232     37380    990293     18.05     19.02  --
421.40/105.56	c  N dy  2885    759487        60      5340         0     47247     37380    670849     18.05     19.07  --
437.39/109.52	c  N dy  2968    780188        60      5340         0     65557     37380   1061757     18.05     19.01  --
449.76/112.68	c  N dy  3040    800346        60      5340         0     49871     37380    719503     18.06     19.01  --
454.56/113.80	c  S st  3085    806043        60      5340         0     54942     37380    830998     18.07     17.73  --
454.96/113.94	c  S st  3085    806548        60      5340         0     55400     37380    841411     18.07   no data  --
454.96/113.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
454.96/113.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
454.96/113.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.08
454.96/113.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
454.96/113.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
454.96/113.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
454.96/113.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
486.12/121.74	c lits-rem:      2860  cl-subs:     5414  v-elim:      0  v-fix:    0  time: 30.94 s
486.12/121.74	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
486.12/121.75	c vivif2 --  cl tried    49986 cl shrink        0 lits rem          0 time: 0.04
487.31/122.05	c asymm  cl-useful: 0/757/5340 lits-rem:0 time: 1.18
487.31/122.05	c calculated reachability. Time: 0.00
487.31/122.05	c  N dy  3085    806548        60      5340         0     49986     37380    724338     18.07   no data  --
504.89/126.48	c  N dy  3181    826870        60      5340         0     68036     37380   1111539     18.08     19.04  --
518.47/129.86	c  N dy  3267    848938        60      5340         0     53288     37380    779588     18.08     19.06  --
537.64/134.64	c  N dy  3385    869900        60      5340         0     36602     37380    414712     18.10     19.06  --
548.83/137.50	c  N dy  3427    889967        60      5340         0     54336     37380    786143     18.09     21.06  --
570.80/142.91	c  N dy  3536    917097        60      5340         0     42115     37380    517514     18.09     19.28  --
584.38/146.38	c  N dy  3606    937204        60      5340         0     59887     37380    898582     18.10     19.12  --
603.55/151.10	c  N dy  3712    957599        60      5340         0     40888     37380    486052     18.12     19.15  --
617.54/154.66	c  N dy  3807    977751        60      5340         0     58725     37380    870078     18.13     19.12  --
638.31/159.87	c  N dy  3922    999788        60      5340         0     40197     37380    459578     18.14     19.11  --
651.89/163.20	c  N dy  4000   1019877        60      5340         0     57973     37380    841858     18.15     21.39  --
668.66/167.50	c  N dy  4063   1039882        60      5340         0     75671     37380   1215879     18.14     20.17  --
687.44/172.12	c  N dy  4132   1066654        60      5340         0     60219     37380    869677     18.13     19.16  --
692.23/173.32	c  F st  4154   1071876        60      5340         0     64836     37380    968622     18.13     18.23  --
707.01/177.05	c  N dy  4163   1091241        60      5340         0     42139     37380    480098     18.11     19.10  --
722.19/180.83	c  N dy  4283   1111273        60      5340         0     59914     37380    864478     18.13     19.75  --
742.96/186.03	c  N dy  4393   1131311        60      5340         0     77669     37380   1251024     18.15     19.21  --
759.36/190.13	c  N dy  4438   1154061        60      5340         0     57085     37380    787241     18.14     19.12  --
781.70/195.71	c  N dy  4551   1174084        60      5340         0     74853     37380   1172202     18.15     19.25  --
802.89/201.00	c  N dy  4644   1194126        60      5340         0     51094     37380    655598     18.16     20.65  --
821.65/205.79	c  S st  4738   1209823        60      5340         0     65014     37380    956721     18.17   no data  --
822.85/206.04	c  S st  4738   1210329        60      5340         0     65468     37380    966962     18.17   no data  --
822.85/206.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
822.85/206.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
822.85/206.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.16
823.25/206.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
823.25/206.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
823.25/206.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
823.25/206.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
901.54/225.75	c lits-rem:      3527  cl-subs:     5904  v-elim:      0  v-fix:    0  time: 78.44 s
901.54/225.75	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
901.54/225.77	c vivif2 --  cl tried    59564 cl shrink        0 lits rem          0 time: 0.05
902.74/226.07	c asymm  cl-useful: 0/645/5340 lits-rem:0 time: 1.23
902.74/226.08	c calculated reachability. Time: 0.00
902.74/226.08	c  N dy  4738   1210329        60      5340         0     59564     37380    836715     18.17   no data  --
926.71/232.00	c  N dy  4837   1233659        60      5340         0     80171     37380   1281040     18.18     19.16  --
943.09/236.20	c  N dy  4897   1254481        60      5340         0     56464     37380    760600     18.18     19.21  --
959.46/240.25	c  N dy  4898   1276558        60      5340         0     75739     37380   1152125     18.15     19.35  --
978.66/245.03	c  N dy  4937   1296597        60      5340         0     50399     37380    621915     18.14     19.20  --
997.41/249.78	c  N dy  5001   1318058        60      5340         0     69306     37380   1023969     18.13     19.13  --
1026.18/256.98	c  N dy  5117   1338065        60      5340         0     87085     37380   1410681     18.15     20.14  --
1046.15/261.95	c  N dy  5189   1360510        60      5340         0     62826     37380    874812     18.15     19.29  --
1069.31/267.79	c  N dy  5302   1380591        60      5340         0     80647     37380   1260705     18.16     20.68  --
1093.31/273.73	c  N dy  5383   1404931        60      5340         0     57001     37380    730976     18.15     19.17  --
1108.86/277.61	c  N dy  5424   1425022        60      5340         0     74705     37380   1097863     18.14     19.72  --
1134.03/283.98	c  N dy  5499   1447777        60      5340         0     48891     37380    555417     18.14     19.13  --
1153.60/288.83	c  N dy  5622   1470376        60      5340         0     68859     37380    987561     18.15     19.13  --
1178.37/295.01	c  N dy  5689   1493998        60      5340         0     89674     37380   1427369     18.15     19.26  --
1196.74/299.69	c  N dy  5772   1514094        60      5340         0     60688     37380    801051     18.15     19.36  --
1218.31/305.07	c  N dy  5906   1534104        60      5340         0     78398     37380   1188263     18.17     19.18  --
1245.87/311.94	c  N dy  6011   1554147        60      5340         0     48424     37380    528616     18.18     20.26  --
1261.45/315.86	c  N dy  6096   1574219        60      5340         0     66151     37380    909259     18.18     19.88  --
1282.24/321.01	c  N dy  6138   1594992        60      5340         0     84351     37380   1292835     18.18     19.17  --
1304.99/326.70	c  N dy  6168   1617156        60      5340         0     55296     37380    657120     18.16     19.16  --
1324.97/331.72	c  N dy  6231   1639945        60      5340         0     75426     37380   1084648     18.16     19.19  --
1350.93/338.28	c  N dy  6347   1660010        60      5340         0     93232     37380   1470673     18.17     20.03  --
1374.52/344.10	c  N dy  6422   1684675        60      5340         0     65427     37380    865608     18.17     19.14  --
1395.28/349.30	c  N dy  6472   1704769        60      5340         0     83042     37380   1237822     18.16     19.33  --
1403.66/351.48	c  S st  6501   1710329        60      5340         0     87937     37380   1343715     18.17     16.26  --
1404.87/351.80	c  S st  6501   1710831        60      5340         0     88381     37380   1353749     18.17   no data  --
1405.28/351.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1405.28/351.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1405.28/351.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.20
1405.66/351.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1405.66/351.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1405.66/351.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
1405.66/351.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1595.00/399.34	c lits-rem:      6682  cl-subs:    11511  v-elim:      0  v-fix:    0  time: 189.44 s
1595.00/399.34	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
1595.00/399.36	c vivif2 --  cl tried    76870 cl shrink        0 lits rem          0 time: 0.07
1597.00/399.81	c asymm  cl-useful: 0/522/5340 lits-rem:0 time: 1.79
1597.00/399.81	c calculated reachability. Time: 0.00
1597.00/399.81	c  N dy  6501   1710831        60      5340         0     76870     37380   1114574     18.17   no data  --
1626.55/407.25	c  N dy  6541   1730878        60      5340         0     94406     37380   1480353     18.16     20.87  --
1654.92/414.33	c  N dy  6606   1750926        60      5340         0     62725     37380    811018     18.16     21.42  --
1684.07/421.66	c  N dy  6718   1771416        60      5340         0     80846     37380   1204316     18.17     19.16  --
1716.43/429.77	c  N dy  6808   1791456        60      5340         0     98552     37380   1584486     18.17     20.46  --
1741.20/435.96	c  N dy  6893   1811513        60      5340         0     65496     37380    856830     18.17     20.24  --
1767.16/442.49	c  N dy  6995   1831586        60      5340         0     83266     37380   1242295     18.18     19.96  --
1801.51/451.07	c  N dy  7025   1861157        60      5340         0     57221     37380    660308     18.15     19.24  --
1860.64/465.88	c  N dy  7126   1916813        60      5340         0     53326     37380    575046     18.10     19.08  --
1875.02/469.41	c  N dy  7145   1936898        60      5340         0     70949     37380    944530     18.09     21.48  --
1898.57/475.36	c  N dy  7245   1956933        60      5340         0     88664     37380   1327721     18.09     19.67  --
1932.93/483.99	c  N dy  7380   1978889        60      5340         0     54504     37380    588878     18.11     19.12  --
1952.51/488.89	c  N dy  7504   1998987        60      5340         0     72320     37380    977261     18.12     20.84  --
1977.27/495.06	c  N dy  7606   2019077        60      5340         0     90169     37380   1364558     18.12     19.15  --
2005.23/502.04	c  N dy  7676   2039123        60      5340         0    107775     37380   1740920     18.12     19.60  --
2027.60/507.63	c  N dy  7813   2059183        60      5340         0     70891     37380    935346     18.14     19.75  --
2050.37/513.32	c  N dy  7908   2079235        60      5340         0     88582     37380   1318078     18.14     19.41  --
2083.13/521.53	c  N dy  7949   2104422        60      5340         0    110625     37380   1776074     18.13     19.37  --
2101.90/526.27	c  N dy  8019   2124514        60      5340         0     72775     37380    959105     18.13     19.44  --
2127.06/532.55	c  N dy  8121   2144538        60      5340         0     90414     37380   1340700     18.14     19.65  --
2159.82/540.76	c  N dy  8251   2165345        60      5340         0    108751     37380   1741349     18.15     19.23  --
2184.58/546.96	c  N dy  8375   2186064        60      5340         0     70774     37380    913694     18.16     19.12  --
2208.16/552.89	c  N dy  8470   2206140        60      5340         0     88433     37380   1292942     18.16     20.16  --
2213.36/554.20	c  S st  8473   2210831        60      5340         0     92569     37380   1376442     18.16     15.91  --
2214.55/554.47	c  S st  8473   2211334        60      5340         0     93026     37380   1387018     18.16   no data  --
2214.55/554.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2214.55/554.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2214.95/554.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
2214.95/554.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2214.95/554.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2214.95/554.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
2214.95/554.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2349.98/588.35	c lits-rem:      5215  cl-subs:     9906  v-elim:      0  v-fix:    0  time: 134.91 s
2349.98/588.35	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
2349.98/588.37	c vivif2 --  cl tried    83120 cl shrink        0 lits rem          0 time: 0.07
2351.56/588.77	c asymm  cl-useful: 0/484/5340 lits-rem:0 time: 1.62
2351.56/588.77	c calculated reachability. Time: 0.00
2351.56/588.77	c  N dy  8473   2211334        60      5340         0     83120     37380   1173940     18.16   no data  --
2378.72/595.59	c  N dy  8524   2231379        60      5340         0    100732     37380   1547636     18.15     20.16  --
2416.67/605.02	c  N dy  8637   2252967        60      5340         0     63155     37380    742570     18.16     19.14  --
2445.83/612.30	c  N dy  8705   2276019        60      5340         0     83344     37380   1168944     18.16     19.33  --
2512.93/629.12	c  N dy  8785   2322330        60      5340         0     65985     37380    777508     18.13     19.18  --
2542.10/636.48	c  N dy  8862   2343977        60      5340         0     85008     37380   1182556     18.13     19.15  --
2580.44/646.08	c  N dy  8977   2364610        60      5340         0    103228     37380   1578519     18.14     19.15  --
2618.39/655.59	c  N dy  9061   2384662        60      5340         0     62139     37380    694786     18.14     21.22  --
2648.77/663.11	c  N dy  9177   2405378        60      5340         0     80484     37380   1093388     18.15     19.18  --
2689.09/673.29	c  N dy  9227   2432543        60      5340         0    104297     37380   1595061     18.14     19.12  --
2727.05/682.80	c  N dy  9313   2452570        60      5340         0     62178     37380    684516     18.14     19.64  --
2750.61/688.65	c  N dy  9369   2473021        60      5340         0     80248     37380   1070123     18.14     19.15  --
2781.77/696.45	c  N dy  9463   2493096        60      5340         0     97927     37380   1451131     18.15     19.76  --
2820.14/706.07	c  N dy  9540   2513130        60      5340         0    115572     37380   1831473     18.15     20.91  --
2853.28/714.32	c  N dy  9688   2533214        60      5340         0     72663     37380    907965     18.16     19.83  --
2881.25/721.35	c  N dy  9782   2553373        60      5340         0     90478     37380   1292646     18.16     19.21  --
2914.39/729.67	c  N dy  9863   2573401        60      5340         0    108198     37380   1676929     18.17     19.32  --
2951.96/739.06	c  N dy  9992   2593493        60      5340         0     64245     37380    709753     18.18     20.54  --
2972.71/744.26	c  N dy 10068   2613683        60      5340         0     82068     37380   1088401     18.18     19.20  --
3001.47/751.44	c  N dy 10181   2633734        60      5340         0     99825     37380   1475935     18.18     20.39  --
3035.44/759.99	c  N dy 10297   2653841        60      5340         0    117524     37380   1861839     18.19     19.26  --
3065.80/767.51	c  N dy 10415   2673931        60      5340         0     72644     37380    884427     18.20     20.50  --
3090.95/773.87	c  N dy 10515   2693995        60      5340         0     90329     37380   1266033     18.20     21.43  --
3114.54/779.79	c  S st 10572   2711334        60      5340         0    105641     37380   1591490     18.20     16.27  --
3116.11/780.14	c  S st 10572   2711835        60      5340         0    106090     37380   1601573     18.20   no data  --
3116.11/780.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3116.11/780.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3116.51/780.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
3116.51/780.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3116.51/780.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3116.51/780.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
3116.51/780.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3540.34/886.39	c lits-rem:      6236  cl-subs:    11611  v-elim:      0  v-fix:    0  time: 423.87 s
3540.34/886.39	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
3540.75/886.41	c vivif2 --  cl tried    94479 cl shrink        0 lits rem          0 time: 0.08
3542.33/886.80	c asymm  cl-useful: 0/573/5340 lits-rem:0 time: 1.57
3542.33/886.80	c calculated reachability. Time: 0.00
3542.33/886.80	c  N dy 10572   2711835        60      5340         0     94479     37380   1349746     18.20   no data  --
3589.87/898.73	c  N dy 10595   2741983        60      5340         0    120636     37380   1887536     18.18     19.27  --
3619.84/906.26	c  N dy 10670   2762031        60      5340         0     75619     37380    939408     18.18     19.57  --
3652.57/914.42	c  N dy 10809   2782113        60      5340         0     93447     37380   1331171     18.19     19.31  --
3694.54/924.94	c  N dy 10846   2807267        60      5340         0    115405     37380   1787515     18.18     19.14  --
3742.06/936.87	c  N dy 10913   2831896        60      5340         0     73122     37380    876627     18.18     19.15  --
3778.81/946.09	c  N dy 10974   2859186        60      5340         0     96964     37380   1377630     18.17     19.17  --
3823.94/957.30	c  N dy 11088   2879978        60      5340         0    115317     37380   1778730     18.18     19.18  --
3873.88/969.82	c  N dy 11211   2900032        60      5340         0     68115     37380    758144     18.19     19.61  --
3902.24/976.94	c  N dy 11301   2920066        60      5340         0     85794     37380   1140410     18.19     19.23  --
3953.38/989.72	c  N dy 11451   2945525        60      5340         0    108264     37380   1632740     18.20     19.16  --
4000.51/1001.56	c  N dy 11532   2965812        60      5340         0    126196     37380   2018485     18.20     19.19  --
4052.84/1014.63	c  N dy 11556   3005664        60      5340         0     94858     37380   1286738     18.18     19.16  --
4090.01/1023.97	c  N dy 11612   3030359        60      5340         0    116366     37380   1736183     18.17     19.17  --
4137.51/1035.86	c  N dy 11708   3051371        60      5340         0     68330     37380    743696     18.18     19.24  --
4166.28/1043.06	c  N dy 11789   3073348        60      5340         0     87723     37380   1159701     18.18     19.14  --
4199.85/1051.44	c  N dy 11888   3093368        60      5340         0    105408     37380   1543582     18.18     19.18  --
4236.98/1060.73	c  N dy 12005   3113436        60      5340         0    123054     37380   1928992     18.19     20.32  --
4279.72/1071.40	c  N dy 12021   3147070        60      5340         0     84796     37380   1059745     18.17     19.16  --
4315.27/1080.34	c  N dy 12136   3167096        60      5340         0    102508     37380   1445858     18.17     20.57  --
4358.04/1091.09	c  N dy 12274   3187162        60      5340         0    120270     37380   1834644     18.18     19.16  --
4405.15/1102.85	c  N dy 12358   3207632        60      5340         0     69679     37380    749795     18.18     19.17  --
4410.36/1104.15	c  S st 12372   3211835        60      5340         0     73374     37380    828254     18.18     16.40  --
4411.54/1104.40	c  S st 12372   3212339        60      5340         0     73837     37380    838728     18.18   no data  --
4411.54/1104.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4411.54/1104.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4411.54/1104.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
4411.54/1104.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4411.54/1104.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4411.54/1104.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
4411.54/1104.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4481.44/1121.93	c lits-rem:       807  cl-subs:     1645  v-elim:      0  v-fix:    0  time: 69.71 s
4481.44/1121.93	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
4481.44/1121.94	c vivif2 --  cl tried    72192 cl shrink        0 lits rem          0 time: 0.05
4483.04/1122.32	c asymm  cl-useful: 0/612/5340 lits-rem:0 time: 1.50
4483.04/1122.32	c calculated reachability. Time: 0.00
4483.04/1122.32	c  N dy 12372   3212339        60      5340         0     72192     37380    804663     18.18   no data  --
4514.20/1130.18	c  N dy 12507   3233259        60      5340         0     90662     37380   1211527     18.19     19.20  --
4546.15/1138.11	c  N dy 12568   3254326        60      5340         0    109121     37380   1606751     18.19     19.15  --
4612.88/1154.84	c  N dy 12588   3301841        60      5340         0     81206     37380    970083     18.16     19.19  --
4646.82/1163.30	c  N dy 12644   3331185        60      5340         0    106900     37380   1512852     18.16     19.17  --
4682.78/1172.33	c  N dy 12759   3351186        60      5340         0    124556     37380   1895582     18.16     19.14  --
4722.32/1182.23	c  N dy 12832   3374650        60      5340         0     75007     37380    841215     18.16     19.15  --
4750.67/1189.35	c  N dy 12971   3396021        60      5340         0     93934     37380   1256346     18.17     19.15  --
4783.44/1197.60	c  N dy 13091   3416383        60      5340         0    111853     37380   1646475     18.17     19.15  --

Verifier Data

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

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3175271-1304105532/watcher-3175271-1304105532 -o /tmp/evaluation-result-3175271-1304105532/solver-3175271-1304105532 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175271-1304105532.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.95 8.02 7.99 5/180 2766
/proc/meminfo: memFree=24256992/32951124 swapFree=67111524/67111528
[pid=2766] ppid=2764 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 522150958 52465664 352 33554432000 4194304 4650419 140736302469248 18446744073709551615 47343479314348 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2766/statm: 12809 352 303 112 0 7774 0
[pid=2766/tid=2767] ppid=2764 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 522150958 52465664 352 33554432000 4194304 4650419 140736302469248 18446744073709551615 212687731697 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2766/tid=2769] ppid=2764 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 522150958 52465664 352 33554432000 4194304 4650419 140736302469248 18446744073709551615 212699472950 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 522150958 52465664 352 33554432000 4194304 4650419 140736302469248 18446744073709551615 47343479314358 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.126741 s]
/proc/loadavg: 7.95 8.02 7.99 5/180 2766
/proc/meminfo: memFree=24256992/32951124 swapFree=67111524/67111528
[pid=2766] ppid=2764 vsize=290860 CPUtime=0.48 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 1780 0 0 0 48 0 0 0 18 0 4 0 522150958 297840640 1575 33554432000 4194304 4650419 140736302469248 18446744073709551615 4516533 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2766/statm: 70663 1554 376 112 0 65628 0
[pid=2766/tid=2767] ppid=2764 vsize=282652 CPUtime=0.11 cores=0,2,4,6
/proc/2766/task/2767/stat : 2767 (strangenight1-m) D 2764 2766 2566 0 -1 4202560 449 0 0 0 11 0 0 0 18 0 4 0 522150958 289435648 1605 33554432000 4194304 4650419 140736302469248 18446744073709551615 212687336481 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2769] ppid=2764 vsize=282652 CPUtime=0.12 cores=0,2,4,6
/proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 403 0 0 0 12 0 0 0 18 0 4 0 522150958 289435648 1733 33554432000 4194304 4650419 140736302469248 18446744073709551615 212687336481 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=282652 CPUtime=0.12 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 372 0 0 0 12 0 0 0 18 0 4 0 522150958 289435648 1851 33554432000 4194304 4650419 140736302469248 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 290860

[startup+1.05669 s]
/proc/loadavg: 7.95 8.02 7.99 5/180 2766
/proc/meminfo: memFree=24256992/32951124 swapFree=67111524/67111528
[pid=2766] ppid=2764 vsize=286712 CPUtime=4.2 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 7077 0 0 0 419 1 0 0 19 0 4 0 522150958 293593088 3831 33554432000 4194304 4650419 140736302469248 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2766/statm: 71678 3832 391 112 0 66643 0
[pid=2766/tid=2767] ppid=2764 vsize=286712 CPUtime=1.04 cores=0,2,4,6
/proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 1658 0 0 0 104 0 0 0 19 0 4 0 522150958 293593088 3832 33554432000 4194304 4650419 140736302469248 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2769] ppid=2764 vsize=286712 CPUtime=1.04 cores=0,2,4,6
/proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 1658 0 0 0 104 0 0 0 19 0 4 0 522150958 293593088 3832 33554432000 4194304 4650419 140736302469248 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=286712 CPUtime=1.05 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 1665 0 0 0 105 0 0 0 19 0 4 0 522150958 293593088 3832 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 286712

[startup+1.15667 s]
/proc/loadavg: 7.95 8.02 7.99 5/180 2766
/proc/meminfo: memFree=24256992/32951124 swapFree=67111524/67111528
[pid=2766] ppid=2764 vsize=286960 CPUtime=4.6 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 7905 0 0 0 459 1 0 0 19 0 4 0 522150958 293847040 3691 33554432000 4194304 4650419 140736302469248 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2766/statm: 71740 3691 391 112 0 66705 0
[pid=2766/tid=2767] ppid=2764 vsize=286960 CPUtime=1.14 cores=0,2,4,6
/proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 1923 0 0 0 114 0 0 0 19 0 4 0 522150958 293847040 3691 33554432000 4194304 4650419 140736302469248 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2769] ppid=2764 vsize=286960 CPUtime=1.14 cores=0,2,4,6
/proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 1925 0 0 0 114 0 0 0 19 0 4 0 522150958 293847040 3691 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=286960 CPUtime=1.15 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 1721 0 0 0 115 0 0 0 19 0 4 0 522150958 293847040 3691 33554432000 4194304 4650419 140736302469248 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 286960

[startup+1.25665 s]
/proc/loadavg: 7.95 8.02 7.99 5/180 2766
/proc/meminfo: memFree=24256992/32951124 swapFree=67111524/67111528
[pid=2766] ppid=2764 vsize=286960 CPUtime=5 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 8113 0 0 0 499 1 0 0 19 0 4 0 522150958 293847040 3899 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2766/statm: 71740 3899 391 112 0 66705 0
[pid=2766/tid=2767] ppid=2764 vsize=286960 CPUtime=1.24 cores=0,2,4,6
/proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 1979 0 0 0 124 0 0 0 19 0 4 0 522150958 293847040 3899 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2769] ppid=2764 vsize=286960 CPUtime=1.24 cores=0,2,4,6
/proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 1978 0 0 0 124 0 0 0 19 0 4 0 522150958 293847040 3899 33554432000 4194304 4650419 140736302469248 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=286960 CPUtime=1.25 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 1765 0 0 0 125 0 0 0 19 0 4 0 522150958 293847040 3899 33554432000 4194304 4650419 140736302469248 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5
Current children cumulated vsize (KiB) 286960

[startup+1.5566 s]
/proc/loadavg: 7.95 8.02 7.99 5/180 2766
/proc/meminfo: memFree=24256992/32951124 swapFree=67111524/67111528
[pid=2766] ppid=2764 vsize=301456 CPUtime=6.2 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 10169 0 0 0 619 1 0 0 20 0 4 0 522150958 308690944 5594 33554432000 4194304 4650419 140736302469248 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2766/statm: 75364 5594 392 112 0 70329 0
[pid=2766/tid=2767] ppid=2764 vsize=301456 CPUtime=1.54 cores=0,2,4,6
/proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 2234 0 0 0 154 0 0 0 20 0 4 0 522150958 308690944 5594 33554432000 4194304 4650419 140736302469248 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2769] ppid=2764 vsize=301456 CPUtime=1.54 cores=0,2,4,6
/proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 2099 0 0 0 154 0 0 0 20 0 4 0 522150958 308690944 5594 33554432000 4194304 4650419 140736302469248 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=301456 CPUtime=1.54 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 2147 0 0 0 154 0 0 0 20 0 4 0 522150958 308690944 5594 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365267 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 301456

[startup+3.10632 s]
/proc/loadavg: 7.95 8.02 7.99 9/184 2771
/proc/meminfo: memFree=24207060/32951124 swapFree=67111524/67111528
[pid=2766] ppid=2764 vsize=292864 CPUtime=12.39 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 16397 0 0 0 1236 3 0 0 25 0 4 0 522150958 299892736 10049 33554432000 4194304 4650419 140736302469248 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2766/statm: 73216 10049 392 112 0 68181 0
[pid=2766/tid=2767] ppid=2764 vsize=292864 CPUtime=3.08 cores=0,2,4,6
/proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 3524 0 0 0 308 0 0 0 25 0 4 0 522150958 299892736 10049 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2769] ppid=2764 vsize=292864 CPUtime=3.09 cores=0,2,4,6
/proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 4279 0 0 0 309 0 0 0 24 0 4 0 522150958 299892736 10049 33554432000 4194304 4650419 140736302469248 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=292864 CPUtime=3.1 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 4444 0 0 0 309 1 0 0 25 0 4 0 522150958 299892736 10049 33554432000 4194304 4650419 140736302469248 18446744073709551615 4370480 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 292864

[startup+6.30074 s]
/proc/loadavg: 7.95 8.02 7.99 9/184 2771
/proc/meminfo: memFree=24191812/32951124 swapFree=67111524/67111528
[pid=2766] ppid=2764 vsize=294232 CPUtime=25.16 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 24393 0 0 0 2512 4 0 0 25 0 4 0 522150958 301293568 12185 33554432000 4194304 4650419 140736302469248 18446744073709551615 4439361 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2766/statm: 73558 12185 392 112 0 68523 0
[pid=2766/tid=2767] ppid=2764 vsize=294232 CPUtime=6.26 cores=0,2,4,6
/proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 6053 0 0 0 625 1 0 0 25 0 4 0 522150958 301293568 12187 33554432000 4194304 4650419 140736302469248 18446744073709551615 4370697 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2769] ppid=2764 vsize=294232 CPUtime=6.29 cores=0,2,4,6
/proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 6260 0 0 0 629 0 0 0 25 0 4 0 522150958 301293568 12187 33554432000 4194304 4650419 140736302469248 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=294232 CPUtime=6.3 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 6537 0 0 0 629 1 0 0 25 0 4 0 522150958 301293568 12187 33554432000 4194304 4650419 140736302469248 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 294232

[startup+12.7006 s]
/proc/loadavg: 7.95 8.02 7.99 9/184 2772
/proc/meminfo: memFree=24181908/32951124 swapFree=67111524/67111528
[pid=2766] ppid=2764 vsize=299512 CPUtime=50.72 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 36190 0 0 0 5065 7 0 0 25 0 4 0 522150958 306700288 17363 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365333 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2766/statm: 74878 17363 392 112 0 69843 0
[pid=2766/tid=2767] ppid=2764 vsize=299512 CPUtime=12.63 cores=0,2,4,6
/proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 9060 0 0 0 1261 2 0 0 25 0 4 0 522150958 306700288 17363 33554432000 4194304 4650419 140736302469248 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2769] ppid=2764 vsize=299512 CPUtime=12.69 cores=0,2,4,6
/proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 9034 0 0 0 1268 1 0 0 25 0 4 0 522150958 306700288 17363 33554432000 4194304 4650419 140736302469248 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=299512 CPUtime=12.69 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 9996 0 0 0 1267 2 0 0 25 0 4 0 522150958 306700288 17363 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 299512

[startup+25.5012 s]
/proc/loadavg: 7.96 8.02 7.99 9/184 2772
/proc/meminfo: memFree=24141368/32951124 swapFree=67111524/67111528
[pid=2766] ppid=2764 vsize=301856 CPUtime=101.85 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 55765 0 0 0 10174 11 0 0 25 0 4 0 522150958 309100544 22809 33554432000 4194304 4650419 140736302469248 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2766/statm: 75464 22809 392 112 0 70429 0
[pid=2766/tid=2767] ppid=2764 vsize=301856 CPUtime=25.36 cores=0,2,4,6
/proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 14007 0 0 0 2533 3 0 0 25 0 4 0 522150958 309100544 22809 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2769] ppid=2764 vsize=301856 CPUtime=25.49 cores=0,2,4,6
/proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 13981 0 0 0 2547 2 0 0 25 0 4 0 522150958 309100544 22809 33554432000 4194304 4650419 140736302469248 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=301856 CPUtime=25.49 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 14628 0 0 0 2546 3 0 0 25 0 4 0 522150958 309100544 22809 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 301856

[startup+51.1006 s]
/proc/loadavg: 8.03 8.03 8.00 9/184 2773
/proc/meminfo: memFree=24120648/32951124 swapFree=67111524/67111528
[pid=2766] ppid=2764 vsize=313028 CPUtime=204.11 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 83962 0 0 0 20393 18 0 0 25 0 4 0 522150958 320540672 25707 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2766/statm: 78257 25707 392 112 0 73222 0
[pid=2766/tid=2767] ppid=2764 vsize=313028 CPUtime=50.82 cores=0,2,4,6
/proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 20683 0 0 0 5077 5 0 0 25 0 4 0 522150958 320540672 25707 33554432000 4194304 4650419 140736302469248 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2769] ppid=2764 vsize=313028 CPUtime=51.09 cores=0,2,4,6
/proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 21835 0 0 0 5106 3 0 0 25 0 4 0 522150958 320540672 25707 33554432000 4194304 4650419 140736302469248 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=313028 CPUtime=51.09 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 21457 0 0 0 5104 5 0 0 25 0 4 0 522150958 320540672 25707 33554432000 4194304 4650419 140736302469248 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 313028

[startup+102.3 s]
/proc/loadavg: 8.01 8.03 8.00 9/184 2774
/proc/meminfo: memFree=24096000/32951124 swapFree=67111524/67111528
[pid=2766] ppid=2764 vsize=324964 CPUtime=408.62 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 123203 0 0 0 40833 29 0 0 25 0 4 0 522150958 332763136 32548 33554432000 4194304 4650419 140736302469248 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2766/statm: 81241 32548 392 112 0 76206 0
[pid=2766/tid=2767] ppid=2764 vsize=324964 CPUtime=101.73 cores=0,2,4,6
/proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 29016 0 0 0 10166 7 0 0 25 0 4 0 522150958 332763136 32548 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2769] ppid=2764 vsize=324964 CPUtime=102.28 cores=0,2,4,6
/proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 34034 0 0 0 10221 7 0 0 25 0 4 0 522150958 332763136 32548 33554432000 4194304 4650419 140736302469248 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=324964 CPUtime=102.29 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 34211 0 0 0 10220 9 0 0 25 0 4 0 522150958 332763136 32548 33554432000 4194304 4650419 140736302469248 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 324964

[startup+162.3 s]

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

[pid=2766] ppid=2764 vsize=405084 CPUtime=2565.66 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 355690 0 0 0 256451 115 0 0 25 0 4 0 522150958 414806016 66554 33554432000 4194304 4650419 140736302469248 18446744073709551615 4327504 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2766/statm: 101271 66554 392 112 0 96236 0
[pid=2766/tid=2767] ppid=2764 vsize=405084 CPUtime=638.81 cores=0,2,4,6
/proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 82331 0 0 0 63855 26 0 0 25 0 4 0 522150958 414806016 66554 33554432000 4194304 4650419 140736302469248 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2769] ppid=2764 vsize=405084 CPUtime=642.3 cores=0,2,4,6
/proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 97643 0 0 0 64198 32 0 0 25 0 4 0 522150958 414806016 66554 33554432000 4194304 4650419 140736302469248 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=405084 CPUtime=642.29 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 97862 0 0 0 64198 31 0 0 25 0 4 0 522150958 414806016 66554 33554432000 4194304 4650419 140736302469248 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.66
Current children cumulated vsize (KiB) 405084

[startup+702.301 s]
/proc/loadavg: 8.14 8.09 8.02 9/184 2791
/proc/meminfo: memFree=23800912/32951124 swapFree=67111524/67111528
[pid=2766] ppid=2764 vsize=458668 CPUtime=2805.35 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 367395 0 0 0 280414 121 0 0 25 0 4 0 522150958 469676032 65849 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2766/statm: 114667 65849 392 112 0 109632 0
[pid=2766/tid=2767] ppid=2764 vsize=458668 CPUtime=698.48 cores=0,2,4,6
/proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 83352 0 0 0 69822 26 0 0 25 0 4 0 522150958 469676032 65849 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2769] ppid=2764 vsize=458668 CPUtime=702.3 cores=0,2,4,6
/proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 103682 0 0 0 70195 35 0 0 25 0 4 0 522150958 469676032 65849 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=458668 CPUtime=702.29 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 97974 0 0 0 70198 31 0 0 25 0 4 0 522150958 469676032 65849 33554432000 4194304 4650419 140736302469248 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.35
Current children cumulated vsize (KiB) 458668

[startup+762.301 s]
/proc/loadavg: 8.15 8.10 8.02 9/184 2794
/proc/meminfo: memFree=23777988/32951124 swapFree=67111524/67111528
[pid=2766] ppid=2764 vsize=402396 CPUtime=3045 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 384974 0 0 0 304371 129 0 0 25 0 4 0 522150958 412053504 65534 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2766/statm: 100599 65534 392 112 0 95564 0
[pid=2766/tid=2767] ppid=2764 vsize=402396 CPUtime=758.15 cores=0,2,4,6
/proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 87914 0 0 0 75787 28 0 0 25 0 4 0 522150958 412053504 65534 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2769] ppid=2764 vsize=402396 CPUtime=762.3 cores=0,2,4,6
/proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 108935 0 0 0 76193 37 0 0 25 0 4 0 522150958 412053504 65534 33554432000 4194304 4650419 140736302469248 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=402396 CPUtime=762.3 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 100713 0 0 0 76197 33 0 0 25 0 4 0 522150958 412053504 65534 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045
Current children cumulated vsize (KiB) 402396

[startup+822.301 s]
/proc/loadavg: 8.23 8.13 8.03 9/184 2795
/proc/meminfo: memFree=23733508/32951124 swapFree=67111524/67111528
[pid=2766] ppid=2764 vsize=428384 CPUtime=3284.69 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 400486 0 0 0 328332 137 0 0 25 0 4 0 522150958 438665216 73699 33554432000 4194304 4650419 140736302469248 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2766/statm: 107096 73699 392 112 0 102061 0
[pid=2766/tid=2767] ppid=2764 vsize=428384 CPUtime=817.83 cores=0,2,4,6
/proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 91991 0 0 0 81753 30 0 0 25 0 4 0 522150958 438665216 73699 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2769] ppid=2764 vsize=428384 CPUtime=822.3 cores=0,2,4,6
/proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 113593 0 0 0 82192 38 0 0 25 0 4 0 522150958 438665216 73699 33554432000 4194304 4650419 140736302469248 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=428384 CPUtime=822.3 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 105414 0 0 0 82194 36 0 0 25 0 4 0 522150958 438665216 73699 33554432000 4194304 4650419 140736302469248 18446744073709551615 4367249 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.69
Current children cumulated vsize (KiB) 428384

[startup+882.301 s]
/proc/loadavg: 8.21 8.13 8.04 9/184 2798
/proc/meminfo: memFree=23717172/32951124 swapFree=67111524/67111528
[pid=2766] ppid=2764 vsize=506448 CPUtime=3524.35 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 412614 0 0 0 352292 143 0 0 25 0 4 0 522150958 518602752 74740 33554432000 4194304 4650419 140736302469248 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2766/statm: 126612 74740 392 112 0 121577 0
[pid=2766/tid=2767] ppid=2764 vsize=506448 CPUtime=877.5 cores=0,2,4,6
/proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 97113 0 0 0 87718 32 0 0 25 0 4 0 522150958 518602752 74740 33554432000 4194304 4650419 140736302469248 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2769] ppid=2764 vsize=506448 CPUtime=882.31 cores=0,2,4,6
/proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 117936 0 0 0 88190 41 0 0 25 0 4 0 522150958 518602752 74740 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=506448 CPUtime=882.3 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 107967 0 0 0 88193 37 0 0 25 0 4 0 522150958 518602752 74740 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.35
Current children cumulated vsize (KiB) 506448

[startup+942.3 s]
/proc/loadavg: 8.20 8.14 8.04 9/184 2799
/proc/meminfo: memFree=23690404/32951124 swapFree=67111524/67111528
[pid=2766] ppid=2764 vsize=494068 CPUtime=3764.03 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 425253 0 0 0 376253 150 0 0 25 0 4 0 522150958 505925632 79160 33554432000 4194304 4650419 140736302469248 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2766/statm: 123517 79160 392 112 0 118482 0
[pid=2766/tid=2767] ppid=2764 vsize=494068 CPUtime=937.18 cores=0,2,4,6
/proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 97192 0 0 0 93686 32 0 0 25 0 4 0 522150958 505925632 79160 33554432000 4194304 4650419 140736302469248 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2769] ppid=2764 vsize=494068 CPUtime=942.31 cores=0,2,4,6
/proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 122572 0 0 0 94187 44 0 0 25 0 4 0 522150958 505925632 79160 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=494068 CPUtime=942.3 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 111179 0 0 0 94191 39 0 0 25 0 4 0 522150958 505925632 79160 33554432000 4194304 4650419 140736302469248 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.03
Current children cumulated vsize (KiB) 494068

[startup+1002.3 s]
/proc/loadavg: 8.13 8.12 8.04 9/184 2801
/proc/meminfo: memFree=23688108/32951124 swapFree=67111524/67111528
[pid=2766] ppid=2764 vsize=494124 CPUtime=4003.7 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 430027 0 0 0 400216 154 0 0 25 0 4 0 522150958 505982976 78667 33554432000 4194304 4650419 140736302469248 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2766/statm: 123531 78667 392 112 0 118496 0
[pid=2766/tid=2767] ppid=2764 vsize=494124 CPUtime=996.85 cores=0,2,4,6
/proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 97212 0 0 0 99653 32 0 0 25 0 4 0 522150958 505982976 78667 33554432000 4194304 4650419 140736302469248 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2769] ppid=2764 vsize=494124 CPUtime=1002.31 cores=0,2,4,6
/proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 126194 0 0 0 100184 47 0 0 25 0 4 0 522150958 505982976 78667 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=494124 CPUtime=1002.31 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 111181 0 0 0 100192 39 0 0 25 0 4 0 522150958 505982976 78667 33554432000 4194304 4650419 140736302469248 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.7
Current children cumulated vsize (KiB) 494124

[startup+1062.3 s]
/proc/loadavg: 8.10 8.11 8.04 9/184 2803
/proc/meminfo: memFree=23673760/32951124 swapFree=67111524/67111528
[pid=2766] ppid=2764 vsize=494248 CPUtime=4243.39 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 441666 0 0 0 424180 159 0 0 25 0 4 0 522150958 506109952 84917 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2766/statm: 123562 84917 392 112 0 118527 0
[pid=2766/tid=2767] ppid=2764 vsize=494248 CPUtime=1056.53 cores=0,2,4,6
/proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 98526 0 0 0 105620 33 0 0 25 0 4 0 522150958 506109952 84918 33554432000 4194304 4650419 140736302469248 18446744073709551615 4366960 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2769] ppid=2764 vsize=494248 CPUtime=1062.32 cores=0,2,4,6
/proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 131028 0 0 0 106183 49 0 0 25 0 4 0 522150958 506109952 84918 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=494248 CPUtime=1062.31 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 111803 0 0 0 106192 39 0 0 25 0 4 0 522150958 506109952 84918 33554432000 4194304 4650419 140736302469248 18446744073709551615 4313048 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.39
Current children cumulated vsize (KiB) 494248

[startup+1122.3 s]
/proc/loadavg: 7.72 8.02 8.01 9/184 2837
/proc/meminfo: memFree=23997420/32951124 swapFree=67111524/67111528
[pid=2766] ppid=2764 vsize=494248 CPUtime=4483.04 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 456244 0 0 0 448141 163 0 0 25 0 4 0 522150958 506109952 86656 33554432000 4194304 4650419 140736302469248 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2766/statm: 123562 86656 392 112 0 118527 0
[pid=2766/tid=2767] ppid=2764 vsize=494248 CPUtime=1116.2 cores=0,2,4,6
/proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 102379 0 0 0 111586 34 0 0 25 0 4 0 522150958 506109952 86656 33554432000 4194304 4650419 140736302469248 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2769] ppid=2764 vsize=494248 CPUtime=1122.31 cores=0,2,4,6
/proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 138662 0 0 0 112181 50 0 0 25 0 4 0 522150958 506109952 86656 33554432000 4194304 4650419 140736302469248 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=494248 CPUtime=1122.31 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 114573 0 0 0 112190 41 0 0 25 0 4 0 522150958 506109952 86656 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.04
Current children cumulated vsize (KiB) 494248

[startup+1182.31 s]
/proc/loadavg: 7.95 8.03 8.01 10/184 2839
/proc/meminfo: memFree=23893736/32951124 swapFree=67111524/67111528
[pid=2766] ppid=2764 vsize=494288 CPUtime=4722.73 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 471636 0 0 0 472104 169 0 0 25 0 4 0 522150958 506150912 89928 33554432000 4194304 4650419 140736302469248 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2766/statm: 123572 89928 392 112 0 118537 0
[pid=2766/tid=2767] ppid=2764 vsize=494288 CPUtime=1175.88 cores=0,2,4,6
/proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 106223 0 0 0 117552 36 0 0 25 0 4 0 522150958 506150912 89928 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2769] ppid=2764 vsize=494288 CPUtime=1182.33 cores=0,2,4,6
/proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 145178 0 0 0 118181 52 0 0 25 0 4 0 522150958 506150912 89928 33554432000 4194304 4650419 140736302469248 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=494288 CPUtime=1182.31 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 119600 0 0 0 118188 43 0 0 25 0 4 0 522150958 506150912 89928 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.73
Current children cumulated vsize (KiB) 494288



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 7.96 8.03 8.01 9/184 2839
/proc/meminfo: memFree=23901048/32951124 swapFree=67111524/67111528
[pid=2766] ppid=2764 vsize=494288 CPUtime=4800.22 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 472879 0 0 0 479851 171 0 0 25 0 4 0 522150958 506150912 86167 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2766/statm: 123572 86167 392 112 0 118537 0
[pid=2766/tid=2767] ppid=2764 vsize=494288 CPUtime=1195.18 cores=0,2,4,6
/proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 106223 0 0 0 119482 36 0 0 25 0 4 0 522150958 506150912 86167 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2769] ppid=2764 vsize=494288 CPUtime=1201.72 cores=0,2,4,6
/proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 146283 0 0 0 120119 53 0 0 25 0 4 0 522150958 506150912 86167 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=494288 CPUtime=1201.71 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 119738 0 0 0 120127 44 0 0 25 0 4 0 522150958 506150912 86167 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 494288

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.27
CPU user time (s): 4798.54
CPU system time (s): 1.72974
CPU usage (%): 399.447
Max. virtual memory (cumulated for all children) (KiB): 559824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.54
system time used= 1.72974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 472879
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= 447
involuntary context switches= 22450

runsolver used 1.87271 second user time and 4.69928 second system time

The end

Launcher Data

Begin job on node139 at 2011-04-29 21:32:12
IDJOB=3175271
IDBENCH=82889
IDSOLVER=1588
FILE ID=node139/3175271-1304105532
RUNJOBID= node139-1304104242-2584
PBS_JOBID= 13170647
Free space on /tmp= 72548 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v60-c5340-S384085843-009.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175271-1304105532/watcher-3175271-1304105532 -o /tmp/evaluation-result-3175271-1304105532/solver-3175271-1304105532 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175271-1304105532.cnf

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

MD5SUM BENCH= 420ae9a699afd6f172f364b156d160ff
RANDOM SEED=286609704

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24257148 kB
Buffers:       2046264 kB
Cached:        5931192 kB
SwapCached:          4 kB
Active:        1070040 kB
Inactive:      7105592 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24257148 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            6240 kB
Writeback:          32 kB
AnonPages:      197788 kB
Mapped:          15528 kB
Slab:           453828 kB
PageTables:       5060 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   436460 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= 72540 MiB
End job on node139 at 2011-04-29 21:52:16