Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1802.12 | 1802.06 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-11-10--soft-33-100-0.wbo |
| MD5SUM | aee3c086893c0832e26f8cc2ef39e632 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.006998 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 110 |
| Total number of constraints | 21 |
| Number of soft constraints | 19 |
| Number of constraints which are clauses | 11 |
| Number of constraints which are cardinality constraints (but not clauses) | 10 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 11 |
| Top cost | 810 |
| Min constraint cost | 1 |
| Max constraint cost | 83 |
| Sum of constraints costs | 809 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 12 |
| Number of bits of the biggest sum of numbers | 4 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2693759-1277891678.wbo>
0.00/0.00 c original problem has 148 variables (129 bin, 0 int, 0 impl, 19 cont) and 41 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19 impls, 2 clqs
0.00/0.00 c (round 2) 0 del vars, 1 del conss, 19 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19 impls, 2 clqs
0.00/0.00 c (round 3) 0 del vars, 1 del conss, 19 chg bounds, 0 chg sides, 0 chg coeffs, 2 upgd conss, 19 impls, 2 clqs
0.00/0.01 c (0.0s) probing: 101/129 (78.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.01 c presolving (4 rounds):
0.00/0.01 c 0 deleted vars, 1 deleted constraints, 19 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 19 implications, 2 cliques
0.00/0.01 c presolved problem has 148 variables (129 bin, 0 int, 0 impl, 19 cont) and 40 constraints
0.00/0.01 c 19 constraints of type <indicator>
0.00/0.01 c 2 constraints of type <setppc>
0.00/0.01 c 19 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.00
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 1.2.1.2
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1800
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 3420
0.00/0.01 c
0.00/0.01 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.01 c lp/solvefreq = -1
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 o 809
0.00/0.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.01 c y 0.0s| 1 | 0 | 0 | - | 455k| 0 | - | 148 | 40 | 0 | 0 | 0 | 0 | 0 | -- | 8.090000e+02 | Inf
0.00/0.01 c 0.0s| 1 | 2 | 0 | - | 455k| 0 | - | 148 | 40 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 8.090000e+02 | Inf
0.00/0.01 o 107
0.00/0.01 c * 0.0s| 140 | 134 | 0 | 0.0 | 522k| 75 | - | 148 | 53 | 0 | 0 | 0 | 14 | 0 | 0.000000e+00 | 1.070000e+02 | Inf
0.00/0.01 o 92
0.00/0.01 c * 0.0s| 198 | 188 | 0 | 0.0 | 549k| 75 | - | 148 | 63 | 0 | 0 | 0 | 24 | 0 | 0.000000e+00 | 9.200000e+01 | Inf
0.00/0.02 o 22
0.00/0.02 c * 0.0s| 329 | 270 | 0 | 0.0 | 601k| 83 | - | 148 | 83 | 0 | 0 | 0 | 47 | 0 | 0.000000e+00 | 2.200000e+01 | Inf
0.00/0.02 o 7
0.00/0.02 c * 0.0s| 387 | 312 | 0 | 0.0 | 622k| 83 | - | 148 | 90 | 0 | 0 | 0 | 54 | 0 | 0.000000e+00 | 7.000000e+00 | Inf
0.59/0.67 c 0.5s| 10000 | 8717 | 0 | 0.0 |4867k| 83 | - | 148 |1994 | 0 | 0 | 0 |4963 | 0 | 0.000000e+00 | 7.000000e+00 | Inf
1.29/1.36 c 0.9s| 20000 | 16900 | 0 | 0.0 |7976k| 83 | - | 148 |1427 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
2.09/2.17 o 1
2.09/2.17 c * 1.6s| 26988 | 20857 | 0 | 0.0 | 10M| 84 | - | 148 |2230 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
2.29/2.33 c 1.7s| 30000 | 23516 | 0 | 0.0 | 11M| 86 | - | 148 |1281 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
2.89/2.91 c 2.1s| 40000 | 32174 | 0 | 0.0 | 14M| 86 | - | 148 |1446 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
3.49/3.50 c 2.5s| 50000 | 40732 | 0 | 0.0 | 17M| 86 | - | 148 |1361 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
4.09/4.11 c 2.9s| 60000 | 49183 | 0 | 0.0 | 21M| 86 | - | 148 |1483 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
4.69/4.73 c 3.3s| 70000 | 57568 | 0 | 0.0 | 24M| 86 | - | 148 |1467 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
5.29/5.39 c 3.8s| 80000 | 65855 | 0 | 0.0 | 27M| 86 | - | 148 |1561 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
5.99/6.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.99/6.05 c 4.2s| 90000 | 74100 | 0 | 0.0 | 30M| 86 | - | 148 |1547 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
6.69/6.73 c 4.7s|100000 | 82295 | 0 | 0.0 | 33M| 86 | - | 148 |1669 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
7.39/7.44 c 5.3s|110000 | 90304 | 0 | 0.0 | 37M| 86 | - | 148 |1966 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
8.09/8.19 c 5.8s|120000 | 98270 | 0 | 0.0 | 40M| 86 | - | 148 |1984 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
8.89/8.96 c 6.4s|130000 |106121 | 0 | 0.0 | 43M| 86 | - | 148 |2055 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
9.69/9.77 c 7.0s|140000 |113894 | 0 | 0.0 | 47M| 86 | - | 148 |2283 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
10.59/10.62 c 7.7s|150000 |121565 | 0 | 0.0 | 50M| 86 | - | 148 |2406 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
11.49/11.53 c 8.4s|160000 |129029 | 0 | 0.0 | 53M| 86 | - | 148 |2438 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
12.39/12.48 c 9.1s|170000 |136377 | 0 | 0.0 | 56M| 86 | - | 148 |2743 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
13.49/13.50 c 9.9s|180000 |143546 | 0 | 0.0 | 60M| 86 | - | 148 |2885 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
14.59/14.60 c 10.8s|190000 |150505 | 0 | 0.0 | 63M| 86 | - | 148 |3221 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
15.69/15.75 c 11.7s|200000 |157343 | 0 | 0.0 | 66M| 86 | - | 148 |3372 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
16.99/17.00 c 12.8s|210000 |163935 | 0 | 0.0 | 70M| 86 | - | 148 |3334 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
18.29/18.35 c 13.9s|220000 |170155 | 0 | 0.0 | 73M| 86 | - | 148 |3525 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
19.79/19.84 c 15.1s|230000 |176129 | 0 | 0.0 | 77M| 86 | - | 148 |4488 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
21.39/21.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.39/21.46 c 16.5s|240000 |181786 | 0 | 0.0 | 80M| 86 | - | 148 |4008 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
23.29/23.31 c 18.2s|250000 |186835 | 0 | 0.0 | 84M| 86 | - | 148 |5139 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
25.29/25.39 c 20.0s|260000 |191391 | 0 | 0.0 | 87M| 86 | - | 148 |5046 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
27.69/27.72 c 22.0s|270000 |195201 | 0 | 0.0 | 90M| 86 | - | 148 |5094 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
30.29/30.37 c 24.4s|280000 |197926 | 0 | 0.0 | 94M| 86 | - | 148 |4863 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
31.99/32.02 c 25.8s|290000 |203494 | 0 | 0.0 | 96M| 86 | - | 148 |2588 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
32.80/32.85 c 26.4s|300000 |211703 | 0 | 0.0 | 99M| 86 | - | 148 |2720 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
33.59/33.69 c 27.1s|310000 |219842 | 0 | 0.0 | 103M| 86 | - | 148 |2848 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
34.49/34.53 c 27.7s|320000 |227948 | 0 | 0.0 | 106M| 86 | - | 148 |2913 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
35.29/35.36 c 28.4s|330000 |236042 | 0 | 0.0 | 109M| 86 | - | 148 |2999 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
36.09/36.19 c 29.0s|340000 |244207 | 0 | 0.0 | 112M| 86 | - | 148 |2906 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
36.99/37.06 c 29.7s|350000 |252297 | 0 | 0.0 | 116M| 86 | - | 148 |3162 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
37.89/37.92 c 30.4s|360000 |260329 | 0 | 0.0 | 119M| 86 | - | 148 |3248 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
38.69/38.79 c 31.0s|370000 |268375 | 0 | 0.0 | 122M| 86 | - | 148 |3187 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
39.70/39.70 c 31.7s|380000 |276341 | 0 | 0.0 | 126M| 86 | - | 148 |3364 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
40.49/40.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.49/40.58 c 32.4s|390000 |284409 | 0 | 0.0 | 129M| 86 | - | 148 |3365 | 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
41.40/41.50 c 33.1s|400000 |292398 | 0 | 0.0 | 132M| 86 | - | 148 |3407 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
42.39/42.44 c 33.9s|410000 |300255 | 0 | 0.0 | 135M| 86 | - | 148 |3452 | 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
43.29/43.34 c 34.6s|420000 |308267 | 0 | 0.0 | 139M| 86 | - | 148 |3449 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
44.19/44.28 c 35.3s|430000 |316150 | 0 | 0.0 | 142M| 86 | - | 148 |3610 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
45.10/45.18 c 36.0s|440000 |324181 | 0 | 0.0 | 145M| 86 | - | 148 |3477 | 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
46.09/46.13 c 36.7s|450000 |332096 | 0 | 0.0 | 149M| 86 | - | 148 |3486 | 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
47.09/47.10 c 37.5s|460000 |339912 | 0 | 0.0 | 152M| 86 | - | 148 |3563 | 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
47.99/48.06 c 38.2s|470000 |347801 | 0 | 0.0 | 155M| 86 | - | 148 |3434 | 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
48.99/49.03 c 39.0s|480000 |355649 | 0 | 0.0 | 159M| 86 | - | 148 |3682 | 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
49.99/50.01 c 39.8s|490000 |363481 | 0 | 0.0 | 162M| 86 | - | 148 |3563 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
50.89/50.99 c 40.6s|500000 |371316 | 0 | 0.0 | 165M| 86 | - | 148 |3806 | 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
51.90/51.99 c 41.4s|510000 |379120 | 0 | 0.0 | 169M| 86 | - | 148 |3824 | 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
52.99/53.00 c 42.2s|520000 |386898 | 0 | 0.0 | 172M| 86 | - | 148 |3636 | 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
53.99/54.00 c 43.0s|530000 |394704 | 0 | 0.0 | 175M| 86 | - | 148 |3674 | 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
55.00/55.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.00/55.07 c 43.8s|540000 |402371 | 0 | 0.0 | 179M| 86 | - | 148 |3806 | 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
56.10/56.12 c 44.7s|550000 |410063 | 0 | 0.0 | 182M| 86 | - | 148 |3898 | 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
57.09/57.19 c 45.6s|560000 |417701 | 0 | 0.0 | 185M| 86 | - | 148 |4057 | 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
58.20/58.25 c 46.4s|570000 |425433 | 0 | 0.0 | 189M| 86 | - | 148 |3897 | 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
59.30/59.30 c 47.3s|580000 |433126 | 0 | 0.0 | 192M| 86 | - | 148 |3889 | 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
60.29/60.36 c 48.1s|590000 |440784 | 0 | 0.0 | 195M| 86 | - | 148 |3957 | 0 | 0 | 0 | 504k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
61.39/61.49 c 49.1s|600000 |448342 | 0 | 0.0 | 199M| 86 | - | 148 |3933 | 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
62.60/62.60 c 50.0s|610000 |455933 | 0 | 0.0 | 202M| 86 | - | 148 |3937 | 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
63.59/63.69 c 50.9s|620000 |463551 | 0 | 0.0 | 206M| 86 | - | 148 |4040 | 0 | 0 | 0 | 527k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
64.80/64.84 c 51.8s|630000 |471068 | 0 | 0.0 | 209M| 86 | - | 148 |4052 | 0 | 0 | 0 | 535k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
66.00/66.05 c 52.8s|640000 |478435 | 0 | 0.0 | 212M| 86 | - | 148 |4338 | 0 | 0 | 0 | 543k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
67.19/67.21 c 53.7s|650000 |485886 | 0 | 0.0 | 216M| 86 | - | 148 |4219 | 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
68.30/68.35 c 54.7s|660000 |493392 | 0 | 0.0 | 219M| 86 | - | 148 |4114 | 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
69.49/69.52 c 55.6s|670000 |500823 | 0 | 0.0 | 223M| 86 | - | 148 |4101 | 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
70.70/70.70 c 56.6s|680000 |508274 | 0 | 0.0 | 226M| 86 | - | 148 |3984 | 0 | 0 | 0 | 574k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
71.89/71.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.89/71.92 c 57.6s|690000 |515589 | 0 | 0.0 | 229M| 86 | - | 148 |4414 | 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
73.09/73.14 c 58.6s|700000 |522928 | 0 | 0.0 | 233M| 86 | - | 148 |4477 | 0 | 0 | 0 | 591k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
74.29/74.36 c 59.7s|710000 |530342 | 0 | 0.0 | 236M| 86 | - | 148 |4387 | 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
75.49/75.59 c 60.7s|720000 |537732 | 0 | 0.0 | 240M| 86 | - | 148 |4335 | 0 | 0 | 0 | 607k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
76.79/76.85 c 61.7s|730000 |545078 | 0 | 0.0 | 243M| 86 | - | 148 |4366 | 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
78.09/78.12 c 62.8s|740000 |552363 | 0 | 0.0 | 246M| 86 | - | 148 |4476 | 0 | 0 | 0 | 623k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
79.29/79.36 c 63.8s|750000 |559602 | 0 | 0.0 | 250M| 86 | - | 148 |4548 | 0 | 0 | 0 | 632k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
80.50/80.59 c 64.8s|760000 |566957 | 0 | 0.0 | 253M| 86 | - | 148 |4503 | 0 | 0 | 0 | 639k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
81.69/81.79 c 65.8s|770000 |574326 | 0 | 0.0 | 256M| 86 | - | 148 |4364 | 0 | 0 | 0 | 646k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
82.90/82.99 c 66.8s|780000 |581734 | 0 | 0.0 | 259M| 86 | - | 148 |4520 | 0 | 0 | 0 | 653k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
84.20/84.25 c 67.9s|790000 |589084 | 0 | 0.0 | 263M| 86 | - | 148 |4301 | 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
85.49/85.54 c 68.9s|800000 |596376 | 0 | 0.0 | 266M| 86 | - | 148 |4556 | 0 | 0 | 0 | 669k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
86.80/86.85 c 70.0s|810000 |603607 | 0 | 0.0 | 269M| 86 | - | 148 |4637 | 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
88.10/88.10 c 71.1s|820000 |610859 | 0 | 0.0 | 273M| 86 | - | 148 |4826 | 0 | 0 | 0 | 684k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
89.39/89.41 c 72.2s|830000 |618025 | 0 | 0.0 | 276M| 86 | - | 148 |4598 | 0 | 0 | 0 | 692k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
90.70/90.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.70/90.70 c 73.3s|840000 |625254 | 0 | 0.0 | 279M| 86 | - | 148 |4711 | 0 | 0 | 0 | 700k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
91.99/92.03 c 74.4s|850000 |632418 | 0 | 0.0 | 283M| 86 | - | 148 |4664 | 0 | 0 | 0 | 708k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
93.40/93.46 c 75.6s|860000 |639388 | 0 | 0.0 | 286M| 86 | - | 148 |4850 | 0 | 0 | 0 | 716k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
94.80/94.85 c 76.8s|870000 |646438 | 0 | 0.0 | 289M| 86 | - | 148 |4575 | 0 | 0 | 0 | 725k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
96.19/96.23 c 78.0s|880000 |653447 | 0 | 0.0 | 293M| 86 | - | 148 |5348 | 0 | 0 | 0 | 733k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
97.59/97.62 c 79.2s|890000 |660515 | 0 | 0.0 | 296M| 86 | - | 148 |4924 | 0 | 0 | 0 | 741k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
99.00/99.04 c 80.4s|900000 |667516 | 0 | 0.0 | 300M| 86 | - | 148 |4829 | 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
100.39/100.49 c 81.6s|910000 |674541 | 0 | 0.0 | 303M| 86 | - | 148 |5010 | 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
101.90/101.96 c 82.9s|920000 |681519 | 0 | 0.0 | 306M| 86 | - | 148 |5053 | 0 | 0 | 0 | 766k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
103.40/103.41 c 84.1s|930000 |688594 | 0 | 0.0 | 310M| 86 | - | 148 |4976 | 0 | 0 | 0 | 775k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
104.79/104.89 c 85.4s|940000 |695544 | 0 | 0.0 | 313M| 86 | - | 148 |5077 | 0 | 0 | 0 | 783k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
106.29/106.33 c 86.6s|950000 |702474 | 0 | 0.0 | 316M| 86 | - | 148 |5326 | 0 | 0 | 0 | 792k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
107.80/107.85 c 87.9s|960000 |709295 | 0 | 0.0 | 320M| 86 | - | 148 |5416 | 0 | 0 | 0 | 801k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
109.39/109.41 c 89.3s|970000 |716159 | 0 | 0.0 | 323M| 86 | - | 148 |5088 | 0 | 0 | 0 | 809k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
111.00/111.03 c 90.7s|980000 |722898 | 0 | 0.0 | 326M| 86 | - | 148 |5130 | 0 | 0 | 0 | 819k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
112.49/112.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
112.49/112.54 c 92.0s|990000 |729776 | 0 | 0.0 | 330M| 86 | - | 148 |5152 | 0 | 0 | 0 | 827k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
114.00/114.07 c 93.3s| 1000k|736666 | 0 | 0.0 | 333M| 86 | - | 148 |5274 | 0 | 0 | 0 | 836k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
115.59/115.65 c 94.7s| 1010k|743499 | 0 | 0.0 | 336M| 86 | - | 148 |5549 | 0 | 0 | 0 | 846k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
117.20/117.25 c 96.1s| 1020k|750153 | 0 | 0.0 | 340M| 86 | - | 148 |5902 | 0 | 0 | 0 | 856k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
118.89/118.98 c 97.6s| 1030k|756694 | 0 | 0.0 | 343M| 86 | - | 148 |5726 | 0 | 0 | 0 | 865k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
120.60/120.68 c 99.1s| 1040k|763258 | 0 | 0.0 | 347M| 86 | - | 148 |5574 | 0 | 0 | 0 | 875k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
122.39/122.40 c 101s| 1050k|769872 | 0 | 0.0 | 350M| 86 | - | 148 |5645 | 0 | 0 | 0 | 884k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
123.99/124.07 c 102s| 1060k|776561 | 0 | 0.0 | 353M| 86 | - | 148 |5558 | 0 | 0 | 0 | 894k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
125.60/125.68 c 103s| 1070k|783311 | 0 | 0.0 | 357M| 86 | - | 148 |5594 | 0 | 0 | 0 | 903k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
127.40/127.45 c 105s| 1080k|789919 | 0 | 0.0 | 360M| 86 | - | 148 |5667 | 0 | 0 | 0 | 913k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
129.19/129.22 c 107s| 1090k|796444 | 0 | 0.0 | 363M| 86 | - | 148 |5657 | 0 | 0 | 0 | 923k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
131.10/131.16 c 108s| 1100k|802538 | 0 | 0.0 | 367M| 86 | - | 148 |6082 | 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
133.00/133.01 c 110s| 1110k|808853 | 0 | 0.0 | 370M| 86 | - | 148 |5762 | 0 | 0 | 0 | 944k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
134.80/134.82 c 111s| 1120k|815303 | 0 | 0.0 | 374M| 86 | - | 148 |5815 | 0 | 0 | 0 | 954k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
136.59/136.67 c 113s| 1130k|821685 | 0 | 0.0 | 377M| 86 | - | 148 |5829 | 0 | 0 | 0 | 965k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
138.50/138.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
138.50/138.51 c 115s| 1140k|828127 | 0 | 0.0 | 380M| 86 | - | 148 |5914 | 0 | 0 | 0 | 975k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
140.30/140.34 c 116s| 1150k|834570 | 0 | 0.0 | 384M| 86 | - | 148 |5817 | 0 | 0 | 0 | 985k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
142.20/142.29 c 118s| 1160k|840821 | 0 | 0.0 | 387M| 86 | - | 148 |5966 | 0 | 0 | 0 | 997k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
144.29/144.39 c 120s| 1170k|846794 | 0 | 0.0 | 391M| 86 | - | 148 |6346 | 0 | 0 | 0 |1008k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
146.40/146.42 c 122s| 1180k|852861 | 0 | 0.0 | 394M| 86 | - | 148 |6280 | 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
148.40/148.45 c 124s| 1190k|858981 | 0 | 0.0 | 397M| 86 | - | 148 |5839 | 0 | 0 | 0 |1030k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
150.50/150.51 c 125s| 1200k|865138 | 0 | 0.0 | 401M| 86 | - | 148 |6184 | 0 | 0 | 0 |1041k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
152.29/152.39 c 127s| 1210k|871509 | 0 | 0.0 | 404M| 86 | - | 148 |6057 | 0 | 0 | 0 |1052k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
154.40/154.50 c 129s| 1220k|877648 | 0 | 0.0 | 408M| 86 | - | 148 |6065 | 0 | 0 | 0 |1063k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
156.50/156.59 c 131s| 1230k|883672 | 0 | 0.0 | 411M| 86 | - | 148 |6223 | 0 | 0 | 0 |1075k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
158.69/158.75 c 133s| 1240k|889464 | 0 | 0.0 | 415M| 86 | - | 148 |6712 | 0 | 0 | 0 |1087k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
160.99/161.00 c 135s| 1250k|895183 | 0 | 0.0 | 418M| 86 | - | 148 |6773 | 0 | 0 | 0 |1099k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
163.20/163.29 c 137s| 1260k|901033 | 0 | 0.0 | 421M| 86 | - | 148 |6367 | 0 | 0 | 0 |1110k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
165.39/165.47 c 139s| 1270k|906953 | 0 | 0.0 | 425M| 86 | - | 148 |6210 | 0 | 0 | 0 |1122k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
167.59/167.69 c 141s| 1280k|912847 | 0 | 0.0 | 428M| 86 | - | 148 |6409 | 0 | 0 | 0 |1133k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
169.79/169.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
169.79/169.90 c 143s| 1290k|918741 | 0 | 0.0 | 431M| 86 | - | 148 |6305 | 0 | 0 | 0 |1145k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
172.19/172.26 c 145s| 1300k|924377 | 0 | 0.0 | 435M| 86 | - | 148 |6650 | 0 | 0 | 0 |1158k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
174.60/174.60 c 147s| 1310k|930098 | 0 | 0.0 | 438M| 86 | - | 148 |6868 | 0 | 0 | 0 |1171k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
176.89/176.98 c 149s| 1320k|935593 | 0 | 0.0 | 442M| 86 | - | 148 |7127 | 0 | 0 | 0 |1184k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
179.40/179.42 c 151s| 1330k|941164 | 0 | 0.0 | 445M| 86 | - | 148 |6555 | 0 | 0 | 0 |1196k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
181.89/181.90 c 154s| 1340k|946705 | 0 | 0.0 | 449M| 86 | - | 148 |6634 | 0 | 0 | 0 |1209k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
184.30/184.39 c 156s| 1350k|952279 | 0 | 0.0 | 452M| 86 | - | 148 |6382 | 0 | 0 | 0 |1221k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
186.70/186.70 c 158s| 1360k|957995 | 0 | 0.0 | 455M| 86 | - | 148 |6626 | 0 | 0 | 0 |1233k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
189.20/189.26 c 160s| 1370k|963364 | 0 | 0.0 | 459M| 86 | - | 148 |6888 | 0 | 0 | 0 |1247k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
191.90/191.90 c 163s| 1380k|968748 | 0 | 0.0 | 462M| 86 | - | 148 |6726 | 0 | 0 | 0 |1260k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
194.60/194.62 c 165s| 1390k|973818 | 0 | 0.0 | 466M| 86 | - | 148 |7008 | 0 | 0 | 0 |1274k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
197.20/197.26 c 168s| 1400k|979028 | 0 | 0.0 | 469M| 86 | - | 148 |6910 | 0 | 0 | 0 |1287k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
199.80/199.84 c 170s| 1410k|984357 | 0 | 0.0 | 472M| 86 | - | 148 |6728 | 0 | 0 | 0 |1300k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
202.30/202.39 c 172s| 1420k|989710 | 0 | 0.0 | 476M| 86 | - | 148 |6787 | 0 | 0 | 0 |1313k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
205.00/205.01 c 175s| 1430k|994898 | 0 | 0.0 | 479M| 86 | - | 148 |6845 | 0 | 0 | 0 |1328k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
207.80/207.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
207.80/207.82 c 177s| 1440k|999992 | 0 | 0.0 | 483M| 86 | - | 148 |6848 | 0 | 0 | 0 |1342k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
210.50/210.57 c 180s| 1450k| 1004k| 0 | 0.0 | 486M| 86 | - | 148 |7584 | 0 | 0 | 0 |1356k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
213.50/213.53 c 183s| 1460k| 1009k| 0 | 0.0 | 489M| 86 | - | 148 |7155 | 0 | 0 | 0 |1371k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
216.40/216.42 c 185s| 1470k| 1014k| 0 | 0.0 | 493M| 86 | - | 148 |7023 | 0 | 0 | 0 |1385k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
219.10/219.15 c 188s| 1480k| 1019k| 0 | 0.0 | 496M| 86 | - | 148 |6956 | 0 | 0 | 0 |1399k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
221.90/221.94 c 190s| 1490k| 1024k| 0 | 0.0 | 499M| 86 | - | 148 |7237 | 0 | 0 | 0 |1414k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
224.70/224.78 c 193s| 1500k| 1029k| 0 | 0.0 | 503M| 86 | - | 148 |6925 | 0 | 0 | 0 |1428k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
227.80/227.83 c 196s| 1510k| 1034k| 0 | 0.0 | 506M| 86 | - | 148 |7321 | 0 | 0 | 0 |1443k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
231.00/231.05 c 199s| 1520k| 1038k| 0 | 0.0 | 509M| 86 | - | 148 |7228 | 0 | 0 | 0 |1459k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
234.10/234.10 c 201s| 1530k| 1043k| 0 | 0.0 | 513M| 86 | - | 148 |7116 | 0 | 0 | 0 |1473k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
236.99/237.08 c 204s| 1540k| 1048k| 0 | 0.0 | 516M| 86 | - | 148 |7054 | 0 | 0 | 0 |1488k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
240.09/240.14 c 207s| 1550k| 1052k| 0 | 0.0 | 520M| 86 | - | 148 |7286 | 0 | 0 | 0 |1504k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
243.10/243.18 c 210s| 1560k| 1057k| 0 | 0.0 | 523M| 86 | - | 148 |7252 | 0 | 0 | 0 |1519k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
246.30/246.39 c 213s| 1570k| 1061k| 0 | 0.0 | 526M| 86 | - | 148 |7507 | 0 | 0 | 0 |1535k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
249.70/249.74 c 216s| 1580k| 1065k| 0 | 0.0 | 530M| 86 | - | 148 |7318 | 0 | 0 | 0 |1551k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
252.79/252.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
252.79/252.90 c 219s| 1590k| 1070k| 0 | 0.0 | 533M| 86 | - | 148 |7199 | 0 | 0 | 0 |1566k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
256.10/256.13 c 222s| 1600k| 1074k| 0 | 0.0 | 536M| 86 | - | 148 |7217 | 0 | 0 | 0 |1582k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
259.40/259.50 c 225s| 1610k| 1078k| 0 | 0.0 | 540M| 86 | - | 148 |7124 | 0 | 0 | 0 |1598k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
262.60/262.68 c 228s| 1620k| 1083k| 0 | 0.0 | 543M| 86 | - | 148 |7471 | 0 | 0 | 0 |1613k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
266.40/266.47 c 231s| 1630k| 1086k| 0 | 0.0 | 546M| 86 | - | 148 |7510 | 0 | 0 | 0 |1631k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
270.00/270.02 c 234s| 1640k| 1090k| 0 | 0.0 | 549M| 86 | - | 148 |7461 | 0 | 0 | 0 |1648k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
273.19/273.26 c 237s| 1650k| 1094k| 0 | 0.0 | 553M| 86 | - | 148 |7343 | 0 | 0 | 0 |1664k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
276.50/276.50 c 240s| 1660k| 1099k| 0 | 0.0 | 556M| 86 | - | 148 |7239 | 0 | 0 | 0 |1679k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
279.90/279.95 c 244s| 1670k| 1103k| 0 | 0.0 | 560M| 86 | - | 148 |7836 | 0 | 0 | 0 |1696k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
283.80/283.81 c 247s| 1680k| 1106k| 0 | 0.0 | 563M| 86 | - | 148 |7570 | 0 | 0 | 0 |1714k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
287.40/287.47 c 251s| 1690k| 1110k| 0 | 0.0 | 566M| 86 | - | 148 |7326 | 0 | 0 | 0 |1731k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
290.80/290.86 c 254s| 1700k| 1113k| 0 | 0.0 | 569M| 86 | - | 148 |7227 | 0 | 0 | 0 |1748k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
294.30/294.36 c 257s| 1710k| 1117k| 0 | 0.0 | 573M| 86 | - | 148 |7934 | 0 | 0 | 0 |1765k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
298.30/298.39 c 261s| 1720k| 1120k| 0 | 0.0 | 576M| 86 | - | 148 |7597 | 0 | 0 | 0 |1783k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
302.51/302.50 c 265s| 1730k| 1123k| 0 | 0.0 | 579M| 86 | - | 148 |7426 | 0 | 0 | 0 |1801k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
306.20/306.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
306.20/306.25 c 268s| 1740k| 1127k| 0 | 0.0 | 583M| 86 | - | 148 |7462 | 0 | 0 | 0 |1819k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
310.00/310.07 c 272s| 1750k| 1130k| 0 | 0.0 | 586M| 86 | - | 148 |7930 | 0 | 0 | 0 |1836k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
314.00/314.09 c 275s| 1760k| 1133k| 0 | 0.0 | 589M| 86 | - | 148 |7938 | 0 | 0 | 0 |1855k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
318.10/318.14 c 279s| 1770k| 1136k| 0 | 0.0 | 592M| 86 | - | 148 |7456 | 0 | 0 | 0 |1874k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
321.80/321.80 c 282s| 1780k| 1140k| 0 | 0.0 | 595M| 86 | - | 148 |7519 | 0 | 0 | 0 |1891k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
325.70/325.75 c 286s| 1790k| 1143k| 0 | 0.0 | 599M| 86 | - | 148 |8216 | 0 | 0 | 0 |1909k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
330.20/330.26 c 290s| 1800k| 1145k| 0 | 0.0 | 602M| 86 | - | 148 |7756 | 0 | 0 | 0 |1930k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
334.41/334.46 c 294s| 1810k| 1148k| 0 | 0.0 | 605M| 86 | - | 148 |7498 | 0 | 0 | 0 |1948k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
338.50/338.54 c 298s| 1820k| 1151k| 0 | 0.0 | 609M| 86 | - | 148 |8359 | 0 | 0 | 0 |1967k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
343.40/343.42 c 303s| 1830k| 1152k| 0 | 0.0 | 611M| 86 | - | 148 |7422 | 0 | 0 | 0 |1988k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
347.61/347.70 c 307s| 1840k| 1155k| 0 | 0.0 | 614M| 86 | - | 148 |7622 | 0 | 0 | 0 |2007k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
352.20/352.23 c 311s| 1850k| 1157k| 0 | 0.0 | 617M| 86 | - | 148 |8431 | 0 | 0 | 0 |2027k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
356.90/356.91 c 315s| 1860k| 1159k| 0 | 0.0 | 620M| 86 | - | 148 |7638 | 0 | 0 | 0 |2047k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
361.00/361.08 c 319s| 1870k| 1161k| 0 | 0.0 | 623M| 86 | - | 148 |8291 | 0 | 0 | 0 |2067k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
365.90/365.97 c 324s| 1880k| 1162k| 0 | 0.0 | 625M| 86 | - | 148 |7773 | 0 | 0 | 0 |2088k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
370.61/370.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
370.61/370.64 c 328s| 1890k| 1164k| 0 | 0.0 | 628M| 86 | - | 148 |8547 | 0 | 0 | 0 |2109k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
375.20/375.28 c 332s| 1900k| 1166k| 0 | 0.0 | 631M| 86 | - | 148 |8197 | 0 | 0 | 0 |2129k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
380.51/380.57 c 337s| 1910k| 1166k| 0 | 0.0 | 634M| 86 | - | 148 |8056 | 0 | 0 | 0 |2151k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
385.40/385.48 c 342s| 1920k| 1167k| 0 | 0.0 | 636M| 86 | - | 148 |8163 | 0 | 0 | 0 |2173k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
390.60/390.62 c 347s| 1930k| 1168k| 0 | 0.0 | 639M| 86 | - | 148 |8235 | 0 | 0 | 0 |2194k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
396.10/396.10 c 352s| 1940k| 1167k| 0 | 0.0 | 640M| 86 | - | 148 |7745 | 0 | 0 | 0 |2216k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
400.31/400.35 c 356s| 1950k| 1169k| 0 | 0.0 | 641M| 88 | - | 148 |6167 | 0 | 0 | 0 |2233k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
402.20/402.29 c 358s| 1960k| 1176k| 0 | 0.0 | 644M| 88 | - | 148 |6105 | 0 | 0 | 0 |2242k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
404.10/404.18 c 359s| 1970k| 1184k| 0 | 0.0 | 647M| 88 | - | 148 |6617 | 0 | 0 | 0 |2253k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
406.00/406.05 c 361s| 1980k| 1191k| 0 | 0.0 | 651M| 88 | - | 148 |6374 | 0 | 0 | 0 |2263k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
407.70/407.70 c 362s| 1990k| 1199k| 0 | 0.0 | 654M| 88 | - | 148 |5914 | 0 | 0 | 0 |2271k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
409.60/409.70 c 364s| 2000k| 1206k| 0 | 0.0 | 657M| 88 | - | 148 |6546 | 0 | 0 | 0 |2281k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
411.20/411.29 c 366s| 2010k| 1213k| 0 | 0.0 | 660M| 88 | - | 148 |6110 | 0 | 0 | 0 |2289k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
413.21/413.22 c 367s| 2020k| 1220k| 0 | 0.0 | 664M| 88 | - | 148 |6950 | 0 | 0 | 0 |2299k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
415.00/415.01 c 369s| 2030k| 1228k| 0 | 0.0 | 667M| 88 | - | 148 |6946 | 0 | 0 | 0 |2307k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
416.60/416.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
416.60/416.60 c 370s| 2040k| 1236k| 0 | 0.0 | 670M| 88 | - | 148 |6496 | 0 | 0 | 0 |2315k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
418.51/418.50 c 372s| 2050k| 1243k| 0 | 0.0 | 674M| 88 | - | 148 |7312 | 0 | 0 | 0 |2324k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
420.21/420.25 c 373s| 2060k| 1250k| 0 | 0.0 | 677M| 88 | - | 148 |6844 | 0 | 0 | 0 |2332k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
421.91/421.96 c 375s| 2070k| 1258k| 0 | 0.0 | 681M| 88 | - | 148 |6797 | 0 | 0 | 0 |2341k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
423.80/423.88 c 377s| 2080k| 1265k| 0 | 0.0 | 684M| 88 | - | 148 |7638 | 0 | 0 | 0 |2350k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
425.61/425.69 c 378s| 2090k| 1272k| 0 | 0.0 | 688M| 88 | - | 148 |7803 | 0 | 0 | 0 |2359k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
427.41/427.48 c 380s| 2100k| 1280k| 0 | 0.0 | 691M| 88 | - | 148 |7489 | 0 | 0 | 0 |2367k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
429.20/429.23 c 381s| 2110k| 1287k| 0 | 0.0 | 694M| 88 | - | 148 |7256 | 0 | 0 | 0 |2375k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
430.91/430.95 c 383s| 2120k| 1295k| 0 | 0.0 | 697M| 88 | - | 148 |7455 | 0 | 0 | 0 |2382k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
433.00/433.09 c 385s| 2130k| 1302k| 0 | 0.0 | 701M| 88 | - | 148 |8377 | 0 | 0 | 0 |2392k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
435.01/435.04 c 387s| 2140k| 1309k| 0 | 0.0 | 704M| 88 | - | 148 |8489 | 0 | 0 | 0 |2400k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
436.80/436.80 c 388s| 2150k| 1316k| 0 | 0.0 | 707M| 88 | - | 148 |7772 | 0 | 0 | 0 |2408k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
438.60/438.66 c 390s| 2160k| 1324k| 0 | 0.0 | 710M| 88 | - | 148 |7823 | 0 | 0 | 0 |2416k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
440.30/440.32 c 391s| 2170k| 1331k| 0 | 0.0 | 714M| 88 | - | 148 |7783 | 0 | 0 | 0 |2424k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
442.11/442.18 c 393s| 2180k| 1339k| 0 | 0.0 | 717M| 88 | - | 148 |7995 | 0 | 0 | 0 |2431k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
444.10/444.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
444.10/444.11 c 395s| 2190k| 1346k| 0 | 0.0 | 720M| 88 | - | 148 |7945 | 0 | 0 | 0 |2439k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
446.30/446.32 c 397s| 2200k| 1353k| 0 | 0.0 | 724M| 88 | - | 148 |9309 | 0 | 0 | 0 |2449k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
448.50/448.57 c 399s| 2210k| 1360k| 0 | 0.0 | 727M| 88 | - | 148 |9468 | 0 | 0 | 0 |2459k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
450.50/450.56 c 400s| 2220k| 1368k| 0 | 0.0 | 731M| 88 | - | 148 |8782 | 0 | 0 | 0 |2467k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
452.40/452.46 c 402s| 2230k| 1375k| 0 | 0.0 | 734M| 88 | - | 148 |8578 | 0 | 0 | 0 |2475k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
454.31/454.39 c 404s| 2240k| 1383k| 0 | 0.0 | 737M| 88 | - | 148 |8477 | 0 | 0 | 0 |2482k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
456.20/456.29 c 406s| 2250k| 1390k| 0 | 0.0 | 740M| 88 | - | 148 |8673 | 0 | 0 | 0 |2490k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
458.31/458.33 c 407s| 2260k| 1397k| 0 | 0.0 | 743M| 88 | - | 148 |8206 | 0 | 0 | 0 |2497k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
460.21/460.22 c 409s| 2270k| 1405k| 0 | 0.0 | 747M| 88 | - | 148 |8269 | 0 | 0 | 0 |2505k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
462.11/462.15 c 411s| 2280k| 1412k| 0 | 0.0 | 750M| 88 | - | 148 |8447 | 0 | 0 | 0 |2512k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
464.81/464.84 c 413s| 2290k| 1419k| 0 | 0.0 | 754M| 88 | - | 148 |9902 | 0 | 0 | 0 |2523k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
467.31/467.33 c 415s| 2300k| 1426k| 0 | 0.0 | 757M| 88 | - | 148 | 10k| 0 | 0 | 0 |2533k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
469.61/469.65 c 418s| 2310k| 1433k| 0 | 0.0 | 760M| 88 | - | 148 |9581 | 0 | 0 | 0 |2541k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
471.71/471.73 c 419s| 2320k| 1440k| 0 | 0.0 | 763M| 88 | - | 148 |9010 | 0 | 0 | 0 |2549k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
473.70/473.72 c 421s| 2330k| 1447k| 0 | 0.0 | 767M| 88 | - | 148 |8852 | 0 | 0 | 0 |2557k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
475.71/475.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
475.71/475.77 c 423s| 2340k| 1455k| 0 | 0.0 | 770M| 88 | - | 148 |9080 | 0 | 0 | 0 |2565k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
477.90/477.97 c 425s| 2350k| 1462k| 0 | 0.0 | 773M| 88 | - | 148 |9084 | 0 | 0 | 0 |2573k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
480.00/480.07 c 427s| 2360k| 1469k| 0 | 0.0 | 776M| 88 | - | 148 |8989 | 0 | 0 | 0 |2581k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
482.21/482.25 c 429s| 2370k| 1476k| 0 | 0.0 | 780M| 88 | - | 148 |9233 | 0 | 0 | 0 |2589k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
484.40/484.42 c 431s| 2380k| 1484k| 0 | 0.0 | 783M| 88 | - | 148 |9062 | 0 | 0 | 0 |2596k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
486.81/486.87 c 433s| 2390k| 1490k| 0 | 0.0 | 787M| 88 | - | 148 | 10k| 0 | 0 | 0 |2606k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
489.70/489.71 c 436s| 2400k| 1497k| 0 | 0.0 | 791M| 88 | - | 148 | 11k| 0 | 0 | 0 |2618k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
492.30/492.37 c 438s| 2410k| 1504k| 0 | 0.0 | 794M| 88 | - | 148 | 10k| 0 | 0 | 0 |2627k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
494.71/494.79 c 440s| 2420k| 1511k| 0 | 0.0 | 797M| 88 | - | 148 | 10k| 0 | 0 | 0 |2636k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
496.90/496.99 c 442s| 2430k| 1518k| 0 | 0.0 | 800M| 88 | - | 148 |9870 | 0 | 0 | 0 |2644k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
499.31/499.32 c 444s| 2440k| 1525k| 0 | 0.0 | 803M| 88 | - | 148 | 10k| 0 | 0 | 0 |2652k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
501.70/501.72 c 447s| 2450k| 1532k| 0 | 0.0 | 807M| 88 | - | 148 | 10k| 0 | 0 | 0 |2660k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
503.71/503.80 c 448s| 2460k| 1540k| 0 | 0.0 | 810M| 88 | - | 148 |9651 | 0 | 0 | 0 |2668k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
505.81/505.90 c 450s| 2470k| 1547k| 0 | 0.0 | 813M| 88 | - | 148 |9946 | 0 | 0 | 0 |2675k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
508.12/508.18 c 452s| 2480k| 1554k| 0 | 0.0 | 817M| 88 | - | 148 |9893 | 0 | 0 | 0 |2684k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
510.41/510.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
510.41/510.45 c 454s| 2490k| 1561k| 0 | 0.0 | 820M| 88 | - | 148 |9946 | 0 | 0 | 0 |2691k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
512.61/512.68 c 457s| 2500k| 1569k| 0 | 0.0 | 823M| 88 | - | 148 |9850 | 0 | 0 | 0 |2699k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
515.20/515.25 c 459s| 2510k| 1576k| 0 | 0.0 | 827M| 88 | - | 148 | 10k| 0 | 0 | 0 |2708k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
518.91/518.93 c 462s| 2520k| 1582k| 0 | 0.0 | 832M| 88 | - | 148 | 14k| 0 | 0 | 0 |2722k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
522.20/522.24 c 465s| 2530k| 1588k| 0 | 0.0 | 835M| 88 | - | 148 | 12k| 0 | 0 | 0 |2732k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
524.91/524.95 c 468s| 2540k| 1595k| 0 | 0.0 | 838M| 88 | - | 148 | 11k| 0 | 0 | 0 |2741k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
527.31/527.39 c 470s| 2550k| 1602k| 0 | 0.0 | 841M| 88 | - | 148 | 10k| 0 | 0 | 0 |2749k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
529.81/529.81 c 472s| 2560k| 1610k| 0 | 0.0 | 844M| 88 | - | 148 | 10k| 0 | 0 | 0 |2757k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
532.21/532.30 c 475s| 2570k| 1617k| 0 | 0.0 | 847M| 88 | - | 148 | 10k| 0 | 0 | 0 |2765k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
534.81/534.85 c 477s| 2580k| 1624k| 0 | 0.0 | 851M| 88 | - | 148 | 10k| 0 | 0 | 0 |2773k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
537.21/537.25 c 479s| 2590k| 1631k| 0 | 0.0 | 854M| 88 | - | 148 | 10k| 0 | 0 | 0 |2782k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
539.61/539.66 c 481s| 2600k| 1638k| 0 | 0.0 | 857M| 88 | - | 148 | 10k| 0 | 0 | 0 |2790k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
542.10/542.14 c 484s| 2610k| 1645k| 0 | 0.0 | 860M| 88 | - | 148 | 10k| 0 | 0 | 0 |2798k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
544.80/544.86 c 486s| 2620k| 1652k| 0 | 0.0 | 864M| 88 | - | 148 | 10k| 0 | 0 | 0 |2806k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
547.41/547.40 c 488s| 2630k| 1659k| 0 | 0.0 | 867M| 88 | - | 148 | 10k| 0 | 0 | 0 |2813k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
549.91/549.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
549.91/549.93 c 491s| 2640k| 1666k| 0 | 0.0 | 870M| 88 | - | 148 | 10k| 0 | 0 | 0 |2821k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
553.11/553.11 c 494s| 2650k| 1672k| 0 | 0.0 | 875M| 88 | - | 148 | 12k| 0 | 0 | 0 |2833k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
557.31/557.38 c 498s| 2660k| 1678k| 0 | 0.0 | 879M| 88 | - | 148 | 15k| 0 | 0 | 0 |2847k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
560.81/560.86 c 501s| 2670k| 1685k| 0 | 0.0 | 882M| 88 | - | 148 | 13k| 0 | 0 | 0 |2857k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
563.91/563.90 c 504s| 2680k| 1692k| 0 | 0.0 | 885M| 88 | - | 148 | 12k| 0 | 0 | 0 |2866k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
566.41/566.46 c 506s| 2690k| 1699k| 0 | 0.0 | 888M| 88 | - | 148 | 12k| 0 | 0 | 0 |2875k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
569.20/569.27 c 509s| 2700k| 1705k| 0 | 0.0 | 891M| 88 | - | 148 | 12k| 0 | 0 | 0 |2883k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
571.81/571.85 c 511s| 2710k| 1713k| 0 | 0.0 | 895M| 88 | - | 148 | 11k| 0 | 0 | 0 |2891k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
574.40/574.40 c 514s| 2720k| 1720k| 0 | 0.0 | 898M| 88 | - | 148 | 11k| 0 | 0 | 0 |2900k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
577.11/577.14 c 516s| 2730k| 1727k| 0 | 0.0 | 901M| 88 | - | 148 | 11k| 0 | 0 | 0 |2908k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
579.61/579.68 c 518s| 2740k| 1734k| 0 | 0.0 | 904M| 88 | - | 148 | 11k| 0 | 0 | 0 |2916k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
582.41/582.48 c 521s| 2750k| 1741k| 0 | 0.0 | 908M| 88 | - | 148 | 11k| 0 | 0 | 0 |2924k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
585.22/585.21 c 523s| 2760k| 1748k| 0 | 0.0 | 911M| 88 | - | 148 | 11k| 0 | 0 | 0 |2932k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
587.90/587.99 c 526s| 2770k| 1755k| 0 | 0.0 | 915M| 88 | - | 148 | 11k| 0 | 0 | 0 |2940k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
590.62/590.62 c 528s| 2780k| 1762k| 0 | 0.0 | 918M| 88 | - | 148 | 11k| 0 | 0 | 0 |2948k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
593.30/593.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
593.30/593.39 c 531s| 2790k| 1769k| 0 | 0.0 | 921M| 88 | - | 148 | 11k| 0 | 0 | 0 |2957k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
596.21/596.22 c 534s| 2800k| 1776k| 0 | 0.0 | 925M| 88 | - | 148 | 11k| 0 | 0 | 0 |2965k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
600.31/600.31 c 537s| 2810k| 1781k| 0 | 0.0 | 929M| 88 | - | 148 | 14k| 0 | 0 | 0 |2979k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
605.41/605.42 c 542s| 2820k| 1787k| 0 | 0.0 | 934M| 88 | - | 148 | 17k| 0 | 0 | 0 |2993k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
609.31/609.32 c 546s| 2830k| 1793k| 0 | 0.0 | 936M| 88 | - | 148 | 15k| 0 | 0 | 0 |3003k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
612.51/612.58 c 549s| 2840k| 1800k| 0 | 0.0 | 939M| 88 | - | 148 | 14k| 0 | 0 | 0 |3013k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
615.81/615.86 c 552s| 2850k| 1807k| 0 | 0.0 | 943M| 88 | - | 148 | 13k| 0 | 0 | 0 |3023k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
618.71/618.79 c 555s| 2860k| 1814k| 0 | 0.0 | 946M| 88 | - | 148 | 12k| 0 | 0 | 0 |3031k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
621.91/621.94 c 558s| 2870k| 1820k| 0 | 0.0 | 949M| 88 | - | 148 | 12k| 0 | 0 | 0 |3040k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
625.11/625.18 c 561s| 2880k| 1827k| 0 | 0.0 | 952M| 88 | - | 148 | 12k| 0 | 0 | 0 |3048k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
628.02/628.07 c 564s| 2890k| 1834k| 0 | 0.0 | 956M| 88 | - | 148 | 12k| 0 | 0 | 0 |3056k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
630.91/630.97 c 566s| 2900k| 1841k| 0 | 0.0 | 959M| 88 | - | 148 | 12k| 0 | 0 | 0 |3065k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
633.81/633.87 c 569s| 2910k| 1848k| 0 | 0.0 | 962M| 88 | - | 148 | 12k| 0 | 0 | 0 |3073k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
636.81/636.82 c 572s| 2920k| 1855k| 0 | 0.0 | 966M| 88 | - | 148 | 12k| 0 | 0 | 0 |3082k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
639.91/639.99 c 575s| 2930k| 1862k| 0 | 0.0 | 969M| 88 | - | 148 | 12k| 0 | 0 | 0 |3090k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
643.01/643.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
643.01/643.08 c 577s| 2940k| 1868k| 0 | 0.0 | 973M| 88 | - | 148 | 12k| 0 | 0 | 0 |3099k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
646.01/646.05 c 580s| 2950k| 1875k| 0 | 0.0 | 976M| 88 | - | 148 | 12k| 0 | 0 | 0 |3107k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
649.51/649.55 c 583s| 2960k| 1882k| 0 | 0.0 | 979M| 88 | - | 148 | 12k| 0 | 0 | 0 |3116k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
653.01/653.07 c 587s| 2970k| 1888k| 0 | 0.0 | 983M| 88 | - | 148 | 13k| 0 | 0 | 0 |3126k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
656.41/656.48 c 590s| 2980k| 1895k| 0 | 0.0 | 986M| 88 | - | 148 | 12k| 0 | 0 | 0 |3135k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
661.21/661.29 c 595s| 2990k| 1900k| 0 | 0.0 | 991M| 88 | - | 148 | 17k| 0 | 0 | 0 |3150k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
666.71/666.77 c 600s| 3000k| 1906k| 0 | 0.0 | 995M| 88 | - | 148 | 17k| 0 | 0 | 0 |3163k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
671.31/671.31 c 604s| 3010k| 1912k| 0 | 0.0 | 998M| 88 | - | 148 | 16k| 0 | 0 | 0 |3175k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
675.42/675.40 c 608s| 3020k| 1919k| 0 | 0.0 |1001M| 88 | - | 148 | 15k| 0 | 0 | 0 |3185k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
678.91/678.99 c 611s| 3030k| 1925k| 0 | 0.0 |1004M| 88 | - | 148 | 15k| 0 | 0 | 0 |3195k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
682.21/682.25 c 614s| 3040k| 1932k| 0 | 0.0 |1007M| 88 | - | 148 | 13k| 0 | 0 | 0 |3204k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
685.61/685.67 c 618s| 3050k| 1939k| 0 | 0.0 |1011M| 88 | - | 148 | 13k| 0 | 0 | 0 |3213k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
689.01/689.00 c 621s| 3060k| 1945k| 0 | 0.0 |1014M| 88 | - | 148 | 13k| 0 | 0 | 0 |3221k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
692.11/692.17 c 624s| 3070k| 1952k| 0 | 0.0 |1017M| 88 | - | 148 | 13k| 0 | 0 | 0 |3230k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
695.62/695.60 c 627s| 3080k| 1959k| 0 | 0.0 |1021M| 88 | - | 148 | 13k| 0 | 0 | 0 |3239k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
698.91/698.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
698.91/698.93 c 630s| 3090k| 1966k| 0 | 0.0 |1024M| 88 | - | 148 | 13k| 0 | 0 | 0 |3247k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
702.31/702.30 c 633s| 3100k| 1972k| 0 | 0.0 |1027M| 88 | - | 148 | 13k| 0 | 0 | 0 |3256k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
705.42/705.42 c 636s| 3110k| 1979k| 0 | 0.0 |1031M| 88 | - | 148 | 13k| 0 | 0 | 0 |3264k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
708.91/708.98 c 639s| 3120k| 1986k| 0 | 0.0 |1034M| 88 | - | 148 | 13k| 0 | 0 | 0 |3273k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
712.91/712.92 c 643s| 3130k| 1992k| 0 | 0.0 |1038M| 88 | - | 148 | 13k| 0 | 0 | 0 |3283k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
716.81/716.81 c 647s| 3140k| 1998k| 0 | 0.0 |1041M| 88 | - | 148 | 13k| 0 | 0 | 0 |3293k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
720.52/720.51 c 650s| 3150k| 2005k| 0 | 0.0 |1045M| 88 | - | 148 | 13k| 0 | 0 | 0 |3302k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
724.41/724.41 c 654s| 3160k| 2011k| 0 | 0.0 |1048M| 88 | - | 148 | 13k| 0 | 0 | 0 |3312k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
728.11/728.14 c 657s| 3170k| 2018k| 0 | 0.0 |1052M| 88 | - | 148 | 13k| 0 | 0 | 0 |3322k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
731.81/731.89 c 661s| 3180k| 2024k| 0 | 0.0 |1055M| 88 | - | 148 | 13k| 0 | 0 | 0 |3332k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
737.51/737.56 c 666s| 3190k| 2029k| 0 | 0.0 |1060M| 88 | - | 148 | 19k| 0 | 0 | 0 |3346k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
743.02/743.01 c 672s| 3200k| 2035k| 0 | 0.0 |1063M| 88 | - | 148 | 17k| 0 | 0 | 0 |3359k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
748.31/748.31 c 677s| 3210k| 2041k| 0 | 0.0 |1067M| 88 | - | 148 | 17k| 0 | 0 | 0 |3372k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
752.91/752.96 c 681s| 3220k| 2047k| 0 | 0.0 |1070M| 88 | - | 148 | 16k| 0 | 0 | 0 |3383k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
756.91/756.99 c 685s| 3230k| 2053k| 0 | 0.0 |1073M| 88 | - | 148 | 15k| 0 | 0 | 0 |3392k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
760.72/760.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
760.72/760.72 c 688s| 3240k| 2060k| 0 | 0.0 |1076M| 88 | - | 148 | 14k| 0 | 0 | 0 |3401k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
764.31/764.36 c 692s| 3250k| 2066k| 0 | 0.0 |1080M| 88 | - | 148 | 14k| 0 | 0 | 0 |3410k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
767.82/767.89 c 695s| 3260k| 2073k| 0 | 0.0 |1083M| 88 | - | 148 | 14k| 0 | 0 | 0 |3419k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
771.42/771.49 c 699s| 3270k| 2080k| 0 | 0.0 |1086M| 88 | - | 148 | 14k| 0 | 0 | 0 |3428k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
775.01/775.09 c 702s| 3280k| 2086k| 0 | 0.0 |1090M| 88 | - | 148 | 14k| 0 | 0 | 0 |3437k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
778.62/778.64 c 705s| 3290k| 2093k| 0 | 0.0 |1093M| 88 | - | 148 | 14k| 0 | 0 | 0 |3446k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
782.21/782.28 c 709s| 3300k| 2100k| 0 | 0.0 |1096M| 88 | - | 148 | 14k| 0 | 0 | 0 |3455k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
786.42/786.44 c 713s| 3310k| 2106k| 0 | 0.0 |1100M| 88 | - | 148 | 14k| 0 | 0 | 0 |3465k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
790.41/790.40 c 716s| 3320k| 2112k| 0 | 0.0 |1103M| 88 | - | 148 | 13k| 0 | 0 | 0 |3475k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
794.71/794.71 c 720s| 3330k| 2118k| 0 | 0.0 |1107M| 88 | - | 148 | 14k| 0 | 0 | 0 |3485k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
798.81/798.86 c 724s| 3340k| 2125k| 0 | 0.0 |1110M| 88 | - | 148 | 14k| 0 | 0 | 0 |3496k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
802.81/802.89 c 728s| 3350k| 2131k| 0 | 0.0 |1114M| 88 | - | 148 | 14k| 0 | 0 | 0 |3506k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
807.02/807.05 c 732s| 3360k| 2137k| 0 | 0.0 |1117M| 88 | - | 148 | 14k| 0 | 0 | 0 |3516k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
811.41/811.44 c 736s| 3370k| 2143k| 0 | 0.0 |1121M| 88 | - | 148 | 14k| 0 | 0 | 0 |3526k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
815.72/815.79 c 740s| 3380k| 2150k| 0 | 0.0 |1124M| 88 | - | 148 | 14k| 0 | 0 | 0 |3537k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
819.92/819.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
819.92/819.94 c 744s| 3390k| 2156k| 0 | 0.0 |1128M| 88 | - | 148 | 14k| 0 | 0 | 0 |3547k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
824.72/824.77 c 749s| 3400k| 2162k| 0 | 0.0 |1132M| 88 | - | 148 | 16k| 0 | 0 | 0 |3560k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
829.91/829.98 c 754s| 3410k| 2167k| 0 | 0.0 |1135M| 88 | - | 148 | 15k| 0 | 0 | 0 |3573k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
836.22/836.25 c 760s| 3420k| 2172k| 0 | 0.0 |1139M| 88 | - | 148 | 16k| 0 | 0 | 0 |3587k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
841.62/841.60 c 765s| 3430k| 2178k| 0 | 0.0 |1142M| 88 | - | 148 | 16k| 0 | 0 | 0 |3599k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
846.32/846.36 c 770s| 3440k| 2184k| 0 | 0.0 |1146M| 88 | - | 148 | 16k| 0 | 0 | 0 |3610k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
850.71/850.72 c 774s| 3450k| 2190k| 0 | 0.0 |1149M| 88 | - | 148 | 15k| 0 | 0 | 0 |3620k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
854.73/854.71 c 777s| 3460k| 2196k| 0 | 0.0 |1152M| 88 | - | 148 | 15k| 0 | 0 | 0 |3630k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
858.82/858.83 c 781s| 3470k| 2203k| 0 | 0.0 |1155M| 88 | - | 148 | 15k| 0 | 0 | 0 |3639k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
862.82/862.87 c 785s| 3480k| 2209k| 0 | 0.0 |1159M| 88 | - | 148 | 14k| 0 | 0 | 0 |3648k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
866.62/866.66 c 789s| 3490k| 2216k| 0 | 0.0 |1162M| 88 | - | 148 | 14k| 0 | 0 | 0 |3657k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
870.62/870.60 c 793s| 3500k| 2222k| 0 | 0.0 |1166M| 88 | - | 148 | 14k| 0 | 0 | 0 |3667k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
874.92/874.90 c 797s| 3510k| 2228k| 0 | 0.0 |1169M| 88 | - | 148 | 14k| 0 | 0 | 0 |3677k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
879.21/879.23 c 801s| 3520k| 2234k| 0 | 0.0 |1172M| 88 | - | 148 | 14k| 0 | 0 | 0 |3687k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
883.52/883.51 c 805s| 3530k| 2241k| 0 | 0.0 |1176M| 88 | - | 148 | 14k| 0 | 0 | 0 |3697k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
887.91/887.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
887.91/887.98 c 809s| 3540k| 2247k| 0 | 0.0 |1179M| 88 | - | 148 | 14k| 0 | 0 | 0 |3708k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
892.13/892.17 c 813s| 3550k| 2253k| 0 | 0.0 |1183M| 88 | - | 148 | 14k| 0 | 0 | 0 |3718k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
896.42/896.50 c 817s| 3560k| 2259k| 0 | 0.0 |1186M| 88 | - | 148 | 14k| 0 | 0 | 0 |3728k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
901.21/901.26 c 822s| 3570k| 2265k| 0 | 0.0 |1190M| 88 | - | 148 | 14k| 0 | 0 | 0 |3739k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
905.62/905.62 c 826s| 3580k| 2271k| 0 | 0.0 |1193M| 88 | - | 148 | 14k| 0 | 0 | 0 |3749k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
910.31/910.35 c 830s| 3590k| 2277k| 0 | 0.0 |1197M| 88 | - | 148 | 14k| 0 | 0 | 0 |3760k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
914.62/914.62 c 834s| 3600k| 2283k| 0 | 0.0 |1200M| 88 | - | 148 | 14k| 0 | 0 | 0 |3770k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
919.02/919.01 c 838s| 3610k| 2289k| 0 | 0.0 |1204M| 88 | - | 148 | 14k| 0 | 0 | 0 |3780k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
923.61/923.61 c 843s| 3620k| 2295k| 0 | 0.0 |1207M| 88 | - | 148 | 14k| 0 | 0 | 0 |3791k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
927.92/927.94 c 847s| 3630k| 2301k| 0 | 0.0 |1211M| 88 | - | 148 | 14k| 0 | 0 | 0 |3801k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
932.22/932.25 c 851s| 3640k| 2307k| 0 | 0.0 |1214M| 88 | - | 148 | 14k| 0 | 0 | 0 |3812k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
937.02/937.01 c 856s| 3650k| 2313k| 0 | 0.0 |1218M| 88 | - | 148 | 14k| 0 | 0 | 0 |3822k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
942.01/942.06 c 860s| 3660k| 2319k| 0 | 0.0 |1221M| 88 | - | 148 | 14k| 0 | 0 | 0 |3834k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
947.02/947.02 c 865s| 3670k| 2324k| 0 | 0.0 |1225M| 88 | - | 148 | 15k| 0 | 0 | 0 |3847k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
952.82/952.80 c 871s| 3680k| 2329k| 0 | 0.0 |1229M| 88 | - | 148 | 18k| 0 | 0 | 0 |3862k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
958.62/958.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
958.62/958.65 c 876s| 3690k| 2335k| 0 | 0.0 |1232M| 88 | - | 148 | 17k| 0 | 0 | 0 |3875k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
963.62/963.67 c 881s| 3700k| 2340k| 0 | 0.0 |1236M| 88 | - | 148 | 16k| 0 | 0 | 0 |3886k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
968.92/968.99 c 886s| 3710k| 2346k| 0 | 0.0 |1239M| 88 | - | 148 | 16k| 0 | 0 | 0 |3898k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
973.01/973.05 c 890s| 3720k| 2352k| 0 | 0.0 |1242M| 88 | - | 148 | 15k| 0 | 0 | 0 |3908k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
977.42/977.44 c 894s| 3730k| 2359k| 0 | 0.0 |1245M| 88 | - | 148 | 15k| 0 | 0 | 0 |3917k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
981.62/981.63 c 898s| 3740k| 2365k| 0 | 0.0 |1249M| 88 | - | 148 | 14k| 0 | 0 | 0 |3927k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
986.22/986.24 c 902s| 3750k| 2371k| 0 | 0.0 |1252M| 88 | - | 148 | 14k| 0 | 0 | 0 |3936k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
990.82/990.87 c 907s| 3760k| 2377k| 0 | 0.0 |1256M| 88 | - | 148 | 14k| 0 | 0 | 0 |3947k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
995.22/995.23 c 911s| 3770k| 2383k| 0 | 0.0 |1259M| 88 | - | 148 | 14k| 0 | 0 | 0 |3957k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
999.62/999.69 c 915s| 3780k| 2389k| 0 | 0.0 |1262M| 88 | - | 148 | 14k| 0 | 0 | 0 |3968k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1004.42/1004.45 c 920s| 3790k| 2395k| 0 | 0.0 |1266M| 88 | - | 148 | 14k| 0 | 0 | 0 |3978k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1008.92/1008.95 c 924s| 3800k| 2401k| 0 | 0.0 |1269M| 88 | - | 148 | 14k| 0 | 0 | 0 |3989k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1013.92/1013.93 c 929s| 3810k| 2407k| 0 | 0.0 |1273M| 88 | - | 148 | 14k| 0 | 0 | 0 |4000k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1018.62/1018.62 c 933s| 3820k| 2412k| 0 | 0.0 |1276M| 88 | - | 148 | 14k| 0 | 0 | 0 |4011k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1023.32/1023.39 c 938s| 3830k| 2418k| 0 | 0.0 |1280M| 88 | - | 148 | 14k| 0 | 0 | 0 |4022k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1028.12/1028.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1028.12/1028.13 c 942s| 3840k| 2424k| 0 | 0.0 |1283M| 88 | - | 148 | 14k| 0 | 0 | 0 |4032k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1032.72/1032.80 c 947s| 3850k| 2430k| 0 | 0.0 |1287M| 88 | - | 148 | 14k| 0 | 0 | 0 |4043k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1037.52/1037.57 c 951s| 3860k| 2436k| 0 | 0.0 |1290M| 88 | - | 148 | 14k| 0 | 0 | 0 |4055k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1042.02/1042.00 c 956s| 3870k| 2442k| 0 | 0.0 |1294M| 88 | - | 148 | 14k| 0 | 0 | 0 |4065k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1047.02/1047.06 c 960s| 3880k| 2448k| 0 | 0.0 |1297M| 88 | - | 148 | 14k| 0 | 0 | 0 |4076k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1052.42/1052.41 c 965s| 3890k| 2453k| 0 | 0.0 |1301M| 88 | - | 148 | 14k| 0 | 0 | 0 |4087k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1057.82/1057.86 c 971s| 3900k| 2459k| 0 | 0.0 |1304M| 88 | - | 148 | 15k| 0 | 0 | 0 |4100k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1063.12/1063.13 c 976s| 3910k| 2464k| 0 | 0.0 |1308M| 88 | - | 148 | 15k| 0 | 0 | 0 |4113k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1067.92/1067.94 c 980s| 3920k| 2470k| 0 | 0.0 |1311M| 88 | - | 148 | 14k| 0 | 0 | 0 |4124k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1073.32/1073.35 c 985s| 3930k| 2475k| 0 | 0.0 |1315M| 88 | - | 148 | 15k| 0 | 0 | 0 |4136k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1078.72/1078.72 c 991s| 3940k| 2481k| 0 | 0.0 |1318M| 88 | - | 148 | 15k| 0 | 0 | 0 |4148k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1083.53/1083.58 c 995s| 3950k| 2487k| 0 | 0.0 |1322M| 88 | - | 148 | 15k| 0 | 0 | 0 |4159k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1090.03/1090.07 c 1001s| 3960k| 2491k| 0 | 0.0 |1326M| 88 | - | 148 | 17k| 0 | 0 | 0 |4174k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1096.12/1096.12 c 1007s| 3970k| 2496k| 0 | 0.0 |1329M| 88 | - | 148 | 17k| 0 | 0 | 0 |4187k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1101.72/1101.78 c 1013s| 3980k| 2502k| 0 | 0.0 |1333M| 88 | - | 148 | 16k| 0 | 0 | 0 |4200k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1106.73/1106.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1106.73/1106.72 c 1017s| 3990k| 2507k| 0 | 0.0 |1336M| 88 | - | 148 | 16k| 0 | 0 | 0 |4211k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1111.32/1111.34 c 1022s| 4000k| 2513k| 0 | 0.0 |1339M| 88 | - | 148 | 15k| 0 | 0 | 0 |4221k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1116.12/1116.14 c 1026s| 4010k| 2519k| 0 | 0.0 |1343M| 88 | - | 148 | 15k| 0 | 0 | 0 |4232k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1120.83/1120.82 c 1031s| 4020k| 2525k| 0 | 0.0 |1346M| 88 | - | 148 | 15k| 0 | 0 | 0 |4243k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1125.72/1125.76 c 1036s| 4030k| 2531k| 0 | 0.0 |1349M| 88 | - | 148 | 14k| 0 | 0 | 0 |4254k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1130.52/1130.52 c 1040s| 4040k| 2537k| 0 | 0.0 |1353M| 88 | - | 148 | 15k| 0 | 0 | 0 |4265k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1135.53/1135.59 c 1045s| 4050k| 2543k| 0 | 0.0 |1356M| 88 | - | 148 | 15k| 0 | 0 | 0 |4275k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1140.73/1140.74 c 1050s| 4060k| 2548k| 0 | 0.0 |1360M| 88 | - | 148 | 14k| 0 | 0 | 0 |4287k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1145.52/1145.55 c 1054s| 4070k| 2554k| 0 | 0.0 |1363M| 88 | - | 148 | 15k| 0 | 0 | 0 |4298k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1150.53/1150.60 c 1059s| 4080k| 2560k| 0 | 0.0 |1367M| 88 | - | 148 | 15k| 0 | 0 | 0 |4309k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1155.33/1155.30 c 1064s| 4090k| 2566k| 0 | 0.0 |1370M| 88 | - | 148 | 14k| 0 | 0 | 0 |4320k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1160.83/1160.80 c 1069s| 4100k| 2571k| 0 | 0.0 |1374M| 88 | - | 148 | 14k| 0 | 0 | 0 |4332k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1165.93/1165.97 c 1074s| 4110k| 2577k| 0 | 0.0 |1377M| 88 | - | 148 | 15k| 0 | 0 | 0 |4344k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1171.13/1171.18 c 1079s| 4120k| 2582k| 0 | 0.0 |1381M| 88 | - | 148 | 14k| 0 | 0 | 0 |4355k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1176.52/1176.54 c 1084s| 4130k| 2588k| 0 | 0.0 |1384M| 88 | - | 148 | 14k| 0 | 0 | 0 |4366k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1182.22/1182.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1182.22/1182.20 c 1089s| 4140k| 2593k| 0 | 0.0 |1388M| 88 | - | 148 | 14k| 0 | 0 | 0 |4379k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1187.42/1187.44 c 1094s| 4150k| 2598k| 0 | 0.0 |1391M| 88 | - | 148 | 15k| 0 | 0 | 0 |4391k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1192.83/1192.87 c 1100s| 4160k| 2604k| 0 | 0.0 |1395M| 88 | - | 148 | 15k| 0 | 0 | 0 |4402k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1198.53/1198.55 c 1105s| 4170k| 2609k| 0 | 0.0 |1398M| 88 | - | 148 | 15k| 0 | 0 | 0 |4414k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1204.12/1204.13 c 1110s| 4180k| 2614k| 0 | 0.0 |1402M| 88 | - | 148 | 15k| 0 | 0 | 0 |4426k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1209.33/1209.39 c 1115s| 4190k| 2620k| 0 | 0.0 |1405M| 88 | - | 148 | 15k| 0 | 0 | 0 |4438k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1214.92/1214.93 c 1121s| 4200k| 2625k| 0 | 0.0 |1409M| 88 | - | 148 | 15k| 0 | 0 | 0 |4449k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1220.62/1220.60 c 1126s| 4210k| 2630k| 0 | 0.0 |1413M| 88 | - | 148 | 15k| 0 | 0 | 0 |4461k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1226.73/1226.75 c 1132s| 4220k| 2636k| 0 | 0.0 |1416M| 88 | - | 148 | 15k| 0 | 0 | 0 |4473k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1232.53/1232.55 c 1138s| 4230k| 2641k| 0 | 0.0 |1420M| 88 | - | 148 | 16k| 0 | 0 | 0 |4485k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1239.53/1239.52 c 1144s| 4240k| 2645k| 0 | 0.0 |1424M| 88 | - | 148 | 17k| 0 | 0 | 0 |4500k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1246.93/1246.94 c 1151s| 4250k| 2650k| 0 | 0.0 |1427M| 88 | - | 148 | 17k| 0 | 0 | 0 |4515k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1253.53/1253.59 c 1158s| 4260k| 2654k| 0 | 0.0 |1431M| 88 | - | 148 | 17k| 0 | 0 | 0 |4529k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1259.43/1259.47 c 1164s| 4270k| 2660k| 0 | 0.0 |1434M| 88 | - | 148 | 16k| 0 | 0 | 0 |4541k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1265.32/1265.33 c 1169s| 4280k| 2665k| 0 | 0.0 |1437M| 88 | - | 148 | 16k| 0 | 0 | 0 |4554k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1270.53/1270.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1270.53/1270.54 c 1174s| 4290k| 2671k| 0 | 0.0 |1441M| 88 | - | 148 | 16k| 0 | 0 | 0 |4565k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1275.83/1275.85 c 1179s| 4300k| 2676k| 0 | 0.0 |1444M| 88 | - | 148 | 16k| 0 | 0 | 0 |4576k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1281.03/1281.05 c 1184s| 4310k| 2682k| 0 | 0.0 |1448M| 88 | - | 148 | 15k| 0 | 0 | 0 |4588k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1286.53/1286.50 c 1189s| 4320k| 2688k| 0 | 0.0 |1451M| 88 | - | 148 | 15k| 0 | 0 | 0 |4599k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1292.13/1292.10 c 1195s| 4330k| 2693k| 0 | 0.0 |1455M| 88 | - | 148 | 15k| 0 | 0 | 0 |4611k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1297.43/1297.43 c 1200s| 4340k| 2699k| 0 | 0.0 |1458M| 88 | - | 148 | 15k| 0 | 0 | 0 |4622k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1302.93/1302.93 c 1205s| 4350k| 2704k| 0 | 0.0 |1462M| 88 | - | 148 | 15k| 0 | 0 | 0 |4634k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1308.43/1308.47 c 1210s| 4360k| 2709k| 0 | 0.0 |1465M| 88 | - | 148 | 15k| 0 | 0 | 0 |4646k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1313.63/1313.61 c 1215s| 4370k| 2715k| 0 | 0.0 |1469M| 88 | - | 148 | 15k| 0 | 0 | 0 |4657k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1319.23/1319.25 c 1221s| 4380k| 2720k| 0 | 0.0 |1472M| 88 | - | 148 | 15k| 0 | 0 | 0 |4669k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1325.53/1325.50 c 1227s| 4390k| 2725k| 0 | 0.0 |1476M| 88 | - | 148 | 15k| 0 | 0 | 0 |4681k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1331.23/1331.20 c 1232s| 4400k| 2730k| 0 | 0.0 |1480M| 88 | - | 148 | 15k| 0 | 0 | 0 |4694k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1336.83/1336.89 c 1238s| 4410k| 2736k| 0 | 0.0 |1483M| 88 | - | 148 | 15k| 0 | 0 | 0 |4706k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1342.83/1342.83 c 1243s| 4420k| 2741k| 0 | 0.0 |1487M| 88 | - | 148 | 15k| 0 | 0 | 0 |4718k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1348.83/1348.87 c 1249s| 4430k| 2746k| 0 | 0.0 |1490M| 88 | - | 148 | 15k| 0 | 0 | 0 |4731k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1354.64/1354.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1354.64/1354.64 c 1255s| 4440k| 2751k| 0 | 0.0 |1494M| 88 | - | 148 | 15k| 0 | 0 | 0 |4743k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1361.13/1361.16 c 1261s| 4450k| 2756k| 0 | 0.0 |1497M| 88 | - | 148 | 15k| 0 | 0 | 0 |4755k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1367.34/1367.35 c 1267s| 4460k| 2761k| 0 | 0.0 |1501M| 88 | - | 148 | 15k| 0 | 0 | 0 |4768k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1373.83/1373.84 c 1273s| 4470k| 2766k| 0 | 0.0 |1505M| 88 | - | 148 | 15k| 0 | 0 | 0 |4781k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1379.73/1379.73 c 1279s| 4480k| 2771k| 0 | 0.0 |1508M| 88 | - | 148 | 15k| 0 | 0 | 0 |4793k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1385.93/1385.90 c 1285s| 4490k| 2776k| 0 | 0.0 |1512M| 88 | - | 148 | 15k| 0 | 0 | 0 |4805k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1392.33/1392.34 c 1291s| 4500k| 2781k| 0 | 0.0 |1515M| 88 | - | 148 | 15k| 0 | 0 | 0 |4817k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1398.63/1398.69 c 1297s| 4510k| 2786k| 0 | 0.0 |1519M| 88 | - | 148 | 15k| 0 | 0 | 0 |4830k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1405.33/1405.30 c 1303s| 4520k| 2791k| 0 | 0.0 |1522M| 88 | - | 148 | 16k| 0 | 0 | 0 |4843k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1413.04/1413.05 c 1311s| 4530k| 2794k| 0 | 0.0 |1526M| 88 | - | 148 | 17k| 0 | 0 | 0 |4860k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1420.24/1420.28 c 1318s| 4540k| 2799k| 0 | 0.0 |1529M| 88 | - | 148 | 17k| 0 | 0 | 0 |4874k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1427.34/1427.31 c 1325s| 4550k| 2803k| 0 | 0.0 |1533M| 88 | - | 148 | 17k| 0 | 0 | 0 |4889k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1433.73/1433.73 c 1331s| 4560k| 2808k| 0 | 0.0 |1536M| 88 | - | 148 | 16k| 0 | 0 | 0 |4901k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1439.94/1439.91 c 1337s| 4570k| 2813k| 0 | 0.0 |1539M| 88 | - | 148 | 16k| 0 | 0 | 0 |4914k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1445.44/1445.48 c 1342s| 4580k| 2819k| 0 | 0.0 |1543M| 88 | - | 148 | 16k| 0 | 0 | 0 |4925k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1451.33/1451.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1451.33/1451.33 c 1348s| 4590k| 2824k| 0 | 0.0 |1546M| 88 | - | 148 | 16k| 0 | 0 | 0 |4938k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1456.84/1456.83 c 1353s| 4600k| 2830k| 0 | 0.0 |1550M| 88 | - | 148 | 15k| 0 | 0 | 0 |4949k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1462.53/1462.59 c 1359s| 4610k| 2835k| 0 | 0.0 |1553M| 88 | - | 148 | 15k| 0 | 0 | 0 |4961k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1468.23/1468.27 c 1364s| 4620k| 2840k| 0 | 0.0 |1557M| 88 | - | 148 | 15k| 0 | 0 | 0 |4973k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1474.04/1474.08 c 1370s| 4630k| 2846k| 0 | 0.0 |1560M| 88 | - | 148 | 15k| 0 | 0 | 0 |4985k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1480.33/1480.36 c 1376s| 4640k| 2851k| 0 | 0.0 |1564M| 88 | - | 148 | 15k| 0 | 0 | 0 |4997k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1486.74/1486.71 c 1382s| 4650k| 2855k| 0 | 0.0 |1567M| 88 | - | 148 | 16k| 0 | 0 | 0 |5011k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1492.84/1492.81 c 1388s| 4660k| 2860k| 0 | 0.0 |1571M| 88 | - | 148 | 15k| 0 | 0 | 0 |5023k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1499.24/1499.20 c 1394s| 4670k| 2865k| 0 | 0.0 |1574M| 88 | - | 148 | 15k| 0 | 0 | 0 |5035k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1505.73/1505.74 c 1400s| 4680k| 2870k| 0 | 0.0 |1578M| 88 | - | 148 | 15k| 0 | 0 | 0 |5048k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1512.03/1512.08 c 1406s| 4690k| 2874k| 0 | 0.0 |1582M| 88 | - | 148 | 16k| 0 | 0 | 0 |5062k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1518.64/1518.64 c 1413s| 4700k| 2879k| 0 | 0.0 |1585M| 88 | - | 148 | 15k| 0 | 0 | 0 |5075k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1525.34/1525.39 c 1419s| 4710k| 2884k| 0 | 0.0 |1589M| 88 | - | 148 | 15k| 0 | 0 | 0 |5088k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1532.04/1532.08 c 1426s| 4720k| 2888k| 0 | 0.0 |1593M| 88 | - | 148 | 16k| 0 | 0 | 0 |5101k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1538.34/1538.33 c 1432s| 4730k| 2893k| 0 | 0.0 |1596M| 88 | - | 148 | 16k| 0 | 0 | 0 |5114k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1544.74/1544.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1544.74/1544.74 c 1438s| 4740k| 2898k| 0 | 0.0 |1600M| 88 | - | 148 | 15k| 0 | 0 | 0 |5127k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1551.44/1551.48 c 1444s| 4750k| 2903k| 0 | 0.0 |1603M| 88 | - | 148 | 16k| 0 | 0 | 0 |5140k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1558.54/1558.56 c 1451s| 4760k| 2908k| 0 | 0.0 |1607M| 88 | - | 148 | 16k| 0 | 0 | 0 |5153k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1564.93/1564.90 c 1457s| 4770k| 2912k| 0 | 0.0 |1610M| 88 | - | 148 | 16k| 0 | 0 | 0 |5166k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1571.34/1571.32 c 1463s| 4780k| 2917k| 0 | 0.0 |1614M| 88 | - | 148 | 16k| 0 | 0 | 0 |5179k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1578.24/1578.24 c 1470s| 4790k| 2922k| 0 | 0.0 |1617M| 88 | - | 148 | 16k| 0 | 0 | 0 |5192k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1584.94/1584.90 c 1476s| 4800k| 2927k| 0 | 0.0 |1621M| 88 | - | 148 | 16k| 0 | 0 | 0 |5206k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1592.34/1592.37 c 1484s| 4810k| 2931k| 0 | 0.0 |1625M| 88 | - | 148 | 17k| 0 | 0 | 0 |5221k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1601.14/1601.12 c 1492s| 4820k| 2934k| 0 | 0.0 |1628M| 88 | - | 148 | 18k| 0 | 0 | 0 |5239k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1608.54/1608.50 c 1499s| 4830k| 2939k| 0 | 0.0 |1631M| 88 | - | 148 | 17k| 0 | 0 | 0 |5253k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1615.94/1615.95 c 1506s| 4840k| 2943k| 0 | 0.0 |1635M| 88 | - | 148 | 17k| 0 | 0 | 0 |5268k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1622.94/1622.93 c 1513s| 4850k| 2948k| 0 | 0.0 |1638M| 88 | - | 148 | 16k| 0 | 0 | 0 |5281k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1629.15/1629.19 c 1519s| 4860k| 2953k| 0 | 0.0 |1642M| 88 | - | 148 | 16k| 0 | 0 | 0 |5294k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1635.64/1635.69 c 1525s| 4870k| 2958k| 0 | 0.0 |1645M| 88 | - | 148 | 16k| 0 | 0 | 0 |5307k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1641.94/1641.94 c 1531s| 4880k| 2963k| 0 | 0.0 |1648M| 88 | - | 148 | 16k| 0 | 0 | 0 |5319k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1648.14/1648.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1648.14/1648.19 c 1537s| 4890k| 2968k| 0 | 0.0 |1652M| 88 | - | 148 | 16k| 0 | 0 | 0 |5332k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1654.64/1654.60 c 1543s| 4900k| 2973k| 0 | 0.0 |1655M| 88 | - | 148 | 15k| 0 | 0 | 0 |5344k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1661.14/1661.15 c 1550s| 4910k| 2977k| 0 | 0.0 |1659M| 88 | - | 148 | 16k| 0 | 0 | 0 |5358k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1668.04/1668.05 c 1556s| 4920k| 2982k| 0 | 0.0 |1662M| 88 | - | 148 | 15k| 0 | 0 | 0 |5371k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1674.64/1674.66 c 1563s| 4930k| 2986k| 0 | 0.0 |1666M| 88 | - | 148 | 15k| 0 | 0 | 0 |5384k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1681.44/1681.49 c 1569s| 4940k| 2991k| 0 | 0.0 |1670M| 88 | - | 148 | 16k| 0 | 0 | 0 |5397k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1688.64/1688.62 c 1576s| 4950k| 2995k| 0 | 0.0 |1673M| 88 | - | 148 | 16k| 0 | 0 | 0 |5410k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1695.74/1695.73 c 1583s| 4960k| 2999k| 0 | 0.0 |1677M| 88 | - | 148 | 16k| 0 | 0 | 0 |5424k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1702.74/1702.78 c 1590s| 4970k| 3004k| 0 | 0.0 |1680M| 88 | - | 148 | 16k| 0 | 0 | 0 |5438k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1709.24/1709.22 c 1596s| 4980k| 3008k| 0 | 0.0 |1684M| 88 | - | 148 | 16k| 0 | 0 | 0 |5451k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1716.14/1716.11 c 1603s| 4990k| 3013k| 0 | 0.0 |1687M| 88 | - | 148 | 16k| 0 | 0 | 0 |5464k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1723.24/1723.25 c 1610s| 5000k| 3017k| 0 | 0.0 |1691M| 88 | - | 148 | 15k| 0 | 0 | 0 |5478k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1730.54/1730.56 c 1617s| 5010k| 3021k| 0 | 0.0 |1694M| 88 | - | 148 | 16k| 0 | 0 | 0 |5492k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1737.74/1737.72 c 1624s| 5020k| 3026k| 0 | 0.0 |1698M| 88 | - | 148 | 16k| 0 | 0 | 0 |5505k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1745.24/1745.24 c 1631s| 5030k| 3030k| 0 | 0.0 |1701M| 88 | - | 148 | 16k| 0 | 0 | 0 |5519k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1752.14/1752.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1752.14/1752.10 c 1637s| 5040k| 3035k| 0 | 0.0 |1705M| 88 | - | 148 | 16k| 0 | 0 | 0 |5533k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1758.95/1758.92 c 1644s| 5050k| 3039k| 0 | 0.0 |1708M| 88 | - | 148 | 16k| 0 | 0 | 0 |5547k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1766.04/1766.07 c 1651s| 5060k| 3044k| 0 | 0.0 |1712M| 88 | - | 148 | 16k| 0 | 0 | 0 |5560k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1773.25/1773.27 c 1658s| 5070k| 3048k| 0 | 0.0 |1716M| 88 | - | 148 | 16k| 0 | 0 | 0 |5574k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1780.54/1780.53 c 1665s| 5080k| 3053k| 0 | 0.0 |1719M| 88 | - | 148 | 16k| 0 | 0 | 0 |5588k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1787.94/1787.91 c 1672s| 5090k| 3057k| 0 | 0.0 |1723M| 88 | - | 148 | 16k| 0 | 0 | 0 |5602k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1796.84/1796.85 c 1681s| 5100k| 3060k| 0 | 0.0 |1727M| 88 | - | 148 | 18k| 0 | 0 | 0 |5620k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1683.78
1800.05/1800.00 c Solving Nodes : 5103713
1800.05/1800.00 c Primal Bound : +1.00000000000000e+00 (6 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 s SATISFIABLE
1800.05/1800.00 v -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87
1800.05/1800.00 v -x86 -x85 -x84 -x83 -x82 x81 -x80 x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61
1800.05/1800.00 v -x60 -x59 -x58 -x57 -x56 x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36
1800.05/1800.00 v -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10
1800.05/1800.00 v -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time : 1683.78
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-2693759-1277891678.wbo
1800.05/1800.00 c Variables : 148 (129 binary, 0 integer, 0 implicit integer, 19 continuous)
1800.05/1800.00 c Constraints : 41 initial, 41 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-2693759-1277891678.wbo
1800.05/1800.00 c Variables : 148 (129 binary, 0 integer, 0 implicit integer, 19 continuous)
1800.05/1800.00 c Constraints : 40 initial, 19668 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c linear : 0.00 0 0 0 19 0 1 0 0
1800.05/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c root node : - 0 - - 0 - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 19 0 1076 0 473 0 1780 0 0 0
1800.05/1800.00 c setppc : 2 0 6752169 0 3182442 171599 4302272 0 0 0
1800.05/1800.00 c linear : 19 0 9825812 0 4404488 684330 13534029 0 0 0
1800.05/1800.00 c logicor : 0+ 0 6247883 0 0 407740 9126822 0 0 0
1800.05/1800.00 c countsols : 0 0 0 0 4404492 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c indicator : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c setppc : 14.98 0.00 14.78 0.00 0.20
1800.05/1800.00 c linear : 88.13 0.00 88.04 0.00 0.09
1800.05/1800.00 c logicor : 677.19 0.00 677.19 0.00 0.00
1800.05/1800.00 c countsols : 0.01 0.00 0.00 0.00 0.01
1800.05/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.00 c vbounds : 0.01 2 0 0
1800.05/1800.00 c rootredcost : 0.01 0 0 0
1800.05/1800.00 c pseudoobj : 1.95 9997218 1 1729
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 60.46 1263669 1263666 8045823 35.9 2627032 10.1 -
1800.05/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.00 c applied globally : - - - 5350217 17.9 - - -
1800.05/1800.00 c applied locally : - - - 276881 34.8 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.00 c redcost : 0.00 0 0 0 0 0
1800.05/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.00 c cmir : 0.00 0 0 0 0 0
1800.05/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.00 c clique : 0.00 0 0 0 0 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 13.63 4404487 0 0 0 0 8808974
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.00 - 0
1800.05/1800.00 c pseudo solutions : 0.00 - 5
1800.05/1800.00 c oneopt : 0.06 0 0
1800.05/1800.00 c trivial : 0.00 2 0
1800.05/1800.00 c simplerounding : 0.00 0 0
1800.05/1800.00 c zirounding : 0.00 0 0
1800.05/1800.00 c rounding : 0.00 0 0
1800.05/1800.00 c shifting : 0.00 0 0
1800.05/1800.00 c intshifting : 0.00 0 0
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c feaspump : 0.00 0 0
1800.05/1800.00 c coefdiving : 0.00 0 0
1800.05/1800.00 c pscostdiving : 0.00 0 0
1800.05/1800.00 c fracdiving : 0.00 0 0
1800.05/1800.00 c veclendiving : 0.00 0 0
1800.05/1800.00 c intdiving : 0.00 0 0
1800.05/1800.00 c actconsdiving : 0.00 0 0
1800.05/1800.00 c objpscostdiving : 0.00 0 0
1800.05/1800.00 c rootsoldiving : 0.00 0 0
1800.05/1800.00 c linesearchdiving : 0.00 0 0
1800.05/1800.00 c guideddiving : 0.00 0 0
1800.05/1800.00 c octane : 0.00 0 0
1800.05/1800.00 c rens : 0.00 0 0
1800.05/1800.00 c rins : 0.00 0 0
1800.05/1800.00 c localbranching : 0.00 0 0
1800.05/1800.00 c mutation : 0.00 0 0
1800.05/1800.00 c crossover : 0.00 0 0
1800.05/1800.00 c dins : 0.00 0 0
1800.05/1800.00 c undercover : 0.00 0 0
1800.05/1800.00 c nlp : 0.02 0 0
1800.05/1800.00 c trysol : 0.02 1 1
1800.05/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.00 c (at root node) : - 0 0 0.00 -
1800.05/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.00 c B&B Tree :
1800.05/1800.00 c number of runs : 1
1800.05/1800.00 c nodes : 5103713
1800.05/1800.00 c nodes (total) : 5103713
1800.05/1800.00 c nodes left : 3062055
1800.05/1800.00 c max depth : 88
1800.05/1800.00 c max depth (total): 88
1800.05/1800.00 c backtracks : 643645 (12.6%)
1800.05/1800.00 c delayed cutoffs : 643029
1800.05/1800.00 c repropagations : 1360003 (9789950 domain reductions, 564449 cutoffs)
1800.05/1800.00 c avg switch length: 9.16
1800.05/1800.00 c switching time : 687.59
1800.05/1800.00 c Solution :
1800.05/1800.00 c Solutions found : 6 (6 improvements)
1800.05/1800.00 c First Solution : +8.09000000000000e+02 (in run 1, after 1 nodes, 0.00 seconds, depth 0, found by <trysol>)
1800.05/1800.00 c Primal Bound : +1.00000000000000e+00 (in run 1, after 26988 nodes, 1.58 seconds, depth 68, found by <relaxation>)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Root Iterations : 0
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693759-1277891678/watcher-2693759-1277891678 -o /tmp/evaluation-result-2693759-1277891678/solver-2693759-1277891678 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693759-1277891678.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.89 1.97 2.44 3/178 10302 /proc/meminfo: memFree=31112648/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=7592 CPUtime=0 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 1712 0 0 0 0 0 0 0 21 0 1 0 130465453 7774208 1282 4089446400 4194304 7136930 140735265164880 18446744073709551615 6346856 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 1898 1297 282 719 0 1177 0 [startup+0.0528439 s] /proc/loadavg: 1.89 1.97 2.44 3/178 10302 /proc/meminfo: memFree=31112648/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=12064 CPUtime=0.05 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 3741 0 0 0 3 2 0 0 21 0 1 0 130465453 12353536 2283 4089446400 4194304 7136930 140735265164880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 3016 2284 393 719 0 2295 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 12064 [startup+0.100849 s] /proc/loadavg: 1.89 1.97 2.44 3/178 10302 /proc/meminfo: memFree=31112648/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=12752 CPUtime=0.09 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 3945 0 0 0 5 4 0 0 21 0 1 0 130465453 13058048 2487 4089446400 4194304 7136930 140735265164880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 3188 2487 393 719 0 2467 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12752 [startup+0.300799 s] /proc/loadavg: 1.89 1.97 2.44 3/178 10302 /proc/meminfo: memFree=31112648/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=16424 CPUtime=0.29 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 4856 0 0 0 18 11 0 0 21 0 1 0 130465453 16818176 3398 4089446400 4194304 7136930 140735265164880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 4106 3398 393 719 0 3385 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16424 [startup+0.700737 s] /proc/loadavg: 1.89 1.97 2.44 3/178 10302 /proc/meminfo: memFree=31112648/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=18320 CPUtime=0.69 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 5341 0 0 0 48 21 0 0 22 0 1 0 130465453 18759680 3883 4089446400 4194304 7136930 140735265164880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 4580 3883 393 719 0 3859 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18320 [startup+1.50059 s] /proc/loadavg: 1.89 1.97 2.44 3/179 10303 /proc/meminfo: memFree=31095156/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=22372 CPUtime=1.49 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 6413 0 0 0 104 45 0 0 25 0 1 0 130465453 22908928 4955 4089446400 4194304 7136930 140735265164880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 5593 4955 393 719 0 4872 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22372 [startup+3.1003 s] /proc/loadavg: 1.89 1.97 2.44 3/179 10303 /proc/meminfo: memFree=31087104/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=30492 CPUtime=3.09 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 8490 0 0 0 219 90 0 0 25 0 1 0 130465453 31223808 7032 4089446400 4194304 7136930 140735265164880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 7623 7032 393 719 0 6902 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30492 [startup+6.30072 s] /proc/loadavg: 1.90 1.97 2.44 3/179 10303 /proc/meminfo: memFree=31059228/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=49712 CPUtime=6.29 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 12930 0 0 0 444 185 0 0 25 0 1 0 130465453 50905088 11472 4089446400 4194304 7136930 140735265164880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 12428 11472 393 719 0 11707 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49712 [startup+12.7006 s] /proc/loadavg: 1.91 1.97 2.44 3/179 10303 /proc/meminfo: memFree=31010124/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=79620 CPUtime=12.69 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 20641 0 0 0 928 341 0 0 25 0 1 0 130465453 81530880 19183 4089446400 4194304 7136930 140735265164880 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 19905 19183 393 719 0 19184 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 79620 [startup+25.5002 s] /proc/loadavg: 1.93 1.97 2.43 3/179 10303 /proc/meminfo: memFree=30937732/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=112592 CPUtime=25.49 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 29071 0 0 0 2007 542 0 0 25 0 1 0 130465453 115294208 27613 4089446400 4194304 7136930 140735265164880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 28148 27613 393 719 0 27427 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 112592 [startup+51.1006 s] /proc/loadavg: 2.01 1.99 2.42 3/179 10303 /proc/meminfo: memFree=30792696/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=198704 CPUtime=51.09 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 50281 0 0 0 4067 1042 0 0 25 0 1 0 130465453 203472896 48823 4089446400 4194304 7136930 140735265164880 18446744073709551615 4408834 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 49676 48823 393 719 0 48955 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 198704 [startup+102.306 s] /proc/loadavg: 2.07 2.00 2.40 3/179 10305 /proc/meminfo: memFree=30491560/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=357784 CPUtime=102.3 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 89203 0 0 0 8319 1911 0 0 25 0 1 0 130465453 366370816 87745 4089446400 4194304 7136930 140735265164880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 89446 87745 393 719 0 88725 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 357784 [startup+162.3 s] /proc/loadavg: 2.02 2.00 2.37 3/179 10307 /proc/meminfo: memFree=30218696/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=470052 CPUtime=162.3 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 118094 0 0 0 13600 2630 0 0 25 0 1 0 130465453 481333248 116636 4089446400 4194304 7136930 140735265164880 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 117513 116636 393 719 0 116792 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 470052 [startup+222.301 s] /proc/loadavg: 2.01 2.00 2.35 3/179 10309 /proc/meminfo: memFree=29969628/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=565932 CPUtime=222.3 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 138497 0 0 0 19049 3181 0 0 25 0 1 0 130465453 579514368 137039 4089446400 4194304 7136930 140735265164880 18446744073709551615 5000505 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 141483 137039 393 719 0 140762 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 565932 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.33 3/179 10310 /proc/meminfo: memFree=29732732/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=629156 CPUtime=282.3 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 154614 0 0 0 24577 3653 0 0 25 0 1 0 130465453 644255744 153156 4089446400 4194304 7136930 140735265164880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 157289 153156 393 719 0 156568 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 629156 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.30 3/179 10311 /proc/meminfo: memFree=29517284/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=676156 CPUtime=342.3 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 166488 0 0 0 30158 4072 0 0 25 0 1 0 130465453 692383744 165030 4089446400 4194304 7136930 140735265164880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 169039 165030 393 719 0 168318 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 676156 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.28 3/179 10322 /proc/meminfo: memFree=29320100/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=713520 CPUtime=402.3 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 175858 0 0 0 35759 4471 0 0 25 0 1 0 130465453 730644480 174400 4089446400 4194304 7136930 140735265164880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 178380 174400 393 719 0 177659 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 713520 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.26 3/179 10324 /proc/meminfo: memFree=29049076/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=817944 CPUtime=462.3 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 202961 0 0 0 41092 5138 0 0 25 0 1 0 130465453 837574656 201503 4089446400 4194304 7136930 140735265164880 18446744073709551615 6123184 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 204486 201503 393 719 0 203765 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 817944 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.24 3/179 10325 /proc/meminfo: memFree=28809200/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=902800 CPUtime=522.31 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 224710 0 0 0 46542 5689 0 0 25 0 1 0 130465453 924467200 223252 4089446400 4194304 7136930 140735265164880 18446744073709551615 4219826 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 225700 223252 393 719 0 224979 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 902800 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.22 3/179 10327 /proc/meminfo: memFree=28570064/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=981348 CPUtime=582.31 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 244946 0 0 0 52077 6154 0 0 25 0 1 0 130465453 1004900352 243488 4089446400 4194304 7136930 140735265164880 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 245337 243488 393 719 0 244616 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 981348 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.21 3/179 10328 /proc/meminfo: memFree=28350744/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=1046340 CPUtime=642.31 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 261423 0 0 0 57670 6561 0 0 25 0 1 0 130465453 1071452160 259965 4089446400 4194304 7136930 140735265164880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 261585 259965 393 719 0 260864 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1046340 [startup+702.3 s] ################ # More data... # ################ /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 334722 0 0 0 91776 8456 0 0 25 0 1 0 130465453 1396695040 333264 4089446400 4194304 7136930 140735265164880 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 340990 333264 393 719 0 340269 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1363960 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.12 3/179 10340 /proc/meminfo: memFree=26955876/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=1409328 CPUtime=1062.32 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 346394 0 0 0 97491 8741 0 0 25 0 1 0 130465453 1443151872 344936 4089446400 4194304 7136930 140735265164880 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 352332 344936 393 719 0 351611 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1409328 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.11 3/179 10341 /proc/meminfo: memFree=26801180/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=1446648 CPUtime=1122.33 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 355752 0 0 0 103222 9011 0 0 25 0 1 0 130465453 1481367552 354294 4089446400 4194304 7136930 140735265164880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 361662 354294 393 719 0 360941 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 1446648 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.10 3/179 10343 /proc/meminfo: memFree=26701176/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=1492140 CPUtime=1182.32 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 367434 0 0 0 108943 9289 0 0 25 0 1 0 130465453 1527951360 365976 4089446400 4194304 7136930 140735265164880 18446744073709551615 4393377 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 373035 365976 393 719 0 372314 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1492140 [startup+1242.3 s] /proc/loadavg: 2.05 2.01 2.09 3/179 10344 /proc/meminfo: memFree=26605268/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=1528488 CPUtime=1242.33 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 376784 0 0 0 114698 9535 0 0 25 0 1 0 130465453 1565171712 375326 4089446400 4194304 7136930 140735265164880 18446744073709551615 6123184 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 382122 375326 393 719 0 381401 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1528488 [startup+1302.3 s] /proc/loadavg: 2.02 2.01 2.08 3/179 10346 /proc/meminfo: memFree=26521604/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=1562152 CPUtime=1302.34 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 385480 0 0 0 120450 9784 0 0 25 0 1 0 130465453 1599643648 384022 4089446400 4194304 7136930 140735265164880 18446744073709551615 4999847 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 390538 384022 393 719 0 389817 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 1562152 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.08 3/179 10348 /proc/meminfo: memFree=26477632/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=1597848 CPUtime=1362.33 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 394664 0 0 0 126207 10026 0 0 25 0 1 0 130465453 1636196352 393206 4089446400 4194304 7136930 140735265164880 18446744073709551615 6123184 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 399462 393206 393 719 0 398741 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1597848 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.07 3/179 10350 /proc/meminfo: memFree=26412332/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=1633160 CPUtime=1422.34 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 403681 0 0 0 131991 10243 0 0 25 0 1 0 130465453 1672355840 402223 4089446400 4194304 7136930 140735265164880 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 408290 402223 393 719 0 407569 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 1633160 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.07 3/179 10351 /proc/meminfo: memFree=26344932/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=1666772 CPUtime=1482.33 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 412004 0 0 0 137753 10480 0 0 25 0 1 0 130465453 1706774528 410546 4089446400 4194304 7136930 140735265164880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 416693 410546 393 719 0 415972 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1666772 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.06 3/179 10352 /proc/meminfo: memFree=26189984/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=1697840 CPUtime=1542.34 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 419995 0 0 0 143533 10701 0 0 25 0 1 0 130465453 1738588160 418537 4089446400 4194304 7136930 140735265164880 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 424460 418537 393 719 0 423739 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 1697840 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.06 3/179 10354 /proc/meminfo: memFree=26116156/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=1729548 CPUtime=1602.34 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 428117 0 0 0 149323 10911 0 0 25 0 1 0 130465453 1771057152 426659 4089446400 4194304 7136930 140735265164880 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 432387 426659 393 719 0 431666 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 1729548 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.05 3/179 10356 /proc/meminfo: memFree=26010920/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=1763032 CPUtime=1662.34 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 436700 0 0 0 155086 11148 0 0 25 0 1 0 130465453 1805344768 435242 4089446400 4194304 7136930 140735265164880 18446744073709551615 6123184 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 440758 435242 393 719 0 440037 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 1763032 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.04 3/179 10357 /proc/meminfo: memFree=25952692/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=1787860 CPUtime=1722.34 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 443104 0 0 0 160866 11368 0 0 25 0 1 0 130465453 1830768640 441646 4089446400 4194304 7136930 140735265164880 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 446965 441646 393 719 0 446244 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 1787860 [startup+1782.3 s] /proc/loadavg: 1.96 1.98 2.03 3/179 10433 /proc/meminfo: memFree=29426224/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=1819484 CPUtime=1782.34 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 451200 0 0 0 166660 11574 0 0 25 0 1 0 130465453 1863151616 449742 4089446400 4194304 7136930 140735265164880 18446744073709551615 4677228 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 454871 449742 393 719 0 454150 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 1819484 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.97 1.98 2.03 3/179 10434 /proc/meminfo: memFree=29418612/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=1825928 CPUtime=1800.05 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 452857 0 0 0 168378 11627 0 0 25 0 1 0 130465453 1869750272 451399 4089446400 4194304 7136930 140735265164880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10302/statm: 456482 451399 393 719 0 455761 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1825928 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -10302 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.97 1.98 2.03 3/180 10435 /proc/meminfo: memFree=29418604/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=1825928 CPUtime=1801.45 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 452869 0 0 0 168518 11627 0 0 25 0 1 0 130465453 1869750272 451411 4089446400 4194304 7136930 140735265164880 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/10302/statm: 456482 451411 398 719 0 455761 0 Current children cumulated CPU time (s) 1801.45 Current children cumulated vsize (KiB) 1825928 [startup+1801.81 s] /proc/loadavg: 1.97 1.98 2.03 3/180 10435 /proc/meminfo: memFree=29418364/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=1825928 CPUtime=1801.85 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 452869 0 0 0 168558 11627 0 0 25 0 1 0 130465453 1869750272 451411 4089446400 4194304 7136930 140735265164880 18446744073709551615 6165617 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/10302/statm: 456482 451411 398 719 0 455761 0 Current children cumulated CPU time (s) 1801.85 Current children cumulated vsize (KiB) 1825928 [startup+1802 s] /proc/loadavg: 1.97 1.98 2.03 3/180 10435 /proc/meminfo: memFree=29418364/32951124 swapFree=67111528/67111528 [pid=10302] ppid=10300 vsize=1825928 CPUtime=1802.05 /proc/10302/stat : 10302 (pbscip.linux.x8) R 10300 10302 9228 0 -1 4202496 452869 0 0 0 168578 11627 0 0 25 0 1 0 130465453 1869750272 451411 4089446400 4194304 7136930 140735265164880 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/10302/statm: 456482 451411 398 719 0 455761 0 Current children cumulated CPU time (s) 1802.05 Current children cumulated vsize (KiB) 1825928 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.06 CPU time (s): 1802.12 CPU user time (s): 1685.79 CPU system time (s): 116.328 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1825928 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1685.79 system time used= 116.328 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 452869 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= 5 involuntary context switches= 1045 runsolver used 2.49662 second user time and 5.73613 second system time The end
Begin job on node106 at 2010-06-30 11:54:38 IDJOB=2693759 IDBENCH=78705 IDSOLVER=1206 FILE ID=node106/2693759-1277891678 PBS_JOBID= 11197141 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-11-10--soft-33-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693759-1277891678/watcher-2693759-1277891678 -o /tmp/evaluation-result-2693759-1277891678/solver-2693759-1277891678 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693759-1277891678.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= aee3c086893c0832e26f8cc2ef39e632 RANDOM SEED=2069629969 node106.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.825 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.65 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.825 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.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 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.76 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.825 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.825 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.73 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.825 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.83 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.825 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31113424 kB Buffers: 173160 kB Cached: 1269024 kB SwapCached: 0 kB Active: 681180 kB Inactive: 1013628 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31113424 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3312 kB Writeback: 0 kB AnonPages: 252424 kB Mapped: 16304 kB Slab: 78412 kB PageTables: 5180 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 402876 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= 74208 MiB End job on node106 at 2010-06-30 12:24:40