Trace number 3368880

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.39 1203.35

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368880-1305405255.cnf'
0.00/0.01	c -- header says num vars:             60
0.00/0.01	c -- header says num clauses:        5340
0.37/0.13	c -- clauses added:            0 learnts,         5340 normals,            0 xors
0.37/0.13	c -- vars added         60
0.37/0.13	c Parsing time:  0.01 s
0.37/0.13	c  N st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.37/0.13	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.46
0.37/0.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.77/0.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.77/0.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.77/0.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
0.77/0.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.77/0.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
0.77/0.28	c Finding binary XORs  T:     0.00 s  found:       0
0.77/0.28	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.77/0.28	c calculated reachability. Time: 0.00
0.77/0.28	c Calc default polars -  time:   0.00 s pos:      28 undec:       2 neg:      30
0.77/0.28	c =========================================================================================
0.77/0.28	c types(t): F = full restart, N = normal restart
0.77/0.28	c types(t): S = simplification begin/end, E = solution found
0.77/0.28	c restart types(rt): st = static, dy = dynamic
0.77/0.28	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.77/0.28	c  B st     0         0        60      5340         0         0     37380         0   no data   no data  --
2.76/0.76	c  N dy     7      4343        60      5340         0      3859     37380     83761     18.04     19.05  --
2.76/0.76	c  N dy    21     15728        60      5340         0      7921     37380    150447     17.30     18.25  --
3.16/0.85	c  N dy    59     19763        60      5340         0      6577     37380    119127     17.80     20.00  --
3.99/1.10	c  F st    81     25000        60      5340         0     11251     37380    217598     17.91     16.23  --
3.99/1.10	c  N st    81     25000        60      5340         0     11251     37380    217598     17.91     16.23  --
5.16/1.31	c  N dy    87     30000        60      5340         0      9665     37380    175130     17.91   no data  --
5.16/1.31	c  S st    87     30000        60      5340         0      9665     37380    175130     17.91   no data  --
5.16/1.35	c  S st    87     30504        60      5340         0     10119     37380    185231     17.91   no data  --
5.16/1.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.16/1.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.16/1.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
5.16/1.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.79/2.26	c lits-rem:      1478  cl-subs:     1205  v-elim:      0  v-fix:    0  time:  3.62 s
9.94/2.52	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.04
9.94/2.53	c calculated reachability. Time: 0.00
9.94/2.53	c  N dy    87     30504        60      5340         0      8914     37380    159276     17.91   no data  --
11.94/3.00	c  N dy   102     40084        60      5340         0     10377     37380    176422     17.58     18.67  --
12.76/3.25	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.53/3.41	c  S st   152     46258        60      5340         0      8002     37380    121306     17.85   no data  --
13.53/3.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.53/3.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.53/3.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.53/3.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.53/3.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.53/3.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
13.53/3.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.33/4.11	c lits-rem:       128  cl-subs:       23  v-elim:      0  v-fix:    0  time:  2.78 s
16.33/4.11	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
16.33/4.11	c vivif2 --  cl tried     7979 cl shrink        0 lits rem          0 time: 0.00
17.16/4.34	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.88
17.16/4.34	c calculated reachability. Time: 0.00
17.16/4.34	c  N dy   152     46258        60      5340         0      7979     37380    120779     17.85   no data  --
18.72/4.78	c  N dy   174     54767        60      5340         0     15551     37380    278440     17.77     18.71  --
19.92/5.07	c  N dy   205     58793        60      5340         0     10272     37380    158709     17.88     18.99  --
21.11/5.31	c  N dy   224     63031        60      5340         0     14022     37380    239160     17.94     19.01  --
22.71/5.73	c  N dy   229     69244        60      5340         0      9759     37380    140266     17.86     18.83  --
22.71/5.74	c  S st   231     69387        60      5340         0      9886     37380    142956     17.87   no data  --
22.71/5.77	c  S st   231     69888        60      5340         0     10346     37380    153179     17.87   no data  --
22.71/5.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.71/5.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
22.71/5.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
22.71/5.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
22.71/5.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22.71/5.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
22.71/5.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.34/6.63	c lits-rem:       207  cl-subs:       98  v-elim:      0  v-fix:    0  time:  3.39 s
26.34/6.63	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
26.34/6.63	c vivif2 --  cl tried    10248 cl shrink        0 lits rem          0 time: 0.01
27.49/6.91	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.10
27.49/6.91	c calculated reachability. Time: 0.00
27.49/6.91	c  N dy   231     69888        60      5340         0     10248     37380    150559     17.87   no data  --
28.29/7.17	c  N dy   259     74412        60      5340         0     14312     37380    237385     17.93     19.89  --
29.89/7.50	c  N dy   267     79799        60      5340         0     19044     37380    335441     17.88     18.84  --
31.48/7.95	c  N dy   279     86993        60      5340         0     14773     37380    232749     17.83     18.81  --
31.48/7.99	c  F st   284     87500        60      5340         0     15216     37380    242445     17.84   no data  --
33.08/8.32	c  N dy   290     92697        60      5340         0     19809     37380    341048     17.84   no data  --
34.70/8.79	c  N dy   324     98679        60      5340         0     13666     37380    202888     17.89     19.48  --
36.66/9.21	c  S st   350    104833        60      5340         0     19148     37380    319599     17.91   no data  --
36.66/9.27	c  S st   350    105336        60      5340         0     19610     37380    329757     17.91   no data  --
36.66/9.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.66/9.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.66/9.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
36.66/9.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.66/9.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.66/9.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
36.66/9.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.47/10.91	c lits-rem:      1870  cl-subs:     1898  v-elim:      0  v-fix:    0  time:  6.46 s
43.47/10.91	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
43.47/10.91	c vivif2 --  cl tried    17712 cl shrink        0 lits rem          0 time: 0.01
44.64/11.27	c asymm  cl-useful: 0/4295/5340 lits-rem:0 time: 1.41
44.64/11.27	c calculated reachability. Time: 0.00
44.64/11.27	c  N dy   350    105336        60      5340         0     17712     37380    287276     17.91   no data  --
50.23/12.69	c  N dy   377    127520        60      5340         0     24949     37380    420784     17.66     18.66  --
53.02/13.33	c  N dy   425    135689        60      5340         0     18978     37380    296416     17.73     20.36  --
56.23/14.15	c  N dy   502    144415        60      5340         0     26799     37380    466733     17.85     19.20  --
59.41/14.92	c  N dy   532    154697        60      5340         0     21704     37380    341987     17.85     18.89  --
60.61/15.24	c  S st   558    158004        60      5340         0     24702     37380    407389     17.89     18.45  --
61.03/15.31	c  S st   558    158508        60      5340         0     25161     37380    417786     17.89   no data  --
61.03/15.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
61.03/15.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
61.03/15.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
61.03/15.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
61.03/15.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
61.03/15.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
61.03/15.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
68.99/17.30	c lits-rem:      2083  cl-subs:     2740  v-elim:      0  v-fix:    0  time:  7.88 s
68.99/17.30	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
68.99/17.31	c vivif2 --  cl tried    22421 cl shrink        0 lits rem          0 time: 0.02
69.39/17.46	c asymm  cl-useful: 0/1045/5340 lits-rem:0 time: 0.61
69.39/17.46	c calculated reachability. Time: 0.00
69.39/17.46	c  N dy   558    158508        60      5340         0     22421     37380    358377     17.89   no data  --
73.77/18.60	c  N dy   625    169447        60      5340         0     17226     37380    239145     17.96     18.95  --
79.00/19.83	c  N dy   691    183200        60      5340         0     29491     37380    498690     17.99     18.99  --
82.55/20.76	c  N dy   711    194961        60      5340         0     23942     37380    368287     17.95     20.97  --
87.78/22.01	c  N dy   737    207408        60      5340         0     18121     37380    240892     17.91     20.99  --
95.32/23.97	c  N dy   757    229390        60      5340         0     19798     37380    261791     17.76     18.70  --
98.52/24.76	c  S st   818    237763        60      5340         0     27234     37380    421491     17.81     18.54  --
98.91/24.83	c  S st   818    238268        60      5340         0     27687     37380    431494     17.81   no data  --
98.91/24.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
98.91/24.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
98.91/24.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
98.91/24.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
98.91/24.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
98.91/24.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
98.91/24.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
106.89/26.87	c lits-rem:      1875  cl-subs:     2340  v-elim:      0  v-fix:    0  time:  8.07 s
106.89/26.87	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
106.89/26.88	c vivif2 --  cl tried    25347 cl shrink        0 lits rem          0 time: 0.02
108.49/27.26	c asymm  cl-useful: 0/3329/5340 lits-rem:0 time: 1.53
108.49/27.26	c calculated reachability. Time: 0.00
108.49/27.26	c  N dy   818    238268        60      5340         0     25347     37380    380300     17.81   no data  --
115.66/29.04	c  N dy   921    253491        60      5340         0     20415     37380    266094     17.89     19.39  --
122.48/30.75	c  N dy  1026    269765        60      5340         0     34949     37380    580112     17.96     20.37  --
128.83/32.36	c  N dy  1052    287001        60      5340         0     30693     37380    466689     17.91     19.37  --
136.81/34.35	c  N dy  1125    305357        60      5340         0     26678     37380    378494     17.93     19.29  --
137.21/34.45	c  F st  1132    306250        60      5340         0     27483     37380    396126     17.94     17.67  --
145.19/36.46	c  N dy  1147    325473        60      5340         0     23203     37380    293707     17.91     18.91  --
154.36/38.74	c  N dy  1238    345546        60      5340         0     41071     37380    673692     17.94     21.43  --
159.95/40.18	c  S st  1316    357402        60      5340         0     29420     37380    419730     17.98     17.97  --
160.35/40.25	c  S st  1316    357905        60      5340         0     29873     37380    429855     17.98   no data  --
160.35/40.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
160.35/40.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
160.35/40.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
160.35/40.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
160.35/40.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
160.35/40.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
160.35/40.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
169.93/42.60	c lits-rem:      1458  cl-subs:     1686  v-elim:      0  v-fix:    0  time:  9.28 s
169.93/42.60	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
169.93/42.61	c vivif2 --  cl tried    28187 cl shrink        0 lits rem          0 time: 0.02
171.17/42.98	c asymm  cl-useful: 0/2011/5340 lits-rem:0 time: 1.47
171.17/42.98	c calculated reachability. Time: 0.00
171.17/42.98	c  N dy  1316    357905        60      5340         0     28187     37380    390924     17.98   no data  --
182.69/45.89	c  N dy  1410    377962        60      5340         0     45924     37380    769133     18.01     18.97  --
192.68/48.39	c  N dy  1471    398004        60      5340         0     40740     37380    648954     18.01     19.03  --
208.23/52.24	c  N dy  1548    428809        60      5340         0     44147     37380    702608     17.98     19.04  --
217.80/54.60	c  N dy  1608    448900        60      5340         0     37161     37380    548370     17.96     19.83  --
229.76/57.66	c  N dy  1724    468943        60      5340         0     29277     37380    372140     18.00     19.00  --
240.15/60.23	c  N dy  1817    488985        60      5340         0     47067     37380    754207     18.02     19.75  --
251.71/63.16	c  N dy  1927    509069        60      5340         0     38316     37380    556456     18.05     19.24  --
264.87/66.49	c  N dy  2028    529714        60      5340         0     29110     37380    345689     18.08     19.06  --
268.47/67.32	c  S st  2064    536857        60      5340         0     35492     37380    483211     18.08   no data  --
268.87/67.41	c  S st  2064    537361        60      5340         0     35953     37380    493292     18.08   no data  --
268.87/67.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
268.87/67.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
268.87/67.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
268.87/67.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
268.87/67.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
268.87/67.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
268.87/67.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
277.64/69.66	c lits-rem:       748  cl-subs:     2005  v-elim:      0  v-fix:    0  time:  8.88 s
277.64/69.66	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
277.64/69.67	c vivif2 --  cl tried    33948 cl shrink        0 lits rem          0 time: 0.02
279.24/70.05	c asymm  cl-useful: 0/2601/5340 lits-rem:0 time: 1.52
279.24/70.05	c calculated reachability. Time: 0.00
279.24/70.05	c  N dy  2064    537361        60      5340         0     33948     37380    449857     18.08   no data  --
290.40/72.81	c  N dy  2110    557373        60      5340         0     51595     37380    820565     18.06     19.13  --
302.82/75.99	c  N dy  2132    582228        60      5340         0     45137     37380    659531     17.99     19.06  --
314.75/78.91	c  N dy  2138    602579        60      5340         0     33926     37380    424011     17.94     18.93  --
327.51/82.14	c  N dy  2242    624003        60      5340         0     52901     37380    828933     17.95     18.94  --
340.68/85.48	c  N dy  2369    644069        60      5340         0     40731     37380    570844     17.99     19.06  --
354.65/88.90	c  N dy  2454    664133        60      5340         0     58515     37380    949911     18.00     19.10  --
369.00/92.52	c  N dy  2617    684153        60      5340         0     45408     37380    664469     18.05     20.65  --
385.37/96.65	c  N dy  2723    704239        60      5340         0     63252     37380   1048971     18.07     20.86  --
408.49/102.45	c  N dy  2841    739384        60      5340         0     62232     37380    990293     18.05     19.02  --
420.48/105.42	c  N dy  2885    759487        60      5340         0     47247     37380    670849     18.05     19.07  --
436.02/109.35	c  N dy  2968    780188        60      5340         0     65557     37380   1061757     18.05     19.01  --
448.79/112.51	c  N dy  3040    800346        60      5340         0     49871     37380    719503     18.06     19.01  --
453.18/113.63	c  S st  3085    806043        60      5340         0     54942     37380    830998     18.07     17.73  --
453.58/113.77	c  S st  3085    806548        60      5340         0     55400     37380    841411     18.07   no data  --
453.58/113.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
453.58/113.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
453.58/113.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.08
453.98/113.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
453.98/113.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
453.98/113.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
453.98/113.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
484.30/121.45	c lits-rem:      2860  cl-subs:     5414  v-elim:      0  v-fix:    0  time: 30.44 s
484.30/121.45	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
484.30/121.46	c vivif2 --  cl tried    49986 cl shrink        0 lits rem          0 time: 0.04
485.50/121.77	c asymm  cl-useful: 0/757/5340 lits-rem:0 time: 1.25
485.50/121.78	c calculated reachability. Time: 0.00
485.50/121.78	c  N dy  3085    806548        60      5340         0     49986     37380    724338     18.07   no data  --
503.45/126.21	c  N dy  3181    826870        60      5340         0     68036     37380   1111539     18.08     19.04  --
516.62/129.59	c  N dy  3267    848938        60      5340         0     53288     37380    779588     18.08     19.06  --
535.76/134.35	c  N dy  3385    869900        60      5340         0     36602     37380    414712     18.10     19.06  --
546.94/137.18	c  N dy  3427    889967        60      5340         0     54336     37380    786143     18.09     21.06  --
568.89/142.61	c  N dy  3536    917097        60      5340         0     42115     37380    517514     18.09     19.28  --
582.45/146.08	c  N dy  3606    937204        60      5340         0     59887     37380    898582     18.10     19.12  --
601.24/150.79	c  N dy  3712    957599        60      5340         0     40888     37380    486052     18.12     19.15  --
615.55/154.31	c  N dy  3807    977751        60      5340         0     58725     37380    870078     18.13     19.12  --
636.34/159.52	c  N dy  3922    999788        60      5340         0     40197     37380    459578     18.14     19.11  --
649.51/162.82	c  N dy  4000   1019877        60      5340         0     57973     37380    841858     18.15     21.39  --
666.65/167.13	c  N dy  4063   1039882        60      5340         0     75671     37380   1215879     18.14     20.17  --
684.96/171.74	c  N dy  4132   1066654        60      5340         0     60219     37380    869677     18.13     19.16  --
689.76/172.95	c  F st  4154   1071876        60      5340         0     64836     37380    968622     18.13     18.23  --
704.52/176.67	c  N dy  4163   1091241        60      5340         0     42139     37380    480098     18.11     19.10  --
719.72/180.45	c  N dy  4283   1111273        60      5340         0     59914     37380    864478     18.13     19.75  --
740.42/185.66	c  N dy  4393   1131311        60      5340         0     77669     37380   1251024     18.15     19.21  --
756.77/189.76	c  N dy  4438   1154061        60      5340         0     57085     37380    787241     18.14     19.12  --
777.92/195.02	c  N dy  4551   1174084        60      5340         0     74853     37380   1172202     18.15     19.25  --
800.26/200.67	c  N dy  4644   1194126        60      5340         0     51094     37380    655598     18.16     20.65  --
819.42/205.40	c  S st  4738   1209823        60      5340         0     65014     37380    956721     18.17   no data  --
820.24/205.65	c  S st  4738   1210329        60      5340         0     65468     37380    966962     18.17   no data  --
820.24/205.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
820.24/205.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
820.24/205.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.16
820.65/205.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
820.65/205.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
820.65/205.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
820.65/205.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
899.99/225.68	c lits-rem:      3527  cl-subs:     5904  v-elim:      0  v-fix:    0  time: 79.59 s
899.99/225.68	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
899.99/225.70	c vivif2 --  cl tried    59564 cl shrink        0 lits rem          0 time: 0.05
901.19/225.99	c asymm  cl-useful: 0/645/5340 lits-rem:0 time: 1.17
901.19/225.99	c calculated reachability. Time: 0.00
901.19/225.99	c  N dy  4738   1210329        60      5340         0     59564     37380    836715     18.17   no data  --
924.73/231.90	c  N dy  4837   1233659        60      5340         0     80171     37380   1281040     18.18     19.16  --
941.88/236.11	c  N dy  4897   1254481        60      5340         0     56464     37380    760600     18.18     19.21  --
957.83/240.10	c  N dy  4898   1276558        60      5340         0     75739     37380   1152125     18.15     19.35  --
976.59/244.84	c  N dy  4937   1296597        60      5340         0     50399     37380    621915     18.14     19.20  --
995.34/249.60	c  N dy  5001   1318058        60      5340         0     69306     37380   1023969     18.13     19.13  --
1024.46/256.80	c  N dy  5117   1338065        60      5340         0     87085     37380   1410681     18.15     20.14  --
1044.03/261.75	c  N dy  5189   1360510        60      5340         0     62826     37380    874812     18.15     19.29  --
1067.94/267.72	c  N dy  5302   1380591        60      5340         0     80647     37380   1260705     18.16     20.68  --
1091.08/273.57	c  N dy  5383   1404931        60      5340         0     57001     37380    730976     18.15     19.17  --
1106.64/277.46	c  N dy  5424   1425022        60      5340         0     74705     37380   1097863     18.14     19.72  --
1132.21/283.84	c  N dy  5499   1447777        60      5340         0     48891     37380    555417     18.14     19.13  --
1151.32/288.65	c  N dy  5622   1470376        60      5340         0     68859     37380    987561     18.15     19.13  --
1176.10/294.85	c  N dy  5689   1493998        60      5340         0     89674     37380   1427369     18.15     19.26  --
1194.80/299.50	c  N dy  5772   1514094        60      5340         0     60688     37380    801051     18.15     19.36  --
1215.94/304.88	c  N dy  5906   1534104        60      5340         0     78398     37380   1188263     18.17     19.18  --
1243.47/311.71	c  N dy  6011   1554147        60      5340         0     48424     37380    528616     18.18     20.26  --
1259.05/315.61	c  N dy  6096   1574219        60      5340         0     66151     37380    909259     18.18     19.88  --
1279.78/320.81	c  N dy  6138   1594992        60      5340         0     84351     37380   1292835     18.18     19.17  --
1302.12/326.45	c  N dy  6168   1617156        60      5340         0     55296     37380    657120     18.16     19.16  --
1322.05/331.41	c  N dy  6231   1639945        60      5340         0     75426     37380   1084648     18.16     19.19  --
1348.39/338.01	c  N dy  6347   1660010        60      5340         0     93232     37380   1470673     18.17     20.03  --
1371.13/343.78	c  N dy  6422   1684675        60      5340         0     65427     37380    865608     18.17     19.14  --
1390.28/348.60	c  N dy  6472   1704769        60      5340         0     83042     37380   1237822     18.16     19.33  --
1397.86/350.43	c  S st  6501   1710329        60      5340         0     87937     37380   1343715     18.17     16.26  --
1398.66/350.69	c  S st  6501   1710831        60      5340         0     88381     37380   1353749     18.17   no data  --
1399.06/350.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1399.06/350.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1399.06/350.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.17
1399.06/350.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1399.06/350.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1399.06/350.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
1399.06/350.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1596.12/400.15	c lits-rem:      6682  cl-subs:    11511  v-elim:      0  v-fix:    0  time: 196.88 s
1596.12/400.15	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
1596.12/400.17	c vivif2 --  cl tried    76870 cl shrink        0 lits rem          0 time: 0.07
1598.11/400.62	c asymm  cl-useful: 0/522/5340 lits-rem:0 time: 1.78
1598.11/400.62	c calculated reachability. Time: 0.00
1598.11/400.62	c  N dy  6501   1710831        60      5340         0     76870     37380   1114574     18.17   no data  --
1627.65/408.01	c  N dy  6541   1730878        60      5340         0     94406     37380   1480353     18.16     20.87  --
1653.16/414.44	c  N dy  6606   1750926        60      5340         0     62725     37380    811018     18.16     21.42  --
1682.28/421.79	c  N dy  6718   1771416        60      5340         0     80846     37380   1204316     18.17     19.16  --
1714.59/429.84	c  N dy  6808   1791456        60      5340         0     98552     37380   1584486     18.17     20.46  --
1739.73/436.11	c  N dy  6893   1811513        60      5340         0     65496     37380    856830     18.17     20.24  --
1765.66/442.61	c  N dy  6995   1831586        60      5340         0     83266     37380   1242295     18.18     19.96  --
1799.97/451.24	c  N dy  7025   1861157        60      5340         0     57221     37380    660308     18.15     19.24  --
1860.65/466.46	c  N dy  7126   1916813        60      5340         0     53326     37380    575046     18.10     19.08  --
1874.96/470.01	c  N dy  7145   1936898        60      5340         0     70949     37380    944530     18.09     21.48  --
1898.50/475.98	c  N dy  7245   1956933        60      5340         0     88664     37380   1327721     18.09     19.67  --
1932.82/484.56	c  N dy  7380   1978889        60      5340         0     54504     37380    588878     18.11     19.12  --
1952.39/489.48	c  N dy  7504   1998987        60      5340         0     72320     37380    977261     18.12     20.84  --
1976.70/495.59	c  N dy  7606   2019077        60      5340         0     90169     37380   1364558     18.12     19.15  --
2004.62/502.55	c  N dy  7676   2039123        60      5340         0    107775     37380   1740920     18.12     19.60  --
2026.98/508.20	c  N dy  7813   2059183        60      5340         0     70891     37380    935346     18.14     19.75  --
2049.69/513.84	c  N dy  7908   2079235        60      5340         0     88582     37380   1318078     18.14     19.41  --
2082.01/521.99	c  N dy  7949   2104422        60      5340         0    110625     37380   1776074     18.13     19.37  --
2101.16/526.71	c  N dy  8019   2124514        60      5340         0     72775     37380    959105     18.13     19.44  --
2125.90/532.96	c  N dy  8121   2144538        60      5340         0     90414     37380   1340700     18.14     19.65  --
2158.64/541.16	c  N dy  8251   2165345        60      5340         0    108751     37380   1741349     18.15     19.23  --
2183.35/547.33	c  N dy  8375   2186064        60      5340         0     70774     37380    913694     18.16     19.12  --
2206.90/553.25	c  N dy  8470   2206140        60      5340         0     88433     37380   1292942     18.16     20.16  --
2212.05/554.55	c  S st  8473   2210831        60      5340         0     92569     37380   1376442     18.16     15.91  --
2213.25/554.83	c  S st  8473   2211334        60      5340         0     93026     37380   1387018     18.16   no data  --
2213.25/554.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2213.25/554.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2213.25/554.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
2213.65/554.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2213.65/554.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2213.65/554.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
2213.65/554.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2354.89/590.31	c lits-rem:      5215  cl-subs:     9906  v-elim:      0  v-fix:    0  time: 141.15 s
2354.89/590.31	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
2354.89/590.32	c vivif2 --  cl tried    83120 cl shrink        0 lits rem          0 time: 0.07
2356.52/590.73	c asymm  cl-useful: 0/484/5340 lits-rem:0 time: 1.61
2356.52/590.73	c calculated reachability. Time: 0.00
2356.52/590.73	c  N dy  8473   2211334        60      5340         0     83120     37380   1173940     18.16   no data  --
2383.59/597.54	c  N dy  8524   2231379        60      5340         0    100732     37380   1547636     18.15     20.16  --
2420.70/606.88	c  N dy  8637   2252967        60      5340         0     63155     37380    742570     18.16     19.14  --
2449.81/614.12	c  N dy  8705   2276019        60      5340         0     83344     37380   1168944     18.16     19.33  --
2514.06/630.25	c  N dy  8785   2322330        60      5340         0     65985     37380    777508     18.13     19.18  --
2543.57/637.65	c  N dy  8862   2343977        60      5340         0     85008     37380   1182556     18.13     19.15  --
2582.25/647.33	c  N dy  8977   2364610        60      5340         0    103228     37380   1578519     18.14     19.15  --
2620.14/656.88	c  N dy  9061   2384662        60      5340         0     62139     37380    694786     18.14     21.22  --
2649.27/664.16	c  N dy  9177   2405378        60      5340         0     80484     37380   1093388     18.15     19.18  --
2686.76/673.52	c  N dy  9227   2432543        60      5340         0    104297     37380   1595061     18.14     19.12  --
2724.28/682.96	c  N dy  9313   2452570        60      5340         0     62178     37380    684516     18.14     19.64  --
2747.40/688.76	c  N dy  9369   2473021        60      5340         0     80248     37380   1070123     18.14     19.15  --
2778.52/696.57	c  N dy  9463   2493096        60      5340         0     97927     37380   1451131     18.15     19.76  --
2816.85/706.14	c  N dy  9540   2513130        60      5340         0    115572     37380   1831473     18.15     20.91  --
2849.54/714.34	c  N dy  9688   2533214        60      5340         0     72663     37380    907965     18.16     19.83  --
2877.47/721.32	c  N dy  9782   2553373        60      5340         0     90478     37380   1292646     18.16     19.21  --
2911.77/729.94	c  N dy  9863   2573401        60      5340         0    108198     37380   1676929     18.17     19.32  --
2949.67/739.44	c  N dy  9992   2593493        60      5340         0     64245     37380    709753     18.18     20.54  --
2970.45/744.69	c  N dy 10068   2613683        60      5340         0     82068     37380   1088401     18.18     19.20  --
2999.15/751.83	c  N dy 10181   2633734        60      5340         0     99825     37380   1475935     18.18     20.39  --
3033.46/760.42	c  N dy 10297   2653841        60      5340         0    117524     37380   1861839     18.19     19.26  --
3063.02/767.88	c  N dy 10415   2673931        60      5340         0     72644     37380    884427     18.20     20.50  --
3088.51/774.22	c  N dy 10515   2693995        60      5340         0     90329     37380   1266033     18.20     21.43  --
3112.03/780.12	c  S st 10572   2711334        60      5340         0    105641     37380   1591490     18.20     16.27  --
3113.23/780.47	c  S st 10572   2711835        60      5340         0    106090     37380   1601573     18.20   no data  --
3113.23/780.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3113.23/780.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3113.64/780.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
3113.64/780.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3113.64/780.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3113.64/780.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
3113.64/780.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3553.25/890.71	c lits-rem:      6236  cl-subs:    11611  v-elim:      0  v-fix:    0  time: 439.27 s
3553.25/890.71	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
3553.25/890.73	c vivif2 --  cl tried    94479 cl shrink        0 lits rem          0 time: 0.08
3554.83/891.13	c asymm  cl-useful: 0/573/5340 lits-rem:0 time: 1.59
3554.83/891.14	c calculated reachability. Time: 0.00
3554.83/891.14	c  N dy 10572   2711835        60      5340         0     94479     37380   1349746     18.20   no data  --
3601.91/903.00	c  N dy 10595   2741983        60      5340         0    120636     37380   1887536     18.18     19.27  --
3632.23/910.53	c  N dy 10670   2762031        60      5340         0     75619     37380    939408     18.18     19.57  --
3664.17/918.55	c  N dy 10809   2782113        60      5340         0     93447     37380   1331171     18.19     19.31  --
3704.42/928.64	c  N dy 10846   2807267        60      5340         0    115405     37380   1787515     18.18     19.14  --
3752.29/940.62	c  N dy 10913   2831896        60      5340         0     73122     37380    876627     18.18     19.15  --
3789.00/949.80	c  N dy 10974   2859186        60      5340         0     96964     37380   1377630     18.17     19.17  --
3833.27/960.95	c  N dy 11088   2879978        60      5340         0    115317     37380   1778730     18.18     19.18  --
3883.16/973.49	c  N dy 11211   2900032        60      5340         0     68115     37380    758144     18.19     19.61  --
3911.86/980.60	c  N dy 11301   2920066        60      5340         0     85794     37380   1140410     18.19     19.23  --
3962.56/993.34	c  N dy 11451   2945525        60      5340         0    108264     37380   1632740     18.20     19.16  --
4005.60/1004.19	c  N dy 11532   2965812        60      5340         0    126196     37380   2018485     18.20     19.19  --
4055.07/1016.56	c  N dy 11556   3005664        60      5340         0     94858     37380   1286738     18.18     19.16  --
4092.18/1025.83	c  N dy 11612   3030359        60      5340         0    116366     37380   1736183     18.17     19.17  --
4139.26/1037.67	c  N dy 11708   3051371        60      5340         0     68330     37380    743696     18.18     19.24  --
4167.98/1044.86	c  N dy 11789   3073348        60      5340         0     87723     37380   1159701     18.18     19.14  --
4201.49/1053.22	c  N dy 11888   3093368        60      5340         0    105408     37380   1543582     18.18     19.18  --
4238.62/1062.55	c  N dy 12005   3113436        60      5340         0    123054     37380   1928992     18.19     20.32  --
4280.88/1073.19	c  N dy 12021   3147070        60      5340         0     84796     37380   1059745     18.17     19.16  --
4316.39/1082.08	c  N dy 12136   3167096        60      5340         0    102508     37380   1445858     18.17     20.57  --
4359.07/1092.77	c  N dy 12274   3187162        60      5340         0    120270     37380   1834644     18.18     19.16  --
4406.13/1104.56	c  N dy 12358   3207632        60      5340         0     69679     37380    749795     18.18     19.17  --
4411.31/1105.87	c  S st 12372   3211835        60      5340         0     73374     37380    828254     18.18     16.40  --
4412.51/1106.12	c  S st 12372   3212339        60      5340         0     73837     37380    838728     18.18   no data  --
4412.51/1106.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4412.51/1106.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4412.51/1106.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
4412.51/1106.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4412.51/1106.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4412.51/1106.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
4412.51/1106.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4482.32/1123.65	c lits-rem:       807  cl-subs:     1645  v-elim:      0  v-fix:    0  time: 69.65 s
4482.32/1123.65	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
4482.32/1123.66	c vivif2 --  cl tried    72192 cl shrink        0 lits rem          0 time: 0.05
4483.92/1124.04	c asymm  cl-useful: 0/612/5340 lits-rem:0 time: 1.51
4483.92/1124.04	c calculated reachability. Time: 0.00
4483.92/1124.04	c  N dy 12372   3212339        60      5340         0     72192     37380    804663     18.18   no data  --
4515.48/1131.96	c  N dy 12507   3233259        60      5340         0     90662     37380   1211527     18.19     19.20  --
4547.34/1139.94	c  N dy 12568   3254326        60      5340         0    109121     37380   1606751     18.19     19.15  --
4614.37/1156.74	c  N dy 12588   3301841        60      5340         0     81206     37380    970083     18.16     19.19  --
4648.27/1165.23	c  N dy 12644   3331185        60      5340         0    106900     37380   1512852     18.16     19.17  --
4683.78/1174.19	c  N dy 12759   3351186        60      5340         0    124556     37380   1895582     18.16     19.14  --
4723.27/1184.08	c  N dy 12832   3374650        60      5340         0     75007     37380    841215     18.16     19.15  --
4752.02/1191.22	c  N dy 12971   3396021        60      5340         0     93934     37380   1256346     18.17     19.15  --
4784.70/1199.49	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: 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-3368880-1305405255/watcher-3368880-1305405255 -o /tmp/evaluation-result-3368880-1305405255/solver-3368880-1305405255 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368880-1305405255.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.51 7.96 7.97 5/315 18117
/proc/meminfo: memFree=15688552/32950928 swapFree=67085488/67111528
[pid=18117] ppid=18113 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/18117/stat : 18117 (strangenight1-m) R 18113 18117 17424 0 -1 4202496 411 0 0 0 0 0 0 0 18 0 4 0 730756182 52465664 352 33554432000 4194304 4650419 140737314335616 18446744073709551615 47454660511666 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18117/statm: 12809 352 303 112 0 7774 0
[pid=18117/tid=18118] ppid=18113 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/18117/task/18118/stat : 18118 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 730756182 52465664 352 33554432000 4194304 4650419 140737314335616 18446744073709551615 47454660511664 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18117/tid=18119] ppid=18113 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/18117/task/18119/stat : 18119 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 730756182 52465664 352 33554432000 4194304 4650419 140737314335616 18446744073709551615 47454660511670 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18117/tid=18121] ppid=18113 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/18117/task/18121/stat : 18121 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 730756182 52465664 352 33554432000 4194304 4650419 140737314335616 18446744073709551615 231895546865 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0667699 s]
/proc/loadavg: 7.51 7.96 7.97 5/315 18117
/proc/meminfo: memFree=15688552/32950928 swapFree=67085488/67111528
[pid=18117] ppid=18113 vsize=281904 CPUtime=0.24 cores=0,2,4,6
/proc/18117/stat : 18117 (strangenight1-m) R 18113 18117 17424 0 -1 4202496 1256 0 0 0 24 0 0 0 18 0 4 0 730756182 288669696 1164 33554432000 4194304 4650419 140737314335616 18446744073709551615 4370596 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18117/statm: 70476 1164 366 112 0 65441 0
[pid=18117/tid=18118] ppid=18113 vsize=281904 CPUtime=0.06 cores=0,2,4,6
/proc/18117/task/18118/stat : 18118 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 192 0 0 0 6 0 0 0 18 0 4 0 730756182 288669696 1164 33554432000 4194304 4650419 140737314335616 18446744073709551615 4370519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18117/tid=18119] ppid=18113 vsize=281904 CPUtime=0.06 cores=0,2,4,6
/proc/18117/task/18119/stat : 18119 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 186 0 0 0 6 0 0 0 18 0 4 0 730756182 288669696 1164 33554432000 4194304 4650419 140737314335616 18446744073709551615 4371092 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18117/tid=18121] ppid=18113 vsize=281904 CPUtime=0.05 cores=0,2,4,6
/proc/18117/task/18121/stat : 18121 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 269 0 0 0 5 0 0 0 21 0 4 0 730756182 288669696 1164 33554432000 4194304 4650419 140737314335616 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 281904

[startup+0.100763 s]
/proc/loadavg: 7.51 7.96 7.97 5/315 18117
/proc/meminfo: memFree=15688552/32950928 swapFree=67085488/67111528
[pid=18117] ppid=18113 vsize=281904 CPUtime=0.37 cores=0,2,4,6
/proc/18117/stat : 18117 (strangenight1-m) R 18113 18117 17424 0 -1 4202496 1328 0 0 0 37 0 0 0 18 0 4 0 730756182 288669696 1236 33554432000 4194304 4650419 140737314335616 18446744073709551615 4370532 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18117/statm: 70476 1236 366 112 0 65441 0
[pid=18117/tid=18118] ppid=18113 vsize=281904 CPUtime=0.09 cores=0,2,4,6
/proc/18117/task/18118/stat : 18118 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 197 0 0 0 9 0 0 0 18 0 4 0 730756182 288669696 1236 33554432000 4194304 4650419 140737314335616 18446744073709551615 4370456 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18117/tid=18119] ppid=18113 vsize=281904 CPUtime=0.09 cores=0,2,4,6
/proc/18117/task/18119/stat : 18119 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 190 0 0 0 9 0 0 0 18 0 4 0 730756182 288669696 1236 33554432000 4194304 4650419 140737314335616 18446744073709551615 4371148 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18117/tid=18121] ppid=18113 vsize=281904 CPUtime=0.08 cores=0,2,4,6
/proc/18117/task/18121/stat : 18121 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 327 0 0 0 8 0 0 0 21 0 4 0 730756182 288669696 1236 33554432000 4194304 4650419 140737314335616 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 281904

[startup+0.300727 s]
/proc/loadavg: 7.51 7.96 7.97 5/315 18117
/proc/meminfo: memFree=15688552/32950928 swapFree=67085488/67111528
[pid=18117] ppid=18113 vsize=285408 CPUtime=1.17 cores=0,2,4,6
/proc/18117/stat : 18117 (strangenight1-m) R 18113 18117 17424 0 -1 4202496 3601 0 0 0 117 0 0 0 18 0 4 0 730756182 292257792 2705 33554432000 4194304 4650419 140737314335616 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18117/statm: 71352 2705 390 112 0 66317 0
[pid=18117/tid=18118] ppid=18113 vsize=285408 CPUtime=0.29 cores=0,2,4,6
/proc/18117/task/18118/stat : 18118 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 851 0 0 0 29 0 0 0 18 0 4 0 730756182 292257792 2705 33554432000 4194304 4650419 140737314335616 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18117/tid=18119] ppid=18113 vsize=285408 CPUtime=0.29 cores=0,2,4,6
/proc/18117/task/18119/stat : 18119 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 856 0 0 0 29 0 0 0 18 0 4 0 730756182 292257792 2705 33554432000 4194304 4650419 140737314335616 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18117/tid=18121] ppid=18113 vsize=285408 CPUtime=0.28 cores=0,2,4,6
/proc/18117/task/18121/stat : 18121 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 633 0 0 0 28 0 0 0 21 0 4 0 730756182 292257792 2705 33554432000 4194304 4650419 140737314335616 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 285408

[startup+0.700654 s]
/proc/loadavg: 7.51 7.96 7.97 5/315 18117
/proc/meminfo: memFree=15688552/32950928 swapFree=67085488/67111528
[pid=18117] ppid=18113 vsize=286392 CPUtime=2.76 cores=0,2,4,6
/proc/18117/stat : 18117 (strangenight1-m) R 18113 18117 17424 0 -1 4202496 5558 0 0 0 276 0 0 0 18 0 4 0 730756182 293265408 3480 33554432000 4194304 4650419 140737314335616 18446744073709551615 4229514 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18117/statm: 71598 3481 390 112 0 66563 0
[pid=18117/tid=18118] ppid=18113 vsize=286392 CPUtime=0.69 cores=0,2,4,6
/proc/18117/task/18118/stat : 18118 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 1288 0 0 0 69 0 0 0 18 0 4 0 730756182 293265408 3481 33554432000 4194304 4650419 140737314335616 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18117/tid=18119] ppid=18113 vsize=286392 CPUtime=0.69 cores=0,2,4,6
/proc/18117/task/18119/stat : 18119 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 1308 0 0 0 69 0 0 0 18 0 4 0 730756182 293265408 3481 33554432000 4194304 4650419 140737314335616 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18117/tid=18121] ppid=18113 vsize=286392 CPUtime=0.68 cores=0,2,4,6
/proc/18117/task/18121/stat : 18121 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 1249 0 0 0 68 0 0 0 22 0 4 0 730756182 293265408 3481 33554432000 4194304 4650419 140737314335616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 286392

[startup+1.50051 s]
/proc/loadavg: 7.63 7.98 7.97 10/323 18125
/proc/meminfo: memFree=15663812/32950928 swapFree=67085488/67111528
[pid=18117] ppid=18113 vsize=292896 CPUtime=5.95 cores=0,2,4,6
/proc/18117/stat : 18117 (strangenight1-m) R 18113 18117 17424 0 -1 4202496 9966 0 0 0 594 1 0 0 20 0 4 0 730756182 299925504 5390 33554432000 4194304 4650419 140737314335616 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18117/statm: 73224 5390 392 112 0 68189 0
[pid=18117/tid=18118] ppid=18113 vsize=292896 CPUtime=1.48 cores=0,2,4,6
/proc/18117/task/18118/stat : 18118 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 2104 0 0 0 148 0 0 0 19 0 4 0 730756182 299925504 5391 33554432000 4194304 4650419 140737314335616 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18117/tid=18119] ppid=18113 vsize=292896 CPUtime=1.49 cores=0,2,4,6
/proc/18117/task/18119/stat : 18119 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 2122 0 0 0 149 0 0 0 19 0 4 0 730756182 299925504 5391 33554432000 4194304 4650419 140737314335616 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18117/tid=18121] ppid=18113 vsize=292896 CPUtime=1.47 cores=0,2,4,6
/proc/18117/task/18121/stat : 18121 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 2056 0 0 0 147 0 0 0 25 0 4 0 730756182 299925504 5391 33554432000 4194304 4650419 140737314335616 18446744073709551615 4334120 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 292896

[startup+3.10021 s]
/proc/loadavg: 7.63 7.98 7.97 10/323 18125
/proc/meminfo: memFree=15628280/32950928 swapFree=67085488/67111528
[pid=18117] ppid=18113 vsize=293160 CPUtime=12.34 cores=0,2,4,6
/proc/18117/stat : 18117 (strangenight1-m) R 18113 18117 17424 0 -1 4202496 16330 0 0 0 1232 2 0 0 25 0 4 0 730756182 300195840 10082 33554432000 4194304 4650419 140737314335616 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18117/statm: 73290 10082 392 112 0 68255 0
[pid=18117/tid=18118] ppid=18113 vsize=293160 CPUtime=3.08 cores=0,2,4,6
/proc/18117/task/18118/stat : 18118 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 3505 0 0 0 308 0 0 0 25 0 4 0 730756182 300195840 10082 33554432000 4194304 4650419 140737314335616 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18117/tid=18119] ppid=18113 vsize=293160 CPUtime=3.09 cores=0,2,4,6
/proc/18117/task/18119/stat : 18119 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 4342 0 0 0 309 0 0 0 25 0 4 0 730756182 300195840 10082 33554432000 4194304 4650419 140737314335616 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18117/tid=18121] ppid=18113 vsize=293160 CPUtime=3.06 cores=0,2,4,6
/proc/18117/task/18121/stat : 18121 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 4372 0 0 0 305 1 0 0 25 0 4 0 730756182 300195840 10082 33554432000 4194304 4650419 140737314335616 18446744073709551615 4370732 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 293160

[startup+6.30061 s]
/proc/loadavg: 7.66 7.98 7.97 10/323 18125
/proc/meminfo: memFree=15597296/32950928 swapFree=67085488/67111528
[pid=18117] ppid=18113 vsize=294764 CPUtime=25.11 cores=0,2,4,6
/proc/18117/stat : 18117 (strangenight1-m) R 18113 18117 17424 0 -1 4202496 24112 0 0 0 2506 5 0 0 25 0 4 0 730756182 301838336 11693 33554432000 4194304 4650419 140737314335616 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18117/statm: 73691 11693 392 112 0 68656 0
[pid=18117/tid=18118] ppid=18113 vsize=294764 CPUtime=6.28 cores=0,2,4,6
/proc/18117/task/18118/stat : 18118 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 6006 0 0 0 626 2 0 0 25 0 4 0 730756182 301838336 11693 33554432000 4194304 4650419 140737314335616 18446744073709551615 4370701 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18117/tid=18119] ppid=18113 vsize=294764 CPUtime=6.29 cores=0,2,4,6
/proc/18117/task/18119/stat : 18119 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 6261 0 0 0 628 1 0 0 25 0 4 0 730756182 301838336 11693 33554432000 4194304 4650419 140737314335616 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18117/tid=18121] ppid=18113 vsize=294764 CPUtime=6.22 cores=0,2,4,6
/proc/18117/task/18121/stat : 18121 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 6314 0 0 0 621 1 0 0 25 0 4 0 730756182 301838336 11693 33554432000 4194304 4650419 140737314335616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 294764

[startup+12.7004 s]
/proc/loadavg: 7.69 7.98 7.97 10/323 18126
/proc/meminfo: memFree=15556052/32950928 swapFree=67085488/67111528
[pid=18117] ppid=18113 vsize=295504 CPUtime=50.63 cores=0,2,4,6
/proc/18117/stat : 18117 (strangenight1-m) R 18113 18117 17424 0 -1 4202496 35666 0 0 0 5057 6 0 0 25 0 4 0 730756182 302596096 16978 33554432000 4194304 4650419 140737314335616 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18117/statm: 73876 16978 392 112 0 68841 0
[pid=18117/tid=18118] ppid=18113 vsize=295504 CPUtime=12.68 cores=0,2,4,6
/proc/18117/task/18118/stat : 18118 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 8524 0 0 0 1266 2 0 0 25 0 4 0 730756182 302596096 16978 33554432000 4194304 4650419 140737314335616 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18117/tid=18119] ppid=18113 vsize=295504 CPUtime=12.69 cores=0,2,4,6
/proc/18117/task/18119/stat : 18119 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 8971 0 0 0 1268 1 0 0 25 0 4 0 730756182 302596096 16978 33554432000 4194304 4650419 140737314335616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18117/tid=18121] ppid=18113 vsize=295504 CPUtime=12.55 cores=0,2,4,6
/proc/18117/task/18121/stat : 18121 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 9893 0 0 0 1254 1 0 0 25 0 4 0 730756182 302596096 16978 33554432000 4194304 4650419 140737314335616 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 295504

[startup+25.501 s]
/proc/loadavg: 7.73 7.98 7.97 10/323 18126
/proc/meminfo: memFree=15519952/32950928 swapFree=67085488/67111528
[pid=18117] ppid=18113 vsize=315596 CPUtime=101.7 cores=0,2,4,6
/proc/18117/stat : 18117 (strangenight1-m) R 18113 18117 17424 0 -1 4202496 54045 0 0 0 10159 11 0 0 25 0 4 0 730756182 323170304 22399 33554432000 4194304 4650419 140737314335616 18446744073709551615 4432376 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18117/statm: 78899 22399 392 112 0 73864 0
[pid=18117/tid=18118] ppid=18113 vsize=315596 CPUtime=25.48 cores=0,2,4,6
/proc/18117/task/18118/stat : 18118 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 13819 0 0 0 2545 3 0 0 25 0 4 0 730756182 323170304 22399 33554432000 4194304 4650419 140737314335616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18117/tid=18119] ppid=18113 vsize=315596 CPUtime=25.49 cores=0,2,4,6
/proc/18117/task/18119/stat : 18119 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 12889 0 0 0 2547 2 0 0 25 0 4 0 730756182 323170304 22399 33554432000 4194304 4650419 140737314335616 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18117/tid=18121] ppid=18113 vsize=315596 CPUtime=25.22 cores=0,2,4,6
/proc/18117/task/18121/stat : 18121 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 14589 0 0 0 2520 2 0 0 25 0 4 0 730756182 323170304 22399 33554432000 4194304 4650419 140737314335616 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 315596

[startup+51.1003 s]
/proc/loadavg: 7.94 8.01 7.99 10/323 18127
/proc/meminfo: memFree=15486340/32950928 swapFree=67085488/67111528
[pid=18117] ppid=18113 vsize=308660 CPUtime=203.83 cores=0,2,4,6
/proc/18117/stat : 18117 (strangenight1-m) R 18113 18117 17424 0 -1 4202496 78978 0 0 0 20365 18 0 0 25 0 4 0 730756182 316067840 25901 33554432000 4194304 4650419 140737314335616 18446744073709551615 4365286 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18117/statm: 77165 25901 392 112 0 72130 0
[pid=18117/tid=18118] ppid=18113 vsize=308660 CPUtime=51.08 cores=0,2,4,6
/proc/18117/task/18118/stat : 18118 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 19639 0 0 0 5103 5 0 0 25 0 4 0 730756182 316067840 25901 33554432000 4194304 4650419 140737314335616 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18117/tid=18119] ppid=18113 vsize=308660 CPUtime=51.08 cores=0,2,4,6
/proc/18117/task/18119/stat : 18119 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 20552 0 0 0 5103 5 0 0 25 0 4 0 730756182 316067840 25901 33554432000 4194304 4650419 140737314335616 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18117/tid=18121] ppid=18113 vsize=308660 CPUtime=50.56 cores=0,2,4,6
/proc/18117/task/18121/stat : 18121 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 22501 0 0 0 5051 5 0 0 25 0 4 0 730756182 316067840 25901 33554432000 4194304 4650419 140737314335616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.83
Current children cumulated vsize (KiB) 308660

[startup+102.313 s]
/proc/loadavg: 8.09 8.04 8.00 10/323 18128
/proc/meminfo: memFree=15423804/32950928 swapFree=67085488/67111528
[pid=18117] ppid=18113 vsize=319984 CPUtime=408.14 cores=0,2,4,6
/proc/18117/stat : 18117 (strangenight1-m) R 18113 18117 17424 0 -1 4202496 117764 0 0 0 40782 32 0 0 25 0 4 0 730756182 327663616 32638 33554432000 4194304 4650419 140737314335616 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18117/statm: 79996 32638 392 112 0 74961 0
[pid=18117/tid=18118] ppid=18113 vsize=319984 CPUtime=102.3 cores=0,2,4,6
/proc/18117/task/18118/stat : 18118 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 27299 0 0 0 10222 8 0 0 25 0 4 0 730756182 327663616 32638 33554432000 4194304 4650419 140737314335616 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18117/tid=18119] ppid=18113 vsize=319984 CPUtime=102.3 cores=0,2,4,6
/proc/18117/task/18119/stat : 18119 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 32241 0 0 0 10221 9 0 0 25 0 4 0 730756182 327663616 32638 33554432000 4194304 4650419 140737314335616 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18117/tid=18121] ppid=18113 vsize=319984 CPUtime=101.24 cores=0,2,4,6
/proc/18117/task/18121/stat : 18121 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 35554 0 0 0 10115 9 0 0 25 0 4 0 730756182 327663616 32638 33554432000 4194304 4650419 140737314335616 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.14
Current children cumulated vsize (KiB) 319984

[startup+162.301 s]

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

[pid=18117] ppid=18113 vsize=368652 CPUtime=2801.66 cores=0,2,4,6
/proc/18117/stat : 18117 (strangenight1-m) R 18113 18117 17424 0 -1 4202496 369454 0 0 0 280040 126 0 0 25 0 4 0 730756182 377499648 69456 33554432000 4194304 4650419 140737314335616 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18117/statm: 92163 69456 392 112 0 87128 0
[pid=18117/tid=18118] ppid=18113 vsize=368652 CPUtime=702.3 cores=0,2,4,6
/proc/18117/task/18118/stat : 18118 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 85898 0 0 0 70197 33 0 0 25 0 4 0 730756182 377499648 69456 33554432000 4194304 4650419 140737314335616 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18117/tid=18119] ppid=18113 vsize=368652 CPUtime=702.29 cores=0,2,4,6
/proc/18117/task/18119/stat : 18119 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 102402 0 0 0 70192 37 0 0 25 0 4 0 730756182 377499648 69456 33554432000 4194304 4650419 140737314335616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18117/tid=18121] ppid=18113 vsize=368652 CPUtime=694.85 cores=0,2,4,6
/proc/18117/task/18121/stat : 18121 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 110904 0 0 0 69455 30 0 0 25 0 4 0 730756182 377499648 69456 33554432000 4194304 4650419 140737314335616 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2801.66
Current children cumulated vsize (KiB) 368652

[startup+762.313 s]
/proc/loadavg: 8.15 8.12 8.04 10/323 18149
/proc/meminfo: memFree=15089412/32950928 swapFree=67085488/67111528
[pid=18117] ppid=18113 vsize=381124 CPUtime=3041.08 cores=0,2,4,6
/proc/18117/stat : 18117 (strangenight1-m) R 18113 18117 17424 0 -1 4202496 386338 0 0 0 303975 133 0 0 25 0 4 0 730756182 390270976 70540 33554432000 4194304 4650419 140737314335616 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18117/statm: 95281 70540 392 112 0 90246 0
[pid=18117/tid=18118] ppid=18113 vsize=381124 CPUtime=762.31 cores=0,2,4,6
/proc/18117/task/18118/stat : 18118 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 85910 0 0 0 76198 33 0 0 25 0 4 0 730756182 390270976 70540 33554432000 4194304 4650419 140737314335616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18117/tid=18119] ppid=18113 vsize=381124 CPUtime=762.31 cores=0,2,4,6
/proc/18117/task/18119/stat : 18119 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 108437 0 0 0 76190 41 0 0 25 0 4 0 730756182 390270976 70540 33554432000 4194304 4650419 140737314335616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18117/tid=18121] ppid=18113 vsize=381124 CPUtime=754.23 cores=0,2,4,6
/proc/18117/task/18121/stat : 18121 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 119351 0 0 0 75391 32 0 0 25 0 4 0 730756182 390270976 70540 33554432000 4194304 4650419 140737314335616 18446744073709551615 4313456 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3041.08
Current children cumulated vsize (KiB) 381124

[startup+822.3 s]
/proc/loadavg: 8.13 8.11 8.04 10/323 18150
/proc/meminfo: memFree=15055796/32950928 swapFree=67085488/67111528
[pid=18117] ppid=18113 vsize=390308 CPUtime=3280.38 cores=0,2,4,6
/proc/18117/stat : 18117 (strangenight1-m) R 18113 18117 17424 0 -1 4202496 394410 0 0 0 327902 136 0 0 25 0 4 0 730756182 399675392 73124 33554432000 4194304 4650419 140737314335616 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18117/statm: 97577 73124 392 112 0 92542 0
[pid=18117/tid=18118] ppid=18113 vsize=390308 CPUtime=822.3 cores=0,2,4,6
/proc/18117/task/18118/stat : 18118 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 87843 0 0 0 82196 34 0 0 25 0 4 0 730756182 399675392 73124 33554432000 4194304 4650419 140737314335616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18117/tid=18119] ppid=18113 vsize=390308 CPUtime=822.3 cores=0,2,4,6
/proc/18117/task/18119/stat : 18119 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 113185 0 0 0 82187 43 0 0 25 0 4 0 730756182 399675392 73124 33554432000 4194304 4650419 140737314335616 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18117/tid=18121] ppid=18113 vsize=390308 CPUtime=813.58 cores=0,2,4,6
/proc/18117/task/18121/stat : 18121 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 120662 0 0 0 81326 32 0 0 25 0 4 0 730756182 399675392 73124 33554432000 4194304 4650419 140737314335616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3280.38
Current children cumulated vsize (KiB) 390308

[startup+882.3 s]
/proc/loadavg: 8.05 8.09 8.03 10/323 18152
/proc/meminfo: memFree=15040496/32950928 swapFree=67085488/67111528
[pid=18117] ppid=18113 vsize=521432 CPUtime=3519.72 cores=0,2,4,6
/proc/18117/stat : 18117 (strangenight1-m) R 18113 18117 17424 0 -1 4202496 403018 0 0 0 351832 140 0 0 25 0 4 0 730756182 533946368 78302 33554432000 4194304 4650419 140737314335616 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18117/statm: 130358 78302 392 112 0 125323 0
[pid=18117/tid=18118] ppid=18113 vsize=521432 CPUtime=882.31 cores=0,2,4,6
/proc/18117/task/18118/stat : 18118 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 90157 0 0 0 88196 35 0 0 25 0 4 0 730756182 533946368 78302 33554432000 4194304 4650419 140737314335616 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18117/tid=18119] ppid=18113 vsize=521432 CPUtime=882.29 cores=0,2,4,6
/proc/18117/task/18119/stat : 18119 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 117414 0 0 0 88184 45 0 0 25 0 4 0 730756182 533946368 78302 33554432000 4194304 4650419 140737314335616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18117/tid=18121] ppid=18113 vsize=521432 CPUtime=872.92 cores=0,2,4,6
/proc/18117/task/18121/stat : 18121 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 122727 0 0 0 87259 33 0 0 25 0 4 0 730756182 533946368 78302 33554432000 4194304 4650419 140737314335616 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3519.72
Current children cumulated vsize (KiB) 521432

[startup+942.301 s]
/proc/loadavg: 8.02 8.07 8.02 10/323 18153
/proc/meminfo: memFree=15024480/32950928 swapFree=67085488/67111528
[pid=18117] ppid=18113 vsize=521548 CPUtime=3759.08 cores=0,2,4,6
/proc/18117/stat : 18117 (strangenight1-m) R 18113 18117 17424 0 -1 4202496 420060 0 0 0 375762 146 0 0 25 0 4 0 730756182 534065152 80527 33554432000 4194304 4650419 140737314335616 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18117/statm: 130387 80527 392 112 0 125352 0
[pid=18117/tid=18118] ppid=18113 vsize=521548 CPUtime=942.3 cores=0,2,4,6
/proc/18117/task/18118/stat : 18118 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 98621 0 0 0 94195 35 0 0 25 0 4 0 730756182 534065152 80527 33554432000 4194304 4650419 140737314335616 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18117/tid=18119] ppid=18113 vsize=521548 CPUtime=942.3 cores=0,2,4,6
/proc/18117/task/18119/stat : 18119 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 122048 0 0 0 94181 49 0 0 25 0 4 0 730756182 534065152 80527 33554432000 4194304 4650419 140737314335616 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18117/tid=18121] ppid=18113 vsize=521548 CPUtime=932.28 cores=0,2,4,6
/proc/18117/task/18121/stat : 18121 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 126370 0 0 0 93193 35 0 0 25 0 4 0 730756182 534065152 80527 33554432000 4194304 4650419 140737314335616 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3759.08
Current children cumulated vsize (KiB) 521548

[startup+1002.3 s]
/proc/loadavg: 8.00 8.05 8.02 10/323 18155
/proc/meminfo: memFree=15016744/32950928 swapFree=67085488/67111528
[pid=18117] ppid=18113 vsize=456068 CPUtime=3998.41 cores=0,2,4,6
/proc/18117/stat : 18117 (strangenight1-m) R 18113 18117 17424 0 -1 4202496 430625 0 0 0 399691 150 0 0 25 0 4 0 730756182 467013632 81540 33554432000 4194304 4650419 140737314335616 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18117/statm: 114017 81540 392 112 0 108982 0
[pid=18117/tid=18118] ppid=18113 vsize=456068 CPUtime=1002.31 cores=0,2,4,6
/proc/18117/task/18118/stat : 18118 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 105141 0 0 0 100195 36 0 0 25 0 4 0 730756182 467013632 81540 33554432000 4194304 4650419 140737314335616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18117/tid=18119] ppid=18113 vsize=456068 CPUtime=1002.29 cores=0,2,4,6
/proc/18117/task/18119/stat : 18119 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 125743 0 0 0 100178 51 0 0 25 0 4 0 730756182 467013632 81540 33554432000 4194304 4650419 140737314335616 18446744073709551615 4366882 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18117/tid=18121] ppid=18113 vsize=456068 CPUtime=991.63 cores=0,2,4,6
/proc/18117/task/18121/stat : 18121 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 126373 0 0 0 99128 35 0 0 25 0 4 0 730756182 467013632 81540 33554432000 4194304 4650419 140737314335616 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3998.41
Current children cumulated vsize (KiB) 456068

[startup+1062.3 s]
/proc/loadavg: 8.10 8.07 8.02 10/323 18157
/proc/meminfo: memFree=15005180/32950928 swapFree=67085488/67111528
[pid=18117] ppid=18113 vsize=504632 CPUtime=4237.8 cores=0,2,4,6
/proc/18117/stat : 18117 (strangenight1-m) R 18113 18117 17424 0 -1 4202496 442831 0 0 0 423623 157 0 0 25 0 4 0 730756182 516743168 81457 33554432000 4194304 4650419 140737314335616 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18117/statm: 126158 81457 392 112 0 121123 0
[pid=18117/tid=18118] ppid=18113 vsize=504632 CPUtime=1062.31 cores=0,2,4,6
/proc/18117/task/18118/stat : 18118 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 109808 0 0 0 106193 38 0 0 25 0 4 0 730756182 516743168 81457 33554432000 4194304 4650419 140737314335616 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18117/tid=18119] ppid=18113 vsize=504632 CPUtime=1062.29 cores=0,2,4,6
/proc/18117/task/18119/stat : 18119 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 130555 0 0 0 106175 54 0 0 25 0 4 0 730756182 516743168 81457 33554432000 4194304 4650419 140737314335616 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18117/tid=18121] ppid=18113 vsize=504632 CPUtime=1051.02 cores=0,2,4,6
/proc/18117/task/18121/stat : 18121 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 126836 0 0 0 105066 36 0 0 25 0 4 0 730756182 516743168 81457 33554432000 4194304 4650419 140737314335616 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4237.8
Current children cumulated vsize (KiB) 504632

[startup+1122.3 s]
/proc/loadavg: 8.13 8.09 8.03 10/323 18158
/proc/meminfo: memFree=14932364/32950928 swapFree=67085488/67111528
[pid=18117] ppid=18113 vsize=504632 CPUtime=4477.13 cores=0,2,4,6
/proc/18117/stat : 18117 (strangenight1-m) R 18113 18117 17424 0 -1 4202496 453181 0 0 0 447553 160 0 0 25 0 4 0 730756182 516743168 80951 33554432000 4194304 4650419 140737314335616 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18117/statm: 126158 80951 392 112 0 121123 0
[pid=18117/tid=18118] ppid=18113 vsize=504632 CPUtime=1122.31 cores=0,2,4,6
/proc/18117/task/18118/stat : 18118 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 112899 0 0 0 112192 39 0 0 25 0 4 0 730756182 516743168 80951 33554432000 4194304 4650419 140737314335616 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18117/tid=18119] ppid=18113 vsize=504632 CPUtime=1122.3 cores=0,2,4,6
/proc/18117/task/18119/stat : 18119 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 134526 0 0 0 112175 55 0 0 25 0 4 0 730756182 516743168 80951 33554432000 4194304 4650419 140737314335616 18446744073709551615 4476778 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18117/tid=18121] ppid=18113 vsize=504632 CPUtime=1110.36 cores=0,2,4,6
/proc/18117/task/18121/stat : 18121 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 129661 0 0 0 110999 37 0 0 25 0 4 0 730756182 516743168 80951 33554432000 4194304 4650419 140737314335616 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4477.13
Current children cumulated vsize (KiB) 504632

[startup+1182.3 s]
/proc/loadavg: 8.14 8.10 8.03 10/323 18160
/proc/meminfo: memFree=14926760/32950928 swapFree=67085488/67111528
[pid=18117] ppid=18113 vsize=504672 CPUtime=4716.49 cores=0,2,4,6
/proc/18117/stat : 18117 (strangenight1-m) R 18113 18117 17424 0 -1 4202496 466444 0 0 0 471484 165 0 0 25 0 4 0 730756182 516784128 90155 33554432000 4194304 4650419 140737314335616 18446744073709551615 4365286 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18117/statm: 126168 90155 392 112 0 121133 0
[pid=18117/tid=18118] ppid=18113 vsize=504672 CPUtime=1182.32 cores=0,2,4,6
/proc/18117/task/18118/stat : 18118 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 117545 0 0 0 118191 41 0 0 25 0 4 0 730756182 516784128 90155 33554432000 4194304 4650419 140737314335616 18446744073709551615 4366857 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18117/tid=18119] ppid=18113 vsize=504672 CPUtime=1182.3 cores=0,2,4,6
/proc/18117/task/18119/stat : 18119 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 137899 0 0 0 118174 56 0 0 25 0 4 0 730756182 516784128 90155 33554432000 4194304 4650419 140737314335616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18117/tid=18121] ppid=18113 vsize=504672 CPUtime=1169.72 cores=0,2,4,6
/proc/18117/task/18121/stat : 18121 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 134650 0 0 0 116933 39 0 0 25 0 4 0 730756182 516784128 90155 33554432000 4194304 4650419 140737314335616 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4716.49
Current children cumulated vsize (KiB) 504672



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.3 s]
/proc/loadavg: 8.26 8.12 8.04 9/323 18160
/proc/meminfo: memFree=14953284/32950928 swapFree=67085488/67111528
[pid=18117] ppid=18113 vsize=504672 CPUtime=4800.33 cores=0,2,4,6
/proc/18117/stat : 18117 (strangenight1-m) R 18113 18117 17424 0 -1 4202496 469076 0 0 0 479866 167 0 0 25 0 4 0 730756182 516784128 82851 33554432000 4194304 4650419 140737314335616 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18117/statm: 126168 82851 392 112 0 121133 0
[pid=18117/tid=18118] ppid=18113 vsize=504672 CPUtime=1203.34 cores=0,2,4,6
/proc/18117/task/18118/stat : 18118 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 118790 0 0 0 120293 41 0 0 25 0 4 0 730756182 516784128 82851 33554432000 4194304 4650419 140737314335616 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18117/tid=18119] ppid=18113 vsize=504672 CPUtime=1203.32 cores=0,2,4,6
/proc/18117/task/18119/stat : 18119 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 138975 0 0 0 120276 56 0 0 25 0 4 0 730756182 516784128 82851 33554432000 4194304 4650419 140737314335616 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18117/tid=18121] ppid=18113 vsize=504672 CPUtime=1190.5 cores=0,2,4,6
/proc/18117/task/18121/stat : 18121 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 134961 0 0 0 119011 39 0 0 25 0 4 0 730756182 516784128 82851 33554432000 4194304 4650419 140737314335616 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 504672

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

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

[startup+1203.3 s]
/proc/loadavg: 8.26 8.12 8.04 9/323 18160
/proc/meminfo: memFree=14953284/32950928 swapFree=67085488/67111528
[pid=18117] ppid=18113 vsize=504672 CPUtime=4800.33 cores=0,2,4,6
/proc/18117/stat : 18117 (strangenight1-m) R 18113 18117 17424 0 -1 4202496 469076 0 0 0 479866 167 0 0 25 0 4 0 730756182 516784128 82851 33554432000 4194304 4650419 140737314335616 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18117/statm: 126168 82851 392 112 0 121133 0
[pid=18117/tid=18118] ppid=18113 vsize=504672 CPUtime=1203.34 cores=0,2,4,6
/proc/18117/task/18118/stat : 18118 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 118790 0 0 0 120293 41 0 0 25 0 4 0 730756182 516784128 82851 33554432000 4194304 4650419 140737314335616 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18117/tid=18119] ppid=18113 vsize=504672 CPUtime=1203.32 cores=0,2,4,6
/proc/18117/task/18119/stat : 18119 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 138975 0 0 0 120276 56 0 0 25 0 4 0 730756182 516784128 82851 33554432000 4194304 4650419 140737314335616 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18117/tid=18121] ppid=18113 vsize=504672 CPUtime=1190.5 cores=0,2,4,6
/proc/18117/task/18121/stat : 18121 (strangenight1-m) R 18113 18117 17424 0 -1 4202560 134961 0 0 0 119011 39 0 0 25 0 4 0 730756182 516784128 82851 33554432000 4194304 4650419 140737314335616 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 504672

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.35
CPU time (s): 4800.39
CPU user time (s): 4798.7
CPU system time (s): 1.68674
CPU usage (%): 398.92
Max. virtual memory (cumulated for all children) (KiB): 534420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.7
system time used= 1.68674
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 469077
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= 315
involuntary context switches= 42544

runsolver used 3.53446 second user time and 9.31758 second system time

The end

Launcher Data 

Begin job on node114 at 2011-05-14 22:34:15
IDJOB=3368880
IDBENCH=82889
IDSOLVER=1846
FILE ID=node114/3368880-1305405255
RUNJOBID= node114-1305405255-18098
PBS_JOBID= 13324473
Free space on /tmp= 72980 MiB

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

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

MD5SUM BENCH= 420ae9a699afd6f172f364b156d160ff
RANDOM SEED=1581107440

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      15689104 kB
Buffers:        276432 kB
Cached:        6224748 kB
SwapCached:         96 kB
Active:       11890084 kB
Inactive:      4963628 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15689104 kB
SwapTotal:    67111528 kB
SwapFree:     67085488 kB
Dirty:           12612 kB
Writeback:           8 kB
AnonPages:    10352200 kB
Mapped:          26336 kB
Slab:           307156 kB
PageTables:      36944 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 52433584 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= 72968 MiB
End job on node114 at 2011-05-14 22:54:20