Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | SAT (TO) | 33 | 1802.2 | 1802.72 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_4.opb |
| MD5SUM | 740b964ee569656e2f29dedde6e3939b |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 5 |
| Best CPU time to get the best result obtained on this benchmark | 1790.56 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 4 |
| Optimality of the best value was proved | NO |
| Number of variables | 146 |
| Total number of constraints | 12 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 12 |
| Minimum length of a constraint | 62 |
| Maximum length of a constraint | 66 |
| Number of terms in the objective function | 96 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 3060 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1486 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4969 |
| Number of bits of the biggest sum of numbers | 13 |
| 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-2664230-1276616716.opb>
0.00/0.01 c original problem has 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 12 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 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.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (0.0s) probing: 101/146 (69.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (2 rounds):
0.00/0.02 c 0 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.02 c 6 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.03 c
0.00/0.03 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.03 c 0.0s| 1 | 2 | 0 | - | 424k| 0 | - | 146 | 6 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.29/1.30 c 1.1s| 10000 | 9727 | 0 | 0.0 |4251k| 128 | - | 146 | 7 | 0 | 0 | 0 | 148 | 0 | 0.000000e+00 | -- | Inf
2.49/2.58 c 2.3s| 20000 | 19557 | 0 | 0.0 |7701k| 128 | - | 146 | 7 | 0 | 0 | 0 | 243 | 0 | 0.000000e+00 | -- | Inf
3.79/3.83 c 3.4s| 30000 | 29557 | 0 | 0.0 | 11M| 128 | - | 146 | 7 | 0 | 0 | 0 | 243 | 0 | 0.000000e+00 | -- | Inf
4.99/5.05 c 4.5s| 40000 | 39557 | 0 | 0.0 | 15M| 128 | - | 146 | 7 | 0 | 0 | 0 | 243 | 0 | 0.000000e+00 | -- | Inf
6.19/6.27 c 5.6s| 50000 | 49557 | 0 | 0.0 | 19M| 128 | - | 146 | 7 | 0 | 0 | 0 | 243 | 0 | 0.000000e+00 | -- | Inf
7.39/7.48 c 6.7s| 60000 | 59557 | 0 | 0.0 | 23M| 128 | - | 146 | 6 | 0 | 0 | 0 | 243 | 0 | 0.000000e+00 | -- | Inf
8.99/9.06 c 8.1s| 70000 | 67508 | 0 | 0.0 | 26M| 131 | - | 146 | 6 | 0 | 0 | 0 |1357 | 0 | 0.000000e+00 | -- | Inf
10.39/10.49 c 9.4s| 80000 | 76450 | 0 | 0.0 | 30M| 131 | - | 146 | 8 | 0 | 0 | 0 |1944 | 0 | 0.000000e+00 | -- | Inf
12.09/12.14 c 10.9s| 90000 | 84270 | 0 | 0.0 | 33M| 131 | - | 146 | 8 | 0 | 0 | 0 |3168 | 0 | 0.000000e+00 | -- | Inf
13.39/13.41 c 12.0s|100000 | 94084 | 0 | 0.0 | 36M| 131 | - | 146 | 8 | 0 | 0 | 0 |3270 | 0 | 0.000000e+00 | -- | Inf
14.58/14.68 c 13.1s|110000 |103881 | 0 | 0.0 | 40M| 131 | - | 146 | 8 | 0 | 0 | 0 |3377 | 0 | 0.000000e+00 | -- | Inf
15.89/15.98 c 14.3s|120000 |113520 | 0 | 0.0 | 43M| 131 | - | 146 | 8 | 0 | 0 | 0 |3573 | 0 | 0.000000e+00 | -- | Inf
17.19/17.27 c 15.4s|130000 |123206 | 0 | 0.0 | 47M| 131 | - | 146 | 8 | 0 | 0 | 0 |3743 | 0 | 0.000000e+00 | -- | Inf
18.49/18.58 c 16.6s|140000 |132859 | 0 | 0.0 | 51M| 131 | - | 146 | 8 | 0 | 0 | 0 |3925 | 0 | 0.000000e+00 | -- | Inf
19.80/19.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.80/19.85 c 17.7s|150000 |142748 | 0 | 0.0 | 54M| 131 | - | 146 | 8 | 0 | 0 | 0 |3986 | 0 | 0.000000e+00 | -- | Inf
21.08/21.11 c 18.8s|160000 |152748 | 0 | 0.0 | 58M| 131 | - | 146 | 8 | 0 | 0 | 0 |3986 | 0 | 0.000000e+00 | -- | Inf
22.28/22.36 c 19.9s|170000 |162746 | 0 | 0.0 | 62M| 131 | - | 146 | 8 | 0 | 0 | 0 |3987 | 0 | 0.000000e+00 | -- | Inf
23.58/23.62 c 21.1s|180000 |172746 | 0 | 0.0 | 66M| 131 | - | 146 | 8 | 0 | 0 | 0 |3987 | 0 | 0.000000e+00 | -- | Inf
24.79/24.87 c 22.2s|190000 |182742 | 0 | 0.0 | 70M| 131 | - | 146 | 8 | 0 | 0 | 0 |3989 | 0 | 0.000000e+00 | -- | Inf
26.08/26.11 c 23.3s|200000 |192742 | 0 | 0.0 | 74M| 131 | - | 146 | 8 | 0 | 0 | 0 |3989 | 0 | 0.000000e+00 | -- | Inf
27.28/27.36 c 24.4s|210000 |202740 | 0 | 0.0 | 78M| 131 | - | 146 | 8 | 0 | 0 | 0 |3990 | 0 | 0.000000e+00 | -- | Inf
28.49/28.60 c 25.5s|220000 |212740 | 0 | 0.0 | 82M| 131 | - | 146 | 8 | 0 | 0 | 0 |3990 | 0 | 0.000000e+00 | -- | Inf
29.78/29.84 c 26.6s|230000 |222740 | 0 | 0.0 | 86M| 131 | - | 146 | 8 | 0 | 0 | 0 |3990 | 0 | 0.000000e+00 | -- | Inf
30.59/30.60 o 1355
30.59/30.60 c *27.3s|236027 |228628 | 0 | 0.0 | 88M| 131 | - | 146 | 8 | 0 | 0 | 0 |3990 | 0 | 0.000000e+00 | 1.355000e+03 | Inf
30.98/31.09 c 27.7s|240000 |232588 | 0 | 0.0 | 90M| 131 | - | 146 | 8 | 0 | 0 | 0 |3997 | 0 | 0.000000e+00 | 1.355000e+03 | Inf
32.28/32.32 c 28.8s|250000 |242584 | 0 | 0.0 | 94M| 131 | - | 146 | 8 | 0 | 0 | 0 |3999 | 0 | 0.000000e+00 | 1.355000e+03 | Inf
32.98/33.06 o 1353
32.98/33.06 c *29.4s|255936 |248465 | 0 | 0.0 | 96M| 131 | - | 146 | 8 | 0 | 0 | 0 |4020 | 0 | 0.000000e+00 | 1.353000e+03 | Inf
33.48/33.56 c 29.9s|260000 |252529 | 0 | 0.0 | 98M| 131 | - | 146 | 8 | 0 | 0 | 0 |4020 | 0 | 0.000000e+00 | 1.353000e+03 | Inf
34.68/34.78 c 30.9s|270000 |262517 | 0 | 0.0 | 102M| 131 | - | 146 | 9 | 0 | 0 | 0 |4026 | 0 | 0.000000e+00 | 1.353000e+03 | Inf
35.89/35.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.89/35.99 c 32.0s|280000 |272512 | 0 | 0.0 | 106M| 131 | - | 146 | 9 | 0 | 0 | 0 |4028 | 0 | 0.000000e+00 | 1.353000e+03 | Inf
36.89/36.93 o 296
36.89/36.93 c *32.9s|285737 |120404 | 0 | 0.0 | 39M| 131 | - | 146 | 9 | 0 | 0 | 0 |4030 | 0 | 0.000000e+00 | 2.960000e+02 | Inf
37.88/37.97 c 33.8s|290000 |122288 | 0 | 0.0 | 40M| 131 | - | 146 | 509 | 0 | 0 | 0 |5450 | 0 | 0.000000e+00 | 2.960000e+02 | Inf
40.48/40.54 c 36.2s|300000 |127175 | 0 | 0.0 | 44M| 131 | - | 146 | 605 | 0 | 0 | 0 |8441 | 0 | 0.000000e+00 | 2.960000e+02 | Inf
43.18/43.24 c 38.7s|310000 |131409 | 0 | 0.0 | 47M| 131 | - | 146 | 874 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 2.960000e+02 | Inf
46.08/46.12 c 41.4s|320000 |135294 | 0 | 0.0 | 50M| 131 | - | 146 | 878 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 2.960000e+02 | Inf
48.98/49.07 c 44.2s|330000 |139088 | 0 | 0.0 | 53M| 131 | - | 146 | 970 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 2.960000e+02 | Inf
51.98/52.07 c 47.0s|340000 |142776 | 0 | 0.0 | 55M| 131 | - | 146 |1023 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.960000e+02 | Inf
54.99/55.03 c 49.7s|350000 |146193 | 0 | 0.0 | 58M| 131 | - | 146 | 968 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.960000e+02 | Inf
58.07/58.16 c 52.6s|360000 |149518 | 0 | 0.0 | 61M| 131 | - | 146 |1082 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 2.960000e+02 | Inf
61.18/61.26 c 55.5s|370000 |152573 | 0 | 0.0 | 64M| 131 | - | 146 |1042 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 2.960000e+02 | Inf
64.48/64.51 c 58.6s|380000 |155115 | 0 | 0.0 | 67M| 131 | - | 146 |1216 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 2.960000e+02 | Inf
67.77/67.83 c 61.7s|390000 |157914 | 0 | 0.0 | 69M| 131 | - | 146 | 977 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 2.960000e+02 | Inf
70.97/71.05 c 64.7s|400000 |160181 | 0 | 0.0 | 72M| 131 | - | 146 |1009 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 2.960000e+02 | Inf
74.27/74.38 c 67.9s|410000 |162167 | 0 | 0.0 | 75M| 131 | - | 146 | 710 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 2.960000e+02 | Inf
77.17/77.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.17/77.24 c 70.5s|420000 |164906 | 0 | 0.0 | 77M| 131 | - | 146 | 316 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 2.960000e+02 | Inf
79.86/79.92 c 73.0s|430000 |167885 | 0 | 0.0 | 79M| 133 | - | 146 | 204 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | 2.960000e+02 | Inf
81.07/81.19 o 295
81.07/81.19 c *74.2s|434832 |169429 | 0 | 0.0 | 80M| 133 | - | 146 | 256 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | 2.950000e+02 | Inf
82.07/82.13 c 75.0s|440000 |173393 | 0 | 0.0 | 82M| 133 | - | 146 | 353 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 2.950000e+02 | Inf
83.67/83.74 o 294
83.67/83.74 c *76.5s|449657 |181328 | 0 | 0.0 | 85M| 133 | - | 146 | 250 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 2.940000e+02 | Inf
83.76/83.80 c 76.6s|450000 |181604 | 0 | 0.0 | 85M| 133 | - | 146 | 239 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 2.940000e+02 | Inf
85.57/85.61 c 78.2s|460000 |189291 | 0 | 0.0 | 88M| 133 | - | 146 | 369 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 2.940000e+02 | Inf
87.67/87.76 c 80.2s|470000 |195929 | 0 | 0.0 | 92M| 133 | - | 146 | 489 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 2.940000e+02 | Inf
89.77/89.83 c 82.1s|480000 |202964 | 0 | 0.0 | 95M| 133 | - | 146 | 342 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 2.940000e+02 | Inf
91.87/91.96 c 84.0s|490000 |209388 | 0 | 0.0 | 99M| 133 | - | 146 | 412 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 2.940000e+02 | Inf
94.06/94.13 c 86.0s|500000 |215521 | 0 | 0.0 | 102M| 133 | - | 146 | 412 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 2.940000e+02 | Inf
96.56/96.65 c 88.4s|510000 |220030 | 0 | 0.0 | 105M| 133 | - | 146 | 455 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 2.940000e+02 | Inf
99.16/99.26 c 90.8s|520000 |224055 | 0 | 0.0 | 108M| 135 | - | 146 | 435 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 2.940000e+02 | Inf
99.47/99.57 o 292
99.47/99.57 c *91.1s|521544 |225040 | 0 | 0.0 | 108M| 135 | - | 146 | 445 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 2.920000e+02 | Inf
101.36/101.46 c 92.8s|530000 |230078 | 0 | 0.0 | 111M| 135 | - | 146 | 463 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 2.920000e+02 | Inf
103.97/104.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.97/104.03 c 95.2s|540000 |234521 | 0 | 0.0 | 113M| 135 | - | 146 | 432 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 2.920000e+02 | Inf
106.46/106.51 c 97.5s|550000 |239120 | 0 | 0.0 | 116M| 135 | - | 146 | 441 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 2.920000e+02 | Inf
108.26/108.30 c 99.2s|560000 |246906 | 0 | 0.0 | 119M| 135 | - | 146 | 517 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 2.920000e+02 | Inf
110.16/110.27 c 101s|570000 |254259 | 0 | 0.0 | 122M| 135 | - | 146 | 531 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 2.920000e+02 | Inf
112.06/112.19 c 103s|580000 |261607 | 0 | 0.0 | 125M| 135 | - | 146 | 550 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 2.920000e+02 | Inf
113.96/114.04 c 104s|590000 |269282 | 0 | 0.0 | 128M| 135 | - | 146 | 679 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 2.920000e+02 | Inf
115.86/115.94 c 106s|600000 |276935 | 0 | 0.0 | 131M| 135 | - | 146 | 568 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 2.920000e+02 | Inf
116.66/116.76 o 291
116.66/116.76 c * 107s|604177 |280005 | 0 | 0.0 | 133M| 135 | - | 146 | 658 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 2.910000e+02 | Inf
117.86/117.93 c 108s|610000 |284255 | 0 | 0.0 | 134M| 135 | - | 146 | 660 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 2.910000e+02 | Inf
118.66/118.71 o 286
118.66/118.71 c * 109s|613670 |284001 | 0 | 0.0 | 133M| 135 | - | 146 | 698 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
119.77/119.83 c 110s|620000 |289132 | 0 | 0.0 | 134M| 135 | - | 146 | 565 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
121.56/121.67 c 112s|630000 |296859 | 0 | 0.0 | 138M| 135 | - | 146 | 724 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
123.66/123.77 c 113s|640000 |303723 | 0 | 0.0 | 140M| 135 | - | 146 | 861 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
125.55/125.60 c 115s|650000 |311546 | 0 | 0.0 | 144M| 135 | - | 146 | 817 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
127.25/127.36 c 117s|660000 |319701 | 0 | 0.0 | 147M| 135 | - | 146 | 762 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
129.05/129.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
129.05/129.12 c 118s|670000 |327743 | 0 | 0.0 | 150M| 135 | - | 146 | 822 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
130.96/131.06 c 120s|680000 |335153 | 0 | 0.0 | 153M| 135 | - | 146 | 736 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
132.96/133.07 c 122s|690000 |341918 | 0 | 0.0 | 156M| 135 | - | 146 | 932 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
135.16/135.21 c 124s|700000 |348560 | 0 | 0.0 | 159M| 135 | - | 146 |1005 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
137.15/137.28 c 126s|710000 |355462 | 0 | 0.0 | 162M| 135 | - | 146 |1001 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
139.26/139.39 c 128s|720000 |362403 | 0 | 0.0 | 165M| 135 | - | 146 | 942 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
141.35/141.47 c 130s|730000 |369500 | 0 | 0.0 | 168M| 135 | - | 146 | 735 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
143.35/143.45 c 132s|740000 |376817 | 0 | 0.0 | 171M| 135 | - | 146 | 912 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
145.55/145.67 c 134s|750000 |383347 | 0 | 0.0 | 174M| 135 | - | 146 |1037 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
147.85/147.96 c 136s|760000 |389758 | 0 | 0.0 | 177M| 135 | - | 146 |1105 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
149.95/150.00 c 138s|770000 |397124 | 0 | 0.0 | 180M| 135 | - | 146 | 854 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
152.05/152.10 c 140s|780000 |404003 | 0 | 0.0 | 183M| 135 | - | 146 |1128 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
154.15/154.27 c 142s|790000 |410677 | 0 | 0.0 | 186M| 135 | - | 146 |1099 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
156.35/156.43 c 144s|800000 |417393 | 0 | 0.0 | 189M| 135 | - | 146 | 812 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
158.45/158.57 c 146s|810000 |424075 | 0 | 0.0 | 192M| 135 | - | 146 | 948 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
160.64/160.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
160.64/160.76 c 148s|820000 |430676 | 0 | 0.0 | 195M| 135 | - | 146 | 966 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
162.94/163.05 c 150s|830000 |436993 | 0 | 0.0 | 198M| 135 | - | 146 |1058 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
165.24/165.34 c 152s|840000 |443215 | 0 | 0.0 | 201M| 135 | - | 146 |1085 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
167.54/167.65 c 154s|850000 |449535 | 0 | 0.0 | 204M| 135 | - | 146 | 921 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
169.85/169.90 c 156s|860000 |456140 | 0 | 0.0 | 207M| 135 | - | 146 | 957 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
172.14/172.20 c 158s|870000 |462310 | 0 | 0.0 | 209M| 135 | - | 146 | 985 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
174.34/174.49 c 160s|880000 |468569 | 0 | 0.0 | 212M| 135 | - | 146 | 952 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
176.64/176.74 c 162s|890000 |475014 | 0 | 0.0 | 216M| 135 | - | 146 | 920 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
178.94/179.01 c 164s|900000 |481379 | 0 | 0.0 | 219M| 135 | - | 146 |1057 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
181.24/181.35 c 167s|910000 |487875 | 0 | 0.0 | 222M| 135 | - | 146 |1073 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
183.55/183.66 c 169s|920000 |494277 | 0 | 0.0 | 225M| 135 | - | 146 |1094 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
185.94/186.07 c 171s|930000 |500397 | 0 | 0.0 | 228M| 135 | - | 146 |1251 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
188.34/188.40 c 173s|940000 |506848 | 0 | 0.0 | 231M| 135 | - | 146 |1233 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
190.74/190.88 c 175s|950000 |512799 | 0 | 0.0 | 234M| 135 | - | 146 |1050 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
193.23/193.30 c 178s|960000 |518726 | 0 | 0.0 | 237M| 135 | - | 146 |1170 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
195.64/195.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
195.64/195.76 c 180s|970000 |524305 | 0 | 0.0 | 240M| 135 | - | 146 |1094 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
198.14/198.20 c 182s|980000 |530008 | 0 | 0.0 | 243M| 135 | - | 146 |1024 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
200.54/200.60 c 184s|990000 |536189 | 0 | 0.0 | 246M| 135 | - | 146 |1082 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
202.94/203.05 c 187s| 1000k|541980 | 0 | 0.0 | 248M| 135 | - | 146 |1118 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
205.43/205.56 c 189s| 1010k|547762 | 0 | 0.0 | 252M| 135 | - | 146 |1297 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
208.03/208.13 c 192s| 1020k|553369 | 0 | 0.0 | 255M| 135 | - | 146 |1460 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
210.53/210.68 c 194s| 1030k|559145 | 0 | 0.0 | 258M| 135 | - | 146 |1269 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
212.93/213.02 c 196s| 1040k|565574 | 0 | 0.0 | 261M| 135 | - | 146 |1034 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
215.33/215.46 c 198s| 1050k|571578 | 0 | 0.0 | 264M| 135 | - | 146 |1039 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
217.93/218.02 c 201s| 1060k|577066 | 0 | 0.0 | 267M| 135 | - | 146 |1056 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
220.43/220.53 c 203s| 1070k|582610 | 0 | 0.0 | 269M| 135 | - | 146 |1048 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
222.93/223.06 c 205s| 1080k|588282 | 0 | 0.0 | 272M| 135 | - | 146 |1109 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
225.43/225.59 c 208s| 1090k|593721 | 0 | 0.0 | 275M| 135 | - | 146 |1051 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
228.03/228.18 c 210s| 1100k|598955 | 0 | 0.0 | 278M| 135 | - | 146 |1499 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
230.72/230.89 c 213s| 1110k|604485 | 0 | 0.0 | 281M| 135 | - | 146 |1371 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
233.53/233.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
233.53/233.66 c 215s| 1120k|609607 | 0 | 0.0 | 284M| 135 | - | 146 |1273 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
236.22/236.35 c 218s| 1130k|614972 | 0 | 0.0 | 287M| 135 | - | 146 |1460 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
238.92/239.07 c 220s| 1140k|620523 | 0 | 0.0 | 290M| 135 | - | 146 |1491 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
241.53/241.69 c 223s| 1150k|626279 | 0 | 0.0 | 293M| 135 | - | 146 |1273 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
244.23/244.39 c 225s| 1160k|631600 | 0 | 0.0 | 296M| 135 | - | 146 |1350 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
246.93/247.09 c 228s| 1170k|637114 | 0 | 0.0 | 299M| 135 | - | 146 |1309 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
249.63/249.73 c 230s| 1180k|642463 | 0 | 0.0 | 302M| 135 | - | 146 |1156 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
252.42/252.56 c 233s| 1190k|647366 | 0 | 0.0 | 305M| 135 | - | 146 |1559 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
255.22/255.34 c 236s| 1200k|652422 | 0 | 0.0 | 308M| 135 | - | 146 |1231 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
258.02/258.15 c 238s| 1210k|657192 | 0 | 0.0 | 311M| 135 | - | 146 |1375 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
260.72/260.89 c 241s| 1220k|662511 | 0 | 0.0 | 314M| 135 | - | 146 |1529 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
263.71/263.81 c 243s| 1230k|667173 | 0 | 0.0 | 316M| 135 | - | 146 |1387 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
266.52/266.63 c 246s| 1240k|672059 | 0 | 0.0 | 319M| 135 | - | 146 |1361 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
269.32/269.47 c 249s| 1250k|676713 | 0 | 0.0 | 322M| 135 | - | 146 |1646 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
272.41/272.50 c 252s| 1260k|681195 | 0 | 0.0 | 325M| 135 | - | 146 |1630 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
275.32/275.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
275.32/275.43 c 254s| 1270k|685877 | 0 | 0.0 | 328M| 135 | - | 146 |1493 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
278.02/278.17 c 257s| 1280k|691234 | 0 | 0.0 | 331M| 135 | - | 146 |1369 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
278.12/278.23 o 261
278.12/278.23 c * 257s| 1280k|678576 | 0 | 0.0 | 324M| 135 | - | 146 |1363 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
281.02/281.17 c 260s| 1290k|683891 | 0 | 0.0 | 328M| 135 | - | 146 |1376 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
284.11/284.25 c 263s| 1300k|689170 | 0 | 0.0 | 331M| 135 | - | 146 |1483 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
287.21/287.33 c 266s| 1310k|694219 | 0 | 0.0 | 334M| 135 | - | 146 |1510 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
290.22/290.33 c 268s| 1320k|699284 | 0 | 0.0 | 337M| 135 | - | 146 |1644 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
293.31/293.49 c 271s| 1330k|704121 | 0 | 0.0 | 340M| 135 | - | 146 |1559 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
296.41/296.54 c 274s| 1340k|708799 | 0 | 0.0 | 343M| 135 | - | 146 |1696 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
299.61/299.75 c 277s| 1350k|713164 | 0 | 0.0 | 346M| 135 | - | 146 |1617 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
302.80/302.90 c 280s| 1360k|717735 | 0 | 0.0 | 349M| 135 | - | 146 |1250 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
305.90/306.03 c 283s| 1370k|721884 | 0 | 0.0 | 352M| 135 | - | 146 |1523 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
308.91/309.05 c 286s| 1380k|726249 | 0 | 0.0 | 355M| 135 | - | 146 |1294 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
311.80/312.00 c 289s| 1390k|731095 | 0 | 0.0 | 358M| 135 | - | 146 |1314 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
314.80/314.99 c 292s| 1400k|735652 | 0 | 0.0 | 361M| 135 | - | 146 |1160 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
317.91/318.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
317.91/318.01 c 294s| 1410k|739653 | 0 | 0.0 | 364M| 135 | - | 146 |1246 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
320.90/321.06 c 297s| 1420k|743880 | 0 | 0.0 | 367M| 135 | - | 146 |1367 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
324.00/324.14 c 300s| 1430k|748462 | 0 | 0.0 | 370M| 135 | - | 146 |1358 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
327.20/327.31 c 303s| 1440k|753161 | 0 | 0.0 | 373M| 135 | - | 146 |1588 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
330.29/330.48 c 306s| 1450k|757794 | 0 | 0.0 | 376M| 135 | - | 146 |1638 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
333.50/333.61 c 309s| 1460k|762547 | 0 | 0.0 | 380M| 135 | - | 146 |1656 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
336.70/336.84 c 312s| 1470k|767337 | 0 | 0.0 | 383M| 135 | - | 146 |1575 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
339.89/340.04 c 315s| 1480k|771819 | 0 | 0.0 | 386M| 135 | - | 146 |1615 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
343.20/343.31 c 318s| 1490k|776388 | 0 | 0.0 | 389M| 135 | - | 146 |1747 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
346.40/346.54 c 321s| 1500k|781013 | 0 | 0.0 | 392M| 135 | - | 146 |1436 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
349.60/349.73 c 324s| 1510k|785358 | 0 | 0.0 | 395M| 135 | - | 146 |1467 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
352.80/352.92 c 327s| 1520k|789168 | 0 | 0.0 | 398M| 135 | - | 146 |1400 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
355.89/356.02 c 330s| 1530k|793574 | 0 | 0.0 | 401M| 135 | - | 146 |1284 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
358.89/359.07 c 333s| 1540k|797744 | 0 | 0.0 | 403M| 135 | - | 146 |1263 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
361.99/362.16 c 336s| 1550k|801572 | 0 | 0.0 | 406M| 135 | - | 146 |1350 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
365.19/365.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
365.19/365.36 c 339s| 1560k|805266 | 0 | 0.0 | 409M| 135 | - | 146 |1203 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
368.39/368.58 c 342s| 1570k|808636 | 0 | 0.0 | 412M| 135 | - | 146 |1315 | 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
371.70/371.83 c 345s| 1580k|812060 | 0 | 0.0 | 415M| 135 | - | 146 |1242 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
374.90/375.05 c 348s| 1590k|816044 | 0 | 0.0 | 418M| 135 | - | 146 |1353 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
378.20/378.37 c 351s| 1600k|820135 | 0 | 0.0 | 421M| 135 | - | 146 |1486 | 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
381.49/381.65 c 354s| 1610k|824145 | 0 | 0.0 | 424M| 135 | - | 146 |1345 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
384.68/384.82 c 357s| 1620k|828554 | 0 | 0.0 | 427M| 135 | - | 146 |1558 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
387.88/388.05 c 360s| 1630k|832940 | 0 | 0.0 | 430M| 135 | - | 146 |1527 | 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
391.28/391.42 c 364s| 1640k|836945 | 0 | 0.0 | 434M| 135 | - | 146 |1548 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
394.58/394.75 c 367s| 1650k|841254 | 0 | 0.0 | 437M| 135 | - | 146 |1728 | 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
398.09/398.21 c 370s| 1660k|845286 | 0 | 0.0 | 440M| 135 | - | 146 |1650 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
401.48/401.64 c 373s| 1670k|849037 | 0 | 0.0 | 443M| 135 | - | 146 |1499 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
404.69/404.87 c 376s| 1680k|853075 | 0 | 0.0 | 446M| 135 | - | 146 |1300 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
407.89/408.03 c 379s| 1690k|857124 | 0 | 0.0 | 449M| 135 | - | 146 |1265 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
411.08/411.25 c 382s| 1700k|860602 | 0 | 0.0 | 452M| 135 | - | 146 |1310 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
414.38/414.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
414.38/414.58 c 385s| 1710k|863843 | 0 | 0.0 | 454M| 135 | - | 146 |1264 | 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
417.68/417.85 c 388s| 1720k|867091 | 0 | 0.0 | 457M| 135 | - | 146 |1270 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
420.98/421.18 c 391s| 1730k|869963 | 0 | 0.0 | 460M| 135 | - | 146 |1305 | 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
424.38/424.51 c 395s| 1740k|872603 | 0 | 0.0 | 462M| 135 | - | 146 |1294 | 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
427.68/427.89 c 398s| 1750k|876301 | 0 | 0.0 | 466M| 135 | - | 146 |1369 | 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
431.18/431.31 c 401s| 1760k|879748 | 0 | 0.0 | 469M| 135 | - | 146 |1428 | 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
434.57/434.78 c 404s| 1770k|883409 | 0 | 0.0 | 472M| 135 | - | 146 |1570 | 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
438.17/438.30 c 408s| 1780k|887102 | 0 | 0.0 | 475M| 135 | - | 146 |1641 | 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
441.57/441.72 c 411s| 1790k|890698 | 0 | 0.0 | 478M| 135 | - | 146 |1443 | 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
444.96/445.17 c 414s| 1800k|894614 | 0 | 0.0 | 481M| 135 | - | 146 |1515 | 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
448.47/448.69 c 417s| 1810k|898250 | 0 | 0.0 | 485M| 135 | - | 146 |1539 | 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
451.98/452.16 c 421s| 1820k|901629 | 0 | 0.0 | 487M| 135 | - | 146 |1445 | 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
455.36/455.57 c 424s| 1830k|905307 | 0 | 0.0 | 490M| 135 | - | 146 |1319 | 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
458.66/458.87 c 427s| 1840k|908615 | 0 | 0.0 | 493M| 135 | - | 146 |1377 | 0 | 0 | 0 | 440k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
462.17/462.32 c 430s| 1850k|911543 | 0 | 0.0 | 496M| 135 | - | 146 |1230 | 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
465.57/465.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
465.57/465.70 c 433s| 1860k|914346 | 0 | 0.0 | 499M| 135 | - | 146 |1218 | 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
468.86/469.02 c 437s| 1870k|917197 | 0 | 0.0 | 501M| 135 | - | 146 |1185 | 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
472.16/472.37 c 440s| 1880k|919841 | 0 | 0.0 | 504M| 135 | - | 146 |1413 | 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
475.76/475.97 c 443s| 1890k|922778 | 0 | 0.0 | 507M| 135 | - | 146 |1539 | 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
479.36/479.57 c 446s| 1900k|926244 | 0 | 0.0 | 510M| 135 | - | 146 |1731 | 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
483.16/483.33 c 450s| 1910k|929241 | 0 | 0.0 | 513M| 135 | - | 146 |1584 | 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
486.55/486.76 o 259
486.55/486.76 c * 453s| 1919k|931591 | 0 | 0.0 | 516M| 135 | - | 146 |1660 | 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | 2.590000e+02 | Inf
486.86/487.09 c 454s| 1920k|931828 | 0 | 0.0 | 516M| 135 | - | 146 |1601 | 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | 2.590000e+02 | Inf
490.55/490.70 c 457s| 1930k|934893 | 0 | 0.0 | 519M| 135 | - | 146 |1367 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 2.590000e+02 | Inf
494.06/494.21 c 460s| 1940k|938070 | 0 | 0.0 | 522M| 135 | - | 146 |1404 | 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | 2.590000e+02 | Inf
497.45/497.65 c 464s| 1950k|940924 | 0 | 0.0 | 525M| 135 | - | 146 |1227 | 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 2.590000e+02 | Inf
500.86/501.04 c 467s| 1960k|943609 | 0 | 0.0 | 528M| 135 | - | 146 |1262 | 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | 2.590000e+02 | Inf
504.25/504.47 c 470s| 1970k|945926 | 0 | 0.0 | 530M| 135 | - | 146 |1223 | 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | 2.590000e+02 | Inf
507.76/507.90 c 473s| 1980k|948612 | 0 | 0.0 | 533M| 135 | - | 146 |1265 | 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | 2.590000e+02 | Inf
508.35/508.53 o 257
508.35/508.53 c * 474s| 1981k|948139 | 0 | 0.0 | 533M| 135 | - | 146 |1306 | 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
511.45/511.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
511.45/511.63 c 477s| 1990k|950357 | 0 | 0.0 | 535M| 135 | - | 146 |1419 | 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
515.05/515.20 c 480s| 2000k|953103 | 0 | 0.0 | 538M| 135 | - | 146 |1243 | 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
518.45/518.66 c 483s| 2010k|955614 | 0 | 0.0 | 541M| 135 | - | 146 |1176 | 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
521.85/522.05 c 486s| 2020k|958057 | 0 | 0.0 | 544M| 135 | - | 146 |1078 | 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
525.25/525.46 c 490s| 2030k|960222 | 0 | 0.0 | 546M| 135 | - | 146 | 998 | 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
527.75/527.97 c 492s| 2040k|965030 | 0 | 0.0 | 549M| 135 | - | 146 | 504 | 0 | 0 | 0 | 521k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
530.14/530.31 c 494s| 2050k|970188 | 0 | 0.0 | 551M| 135 | - | 146 | 453 | 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
532.54/532.79 c 497s| 2060k|974611 | 0 | 0.0 | 553M| 135 | - | 146 | 439 | 0 | 0 | 0 | 527k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
535.24/535.46 c 499s| 2070k|978470 | 0 | 0.0 | 556M| 135 | - | 146 | 430 | 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
538.04/538.20 c 502s| 2080k|981944 | 0 | 0.0 | 558M| 135 | - | 146 | 450 | 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
540.94/541.13 c 504s| 2090k|984547 | 0 | 0.0 | 560M| 135 | - | 146 | 433 | 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
543.84/544.06 c 507s| 2100k|987042 | 0 | 0.0 | 562M| 135 | - | 146 | 433 | 0 | 0 | 0 | 542k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
546.84/547.08 c 510s| 2110k|989204 | 0 | 0.0 | 564M| 135 | - | 146 | 408 | 0 | 0 | 0 | 546k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
549.85/550.06 c 513s| 2120k|991951 | 0 | 0.0 | 567M| 135 | - | 146 | 422 | 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
552.74/552.91 c 515s| 2130k|994731 | 0 | 0.0 | 569M| 135 | - | 146 | 424 | 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
555.64/555.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
555.64/555.87 c 518s| 2140k|996651 | 0 | 0.0 | 570M| 135 | - | 146 | 424 | 0 | 0 | 0 | 559k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
558.04/558.29 c 520s| 2150k| 1001k| 0 | 0.0 | 573M| 135 | - | 146 | 279 | 0 | 0 | 0 | 562k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
559.84/560.00 c 522s| 2160k| 1009k| 0 | 0.0 | 576M| 135 | - | 146 | 446 | 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
561.63/561.88 c 524s| 2170k| 1016k| 0 | 0.0 | 579M| 135 | - | 146 | 418 | 0 | 0 | 0 | 564k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
563.53/563.72 c 525s| 2180k| 1024k| 0 | 0.0 | 582M| 135 | - | 146 | 481 | 0 | 0 | 0 | 565k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
565.43/565.65 c 527s| 2190k| 1031k| 0 | 0.0 | 585M| 135 | - | 146 | 574 | 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
567.34/567.57 c 529s| 2200k| 1039k| 0 | 0.0 | 588M| 135 | - | 146 | 698 | 0 | 0 | 0 | 569k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
569.34/569.50 c 531s| 2210k| 1046k| 0 | 0.0 | 591M| 135 | - | 146 | 740 | 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
571.13/571.37 c 532s| 2220k| 1053k| 0 | 0.0 | 594M| 135 | - | 146 | 666 | 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
573.23/573.48 c 534s| 2230k| 1060k| 0 | 0.0 | 597M| 135 | - | 146 | 764 | 0 | 0 | 0 | 573k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
575.43/575.67 c 536s| 2240k| 1067k| 0 | 0.0 | 600M| 135 | - | 146 | 795 | 0 | 0 | 0 | 575k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
577.53/577.78 c 538s| 2250k| 1074k| 0 | 0.0 | 603M| 135 | - | 146 | 728 | 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
579.83/580.00 c 540s| 2260k| 1080k| 0 | 0.0 | 607M| 135 | - | 146 | 738 | 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
582.03/582.20 c 542s| 2270k| 1087k| 0 | 0.0 | 610M| 135 | - | 146 | 758 | 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
584.13/584.36 c 544s| 2280k| 1094k| 0 | 0.0 | 613M| 135 | - | 146 | 780 | 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
586.43/586.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
586.43/586.61 c 546s| 2290k| 1100k| 0 | 0.0 | 616M| 135 | - | 146 | 860 | 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
588.73/588.93 o 256
588.73/588.93 c * 549s| 2299k| 1077k| 0 | 0.0 | 590M| 135 | - | 146 | 817 | 0 | 0 | 0 | 586k| 0 | 0.000000e+00 | 2.560000e+02 | Inf
588.93/589.14 c 549s| 2300k| 1077k| 0 | 0.0 | 591M| 135 | - | 146 | 788 | 0 | 0 | 0 | 586k| 0 | 0.000000e+00 | 2.560000e+02 | Inf
591.23/591.46 c 551s| 2310k| 1084k| 0 | 0.0 | 594M| 135 | - | 146 | 761 | 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | 2.560000e+02 | Inf
593.53/593.76 c 553s| 2320k| 1091k| 0 | 0.0 | 597M| 135 | - | 146 | 797 | 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | 2.560000e+02 | Inf
595.93/596.16 c 555s| 2330k| 1097k| 0 | 0.0 | 601M| 135 | - | 146 | 811 | 0 | 0 | 0 | 592k| 0 | 0.000000e+00 | 2.560000e+02 | Inf
596.83/597.02 o 255
596.83/597.02 c * 556s| 2333k| 1096k| 0 | 0.0 | 600M| 135 | - | 146 | 889 | 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 2.550000e+02 | Inf
598.52/598.73 c 558s| 2340k| 1100k| 0 | 0.0 | 602M| 135 | - | 146 | 790 | 0 | 0 | 0 | 594k| 0 | 0.000000e+00 | 2.550000e+02 | Inf
600.93/601.18 c 560s| 2350k| 1106k| 0 | 0.0 | 605M| 135 | - | 146 | 741 | 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 2.550000e+02 | Inf
602.23/602.42 o 143
602.23/602.42 c * 561s| 2351k|921783 | 0 | 0.0 | 445M| 135 | - | 146 | 769 | 0 | 0 | 0 | 597k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
604.83/605.04 c 564s| 2360k|925675 | 0 | 0.0 | 448M| 135 | - | 146 | 950 | 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
607.62/607.88 c 566s| 2370k|930335 | 0 | 0.0 | 451M| 135 | - | 146 | 664 | 0 | 0 | 0 | 602k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
610.63/610.83 c 569s| 2380k|934902 | 0 | 0.0 | 454M| 135 | - | 146 | 966 | 0 | 0 | 0 | 604k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
613.52/613.72 c 572s| 2390k|939207 | 0 | 0.0 | 457M| 135 | - | 146 | 789 | 0 | 0 | 0 | 607k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
616.32/616.53 c 574s| 2400k|943552 | 0 | 0.0 | 460M| 135 | - | 146 | 961 | 0 | 0 | 0 | 610k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
619.32/619.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
619.32/619.54 c 577s| 2410k|947645 | 0 | 0.0 | 463M| 135 | - | 146 | 828 | 0 | 0 | 0 | 613k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
622.22/622.41 c 580s| 2420k|951914 | 0 | 0.0 | 466M| 135 | - | 146 | 992 | 0 | 0 | 0 | 616k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
625.22/625.43 c 583s| 2430k|955910 | 0 | 0.0 | 469M| 135 | - | 146 | 872 | 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
628.32/628.52 c 586s| 2440k|959604 | 0 | 0.0 | 472M| 135 | - | 146 |1010 | 0 | 0 | 0 | 622k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
631.31/631.56 c 588s| 2450k|963571 | 0 | 0.0 | 475M| 135 | - | 146 | 841 | 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
634.32/634.53 c 591s| 2460k|967580 | 0 | 0.0 | 478M| 135 | - | 146 | 838 | 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
637.11/637.35 c 594s| 2470k|971844 | 0 | 0.0 | 481M| 135 | - | 146 | 744 | 0 | 0 | 0 | 632k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
639.81/640.09 c 596s| 2480k|976202 | 0 | 0.0 | 484M| 135 | - | 146 | 758 | 0 | 0 | 0 | 635k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
642.51/642.76 c 599s| 2490k|980788 | 0 | 0.0 | 487M| 135 | - | 146 | 771 | 0 | 0 | 0 | 638k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
645.31/645.54 c 601s| 2500k|985069 | 0 | 0.0 | 490M| 135 | - | 146 | 725 | 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
648.21/648.40 c 604s| 2510k|988882 | 0 | 0.0 | 493M| 135 | - | 146 | 739 | 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
650.92/651.20 c 607s| 2520k|992965 | 0 | 0.0 | 496M| 135 | - | 146 | 673 | 0 | 0 | 0 | 647k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
653.71/653.95 c 609s| 2530k|996979 | 0 | 0.0 | 499M| 135 | - | 146 | 676 | 0 | 0 | 0 | 651k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
656.61/656.81 c 612s| 2540k| 1000k| 0 | 0.0 | 502M| 135 | - | 146 | 671 | 0 | 0 | 0 | 654k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
659.21/659.49 c 615s| 2550k| 1005k| 0 | 0.0 | 505M| 135 | - | 146 | 709 | 0 | 0 | 0 | 657k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
662.11/662.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
662.11/662.32 c 617s| 2560k| 1008k| 0 | 0.0 | 507M| 135 | - | 146 | 724 | 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
665.11/665.30 c 620s| 2570k| 1012k| 0 | 0.0 | 510M| 135 | - | 146 | 714 | 0 | 0 | 0 | 664k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
668.21/668.47 c 623s| 2580k| 1014k| 0 | 0.0 | 513M| 135 | - | 146 | 697 | 0 | 0 | 0 | 668k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
671.11/671.33 c 626s| 2590k| 1018k| 0 | 0.0 | 515M| 135 | - | 146 | 714 | 0 | 0 | 0 | 672k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
674.11/674.34 c 628s| 2600k| 1021k| 0 | 0.0 | 518M| 135 | - | 146 | 750 | 0 | 0 | 0 | 676k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
677.00/677.27 c 631s| 2610k| 1025k| 0 | 0.0 | 520M| 135 | - | 146 | 739 | 0 | 0 | 0 | 679k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
679.70/679.91 c 634s| 2620k| 1029k| 0 | 0.0 | 523M| 135 | - | 146 | 721 | 0 | 0 | 0 | 682k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
682.00/682.28 c 636s| 2630k| 1036k| 0 | 0.0 | 526M| 135 | - | 146 | 939 | 0 | 0 | 0 | 685k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
684.60/684.81 c 638s| 2640k| 1041k| 0 | 0.0 | 529M| 135 | - | 146 |1042 | 0 | 0 | 0 | 687k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
687.21/687.49 c 641s| 2650k| 1046k| 0 | 0.0 | 531M| 135 | - | 146 |1109 | 0 | 0 | 0 | 690k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
690.10/690.33 c 643s| 2660k| 1051k| 0 | 0.0 | 534M| 135 | - | 146 |1069 | 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
693.20/693.42 c 646s| 2670k| 1055k| 0 | 0.0 | 537M| 135 | - | 146 |1102 | 0 | 0 | 0 | 696k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
696.11/696.38 c 649s| 2680k| 1059k| 0 | 0.0 | 540M| 135 | - | 146 |1051 | 0 | 0 | 0 | 699k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
699.00/699.26 c 652s| 2690k| 1064k| 0 | 0.0 | 543M| 135 | - | 146 |1002 | 0 | 0 | 0 | 702k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
702.10/702.37 c 655s| 2700k| 1068k| 0 | 0.0 | 546M| 135 | - | 146 |1011 | 0 | 0 | 0 | 705k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
705.19/705.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
705.19/705.43 c 658s| 2710k| 1073k| 0 | 0.0 | 549M| 135 | - | 146 | 961 | 0 | 0 | 0 | 709k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
708.30/708.57 c 660s| 2720k| 1077k| 0 | 0.0 | 552M| 135 | - | 146 |1011 | 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
711.40/711.65 c 663s| 2730k| 1081k| 0 | 0.0 | 555M| 135 | - | 146 | 970 | 0 | 0 | 0 | 715k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
714.49/714.80 c 666s| 2740k| 1085k| 0 | 0.0 | 557M| 135 | - | 146 | 959 | 0 | 0 | 0 | 718k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
717.80/718.02 c 669s| 2750k| 1089k| 0 | 0.0 | 560M| 135 | - | 146 | 910 | 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
721.09/721.32 c 673s| 2760k| 1092k| 0 | 0.0 | 562M| 135 | - | 146 | 847 | 0 | 0 | 0 | 726k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
724.09/724.38 c 675s| 2770k| 1096k| 0 | 0.0 | 565M| 135 | - | 146 | 732 | 0 | 0 | 0 | 729k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
727.09/727.34 c 678s| 2780k| 1099k| 0 | 0.0 | 568M| 135 | - | 146 | 767 | 0 | 0 | 0 | 733k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
730.09/730.38 c 681s| 2790k| 1102k| 0 | 0.0 | 570M| 135 | - | 146 | 836 | 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
732.49/732.79 c 683s| 2800k| 1108k| 0 | 0.0 | 573M| 135 | - | 146 | 731 | 0 | 0 | 0 | 739k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
734.60/734.87 c 685s| 2810k| 1115k| 0 | 0.0 | 576M| 135 | - | 146 | 751 | 0 | 0 | 0 | 741k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
736.70/737.00 c 687s| 2820k| 1122k| 0 | 0.0 | 579M| 135 | - | 146 | 815 | 0 | 0 | 0 | 742k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
738.89/739.19 c 689s| 2830k| 1129k| 0 | 0.0 | 581M| 135 | - | 146 | 770 | 0 | 0 | 0 | 744k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
741.19/741.40 c 691s| 2840k| 1136k| 0 | 0.0 | 584M| 135 | - | 146 | 828 | 0 | 0 | 0 | 746k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
743.39/743.61 c 693s| 2850k| 1143k| 0 | 0.0 | 586M| 135 | - | 146 | 864 | 0 | 0 | 0 | 748k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
745.59/745.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
745.59/745.88 c 695s| 2860k| 1149k| 0 | 0.0 | 589M| 135 | - | 146 | 898 | 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
747.89/748.16 c 698s| 2870k| 1156k| 0 | 0.0 | 592M| 135 | - | 146 | 952 | 0 | 0 | 0 | 752k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
750.09/750.36 c 700s| 2880k| 1163k| 0 | 0.0 | 594M| 135 | - | 146 | 925 | 0 | 0 | 0 | 754k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
752.38/752.64 c 702s| 2890k| 1169k| 0 | 0.0 | 597M| 135 | - | 146 | 896 | 0 | 0 | 0 | 755k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
754.78/755.00 c 704s| 2900k| 1175k| 0 | 0.0 | 599M| 135 | - | 146 |1057 | 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
757.08/757.35 c 706s| 2910k| 1182k| 0 | 0.0 | 602M| 135 | - | 146 | 903 | 0 | 0 | 0 | 759k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
759.49/759.71 c 708s| 2920k| 1188k| 0 | 0.0 | 605M| 135 | - | 146 |1016 | 0 | 0 | 0 | 761k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
761.78/762.01 c 710s| 2930k| 1195k| 0 | 0.0 | 608M| 135 | - | 146 |1024 | 0 | 0 | 0 | 763k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
764.19/764.45 c 713s| 2940k| 1201k| 0 | 0.0 | 610M| 135 | - | 146 |1094 | 0 | 0 | 0 | 765k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
766.49/766.72 c 715s| 2950k| 1207k| 0 | 0.0 | 613M| 135 | - | 146 |1081 | 0 | 0 | 0 | 767k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
768.78/769.06 c 717s| 2960k| 1213k| 0 | 0.0 | 616M| 135 | - | 146 |1088 | 0 | 0 | 0 | 769k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
771.18/771.49 c 719s| 2970k| 1220k| 0 | 0.0 | 618M| 135 | - | 146 | 973 | 0 | 0 | 0 | 771k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
773.68/773.93 c 722s| 2980k| 1226k| 0 | 0.0 | 621M| 135 | - | 146 |1070 | 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
776.18/776.46 c 724s| 2990k| 1232k| 0 | 0.0 | 623M| 135 | - | 146 |1153 | 0 | 0 | 0 | 775k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
778.58/778.86 c 726s| 3000k| 1238k| 0 | 0.0 | 626M| 135 | - | 146 |1079 | 0 | 0 | 0 | 777k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
780.97/781.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
780.97/781.25 c 728s| 3010k| 1244k| 0 | 0.0 | 628M| 135 | - | 146 |1011 | 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
783.37/783.67 c 731s| 3020k| 1250k| 0 | 0.0 | 631M| 135 | - | 146 |1171 | 0 | 0 | 0 | 782k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
785.87/786.14 c 733s| 3030k| 1256k| 0 | 0.0 | 634M| 135 | - | 146 |1114 | 0 | 0 | 0 | 784k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
788.27/788.50 c 735s| 3040k| 1263k| 0 | 0.0 | 636M| 135 | - | 146 |1054 | 0 | 0 | 0 | 786k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
790.68/790.93 c 737s| 3050k| 1268k| 0 | 0.0 | 639M| 135 | - | 146 |1116 | 0 | 0 | 0 | 788k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
793.07/793.33 c 740s| 3060k| 1275k| 0 | 0.0 | 642M| 135 | - | 146 |1236 | 0 | 0 | 0 | 790k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
795.67/795.92 c 742s| 3070k| 1280k| 0 | 0.0 | 644M| 135 | - | 146 |1053 | 0 | 0 | 0 | 792k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
797.97/798.28 c 744s| 3080k| 1287k| 0 | 0.0 | 647M| 135 | - | 146 |1102 | 0 | 0 | 0 | 794k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
800.48/800.74 c 747s| 3090k| 1293k| 0 | 0.0 | 650M| 135 | - | 146 |1097 | 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
802.97/803.21 c 749s| 3100k| 1299k| 0 | 0.0 | 652M| 135 | - | 146 | 993 | 0 | 0 | 0 | 799k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
805.47/805.73 c 751s| 3110k| 1304k| 0 | 0.0 | 655M| 135 | - | 146 |1079 | 0 | 0 | 0 | 801k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
809.27/809.57 o 33
809.27/809.57 c * 755s| 3117k|914597 | 0 | 0.0 | 424M| 135 | - | 146 |1118 | 0 | 0 | 0 | 802k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
809.87/810.19 c 755s| 3120k|915634 | 0 | 0.0 | 424M| 135 | - | 146 |1206 | 0 | 0 | 0 | 803k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
812.86/813.19 c 758s| 3130k|920626 | 0 | 0.0 | 427M| 135 | - | 146 |1711 | 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
816.06/816.30 c 761s| 3140k|925889 | 0 | 0.0 | 430M| 135 | - | 146 |1578 | 0 | 0 | 0 | 808k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
819.07/819.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
819.07/819.33 c 764s| 3150k|931297 | 0 | 0.0 | 433M| 135 | - | 146 |1798 | 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
822.26/822.53 c 767s| 3160k|936269 | 0 | 0.0 | 436M| 135 | - | 146 |2118 | 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
825.36/825.62 c 770s| 3170k|941395 | 0 | 0.0 | 439M| 135 | - | 146 |1580 | 0 | 0 | 0 | 816k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
828.36/828.68 c 773s| 3180k|946851 | 0 | 0.0 | 442M| 135 | - | 146 |1708 | 0 | 0 | 0 | 818k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
831.46/831.75 c 776s| 3190k|952264 | 0 | 0.0 | 445M| 135 | - | 146 |1745 | 0 | 0 | 0 | 821k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
834.67/834.97 c 779s| 3200k|956939 | 0 | 0.0 | 448M| 135 | - | 146 |1704 | 0 | 0 | 0 | 824k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
837.87/838.17 c 782s| 3210k|961498 | 0 | 0.0 | 451M| 135 | - | 146 |1903 | 0 | 0 | 0 | 827k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
841.27/841.53 c 785s| 3220k|965954 | 0 | 0.0 | 453M| 135 | - | 146 |1952 | 0 | 0 | 0 | 830k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
844.47/844.72 c 788s| 3230k|970984 | 0 | 0.0 | 456M| 135 | - | 146 |1846 | 0 | 0 | 0 | 832k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
847.66/848.00 c 791s| 3240k|975759 | 0 | 0.0 | 459M| 135 | - | 146 |1941 | 0 | 0 | 0 | 835k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
851.06/851.37 c 794s| 3250k|980892 | 0 | 0.0 | 462M| 135 | - | 146 |2195 | 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
854.47/854.77 c 798s| 3260k|985785 | 0 | 0.0 | 465M| 135 | - | 146 |2496 | 0 | 0 | 0 | 841k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
857.96/858.22 c 801s| 3270k|990590 | 0 | 0.0 | 468M| 135 | - | 146 |2315 | 0 | 0 | 0 | 843k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
861.36/861.62 c 804s| 3280k|995316 | 0 | 0.0 | 471M| 135 | - | 146 |2080 | 0 | 0 | 0 | 846k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
864.75/865.03 c 807s| 3290k| 1000k| 0 | 0.0 | 474M| 135 | - | 146 |2165 | 0 | 0 | 0 | 849k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
868.15/868.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
868.15/868.48 c 811s| 3300k| 1005k| 0 | 0.0 | 477M| 135 | - | 146 |2266 | 0 | 0 | 0 | 851k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
871.45/871.76 c 814s| 3310k| 1010k| 0 | 0.0 | 479M| 135 | - | 146 |1804 | 0 | 0 | 0 | 854k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
874.75/875.04 c 817s| 3320k| 1015k| 0 | 0.0 | 482M| 135 | - | 146 |1981 | 0 | 0 | 0 | 857k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
878.15/878.49 c 820s| 3330k| 1020k| 0 | 0.0 | 485M| 135 | - | 146 |2219 | 0 | 0 | 0 | 860k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
881.55/881.89 c 823s| 3340k| 1024k| 0 | 0.0 | 488M| 135 | - | 146 |1821 | 0 | 0 | 0 | 863k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
884.85/885.19 c 827s| 3350k| 1029k| 0 | 0.0 | 491M| 135 | - | 146 |2201 | 0 | 0 | 0 | 866k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
888.35/888.60 c 830s| 3360k| 1033k| 0 | 0.0 | 494M| 135 | - | 146 |2000 | 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
891.54/891.89 c 833s| 3370k| 1038k| 0 | 0.0 | 497M| 135 | - | 146 |2034 | 0 | 0 | 0 | 872k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
895.05/895.37 c 836s| 3380k| 1043k| 0 | 0.0 | 500M| 135 | - | 146 |2132 | 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
898.74/899.01 c 840s| 3390k| 1047k| 0 | 0.0 | 503M| 135 | - | 146 |2444 | 0 | 0 | 0 | 877k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
902.24/902.59 c 843s| 3400k| 1052k| 0 | 0.0 | 506M| 135 | - | 146 |2594 | 0 | 0 | 0 | 880k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
906.14/906.47 c 847s| 3410k| 1057k| 0 | 0.0 | 509M| 135 | - | 146 |2765 | 0 | 0 | 0 | 883k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
909.84/910.11 c 850s| 3420k| 1061k| 0 | 0.0 | 512M| 135 | - | 146 |2661 | 0 | 0 | 0 | 886k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
913.64/913.94 c 854s| 3430k| 1066k| 0 | 0.0 | 515M| 135 | - | 146 |2757 | 0 | 0 | 0 | 889k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
917.33/917.64 c 857s| 3440k| 1071k| 0 | 0.0 | 518M| 135 | - | 146 |2686 | 0 | 0 | 0 | 892k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
921.13/921.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
921.13/921.40 c 861s| 3450k| 1075k| 0 | 0.0 | 521M| 135 | - | 146 |2730 | 0 | 0 | 0 | 895k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
924.84/925.16 c 865s| 3460k| 1080k| 0 | 0.0 | 523M| 135 | - | 146 |2109 | 0 | 0 | 0 | 897k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
928.54/928.82 c 868s| 3470k| 1085k| 0 | 0.0 | 527M| 135 | - | 146 |2566 | 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
932.44/932.71 c 872s| 3480k| 1089k| 0 | 0.0 | 530M| 135 | - | 146 |2798 | 0 | 0 | 0 | 903k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
936.03/936.39 c 875s| 3490k| 1094k| 0 | 0.0 | 532M| 135 | - | 146 |1967 | 0 | 0 | 0 | 906k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
939.63/939.92 c 879s| 3500k| 1099k| 0 | 0.0 | 535M| 135 | - | 146 |2261 | 0 | 0 | 0 | 909k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
943.33/943.65 c 882s| 3510k| 1103k| 0 | 0.0 | 538M| 135 | - | 146 |2212 | 0 | 0 | 0 | 912k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
946.91/947.27 c 886s| 3520k| 1107k| 0 | 0.0 | 541M| 135 | - | 146 |2089 | 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
950.62/950.98 c 889s| 3530k| 1111k| 0 | 0.0 | 544M| 135 | - | 146 |2310 | 0 | 0 | 0 | 919k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
954.32/954.65 c 893s| 3540k| 1115k| 0 | 0.0 | 546M| 135 | - | 146 |2250 | 0 | 0 | 0 | 922k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
957.82/958.18 c 896s| 3550k| 1120k| 0 | 0.0 | 549M| 135 | - | 146 |2279 | 0 | 0 | 0 | 925k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
961.61/961.98 c 900s| 3560k| 1124k| 0 | 0.0 | 552M| 135 | - | 146 |2425 | 0 | 0 | 0 | 928k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
965.41/965.74 c 903s| 3570k| 1128k| 0 | 0.0 | 555M| 135 | - | 146 |2933 | 0 | 0 | 0 | 931k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
969.51/969.81 c 907s| 3580k| 1132k| 0 | 0.0 | 558M| 135 | - | 146 |2955 | 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
973.41/973.72 c 911s| 3590k| 1137k| 0 | 0.0 | 561M| 135 | - | 146 |2583 | 0 | 0 | 0 | 937k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
977.30/977.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
977.30/977.67 c 915s| 3600k| 1141k| 0 | 0.0 | 564M| 135 | - | 146 |2866 | 0 | 0 | 0 | 940k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
981.31/981.66 c 918s| 3610k| 1146k| 0 | 0.0 | 567M| 135 | - | 146 |2741 | 0 | 0 | 0 | 943k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
985.32/985.65 c 922s| 3620k| 1150k| 0 | 0.0 | 570M| 135 | - | 146 |2696 | 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
989.41/989.75 c 926s| 3630k| 1154k| 0 | 0.0 | 573M| 135 | - | 146 |2630 | 0 | 0 | 0 | 949k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
993.50/993.80 c 930s| 3640k| 1158k| 0 | 0.0 | 576M| 135 | - | 146 |2907 | 0 | 0 | 0 | 952k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
997.70/998.07 c 934s| 3650k| 1163k| 0 | 0.0 | 579M| 135 | - | 146 |3314 | 0 | 0 | 0 | 955k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1002.21/1002.50 c 938s| 3660k| 1167k| 0 | 0.0 | 582M| 135 | - | 146 |3492 | 0 | 0 | 0 | 959k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1006.40/1006.72 c 942s| 3670k| 1171k| 0 | 0.0 | 585M| 135 | - | 146 |2539 | 0 | 0 | 0 | 962k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1010.69/1011.01 c 946s| 3680k| 1175k| 0 | 0.0 | 587M| 135 | - | 146 |2489 | 0 | 0 | 0 | 965k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1014.70/1015.04 c 950s| 3690k| 1179k| 0 | 0.0 | 590M| 135 | - | 146 |2212 | 0 | 0 | 0 | 968k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1018.80/1019.16 c 954s| 3700k| 1183k| 0 | 0.0 | 593M| 135 | - | 146 |2326 | 0 | 0 | 0 | 971k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1022.80/1023.15 c 958s| 3710k| 1188k| 0 | 0.0 | 596M| 135 | - | 146 |2403 | 0 | 0 | 0 | 974k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1026.89/1027.21 c 962s| 3720k| 1191k| 0 | 0.0 | 599M| 135 | - | 146 |2595 | 0 | 0 | 0 | 978k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1031.40/1031.76 c 966s| 3730k| 1195k| 0 | 0.0 | 602M| 135 | - | 146 |2664 | 0 | 0 | 0 | 981k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1035.59/1035.99 c 970s| 3740k| 1199k| 0 | 0.0 | 605M| 135 | - | 146 |2790 | 0 | 0 | 0 | 985k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1039.69/1040.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1039.69/1040.01 c 974s| 3750k| 1203k| 0 | 0.0 | 608M| 135 | - | 146 |2460 | 0 | 0 | 0 | 988k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1043.69/1044.03 c 978s| 3760k| 1206k| 0 | 0.0 | 611M| 135 | - | 146 |2463 | 0 | 0 | 0 | 991k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1047.49/1047.87 c 982s| 3770k| 1210k| 0 | 0.0 | 614M| 135 | - | 146 |2604 | 0 | 0 | 0 | 995k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1051.39/1051.72 c 985s| 3780k| 1214k| 0 | 0.0 | 617M| 135 | - | 146 |2387 | 0 | 0 | 0 | 998k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1055.48/1055.85 c 989s| 3790k| 1218k| 0 | 0.0 | 620M| 135 | - | 146 |2719 | 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1059.59/1059.98 c 993s| 3800k| 1222k| 0 | 0.0 | 623M| 135 | - | 146 |3032 | 0 | 0 | 0 |1004k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1064.08/1064.41 c 997s| 3810k| 1226k| 0 | 0.0 | 625M| 135 | - | 146 |2907 | 0 | 0 | 0 |1008k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1068.38/1068.76 c 1002s| 3820k| 1230k| 0 | 0.0 | 628M| 135 | - | 146 |3019 | 0 | 0 | 0 |1011k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1072.78/1073.16 c 1006s| 3830k| 1234k| 0 | 0.0 | 631M| 135 | - | 146 |3101 | 0 | 0 | 0 |1014k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1076.97/1077.39 c 1010s| 3840k| 1238k| 0 | 0.0 | 634M| 135 | - | 146 |3315 | 0 | 0 | 0 |1018k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1081.38/1081.77 c 1014s| 3850k| 1242k| 0 | 0.0 | 637M| 135 | - | 146 |2533 | 0 | 0 | 0 |1021k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1085.68/1086.04 c 1018s| 3860k| 1246k| 0 | 0.0 | 640M| 135 | - | 146 |2983 | 0 | 0 | 0 |1024k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1090.18/1090.59 c 1022s| 3870k| 1250k| 0 | 0.0 | 644M| 135 | - | 146 |3306 | 0 | 0 | 0 |1027k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1094.77/1095.19 c 1027s| 3880k| 1254k| 0 | 0.0 | 647M| 135 | - | 146 |3762 | 0 | 0 | 0 |1031k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1099.37/1099.75 c 1031s| 3890k| 1257k| 0 | 0.0 | 649M| 135 | - | 146 |2781 | 0 | 0 | 0 |1034k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1103.87/1104.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1103.87/1104.24 c 1036s| 3900k| 1261k| 0 | 0.0 | 652M| 135 | - | 146 |2574 | 0 | 0 | 0 |1038k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1108.27/1108.63 c 1040s| 3910k| 1265k| 0 | 0.0 | 655M| 135 | - | 146 |2479 | 0 | 0 | 0 |1041k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1112.57/1112.91 c 1044s| 3920k| 1269k| 0 | 0.0 | 658M| 135 | - | 146 |2296 | 0 | 0 | 0 |1044k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1116.77/1117.16 c 1048s| 3930k| 1272k| 0 | 0.0 | 660M| 135 | - | 146 |2288 | 0 | 0 | 0 |1048k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1121.07/1121.46 c 1052s| 3940k| 1276k| 0 | 0.0 | 663M| 135 | - | 146 |2308 | 0 | 0 | 0 |1051k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1125.36/1125.71 c 1056s| 3950k| 1280k| 0 | 0.0 | 666M| 135 | - | 146 |2358 | 0 | 0 | 0 |1055k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1129.56/1129.95 c 1060s| 3960k| 1283k| 0 | 0.0 | 669M| 135 | - | 146 |2345 | 0 | 0 | 0 |1058k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1133.86/1134.20 c 1064s| 3970k| 1286k| 0 | 0.0 | 671M| 135 | - | 146 |2817 | 0 | 0 | 0 |1062k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1138.46/1138.87 c 1069s| 3980k| 1289k| 0 | 0.0 | 674M| 135 | - | 146 |2835 | 0 | 0 | 0 |1066k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1143.26/1143.65 c 1073s| 3990k| 1292k| 0 | 0.0 | 677M| 135 | - | 146 |3012 | 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1147.86/1148.27 c 1078s| 4000k| 1295k| 0 | 0.0 | 680M| 135 | - | 146 |2518 | 0 | 0 | 0 |1073k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1152.55/1152.94 c 1082s| 4010k| 1298k| 0 | 0.0 | 683M| 135 | - | 146 |2709 | 0 | 0 | 0 |1077k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1157.26/1157.61 c 1087s| 4020k| 1301k| 0 | 0.0 | 686M| 135 | - | 146 |2425 | 0 | 0 | 0 |1081k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1161.66/1162.07 c 1091s| 4030k| 1304k| 0 | 0.0 | 689M| 135 | - | 146 |2450 | 0 | 0 | 0 |1084k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1166.25/1166.63 c 1095s| 4040k| 1308k| 0 | 0.0 | 692M| 135 | - | 146 |2481 | 0 | 0 | 0 |1088k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1170.75/1171.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1170.75/1171.15 c 1100s| 4050k| 1311k| 0 | 0.0 | 695M| 135 | - | 146 |2712 | 0 | 0 | 0 |1092k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1175.46/1175.84 c 1104s| 4060k| 1313k| 0 | 0.0 | 697M| 135 | - | 146 |2843 | 0 | 0 | 0 |1096k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1180.15/1180.58 c 1109s| 4070k| 1317k| 0 | 0.0 | 700M| 135 | - | 146 |2814 | 0 | 0 | 0 |1099k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1184.75/1185.14 c 1113s| 4080k| 1320k| 0 | 0.0 | 703M| 135 | - | 146 |2856 | 0 | 0 | 0 |1103k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1188.76/1189.17 c 1117s| 4090k| 1324k| 0 | 0.0 | 706M| 135 | - | 146 |2969 | 0 | 0 | 0 |1106k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1193.15/1193.53 c 1121s| 4100k| 1327k| 0 | 0.0 | 709M| 135 | - | 146 |3036 | 0 | 0 | 0 |1110k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1197.55/1197.92 c 1125s| 4110k| 1331k| 0 | 0.0 | 712M| 135 | - | 146 |3255 | 0 | 0 | 0 |1113k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1202.05/1202.49 c 1130s| 4120k| 1334k| 0 | 0.0 | 715M| 135 | - | 146 |3306 | 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1206.64/1207.09 c 1134s| 4130k| 1338k| 0 | 0.0 | 718M| 135 | - | 146 |3024 | 0 | 0 | 0 |1120k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1211.34/1211.74 c 1138s| 4140k| 1341k| 0 | 0.0 | 721M| 135 | - | 146 |3449 | 0 | 0 | 0 |1124k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1215.94/1216.34 c 1143s| 4150k| 1345k| 0 | 0.0 | 724M| 135 | - | 146 |3295 | 0 | 0 | 0 |1127k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1220.64/1221.06 c 1147s| 4160k| 1349k| 0 | 0.0 | 727M| 135 | - | 146 |2977 | 0 | 0 | 0 |1131k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1225.04/1225.42 c 1152s| 4170k| 1353k| 0 | 0.0 | 730M| 135 | - | 146 |2892 | 0 | 0 | 0 |1134k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1229.74/1230.14 c 1156s| 4180k| 1356k| 0 | 0.0 | 734M| 135 | - | 146 |3527 | 0 | 0 | 0 |1137k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1234.73/1235.15 c 1161s| 4190k| 1360k| 0 | 0.0 | 737M| 135 | - | 146 |3675 | 0 | 0 | 0 |1141k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1239.54/1239.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1239.54/1239.94 c 1165s| 4200k| 1363k| 0 | 0.0 | 740M| 135 | - | 146 |2926 | 0 | 0 | 0 |1145k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1244.33/1244.71 c 1170s| 4210k| 1367k| 0 | 0.0 | 743M| 135 | - | 146 |2855 | 0 | 0 | 0 |1148k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1248.83/1249.26 c 1174s| 4220k| 1370k| 0 | 0.0 | 746M| 135 | - | 146 |2633 | 0 | 0 | 0 |1152k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1253.33/1253.77 c 1179s| 4230k| 1374k| 0 | 0.0 | 749M| 135 | - | 146 |2418 | 0 | 0 | 0 |1155k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1257.73/1258.14 c 1183s| 4240k| 1377k| 0 | 0.0 | 751M| 135 | - | 146 |2378 | 0 | 0 | 0 |1159k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1262.03/1262.47 c 1187s| 4250k| 1380k| 0 | 0.0 | 754M| 135 | - | 146 |2443 | 0 | 0 | 0 |1162k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1266.43/1266.81 c 1191s| 4260k| 1384k| 0 | 0.0 | 757M| 135 | - | 146 |2465 | 0 | 0 | 0 |1166k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1270.72/1271.17 c 1195s| 4270k| 1387k| 0 | 0.0 | 760M| 135 | - | 146 |2474 | 0 | 0 | 0 |1169k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1275.22/1275.66 c 1200s| 4280k| 1390k| 0 | 0.0 | 763M| 135 | - | 146 |2757 | 0 | 0 | 0 |1173k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1280.12/1280.55 c 1204s| 4290k| 1393k| 0 | 0.0 | 766M| 135 | - | 146 |2899 | 0 | 0 | 0 |1177k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1284.82/1285.27 c 1209s| 4300k| 1395k| 0 | 0.0 | 769M| 135 | - | 146 |2942 | 0 | 0 | 0 |1181k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1289.62/1290.09 c 1214s| 4310k| 1398k| 0 | 0.0 | 772M| 135 | - | 146 |2540 | 0 | 0 | 0 |1185k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1294.51/1294.90 c 1218s| 4320k| 1401k| 0 | 0.0 | 775M| 135 | - | 146 |2705 | 0 | 0 | 0 |1189k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1299.22/1299.64 c 1223s| 4330k| 1404k| 0 | 0.0 | 778M| 135 | - | 146 |2496 | 0 | 0 | 0 |1193k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1304.12/1304.50 c 1227s| 4340k| 1407k| 0 | 0.0 | 782M| 135 | - | 146 |2646 | 0 | 0 | 0 |1196k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1308.81/1309.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1308.81/1309.23 c 1232s| 4350k| 1409k| 0 | 0.0 | 784M| 135 | - | 146 |2782 | 0 | 0 | 0 |1200k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1313.51/1313.95 c 1236s| 4360k| 1412k| 0 | 0.0 | 787M| 135 | - | 146 |2954 | 0 | 0 | 0 |1204k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1318.41/1318.83 c 1241s| 4370k| 1415k| 0 | 0.0 | 790M| 135 | - | 146 |2811 | 0 | 0 | 0 |1208k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1323.41/1323.83 c 1246s| 4380k| 1417k| 0 | 0.0 | 793M| 135 | - | 146 |3078 | 0 | 0 | 0 |1212k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1328.31/1328.74 c 1251s| 4390k| 1420k| 0 | 0.0 | 796M| 135 | - | 146 |3237 | 0 | 0 | 0 |1216k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1333.31/1333.79 c 1255s| 4400k| 1423k| 0 | 0.0 | 799M| 135 | - | 146 |2807 | 0 | 0 | 0 |1220k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1338.10/1338.59 c 1260s| 4410k| 1425k| 0 | 0.0 | 802M| 135 | - | 146 |2612 | 0 | 0 | 0 |1224k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1343.11/1343.53 c 1265s| 4420k| 1428k| 0 | 0.0 | 805M| 135 | - | 146 |3119 | 0 | 0 | 0 |1228k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1348.11/1348.52 c 1270s| 4430k| 1430k| 0 | 0.0 | 808M| 135 | - | 146 |3126 | 0 | 0 | 0 |1232k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1353.10/1353.51 c 1274s| 4440k| 1433k| 0 | 0.0 | 811M| 135 | - | 146 |3081 | 0 | 0 | 0 |1236k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1358.30/1358.72 c 1279s| 4450k| 1436k| 0 | 0.0 | 814M| 135 | - | 146 |3031 | 0 | 0 | 0 |1240k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1363.10/1363.54 c 1284s| 4460k| 1438k| 0 | 0.0 | 816M| 135 | - | 146 |2913 | 0 | 0 | 0 |1244k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1368.09/1368.53 c 1289s| 4470k| 1441k| 0 | 0.0 | 819M| 135 | - | 146 |3205 | 0 | 0 | 0 |1248k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1372.59/1373.04 c 1293s| 4480k| 1443k| 0 | 0.0 | 822M| 135 | - | 146 |3490 | 0 | 0 | 0 |1251k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1377.39/1377.87 c 1298s| 4490k| 1447k| 0 | 0.0 | 825M| 135 | - | 146 |3377 | 0 | 0 | 0 |1255k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1382.08/1382.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1382.08/1382.53 c 1302s| 4500k| 1449k| 0 | 0.0 | 828M| 135 | - | 146 |3277 | 0 | 0 | 0 |1259k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1386.99/1387.50 c 1307s| 4510k| 1453k| 0 | 0.0 | 831M| 135 | - | 146 |3588 | 0 | 0 | 0 |1263k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1391.68/1392.19 c 1311s| 4520k| 1456k| 0 | 0.0 | 834M| 135 | - | 146 |3608 | 0 | 0 | 0 |1267k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1396.68/1397.11 c 1316s| 4530k| 1459k| 0 | 0.0 | 836M| 135 | - | 146 |2950 | 0 | 0 | 0 |1270k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1401.29/1401.71 c 1321s| 4540k| 1462k| 0 | 0.0 | 840M| 135 | - | 146 |3044 | 0 | 0 | 0 |1274k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1406.39/1406.88 c 1326s| 4550k| 1465k| 0 | 0.0 | 843M| 135 | - | 146 |3500 | 0 | 0 | 0 |1278k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1411.48/1411.96 c 1330s| 4560k| 1468k| 0 | 0.0 | 846M| 135 | - | 146 |3700 | 0 | 0 | 0 |1282k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1416.48/1416.96 c 1335s| 4570k| 1471k| 0 | 0.0 | 849M| 135 | - | 146 |3078 | 0 | 0 | 0 |1285k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1421.47/1421.92 c 1340s| 4580k| 1474k| 0 | 0.0 | 852M| 135 | - | 146 |3033 | 0 | 0 | 0 |1289k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1426.28/1426.78 c 1345s| 4590k| 1477k| 0 | 0.0 | 855M| 135 | - | 146 |2813 | 0 | 0 | 0 |1293k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1431.07/1431.59 c 1349s| 4600k| 1480k| 0 | 0.0 | 858M| 135 | - | 146 |2649 | 0 | 0 | 0 |1297k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1435.78/1436.28 c 1354s| 4610k| 1483k| 0 | 0.0 | 861M| 135 | - | 146 |2523 | 0 | 0 | 0 |1300k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1440.37/1440.83 c 1358s| 4620k| 1486k| 0 | 0.0 | 864M| 135 | - | 146 |2422 | 0 | 0 | 0 |1304k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1445.07/1445.52 c 1363s| 4630k| 1489k| 0 | 0.0 | 867M| 135 | - | 146 |2614 | 0 | 0 | 0 |1308k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1449.57/1450.07 c 1367s| 4640k| 1492k| 0 | 0.0 | 870M| 135 | - | 146 |2546 | 0 | 0 | 0 |1312k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1454.57/1455.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1454.57/1455.01 c 1372s| 4650k| 1495k| 0 | 0.0 | 873M| 135 | - | 146 |2888 | 0 | 0 | 0 |1316k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1459.86/1460.31 c 1377s| 4660k| 1497k| 0 | 0.0 | 876M| 135 | - | 146 |3017 | 0 | 0 | 0 |1320k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1464.77/1465.26 c 1382s| 4670k| 1499k| 0 | 0.0 | 879M| 135 | - | 146 |2856 | 0 | 0 | 0 |1324k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1469.86/1470.36 c 1386s| 4680k| 1501k| 0 | 0.0 | 882M| 135 | - | 146 |2695 | 0 | 0 | 0 |1328k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1475.07/1475.51 c 1391s| 4690k| 1504k| 0 | 0.0 | 885M| 135 | - | 146 |2687 | 0 | 0 | 0 |1332k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1479.96/1480.43 c 1396s| 4700k| 1506k| 0 | 0.0 | 888M| 135 | - | 146 |2690 | 0 | 0 | 0 |1336k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1484.86/1485.38 c 1401s| 4710k| 1508k| 0 | 0.0 | 891M| 135 | - | 146 |2665 | 0 | 0 | 0 |1340k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1489.97/1490.43 c 1406s| 4720k| 1511k| 0 | 0.0 | 894M| 135 | - | 146 |2805 | 0 | 0 | 0 |1345k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1495.16/1495.62 c 1411s| 4730k| 1513k| 0 | 0.0 | 897M| 135 | - | 146 |2987 | 0 | 0 | 0 |1349k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1500.46/1500.94 c 1416s| 4740k| 1515k| 0 | 0.0 | 901M| 135 | - | 146 |3155 | 0 | 0 | 0 |1353k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1505.76/1506.22 c 1421s| 4750k| 1517k| 0 | 0.0 | 903M| 135 | - | 146 |3171 | 0 | 0 | 0 |1357k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1510.96/1511.42 c 1426s| 4760k| 1520k| 0 | 0.0 | 906M| 135 | - | 146 |2930 | 0 | 0 | 0 |1361k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1516.05/1516.53 c 1431s| 4770k| 1522k| 0 | 0.0 | 909M| 135 | - | 146 |2711 | 0 | 0 | 0 |1365k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1521.05/1521.53 c 1436s| 4780k| 1524k| 0 | 0.0 | 912M| 135 | - | 146 |3015 | 0 | 0 | 0 |1369k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1526.15/1526.62 c 1440s| 4790k| 1526k| 0 | 0.0 | 915M| 135 | - | 146 |2958 | 0 | 0 | 0 |1374k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1531.24/1531.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1531.24/1531.76 c 1445s| 4800k| 1528k| 0 | 0.0 | 918M| 135 | - | 146 |3084 | 0 | 0 | 0 |1378k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1536.64/1537.10 c 1451s| 4810k| 1531k| 0 | 0.0 | 921M| 135 | - | 146 |3064 | 0 | 0 | 0 |1382k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1541.65/1542.16 c 1455s| 4820k| 1532k| 0 | 0.0 | 924M| 135 | - | 146 |2964 | 0 | 0 | 0 |1386k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1546.94/1547.48 c 1460s| 4830k| 1535k| 0 | 0.0 | 927M| 135 | - | 146 |2922 | 0 | 0 | 0 |1390k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1552.24/1552.79 c 1466s| 4840k| 1536k| 0 | 0.0 | 929M| 135 | - | 146 |3170 | 0 | 0 | 0 |1395k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1557.84/1558.32 c 1471s| 4850k| 1538k| 0 | 0.0 | 932M| 135 | - | 146 |3337 | 0 | 0 | 0 |1399k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1563.34/1563.87 c 1476s| 4860k| 1540k| 0 | 0.0 | 935M| 135 | - | 146 |3447 | 0 | 0 | 0 |1403k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1568.83/1569.32 c 1482s| 4870k| 1542k| 0 | 0.0 | 938M| 135 | - | 146 |3596 | 0 | 0 | 0 |1408k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1574.23/1574.71 c 1487s| 4880k| 1544k| 0 | 0.0 | 940M| 135 | - | 146 |3504 | 0 | 0 | 0 |1412k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1579.73/1580.29 c 1492s| 4890k| 1546k| 0 | 0.0 | 943M| 135 | - | 146 |3623 | 0 | 0 | 0 |1416k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1585.53/1586.02 c 1498s| 4900k| 1548k| 0 | 0.0 | 946M| 135 | - | 146 |3590 | 0 | 0 | 0 |1421k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1591.03/1591.54 c 1503s| 4910k| 1550k| 0 | 0.0 | 949M| 135 | - | 146 |3450 | 0 | 0 | 0 |1425k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1596.73/1597.23 c 1508s| 4920k| 1552k| 0 | 0.0 | 952M| 135 | - | 146 |3784 | 0 | 0 | 0 |1429k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1601.92/1602.45 c 1513s| 4930k| 1554k| 0 | 0.0 | 955M| 135 | - | 146 |3459 | 0 | 0 | 0 |1433k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1607.43/1607.92 c 1519s| 4940k| 1557k| 0 | 0.0 | 959M| 135 | - | 146 |3750 | 0 | 0 | 0 |1437k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1612.33/1612.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1612.33/1612.89 c 1524s| 4950k| 1560k| 0 | 0.0 | 961M| 135 | - | 146 |3514 | 0 | 0 | 0 |1441k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1617.43/1617.96 c 1528s| 4960k| 1562k| 0 | 0.0 | 964M| 135 | - | 146 |2959 | 0 | 0 | 0 |1445k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1622.52/1623.07 c 1533s| 4970k| 1565k| 0 | 0.0 | 968M| 135 | - | 146 |3464 | 0 | 0 | 0 |1449k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1628.02/1628.51 c 1539s| 4980k| 1568k| 0 | 0.0 | 971M| 135 | - | 146 |3681 | 0 | 0 | 0 |1453k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1633.52/1634.00 c 1544s| 4990k| 1570k| 0 | 0.0 | 974M| 135 | - | 146 |3725 | 0 | 0 | 0 |1457k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1638.91/1639.42 c 1549s| 5000k| 1573k| 0 | 0.0 | 977M| 135 | - | 146 |3175 | 0 | 0 | 0 |1461k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1644.12/1644.65 c 1554s| 5010k| 1576k| 0 | 0.0 | 980M| 135 | - | 146 |2929 | 0 | 0 | 0 |1465k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1649.11/1649.68 c 1559s| 5020k| 1578k| 0 | 0.0 | 983M| 135 | - | 146 |2800 | 0 | 0 | 0 |1469k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1654.11/1654.63 c 1564s| 5030k| 1581k| 0 | 0.0 | 986M| 135 | - | 146 |2609 | 0 | 0 | 0 |1473k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1659.01/1659.50 c 1568s| 5040k| 1584k| 0 | 0.0 | 989M| 135 | - | 146 |2730 | 0 | 0 | 0 |1477k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1664.01/1664.52 c 1573s| 5050k| 1586k| 0 | 0.0 | 992M| 135 | - | 146 |2711 | 0 | 0 | 0 |1481k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1668.81/1669.35 c 1578s| 5060k| 1589k| 0 | 0.0 | 995M| 135 | - | 146 |2851 | 0 | 0 | 0 |1485k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1673.91/1674.41 c 1583s| 5070k| 1591k| 0 | 0.0 | 998M| 135 | - | 146 |2827 | 0 | 0 | 0 |1489k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1679.40/1679.90 c 1588s| 5080k| 1592k| 0 | 0.0 |1001M| 135 | - | 146 |3034 | 0 | 0 | 0 |1494k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1685.01/1685.54 c 1593s| 5090k| 1594k| 0 | 0.0 |1005M| 135 | - | 146 |2939 | 0 | 0 | 0 |1498k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1690.50/1691.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1690.50/1691.07 c 1599s| 5100k| 1596k| 0 | 0.0 |1008M| 135 | - | 146 |2975 | 0 | 0 | 0 |1502k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1695.90/1696.43 c 1604s| 5110k| 1598k| 0 | 0.0 |1011M| 135 | - | 146 |2596 | 0 | 0 | 0 |1507k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1701.20/1701.76 c 1609s| 5120k| 1600k| 0 | 0.0 |1014M| 135 | - | 146 |2889 | 0 | 0 | 0 |1511k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1706.61/1707.15 c 1614s| 5130k| 1602k| 0 | 0.0 |1017M| 135 | - | 146 |2978 | 0 | 0 | 0 |1515k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1711.99/1712.54 c 1619s| 5140k| 1604k| 0 | 0.0 |1020M| 135 | - | 146 |3171 | 0 | 0 | 0 |1520k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1717.70/1718.26 c 1625s| 5150k| 1605k| 0 | 0.0 |1023M| 135 | - | 146 |3135 | 0 | 0 | 0 |1524k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1723.60/1724.14 c 1630s| 5160k| 1607k| 0 | 0.0 |1027M| 135 | - | 146 |3338 | 0 | 0 | 0 |1529k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1729.29/1729.83 c 1636s| 5170k| 1609k| 0 | 0.0 |1030M| 135 | - | 146 |3083 | 0 | 0 | 0 |1533k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1734.78/1735.35 c 1641s| 5180k| 1611k| 0 | 0.0 |1032M| 135 | - | 146 |2993 | 0 | 0 | 0 |1537k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1740.09/1740.63 c 1646s| 5190k| 1613k| 0 | 0.0 |1035M| 135 | - | 146 |2950 | 0 | 0 | 0 |1541k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1745.49/1746.09 c 1652s| 5200k| 1614k| 0 | 0.0 |1038M| 135 | - | 146 |3089 | 0 | 0 | 0 |1546k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1750.88/1751.49 c 1657s| 5210k| 1616k| 0 | 0.0 |1041M| 135 | - | 146 |3042 | 0 | 0 | 0 |1550k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1756.49/1757.06 c 1662s| 5220k| 1617k| 0 | 0.0 |1044M| 135 | - | 146 |3012 | 0 | 0 | 0 |1555k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1761.88/1762.49 c 1667s| 5230k| 1619k| 0 | 0.0 |1046M| 135 | - | 146 |2954 | 0 | 0 | 0 |1560k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1767.38/1767.96 c 1673s| 5240k| 1620k| 0 | 0.0 |1049M| 135 | - | 146 |2858 | 0 | 0 | 0 |1564k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1772.98/1773.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1772.98/1773.59 c 1678s| 5250k| 1622k| 0 | 0.0 |1052M| 135 | - | 146 |3139 | 0 | 0 | 0 |1569k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1778.88/1779.42 c 1684s| 5260k| 1623k| 0 | 0.0 |1055M| 135 | - | 146 |3317 | 0 | 0 | 0 |1573k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1784.38/1784.90 c 1689s| 5270k| 1625k| 0 | 0.0 |1057M| 135 | - | 146 |3099 | 0 | 0 | 0 |1578k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1789.87/1790.46 c 1694s| 5280k| 1626k| 0 | 0.0 |1060M| 135 | - | 146 |3502 | 0 | 0 | 0 |1582k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1795.58/1796.20 c 1700s| 5290k| 1627k| 0 | 0.0 |1063M| 135 | - | 146 |3470 | 0 | 0 | 0 |1587k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1800.09/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.61 c
1800.09/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.61 c Solving Time (sec) : 1704.04
1800.09/1800.61 c Solving Nodes : 5297211
1800.09/1800.61 c Primal Bound : +3.30000000000000e+01 (15 solutions)
1800.09/1800.61 c Dual Bound : +0.00000000000000e+00
1800.09/1800.61 c Gap : infinite
1800.09/1800.61 s SATISFIABLE
1800.09/1800.61 v -x146 -x145 -x144 x143 -x142 x141 -x140 x139 x138 -x137 x136 x135 -x134 -x133 -x132 -x131 x130 x129 x128 x127 x126 x125 -x124 x123
1800.09/1800.61 v -x122 x121 -x120 -x119 -x118 x117 -x116 -x115 x114 -x113 x112 -x111 x110 x109 x108 x107 -x106 -x105 -x104 -x103 x102 x101
1800.09/1800.61 v x100 x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 x83 x82 x81 -x80 -x79 -x78 -x77 -x76 -x75
1800.09/1800.61 v x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49
1800.09/1800.61 v -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24
1800.09/1800.61 v -x23 -x22 -x21 -x20 x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x1
1800.09/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.61 c Solving Time : 1704.04
1800.09/1800.61 c Original Problem :
1800.09/1800.61 c Problem name : HOME/instance-2664230-1276616716.opb
1800.09/1800.61 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.61 c Constraints : 12 initial, 12 maximal
1800.09/1800.61 c Presolved Problem :
1800.09/1800.61 c Problem name : t_HOME/instance-2664230-1276616716.opb
1800.09/1800.61 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.61 c Constraints : 6 initial, 4005 maximal
1800.09/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.09/1800.61 c linear : 0.00 0 0 0 0 0 6 0 0
1800.09/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c root node : - 0 - - 0 - - - -
1800.09/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.61 c linear : 6 0 11020904 0 4030349 1106687 25342239 0 0 0
1800.09/1800.61 c logicor : 0+ 0 3173320 0 0 5217 1337351 0 0 0
1800.09/1800.61 c countsols : 0 0 0 0 4030355 0 0 0 0 0
1800.09/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.61 c linear : 650.49 0.00 647.64 0.00 2.85
1800.09/1800.61 c logicor : 262.07 0.00 262.07 0.00 0.00
1800.09/1800.61 c countsols : 1.64 0.00 0.00 0.00 1.64
1800.09/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.61 c vbounds : 5.53 2 0 0
1800.09/1800.61 c rootredcost : 4.99 0 0 0
1800.09/1800.61 c pseudoobj : 166.39 11508768 488058 25793716
1800.09/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.61 c propagation : 220.97 1599962 1543618 5003420 40.3 3345 48.2 -
1800.09/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.61 c pseudo solution : 0.01 41 41 77 18.9 0 0.0 -
1800.09/1800.61 c applied globally : - - - 711578 27.7 - - -
1800.09/1800.61 c applied locally : - - - 879021 36.3 - - -
1800.09/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.09/1800.61 c redcost : 0.00 0 0 0 0 0
1800.09/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.09/1800.61 c intobj : 0.00 0 0 0 0 0
1800.09/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.61 c gomory : 0.00 0 0 0 0 0
1800.09/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.09/1800.61 c cmir : 0.00 0 0 0 0 0
1800.09/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.61 c clique : 0.00 0 0 0 0 0
1800.09/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.61 c mcf : 0.00 0 0 0 0 0
1800.09/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.61 c Pricers : Time Calls Vars
1800.09/1800.61 c problem variables: 0.00 0 0
1800.09/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.09/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.61 c inference : 77.81 4030340 0 0 0 0 8060680
1800.09/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.61 c random : 0.00 0 0 0 0 0 0
1800.09/1800.61 c Primal Heuristics : Time Calls Found
1800.09/1800.61 c LP solutions : 0.00 - 0
1800.09/1800.61 c pseudo solutions : 3.48 - 15
1800.09/1800.61 c oneopt : 3.80 0 0
1800.09/1800.61 c trivial : 0.00 2 0
1800.09/1800.61 c simplerounding : 0.00 0 0
1800.09/1800.61 c zirounding : 0.00 0 0
1800.09/1800.61 c rounding : 0.00 0 0
1800.09/1800.61 c shifting : 0.00 0 0
1800.09/1800.61 c intshifting : 0.00 0 0
1800.09/1800.61 c twoopt : 0.00 0 0
1800.09/1800.61 c fixandinfer : 0.00 0 0
1800.09/1800.61 c feaspump : 0.00 0 0
1800.09/1800.61 c coefdiving : 0.00 0 0
1800.09/1800.61 c pscostdiving : 0.00 0 0
1800.09/1800.61 c fracdiving : 0.00 0 0
1800.09/1800.61 c veclendiving : 0.00 0 0
1800.09/1800.61 c intdiving : 0.00 0 0
1800.09/1800.61 c actconsdiving : 0.00 0 0
1800.09/1800.61 c objpscostdiving : 0.00 0 0
1800.09/1800.61 c rootsoldiving : 0.00 0 0
1800.09/1800.61 c linesearchdiving : 0.00 0 0
1800.09/1800.61 c guideddiving : 0.00 0 0
1800.09/1800.61 c octane : 0.00 0 0
1800.09/1800.61 c rens : 0.00 0 0
1800.09/1800.61 c rins : 0.00 0 0
1800.09/1800.61 c localbranching : 0.00 0 0
1800.09/1800.61 c mutation : 0.00 0 0
1800.09/1800.61 c crossover : 0.00 0 0
1800.09/1800.61 c dins : 0.00 0 0
1800.09/1800.61 c undercover : 0.00 0 0
1800.09/1800.61 c nlp : 2.19 0 0
1800.09/1800.61 c trysol : 2.22 0 0
1800.09/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.09/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.09/1800.61 c (at root node) : - 0 0 0.00 -
1800.09/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.61 c B&B Tree :
1800.09/1800.61 c number of runs : 1
1800.09/1800.61 c nodes : 5297211
1800.09/1800.61 c nodes (total) : 5297211
1800.09/1800.61 c nodes left : 1629111
1800.09/1800.61 c max depth : 135
1800.09/1800.61 c max depth (total): 135
1800.09/1800.61 c backtracks : 370537 (7.0%)
1800.09/1800.61 c delayed cutoffs : 333340
1800.09/1800.61 c repropagations : 2297342 (10627293 domain reductions, 333147 cutoffs)
1800.09/1800.61 c avg switch length: 5.26
1800.09/1800.61 c switching time : 322.76
1800.09/1800.61 c Solution :
1800.09/1800.61 c Solutions found : 15 (15 improvements)
1800.09/1800.61 c First Solution : +1.35500000000000e+03 (in run 1, after 236027 nodes, 27.25 seconds, depth 45, found by <relaxation>)
1800.09/1800.61 c Primal Bound : +3.30000000000000e+01 (in run 1, after 3117859 nodes, 753.00 seconds, depth 72, found by <relaxation>)
1800.09/1800.61 c Dual Bound : +0.00000000000000e+00
1800.09/1800.61 c Gap : infinite
1800.09/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.09/1800.61 c Root Iterations : 0
OK 33
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664230-1276616716/watcher-2664230-1276616716 -o /tmp/evaluation-result-2664230-1276616716/solver-2664230-1276616716 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664230-1276616716.opb -t 1800 -m 1800 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): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/105 10405 /proc/meminfo: memFree=1761748/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=6584 CPUtime=0 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 1110 0 0 0 0 0 0 0 23 0 1 0 2965064 6742016 1033 1992294400 4194304 7136930 140733626006752 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10405/statm: 1646 1044 254 719 0 925 0 [startup+0.0388499 s] /proc/loadavg: 0.92 0.98 0.99 3/105 10405 /proc/meminfo: memFree=1761748/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=11112 CPUtime=0.03 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 2743 0 0 0 2 1 0 0 23 0 1 0 2965064 11378688 2055 1992294400 4194304 7136930 140733626006752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10405/statm: 2778 2055 375 719 0 2057 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11112 [startup+0.100855 s] /proc/loadavg: 0.92 0.98 0.99 3/105 10405 /proc/meminfo: memFree=1761748/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=11408 CPUtime=0.09 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 2826 0 0 0 7 2 0 0 23 0 1 0 2965064 11681792 2138 1992294400 4194304 7136930 140733626006752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10405/statm: 2852 2138 383 719 0 2131 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11408 [startup+0.300873 s] /proc/loadavg: 0.92 0.98 0.99 3/105 10405 /proc/meminfo: memFree=1761748/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=12424 CPUtime=0.29 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 3069 0 0 0 26 3 0 0 23 0 1 0 2965064 12722176 2381 1992294400 4194304 7136930 140733626006752 18446744073709551615 4979650 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10405/statm: 3106 2381 383 719 0 2385 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12424 [startup+0.700912 s] /proc/loadavg: 0.92 0.98 0.99 3/105 10405 /proc/meminfo: memFree=1761748/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=13896 CPUtime=0.69 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 3455 0 0 0 62 7 0 0 25 0 1 0 2965064 14229504 2767 1992294400 4194304 7136930 140733626006752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10405/statm: 3474 2767 383 719 0 2753 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13896 [startup+1.50099 s] /proc/loadavg: 0.92 0.98 0.99 2/106 10406 /proc/meminfo: memFree=1751076/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=16284 CPUtime=1.49 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 4056 0 0 0 131 18 0 0 25 0 1 0 2965064 16674816 3368 1992294400 4194304 7136930 140733626006752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10405/statm: 4071 3368 383 719 0 3350 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16284 [startup+3.10114 s] /proc/loadavg: 0.92 0.98 0.99 2/106 10406 /proc/meminfo: memFree=1747480/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=21564 CPUtime=3.09 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 5451 0 0 0 276 33 0 0 25 0 1 0 2965064 22081536 4763 1992294400 4194304 7136930 140733626006752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10405/statm: 5391 4763 383 719 0 4670 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21564 [startup+6.30046 s] /proc/loadavg: 0.93 0.98 0.99 2/106 10406 /proc/meminfo: memFree=1735328/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=33736 CPUtime=6.29 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 8579 0 0 0 559 70 0 0 25 0 1 0 2965064 34545664 7891 1992294400 4194304 7136930 140733626006752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10405/statm: 8434 7891 383 719 0 7713 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33736 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.99 2/106 10408 /proc/meminfo: memFree=1714868/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=52848 CPUtime=12.69 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 12963 0 0 0 1137 132 0 0 25 0 1 0 2965064 54116352 12275 1992294400 4194304 7136930 140733626006752 18446744073709551615 5954073 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10405/statm: 13212 12275 383 719 0 12491 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52848 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.99 2/106 10408 /proc/meminfo: memFree=1672212/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=93528 CPUtime=25.48 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 23551 0 0 0 2274 274 0 0 25 0 1 0 2965064 95772672 22863 1992294400 4194304 7136930 140733626006752 18446744073709551615 4618556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10405/statm: 23382 22863 383 719 0 22661 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 93528 [startup+51.1008 s] /proc/loadavg: 0.96 0.98 0.99 2/106 10408 /proc/meminfo: memFree=1623480/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=143852 CPUtime=51.07 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 35456 0 0 0 4608 499 0 0 25 0 1 0 2965064 147304448 34768 1992294400 4194304 7136930 140733626006752 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10405/statm: 35963 34768 383 719 0 35242 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 143852 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/106 10410 /proc/meminfo: memFree=1603516/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=164208 CPUtime=102.27 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 40508 0 0 0 9362 865 0 0 25 0 1 0 2965064 168148992 39820 1992294400 4194304 7136930 140733626006752 18446744073709551615 4431830 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10405/statm: 41052 39820 383 719 0 40331 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 164208 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10412 /proc/meminfo: memFree=1528992/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=235672 CPUtime=162.25 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 58990 0 0 0 14899 1326 0 0 25 0 1 0 2965064 241328128 58302 1992294400 4194304 7136930 140733626006752 18446744073709551615 4704609 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10405/statm: 58918 58302 384 719 0 58197 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 235672 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10412 /proc/meminfo: memFree=1449508/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=321324 CPUtime=222.23 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 78926 0 0 0 20464 1759 0 0 25 0 1 0 2965064 329035776 78238 1992294400 4194304 7136930 140733626006752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10405/statm: 80331 78238 384 719 0 79610 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 321324 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10414 /proc/meminfo: memFree=1388748/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=379700 CPUtime=282.21 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 93941 0 0 0 26080 2141 0 0 25 0 1 0 2965064 388812800 93253 1992294400 4194304 7136930 140733626006752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10405/statm: 94925 93253 384 719 0 94204 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 379700 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10416 /proc/meminfo: memFree=1328856/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=438156 CPUtime=342.2 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 108860 0 0 0 31737 2483 0 0 25 0 1 0 2965064 448671744 108172 1992294400 4194304 7136930 140733626006752 18446744073709551615 6000505 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10405/statm: 109539 108172 384 719 0 108818 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 438156 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10418 /proc/meminfo: memFree=1273800/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=494592 CPUtime=402.18 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 123274 0 0 0 37379 2839 0 0 25 0 1 0 2965064 506462208 122586 1992294400 4194304 7136930 140733626006752 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10405/statm: 123648 122586 384 719 0 122927 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 494592 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10420 /proc/meminfo: memFree=1215644/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=548816 CPUtime=462.17 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 137065 0 0 0 43018 3199 0 0 25 0 1 0 2965064 561987584 136377 1992294400 4194304 7136930 140733626006752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10405/statm: 137204 136377 384 719 0 136483 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 548816 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10420 /proc/meminfo: memFree=1166788/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=598636 CPUtime=522.15 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 149632 0 0 0 48673 3542 0 0 25 0 1 0 2965064 613003264 148944 1992294400 4194304 7136930 140733626006752 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10405/statm: 149659 148944 384 719 0 148938 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 598636 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10422 /proc/meminfo: memFree=1098588/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=679704 CPUtime=582.13 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 166269 0 0 0 54239 3974 0 0 25 0 1 0 2965064 696016896 165581 1992294400 4194304 7136930 140733626006752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10405/statm: 169926 165581 384 719 0 169205 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 679704 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10424 /proc/meminfo: memFree=1083336/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=694404 CPUtime=642.12 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 170009 0 0 0 59844 4368 0 0 25 0 1 0 2965064 711069696 169321 1992294400 4194304 7136930 140733626006752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10405/statm: 173601 169321 384 719 0 172880 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 694404 [startup+702.302 s] ################ # More data... # ################ /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 202490 0 0 0 99539 6659 0 0 25 0 1 0 2965064 841039872 201802 1992294400 4194304 7136930 140733626006752 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10405/statm: 205332 201802 384 719 0 204611 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 821328 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10445 /proc/meminfo: memFree=928584/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=844904 CPUtime=1121.96 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 208372 0 0 0 105284 6912 0 0 25 0 1 0 2965064 865181696 207684 1992294400 4194304 7136930 140733626006752 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10405/statm: 211226 207684 384 719 0 210505 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 844904 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10447 /proc/meminfo: memFree=900436/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=873404 CPUtime=1181.95 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 215522 0 0 0 111023 7172 0 0 25 0 1 0 2965064 894365696 214834 1992294400 4194304 7136930 140733626006752 18446744073709551615 4208902 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10405/statm: 218351 214834 384 719 0 217630 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 873404 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10449 /proc/meminfo: memFree=869064/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=903252 CPUtime=1241.93 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 223164 0 0 0 116768 7425 0 0 25 0 1 0 2965064 924930048 222476 1992294400 4194304 7136930 140733626006752 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10405/statm: 225813 222476 384 719 0 225092 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 903252 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10451 /proc/meminfo: memFree=836080/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=935260 CPUtime=1301.92 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 231338 0 0 0 122522 7670 0 0 25 0 1 0 2965064 957706240 230650 1992294400 4194304 7136930 140733626006752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10405/statm: 233815 230650 384 719 0 233094 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 935260 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10453 /proc/meminfo: memFree=805948/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=964648 CPUtime=1361.9 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 238865 0 0 0 128274 7916 0 0 25 0 1 0 2965064 987799552 238177 1992294400 4194304 7136930 140733626006752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10405/statm: 241162 238177 384 719 0 240441 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 964648 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10453 /proc/meminfo: memFree=774576/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=995616 CPUtime=1421.88 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 246660 0 0 0 134040 8148 0 0 25 0 1 0 2965064 1019510784 245972 1992294400 4194304 7136930 140733626006752 18446744073709551615 5000337 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10405/statm: 248904 245972 384 719 0 248183 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 995616 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10455 /proc/meminfo: memFree=736632/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=1032788 CPUtime=1481.86 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 256105 0 0 0 139789 8397 0 0 25 0 1 0 2965064 1057574912 255417 1992294400 4194304 7136930 140733626006752 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10405/statm: 258197 255417 384 719 0 257476 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1032788 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10457 /proc/meminfo: memFree=707988/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=1060752 CPUtime=1541.85 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 263237 0 0 0 145550 8635 0 0 25 0 1 0 2965064 1086210048 262549 1992294400 4194304 7136930 140733626006752 18446744073709551615 5918773 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10405/statm: 265188 262549 384 719 0 264467 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1060752 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10459 /proc/meminfo: memFree=678228/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=1091832 CPUtime=1601.82 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 270931 0 0 0 151334 8848 0 0 25 0 1 0 2965064 1118035968 270243 1992294400 4194304 7136930 140733626006752 18446744073709551615 4704991 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10405/statm: 272958 270243 384 719 0 272237 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1091832 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10461 /proc/meminfo: memFree=647848/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=1121284 CPUtime=1661.81 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 278471 0 0 0 157105 9076 0 0 25 0 1 0 2965064 1148194816 277783 1992294400 4194304 7136930 140733626006752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10405/statm: 280321 277783 384 719 0 279600 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1121284 [startup+1722.3 s] /proc/loadavg: 1.03 1.00 1.00 2/106 10461 /proc/meminfo: memFree=618336/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=1149032 CPUtime=1721.79 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 285547 0 0 0 162867 9312 0 0 25 0 1 0 2965064 1176608768 284859 1992294400 4194304 7136930 140733626006752 18446744073709551615 4635948 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10405/statm: 287258 284859 384 719 0 286537 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1149032 [startup+1782.3 s] /proc/loadavg: 1.01 1.00 1.00 2/106 10463 /proc/meminfo: memFree=586716/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=1179876 CPUtime=1781.78 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 293352 0 0 0 168639 9539 0 0 25 0 1 0 2965064 1208193024 292664 1992294400 4194304 7136930 140733626006752 18446744073709551615 4978293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10405/statm: 294969 292664 384 719 0 294248 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1179876 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/106 10463 /proc/meminfo: memFree=581136/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=1186152 CPUtime=1800.09 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 294740 0 0 0 170404 9605 0 0 25 0 1 0 2965064 1214619648 294052 1992294400 4194304 7136930 140733626006752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10405/statm: 296538 294052 384 719 0 295817 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1186152 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -10405 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/106 10463 /proc/meminfo: memFree=581136/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=1186152 CPUtime=1800.87 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 294746 0 0 0 170482 9605 0 0 25 0 1 0 2965064 1214619648 294058 1992294400 4194304 7136930 140733626006752 18446744073709551615 6165646 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10405/statm: 296538 294058 390 719 0 295817 0 Current children cumulated CPU time (s) 1800.87 Current children cumulated vsize (KiB) 1186152 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10464 /proc/meminfo: memFree=581128/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=1186152 CPUtime=1801.67 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 294746 0 0 0 170562 9605 0 0 25 0 1 0 2965064 1214619648 294058 1992294400 4194304 7136930 140733626006752 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10405/statm: 296538 294058 390 719 0 295817 0 Current children cumulated CPU time (s) 1801.67 Current children cumulated vsize (KiB) 1186152 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10464 /proc/meminfo: memFree=581128/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=1186152 CPUtime=1802.07 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4202496 294746 0 0 0 170602 9605 0 0 25 0 1 0 2965064 1214619648 294058 1992294400 4194304 7136930 140733626006752 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10405/statm: 296538 294058 390 719 0 295817 0 Current children cumulated CPU time (s) 1802.07 Current children cumulated vsize (KiB) 1186152 [startup+1802.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10464 /proc/meminfo: memFree=581128/2059040 swapFree=4192956/4192956 [pid=10405] ppid=10403 vsize=0 CPUtime=1802.17 /proc/10405/stat : 10405 (pbscip.linux.x8) R 10403 10405 10380 0 -1 4203524 294746 0 0 0 170604 9613 0 0 25 0 1 0 2965064 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 /proc/10405/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.17 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.72 CPU time (s): 1802.2 CPU user time (s): 1706.04 CPU system time (s): 96.1574 CPU usage (%): 99.9711 Max. virtual memory (cumulated for all children) (KiB): 1186152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1706.04 system time used= 96.1574 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 294746 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= 1 involuntary context switches= 12569 runsolver used 2.86356 second user time and 8.66568 second system time The end
Begin job on node089 at 2010-06-15 17:45:16 IDJOB=2664230 IDBENCH=2925 IDSOLVER=1167 FILE ID=node089/2664230-1276616716 PBS_JOBID= 11172319 Free space on /tmp= 62556 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_4.opb 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-2664230-1276616716/watcher-2664230-1276616716 -o /tmp/evaluation-result-2664230-1276616716/solver-2664230-1276616716 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664230-1276616716.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 740b964ee569656e2f29dedde6e3939b RANDOM SEED=169530089 node089.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1762400 kB Buffers: 40776 kB Cached: 133072 kB SwapCached: 0 kB Active: 82460 kB Inactive: 150560 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1762400 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3256 kB Writeback: 0 kB AnonPages: 59140 kB Mapped: 15508 kB Slab: 42180 kB PageTables: 3968 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180504 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62556 MiB End job on node089 at 2010-06-15 18:15:19