Trace number 3368882

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.13 1203.03

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.01	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-3368882-1305405304.cnf'
0.00/0.01	c -- header says num vars:             60
0.00/0.01	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.37/0.12	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.45
0.37/0.12	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.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
0.37/0.14	c Finding binary XORs  T:     0.00 s  found:       0
0.37/0.14	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.37/0.14	c calculated reachability. Time: 0.00
0.37/0.15	c Calc default polars -  time:   0.00 s pos:      27 undec:       0 neg:      33
0.37/0.15	c =========================================================================================
0.37/0.15	c types(t): F = full restart, N = normal restart
0.37/0.15	c types(t): S = simplification begin/end, E = solution found
0.37/0.15	c restart types(rt): st = static, dy = dynamic
0.37/0.15	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.37/0.16	c  B st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.76/0.29	c  N dy    11      5494        60      5340         0      2661     37380     51572     18.31     19.36  --
1.56/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.80/1.27	c  N dy    67     30002        60      5340         0      9645     37380    175632     18.15   no data  --
4.80/1.27	c  S st    67     30002        60      5340         0      9645     37380    175632     18.15   no data  --
5.16/1.30	c  S st    67     30506        60      5340         0     10109     37380    185724     18.15   no data  --
5.16/1.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.16/1.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.16/1.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
5.16/1.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.77/2.24	c lits-rem:      1325  cl-subs:      931  v-elim:      0  v-fix:    0  time:  3.70 s
9.94/2.50	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.02
9.94/2.50	c calculated reachability. Time: 0.00
9.94/2.50	c  N dy    67     30506        60      5340         0      9178     37380    164354     18.15   no data  --
11.14/2.85	c  N dy    73     37322        60      5340         0      8213     37380    132171     17.81     18.81  --
11.94/3.05	c  N dy    84     41575        60      5340         0     12007     37380    212442     17.85     18.87  --
12.74/3.30	c  N dy   107     45762        60      5340         0     15742     37380    292176     17.93     15.88  --
12.74/3.30	c  S st   107     45762        60      5340         0     15742     37380    292176     17.93     15.88  --
13.16/3.35	c  S st   107     46265        60      5340         0      8258     37380    127129     17.93   no data  --
13.16/3.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.16/3.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.16/3.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.16/3.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.16/3.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.16/3.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
13.16/3.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.33/4.10	c lits-rem:       208  cl-subs:       96  v-elim:      0  v-fix:    0  time:  2.97 s
16.33/4.10	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
16.33/4.10	c vivif2 --  cl tried     8162 cl shrink        0 lits rem          0 time: 0.00
17.13/4.33	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.91
17.13/4.33	c calculated reachability. Time: 0.00
17.13/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.52/4.99	c  N dy   147     58725        60      5340         0     10341     37380    159108     17.97     19.07  --
20.72/5.21	c  N dy   162     62744        60      5340         0     13918     37380    234438     17.97     19.80  --
21.52/5.49	c  N dy   187     66928        60      5340         0     17647     37380    315146     18.03     19.03  --
22.35/5.68	c  S st   201     69397        60      5340         0     10079     37380    145449     18.06     17.18  --
22.72/5.72	c  S st   201     69898        60      5340         0     10530     37380    155243     18.06   no data  --
22.72/5.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.72/5.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
22.72/5.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
22.72/5.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
22.72/5.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22.72/5.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
22.72/5.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.91/6.58	c lits-rem:       230  cl-subs:      161  v-elim:      0  v-fix:    0  time:  3.41 s
25.91/6.58	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
25.91/6.58	c vivif2 --  cl tried    10369 cl shrink        0 lits rem          0 time: 0.00
27.10/6.86	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.09
27.10/6.86	c calculated reachability. Time: 0.00
27.10/6.86	c  N dy   201     69898        60      5340         0     10369     37380    151556     18.06   no data  --
28.70/7.24	c  N dy   206     77543        60      5340         0     17099     37380    288892     17.93     19.02  --
30.72/7.79	c  N dy   224     86175        60      5340         0     14136     37380    218188     17.87     18.82  --
31.14/7.88	c  F st   237     87502        60      5340         0     15338     37380    244798     17.91     17.77  --
32.69/8.22	c  N dy   243     92696        60      5340         0     19976     37380    345892     17.91   no data  --
35.88/9.01	c  N dy   274    103869        60      5340         0     18351     37380    296475     17.90     18.88  --
35.88/9.09	c  S st   284    104847        60      5340         0     19237     37380    316006     17.92   no data  --
36.28/9.15	c  S st   284    105351        60      5340         0     19698     37380    326429     17.92   no data  --
36.28/9.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.28/9.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.28/9.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
36.28/9.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.28/9.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.28/9.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
36.28/9.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
41.86/10.51	c lits-rem:      1455  cl-subs:     2286  v-elim:      0  v-fix:    0  time:  5.38 s
41.86/10.52	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
41.86/10.52	c vivif2 --  cl tried    17412 cl shrink        0 lits rem          0 time: 0.01
43.07/10.87	c asymm  cl-useful: 0/4247/5340 lits-rem:0 time: 1.41
43.07/10.87	c calculated reachability. Time: 0.00
43.07/10.87	c  N dy   284    105351        60      5340         0     17412     37380    279080     17.92   no data  --
51.45/12.99	c  N dy   298    135873        60      5340         0     18632     37380    280095     17.48     18.50  --
55.83/14.08	c  N dy   361    148678        60      5340         0     16002     37380    222082     17.53     18.48  --
59.03/14.82	c  S st   425    158027        60      5340         0     24385     37380    402061     17.61     17.55  --
59.03/14.88	c  S st   425    158530        60      5340         0     24843     37380    412209     17.61   no data  --
59.03/14.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
59.03/14.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
59.03/14.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
59.42/14.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
59.42/14.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
59.42/14.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
59.42/14.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
67.01/16.88	c lits-rem:      2011  cl-subs:     2579  v-elim:      0  v-fix:    0  time:  7.87 s
67.01/16.88	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
67.01/16.88	c vivif2 --  cl tried    22264 cl shrink        0 lits rem          0 time: 0.02
67.81/17.01	c asymm  cl-useful: 0/1093/5340 lits-rem:0 time: 0.50
67.81/17.01	c calculated reachability. Time: 0.00
67.81/17.01	c  N dy   425    158530        60      5340         0     22264     37380    356400     17.61   no data  --
71.80/18.03	c  N dy   495    168685        60      5340         0     16393     37380    223242     17.70     19.58  --
75.78/19.00	c  N dy   576    179480        60      5340         0     26055     37380    432809     17.79     18.77  --
82.57/20.79	c  N dy   607    201412        60      5340         0     29489     37380    477789     17.66     18.60  --
88.19/22.11	c  N dy   669    214302        60      5340         0     24210     37380    368640     17.69     19.42  --
94.94/23.86	c  N dy   791    228537        60      5340         0     19142     37380    250304     17.81     18.79  --
97.73/24.60	c  S st   823    237796        60      5340         0     27358     37380    422859     17.81     16.74  --
98.13/24.67	c  S st   823    238301        60      5340         0     27812     37380    432817     17.81   no data  --
98.13/24.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
98.13/24.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
98.13/24.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
98.13/24.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
98.13/24.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
98.13/24.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
98.13/24.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
106.91/26.85	c lits-rem:      2047  cl-subs:     2630  v-elim:      0  v-fix:    0  time:  8.61 s
106.91/26.85	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
106.91/26.85	c vivif2 --  cl tried    25182 cl shrink        0 lits rem          0 time: 0.02
108.50/27.25	c asymm  cl-useful: 0/3381/5340 lits-rem:0 time: 1.58
108.50/27.25	c calculated reachability. Time: 0.00
108.50/27.25	c  N dy   823    238301        60      5340         0     25182     37380    376401     17.81   no data  --
115.29/29.00	c  N dy   905    253877        60      5340         0     20497     37380    267867     17.86     18.98  --
122.07/30.64	c  N dy   979    270387        60      5340         0     35184     37380    580124     17.89     18.84  --
129.25/32.46	c  N dy  1048    288684        60      5340         0     31916     37380    501536     17.92     18.91  --
136.06/34.11	c  F st  1054    306251        60      5340         0     26944     37380    377444     17.83     14.96  --
136.48/34.22	c  N st  1057    307440        60      5340         0     27989     37380    399749     17.83   no data  --
145.61/36.54	c  N dy  1141    327094        60      5340         0     24283     37380    320578     17.87     18.96  --
158.42/39.79	c  N dy  1251    355410        60      5340         0     27168     37380    364121     17.88     18.83  --
159.58/40.01	c  S st  1272    357451        60      5340         0     28989     37380    404417     17.90   no data  --
159.58/40.09	c  S st  1272    357954        60      5340         0     29445     37380    414502     17.90   no data  --
159.58/40.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
159.58/40.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
159.98/40.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
159.98/40.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
159.98/40.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
159.98/40.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
159.98/40.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
167.95/42.12	c lits-rem:      1224  cl-subs:     2313  v-elim:      0  v-fix:    0  time:  8.01 s
167.95/42.12	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
167.95/42.12	c vivif2 --  cl tried    27132 cl shrink        0 lits rem          0 time: 0.02
168.75/42.39	c asymm  cl-useful: 0/1959/5340 lits-rem:0 time: 1.06
168.75/42.39	c calculated reachability. Time: 0.00
168.75/42.39	c  N dy  1272    357954        60      5340         0     27132     37380    368106     17.90   no data  --
182.72/45.87	c  N dy  1353    385255        60      5340         0     28437     37380    384210     17.88     18.83  --
194.69/48.83	c  N dy  1411    406786        60      5340         0     47533     37380    783845     17.86     18.84  --
204.67/51.35	c  N dy  1530    426823        60      5340         0     41502     37380    657921     17.91     18.89  --
215.06/53.96	c  N dy  1608    446899        60      5340         0     34438     37380    489034     17.91     19.94  --
224.62/56.37	c  N dy  1629    468642        60      5340         0     27943     37380    342325     17.86     18.85  --
235.00/58.97	c  N dy  1719    488772        60      5340         0     45815     37380    723421     17.89     18.96  --
254.15/63.76	c  N dy  1782    523964        60      5340         0     50300     37380    785596     17.83     18.89  --
262.53/65.82	c  S st  1882    536932        60      5340         0     34475     37380    466367     17.87   no data  --
262.93/65.91	c  S st  1882    537435        60      5340         0     34939     37380    476643     17.87   no data  --
262.93/65.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
262.93/65.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
262.93/65.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
262.93/65.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
262.93/65.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
262.93/65.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
262.93/65.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
271.31/68.01	c lits-rem:       956  cl-subs:     1620  v-elim:      0  v-fix:    0  time:  8.27 s
271.31/68.01	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
271.31/68.01	c vivif2 --  cl tried    33319 cl shrink        0 lits rem          0 time: 0.02
272.55/68.37	c asymm  cl-useful: 0/2675/5340 lits-rem:0 time: 1.42
272.55/68.37	c calculated reachability. Time: 0.00
272.55/68.37	c  N dy  1882    537435        60      5340         0     33319     37380    439061     17.87   no data  --
285.29/71.56	c  N dy  1991    557458        60      5340         0     51128     37380    821710     17.90     21.12  --
296.85/74.47	c  N dy  2087    577470        60      5340         0     40546     37380    583396     17.92     19.68  --
311.63/78.13	c  N dy  2185    597905        60      5340         0     29513     37380    336241     17.95     18.99  --
325.21/81.57	c  N dy  2303    622681        60      5340         0     51441     37380    805847     17.97     18.96  --
338.74/84.98	c  N dy  2377    644857        60      5340         0     40974     37380    570727     17.97     18.98  --
354.31/88.83	c  N dy  2475    665505        60      5340         0     59289     37380    962086     17.99     19.02  --
368.27/92.36	c  N dy  2593    685637        60      5340         0     46168     37380    676393     18.01     19.05  --
383.03/96.02	c  N dy  2658    705822        60      5340         0     32088     37380    360922     18.01     18.99  --
395.03/99.04	c  N dy  2724    725916        60      5340         0     49922     37380    734818     18.00     19.27  --
412.17/103.38	c  N dy  2803    745948        60      5340         0     34900     37380    408940     18.01     18.99  --
425.75/106.74	c  N dy  2873    769296        60      5340         0     55509     37380    843416     18.01     19.02  --
442.09/110.80	c  N dy  2919    793013        60      5340         0     42744     37380    558650     17.98     19.03  --
450.87/113.01	c  S st  2997    806152        60      5340         0     54400     37380    809371     17.99   no data  --
451.27/113.15	c  S st  2997    806659        60      5340         0     54863     37380    819749     17.99   no data  --
451.27/113.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
451.27/113.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
451.27/113.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
451.68/113.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
451.68/113.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
451.68/113.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
451.68/113.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
480.79/120.52	c lits-rem:      2399  cl-subs:     5832  v-elim:      0  v-fix:    0  time: 29.19 s
480.79/120.52	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
480.79/120.53	c vivif2 --  cl tried    49031 cl shrink        0 lits rem          0 time: 0.03
481.59/120.78	c asymm  cl-useful: 0/766/5340 lits-rem:0 time: 1.00
481.59/120.78	c calculated reachability. Time: 0.00
481.59/120.78	c  N dy  2997    806659        60      5340         0     49031     37380    700912     17.99   no data  --
500.36/125.45	c  N dy  3085    826725        60      5340         0     66829     37380   1081671     18.00     18.97  --
513.95/128.81	c  N dy  3183    846801        60      5340         0     50361     37380    722196     18.02     19.04  --
530.68/133.05	c  N dy  3271    866821        60      5340         0     68141     37380   1103839     18.03     20.25  --
544.68/136.57	c  N dy  3389    886914        60      5340         0     50737     37380    720564     18.05     21.46  --
563.38/141.23	c  N dy  3517    907008        60      5340         0     68572     37380   1106105     18.07     19.77  --
580.55/145.54	c  N dy  3557    933684        60      5340         0     55656     37380    791301     18.04     19.03  --
600.51/150.52	c  N dy  3617    957844        60      5340         0     39946     37380    463756     18.03     18.98  --
613.27/153.79	c  N dy  3699    977853        60      5340         0     57644     37380    839681     18.04     19.57  --
632.04/158.50	c  N dy  3791    997915        60      5340         0     75440     37380   1219629     18.04     19.53  --
647.18/162.21	c  N dy  3901   1018011        60      5340         0     55347     37380    788425     18.06     20.25  --
666.74/167.12	c  N dy  4017   1038101        60      5340         0     73099     37380   1171411     18.08     19.60  --
683.89/171.43	c  N dy  4147   1058464        60      5340         0     52303     37380    714187     18.10     19.07  --
693.49/173.87	c  F st  4166   1071878        60      5340         0     64107     37380    959402     18.08     16.79  --
700.25/175.50	c  N dy  4178   1079200        60      5340         0     70560     37380   1097633     18.08     19.30  --
717.41/179.86	c  N dy  4270   1099275        60      5340         0     48581     37380    621915     18.09     20.06  --
733.41/183.89	c  N dy  4343   1120052        60      5340         0     67039     37380   1017924     18.09     19.06  --
754.12/189.08	c  N dy  4434   1140058        60      5340         0     43969     37380    510124     18.10     20.97  --
771.68/193.46	c  N dy  4479   1162430        60      5340         0     63697     37380    923542     18.08     19.22  --
799.24/200.37	c  N dy  4597   1184373        60      5340         0     83129     37380   1342898     18.10     19.06  --
817.16/204.85	c  N dy  4666   1205604        60      5340         0     60258     37380    847107     18.10     19.11  --
820.77/205.77	c  S st  4667   1209990        60      5340         0     64084     37380    926549     18.09     17.40  --
821.95/206.00	c  S st  4667   1210496        60      5340         0     64541     37380    936750     18.09   no data  --
821.95/206.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
821.95/206.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
821.95/206.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.16
821.95/206.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
821.95/206.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
821.95/206.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
821.95/206.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
884.20/221.62	c lits-rem:      3318  cl-subs:     6478  v-elim:      0  v-fix:    0  time: 62.02 s
884.20/221.63	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
884.20/221.64	c vivif2 --  cl tried    58063 cl shrink        0 lits rem          0 time: 0.04
885.40/221.99	c asymm  cl-useful: 0/663/5340 lits-rem:0 time: 1.43
885.80/222.00	c calculated reachability. Time: 0.00
885.80/222.00	c  N dy  4667   1210496        60      5340         0     58063     37380    801923     18.09   no data  --
909.33/227.94	c  N dy  4769   1230576        60      5340         0     75821     37380   1184064     18.10     19.65  --
927.68/232.55	c  N dy  4794   1252240        60      5340         0     52740     37380    675245     18.09     19.08  --
946.85/237.31	c  N dy  4903   1272722        60      5340         0     70847     37380   1064225     18.10     19.07  --
976.36/244.75	c  N dy  4938   1304175        60      5340         0     55506     37380    719268     18.07     19.27  --
1004.70/251.84	c  N dy  5035   1331600        60      5340         0     79697     37380   1231801     18.07     19.12  --
1030.63/258.36	c  N dy  5166   1352962        60      5340         0     54634     37380    704279     18.09     19.05  --
1047.80/262.65	c  N dy  5179   1373023        60      5340         0     72227     37380   1063516     18.06     19.25  --
1073.33/269.09	c  N dy  5274   1393078        60      5340         0     45059     37380    486147     18.07     20.68  --
1088.51/272.86	c  N dy  5342   1413237        60      5340         0     62863     37380    865957     18.07     19.10  --
1112.03/278.73	c  N dy  5489   1434062        60      5340         0     81356     37380   1270244     18.09     19.06  --
1131.98/283.73	c  N dy  5527   1454219        60      5340         0     53218     37380    646047     18.08     19.05  --
1150.37/288.34	c  N dy  5627   1474411        60      5340         0     71111     37380   1032375     18.09     19.13  --
1173.08/294.02	c  N dy  5675   1496085        60      5340         0     90191     37380   1434776     18.09     19.04  --
1193.03/299.03	c  N dy  5803   1516116        60      5340         0     61200     37380    817602     18.10     20.24  --
1212.58/303.95	c  N dy  5887   1536141        60      5340         0     78924     37380   1195453     18.11     19.66  --
1236.12/309.86	c  N dy  5912   1559652        60      5340         0     51869     37380    598600     18.09     19.11  --
1254.48/314.49	c  N dy  6040   1579686        60      5340         0     69646     37380    985700     18.10     19.34  --
1275.23/319.60	c  N dy  6087   1599785        60      5340         0     87331     37380   1357022     18.10     19.84  --
1296.77/325.00	c  N dy  6120   1620873        60      5340         0     57228     37380    696315     18.09     19.10  --
1315.92/329.86	c  N dy  6207   1640875        60      5340         0     74925     37380   1076846     18.09     19.34  --
1341.86/336.33	c  N dy  6328   1660926        60      5340         0     92604     37380   1459097     18.10     19.85  --
1363.40/341.78	c  N dy  6409   1680956        60      5340         0     60964     37380    776305     18.11     19.92  --
1393.33/349.29	c  N dy  6502   1707408        60      5340         0     84226     37380   1270704     18.10     19.16  --
1398.52/350.59	c  S st  6531   1710498        60      5340         0     86994     37380   1332210     18.11     17.05  --
1400.13/350.91	c  S st  6531   1711007        60      5340         0     87453     37380   1342239     18.11   no data  --
1400.13/350.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1400.13/350.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1400.13/350.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.18
1400.13/351.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1400.13/351.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1400.13/351.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
1400.13/351.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1566.91/392.72	c lits-rem:      5486  cl-subs:    10417  v-elim:      0  v-fix:    0  time: 166.39 s
1566.91/392.72	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
1566.91/392.73	c vivif2 --  cl tried    77036 cl shrink        0 lits rem          0 time: 0.06
1568.49/393.14	c asymm  cl-useful: 0/516/5340 lits-rem:0 time: 1.62
1568.49/393.14	c calculated reachability. Time: 0.00
1568.49/393.14	c  N dy  6531   1711007        60      5340         0     77036     37380   1120961     18.11   no data  --
1602.03/401.58	c  N dy  6665   1731100        60      5340         0     94876     37380   1509614     18.12     20.55  --
1625.55/407.45	c  N dy  6726   1751145        60      5340         0     62761     37380    802668     18.12     20.23  --
1652.68/414.24	c  N dy  6832   1771208        60      5340         0     80543     37380   1187597     18.13     19.26  --
1687.00/422.82	c  N dy  6908   1792218        60      5340         0     99032     37380   1581382     18.13     19.12  --
1714.53/429.78	c  N dy  6996   1814706        60      5340         0     67866     37380    899885     18.13     19.09  --
1742.48/436.72	c  N dy  7057   1834993        60      5340         0     85763     37380   1283016     18.13     19.14  --
1778.77/445.84	c  N dy  7150   1855499        60      5340         0     52030     37380    555309     18.14     19.26  --
1799.54/451.01	c  N dy  7249   1875599        60      5340         0     69793     37380    940188     18.14     20.19  --
1828.24/458.22	c  N dy  7374   1896299        60      5340         0     88121     37380   1337871     18.15     19.21  --
1867.75/468.12	c  N dy  7481   1922211        60      5340         0     58076     37380    668753     18.15     19.13  --
1889.70/473.62	c  N dy  7615   1943319        60      5340         0     76826     37380   1078039     18.16     19.19  --
1918.47/480.89	c  N dy  7672   1969029        60      5340         0     99310     37380   1550910     18.16     19.15  --
1948.35/488.34	c  N dy  7767   1994990        60      5340         0     68484     37380    885735     18.16     19.13  --
1971.49/494.15	c  N dy  7824   2018481        60      5340         0     89131     37380   1325379     18.16     19.13  --
2006.61/502.96	c  N dy  7947   2040358        60      5340         0    108409     37380   1743161     18.17     19.16  --
2025.36/507.64	c  N dy  7988   2060550        60      5340         0     71408     37380    925056     18.16     19.14  --
2049.31/513.67	c  N dy  8063   2083033        60      5340         0     91224     37380   1350785     18.16     19.15  --
2079.22/521.10	c  N dy  8152   2103212        60      5340         0    108968     37380   1731913     18.16     19.15  --
2101.58/526.77	c  N dy  8273   2123230        60      5340         0     71211     37380    928760     18.17     19.90  --
2124.75/532.53	c  N dy  8332   2144121        60      5340         0     89544     37380   1316380     18.17     19.41  --
2153.84/539.82	c  N dy  8420   2164196        60      5340         0    107349     37380   1697639     18.17     19.17  --
2178.18/545.95	c  N dy  8498   2184956        60      5340         0     69279     37380    870734     18.17     19.33  --
2202.92/552.19	c  N dy  8629   2204964        60      5340         0     87012     37380   1258535     18.18     19.71  --
2210.90/554.14	c  S st  8645   2211007        60      5340         0     92350     37380   1372366     18.18     16.95  --
2211.69/554.39	c  S st  8645   2211511        60      5340         0     92802     37380   1382527     18.18   no data  --
2211.69/554.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2211.69/554.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2212.12/554.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
2212.12/554.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2212.12/554.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2212.12/554.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
2212.12/554.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2367.30/593.33	c lits-rem:      5333  cl-subs:     9835  v-elim:      0  v-fix:    0  time: 154.92 s
2367.30/593.33	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
2367.30/593.34	c vivif2 --  cl tried    82967 cl shrink        0 lits rem          0 time: 0.07
2368.90/593.73	c asymm  cl-useful: 0/483/5340 lits-rem:0 time: 1.54
2368.90/593.73	c calculated reachability. Time: 0.00
2368.90/593.73	c  N dy  8645   2211511        60      5340         0     82967     37380   1171681     18.18   no data  --
2408.00/603.60	c  N dy  8787   2234359        60      5340         0    103223     37380   1612567     18.19     19.28  --
2446.30/613.18	c  N dy  8884   2254477        60      5340         0     64218     37380    760266     18.20     19.21  --
2473.84/620.07	c  N dy  8988   2274577        60      5340         0     81887     37380   1142715     18.20     20.47  --
2502.21/627.18	c  N dy  9050   2294787        60      5340         0     99614     37380   1521079     18.20     19.18  --
2539.26/636.41	c  N dy  9108   2314885        60      5340         0     59414     37380    645662     18.21     19.18  --
2560.41/641.72	c  N dy  9115   2335133        60      5340         0     77044     37380   1007492     18.19     19.38  --
2592.74/649.84	c  N dy  9162   2355317        60      5340         0     94729     37380   1377959     18.18     19.57  --
2696.07/675.73	c  N dy  9174   2438769        60      5340         0    108383     37380   1620269     18.12     19.16  --
2750.35/689.30	c  N dy  9313   2476452        60      5340         0     82332     37380   1115152     18.12     19.20  --
2783.86/697.73	c  N dy  9420   2496668        60      5340         0    100235     37380   1503013     18.12     19.14  --
2821.38/707.17	c  N dy  9505   2516728        60      5340         0    117989     37380   1887802     18.12     19.08  --
2852.91/715.02	c  N dy  9602   2538559        60      5340         0     76733     37380    985327     18.13     19.11  --
2884.06/722.88	c  N dy  9713   2559296        60      5340         0     95032     37380   1382902     18.13     19.11  --
2931.11/734.61	c  N dy  9791   2590621        60      5340         0    122561     37380   1960357     18.13     19.09  --
2965.41/743.29	c  N dy  9881   2624118        60      5340         0     90328     37380   1252951     18.12     19.11  --
3006.11/753.43	c  N dy 10009   2649936        60      5340         0    113164     37380   1745794     18.12     19.08  --
3040.03/761.98	c  N dy 10087   2674204        60      5340         0     72033     37380    859653     18.12     19.16  --
3066.36/768.52	c  N dy 10218   2694295        60      5340         0     89748     37380   1245440     18.13     19.50  --
3091.90/774.91	c  S st 10290   2711512        60      5340         0    104888     37380   1569656     18.13   no data  --
3093.10/775.26	c  S st 10290   2712017        60      5340         0    105336     37380   1579621     18.13   no data  --
3093.10/775.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3093.10/775.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3093.50/775.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.21
3093.50/775.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3093.50/775.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3093.50/775.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
3093.50/775.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3513.24/880.57	c lits-rem:      6107  cl-subs:    12053  v-elim:      0  v-fix:    0  time: 419.65 s
3513.24/880.57	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
3513.24/880.59	c vivif2 --  cl tried    93283 cl shrink        0 lits rem          0 time: 0.08
3515.24/881.00	c asymm  cl-useful: 0/539/5340 lits-rem:0 time: 1.64
3515.24/881.00	c calculated reachability. Time: 0.00
3515.24/881.00	c  N dy 10290   2712017        60      5340         0     93283     37380   1325730     18.13   no data  --
3553.54/890.63	c  N dy 10385   2732060        60      5340         0    111052     37380   1707003     18.13     20.00  --
3597.84/901.75	c  N dy 10511   2752387        60      5340         0     66336     37380    740312     18.14     19.20  --
3627.37/909.19	c  N dy 10634   2774194        60      5340         0     85511     37380   1157982     18.15     19.12  --
3667.67/919.29	c  N dy 10764   2794528        60      5340         0    103486     37380   1550156     18.16     19.16  --
3717.98/931.85	c  N dy 10900   2814586        60      5340         0    121167     37380   1936331     18.17     20.90  --
3759.44/942.27	c  N dy 10995   2836610        60      5340         0     76520     37380    946357     18.17     19.14  --
3798.14/951.92	c  N dy 11069   2860234        60      5340         0     97278     37380   1390167     18.17     19.17  --
3844.43/963.58	c  N dy 11178   2880969        60      5340         0    115535     37380   1785954     18.17     19.18  --
3896.70/976.67	c  N dy 11300   2903028        60      5340         0     70024     37380    792184     18.18     19.16  --
3927.83/984.41	c  N dy 11338   2926204        60      5340         0     90256     37380   1213439     18.17     19.14  --
3968.51/994.69	c  N dy 11462   2946223        60      5340         0    107926     37380   1599291     18.18     19.80  --
4018.39/1007.12	c  N dy 11567   2966273        60      5340         0    125657     37380   1981850     18.18     20.94  --
4058.69/1017.24	c  N dy 11662   2986639        60      5340         0     77783     37380    954684     18.19     19.15  --
4088.62/1024.75	c  N dy 11767   3006653        60      5340         0     95400     37380   1332786     18.19     21.31  --
4126.92/1034.31	c  N dy 11858   3026744        60      5340         0    113096     37380   1712121     18.19     19.92  --
4175.59/1046.57	c  N dy 11899   3057561        60      5340         0     73160     37380    834216     18.18     19.14  --
4197.55/1052.03	c  N dy 11935   3077568        60      5340         0     90624     37380   1199012     18.17     19.50  --
4228.67/1059.88	c  N dy 12053   3097628        60      5340         0    108345     37380   1584983     18.18     20.88  --
4266.97/1069.49	c  N dy 12120   3121233        60      5340         0    129071     37380   2026066     18.18     19.21  --
4302.08/1078.27	c  N dy 12253   3141979        60      5340         0     79738     37380    977113     18.19     19.18  --
4329.22/1085.09	c  N dy 12279   3163259        60      5340         0     98416     37380   1369230     18.18     19.14  --
4368.73/1094.97	c  N dy 12384   3183292        60      5340         0    116104     37380   1751732     18.18     19.88  --
4415.85/1106.78	c  N dy 12521   3203820        60      5340         0    134197     37380   2147379     18.19     19.22  --
4430.57/1110.41	c  S st 12550   3212017        60      5340         0     72790     37380    813465     18.19     17.76  --
4431.36/1110.61	c  S st 12550   3212521        60      5340         0     73246     37380    823854     18.19   no data  --
4431.36/1110.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4431.36/1110.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4431.36/1110.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.13
4431.36/1110.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4431.36/1110.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4431.36/1110.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
4431.36/1110.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4482.04/1123.31	c lits-rem:       748  cl-subs:     1475  v-elim:      0  v-fix:    0  time: 50.41 s
4482.04/1123.31	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
4482.04/1123.33	c vivif2 --  cl tried    71771 cl shrink        0 lits rem          0 time: 0.04
4483.24/1123.61	c asymm  cl-useful: 0/605/5340 lits-rem:0 time: 1.14
4483.24/1123.61	c calculated reachability. Time: 0.00
4483.24/1123.61	c  N dy 12550   3212521        60      5340         0     71771     37380    793537     18.19   no data  --
4501.59/1128.28	c  N dy 12572   3232575        60      5340         0     89221     37380   1152611     18.18     19.51  --
4534.35/1136.49	c  N dy 12701   3253300        60      5340         0    107488     37380   1551179     18.19     19.15  --
4576.21/1146.91	c  N dy 12874   3273316        60      5340         0    125234     37380   1946259     18.20     20.71  --
4617.33/1157.28	c  N dy 12977   3294291        60      5340         0     74302     37380    837602     18.20     19.17  --
4658.01/1167.41	c  N dy 13122   3326591        60      5340         0    102742     37380   1443838     18.20     19.34  --
4704.70/1179.13	c  N dy 13211   3355020        60      5340         0    127727     37380   1975002     18.20     19.25  --
4744.60/1189.17	c  N dy 13318   3375090        60      5340         0     75073     37380    844353     18.21     19.18  --
4769.73/1195.49	c  N dy 13424   3395444        60      5340         0     92882     37380   1229624     18.21     19.19  --

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

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

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


[startup+0 s]
/proc/loadavg: 6.84 7.79 7.52 2/303 14022
/proc/meminfo: memFree=12316548/32950928 swapFree=67111348/67111528
[pid=14022] ppid=14020 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight1-m) R 14020 14022 13350 0 -1 4202496 411 0 0 0 0 0 0 0 23 0 4 0 652129148 52465664 351 33554432000 4194304 4650419 140736725235984 18446744073709551615 47455692826546 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14022/statm: 12809 351 303 112 0 7774 0
[pid=14022/tid=14023] ppid=14020 vsize=116772 CPUtime=0 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 652129148 119574528 369 33554432000 4194304 4650419 140736725235984 18446744073709551615 47455692826131 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=182308 CPUtime=0 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 12 0 0 0 0 0 0 0 25 0 4 0 652129148 186683392 388 33554432000 4194304 4650419 140736725235984 18446744073709551615 235623425552 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=182320 CPUtime=0 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 22 0 0 0 0 0 0 0 25 0 4 0 652129148 186695680 400 33554432000 4194304 4650419 140736725235984 18446744073709551615 235594866491 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.100037 s]
/proc/loadavg: 6.84 7.79 7.52 2/303 14022
/proc/meminfo: memFree=12316548/32950928 swapFree=67111348/67111528
[pid=14022] ppid=14020 vsize=282036 CPUtime=0.37 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight1-m) R 14020 14022 13350 0 -1 4202496 1324 0 0 0 37 0 0 0 24 0 4 0 652129148 288804864 1237 33554432000 4194304 4650419 140736725235984 18446744073709551615 4370730 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14022/statm: 70509 1237 366 112 0 65474 0
[pid=14022/tid=14023] ppid=14020 vsize=282036 CPUtime=0.08 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 180 0 0 0 8 0 0 0 25 0 4 0 652129148 288804864 1237 33554432000 4194304 4650419 140736725235984 18446744073709551615 4370482 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=282036 CPUtime=0.09 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 196 0 0 0 9 0 0 0 25 0 4 0 652129148 288804864 1237 33554432000 4194304 4650419 140736725235984 18446744073709551615 4370532 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=282036 CPUtime=0.09 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 327 0 0 0 9 0 0 0 25 0 4 0 652129148 288804864 1237 33554432000 4194304 4650419 140736725235984 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282036

[startup+0.201021 s]
/proc/loadavg: 6.84 7.79 7.52 2/303 14022
/proc/meminfo: memFree=12316548/32950928 swapFree=67111348/67111528
[pid=14022] ppid=14020 vsize=283600 CPUtime=0.76 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight1-m) R 14020 14022 13350 0 -1 4202496 2988 0 0 0 76 0 0 0 25 0 4 0 652129148 290406400 2552 33554432000 4194304 4650419 140736725235984 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14022/statm: 70900 2552 390 112 0 65865 0
[pid=14022/tid=14023] ppid=14020 vsize=283600 CPUtime=0.18 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 644 0 0 0 18 0 0 0 25 0 4 0 652129148 290406400 2552 33554432000 4194304 4650419 140736725235984 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=283600 CPUtime=0.19 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 668 0 0 0 19 0 0 0 25 0 4 0 652129148 290406400 2552 33554432000 4194304 4650419 140736725235984 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=283600 CPUtime=0.19 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 568 0 0 0 19 0 0 0 25 0 4 0 652129148 290406400 2552 33554432000 4194304 4650419 140736725235984 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 283600

[startup+0.301003 s]
/proc/loadavg: 6.84 7.79 7.52 2/303 14022
/proc/meminfo: memFree=12316548/32950928 swapFree=67111348/67111528
[pid=14022] ppid=14020 vsize=284292 CPUtime=1.16 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight1-m) R 14020 14022 13350 0 -1 4202496 3598 0 0 0 116 0 0 0 25 0 4 0 652129148 291115008 2683 33554432000 4194304 4650419 140736725235984 18446744073709551615 4355024 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14022/statm: 71073 2683 390 112 0 66038 0
[pid=14022/tid=14023] ppid=14020 vsize=284292 CPUtime=0.28 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 819 0 0 0 28 0 0 0 25 0 4 0 652129148 291115008 2683 33554432000 4194304 4650419 140736725235984 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=284292 CPUtime=0.29 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 847 0 0 0 29 0 0 0 25 0 4 0 652129148 291115008 2683 33554432000 4194304 4650419 140736725235984 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=284292 CPUtime=0.29 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 645 0 0 0 29 0 0 0 25 0 4 0 652129148 291115008 2683 33554432000 4194304 4650419 140736725235984 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 284292

[startup+0.700934 s]
/proc/loadavg: 6.84 7.79 7.52 2/303 14022
/proc/meminfo: memFree=12316548/32950928 swapFree=67111348/67111528
[pid=14022] ppid=14020 vsize=285556 CPUtime=2.77 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight1-m) R 14020 14022 13350 0 -1 4202496 5553 0 0 0 276 1 0 0 25 0 4 0 652129148 292409344 3456 33554432000 4194304 4650419 140736725235984 18446744073709551615 4365252 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14022/statm: 71389 3456 390 112 0 66354 0
[pid=14022/tid=14023] ppid=14020 vsize=285556 CPUtime=0.68 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 1253 0 0 0 68 0 0 0 25 0 4 0 652129148 292409344 3456 33554432000 4194304 4650419 140736725235984 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=285556 CPUtime=0.69 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 1305 0 0 0 69 0 0 0 25 0 4 0 652129148 292409344 3456 33554432000 4194304 4650419 140736725235984 18446744073709551615 4333639 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=285556 CPUtime=0.69 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 1257 0 0 0 69 0 0 0 25 0 4 0 652129148 292409344 3456 33554432000 4194304 4650419 140736725235984 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285556

[startup+1.50079 s]
/proc/loadavg: 6.84 7.79 7.52 9/315 14034
/proc/meminfo: memFree=12287312/32950928 swapFree=67111348/67111528
[pid=14022] ppid=14020 vsize=286728 CPUtime=5.96 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight1-m) R 14020 14022 13350 0 -1 4202496 10095 0 0 0 594 2 0 0 25 0 4 0 652129148 293609472 5500 33554432000 4194304 4650419 140736725235984 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14022/statm: 71682 5500 392 112 0 66647 0
[pid=14022/tid=14023] ppid=14020 vsize=286728 CPUtime=1.47 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 2078 0 0 0 147 0 0 0 25 0 4 0 652129148 293609472 5500 33554432000 4194304 4650419 140736725235984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=286728 CPUtime=1.48 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 2129 0 0 0 148 0 0 0 25 0 4 0 652129148 293609472 5500 33554432000 4194304 4650419 140736725235984 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=286728 CPUtime=1.49 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 2081 0 0 0 149 0 0 0 25 0 4 0 652129148 293609472 5500 33554432000 4194304 4650419 140736725235984 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286728

[startup+3.10051 s]
/proc/loadavg: 6.84 7.79 7.52 9/315 14034
/proc/meminfo: memFree=12253688/32950928 swapFree=67111348/67111528
[pid=14022] ppid=14020 vsize=294300 CPUtime=12.34 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight1-m) R 14020 14022 13350 0 -1 4202496 16584 0 0 0 1232 2 0 0 25 0 4 0 652129148 301363200 10219 33554432000 4194304 4650419 140736725235984 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14022/statm: 73575 10219 392 112 0 68540 0
[pid=14022/tid=14023] ppid=14020 vsize=294300 CPUtime=3.06 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 3528 0 0 0 306 0 0 0 25 0 4 0 652129148 301363200 10219 33554432000 4194304 4650419 140736725235984 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=294300 CPUtime=3.08 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 4415 0 0 0 308 0 0 0 25 0 4 0 652129148 301363200 10219 33554432000 4194304 4650419 140736725235984 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=294300 CPUtime=3.08 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 4353 0 0 0 308 0 0 0 25 0 4 0 652129148 301363200 10219 33554432000 4194304 4650419 140736725235984 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 294300

[startup+6.30095 s]
/proc/loadavg: 6.94 7.79 7.52 9/315 14034
/proc/meminfo: memFree=12222168/32950928 swapFree=67111348/67111528
[pid=14022] ppid=14020 vsize=295064 CPUtime=25.11 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight1-m) R 14020 14022 13350 0 -1 4202496 24611 0 0 0 2507 4 0 0 25 0 4 0 652129148 302145536 11978 33554432000 4194304 4650419 140736725235984 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14022/statm: 73766 11978 392 112 0 68731 0
[pid=14022/tid=14023] ppid=14020 vsize=295064 CPUtime=6.22 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 6088 0 0 0 622 0 0 0 25 0 4 0 652129148 302145536 11978 33554432000 4194304 4650419 140736725235984 18446744073709551615 4369378 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=295064 CPUtime=6.29 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 6280 0 0 0 628 1 0 0 25 0 4 0 652129148 302145536 11978 33554432000 4194304 4650419 140736725235984 18446744073709551615 4366956 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=295064 CPUtime=6.28 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 6312 0 0 0 628 0 0 0 25 0 4 0 652129148 302145536 11978 33554432000 4194304 4650419 140736725235984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 295064

[startup+12.7008 s]
/proc/loadavg: 7.02 7.79 7.52 9/315 14034
/proc/meminfo: memFree=12191068/32950928 swapFree=67111348/67111528
[pid=14022] ppid=14020 vsize=283468 CPUtime=50.65 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight1-m) R 14020 14022 13350 0 -1 4202496 36763 0 0 0 5059 6 0 0 25 0 4 0 652129148 290271232 17253 33554432000 4194304 4650419 140736725235984 18446744073709551615 4349707 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14022/statm: 70867 17253 392 112 0 65832 0
[pid=14022/tid=14023] ppid=14020 vsize=283468 CPUtime=12.56 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 8924 0 0 0 1255 1 0 0 25 0 4 0 652129148 290271232 17253 33554432000 4194304 4650419 140736725235984 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=283468 CPUtime=12.68 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 8985 0 0 0 1267 1 0 0 25 0 4 0 652129148 290271232 17254 33554432000 4194304 4650419 140736725235984 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=283468 CPUtime=12.69 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 9845 0 0 0 1268 1 0 0 25 0 4 0 652129148 290271232 17254 33554432000 4194304 4650419 140736725235984 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 283468

[startup+25.5006 s]
/proc/loadavg: 7.24 7.80 7.53 9/315 14034
/proc/meminfo: memFree=12141716/32950928 swapFree=67111348/67111528
[pid=14022] ppid=14020 vsize=274320 CPUtime=101.72 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight1-m) R 14020 14022 13350 0 -1 4202496 56630 0 0 0 10161 11 0 0 25 0 4 0 652129148 280903680 21905 33554432000 4194304 4650419 140736725235984 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14022/statm: 68580 21905 392 112 0 63545 0
[pid=14022/tid=14023] ppid=14020 vsize=274320 CPUtime=25.23 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 13983 0 0 0 2521 2 0 0 25 0 4 0 652129148 280903680 21905 33554432000 4194304 4650419 140736725235984 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=274320 CPUtime=25.49 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 14657 0 0 0 2546 3 0 0 25 0 4 0 652129148 280903680 21905 33554432000 4194304 4650419 140736725235984 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=274320 CPUtime=25.48 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 14422 0 0 0 2546 2 0 0 25 0 4 0 652129148 280903680 21905 33554432000 4194304 4650419 140736725235984 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 274320

[startup+51.1011 s]
/proc/loadavg: 7.64 7.85 7.55 9/315 14035
/proc/meminfo: memFree=12125460/32950928 swapFree=67111348/67111528
[pid=14022] ppid=14020 vsize=285296 CPUtime=203.87 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight1-m) R 14020 14022 13350 0 -1 4202496 83096 0 0 0 20370 17 0 0 25 0 4 0 652129148 292143104 24201 33554432000 4194304 4650419 140736725235984 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14022/statm: 71324 24201 392 112 0 66289 0
[pid=14022/tid=14023] ppid=14020 vsize=285296 CPUtime=50.59 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 20847 0 0 0 5055 4 0 0 25 0 4 0 652129148 292143104 24201 33554432000 4194304 4650419 140736725235984 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=285296 CPUtime=51.09 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 22579 0 0 0 5104 5 0 0 25 0 4 0 652129148 292143104 24201 33554432000 4194304 4650419 140736725235984 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=285296 CPUtime=51.09 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 21224 0 0 0 5105 4 0 0 25 0 4 0 652129148 292143104 24201 33554432000 4194304 4650419 140736725235984 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.87
Current children cumulated vsize (KiB) 285296

[startup+102.301 s]
/proc/loadavg: 7.92 7.89 7.58 9/315 14036
/proc/meminfo: memFree=12077456/32950928 swapFree=67111348/67111528
[pid=14022] ppid=14020 vsize=320768 CPUtime=408.2 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight1-m) R 14020 14022 13350 0 -1 4202496 128467 0 0 0 40790 30 0 0 25 0 4 0 652129148 328466432 30089 33554432000 4194304 4650419 140736725235984 18446744073709551615 4363426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14022/statm: 80192 30089 392 112 0 75157 0
[pid=14022/tid=14023] ppid=14020 vsize=320768 CPUtime=101.3 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 30552 0 0 0 10123 7 0 0 25 0 4 0 652129148 328466432 30090 33554432000 4194304 4650419 140736725235984 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=320768 CPUtime=102.29 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 34384 0 0 0 10220 9 0 0 25 0 4 0 652129148 328466432 30090 33554432000 4194304 4650419 140736725235984 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=320768 CPUtime=102.3 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 34101 0 0 0 10223 7 0 0 25 0 4 0 652129148 328466432 30090 33554432000 4194304 4650419 140736725235984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.2
Current children cumulated vsize (KiB) 320768

[startup+162.301 s]

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

[pid=14022] ppid=14020 vsize=427036 CPUtime=2802.21 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight1-m) R 14020 14022 13350 0 -1 4202496 376190 0 0 0 280097 124 0 0 25 0 4 0 652129148 437284864 70210 33554432000 4194304 4650419 140736725235984 18446744073709551615 4363435 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14022/statm: 106759 70210 392 112 0 101724 0
[pid=14022/tid=14023] ppid=14020 vsize=427036 CPUtime=695.3 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 98795 0 0 0 69499 31 0 0 25 0 4 0 652129148 437284864 70210 33554432000 4194304 4650419 140736725235984 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=427036 CPUtime=702.3 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 103337 0 0 0 70190 40 0 0 25 0 4 0 652129148 437284864 70210 33554432000 4194304 4650419 140736725235984 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=427036 CPUtime=702.3 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 80090 0 0 0 70208 22 0 0 25 0 4 0 652129148 437284864 70210 33554432000 4194304 4650419 140736725235984 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2802.21
Current children cumulated vsize (KiB) 427036

[startup+762.301 s]
/proc/loadavg: 8.07 8.05 7.81 9/315 14054
/proc/meminfo: memFree=11768276/32950928 swapFree=67111348/67111528
[pid=14022] ppid=14020 vsize=415356 CPUtime=3041.65 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight1-m) R 14020 14022 13350 0 -1 4202496 389028 0 0 0 304034 131 0 0 25 0 4 0 652129148 425324544 63902 33554432000 4194304 4650419 140736725235984 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14022/statm: 103839 63902 392 112 0 98804 0
[pid=14022/tid=14023] ppid=14020 vsize=415356 CPUtime=754.71 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 101534 0 0 0 75439 32 0 0 25 0 4 0 652129148 425324544 63903 33554432000 4194304 4650419 140736725235984 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=415356 CPUtime=762.32 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 109374 0 0 0 76188 44 0 0 25 0 4 0 652129148 425324544 63903 33554432000 4194304 4650419 140736725235984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=415356 CPUtime=762.32 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 80212 0 0 0 76209 23 0 0 25 0 4 0 652129148 425324544 63903 33554432000 4194304 4650419 140736725235984 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3041.65
Current children cumulated vsize (KiB) 415356

[startup+822.301 s]
/proc/loadavg: 8.09 8.07 7.83 9/315 14055
/proc/meminfo: memFree=11722996/32950928 swapFree=67111348/67111528
[pid=14022] ppid=14020 vsize=441896 CPUtime=3281.02 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight1-m) R 14020 14022 13350 0 -1 4202496 409251 0 0 0 327964 138 0 0 25 0 4 0 652129148 452501504 76627 33554432000 4194304 4650419 140736725235984 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14022/statm: 110474 76627 392 112 0 105439 0
[pid=14022/tid=14023] ppid=14020 vsize=441896 CPUtime=814.11 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 106300 0 0 0 81376 35 0 0 25 0 4 0 652129148 452501504 76627 33554432000 4194304 4650419 140736725235984 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=441896 CPUtime=822.3 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 113234 0 0 0 82184 46 0 0 25 0 4 0 652129148 452501504 76627 33554432000 4194304 4650419 140736725235984 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=441896 CPUtime=822.31 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 84615 0 0 0 82206 25 0 0 25 0 4 0 652129148 452501504 76627 33554432000 4194304 4650419 140736725235984 18446744073709551615 4307198 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3281.02
Current children cumulated vsize (KiB) 441896

[startup+882.312 s]
/proc/loadavg: 8.22 8.10 7.85 9/315 14057
/proc/meminfo: memFree=11730896/32950928 swapFree=67111348/67111528
[pid=14022] ppid=14020 vsize=442008 CPUtime=3520.48 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight1-m) R 14020 14022 13350 0 -1 4202496 429545 0 0 0 351903 145 0 0 25 0 4 0 652129148 452616192 73828 33554432000 4194304 4650419 140736725235984 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14022/statm: 110502 73828 392 112 0 105467 0
[pid=14022/tid=14023] ppid=14020 vsize=442008 CPUtime=873.5 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 108694 0 0 0 87314 36 0 0 25 0 4 0 652129148 452616192 73828 33554432000 4194304 4650419 140736725235984 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=442008 CPUtime=882.32 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 117824 0 0 0 88184 48 0 0 25 0 4 0 652129148 452616192 73828 33554432000 4194304 4650419 140736725235984 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=442008 CPUtime=882.32 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 85248 0 0 0 88207 25 0 0 25 0 4 0 652129148 452616192 73828 33554432000 4194304 4650419 140736725235984 18446744073709551615 4439082 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3520.48
Current children cumulated vsize (KiB) 442008

[startup+942.3 s]
/proc/loadavg: 8.15 8.10 7.86 9/315 14059
/proc/meminfo: memFree=11731372/32950928 swapFree=67111348/67111528
[pid=14022] ppid=14020 vsize=495128 CPUtime=3759.84 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight1-m) R 14020 14022 13350 0 -1 4202496 440723 0 0 0 375833 151 0 0 25 0 4 0 652129148 507011072 77020 33554432000 4194304 4650419 140736725235984 18446744073709551615 4363883 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14022/statm: 123782 77020 392 112 0 118747 0
[pid=14022/tid=14023] ppid=14020 vsize=495128 CPUtime=932.9 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 111572 0 0 0 93253 37 0 0 25 0 4 0 652129148 507011072 77020 33554432000 4194304 4650419 140736725235984 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=495128 CPUtime=942.3 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 121336 0 0 0 94179 51 0 0 25 0 4 0 652129148 507011072 77020 33554432000 4194304 4650419 140736725235984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=495128 CPUtime=942.31 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 85291 0 0 0 94206 25 0 0 25 0 4 0 652129148 507011072 77020 33554432000 4194304 4650419 140736725235984 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3759.84
Current children cumulated vsize (KiB) 495128

[startup+1002.3 s]
/proc/loadavg: 8.09 8.09 7.88 9/315 14060
/proc/meminfo: memFree=11691156/32950928 swapFree=67111348/67111528
[pid=14022] ppid=14020 vsize=495240 CPUtime=3999.24 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight1-m) R 14020 14022 13350 0 -1 4202496 456895 0 0 0 399766 158 0 0 25 0 4 0 652129148 507125760 79119 33554432000 4194304 4650419 140736725235984 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14022/statm: 123810 79119 392 112 0 118775 0
[pid=14022/tid=14023] ppid=14020 vsize=495240 CPUtime=992.3 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 119767 0 0 0 99191 39 0 0 25 0 4 0 652129148 507125760 79119 33554432000 4194304 4650419 140736725235984 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=495240 CPUtime=1002.31 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 125850 0 0 0 100177 54 0 0 25 0 4 0 652129148 507125760 79119 33554432000 4194304 4650419 140736725235984 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=495240 CPUtime=1002.31 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 85291 0 0 0 100206 25 0 0 25 0 4 0 652129148 507125760 79119 33554432000 4194304 4650419 140736725235984 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3999.24
Current children cumulated vsize (KiB) 495240

[startup+1062.3 s]
/proc/loadavg: 8.18 8.10 7.89 9/315 14062
/proc/meminfo: memFree=11691136/32950928 swapFree=67111348/67111528
[pid=14022] ppid=14020 vsize=507972 CPUtime=4238.65 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight1-m) R 14020 14022 13350 0 -1 4202496 474631 0 0 0 423702 163 0 0 25 0 4 0 652129148 520163328 80259 33554432000 4194304 4650419 140736725235984 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14022/statm: 126993 80259 392 112 0 121958 0
[pid=14022/tid=14023] ppid=14020 vsize=507972 CPUtime=1051.71 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 129815 0 0 0 105130 41 0 0 25 0 4 0 652129148 520163328 80259 33554432000 4194304 4650419 140736725235984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=507972 CPUtime=1062.3 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 129858 0 0 0 106174 56 0 0 25 0 4 0 652129148 520163328 80259 33554432000 4194304 4650419 140736725235984 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=507972 CPUtime=1062.31 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 86434 0 0 0 106206 25 0 0 25 0 4 0 652129148 520163328 80259 33554432000 4194304 4650419 140736725235984 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4238.65
Current children cumulated vsize (KiB) 507972

[startup+1122.3 s]
/proc/loadavg: 8.06 8.08 7.90 9/315 14063
/proc/meminfo: memFree=11684180/32950928 swapFree=67111348/67111528
[pid=14022] ppid=14020 vsize=520660 CPUtime=4478.05 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight1-m) R 14020 14022 13350 0 -1 4202496 490630 0 0 0 447634 171 0 0 25 0 4 0 652129148 533155840 85502 33554432000 4194304 4650419 140736725235984 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14022/statm: 130165 85502 392 112 0 125130 0
[pid=14022/tid=14023] ppid=14020 vsize=520660 CPUtime=1111.11 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 132702 0 0 0 111068 43 0 0 25 0 4 0 652129148 533155840 85502 33554432000 4194304 4650419 140736725235984 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=520660 CPUtime=1122.31 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 134722 0 0 0 112173 58 0 0 25 0 4 0 652129148 533155840 85502 33554432000 4194304 4650419 140736725235984 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=520660 CPUtime=1122.31 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 90426 0 0 0 112204 27 0 0 25 0 4 0 652129148 533155840 85502 33554432000 4194304 4650419 140736725235984 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4478.05
Current children cumulated vsize (KiB) 520660

[startup+1182.3 s]
/proc/loadavg: 8.15 8.10 7.91 9/315 14065
/proc/meminfo: memFree=11656992/32950928 swapFree=67111348/67111528
[pid=14022] ppid=14020 vsize=521264 CPUtime=4717.46 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight1-m) R 14020 14022 13350 0 -1 4202496 501703 0 0 0 471570 176 0 0 25 0 4 0 652129148 533774336 86943 33554432000 4194304 4650419 140736725235984 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14022/statm: 130316 86943 392 112 0 125281 0
[pid=14022/tid=14023] ppid=14020 vsize=521264 CPUtime=1170.51 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 135629 0 0 0 117007 44 0 0 25 0 4 0 652129148 533774336 86943 33554432000 4194304 4650419 140736725235984 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=521264 CPUtime=1182.31 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 139808 0 0 0 118170 61 0 0 25 0 4 0 652129148 533774336 86943 33554432000 4194304 4650419 140736725235984 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=521264 CPUtime=1182.31 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 90613 0 0 0 118204 27 0 0 25 0 4 0 652129148 533774336 86943 33554432000 4194304 4650419 140736725235984 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4717.46
Current children cumulated vsize (KiB) 521264



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203 s]
/proc/loadavg: 8.10 8.09 7.91 9/315 14066
/proc/meminfo: memFree=11632312/32950928 swapFree=67111348/67111528
[pid=14022] ppid=14020 vsize=521328 CPUtime=4800.06 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight1-m) R 14020 14022 13350 0 -1 4202496 507079 0 0 0 479829 177 0 0 25 0 4 0 652129148 533839872 89538 33554432000 4194304 4650419 140736725235984 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14022/statm: 130332 89538 392 112 0 125297 0
[pid=14022/tid=14023] ppid=14020 vsize=521328 CPUtime=1191 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 136749 0 0 0 119055 45 0 0 25 0 4 0 652129148 533839872 89539 33554432000 4194304 4650419 140736725235984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=521328 CPUtime=1203.02 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 141761 0 0 0 120241 61 0 0 25 0 4 0 652129148 533839872 89539 33554432000 4194304 4650419 140736725235984 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=521328 CPUtime=1203.02 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 90757 0 0 0 120275 27 0 0 25 0 4 0 652129148 533839872 89539 33554432000 4194304 4650419 140736725235984 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 521328

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

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

[startup+1203 s]
/proc/loadavg: 8.10 8.09 7.91 9/315 14066
/proc/meminfo: memFree=11632312/32950928 swapFree=67111348/67111528
[pid=14022] ppid=14020 vsize=521328 CPUtime=4800.06 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight1-m) R 14020 14022 13350 0 -1 4202496 507079 0 0 0 479829 177 0 0 25 0 4 0 652129148 533839872 89538 33554432000 4194304 4650419 140736725235984 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14022/statm: 130332 89538 392 112 0 125297 0
[pid=14022/tid=14023] ppid=14020 vsize=521328 CPUtime=1191 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 136749 0 0 0 119055 45 0 0 25 0 4 0 652129148 533839872 89539 33554432000 4194304 4650419 140736725235984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=521328 CPUtime=1203.02 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 141761 0 0 0 120241 61 0 0 25 0 4 0 652129148 533839872 89539 33554432000 4194304 4650419 140736725235984 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=521328 CPUtime=1203.02 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight1-m) R 14020 14022 13350 0 -1 4202560 90757 0 0 0 120275 27 0 0 25 0 4 0 652129148 533839872 89539 33554432000 4194304 4650419 140736725235984 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 521328

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.03
CPU time (s): 4800.13
CPU user time (s): 4798.33
CPU system time (s): 1.79573
CPU usage (%): 399.002
Max. virtual memory (cumulated for all children) (KiB): 521328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.33
system time used= 1.79573
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 507080
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= 458
involuntary context switches= 19838

runsolver used 3.46047 second user time and 8.5777 second system time

The end

Launcher Data 

Begin job on node120 at 2011-05-14 22:35:04
IDJOB=3368882
IDBENCH=82891
IDSOLVER=1846
FILE ID=node120/3368882-1305405304
RUNJOBID= node120-1305405304-14007
PBS_JOBID= 13324463
Free space on /tmp= 73508 MiB

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

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

MD5SUM BENCH= 3db6bd99841631bff4d8c3d33ccc1047
RANDOM SEED=1719559774

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      12316696 kB
Buffers:        257096 kB
Cached:        3584704 kB
SwapCached:          0 kB
Active:       17364268 kB
Inactive:      2981496 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      12316696 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           12608 kB
Writeback:           0 kB
AnonPages:    16503836 kB
Mapped:          24192 kB
Slab:           175348 kB
PageTables:      48572 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 51548336 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= 73496 MiB
End job on node120 at 2011-05-14 22:55:09