Trace number 3368909

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.38 1203.53

General information on the benchmark

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

Solver Data

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368909-1305405858.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.13	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.45
0.37/0.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.37/0.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.37/0.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.37/0.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
0.37/0.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.37/0.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.15	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.37/0.15	c calculated reachability. Time: 0.00
0.37/0.15	c Calc default polars -  time:   0.00 s pos:      31 undec:       1 neg:      28
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.15	c  B st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.77/0.26	c  N dy     8      4325        60      5340         0      3870     37380     84978     18.56     19.54  --
1.56/0.43	c  N dy    11      9811        60      5340         0      6490     37380    132476     17.88     18.87  --
3.57/0.97	c  N dy    30     23428        60      5340         0      9773     37380    183618     17.25     18.17  --
4.00/1.05	c  F st    45     25001        60      5340         0     11173     37380    213805     17.40   no data  --
4.76/1.21	c  N st    50     28300        60      5340         0      8092     37380    144087     17.40   no data  --
4.76/1.28	c  S st    51     30000        60      5340         0      9610     37380    176236     17.40   no data  --
5.16/1.31	c  S st    51     30502        60      5340         0     10067     37380    186368     17.40   no data  --
5.16/1.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.31	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.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
5.16/1.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.79/2.21	c lits-rem:      1337  cl-subs:     1100  v-elim:      0  v-fix:    0  time:  3.55 s
9.55/2.48	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.06
9.55/2.48	c calculated reachability. Time: 0.00
9.55/2.48	c  N dy    51     30502        60      5340         0      8967     37380    161343     17.40   no data  --
10.75/2.71	c  N dy    87     34636        60      5340         0     12637     37380    240533     17.69     18.76  --
11.55/2.92	c  N dy   100     38733        60      5340         0      9317     37380    157101     17.72     19.93  --
12.35/3.15	c  N dy   137     42749        60      5340         0     12936     37380    235809     17.94     19.34  --
13.18/3.35	c  S st   164     45754        60      5340         0     15636     37380    294944     18.08   no data  --
13.53/3.40	c  S st   164     46257        60      5340         0      8122     37380    123989     18.08   no data  --
13.53/3.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.53/3.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.53/3.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.53/3.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.53/3.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.53/3.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
13.53/3.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.33/4.13	c lits-rem:        59  cl-subs:       22  v-elim:      0  v-fix:    0  time:  2.87 s
16.33/4.13	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
16.33/4.13	c vivif2 --  cl tried     8100 cl shrink        0 lits rem          0 time: 0.00
17.15/4.36	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.90
17.15/4.36	c calculated reachability. Time: 0.00
17.15/4.36	c  N dy   164     46257        60      5340         0      8100     37380    123425     18.08   no data  --
17.92/4.56	c  N dy   175     50325        60      5340         0     11735     37380    200813     18.08     19.43  --
19.12/4.82	c  N dy   194     54513        60      5340         0     15489     37380    281527     18.15     19.11  --
20.32/5.15	c  N dy   200     60417        60      5340         0     11816     37380    190664     18.09     19.11  --
21.54/5.45	c  N dy   207     65545        60      5340         0     16372     37380    285738     18.06     19.03  --
22.71/5.75	c  S st   225     69387        60      5340         0     10018     37380    144946     18.09     18.74  --
22.71/5.79	c  S st   225     69889        60      5340         0     10473     37380    155106     18.09   no data  --
22.71/5.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.71/5.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
22.71/5.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
23.11/5.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.11/5.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.11/5.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
23.11/5.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.35/6.62	c lits-rem:       221  cl-subs:      129  v-elim:      0  v-fix:    0  time:  3.29 s
26.35/6.62	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
26.35/6.62	c vivif2 --  cl tried    10344 cl shrink        0 lits rem          0 time: 0.01
27.50/6.90	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.10
27.50/6.90	c calculated reachability. Time: 0.00
27.50/6.90	c  N dy   225     69889        60      5340         0     10344     37380    151823     18.09   no data  --
28.30/7.18	c  N dy   238     75065        60      5340         0     14954     37380    249210     18.08     19.12  --
29.90/7.57	c  N dy   277     80309        60      5340         0     19623     37380    350192     18.17     19.15  --
31.48/7.92	c  N dy   286     85527        60      5340         0     13614     37380    211489     18.14     19.28  --
31.88/8.05	c  F st   291     87502        60      5340         0     15365     37380    248079     18.13     18.24  --
33.09/8.39	c  N dy   297     92697        60      5340         0     19958     37380    346559     18.13   no data  --
35.13/8.88	c  N dy   306     99016        60      5340         0     14019     37380    208634     18.11     19.08  --
36.67/9.24	c  S st   316    104835        60      5340         0     19158     37380    314857     18.06     17.73  --
36.67/9.30	c  S st   316    105340        60      5340         0     19622     37380    325266     18.06   no data  --
37.07/9.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
37.07/9.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
37.07/9.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
37.07/9.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
37.07/9.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
37.07/9.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
37.07/9.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.06/10.81	c lits-rem:      1712  cl-subs:     2373  v-elim:      0  v-fix:    0  time:  5.99 s
43.06/10.81	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
43.06/10.82	c vivif2 --  cl tried    17249 cl shrink        0 lits rem          0 time: 0.01
44.24/11.17	c asymm  cl-useful: 0/4571/5340 lits-rem:0 time: 1.40
44.24/11.17	c calculated reachability. Time: 0.00
44.24/11.17	c  N dy   316    105340        60      5340         0     17249     37380    276143     18.06   no data  --
46.24/11.66	c  N dy   330    112418        60      5340         0     23590     37380    410801     18.04     19.02  --
48.64/12.20	c  N dy   360    120274        60      5340         0     18294     37380    293556     18.07     19.11  --
55.83/14.09	c  N dy   371    145122        60      5340         0     26843     37380    449303     17.80     18.77  --
59.01/14.85	c  N dy   432    154467        60      5340         0     21106     37380    332250     17.87     19.28  --
60.21/15.18	c  S st   466    158010        60      5340         0     24276     37380    401192     17.91   no data  --
60.61/15.25	c  S st   466    158514        60      5340         0     24736     37380    411369     17.91   no data  --
60.61/15.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
60.61/15.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
60.61/15.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
60.61/15.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
60.61/15.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
60.61/15.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
60.61/15.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
68.58/17.24	c lits-rem:      1886  cl-subs:     2241  v-elim:      0  v-fix:    0  time:  7.86 s
68.58/17.24	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
68.58/17.25	c vivif2 --  cl tried    22495 cl shrink        0 lits rem          0 time: 0.01
68.99/17.34	c asymm  cl-useful: 0/769/5340 lits-rem:0 time: 0.38
68.99/17.34	c calculated reachability. Time: 0.00
68.99/17.34	c  N dy   466    158514        60      5340         0     22495     37380    359874     17.91   no data  --
72.97/18.30	c  N dy   511    168924        60      5340         0     16759     37380    229298     17.94     18.96  --
76.56/19.25	c  N dy   570    179775        60      5340         0     26416     37380    436995     17.99     19.52  --
81.75/20.58	c  N dy   634    194191        60      5340         0     23319     37380    354751     18.00     18.97  --
86.93/21.90	c  N dy   679    206672        60      5340         0     17566     37380    227689     17.99     19.05  --
93.32/23.45	c  N dy   736    222835        60      5340         0     31946     37380    532032     18.00     19.11  --
98.90/24.89	c  N dy   800    237771        60      5340         0     27513     37380    429455     18.04     17.05  --
98.90/24.89	c  S st   800    237771        60      5340         0     27513     37380    429455     18.04     17.05  --
99.30/24.96	c  S st   800    238273        60      5340         0     27974     37380    439741     18.04   no data  --
99.30/24.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
99.30/24.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
99.30/24.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
99.30/24.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
99.30/24.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
99.30/24.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
99.30/24.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
108.87/27.30	c lits-rem:      2037  cl-subs:     2510  v-elim:      0  v-fix:    0  time:  9.25 s
108.87/27.30	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
108.87/27.31	c vivif2 --  cl tried    25464 cl shrink        0 lits rem          0 time: 0.02
110.07/27.69	c asymm  cl-useful: 0/3345/5340 lits-rem:0 time: 1.52
110.07/27.69	c calculated reachability. Time: 0.00
110.07/27.69	c  N dy   800    238273        60      5340         0     25464     37380    384241     18.04   no data  --
116.85/29.36	c  N dy   830    254950        60      5340         0     21670     37380    291847     18.01     18.98  --
128.02/32.14	c  N dy   866    286462        60      5340         0     30071     37380    450820     17.87     18.92  --
136.05/34.16	c  N dy   956    305031        60      5340         0     26294     37380    372186     17.91     18.88  --
136.80/34.30	c  F st   968    306251        60      5340         0     27385     37380    396010     17.92   no data  --
145.57/36.55	c  N dy  1057    324565        60      5340         0     22404     37380    278009     17.97     19.64  --
154.75/38.82	c  N dy  1152    345270        60      5340         0     40789     37380    671719     17.99     18.96  --
160.34/40.25	c  S st  1215    357411        60      5340         0     29396     37380    418728     18.02     17.91  --
160.74/40.33	c  S st  1215    357912        60      5340         0     29839     37380    428635     18.02   no data  --
160.74/40.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
160.74/40.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
160.74/40.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
160.74/40.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
160.74/40.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
160.74/40.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
160.74/40.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
170.31/42.76	c lits-rem:      1599  cl-subs:     1723  v-elim:      0  v-fix:    0  time:  9.58 s
170.31/42.76	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
170.31/42.76	c vivif2 --  cl tried    28116 cl shrink        0 lits rem          0 time: 0.02
171.50/43.05	c asymm  cl-useful: 0/1995/5340 lits-rem:0 time: 1.14
171.50/43.05	c calculated reachability. Time: 0.00
171.50/43.05	c  N dy  1215    357912        60      5340         0     28116     37380    389786     18.02   no data  --
183.89/46.17	c  N dy  1282    377984        60      5340         0     45878     37380    765308     18.01     20.03  --
194.24/48.76	c  N dy  1362    398567        60      5340         0     41173     37380    658485     18.03     19.26  --
204.21/51.24	c  N dy  1459    418593        60      5340         0     35112     37380    522089     18.05     19.64  --
223.39/56.07	c  N dy  1550    456936        60      5340         0     44081     37380    676114     17.98     18.96  --
234.53/58.85	c  N dy  1642    477028        60      5340         0     36228     37380    517523     18.00     19.07  --
247.29/62.05	c  N dy  1717    497947        60      5340         0     28179     37380    336900     18.01     19.04  --
258.91/64.98	c  N dy  1788    521449        60      5340         0     48975     37380    777827     18.01     19.02  --
268.84/67.44	c  S st  1863    536869        60      5340         0     35152     37380    472747     18.02     18.75  --
269.24/67.53	c  S st  1863    537375        60      5340         0     35602     37380    482824     18.02   no data  --
269.24/67.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
269.24/67.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
269.24/67.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
269.24/67.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
269.24/67.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
269.24/67.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
269.24/67.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
278.41/69.87	c lits-rem:      1346  cl-subs:     2335  v-elim:      0  v-fix:    0  time:  9.22 s
278.41/69.87	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
278.41/69.88	c vivif2 --  cl tried    33267 cl shrink        0 lits rem          0 time: 0.02
280.01/70.25	c asymm  cl-useful: 0/2737/5340 lits-rem:0 time: 1.50
280.01/70.25	c calculated reachability. Time: 0.00
280.01/70.25	c  N dy  1863    537375        60      5340         0     33267     37380    434464     18.02   no data  --
291.97/73.27	c  N dy  1939    558003        60      5340         0     51562     37380    823818     18.03     19.10  --
303.93/76.25	c  N dy  2041    578016        60      5340         0     41126     37380    595020     18.05     19.00  --
317.10/79.57	c  N dy  2077    598101        60      5340         0     29726     37380    341089     18.03     19.03  --
333.50/83.62	c  N dy  2176    627132        60      5340         0     55424     37380    882496     18.02     19.29  --
347.41/87.17	c  N dy  2279    649342        60      5340         0     45138     37380    663993     18.04     19.04  --
364.21/91.32	c  N dy  2347    671380        60      5340         0     33646     37380    404257     18.04     19.27  --
376.97/94.59	c  N dy  2481    691424        60      5340         0     51461     37380    788661     18.07     19.69  --
392.09/98.37	c  N dy  2493    713264        60      5340         0     38725     37380    491529     18.02     19.32  --
406.46/101.95	c  N dy  2565    734771        60      5340         0     57752     37380    892395     18.01     19.00  --
421.27/105.69	c  N dy  2687    754820        60      5340         0     42868     37380    581973     18.04     19.61  --
435.17/109.15	c  N dy  2754    774898        60      5340         0     60683     37380    960088     18.04     19.15  --
450.34/112.96	c  N dy  2872    794953        60      5340         0     44840     37380    613044     18.06     20.19  --
458.72/115.05	c  S st  2934    806062        60      5340         0     54693     37380    824695     18.07     16.61  --
459.52/115.20	c  S st  2934    806566        60      5340         0     55158     37380    835242     18.07   no data  --
459.52/115.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
459.52/115.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
459.52/115.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
459.52/115.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
459.52/115.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
459.52/115.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
459.52/115.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
491.05/123.17	c lits-rem:      2300  cl-subs:     5434  v-elim:      0  v-fix:    0  time: 31.57 s
491.05/123.17	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
491.05/123.18	c vivif2 --  cl tried    49724 cl shrink        0 lits rem          0 time: 0.04
492.22/123.44	c asymm  cl-useful: 0/790/5340 lits-rem:0 time: 1.03
492.22/123.45	c calculated reachability. Time: 0.00
492.22/123.45	c  N dy  2934    806566        60      5340         0     49724     37380    717349     18.07   no data  --
511.76/128.36	c  N dy  2997    830362        60      5340         0     36470     37380    421159     18.06     19.06  --
524.93/131.62	c  N dy  3055    850707        60      5340         0     54485     37380    804347     18.06     19.20  --
541.68/135.82	c  N dy  3134    870719        60      5340         0     36903     37380    422671     18.06     19.06  --
554.84/139.10	c  N dy  3228    890747        60      5340         0     54685     37380    803821     18.07     19.14  --
573.60/143.85	c  N dy  3330    910797        60      5340         0     72480     37380   1186264     18.08     19.68  --
586.76/147.15	c  N dy  3419    930872        60      5340         0     54048     37380    776026     18.09     19.22  --
606.30/152.04	c  N dy  3492    952315        60      5340         0     73022     37380   1173790     18.08     19.26  --
621.47/155.86	c  N dy  3619    972364        60      5340         0     53637     37380    762894     18.10     19.09  --
641.01/160.72	c  N dy  3715    993117        60      5340         0     72036     37380   1159335     18.12     19.10  --
654.98/164.28	c  N dy  3764   1013570        60      5340         0     52054     37380    710711     18.11     19.07  --
672.12/168.59	c  N dy  3836   1033753        60      5340         0     69955     37380   1090695     18.10     19.13  --
690.47/173.16	c  N dy  3959   1053801        60      5340         0     48788     37380    637718     18.12     19.69  --
705.64/176.92	c  F st  4060   1071876        60      5340         0     64857     37380    985737     18.13     18.36  --
707.23/177.35	c  N st  4064   1073909        60      5340         0     66662     37380   1025012     18.13   no data  --
727.58/182.45	c  N dy  4152   1094545        60      5340         0     45006     37380    543629     18.14     19.13  --
744.34/186.61	c  N dy  4196   1118577        60      5340         0     66082     37380    979876     18.12     19.09  --
761.89/191.01	c  N dy  4199   1143952        60      5340         0     47736     37380    584212     18.09     19.08  --
779.04/195.30	c  N dy  4278   1163982        60      5340         0     65435     37380    962154     18.09     20.86  --
804.56/201.74	c  N dy  4374   1184042        60      5340         0     41722     37380    454237     18.10     20.93  --
821.71/206.00	c  N dy  4418   1204732        60      5340         0     59944     37380    839938     18.10     19.18  --
828.09/207.63	c  S st  4444   1209851        60      5340         0     64479     37380    938519     18.11   no data  --
828.91/207.88	c  S st  4444   1210354        60      5340         0     64932     37380    948728     18.11   no data  --
828.91/207.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
828.91/207.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
829.33/207.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.16
829.33/207.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
829.33/207.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
829.33/207.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
829.33/207.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
893.09/223.96	c lits-rem:      2951  cl-subs:     6521  v-elim:      0  v-fix:    0  time: 63.82 s
893.09/223.97	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
893.09/223.98	c vivif2 --  cl tried    58411 cl shrink        0 lits rem          0 time: 0.05
894.72/224.31	c asymm  cl-useful: 0/671/5340 lits-rem:0 time: 1.33
894.72/224.32	c calculated reachability. Time: 0.00
894.72/224.32	c  N dy  4444   1210354        60      5340         0     58411     37380    810335     18.11   no data  --
914.63/229.37	c  N dy  4501   1230460        60      5340         0     76184     37380   1185342     18.10     19.08  --
933.39/234.05	c  N dy  4576   1250527        60      5340         0     51852     37380    663573     18.10     21.24  --
951.34/238.55	c  N dy  4666   1271330        60      5340         0     70286     37380   1058860     18.11     19.07  --
977.27/245.04	c  N dy  4796   1293779        60      5340         0     47060     37380    549162     18.13     19.11  --
997.21/250.08	c  N dy  4900   1313868        60      5340         0     64964     37380    937465     18.14     19.11  --
1026.77/257.43	c  N dy  5035   1334395        60      5340         0     83117     37380   1331356     18.16     19.13  --
1049.07/263.04	c  N dy  5110   1355572        60      5340         0     57587     37380    756560     18.15     19.19  --
1071.81/268.74	c  N dy  5198   1375798        60      5340         0     75451     37380   1141468     18.16     19.12  --
1096.56/274.92	c  N dy  5286   1396832        60      5340         0     48969     37380    567903     18.16     19.21  --
1110.50/278.48	c  N dy  5321   1417417        60      5340         0     67023     37380    946747     18.15     19.14  --
1132.42/283.93	c  N dy  5385   1437706        60      5340         0     84826     37380   1320085     18.15     19.11  --
1152.78/289.09	c  N dy  5481   1457774        60      5340         0     56799     37380    729442     18.16     19.87  --
1171.57/293.77	c  N dy  5571   1477859        60      5340         0     74558     37380   1109406     18.16     20.33  --
1199.05/300.69	c  N dy  5650   1501495        60      5340         0     48637     37380    541577     18.16     19.17  --
1215.45/304.71	c  N dy  5723   1521512        60      5340         0     66318     37380    919145     18.16     19.24  --
1240.94/311.13	c  N dy  5850   1542616        60      5340         0     85064     37380   1326746     18.17     19.16  --
1262.88/316.62	c  N dy  5895   1563496        60      5340         0     55726     37380    677815     18.16     19.13  --
1282.02/321.47	c  N dy  6010   1583503        60      5340         0     73492     37380   1063973     18.18     19.15  --
1311.99/328.96	c  N dy  6091   1609904        60      5340         0     96779     37380   1556906     18.17     19.17  --
1330.29/333.58	c  N dy  6183   1629966        60      5340         0     65858     37380    889294     18.17     20.14  --
1353.43/339.37	c  N dy  6280   1650594        60      5340         0     84096     37380   1282925     18.18     19.17  --
1378.56/345.69	c  N dy  6333   1672652        60      5340         0     54035     37380    630210     18.17     19.19  --
1397.31/350.37	c  N dy  6426   1692670        60      5340         0     71756     37380   1013757     18.18     21.11  --
1424.43/357.11	c  S st  6535   1710354        60      5340         0     87431     37380   1353793     18.19     17.73  --
1425.65/357.42	c  S st  6535   1710856        60      5340         0     87883     37380   1363886     18.19   no data  --
1425.65/357.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1425.65/357.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1425.65/357.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.20
1426.07/357.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1426.07/357.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1426.07/357.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
1426.07/357.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1614.72/404.88	c lits-rem:      5478  cl-subs:     9618  v-elim:      0  v-fix:    0  time: 188.84 s
1614.72/404.88	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
1615.06/404.90	c vivif2 --  cl tried    78265 cl shrink        0 lits rem          0 time: 0.07
1616.26/405.29	c asymm  cl-useful: 0/509/5340 lits-rem:0 time: 1.57
1616.26/405.29	c calculated reachability. Time: 0.00
1616.26/405.29	c  N dy  6535   1710856        60      5340         0     78265     37380   1150067     18.19   no data  --
1647.38/413.08	c  N dy  6623   1732282        60      5340         0     97224     37380   1556390     18.19     19.18  --
1678.48/420.84	c  N dy  6670   1761645        60      5340         0     73186     37380   1019027     18.18     19.33  --
1764.22/442.35	c  N dy  6736   1837877        60      5340         0     88724     37380   1292111     18.10     19.12  --
1801.72/451.75	c  N dy  6865   1857940        60      5340         0     54990     37380    624149     18.11     21.22  --
1826.45/457.92	c  N dy  6983   1879421        60      5340         0     73958     37380   1034828     18.13     19.08  --
1859.56/466.27	c  N dy  7026   1907207        60      5340         0     98290     37380   1539527     18.11     19.10  --
1891.11/474.12	c  N dy  7166   1931027        60      5340         0     66750     37380    865413     18.12     19.09  --
1914.60/480.09	c  N dy  7277   1951886        60      5340         0     85174     37380   1264329     18.12     19.10  --
1944.92/487.62	c  N dy  7400   1971998        60      5340         0    102982     37380   1652504     18.14     19.18  --
1968.06/493.48	c  N dy  7484   1994129        60      5340         0     68767     37380    889778     18.14     19.18  --
2002.76/502.11	c  N dy  7609   2023764        60      5340         0     94892     37380   1446593     18.14     19.14  --
2033.48/509.85	c  N dy  7704   2043918        60      5340         0     58101     37380    654501     18.14     19.10  --
2053.82/514.95	c  N dy  7794   2064787        60      5340         0     76556     37380   1052825     18.15     19.14  --
2079.80/521.49	c  N dy  7889   2084949        60      5340         0     94324     37380   1435397     18.15     19.18  --
2110.51/529.13	c  N dy  7952   2104950        60      5340         0     56374     37380    607949     18.15     19.17  --
2130.82/534.23	c  N dy  8032   2126977        60      5340         0     75741     37380   1020134     18.15     19.15  --
2158.36/541.12	c  N dy  8160   2147047        60      5340         0     93517     37380   1408699     18.16     19.62  --
2191.04/549.36	c  N dy  8256   2167105        60      5340         0    111193     37380   1789775     18.17     19.81  --
2213.78/555.09	c  N dy  8382   2187384        60      5340         0     72678     37380    951070     18.18     19.23  --
2239.70/561.59	c  N dy  8501   2207423        60      5340         0     90440     37380   1338494     18.19     19.27  --
2244.50/562.78	c  S st  8516   2210856        60      5340         0     93457     37380   1404005     18.19     14.98  --
2245.70/563.06	c  S st  8516   2211357        60      5340         0     93914     37380   1414403     18.19   no data  --
2245.70/563.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2245.70/563.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2246.12/563.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.16
2246.12/563.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2246.12/563.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2246.12/563.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
2246.12/563.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2405.63/603.18	c lits-rem:      4811  cl-subs:     9318  v-elim:      0  v-fix:    0  time: 159.61 s
2405.63/603.18	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
2406.02/603.20	c vivif2 --  cl tried    84596 cl shrink        0 lits rem          0 time: 0.07
2407.62/603.61	c asymm  cl-useful: 0/468/5340 lits-rem:0 time: 1.64
2407.62/603.62	c calculated reachability. Time: 0.00
2407.62/603.62	c  N dy  8516   2211357        60      5340         0     84596     37380   1207931     18.19   no data  --
2441.91/612.25	c  N dy  8606   2231397        60      5340         0    102243     37380   1587341     18.19     19.36  --
2471.43/619.63	c  N dy  8633   2252497        60      5340         0     63986     37380    749249     18.18     19.21  --
2495.36/625.66	c  N dy  8686   2272960        60      5340         0     81978     37380   1128089     18.17     19.22  --
2557.61/641.26	c  N dy  8799   2308967        60      5340         0    113585     37380   1785040     18.16     19.23  --
2588.73/649.06	c  N dy  8902   2329001        60      5340         0     73392     37380    946205     18.17     20.97  --
2623.42/657.75	c  N dy  9020   2349037        60      5340         0     91116     37380   1331588     18.18     19.74  --
2672.44/670.06	c  N dy  9150   2372414        60      5340         0    111697     37380   1779925     18.18     19.19  --
2704.75/678.15	c  N dy  9221   2392857        60      5340         0     70874     37380    881782     18.19     19.15  --
2737.48/686.39	c  N dy  9333   2412887        60      5340         0     88549     37380   1266736     18.19     19.16  --
2773.34/695.30	c  N dy  9393   2435437        60      5340         0    108318     37380   1683465     18.19     19.34  --
2815.62/705.94	c  N dy  9513   2460339        60      5340         0     70450     37380    859986     18.19     19.18  --
2886.65/723.72	c  N dy  9653   2513002        60      5340         0    116557     37380   1820527     18.17     19.18  --
2916.93/731.33	c  N dy  9742   2533028        60      5340         0     73624     37380    921773     18.18     19.39  --
2946.04/738.66	c  N dy  9814   2556838        60      5340         0     94634     37380   1370758     18.18     19.25  --
2984.33/748.20	c  N dy  9965   2579255        60      5340         0    114445     37380   1803473     18.19     19.24  --
3016.65/756.30	c  N dy 10095   2600494        60      5340         0     71554     37380    868717     18.20     19.25  --
3040.97/762.44	c  N dy 10189   2620869        60      5340         0     89521     37380   1259092     18.20     19.26  --
3066.96/768.97	c  N dy 10227   2641980        60      5340         0    108050     37380   1649654     18.19     19.17  --
3097.25/776.54	c  N dy 10246   2666333        60      5340         0     66818     37380    748200     18.18     19.20  --
3120.76/782.42	c  N dy 10291   2691549        60      5340         0     88874     37380   1209505     18.17     19.24  --
3149.92/789.72	c  S st 10384   2711358        60      5340         0    106296     37380   1585257     18.17   no data  --
3151.08/790.05	c  S st 10384   2711859        60      5340         0    106751     37380   1595328     18.17   no data  --
3151.08/790.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3151.08/790.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3151.48/790.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.21
3151.48/790.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3151.48/790.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3151.48/790.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
3151.48/790.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3569.06/894.89	c lits-rem:      6061  cl-subs:    13877  v-elim:      0  v-fix:    0  time: 417.62 s
3569.06/894.89	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
3569.46/894.91	c vivif2 --  cl tried    92874 cl shrink        0 lits rem          0 time: 0.08
3571.08/895.32	c asymm  cl-useful: 0/592/5340 lits-rem:0 time: 1.61
3571.08/895.32	c calculated reachability. Time: 0.00
3571.08/895.32	c  N dy 10384   2711859        60      5340         0     92874     37380   1314859     18.17   no data  --
3605.75/904.06	c  N dy 10459   2731875        60      5340         0    110479     37380   1692698     18.18     20.78  --
3669.56/920.02	c  N dy 10538   2769147        60      5340         0     80731     37380   1043100     18.17     19.35  --
3708.24/929.79	c  N dy 10660   2789214        60      5340         0     98430     37380   1429456     18.17     19.75  --
3752.91/940.91	c  N dy 10735   2812230        60      5340         0    118574     37380   1852575     18.17     19.21  --
3786.82/949.45	c  N dy 10769   2832339        60      5340         0     72622     37380    864093     18.16     19.14  --
3819.92/957.73	c  N dy 10877   2852380        60      5340         0     90311     37380   1247846     18.17     20.02  --
3864.19/968.87	c  N dy 11027   2872404        60      5340         0    108001     37380   1636638     18.18     19.38  --
3920.83/983.09	c  N dy 11127   2896495        60      5340         0    129063     37380   2088006     18.18     19.25  --
3949.94/990.32	c  N dy 11168   2916984        60      5340         0     82179     37380   1048860     18.18     19.35  --
3989.43/1000.23	c  N dy 11304   2937003        60      5340         0     99806     37380   1436931     18.19     20.97  --
4032.49/1011.01	c  N dy 11386   2957028        60      5340         0    117400     37380   1814853     18.19     20.66  --
4082.35/1023.57	c  N dy 11497   2977298        60      5340         0     69436     37380    774721     18.19     19.27  --
4111.46/1030.87	c  N dy 11551   2997916        60      5340         0     87446     37380   1154696     18.19     19.16  --
4155.33/1041.80	c  N dy 11680   3018922        60      5340         0    106012     37380   1559710     18.20     19.17  --
4194.05/1051.57	c  N dy 11757   3039430        60      5340         0    124138     37380   1948412     18.20     19.18  --
4230.71/1060.79	c  N dy 11909   3059471        60      5340         0     75070     37380    887476     18.21     19.93  --
4255.48/1067.00	c  N dy 12006   3079490        60      5340         0     92713     37380   1270167     18.21     19.56  --
4337.62/1087.51	c  N dy 12116   3141343        60      5340         0     79014     37380    939215     18.19     19.34  --
4368.74/1095.31	c  N dy 12241   3161372        60      5340         0     96673     37380   1325011     18.19     19.97  --
4406.63/1104.86	c  N dy 12334   3181444        60      5340         0    114357     37380   1706712     18.20     20.93  --
4450.90/1115.95	c  N dy 12407   3201488        60      5340         0    131907     37380   2079988     18.20     19.69  --
4474.44/1121.88	c  S st 12484   3211859        60      5340         0     72580     37380    813881     18.20   no data  --
4475.63/1122.12	c  S st 12484   3212362        60      5340         0     73029     37380    824003     18.20   no data  --
4475.63/1122.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4475.63/1122.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4475.63/1122.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.16
4476.03/1122.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4476.03/1122.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4476.03/1122.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
4476.03/1122.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4547.42/1140.13	c lits-rem:       594  cl-subs:     1073  v-elim:      0  v-fix:    0  time: 71.51 s
4547.42/1140.13	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
4547.42/1140.14	c vivif2 --  cl tried    71956 cl shrink        0 lits rem          0 time: 0.06
4549.02/1140.52	c asymm  cl-useful: 0/620/5340 lits-rem:0 time: 1.49
4549.02/1140.52	c calculated reachability. Time: 0.00
4549.02/1140.52	c  N dy 12484   3212362        60      5340         0     71956     37380    799510     18.20   no data  --
4574.95/1147.08	c  N dy 12540   3232747        60      5340         0     89781     37380   1177309     18.20     19.22  --
4609.25/1155.68	c  N dy 12622   3252836        60      5340         0    107491     37380   1556992     18.20     19.87  --
4658.72/1168.04	c  N dy 12758   3274276        60      5340         0    126512     37380   1973098     18.21     19.30  --
4700.59/1178.52	c  N dy 12825   3294502        60      5340         0     74834     37380    845405     18.21     19.22  --
4724.53/1184.53	c  N dy 12856   3316007        60      5340         0     93713     37380   1244774     18.20     19.17  --
4756.08/1192.44	c  N dy 12938   3336091        60      5340         0    111379     37380   1624629     18.21     19.71  --
4792.33/1201.54	c  N dy 12975   3358336        60      5340         0    130831     37380   2031696     18.20     19.30  --

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

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

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


[startup+0 s]
/proc/loadavg: 6.60 7.78 7.96 3/347 18311
/proc/meminfo: memFree=24751360/32950928 swapFree=67056568/67111528
[pid=18311] ppid=18309 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/18311/stat : 18311 (strangenight1-m) R 18309 18311 18278 0 -1 4202496 416 0 0 0 1 0 0 0 23 0 4 0 652182855 52465664 356 33554432000 4194304 4650419 140733733128816 18446744073709551615 47068316165651 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18311/statm: 12809 356 306 112 0 7774 0
[pid=18311/tid=18312] ppid=18309 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/18311/task/18312/stat : 18312 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 4 0 652182855 52465664 356 33554432000 4194304 4650419 140733733128816 18446744073709551615 47068316165651 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18311/tid=18313] ppid=18309 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/18311/task/18313/stat : 18313 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 652182855 52465664 356 33554432000 4194304 4650419 140733733128816 18446744073709551615 47068316166064 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18311/tid=18314] ppid=18309 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/18311/task/18314/stat : 18314 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652182855 52465664 356 33554432000 4194304 4650419 140733733128816 18446744073709551615 47068316165651 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.045502 s]
/proc/loadavg: 6.60 7.78 7.96 3/347 18311
/proc/meminfo: memFree=24751360/32950928 swapFree=67056568/67111528
[pid=18311] ppid=18309 vsize=281904 CPUtime=0.15 cores=1,3,5,7
/proc/18311/stat : 18311 (strangenight1-m) R 18309 18311 18278 0 -1 4202496 1223 0 0 0 15 0 0 0 18 0 4 0 652182855 288669696 1125 33554432000 4194304 4650419 140733733128816 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18311/statm: 70476 1125 366 112 0 65441 0
[pid=18311/tid=18312] ppid=18309 vsize=281904 CPUtime=0.04 cores=1,3,5,7
/proc/18311/task/18312/stat : 18312 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 195 0 0 0 4 0 0 0 18 0 4 0 652182855 288669696 1125 33554432000 4194304 4650419 140733733128816 18446744073709551615 4369160 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18311/tid=18313] ppid=18309 vsize=281904 CPUtime=0.03 cores=1,3,5,7
/proc/18311/task/18313/stat : 18313 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 181 0 0 0 3 0 0 0 25 0 4 0 652182855 288669696 1125 33554432000 4194304 4650419 140733733128816 18446744073709551615 4370532 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18311/tid=18314] ppid=18309 vsize=281904 CPUtime=0.04 cores=1,3,5,7
/proc/18311/task/18314/stat : 18314 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 237 0 0 0 4 0 0 0 18 0 4 0 652182855 288669696 1125 33554432000 4194304 4650419 140733733128816 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 281904

[startup+0.100492 s]
/proc/loadavg: 6.60 7.78 7.96 3/347 18311
/proc/meminfo: memFree=24751360/32950928 swapFree=67056568/67111528
[pid=18311] ppid=18309 vsize=281904 CPUtime=0.37 cores=1,3,5,7
/proc/18311/stat : 18311 (strangenight1-m) R 18309 18311 18278 0 -1 4202496 1331 0 0 0 37 0 0 0 18 0 4 0 652182855 288669696 1233 33554432000 4194304 4650419 140733733128816 18446744073709551615 4371151 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18311/statm: 70476 1233 366 112 0 65441 0
[pid=18311/tid=18312] ppid=18309 vsize=281904 CPUtime=0.09 cores=1,3,5,7
/proc/18311/task/18312/stat : 18312 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 204 0 0 0 9 0 0 0 18 0 4 0 652182855 288669696 1233 33554432000 4194304 4650419 140733733128816 18446744073709551615 4370582 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18311/tid=18313] ppid=18309 vsize=281904 CPUtime=0.08 cores=1,3,5,7
/proc/18311/task/18313/stat : 18313 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 190 0 0 0 8 0 0 0 25 0 4 0 652182855 288669696 1233 33554432000 4194304 4650419 140733733128816 18446744073709551615 4370710 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18311/tid=18314] ppid=18309 vsize=281904 CPUtime=0.09 cores=1,3,5,7
/proc/18311/task/18314/stat : 18314 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 316 0 0 0 9 0 0 0 18 0 4 0 652182855 288669696 1233 33554432000 4194304 4650419 140733733128816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 281904

[startup+0.300456 s]
/proc/loadavg: 6.60 7.78 7.96 3/347 18311
/proc/meminfo: memFree=24751360/32950928 swapFree=67056568/67111528
[pid=18311] ppid=18309 vsize=285408 CPUtime=1.16 cores=1,3,5,7
/proc/18311/stat : 18311 (strangenight1-m) R 18309 18311 18278 0 -1 4202496 3606 0 0 0 116 0 0 0 18 0 4 0 652182855 292257792 2702 33554432000 4194304 4650419 140733733128816 18446744073709551615 4366943 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18311/statm: 71352 2702 390 112 0 66317 0
[pid=18311/tid=18312] ppid=18309 vsize=285408 CPUtime=0.29 cores=1,3,5,7
/proc/18311/task/18312/stat : 18312 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 845 0 0 0 29 0 0 0 18 0 4 0 652182855 292257792 2702 33554432000 4194304 4650419 140733733128816 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18311/tid=18313] ppid=18309 vsize=285408 CPUtime=0.28 cores=1,3,5,7
/proc/18311/task/18313/stat : 18313 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 838 0 0 0 28 0 0 0 25 0 4 0 652182855 292257792 2702 33554432000 4194304 4650419 140733733128816 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18311/tid=18314] ppid=18309 vsize=285408 CPUtime=0.29 cores=1,3,5,7
/proc/18311/task/18314/stat : 18314 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 633 0 0 0 29 0 0 0 18 0 4 0 652182855 292257792 2702 33554432000 4194304 4650419 140733733128816 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 285408

[startup+0.700379 s]
/proc/loadavg: 6.60 7.78 7.96 3/347 18311
/proc/meminfo: memFree=24751360/32950928 swapFree=67056568/67111528
[pid=18311] ppid=18309 vsize=286468 CPUtime=2.77 cores=1,3,5,7
/proc/18311/stat : 18311 (strangenight1-m) R 18309 18311 18278 0 -1 4202496 5587 0 0 0 276 1 0 0 18 0 4 0 652182855 293343232 3485 33554432000 4194304 4650419 140733733128816 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18311/statm: 71617 3485 390 112 0 66582 0
[pid=18311/tid=18312] ppid=18309 vsize=286468 CPUtime=0.69 cores=1,3,5,7
/proc/18311/task/18312/stat : 18312 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 1311 0 0 0 69 0 0 0 18 0 4 0 652182855 293343232 3485 33554432000 4194304 4650419 140733733128816 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18311/tid=18313] ppid=18309 vsize=286468 CPUtime=0.68 cores=1,3,5,7
/proc/18311/task/18313/stat : 18313 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 1282 0 0 0 68 0 0 0 25 0 4 0 652182855 293343232 3485 33554432000 4194304 4650419 140733733128816 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18311/tid=18314] ppid=18309 vsize=286468 CPUtime=0.69 cores=1,3,5,7
/proc/18311/task/18314/stat : 18314 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 1250 0 0 0 69 0 0 0 18 0 4 0 652182855 293343232 3485 33554432000 4194304 4650419 140733733128816 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 286468

[startup+1.50023 s]
/proc/loadavg: 6.60 7.78 7.96 9/359 18323
/proc/meminfo: memFree=24726348/32950928 swapFree=67056568/67111528
[pid=18311] ppid=18309 vsize=287532 CPUtime=5.96 cores=1,3,5,7
/proc/18311/stat : 18311 (strangenight1-m) R 18309 18311 18278 0 -1 4202496 10043 0 0 0 595 1 0 0 20 0 4 0 652182855 294432768 5404 33554432000 4194304 4650419 140733733128816 18446744073709551615 4438939 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18311/statm: 71883 5404 392 112 0 66848 0
[pid=18311/tid=18312] ppid=18309 vsize=287532 CPUtime=1.49 cores=1,3,5,7
/proc/18311/task/18312/stat : 18312 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 2122 0 0 0 149 0 0 0 20 0 4 0 652182855 294432768 5404 33554432000 4194304 4650419 140733733128816 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18311/tid=18313] ppid=18309 vsize=287532 CPUtime=1.46 cores=1,3,5,7
/proc/18311/task/18313/stat : 18313 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 2097 0 0 0 146 0 0 0 25 0 4 0 652182855 294432768 5404 33554432000 4194304 4650419 140733733128816 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18311/tid=18314] ppid=18309 vsize=287532 CPUtime=1.49 cores=1,3,5,7
/proc/18311/task/18314/stat : 18314 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 2106 0 0 0 149 0 0 0 20 0 4 0 652182855 294432768 5404 33554432000 4194304 4650419 140733733128816 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 287532

[startup+3.10092 s]
/proc/loadavg: 6.60 7.78 7.96 9/359 18353
/proc/meminfo: memFree=24707500/32950928 swapFree=67056568/67111528
[pid=18311] ppid=18309 vsize=286500 CPUtime=12.35 cores=1,3,5,7
/proc/18311/stat : 18311 (strangenight1-m) R 18309 18311 18278 0 -1 4202496 16498 0 0 0 1233 2 0 0 25 0 4 0 652182855 293376000 10038 33554432000 4194304 4650419 140733733128816 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18311/statm: 71625 10038 392 112 0 66590 0
[pid=18311/tid=18312] ppid=18309 vsize=286500 CPUtime=3.09 cores=1,3,5,7
/proc/18311/task/18312/stat : 18312 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 3563 0 0 0 309 0 0 0 25 0 4 0 652182855 293376000 10038 33554432000 4194304 4650419 140733733128816 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18311/tid=18313] ppid=18309 vsize=286500 CPUtime=3.05 cores=1,3,5,7
/proc/18311/task/18313/stat : 18313 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 4309 0 0 0 305 0 0 0 25 0 4 0 652182855 293376000 10038 33554432000 4194304 4650419 140733733128816 18446744073709551615 4438407 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18311/tid=18314] ppid=18309 vsize=286500 CPUtime=3.09 cores=1,3,5,7
/proc/18311/task/18314/stat : 18314 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 4395 0 0 0 309 0 0 0 25 0 4 0 652182855 293376000 10038 33554432000 4194304 4650419 140733733128816 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 286500

[startup+6.30031 s]
/proc/loadavg: 6.71 7.78 7.96 9/359 18353
/proc/meminfo: memFree=24653940/32950928 swapFree=67056568/67111528
[pid=18311] ppid=18309 vsize=313816 CPUtime=25.11 cores=1,3,5,7
/proc/18311/stat : 18311 (strangenight1-m) R 18309 18311 18278 0 -1 4202496 23678 0 0 0 2507 4 0 0 25 0 4 0 652182855 321347584 12841 33554432000 4194304 4650419 140733733128816 18446744073709551615 4438402 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18311/statm: 78454 12841 392 112 0 73419 0
[pid=18311/tid=18312] ppid=18309 vsize=313816 CPUtime=6.29 cores=1,3,5,7
/proc/18311/task/18312/stat : 18312 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 6041 0 0 0 628 1 0 0 25 0 4 0 652182855 321347584 12841 33554432000 4194304 4650419 140733733128816 18446744073709551615 4370596 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18311/tid=18313] ppid=18309 vsize=313816 CPUtime=6.22 cores=1,3,5,7
/proc/18311/task/18313/stat : 18313 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 5589 0 0 0 621 1 0 0 25 0 4 0 652182855 321347584 12841 33554432000 4194304 4650419 140733733128816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18311/tid=18314] ppid=18309 vsize=313816 CPUtime=6.28 cores=1,3,5,7
/proc/18311/task/18314/stat : 18314 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 6406 0 0 0 628 0 0 0 25 0 4 0 652182855 321347584 12841 33554432000 4194304 4650419 140733733128816 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 313816

[startup+12.7011 s]
/proc/loadavg: 6.82 7.78 7.96 9/359 18353
/proc/meminfo: memFree=24608000/32950928 swapFree=67056568/67111528
[pid=18311] ppid=18309 vsize=295524 CPUtime=50.64 cores=1,3,5,7
/proc/18311/stat : 18311 (strangenight1-m) R 18309 18311 18278 0 -1 4202496 35125 0 0 0 5057 7 0 0 25 0 4 0 652182855 302616576 18162 33554432000 4194304 4650419 140733733128816 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18311/statm: 73881 18162 392 112 0 68846 0
[pid=18311/tid=18312] ppid=18309 vsize=295524 CPUtime=12.69 cores=1,3,5,7
/proc/18311/task/18312/stat : 18312 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 9014 0 0 0 1267 2 0 0 25 0 4 0 652182855 302616576 18162 33554432000 4194304 4650419 140733733128816 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18311/tid=18313] ppid=18309 vsize=295524 CPUtime=12.54 cores=1,3,5,7
/proc/18311/task/18313/stat : 18313 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 7546 0 0 0 1253 1 0 0 25 0 4 0 652182855 302616576 18162 33554432000 4194304 4650419 140733733128816 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18311/tid=18314] ppid=18309 vsize=295524 CPUtime=12.68 cores=1,3,5,7
/proc/18311/task/18314/stat : 18314 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 10022 0 0 0 1267 1 0 0 25 0 4 0 652182855 302616576 18162 33554432000 4194304 4650419 140733733128816 18446744073709551615 4330361 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 295524

[startup+25.5006 s]
/proc/loadavg: 7.21 7.83 7.97 9/359 18353
/proc/meminfo: memFree=24542696/32950928 swapFree=67056568/67111528
[pid=18311] ppid=18309 vsize=320604 CPUtime=101.69 cores=1,3,5,7
/proc/18311/stat : 18311 (strangenight1-m) R 18309 18311 18278 0 -1 4202496 53440 0 0 0 10157 12 0 0 25 0 4 0 652182855 328298496 25825 33554432000 4194304 4650419 140733733128816 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18311/statm: 80151 25825 392 112 0 75116 0
[pid=18311/tid=18312] ppid=18309 vsize=320604 CPUtime=25.48 cores=1,3,5,7
/proc/18311/task/18312/stat : 18312 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 13847 0 0 0 2546 2 0 0 25 0 4 0 652182855 328298496 25825 33554432000 4194304 4650419 140733733128816 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18311/tid=18313] ppid=18309 vsize=320604 CPUtime=25.2 cores=1,3,5,7
/proc/18311/task/18313/stat : 18313 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 11944 0 0 0 2517 3 0 0 25 0 4 0 652182855 328298496 25825 33554432000 4194304 4650419 140733733128816 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18311/tid=18314] ppid=18309 vsize=320604 CPUtime=25.49 cores=1,3,5,7
/proc/18311/task/18314/stat : 18314 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 14744 0 0 0 2546 3 0 0 25 0 4 0 652182855 328298496 25825 33554432000 4194304 4650419 140733733128816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 320604

[startup+51.1007 s]
/proc/loadavg: 7.48 7.84 7.97 9/359 18354
/proc/meminfo: memFree=24502188/32950928 swapFree=67056568/67111528
[pid=18311] ppid=18309 vsize=301920 CPUtime=203.81 cores=1,3,5,7
/proc/18311/stat : 18311 (strangenight1-m) R 18309 18311 18278 0 -1 4202496 77646 0 0 0 20363 18 0 0 25 0 4 0 652182855 309166080 28527 33554432000 4194304 4650419 140733733128816 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18311/statm: 75480 28527 392 112 0 70445 0
[pid=18311/tid=18312] ppid=18309 vsize=301920 CPUtime=51.09 cores=1,3,5,7
/proc/18311/task/18312/stat : 18312 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 18930 0 0 0 5105 4 0 0 25 0 4 0 652182855 309166080 28527 33554432000 4194304 4650419 140733733128816 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18311/tid=18313] ppid=18309 vsize=301920 CPUtime=50.52 cores=1,3,5,7
/proc/18311/task/18313/stat : 18313 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 17600 0 0 0 5048 4 0 0 25 0 4 0 652182855 309166080 28527 33554432000 4194304 4650419 140733733128816 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18311/tid=18314] ppid=18309 vsize=301920 CPUtime=51.09 cores=1,3,5,7
/proc/18311/task/18314/stat : 18314 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 22546 0 0 0 5104 5 0 0 25 0 4 0 652182855 309166080 28527 33554432000 4194304 4650419 140733733128816 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.81
Current children cumulated vsize (KiB) 301920

[startup+102.313 s]
/proc/loadavg: 7.82 7.88 7.97 9/359 18355
/proc/meminfo: memFree=24450448/32950928 swapFree=67056568/67111528
[pid=18311] ppid=18309 vsize=313160 CPUtime=408.1 cores=1,3,5,7
/proc/18311/stat : 18311 (strangenight1-m) R 18309 18311 18278 0 -1 4202496 114464 0 0 0 40779 31 0 0 25 0 4 0 652182855 320675840 33086 33554432000 4194304 4650419 140733733128816 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18311/statm: 78290 33086 392 112 0 73255 0
[pid=18311/tid=18312] ppid=18309 vsize=313160 CPUtime=102.3 cores=1,3,5,7
/proc/18311/task/18312/stat : 18312 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 28400 0 0 0 10223 7 0 0 25 0 4 0 652182855 320675840 33086 33554432000 4194304 4650419 140733733128816 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18311/tid=18313] ppid=18309 vsize=313160 CPUtime=101.16 cores=1,3,5,7
/proc/18311/task/18313/stat : 18313 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 24024 0 0 0 10110 6 0 0 25 0 4 0 652182855 320675840 33086 33554432000 4194304 4650419 140733733128816 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18311/tid=18314] ppid=18309 vsize=313160 CPUtime=102.3 cores=1,3,5,7
/proc/18311/task/18314/stat : 18314 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 35639 0 0 0 10221 9 0 0 25 0 4 0 652182855 320675840 33086 33554432000 4194304 4650419 140733733128816 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.1
Current children cumulated vsize (KiB) 313160

[startup+162.3 s]

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

[pid=18311] ppid=18309 vsize=349228 CPUtime=2801.26 cores=1,3,5,7
/proc/18311/stat : 18311 (strangenight1-m) R 18309 18311 18278 0 -1 4202496 372051 0 0 0 279994 132 0 0 25 0 4 0 652182855 357609472 63287 33554432000 4194304 4650419 140733733128816 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18311/statm: 87307 63287 392 112 0 82272 0
[pid=18311/tid=18312] ppid=18309 vsize=349228 CPUtime=702.31 cores=1,3,5,7
/proc/18311/task/18312/stat : 18312 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 99220 0 0 0 70200 31 0 0 25 0 4 0 652182855 357609472 63287 33554432000 4194304 4650419 140733733128816 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18311/tid=18313] ppid=18309 vsize=349228 CPUtime=694.32 cores=1,3,5,7
/proc/18311/task/18313/stat : 18313 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 64672 0 0 0 69408 24 0 0 25 0 4 0 652182855 357609472 63287 33554432000 4194304 4650419 140733733128816 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18311/tid=18314] ppid=18309 vsize=349228 CPUtime=702.31 cores=1,3,5,7
/proc/18311/task/18314/stat : 18314 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 113246 0 0 0 70196 35 0 0 25 0 4 0 652182855 357609472 63287 33554432000 4194304 4650419 140733733128816 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2801.26
Current children cumulated vsize (KiB) 349228

[startup+762.314 s]
/proc/loadavg: 8.08 8.07 8.01 9/359 18373
/proc/meminfo: memFree=24080104/32950928 swapFree=67056568/67111528
[pid=18311] ppid=18309 vsize=362092 CPUtime=3040.63 cores=1,3,5,7
/proc/18311/stat : 18311 (strangenight1-m) R 18309 18311 18278 0 -1 4202496 392523 0 0 0 303923 140 0 0 25 0 4 0 652182855 370782208 65906 33554432000 4194304 4650419 140733733128816 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18311/statm: 90523 65906 392 112 0 85488 0
[pid=18311/tid=18312] ppid=18309 vsize=362092 CPUtime=762.33 cores=1,3,5,7
/proc/18311/task/18312/stat : 18312 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 107315 0 0 0 76200 33 0 0 25 0 4 0 652182855 370782208 65906 33554432000 4194304 4650419 140733733128816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18311/tid=18313] ppid=18309 vsize=362092 CPUtime=753.64 cores=1,3,5,7
/proc/18311/task/18313/stat : 18313 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 68953 0 0 0 75338 26 0 0 25 0 4 0 652182855 370782208 65906 33554432000 4194304 4650419 140733733128816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18311/tid=18314] ppid=18309 vsize=362092 CPUtime=762.33 cores=1,3,5,7
/proc/18311/task/18314/stat : 18314 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 115026 0 0 0 76196 37 0 0 25 0 4 0 652182855 370782208 65906 33554432000 4194304 4650419 140733733128816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3040.63
Current children cumulated vsize (KiB) 362092

[startup+822.3 s]
/proc/loadavg: 8.03 8.05 8.01 9/359 18375
/proc/meminfo: memFree=24053292/32950928 swapFree=67056568/67111528
[pid=18311] ppid=18309 vsize=505192 CPUtime=3279.9 cores=1,3,5,7
/proc/18311/stat : 18311 (strangenight1-m) R 18309 18311 18278 0 -1 4202496 405796 0 0 0 327843 147 0 0 25 0 4 0 652182855 517316608 72700 33554432000 4194304 4650419 140733733128816 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18311/statm: 126298 72700 392 112 0 121263 0
[pid=18311/tid=18312] ppid=18309 vsize=505192 CPUtime=822.32 cores=1,3,5,7
/proc/18311/task/18312/stat : 18312 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 109837 0 0 0 82198 34 0 0 25 0 4 0 652182855 517316608 72700 33554432000 4194304 4650419 140733733128816 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18311/tid=18313] ppid=18309 vsize=505192 CPUtime=812.95 cores=1,3,5,7
/proc/18311/task/18313/stat : 18313 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 69639 0 0 0 81268 27 0 0 25 0 4 0 652182855 517316608 72700 33554432000 4194304 4650419 140733733128816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18311/tid=18314] ppid=18309 vsize=505192 CPUtime=822.32 cores=1,3,5,7
/proc/18311/task/18314/stat : 18314 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 119149 0 0 0 82193 39 0 0 25 0 4 0 652182855 517316608 72700 33554432000 4194304 4650419 140733733128816 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3279.9
Current children cumulated vsize (KiB) 505192

[startup+882.301 s]
/proc/loadavg: 8.07 8.06 8.01 9/359 18376
/proc/meminfo: memFree=24006536/32950928 swapFree=67056568/67111528
[pid=18311] ppid=18309 vsize=517676 CPUtime=3519.2 cores=1,3,5,7
/proc/18311/stat : 18311 (strangenight1-m) R 18309 18311 18278 0 -1 4202496 428031 0 0 0 351767 153 0 0 25 0 4 0 652182855 530100224 78079 33554432000 4194304 4650419 140733733128816 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18311/statm: 129419 78079 392 112 0 124384 0
[pid=18311/tid=18312] ppid=18309 vsize=517676 CPUtime=882.32 cores=1,3,5,7
/proc/18311/task/18312/stat : 18312 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 112399 0 0 0 88197 35 0 0 25 0 4 0 652182855 530100224 78079 33554432000 4194304 4650419 140733733128816 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18311/tid=18313] ppid=18309 vsize=517676 CPUtime=872.23 cores=1,3,5,7
/proc/18311/task/18313/stat : 18313 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 70155 0 0 0 87196 27 0 0 25 0 4 0 652182855 530100224 78079 33554432000 4194304 4650419 140733733128816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18311/tid=18314] ppid=18309 vsize=517676 CPUtime=882.32 cores=1,3,5,7
/proc/18311/task/18314/stat : 18314 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 124607 0 0 0 88191 41 0 0 25 0 4 0 652182855 530100224 78079 33554432000 4194304 4650419 140733733128816 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3519.2
Current children cumulated vsize (KiB) 517676

[startup+942.3 s]
/proc/loadavg: 8.11 8.07 8.01 9/359 18378
/proc/meminfo: memFree=24035788/32950928 swapFree=67056568/67111528
[pid=18311] ppid=18309 vsize=482592 CPUtime=3758.5 cores=1,3,5,7
/proc/18311/stat : 18311 (strangenight1-m) R 18309 18311 18278 0 -1 4202496 439537 0 0 0 375693 157 0 0 25 0 4 0 652182855 494174208 72360 33554432000 4194304 4650419 140733733128816 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18311/statm: 120648 72360 392 112 0 115613 0
[pid=18311/tid=18312] ppid=18309 vsize=482592 CPUtime=942.32 cores=1,3,5,7
/proc/18311/task/18312/stat : 18312 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 114814 0 0 0 94196 36 0 0 25 0 4 0 652182855 494174208 72360 33554432000 4194304 4650419 140733733128816 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18311/tid=18313] ppid=18309 vsize=482592 CPUtime=931.54 cores=1,3,5,7
/proc/18311/task/18313/stat : 18313 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 72187 0 0 0 93125 29 0 0 25 0 4 0 652182855 494174208 72360 33554432000 4194304 4650419 140733733128816 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18311/tid=18314] ppid=18309 vsize=482592 CPUtime=942.32 cores=1,3,5,7
/proc/18311/task/18314/stat : 18314 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 127264 0 0 0 94191 41 0 0 25 0 4 0 652182855 494174208 72360 33554432000 4194304 4650419 140733733128816 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3758.5
Current children cumulated vsize (KiB) 482592

[startup+1002.3 s]
/proc/loadavg: 8.20 8.10 8.02 9/359 18379
/proc/meminfo: memFree=24005888/32950928 swapFree=67056568/67111528
[pid=18311] ppid=18309 vsize=468920 CPUtime=3997.8 cores=1,3,5,7
/proc/18311/stat : 18311 (strangenight1-m) R 18309 18311 18278 0 -1 4202496 454952 0 0 0 399617 163 0 0 25 0 4 0 652182855 480174080 70429 33554432000 4194304 4650419 140733733128816 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18311/statm: 117230 70429 392 112 0 112195 0
[pid=18311/tid=18312] ppid=18309 vsize=468920 CPUtime=1002.32 cores=1,3,5,7
/proc/18311/task/18312/stat : 18312 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 115143 0 0 0 100196 36 0 0 25 0 4 0 652182855 480174080 70429 33554432000 4194304 4650419 140733733128816 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18311/tid=18313] ppid=18309 vsize=468920 CPUtime=990.83 cores=1,3,5,7
/proc/18311/task/18313/stat : 18313 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 73096 0 0 0 99053 30 0 0 25 0 4 0 652182855 480174080 70429 33554432000 4194304 4650419 140733733128816 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18311/tid=18314] ppid=18309 vsize=468920 CPUtime=1002.33 cores=1,3,5,7
/proc/18311/task/18314/stat : 18314 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 136638 0 0 0 100190 43 0 0 25 0 4 0 652182855 480174080 70429 33554432000 4194304 4650419 140733733128816 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3997.8
Current children cumulated vsize (KiB) 468920

[startup+1062.3 s]
/proc/loadavg: 8.12 8.10 8.02 9/359 18390
/proc/meminfo: memFree=23998100/32950928 swapFree=67056568/67111528
[pid=18311] ppid=18309 vsize=535932 CPUtime=4237.1 cores=1,3,5,7
/proc/18311/stat : 18311 (strangenight1-m) R 18309 18311 18278 0 -1 4202496 469626 0 0 0 423543 167 0 0 25 0 4 0 652182855 548794368 74950 33554432000 4194304 4650419 140733733128816 18446744073709551615 4365276 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18311/statm: 133983 74950 392 112 0 128948 0
[pid=18311/tid=18312] ppid=18309 vsize=535932 CPUtime=1062.32 cores=1,3,5,7
/proc/18311/task/18312/stat : 18312 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 116916 0 0 0 106195 37 0 0 25 0 4 0 652182855 548794368 74950 33554432000 4194304 4650419 140733733128816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18311/tid=18313] ppid=18309 vsize=535932 CPUtime=1050.13 cores=1,3,5,7
/proc/18311/task/18313/stat : 18313 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 77607 0 0 0 104982 31 0 0 25 0 4 0 652182855 548794368 74950 33554432000 4194304 4650419 140733733128816 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18311/tid=18314] ppid=18309 vsize=535932 CPUtime=1062.33 cores=1,3,5,7
/proc/18311/task/18314/stat : 18314 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 142601 0 0 0 106189 44 0 0 25 0 4 0 652182855 548794368 74950 33554432000 4194304 4650419 140733733128816 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4237.1
Current children cumulated vsize (KiB) 535932

[startup+1122.3 s]
/proc/loadavg: 8.24 8.13 8.04 9/359 18392
/proc/meminfo: memFree=23979700/32950928 swapFree=67056568/67111528
[pid=18311] ppid=18309 vsize=524740 CPUtime=4476.43 cores=1,3,5,7
/proc/18311/stat : 18311 (strangenight1-m) R 18309 18311 18278 0 -1 4202496 482494 0 0 0 447468 175 0 0 25 0 4 0 652182855 537333760 78398 33554432000 4194304 4650419 140733733128816 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18311/statm: 131185 78398 392 112 0 126150 0
[pid=18311/tid=18312] ppid=18309 vsize=524740 CPUtime=1122.33 cores=1,3,5,7
/proc/18311/task/18312/stat : 18312 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 118774 0 0 0 112194 39 0 0 25 0 4 0 652182855 537333760 78398 33554432000 4194304 4650419 140733733128816 18446744073709551615 4313339 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18311/tid=18313] ppid=18309 vsize=524740 CPUtime=1109.45 cores=1,3,5,7
/proc/18311/task/18313/stat : 18313 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 79609 0 0 0 110913 32 0 0 25 0 4 0 652182855 537333760 78398 33554432000 4194304 4650419 140733733128816 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18311/tid=18314] ppid=18309 vsize=524740 CPUtime=1122.33 cores=1,3,5,7
/proc/18311/task/18314/stat : 18314 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 146497 0 0 0 112186 47 0 0 25 0 4 0 652182855 537333760 78398 33554432000 4194304 4650419 140733733128816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4476.43
Current children cumulated vsize (KiB) 524740

[startup+1182.3 s]
/proc/loadavg: 8.09 8.11 8.03 9/359 18393
/proc/meminfo: memFree=23959328/32950928 swapFree=67056568/67111528
[pid=18311] ppid=18309 vsize=524740 CPUtime=4715.76 cores=1,3,5,7
/proc/18311/stat : 18311 (strangenight1-m) R 18309 18311 18278 0 -1 4202496 492597 0 0 0 471394 182 0 0 25 0 4 0 652182855 537333760 83348 33554432000 4194304 4650419 140733733128816 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18311/statm: 131185 83348 392 112 0 126150 0
[pid=18311/tid=18312] ppid=18309 vsize=524740 CPUtime=1182.33 cores=1,3,5,7
/proc/18311/task/18312/stat : 18312 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 123643 0 0 0 118191 42 0 0 25 0 4 0 652182855 537333760 83348 33554432000 4194304 4650419 140733733128816 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18311/tid=18313] ppid=18309 vsize=524740 CPUtime=1168.77 cores=1,3,5,7
/proc/18311/task/18313/stat : 18313 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 79609 0 0 0 116845 32 0 0 25 0 4 0 652182855 537333760 83348 33554432000 4194304 4650419 140733733128816 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18311/tid=18314] ppid=18309 vsize=524740 CPUtime=1182.32 cores=1,3,5,7
/proc/18311/task/18314/stat : 18314 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 150118 0 0 0 118184 48 0 0 25 0 4 0 652182855 537333760 83348 33554432000 4194304 4650419 140733733128816 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4715.76
Current children cumulated vsize (KiB) 524740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.5 s]
/proc/loadavg: 8.06 8.10 8.03 10/360 18397
/proc/meminfo: memFree=23945660/32950928 swapFree=67056568/67111528
[pid=18311] ppid=18309 vsize=524740 CPUtime=4800.33 cores=1,3,5,7
/proc/18311/stat : 18311 (strangenight1-m) R 18309 18311 18278 0 -1 4202496 494687 0 0 0 479849 184 0 0 25 0 4 0 652182855 537333760 80588 33554432000 4194304 4650419 140733733128816 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18311/statm: 131185 80588 392 112 0 126150 0
[pid=18311/tid=18312] ppid=18309 vsize=524740 CPUtime=1203.54 cores=1,3,5,7
/proc/18311/task/18312/stat : 18312 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 124119 0 0 0 120312 42 0 0 25 0 4 0 652182855 537333760 80588 33554432000 4194304 4650419 140733733128816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18311/tid=18313] ppid=18309 vsize=524740 CPUtime=1189.72 cores=1,3,5,7
/proc/18311/task/18313/stat : 18313 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 79609 0 0 0 118940 32 0 0 25 0 4 0 652182855 537333760 80588 33554432000 4194304 4650419 140733733128816 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18311/tid=18314] ppid=18309 vsize=524740 CPUtime=1203.54 cores=1,3,5,7
/proc/18311/task/18314/stat : 18314 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 151396 0 0 0 120305 49 0 0 25 0 4 0 652182855 537333760 80588 33554432000 4194304 4650419 140733733128816 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 524740

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

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

[startup+1203.5 s]
/proc/loadavg: 8.06 8.10 8.03 10/360 18397
/proc/meminfo: memFree=23945660/32950928 swapFree=67056568/67111528
[pid=18311] ppid=18309 vsize=524740 CPUtime=4800.33 cores=1,3,5,7
/proc/18311/stat : 18311 (strangenight1-m) R 18309 18311 18278 0 -1 4202496 494687 0 0 0 479849 184 0 0 25 0 4 0 652182855 537333760 80588 33554432000 4194304 4650419 140733733128816 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18311/statm: 131185 80588 392 112 0 126150 0
[pid=18311/tid=18312] ppid=18309 vsize=524740 CPUtime=1203.54 cores=1,3,5,7
/proc/18311/task/18312/stat : 18312 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 124119 0 0 0 120312 42 0 0 25 0 4 0 652182855 537333760 80588 33554432000 4194304 4650419 140733733128816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18311/tid=18313] ppid=18309 vsize=524740 CPUtime=1189.72 cores=1,3,5,7
/proc/18311/task/18313/stat : 18313 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 79609 0 0 0 118940 32 0 0 25 0 4 0 652182855 537333760 80588 33554432000 4194304 4650419 140733733128816 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18311/tid=18314] ppid=18309 vsize=524740 CPUtime=1203.54 cores=1,3,5,7
/proc/18311/task/18314/stat : 18314 (strangenight1-m) R 18309 18311 18278 0 -1 4202560 151396 0 0 0 120305 49 0 0 25 0 4 0 652182855 537333760 80588 33554432000 4194304 4650419 140733733128816 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 524740

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.53
CPU time (s): 4800.38
CPU user time (s): 4798.53
CPU system time (s): 1.85472
CPU usage (%): 398.857
Max. virtual memory (cumulated for all children) (KiB): 535932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.53
system time used= 1.85472
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 494687
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= 270
involuntary context switches= 32575

runsolver used 3.78442 second user time and 10.0555 second system time

The end

Launcher Data

Begin job on node148 at 2011-05-14 22:44:18
IDJOB=3368909
IDBENCH=82918
IDSOLVER=1846
FILE ID=node148/3368909-1305405858
RUNJOBID= node148-1305405858-18297
PBS_JOBID= 13324501
Free space on /tmp= 72840 MiB

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

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

MD5SUM BENCH= 9e4f1914facdb4a8b3ffdd1de343beff
RANDOM SEED=724331865

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24751640 kB
Buffers:        315988 kB
Cached:        4594984 kB
SwapCached:       8488 kB
Active:        4547072 kB
Inactive:      3298296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24751640 kB
SwapTotal:    67111528 kB
SwapFree:     67056568 kB
Dirty:           12608 kB
Writeback:           0 kB
AnonPages:     2931828 kB
Mapped:          26820 kB
Slab:           259228 kB
PageTables:      28860 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 84644960 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= 72828 MiB
End job on node148 at 2011-05-14 23:04:23