Trace number 3175273

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

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

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175273-1304106022.cnf'
0.00/0.00	c -- header says num vars:             60
0.00/0.00	c -- header says num clauses:        5340
0.00/0.01	c -- clauses added:            0 learnts,         5340 normals,            0 xors
0.00/0.01	c -- vars added         60
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.42/0.12	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.46
0.42/0.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.42/0.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.42/0.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.42/0.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
0.42/0.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.42/0.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
0.42/0.14	c Finding binary XORs  T:     0.00 s  found:       0
0.42/0.14	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.42/0.14	c calculated reachability. Time: 0.00
0.42/0.14	c Calc default polars -  time:   0.00 s pos:      27 undec:       0 neg:      33
0.42/0.14	c =========================================================================================
0.42/0.14	c types(t): F = full restart, N = normal restart
0.42/0.14	c types(t): S = simplification begin/end, E = solution found
0.42/0.14	c restart types(rt): st = static, dy = dynamic
0.42/0.14	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.42/0.14	c  B st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.77/0.29	c  N dy    11      5494        60      5340         0      2661     37380     51572     18.31     19.36  --
1.57/0.44	c  N dy    21      9988        60      5340         0      6665     37380    136870     18.19     19.28  --
2.37/0.61	c  N dy    34     14812        60      5340         0      7173     37380    139400     18.19     19.16  --
3.17/0.81	c  N dy    36     19532        60      5340         0      6358     37380    113347     17.99     18.97  --
3.97/1.06	c  F st    61     25000        60      5340         0     11217     37380    217336     18.15     17.22  --
3.97/1.06	c  N st    61     25000        60      5340         0     11217     37380    217336     18.15     17.22  --
4.79/1.27	c  N dy    67     30002        60      5340         0      9645     37380    175632     18.15   no data  --
4.79/1.27	c  S st    67     30002        60      5340         0      9645     37380    175632     18.15   no data  --
5.17/1.30	c  S st    67     30506        60      5340         0     10109     37380    185724     18.15   no data  --
5.17/1.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.17/1.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.17/1.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
5.17/1.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.78/2.24	c lits-rem:      1325  cl-subs:      931  v-elim:      0  v-fix:    0  time:  3.71 s
9.96/2.50	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.04
9.96/2.50	c calculated reachability. Time: 0.00
9.96/2.50	c  N dy    67     30506        60      5340         0      9178     37380    164354     18.15   no data  --
11.16/2.85	c  N dy    73     37322        60      5340         0      8213     37380    132171     17.81     18.81  --
11.96/3.06	c  N dy    84     41575        60      5340         0     12007     37380    212442     17.85     18.87  --
13.17/3.31	c  N dy   107     45762        60      5340         0     15742     37380    292176     17.93     15.88  --
13.17/3.31	c  S st   107     45762        60      5340         0     15742     37380    292176     17.93     15.88  --
13.17/3.35	c  S st   107     46265        60      5340         0      8258     37380    127129     17.93   no data  --
13.17/3.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.17/3.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.17/3.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.17/3.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.17/3.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.17/3.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
13.17/3.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.36/4.10	c lits-rem:       208  cl-subs:       96  v-elim:      0  v-fix:    0  time:  2.98 s
16.36/4.11	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
16.36/4.11	c vivif2 --  cl tried     8162 cl shrink        0 lits rem          0 time: 0.00
17.16/4.33	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.91
17.16/4.33	c calculated reachability. Time: 0.00
17.16/4.33	c  N dy   107     46265        60      5340         0      8162     37380    125079     17.93   no data  --
17.97/4.54	c  N dy   132     50399        60      5340         0     11855     37380    205146     18.05     19.00  --
19.95/5.00	c  N dy   147     58725        60      5340         0     10341     37380    159108     17.97     19.07  --
20.74/5.21	c  N dy   162     62744        60      5340         0     13918     37380    234438     17.97     19.80  --
21.96/5.50	c  N dy   187     66928        60      5340         0     17647     37380    315146     18.03     19.03  --
22.36/5.69	c  S st   201     69397        60      5340         0     10079     37380    145449     18.06     17.18  --
22.74/5.72	c  S st   201     69898        60      5340         0     10530     37380    155243     18.06   no data  --
22.74/5.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.74/5.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
22.74/5.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
22.74/5.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
22.74/5.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22.74/5.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
22.74/5.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.95/6.59	c lits-rem:       230  cl-subs:      161  v-elim:      0  v-fix:    0  time:  3.42 s
25.95/6.59	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
25.95/6.59	c vivif2 --  cl tried    10369 cl shrink        0 lits rem          0 time: 0.01
27.14/6.87	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.10
27.14/6.87	c calculated reachability. Time: 0.00
27.14/6.87	c  N dy   201     69898        60      5340         0     10369     37380    151556     18.06   no data  --
28.73/7.25	c  N dy   206     77543        60      5340         0     17099     37380    288892     17.93     19.02  --
31.15/7.80	c  N dy   224     86175        60      5340         0     14136     37380    218188     17.87     18.82  --
31.15/7.89	c  F st   237     87502        60      5340         0     15338     37380    244798     17.91     17.77  --
32.72/8.23	c  N dy   243     92696        60      5340         0     19976     37380    345892     17.91   no data  --
35.92/9.03	c  N dy   274    103869        60      5340         0     18351     37380    296475     17.90     18.88  --
36.32/9.11	c  S st   284    104847        60      5340         0     19237     37380    316006     17.92   no data  --
36.32/9.16	c  S st   284    105351        60      5340         0     19698     37380    326429     17.92   no data  --
36.32/9.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.32/9.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.32/9.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
36.32/9.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.32/9.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.32/9.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
36.32/9.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
41.91/10.55	c lits-rem:      1455  cl-subs:     2286  v-elim:      0  v-fix:    0  time:  5.45 s
41.91/10.55	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
41.91/10.55	c vivif2 --  cl tried    17412 cl shrink        0 lits rem          0 time: 0.01
43.51/10.90	c asymm  cl-useful: 0/4247/5340 lits-rem:0 time: 1.40
43.51/10.90	c calculated reachability. Time: 0.00
43.51/10.90	c  N dy   284    105351        60      5340         0     17412     37380    279080     17.92   no data  --
51.89/13.02	c  N dy   298    135873        60      5340         0     18632     37380    280095     17.48     18.50  --
56.29/14.10	c  N dy   361    148678        60      5340         0     16002     37380    222082     17.53     18.48  --
59.08/14.85	c  S st   425    158027        60      5340         0     24385     37380    402061     17.61     17.55  --
59.49/14.91	c  S st   425    158530        60      5340         0     24843     37380    412209     17.61   no data  --
59.49/14.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
59.49/14.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
59.49/14.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
59.49/14.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
59.49/14.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
59.49/14.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
59.49/14.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
67.47/16.90	c lits-rem:      2011  cl-subs:     2579  v-elim:      0  v-fix:    0  time:  7.84 s
67.47/16.90	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
67.47/16.90	c vivif2 --  cl tried    22264 cl shrink        0 lits rem          0 time: 0.02
67.87/17.02	c asymm  cl-useful: 0/1093/5340 lits-rem:0 time: 0.50
67.87/17.03	c calculated reachability. Time: 0.00
67.87/17.03	c  N dy   425    158530        60      5340         0     22264     37380    356400     17.61   no data  --
71.86/18.04	c  N dy   495    168685        60      5340         0     16393     37380    223242     17.70     19.58  --
75.85/19.01	c  N dy   576    179480        60      5340         0     26055     37380    432809     17.79     18.77  --
83.05/20.81	c  N dy   607    201412        60      5340         0     29489     37380    477789     17.66     18.60  --
88.26/22.12	c  N dy   669    214302        60      5340         0     24210     37380    368640     17.69     19.42  --
95.03/23.85	c  N dy   791    228537        60      5340         0     19142     37380    250304     17.81     18.79  --
97.82/24.58	c  S st   823    237796        60      5340         0     27358     37380    422859     17.81     16.74  --
98.22/24.66	c  S st   823    238301        60      5340         0     27812     37380    432817     17.81   no data  --
98.22/24.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
98.22/24.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
98.22/24.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
98.22/24.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
98.22/24.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
98.22/24.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
98.22/24.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
107.01/26.83	c lits-rem:      2047  cl-subs:     2630  v-elim:      0  v-fix:    0  time:  8.57 s
107.01/26.83	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
107.01/26.83	c vivif2 --  cl tried    25182 cl shrink        0 lits rem          0 time: 0.02
108.61/27.22	c asymm  cl-useful: 0/3381/5340 lits-rem:0 time: 1.55
108.61/27.22	c calculated reachability. Time: 0.00
108.61/27.22	c  N dy   823    238301        60      5340         0     25182     37380    376401     17.81   no data  --
115.40/28.96	c  N dy   905    253877        60      5340         0     20497     37380    267867     17.86     18.98  --
122.19/30.62	c  N dy   979    270387        60      5340         0     35184     37380    580124     17.89     18.84  --
129.38/32.43	c  N dy  1048    288684        60      5340         0     31916     37380    501536     17.92     18.91  --
135.77/34.09	c  F st  1054    306251        60      5340         0     26944     37380    377444     17.83     14.96  --
136.18/34.20	c  N st  1057    307440        60      5340         0     27989     37380    399749     17.83   no data  --
145.75/36.53	c  N dy  1141    327094        60      5340         0     24283     37380    320578     17.87     18.96  --
158.55/39.79	c  N dy  1251    355410        60      5340         0     27168     37380    364121     17.88     18.83  --
159.72/40.02	c  S st  1272    357451        60      5340         0     28989     37380    404417     17.90   no data  --
159.72/40.09	c  S st  1272    357954        60      5340         0     29445     37380    414502     17.90   no data  --
160.12/40.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
160.12/40.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
160.12/40.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
160.12/40.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
160.12/40.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
160.12/40.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
160.12/40.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
168.12/42.13	c lits-rem:      1224  cl-subs:     2313  v-elim:      0  v-fix:    0  time:  8.06 s
168.12/42.13	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
168.12/42.14	c vivif2 --  cl tried    27132 cl shrink        0 lits rem          0 time: 0.02
169.32/42.41	c asymm  cl-useful: 0/1959/5340 lits-rem:0 time: 1.08
169.32/42.41	c calculated reachability. Time: 0.00
169.32/42.41	c  N dy  1272    357954        60      5340         0     27132     37380    368106     17.90   no data  --
183.30/45.92	c  N dy  1353    385255        60      5340         0     28437     37380    384210     17.88     18.83  --
194.87/48.89	c  N dy  1411    406786        60      5340         0     47533     37380    783845     17.86     18.84  --
205.25/51.41	c  N dy  1530    426823        60      5340         0     41502     37380    657921     17.91     18.89  --
215.66/54.03	c  N dy  1608    446899        60      5340         0     34438     37380    489034     17.91     19.94  --
225.23/56.45	c  N dy  1629    468642        60      5340         0     27943     37380    342325     17.86     18.85  --
235.62/59.05	c  N dy  1719    488772        60      5340         0     45815     37380    723421     17.89     18.96  --
254.81/63.85	c  N dy  1782    523964        60      5340         0     50300     37380    785596     17.83     18.89  --
263.18/65.92	c  S st  1882    536932        60      5340         0     34475     37380    466367     17.87   no data  --
263.59/66.01	c  S st  1882    537435        60      5340         0     34939     37380    476643     17.87   no data  --
263.59/66.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
263.59/66.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
263.59/66.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
263.59/66.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
263.59/66.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
263.59/66.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
263.59/66.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
271.56/68.09	c lits-rem:       956  cl-subs:     1620  v-elim:      0  v-fix:    0  time:  8.21 s
271.56/68.09	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
271.56/68.10	c vivif2 --  cl tried    33319 cl shrink        0 lits rem          0 time: 0.02
273.16/68.45	c asymm  cl-useful: 0/2675/5340 lits-rem:0 time: 1.43
273.16/68.45	c calculated reachability. Time: 0.00
273.16/68.45	c  N dy  1882    537435        60      5340         0     33319     37380    439061     17.87   no data  --
285.96/71.64	c  N dy  1991    557458        60      5340         0     51128     37380    821710     17.90     21.12  --
297.52/74.56	c  N dy  2087    577470        60      5340         0     40546     37380    583396     17.92     19.68  --
312.31/78.22	c  N dy  2185    597905        60      5340         0     29513     37380    336241     17.95     18.99  --
325.88/81.67	c  N dy  2303    622681        60      5340         0     51441     37380    805847     17.97     18.96  --
339.46/85.09	c  N dy  2377    644857        60      5340         0     40974     37380    570727     17.97     18.98  --
355.03/88.92	c  N dy  2475    665505        60      5340         0     59289     37380    962086     17.99     19.02  --
369.03/92.48	c  N dy  2593    685637        60      5340         0     46168     37380    676393     18.01     19.05  --
383.79/96.18	c  N dy  2658    705822        60      5340         0     32088     37380    360922     18.01     18.99  --
396.17/99.28	c  N dy  2724    725916        60      5340         0     49922     37380    734818     18.00     19.27  --
413.37/103.51	c  N dy  2803    745948        60      5340         0     34900     37380    408940     18.01     18.99  --
426.54/106.86	c  N dy  2873    769296        60      5340         0     55509     37380    843416     18.01     19.02  --
442.90/110.94	c  N dy  2919    793013        60      5340         0     42744     37380    558650     17.98     19.03  --
451.68/113.16	c  S st  2997    806152        60      5340         0     54400     37380    809371     17.99   no data  --
452.08/113.30	c  S st  2997    806659        60      5340         0     54863     37380    819749     17.99   no data  --
452.50/113.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
452.50/113.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
452.50/113.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
452.50/113.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
452.50/113.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
452.50/113.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
452.50/113.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
481.63/120.63	c lits-rem:      2399  cl-subs:     5832  v-elim:      0  v-fix:    0  time: 29.08 s
481.63/120.63	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
481.63/120.64	c vivif2 --  cl tried    49031 cl shrink        0 lits rem          0 time: 0.03
482.43/120.88	c asymm  cl-useful: 0/766/5340 lits-rem:0 time: 0.95
482.43/120.88	c calculated reachability. Time: 0.00
482.43/120.88	c  N dy  2997    806659        60      5340         0     49031     37380    700912     17.99   no data  --
500.82/125.47	c  N dy  3085    826725        60      5340         0     66829     37380   1081671     18.00     18.97  --
514.40/128.88	c  N dy  3183    846801        60      5340         0     50361     37380    722196     18.02     19.04  --
531.58/133.16	c  N dy  3271    866821        60      5340         0     68141     37380   1103839     18.03     20.25  --
545.54/136.66	c  N dy  3389    886914        60      5340         0     50737     37380    720564     18.05     21.46  --
564.30/141.33	c  N dy  3517    907008        60      5340         0     68572     37380   1106105     18.07     19.77  --
581.47/145.65	c  N dy  3557    933684        60      5340         0     55656     37380    791301     18.04     19.03  --
601.45/150.66	c  N dy  3617    957844        60      5340         0     39946     37380    463756     18.03     18.98  --
614.63/153.93	c  N dy  3699    977853        60      5340         0     57644     37380    839681     18.04     19.57  --
633.39/158.64	c  N dy  3791    997915        60      5340         0     75440     37380   1219629     18.04     19.53  --
648.17/162.35	c  N dy  3901   1018011        60      5340         0     55347     37380    788425     18.06     20.25  --
667.76/167.29	c  N dy  4017   1038101        60      5340         0     73099     37380   1171411     18.08     19.60  --
685.33/171.62	c  N dy  4147   1058464        60      5340         0     52303     37380    714187     18.10     19.07  --
694.90/174.02	c  F st  4166   1071878        60      5340         0     64107     37380    959402     18.08     16.79  --
701.29/175.67	c  N dy  4178   1079200        60      5340         0     70560     37380   1097633     18.08     19.30  --
718.86/180.08	c  N dy  4270   1099275        60      5340         0     48581     37380    621915     18.09     20.06  --
734.83/184.06	c  N dy  4343   1120052        60      5340         0     67039     37380   1017924     18.09     19.06  --
755.62/189.28	c  N dy  4434   1140058        60      5340         0     43969     37380    510124     18.10     20.97  --
773.19/193.68	c  N dy  4479   1162430        60      5340         0     63697     37380    923542     18.08     19.22  --
801.13/200.61	c  N dy  4597   1184373        60      5340         0     83129     37380   1342898     18.10     19.06  --
819.90/205.39	c  N dy  4666   1205604        60      5340         0     60258     37380    847107     18.10     19.11  --
824.29/206.44	c  S st  4667   1209990        60      5340         0     64084     37380    926549     18.09     17.40  --
825.08/206.69	c  S st  4667   1210496        60      5340         0     64541     37380    936750     18.09   no data  --
825.08/206.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
825.08/206.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
825.48/206.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.15
825.48/206.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
825.48/206.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
825.48/206.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
825.48/206.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
889.39/222.74	c lits-rem:      3318  cl-subs:     6478  v-elim:      0  v-fix:    0  time: 63.77 s
889.39/222.74	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
889.39/222.75	c vivif2 --  cl tried    58063 cl shrink        0 lits rem          0 time: 0.04
890.99/223.11	c asymm  cl-useful: 0/663/5340 lits-rem:0 time: 1.42
890.99/223.11	c calculated reachability. Time: 0.00
890.99/223.11	c  N dy  4667   1210496        60      5340         0     58063     37380    801923     18.09   no data  --
914.56/229.00	c  N dy  4769   1230576        60      5340         0     75821     37380   1184064     18.10     19.65  --
932.13/233.40	c  N dy  4794   1252240        60      5340         0     52740     37380    675245     18.09     19.08  --
950.91/238.11	c  N dy  4903   1272722        60      5340         0     70847     37380   1064225     18.10     19.07  --
979.69/245.30	c  N dy  4938   1304175        60      5340         0     55506     37380    719268     18.07     19.27  --
1008.03/252.46	c  N dy  5035   1331600        60      5340         0     79697     37380   1231801     18.07     19.12  --
1034.39/259.00	c  N dy  5166   1352962        60      5340         0     54634     37380    704279     18.09     19.05  --
1051.17/263.29	c  N dy  5179   1373023        60      5340         0     72227     37380   1063516     18.06     19.25  --
1077.94/269.98	c  N dy  5274   1393078        60      5340         0     45059     37380    486147     18.07     20.68  --
1093.12/273.77	c  N dy  5342   1413237        60      5340         0     62863     37380    865957     18.07     19.10  --
1116.68/279.67	c  N dy  5489   1434062        60      5340         0     81356     37380   1270244     18.09     19.06  --
1136.65/284.66	c  N dy  5527   1454219        60      5340         0     53218     37380    646047     18.08     19.05  --
1155.03/289.30	c  N dy  5627   1474411        60      5340         0     71111     37380   1032375     18.09     19.13  --
1177.82/294.99	c  N dy  5675   1496085        60      5340         0     90191     37380   1434776     18.09     19.04  --
1198.17/300.03	c  N dy  5803   1516116        60      5340         0     61200     37380    817602     18.10     20.24  --
1217.74/304.92	c  N dy  5887   1536141        60      5340         0     78924     37380   1195453     18.11     19.66  --
1241.31/310.84	c  N dy  5912   1559652        60      5340         0     51869     37380    598600     18.09     19.11  --
1259.69/315.48	c  N dy  6040   1579686        60      5340         0     69646     37380    985700     18.10     19.34  --
1280.46/320.64	c  N dy  6087   1599785        60      5340         0     87331     37380   1357022     18.10     19.84  --
1302.03/326.05	c  N dy  6120   1620873        60      5340         0     57228     37380    696315     18.09     19.10  --
1321.61/330.92	c  N dy  6207   1640875        60      5340         0     74925     37380   1076846     18.09     19.34  --
1347.58/337.40	c  N dy  6328   1660926        60      5340         0     92604     37380   1459097     18.10     19.85  --
1369.15/342.86	c  N dy  6409   1680956        60      5340         0     60964     37380    776305     18.11     19.92  --
1398.30/350.16	c  N dy  6502   1707408        60      5340         0     84226     37380   1270704     18.10     19.16  --
1403.49/351.48	c  S st  6531   1710498        60      5340         0     86994     37380   1332210     18.11     17.05  --
1405.09/351.81	c  S st  6531   1711007        60      5340         0     87453     37380   1342239     18.11   no data  --
1405.09/351.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1405.09/351.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1405.09/351.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.19
1405.49/351.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1405.49/351.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1405.49/351.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
1405.49/351.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1584.85/396.87	c lits-rem:      5486  cl-subs:    10417  v-elim:      0  v-fix:    0  time: 179.55 s
1584.85/396.87	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
1584.85/396.88	c vivif2 --  cl tried    77036 cl shrink        0 lits rem          0 time: 0.06
1586.47/397.29	c asymm  cl-useful: 0/516/5340 lits-rem:0 time: 1.61
1586.47/397.29	c calculated reachability. Time: 0.00
1586.47/397.29	c  N dy  6531   1711007        60      5340         0     77036     37380   1120961     18.11   no data  --
1620.40/405.74	c  N dy  6665   1731100        60      5340         0     94876     37380   1509614     18.12     20.55  --
1643.97/411.62	c  N dy  6726   1751145        60      5340         0     62761     37380    802668     18.12     20.23  --
1671.13/418.41	c  N dy  6832   1771208        60      5340         0     80543     37380   1187597     18.13     19.26  --
1705.48/427.02	c  N dy  6908   1792218        60      5340         0     99032     37380   1581382     18.13     19.12  --
1733.44/434.03	c  N dy  6996   1814706        60      5340         0     67866     37380    899885     18.13     19.09  --
1761.82/441.14	c  N dy  7057   1834993        60      5340         0     85763     37380   1283016     18.13     19.14  --
1798.55/450.31	c  N dy  7150   1855499        60      5340         0     52030     37380    555309     18.14     19.26  --
1819.35/455.55	c  N dy  7249   1875599        60      5340         0     69793     37380    940188     18.14     20.19  --
1848.49/462.82	c  N dy  7374   1896299        60      5340         0     88121     37380   1337871     18.15     19.21  --
1885.26/472.08	c  N dy  7481   1922211        60      5340         0     58076     37380    668753     18.15     19.13  --
1906.83/477.49	c  N dy  7615   1943319        60      5340         0     76826     37380   1078039     18.16     19.19  --
1936.37/484.82	c  N dy  7672   1969029        60      5340         0     99310     37380   1550910     18.16     19.15  --
1965.92/492.27	c  N dy  7767   1994990        60      5340         0     68484     37380    885735     18.16     19.13  --
1989.50/498.11	c  N dy  7824   2018481        60      5340         0     89131     37380   1325379     18.16     19.13  --
2025.05/507.00	c  N dy  7947   2040358        60      5340         0    108409     37380   1743161     18.17     19.16  --
2043.44/511.65	c  N dy  7988   2060550        60      5340         0     71408     37380    925056     18.16     19.14  --
2067.78/517.73	c  N dy  8063   2083033        60      5340         0     91224     37380   1350785     18.16     19.15  --
2097.35/525.17	c  N dy  8152   2103212        60      5340         0    108968     37380   1731913     18.16     19.15  --
2120.12/530.80	c  N dy  8273   2123230        60      5340         0     71211     37380    928760     18.17     19.90  --
2143.29/536.66	c  N dy  8332   2144121        60      5340         0     89544     37380   1316380     18.17     19.41  --
2172.44/543.91	c  N dy  8420   2164196        60      5340         0    107349     37380   1697639     18.17     19.17  --
2196.83/550.08	c  N dy  8498   2184956        60      5340         0     69279     37380    870734     18.17     19.33  --
2221.99/556.39	c  N dy  8629   2204964        60      5340         0     87012     37380   1258535     18.18     19.71  --
2229.96/558.35	c  S st  8645   2211007        60      5340         0     92350     37380   1372366     18.18     16.95  --
2231.16/558.60	c  S st  8645   2211511        60      5340         0     92802     37380   1382527     18.18   no data  --
2231.16/558.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2231.16/558.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2231.16/558.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
2231.16/558.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2231.16/558.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2231.16/558.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
2231.16/558.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2385.77/597.33	c lits-rem:      5333  cl-subs:     9835  v-elim:      0  v-fix:    0  time: 154.30 s
2385.77/597.33	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
2385.77/597.35	c vivif2 --  cl tried    82967 cl shrink        0 lits rem          0 time: 0.07
2387.35/597.75	c asymm  cl-useful: 0/483/5340 lits-rem:0 time: 1.59
2387.35/597.75	c calculated reachability. Time: 0.00
2387.35/597.75	c  N dy  8645   2211511        60      5340         0     82967     37380   1171681     18.18   no data  --
2426.89/607.67	c  N dy  8787   2234359        60      5340         0    103223     37380   1612567     18.19     19.28  --
2464.45/617.09	c  N dy  8884   2254477        60      5340         0     64218     37380    760266     18.20     19.21  --
2493.20/624.20	c  N dy  8988   2274577        60      5340         0     81887     37380   1142715     18.20     20.47  --
2523.16/631.78	c  N dy  9050   2294787        60      5340         0     99614     37380   1521079     18.20     19.18  --
2563.51/641.86	c  N dy  9108   2314885        60      5340         0     59414     37380    645662     18.21     19.18  --
2584.68/647.13	c  N dy  9115   2335133        60      5340         0     77044     37380   1007492     18.19     19.38  --
2617.04/655.25	c  N dy  9162   2355317        60      5340         0     94729     37380   1377959     18.18     19.57  --
2722.09/681.55	c  N dy  9174   2438769        60      5340         0    108383     37380   1620269     18.12     19.16  --
2776.84/695.25	c  N dy  9313   2476452        60      5340         0     82332     37380   1115152     18.12     19.20  --
2810.77/703.72	c  N dy  9420   2496668        60      5340         0    100235     37380   1503013     18.12     19.14  --
2848.72/713.24	c  N dy  9505   2516728        60      5340         0    117989     37380   1887802     18.12     19.08  --
2880.28/721.11	c  N dy  9602   2538559        60      5340         0     76733     37380    985327     18.13     19.11  --
2909.83/728.52	c  N dy  9713   2559296        60      5340         0     95032     37380   1382902     18.13     19.11  --
2954.98/739.85	c  N dy  9791   2590621        60      5340         0    122561     37380   1960357     18.13     19.09  --
2989.73/748.53	c  N dy  9881   2624118        60      5340         0     90328     37380   1252951     18.12     19.11  --
3030.07/758.65	c  N dy 10009   2649936        60      5340         0    113164     37380   1745794     18.12     19.08  --
3064.43/767.29	c  N dy 10087   2674204        60      5340         0     72033     37380    859653     18.12     19.16  --
3090.79/773.81	c  N dy 10218   2694295        60      5340         0     89748     37380   1245440     18.13     19.50  --
3115.96/780.16	c  S st 10290   2711512        60      5340         0    104888     37380   1569656     18.13   no data  --
3117.56/780.51	c  S st 10290   2712017        60      5340         0    105336     37380   1579621     18.13   no data  --
3117.56/780.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3117.56/780.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3117.56/780.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.21
3117.96/780.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3117.96/780.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3117.96/780.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
3117.96/780.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3535.39/885.13	c lits-rem:      6107  cl-subs:    12053  v-elim:      0  v-fix:    0  time: 417.40 s
3535.39/885.13	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
3535.39/885.15	c vivif2 --  cl tried    93283 cl shrink        0 lits rem          0 time: 0.08
3537.01/885.57	c asymm  cl-useful: 0/539/5340 lits-rem:0 time: 1.65
3537.01/885.57	c calculated reachability. Time: 0.00
3537.01/885.57	c  N dy 10290   2712017        60      5340         0     93283     37380   1325730     18.13   no data  --
3575.74/895.22	c  N dy 10385   2732060        60      5340         0    111052     37380   1707003     18.13     20.00  --
3620.49/906.43	c  N dy 10511   2752387        60      5340         0     66336     37380    740312     18.14     19.20  --
3654.04/914.83	c  N dy 10634   2774194        60      5340         0     85511     37380   1157982     18.15     19.12  --
3697.17/925.60	c  N dy 10764   2794528        60      5340         0    103486     37380   1550156     18.16     19.16  --
3747.11/938.11	c  N dy 10900   2814586        60      5340         0    121167     37380   1936331     18.17     20.90  --
3787.05/948.20	c  N dy 10995   2836610        60      5340         0     76520     37380    946357     18.17     19.14  --
3825.80/957.87	c  N dy 11069   2860234        60      5340         0     97278     37380   1390167     18.17     19.17  --
3873.33/969.70	c  N dy 11178   2880969        60      5340         0    115535     37380   1785954     18.17     19.18  --
3925.66/982.85	c  N dy 11300   2903028        60      5340         0     70024     37380    792184     18.18     19.16  --
3956.42/990.54	c  N dy 11338   2926204        60      5340         0     90256     37380   1213439     18.17     19.14  --
3997.96/1000.99	c  N dy 11462   2946223        60      5340         0    107926     37380   1599291     18.18     19.80  --
4047.89/1013.49	c  N dy 11567   2966273        60      5340         0    125657     37380   1981850     18.18     20.94  --
4089.03/1023.71	c  N dy 11662   2986639        60      5340         0     77783     37380    954684     18.19     19.15  --
4122.19/1032.05	c  N dy 11767   3006653        60      5340         0     95400     37380   1332786     18.19     21.31  --
4160.54/1041.66	c  N dy 11858   3026744        60      5340         0    113096     37380   1712121     18.19     19.92  --
4205.68/1052.99	c  N dy 11899   3057561        60      5340         0     73160     37380    834216     18.18     19.14  --
4227.64/1058.45	c  N dy 11935   3077568        60      5340         0     90624     37380   1199012     18.17     19.50  --
4258.81/1066.27	c  N dy 12053   3097628        60      5340         0    108345     37380   1584983     18.18     20.88  --
4297.95/1076.01	c  N dy 12120   3121233        60      5340         0    129071     37380   2026066     18.18     19.21  --
4331.11/1084.31	c  N dy 12253   3141979        60      5340         0     79738     37380    977113     18.19     19.18  --
4357.88/1091.02	c  N dy 12279   3163259        60      5340         0     98416     37380   1369230     18.18     19.14  --
4397.43/1100.95	c  N dy 12384   3183292        60      5340         0    116104     37380   1751732     18.18     19.88  --
4446.16/1113.15	c  N dy 12521   3203820        60      5340         0    134197     37380   2147379     18.19     19.22  --
4461.33/1117.00	c  S st 12550   3212017        60      5340         0     72790     37380    813465     18.19     17.76  --
4462.53/1117.20	c  S st 12550   3212521        60      5340         0     73246     37380    823854     18.19   no data  --
4462.53/1117.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4462.53/1117.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4462.53/1117.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.13
4462.53/1117.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4462.53/1117.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4462.53/1117.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
4462.53/1117.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4513.67/1130.00	c lits-rem:       748  cl-subs:     1475  v-elim:      0  v-fix:    0  time: 50.88 s
4513.67/1130.00	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
4513.67/1130.01	c vivif2 --  cl tried    71771 cl shrink        0 lits rem          0 time: 0.05
4514.87/1130.31	c asymm  cl-useful: 0/605/5340 lits-rem:0 time: 1.18
4514.87/1130.31	c calculated reachability. Time: 0.00
4514.87/1130.31	c  N dy 12550   3212521        60      5340         0     71771     37380    793537     18.19   no data  --
4533.64/1135.01	c  N dy 12572   3232575        60      5340         0     89221     37380   1152611     18.18     19.51  --
4566.39/1143.29	c  N dy 12701   3253300        60      5340         0    107488     37380   1551179     18.19     19.15  --
4607.94/1153.63	c  N dy 12874   3273316        60      5340         0    125234     37380   1946259     18.20     20.71  --
4649.88/1164.13	c  N dy 12977   3294291        60      5340         0     74302     37380    837602     18.20     19.17  --
4690.22/1174.24	c  N dy 13122   3326591        60      5340         0    102742     37380   1443838     18.20     19.34  --
4736.98/1185.95	c  N dy 13211   3355020        60      5340         0    127727     37380   1975002     18.20     19.25  --
4777.31/1196.05	c  N dy 13318   3375090        60      5340         0     75073     37380    844353     18.21     19.18  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3175273-1304106022/watcher-3175273-1304106022 -o /tmp/evaluation-result-3175273-1304106022/solver-3175273-1304106022 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175273-1304106022.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: 8.14 8.10 8.01 5/178 26516
/proc/meminfo: memFree=30372248/32951132 swapFree=67111356/67111528
[pid=26516] ppid=26514 vsize=207908 CPUtime=0 cores=1,3,5,7
/proc/26516/stat : 26516 (strangenight1-m) R 26514 26516 26305 0 -1 4202496 636 0 0 0 0 0 0 0 25 0 4 0 522201835 212897792 550 33554432000 4194304 4650419 140735908341328 18446744073709551615 4373800 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26516/statm: 51977 550 343 112 0 46942 0
[pid=26516/tid=26517] ppid=26514 vsize=207908 CPUtime=0 cores=1,3,5,7
/proc/26516/task/26517/stat : 26517 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 75 0 0 0 0 0 0 0 25 0 4 0 522201835 212897792 555 33554432000 4194304 4650419 140735908341328 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26516/tid=26518] ppid=26514 vsize=207908 CPUtime=0 cores=1,3,5,7
/proc/26516/task/26518/stat : 26518 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 18 0 0 0 0 0 0 0 25 0 4 0 522201835 212897792 555 33554432000 4194304 4650419 140735908341328 18446744073709551615 274664505099 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26516/tid=26519] ppid=26514 vsize=207908 CPUtime=0 cores=1,3,5,7
/proc/26516/task/26519/stat : 26519 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 66 0 0 0 0 0 0 0 25 0 4 0 522201835 212897792 561 33554432000 4194304 4650419 140735908341328 18446744073709551615 274664469189 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.111457 s]
/proc/loadavg: 8.14 8.10 8.01 5/178 26516
/proc/meminfo: memFree=30372248/32951132 swapFree=67111356/67111528
[pid=26516] ppid=26514 vsize=216640 CPUtime=0.42 cores=1,3,5,7
/proc/26516/stat : 26516 (strangenight1-m) R 26514 26516 26305 0 -1 4202496 1358 0 0 0 42 0 0 0 25 0 4 0 522201835 221839360 1272 33554432000 4194304 4650419 140735908341328 18446744073709551615 4370668 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26516/statm: 54160 1272 366 112 0 49125 0
[pid=26516/tid=26517] ppid=26514 vsize=216640 CPUtime=0.1 cores=1,3,5,7
/proc/26516/task/26517/stat : 26517 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 212 0 0 0 10 0 0 0 25 0 4 0 522201835 221839360 1272 33554432000 4194304 4650419 140735908341328 18446744073709551615 4371120 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26516/tid=26518] ppid=26514 vsize=216640 CPUtime=0.1 cores=1,3,5,7
/proc/26516/task/26518/stat : 26518 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 186 0 0 0 10 0 0 0 25 0 4 0 522201835 221839360 1272 33554432000 4194304 4650419 140735908341328 18446744073709551615 4370519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26516/tid=26519] ppid=26514 vsize=216640 CPUtime=0.1 cores=1,3,5,7
/proc/26516/task/26519/stat : 26519 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 336 0 0 0 10 0 0 0 25 0 4 0 522201835 221839360 1272 33554432000 4194304 4650419 140735908341328 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 216640

[startup+0.200444 s]
/proc/loadavg: 8.14 8.10 8.01 5/178 26516
/proc/meminfo: memFree=30372248/32951132 swapFree=67111356/67111528
[pid=26516] ppid=26514 vsize=218052 CPUtime=0.77 cores=1,3,5,7
/proc/26516/stat : 26516 (strangenight1-m) R 26514 26516 26305 0 -1 4202496 2984 0 0 0 77 0 0 0 18 0 4 0 522201835 223285248 2549 33554432000 4194304 4650419 140735908341328 18446744073709551615 4330361 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26516/statm: 54513 2549 390 112 0 49478 0
[pid=26516/tid=26517] ppid=26514 vsize=218052 CPUtime=0.19 cores=1,3,5,7
/proc/26516/task/26517/stat : 26517 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 691 0 0 0 19 0 0 0 18 0 4 0 522201835 223285248 2549 33554432000 4194304 4650419 140735908341328 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26516/tid=26518] ppid=26514 vsize=218052 CPUtime=0.18 cores=1,3,5,7
/proc/26516/task/26518/stat : 26518 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 622 0 0 0 18 0 0 0 25 0 4 0 522201835 223285248 2550 33554432000 4194304 4650419 140735908341328 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26516/tid=26519] ppid=26514 vsize=218052 CPUtime=0.19 cores=1,3,5,7
/proc/26516/task/26519/stat : 26519 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 549 0 0 0 19 0 0 0 25 0 4 0 522201835 223285248 2550 33554432000 4194304 4650419 140735908341328 18446744073709551615 4298905 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 218052

[startup+0.300426 s]
/proc/loadavg: 8.14 8.10 8.01 5/178 26516
/proc/meminfo: memFree=30372248/32951132 swapFree=67111356/67111528
[pid=26516] ppid=26514 vsize=218744 CPUtime=1.17 cores=1,3,5,7
/proc/26516/stat : 26516 (strangenight1-m) R 26514 26516 26305 0 -1 4202496 3590 0 0 0 117 0 0 0 18 0 4 0 522201835 223993856 2676 33554432000 4194304 4650419 140735908341328 18446744073709551615 4310421 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26516/statm: 54686 2676 390 112 0 49651 0
[pid=26516/tid=26517] ppid=26514 vsize=218744 CPUtime=0.29 cores=1,3,5,7
/proc/26516/task/26517/stat : 26517 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 865 0 0 0 29 0 0 0 18 0 4 0 522201835 223993856 2676 33554432000 4194304 4650419 140735908341328 18446744073709551615 4329260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26516/tid=26518] ppid=26514 vsize=218744 CPUtime=0.28 cores=1,3,5,7
/proc/26516/task/26518/stat : 26518 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 798 0 0 0 28 0 0 0 25 0 4 0 522201835 223993856 2676 33554432000 4194304 4650419 140735908341328 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26516/tid=26519] ppid=26514 vsize=218744 CPUtime=0.29 cores=1,3,5,7
/proc/26516/task/26519/stat : 26519 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 624 0 0 0 29 0 0 0 25 0 4 0 522201835 223993856 2676 33554432000 4194304 4650419 140735908341328 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 218744

[startup+0.700358 s]
/proc/loadavg: 8.14 8.10 8.01 5/178 26516
/proc/meminfo: memFree=30372248/32951132 swapFree=67111356/67111528
[pid=26516] ppid=26514 vsize=220208 CPUtime=2.77 cores=1,3,5,7
/proc/26516/stat : 26516 (strangenight1-m) R 26514 26516 26305 0 -1 4202496 5549 0 0 0 277 0 0 0 18 0 4 0 522201835 225492992 3453 33554432000 4194304 4650419 140735908341328 18446744073709551615 4330361 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26516/statm: 55052 3453 390 112 0 50017 0
[pid=26516/tid=26517] ppid=26514 vsize=220208 CPUtime=0.69 cores=1,3,5,7
/proc/26516/task/26517/stat : 26517 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 1305 0 0 0 69 0 0 0 18 0 4 0 522201835 225492992 3453 33554432000 4194304 4650419 140735908341328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26516/tid=26518] ppid=26514 vsize=220208 CPUtime=0.68 cores=1,3,5,7
/proc/26516/task/26518/stat : 26518 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 1234 0 0 0 68 0 0 0 25 0 4 0 522201835 225492992 3453 33554432000 4194304 4650419 140735908341328 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26516/tid=26519] ppid=26514 vsize=220208 CPUtime=0.69 cores=1,3,5,7
/proc/26516/task/26519/stat : 26519 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 1249 0 0 0 69 0 0 0 25 0 4 0 522201835 225492992 3453 33554432000 4194304 4650419 140735908341328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 220208

[startup+1.50022 s]
/proc/loadavg: 8.21 8.12 8.02 5/177 26521
/proc/meminfo: memFree=30836388/32951132 swapFree=67111356/67111528
[pid=26516] ppid=26514 vsize=221228 CPUtime=5.96 cores=1,3,5,7
/proc/26516/stat : 26516 (strangenight1-m) R 26514 26516 26305 0 -1 4202496 10068 0 0 0 595 1 0 0 19 0 4 0 522201835 226537472 5478 33554432000 4194304 4650419 140735908341328 18446744073709551615 4438393 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26516/statm: 55307 5478 392 112 0 50272 0
[pid=26516/tid=26517] ppid=26514 vsize=221228 CPUtime=1.49 cores=1,3,5,7
/proc/26516/task/26517/stat : 26517 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 2090 0 0 0 149 0 0 0 19 0 4 0 522201835 226537472 5478 33554432000 4194304 4650419 140735908341328 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26516/tid=26518] ppid=26514 vsize=221228 CPUtime=1.48 cores=1,3,5,7
/proc/26516/task/26518/stat : 26518 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 2092 0 0 0 148 0 0 0 25 0 4 0 522201835 226537472 5478 33554432000 4194304 4650419 140735908341328 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26516/tid=26519] ppid=26514 vsize=221228 CPUtime=1.49 cores=1,3,5,7
/proc/26516/task/26519/stat : 26519 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 2071 0 0 0 149 0 0 0 25 0 4 0 522201835 226537472 5478 33554432000 4194304 4650419 140735908341328 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 221228

[startup+3.10094 s]
/proc/loadavg: 8.21 8.12 8.02 5/177 26521
/proc/meminfo: memFree=30818284/32951132 swapFree=67111356/67111528
[pid=26516] ppid=26514 vsize=228848 CPUtime=12.36 cores=1,3,5,7
/proc/26516/stat : 26516 (strangenight1-m) R 26514 26516 26305 0 -1 4202496 16420 0 0 0 1234 2 0 0 25 0 4 0 522201835 234340352 10105 33554432000 4194304 4650419 140735908341328 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26516/statm: 57212 10105 392 112 0 52177 0
[pid=26516/tid=26517] ppid=26514 vsize=228848 CPUtime=3.09 cores=1,3,5,7
/proc/26516/task/26517/stat : 26517 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 3485 0 0 0 309 0 0 0 24 0 4 0 522201835 234340352 10105 33554432000 4194304 4650419 140735908341328 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26516/tid=26518] ppid=26514 vsize=228848 CPUtime=3.07 cores=1,3,5,7
/proc/26516/task/26518/stat : 26518 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 4285 0 0 0 307 0 0 0 25 0 4 0 522201835 234340352 10105 33554432000 4194304 4650419 140735908341328 18446744073709551615 4439371 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26516/tid=26519] ppid=26514 vsize=228848 CPUtime=3.09 cores=1,3,5,7
/proc/26516/task/26519/stat : 26519 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 4356 0 0 0 309 0 0 0 25 0 4 0 522201835 234340352 10105 33554432000 4194304 4650419 140735908341328 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 228848

[startup+6.30039 s]
/proc/loadavg: 8.43 8.17 8.03 9/182 26551
/proc/meminfo: memFree=30777392/32951132 swapFree=67111356/67111528
[pid=26516] ppid=26514 vsize=229612 CPUtime=25.15 cores=1,3,5,7
/proc/26516/stat : 26516 (strangenight1-m) R 26514 26516 26305 0 -1 4202496 23870 0 0 0 2511 4 0 0 25 0 4 0 522201835 235122688 11793 33554432000 4194304 4650419 140735908341328 18446744073709551615 4438407 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26516/statm: 57403 11793 392 112 0 52368 0
[pid=26516/tid=26517] ppid=26514 vsize=229612 CPUtime=6.28 cores=1,3,5,7
/proc/26516/task/26517/stat : 26517 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 5545 0 0 0 628 0 0 0 25 0 4 0 522201835 235122688 11793 33554432000 4194304 4650419 140735908341328 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26516/tid=26518] ppid=26514 vsize=229612 CPUtime=6.25 cores=1,3,5,7
/proc/26516/task/26518/stat : 26518 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 6085 0 0 0 625 0 0 0 25 0 4 0 522201835 235122688 11793 33554432000 4194304 4650419 140735908341328 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26516/tid=26519] ppid=26514 vsize=229612 CPUtime=6.29 cores=1,3,5,7
/proc/26516/task/26519/stat : 26519 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 6312 0 0 0 628 1 0 0 25 0 4 0 522201835 235122688 11793 33554432000 4194304 4650419 140735908341328 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 229612

[startup+12.7003 s]
/proc/loadavg: 8.48 8.18 8.04 9/182 26552
/proc/meminfo: memFree=30736560/32951132 swapFree=67111356/67111528
[pid=26516] ppid=26514 vsize=217872 CPUtime=50.7 cores=1,3,5,7
/proc/26516/stat : 26516 (strangenight1-m) R 26514 26516 26305 0 -1 4202496 35691 0 0 0 5063 7 0 0 25 0 4 0 522201835 223100928 16883 33554432000 4194304 4650419 140735908341328 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26516/statm: 54468 16883 392 112 0 49433 0
[pid=26516/tid=26517] ppid=26514 vsize=217872 CPUtime=12.68 cores=1,3,5,7
/proc/26516/task/26517/stat : 26517 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 8595 0 0 0 1267 1 0 0 25 0 4 0 522201835 223100928 16883 33554432000 4194304 4650419 140735908341328 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26516/tid=26518] ppid=26514 vsize=217872 CPUtime=12.61 cores=1,3,5,7
/proc/26516/task/26518/stat : 26518 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 8172 0 0 0 1261 0 0 0 25 0 4 0 522201835 223100928 16883 33554432000 4194304 4650419 140735908341328 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26516/tid=26519] ppid=26514 vsize=217872 CPUtime=12.69 cores=1,3,5,7
/proc/26516/task/26519/stat : 26519 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 9780 0 0 0 1267 2 0 0 25 0 4 0 522201835 223100928 16883 33554432000 4194304 4650419 140735908341328 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 217872

[startup+25.5011 s]
/proc/loadavg: 8.37 8.17 8.04 9/182 26552
/proc/meminfo: memFree=30684844/32951132 swapFree=67111356/67111528
[pid=26516] ppid=26514 vsize=274260 CPUtime=101.82 cores=1,3,5,7
/proc/26516/stat : 26516 (strangenight1-m) R 26514 26516 26305 0 -1 4202496 55192 0 0 0 10169 13 0 0 25 0 4 0 522201835 280842240 21676 33554432000 4194304 4650419 140735908341328 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26516/statm: 68565 21676 392 112 0 63530 0
[pid=26516/tid=26517] ppid=26514 vsize=274260 CPUtime=25.49 cores=1,3,5,7
/proc/26516/task/26517/stat : 26517 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 13575 0 0 0 2546 3 0 0 25 0 4 0 522201835 280842240 21676 33554432000 4194304 4650419 140735908341328 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26516/tid=26518] ppid=26514 vsize=274260 CPUtime=25.32 cores=1,3,5,7
/proc/26516/task/26518/stat : 26518 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 13563 0 0 0 2531 1 0 0 25 0 4 0 522201835 280842240 21676 33554432000 4194304 4650419 140735908341328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26516/tid=26519] ppid=26514 vsize=274260 CPUtime=25.48 cores=1,3,5,7
/proc/26516/task/26519/stat : 26519 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 14362 0 0 0 2545 3 0 0 25 0 4 0 522201835 280842240 21676 33554432000 4194304 4650419 140735908341328 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 274260

[startup+51.1006 s]
/proc/loadavg: 8.24 8.16 8.03 9/182 26552
/proc/meminfo: memFree=30668840/32951132 swapFree=67111356/67111528
[pid=26516] ppid=26514 vsize=219568 CPUtime=204.06 cores=1,3,5,7
/proc/26516/stat : 26516 (strangenight1-m) R 26514 26516 26305 0 -1 4202496 81530 0 0 0 20386 20 0 0 25 0 4 0 522201835 224837632 25278 33554432000 4194304 4650419 140735908341328 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26516/statm: 54892 25278 392 112 0 49857 0
[pid=26516/tid=26517] ppid=26514 vsize=219568 CPUtime=51.09 cores=1,3,5,7
/proc/26516/task/26517/stat : 26517 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 20760 0 0 0 5104 5 0 0 25 0 4 0 522201835 224837632 25278 33554432000 4194304 4650419 140735908341328 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26516/tid=26518] ppid=26514 vsize=219568 CPUtime=50.77 cores=1,3,5,7
/proc/26516/task/26518/stat : 26518 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 19471 0 0 0 5073 4 0 0 25 0 4 0 522201835 224837632 25278 33554432000 4194304 4650419 140735908341328 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26516/tid=26519] ppid=26514 vsize=219568 CPUtime=51.09 cores=1,3,5,7
/proc/26516/task/26519/stat : 26519 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 21148 0 0 0 5103 6 0 0 25 0 4 0 522201835 224837632 25278 33554432000 4194304 4650419 140735908341328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 219568

[startup+102.301 s]
/proc/loadavg: 8.15 8.14 8.03 9/182 26554
/proc/meminfo: memFree=30614096/32951132 swapFree=67111356/67111528
[pid=26516] ppid=26514 vsize=255384 CPUtime=408.56 cores=1,3,5,7
/proc/26516/stat : 26516 (strangenight1-m) R 26514 26516 26305 0 -1 4202496 123315 0 0 0 40821 35 0 0 25 0 4 0 522201835 261513216 30911 33554432000 4194304 4650419 140735908341328 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26516/statm: 63846 30911 392 112 0 58811 0
[pid=26516/tid=26517] ppid=26514 vsize=255384 CPUtime=102.29 cores=1,3,5,7
/proc/26516/task/26517/stat : 26517 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 30758 0 0 0 10221 8 0 0 25 0 4 0 522201835 261513216 30911 33554432000 4194304 4650419 140735908341328 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26516/tid=26518] ppid=26514 vsize=255384 CPUtime=101.66 cores=1,3,5,7
/proc/26516/task/26518/stat : 26518 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 29654 0 0 0 10158 8 0 0 25 0 4 0 522201835 261513216 30911 33554432000 4194304 4650419 140735908341328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26516/tid=26519] ppid=26514 vsize=255384 CPUtime=102.3 cores=1,3,5,7
/proc/26516/task/26519/stat : 26519 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 31884 0 0 0 10221 9 0 0 25 0 4 0 522201835 261513216 30911 33554432000 4194304 4650419 140735908341328 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.56
Current children cumulated vsize (KiB) 255384

[startup+162.3 s]

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

[pid=26516] ppid=26514 vsize=429432 CPUtime=2565.51 cores=1,3,5,7
/proc/26516/stat : 26516 (strangenight1-m) R 26514 26516 26305 0 -1 4202496 346781 0 0 0 256417 134 0 0 25 0 4 0 522201835 439738368 68095 33554432000 4194304 4650419 140735908341328 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26516/statm: 107358 68095 392 112 0 102323 0
[pid=26516/tid=26517] ppid=26514 vsize=429432 CPUtime=642.25 cores=1,3,5,7
/proc/26516/task/26517/stat : 26517 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 89143 0 0 0 64190 35 0 0 25 0 4 0 522201835 439738368 68095 33554432000 4194304 4650419 140735908341328 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26516/tid=26518] ppid=26514 vsize=429432 CPUtime=638.65 cores=1,3,5,7
/proc/26516/task/26518/stat : 26518 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 85738 0 0 0 63831 34 0 0 25 0 4 0 522201835 439738368 68095 33554432000 4194304 4650419 140735908341328 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26516/tid=26519] ppid=26514 vsize=429432 CPUtime=642.29 cores=1,3,5,7
/proc/26516/task/26519/stat : 26519 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 80096 0 0 0 64201 28 0 0 25 0 4 0 522201835 439738368 68095 33554432000 4194304 4650419 140735908341328 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2565.51
Current children cumulated vsize (KiB) 429432

[startup+702.301 s]
/proc/loadavg: 8.14 8.12 8.06 9/182 26570
/proc/meminfo: memFree=30322732/32951132 swapFree=67111356/67111528
[pid=26516] ppid=26514 vsize=427408 CPUtime=2805.18 cores=1,3,5,7
/proc/26516/stat : 26516 (strangenight1-m) R 26514 26516 26305 0 -1 4202496 356542 0 0 0 280377 141 0 0 25 0 4 0 522201835 437665792 70747 33554432000 4194304 4650419 140735908341328 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26516/statm: 106852 70747 392 112 0 101817 0
[pid=26516/tid=26517] ppid=26514 vsize=427408 CPUtime=702.25 cores=1,3,5,7
/proc/26516/task/26517/stat : 26517 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 89898 0 0 0 70190 35 0 0 25 0 4 0 522201835 437665792 70747 33554432000 4194304 4650419 140735908341328 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26516/tid=26518] ppid=26514 vsize=427408 CPUtime=698.33 cores=1,3,5,7
/proc/26516/task/26518/stat : 26518 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 90501 0 0 0 69795 38 0 0 25 0 4 0 522201835 437665792 70747 33554432000 4194304 4650419 140735908341328 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26516/tid=26519] ppid=26514 vsize=427408 CPUtime=702.29 cores=1,3,5,7
/proc/26516/task/26519/stat : 26519 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 81266 0 0 0 70201 28 0 0 25 0 4 0 522201835 437665792 70747 33554432000 4194304 4650419 140735908341328 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.18
Current children cumulated vsize (KiB) 427408

[startup+762.301 s]
/proc/loadavg: 8.21 8.14 8.07 9/182 26572
/proc/meminfo: memFree=30291548/32951132 swapFree=67111356/67111528
[pid=26516] ppid=26514 vsize=493048 CPUtime=3044.88 cores=1,3,5,7
/proc/26516/stat : 26516 (strangenight1-m) R 26514 26516 26305 0 -1 4202496 369285 0 0 0 304340 148 0 0 25 0 4 0 522201835 504881152 78752 33554432000 4194304 4650419 140735908341328 18446744073709551615 4364792 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26516/statm: 123262 78752 392 112 0 118227 0
[pid=26516/tid=26517] ppid=26514 vsize=493048 CPUtime=762.25 cores=1,3,5,7
/proc/26516/task/26517/stat : 26517 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 94096 0 0 0 76188 37 0 0 25 0 4 0 522201835 504881152 78752 33554432000 4194304 4650419 140735908341328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26516/tid=26518] ppid=26514 vsize=493048 CPUtime=758 cores=1,3,5,7
/proc/26516/task/26518/stat : 26518 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 95597 0 0 0 75760 40 0 0 25 0 4 0 522201835 504881152 78752 33554432000 4194304 4650419 140735908341328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26516/tid=26519] ppid=26514 vsize=493048 CPUtime=762.3 cores=1,3,5,7
/proc/26516/task/26519/stat : 26519 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 81442 0 0 0 76201 29 0 0 25 0 4 0 522201835 504881152 78752 33554432000 4194304 4650419 140735908341328 18446744073709551615 4313048 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3044.88
Current children cumulated vsize (KiB) 493048

[startup+822.301 s]
/proc/loadavg: 8.15 8.13 8.07 9/182 26573
/proc/meminfo: memFree=30304160/32951132 swapFree=67111356/67111528
[pid=26516] ppid=26514 vsize=427136 CPUtime=3284.53 cores=1,3,5,7
/proc/26516/stat : 26516 (strangenight1-m) R 26514 26516 26305 0 -1 4202496 383932 0 0 0 328300 153 0 0 25 0 4 0 522201835 437387264 75445 33554432000 4194304 4650419 140735908341328 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26516/statm: 106784 75445 392 112 0 101749 0
[pid=26516/tid=26517] ppid=26514 vsize=427136 CPUtime=822.25 cores=1,3,5,7
/proc/26516/task/26517/stat : 26517 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 97172 0 0 0 82186 39 0 0 25 0 4 0 522201835 437387264 75445 33554432000 4194304 4650419 140735908341328 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26516/tid=26518] ppid=26514 vsize=427136 CPUtime=817.68 cores=1,3,5,7
/proc/26516/task/26518/stat : 26518 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 95947 0 0 0 81727 41 0 0 25 0 4 0 522201835 437387264 75445 33554432000 4194304 4650419 140735908341328 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26516/tid=26519] ppid=26514 vsize=427136 CPUtime=822.3 cores=1,3,5,7
/proc/26516/task/26519/stat : 26519 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 85087 0 0 0 82199 31 0 0 25 0 4 0 522201835 437387264 75445 33554432000 4194304 4650419 140735908341328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.53
Current children cumulated vsize (KiB) 427136

[startup+882.307 s]
/proc/loadavg: 8.12 8.12 8.06 9/182 26574
/proc/meminfo: memFree=30301780/32951132 swapFree=67111356/67111528
[pid=26516] ppid=26514 vsize=439788 CPUtime=3524.23 cores=1,3,5,7
/proc/26516/stat : 26516 (strangenight1-m) R 26514 26516 26305 0 -1 4202496 402469 0 0 0 352261 162 0 0 25 0 4 0 522201835 450342912 76026 33554432000 4194304 4650419 140735908341328 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26516/statm: 109947 76026 392 112 0 104912 0
[pid=26516/tid=26517] ppid=26514 vsize=439788 CPUtime=882.25 cores=1,3,5,7
/proc/26516/task/26517/stat : 26517 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 99500 0 0 0 88184 41 0 0 25 0 4 0 522201835 450342912 76026 33554432000 4194304 4650419 140735908341328 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26516/tid=26518] ppid=26514 vsize=439788 CPUtime=877.35 cores=1,3,5,7
/proc/26516/task/26518/stat : 26518 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 98831 0 0 0 87691 44 0 0 25 0 4 0 522201835 450342912 76026 33554432000 4194304 4650419 140735908341328 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26516/tid=26519] ppid=26514 vsize=439788 CPUtime=882.31 cores=1,3,5,7
/proc/26516/task/26519/stat : 26519 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 86356 0 0 0 88199 32 0 0 25 0 4 0 522201835 450342912 76026 33554432000 4194304 4650419 140735908341328 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.23
Current children cumulated vsize (KiB) 439788

[startup+942.3 s]
/proc/loadavg: 8.10 8.11 8.06 9/182 26576
/proc/meminfo: memFree=30289724/32951132 swapFree=67111356/67111528
[pid=26516] ppid=26514 vsize=492964 CPUtime=3763.88 cores=1,3,5,7
/proc/26516/stat : 26516 (strangenight1-m) R 26514 26516 26305 0 -1 4202496 413564 0 0 0 376219 169 0 0 25 0 4 0 522201835 504795136 78258 33554432000 4194304 4650419 140735908341328 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26516/statm: 123241 78258 392 112 0 118206 0
[pid=26516/tid=26517] ppid=26514 vsize=492964 CPUtime=942.24 cores=1,3,5,7
/proc/26516/task/26517/stat : 26517 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 101731 0 0 0 94182 42 0 0 25 0 4 0 522201835 504795136 78258 33554432000 4194304 4650419 140735908341328 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26516/tid=26518] ppid=26514 vsize=492964 CPUtime=937.03 cores=1,3,5,7
/proc/26516/task/26518/stat : 26518 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 103363 0 0 0 93655 48 0 0 25 0 4 0 522201835 504795136 78258 33554432000 4194304 4650419 140735908341328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26516/tid=26519] ppid=26514 vsize=492964 CPUtime=942.3 cores=1,3,5,7
/proc/26516/task/26519/stat : 26519 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 86399 0 0 0 94198 32 0 0 25 0 4 0 522201835 504795136 78258 33554432000 4194304 4650419 140735908341328 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3763.88
Current children cumulated vsize (KiB) 492964

[startup+1002.3 s]
/proc/loadavg: 8.09 8.10 8.06 9/182 26578
/proc/meminfo: memFree=30220232/32951132 swapFree=67111356/67111528
[pid=26516] ppid=26514 vsize=493024 CPUtime=4003.55 cores=1,3,5,7
/proc/26516/stat : 26516 (strangenight1-m) R 26514 26516 26305 0 -1 4202496 421407 0 0 0 400181 174 0 0 25 0 4 0 522201835 504856576 83386 33554432000 4194304 4650419 140735908341328 18446744073709551615 4365286 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26516/statm: 123256 83386 392 112 0 118221 0
[pid=26516/tid=26517] ppid=26514 vsize=493024 CPUtime=1002.24 cores=1,3,5,7
/proc/26516/task/26517/stat : 26517 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 101731 0 0 0 100182 42 0 0 25 0 4 0 522201835 504856576 83386 33554432000 4194304 4650419 140735908341328 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26516/tid=26518] ppid=26514 vsize=493024 CPUtime=996.69 cores=1,3,5,7
/proc/26516/task/26518/stat : 26518 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 106621 0 0 0 99620 49 0 0 25 0 4 0 522201835 504856576 83386 33554432000 4194304 4650419 140735908341328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26516/tid=26519] ppid=26514 vsize=493024 CPUtime=1002.3 cores=1,3,5,7
/proc/26516/task/26519/stat : 26519 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 86399 0 0 0 100198 32 0 0 25 0 4 0 522201835 504856576 83386 33554432000 4194304 4650419 140735908341328 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.55
Current children cumulated vsize (KiB) 493024

[startup+1062.3 s]
/proc/loadavg: 8.08 8.10 8.06 9/182 26580
/proc/meminfo: memFree=30224400/32951132 swapFree=67111356/67111528
[pid=26516] ppid=26514 vsize=493132 CPUtime=4243.23 cores=1,3,5,7
/proc/26516/stat : 26516 (strangenight1-m) R 26514 26516 26305 0 -1 4202496 431128 0 0 0 424144 179 0 0 25 0 4 0 522201835 504967168 82769 33554432000 4194304 4650419 140735908341328 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26516/statm: 123283 82769 392 112 0 118248 0
[pid=26516/tid=26517] ppid=26514 vsize=493132 CPUtime=1062.24 cores=1,3,5,7
/proc/26516/task/26517/stat : 26517 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 103689 0 0 0 106181 43 0 0 25 0 4 0 522201835 504967168 82769 33554432000 4194304 4650419 140735908341328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26516/tid=26518] ppid=26514 vsize=493132 CPUtime=1056.37 cores=1,3,5,7
/proc/26516/task/26518/stat : 26518 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 111428 0 0 0 105585 52 0 0 25 0 4 0 522201835 504967168 82769 33554432000 4194304 4650419 140735908341328 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26516/tid=26519] ppid=26514 vsize=493132 CPUtime=1062.3 cores=1,3,5,7
/proc/26516/task/26519/stat : 26519 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 86921 0 0 0 106198 32 0 0 25 0 4 0 522201835 504967168 82769 33554432000 4194304 4650419 140735908341328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.23
Current children cumulated vsize (KiB) 493132

[startup+1122.3 s]
/proc/loadavg: 8.08 8.09 8.06 9/182 26581
/proc/meminfo: memFree=30239364/32951132 swapFree=67111356/67111528
[pid=26516] ppid=26514 vsize=485636 CPUtime=4482.9 cores=1,3,5,7
/proc/26516/stat : 26516 (strangenight1-m) R 26514 26516 26305 0 -1 4202496 441551 0 0 0 448104 186 0 0 25 0 4 0 522201835 497291264 80664 33554432000 4194304 4650419 140735908341328 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26516/statm: 121409 80664 392 112 0 116374 0
[pid=26516/tid=26517] ppid=26514 vsize=485636 CPUtime=1122.24 cores=1,3,5,7
/proc/26516/task/26517/stat : 26517 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 107355 0 0 0 112178 46 0 0 25 0 4 0 522201835 497291264 80664 33554432000 4194304 4650419 140735908341328 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26516/tid=26518] ppid=26514 vsize=485636 CPUtime=1116.04 cores=1,3,5,7
/proc/26516/task/26518/stat : 26518 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 112787 0 0 0 111552 52 0 0 25 0 4 0 522201835 497291264 80664 33554432000 4194304 4650419 140735908341328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26516/tid=26519] ppid=26514 vsize=485636 CPUtime=1122.3 cores=1,3,5,7
/proc/26516/task/26519/stat : 26519 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 88362 0 0 0 112197 33 0 0 25 0 4 0 522201835 497291264 80664 33554432000 4194304 4650419 140735908341328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4482.9
Current children cumulated vsize (KiB) 485636

[startup+1182.3 s]
/proc/loadavg: 8.03 8.07 8.06 9/182 26582
/proc/meminfo: memFree=30212908/32951132 swapFree=67111356/67111528
[pid=26516] ppid=26514 vsize=510892 CPUtime=4722.58 cores=1,3,5,7
/proc/26516/stat : 26516 (strangenight1-m) R 26514 26516 26305 0 -1 4202496 452951 0 0 0 472066 192 0 0 25 0 4 0 522201835 523153408 85265 33554432000 4194304 4650419 140735908341328 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26516/statm: 127723 85265 392 112 0 122688 0
[pid=26516/tid=26517] ppid=26514 vsize=510892 CPUtime=1182.24 cores=1,3,5,7
/proc/26516/task/26517/stat : 26517 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 108647 0 0 0 118177 47 0 0 25 0 4 0 522201835 523153408 85265 33554432000 4194304 4650419 140735908341328 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26516/tid=26518] ppid=26514 vsize=510892 CPUtime=1175.72 cores=1,3,5,7
/proc/26516/task/26518/stat : 26518 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 117239 0 0 0 117518 54 0 0 25 0 4 0 522201835 523153408 85265 33554432000 4194304 4650419 140735908341328 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26516/tid=26519] ppid=26514 vsize=510892 CPUtime=1182.3 cores=1,3,5,7
/proc/26516/task/26519/stat : 26519 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 90752 0 0 0 118196 34 0 0 25 0 4 0 522201835 523153408 85265 33554432000 4194304 4650419 140735908341328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.58
Current children cumulated vsize (KiB) 510892



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.02 8.07 8.06 9/182 26583
/proc/meminfo: memFree=30188472/32951132 swapFree=67111356/67111528
[pid=26516] ppid=26514 vsize=510892 CPUtime=4800.09 cores=1,3,5,7
/proc/26516/stat : 26516 (strangenight1-m) R 26514 26516 26305 0 -1 4202496 457260 0 0 0 479814 195 0 0 25 0 4 0 522201835 523153408 89574 33554432000 4194304 4650419 140735908341328 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26516/statm: 127723 89574 392 112 0 122688 0
[pid=26516/tid=26517] ppid=26514 vsize=510892 CPUtime=1201.64 cores=1,3,5,7
/proc/26516/task/26517/stat : 26517 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 109699 0 0 0 120116 48 0 0 25 0 4 0 522201835 523153408 89574 33554432000 4194304 4650419 140735908341328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26516/tid=26518] ppid=26514 vsize=510892 CPUtime=1195.01 cores=1,3,5,7
/proc/26516/task/26518/stat : 26518 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 118354 0 0 0 119446 55 0 0 25 0 4 0 522201835 523153408 89574 33554432000 4194304 4650419 140735908341328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26516/tid=26519] ppid=26514 vsize=510892 CPUtime=1201.7 cores=1,3,5,7
/proc/26516/task/26519/stat : 26519 (strangenight1-m) R 26514 26516 26305 0 -1 4202560 90892 0 0 0 120136 34 0 0 25 0 4 0 522201835 523153408 89574 33554432000 4194304 4650419 140735908341328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.09
Current children cumulated vsize (KiB) 510892

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.14
CPU user time (s): 4798.17
CPU system time (s): 1.9737
CPU usage (%): 399.436
Max. virtual memory (cumulated for all children) (KiB): 510892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.17
system time used= 1.9737
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 457260
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= 293
involuntary context switches= 32726

runsolver used 1.71974 second user time and 4.81227 second system time

The end

Launcher Data 

Begin job on node131 at 2011-04-29 21:40:22
IDJOB=3175273
IDBENCH=82891
IDSOLVER=1588
FILE ID=node131/3175273-1304106022
RUNJOBID= node131-1304103614-26324
PBS_JOBID= 13170641
Free space on /tmp= 71380 MiB

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

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

MD5SUM BENCH= 3db6bd99841631bff4d8c3d33ccc1047
RANDOM SEED=506291312

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      30372528 kB
Buffers:        202480 kB
Cached:        1523288 kB
SwapCached:        168 kB
Active:         638608 kB
Inactive:      1633340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30372528 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:            6244 kB
Writeback:           0 kB
AnonPages:      546052 kB
Mapped:          15748 kB
Slab:           242592 kB
PageTables:       5484 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   803480 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71372 MiB
End job on node131 at 2011-04-29 22:00:26