Trace number 3368719

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.31 1203.43

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v60-c5340-S1141565617-016.SATISFIABLE.cnf
MD5SUM0d2557a5d8edb4c9702dcfea1e1cd4c5
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.030994
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-3368719-1305401577.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.45
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.37/0.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.37/0.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.37/0.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
0.37/0.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.37/0.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
0.37/0.95	c Finding binary XORs  T:     0.00 s  found:       0
0.37/0.95	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.37/0.95	c calculated reachability. Time: 0.00
0.37/0.95	c Calc default polars -  time:   0.00 s pos:      24 undec:       1 neg:      35
0.37/0.95	c =========================================================================================
0.37/0.95	c types(t): F = full restart, N = normal restart
0.37/0.95	c types(t): S = simplification begin/end, E = solution found
0.37/0.95	c restart types(rt): st = static, dy = dynamic
0.37/0.95	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.37/0.95	c  B st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.37/0.95	c  N dy    10      5390        60      5340         0      2548     37380     48780     18.18     19.21  --
0.37/0.95	c  N dy    19     13686        60      5340         0      6141     37380    114376     17.21     18.13  --
0.37/0.95	c  N dy    59     17721        60      5340         0      9747     37380    192899     17.84     20.87  --
0.37/0.95	c  N dy    69     21947        60      5340         0      8506     37380    157183     17.77     18.71  --
4.43/1.15	c  F st    92     25000        60      5340         0     11242     37380    215814     17.92     16.71  --
4.83/1.25	c  N st    95     26189        60      5340         0      6241     37380    101889     17.92   no data  --
5.17/1.35	c  S st    98     30001        60      5340         0      9604     37380    173688     17.92   no data  --
5.17/1.35	c  S st    98     30505        60      5340         0     10075     37380    183781     17.92   no data  --
5.17/1.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.17/1.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.57/1.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
5.57/1.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.75/2.26	c lits-rem:      1533  cl-subs:     1146  v-elim:      0  v-fix:    0  time:  3.62 s
9.96/2.53	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.05
9.96/2.53	c calculated reachability. Time: 0.00
9.96/2.53	c  N dy    98     30505        60      5340         0      8929     37380    158716     17.92   no data  --
11.99/3.03	c  N dy   101     40608        60      5340         0     10835     37380    184431     17.53     18.52  --
12.74/3.26	c  N dy   130     44659        60      5340         0     14465     37380    263191     17.71     18.69  --
13.14/3.33	c  S st   135     45759        60      5340         0     15466     37380    284371     17.72     17.16  --
13.14/3.38	c  S st   135     46263        60      5340         0      8024     37380    120718     17.72   no data  --
13.14/3.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.14/3.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.14/3.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.14/3.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.14/3.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.14/3.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
13.14/3.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.96/4.07	c lits-rem:        90  cl-subs:       33  v-elim:      0  v-fix:    0  time:  2.74 s
15.96/4.07	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
15.96/4.08	c vivif2 --  cl tried     7991 cl shrink        0 lits rem          0 time: 0.01
17.13/4.30	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.89
17.13/4.30	c calculated reachability. Time: 0.00
17.13/4.30	c  N dy   135     46263        60      5340         0      7991     37380    119979     17.72   no data  --
17.53/4.49	c  N dy   155     50364        60      5340         0     11655     37380    197799     17.79     18.79  --
18.73/4.76	c  N dy   192     54421        60      5340         0     15315     37380    277826     17.94     19.12  --
19.93/5.08	c  N dy   203     60058        60      5340         0     11452     37380    182574     17.93     18.94  --
21.12/5.33	c  N dy   221     64340        60      5340         0     15293     37380    264197     17.96     18.98  --
22.32/5.63	c  N dy   247     68528        60      5340         0     19045     37380    344794     18.03     20.49  --
22.72/5.70	c  S st   248     69395        60      5340         0     10014     37380    143860     18.03     17.27  --
22.72/5.74	c  S st   248     69900        60      5340         0     10475     37380    153851     18.03   no data  --
22.72/5.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.72/5.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
22.72/5.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
22.72/5.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
22.72/5.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22.72/5.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
22.72/5.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.91/6.57	c lits-rem:       177  cl-subs:      117  v-elim:      0  v-fix:    0  time:  3.29 s
25.91/6.57	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
25.91/6.57	c vivif2 --  cl tried    10358 cl shrink        0 lits rem          0 time: 0.00
27.11/6.85	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.09
27.11/6.85	c calculated reachability. Time: 0.00
27.11/6.85	c  N dy   248     69900        60      5340         0     10358     37380    151017     18.03   no data  --
28.31/7.12	c  N dy   277     74372        60      5340         0     14325     37380    236139     18.10     20.60  --
29.90/7.51	c  N dy   309     79990        60      5340         0     19340     37380    344737     18.16     19.16  --
31.89/8.00	c  F st   317     87500        60      5340         0     15258     37380    242605     18.08     17.09  --
31.89/8.00	c  N st   317     87500        60      5340         0     15258     37380    242605     18.08     17.09  --
33.50/8.42	c  N dy   327     93101        60      5340         0     20215     37380    347794     18.09     20.19  --
35.09/8.89	c  N dy   356     99043        60      5340         0     14002     37380    208731     18.11     19.11  --
36.69/9.28	c  S st   379    104851        60      5340         0     19134     37380    317077     18.12     17.05  --
37.09/9.34	c  S st   379    105353        60      5340         0     19596     37380    327116     18.12   no data  --
37.09/9.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
37.09/9.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
37.09/9.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
37.09/9.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
37.09/9.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
37.09/9.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
37.09/9.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.06/10.85	c lits-rem:      1925  cl-subs:     1964  v-elim:      0  v-fix:    0  time:  5.94 s
43.06/10.85	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
43.06/10.85	c vivif2 --  cl tried    17632 cl shrink        0 lits rem          0 time: 0.01
44.66/11.21	c asymm  cl-useful: 0/4513/5340 lits-rem:0 time: 1.43
44.66/11.21	c calculated reachability. Time: 0.00
44.66/11.21	c  N dy   379    105353        60      5340         0     17632     37380    283573     18.12   no data  --
47.85/12.01	c  N dy   404    115373        60      5340         0     14226     37380    203313     18.09     19.23  --
50.25/12.60	c  N dy   455    123414        60      5340         0     21404     37380    357887     18.16     19.23  --
52.64/13.28	c  N dy   492    131514        60      5340         0     15324     37380    217833     18.19     19.30  --
55.45/13.98	c  N dy   515    141488        60      5340         0     24179     37380    406129     18.18     19.20  --
60.61/15.22	c  N dy   542    158030        60      5340         0     24601     37380    399105     18.07     16.22  --
60.61/15.22	c  S st   542    158030        60      5340         0     24601     37380    399105     18.07     16.22  --
60.61/15.28	c  S st   542    158531        60      5340         0     25053     37380    408834     18.07   no data  --
60.61/15.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
60.61/15.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
60.61/15.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
61.01/15.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
61.01/15.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
61.01/15.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
61.01/15.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
68.20/17.14	c lits-rem:      2064  cl-subs:     3191  v-elim:      0  v-fix:    0  time:  7.35 s
68.20/17.14	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
68.20/17.15	c vivif2 --  cl tried    21862 cl shrink        0 lits rem          0 time: 0.02
68.61/17.24	c asymm  cl-useful: 0/827/5340 lits-rem:0 time: 0.36
68.61/17.24	c calculated reachability. Time: 0.00
68.61/17.24	c  N dy   542    158531        60      5340         0     21862     37380    344836     18.07   no data  --
72.59/18.27	c  N dy   557    169790        60      5340         0     16924     37380    229618     18.02     18.98  --
76.98/19.35	c  N dy   593    182862        60      5340         0     28507     37380    472986     18.00     18.99  --
81.37/20.43	c  N dy   651    194593        60      5340         0     23110     37380    353754     18.03     20.43  --
88.54/22.21	c  N dy   700    213132        60      5340         0     22683     37380    329777     17.99     19.04  --
94.13/23.68	c  N dy   772    226756        60      5340         0     34838     37380    590869     18.04     20.06  --
98.12/24.69	c  S st   834    237797        60      5340         0     26920     37380    415637     18.08     16.12  --
98.52/24.76	c  S st   834    238298        60      5340         0     27381     37380    425696     18.08   no data  --
98.52/24.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
98.52/24.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
98.52/24.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
98.52/24.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
98.52/24.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
98.52/24.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
98.52/24.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
107.69/27.03	c lits-rem:      2022  cl-subs:     2337  v-elim:      0  v-fix:    0  time:  8.93 s
107.69/27.03	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
107.69/27.03	c vivif2 --  cl tried    25044 cl shrink        0 lits rem          0 time: 0.02
109.28/27.42	c asymm  cl-useful: 0/3390/5340 lits-rem:0 time: 1.54
109.28/27.42	c calculated reachability. Time: 0.00
109.28/27.42	c  N dy   834    238298        60      5340         0     25044     37380    372979     18.08   no data  --
115.27/28.96	c  N dy   883    254065        60      5340         0     20554     37380    266901     18.09     19.17  --
122.85/30.86	c  N dy   940    272587        60      5340         0     36892     37380    610889     18.07     19.03  --
130.47/32.72	c  N dy   997    291451        60      5340         0     34232     37380    542290     18.05     19.00  --
136.81/34.34	c  F st  1059    306250        60      5340         0     27017     37380    383440     18.07     17.00  --
138.41/34.79	c  N dy  1065    311446        60      5340         0     31618     37380    482630     18.07   no data  --
147.59/37.08	c  N dy  1136    331994        60      5340         0     28588     37380    404994     18.08     19.10  --
157.94/39.68	c  N dy  1236    352702        60      5340         0     24791     37380    315975     18.10     19.08  --
159.55/40.09	c  S st  1245    357448        60      5340         0     29019     37380    405973     18.10     15.49  --
159.95/40.17	c  S st  1245    357954        60      5340         0     29468     37380    415860     18.10   no data  --
159.95/40.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
159.95/40.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
159.95/40.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
159.95/40.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
159.95/40.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
159.95/40.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
159.95/40.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
168.33/42.27	c lits-rem:      1371  cl-subs:     1829  v-elim:      0  v-fix:    0  time:  8.30 s
168.33/42.27	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
168.33/42.27	c vivif2 --  cl tried    27639 cl shrink        0 lits rem          0 time: 0.02
169.54/42.55	c asymm  cl-useful: 0/1950/5340 lits-rem:0 time: 1.08
169.54/42.55	c calculated reachability. Time: 0.00
169.54/42.55	c  N dy  1245    357954        60      5340         0     27639     37380    376700     18.10   no data  --
186.68/46.80	c  N dy  1326    391204        60      5340         0     33953     37380    493555     18.07     19.15  --
196.64/49.34	c  N dy  1330    413265        60      5340         0     29522     37380    390303     17.99     18.96  --
206.22/51.72	c  N dy  1364    433343        60      5340         0     47319     37380    763117     17.97     19.31  --
216.20/54.20	c  N dy  1450    453428        60      5340         0     40401     37380    617174     17.98     20.88  --
227.01/56.96	c  N dy  1537    473438        60      5340         0     32561     37380    444022     18.00     20.46  --
238.94/59.99	c  N dy  1637    494546        60      5340         0     51261     37380    844054     18.02     19.08  --
250.90/62.99	c  N dy  1724    516845        60      5340         0     44539     37380    685980     18.04     19.08  --
262.11/65.73	c  N dy  1753    536931        60      5340         0     34779     37380    461140     18.00     15.23  --
262.11/65.73	c  S st  1753    536931        60      5340         0     34779     37380    461140     18.00     15.23  --
262.46/65.82	c  S st  1753    537432        60      5340         0     35231     37380    471418     18.00   no data  --
262.46/65.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
262.46/65.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
262.46/65.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
262.46/65.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
262.46/65.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
262.46/65.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
262.46/65.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
270.89/67.99	c lits-rem:      1204  cl-subs:     2256  v-elim:      0  v-fix:    0  time:  8.57 s
270.89/67.99	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
271.24/68.00	c vivif2 --  cl tried    32975 cl shrink        0 lits rem          0 time: 0.02
272.44/68.38	c asymm  cl-useful: 0/2654/5340 lits-rem:0 time: 1.52
272.44/68.38	c calculated reachability. Time: 0.00
272.44/68.38	c  N dy  1753    537432        60      5340         0     32975     37380    428347     18.00   no data  --
283.63/71.14	c  N dy  1832    557435        60      5340         0     50700     37380    805383     18.01     20.28  --
295.18/74.10	c  N dy  1918    577762        60      5340         0     40554     37380    583291     18.02     19.06  --
307.54/77.17	c  N dy  1967    597834        60      5340         0     58362     37380    961439     18.02     19.61  --
318.32/79.88	c  N dy  2023    618870        60      5340         0     47873     37380    726246     18.02     19.01  --
332.67/83.42	c  N dy  2116    639541        60      5340         0     36089     37380    462890     18.03     19.03  --
346.24/86.84	c  N dy  2256    659576        60      5340         0     53984     37380    854208     18.07     19.26  --
361.40/90.63	c  N dy  2337    679669        60      5340         0     40646     37380    551409     18.08     19.74  --
375.78/94.31	c  N dy  2453    699797        60      5340         0     58542     37380    937852     18.11     19.11  --
390.92/98.04	c  N dy  2555    720671        60      5340         0     45144     37380    639249     18.13     19.13  --
405.68/101.77	c  N dy  2639    740714        60      5340         0     62934     37380   1017580     18.13     19.14  --
421.23/105.66	c  N dy  2719    766232        60      5340         0     52631     37380    782673     18.13     19.10  --
435.20/109.10	c  N dy  2730    790286        60      5340         0     40025     37380    500955     18.07     19.04  --
445.17/111.61	c  S st  2786    806150        60      5340         0     54026     37380    797607     18.07   no data  --
445.57/111.74	c  S st  2786    806653        60      5340         0     54477     37380    807923     18.07   no data  --
445.57/111.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
445.57/111.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
445.57/111.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
445.57/111.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
445.57/111.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
445.57/111.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
445.57/111.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
476.29/119.50	c lits-rem:      2959  cl-subs:     5998  v-elim:      0  v-fix:    0  time: 30.73 s
476.29/119.50	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
476.29/119.51	c vivif2 --  cl tried    48479 cl shrink        0 lits rem          0 time: 0.03
477.48/119.75	c asymm  cl-useful: 0/773/5340 lits-rem:0 time: 0.98
477.48/119.75	c calculated reachability. Time: 0.00
477.48/119.75	c  N dy  2786    806653        60      5340         0     48479     37380    688499     18.07   no data  --
493.84/123.81	c  N dy  2863    826662        60      5340         0     66118     37380   1065928     18.08     19.08  --
509.00/127.68	c  N dy  2998    846666        60      5340         0     49859     37380    717006     18.11     19.07  --
526.55/132.01	c  N dy  3121    866694        60      5340         0     67692     37380   1104629     18.13     19.10  --
540.91/135.60	c  N dy  3218    886782        60      5340         0     50250     37380    709337     18.15     20.20  --
556.11/139.44	c  N dy  3278    906836        60      5340         0     67981     37380   1085168     18.14     20.16  --
569.27/142.71	c  N dy  3341    926867        60      5340         0     49437     37380    677448     18.14     19.92  --
585.99/146.97	c  N dy  3412    948545        60      5340         0     68621     37380   1086056     18.14     19.22  --
602.35/151.06	c  N dy  3490    970081        60      5340         0     50467     37380    686407     18.15     19.12  --
617.13/154.81	c  N dy  3537    990216        60      5340         0     68301     37380   1062240     18.14     19.10  --
634.26/159.06	c  N dy  3621   1011764        60      5340         0     49382     37380    651647     18.14     19.36  --
649.82/162.98	c  N dy  3695   1031784        60      5340         0     67055     37380   1031219     18.14     21.11  --
679.32/170.35	c  N dy  3790   1070176        60      5340         0     61879     37380    893221     18.12     19.19  --
680.94/170.75	c  F st  3796   1071875        60      5340         0     63386     37380    925388     18.12     18.91  --
698.48/175.19	c  N dy  3826   1093287        60      5340         0     42588     37380    489569     18.11     19.09  --
711.65/178.48	c  N dy  3877   1113343        60      5340         0     60290     37380    864195     18.10     19.07  --
731.99/183.52	c  N dy  3948   1134032        60      5340         0     78490     37380   1249907     18.10     19.11  --
749.94/188.01	c  N dy  4099   1154513        60      5340         0     56139     37380    779626     18.13     19.14  --
771.13/193.35	c  N dy  4214   1175055        60      5340         0     74359     37380   1173751     18.14     19.12  --
794.22/199.13	c  N dy  4292   1199664        60      5340         0     54587     37380    723943     18.13     19.12  --
805.00/201.81	c  S st  4339   1209981        60      5340         0     63770     37380    921208     18.13   no data  --
805.81/202.06	c  S st  4339   1210487        60      5340         0     64232     37380    931687     18.13   no data  --
805.81/202.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
805.81/202.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
806.24/202.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.16
806.24/202.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
806.24/202.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
806.24/202.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
806.24/202.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
880.39/220.76	c lits-rem:      3765  cl-subs:     6351  v-elim:      0  v-fix:    0  time: 74.23 s
880.39/220.76	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
880.39/220.77	c vivif2 --  cl tried    57881 cl shrink        0 lits rem          0 time: 0.04
881.97/221.13	c asymm  cl-useful: 0/645/5340 lits-rem:0 time: 1.42
881.97/221.13	c calculated reachability. Time: 0.00
881.97/221.13	c  N dy  4339   1210487        60      5340         0     57881     37380    799776     18.13   no data  --
908.69/227.82	c  N dy  4440   1234475        60      5340         0     78972     37380   1247111     18.13     19.10  --
926.24/232.28	c  N dy  4529   1254844        60      5340         0     54968     37380    730083     18.14     19.22  --
943.80/236.64	c  N dy  4617   1274851        60      5340         0     72669     37380   1111173     18.14     20.71  --
962.55/241.34	c  N dy  4633   1295756        60      5340         0     47980     37380    565086     18.12     19.11  --
981.31/246.07	c  N dy  4718   1315849        60      5340         0     65739     37380    945600     18.12     20.17  --
1006.83/252.43	c  N dy  4814   1336056        60      5340         0     83600     37380   1329032     18.13     19.11  --
1035.14/259.51	c  N dy  4835   1369509        60      5340         0     68668     37380    973023     18.08     19.09  --
1061.88/266.21	c  N dy  4937   1389532        60      5340         0     86372     37380   1355185     18.09     19.75  --
1083.01/271.57	c  N dy  4956   1418060        60      5340         0     66503     37380    922950     18.06     19.06  --
1104.95/277.07	c  N dy  5072   1438116        60      5340         0     84264     37380   1308035     18.07     20.52  --
1124.51/281.98	c  N dy  5150   1458540        60      5340         0     56584     37380    719844     18.07     19.04  --
1144.85/287.07	c  N dy  5225   1482245        60      5340         0     77500     37380   1159415     18.07     19.13  --
1171.98/293.82	c  N dy  5359   1502346        60      5340         0     48644     37380    542644     18.08     20.53  --
1187.56/297.74	c  N dy  5450   1522356        60      5340         0     66318     37380    923380     18.09     19.63  --
1211.47/303.79	c  N dy  5608   1542433        60      5340         0     84192     37380   1316299     18.11     20.42  --
1235.82/309.89	c  N dy  5724   1562558        60      5340         0     54246     37380    651247     18.12     19.26  --
1253.80/314.32	c  N dy  5813   1582665        60      5340         0     72023     37380   1035326     18.12     19.13  --
1287.66/322.80	c  N dy  5870   1617796        60      5340         0     54311     37380    632086     18.10     19.15  --
1307.21/327.71	c  N dy  6008   1638290        60      5340         0     72443     37380   1028647     18.11     19.14  --
1338.73/335.66	c  N dy  6115   1665703        60      5340         0     96616     37380   1545106     18.11     19.15  --
1358.69/340.69	c  N dy  6242   1685781        60      5340         0     65048     37380    868575     18.13     19.94  --
1383.01/346.75	c  N dy  6352   1705833        60      5340         0     82934     37380   1258658     18.14     19.12  --
1390.58/348.64	c  S st  6377   1710489        60      5340         0     87043     37380   1347831     18.14   no data  --
1391.78/348.97	c  S st  6377   1710993        60      5340         0     87505     37380   1358257     18.14   no data  --
1391.78/348.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1391.78/348.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1392.18/349.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.21
1392.18/349.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1392.18/349.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1392.18/349.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
1392.18/349.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1590.00/398.69	c lits-rem:      6270  cl-subs:     9255  v-elim:      0  v-fix:    0  time: 197.84 s
1590.00/398.69	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
1590.40/398.71	c vivif2 --  cl tried    78250 cl shrink        0 lits rem          0 time: 0.07
1591.99/399.17	c asymm  cl-useful: 0/504/5340 lits-rem:0 time: 1.81
1591.99/399.17	c calculated reachability. Time: 0.00
1591.99/399.17	c  N dy  6377   1710993        60      5340         0     78250     37380   1150479     18.14   no data  --
1621.51/406.53	c  N dy  6411   1731029        60      5340         0     95925     37380   1520672     18.13     20.91  --
1641.05/411.45	c  N dy  6438   1751106        60      5340         0     63536     37380    807682     18.12     20.39  --
1663.79/417.10	c  N dy  6492   1771321        60      5340         0     81295     37380   1183801     18.11     19.09  --
1696.52/425.33	c  N dy  6577   1791540        60      5340         0     99211     37380   1570047     18.12     19.13  --
1719.63/431.15	c  N dy  6607   1812659        60      5340         0     66813     37380    871177     18.10     19.06  --
1759.53/441.13	c  N dy  6670   1842381        60      5340         0     92879     37380   1413279     18.09     19.05  --
1855.26/465.18	c  N dy  6683   1939867        60      5340         0     73423     37380    969829     17.97     19.06  --
1881.58/471.77	c  N dy  6852   1959937        60      5340         0     91236     37380   1363003     17.99     20.13  --
1913.91/479.80	c  N dy  6995   1979948        60      5340         0     55566     37380    615447     18.00     19.04  --
1933.89/484.81	c  N dy  7128   1999954        60      5340         0     73266     37380   1003711     18.02     19.44  --
1960.58/491.58	c  N dy  7269   2020033        60      5340         0     91010     37380   1390644     18.03     20.80  --
1990.94/499.15	c  N dy  7380   2040105        60      5340         0    108748     37380   1776358     18.04     21.83  --
2014.43/505.04	c  N dy  7522   2062495        60      5340         0     74086     37380   1006945     18.05     19.01  --
2039.56/511.38	c  N dy  7660   2082528        60      5340         0     91879     37380   1395633     18.06     20.06  --
2069.50/518.83	c  N dy  7742   2102570        60      5340         0    109455     37380   1768672     18.06     20.79  --
2091.44/524.37	c  N dy  7866   2122592        60      5340         0     71604     37380    938559     18.07     20.40  --
2117.35/530.90	c  N dy  8029   2142604        60      5340         0     89315     37380   1329898     18.09     19.12  --
2150.06/539.08	c  N dy  8170   2162635        60      5340         0    107080     37380   1717123     18.10     20.53  --
2175.59/545.47	c  N dy  8291   2182667        60      5340         0     68228     37380    855762     18.11     19.63  --
2204.32/552.64	c  N dy  8355   2210993        60      5340         0     93032     37380   1378809     18.10     14.88  --
2204.32/552.64	c  S st  8355   2210993        60      5340         0     93032     37380   1378809     18.10     14.88  --
2205.53/552.94	c  S st  8355   2211496        60      5340         0     93492     37380   1389329     18.10   no data  --
2205.53/552.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2205.53/552.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2205.53/552.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
2205.95/553.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2205.95/553.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2205.95/553.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
2205.95/553.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2363.07/592.47	c lits-rem:      5336  cl-subs:    10534  v-elim:      0  v-fix:    0  time: 157.27 s
2363.07/592.47	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
2363.07/592.49	c vivif2 --  cl tried    82958 cl shrink        0 lits rem          0 time: 0.06
2364.65/592.85	c asymm  cl-useful: 0/471/5340 lits-rem:0 time: 1.43
2364.65/592.85	c calculated reachability. Time: 0.00
2364.65/592.85	c  N dy  8355   2211496        60      5340         0     82958     37380   1170779     18.10   no data  --
2400.95/601.93	c  N dy  8507   2231553        60      5340         0    100796     37380   1564407     18.12     20.23  --
2433.26/610.10	c  N dy  8598   2251587        60      5340         0     61727     37380    710352     18.12     19.46  --
2456.79/615.92	c  N dy  8690   2271859        60      5340         0     79614     37380   1093284     18.12     19.13  --
2492.69/624.92	c  N dy  8794   2292962        60      5340         0     98205     37380   1495191     18.13     19.10  --
2538.16/636.34	c  N dy  8868   2313059        60      5340         0     57982     37380    615793     18.13     21.05  --
2567.28/643.64	c  N dy  8997   2333436        60      5340         0     76066     37380   1009320     18.14     19.10  --
2604.78/653.01	c  N dy  9141   2353455        60      5340         0     93795     37380   1397656     18.15     19.33  --
2659.81/666.88	c  N dy  9218   2387623        60      5340         0     64756     37380    742017     18.14     19.12  --
2690.91/674.63	c  N dy  9343   2407976        60      5340         0     82796     37380   1137808     18.15     19.19  --
2718.44/681.60	c  N dy  9403   2428003        60      5340         0    100399     37380   1509773     18.14     20.53  --
2751.55/689.81	c  N dy  9468   2448005        60      5340         0    118045     37380   1885238     18.14     19.14  --
2807.78/703.95	c  N dy  9571   2495578        60      5340         0     99672     37380   1454352     18.12     19.20  --
2847.28/713.87	c  N dy  9690   2515648        60      5340         0    117414     37380   1839276     18.13     19.69  --
2881.63/722.47	c  N dy  9815   2538666        60      5340         0     77168     37380    998404     18.14     19.13  --
2916.30/731.12	c  N dy  9892   2565069        60      5340         0    100355     37380   1493945     18.13     19.11  --
2951.84/740.09	c  N dy 10020   2585085        60      5340         0    118029     37380   1878727     18.14     20.37  --
2978.16/746.66	c  N dy 10087   2606790        60      5340         0     75451     37380    947358     18.14     19.11  --
3006.85/753.81	c  N dy 10216   2628240        60      5340         0     94361     37380   1357065     18.15     19.12  --
3073.47/770.50	c  N dy 10309   2684382        60      5340         0     80854     37380   1034345     18.12     19.08  --
3101.39/777.57	c  N dy 10424   2704497        60      5340         0     98607     37380   1419859     18.13     19.09  --
3113.36/780.54	c  S st 10484   2711496        60      5340         0    104813     37380   1557904     18.13   no data  --
3114.55/780.86	c  S st 10484   2711998        60      5340         0    105264     37380   1568132     18.13   no data  --
3114.55/780.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3114.55/780.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3114.95/780.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
3114.95/780.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3114.95/780.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3114.95/780.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
3114.95/780.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3533.38/885.85	c lits-rem:      6883  cl-subs:    12960  v-elim:      0  v-fix:    0  time: 418.22 s
3533.38/885.85	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
3533.38/885.87	c vivif2 --  cl tried    92304 cl shrink        0 lits rem          0 time: 0.08
3534.99/886.27	c asymm  cl-useful: 0/602/5340 lits-rem:0 time: 1.60
3534.99/886.27	c calculated reachability. Time: 0.00
3534.99/886.27	c  N dy 10484   2711998        60      5340         0     92304     37380   1304767     18.13   no data  --
3574.06/896.01	c  N dy 10573   2733776        60      5340         0    111322     37380   1711808     18.14     19.12  --
3613.56/905.91	c  N dy 10665   2753955        60      5340         0     66767     37380    756015     18.14     19.22  --
3641.87/913.03	c  N dy 10780   2773997        60      5340         0     84524     37380   1143542     18.15     20.93  --
3681.36/922.94	c  N dy 10909   2794348        60      5340         0    102498     37380   1539172     18.15     19.15  --
3731.62/935.58	c  N dy 11003   2816475        60      5340         0    122105     37380   1961346     18.16     19.18  --
3763.56/943.54	c  N dy 11065   2836533        60      5340         0     75806     37380    928777     18.15     20.82  --
3801.00/953.00	c  N dy 11221   2856604        60      5340         0     93616     37380   1322959     18.17     19.16  --
3843.68/963.65	c  N dy 11341   2876642        60      5340         0    111332     37380   1711651     18.17     19.83  --
3891.94/975.73	c  N dy 11436   2896676        60      5340         0    128964     37380   2091478     18.18     19.35  --
3924.25/983.87	c  N dy 11538   2916740        60      5340         0     81657     37380   1050586     18.18     19.85  --
3984.06/998.89	c  N dy 11637   2952950        60      5340         0    113334     37380   1716481     18.17     19.13  --
4029.14/1010.14	c  N dy 11706   2973243        60      5340         0    131113     37380   2094397     18.17     19.16  --
4061.05/1018.14	c  N dy 11866   2993294        60      5340         0     83045     37380   1075872     18.18     20.07  --
4096.16/1027.00	c  N dy 11982   3014475        60      5340         0    101798     37380   1484771     18.19     19.34  --
4138.44/1037.51	c  N dy 12106   3034494        60      5340         0    119429     37380   1869606     18.19     22.04  --
4181.50/1048.33	c  N dy 12198   3054790        60      5340         0     70380     37380    780769     18.20     19.22  --
4202.29/1053.52	c  N dy 12266   3074865        60      5340         0     88044     37380   1158836     18.20     21.11  --
4233.36/1061.32	c  N dy 12392   3095009        60      5340         0    105756     37380   1545366     18.20     19.29  --
4278.03/1072.54	c  N dy 12482   3121796        60      5340         0    129296     37380   2044022     18.20     19.20  --
4311.57/1080.94	c  N dy 12634   3141827        60      5340         0     79206     37380    968854     18.21     19.54  --
4339.87/1088.02	c  N dy 12735   3161862        60      5340         0     96870     37380   1351274     18.22     19.65  --
4378.57/1097.78	c  N dy 12823   3183457        60      5340         0    115847     37380   1761216     18.22     19.20  --
4427.24/1109.95	c  N dy 12964   3203570        60      5340         0    133626     37380   2152906     18.23     19.19  --
4445.19/1114.47	c  S st 13023   3211998        60      5340         0     72308     37380    806933     18.23   no data  --
4446.39/1114.72	c  S st 13023   3212500        60      5340         0     72762     37380    816976     18.23   no data  --
4446.39/1114.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4446.39/1114.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4446.39/1114.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.15
4446.39/1114.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4446.39/1114.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4446.39/1114.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
4446.39/1114.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4494.65/1126.88	c lits-rem:       466  cl-subs:      872  v-elim:      0  v-fix:    0  time: 48.24 s
4494.65/1126.88	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
4494.65/1126.90	c vivif2 --  cl tried    71890 cl shrink        0 lits rem          0 time: 0.05
4495.87/1127.19	c asymm  cl-useful: 0/622/5340 lits-rem:0 time: 1.16
4495.87/1127.19	c calculated reachability. Time: 0.00
4495.87/1127.19	c  N dy 13023   3212500        60      5340         0     71890     37380    796603     18.23   no data  --
4518.99/1132.90	c  N dy 13109   3232575        60      5340         0     89475     37380   1174247     18.23     20.52  --
4550.51/1140.85	c  N dy 13215   3253955        60      5340         0    108284     37380   1580822     18.24     19.33  --
4586.01/1149.78	c  N dy 13318   3274072        60      5340         0    126002     37380   1961974     18.24     19.27  --
4623.55/1159.19	c  N dy 13417   3294139        60      5340         0     74157     37380    837505     18.24     20.77  --
4650.63/1165.92	c  N dy 13547   3314480        60      5340         0     92103     37380   1230501     18.25     19.35  --
4681.34/1173.64	c  N dy 13624   3335678        60      5340         0    110704     37380   1628171     18.25     19.22  --
4733.25/1186.66	c  N dy 13648   3371324        60      5340         0     71513     37380    768642     18.23     19.20  --
4754.35/1192.01	c  N dy 13691   3391358        60      5340         0     89031     37380   1138067     18.22     19.20  --
4785.07/1199.60	c  N dy 13773   3412198        60      5340         0    107361     37380   1534025     18.23     19.20  --

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

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

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


[startup+0 s]
/proc/loadavg: 7.56 7.97 8.04 6/352 2943
/proc/meminfo: memFree=26250960/32951124 swapFree=53501236/67111528
[pid=2943] ppid=2941 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 416 0 0 0 0 0 0 0 22 0 4 0 651760279 52465664 356 33554432000 4194304 4650419 140734335685024 18446744073709551615 47211261360050 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2943/statm: 12809 356 306 112 0 7774 0
[pid=2943/tid=2944] ppid=2941 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 4 0 651760279 52465664 356 33554432000 4194304 4650419 140734335685024 18446744073709551615 47211261359641 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2943/tid=2945] ppid=2941 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 651760279 52465664 356 33554432000 4194304 4650419 140734335685024 18446744073709551615 47211261360048 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2943/tid=2946] ppid=2941 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 651760279 52465664 356 33554432000 4194304 4650419 140734335685024 18446744073709551615 47211261359635 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0532011 s]
/proc/loadavg: 7.56 7.97 8.04 6/352 2943
/proc/meminfo: memFree=26250960/32951124 swapFree=53501236/67111528
[pid=2943] ppid=2941 vsize=281904 CPUtime=0.18 cores=1,3,5,7
/proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 1230 0 0 0 18 0 0 0 18 0 4 0 651760279 288669696 1138 33554432000 4194304 4650419 140734335685024 18446744073709551615 4370547 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2943/statm: 70476 1138 366 112 0 65441 0
[pid=2943/tid=2944] ppid=2941 vsize=281904 CPUtime=0.04 cores=1,3,5,7
/proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 194 0 0 0 4 0 0 0 18 0 4 0 651760279 288669696 1138 33554432000 4194304 4650419 140734335685024 18446744073709551615 4370675 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2943/tid=2945] ppid=2941 vsize=281904 CPUtime=0.04 cores=1,3,5,7
/proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 172 0 0 0 4 0 0 0 24 0 4 0 651760279 288669696 1138 33554432000 4194304 4650419 140734335685024 18446744073709551615 4370618 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2943/tid=2946] ppid=2941 vsize=281904 CPUtime=0.04 cores=1,3,5,7
/proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 254 0 0 0 4 0 0 0 18 0 4 0 651760279 288669696 1140 33554432000 4194304 4650419 140734335685024 18446744073709551615 216634180394 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 281904

[startup+0.100192 s]
/proc/loadavg: 7.56 7.97 8.04 6/352 2943
/proc/meminfo: memFree=26250960/32951124 swapFree=53501236/67111528
[pid=2943] ppid=2941 vsize=281904 CPUtime=0.37 cores=1,3,5,7
/proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 1322 0 0 0 37 0 0 0 18 0 4 0 651760279 288669696 1230 33554432000 4194304 4650419 140734335685024 18446744073709551615 4371092 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2943/statm: 70476 1230 366 112 0 65441 0
[pid=2943/tid=2944] ppid=2941 vsize=281904 CPUtime=0.09 cores=1,3,5,7
/proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 201 0 0 0 9 0 0 0 18 0 4 0 651760279 288669696 1230 33554432000 4194304 4650419 140734335685024 18446744073709551615 4370456 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2943/tid=2945] ppid=2941 vsize=281904 CPUtime=0.08 cores=1,3,5,7
/proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 176 0 0 0 8 0 0 0 24 0 4 0 651760279 288669696 1230 33554432000 4194304 4650419 140734335685024 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2943/tid=2946] ppid=2941 vsize=281904 CPUtime=0.09 cores=1,3,5,7
/proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 328 0 0 0 9 0 0 0 18 0 4 0 651760279 288669696 1230 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 281904

[startup+1.11501 s]
/proc/loadavg: 7.56 7.97 8.04 6/352 2943
/proc/meminfo: memFree=26250960/32951124 swapFree=53501236/67111528
[pid=2943] ppid=2941 vsize=287372 CPUtime=4.43 cores=1,3,5,7
/proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 7276 0 0 0 442 1 0 0 19 0 4 0 651760279 294268928 3969 33554432000 4194304 4650419 140734335685024 18446744073709551615 4354992 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2943/statm: 71843 3969 391 112 0 66808 0
[pid=2943/tid=2944] ppid=2941 vsize=287372 CPUtime=1.1 cores=1,3,5,7
/proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 1765 0 0 0 110 0 0 0 19 0 4 0 651760279 294268928 3969 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2943/tid=2945] ppid=2941 vsize=287372 CPUtime=1.09 cores=1,3,5,7
/proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 1689 0 0 0 109 0 0 0 19 0 4 0 651760279 294268928 3969 33554432000 4194304 4650419 140734335685024 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2943/tid=2946] ppid=2941 vsize=287372 CPUtime=1.1 cores=1,3,5,7
/proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 1674 0 0 0 110 0 0 0 19 0 4 0 651760279 294268928 3969 33554432000 4194304 4650419 140734335685024 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.43
Current children cumulated vsize (KiB) 287372

[startup+1.215 s]
/proc/loadavg: 7.56 7.97 8.04 6/352 2943
/proc/meminfo: memFree=26250960/32951124 swapFree=53501236/67111528
[pid=2943] ppid=2941 vsize=287740 CPUtime=4.83 cores=1,3,5,7
/proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 8077 0 0 0 482 1 0 0 19 0 4 0 651760279 294645760 3814 33554432000 4194304 4650419 140734335685024 18446744073709551615 4364792 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2943/statm: 71935 3814 391 112 0 66900 0
[pid=2943/tid=2944] ppid=2941 vsize=287740 CPUtime=1.2 cores=1,3,5,7
/proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 2040 0 0 0 120 0 0 0 19 0 4 0 651760279 294645760 3814 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2943/tid=2945] ppid=2941 vsize=287740 CPUtime=1.19 cores=1,3,5,7
/proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 1905 0 0 0 119 0 0 0 19 0 4 0 651760279 294645760 3814 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2943/tid=2946] ppid=2941 vsize=287740 CPUtime=1.2 cores=1,3,5,7
/proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 1722 0 0 0 120 0 0 0 19 0 4 0 651760279 294645760 3814 33554432000 4194304 4650419 140734335685024 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.83
Current children cumulated vsize (KiB) 287740

[startup+1.50095 s]
/proc/loadavg: 7.56 7.97 8.04 6/352 2943
/proc/meminfo: memFree=26250960/32951124 swapFree=53501236/67111528
[pid=2943] ppid=2941 vsize=288208 CPUtime=5.96 cores=1,3,5,7
/proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 10053 0 0 0 595 1 0 0 19 0 4 0 651760279 295124992 5394 33554432000 4194304 4650419 140734335685024 18446744073709551615 4438643 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2943/statm: 72052 5394 392 112 0 67017 0
[pid=2943/tid=2944] ppid=2941 vsize=288208 CPUtime=1.49 cores=1,3,5,7
/proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 2202 0 0 0 149 0 0 0 19 0 4 0 651760279 295124992 5394 33554432000 4194304 4650419 140734335685024 18446744073709551615 4315636 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2943/tid=2945] ppid=2941 vsize=288208 CPUtime=1.48 cores=1,3,5,7
/proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 2051 0 0 0 148 0 0 0 19 0 4 0 651760279 295124992 5394 33554432000 4194304 4650419 140734335685024 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2943/tid=2946] ppid=2941 vsize=288208 CPUtime=1.49 cores=1,3,5,7
/proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 2106 0 0 0 149 0 0 0 20 0 4 0 651760279 295124992 5394 33554432000 4194304 4650419 140734335685024 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 288208

[startup+3.10067 s]
/proc/loadavg: 7.68 7.99 8.05 10/356 2947
/proc/meminfo: memFree=26177996/32951124 swapFree=53501236/67111528
[pid=2943] ppid=2941 vsize=283988 CPUtime=12.34 cores=1,3,5,7
/proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 16556 0 0 0 1231 3 0 0 25 0 4 0 651760279 290803712 10141 33554432000 4194304 4650419 140734335685024 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2943/statm: 70997 10141 392 112 0 65962 0
[pid=2943/tid=2944] ppid=2941 vsize=283988 CPUtime=3.09 cores=1,3,5,7
/proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 3655 0 0 0 309 0 0 0 24 0 4 0 651760279 290803712 10141 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2943/tid=2945] ppid=2941 vsize=283988 CPUtime=3.05 cores=1,3,5,7
/proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 4233 0 0 0 305 0 0 0 25 0 4 0 651760279 290803712 10141 33554432000 4194304 4650419 140734335685024 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2943/tid=2946] ppid=2941 vsize=283988 CPUtime=3.08 cores=1,3,5,7
/proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 4489 0 0 0 308 0 0 0 25 0 4 0 651760279 290803712 10141 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 283988

[startup+6.31311 s]
/proc/loadavg: 7.68 7.99 8.05 10/356 2947
/proc/meminfo: memFree=26155452/32951124 swapFree=53501236/67111528
[pid=2943] ppid=2941 vsize=290928 CPUtime=25.15 cores=1,3,5,7
/proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 24046 0 0 0 2511 4 0 0 25 0 4 0 651760279 297910272 12115 33554432000 4194304 4650419 140734335685024 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2943/statm: 72732 12115 392 112 0 67697 0
[pid=2943/tid=2944] ppid=2941 vsize=290928 CPUtime=6.3 cores=1,3,5,7
/proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 6082 0 0 0 630 0 0 0 25 0 4 0 651760279 297910272 12115 33554432000 4194304 4650419 140734335685024 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2943/tid=2945] ppid=2941 vsize=290928 CPUtime=6.23 cores=1,3,5,7
/proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 6072 0 0 0 622 1 0 0 25 0 4 0 651760279 297910272 12115 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2943/tid=2946] ppid=2941 vsize=290928 CPUtime=6.3 cores=1,3,5,7
/proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 6538 0 0 0 629 1 0 0 25 0 4 0 651760279 297910272 12115 33554432000 4194304 4650419 140734335685024 18446744073709551615 4332995 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 290928

[startup+12.701 s]
/proc/loadavg: 7.72 7.99 8.05 10/356 2947
/proc/meminfo: memFree=26119888/32951124 swapFree=53501236/67111528
[pid=2943] ppid=2941 vsize=308832 CPUtime=50.65 cores=1,3,5,7
/proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 35908 0 0 0 5058 7 0 0 25 0 4 0 651760279 316243968 17485 33554432000 4194304 4650419 140734335685024 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2943/statm: 77208 17485 392 112 0 72173 0
[pid=2943/tid=2944] ppid=2941 vsize=308832 CPUtime=12.68 cores=1,3,5,7
/proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 8579 0 0 0 1267 1 0 0 25 0 4 0 651760279 316243968 17485 33554432000 4194304 4650419 140734335685024 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2943/tid=2945] ppid=2941 vsize=308832 CPUtime=12.56 cores=1,3,5,7
/proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 9041 0 0 0 1254 2 0 0 25 0 4 0 651760279 316243968 17485 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2943/tid=2946] ppid=2941 vsize=308832 CPUtime=12.69 cores=1,3,5,7
/proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 10079 0 0 0 1268 1 0 0 25 0 4 0 651760279 316243968 17485 33554432000 4194304 4650419 140734335685024 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 308832

[startup+25.5007 s]
/proc/loadavg: 7.77 7.99 8.04 10/356 2950
/proc/meminfo: memFree=26067084/32951124 swapFree=53501236/67111528
[pid=2943] ppid=2941 vsize=313436 CPUtime=101.7 cores=1,3,5,7
/proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 52230 0 0 0 10158 12 0 0 25 0 4 0 651760279 320958464 24627 33554432000 4194304 4650419 140734335685024 18446744073709551615 4439106 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2943/statm: 78359 24627 392 112 0 73324 0
[pid=2943/tid=2944] ppid=2941 vsize=313436 CPUtime=25.49 cores=1,3,5,7
/proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 11641 0 0 0 2546 3 0 0 25 0 4 0 651760279 320958464 24627 33554432000 4194304 4650419 140734335685024 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2943/tid=2945] ppid=2941 vsize=313436 CPUtime=25.21 cores=1,3,5,7
/proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 13277 0 0 0 2518 3 0 0 25 0 4 0 651760279 320958464 24627 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2943/tid=2946] ppid=2941 vsize=313436 CPUtime=25.49 cores=1,3,5,7
/proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 14698 0 0 0 2546 3 0 0 25 0 4 0 651760279 320958464 24627 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 313436

[startup+51.1002 s]
/proc/loadavg: 7.99 8.02 8.05 10/356 2950
/proc/meminfo: memFree=26036436/32951124 swapFree=53501236/67111528
[pid=2943] ppid=2941 vsize=306888 CPUtime=203.83 cores=1,3,5,7
/proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 77492 0 0 0 20363 20 0 0 25 0 4 0 651760279 314253312 28765 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2943/statm: 76722 28765 392 112 0 71687 0
[pid=2943/tid=2944] ppid=2941 vsize=306888 CPUtime=51.09 cores=1,3,5,7
/proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 17040 0 0 0 5105 4 0 0 25 0 4 0 651760279 314253312 28765 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2943/tid=2945] ppid=2941 vsize=306888 CPUtime=50.54 cores=1,3,5,7
/proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 20346 0 0 0 5049 5 0 0 25 0 4 0 651760279 314253312 28765 33554432000 4194304 4650419 140734335685024 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2943/tid=2946] ppid=2941 vsize=306888 CPUtime=51.09 cores=1,3,5,7
/proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 22473 0 0 0 5104 5 0 0 25 0 4 0 651760279 314253312 28765 33554432000 4194304 4650419 140734335685024 18446744073709551615 4363666 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.83
Current children cumulated vsize (KiB) 306888

[startup+102.3 s]
/proc/loadavg: 8.14 8.05 8.06 10/356 2952
/proc/meminfo: memFree=25996844/32951124 swapFree=53501236/67111528
[pid=2943] ppid=2941 vsize=328800 CPUtime=408.07 cores=1,3,5,7
/proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 113540 0 0 0 40775 32 0 0 25 0 4 0 651760279 336691200 32244 33554432000 4194304 4650419 140734335685024 18446744073709551615 4366122 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2943/statm: 82200 32244 392 112 0 77165 0
[pid=2943/tid=2944] ppid=2941 vsize=328800 CPUtime=102.29 cores=1,3,5,7
/proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 23597 0 0 0 10222 7 0 0 25 0 4 0 651760279 336691200 32244 33554432000 4194304 4650419 140734335685024 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2943/tid=2945] ppid=2941 vsize=328800 CPUtime=101.17 cores=1,3,5,7
/proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 29317 0 0 0 10110 7 0 0 25 0 4 0 651760279 336691200 32244 33554432000 4194304 4650419 140734335685024 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2943/tid=2946] ppid=2941 vsize=328800 CPUtime=102.29 cores=1,3,5,7
/proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 34856 0 0 0 10220 9 0 0 25 0 4 0 651760279 336691200 32244 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.07
Current children cumulated vsize (KiB) 328800

[startup+162.301 s]

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

[pid=2943] ppid=2941 vsize=382544 CPUtime=2562.09 cores=1,3,5,7
/proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 339763 0 0 0 256080 129 0 0 25 0 4 0 651760279 391725056 66368 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2943/statm: 95636 66368 392 112 0 90601 0
[pid=2943/tid=2944] ppid=2941 vsize=382544 CPUtime=642.3 cores=1,3,5,7
/proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 66361 0 0 0 64205 25 0 0 25 0 4 0 651760279 391725056 66368 33554432000 4194304 4650419 140734335685024 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2943/tid=2945] ppid=2941 vsize=382544 CPUtime=635.15 cores=1,3,5,7
/proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 91416 0 0 0 63480 35 0 0 25 0 4 0 651760279 391725056 66368 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2943/tid=2946] ppid=2941 vsize=382544 CPUtime=642.3 cores=1,3,5,7
/proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 97123 0 0 0 64194 36 0 0 25 0 4 0 651760279 391725056 66368 33554432000 4194304 4650419 140734335685024 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2562.09
Current children cumulated vsize (KiB) 382544

[startup+702.301 s]
/proc/loadavg: 8.07 8.08 8.06 10/356 2969
/proc/meminfo: memFree=25667424/32951124 swapFree=53501236/67111528
[pid=2943] ppid=2941 vsize=382880 CPUtime=2801.41 cores=1,3,5,7
/proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 350733 0 0 0 280006 135 0 0 25 0 4 0 651760279 392069120 67363 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2943/statm: 95720 67363 392 112 0 90685 0
[pid=2943/tid=2944] ppid=2941 vsize=382880 CPUtime=702.3 cores=1,3,5,7
/proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 66361 0 0 0 70205 25 0 0 25 0 4 0 651760279 392069120 67363 33554432000 4194304 4650419 140734335685024 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2943/tid=2945] ppid=2941 vsize=382880 CPUtime=694.48 cores=1,3,5,7
/proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 96393 0 0 0 69409 39 0 0 25 0 4 0 651760279 392069120 67363 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2943/tid=2946] ppid=2941 vsize=382880 CPUtime=702.3 cores=1,3,5,7
/proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 98073 0 0 0 70194 36 0 0 25 0 4 0 651760279 392069120 67363 33554432000 4194304 4650419 140734335685024 18446744073709551615 4334120 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2801.41
Current children cumulated vsize (KiB) 382880

[startup+762.301 s]
/proc/loadavg: 8.02 8.06 8.05 10/356 2970
/proc/meminfo: memFree=25654012/32951124 swapFree=53501236/67111528
[pid=2943] ppid=2941 vsize=395336 CPUtime=3040.75 cores=1,3,5,7
/proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 364228 0 0 0 303932 143 0 0 25 0 4 0 651760279 404824064 71098 33554432000 4194304 4650419 140734335685024 18446744073709551615 4366931 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2943/statm: 98834 71098 392 112 0 93799 0
[pid=2943/tid=2944] ppid=2941 vsize=395336 CPUtime=762.31 cores=1,3,5,7
/proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 66752 0 0 0 76205 26 0 0 25 0 4 0 651760279 404824064 71098 33554432000 4194304 4650419 140734335685024 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2943/tid=2945] ppid=2941 vsize=395336 CPUtime=753.82 cores=1,3,5,7
/proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 101928 0 0 0 75339 43 0 0 25 0 4 0 651760279 404824064 71098 33554432000 4194304 4650419 140734335685024 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2943/tid=2946] ppid=2941 vsize=395336 CPUtime=762.3 cores=1,3,5,7
/proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 100381 0 0 0 76193 37 0 0 25 0 4 0 651760279 404824064 71098 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3040.75
Current children cumulated vsize (KiB) 395336

[startup+822.301 s]
/proc/loadavg: 8.08 8.08 8.06 10/356 2972
/proc/meminfo: memFree=25649544/32951124 swapFree=53501236/67111528
[pid=2943] ppid=2941 vsize=505520 CPUtime=3280.09 cores=1,3,5,7
/proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 380166 0 0 0 327859 150 0 0 25 0 4 0 651760279 517652480 71734 33554432000 4194304 4650419 140734335685024 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2943/statm: 126380 71734 392 112 0 121345 0
[pid=2943/tid=2944] ppid=2941 vsize=505520 CPUtime=822.31 cores=1,3,5,7
/proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 66752 0 0 0 82205 26 0 0 25 0 4 0 651760279 517652480 71734 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2943/tid=2945] ppid=2941 vsize=505520 CPUtime=813.15 cores=1,3,5,7
/proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 104917 0 0 0 81270 45 0 0 25 0 4 0 651760279 517652480 71734 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2943/tid=2946] ppid=2941 vsize=505520 CPUtime=822.3 cores=1,3,5,7
/proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 105418 0 0 0 82191 39 0 0 25 0 4 0 651760279 517652480 71734 33554432000 4194304 4650419 140734335685024 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3280.09
Current children cumulated vsize (KiB) 505520

[startup+882.301 s]
/proc/loadavg: 8.03 8.06 8.05 10/356 2973
/proc/meminfo: memFree=25620112/32951124 swapFree=53501236/67111528
[pid=2943] ppid=2941 vsize=452128 CPUtime=3519.41 cores=1,3,5,7
/proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 401339 0 0 0 351783 158 0 0 25 0 4 0 651760279 462979072 76274 33554432000 4194304 4650419 140734335685024 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2943/statm: 113032 76274 392 112 0 107997 0
[pid=2943/tid=2944] ppid=2941 vsize=452128 CPUtime=882.31 cores=1,3,5,7
/proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 68982 0 0 0 88204 27 0 0 25 0 4 0 651760279 462979072 76274 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2943/tid=2945] ppid=2941 vsize=452128 CPUtime=872.47 cores=1,3,5,7
/proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 109148 0 0 0 87199 48 0 0 25 0 4 0 651760279 462979072 76274 33554432000 4194304 4650419 140734335685024 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2943/tid=2946] ppid=2941 vsize=452128 CPUtime=882.31 cores=1,3,5,7
/proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 108384 0 0 0 88190 41 0 0 25 0 4 0 651760279 462979072 76274 33554432000 4194304 4650419 140734335685024 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3519.41
Current children cumulated vsize (KiB) 452128

[startup+942.3 s]
/proc/loadavg: 8.09 8.06 8.05 10/356 2975
/proc/meminfo: memFree=25632096/32951124 swapFree=53501236/67111528
[pid=2943] ppid=2941 vsize=505292 CPUtime=3758.75 cores=1,3,5,7
/proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 412913 0 0 0 375711 164 0 0 25 0 4 0 651760279 517419008 78355 33554432000 4194304 4650419 140734335685024 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2943/statm: 126323 78355 392 112 0 121288 0
[pid=2943/tid=2944] ppid=2941 vsize=505292 CPUtime=942.32 cores=1,3,5,7
/proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 69829 0 0 0 94205 27 0 0 25 0 4 0 651760279 517419008 78356 33554432000 4194304 4650419 140734335685024 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2943/tid=2945] ppid=2941 vsize=505292 CPUtime=931.78 cores=1,3,5,7
/proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 114180 0 0 0 93127 51 0 0 25 0 4 0 651760279 517419008 78356 33554432000 4194304 4650419 140734335685024 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2943/tid=2946] ppid=2941 vsize=505292 CPUtime=942.32 cores=1,3,5,7
/proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 108399 0 0 0 94191 41 0 0 25 0 4 0 651760279 517419008 78356 33554432000 4194304 4650419 140734335685024 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3758.75
Current children cumulated vsize (KiB) 505292

[startup+1002.3 s]
/proc/loadavg: 8.10 8.07 8.05 9/356 2977
/proc/meminfo: memFree=25583348/32951124 swapFree=53501236/67111528
[pid=2943] ppid=2941 vsize=505336 CPUtime=3998.03 cores=1,3,5,7
/proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 420466 0 0 0 399634 169 0 0 25 0 4 0 651760279 517464064 83091 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2943/statm: 126334 83091 392 112 0 121299 0
[pid=2943/tid=2944] ppid=2941 vsize=505336 CPUtime=1002.31 cores=1,3,5,7
/proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 69829 0 0 0 100204 27 0 0 25 0 4 0 651760279 517464064 83091 33554432000 4194304 4650419 140734335685024 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2943/tid=2945] ppid=2941 vsize=505336 CPUtime=991.07 cores=1,3,5,7
/proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 118165 0 0 0 99053 54 0 0 25 0 4 0 651760279 517464064 83091 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2943/tid=2946] ppid=2941 vsize=505336 CPUtime=1002.31 cores=1,3,5,7
/proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 108399 0 0 0 100190 41 0 0 25 0 4 0 651760279 517464064 83091 33554432000 4194304 4650419 140734335685024 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3998.03
Current children cumulated vsize (KiB) 505336

[startup+1062.31 s]
/proc/loadavg: 8.10 8.07 8.05 10/356 2979
/proc/meminfo: memFree=25579592/32951124 swapFree=53501236/67111528
[pid=2943] ppid=2941 vsize=505932 CPUtime=4237.4 cores=1,3,5,7
/proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 433592 0 0 0 423563 177 0 0 25 0 4 0 651760279 518074368 78595 33554432000 4194304 4650419 140734335685024 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2943/statm: 126483 78595 392 112 0 121448 0
[pid=2943/tid=2944] ppid=2941 vsize=505932 CPUtime=1062.32 cores=1,3,5,7
/proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 69830 0 0 0 106205 27 0 0 25 0 4 0 651760279 518074368 78595 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2943/tid=2945] ppid=2941 vsize=505932 CPUtime=1050.4 cores=1,3,5,7
/proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 123562 0 0 0 104982 58 0 0 25 0 4 0 651760279 518074368 78595 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2943/tid=2946] ppid=2941 vsize=505932 CPUtime=1062.33 cores=1,3,5,7
/proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 113767 0 0 0 106189 44 0 0 25 0 4 0 651760279 518074368 78595 33554432000 4194304 4650419 140734335685024 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4237.4
Current children cumulated vsize (KiB) 505932

[startup+1122.3 s]
/proc/loadavg: 8.16 8.08 8.06 10/356 2981
/proc/meminfo: memFree=25552020/32951124 swapFree=53501236/67111528
[pid=2943] ppid=2941 vsize=506472 CPUtime=4476.7 cores=1,3,5,7
/proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 447009 0 0 0 447488 182 0 0 25 0 4 0 651760279 518627328 83967 33554432000 4194304 4650419 140734335685024 18446744073709551615 4476311 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2943/statm: 126618 83967 392 112 0 121583 0
[pid=2943/tid=2944] ppid=2941 vsize=506472 CPUtime=1122.31 cores=1,3,5,7
/proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 70047 0 0 0 112204 27 0 0 25 0 4 0 651760279 518627328 83967 33554432000 4194304 4650419 140734335685024 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2943/tid=2945] ppid=2941 vsize=506472 CPUtime=1109.75 cores=1,3,5,7
/proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 128732 0 0 0 110915 60 0 0 25 0 4 0 651760279 518627328 83967 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2943/tid=2946] ppid=2941 vsize=506472 CPUtime=1122.32 cores=1,3,5,7
/proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 117412 0 0 0 112186 46 0 0 25 0 4 0 651760279 518627328 83967 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4476.7
Current children cumulated vsize (KiB) 506472

[startup+1182.3 s]
/proc/loadavg: 8.17 8.10 8.06 10/356 2983
/proc/meminfo: memFree=25544924/32951124 swapFree=53501236/67111528
[pid=2943] ppid=2941 vsize=532128 CPUtime=4716.04 cores=1,3,5,7
/proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 461473 0 0 0 471413 191 0 0 25 0 4 0 651760279 544899072 84416 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2943/statm: 133032 84416 392 112 0 127997 0
[pid=2943/tid=2944] ppid=2941 vsize=532128 CPUtime=1182.31 cores=1,3,5,7
/proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 70193 0 0 0 118204 27 0 0 25 0 4 0 651760279 544899072 84416 33554432000 4194304 4650419 140734335685024 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2943/tid=2945] ppid=2941 vsize=532128 CPUtime=1169.08 cores=1,3,5,7
/proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 134242 0 0 0 116845 63 0 0 25 0 4 0 651760279 544899072 84416 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2943/tid=2946] ppid=2941 vsize=532128 CPUtime=1182.32 cores=1,3,5,7
/proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 122035 0 0 0 118183 49 0 0 25 0 4 0 651760279 544899072 84416 33554432000 4194304 4650419 140734335685024 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4716.04
Current children cumulated vsize (KiB) 532128



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 8.12 8.09 8.06 7/355 2985
/proc/meminfo: memFree=25549724/32951124 swapFree=53501236/67111528
[pid=2943] ppid=2941 vsize=506924 CPUtime=4800.23 cores=1,3,5,7
/proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 468753 0 0 0 479829 194 0 0 25 0 4 0 651760279 519090176 81176 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2943/statm: 126731 81176 392 112 0 121696 0
[pid=2943/tid=2944] ppid=2941 vsize=506924 CPUtime=1203.43 cores=1,3,5,7
/proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 71569 0 0 0 120315 28 0 0 25 0 4 0 651760279 519090176 81176 33554432000 4194304 4650419 140734335685024 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2943/tid=2945] ppid=2941 vsize=506924 CPUtime=1189.95 cores=1,3,5,7
/proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 135143 0 0 0 118932 63 0 0 25 0 4 0 651760279 519090176 81176 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2943/tid=2946] ppid=2941 vsize=506924 CPUtime=1203.42 cores=1,3,5,7
/proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 124702 0 0 0 120293 49 0 0 25 0 4 0 651760279 519090176 81176 33554432000 4194304 4650419 140734335685024 18446744073709551615 4432396 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 506924

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.43
CPU time (s): 4800.31
CPU user time (s): 4798.34
CPU system time (s): 1.9637
CPU usage (%): 398.884
Max. virtual memory (cumulated for all children) (KiB): 532252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.34
system time used= 1.9637
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 468754
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= 410
involuntary context switches= 33496

runsolver used 3.76343 second user time and 9.71452 second system time

The end

Launcher Data

Begin job on node103 at 2011-05-14 21:32:57
IDJOB=3368719
IDBENCH=82728
IDSOLVER=1846
FILE ID=node103/3368719-1305401577
RUNJOBID= node103-1305401577-2920
PBS_JOBID= 13324472
Free space on /tmp= 72984 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v60-c5340-S1141565617-016.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368719-1305401577/watcher-3368719-1305401577 -o /tmp/evaluation-result-3368719-1305401577/solver-3368719-1305401577 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368719-1305401577.cnf

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

MD5SUM BENCH= 0d2557a5d8edb4c9702dcfea1e1cd4c5
RANDOM SEED=1332764038

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
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.77
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.858
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.858
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.858
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.83
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.858
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:      26252116 kB
Buffers:        296368 kB
Cached:        3865952 kB
SwapCached:     340192 kB
Active:        1320244 kB
Inactive:      5110000 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26252116 kB
SwapTotal:    67111528 kB
SwapFree:     53501236 kB
Dirty:           12440 kB
Writeback:           0 kB
AnonPages:     1938752 kB
Mapped:          10584 kB
Slab:           151480 kB
PageTables:      52712 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78376740 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= 72980 MiB
End job on node103 at 2011-05-14 21:53:02