Trace number 3175194

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.35 1201.73

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v80-c7120-S2107193201-069.UNKNOWN.cnf
MD5SUMf33f3051fd4d4fda111c4bc9b2e01ee5
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.88271
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of clauses7120
Sum of the clauses size49840
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 57120

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-3175194-1304097610.cnf'
0.00/0.00	c -- header says num vars:             80
0.00/0.00	c -- header says num clauses:        7120
0.00/0.00	c -- clauses added:            0 learnts,         7120 normals,            0 xors
0.00/0.00	c -- vars added         80
0.00/0.00	c Parsing time:  0.01 s
0.00/0.00	c  N st     0         0        80      7120         0         0     49840         0   no data   no data  --
0.39/0.16	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 0.64
0.39/0.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.39/0.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.39/0.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.39/0.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
0.39/0.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.39/0.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
0.39/0.19	c Finding binary XORs  T:     0.00 s  found:       0
0.39/0.19	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.39/0.19	c calculated reachability. Time: 0.00
0.39/0.19	c Calc default polars -  time:   0.00 s pos:      39 undec:       0 neg:      41
0.39/0.19	c =========================================================================================
0.39/0.19	c types(t): F = full restart, N = normal restart
0.39/0.19	c types(t): S = simplification begin/end, E = solution found
0.39/0.19	c restart types(rt): st = static, dy = dynamic
0.39/0.19	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.39/0.19	c  B st     0         0        80      7120         0         0     49840         0   no data   no data  --
1.18/0.32	c  N dy    12      4263        80      7120         0      3908     49840    106053     23.83     25.11  --
1.98/0.56	c  N dy    13     10438        80      7120         0      7303     49840    187103     22.78     24.01  --
3.58/0.90	c  N dy    36     18598        80      7120         0      5721     49840    118067     22.92     24.15  --
4.39/1.17	c  N dy    38     24765        80      7120         0     11351     49840    266326     22.42     23.60  --
4.39/1.19	c  F st    41     25003        80      7120         0     11568     49840    272128     22.44   no data  --
5.57/1.41	c  N dy    47     30002        80      7120         0      9924     49840    217118     22.44   no data  --
5.57/1.41	c  S st    47     30002        80      7120         0      9924     49840    217118     22.44   no data  --
5.57/1.45	c  S st    47     30505        80      7120         0     10399     49840    230008     22.44   no data  --
5.57/1.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.57/1.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.57/1.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
5.57/1.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.97/2.56	c lits-rem:      1534  cl-subs:      780  v-elim:      0  v-fix:    0  time:  4.39 s
11.16/2.89	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.31
11.16/2.89	c calculated reachability. Time: 0.00
11.16/2.89	c  N dy    47     30505        80      7120         0      9619     49840    206431     22.44   no data  --
12.36/3.13	c  N dy    64     34821        80      7120         0     13582     49840    312433     22.54     23.79  --
13.17/3.36	c  N dy    75     38967        80      7120         0     10146     49840    204039     22.54     23.86  --
14.35/3.60	c  N dy   102     43059        80      7120         0     13895     49840    305164     22.70     25.23  --
14.75/3.77	c  S st   105     45758        80      7120         0     16366     49840    370061     22.64     21.37  --
15.15/3.82	c  S st   105     46260        80      7120         0      8645     49840    151245     22.64   no data  --
15.15/3.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.15/3.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.15/3.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
15.15/3.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.15/3.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.15/3.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
15.15/3.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
18.35/4.63	c lits-rem:       160  cl-subs:       53  v-elim:      0  v-fix:    0  time:  3.22 s
18.35/4.63	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
18.35/4.63	c vivif2 --  cl tried     8592 cl shrink        0 lits rem          0 time: 0.00
19.55/4.91	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.08
19.55/4.91	c calculated reachability. Time: 0.00
19.55/4.91	c  N dy   105     46260        80      7120         0      8592     49840    149461     22.64   no data  --
20.34/5.15	c  N dy   131     50842        80      7120         0     12813     49840    263076     22.76     24.00  --
21.54/5.41	c  N dy   151     54891        80      7120         0     16511     49840    362869     22.83     24.12  --
22.74/5.77	c  N dy   172     60753        80      7120         0     12756     49840    246521     22.87     24.14  --
23.95/6.03	c  N dy   198     64815        80      7120         0     16484     49840    347841     22.94     24.19  --
25.15/6.33	c  N dy   204     68982        80      7120         0     10235     49840    163065     22.94     24.21  --
25.15/6.36	c  S st   209     69390        80      7120         0     10607     49840    173481     22.96   no data  --
25.15/6.40	c  S st   209     69891        80      7120         0     11076     49840    186286     22.96   no data  --
25.55/6.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.55/6.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.55/6.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
25.55/6.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.55/6.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.55/6.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
25.55/6.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.14/7.36	c lits-rem:       440  cl-subs:      112  v-elim:      0  v-fix:    0  time:  3.79 s
29.14/7.36	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
29.14/7.36	c vivif2 --  cl tried    10964 cl shrink        0 lits rem          0 time: 0.01
30.34/7.70	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.36
30.34/7.70	c calculated reachability. Time: 0.00
30.34/7.70	c  N dy   209     69891        80      7120         0     10964     49840    182167     22.96   no data  --
31.53/7.98	c  N dy   235     74384        80      7120         0     15064     49840    293014     23.02     24.48  --
33.93/8.57	c  N dy   243     83607        80      7120         0     12520     49840    210214     22.91     24.17  --
35.14/8.82	c  F st   245     87500        80      7120         0     16101     49840    304047     22.85     22.20  --
35.54/8.97	c  N st   249     89535        80      7120         0     17967     49840    354884     22.85   no data  --
37.53/9.46	c  N dy   268     95500        80      7120         0     23453     49840    501965     22.88     24.09  --
39.54/9.96	c  N dy   278    102908        80      7120         0     18288     49840    346921     22.84     24.10  --
40.32/10.12	c  S st   297    104836        80      7120         0     20056     49840    396340     22.90   no data  --
40.32/10.18	c  S st   297    105338        80      7120         0     20531     49840    409601     22.90   no data  --
40.32/10.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
40.32/10.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
40.32/10.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
40.72/10.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
40.72/10.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
40.72/10.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
40.72/10.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
47.91/12.06	c lits-rem:      2117  cl-subs:     1844  v-elim:      0  v-fix:    0  time:  7.39 s
47.91/12.06	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
47.91/12.06	c vivif2 --  cl tried    18687 cl shrink        0 lits rem          0 time: 0.02
49.51/12.45	c asymm  cl-useful: 0/5253/7120 lits-rem:0 time: 1.53
49.51/12.45	c calculated reachability. Time: 0.00
49.51/12.45	c  N dy   297    105338        80      7120         0     18687     49840    356603     22.90   no data  --
51.91/13.03	c  N dy   334    112111        80      7120         0     24926     49840    525966     22.97     25.89  --
53.90/13.59	c  N dy   375    120061        80      7120         0     19485     49840    368633     23.03     24.58  --
56.70/14.25	c  N dy   414    127753        80      7120         0     26544     49840    560183     23.09     24.76  --
62.29/15.67	c  N dy   426    147212        80      7120         0     15891     49840    239741     22.88     24.09  --
65.49/16.42	c  N dy   462    157039        80      7120         0     24951     49840    482427     22.90     24.18  --
65.90/16.52	c  S st   469    158007        80      7120         0     25839     49840    506546     22.91   no data  --
65.90/16.58	c  S st   469    158513        80      7120         0     26321     49840    519816     22.91   no data  --
65.90/16.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
65.90/16.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
65.90/16.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
66.30/16.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
66.30/16.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
66.30/16.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
66.30/16.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
75.87/19.07	c lits-rem:      2089  cl-subs:     2244  v-elim:      0  v-fix:    0  time:  9.85 s
75.87/19.07	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
75.87/19.08	c vivif2 --  cl tried    24077 cl shrink        0 lits rem          0 time: 0.02
77.07/19.32	c asymm  cl-useful: 0/1813/7120 lits-rem:0 time: 0.94
77.07/19.32	c calculated reachability. Time: 0.00
77.07/19.32	c  N dy   469    158513        80      7120         0     24077     49840    455598     22.91   no data  --
81.06/20.36	c  N dy   497    169024        80      7120         0     18248     49840    287828     22.91     24.17  --
84.65/21.24	c  N dy   531    179893        80      7120         0     28175     49840    555082     22.93     24.53  --
89.05/22.34	c  N dy   580    191964        80      7120         0     22831     49840    399644     22.95     24.23  --
94.64/23.73	c  N dy   626    205620        80      7120         0     17982     49840    251377     22.96     24.23  --
99.84/25.03	c  N dy   647    221312        80      7120         0     32264     49840    629684     22.87     24.12  --
105.85/26.56	c  N dy   684    237769        80      7120         0     29023     49840    529196     22.83     22.33  --
105.85/26.56	c  S st   684    237769        80      7120         0     29023     49840    529196     22.83     22.33  --
106.23/26.64	c  S st   684    238272        80      7120         0     29489     49840    541911     22.83   no data  --
106.23/26.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
106.23/26.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
106.23/26.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
106.23/26.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
106.23/26.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
106.23/26.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
106.23/26.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
117.42/29.41	c lits-rem:      2731  cl-subs:     2267  v-elim:      0  v-fix:    0  time: 10.96 s
117.42/29.41	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
117.42/29.42	c vivif2 --  cl tried    27222 cl shrink        0 lits rem          0 time: 0.02
118.22/29.61	c asymm  cl-useful: 0/2071/7120 lits-rem:0 time: 0.77
118.22/29.61	c calculated reachability. Time: 0.00
118.22/29.61	c  N dy   684    238272        80      7120         0     27222     49840    477395     22.83   no data  --
125.81/31.54	c  N dy   774    256707        80      7120         0     25025     49840    407313     22.89     24.29  --
133.39/33.49	c  N dy   794    277540        80      7120         0     23901     49840    360828     22.77     23.98  --
142.18/35.61	c  N dy   820    298512        80      7120         0     22099     49840    303164     22.74     23.99  --
145.00/36.35	c  F st   855    306250        80      7120         0     29212     49840    493254     22.75     23.68  --
152.16/38.19	c  N dy   876    323277        80      7120         0     22865     49840    307314     22.71     24.16  --
161.35/40.44	c  N dy   898    345754        80      7120         0     43333     49840    846738     22.64     23.89  --
166.55/41.73	c  S st   943    357408        80      7120         0     31224     49840    516598     22.65     22.89  --
166.96/41.82	c  S st   943    357911        80      7120         0     31708     49840    529613     22.65   no data  --
166.96/41.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
166.96/41.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
166.96/41.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
166.96/41.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
166.96/41.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
166.96/41.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
166.96/41.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
177.33/44.41	c lits-rem:      1565  cl-subs:     1570  v-elim:      0  v-fix:    0  time: 10.25 s
177.33/44.41	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
177.33/44.42	c vivif2 --  cl tried    30138 cl shrink        0 lits rem          0 time: 0.03
178.13/44.62	c asymm  cl-useful: 0/1609/7120 lits-rem:0 time: 0.81
178.13/44.62	c calculated reachability. Time: 0.00
178.13/44.62	c  N dy   943    357911        80      7120         0     30138     49840    483451     22.65   no data  --
192.11/48.13	c  N dy  1051    379345        80      7120         0     26050     49840    359656     22.71     24.00  --
203.69/51.02	c  N dy  1127    399389        80      7120         0     44382     49840    848608     22.72     24.76  --
214.48/53.71	c  N dy  1200    420156        80      7120         0     38722     49840    680701     22.72     23.94  --
225.26/56.44	c  N dy  1296    440228        80      7120         0     31489     49840    475864     22.75     23.98  --
246.83/61.84	c  N dy  1317    487466        80      7120         0     47721     49840    870798     22.55     23.77  --
259.24/64.91	c  N dy  1415    508507        80      7120         0     39829     49840    673120     22.59     23.86  --
273.20/68.48	c  N dy  1566    528547        80      7120         0     29908     49840    391104     22.66     26.35  --
277.22/69.46	c  S st  1607    536867        80      7120         0     37523     49840    595345     22.67     23.06  --
277.59/69.56	c  S st  1607    537369        80      7120         0     37993     49840    608392     22.67   no data  --
277.59/69.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
277.59/69.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
277.59/69.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
277.59/69.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
277.59/69.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
277.59/69.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
277.59/69.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
289.58/72.50	c lits-rem:      1320  cl-subs:     1701  v-elim:      0  v-fix:    0  time: 11.63 s
289.58/72.50	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
289.58/72.51	c vivif2 --  cl tried    36292 cl shrink        0 lits rem          0 time: 0.02
290.40/72.73	c asymm  cl-useful: 0/1314/7120 lits-rem:0 time: 0.88
290.40/72.73	c calculated reachability. Time: 0.00
290.40/72.73	c  N dy  1607    537369        80      7120         0     36292     49840    558342     22.67   no data  --
303.18/75.96	c  N dy  1691    557934        80      7120         0     55154     49840   1067310     22.69     24.09  --
314.35/78.75	c  N dy  1745    577936        80      7120         0     44217     49840    750526     22.69     25.32  --
330.32/82.71	c  N dy  1864    600330        80      7120         0     34542     49840    477205     22.72     24.05  --
342.30/85.74	c  N dy  1930    621523        80      7120         0     53906     49840    994039     22.73     23.98  --
355.08/88.96	c  N dy  2021    642097        80      7120         0     41718     49840    660777     22.75     23.99  --
369.49/92.50	c  N dy  2079    663135        80      7120         0     61035     49840   1176023     22.75     24.04  --
382.27/95.71	c  N dy  2162    683236        80      7120         0     47372     49840    791538     22.77     24.90  --
397.83/99.63	c  N dy  2261    703312        80      7120         0     65771     49840   1288499     22.80     24.05  --
418.61/104.84	c  N dy  2298    738230        80      7120         0     64347     49840   1209346     22.74     24.22  --
432.58/108.30	c  N dy  2378    758888        80      7120         0     49619     49840    821044     22.75     24.15  --
448.58/112.38	c  N dy  2442    780432        80      7120         0     69379     49840   1346478     22.74     23.97  --
460.95/115.48	c  N dy  2521    800959        80      7120         0     53432     49840    909537     22.75     23.98  --
465.35/116.54	c  S st  2568    806055        80      7120         0     58145     49840   1039825     22.77   no data  --
465.76/116.70	c  S st  2568    806558        80      7120         0     58618     49840   1052929     22.77   no data  --
466.16/116.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
466.16/116.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
466.16/116.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
466.16/116.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
466.16/116.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
466.16/116.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
466.16/116.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
510.09/127.72	c lits-rem:      3625  cl-subs:     4415  v-elim:      0  v-fix:    0  time: 43.76 s
510.09/127.72	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
510.09/127.73	c vivif2 --  cl tried    54203 cl shrink        0 lits rem          0 time: 0.04
511.28/128.08	c asymm  cl-useful: 0/921/7120 lits-rem:0 time: 1.37
511.28/128.08	c calculated reachability. Time: 0.00
511.28/128.08	c  N dy  2568    806558        80      7120         0     54203     49840    922857     22.77   no data  --
528.05/132.25	c  N dy  2652    826579        80      7120         0     37071     49840    454160     22.78     25.29  --
541.23/135.56	c  N dy  2749    847255        80      7120         0     56046     49840    967408     22.79     24.12  --
559.61/140.17	c  N dy  2868    867466        80      7120         0     37978     49840    463445     22.82     24.04  --
572.79/143.41	c  N dy  2954    887476        80      7120         0     56323     49840    957237     22.84     25.60  --
589.19/147.52	c  N dy  3000    907793        80      7120         0     74984     49840   1458912     22.83     24.12  --
603.55/151.10	c  N dy  3121    928212        80      7120         0     56162     49840    939601     22.86     24.11  --
621.53/155.66	c  N dy  3199    949360        80      7120         0     75523     49840   1460564     22.87     24.08  --
637.90/159.70	c  N dy  3291    972093        80      7120         0     57897     49840    963181     22.88     24.26  --
672.69/168.42	c  N dy  3362   1020983        80      7120         0     62941     49840   1067074     22.83     24.07  --
697.83/174.78	c  N dy  3390   1055654        80      7120         0     54333     49840    821657     22.79     24.08  --
709.81/177.73	c  F st  3420   1071875        80      7120         0     69145     49840   1217640     22.78     20.77  --
714.20/178.90	c  N dy  3426   1077073        80      7120         0     73914     49840   1347824     22.78   no data  --
732.97/183.57	c  N dy  3554   1097668        80      7120         0     51814     49840    757056     22.81     24.03  --
750.55/187.93	c  N dy  3662   1118169        80      7120         0     70660     49840   1268293     22.82     24.05  --
770.53/192.95	c  N dy  3737   1138343        80      7120         0     46932     49840    602827     22.83     24.07  --
786.93/197.01	c  N dy  3783   1159164        80      7120         0     66007     49840   1109755     22.82     24.09  --
811.67/203.21	c  N dy  3810   1182355        80      7120         0     44163     49840    514511     22.80     24.03  --
826.48/206.98	c  N dy  3864   1202358        80      7120         0     62448     49840   1006088     22.80     25.85  --
835.27/209.15	c  S st  3901   1209838        80      7120         0     69331     49840   1193514     22.81   no data  --
836.44/209.40	c  S st  3901   1210342        80      7120         0     69798     49840   1206495     22.81   no data  --
836.44/209.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
836.44/209.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
836.44/209.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.17
836.44/209.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
836.44/209.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
836.44/209.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
836.44/209.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
929.51/232.75	c lits-rem:      2987  cl-subs:     5487  v-elim:      0  v-fix:    0  time: 92.87 s
929.51/232.75	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
929.51/232.76	c vivif2 --  cl tried    64311 cl shrink        0 lits rem          0 time: 0.06
931.11/233.12	c asymm  cl-useful: 0/801/7120 lits-rem:0 time: 1.41
931.11/233.12	c calculated reachability. Time: 0.00
931.11/233.12	c  N dy  3901   1210342        80      7120         0     64311     49840   1053484     22.81   no data  --
951.87/238.35	c  N dy  3955   1230460        80      7120         0     82765     49840   1549287     22.80     24.05  --
968.25/242.47	c  N dy  4037   1250552        80      7120         0     57527     49840    861661     22.81     24.70  --
988.65/247.55	c  N dy  4139   1270901        80      7120         0     76238     49840   1370099     22.83     24.03  --
1014.19/253.96	c  N dy  4248   1290909        80      7120         0     49749     49840    635886     22.84     24.14  --
1032.59/258.56	c  N dy  4311   1310994        80      7120         0     68071     49840   1124336     22.84     25.13  --
1063.34/266.29	c  N dy  4423   1335417        80      7120         0     90425     49840   1728691     22.86     24.11  --
1081.70/270.81	c  N dy  4500   1355500        80      7120         0     63108     49840    977262     22.86     24.13  --
1136.03/284.46	c  N dy  4575   1419280        80      7120         0     74429     49840   1252228     22.80     24.04  --
1162.00/290.91	c  N dy  4715   1439440        80      7120         0     92980     49840   1761574     22.83     24.25  --
1178.77/295.16	c  N dy  4799   1459511        80      7120         0     63986     49840    975592     22.83     25.51  --
1221.53/305.81	c  N dy  4913   1501596        80      7120         0     53884     49840    679080     22.82     24.09  --
1251.07/313.29	c  N dy  5012   1537061        80      7120         0     86177     49840   1547078     22.82     24.03  --
1274.26/319.02	c  N dy  5117   1557105        80      7120         0     55303     49840    711273     22.83     24.80  --
1292.62/323.69	c  N dy  5219   1577114        80      7120         0     73635     49840   1209990     22.84     26.13  --
1322.19/331.08	c  N dy  5327   1602517        80      7120         0     96800     49840   1834669     22.85     24.06  --
1342.95/336.26	c  N dy  5420   1624442        80      7120         0     66697     49840   1000901     22.86     24.10  --
1390.89/348.24	c  N dy  5425   1685833        80      7120         0     71029     49840   1073780     22.77     24.01  --
1414.46/354.14	c  N dy  5547   1705847        80      7120         0     89396     49840   1573108     22.78     24.93  --
1420.44/355.61	c  S st  5566   1710343        80      7120         0     93510     49840   1684493     22.79     22.81  --
1421.64/355.91	c  S st  5566   1710849        80      7120         0     93981     49840   1697851     22.79   no data  --
1421.64/355.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1421.64/355.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1421.64/355.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.21
1422.04/356.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1422.04/356.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1422.04/356.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
1422.04/356.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1553.07/388.80	c lits-rem:      5345  cl-subs:    10356  v-elim:      0  v-fix:    0  time: 130.91 s
1553.07/388.80	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
1553.07/388.82	c vivif2 --  cl tried    83625 cl shrink        0 lits rem          0 time: 0.07
1554.27/389.15	c asymm  cl-useful: 0/775/7120 lits-rem:0 time: 1.32
1554.27/389.15	c calculated reachability. Time: 0.00
1554.27/389.15	c  N dy  5566   1710849        80      7120         0     83625     49840   1428473     22.79   no data  --
1575.44/394.47	c  N dy  5612   1731061        80      7120         0    102088     49840   1923398     22.78     24.04  --
1594.21/399.11	c  N dy  5714   1751078        80      7120         0     69023     49840   1039588     22.79     26.05  --
1620.17/405.65	c  N dy  5782   1776179        80      7120         0     91866     49840   1649715     22.79     24.24  --
1648.53/412.78	c  N dy  5876   1796269        80      7120         0     57639     49840    712716     22.80     25.56  --
1668.11/417.70	c  N dy  5923   1816279        80      7120         0     75845     49840   1201003     22.80     26.72  --
1702.86/426.34	c  N dy  6037   1840358        80      7120         0     97883     49840   1797487     22.81     24.04  --
1730.84/433.35	c  N dy  6142   1860385        80      7120         0     62529     49840    827230     22.82     26.84  --
1751.20/438.42	c  N dy  6243   1880403        80      7120         0     80876     49840   1325888     22.83     27.15  --
1777.17/444.90	c  N dy  6325   1901733        80      7120         0    100376     49840   1854535     22.83     24.36  --
1800.73/450.83	c  N dy  6378   1924288        80      7120         0     66162     49840    902159     22.83     24.04  --
1822.31/456.23	c  N dy  6468   1944507        80      7120         0     84656     49840   1404200     22.84     24.10  --
1851.07/463.43	c  N dy  6581   1964524        80      7120         0    103014     49840   1903071     22.85     26.65  --
1875.84/469.61	c  N dy  6685   1984563        80      7120         0     65591     49840    875054     22.86     25.90  --
1897.80/475.16	c  N dy  6794   2004637        80      7120         0     84043     49840   1377993     22.87     24.66  --
1927.37/482.50	c  N dy  6880   2027028        80      7120         0    104518     49840   1930238     22.87     24.10  --
1949.33/488.02	c  N dy  6924   2047118        80      7120         0     66077     49840    861414     22.86     25.48  --
1968.53/492.88	c  N dy  6987   2067154        80      7120         0     84340     49840   1352785     22.86     24.36  --
1998.47/500.34	c  N dy  7088   2089573        80      7120         0    104795     49840   1905380     22.87     24.22  --
2030.04/508.23	c  N dy  7226   2113341        80      7120         0     68932     49840    932020     22.88     24.12  --
2054.39/514.31	c  N dy  7310   2137007        80      7120         0     90580     49840   1516813     22.88     24.23  --
2086.35/522.34	c  N dy  7404   2157127        80      7120         0    109045     49840   2019492     22.89     24.23  --
2115.51/529.64	c  N dy  7511   2177228        80      7120         0     69024     49840    920601     22.90     25.06  --
2135.50/534.67	c  N dy  7582   2197235        80      7120         0     87225     49840   1411097     22.90     25.32  --
2154.26/539.32	c  S st  7650   2210850        80      7120         0     99699     49840   1749753     22.91   no data  --
2155.46/539.62	c  S st  7650   2211355        80      7120         0    100163     49840   1762681     22.91   no data  --
2155.46/539.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2155.46/539.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2155.46/539.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
2155.85/539.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2155.85/539.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2155.85/539.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
2155.85/539.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2531.37/633.75	c lits-rem:      6261  cl-subs:     8472  v-elim:      0  v-fix:    0  time: 375.45 s
2531.37/633.75	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
2531.37/633.77	c vivif2 --  cl tried    91691 cl shrink        0 lits rem          0 time: 0.08
2532.94/634.11	c asymm  cl-useful: 0/652/7120 lits-rem:0 time: 1.36
2532.94/634.12	c calculated reachability. Time: 0.00
2532.94/634.12	c  N dy  7650   2211355        80      7120         0     91691     49840   1519930     22.91   no data  --
2565.31/642.20	c  N dy  7796   2231441        80      7120         0    110135     49840   2026994     22.92     24.77  --
2618.03/655.40	c  N dy  7851   2286378        80      7120         0    100510     49840   1722560     22.87     24.08  --
2649.19/663.20	c  N dy  7933   2306421        80      7120         0    118887     49840   2221187     22.87     24.53  --
2670.76/668.69	c  N dy  8052   2326493        80      7120         0     77468     49840   1132711     22.88     24.28  --
2691.53/673.85	c  N dy  8096   2346503        80      7120         0     95735     49840   1621698     22.88     26.25  --
2721.49/681.35	c  N dy  8190   2366545        80      7120         0    114074     49840   2122337     22.89     24.18  --
2752.25/689.01	c  N dy  8278   2392511        80      7120         0     76776     49840   1084749     22.89     24.10  --
2773.04/694.25	c  N dy  8325   2412585        80      7120         0     94999     49840   1570476     22.89     26.38  --
2808.97/703.27	c  N dy  8414   2433913        80      7120         0    114400     49840   2094308     22.89     24.11  --
2859.70/715.94	c  N dy  8416   2480031        80      7120         0     94221     49840   1530904     22.86     24.13  --
2898.85/725.74	c  N dy  8516   2506327        80      7120         0    118223     49840   2179445     22.86     24.12  --
2927.61/732.93	c  N dy  8603   2527193        80      7120         0     74520     49840    996661     22.87     24.07  --
2951.98/739.03	c  N dy  8676   2549317        80      7120         0     94804     49840   1547531     22.87     24.13  --
2983.55/746.99	c  N dy  8784   2569367        80      7120         0    113190     49840   2047636     22.88     27.13  --
3019.49/755.98	c  N dy  8917   2589492        80      7120         0     67794     49840    798174     22.89     24.21  --
3044.26/762.12	c  N dy  9034   2611175        80      7120         0     87713     49840   1342158     22.90     24.15  --
3074.21/769.61	c  N dy  9161   2631176        80      7120         0    106072     49840   1844662     22.90     24.23  --
3112.16/779.15	c  N dy  9232   2656078        80      7120         0    128695     49840   2446996     22.90     24.17  --
3140.52/786.23	c  N dy  9343   2677651        80      7120         0     83456     49840   1207039     22.90     24.21  --
3166.49/792.74	c  N dy  9398   2698052        80      7120         0    102093     49840   1710879     22.90     24.16  --
3184.47/797.25	c  S st  9425   2711357        80      7120         0    114220     49840   2033311     22.90     20.65  --
3185.68/797.59	c  S st  9425   2711860        80      7120         0    114687     49840   2046274     22.90   no data  --
3186.08/797.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3186.08/797.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3186.08/797.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.24
3186.46/797.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3186.46/797.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3186.46/797.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
3186.46/797.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3794.44/949.94	c lits-rem:      6807  cl-subs:    10458  v-elim:      0  v-fix:    0  time: 607.87 s
3794.44/949.94	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
3794.44/949.97	c vivif2 --  cl tried   104229 cl shrink        0 lits rem          0 time: 0.11
3796.46/950.45	c asymm  cl-useful: 0/575/7120 lits-rem:0 time: 1.93
3796.46/950.46	c calculated reachability. Time: 0.00
3796.46/950.46	c  N dy  9425   2711860        80      7120         0    104229     49840   1752789     22.90   no data  --
3842.38/961.95	c  N dy  9559   2731892        80      7120         0    122611     49840   2258006     22.91     24.75  --
3879.95/971.35	c  N dy  9651   2751919        80      7120         0     75628     49840    981412     22.92     25.74  --
3909.09/978.60	c  N dy  9703   2771927        80      7120         0     93930     49840   1478439     22.92     26.43  --
3947.44/988.26	c  N dy  9798   2791998        80      7120         0    112180     49840   1977509     22.92     26.26  --
3994.60/1000.07	c  N dy  9900   2812070        80      7120         0    130459     49840   2472876     22.93     25.28  --
4028.94/1008.63	c  N dy 10014   2832072        80      7120         0     82342     49840   1150001     22.94     24.45  --
4066.88/1018.12	c  N dy 10108   2852093        80      7120         0    100634     49840   1647261     22.94     25.37  --
4116.81/1030.69	c  N dy 10224   2872471        80      7120         0    119301     49840   2157494     22.95     24.19  --
4173.14/1044.73	c  N dy 10362   2892552        80      7120         0     70157     49840    799290     22.96     25.69  --
4205.88/1052.93	c  N dy 10441   2914824        80      7120         0     90434     49840   1347058     22.96     24.28  --
4251.43/1064.38	c  N dy 10541   2938082        80      7120         0    111676     49840   1924415     22.97     24.19  --
4293.77/1074.94	c  N dy 10560   2960921        80      7120         0    132271     49840   2464779     22.96     24.24  --
4334.91/1085.26	c  N dy 10678   2981656        80      7120         0     82873     49840   1132583     22.96     24.31  --
4370.07/1094.02	c  N dy 10720   3003458        80      7120         0    102647     49840   1658897     22.96     24.18  --
4420.01/1106.54	c  N dy 10824   3024771        80      7120         0    122100     49840   2186739     22.96     24.22  --
4470.33/1119.15	c  N dy 10917   3044791        80      7120         0     71164     49840    796649     22.97     24.28  --
4501.09/1126.87	c  N dy 11028   3064903        80      7120         0     89584     49840   1300246     22.98     24.31  --
4533.84/1135.02	c  N dy 11093   3084933        80      7120         0    107943     49840   1800159     22.98     25.95  --
4573.39/1144.91	c  N dy 11187   3104989        80      7120         0    126302     49840   2300771     22.98     25.33  --
4620.13/1156.64	c  N dy 11247   3135459        80      7120         0     83685     49840   1104080     22.97     24.27  --
4660.47/1166.71	c  N dy 11346   3168117        80      7120         0    113376     49840   1902555     22.97     24.18  --
4691.23/1174.49	c  N dy 11397   3188142        80      7120         0    131595     49840   2395269     22.97     24.41  --
4722.39/1182.26	c  N dy 11460   3208319        80      7120         0     78877     49840    974119     22.97     24.49  --
4727.19/1183.44	c  S st 11494   3211861        80      7120         0     82122     49840   1064997     22.97   no data  --
4728.00/1183.68	c  S st 11494   3212364        80      7120         0     82589     49840   1078146     22.97   no data  --
4728.00/1183.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4728.00/1183.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4728.40/1183.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
4728.40/1183.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4728.40/1183.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4728.40/1183.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
4728.40/1183.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4795.89/1200.67	c lits-rem:      1592  cl-subs:     2145  v-elim:      0  v-fix:    0  time: 67.51 s
4795.89/1200.67	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
4795.89/1200.68	c vivif2 --  cl tried    80444 cl shrink        0 lits rem          0 time: 0.06
4797.49/1201.01	c asymm  cl-useful: 0/667/7120 lits-rem:0 time: 1.31
4797.49/1201.01	c calculated reachability. Time: 0.00
4797.49/1201.01	c  N dy 11494   3212364        80      7120         0     80444     49840   1016020     22.97   no data  --

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-3175194-1304097610/watcher-3175194-1304097610 -o /tmp/evaluation-result-3175194-1304097610/solver-3175194-1304097610 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175194-1304097610.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.82 7.93 2/176 17842
/proc/meminfo: memFree=26291724/32950928 swapFree=67111364/67111528
[pid=17842] ppid=17838 vsize=208044 CPUtime=0 cores=0,2,4,6
/proc/17842/stat : 17842 (strangenight1-m) R 17838 17842 17388 0 -1 4202496 765 0 0 0 0 0 0 0 24 0 4 0 521360643 213037056 677 33554432000 4194304 4650419 140733976920416 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17842/statm: 52011 678 343 112 0 46976 0
[pid=17842/tid=17844] ppid=17838 vsize=208044 CPUtime=0 cores=0,2,4,6
/proc/17842/task/17844/stat : 17844 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 66 0 0 0 0 0 0 0 24 0 4 0 521360643 213037056 743 33554432000 4194304 4650419 140733976920416 18446744073709551615 208080232251 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17842/tid=17845] ppid=17838 vsize=208044 CPUtime=0 cores=0,2,4,6
/proc/17842/task/17845/stat : 17845 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 110 0 0 0 0 0 0 0 24 0 4 0 521360643 213037056 747 33554432000 4194304 4650419 140733976920416 18446744073709551615 4373800 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17842/tid=17847] ppid=17838 vsize=208044 CPUtime=0 cores=0,2,4,6
/proc/17842/task/17847/stat : 17847 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 119 0 0 0 0 0 0 0 25 0 4 0 521360644 213037056 748 33554432000 4194304 4650419 140733976920416 18446744073709551615 208080337439 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.104119 s]
/proc/loadavg: 6.84 7.82 7.93 2/176 17842
/proc/meminfo: memFree=26291724/32950928 swapFree=67111364/67111528
[pid=17842] ppid=17838 vsize=216512 CPUtime=0.39 cores=0,2,4,6
/proc/17842/stat : 17842 (strangenight1-m) R 17838 17842 17388 0 -1 4202496 1540 0 0 0 39 0 0 0 24 0 4 0 521360643 221708288 1452 33554432000 4194304 4650419 140733976920416 18446744073709551615 4370697 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17842/statm: 54128 1452 366 112 0 49093 0
[pid=17842/tid=17844] ppid=17838 vsize=216512 CPUtime=0.09 cores=0,2,4,6
/proc/17842/task/17844/stat : 17844 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 230 0 0 0 9 0 0 0 24 0 4 0 521360643 221708288 1452 33554432000 4194304 4650419 140733976920416 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17842/tid=17845] ppid=17838 vsize=216512 CPUtime=0.09 cores=0,2,4,6
/proc/17842/task/17845/stat : 17845 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 247 0 0 0 9 0 0 0 24 0 4 0 521360643 221708288 1452 33554432000 4194304 4650419 140733976920416 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17842/tid=17847] ppid=17838 vsize=216512 CPUtime=0.09 cores=0,2,4,6
/proc/17842/task/17847/stat : 17847 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 379 0 0 0 9 0 0 0 25 0 4 0 521360644 221708288 1452 33554432000 4194304 4650419 140733976920416 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 216512

[startup+0.201102 s]
/proc/loadavg: 6.84 7.82 7.93 2/176 17842
/proc/meminfo: memFree=26291724/32950928 swapFree=67111364/67111528
[pid=17842] ppid=17838 vsize=285768 CPUtime=0.78 cores=0,2,4,6
/proc/17842/stat : 17842 (strangenight1-m) R 17838 17842 17388 0 -1 4202496 3570 0 0 0 78 0 0 0 25 0 4 0 521360643 292626432 3003 33554432000 4194304 4650419 140733976920416 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17842/statm: 71442 3003 390 112 0 66407 0
[pid=17842/tid=17844] ppid=17838 vsize=285768 CPUtime=0.19 cores=0,2,4,6
/proc/17842/task/17844/stat : 17844 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 792 0 0 0 19 0 0 0 25 0 4 0 521360643 292626432 3004 33554432000 4194304 4650419 140733976920416 18446744073709551615 4300548 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17842/tid=17845] ppid=17838 vsize=285768 CPUtime=0.19 cores=0,2,4,6
/proc/17842/task/17845/stat : 17845 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 817 0 0 0 19 0 0 0 25 0 4 0 521360643 292626432 3005 33554432000 4194304 4650419 140733976920416 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17842/tid=17847] ppid=17838 vsize=285768 CPUtime=0.19 cores=0,2,4,6
/proc/17842/task/17847/stat : 17847 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 685 0 0 0 19 0 0 0 25 0 4 0 521360644 292626432 3005 33554432000 4194304 4650419 140733976920416 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 285768

[startup+0.301084 s]
/proc/loadavg: 6.84 7.82 7.93 2/176 17842
/proc/meminfo: memFree=26291724/32950928 swapFree=67111364/67111528
[pid=17842] ppid=17838 vsize=285768 CPUtime=1.18 cores=0,2,4,6
/proc/17842/stat : 17842 (strangenight1-m) R 17838 17842 17388 0 -1 4202496 3923 0 0 0 118 0 0 0 25 0 4 0 521360643 292626432 3356 33554432000 4194304 4650419 140733976920416 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17842/statm: 71442 3356 390 112 0 66407 0
[pid=17842/tid=17844] ppid=17838 vsize=285768 CPUtime=0.29 cores=0,2,4,6
/proc/17842/task/17844/stat : 17844 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 884 0 0 0 29 0 0 0 25 0 4 0 521360643 292626432 3356 33554432000 4194304 4650419 140733976920416 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17842/tid=17845] ppid=17838 vsize=285768 CPUtime=0.29 cores=0,2,4,6
/proc/17842/task/17845/stat : 17845 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 906 0 0 0 29 0 0 0 25 0 4 0 521360643 292626432 3356 33554432000 4194304 4650419 140733976920416 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17842/tid=17847] ppid=17838 vsize=285768 CPUtime=0.29 cores=0,2,4,6
/proc/17842/task/17847/stat : 17847 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 760 0 0 0 29 0 0 0 25 0 4 0 521360644 292626432 3356 33554432000 4194304 4650419 140733976920416 18446744073709551615 4334226 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 285768

[startup+0.701008 s]
/proc/loadavg: 6.84 7.82 7.93 2/176 17842
/proc/meminfo: memFree=26291724/32950928 swapFree=67111364/67111528
[pid=17842] ppid=17838 vsize=287620 CPUtime=2.77 cores=0,2,4,6
/proc/17842/stat : 17842 (strangenight1-m) R 17838 17842 17388 0 -1 4202496 6315 0 0 0 277 0 0 0 25 0 4 0 521360643 294522880 3969 33554432000 4194304 4650419 140733976920416 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17842/statm: 71905 3969 390 112 0 66870 0
[pid=17842/tid=17844] ppid=17838 vsize=287620 CPUtime=0.69 cores=0,2,4,6
/proc/17842/task/17844/stat : 17844 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 1565 0 0 0 69 0 0 0 25 0 4 0 521360643 294522880 3969 33554432000 4194304 4650419 140733976920416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17842/tid=17845] ppid=17838 vsize=287620 CPUtime=0.69 cores=0,2,4,6
/proc/17842/task/17845/stat : 17845 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 1525 0 0 0 69 0 0 0 25 0 4 0 521360643 294522880 3969 33554432000 4194304 4650419 140733976920416 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17842/tid=17847] ppid=17838 vsize=287620 CPUtime=0.69 cores=0,2,4,6
/proc/17842/task/17847/stat : 17847 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 1216 0 0 0 69 0 0 0 25 0 4 0 521360644 294522880 3969 33554432000 4194304 4650419 140733976920416 18446744073709551615 4313742 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) 287620

[startup+1.50086 s]
/proc/loadavg: 6.84 7.82 7.93 10/184 17850
/proc/meminfo: memFree=26263388/32950928 swapFree=67111364/67111528
[pid=17842] ppid=17838 vsize=288888 CPUtime=5.97 cores=0,2,4,6
/proc/17842/stat : 17842 (strangenight1-m) R 17838 17842 17388 0 -1 4202496 11688 0 0 0 596 1 0 0 25 0 4 0 521360643 295821312 6321 33554432000 4194304 4650419 140733976920416 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17842/statm: 72222 6321 392 112 0 67187 0
[pid=17842/tid=17844] ppid=17838 vsize=288888 CPUtime=1.48 cores=0,2,4,6
/proc/17842/task/17844/stat : 17844 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 2534 0 0 0 148 0 0 0 25 0 4 0 521360643 295821312 6321 33554432000 4194304 4650419 140733976920416 18446744073709551615 4520279 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17842/tid=17845] ppid=17838 vsize=288888 CPUtime=1.49 cores=0,2,4,6
/proc/17842/task/17845/stat : 17845 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 2495 0 0 0 149 0 0 0 25 0 4 0 521360643 295821312 6321 33554432000 4194304 4650419 140733976920416 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17842/tid=17847] ppid=17838 vsize=288888 CPUtime=1.49 cores=0,2,4,6
/proc/17842/task/17847/stat : 17847 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 2194 0 0 0 149 0 0 0 25 0 4 0 521360644 295821312 6321 33554432000 4194304 4650419 140733976920416 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 288888

[startup+3.10055 s]
/proc/loadavg: 6.84 7.82 7.93 10/184 17850
/proc/meminfo: memFree=26232016/32950928 swapFree=67111364/67111528
[pid=17842] ppid=17838 vsize=298612 CPUtime=12.36 cores=0,2,4,6
/proc/17842/stat : 17842 (strangenight1-m) R 17838 17842 17388 0 -1 4202496 19411 0 0 0 1233 3 0 0 25 0 4 0 521360643 305778688 11547 33554432000 4194304 4650419 140733976920416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17842/statm: 74653 11547 392 112 0 69618 0
[pid=17842/tid=17844] ppid=17838 vsize=298612 CPUtime=3.07 cores=0,2,4,6
/proc/17842/task/17844/stat : 17844 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 4268 0 0 0 307 0 0 0 25 0 4 0 521360643 305778688 11547 33554432000 4194304 4650419 140733976920416 18446744073709551615 4370682 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17842/tid=17845] ppid=17838 vsize=298612 CPUtime=3.08 cores=0,2,4,6
/proc/17842/task/17845/stat : 17845 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 5160 0 0 0 308 0 0 0 25 0 4 0 521360643 305778688 11547 33554432000 4194304 4650419 140733976920416 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17842/tid=17847] ppid=17838 vsize=298612 CPUtime=3.09 cores=0,2,4,6
/proc/17842/task/17847/stat : 17847 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 5362 0 0 0 308 1 0 0 25 0 4 0 521360644 305778688 11547 33554432000 4194304 4650419 140733976920416 18446744073709551615 4370585 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 298612

[startup+6.30094 s]
/proc/loadavg: 6.93 7.82 7.93 10/184 17850
/proc/meminfo: memFree=26183784/32950928 swapFree=67111364/67111528
[pid=17842] ppid=17838 vsize=307884 CPUtime=25.15 cores=0,2,4,6
/proc/17842/stat : 17842 (strangenight1-m) R 17838 17842 17388 0 -1 4202496 27803 0 0 0 2510 5 0 0 25 0 4 0 521360643 315273216 15411 33554432000 4194304 4650419 140733976920416 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17842/statm: 76971 15411 392 112 0 71936 0
[pid=17842/tid=17844] ppid=17838 vsize=307884 CPUtime=6.25 cores=0,2,4,6
/proc/17842/task/17844/stat : 17844 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 7086 0 0 0 624 1 0 0 25 0 4 0 521360643 315273216 15411 33554432000 4194304 4650419 140733976920416 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17842/tid=17845] ppid=17838 vsize=307884 CPUtime=6.28 cores=0,2,4,6
/proc/17842/task/17845/stat : 17845 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 6750 0 0 0 628 0 0 0 25 0 4 0 521360643 315273216 15411 33554432000 4194304 4650419 140733976920416 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17842/tid=17847] ppid=17838 vsize=307884 CPUtime=6.28 cores=0,2,4,6
/proc/17842/task/17847/stat : 17847 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 7447 0 0 0 627 1 0 0 25 0 4 0 521360644 315273216 15411 33554432000 4194304 4650419 140733976920416 18446744073709551615 4339877 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 307884

[startup+12.7007 s]
/proc/loadavg: 7.02 7.83 7.93 10/184 17850
/proc/meminfo: memFree=26148964/32950928 swapFree=67111364/67111528
[pid=17842] ppid=17838 vsize=299300 CPUtime=50.71 cores=0,2,4,6
/proc/17842/stat : 17842 (strangenight1-m) R 17838 17842 17388 0 -1 4202496 39850 0 0 0 5064 7 0 0 25 0 4 0 521360643 306483200 19865 33554432000 4194304 4650419 140733976920416 18446744073709551615 4365348 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17842/statm: 74825 19865 392 112 0 69790 0
[pid=17842/tid=17844] ppid=17838 vsize=299300 CPUtime=12.61 cores=0,2,4,6
/proc/17842/task/17844/stat : 17844 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 10401 0 0 0 1260 1 0 0 25 0 4 0 521360643 306483200 19865 33554432000 4194304 4650419 140733976920416 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17842/tid=17845] ppid=17838 vsize=299300 CPUtime=12.69 cores=0,2,4,6
/proc/17842/task/17845/stat : 17845 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 9220 0 0 0 1268 1 0 0 25 0 4 0 521360643 306483200 19865 33554432000 4194304 4650419 140733976920416 18446744073709551615 4314985 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17842/tid=17847] ppid=17838 vsize=299300 CPUtime=12.68 cores=0,2,4,6
/proc/17842/task/17847/stat : 17847 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 11113 0 0 0 1266 2 0 0 25 0 4 0 521360644 306483200 19865 33554432000 4194304 4650419 140733976920416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 299300

[startup+25.5003 s]
/proc/loadavg: 7.23 7.83 7.93 10/184 17851
/proc/meminfo: memFree=26101956/32950928 swapFree=67111364/67111528
[pid=17842] ppid=17838 vsize=301024 CPUtime=101.83 cores=0,2,4,6
/proc/17842/stat : 17842 (strangenight1-m) R 17838 17842 17388 0 -1 4202496 62720 0 0 0 10171 12 0 0 25 0 4 0 521360643 308248576 24469 33554432000 4194304 4650419 140733976920416 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17842/statm: 75256 24469 392 112 0 70221 0
[pid=17842/tid=17844] ppid=17838 vsize=301024 CPUtime=25.35 cores=0,2,4,6
/proc/17842/task/17844/stat : 17844 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 16977 0 0 0 2533 2 0 0 25 0 4 0 521360643 308248576 24469 33554432000 4194304 4650419 140733976920416 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17842/tid=17845] ppid=17838 vsize=301024 CPUtime=25.48 cores=0,2,4,6
/proc/17842/task/17845/stat : 17845 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 14635 0 0 0 2546 2 0 0 25 0 4 0 521360643 308248576 24469 33554432000 4194304 4650419 140733976920416 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17842/tid=17847] ppid=17838 vsize=301024 CPUtime=25.49 cores=0,2,4,6
/proc/17842/task/17847/stat : 17847 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 17212 0 0 0 2545 4 0 0 25 0 4 0 521360644 308248576 24469 33554432000 4194304 4650419 140733976920416 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 301024

[startup+51.1004 s]
/proc/loadavg: 7.56 7.86 7.93 10/184 17851
/proc/meminfo: memFree=26045360/32950928 swapFree=67111364/67111528
[pid=17842] ppid=17838 vsize=312144 CPUtime=204.09 cores=0,2,4,6
/proc/17842/stat : 17842 (strangenight1-m) R 17838 17842 17388 0 -1 4202496 90023 0 0 0 20391 18 0 0 25 0 4 0 521360643 319635456 32091 33554432000 4194304 4650419 140733976920416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17842/statm: 78036 32091 392 112 0 73001 0
[pid=17842/tid=17844] ppid=17838 vsize=312144 CPUtime=50.81 cores=0,2,4,6
/proc/17842/task/17844/stat : 17844 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 22783 0 0 0 5077 4 0 0 25 0 4 0 521360643 319635456 32091 33554432000 4194304 4650419 140733976920416 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17842/tid=17845] ppid=17838 vsize=312144 CPUtime=51.08 cores=0,2,4,6
/proc/17842/task/17845/stat : 17845 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 21241 0 0 0 5105 3 0 0 25 0 4 0 521360643 319635456 32091 33554432000 4194304 4650419 140733976920416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17842/tid=17847] ppid=17838 vsize=312144 CPUtime=51.09 cores=0,2,4,6
/proc/17842/task/17847/stat : 17847 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 25834 0 0 0 5103 6 0 0 25 0 4 0 521360644 319635456 32091 33554432000 4194304 4650419 140733976920416 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 312144

[startup+102.301 s]
/proc/loadavg: 7.87 7.90 7.94 10/184 17853
/proc/meminfo: memFree=25956864/32950928 swapFree=67111364/67111528
[pid=17842] ppid=17838 vsize=371864 CPUtime=408.63 cores=0,2,4,6
/proc/17842/stat : 17842 (strangenight1-m) R 17838 17842 17388 0 -1 4202496 135399 0 0 0 40831 32 0 0 25 0 4 0 521360643 380788736 41202 33554432000 4194304 4650419 140733976920416 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17842/statm: 92966 41202 392 112 0 87931 0
[pid=17842/tid=17844] ppid=17838 vsize=371864 CPUtime=101.73 cores=0,2,4,6
/proc/17842/task/17844/stat : 17844 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 36965 0 0 0 10165 8 0 0 25 0 4 0 521360643 380788736 41202 33554432000 4194304 4650419 140733976920416 18446744073709551615 4432373 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17842/tid=17845] ppid=17838 vsize=371864 CPUtime=102.29 cores=0,2,4,6
/proc/17842/task/17845/stat : 17845 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 33172 0 0 0 10222 7 0 0 25 0 4 0 521360643 380788736 41202 33554432000 4194304 4650419 140733976920416 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17842/tid=17847] ppid=17838 vsize=371864 CPUtime=102.28 cores=0,2,4,6
/proc/17842/task/17847/stat : 17847 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 34915 0 0 0 10220 8 0 0 25 0 4 0 521360644 380788736 41202 33554432000 4194304 4650419 140733976920416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 371864

[startup+162.3 s]

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

[pid=17842] ppid=17838 vsize=529744 CPUtime=2565.71 cores=0,2,4,6
/proc/17842/stat : 17842 (strangenight1-m) R 17838 17842 17388 0 -1 4202496 431203 0 0 0 256436 135 0 0 25 0 4 0 521360643 542457856 77499 33554432000 4194304 4650419 140733976920416 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17842/statm: 132436 77499 392 112 0 127401 0
[pid=17842/tid=17844] ppid=17838 vsize=529744 CPUtime=638.81 cores=0,2,4,6
/proc/17842/task/17844/stat : 17844 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 107092 0 0 0 63847 34 0 0 25 0 4 0 521360643 542457856 77499 33554432000 4194304 4650419 140733976920416 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17842/tid=17845] ppid=17838 vsize=529744 CPUtime=642.31 cores=0,2,4,6
/proc/17842/task/17845/stat : 17845 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 103805 0 0 0 64199 32 0 0 25 0 4 0 521360643 542457856 77499 33554432000 4194304 4650419 140733976920416 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17842/tid=17847] ppid=17838 vsize=529744 CPUtime=642.25 cores=0,2,4,6
/proc/17842/task/17847/stat : 17847 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 109601 0 0 0 64190 35 0 0 25 0 4 0 521360644 542457856 77499 33554432000 4194304 4650419 140733976920416 18446744073709551615 4313456 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2565.71
Current children cumulated vsize (KiB) 529744

[startup+702.3 s]
/proc/loadavg: 8.05 8.04 7.99 10/184 17869
/proc/meminfo: memFree=25596056/32950928 swapFree=67111364/67111528
[pid=17842] ppid=17838 vsize=533284 CPUtime=2805.38 cores=0,2,4,6
/proc/17842/stat : 17842 (strangenight1-m) R 17838 17842 17388 0 -1 4202496 456061 0 0 0 280393 145 0 0 25 0 4 0 521360643 546082816 84724 33554432000 4194304 4650419 140733976920416 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17842/statm: 133321 84724 392 112 0 128286 0
[pid=17842/tid=17844] ppid=17838 vsize=533284 CPUtime=698.48 cores=0,2,4,6
/proc/17842/task/17844/stat : 17844 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 110637 0 0 0 69813 35 0 0 25 0 4 0 521360643 546082816 84724 33554432000 4194304 4650419 140733976920416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17842/tid=17845] ppid=17838 vsize=533284 CPUtime=702.31 cores=0,2,4,6
/proc/17842/task/17845/stat : 17845 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 109587 0 0 0 70197 34 0 0 25 0 4 0 521360643 546082816 84724 33554432000 4194304 4650419 140733976920416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17842/tid=17847] ppid=17838 vsize=533284 CPUtime=702.24 cores=0,2,4,6
/proc/17842/task/17847/stat : 17847 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 116731 0 0 0 70187 37 0 0 25 0 4 0 521360644 546082816 84724 33554432000 4194304 4650419 140733976920416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.38
Current children cumulated vsize (KiB) 533284

[startup+762.301 s]
/proc/loadavg: 8.08 8.05 8.00 10/184 17870
/proc/meminfo: memFree=25635596/32950928 swapFree=67111364/67111528
[pid=17842] ppid=17838 vsize=521320 CPUtime=3045.07 cores=0,2,4,6
/proc/17842/stat : 17842 (strangenight1-m) R 17838 17842 17388 0 -1 4202496 471879 0 0 0 304354 153 0 0 25 0 4 0 521360643 533831680 77332 33554432000 4194304 4650419 140733976920416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17842/statm: 130330 77332 392 112 0 125295 0
[pid=17842/tid=17844] ppid=17838 vsize=521320 CPUtime=758.16 cores=0,2,4,6
/proc/17842/task/17844/stat : 17844 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 113845 0 0 0 75780 36 0 0 25 0 4 0 521360643 533831680 77332 33554432000 4194304 4650419 140733976920416 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17842/tid=17845] ppid=17838 vsize=521320 CPUtime=762.32 cores=0,2,4,6
/proc/17842/task/17845/stat : 17845 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 112776 0 0 0 76197 35 0 0 25 0 4 0 521360643 533831680 77332 33554432000 4194304 4650419 140733976920416 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17842/tid=17847] ppid=17838 vsize=521320 CPUtime=762.25 cores=0,2,4,6
/proc/17842/task/17847/stat : 17847 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 122598 0 0 0 76184 41 0 0 25 0 4 0 521360644 533831680 77332 33554432000 4194304 4650419 140733976920416 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3045.07
Current children cumulated vsize (KiB) 521320

[startup+822.301 s]
/proc/loadavg: 8.03 8.04 8.00 10/184 17872
/proc/meminfo: memFree=25612632/32950928 swapFree=67111364/67111528
[pid=17842] ppid=17838 vsize=521672 CPUtime=3284.73 cores=0,2,4,6
/proc/17842/stat : 17842 (strangenight1-m) R 17838 17842 17388 0 -1 4202496 489234 0 0 0 328313 160 0 0 25 0 4 0 521360643 534192128 79405 33554432000 4194304 4650419 140733976920416 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17842/statm: 130418 79405 392 112 0 125383 0
[pid=17842/tid=17844] ppid=17838 vsize=521672 CPUtime=817.84 cores=0,2,4,6
/proc/17842/task/17844/stat : 17844 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 119819 0 0 0 81745 39 0 0 25 0 4 0 521360643 534192128 79405 33554432000 4194304 4650419 140733976920416 18446744073709551615 208079890841 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17842/tid=17845] ppid=17838 vsize=521672 CPUtime=822.31 cores=0,2,4,6
/proc/17842/task/17845/stat : 17845 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 114604 0 0 0 82195 36 0 0 25 0 4 0 521360643 534192128 79405 33554432000 4194304 4650419 140733976920416 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17842/tid=17847] ppid=17838 vsize=521672 CPUtime=822.24 cores=0,2,4,6
/proc/17842/task/17847/stat : 17847 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 128916 0 0 0 82181 43 0 0 25 0 4 0 521360644 534192128 79405 33554432000 4194304 4650419 140733976920416 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.73
Current children cumulated vsize (KiB) 521672

[startup+882.307 s]
/proc/loadavg: 8.01 8.03 8.00 10/184 17874
/proc/meminfo: memFree=25620796/32950928 swapFree=67111364/67111528
[pid=17842] ppid=17838 vsize=521992 CPUtime=3524.43 cores=0,2,4,6
/proc/17842/stat : 17842 (strangenight1-m) R 17838 17842 17388 0 -1 4202496 507999 0 0 0 352274 169 0 0 25 0 4 0 521360643 534519808 77172 33554432000 4194304 4650419 140733976920416 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17842/statm: 130498 77172 392 112 0 125463 0
[pid=17842/tid=17844] ppid=17838 vsize=521992 CPUtime=877.52 cores=0,2,4,6
/proc/17842/task/17844/stat : 17844 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 125808 0 0 0 87711 41 0 0 25 0 4 0 521360643 534519808 77172 33554432000 4194304 4650419 140733976920416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17842/tid=17845] ppid=17838 vsize=521992 CPUtime=882.32 cores=0,2,4,6
/proc/17842/task/17845/stat : 17845 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 120884 0 0 0 88192 40 0 0 25 0 4 0 521360643 534519808 77172 33554432000 4194304 4650419 140733976920416 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17842/tid=17847] ppid=17838 vsize=521992 CPUtime=882.24 cores=0,2,4,6
/proc/17842/task/17847/stat : 17847 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 135150 0 0 0 88178 46 0 0 25 0 4 0 521360644 534519808 77172 33554432000 4194304 4650419 140733976920416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.43
Current children cumulated vsize (KiB) 521992

[startup+942.301 s]
/proc/loadavg: 8.00 8.02 8.00 10/184 17875
/proc/meminfo: memFree=25585440/32950928 swapFree=67111364/67111528
[pid=17842] ppid=17838 vsize=587648 CPUtime=3764.08 cores=0,2,4,6
/proc/17842/stat : 17842 (strangenight1-m) R 17838 17842 17388 0 -1 4202496 527398 0 0 0 376231 177 0 0 25 0 4 0 521360643 601751552 90303 33554432000 4194304 4650419 140733976920416 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17842/statm: 146912 90303 392 112 0 141877 0
[pid=17842/tid=17844] ppid=17838 vsize=587648 CPUtime=937.19 cores=0,2,4,6
/proc/17842/task/17844/stat : 17844 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 134049 0 0 0 93675 44 0 0 25 0 4 0 521360643 601751552 90303 33554432000 4194304 4650419 140733976920416 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17842/tid=17845] ppid=17838 vsize=587648 CPUtime=942.31 cores=0,2,4,6
/proc/17842/task/17845/stat : 17845 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 125361 0 0 0 94188 43 0 0 25 0 4 0 521360643 601751552 90303 33554432000 4194304 4650419 140733976920416 18446744073709551615 4365121 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17842/tid=17847] ppid=17838 vsize=587648 CPUtime=942.23 cores=0,2,4,6
/proc/17842/task/17847/stat : 17847 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 141812 0 0 0 94175 48 0 0 25 0 4 0 521360644 601751552 90303 33554432000 4194304 4650419 140733976920416 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3764.08
Current children cumulated vsize (KiB) 587648

[startup+1002.3 s]
/proc/loadavg: 8.07 8.03 8.00 10/184 17877
/proc/meminfo: memFree=25552300/32950928 swapFree=67111364/67111528
[pid=17842] ppid=17838 vsize=587776 CPUtime=4003.76 cores=0,2,4,6
/proc/17842/stat : 17842 (strangenight1-m) R 17838 17842 17388 0 -1 4202496 540614 0 0 0 400193 183 0 0 25 0 4 0 521360643 601882624 92557 33554432000 4194304 4650419 140733976920416 18446744073709551615 4313319 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17842/statm: 146944 92557 392 112 0 141909 0
[pid=17842/tid=17844] ppid=17838 vsize=587776 CPUtime=996.86 cores=0,2,4,6
/proc/17842/task/17844/stat : 17844 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 136907 0 0 0 99642 44 0 0 25 0 4 0 521360643 601882624 92557 33554432000 4194304 4650419 140733976920416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17842/tid=17845] ppid=17838 vsize=587776 CPUtime=1002.32 cores=0,2,4,6
/proc/17842/task/17845/stat : 17845 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 130445 0 0 0 100186 46 0 0 25 0 4 0 521360643 601882624 92557 33554432000 4194304 4650419 140733976920416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17842/tid=17847] ppid=17838 vsize=587776 CPUtime=1002.23 cores=0,2,4,6
/proc/17842/task/17847/stat : 17847 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 143363 0 0 0 100175 48 0 0 25 0 4 0 521360644 601882624 92557 33554432000 4194304 4650419 140733976920416 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.76
Current children cumulated vsize (KiB) 587776

[startup+1062.3 s]
/proc/loadavg: 8.08 8.04 8.00 10/184 17878
/proc/meminfo: memFree=25562196/32950928 swapFree=67111364/67111528
[pid=17842] ppid=17838 vsize=587776 CPUtime=4243.44 cores=0,2,4,6
/proc/17842/stat : 17842 (strangenight1-m) R 17838 17842 17388 0 -1 4202496 547818 0 0 0 424158 186 0 0 25 0 4 0 521360643 601882624 91726 33554432000 4194304 4650419 140733976920416 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17842/statm: 146944 91726 392 112 0 141909 0
[pid=17842/tid=17844] ppid=17838 vsize=587776 CPUtime=1056.54 cores=0,2,4,6
/proc/17842/task/17844/stat : 17844 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 139937 0 0 0 105609 45 0 0 25 0 4 0 521360643 601882624 91726 33554432000 4194304 4650419 140733976920416 18446744073709551615 4476354 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17842/tid=17845] ppid=17838 vsize=587776 CPUtime=1062.33 cores=0,2,4,6
/proc/17842/task/17845/stat : 17845 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 131626 0 0 0 106186 47 0 0 25 0 4 0 521360643 601882624 91726 33554432000 4194304 4650419 140733976920416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17842/tid=17847] ppid=17838 vsize=587776 CPUtime=1062.22 cores=0,2,4,6
/proc/17842/task/17847/stat : 17847 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 144103 0 0 0 106174 48 0 0 25 0 4 0 521360644 601882624 91726 33554432000 4194304 4650419 140733976920416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.44
Current children cumulated vsize (KiB) 587776

[startup+1122.3 s]
/proc/loadavg: 8.09 8.05 8.00 10/184 17880
/proc/meminfo: memFree=25541088/32950928 swapFree=67111364/67111528
[pid=17842] ppid=17838 vsize=587776 CPUtime=4483.11 cores=0,2,4,6
/proc/17842/stat : 17842 (strangenight1-m) R 17838 17842 17388 0 -1 4202496 555626 0 0 0 448121 190 0 0 25 0 4 0 521360643 601882624 90015 33554432000 4194304 4650419 140733976920416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17842/statm: 146944 90015 392 112 0 141909 0
[pid=17842/tid=17844] ppid=17838 vsize=587776 CPUtime=1116.21 cores=0,2,4,6
/proc/17842/task/17844/stat : 17844 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 141614 0 0 0 111576 45 0 0 25 0 4 0 521360643 601882624 90015 33554432000 4194304 4650419 140733976920416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17842/tid=17845] ppid=17838 vsize=587776 CPUtime=1122.33 cores=0,2,4,6
/proc/17842/task/17845/stat : 17845 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 131684 0 0 0 112186 47 0 0 25 0 4 0 521360643 601882624 90015 33554432000 4194304 4650419 140733976920416 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17842/tid=17847] ppid=17838 vsize=587776 CPUtime=1122.22 cores=0,2,4,6
/proc/17842/task/17847/stat : 17847 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 146282 0 0 0 112173 49 0 0 25 0 4 0 521360644 601882624 90015 33554432000 4194304 4650419 140733976920416 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4483.11
Current children cumulated vsize (KiB) 587776

[startup+1182.3 s]
/proc/loadavg: 8.08 8.05 8.00 10/184 17882
/proc/meminfo: memFree=25519620/32950928 swapFree=67111364/67111528
[pid=17842] ppid=17838 vsize=587988 CPUtime=4722.79 cores=0,2,4,6
/proc/17842/stat : 17842 (strangenight1-m) R 17838 17842 17388 0 -1 4202496 573386 0 0 0 472083 196 0 0 25 0 4 0 521360643 602099712 94045 33554432000 4194304 4650419 140733976920416 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17842/statm: 146997 94045 392 112 0 141962 0
[pid=17842/tid=17844] ppid=17838 vsize=587988 CPUtime=1175.9 cores=0,2,4,6
/proc/17842/task/17844/stat : 17844 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 145656 0 0 0 117543 47 0 0 25 0 4 0 521360643 602099712 94045 33554432000 4194304 4650419 140733976920416 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17842/tid=17845] ppid=17838 vsize=587988 CPUtime=1182.33 cores=0,2,4,6
/proc/17842/task/17845/stat : 17845 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 134712 0 0 0 118185 48 0 0 25 0 4 0 521360643 602099712 94045 33554432000 4194304 4650419 140733976920416 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17842/tid=17847] ppid=17838 vsize=587988 CPUtime=1182.21 cores=0,2,4,6
/proc/17842/task/17847/stat : 17847 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 152636 0 0 0 118170 51 0 0 25 0 4 0 521360644 602099712 94045 33554432000 4194304 4650419 140733976920416 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4722.79
Current children cumulated vsize (KiB) 587988



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.06 8.05 8.00 10/184 17882
/proc/meminfo: memFree=25549624/32950928 swapFree=67111364/67111528
[pid=17842] ppid=17838 vsize=574820 CPUtime=4800.3 cores=0,2,4,6
/proc/17842/stat : 17842 (strangenight1-m) R 17838 17842 17388 0 -1 4202496 579482 0 0 0 479830 200 0 0 25 0 4 0 521360643 588615680 93689 33554432000 4194304 4650419 140733976920416 18446744073709551615 4365286 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17842/statm: 143705 93689 392 112 0 138670 0
[pid=17842/tid=17844] ppid=17838 vsize=574820 CPUtime=1195.19 cores=0,2,4,6
/proc/17842/task/17844/stat : 17844 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 148054 0 0 0 119471 48 0 0 25 0 4 0 521360643 588615680 93689 33554432000 4194304 4650419 140733976920416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17842/tid=17845] ppid=17838 vsize=574820 CPUtime=1201.73 cores=0,2,4,6
/proc/17842/task/17845/stat : 17845 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 135931 0 0 0 120124 49 0 0 25 0 4 0 521360643 588615680 93689 33554432000 4194304 4650419 140733976920416 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17842/tid=17847] ppid=17838 vsize=574820 CPUtime=1201.62 cores=0,2,4,6
/proc/17842/task/17847/stat : 17847 (strangenight1-m) R 17838 17842 17388 0 -1 4202560 154948 0 0 0 120110 52 0 0 25 0 4 0 521360644 588615680 93689 33554432000 4194304 4650419 140733976920416 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 574820

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.35
CPU user time (s): 4798.33
CPU system time (s): 2.01969
CPU usage (%): 399.454
Max. virtual memory (cumulated for all children) (KiB): 641096

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

runsolver used 1.85172 second user time and 4.71628 second system time

The end

Launcher Data 

Begin job on node127 at 2011-04-29 19:20:10
IDJOB=3175194
IDBENCH=82812
IDSOLVER=1588
FILE ID=node127/3175194-1304097610
RUNJOBID= node127-1304097610-17823
PBS_JOBID= 13170587
Free space on /tmp= 71820 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v80-c7120-S2107193201-069.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175194-1304097610/watcher-3175194-1304097610 -o /tmp/evaluation-result-3175194-1304097610/solver-3175194-1304097610 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175194-1304097610.cnf

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

MD5SUM BENCH= f33f3051fd4d4fda111c4bc9b2e01ee5
RANDOM SEED=639482787

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
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.823
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.60
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.823
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      26292028 kB
Buffers:       1401088 kB
Cached:        4718912 kB
SwapCached:          0 kB
Active:        1797632 kB
Inactive:      4385960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26292028 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           12568 kB
Writeback:          16 kB
AnonPages:       63344 kB
Mapped:          14424 kB
Slab:           410772 kB
PageTables:       4900 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   185804 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= 71808 MiB
End job on node127 at 2011-04-29 19:40:14