Trace number 3175300

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

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.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-3175300-1304109354.cnf'
0.00/0.00	c -- header says num vars:             60
0.00/0.00	c -- header says num clauses:        5340
0.00/0.01	c -- clauses added:            0 learnts,         5340 normals,            0 xors
0.00/0.01	c -- vars added         60
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.38/0.12	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.45
0.38/0.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.38/0.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.38/0.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.38/0.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
0.38/0.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.38/0.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
0.38/0.14	c Finding binary XORs  T:     0.00 s  found:       0
0.38/0.14	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.38/0.14	c calculated reachability. Time: 0.00
0.38/0.14	c Calc default polars -  time:   0.00 s pos:      31 undec:       1 neg:      28
0.38/0.14	c =========================================================================================
0.38/0.14	c types(t): F = full restart, N = normal restart
0.38/0.14	c types(t): S = simplification begin/end, E = solution found
0.38/0.14	c restart types(rt): st = static, dy = dynamic
0.38/0.14	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.38/0.14	c  B st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.77/0.25	c  N dy     8      4325        60      5340         0      3870     37380     84978     18.56     19.54  --
1.57/0.43	c  N dy    11      9811        60      5340         0      6490     37380    132476     17.88     18.87  --
3.57/0.96	c  N dy    30     23428        60      5340         0      9773     37380    183618     17.25     18.17  --
3.99/1.05	c  F st    45     25001        60      5340         0     11173     37380    213805     17.40   no data  --
4.77/1.20	c  N st    50     28300        60      5340         0      8092     37380    144087     17.40   no data  --
4.77/1.27	c  S st    51     30000        60      5340         0      9610     37380    176236     17.40   no data  --
5.17/1.31	c  S st    51     30502        60      5340         0     10067     37380    186368     17.40   no data  --
5.17/1.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.17/1.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.17/1.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
5.17/1.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.79/2.21	c lits-rem:      1337  cl-subs:     1100  v-elim:      0  v-fix:    0  time:  3.57 s
9.56/2.47	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.04
9.56/2.47	c calculated reachability. Time: 0.00
9.56/2.47	c  N dy    51     30502        60      5340         0      8967     37380    161343     17.40   no data  --
10.76/2.70	c  N dy    87     34636        60      5340         0     12637     37380    240533     17.69     18.76  --
11.56/2.91	c  N dy   100     38733        60      5340         0      9317     37380    157101     17.72     19.93  --
12.36/3.14	c  N dy   137     42749        60      5340         0     12936     37380    235809     17.94     19.34  --
13.17/3.34	c  S st   164     45754        60      5340         0     15636     37380    294944     18.08   no data  --
13.17/3.40	c  S st   164     46257        60      5340         0      8122     37380    123989     18.08   no data  --
13.55/3.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.55/3.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.55/3.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.55/3.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.55/3.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.55/3.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
13.55/3.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.36/4.12	c lits-rem:        59  cl-subs:       22  v-elim:      0  v-fix:    0  time:  2.87 s
16.36/4.12	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
16.36/4.12	c vivif2 --  cl tried     8100 cl shrink        0 lits rem          0 time: 0.00
17.17/4.35	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.90
17.17/4.35	c calculated reachability. Time: 0.00
17.17/4.35	c  N dy   164     46257        60      5340         0      8100     37380    123425     18.08   no data  --
17.95/4.56	c  N dy   175     50325        60      5340         0     11735     37380    200813     18.08     19.43  --
19.15/4.81	c  N dy   194     54513        60      5340         0     15489     37380    281527     18.15     19.11  --
20.35/5.14	c  N dy   200     60417        60      5340         0     11816     37380    190664     18.09     19.11  --
21.57/5.44	c  N dy   207     65545        60      5340         0     16372     37380    285738     18.06     19.03  --
22.75/5.74	c  S st   225     69387        60      5340         0     10018     37380    144946     18.09     18.74  --
22.75/5.77	c  S st   225     69889        60      5340         0     10473     37380    155106     18.09   no data  --
22.75/5.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.75/5.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
22.75/5.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
22.75/5.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
22.75/5.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22.75/5.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
22.75/5.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.36/6.61	c lits-rem:       221  cl-subs:      129  v-elim:      0  v-fix:    0  time:  3.29 s
26.36/6.61	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
26.36/6.61	c vivif2 --  cl tried    10344 cl shrink        0 lits rem          0 time: 0.00
27.13/6.89	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.10
27.13/6.89	c calculated reachability. Time: 0.00
27.13/6.89	c  N dy   225     69889        60      5340         0     10344     37380    151823     18.09   no data  --
28.33/7.16	c  N dy   238     75065        60      5340         0     14954     37380    249210     18.08     19.12  --
29.94/7.56	c  N dy   277     80309        60      5340         0     19623     37380    350192     18.17     19.15  --
31.53/7.91	c  N dy   286     85527        60      5340         0     13614     37380    211489     18.14     19.28  --
31.93/8.04	c  F st   291     87502        60      5340         0     15365     37380    248079     18.13     18.24  --
33.12/8.38	c  N dy   297     92697        60      5340         0     19958     37380    346559     18.13   no data  --
35.14/8.87	c  N dy   306     99016        60      5340         0     14019     37380    208634     18.11     19.08  --
36.72/9.24	c  S st   316    104835        60      5340         0     19158     37380    314857     18.06     17.73  --
36.72/9.29	c  S st   316    105340        60      5340         0     19622     37380    325266     18.06   no data  --
36.72/9.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.72/9.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.72/9.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
37.13/9.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
37.13/9.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
37.13/9.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
37.13/9.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.12/10.81	c lits-rem:      1712  cl-subs:     2373  v-elim:      0  v-fix:    0  time:  6.00 s
43.12/10.81	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
43.12/10.81	c vivif2 --  cl tried    17249 cl shrink        0 lits rem          0 time: 0.01
44.31/11.16	c asymm  cl-useful: 0/4571/5340 lits-rem:0 time: 1.41
44.31/11.16	c calculated reachability. Time: 0.00
44.31/11.16	c  N dy   316    105340        60      5340         0     17249     37380    276143     18.06   no data  --
46.31/11.65	c  N dy   330    112418        60      5340         0     23590     37380    410801     18.04     19.02  --
48.33/12.19	c  N dy   360    120274        60      5340         0     18294     37380    293556     18.07     19.11  --
55.90/14.08	c  N dy   371    145122        60      5340         0     26843     37380    449303     17.80     18.77  --
59.09/14.84	c  N dy   432    154467        60      5340         0     21106     37380    332250     17.87     19.28  --
60.30/15.17	c  S st   466    158010        60      5340         0     24276     37380    401192     17.91   no data  --
60.70/15.24	c  S st   466    158514        60      5340         0     24736     37380    411369     17.91   no data  --
60.70/15.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
60.70/15.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
60.70/15.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
60.70/15.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
60.70/15.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
60.70/15.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
60.70/15.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
68.68/17.21	c lits-rem:      1886  cl-subs:     2241  v-elim:      0  v-fix:    0  time:  7.79 s
68.68/17.21	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
68.68/17.21	c vivif2 --  cl tried    22495 cl shrink        0 lits rem          0 time: 0.02
69.08/17.30	c asymm  cl-useful: 0/769/5340 lits-rem:0 time: 0.37
69.08/17.30	c calculated reachability. Time: 0.00
69.08/17.30	c  N dy   466    158514        60      5340         0     22495     37380    359874     17.91   no data  --
72.68/18.26	c  N dy   511    168924        60      5340         0     16759     37380    229298     17.94     18.96  --
76.67/19.21	c  N dy   570    179775        60      5340         0     26416     37380    436995     17.99     19.52  --
81.86/20.54	c  N dy   634    194191        60      5340         0     23319     37380    354751     18.00     18.97  --
87.06/21.86	c  N dy   679    206672        60      5340         0     17566     37380    227689     17.99     19.05  --
93.45/23.41	c  N dy   736    222835        60      5340         0     31946     37380    532032     18.00     19.11  --
99.04/24.84	c  N dy   800    237771        60      5340         0     27513     37380    429455     18.04     17.05  --
99.04/24.84	c  S st   800    237771        60      5340         0     27513     37380    429455     18.04     17.05  --
99.44/24.91	c  S st   800    238273        60      5340         0     27974     37380    439741     18.04   no data  --
99.44/24.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
99.44/24.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
99.44/24.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
99.44/24.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
99.44/24.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
99.44/24.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
99.44/24.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
108.63/27.22	c lits-rem:      2037  cl-subs:     2510  v-elim:      0  v-fix:    0  time:  9.13 s
108.63/27.22	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
108.63/27.22	c vivif2 --  cl tried    25464 cl shrink        0 lits rem          0 time: 0.02
110.22/27.60	c asymm  cl-useful: 0/3345/5340 lits-rem:0 time: 1.50
110.22/27.60	c calculated reachability. Time: 0.00
110.22/27.60	c  N dy   800    238273        60      5340         0     25464     37380    384241     18.04   no data  --
116.61/29.27	c  N dy   830    254950        60      5340         0     21670     37380    291847     18.01     18.98  --
127.79/32.04	c  N dy   866    286462        60      5340         0     30071     37380    450820     17.87     18.92  --
135.81/34.06	c  N dy   956    305031        60      5340         0     26294     37380    372186     17.91     18.88  --
136.58/34.20	c  F st   968    306251        60      5340         0     27385     37380    396010     17.92   no data  --
145.37/36.46	c  N dy  1057    324565        60      5340         0     22404     37380    278009     17.97     19.64  --
154.57/38.72	c  N dy  1152    345270        60      5340         0     40789     37380    671719     17.99     18.96  --
160.16/40.15	c  S st  1215    357411        60      5340         0     29396     37380    418728     18.02     17.91  --
160.56/40.23	c  S st  1215    357912        60      5340         0     29839     37380    428635     18.02   no data  --
160.56/40.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
160.56/40.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
160.56/40.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
160.56/40.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
160.56/40.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
160.56/40.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
160.56/40.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
170.14/42.68	c lits-rem:      1599  cl-subs:     1723  v-elim:      0  v-fix:    0  time:  9.68 s
170.14/42.68	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
170.14/42.69	c vivif2 --  cl tried    28116 cl shrink        0 lits rem          0 time: 0.02
171.36/42.98	c asymm  cl-useful: 0/1995/5340 lits-rem:0 time: 1.17
171.36/42.98	c calculated reachability. Time: 0.00
171.36/42.98	c  N dy  1215    357912        60      5340         0     28116     37380    389786     18.02   no data  --
184.14/46.11	c  N dy  1282    377984        60      5340         0     45878     37380    765308     18.01     20.03  --
194.10/48.68	c  N dy  1362    398567        60      5340         0     41173     37380    658485     18.03     19.26  --
204.09/51.16	c  N dy  1459    418593        60      5340         0     35112     37380    522089     18.05     19.64  --
223.28/55.99	c  N dy  1550    456936        60      5340         0     44081     37380    676114     17.98     18.96  --
234.46/58.77	c  N dy  1642    477028        60      5340         0     36228     37380    517523     18.00     19.07  --
247.23/61.97	c  N dy  1717    497947        60      5340         0     28179     37380    336900     18.01     19.04  --
258.84/64.89	c  N dy  1788    521449        60      5340         0     48975     37380    777827     18.01     19.02  --
268.81/67.36	c  S st  1863    536869        60      5340         0     35152     37380    472747     18.02     18.75  --
269.21/67.45	c  S st  1863    537375        60      5340         0     35602     37380    482824     18.02   no data  --
269.21/67.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
269.21/67.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
269.21/67.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
269.21/67.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
269.21/67.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
269.21/67.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
269.21/67.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
278.39/69.78	c lits-rem:      1346  cl-subs:     2335  v-elim:      0  v-fix:    0  time:  9.19 s
278.39/69.78	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
278.39/69.78	c vivif2 --  cl tried    33267 cl shrink        0 lits rem          0 time: 0.02
279.99/70.17	c asymm  cl-useful: 0/2737/5340 lits-rem:0 time: 1.53
279.99/70.17	c calculated reachability. Time: 0.00
279.99/70.17	c  N dy  1863    537375        60      5340         0     33267     37380    434464     18.02   no data  --
291.98/73.18	c  N dy  1939    558003        60      5340         0     51562     37380    823818     18.03     19.10  --
303.96/76.16	c  N dy  2041    578016        60      5340         0     41126     37380    595020     18.05     19.00  --
317.14/79.48	c  N dy  2077    598101        60      5340         0     29726     37380    341089     18.03     19.03  --
333.54/83.51	c  N dy  2176    627132        60      5340         0     55424     37380    882496     18.02     19.29  --
347.50/87.05	c  N dy  2279    649342        60      5340         0     45138     37380    663993     18.04     19.04  --
364.30/91.22	c  N dy  2347    671380        60      5340         0     33646     37380    404257     18.04     19.27  --
377.06/94.48	c  N dy  2481    691424        60      5340         0     51461     37380    788661     18.07     19.69  --
392.24/98.27	c  N dy  2493    713264        60      5340         0     38725     37380    491529     18.02     19.32  --
406.63/101.86	c  N dy  2565    734771        60      5340         0     57752     37380    892395     18.01     19.00  --
421.82/105.61	c  N dy  2687    754820        60      5340         0     42868     37380    581973     18.04     19.61  --
435.39/109.07	c  N dy  2754    774898        60      5340         0     60683     37380    960088     18.04     19.15  --
450.57/112.89	c  N dy  2872    794953        60      5340         0     44840     37380    613044     18.06     20.19  --
458.96/114.97	c  S st  2934    806062        60      5340         0     54693     37380    824695     18.07     16.61  --
459.76/115.12	c  S st  2934    806566        60      5340         0     55158     37380    835242     18.07   no data  --
459.76/115.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
459.76/115.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
459.76/115.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
459.76/115.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
459.76/115.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
459.76/115.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
459.76/115.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
491.73/123.20	c lits-rem:      2300  cl-subs:     5434  v-elim:      0  v-fix:    0  time: 32.03 s
491.73/123.20	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
492.13/123.21	c vivif2 --  cl tried    49724 cl shrink        0 lits rem          0 time: 0.03
492.90/123.45	c asymm  cl-useful: 0/790/5340 lits-rem:0 time: 0.99
492.90/123.45	c calculated reachability. Time: 0.00
492.90/123.45	c  N dy  2934    806566        60      5340         0     49724     37380    717349     18.07   no data  --
512.88/128.43	c  N dy  2997    830362        60      5340         0     36470     37380    421159     18.06     19.06  --
525.66/131.61	c  N dy  3055    850707        60      5340         0     54485     37380    804347     18.06     19.20  --
542.44/135.81	c  N dy  3134    870719        60      5340         0     36903     37380    422671     18.06     19.06  --
555.22/139.08	c  N dy  3228    890747        60      5340         0     54685     37380    803821     18.07     19.14  --
574.40/143.82	c  N dy  3330    910797        60      5340         0     72480     37380   1186264     18.08     19.68  --
587.58/147.11	c  N dy  3419    930872        60      5340         0     54048     37380    776026     18.09     19.22  --
607.15/152.01	c  N dy  3492    952315        60      5340         0     73022     37380   1173790     18.08     19.26  --
622.34/155.82	c  N dy  3619    972364        60      5340         0     53637     37380    762894     18.10     19.09  --
641.53/160.68	c  N dy  3715    993117        60      5340         0     72036     37380   1159335     18.12     19.10  --
655.88/164.22	c  N dy  3764   1013570        60      5340         0     52054     37380    710711     18.11     19.07  --
673.06/168.52	c  N dy  3836   1033753        60      5340         0     69955     37380   1090695     18.10     19.13  --
691.04/173.08	c  N dy  3959   1053801        60      5340         0     48788     37380    637718     18.12     19.69  --
706.23/176.84	c  F st  4060   1071876        60      5340         0     64857     37380    985737     18.13     18.36  --
707.82/177.29	c  N st  4064   1073909        60      5340         0     66662     37380   1025012     18.13   no data  --
728.19/182.38	c  N dy  4152   1094545        60      5340         0     45006     37380    543629     18.14     19.13  --
744.97/186.53	c  N dy  4196   1118577        60      5340         0     66082     37380    979876     18.12     19.09  --
762.55/190.93	c  N dy  4199   1143952        60      5340         0     47736     37380    584212     18.09     19.08  --
779.73/195.25	c  N dy  4278   1163982        60      5340         0     65435     37380    962154     18.09     20.86  --
805.29/201.65	c  N dy  4374   1184042        60      5340         0     41722     37380    454237     18.10     20.93  --
822.47/205.92	c  N dy  4418   1204732        60      5340         0     59944     37380    839938     18.10     19.18  --
828.86/207.54	c  S st  4444   1209851        60      5340         0     64479     37380    938519     18.11   no data  --
829.66/207.79	c  S st  4444   1210354        60      5340         0     64932     37380    948728     18.11   no data  --
829.66/207.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
829.66/207.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
830.08/207.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
830.08/207.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
830.08/207.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
830.08/207.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
830.08/207.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
894.38/223.90	c lits-rem:      2951  cl-subs:     6521  v-elim:      0  v-fix:    0  time: 64.02 s
894.38/223.90	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
894.38/223.91	c vivif2 --  cl tried    58411 cl shrink        0 lits rem          0 time: 0.04
895.57/224.24	c asymm  cl-useful: 0/671/5340 lits-rem:0 time: 1.31
895.57/224.24	c calculated reachability. Time: 0.00
895.57/224.24	c  N dy  4444   1210354        60      5340         0     58411     37380    810335     18.11   no data  --
915.54/229.29	c  N dy  4501   1230460        60      5340         0     76184     37380   1185342     18.10     19.08  --
934.32/233.97	c  N dy  4576   1250527        60      5340         0     51852     37380    663573     18.10     21.24  --
952.30/238.45	c  N dy  4666   1271330        60      5340         0     70286     37380   1058860     18.11     19.07  --
979.06/245.10	c  N dy  4796   1293779        60      5340         0     47060     37380    549162     18.13     19.11  --
999.84/250.38	c  N dy  4900   1313868        60      5340         0     64964     37380    937465     18.14     19.11  --
1028.99/257.66	c  N dy  5035   1334395        60      5340         0     83117     37380   1331356     18.16     19.13  --
1050.96/263.18	c  N dy  5110   1355572        60      5340         0     57587     37380    756560     18.15     19.19  --
1073.33/268.79	c  N dy  5198   1375798        60      5340         0     75451     37380   1141468     18.16     19.12  --
1097.30/274.78	c  N dy  5286   1396832        60      5340         0     48969     37380    567903     18.16     19.21  --
1111.70/278.32	c  N dy  5321   1417417        60      5340         0     67023     37380    946747     18.15     19.14  --
1133.27/283.75	c  N dy  5385   1437706        60      5340         0     84826     37380   1320085     18.15     19.11  --
1153.63/288.88	c  N dy  5481   1457774        60      5340         0     56799     37380    729442     18.16     19.87  --
1172.41/293.60	c  N dy  5571   1477859        60      5340         0     74558     37380   1109406     18.16     20.33  --
1200.36/300.50	c  N dy  5650   1501495        60      5340         0     48637     37380    541577     18.16     19.17  --
1216.35/304.53	c  N dy  5723   1521512        60      5340         0     66318     37380    919145     18.16     19.24  --
1241.90/310.98	c  N dy  5850   1542616        60      5340         0     85064     37380   1326746     18.17     19.16  --
1263.88/316.44	c  N dy  5895   1563496        60      5340         0     55726     37380    677815     18.16     19.13  --
1283.07/321.28	c  N dy  6010   1583503        60      5340         0     73492     37380   1063973     18.18     19.15  --
1313.02/328.77	c  N dy  6091   1609904        60      5340         0     96779     37380   1556906     18.17     19.17  --
1331.41/333.38	c  N dy  6183   1629966        60      5340         0     65858     37380    889294     18.17     20.14  --
1354.96/339.20	c  N dy  6280   1650594        60      5340         0     84096     37380   1282925     18.18     19.17  --
1380.12/345.51	c  N dy  6333   1672652        60      5340         0     54035     37380    630210     18.17     19.19  --
1398.50/350.19	c  N dy  6426   1692670        60      5340         0     71756     37380   1013757     18.18     21.11  --
1426.06/357.00	c  S st  6535   1710354        60      5340         0     87431     37380   1353793     18.19     17.73  --
1427.26/357.32	c  S st  6535   1710856        60      5340         0     87883     37380   1363886     18.19   no data  --
1427.26/357.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1427.26/357.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1427.26/357.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.20
1427.68/357.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1427.68/357.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1427.68/357.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
1427.68/357.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1617.03/404.88	c lits-rem:      5478  cl-subs:     9618  v-elim:      0  v-fix:    0  time: 189.58 s
1617.03/404.88	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
1617.40/404.90	c vivif2 --  cl tried    78265 cl shrink        0 lits rem          0 time: 0.06
1618.60/405.29	c asymm  cl-useful: 0/509/5340 lits-rem:0 time: 1.56
1618.60/405.29	c calculated reachability. Time: 0.00
1618.60/405.29	c  N dy  6535   1710856        60      5340         0     78265     37380   1150067     18.19   no data  --
1649.76/413.06	c  N dy  6623   1732282        60      5340         0     97224     37380   1556390     18.19     19.18  --
1680.51/420.77	c  N dy  6670   1761645        60      5340         0     73186     37380   1019027     18.18     19.33  --
1767.60/442.59	c  N dy  6736   1837877        60      5340         0     88724     37380   1292111     18.10     19.12  --
1803.96/451.61	c  N dy  6865   1857940        60      5340         0     54990     37380    624149     18.11     21.22  --
1828.72/457.80	c  N dy  6983   1879421        60      5340         0     73958     37380   1034828     18.13     19.08  --
1861.88/466.10	c  N dy  7026   1907207        60      5340         0     98290     37380   1539527     18.11     19.10  --
1893.04/474.00	c  N dy  7166   1931027        60      5340         0     66750     37380    865413     18.12     19.09  --
1917.00/479.97	c  N dy  7277   1951886        60      5340         0     85174     37380   1264329     18.12     19.10  --
1946.96/487.45	c  N dy  7400   1971998        60      5340         0    102982     37380   1652504     18.14     19.18  --
1970.53/493.31	c  N dy  7484   1994129        60      5340         0     68767     37380    889778     18.14     19.18  --
2004.88/501.96	c  N dy  7609   2023764        60      5340         0     94892     37380   1446593     18.14     19.14  --
2036.04/509.70	c  N dy  7704   2043918        60      5340         0     58101     37380    654501     18.14     19.10  --
2056.04/514.78	c  N dy  7794   2064787        60      5340         0     76556     37380   1052825     18.15     19.14  --
2082.40/521.31	c  N dy  7889   2084949        60      5340         0     94324     37380   1435397     18.15     19.18  --
2112.34/528.88	c  N dy  7952   2104950        60      5340         0     56374     37380    607949     18.15     19.17  --
2132.71/533.98	c  N dy  8032   2126977        60      5340         0     75741     37380   1020134     18.15     19.15  --
2160.28/540.82	c  N dy  8160   2147047        60      5340         0     93517     37380   1408699     18.16     19.62  --
2193.03/549.05	c  N dy  8256   2167105        60      5340         0    111193     37380   1789775     18.17     19.81  --
2216.20/554.82	c  N dy  8382   2187384        60      5340         0     72678     37380    951070     18.18     19.23  --
2242.16/561.32	c  N dy  8501   2207423        60      5340         0     90440     37380   1338494     18.19     19.27  --
2246.56/562.49	c  S st  8516   2210856        60      5340         0     93457     37380   1404005     18.19     14.98  --
2247.75/562.77	c  S st  8516   2211357        60      5340         0     93914     37380   1414403     18.19   no data  --
2247.75/562.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2247.75/562.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2248.15/562.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
2248.15/562.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2248.15/562.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2248.15/562.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
2248.15/562.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2409.14/603.10	c lits-rem:      4811  cl-subs:     9318  v-elim:      0  v-fix:    0  time: 160.68 s
2409.14/603.10	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
2409.14/603.12	c vivif2 --  cl tried    84596 cl shrink        0 lits rem          0 time: 0.07
2410.74/603.53	c asymm  cl-useful: 0/468/5340 lits-rem:0 time: 1.64
2410.74/603.53	c calculated reachability. Time: 0.00
2410.74/603.53	c  N dy  8516   2211357        60      5340         0     84596     37380   1207931     18.19   no data  --
2445.49/612.20	c  N dy  8606   2231397        60      5340         0    102243     37380   1587341     18.19     19.36  --
2475.45/619.75	c  N dy  8633   2252497        60      5340         0     63986     37380    749249     18.18     19.21  --
2501.02/626.16	c  N dy  8686   2272960        60      5340         0     81978     37380   1128089     18.17     19.22  --
2561.35/641.20	c  N dy  8799   2308967        60      5340         0    113585     37380   1785040     18.16     19.23  --
2592.52/649.01	c  N dy  8902   2329001        60      5340         0     73392     37380    946205     18.17     20.97  --
2627.26/657.73	c  N dy  9020   2349037        60      5340         0     91116     37380   1331588     18.18     19.74  --
2676.38/670.02	c  N dy  9150   2372414        60      5340         0    111697     37380   1779925     18.18     19.19  --
2708.73/678.10	c  N dy  9221   2392857        60      5340         0     70874     37380    881782     18.19     19.15  --
2741.52/686.33	c  N dy  9333   2412887        60      5340         0     88549     37380   1266736     18.19     19.16  --
2776.66/695.19	c  N dy  9393   2435437        60      5340         0    108318     37380   1683465     18.19     19.34  --
2819.39/705.82	c  N dy  9513   2460339        60      5340         0     70450     37380    859986     18.19     19.18  --
2890.09/723.56	c  N dy  9653   2513002        60      5340         0    116557     37380   1820527     18.17     19.18  --
2920.45/731.15	c  N dy  9742   2533028        60      5340         0     73624     37380    921773     18.18     19.39  --
2949.62/738.43	c  N dy  9814   2556838        60      5340         0     94634     37380   1370758     18.18     19.25  --
2987.58/747.94	c  N dy  9965   2579255        60      5340         0    114445     37380   1803473     18.19     19.24  --
3020.32/756.12	c  N dy 10095   2600494        60      5340         0     71554     37380    868717     18.20     19.25  --
3044.71/762.27	c  N dy 10189   2620869        60      5340         0     89521     37380   1259092     18.20     19.26  --
3070.66/768.78	c  N dy 10227   2641980        60      5340         0    108050     37380   1649654     18.19     19.17  --
3101.01/776.31	c  N dy 10246   2666333        60      5340         0     66818     37380    748200     18.18     19.20  --
3124.57/782.21	c  N dy 10291   2691549        60      5340         0     88874     37380   1209505     18.17     19.24  --
3153.75/789.54	c  S st 10384   2711358        60      5340         0    106296     37380   1585257     18.17   no data  --
3154.97/789.86	c  S st 10384   2711859        60      5340         0    106751     37380   1595328     18.17   no data  --
3154.97/789.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3154.97/789.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3155.34/789.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.21
3155.34/789.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3155.34/789.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3155.34/789.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
3155.34/789.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3574.78/894.99	c lits-rem:      6061  cl-subs:    13877  v-elim:      0  v-fix:    0  time: 419.40 s
3574.78/894.99	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
3575.18/895.01	c vivif2 --  cl tried    92874 cl shrink        0 lits rem          0 time: 0.08
3576.80/895.42	c asymm  cl-useful: 0/592/5340 lits-rem:0 time: 1.64
3576.80/895.42	c calculated reachability. Time: 0.00
3576.80/895.42	c  N dy 10384   2711859        60      5340         0     92874     37380   1314859     18.17   no data  --
3611.55/904.20	c  N dy 10459   2731875        60      5340         0    110479     37380   1692698     18.18     20.78  --
3675.84/920.28	c  N dy 10538   2769147        60      5340         0     80731     37380   1043100     18.17     19.35  --
3714.99/930.10	c  N dy 10660   2789214        60      5340         0     98430     37380   1429456     18.17     19.75  --
3759.73/941.26	c  N dy 10735   2812230        60      5340         0    118574     37380   1852575     18.17     19.21  --
3794.09/949.84	c  N dy 10769   2832339        60      5340         0     72622     37380    864093     18.16     19.14  --
3827.26/958.16	c  N dy 10877   2852380        60      5340         0     90311     37380   1247846     18.17     20.02  --
3871.98/969.33	c  N dy 11027   2872404        60      5340         0    108001     37380   1636638     18.18     19.38  --
3928.70/983.58	c  N dy 11127   2896495        60      5340         0    129063     37380   2088006     18.18     19.25  --
3957.86/990.88	c  N dy 11168   2916984        60      5340         0     82179     37380   1048860     18.18     19.35  --
3997.81/1000.85	c  N dy 11304   2937003        60      5340         0     99806     37380   1436931     18.19     20.97  --
4040.95/1011.63	c  N dy 11386   2957028        60      5340         0    117400     37380   1814853     18.19     20.66  --
4091.28/1024.23	c  N dy 11497   2977298        60      5340         0     69436     37380    774721     18.19     19.27  --
4120.45/1031.54	c  N dy 11551   2997916        60      5340         0     87446     37380   1154696     18.19     19.16  --
4164.39/1042.52	c  N dy 11680   3018922        60      5340         0    106012     37380   1559710     18.20     19.17  --
4202.34/1052.06	c  N dy 11757   3039430        60      5340         0    124138     37380   1948412     18.20     19.18  --
4239.09/1061.22	c  N dy 11909   3059471        60      5340         0     75070     37380    887476     18.21     19.93  --
4263.86/1067.40	c  N dy 12006   3079490        60      5340         0     92713     37380   1270167     18.21     19.56  --
4348.15/1088.52	c  N dy 12116   3141343        60      5340         0     79014     37380    939215     18.19     19.34  --
4380.52/1096.68	c  N dy 12241   3161372        60      5340         0     96673     37380   1325011     18.19     19.97  --
4418.84/1106.22	c  N dy 12334   3181444        60      5340         0    114357     37380   1706712     18.20     20.93  --
4463.19/1117.35	c  N dy 12407   3201488        60      5340         0    131907     37380   2079988     18.20     19.69  --
4486.76/1123.27	c  S st 12484   3211859        60      5340         0     72580     37380    813881     18.20   no data  --
4487.96/1123.52	c  S st 12484   3212362        60      5340         0     73029     37380    824003     18.20   no data  --
4487.96/1123.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4487.96/1123.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4487.96/1123.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
4487.96/1123.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4487.96/1123.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4487.96/1123.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
4487.96/1123.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4559.46/1141.43	c lits-rem:       594  cl-subs:     1073  v-elim:      0  v-fix:    0  time: 71.22 s
4559.46/1141.43	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
4559.46/1141.44	c vivif2 --  cl tried    71956 cl shrink        0 lits rem          0 time: 0.05
4561.07/1141.81	c asymm  cl-useful: 0/620/5340 lits-rem:0 time: 1.48
4561.07/1141.81	c calculated reachability. Time: 0.00
4561.07/1141.81	c  N dy 12484   3212362        60      5340         0     71956     37380    799510     18.20   no data  --
4587.03/1148.38	c  N dy 12540   3232747        60      5340         0     89781     37380   1177309     18.20     19.22  --
4621.37/1156.99	c  N dy 12622   3252836        60      5340         0    107491     37380   1556992     18.20     19.87  --
4670.93/1169.33	c  N dy 12758   3274276        60      5340         0    126512     37380   1973098     18.21     19.30  --
4708.86/1178.87	c  N dy 12825   3294502        60      5340         0     74834     37380    845405     18.21     19.22  --
4732.83/1184.89	c  N dy 12856   3316007        60      5340         0     93713     37380   1244774     18.20     19.17  --
4764.38/1192.79	c  N dy 12938   3336091        60      5340         0    111379     37380   1624629     18.21     19.71  --

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-3175300-1304109354/watcher-3175300-1304109354 -o /tmp/evaluation-result-3175300-1304109354/solver-3175300-1304109354 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175300-1304109354.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: 3.50 5.49 6.93 3/176 26523
/proc/meminfo: memFree=24388220/32951124 swapFree=67102140/67111528
[pid=26523] ppid=26521 vsize=281652 CPUtime=0 cores=1,3,5,7
/proc/26523/stat : 26523 (strangenight1-m) R 26521 26523 25742 0 -1 4202496 835 0 0 0 0 0 0 0 23 0 4 0 601166069 288411648 756 33554432000 4194304 4650419 140734240303984 18446744073709551615 216734839493 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26523/statm: 70413 757 342 112 0 65378 0
[pid=26523/tid=26527] ppid=26521 vsize=281652 CPUtime=0 cores=1,3,5,7
/proc/26523/task/26527/stat : 26527 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 127 0 0 0 0 0 0 0 24 0 4 0 601166069 288411648 762 33554432000 4194304 4650419 140734240303984 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26523/tid=26528] ppid=26521 vsize=281652 CPUtime=0 cores=1,3,5,7
/proc/26523/task/26528/stat : 26528 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 110 0 0 0 0 0 0 0 24 0 4 0 601166069 288411648 765 33554432000 4194304 4650419 140734240303984 18446744073709551615 216734839841 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26523/tid=26529] ppid=26521 vsize=281652 CPUtime=0 cores=1,3,5,7
/proc/26523/task/26529/stat : 26529 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 122 0 0 0 0 0 0 0 24 0 4 0 601166069 288411648 766 33554432000 4194304 4650419 140734240303984 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0478219 s]
/proc/loadavg: 3.50 5.49 6.93 3/176 26523
/proc/meminfo: memFree=24388220/32951124 swapFree=67102140/67111528
[pid=26523] ppid=26521 vsize=281904 CPUtime=0.16 cores=1,3,5,7
/proc/26523/stat : 26523 (strangenight1-m) R 26521 26523 25742 0 -1 4202496 1221 0 0 0 16 0 0 0 23 0 4 0 601166069 288669696 1142 33554432000 4194304 4650419 140734240303984 18446744073709551615 4369360 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26523/statm: 70476 1142 366 112 0 65441 0
[pid=26523/tid=26527] ppid=26521 vsize=281904 CPUtime=0.04 cores=1,3,5,7
/proc/26523/task/26527/stat : 26527 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 195 0 0 0 4 0 0 0 18 0 4 0 601166069 288669696 1142 33554432000 4194304 4650419 140734240303984 18446744073709551615 4370537 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26523/tid=26528] ppid=26521 vsize=281904 CPUtime=0.04 cores=1,3,5,7
/proc/26523/task/26528/stat : 26528 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 185 0 0 0 4 0 0 0 24 0 4 0 601166069 288669696 1143 33554432000 4194304 4650419 140734240303984 18446744073709551615 4370596 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26523/tid=26529] ppid=26521 vsize=281904 CPUtime=0.04 cores=1,3,5,7
/proc/26523/task/26529/stat : 26529 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 240 0 0 0 4 0 0 0 24 0 4 0 601166069 288669696 1143 33554432000 4194304 4650419 140734240303984 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 281904

[startup+0.100812 s]
/proc/loadavg: 3.50 5.49 6.93 3/176 26523
/proc/meminfo: memFree=24388220/32951124 swapFree=67102140/67111528
[pid=26523] ppid=26521 vsize=281904 CPUtime=0.38 cores=1,3,5,7
/proc/26523/stat : 26523 (strangenight1-m) R 26521 26523 25742 0 -1 4202496 1323 0 0 0 38 0 0 0 23 0 4 0 601166069 288669696 1244 33554432000 4194304 4650419 140734240303984 18446744073709551615 4369378 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26523/statm: 70476 1244 366 112 0 65441 0
[pid=26523/tid=26527] ppid=26521 vsize=281904 CPUtime=0.09 cores=1,3,5,7
/proc/26523/task/26527/stat : 26527 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 204 0 0 0 9 0 0 0 18 0 4 0 601166069 288669696 1244 33554432000 4194304 4650419 140734240303984 18446744073709551615 4369360 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26523/tid=26528] ppid=26521 vsize=281904 CPUtime=0.09 cores=1,3,5,7
/proc/26523/task/26528/stat : 26528 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 194 0 0 0 9 0 0 0 24 0 4 0 601166069 288669696 1244 33554432000 4194304 4650419 140734240303984 18446744073709551615 4371120 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26523/tid=26529] ppid=26521 vsize=281904 CPUtime=0.09 cores=1,3,5,7
/proc/26523/task/26529/stat : 26529 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 314 0 0 0 9 0 0 0 24 0 4 0 601166069 288669696 1244 33554432000 4194304 4650419 140734240303984 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 281904

[startup+0.300779 s]
/proc/loadavg: 3.50 5.49 6.93 3/176 26523
/proc/meminfo: memFree=24388220/32951124 swapFree=67102140/67111528
[pid=26523] ppid=26521 vsize=285352 CPUtime=1.17 cores=1,3,5,7
/proc/26523/stat : 26523 (strangenight1-m) R 26521 26523 25742 0 -1 4202496 3604 0 0 0 117 0 0 0 23 0 4 0 601166069 292200448 2719 33554432000 4194304 4650419 140734240303984 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26523/statm: 71338 2719 390 112 0 66303 0
[pid=26523/tid=26527] ppid=26521 vsize=285352 CPUtime=0.29 cores=1,3,5,7
/proc/26523/task/26527/stat : 26527 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 846 0 0 0 29 0 0 0 18 0 4 0 601166069 292200448 2719 33554432000 4194304 4650419 140734240303984 18446744073709551615 4360039 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26523/tid=26528] ppid=26521 vsize=285352 CPUtime=0.29 cores=1,3,5,7
/proc/26523/task/26528/stat : 26528 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 845 0 0 0 29 0 0 0 25 0 4 0 601166069 292200448 2719 33554432000 4194304 4650419 140734240303984 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26523/tid=26529] ppid=26521 vsize=285352 CPUtime=0.29 cores=1,3,5,7
/proc/26523/task/26529/stat : 26529 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 630 0 0 0 29 0 0 0 25 0 4 0 601166069 292200448 2719 33554432000 4194304 4650419 140734240303984 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 285352

[startup+0.70071 s]
/proc/loadavg: 3.50 5.49 6.93 3/176 26523
/proc/meminfo: memFree=24388220/32951124 swapFree=67102140/67111528
[pid=26523] ppid=26521 vsize=286556 CPUtime=2.77 cores=1,3,5,7
/proc/26523/stat : 26523 (strangenight1-m) R 26521 26523 25742 0 -1 4202496 5588 0 0 0 277 0 0 0 25 0 4 0 601166069 293433344 3505 33554432000 4194304 4650419 140734240303984 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26523/statm: 71639 3505 390 112 0 66604 0
[pid=26523/tid=26527] ppid=26521 vsize=286556 CPUtime=0.69 cores=1,3,5,7
/proc/26523/task/26527/stat : 26527 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 1311 0 0 0 69 0 0 0 18 0 4 0 601166069 293433344 3505 33554432000 4194304 4650419 140734240303984 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26523/tid=26528] ppid=26521 vsize=286556 CPUtime=0.69 cores=1,3,5,7
/proc/26523/task/26528/stat : 26528 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 1286 0 0 0 69 0 0 0 25 0 4 0 601166069 293433344 3505 33554432000 4194304 4650419 140734240303984 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26523/tid=26529] ppid=26521 vsize=286556 CPUtime=0.69 cores=1,3,5,7
/proc/26523/task/26529/stat : 26529 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 1250 0 0 0 69 0 0 0 25 0 4 0 601166069 293433344 3505 33554432000 4194304 4650419 140734240303984 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 286556

[startup+1.50057 s]
/proc/loadavg: 3.50 5.49 6.93 11/184 26531
/proc/meminfo: memFree=24360504/32951124 swapFree=67102140/67111528
[pid=26523] ppid=26521 vsize=292856 CPUtime=5.96 cores=1,3,5,7
/proc/26523/stat : 26523 (strangenight1-m) R 26521 26523 25742 0 -1 4202496 10043 0 0 0 595 1 0 0 25 0 4 0 601166069 299884544 5422 33554432000 4194304 4650419 140734240303984 18446744073709551615 4438393 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26523/statm: 73214 5422 392 112 0 68179 0
[pid=26523/tid=26527] ppid=26521 vsize=292856 CPUtime=1.49 cores=1,3,5,7
/proc/26523/task/26527/stat : 26527 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 2113 0 0 0 149 0 0 0 20 0 4 0 601166069 299884544 5422 33554432000 4194304 4650419 140734240303984 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26523/tid=26528] ppid=26521 vsize=292856 CPUtime=1.48 cores=1,3,5,7
/proc/26523/task/26528/stat : 26528 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 2107 0 0 0 148 0 0 0 25 0 4 0 601166069 299884544 5422 33554432000 4194304 4650419 140734240303984 18446744073709551615 4365311 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26523/tid=26529] ppid=26521 vsize=292856 CPUtime=1.48 cores=1,3,5,7
/proc/26523/task/26529/stat : 26529 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 2100 0 0 0 148 0 0 0 25 0 4 0 601166069 299884544 5422 33554432000 4194304 4650419 140734240303984 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 292856

[startup+3.10029 s]
/proc/loadavg: 3.50 5.49 6.93 10/184 26531
/proc/meminfo: memFree=24326824/32951124 swapFree=67102140/67111528
[pid=26523] ppid=26521 vsize=292544 CPUtime=12.36 cores=1,3,5,7
/proc/26523/stat : 26523 (strangenight1-m) R 26521 26523 25742 0 -1 4202496 16422 0 0 0 1234 2 0 0 25 0 4 0 601166069 299565056 10097 33554432000 4194304 4650419 140734240303984 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26523/statm: 73136 10097 392 112 0 68101 0
[pid=26523/tid=26527] ppid=26521 vsize=292544 CPUtime=3.08 cores=1,3,5,7
/proc/26523/task/26527/stat : 26527 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 3542 0 0 0 308 0 0 0 25 0 4 0 601166069 299565056 10097 33554432000 4194304 4650419 140734240303984 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26523/tid=26528] ppid=26521 vsize=292544 CPUtime=3.07 cores=1,3,5,7
/proc/26523/task/26528/stat : 26528 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 4424 0 0 0 307 0 0 0 25 0 4 0 601166069 299565056 10097 33554432000 4194304 4650419 140734240303984 18446744073709551615 4439366 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26523/tid=26529] ppid=26521 vsize=292544 CPUtime=3.09 cores=1,3,5,7
/proc/26523/task/26529/stat : 26529 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 4422 0 0 0 308 1 0 0 25 0 4 0 601166069 299565056 10097 33554432000 4194304 4650419 140734240303984 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 292544

[startup+6.30073 s]
/proc/loadavg: 3.86 5.53 6.94 10/184 26532
/proc/meminfo: memFree=24292352/32951124 swapFree=67102140/67111528
[pid=26523] ppid=26521 vsize=293320 CPUtime=25.14 cores=1,3,5,7
/proc/26523/stat : 26523 (strangenight1-m) R 26521 26523 25742 0 -1 4202496 23274 0 0 0 2510 4 0 0 25 0 4 0 601166069 300359680 12191 33554432000 4194304 4650419 140734240303984 18446744073709551615 4438407 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26523/statm: 73330 12191 392 112 0 68295 0
[pid=26523/tid=26527] ppid=26521 vsize=293320 CPUtime=6.29 cores=1,3,5,7
/proc/26523/task/26527/stat : 26527 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 5949 0 0 0 628 1 0 0 25 0 4 0 601166069 300359680 12191 33554432000 4194304 4650419 140734240303984 18446744073709551615 4370532 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26523/tid=26528] ppid=26521 vsize=293320 CPUtime=6.25 cores=1,3,5,7
/proc/26523/task/26528/stat : 26528 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 5954 0 0 0 625 0 0 0 25 0 4 0 601166069 300359680 12191 33554432000 4194304 4650419 140734240303984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26523/tid=26529] ppid=26521 vsize=293320 CPUtime=6.29 cores=1,3,5,7
/proc/26523/task/26529/stat : 26529 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 6468 0 0 0 627 2 0 0 25 0 4 0 601166069 300359680 12191 33554432000 4194304 4650419 140734240303984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 293320

[startup+12.7006 s]
/proc/loadavg: 4.19 5.57 6.95 10/184 26532
/proc/meminfo: memFree=24256532/32951124 swapFree=67102140/67111528
[pid=26523] ppid=26521 vsize=293912 CPUtime=50.71 cores=1,3,5,7
/proc/26523/stat : 26523 (strangenight1-m) R 26521 26523 25742 0 -1 4202496 35111 0 0 0 5064 7 0 0 25 0 4 0 601166069 300965888 17574 33554432000 4194304 4650419 140734240303984 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26523/statm: 73478 17574 392 112 0 68443 0
[pid=26523/tid=26527] ppid=26521 vsize=293912 CPUtime=12.69 cores=1,3,5,7
/proc/26523/task/26527/stat : 26527 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 8791 0 0 0 1268 1 0 0 25 0 4 0 601166069 300965888 17574 33554432000 4194304 4650419 140734240303984 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26523/tid=26528] ppid=26521 vsize=293912 CPUtime=12.62 cores=1,3,5,7
/proc/26523/task/26528/stat : 26528 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 8939 0 0 0 1261 1 0 0 25 0 4 0 601166069 300965888 17574 33554432000 4194304 4650419 140734240303984 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26523/tid=26529] ppid=26521 vsize=293912 CPUtime=12.69 cores=1,3,5,7
/proc/26523/task/26529/stat : 26529 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 10091 0 0 0 1266 3 0 0 25 0 4 0 601166069 300965888 17575 33554432000 4194304 4650419 140734240303984 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 293912

[startup+25.5004 s]
/proc/loadavg: 5.03 5.69 6.96 10/184 26532
/proc/meminfo: memFree=24210264/32951124 swapFree=67102140/67111528
[pid=26523] ppid=26521 vsize=304460 CPUtime=101.83 cores=1,3,5,7
/proc/26523/stat : 26523 (strangenight1-m) R 26521 26523 25742 0 -1 4202496 51118 0 0 0 10172 11 0 0 25 0 4 0 601166069 311767040 24213 33554432000 4194304 4650419 140734240303984 18446744073709551615 4432376 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26523/statm: 76115 24213 392 112 0 71080 0
[pid=26523/tid=26527] ppid=26521 vsize=304460 CPUtime=25.49 cores=1,3,5,7
/proc/26523/task/26527/stat : 26527 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 12510 0 0 0 2547 2 0 0 25 0 4 0 601166069 311767040 24213 33554432000 4194304 4650419 140734240303984 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26523/tid=26528] ppid=26521 vsize=304460 CPUtime=25.34 cores=1,3,5,7
/proc/26523/task/26528/stat : 26528 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 13926 0 0 0 2531 3 0 0 25 0 4 0 601166069 311767040 24213 33554432000 4194304 4650419 140734240303984 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26523/tid=26529] ppid=26521 vsize=304460 CPUtime=25.49 cores=1,3,5,7
/proc/26523/task/26529/stat : 26529 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 14809 0 0 0 2545 4 0 0 25 0 4 0 601166069 311767040 24213 33554432000 4194304 4650419 140734240303984 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 304460

[startup+51.1009 s]
/proc/loadavg: 6.18 5.90 7.00 10/184 26533
/proc/meminfo: memFree=24171760/32951124 swapFree=67102140/67111528
[pid=26523] ppid=26521 vsize=317136 CPUtime=204.09 cores=1,3,5,7
/proc/26523/stat : 26523 (strangenight1-m) R 26521 26523 25742 0 -1 4202496 74013 0 0 0 20390 19 0 0 25 0 4 0 601166069 324747264 28855 33554432000 4194304 4650419 140734240303984 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26523/statm: 79284 28855 392 112 0 74249 0
[pid=26523/tid=26527] ppid=26521 vsize=317136 CPUtime=51.09 cores=1,3,5,7
/proc/26523/task/26527/stat : 26527 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 18627 0 0 0 5105 4 0 0 25 0 4 0 601166069 324747264 28855 33554432000 4194304 4650419 140734240303984 18446744073709551615 4364746 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26523/tid=26528] ppid=26521 vsize=317136 CPUtime=50.81 cores=1,3,5,7
/proc/26523/task/26528/stat : 26528 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 20414 0 0 0 5075 6 0 0 25 0 4 0 601166069 324747264 28855 33554432000 4194304 4650419 140734240303984 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26523/tid=26529] ppid=26521 vsize=317136 CPUtime=51.08 cores=1,3,5,7
/proc/26523/task/26529/stat : 26529 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 22574 0 0 0 5102 6 0 0 25 0 4 0 601166069 324747264 28855 33554432000 4194304 4650419 140734240303984 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 317136

[startup+102.307 s]
/proc/loadavg: 7.35 6.26 7.06 10/184 26534
/proc/meminfo: memFree=24145552/32951124 swapFree=67102140/67111528
[pid=26523] ppid=26521 vsize=319328 CPUtime=408.64 cores=1,3,5,7
/proc/26523/stat : 26523 (strangenight1-m) R 26521 26523 25742 0 -1 4202496 109592 0 0 0 40832 32 0 0 25 0 4 0 601166069 326991872 31141 33554432000 4194304 4650419 140734240303984 18446744073709551615 4365273 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26523/statm: 79832 31141 392 112 0 74797 0
[pid=26523/tid=26527] ppid=26521 vsize=319328 CPUtime=102.3 cores=1,3,5,7
/proc/26523/task/26527/stat : 26527 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 27163 0 0 0 10223 7 0 0 25 0 4 0 601166069 326991872 31141 33554432000 4194304 4650419 140734240303984 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26523/tid=26528] ppid=26521 vsize=319328 CPUtime=101.73 cores=1,3,5,7
/proc/26523/task/26528/stat : 26528 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 30186 0 0 0 10164 9 0 0 25 0 4 0 601166069 326991872 31141 33554432000 4194304 4650419 140734240303984 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26523/tid=26529] ppid=26521 vsize=319328 CPUtime=102.29 cores=1,3,5,7
/proc/26523/task/26529/stat : 26529 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 35794 0 0 0 10218 11 0 0 25 0 4 0 601166069 326991872 31141 33554432000 4194304 4650419 140734240303984 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 319328

[startup+162.301 s]

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

[pid=26523] ppid=26521 vsize=369208 CPUtime=2805.4 cores=1,3,5,7
/proc/26523/stat : 26523 (strangenight1-m) R 26521 26523 25742 0 -1 4202496 369933 0 0 0 280402 138 0 0 25 0 4 0 601166069 378068992 66297 33554432000 4194304 4650419 140734240303984 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26523/statm: 92302 66297 392 112 0 87267 0
[pid=26523/tid=26527] ppid=26521 vsize=369208 CPUtime=702.31 cores=1,3,5,7
/proc/26523/task/26527/stat : 26527 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 97301 0 0 0 70199 32 0 0 25 0 4 0 601166069 378068992 66297 33554432000 4194304 4650419 140734240303984 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26523/tid=26528] ppid=26521 vsize=369208 CPUtime=698.48 cores=1,3,5,7
/proc/26523/task/26528/stat : 26528 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 101984 0 0 0 69802 46 0 0 25 0 4 0 601166069 378068992 66297 33554432000 4194304 4650419 140734240303984 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26523/tid=26529] ppid=26521 vsize=369208 CPUtime=702.29 cores=1,3,5,7
/proc/26523/task/26529/stat : 26529 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 111123 0 0 0 70192 37 0 0 25 0 4 0 601166069 378068992 66297 33554432000 4194304 4650419 140734240303984 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.4
Current children cumulated vsize (KiB) 369208

[startup+762.307 s]
/proc/loadavg: 8.10 7.92 7.58 10/184 26555
/proc/meminfo: memFree=23863708/32951124 swapFree=67102140/67111528
[pid=26523] ppid=26521 vsize=381584 CPUtime=3045.11 cores=1,3,5,7
/proc/26523/stat : 26523 (strangenight1-m) R 26521 26523 25742 0 -1 4202496 389029 0 0 0 304365 146 0 0 25 0 4 0 601166069 390742016 69981 33554432000 4194304 4650419 140734240303984 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26523/statm: 95396 69981 392 112 0 90361 0
[pid=26523/tid=26527] ppid=26521 vsize=381584 CPUtime=762.31 cores=1,3,5,7
/proc/26523/task/26527/stat : 26527 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 105371 0 0 0 76198 33 0 0 25 0 4 0 601166069 390742016 69981 33554432000 4194304 4650419 140734240303984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26523/tid=26528] ppid=26521 vsize=381584 CPUtime=758.16 cores=1,3,5,7
/proc/26523/task/26528/stat : 26528 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 107314 0 0 0 75767 49 0 0 25 0 4 0 601166069 390742016 69981 33554432000 4194304 4650419 140734240303984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26523/tid=26529] ppid=26521 vsize=381584 CPUtime=762.3 cores=1,3,5,7
/proc/26523/task/26529/stat : 26529 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 112148 0 0 0 76192 38 0 0 25 0 4 0 601166069 390742016 69981 33554432000 4194304 4650419 140734240303984 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3045.11
Current children cumulated vsize (KiB) 381584

[startup+822.3 s]
/proc/loadavg: 8.11 7.96 7.61 10/184 26556
/proc/meminfo: memFree=23839508/32951124 swapFree=67102140/67111528
[pid=26523] ppid=26521 vsize=459720 CPUtime=3284.76 cores=1,3,5,7
/proc/26523/stat : 26523 (strangenight1-m) R 26521 26523 25742 0 -1 4202496 399931 0 0 0 328325 151 0 0 25 0 4 0 601166069 470753280 75471 33554432000 4194304 4650419 140734240303984 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26523/statm: 114930 75471 392 112 0 109895 0
[pid=26523/tid=26527] ppid=26521 vsize=459720 CPUtime=822.3 cores=1,3,5,7
/proc/26523/task/26527/stat : 26527 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 105656 0 0 0 82197 33 0 0 25 0 4 0 601166069 470753280 75471 33554432000 4194304 4650419 140734240303984 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26523/tid=26528] ppid=26521 vsize=459720 CPUtime=817.83 cores=1,3,5,7
/proc/26523/task/26528/stat : 26528 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 112239 0 0 0 81731 52 0 0 25 0 4 0 601166069 470753280 75471 33554432000 4194304 4650419 140734240303984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26523/tid=26529] ppid=26521 vsize=459720 CPUtime=822.3 cores=1,3,5,7
/proc/26523/task/26529/stat : 26529 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 115189 0 0 0 82191 39 0 0 25 0 4 0 601166069 470753280 75471 33554432000 4194304 4650419 140734240303984 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.76
Current children cumulated vsize (KiB) 459720

[startup+882.301 s]
/proc/loadavg: 8.11 7.99 7.64 10/184 26558
/proc/meminfo: memFree=23853620/32951124 swapFree=67102140/67111528
[pid=26523] ppid=26521 vsize=486072 CPUtime=3524.44 cores=1,3,5,7
/proc/26523/stat : 26523 (strangenight1-m) R 26521 26523 25742 0 -1 4202496 410801 0 0 0 352285 159 0 0 25 0 4 0 601166069 497737728 71544 33554432000 4194304 4650419 140734240303984 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26523/statm: 121518 71544 392 112 0 116483 0
[pid=26523/tid=26527] ppid=26521 vsize=486072 CPUtime=882.3 cores=1,3,5,7
/proc/26523/task/26527/stat : 26527 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 108229 0 0 0 88195 35 0 0 25 0 4 0 601166069 497737728 71544 33554432000 4194304 4650419 140734240303984 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26523/tid=26528] ppid=26521 vsize=486072 CPUtime=877.51 cores=1,3,5,7
/proc/26523/task/26528/stat : 26528 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 116917 0 0 0 87696 55 0 0 25 0 4 0 601166069 497737728 71544 33554432000 4194304 4650419 140734240303984 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26523/tid=26529] ppid=26521 vsize=486072 CPUtime=882.29 cores=1,3,5,7
/proc/26523/task/26529/stat : 26529 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 118808 0 0 0 88188 41 0 0 25 0 4 0 601166069 497737728 71544 33554432000 4194304 4650419 140734240303984 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.44
Current children cumulated vsize (KiB) 486072

[startup+942.3 s]
/proc/loadavg: 8.15 8.02 7.67 10/184 26559
/proc/meminfo: memFree=23835108/32951124 swapFree=67102140/67111528
[pid=26523] ppid=26521 vsize=473796 CPUtime=3764.12 cores=1,3,5,7
/proc/26523/stat : 26523 (strangenight1-m) R 26521 26523 25742 0 -1 4202496 417968 0 0 0 376248 164 0 0 25 0 4 0 601166069 485167104 73468 33554432000 4194304 4650419 140734240303984 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26523/statm: 118449 73468 392 112 0 113414 0
[pid=26523/tid=26527] ppid=26521 vsize=473796 CPUtime=942.3 cores=1,3,5,7
/proc/26523/task/26527/stat : 26527 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 110713 0 0 0 94194 36 0 0 25 0 4 0 601166069 485167104 73468 33554432000 4194304 4650419 140734240303984 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26523/tid=26528] ppid=26521 vsize=473796 CPUtime=937.19 cores=1,3,5,7
/proc/26523/task/26528/stat : 26528 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 120503 0 0 0 93661 58 0 0 25 0 4 0 601166069 485167104 73468 33554432000 4194304 4650419 140734240303984 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26523/tid=26529] ppid=26521 vsize=473796 CPUtime=942.3 cores=1,3,5,7
/proc/26523/task/26529/stat : 26529 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 119142 0 0 0 94188 42 0 0 25 0 4 0 601166069 485167104 73468 33554432000 4194304 4650419 140734240303984 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3764.12
Current children cumulated vsize (KiB) 473796

[startup+1002.3 s]
/proc/loadavg: 8.13 8.03 7.70 10/184 26561
/proc/meminfo: memFree=23789448/32951124 swapFree=67102140/67111528
[pid=26523] ppid=26521 vsize=499020 CPUtime=4003.8 cores=1,3,5,7
/proc/26523/stat : 26523 (strangenight1-m) R 26521 26523 25742 0 -1 4202496 425942 0 0 0 400212 168 0 0 25 0 4 0 601166069 510996480 78836 33554432000 4194304 4650419 140734240303984 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26523/statm: 124755 78836 392 112 0 119720 0
[pid=26523/tid=26527] ppid=26521 vsize=499020 CPUtime=1002.3 cores=1,3,5,7
/proc/26523/task/26527/stat : 26527 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 111105 0 0 0 100194 36 0 0 25 0 4 0 601166069 510996480 78836 33554432000 4194304 4650419 140734240303984 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26523/tid=26528] ppid=26521 vsize=499020 CPUtime=996.86 cores=1,3,5,7
/proc/26523/task/26528/stat : 26528 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 123745 0 0 0 99626 60 0 0 25 0 4 0 601166069 510996480 78836 33554432000 4194304 4650419 140734240303984 18446744073709551615 4339794 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26523/tid=26529] ppid=26521 vsize=499020 CPUtime=1002.3 cores=1,3,5,7
/proc/26523/task/26529/stat : 26529 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 119179 0 0 0 100188 42 0 0 25 0 4 0 601166069 510996480 78836 33554432000 4194304 4650419 140734240303984 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.8
Current children cumulated vsize (KiB) 499020

[startup+1062.3 s]
/proc/loadavg: 8.11 8.04 7.72 10/184 26563
/proc/meminfo: memFree=23765868/32951124 swapFree=67102140/67111528
[pid=26523] ppid=26521 vsize=499132 CPUtime=4243.48 cores=1,3,5,7
/proc/26523/stat : 26523 (strangenight1-m) R 26521 26523 25742 0 -1 4202496 435453 0 0 0 424173 175 0 0 25 0 4 0 601166069 511111168 83058 33554432000 4194304 4650419 140734240303984 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26523/statm: 124783 83058 392 112 0 119748 0
[pid=26523/tid=26527] ppid=26521 vsize=499132 CPUtime=1062.31 cores=1,3,5,7
/proc/26523/task/26527/stat : 26527 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 112932 0 0 0 106194 37 0 0 25 0 4 0 601166069 511111168 83058 33554432000 4194304 4650419 140734240303984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26523/tid=26528] ppid=26521 vsize=499132 CPUtime=1056.54 cores=1,3,5,7
/proc/26523/task/26528/stat : 26528 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 128793 0 0 0 105590 64 0 0 25 0 4 0 601166069 511111168 83058 33554432000 4194304 4650419 140734240303984 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26523/tid=26529] ppid=26521 vsize=499132 CPUtime=1062.3 cores=1,3,5,7
/proc/26523/task/26529/stat : 26529 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 121101 0 0 0 106187 43 0 0 25 0 4 0 601166069 511111168 83058 33554432000 4194304 4650419 140734240303984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.48
Current children cumulated vsize (KiB) 499132

[startup+1122.3 s]
/proc/loadavg: 8.10 8.04 7.74 10/184 26564
/proc/meminfo: memFree=23790636/32951124 swapFree=67102140/67111528
[pid=26523] ppid=26521 vsize=499720 CPUtime=4483.16 cores=1,3,5,7
/proc/26523/stat : 26523 (strangenight1-m) R 26521 26523 25742 0 -1 4202496 448761 0 0 0 448136 180 0 0 25 0 4 0 601166069 511713280 81911 33554432000 4194304 4650419 140734240303984 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26523/statm: 124930 81911 392 112 0 119895 0
[pid=26523/tid=26527] ppid=26521 vsize=499720 CPUtime=1122.31 cores=1,3,5,7
/proc/26523/task/26527/stat : 26527 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 114574 0 0 0 112193 38 0 0 25 0 4 0 601166069 511713280 81911 33554432000 4194304 4650419 140734240303984 18446744073709551615 4365267 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26523/tid=26528] ppid=26521 vsize=499720 CPUtime=1116.2 cores=1,3,5,7
/proc/26523/task/26528/stat : 26528 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 137115 0 0 0 111555 65 0 0 25 0 4 0 601166069 511713280 81911 33554432000 4194304 4650419 140734240303984 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26523/tid=26529] ppid=26521 vsize=499720 CPUtime=1122.3 cores=1,3,5,7
/proc/26523/task/26529/stat : 26529 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 124139 0 0 0 112185 45 0 0 25 0 4 0 601166069 511713280 81911 33554432000 4194304 4650419 140734240303984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4483.16
Current children cumulated vsize (KiB) 499720

[startup+1182.3 s]
/proc/loadavg: 8.09 8.05 7.76 10/184 26566
/proc/meminfo: memFree=23747956/32951124 swapFree=67102140/67111528
[pid=26523] ppid=26521 vsize=499720 CPUtime=4722.84 cores=1,3,5,7
/proc/26523/stat : 26523 (strangenight1-m) R 26521 26523 25742 0 -1 4202496 467141 0 0 0 472096 188 0 0 25 0 4 0 601166069 511713280 90637 33554432000 4194304 4650419 140734240303984 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26523/statm: 124930 90637 392 112 0 119895 0
[pid=26523/tid=26527] ppid=26521 vsize=499720 CPUtime=1182.31 cores=1,3,5,7
/proc/26523/task/26527/stat : 26527 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 119481 0 0 0 118189 42 0 0 25 0 4 0 601166069 511713280 90637 33554432000 4194304 4650419 140734240303984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26523/tid=26528] ppid=26521 vsize=499720 CPUtime=1175.88 cores=1,3,5,7
/proc/26523/task/26528/stat : 26528 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 146835 0 0 0 117521 67 0 0 25 0 4 0 601166069 511713280 90637 33554432000 4194304 4650419 140734240303984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26523/tid=26529] ppid=26521 vsize=499720 CPUtime=1182.3 cores=1,3,5,7
/proc/26523/task/26529/stat : 26529 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 127892 0 0 0 118183 47 0 0 25 0 4 0 601166069 511713280 90637 33554432000 4194304 4650419 140734240303984 18446744073709551615 4313354 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.84
Current children cumulated vsize (KiB) 499720



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.07 8.04 7.76 9/184 26566
/proc/meminfo: memFree=23773736/32951124 swapFree=67102140/67111528
[pid=26523] ppid=26521 vsize=499792 CPUtime=4800.35 cores=1,3,5,7
/proc/26523/stat : 26523 (strangenight1-m) R 26521 26523 25742 0 -1 4202496 469520 0 0 0 479845 190 0 0 25 0 4 0 601166069 511787008 80349 33554432000 4194304 4650419 140734240303984 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26523/statm: 124948 80349 392 112 0 119913 0
[pid=26523/tid=26527] ppid=26521 vsize=499792 CPUtime=1201.72 cores=1,3,5,7
/proc/26523/task/26527/stat : 26527 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 119918 0 0 0 120129 43 0 0 25 0 4 0 601166069 511787008 80349 33554432000 4194304 4650419 140734240303984 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26523/tid=26528] ppid=26521 vsize=499792 CPUtime=1195.17 cores=1,3,5,7
/proc/26523/task/26528/stat : 26528 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 148776 0 0 0 119449 68 0 0 25 0 4 0 601166069 511787008 80349 33554432000 4194304 4650419 140734240303984 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26523/tid=26529] ppid=26521 vsize=499792 CPUtime=1201.71 cores=1,3,5,7
/proc/26523/task/26529/stat : 26529 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 127893 0 0 0 120124 47 0 0 25 0 4 0 601166069 511787008 80349 33554432000 4194304 4650419 140734240303984 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 499792

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

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

[startup+1201.7 s]
/proc/loadavg: 8.07 8.04 7.76 9/184 26566
/proc/meminfo: memFree=23773736/32951124 swapFree=67102140/67111528
[pid=26523] ppid=26521 vsize=499792 CPUtime=4800.35 cores=1,3,5,7
/proc/26523/stat : 26523 (strangenight1-m) R 26521 26523 25742 0 -1 4202496 469520 0 0 0 479845 190 0 0 25 0 4 0 601166069 511787008 80349 33554432000 4194304 4650419 140734240303984 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26523/statm: 124948 80349 392 112 0 119913 0
[pid=26523/tid=26527] ppid=26521 vsize=499792 CPUtime=1201.72 cores=1,3,5,7
/proc/26523/task/26527/stat : 26527 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 119918 0 0 0 120129 43 0 0 25 0 4 0 601166069 511787008 80349 33554432000 4194304 4650419 140734240303984 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26523/tid=26528] ppid=26521 vsize=499792 CPUtime=1195.17 cores=1,3,5,7
/proc/26523/task/26528/stat : 26528 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 148776 0 0 0 119449 68 0 0 25 0 4 0 601166069 511787008 80349 33554432000 4194304 4650419 140734240303984 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26523/tid=26529] ppid=26521 vsize=499792 CPUtime=1201.71 cores=1,3,5,7
/proc/26523/task/26529/stat : 26529 (strangenight1-m) R 26521 26523 25742 0 -1 4202560 127893 0 0 0 120124 47 0 0 25 0 4 0 601166069 511787008 80349 33554432000 4194304 4650419 140734240303984 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 499792

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.4
CPU user time (s): 4798.48
CPU system time (s): 1.92371
CPU usage (%): 399.458
Max. virtual memory (cumulated for all children) (KiB): 565256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.48
system time used= 1.92371
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 469520
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= 241
involuntary context switches= 25310

runsolver used 1.83172 second user time and 4.72728 second system time

The end

Launcher Data 

Begin job on node119 at 2011-04-29 22:35:54
IDJOB=3175300
IDBENCH=82918
IDSOLVER=1588
FILE ID=node119/3175300-1304109354
RUNJOBID= node119-1304109354-26505
PBS_JOBID= 13170637
Free space on /tmp= 71816 MiB

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

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

MD5SUM BENCH= 9e4f1914facdb4a8b3ffdd1de343beff
RANDOM SEED=1311634581

node119.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.815
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.63
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.815
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.815
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.815
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.83
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.815
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.67
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.815
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.83
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.815
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.74
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.815
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:     32951124 kB
MemFree:      24388524 kB
Buffers:       1909152 kB
Cached:        6032648 kB
SwapCached:       3688 kB
Active:         158968 kB
Inactive:      7842228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24388524 kB
SwapTotal:    67111528 kB
SwapFree:     67102140 kB
Dirty:           12472 kB
Writeback:           0 kB
AnonPages:       58716 kB
Mapped:          14344 kB
Slab:           498848 kB
PageTables:       4352 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187496 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= 71804 MiB
End job on node119 at 2011-04-29 22:55:58