Trace number 3368944

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.23 1203.64

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v700-c2982-S893015585-015.SATISFIABLE.cnf
MD5SUM30f9bf8e3b9c70d1ebd1c611372c0c4a
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.562914
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of clauses2982
Sum of the clauses size8946
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32982
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.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-3368944-1305407115.cnf'
0.00/0.00	c -- header says num vars:            700
0.00/0.00	c -- header says num clauses:        2982
0.00/0.01	c -- clauses added:            0 learnts,         2982 normals,            0 xors
0.00/0.01	c -- vars added        700
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       700      2982         0         0      8946         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/2982/2982 lits-rem:0 time: 0.01
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:    700 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     19  v-fix:    0  time:  0.01 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.02	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.02	c Calc default polars -  time:   0.00 s pos:     318 undec:      87 neg:     295
0.00/0.02	c =========================================================================================
0.00/0.02	c types(t): F = full restart, N = normal restart
0.00/0.02	c types(t): S = simplification begin/end, E = solution found
0.00/0.02	c restart types(rt): st = static, dy = dynamic
0.00/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.02	c  B st     0         0       681      2969         0         0      9022         0   no data   no data  --
0.00/0.07	c Decided on static restart strategy
0.42/0.18	c  N st     8      4917       681      2969         0      4872      9022    149751   no data   no data  --
1.55/0.45	c  N st    10     11300       681      2969         0      4516      9022     92555   no data   no data  --
2.75/0.74	c  N st    11     17043       681      2969         0     10210      9022    276328   no data   no data  --
4.40/1.19	c  F st    12     25002       681      2969         0     12485      9022    329540   no data   no data  --
4.40/1.19	c  N st    12     25002       681      2969         0     12485      9022    329540   no data   no data  --
5.55/1.44	c  N dy    18     30002       681      2969         0     10742      9022    257476   no data   no data  --
5.55/1.44	c  S st    18     30002       681      2969         0     10742      9022    257476   no data   no data  --
5.55/1.47	c  S st    18     30505       681      2969         0     11244      9022    272083   no data   no data  --
5.55/1.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.55/1.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.55/1.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.02
5.55/1.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.55/1.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
5.55/1.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
7.14/1.80	c lits-rem:       253  cl-subs:      260  v-elim:      0  v-fix:    0  time:  1.26 s
7.14/1.81	c asymm  cl-useful: 0/2969/2969 lits-rem:0 time: 0.04
7.14/1.81	c calculated reachability. Time: 0.00
7.14/1.81	c  N dy    18     30505       681      2969         0     10984      9022    262130   no data   no data  --
7.94/2.06	c  N dy    25     34566       681      2969         0     14994      9022    371911     18.75     19.79  --
9.13/2.30	c  N dy    51     38585       681      2969         0     11151      9022    208884     19.53     22.42  --
10.33/2.67	c  N dy    65     44080       681      2969         0     16563      9022    359851     19.01     20.08  --
10.73/2.80	c  S st    71     45758       681      2969         0      9363      9022    124267     18.90     19.06  --
11.13/2.82	c  S st    71     46259       681      2969         0      9864      9022    138342     18.90   no data  --
11.13/2.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.13/2.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.13/2.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
11.13/2.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.13/2.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.13/2.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
11.13/2.83	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
11.53/2.94	c lits-rem:         7  cl-subs:       36  v-elim:      0  v-fix:    0  time:  0.42 s
11.53/2.94	c vivif2 --  cl tried     2969 cl shrink        0 lits rem          0 time: 0.00
11.53/2.94	c vivif2 --  cl tried     9828 cl shrink        0 lits rem          0 time: 0.01
11.53/2.95	c asymm  cl-useful: 0/2969/2969 lits-rem:0 time: 0.03
11.53/2.95	c calculated reachability. Time: 0.00
11.53/2.95	c  N dy    71     46259       681      2969         0      9828      9022    137435     18.90   no data  --
12.33/3.17	c  N dy    93     50280       681      2969         0     13824      9022    249348     18.97     20.15  --
13.51/3.47	c  N dy   113     54444       681      2969         0     17963      9022    366153     19.04     20.08  --
14.71/3.74	c  N dy   126     58526       681      2969         0     12107      9022    175506     18.94     20.26  --
16.31/4.13	c  N dy   149     64540       681      2969         0     18056      9022    341446     18.88     19.95  --
17.56/4.49	c  N dy   159     68969       681      2969         0     11577      9022    137753     18.82     20.21  --
17.91/4.52	c  S st   162     69388       681      2969         0     11990      9022    148639     18.82   no data  --
17.91/4.55	c  S st   162     69893       681      2969         0     12495      9022    162132     18.82   no data  --
17.91/4.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.91/4.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.91/4.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
17.91/4.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.91/4.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.91/4.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
17.91/4.56	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
18.70/4.73	c lits-rem:        45  cl-subs:       33  v-elim:      0  v-fix:    0  time:  0.67 s
18.70/4.73	c vivif2 --  cl tried     2969 cl shrink        0 lits rem          0 time: 0.00
18.70/4.73	c vivif2 --  cl tried    12462 cl shrink        0 lits rem          0 time: 0.01
18.70/4.74	c asymm  cl-useful: 0/2969/2969 lits-rem:0 time: 0.04
18.70/4.74	c calculated reachability. Time: 0.00
18.70/4.74	c  N dy   162     69893       681      2969         0     12462      9022    160975     18.82   no data  --
19.90/5.03	c  N dy   183     74353       681      2969         0     16886      9022    285465     18.84     19.89  --
21.51/5.45	c  N dy   207     79466       681      2969         0     21949      9022    427016     18.89     19.92  --
23.48/5.98	c  N dy   224     86680       681      2969         0     17172      9022    264464     18.82     20.16  --
23.88/6.04	c  F st   230     87500       681      2969         0     17988      9022    287143     18.82   no data  --
25.48/6.44	c  N dy   236     92694       681      2969         0     23116      9022    432223     18.82   no data  --
27.46/6.94	c  N dy   270     98681       681      2969         0     16183      9022    218950     18.91     20.20  --
29.48/7.46	c  S st   303    104839       681      2969         0     22304      9022    392553     18.99   no data  --
29.88/7.51	c  S st   303    105343       681      2969         0     22806      9022    407328     18.99   no data  --
29.88/7.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
29.88/7.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
29.88/7.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
29.88/7.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.88/7.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.88/7.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
29.88/7.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
34.26/8.63	c lits-rem:       416  cl-subs:      262  v-elim:      0  v-fix:    0  time:  4.40 s
34.26/8.64	c vivif2 --  cl tried     2969 cl shrink        0 lits rem          0 time: 0.00
34.26/8.64	c vivif2 --  cl tried    22544 cl shrink        0 lits rem          0 time: 0.02
34.26/8.66	c asymm  cl-useful: 0/2969/2969 lits-rem:0 time: 0.08
34.26/8.66	c calculated reachability. Time: 0.00
34.26/8.66	c  N dy   303    105343       681      2969         0     22544      9022    398062     18.99   no data  --
37.05/9.32	c  N dy   342    112089       681      2969         0     15368      9022    172571     19.04     20.09  --
39.06/9.90	c  N dy   385    119289       681      2969         0     22525      9022    374184     19.10     20.15  --
42.63/10.76	c  N dy   421    127324       681      2969         0     15609      9022    158163     19.13     20.27  --
45.42/11.44	c  N dy   457    135677       681      2969         0     23891      9022    390011     19.13     20.41  --
49.00/12.36	c  N dy   497    144811       681      2969         0     17076      9022    177634     19.15     20.19  --
52.23/13.17	c  N dy   552    154136       681      2969         0     26341      9022    438243     19.19     20.95  --
53.80/13.59	c  S st   579    158014       681      2969         0     30190      9022    547280     19.23   no data  --
54.20/13.66	c  S st   579    158517       681      2969         0     30693      9022    560923     19.23   no data  --
54.20/13.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
54.20/13.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
54.20/13.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
54.20/13.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
54.20/13.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
54.20/13.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
54.20/13.68	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
62.17/15.61	c lits-rem:       766  cl-subs:      310  v-elim:      0  v-fix:    0  time:  7.69 s
62.17/15.61	c vivif2 --  cl tried     2969 cl shrink        0 lits rem          0 time: 0.00
62.17/15.62	c vivif2 --  cl tried    30383 cl shrink        0 lits rem          0 time: 0.02
62.17/15.65	c asymm  cl-useful: 0/2969/2969 lits-rem:0 time: 0.11
62.17/15.65	c calculated reachability. Time: 0.00
62.17/15.65	c  N dy   579    158517       681      2969         0     30383      9022    549467     19.23   no data  --
66.15/16.63	c  N dy   629    168726       681      2969         0     23665      9022    339651     19.26     20.95  --
71.35/17.91	c  N dy   655    180417       681      2969         0     35232      9022    659064     19.21     20.30  --
75.73/19.08	c  N dy   710    192382       681      2969         0     29228      9022    476867     19.22     20.29  --
81.72/20.58	c  N dy   778    204697       681      2969         0     22622      9022    268498     19.23     20.35  --
87.75/22.05	c  N dy   794    217795       681      2969         0     35555      9022    632201     19.13     20.18  --
94.49/23.79	c  N dy   876    232803       681      2969         0     30621      9022    473476     19.18     20.29  --
97.67/24.53	c  S st   897    237775       681      2969         0     35540      9022    608758     19.18     16.94  --
98.07/24.63	c  S st   897    238278       681      2969         0     36043      9022    622631     19.18   no data  --
98.07/24.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
98.07/24.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
98.07/24.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.06
98.07/24.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
98.07/24.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
98.07/24.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
98.07/24.67	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
107.24/26.93	c lits-rem:       690  cl-subs:      486  v-elim:      0  v-fix:    0  time:  9.03 s
107.24/26.93	c vivif2 --  cl tried     2969 cl shrink        0 lits rem          0 time: 0.00
107.24/26.94	c vivif2 --  cl tried    35557 cl shrink        0 lits rem          0 time: 0.03
107.24/26.97	c asymm  cl-useful: 0/2969/2969 lits-rem:0 time: 0.13
107.24/26.97	c calculated reachability. Time: 0.00
107.24/26.97	c  N dy   897    238278       681      2969         0     35557      9022    606355     19.18   no data  --
114.82/28.81	c  N dy   955    254358       681      2969         0     30678      9022    451597     19.17     20.35  --
124.39/31.21	c  N dy  1035    273093       681      2969         0     27457      9022    340902     19.16     20.22  --
133.57/33.59	c  N dy  1111    291023       681      2969         0     45229      9022    850849     19.15     20.21  --
140.75/35.35	c  F st  1204    306250       681      2969         0     37561      9022    607459     19.21   no data  --
143.54/36.04	c Decided on static restart strategy
143.54/36.04	c  N st  1210    311442       681      2969         0     42702      9022    764402     19.21   no data  --
155.11/38.99	c  N st  1214    334551       681      2969         0     41615      9022    924131     19.21   no data  --
167.08/41.93	c  N st  1216    357418       681      2969         0     39464      9022    896975     19.21   no data  --
167.08/41.93	c  S st  1216    357418       681      2969         0     39464      9022    896975     19.21   no data  --
167.48/42.03	c  S st  1216    357924       681      2969         0     39970      9022    911376     19.21   no data  --
167.48/42.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
167.48/42.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
167.48/42.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.07
167.48/42.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
167.48/42.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
167.48/42.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
167.48/42.08	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
177.85/44.60	c lits-rem:       802  cl-subs:     2092  v-elim:      0  v-fix:    0  time: 10.03 s
177.85/44.60	c vivif2 --  cl tried     2969 cl shrink        0 lits rem          0 time: 0.00
177.85/44.61	c vivif2 --  cl tried    37878 cl shrink        0 lits rem          0 time: 0.04
177.85/44.65	c asymm  cl-useful: 0/2969/2969 lits-rem:0 time: 0.16
177.85/44.65	c calculated reachability. Time: 0.00
177.85/44.65	c  N st  1216    357924       681      2969         0     37878      9022    844540     19.21   no data  --
197.01/49.48	c  N st  1217    390317       681      2969         0     44103      9022   1013996     19.21   no data  --
224.11/56.20	c  N st  1218    438906       681      2969         0     38059      9022    769845     19.21   no data  --
272.38/68.32	c  N st  1219    511789       681      2969         0     51710      9022   1183970     19.21   no data  --
287.14/72.01	c  N st  1220    536886       681      2969         0     45786      9022    932564     19.21   no data  --
287.14/72.01	c  S st  1220    536886       681      2969         0     45786      9022    932564     19.21   no data  --
287.54/72.14	c  S st  1220    537389       681      2969         0     46289      9022    947221     19.21   no data  --
287.54/72.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
287.54/72.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
287.54/72.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.08
287.54/72.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
287.54/72.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
287.54/72.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
287.54/72.19	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
298.36/74.89	c lits-rem:       631  cl-subs:     1463  v-elim:      0  v-fix:    0  time: 10.75 s
298.36/74.89	c vivif2 --  cl tried     2969 cl shrink        0 lits rem          0 time: 0.00
298.70/74.90	c vivif2 --  cl tried    44826 cl shrink        0 lits rem          0 time: 0.04
298.70/74.95	c asymm  cl-useful: 0/2969/2969 lits-rem:0 time: 0.20
298.70/74.95	c calculated reachability. Time: 0.00
298.70/74.95	c  N st  1220    537389       681      2969         0     44826      9022    897949     19.21   no data  --
414.77/104.06	c  N st  1221    701373       681      2969         0     38907      9022    568607     19.21   no data  --
494.16/123.99	c  N st  1222    806083       681      2969         0     67939      9022   1398362     19.21   no data  --
494.16/123.99	c  S st  1222    806083       681      2969         0     67939      9022   1398362     19.21   no data  --
494.96/124.16	c  S st  1222    806586       681      2969         0     68441      9022   1413177     19.21   no data  --
494.96/124.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
494.96/124.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
494.96/124.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.13
495.38/124.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
495.38/124.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
495.38/124.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
495.38/124.25	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
520.48/130.55	c lits-rem:       116  cl-subs:     4519  v-elim:      0  v-fix:    0  time: 25.10 s
520.48/130.55	c vivif2 --  cl tried     2969 cl shrink        0 lits rem          0 time: 0.00
520.48/130.56	c vivif2 --  cl tried    63922 cl shrink        0 lits rem          0 time: 0.06
520.88/130.65	c asymm  cl-useful: 0/2969/2969 lits-rem:0 time: 0.34
520.88/130.65	c calculated reachability. Time: 0.00
520.88/130.65	c  N st  1222    806586       681      2969         0     63922      9022   1276954     19.21   no data  --
756.60/189.76	c  F st  1223   1071875       681      2969         0     79915      9022   1680247     19.21   no data  --
756.60/189.76	c  N st  1223   1071875       681      2969         0     79915      9022   1680247     19.21   no data  --
776.59/194.74	c  N dy  1293   1091899       681      2969         0     55548      9022    813851     19.24     20.64  --
797.28/199.92	c  N dy  1384   1111946       681      2969         0     75437      9022   1390209     19.26     20.32  --
822.40/206.23	c  N dy  1486   1132007       681      2969         0     49930      9022    590240     19.30     20.80  --
840.76/210.80	c  N dy  1536   1153134       681      2969         0     70866      9022   1198808     19.26     20.30  --
866.29/217.25	c  N dy  1625   1173191       681      2969         0     90741      9022   1765247     19.28     23.04  --
887.02/222.49	c  N dy  1695   1194897       681      2969         0     65747      9022    998161     19.26     20.37  --
905.36/227.00	c  S st  1778   1209879       681      2969         0     80614      9022   1425952     19.28     19.26  --
906.16/227.22	c  S st  1778   1210385       681      2969         0     81118      9022   1440286     19.28   no data  --
906.16/227.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
906.16/227.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
906.16/227.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.16
906.56/227.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
906.56/227.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
906.56/227.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
906.56/227.31	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
916.97/229.96	c lits-rem:       273  cl-subs:     1129  v-elim:      0  v-fix:    0  time: 10.59 s
916.97/229.96	c vivif2 --  cl tried     2969 cl shrink        0 lits rem          0 time: 0.00
916.97/229.98	c vivif2 --  cl tried    79989 cl shrink        0 lits rem          0 time: 0.07
917.32/230.09	c asymm  cl-useful: 0/2969/2969 lits-rem:0 time: 0.44
917.32/230.09	c calculated reachability. Time: 0.00
917.32/230.09	c  N dy  1778   1210385       681      2969         0     79989      9022   1404788     19.28   no data  --
942.88/236.42	c  N dy  1884   1230496       681      2969         0     52382      9022    575004     19.30     20.39  --
961.20/241.07	c  N dy  1957   1250541       681      2969         0     72166      9022   1126819     19.30     23.97  --
987.93/247.79	c  N dy  2080   1270784       681      2969         0     92266      9022   1714236     19.34     20.37  --
1008.69/252.94	c  N dy  2190   1290801       681      2969         0     63609      9022    866559     19.37     22.95  --
1038.59/260.47	c  N dy  2296   1310883       681      2969         0     83497      9022   1440651     19.40     22.19  --
1072.88/269.02	c  N dy  2388   1334902       681      2969         0     57762      9022    663559     19.39     20.49  --
1093.62/274.21	c  N dy  2482   1355661       681      2969         0     78344      9022   1259668     19.40     20.78  --
1121.94/281.35	c  N dy  2578   1375781       681      2969         0     98291      9022   1841200     19.42     20.57  --
1141.88/286.30	c  N dy  2665   1395801       681      2969         0     67581      9022    917470     19.43     24.31  --
1165.82/292.39	c  N dy  2751   1415995       681      2969         0     87618      9022   1502487     19.44     20.67  --
1194.13/299.45	c  N dy  2856   1436198       681      2969         0     56130      9022    569116     19.46     20.90  --
1215.67/304.83	c  N dy  2978   1457120       681      2969         0     76879      9022   1171643     19.49     20.53  --
1243.19/311.78	c  N dy  3067   1477161       681      2969         0     96710      9022   1740682     19.50     20.58  --
1268.31/318.05	c  N dy  3191   1497193       681      2969         0     64039      9022    763750     19.53     20.56  --
1290.24/323.54	c  N dy  3251   1517350       681      2969         0     83966      9022   1326387     19.51     20.57  --
1321.75/331.47	c  N dy  3359   1537648       681      2969         0    104097      9022   1910145     19.53     20.56  --
1343.68/336.96	c  N dy  3462   1557845       681      2969         0     70627      9022    928142     19.54     20.92  --
1368.02/343.02	c  N dy  3552   1577935       681      2969         0     90538      9022   1506046     19.54     22.44  --
1400.71/351.28	c  N dy  3673   1597975       681      2969         0     55887      9022    476942     19.57     20.76  --
1420.67/356.22	c  N dy  3758   1618566       681      2969         0     76270      9022   1065601     19.58     20.77  --
1450.57/363.79	c  N dy  3844   1640518       681      2969         0     98031      9022   1686885     19.58     20.65  --
1480.08/371.10	c  N dy  3941   1660618       681      2969         0     62447      9022    640932     19.58     20.67  --
1503.62/377.00	c  N dy  4063   1680700       681      2969         0     82381      9022   1226407     19.61     22.24  --
1532.74/384.34	c  N dy  4161   1700736       681      2969         0    102256      9022   1800409     19.62     22.20  --
1551.48/389.03	c  S st  4225   1710385       681      2969         0    111827      9022   2079290     19.63   no data  --
1552.70/389.39	c  S st  4225   1710889       681      2969         0    112330      9022   2093814     19.63   no data  --
1552.70/389.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1552.70/389.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1553.12/389.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.24
1553.47/389.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1553.47/389.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1553.47/389.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
1553.47/389.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1574.22/394.70	c lits-rem:       220  cl-subs:     1712  v-elim:      0  v-fix:    0  time: 20.64 s
1574.22/394.70	c vivif2 --  cl tried     2969 cl shrink        0 lits rem          0 time: 0.00
1574.22/394.73	c vivif2 --  cl tried   110618 cl shrink        0 lits rem          0 time: 0.12
1575.06/394.97	c asymm  cl-useful: 0/2969/2969 lits-rem:0 time: 0.93
1575.06/394.97	c calculated reachability. Time: 0.00
1575.06/394.97	c  N dy  4225   1710889       681      2969         0    110618      9022   2037589     19.63   no data  --
1604.53/402.30	c  N dy  4333   1731046       681      2969         0     74104      9022    960085     19.64     20.74  --
1632.43/409.31	c  N dy  4463   1751074       681      2969         0     93971      9022   1538091     19.67     24.27  --
1669.55/418.60	c  N dy  4563   1774388       681      2969         0     59570      9022    514217     19.67     20.84  --
1691.07/424.01	c  N dy  4697   1794478       681      2969         0     79484      9022   1099271     19.70     21.16  --
1715.81/430.22	c  N dy  4725   1814532       681      2969         0     99271      9022   1655792     19.65     22.24  --
1747.32/438.10	c  N dy  4791   1834543       681      2969         0     60626      9022    518898     19.65     25.24  --
1768.86/443.56	c  N dy  4886   1854666       681      2969         0     80522      9022   1094910     19.65     21.03  --
1796.37/450.42	c  N dy  4935   1874756       681      2969         0    100311      9022   1651837     19.64     20.86  --
1830.68/459.03	c  N dy  5012   1894818       681      2969         0     60848      9022    498245     19.64     21.64  --
1852.22/464.43	c  N dy  5129   1914877       681      2969         0     80741      9022   1077214     19.65     20.90  --
1881.34/471.77	c  N dy  5260   1934881       681      2969         0    100599      9022   1660206     19.67     20.89  --
1918.42/481.09	c  N dy  5351   1955052       681      2969         0    120567      9022   2241375     19.68     20.92  --
1939.96/486.42	c  N dy  5455   1975066       681      2969         0     80015      9022   1034596     19.69     20.78  --
1968.68/493.69	c  N dy  5567   1995459       681      2969         0    100207      9022   1618670     19.71     20.77  --
2005.36/502.80	c  N dy  5673   2015547       681      2969         0    120098      9022   2197101     19.72     21.54  --
2029.69/508.92	c  N dy  5762   2036027       681      2969         0     78961      9022    973709     19.72     20.87  --
2056.82/515.73	c  N dy  5848   2056048       681      2969         0     98777      9022   1544825     19.72     22.08  --
2091.93/524.59	c  N dy  5940   2076232       681      2969         0    118741      9022   2115673     19.73     20.87  --
2118.67/531.30	c  N dy  6038   2096287       681      2969         0     76226      9022    874705     19.74     21.45  --
2145.76/538.03	c  N dy  6124   2116867       681      2969         0     96599      9022   1463956     19.74     21.07  --
2185.24/547.90	c  N dy  6230   2138599       681      2969         0    118136      9022   2086656     19.75     20.82  --
2217.16/555.91	c  N dy  6298   2159615       681      2969         0     75558      9022    826823     19.74     20.96  --
2250.27/564.25	c  N dy  6415   2184085       681      2969         0     99795      9022   1536572     19.75     20.80  --
2287.75/573.64	c  N dy  6539   2204147       681      2969         0    119681      9022   2124474     19.77     24.10  --
2300.51/576.80	c  S st  6550   2210890       681      2969         0    126357      9022   2320268     19.77     19.98  --
2301.72/577.16	c  S st  6550   2211394       681      2969         0    126860      9022   2335252     19.77   no data  --
2301.72/577.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2301.72/577.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2302.12/577.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.28
2302.52/577.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2302.52/577.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2302.52/577.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
2302.52/577.32	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2329.25/584.08	c lits-rem:       220  cl-subs:     2256  v-elim:      0  v-fix:    0  time: 26.97 s
2329.25/584.08	c vivif2 --  cl tried     2969 cl shrink        0 lits rem          0 time: 0.00
2329.68/584.11	c vivif2 --  cl tried   124604 cl shrink        0 lits rem          0 time: 0.11
2330.42/584.31	c asymm  cl-useful: 0/2969/2969 lits-rem:0 time: 0.79
2330.42/584.31	c calculated reachability. Time: 0.00
2330.42/584.31	c  N dy  6550   2211394       681      2969         0    124604      9022   2263415     19.77   no data  --
2358.74/591.43	c  N dy  6635   2232536       681      2969         0     81156      9022    958267     19.76     20.95  --
2387.05/598.58	c  N dy  6745   2252584       681      2969         0    101020      9022   1540663     19.77     22.07  --
2424.54/607.91	c  N dy  6835   2273222       681      2969         0    121488      9022   2137805     19.77     20.90  --
2454.86/615.55	c  N dy  6925   2293301       681      2969         0     76001      9022    793149     19.78     22.36  --
2481.99/622.37	c  N dy  7044   2313482       681      2969         0     96008      9022   1378129     19.79     20.94  --
2516.27/630.90	c  N dy  7142   2333500       681      2969         0    115779      9022   1948401     19.80     20.87  --
2556.56/641.04	c  N dy  7207   2356519       681      2969         0     72210      9022    665094     19.79     20.92  --
2581.68/647.36	c  N dy  7309   2376674       681      2969         0     92157      9022   1247942     19.80     20.87  --
2614.83/655.63	c  N dy  7440   2396693       681      2969         0    112024      9022   1834759     19.82     20.96  --
2657.06/666.27	c  N dy  7529   2417792       681      2969         0    132915      9022   2438920     19.82     21.05  --
2685.77/673.42	c  N dy  7629   2440039       681      2969         0     87602      9022   1086331     19.83     20.99  --
2717.27/681.32	c  N dy  7749   2460064       681      2969         0    107442      9022   1664161     19.84     21.01  --
2755.56/690.97	c  N dy  7838   2480631       681      2969         0    127804      9022   2256891     19.84     21.04  --
2787.07/698.89	c  N dy  7902   2501743       681      2969         0     80347      9022    845448     19.83     20.94  --
2814.19/705.66	c  N dy  7948   2522589       681      2969         0    100897      9022   1426982     19.83     20.99  --
2849.70/714.50	c  N dy  8049   2542599       681      2969         0    120734      9022   2008975     19.83     21.69  --
2892.36/725.22	c  N dy  8132   2562834       681      2969         0     71513      9022    579058     19.83     21.07  --
2917.88/731.66	c  N dy  8245   2583614       681      2969         0     92075      9022   1182254     19.84     21.03  --
2948.60/739.35	c  N dy  8322   2603637       681      2969         0    111922      9022   1765846     19.84     21.15  --
2988.88/749.47	c  N dy  8389   2624463       681      2969         0    132506      9022   2356166     19.84     20.93  --
3021.20/757.51	c  N dy  8470   2644633       681      2969         0     82190      9022    861617     19.84     20.90  --
3049.16/764.54	c  N dy  8544   2664723       681      2969         0    102027      9022   1428912     19.84     21.21  --
3093.38/775.65	c  N dy  8649   2689840       681      2969         0    126870      9022   2152221     19.84     20.96  --
3134.06/785.88	c  N dy  8738   2710331       681      2969         0     75915      9022    654672     19.85     20.95  --
3135.26/786.19	c  S st  8748   2711394       681      2969         0     76973      9022    686922     19.85     19.39  --
3136.06/786.39	c  S st  8748   2711894       681      2969         0     77473      9022    701500     19.85   no data  --
3136.06/786.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3136.06/786.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3136.48/786.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.17
3136.48/786.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3136.48/786.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3136.48/786.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
3136.48/786.47	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3146.43/788.99	c lits-rem:       296  cl-subs:      329  v-elim:      0  v-fix:    0  time: 10.06 s
3146.43/788.99	c vivif2 --  cl tried     2969 cl shrink        0 lits rem          0 time: 0.00
3146.82/789.00	c vivif2 --  cl tried    77144 cl shrink        0 lits rem          0 time: 0.04
3146.82/789.09	c asymm  cl-useful: 0/2969/2969 lits-rem:0 time: 0.37
3146.82/789.09	c calculated reachability. Time: 0.00
3146.82/789.09	c  N dy  8748   2711894       681      2969         0     77144      9022    691757     19.85   no data  --
3174.35/795.95	c  N dy  8843   2731943       681      2969         0     96992      9022   1272948     19.85     21.07  --
3209.05/804.66	c  N dy  8928   2752736       681      2969         0    117564      9022   1864173     19.85     20.94  --
3251.31/815.27	c  N dy  9013   2772822       681      2969         0    137423      9022   2438621     19.85     20.94  --
3284.83/823.60	c  N dy  9100   2794016       681      2969         0     86208      9022    931852     19.85     20.92  --
3315.54/831.34	c  N dy  9210   2814689       681      2969         0    106648      9022   1529530     19.86     21.05  --
3353.42/840.82	c  N dy  9316   2834763       681      2969         0    126517      9022   2103311     19.87     25.82  --
3397.70/851.93	c  N dy  9390   2855866       681      2969         0     74182      9022    559553     19.87     20.92  --
3423.22/858.34	c  N dy  9479   2875965       681      2969         0     94098      9022   1143075     19.87     20.93  --
3456.34/866.64	c  N dy  9602   2896143       681      2969         0    114100      9022   1732651     19.88     20.96  --
3501.40/877.95	c  N dy  9721   2917606       681      2969         0    135325      9022   2350601     19.89     20.98  --
3540.89/887.82	c  N dy  9829   2937667       681      2969         0     80956      9022    735230     19.89     22.38  --
3568.41/894.76	c  N dy  9898   2957778       681      2969         0    100822      9022   1305369     19.89     20.94  --
3610.74/905.36	c  N dy 10022   2977833       681      2969         0    120703      9022   1893818     19.90     21.65  --
3662.54/918.36	c  N dy 10163   2997919       681      2969         0    140609      9022   2483314     19.92     21.56  --
3699.62/927.65	c  N dy 10272   3018140       681      2969         0     85376      9022    844505     19.92     21.15  --
3728.35/934.85	c  N dy 10341   3038303       681      2969         0    105353      9022   1428656     19.92     20.98  --
3764.64/943.97	c  N dy 10445   3058403       681      2969         0    125242      9022   2013699     19.93     23.83  --
3809.72/955.25	c  N dy 10550   3078515       681      2969         0    145166      9022   2602157     19.93     21.09  --
3844.01/963.90	c  N dy 10654   3098660       681      2969         0     88892      9022    922617     19.94     21.02  --
3875.12/971.63	c  N dy 10752   3118817       681      2969         0    108837      9022   1506782     19.95     21.00  --
3917.42/982.24	c  N dy 10850   3138880       681      2969         0    128685      9022   2085068     19.95     21.06  --
3963.66/993.82	c  N dy 10940   3158894       681      2969         0    148485      9022   2663480     19.95     23.20  --
3998.36/1002.53	c  N dy 11045   3178897       681      2969         0     91078      9022    955990     19.96     21.01  --
4036.30/1012.07	c  N dy 11133   3200910       681      2969         0    112850      9022   1592927     19.96     21.18  --
4056.99/1017.24	c  S st 11171   3211894       681      2969         0    123712      9022   1906540     19.96     19.16  --
4058.58/1017.62	c  S st 11171   3212396       681      2969         0    124214      9022   1920736     19.96   no data  --
4058.58/1017.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4058.58/1017.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4058.58/1017.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.26
4058.98/1017.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4058.98/1017.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4058.98/1017.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
4058.98/1017.75	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4080.52/1023.13	c lits-rem:       412  cl-subs:     2201  v-elim:      0  v-fix:    0  time: 21.43 s
4080.52/1023.13	c vivif2 --  cl tried     2969 cl shrink        0 lits rem          0 time: 0.00
4080.52/1023.15	c vivif2 --  cl tried   122013 cl shrink        0 lits rem          0 time: 0.10
4081.32/1023.34	c asymm  cl-useful: 0/2969/2969 lits-rem:0 time: 0.76
4081.32/1023.35	c calculated reachability. Time: 0.00
4081.32/1023.35	c  N dy 11171   3212396       681      2969         0    122013      9022   1853768     19.96   no data  --
4121.61/1033.42	c  N dy 11249   3232490       681      2969         0    141905      9022   2432523     19.96     21.03  --
4163.88/1044.04	c  N dy 11338   3252575       681      2969         0     83622      9022    720479     19.96     21.20  --
4191.00/1050.88	c  N dy 11402   3272632       681      2969         0    103455      9022   1294257     19.96     21.03  --
4227.70/1060.07	c  N dy 11463   3293575       681      2969         0    124119      9022   1878238     19.95     21.05  --
4271.97/1071.17	c  N dy 11535   3315063       681      2969         0    145367      9022   2489486     19.95     21.18  --
4313.83/1081.66	c  N dy 11617   3335083       681      2969         0     86027      9022    763387     19.95     21.46  --
4342.98/1088.97	c  N dy 11686   3355103       681      2969         0    105799      9022   1327817     19.95     21.01  --
4378.85/1097.94	c  N dy 11765   3375404       681      2969         0    125874      9022   1909469     19.95     21.12  --
4427.91/1110.27	c  N dy 11862   3397747       681      2969         0    147967      9022   2550922     19.95     21.03  --
4474.59/1122.01	c  N dy 11981   3417833       681      2969         0     87762      9022    794637     19.96     24.03  --
4506.08/1129.80	c  N dy 12103   3437857       681      2969         0    107620      9022   1388451     19.97     21.11  --
4545.57/1139.71	c  N dy 12185   3458816       681      2969         0    128319      9022   1980910     19.97     21.23  --
4587.45/1150.23	c  N dy 12242   3479297       681      2969         0    148577      9022   2559072     19.96     21.04  --
4629.72/1160.83	c  N dy 12349   3499365       681      2969         0     87303      9022    761780     19.97     21.03  --
4660.43/1168.59	c  N dy 12448   3519709       681      2969         0    107468      9022   1346077     19.97     21.04  --
4697.11/1177.71	c  N dy 12507   3539874       681      2969         0    127409      9022   1923373     19.97     21.12  --
4741.79/1188.97	c  N dy 12611   3559972       681      2969         0    147300      9022   2516803     19.97     21.04  --
4784.31/1199.67	c  N dy 12648   3580039       681      2969         0     85005      9022    668108     19.97     21.70  --

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

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

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


[startup+0 s]
/proc/loadavg: 8.19 8.10 8.02 3/352 17805
/proc/meminfo: memFree=24255748/32951124 swapFree=65980216/67111528
[pid=17805] ppid=17802 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17805/stat : 17805 (strangenight1-m) R 17802 17805 17667 0 -1 4202496 417 0 0 0 0 0 0 0 23 0 4 0 633126957 52465664 357 33554432000 4194304 4650419 140734408523264 18446744073709551615 47164673161138 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17805/statm: 12809 357 306 112 0 7774 0
[pid=17805/tid=17808] ppid=17802 vsize=208484 CPUtime=0 cores=0,2,4,6
/proc/17805/task/17808/stat : 17808 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 220 0 0 0 0 0 0 0 25 0 4 0 633126958 213487616 945 33554432000 4194304 4650419 140734408523264 18446744073709551615 228095112225 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17805/tid=17809] ppid=17802 vsize=208484 CPUtime=0 cores=0,2,4,6
/proc/17805/task/17809/stat : 17809 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 4 0 633126958 213487616 952 33554432000 4194304 4650419 140734408523264 18446744073709551615 228095450939 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17805/tid=17810] ppid=17802 vsize=208484 CPUtime=0.01 cores=0,2,4,6
/proc/17805/task/17810/stat : 17810 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 152 0 0 0 1 0 0 0 25 0 4 0 633126958 213487616 953 33554432000 4194304 4650419 140734408523264 18446744073709551615 228095556127 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0816339 s]
/proc/loadavg: 8.19 8.10 8.02 3/352 17805
/proc/meminfo: memFree=24255748/32951124 swapFree=65980216/67111528
[pid=17805] ppid=17802 vsize=216908 CPUtime=0.28 cores=0,2,4,6
/proc/17805/stat : 17805 (strangenight1-m) R 17802 17805 17667 0 -1 4202496 1785 0 0 0 28 0 0 0 24 0 4 0 633126957 222113792 1640 33554432000 4194304 4650419 140734408523264 18446744073709551615 228095556078 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17805/statm: 54227 1641 391 112 0 49192 0
[pid=17805/tid=17808] ppid=17802 vsize=216908 CPUtime=0.07 cores=0,2,4,6
/proc/17805/task/17808/stat : 17808 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 421 0 0 0 7 0 0 0 25 0 4 0 633126958 222113792 1641 33554432000 4194304 4650419 140734408523264 18446744073709551615 4355007 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17805/tid=17809] ppid=17802 vsize=216908 CPUtime=0.05 cores=0,2,4,6
/proc/17805/task/17809/stat : 17809 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 315 0 0 0 5 0 0 0 18 0 4 0 633126958 222113792 1641 33554432000 4194304 4650419 140734408523264 18446744073709551615 228095556127 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17805/tid=17810] ppid=17802 vsize=216908 CPUtime=0.07 cores=0,2,4,6
/proc/17805/task/17810/stat : 17810 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 220 0 0 0 7 0 0 0 18 0 4 0 633126958 222113792 1641 33554432000 4194304 4650419 140734408523264 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 216908

[startup+0.116455 s]
/proc/loadavg: 8.19 8.10 8.02 3/352 17805
/proc/meminfo: memFree=24255748/32951124 swapFree=65980216/67111528
[pid=17805] ppid=17802 vsize=216908 CPUtime=0.42 cores=0,2,4,6
/proc/17805/stat : 17805 (strangenight1-m) R 17802 17805 17667 0 -1 4202496 1965 0 0 0 42 0 0 0 24 0 4 0 633126957 222113792 1820 33554432000 4194304 4650419 140734408523264 18446744073709551615 4363582 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17805/statm: 54227 1820 391 112 0 49192 0
[pid=17805/tid=17808] ppid=17802 vsize=216908 CPUtime=0.1 cores=0,2,4,6
/proc/17805/task/17808/stat : 17808 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 467 0 0 0 10 0 0 0 25 0 4 0 633126958 222113792 1820 33554432000 4194304 4650419 140734408523264 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17805/tid=17809] ppid=17802 vsize=216908 CPUtime=0.09 cores=0,2,4,6
/proc/17805/task/17809/stat : 17809 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 363 0 0 0 9 0 0 0 18 0 4 0 633126958 222113792 1820 33554432000 4194304 4650419 140734408523264 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17805/tid=17810] ppid=17802 vsize=216908 CPUtime=0.11 cores=0,2,4,6
/proc/17805/task/17810/stat : 17810 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 253 0 0 0 11 0 0 0 18 0 4 0 633126958 222113792 1820 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 216908

[startup+0.300422 s]
/proc/loadavg: 8.19 8.10 8.02 3/352 17805
/proc/meminfo: memFree=24255748/32951124 swapFree=65980216/67111528
[pid=17805] ppid=17802 vsize=218516 CPUtime=1.15 cores=0,2,4,6
/proc/17805/stat : 17805 (strangenight1-m) R 17802 17805 17667 0 -1 4202496 3127 0 0 0 115 0 0 0 25 0 4 0 633126957 223760384 2278 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17805/statm: 54629 2278 393 112 0 49594 0
[pid=17805/tid=17808] ppid=17802 vsize=218516 CPUtime=0.28 cores=0,2,4,6
/proc/17805/task/17808/stat : 17808 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 752 0 0 0 28 0 0 0 25 0 4 0 633126958 223760384 2278 33554432000 4194304 4650419 140734408523264 18446744073709551615 4328331 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17805/tid=17809] ppid=17802 vsize=218516 CPUtime=0.27 cores=0,2,4,6
/proc/17805/task/17809/stat : 17809 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 646 0 0 0 27 0 0 0 18 0 4 0 633126958 223760384 2278 33554432000 4194304 4650419 140734408523264 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17805/tid=17810] ppid=17802 vsize=218516 CPUtime=0.29 cores=0,2,4,6
/proc/17805/task/17810/stat : 17810 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 548 0 0 0 29 0 0 0 18 0 4 0 633126958 223760384 2278 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 218516

[startup+0.700349 s]
/proc/loadavg: 8.19 8.10 8.02 3/352 17805
/proc/meminfo: memFree=24255748/32951124 swapFree=65980216/67111528
[pid=17805] ppid=17802 vsize=219520 CPUtime=2.75 cores=0,2,4,6
/proc/17805/stat : 17805 (strangenight1-m) R 17802 17805 17667 0 -1 4202496 4955 0 0 0 275 0 0 0 25 0 4 0 633126957 224788480 3040 33554432000 4194304 4650419 140734408523264 18446744073709551615 4360483 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17805/statm: 54880 3040 393 112 0 49845 0
[pid=17805/tid=17808] ppid=17802 vsize=219520 CPUtime=0.68 cores=0,2,4,6
/proc/17805/task/17808/stat : 17808 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 1249 0 0 0 68 0 0 0 25 0 4 0 633126958 224788480 3040 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17805/tid=17809] ppid=17802 vsize=219520 CPUtime=0.67 cores=0,2,4,6
/proc/17805/task/17809/stat : 17809 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 1088 0 0 0 67 0 0 0 18 0 4 0 633126958 224788480 3041 33554432000 4194304 4650419 140734408523264 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17805/tid=17810] ppid=17802 vsize=219520 CPUtime=0.69 cores=0,2,4,6
/proc/17805/task/17810/stat : 17810 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 970 0 0 0 69 0 0 0 18 0 4 0 633126958 224788480 3041 33554432000 4194304 4650419 140734408523264 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 219520

[startup+1.5002 s]
/proc/loadavg: 8.18 8.10 8.02 10/362 17815
/proc/meminfo: memFree=24233472/32951124 swapFree=65980216/67111528
[pid=17805] ppid=17802 vsize=220844 CPUtime=5.94 cores=0,2,4,6
/proc/17805/stat : 17805 (strangenight1-m) R 17802 17805 17667 0 -1 4202496 10139 0 0 0 593 1 0 0 25 0 4 0 633126957 226144256 5219 33554432000 4194304 4650419 140734408523264 18446744073709551615 4476201 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17805/statm: 55211 5219 395 112 0 50176 0
[pid=17805/tid=17808] ppid=17802 vsize=220844 CPUtime=1.48 cores=0,2,4,6
/proc/17805/task/17808/stat : 17808 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 2203 0 0 0 148 0 0 0 25 0 4 0 633126958 226144256 5219 33554432000 4194304 4650419 140734408523264 18446744073709551615 4363604 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17805/tid=17809] ppid=17802 vsize=220844 CPUtime=1.47 cores=0,2,4,6
/proc/17805/task/17809/stat : 17809 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 2009 0 0 0 147 0 0 0 20 0 4 0 633126958 226144256 5219 33554432000 4194304 4650419 140734408523264 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17805/tid=17810] ppid=17802 vsize=220844 CPUtime=1.49 cores=0,2,4,6
/proc/17805/task/17810/stat : 17810 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 1745 0 0 0 149 0 0 0 20 0 4 0 633126958 226144256 5219 33554432000 4194304 4650419 140734408523264 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 220844

[startup+3.10091 s]
/proc/loadavg: 8.18 8.10 8.02 10/362 17815
/proc/meminfo: memFree=24205776/32951124 swapFree=65980216/67111528
[pid=17805] ppid=17802 vsize=202988 CPUtime=12.33 cores=0,2,4,6
/proc/17805/stat : 17805 (strangenight1-m) R 17802 17805 17667 0 -1 4202496 18459 0 0 0 1230 3 0 0 25 0 4 0 633126957 207859712 11522 33554432000 4194304 4650419 140734408523264 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17805/statm: 50747 11522 395 112 0 45712 0
[pid=17805/tid=17808] ppid=17802 vsize=202988 CPUtime=3.08 cores=0,2,4,6
/proc/17805/task/17808/stat : 17808 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 4330 0 0 0 308 0 0 0 25 0 4 0 633126958 207859712 11522 33554432000 4194304 4650419 140734408523264 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17805/tid=17809] ppid=17802 vsize=202988 CPUtime=3.06 cores=0,2,4,6
/proc/17805/task/17809/stat : 17809 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 4478 0 0 0 306 0 0 0 25 0 4 0 633126958 207859712 11522 33554432000 4194304 4650419 140734408523264 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17805/tid=17810] ppid=17802 vsize=202988 CPUtime=3.08 cores=0,2,4,6
/proc/17805/task/17810/stat : 17810 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 4581 0 0 0 308 0 0 0 25 0 4 0 633126958 207859712 11522 33554432000 4194304 4650419 140734408523264 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 202988

[startup+6.30032 s]
/proc/loadavg: 8.18 8.10 8.02 9/362 17815
/proc/meminfo: memFree=24153200/32951124 swapFree=65980216/67111528
[pid=17805] ppid=17802 vsize=277636 CPUtime=25.08 cores=0,2,4,6
/proc/17805/stat : 17805 (strangenight1-m) R 17802 17805 17667 0 -1 4202496 24664 0 0 0 2504 4 0 0 25 0 4 0 633126957 284299264 17240 33554432000 4194304 4650419 140734408523264 18446744073709551615 4229477 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17805/statm: 69409 17240 395 112 0 64374 0
[pid=17805/tid=17808] ppid=17802 vsize=277636 CPUtime=6.27 cores=0,2,4,6
/proc/17805/task/17808/stat : 17808 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 6286 0 0 0 627 0 0 0 25 0 4 0 633126958 284299264 17240 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17805/tid=17809] ppid=17802 vsize=277636 CPUtime=6.26 cores=0,2,4,6
/proc/17805/task/17809/stat : 17809 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 6562 0 0 0 625 1 0 0 25 0 4 0 633126958 284299264 17240 33554432000 4194304 4650419 140734408523264 18446744073709551615 4334622 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17805/tid=17810] ppid=17802 vsize=277636 CPUtime=6.29 cores=0,2,4,6
/proc/17805/task/17810/stat : 17810 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 5442 0 0 0 628 1 0 0 25 0 4 0 633126958 284299264 17241 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 277636

[startup+12.7011 s]
/proc/loadavg: 8.15 8.10 8.02 9/362 17845
/proc/meminfo: memFree=24151072/32951124 swapFree=65980216/67111528
[pid=17805] ppid=17802 vsize=305764 CPUtime=50.61 cores=0,2,4,6
/proc/17805/stat : 17805 (strangenight1-m) R 17802 17805 17667 0 -1 4202496 34817 0 0 0 5053 8 0 0 25 0 4 0 633126957 313102336 23888 33554432000 4194304 4650419 140734408523264 18446744073709551615 4334219 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17805/statm: 76441 23888 395 112 0 71406 0
[pid=17805/tid=17808] ppid=17802 vsize=305764 CPUtime=12.68 cores=0,2,4,6
/proc/17805/task/17808/stat : 17808 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 9868 0 0 0 1266 2 0 0 25 0 4 0 633126958 313102336 23888 33554432000 4194304 4650419 140734408523264 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17805/tid=17809] ppid=17802 vsize=305764 CPUtime=12.66 cores=0,2,4,6
/proc/17805/task/17809/stat : 17809 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 8558 0 0 0 1265 1 0 0 25 0 4 0 633126958 313102336 23888 33554432000 4194304 4650419 140734408523264 18446744073709551615 4330510 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17805/tid=17810] ppid=17802 vsize=305764 CPUtime=12.69 cores=0,2,4,6
/proc/17805/task/17810/stat : 17810 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 7551 0 0 0 1268 1 0 0 25 0 4 0 633126958 313102336 23888 33554432000 4194304 4650419 140734408523264 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 305764

[startup+25.5008 s]
/proc/loadavg: 8.13 8.09 8.02 9/362 17846
/proc/meminfo: memFree=24043372/32951124 swapFree=65980216/67111528
[pid=17805] ppid=17802 vsize=306752 CPUtime=101.66 cores=0,2,4,6
/proc/17805/stat : 17805 (strangenight1-m) R 17802 17805 17667 0 -1 4202496 49393 0 0 0 10155 11 0 0 25 0 4 0 633126957 314114048 31932 33554432000 4194304 4650419 140734408523264 18446744073709551615 4438393 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17805/statm: 76688 31932 395 112 0 71653 0
[pid=17805/tid=17808] ppid=17802 vsize=306752 CPUtime=25.48 cores=0,2,4,6
/proc/17805/task/17808/stat : 17808 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 16354 0 0 0 2544 4 0 0 25 0 4 0 633126958 314114048 31932 33554432000 4194304 4650419 140734408523264 18446744073709551615 4438661 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17805/tid=17809] ppid=17802 vsize=306752 CPUtime=25.46 cores=0,2,4,6
/proc/17805/task/17809/stat : 17809 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 12580 0 0 0 2544 2 0 0 25 0 4 0 633126958 314114048 31932 33554432000 4194304 4650419 140734408523264 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17805/tid=17810] ppid=17802 vsize=306752 CPUtime=25.48 cores=0,2,4,6
/proc/17805/task/17810/stat : 17810 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 8677 0 0 0 2547 1 0 0 25 0 4 0 633126958 314114048 31932 33554432000 4194304 4650419 140734408523264 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 306752

[startup+51.101 s]
/proc/loadavg: 8.14 8.10 8.02 9/362 17846
/proc/meminfo: memFree=23989720/32951124 swapFree=65980216/67111528
[pid=17805] ppid=17802 vsize=343872 CPUtime=203.77 cores=0,2,4,6
/proc/17805/stat : 17805 (strangenight1-m) R 17802 17805 17667 0 -1 4202496 74538 0 0 0 20358 19 0 0 25 0 4 0 633126957 352124928 37363 33554432000 4194304 4650419 140734408523264 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17805/statm: 85968 37363 395 112 0 80933 0
[pid=17805/tid=17808] ppid=17802 vsize=343872 CPUtime=51.07 cores=0,2,4,6
/proc/17805/task/17808/stat : 17808 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 23910 0 0 0 5101 6 0 0 25 0 4 0 633126958 352124928 37363 33554432000 4194304 4650419 140734408523264 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17805/tid=17809] ppid=17802 vsize=343872 CPUtime=51.05 cores=0,2,4,6
/proc/17805/task/17809/stat : 17809 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 19665 0 0 0 5101 4 0 0 25 0 4 0 633126958 352124928 37363 33554432000 4194304 4650419 140734408523264 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17805/tid=17810] ppid=17802 vsize=343872 CPUtime=51.09 cores=0,2,4,6
/proc/17805/task/17810/stat : 17810 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 11634 0 0 0 5107 2 0 0 25 0 4 0 633126958 352124928 37363 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.77
Current children cumulated vsize (KiB) 343872

[startup+102.314 s]
/proc/loadavg: 8.22 8.12 8.03 10/362 17848
/proc/meminfo: memFree=23894308/32951124 swapFree=65980216/67111528
[pid=17805] ppid=17802 vsize=440380 CPUtime=408.05 cores=0,2,4,6
/proc/17805/stat : 17805 (strangenight1-m) R 17802 17805 17667 0 -1 4202496 112932 0 0 0 40774 31 0 0 25 0 4 0 633126957 450949120 52473 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17805/statm: 110095 52473 395 112 0 105060 0
[pid=17805/tid=17808] ppid=17802 vsize=440380 CPUtime=102.29 cores=0,2,4,6
/proc/17805/task/17808/stat : 17808 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 32037 0 0 0 10220 9 0 0 25 0 4 0 633126958 450949120 52473 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17805/tid=17809] ppid=17802 vsize=440380 CPUtime=102.26 cores=0,2,4,6
/proc/17805/task/17809/stat : 17809 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 29831 0 0 0 10219 7 0 0 25 0 4 0 633126958 450949120 52473 33554432000 4194304 4650419 140734408523264 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17805/tid=17810] ppid=17802 vsize=440380 CPUtime=102.31 cores=0,2,4,6
/proc/17805/task/17810/stat : 17810 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 20475 0 0 0 10226 5 0 0 25 0 4 0 633126958 450949120 52473 33554432000 4194304 4650419 140734408523264 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.05
Current children cumulated vsize (KiB) 440380

[startup+162.301 s]

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

[pid=17805] ppid=17802 vsize=588624 CPUtime=2561.76 cores=0,2,4,6
/proc/17805/stat : 17805 (strangenight1-m) R 17802 17805 17667 0 -1 4202496 354612 0 0 0 256047 129 0 0 25 0 4 0 633126957 602750976 95476 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365327 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17805/statm: 147156 95476 395 112 0 142121 0
[pid=17805/tid=17808] ppid=17802 vsize=588624 CPUtime=642.29 cores=0,2,4,6
/proc/17805/task/17808/stat : 17808 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 85265 0 0 0 64195 34 0 0 25 0 4 0 633126958 602750976 95477 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17805/tid=17809] ppid=17802 vsize=588624 CPUtime=642.17 cores=0,2,4,6
/proc/17805/task/17809/stat : 17809 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 117036 0 0 0 64176 41 0 0 25 0 4 0 633126958 602750976 95477 33554432000 4194304 4650419 140734408523264 18446744073709551615 4364521 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17805/tid=17810] ppid=17802 vsize=588624 CPUtime=642.32 cores=0,2,4,6
/proc/17805/task/17810/stat : 17810 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 63392 0 0 0 64210 22 0 0 25 0 4 0 633126958 602750976 95477 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2561.76
Current children cumulated vsize (KiB) 588624

[startup+702.301 s]
/proc/loadavg: 8.12 8.13 8.07 9/362 17864
/proc/meminfo: memFree=23397684/32951124 swapFree=65980216/67111528
[pid=17805] ppid=17802 vsize=621980 CPUtime=2801.02 cores=0,2,4,6
/proc/17805/stat : 17805 (strangenight1-m) R 17802 17805 17667 0 -1 4202496 372658 0 0 0 279965 137 0 0 25 0 4 0 633126957 636907520 106720 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17805/statm: 155495 106720 395 112 0 150460 0
[pid=17805/tid=17808] ppid=17802 vsize=621980 CPUtime=702.28 cores=0,2,4,6
/proc/17805/task/17808/stat : 17808 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 90987 0 0 0 70192 36 0 0 25 0 4 0 633126958 636907520 106720 33554432000 4194304 4650419 140734408523264 18446744073709551615 4313443 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17805/tid=17809] ppid=17802 vsize=621980 CPUtime=702.16 cores=0,2,4,6
/proc/17805/task/17809/stat : 17809 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 122802 0 0 0 70172 44 0 0 25 0 4 0 633126958 636907520 106720 33554432000 4194304 4650419 140734408523264 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17805/tid=17810] ppid=17802 vsize=621980 CPUtime=702.31 cores=0,2,4,6
/proc/17805/task/17810/stat : 17810 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 63827 0 0 0 70209 22 0 0 25 0 4 0 633126958 636907520 106720 33554432000 4194304 4650419 140734408523264 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2801.02
Current children cumulated vsize (KiB) 621980

[startup+762.314 s]
/proc/loadavg: 8.20 8.14 8.07 9/362 17865
/proc/meminfo: memFree=23415392/32951124 swapFree=65980216/67111528
[pid=17805] ppid=17802 vsize=635668 CPUtime=3040.38 cores=0,2,4,6
/proc/17805/stat : 17805 (strangenight1-m) R 17802 17805 17667 0 -1 4202496 380749 0 0 0 303896 142 0 0 25 0 4 0 633126957 650924032 103661 33554432000 4194304 4650419 140734408523264 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17805/statm: 158917 103661 395 112 0 153882 0
[pid=17805/tid=17808] ppid=17802 vsize=635668 CPUtime=762.29 cores=0,2,4,6
/proc/17805/task/17808/stat : 17808 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 93980 0 0 0 76191 38 0 0 25 0 4 0 633126958 650924032 103661 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17805/tid=17809] ppid=17802 vsize=635668 CPUtime=762.16 cores=0,2,4,6
/proc/17805/task/17809/stat : 17809 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 126068 0 0 0 76171 45 0 0 25 0 4 0 633126958 650924032 103661 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17805/tid=17810] ppid=17802 vsize=635668 CPUtime=762.32 cores=0,2,4,6
/proc/17805/task/17810/stat : 17810 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 64152 0 0 0 76210 22 0 0 25 0 4 0 633126958 650924032 103661 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3040.38
Current children cumulated vsize (KiB) 635668

[startup+822.301 s]
/proc/loadavg: 8.14 8.12 8.07 9/362 17867
/proc/meminfo: memFree=23424792/32951124 swapFree=65980216/67111528
[pid=17805] ppid=17802 vsize=554760 CPUtime=3279.64 cores=0,2,4,6
/proc/17805/stat : 17805 (strangenight1-m) R 17802 17805 17667 0 -1 4202496 395620 0 0 0 327816 148 0 0 25 0 4 0 633126957 568074240 102300 33554432000 4194304 4650419 140734408523264 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17805/statm: 138690 102300 395 112 0 133655 0
[pid=17805/tid=17808] ppid=17802 vsize=554760 CPUtime=822.28 cores=0,2,4,6
/proc/17805/task/17808/stat : 17808 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 99759 0 0 0 82189 39 0 0 25 0 4 0 633126958 568074240 102300 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17805/tid=17809] ppid=17802 vsize=554760 CPUtime=822.14 cores=0,2,4,6
/proc/17805/task/17809/stat : 17809 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 133628 0 0 0 82165 49 0 0 25 0 4 0 633126958 568074240 102300 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17805/tid=17810] ppid=17802 vsize=554760 CPUtime=822.32 cores=0,2,4,6
/proc/17805/task/17810/stat : 17810 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 64503 0 0 0 82209 23 0 0 25 0 4 0 633126958 568074240 102300 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3279.64
Current children cumulated vsize (KiB) 554760

[startup+882.301 s]
/proc/loadavg: 8.18 8.13 8.08 9/362 17869
/proc/meminfo: memFree=23405684/32951124 swapFree=65980216/67111528
[pid=17805] ppid=17802 vsize=630908 CPUtime=3518.96 cores=0,2,4,6
/proc/17805/stat : 17805 (strangenight1-m) R 17802 17805 17667 0 -1 4202496 413408 0 0 0 351741 155 0 0 25 0 4 0 633126957 646049792 103454 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17805/statm: 157727 103454 395 112 0 152692 0
[pid=17805/tid=17808] ppid=17802 vsize=630908 CPUtime=882.28 cores=0,2,4,6
/proc/17805/task/17808/stat : 17808 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 102929 0 0 0 88188 40 0 0 25 0 4 0 633126958 646049792 103454 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365231 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17805/tid=17809] ppid=17802 vsize=630908 CPUtime=882.13 cores=0,2,4,6
/proc/17805/task/17809/stat : 17809 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 141260 0 0 0 88161 52 0 0 25 0 4 0 633126958 646049792 103454 33554432000 4194304 4650419 140734408523264 18446744073709551615 4351618 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17805/tid=17810] ppid=17802 vsize=630908 CPUtime=882.32 cores=0,2,4,6
/proc/17805/task/17810/stat : 17810 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 69480 0 0 0 88207 25 0 0 25 0 4 0 633126958 646049792 103454 33554432000 4194304 4650419 140734408523264 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3518.96
Current children cumulated vsize (KiB) 630908

[startup+942.301 s]
/proc/loadavg: 8.18 8.14 8.08 9/362 17870
/proc/meminfo: memFree=23372808/32951124 swapFree=65980216/67111528
[pid=17805] ppid=17802 vsize=637748 CPUtime=3758.27 cores=0,2,4,6
/proc/17805/stat : 17805 (strangenight1-m) R 17802 17805 17667 0 -1 4202496 430989 0 0 0 375662 165 0 0 25 0 4 0 633126957 653053952 112168 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17805/statm: 159437 112168 395 112 0 154402 0
[pid=17805/tid=17808] ppid=17802 vsize=637748 CPUtime=942.27 cores=0,2,4,6
/proc/17805/task/17808/stat : 17808 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 108592 0 0 0 94185 42 0 0 25 0 4 0 633126958 653053952 112168 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17805/tid=17809] ppid=17802 vsize=637748 CPUtime=942.12 cores=0,2,4,6
/proc/17805/task/17809/stat : 17809 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 148193 0 0 0 94156 56 0 0 25 0 4 0 633126958 653053952 112168 33554432000 4194304 4650419 140734408523264 18446744073709551615 4328275 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17805/tid=17810] ppid=17802 vsize=637748 CPUtime=942.32 cores=0,2,4,6
/proc/17805/task/17810/stat : 17810 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 74098 0 0 0 94203 29 0 0 25 0 4 0 633126958 653053952 112168 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365297 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3758.27
Current children cumulated vsize (KiB) 637748

[startup+1002.3 s]
/proc/loadavg: 8.18 8.14 8.09 9/362 17872
/proc/meminfo: memFree=23329376/32951124 swapFree=65980216/67111528
[pid=17805] ppid=17802 vsize=590492 CPUtime=3997.56 cores=0,2,4,6
/proc/17805/stat : 17805 (strangenight1-m) R 17802 17805 17667 0 -1 4202496 442752 0 0 0 399586 170 0 0 25 0 4 0 633126957 604663808 111607 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17805/statm: 147623 111607 395 112 0 142588 0
[pid=17805/tid=17808] ppid=17802 vsize=590492 CPUtime=1002.28 cores=0,2,4,6
/proc/17805/task/17808/stat : 17808 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 110566 0 0 0 100184 44 0 0 25 0 4 0 633126958 604663808 111607 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17805/tid=17809] ppid=17802 vsize=590492 CPUtime=1002.11 cores=0,2,4,6
/proc/17805/task/17809/stat : 17809 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 155281 0 0 0 100153 58 0 0 25 0 4 0 633126958 604663808 111607 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17805/tid=17810] ppid=17802 vsize=590492 CPUtime=1002.32 cores=0,2,4,6
/proc/17805/task/17810/stat : 17810 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 75134 0 0 0 100203 29 0 0 25 0 4 0 633126958 604663808 111607 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3997.56
Current children cumulated vsize (KiB) 590492

[startup+1062.3 s]
/proc/loadavg: 8.12 8.13 8.09 9/362 17873
/proc/meminfo: memFree=23256936/32951124 swapFree=65980216/67111528
[pid=17805] ppid=17802 vsize=704488 CPUtime=4236.87 cores=0,2,4,6
/proc/17805/stat : 17805 (strangenight1-m) R 17802 17805 17667 0 -1 4202496 461008 0 0 0 423508 179 0 0 25 0 4 0 633126957 721395712 124152 33554432000 4194304 4650419 140734408523264 18446744073709551615 4363510 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17805/statm: 176122 124152 395 112 0 171087 0
[pid=17805/tid=17808] ppid=17802 vsize=704488 CPUtime=1062.28 cores=0,2,4,6
/proc/17805/task/17808/stat : 17808 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 114888 0 0 0 106183 45 0 0 25 0 4 0 633126958 721395712 124152 33554432000 4194304 4650419 140734408523264 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17805/tid=17809] ppid=17802 vsize=704488 CPUtime=1062.1 cores=0,2,4,6
/proc/17805/task/17809/stat : 17809 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 161291 0 0 0 106149 61 0 0 25 0 4 0 633126958 721395712 124152 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17805/tid=17810] ppid=17802 vsize=704488 CPUtime=1062.32 cores=0,2,4,6
/proc/17805/task/17810/stat : 17810 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 78546 0 0 0 106202 30 0 0 25 0 4 0 633126958 721395712 124152 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4236.87
Current children cumulated vsize (KiB) 704488

[startup+1122.3 s]
/proc/loadavg: 8.14 8.13 8.09 9/362 17875
/proc/meminfo: memFree=23252932/32951124 swapFree=65980216/67111528
[pid=17805] ppid=17802 vsize=655392 CPUtime=4476.17 cores=0,2,4,6
/proc/17805/stat : 17805 (strangenight1-m) R 17802 17805 17667 0 -1 4202496 471763 0 0 0 447433 184 0 0 25 0 4 0 633126957 671121408 125442 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17805/statm: 163848 125442 395 112 0 158813 0
[pid=17805/tid=17808] ppid=17802 vsize=655392 CPUtime=1122.28 cores=0,2,4,6
/proc/17805/task/17808/stat : 17808 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 115220 0 0 0 112182 46 0 0 25 0 4 0 633126958 671121408 125442 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17805/tid=17809] ppid=17802 vsize=655392 CPUtime=1122.09 cores=0,2,4,6
/proc/17805/task/17809/stat : 17809 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 165408 0 0 0 112146 63 0 0 25 0 4 0 633126958 671121408 125442 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17805/tid=17810] ppid=17802 vsize=655392 CPUtime=1122.32 cores=0,2,4,6
/proc/17805/task/17810/stat : 17810 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 79514 0 0 0 112202 30 0 0 25 0 4 0 633126958 671121408 125442 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4476.17
Current children cumulated vsize (KiB) 655392

[startup+1182.3 s]
/proc/loadavg: 8.14 8.13 8.09 9/362 17876
/proc/meminfo: memFree=23250564/32951124 swapFree=65980216/67111528
[pid=17805] ppid=17802 vsize=758240 CPUtime=4715.46 cores=0,2,4,6
/proc/17805/stat : 17805 (strangenight1-m) R 17802 17805 17667 0 -1 4202496 476540 0 0 0 471358 188 0 0 25 0 4 0 633126957 776437760 124998 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17805/statm: 189560 124998 395 112 0 184525 0
[pid=17805/tid=17808] ppid=17802 vsize=758240 CPUtime=1182.27 cores=0,2,4,6
/proc/17805/task/17808/stat : 17808 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 115989 0 0 0 118180 47 0 0 25 0 4 0 633126958 776437760 124998 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17805/tid=17809] ppid=17802 vsize=758240 CPUtime=1182.08 cores=0,2,4,6
/proc/17805/task/17809/stat : 17809 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 166605 0 0 0 118144 64 0 0 25 0 4 0 633126958 776437760 124998 33554432000 4194304 4650419 140734408523264 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17805/tid=17810] ppid=17802 vsize=758240 CPUtime=1182.33 cores=0,2,4,6
/proc/17805/task/17810/stat : 17810 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 80023 0 0 0 118202 31 0 0 25 0 4 0 633126958 776437760 124998 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4715.46
Current children cumulated vsize (KiB) 758240



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.18 8.14 8.09 10/363 17880
/proc/meminfo: memFree=23206632/32951124 swapFree=65980216/67111528
[pid=17805] ppid=17802 vsize=669024 CPUtime=4800.16 cores=0,2,4,6
/proc/17805/stat : 17805 (strangenight1-m) R 17802 17805 17667 0 -1 4202496 481887 0 0 0 479824 192 0 0 25 0 4 0 633126957 685080576 128862 33554432000 4194304 4650419 140734408523264 18446744073709551615 4363510 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17805/statm: 167256 128862 395 112 0 162221 0
[pid=17805/tid=17808] ppid=17802 vsize=669024 CPUtime=1203.44 cores=0,2,4,6
/proc/17805/task/17808/stat : 17808 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 115989 0 0 0 120295 49 0 0 25 0 4 0 633126958 685080576 128863 33554432000 4194304 4650419 140734408523264 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17805/tid=17809] ppid=17802 vsize=669024 CPUtime=1203.27 cores=0,2,4,6
/proc/17805/task/17809/stat : 17809 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 169860 0 0 0 120262 65 0 0 25 0 4 0 633126958 685080576 128863 33554432000 4194304 4650419 140734408523264 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17805/tid=17810] ppid=17802 vsize=669024 CPUtime=1203.64 cores=0,2,4,6
/proc/17805/task/17810/stat : 17810 (strangenight1-m) R 17802 17805 17667 0 -1 4202560 80450 0 0 0 120333 31 0 0 25 0 4 0 633126958 685080576 128863 33554432000 4194304 4650419 140734408523264 18446744073709551615 4365216 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 669024

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.64
CPU time (s): 4800.23
CPU user time (s): 4798.29
CPU system time (s): 1.9477
CPU usage (%): 398.808
Max. virtual memory (cumulated for all children) (KiB): 758240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.29
system time used= 1.9477
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 481888
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= 279
involuntary context switches= 23415

runsolver used 3.99939 second user time and 9.8785 second system time

The end

Launcher Data 

Begin job on node142 at 2011-05-14 23:05:15
IDJOB=3368944
IDBENCH=82953
IDSOLVER=1846
FILE ID=node142/3368944-1305407115
RUNJOBID= node142-1305405909-17685
PBS_JOBID= 13324504
Free space on /tmp= 73444 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v700-c2982-S893015585-015.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368944-1305407115/watcher-3368944-1305407115 -o /tmp/evaluation-result-3368944-1305407115/solver-3368944-1305407115 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368944-1305407115.cnf

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

MD5SUM BENCH= 30f9bf8e3b9c70d1ebd1c611372c0c4a
RANDOM SEED=1413535121

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24256316 kB
Buffers:        314860 kB
Cached:        3836784 kB
SwapCached:      11520 kB
Active:        6042876 kB
Inactive:      2320820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24256316 kB
SwapTotal:    67111528 kB
SwapFree:     65980216 kB
Dirty:           12516 kB
Writeback:           0 kB
AnonPages:     4208972 kB
Mapped:          19960 kB
Slab:           234012 kB
PageTables:      31884 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 77019736 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= 73432 MiB
End job on node142 at 2011-05-14 23:25:21