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) | -57 | 1800.36 | 1801.07 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_1.opb |
| MD5SUM | 3262a45f0e59552e467da6c31a32418a |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -69 |
| Best CPU time to get the best result obtained on this benchmark | 1800.35 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -70 |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1000 |
| 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 | 1000 |
| Minimum length of a constraint | 60 |
| Maximum length of a constraint | 109 |
| Number of terms in the objective function | 1000 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 75586 |
| Sum of products size (including duplicates) | 151172 |
| Number of different products | 37793 |
| Sum of products size | 75586 |
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-2663798-1276659122.opb>
0.39/0.43 c original problem has 38793 variables (38793 bin, 0 int, 0 impl, 0 cont) and 38793 constraints
0.39/0.43 c problem read
0.39/0.43 c presolving settings loaded
0.39/0.44 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.89/0.95 o 0
0.89/0.95 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.89/0.95 c presolving:
2.29/2.38 c (round 1) 37793 del vars, 1000 del conss, 37793 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 151172 impls, 0 clqs
3.20/3.28 c (2.6s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.20/3.28 c (2.6s) probing aborted: 100/100 successive totally useless probings
3.20/3.28 c presolving (2 rounds):
3.20/3.28 c 37793 deleted vars, 1000 deleted constraints, 37793 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.20/3.28 c 226758 implications, 0 cliques
3.20/3.28 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37793 constraints
3.20/3.28 c 37793 constraints of type <logicor>
3.20/3.28 c transformed objective value is always integral (scale: 1)
3.20/3.28 c Presolving Time: 2.38
3.20/3.28 c - non default parameters ----------------------------------------------------------------------
3.20/3.28 c # SCIP version 1.2.1.2
3.20/3.28 c
3.20/3.28 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
3.20/3.28 c # [type: int, range: [-1,2147483647], default: -1]
3.20/3.28 c conflict/interconss = 0
3.20/3.28 c
3.20/3.28 c # should binary conflicts be preferred?
3.20/3.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.20/3.28 c conflict/preferbinary = TRUE
3.20/3.28 c
3.20/3.28 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
3.20/3.28 c # [type: int, range: [-1,2147483647], default: 0]
3.20/3.28 c constraints/agelimit = 1
3.20/3.28 c
3.20/3.28 c # should enforcement of pseudo solution be disabled?
3.20/3.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.20/3.28 c constraints/disableenfops = TRUE
3.20/3.28 c
3.20/3.28 c # frequency for displaying node information lines
3.20/3.28 c # [type: int, range: [-1,2147483647], default: 100]
3.20/3.28 c display/freq = 10000
3.20/3.28 c
3.20/3.28 c # maximal time in seconds to run
3.20/3.28 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.20/3.28 c limits/time = 1799.57
3.20/3.28 c
3.20/3.28 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.20/3.28 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.20/3.28 c limits/memory = 1620
3.20/3.28 c
3.20/3.28 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
3.20/3.28 c # [type: int, range: [-1,2147483647], default: 1]
3.20/3.28 c lp/solvefreq = -1
3.20/3.28 c
3.20/3.28 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
3.20/3.28 c # [type: char, range: {lafpsqd}, default: l]
3.20/3.28 c lp/pricing = a
3.20/3.28 c
3.20/3.28 c # should presolving try to simplify inequalities
3.20/3.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.20/3.28 c constraints/linear/simplifyinequalities = TRUE
3.20/3.28 c
3.20/3.28 c # should presolving try to simplify knapsacks
3.20/3.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.20/3.28 c constraints/knapsack/simplifyinequalities = TRUE
3.20/3.28 c
3.20/3.28 c # priority of node selection rule <dfs> in standard mode
3.20/3.28 c # [type: int, range: [-536870912,536870911], default: 0]
3.20/3.28 c nodeselection/dfs/stdpriority = 1000000
3.20/3.28 c
3.20/3.28 c -----------------------------------------------------------------------------------------------
3.20/3.28 c start solving
3.20/3.28 c
3.20/3.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.20/3.29 c t 2.6s| 1 | 2 | 0 | - | 86M| 0 | - |1000 | 37k| 0 | 0 | 0 | 0 | 0 |-1.000000e+03 | 0.000000e+00 | 100.00%
3.30/3.31 o -47
3.30/3.31 c * 2.6s| 48 | 41 | 0 | 0.0 | 86M| 47 | - |1000 | 37k| 0 | 0 | 0 | 0 | 0 |-9.990000e+02 |-4.700000e+01 | 95.30%
3.30/3.32 o -50
3.30/3.32 c * 2.6s| 67 | 45 | 0 | 0.0 | 86M| 51 | - |1000 | 37k| 0 | 0 | 0 | 0 | 0 |-9.990000e+02 |-5.000000e+01 | 94.99%
3.39/3.40 o -51
3.39/3.40 c * 2.7s| 213 | 39 | 0 | 0.0 | 86M| 51 | - |1000 | 37k| 0 | 0 | 0 | 2 | 0 |-9.990000e+02 |-5.100000e+01 | 94.89%
3.59/3.64 o -52
3.59/3.64 c * 2.9s| 771 | 36 | 0 | 0.0 | 86M| 51 | - |1000 | 37k| 0 | 0 | 0 | 4 | 0 |-9.990000e+02 |-5.200000e+01 | 94.79%
5.28/5.33 o -53
5.28/5.33 c * 4.6s| 4785 | 41 | 0 | 0.0 | 86M| 55 | - |1000 | 37k| 0 | 0 | 0 | 13 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
7.39/7.47 c 6.6s| 10000 | 36 | 0 | 0.0 | 86M| 55 | - |1000 | 37k| 0 | 0 | 0 | 29 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
11.58/11.66 c 10.7s| 20000 | 35 | 0 | 0.0 | 86M| 55 | - |1000 | 37k| 0 | 0 | 0 | 48 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
15.58/15.62 c 14.5s| 30000 | 34 | 0 | 0.0 | 86M| 55 | - |1000 | 37k| 0 | 0 | 0 | 70 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
19.38/19.44 c 18.2s| 40000 | 35 | 0 | 0.0 | 86M| 55 | - |1000 | 37k| 0 | 0 | 0 | 85 | 0 |-9.990000e+02 |-5.300000e+01 | 94.69%
21.68/21.71 o -54
21.68/21.71 c *20.4s| 45583 | 35 | 0 | 0.0 | 86M| 55 | - |1000 | 37k| 0 | 0 | 0 | 100 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
23.28/23.34 c 21.9s| 50000 | 35 | 0 | 0.0 | 86M| 55 | - |1000 | 37k| 0 | 0 | 0 | 107 | 0 |-9.990000e+02 |-5.400000e+01 | 94.59%
24.98/25.00 o -55
24.98/25.00 c *23.5s| 54444 | 37 | 0 | 0.0 | 86M| 55 | - |1000 | 37k| 0 | 0 | 0 | 119 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
26.98/27.05 c 25.5s| 60000 | 32 | 0 | 0.0 | 86M| 55 | - |1000 | 37k| 0 | 0 | 0 | 129 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
30.88/30.94 c 29.3s| 70000 | 35 | 0 | 0.0 | 86M| 55 | - |1000 | 37k| 0 | 0 | 0 | 140 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
34.87/34.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.87/34.93 c 33.1s| 80000 | 35 | 0 | 0.0 | 86M| 56 | - |1000 | 37k| 0 | 0 | 0 | 159 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
38.48/38.58 c 36.6s| 90000 | 32 | 0 | 0.0 | 86M| 56 | - |1000 | 37k| 0 | 0 | 0 | 180 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
42.27/42.32 c 40.2s|100000 | 34 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 200 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
46.08/46.18 c 44.0s|110000 | 35 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 227 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
49.67/49.77 c 47.4s|120000 | 32 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 249 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
53.78/53.80 c 51.3s|130000 | 35 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 291 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
57.47/57.52 c 54.9s|140000 | 33 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 311 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
61.37/61.49 c 58.8s|150000 | 33 | 0 | 0.0 | 86M| 58 | - |1000 | 37k| 0 | 0 | 0 | 333 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
65.17/65.21 c 62.3s|160000 | 32 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 349 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
68.87/68.98 c 66.0s|170000 | 37 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 370 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
72.36/72.45 c 69.3s|180000 | 35 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 390 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
75.87/75.92 c 72.6s|190000 | 35 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 405 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
79.26/79.38 c 76.0s|200000 | 35 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 416 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
82.76/82.83 c 79.3s|210000 | 35 | 0 | 0.0 | 86M| 60 | - |1000 | 37k| 0 | 0 | 0 | 429 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
86.45/86.50 c 82.8s|220000 | 34 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 456 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
90.35/90.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.35/90.42 c 86.5s|230000 | 36 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 473 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
94.25/94.32 c 90.3s|240000 | 32 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 481 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
98.15/98.25 c 94.1s|250000 | 32 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 495 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
102.15/102.27 c 98.0s|260000 | 33 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 510 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
105.74/105.84 c 101s|270000 | 33 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 522 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
109.44/109.51 c 105s|280000 | 32 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 533 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
113.05/113.17 c 108s|290000 | 34 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 546 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
116.84/116.90 c 112s|300000 | 36 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 557 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
120.34/120.47 c 116s|310000 | 33 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 565 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
124.04/124.13 c 119s|320000 | 32 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 578 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
127.74/127.82 c 123s|330000 | 34 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 593 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
131.44/131.52 c 126s|340000 | 32 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 611 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
135.14/135.20 c 130s|350000 | 37 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 625 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
138.73/138.84 c 133s|360000 | 35 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 642 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
142.34/142.45 c 137s|370000 | 33 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 656 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
146.03/146.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
146.03/146.12 c 140s|380000 | 34 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 663 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
149.63/149.71 c 144s|390000 | 33 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 675 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
153.23/153.32 c 147s|400000 | 32 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 686 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
156.93/157.01 c 151s|410000 | 35 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 700 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
160.73/160.89 c 154s|420000 | 33 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 711 | 0 |-9.990000e+02 |-5.500000e+01 | 94.49%
161.22/161.30 o -56
161.22/161.30 c * 155s|421026 | 35 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 714 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
164.52/164.64 c 158s|430000 | 34 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 744 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
168.13/168.23 c 161s|440000 | 33 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 774 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
171.62/171.78 c 165s|450000 | 33 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 796 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
175.22/175.37 c 168s|460000 | 34 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 818 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
178.91/179.02 c 172s|470000 | 33 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 839 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
182.52/182.63 c 175s|480000 | 33 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 858 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
186.11/186.25 c 179s|490000 | 33 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 874 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
189.81/189.93 c 182s|500000 | 32 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 889 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
193.42/193.57 c 186s|510000 | 33 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 906 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
197.12/197.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
197.12/197.25 c 189s|520000 | 33 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 923 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
200.71/200.88 c 193s|530000 | 33 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 943 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
204.31/204.46 c 196s|540000 | 31 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 961 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
207.91/208.04 c 200s|550000 | 34 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 981 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
211.31/211.48 c 203s|560000 | 34 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 | 991 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
214.91/215.02 c 206s|570000 | 34 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1006 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
218.41/218.58 c 210s|580000 | 32 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1016 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
222.11/222.23 c 213s|590000 | 33 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1040 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
225.80/225.90 c 217s|600000 | 31 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1064 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
229.50/229.67 c 221s|610000 | 34 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1082 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
233.20/233.35 c 224s|620000 | 30 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1092 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
236.70/236.86 c 227s|630000 | 31 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1120 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
240.20/240.38 c 231s|640000 | 33 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1134 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
244.20/244.32 c 235s|650000 | 32 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1148 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
247.89/248.08 c 238s|660000 | 33 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1160 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
251.70/251.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
251.70/251.82 c 242s|670000 | 33 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1172 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
255.50/255.63 c 246s|680000 | 32 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1182 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
259.40/259.52 c 249s|690000 | 31 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1201 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
263.08/263.26 c 253s|700000 | 31 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1214 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
266.59/266.71 c 256s|710000 | 32 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1237 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
269.98/270.10 c 259s|720000 | 33 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1258 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
273.38/273.52 c 263s|730000 | 30 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1274 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
276.88/277.10 c 266s|740000 | 35 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1304 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
280.68/280.90 c 270s|750000 | 34 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1329 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
284.28/284.44 c 273s|760000 | 32 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1346 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
287.78/287.99 c 277s|770000 | 31 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1357 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
291.48/291.63 c 280s|780000 | 32 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1381 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
295.17/295.32 c 284s|790000 | 35 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1393 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
298.87/299.10 c 287s|800000 | 35 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1420 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
302.67/302.86 c 291s|810000 | 32 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1442 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
306.18/306.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
306.18/306.31 c 294s|820000 | 32 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1459 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
309.57/309.74 c 298s|830000 | 35 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1468 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
312.97/313.17 c 301s|840000 | 29 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1482 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
316.37/316.59 c 304s|850000 | 33 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1504 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
319.77/319.93 c 307s|860000 | 33 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1516 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
323.17/323.39 c 311s|870000 | 38 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1538 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
326.86/327.04 c 314s|880000 | 33 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1551 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
330.26/330.42 c 317s|890000 | 34 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1566 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
333.76/333.95 c 321s|900000 | 34 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1586 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
337.36/337.58 c 324s|910000 | 32 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1603 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
341.05/341.20 c 328s|920000 | 29 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1615 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
344.66/344.86 c 331s|930000 | 34 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1630 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
348.05/348.27 c 335s|940000 | 32 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1651 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
351.55/351.71 c 338s|950000 | 33 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1675 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
354.85/355.00 c 341s|960000 | 30 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1694 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
358.25/358.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
358.25/358.45 c 344s|970000 | 33 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1716 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
362.05/362.26 c 348s|980000 | 32 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1740 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
365.75/365.96 c 352s|990000 | 31 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1766 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
369.54/369.75 c 355s| 1000k| 33 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1784 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
373.25/373.45 c 359s| 1010k| 33 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1801 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
377.05/377.27 c 362s| 1020k| 31 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1817 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
380.84/381.01 c 366s| 1030k| 33 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1830 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
384.54/384.79 c 370s| 1040k| 34 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1846 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
388.34/388.54 c 373s| 1050k| 31 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1861 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
392.24/392.42 c 377s| 1060k| 29 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1875 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
395.94/396.14 c 381s| 1070k| 31 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1883 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
399.33/399.55 c 384s| 1080k| 36 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1899 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
402.83/403.07 c 387s| 1090k| 35 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1914 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
406.33/406.52 c 391s| 1100k| 35 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1931 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
409.83/410.00 c 394s| 1110k| 33 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1945 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
413.34/413.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
413.34/413.58 c 397s| 1120k| 35 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1962 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
416.94/417.10 c 401s| 1130k| 32 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1978 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
420.43/420.65 c 404s| 1140k| 34 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |1998 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
423.93/424.19 c 408s| 1150k| 33 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |2014 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
427.43/427.60 c 411s| 1160k| 33 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |2022 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
430.82/431.07 c 414s| 1170k| 33 | 0 | 0.0 | 86M| 65 | - |1000 | 37k| 0 | 0 | 0 |2034 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
434.33/434.54 c 418s| 1180k| 34 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2055 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
438.12/438.31 c 421s| 1190k| 31 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2086 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
441.62/441.88 c 425s| 1200k| 32 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2101 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
445.22/445.49 c 428s| 1210k| 33 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2131 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
448.92/449.16 c 432s| 1220k| 31 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2150 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
452.52/452.77 c 435s| 1230k| 33 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2164 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
456.23/456.41 c 439s| 1240k| 33 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2185 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
460.11/460.32 c 442s| 1250k| 34 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2214 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
463.81/464.04 c 446s| 1260k| 35 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2259 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
467.61/467.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
467.61/467.88 c 450s| 1270k| 33 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2286 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
471.41/471.60 c 453s| 1280k| 32 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2318 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
475.11/475.31 c 457s| 1290k| 35 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2340 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
478.60/478.85 c 460s| 1300k| 35 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2373 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
482.21/482.41 c 464s| 1310k| 34 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2390 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
485.80/486.07 c 467s| 1320k| 32 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2404 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
489.50/489.70 c 471s| 1330k| 34 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2422 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
493.10/493.32 c 474s| 1340k| 33 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2453 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
496.90/497.18 c 478s| 1350k| 30 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2489 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
500.49/500.78 c 481s| 1360k| 32 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2512 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
504.00/504.29 c 485s| 1370k| 33 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2530 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
507.59/507.88 c 488s| 1380k| 31 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2545 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
511.39/511.62 c 492s| 1390k| 33 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2570 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
514.89/515.17 c 495s| 1400k| 31 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2588 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
518.60/518.82 c 499s| 1410k| 30 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2609 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
522.30/522.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
522.30/522.60 c 502s| 1420k| 31 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2630 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
526.08/526.37 c 506s| 1430k| 33 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2651 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
529.78/530.01 c 509s| 1440k| 32 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2668 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
533.49/533.73 c 513s| 1450k| 35 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2687 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
537.48/537.74 c 517s| 1460k| 31 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2705 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
541.18/541.40 c 520s| 1470k| 34 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2724 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
544.68/544.92 c 524s| 1480k| 32 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2759 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
548.38/548.63 c 527s| 1490k| 32 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2787 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
551.68/551.92 c 531s| 1500k| 34 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2807 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
555.19/555.45 c 534s| 1510k| 34 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2831 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
558.68/558.96 c 537s| 1520k| 33 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2857 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
562.28/562.59 c 541s| 1530k| 34 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2876 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
565.88/566.11 c 544s| 1540k| 32 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2902 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
569.37/569.61 c 548s| 1550k| 31 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2916 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
572.88/573.15 c 551s| 1560k| 29 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2925 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
576.37/576.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
576.37/576.66 c 554s| 1570k| 35 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2939 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
579.97/580.23 c 558s| 1580k| 34 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2960 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
583.56/583.83 c 561s| 1590k| 32 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |2988 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
587.07/587.32 c 565s| 1600k| 33 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3014 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
590.57/590.81 c 568s| 1610k| 30 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3028 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
594.27/594.52 c 571s| 1620k| 33 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3055 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
598.26/598.50 c 575s| 1630k| 33 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3083 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
601.86/602.11 c 579s| 1640k| 36 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3105 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
605.16/605.41 c 582s| 1650k| 33 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3126 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
608.76/609.00 c 585s| 1660k| 34 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3148 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
612.37/612.61 c 589s| 1670k| 32 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3164 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
615.76/616.09 c 592s| 1680k| 31 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3184 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
619.15/619.41 c 595s| 1690k| 31 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3203 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
622.45/622.79 c 599s| 1700k| 34 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3220 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
626.16/626.46 c 602s| 1710k| 31 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3243 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
629.85/630.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
629.85/630.16 c 606s| 1720k| 32 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3266 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
633.55/633.89 c 609s| 1730k| 32 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3297 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
637.25/637.57 c 613s| 1740k| 33 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3319 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
641.15/641.40 c 616s| 1750k| 31 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3338 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
644.64/644.93 c 620s| 1760k| 29 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3363 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
648.05/648.38 c 623s| 1770k| 31 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3387 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
651.64/651.93 c 627s| 1780k| 34 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3406 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
655.04/655.36 c 630s| 1790k| 32 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3419 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
658.44/658.71 c 633s| 1800k| 33 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3433 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
662.04/662.37 c 637s| 1810k| 35 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3460 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
665.53/665.84 c 640s| 1820k| 35 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3472 | 0 |-9.990000e+02 |-5.600000e+01 | 94.39%
668.73/669.07 o -57
668.73/669.07 c * 643s| 1829k| 31 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3491 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
669.04/669.34 c 643s| 1830k| 31 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3493 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
672.43/672.75 c 647s| 1840k| 34 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3521 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
675.83/676.18 c 650s| 1850k| 32 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3535 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
680.03/680.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
680.03/680.31 c 654s| 1860k| 30 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3560 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
684.13/684.47 c 658s| 1870k| 33 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3590 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
688.24/688.54 c 662s| 1880k| 32 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3634 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
691.83/692.18 c 665s| 1890k| 32 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3653 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
695.43/695.75 c 669s| 1900k| 32 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3676 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
698.83/699.16 c 672s| 1910k| 29 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3688 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
702.13/702.49 c 675s| 1920k| 33 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3706 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
705.62/705.97 c 678s| 1930k| 31 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3723 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
709.02/709.32 c 682s| 1940k| 31 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3744 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
712.42/712.77 c 685s| 1950k| 34 | 0 | 0.0 | 86M| 66 | - |1000 | 37k| 0 | 0 | 0 |3758 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
715.92/716.23 c 688s| 1960k| 36 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |3774 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
719.32/719.65 c 692s| 1970k| 31 | 0 | 0.0 | 86M| 67 | - |1000 | 37k| 0 | 0 | 0 |3794 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
722.72/723.06 c 695s| 1980k| 30 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |3809 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
726.31/726.60 c 698s| 1990k| 33 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |3837 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
729.91/730.21 c 702s| 2000k| 30 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |3867 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
733.61/733.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
733.61/733.92 c 705s| 2010k| 32 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |3884 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
737.21/737.54 c 709s| 2020k| 36 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |3901 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
740.80/741.19 c 712s| 2030k| 35 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |3925 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
744.50/744.89 c 716s| 2040k| 35 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |3939 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
748.40/748.70 c 719s| 2050k| 31 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |3958 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
752.01/752.33 c 723s| 2060k| 36 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |3978 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
755.70/756.02 c 727s| 2070k| 36 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4006 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
759.40/759.73 c 730s| 2080k| 33 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4024 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
763.11/763.41 c 734s| 2090k| 33 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4044 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
766.79/767.12 c 737s| 2100k| 34 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4054 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
770.60/770.97 c 741s| 2110k| 34 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4094 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
774.39/774.70 c 745s| 2120k| 32 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4126 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
777.99/778.38 c 748s| 2130k| 35 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4147 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
781.69/782.00 c 752s| 2140k| 35 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4172 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
785.28/785.69 c 755s| 2150k| 35 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4199 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
789.18/789.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
789.18/789.53 c 759s| 2160k| 37 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4234 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
792.98/793.38 c 762s| 2170k| 31 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4256 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
796.78/797.14 c 766s| 2180k| 34 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4285 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
800.68/801.04 c 770s| 2190k| 34 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4301 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
804.58/804.92 c 774s| 2200k| 35 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4320 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
808.38/808.70 c 777s| 2210k| 33 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4334 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
812.08/812.47 c 781s| 2220k| 34 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4350 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
815.89/816.25 c 785s| 2230k| 34 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4364 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
819.68/820.07 c 788s| 2240k| 33 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4377 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
823.48/823.88 c 792s| 2250k| 31 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4392 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
827.37/827.71 c 796s| 2260k| 31 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4402 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
831.07/831.48 c 799s| 2270k| 31 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4425 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
834.87/835.24 c 803s| 2280k| 33 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4456 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
838.67/839.04 c 807s| 2290k| 39 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4469 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
842.57/842.90 c 810s| 2300k| 35 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4507 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
846.37/846.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
846.37/846.74 c 814s| 2310k| 35 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4528 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
850.16/850.51 c 818s| 2320k| 32 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4543 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
854.16/854.51 c 821s| 2330k| 35 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4573 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
858.17/858.58 c 825s| 2340k| 38 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4613 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
862.36/862.79 c 829s| 2350k| 32 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4634 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
866.37/866.74 c 833s| 2360k| 32 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4670 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
870.35/870.75 c 837s| 2370k| 33 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4712 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
874.07/874.42 c 841s| 2380k| 33 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4740 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
877.85/878.27 c 844s| 2390k| 32 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4761 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
881.66/882.07 c 848s| 2400k| 33 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4780 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
885.55/885.90 c 852s| 2410k| 34 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4804 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
889.55/889.99 c 856s| 2420k| 34 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4845 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
893.55/893.99 c 860s| 2430k| 32 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4863 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
897.25/897.68 c 863s| 2440k| 35 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4889 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
901.04/901.44 c 867s| 2450k| 32 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4906 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
904.74/905.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
904.74/905.11 c 870s| 2460k| 31 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4922 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
908.44/908.83 c 874s| 2470k| 31 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4949 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
912.14/912.56 c 877s| 2480k| 31 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |4974 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
915.95/916.37 c 881s| 2490k| 32 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |5000 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
919.84/920.26 c 885s| 2500k| 35 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |5034 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
923.74/924.19 c 889s| 2510k| 31 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |5069 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
927.53/927.96 c 892s| 2520k| 32 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |5104 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
931.34/931.72 c 896s| 2530k| 33 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |5136 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
935.03/935.48 c 900s| 2540k| 33 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |5163 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
938.83/939.20 c 903s| 2550k| 34 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |5179 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
942.42/942.89 c 907s| 2560k| 32 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |5197 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
946.32/946.76 c 910s| 2570k| 31 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |5211 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
950.12/950.52 c 914s| 2580k| 30 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |5224 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
953.82/954.28 c 918s| 2590k| 35 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |5256 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
957.62/958.02 c 921s| 2600k| 34 | 0 | 0.0 | 86M| 70 | - |1000 | 37k| 0 | 0 | 0 |5287 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
961.22/961.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
961.22/961.61 c 925s| 2610k| 30 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5325 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
964.82/965.26 c 928s| 2620k| 32 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5349 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
968.62/969.00 c 932s| 2630k| 34 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5370 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
972.22/972.60 c 935s| 2640k| 35 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5380 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
976.01/976.40 c 939s| 2650k| 37 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5387 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
979.81/980.23 c 943s| 2660k| 33 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5402 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
983.51/983.98 c 946s| 2670k| 32 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5421 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
987.32/987.71 c 950s| 2680k| 33 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5439 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
991.11/991.53 c 954s| 2690k| 31 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5457 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
994.91/995.32 c 957s| 2700k| 32 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5472 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
998.60/999.04 c 961s| 2710k| 32 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5479 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1002.30/1002.76 c 964s| 2720k| 34 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5497 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1006.20/1006.62 c 968s| 2730k| 32 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5515 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1010.00/1010.48 c 972s| 2740k| 36 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5532 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1013.81/1014.28 c 976s| 2750k| 32 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5546 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1017.60/1018.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1017.60/1018.03 c 979s| 2760k| 32 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5563 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1021.20/1021.69 c 983s| 2770k| 35 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5576 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1025.00/1025.40 c 986s| 2780k| 33 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5589 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1028.89/1029.36 c 990s| 2790k| 34 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5607 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1032.79/1033.23 c 994s| 2800k| 32 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5619 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1036.40/1036.82 c 997s| 2810k| 31 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5637 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1039.99/1040.43 c 1001s| 2820k| 34 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5662 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1043.59/1044.07 c 1004s| 2830k| 31 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5697 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1047.29/1047.75 c 1008s| 2840k| 35 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5725 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1051.10/1051.56 c 1011s| 2850k| 32 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5752 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1054.78/1055.29 c 1015s| 2860k| 32 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5782 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1058.58/1059.02 c 1019s| 2870k| 32 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5805 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1062.19/1062.61 c 1022s| 2880k| 32 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5815 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1065.98/1066.41 c 1026s| 2890k| 35 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5833 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1069.89/1070.38 c 1030s| 2900k| 30 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5870 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1073.78/1074.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1073.78/1074.28 c 1033s| 2910k| 32 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5888 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1077.58/1078.08 c 1037s| 2920k| 33 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5900 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1081.27/1081.77 c 1041s| 2930k| 32 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5910 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1085.07/1085.56 c 1044s| 2940k| 36 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5927 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1088.87/1089.36 c 1048s| 2950k| 32 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5948 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1092.67/1093.11 c 1052s| 2960k| 33 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5966 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1096.28/1096.79 c 1055s| 2970k| 32 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |5983 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1100.06/1100.55 c 1059s| 2980k| 31 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6006 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1103.97/1104.49 c 1063s| 2990k| 34 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6016 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1107.76/1108.26 c 1066s| 3000k| 30 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6034 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1111.67/1112.16 c 1070s| 3010k| 31 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6052 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1115.36/1115.89 c 1074s| 3020k| 33 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6069 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1119.16/1119.60 c 1077s| 3030k| 33 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6095 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1122.86/1123.30 c 1081s| 3040k| 31 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6119 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1126.66/1127.13 c 1084s| 3050k| 30 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6127 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1130.56/1131.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1130.56/1131.06 c 1088s| 3060k| 29 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6137 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1134.16/1134.66 c 1092s| 3070k| 33 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6155 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1137.85/1138.38 c 1095s| 3080k| 36 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6168 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1141.55/1142.09 c 1099s| 3090k| 33 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6179 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1145.35/1145.86 c 1102s| 3100k| 32 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6190 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1149.06/1149.55 c 1106s| 3110k| 35 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6211 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1152.84/1153.32 c 1110s| 3120k| 31 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6223 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1156.65/1157.18 c 1113s| 3130k| 32 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6242 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1160.55/1161.03 c 1117s| 3140k| 34 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6255 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1164.24/1164.73 c 1121s| 3150k| 30 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6268 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1167.85/1168.37 c 1124s| 3160k| 32 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6289 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1171.54/1172.05 c 1128s| 3170k| 32 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6304 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1175.24/1175.74 c 1131s| 3180k| 31 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6318 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1178.83/1179.40 c 1135s| 3190k| 32 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6327 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1182.53/1183.04 c 1138s| 3200k| 33 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6339 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1186.23/1186.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1186.23/1186.73 c 1142s| 3210k| 33 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6352 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1190.03/1190.52 c 1145s| 3220k| 31 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6364 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1193.83/1194.37 c 1149s| 3230k| 33 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6385 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1197.73/1198.22 c 1153s| 3240k| 32 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6406 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1201.53/1202.04 c 1157s| 3250k| 30 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6424 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1205.23/1205.73 c 1160s| 3260k| 30 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6443 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1208.93/1209.44 c 1164s| 3270k| 30 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6467 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1212.63/1213.19 c 1167s| 3280k| 34 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6486 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1216.32/1216.88 c 1171s| 3290k| 31 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6506 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1220.12/1220.68 c 1175s| 3300k| 30 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6521 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1223.83/1224.37 c 1178s| 3310k| 33 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6537 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1227.52/1228.07 c 1182s| 3320k| 31 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6550 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1231.31/1231.83 c 1185s| 3330k| 33 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6564 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1235.02/1235.51 c 1189s| 3340k| 35 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6578 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1238.62/1239.15 c 1192s| 3350k| 33 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6593 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1242.42/1242.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1242.42/1242.92 c 1196s| 3360k| 31 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6614 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1246.01/1246.59 c 1199s| 3370k| 34 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6629 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1249.71/1250.25 c 1203s| 3380k| 35 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6639 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1253.31/1253.87 c 1206s| 3390k| 31 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6669 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1257.11/1257.61 c 1210s| 3400k| 32 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6695 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1260.90/1261.41 c 1214s| 3410k| 35 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6712 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1264.60/1265.11 c 1217s| 3420k| 35 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6728 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1268.31/1268.86 c 1221s| 3430k| 31 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6740 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1271.90/1272.47 c 1224s| 3440k| 33 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6768 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1275.50/1276.09 c 1228s| 3450k| 31 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6792 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1279.20/1279.73 c 1231s| 3460k| 31 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6809 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1282.80/1283.34 c 1235s| 3470k| 33 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6827 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1286.51/1287.03 c 1238s| 3480k| 32 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6850 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1290.20/1290.75 c 1242s| 3490k| 33 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6879 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1293.90/1294.44 c 1245s| 3500k| 30 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6904 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1297.40/1297.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1297.40/1297.92 c 1249s| 3510k| 32 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6931 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1300.89/1301.42 c 1252s| 3520k| 31 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6957 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1304.69/1305.23 c 1256s| 3530k| 32 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |6989 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1308.59/1309.11 c 1260s| 3540k| 32 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |7013 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1312.39/1312.94 c 1263s| 3550k| 32 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |7030 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1316.19/1316.75 c 1267s| 3560k| 31 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |7052 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1319.79/1320.31 c 1270s| 3570k| 30 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |7069 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1323.38/1323.91 c 1274s| 3580k| 33 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |7085 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1327.19/1327.73 c 1278s| 3590k| 33 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |7109 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1330.88/1331.41 c 1281s| 3600k| 32 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |7132 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1334.58/1335.14 c 1285s| 3610k| 31 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |7158 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1338.28/1338.88 c 1288s| 3620k| 30 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |7192 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1341.97/1342.55 c 1292s| 3630k| 32 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |7205 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1345.78/1346.33 c 1295s| 3640k| 34 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |7219 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1349.48/1350.06 c 1299s| 3650k| 31 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |7239 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1353.17/1353.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1353.17/1353.78 c 1303s| 3660k| 33 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |7253 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1356.97/1357.50 c 1306s| 3670k| 33 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |7276 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1360.57/1361.16 c 1310s| 3680k| 35 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |7299 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1364.17/1364.78 c 1313s| 3690k| 30 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |7322 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1367.97/1368.57 c 1317s| 3700k| 34 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |7330 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1371.76/1372.30 c 1320s| 3710k| 33 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |7341 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1375.36/1375.94 c 1324s| 3720k| 34 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |7361 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1379.06/1379.61 c 1328s| 3730k| 31 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |7375 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1382.76/1383.32 c 1331s| 3740k| 31 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |7408 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1386.46/1387.05 c 1335s| 3750k| 33 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |7426 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1390.26/1390.86 c 1338s| 3760k| 30 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |7453 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1393.85/1394.47 c 1342s| 3770k| 32 | 0 | 0.0 | 86M| 71 | - |1000 | 37k| 0 | 0 | 0 |7472 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1397.56/1398.14 c 1345s| 3780k| 31 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |7499 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1401.25/1401.85 c 1349s| 3790k| 32 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |7520 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1405.05/1405.63 c 1353s| 3800k| 33 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |7539 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1408.75/1409.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1408.75/1409.32 c 1356s| 3810k| 34 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |7549 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1412.35/1412.96 c 1360s| 3820k| 31 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |7560 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1415.95/1416.59 c 1363s| 3830k| 34 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |7572 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1419.74/1420.36 c 1367s| 3840k| 32 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |7590 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1423.34/1423.96 c 1370s| 3850k| 29 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |7605 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1427.04/1427.67 c 1374s| 3860k| 32 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |7628 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1430.74/1431.38 c 1377s| 3870k| 33 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |7647 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1434.44/1435.09 c 1381s| 3880k| 31 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |7666 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1438.24/1438.87 c 1385s| 3890k| 33 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |7686 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1442.13/1442.72 c 1388s| 3900k| 32 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |7703 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1445.84/1446.41 c 1392s| 3910k| 30 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |7720 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1449.53/1450.19 c 1395s| 3920k| 33 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |7741 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1453.43/1454.01 c 1399s| 3930k| 30 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |7770 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1457.13/1457.72 c 1403s| 3940k| 33 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |7785 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1460.92/1461.58 c 1406s| 3950k| 32 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |7812 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1464.83/1465.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1464.83/1465.40 c 1410s| 3960k| 30 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |7828 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1468.63/1469.26 c 1414s| 3970k| 30 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |7843 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1472.53/1473.10 c 1418s| 3980k| 31 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |7862 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1476.12/1476.74 c 1421s| 3990k| 33 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |7885 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1479.62/1480.25 c 1424s| 4000k| 31 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |7891 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1483.33/1483.91 c 1428s| 4010k| 33 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |7921 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1486.71/1487.38 c 1431s| 4020k| 32 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |7947 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1490.11/1490.74 c 1434s| 4030k| 33 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |7956 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1493.71/1494.33 c 1438s| 4040k| 32 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |7968 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1497.32/1497.92 c 1441s| 4050k| 32 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |7979 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1500.82/1501.44 c 1445s| 4060k| 31 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |7995 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1504.31/1504.92 c 1448s| 4070k| 30 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8009 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1507.81/1508.46 c 1451s| 4080k| 34 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8025 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1511.41/1512.03 c 1455s| 4090k| 34 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8055 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1515.31/1515.98 c 1459s| 4100k| 33 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8079 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1518.90/1519.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1518.90/1519.59 c 1462s| 4110k| 34 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8086 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1522.40/1523.08 c 1466s| 4120k| 31 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8095 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1525.90/1526.59 c 1469s| 4130k| 34 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8113 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1529.41/1530.09 c 1472s| 4140k| 32 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8128 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1533.00/1533.66 c 1476s| 4150k| 34 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8139 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1536.60/1537.22 c 1479s| 4160k| 29 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8162 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1540.00/1540.66 c 1482s| 4170k| 32 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8183 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1543.49/1544.12 c 1486s| 4180k| 33 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8200 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1547.00/1547.65 c 1489s| 4190k| 33 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8220 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1550.40/1551.07 c 1492s| 4200k| 33 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8228 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1553.99/1554.65 c 1496s| 4210k| 33 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8253 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1557.49/1558.19 c 1499s| 4220k| 34 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8279 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1561.09/1561.70 c 1503s| 4230k| 35 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8296 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1564.60/1565.27 c 1506s| 4240k| 31 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8315 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1567.99/1568.64 c 1509s| 4250k| 32 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8328 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1571.58/1572.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1571.58/1572.29 c 1513s| 4260k| 31 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8337 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1575.39/1576.08 c 1516s| 4270k| 30 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8348 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1578.78/1579.42 c 1520s| 4280k| 32 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8361 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1582.19/1582.80 c 1523s| 4290k| 30 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8367 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1585.49/1586.17 c 1526s| 4300k| 29 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8380 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1588.98/1589.67 c 1529s| 4310k| 33 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8391 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1592.58/1593.27 c 1533s| 4320k| 34 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8398 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1596.28/1596.97 c 1536s| 4330k| 30 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8417 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1599.78/1600.47 c 1540s| 4340k| 34 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8440 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1603.47/1604.19 c 1543s| 4350k| 30 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8454 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1607.27/1607.91 c 1547s| 4360k| 36 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8462 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1610.78/1611.50 c 1550s| 4370k| 32 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8484 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1614.47/1615.16 c 1554s| 4380k| 32 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8498 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1618.17/1618.81 c 1557s| 4390k| 33 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8517 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1621.77/1622.40 c 1561s| 4400k| 31 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8535 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1625.27/1625.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1625.27/1625.98 c 1564s| 4410k| 32 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8554 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1628.86/1629.55 c 1568s| 4420k| 32 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8572 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1632.26/1632.96 c 1571s| 4430k| 31 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8580 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1635.77/1636.48 c 1574s| 4440k| 33 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8595 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1639.26/1639.91 c 1578s| 4450k| 34 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8607 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1642.66/1643.39 c 1581s| 4460k| 31 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8614 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1646.26/1646.98 c 1584s| 4470k| 31 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8628 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1649.96/1650.61 c 1588s| 4480k| 31 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8647 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1653.76/1654.40 c 1592s| 4490k| 34 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8672 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1657.35/1658.05 c 1595s| 4500k| 32 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8684 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1661.05/1661.75 c 1599s| 4510k| 31 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8701 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1664.55/1665.29 c 1602s| 4520k| 31 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8717 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1668.25/1668.95 c 1606s| 4530k| 31 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8749 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1671.75/1672.46 c 1609s| 4540k| 32 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8761 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1675.25/1675.94 c 1612s| 4550k| 35 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8771 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1678.65/1679.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1678.65/1679.38 c 1616s| 4560k| 33 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8791 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1682.15/1682.88 c 1619s| 4570k| 31 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8805 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1685.84/1686.50 c 1622s| 4580k| 31 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8815 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1689.34/1690.03 c 1626s| 4590k| 33 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8841 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1692.74/1693.47 c 1629s| 4600k| 31 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8855 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1696.24/1696.90 c 1632s| 4610k| 29 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8889 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1699.73/1700.40 c 1636s| 4620k| 33 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8906 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1703.03/1703.77 c 1639s| 4630k| 32 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8915 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1706.54/1707.28 c 1642s| 4640k| 28 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8919 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1710.03/1710.79 c 1646s| 4650k| 35 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8943 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1713.53/1714.26 c 1649s| 4660k| 35 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8975 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1716.92/1717.66 c 1652s| 4670k| 33 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |8988 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1720.52/1721.21 c 1656s| 4680k| 30 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |9015 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1724.22/1724.90 c 1659s| 4690k| 36 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |9038 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1727.83/1728.55 c 1663s| 4700k| 31 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |9074 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1731.52/1732.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1731.52/1732.23 c 1666s| 4710k| 34 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |9096 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1735.13/1735.82 c 1670s| 4720k| 34 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |9124 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1738.51/1739.29 c 1673s| 4730k| 35 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |9134 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1742.00/1742.78 c 1676s| 4740k| 31 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |9151 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1745.30/1746.05 c 1680s| 4750k| 34 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |9171 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1748.61/1749.36 c 1683s| 4760k| 33 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |9202 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1752.10/1752.80 c 1686s| 4770k| 33 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |9220 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1755.60/1756.36 c 1689s| 4780k| 31 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |9228 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1759.10/1759.89 c 1693s| 4790k| 34 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |9257 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1762.60/1763.35 c 1696s| 4800k| 33 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |9277 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1765.90/1766.66 c 1699s| 4810k| 34 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |9293 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1769.29/1770.07 c 1703s| 4820k| 32 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |9316 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1772.79/1773.57 c 1706s| 4830k| 34 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |9344 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1776.19/1776.97 c 1709s| 4840k| 33 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |9371 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1779.69/1780.47 c 1713s| 4850k| 34 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |9394 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1783.29/1784.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1783.29/1784.05 c 1716s| 4860k| 31 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |9409 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1786.89/1787.64 c 1720s| 4870k| 32 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |9426 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1790.29/1791.04 c 1723s| 4880k| 32 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |9443 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1793.79/1794.50 c 1726s| 4890k| 34 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |9461 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1797.08/1797.87 c 1729s| 4900k| 34 | 0 | 0.0 | 86M| 74 | - |1000 | 37k| 0 | 0 | 0 |9492 | 0 |-9.990000e+02 |-5.700000e+01 | 94.29%
1800.09/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.80 c
1800.09/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.80 c Solving Time (sec) : 1732.12
1800.09/1800.80 c Solving Nodes : 4908964
1800.09/1800.80 c Primal Bound : -5.70000000000000e+01 (11 solutions)
1800.09/1800.80 c Dual Bound : -9.99000000000000e+02
1800.09/1800.80 c Gap : 94.29 %
1800.09/1800.89 s SATISFIABLE
1800.09/1800.89 v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1800.09/1800.89 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 x963 -x962 x961 -x960 -x959 -x958
1800.09/1800.89 v -x957 -x956 x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1800.09/1800.89 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 x926 -x925 -x924 x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1800.09/1800.89 v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
1800.09/1800.89 v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 x882 -x881 -x880 -x879 -x878 x877 -x876 -x875 -x874
1800.09/1800.89 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 x860 -x859 -x858 -x857 x856 -x855 -x854 -x853
1800.09/1800.89 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832
1800.09/1800.89 v -x831 -x830 -x829 -x828 -x827 -x826 -x825 x824 -x823 x822 -x821 x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811
1800.09/1800.89 v -x810 -x809 -x808 -x807 x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790
1800.09/1800.89 v -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769
1800.09/1800.89 v -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748
1800.09/1800.89 v -x747 -x746 -x745 x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 x734 -x733 -x732 -x731 x730 -x729 -x728 -x727 -x726
1800.09/1800.89 v -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706
1800.09/1800.89 v -x705 -x704 -x703 -x702 -x701 -x700 x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 x690 -x689 -x688 -x687 -x686 -x685 -x684
1800.09/1800.89 v -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664
1800.09/1800.89 v -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643
1800.09/1800.89 v -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622
1800.09/1800.89 v -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601
1800.09/1800.89 v -x600 x599 -x598 -x597 -x596 -x595 -x594 x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580
1800.09/1800.89 v -x579 -x578 -x577 x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559
1800.09/1800.89 v -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538
1800.09/1800.89 v -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517
1800.09/1800.89 v -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496
1800.09/1800.89 v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475
1800.09/1800.89 v -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 x455 -x454
1800.09/1800.89 v -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434
1800.09/1800.89 v -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 x416 -x415 -x414 -x413
1800.09/1800.89 v -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 x396 -x395 -x394 -x393 -x392
1800.09/1800.89 v -x391 -x390 -x389 -x388 -x387 -x386 x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371
1800.09/1800.89 v -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350
1800.09/1800.89 v -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329
1800.09/1800.89 v -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 x312 -x311 -x310 -x309 -x308
1800.09/1800.89 v -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287
1800.09/1800.89 v -x286 -x285 -x284 -x283 -x282 x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266
1800.09/1800.89 v -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245
1800.09/1800.89 v -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224
1800.09/1800.89 v -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203
1800.09/1800.89 v -x202 -x201 -x200 -x199 -x198 x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182
1800.09/1800.89 v -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161
1800.09/1800.89 v -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140
1800.09/1800.89 v -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 x120 -x119
1800.09/1800.89 v -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 x104 -x103 -x102 -x101 -x100 -x99 -x98
1800.09/1800.89 v -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 x74 -x73 x72
1800.09/1800.89 v -x71 -x70 x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 x46
1800.09/1800.89 v x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 x28 x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19
1800.09/1800.89 v -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.09/1800.89 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.89 c Solving Time : 1732.12
1800.09/1800.89 c Original Problem :
1800.09/1800.89 c Problem name : HOME/instance-2663798-1276659122.opb
1800.09/1800.89 c Variables : 38793 (38793 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.89 c Constraints : 38793 initial, 38793 maximal
1800.09/1800.89 c Presolved Problem :
1800.09/1800.89 c Problem name : t_HOME/instance-2663798-1276659122.opb
1800.09/1800.89 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.89 c Constraints : 37793 initial, 37802 maximal
1800.09/1800.89 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.89 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.89 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.09/1800.89 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.89 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.89 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.89 c probing : 0.54 0 0 0 0 0 0 0 0
1800.09/1800.89 c linear : 0.26 37793 0 0 37793 0 1000 0 0
1800.09/1800.89 c logicor : 0.09 0 0 0 0 0 0 0 0
1800.09/1800.89 c root node : - 0 - - 0 - - - -
1800.09/1800.89 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.89 c integral : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.89 c logicor : 37793+ 0 4915789 0 9 37035 9468445 0 0 0
1800.09/1800.89 c countsols : 0 0 0 0 9 0 0 0 0 0
1800.09/1800.89 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.89 c integral : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.89 c logicor : 268.19 0.00 268.19 0.00 0.00
1800.09/1800.89 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.89 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.89 c vbounds : 3.37 2 0 0
1800.09/1800.89 c rootredcost : 3.73 0 0 0
1800.09/1800.89 c pseudoobj : 743.72 8213090 2226667 4280168
1800.09/1800.89 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.89 c propagation : 35.51 37035 9505 9505 49.7 0 0.0 -
1800.09/1800.89 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.89 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.89 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.89 c pseudo solution : 299.13 187245 0 0 0.0 0 0.0 -
1800.09/1800.89 c applied globally : - - - 9505 49.7 - - -
1800.09/1800.89 c applied locally : - - - 0 0.0 - - -
1800.09/1800.89 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.89 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.09/1800.89 c redcost : 0.00 0 0 0 0 0
1800.09/1800.89 c impliedbounds : 0.00 0 0 0 0 0
1800.09/1800.89 c intobj : 0.00 0 0 0 0 0
1800.09/1800.89 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.89 c gomory : 0.00 0 0 0 0 0
1800.09/1800.89 c strongcg : 0.00 0 0 0 0 0
1800.09/1800.89 c cmir : 0.00 0 0 0 0 0
1800.09/1800.89 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.89 c clique : 0.00 0 0 0 0 0
1800.09/1800.89 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.89 c mcf : 0.00 0 0 0 0 0
1800.09/1800.89 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.89 c Pricers : Time Calls Vars
1800.09/1800.89 c problem variables: 0.00 0 0
1800.09/1800.89 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.89 c relpscost : 0.00 0 0 0 0 0 0
1800.09/1800.89 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.89 c inference : 27.98 2463998 0 0 0 0 4927996
1800.09/1800.89 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.89 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.89 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.89 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.89 c random : 0.00 0 0 0 0 0 0
1800.09/1800.89 c Primal Heuristics : Time Calls Found
1800.09/1800.89 c LP solutions : 0.00 - 0
1800.09/1800.89 c pseudo solutions : 0.01 - 9
1800.09/1800.89 c oneopt : 3.65 0 0
1800.09/1800.89 c trivial : 0.11 2 2
1800.09/1800.89 c simplerounding : 0.00 0 0
1800.09/1800.89 c zirounding : 0.00 0 0
1800.09/1800.89 c rounding : 0.00 0 0
1800.09/1800.89 c shifting : 0.00 0 0
1800.09/1800.89 c intshifting : 0.00 0 0
1800.09/1800.89 c twoopt : 0.00 0 0
1800.09/1800.89 c fixandinfer : 0.00 0 0
1800.09/1800.89 c feaspump : 0.00 0 0
1800.09/1800.89 c coefdiving : 0.00 0 0
1800.09/1800.89 c pscostdiving : 0.00 0 0
1800.09/1800.89 c fracdiving : 0.00 0 0
1800.09/1800.89 c veclendiving : 0.00 0 0
1800.09/1800.89 c intdiving : 0.00 0 0
1800.09/1800.89 c actconsdiving : 0.00 0 0
1800.09/1800.89 c objpscostdiving : 0.00 0 0
1800.09/1800.89 c rootsoldiving : 0.00 0 0
1800.09/1800.89 c linesearchdiving : 0.00 0 0
1800.09/1800.89 c guideddiving : 0.00 0 0
1800.09/1800.89 c octane : 0.00 0 0
1800.09/1800.89 c rens : 0.00 0 0
1800.09/1800.89 c rins : 0.00 0 0
1800.09/1800.89 c localbranching : 0.00 0 0
1800.09/1800.89 c mutation : 0.00 0 0
1800.09/1800.89 c crossover : 0.00 0 0
1800.09/1800.89 c dins : 0.00 0 0
1800.09/1800.89 c undercover : 0.00 0 0
1800.09/1800.89 c nlp : 1.95 0 0
1800.09/1800.89 c trysol : 2.52 0 0
1800.09/1800.89 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.89 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.89 c dual LP : 0.00 0 0 0.00 -
1800.09/1800.89 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.89 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.89 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.89 c strong branching : 0.00 0 0 0.00 -
1800.09/1800.89 c (at root node) : - 0 0 0.00 -
1800.09/1800.89 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.89 c B&B Tree :
1800.09/1800.89 c number of runs : 1
1800.09/1800.89 c nodes : 4908964
1800.09/1800.89 c nodes (total) : 4908964
1800.09/1800.89 c nodes left : 33
1800.09/1800.89 c max depth : 74
1800.09/1800.89 c max depth (total): 74
1800.09/1800.89 c backtracks : 1010810 (20.6%)
1800.09/1800.89 c delayed cutoffs : 6484
1800.09/1800.89 c repropagations : 7856 (33758 domain reductions, 5990 cutoffs)
1800.09/1800.89 c avg switch length: 2.00
1800.09/1800.89 c switching time : 183.16
1800.09/1800.89 c Solution :
1800.09/1800.89 c Solutions found : 11 (10 improvements)
1800.09/1800.89 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.36 seconds, depth 0, found by <trivial>)
1800.09/1800.89 c Primal Bound : -5.70000000000000e+01 (in run 1, after 1829238 nodes, 643.00 seconds, depth 58, found by <relaxation>)
1800.09/1800.89 c Dual Bound : -9.99000000000000e+02
1800.09/1800.89 c Gap : 94.29 %
1800.09/1800.89 c Root Dual Bound : -1.00000000000000e+03
1800.09/1800.89 c Root Iterations : 0
1800.28/1801.07 c Time complete: 1800.36.
OK -57
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663798-1276659122/watcher-2663798-1276659122 -o /tmp/evaluation-result-2663798-1276659122/solver-2663798-1276659122 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663798-1276659122.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: 1.93 2.01 1.64 3/106 10047 /proc/meminfo: memFree=1798616/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=6880 CPUtime=0 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 1010 0 0 0 0 0 0 0 25 0 1 0 41515714 7045120 933 1992294400 4194304 7136930 140735697635520 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10047/statm: 1720 943 254 719 0 999 0 [startup+0.0500889 s] /proc/loadavg: 1.93 2.01 1.64 3/106 10047 /proc/meminfo: memFree=1798616/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=15020 CPUtime=0.04 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 3196 0 0 0 3 1 0 0 25 0 1 0 41515714 15380480 3119 1992294400 4194304 7136930 140735697635520 18446744073709551615 6166809 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10047/statm: 3755 3119 272 719 0 3034 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 15020 [startup+0.101098 s] /proc/loadavg: 1.93 2.01 1.64 3/106 10047 /proc/meminfo: memFree=1798616/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=21756 CPUtime=0.09 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 4895 0 0 0 7 2 0 0 25 0 1 0 41515714 22278144 4818 1992294400 4194304 7136930 140735697635520 18446744073709551615 4470716 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10047/statm: 5439 4818 272 719 0 4718 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21756 [startup+0.301134 s] /proc/loadavg: 1.93 2.01 1.64 3/106 10047 /proc/meminfo: memFree=1798616/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=42688 CPUtime=0.29 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 10142 0 0 0 25 4 0 0 25 0 1 0 41515714 43712512 10041 1992294400 4194304 7136930 140735697635520 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10047/statm: 10672 10041 272 719 0 9951 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 42688 [startup+0.701209 s] /proc/loadavg: 1.93 2.01 1.64 3/106 10047 /proc/meminfo: memFree=1798616/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=103620 CPUtime=0.69 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 25720 0 0 0 60 9 0 0 25 0 1 0 41515714 106106880 25191 1992294400 4194304 7136930 140735697635520 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10047/statm: 25905 25191 304 719 0 25184 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 103620 [startup+1.50136 s] /proc/loadavg: 1.93 2.01 1.64 2/107 10048 /proc/meminfo: memFree=1689984/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=123820 CPUtime=1.49 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 29798 0 0 0 137 12 0 0 25 0 1 0 41515714 126791680 29269 1992294400 4194304 7136930 140735697635520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10047/statm: 30955 29269 333 719 0 30234 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 123820 [startup+3.10065 s] /proc/loadavg: 1.93 2.01 1.64 2/107 10048 /proc/meminfo: memFree=1674236/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=137412 CPUtime=3.09 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 37731 0 0 0 278 31 0 0 25 0 1 0 41515714 140709888 32578 1992294400 4194304 7136930 140735697635520 18446744073709551615 4219844 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10047/statm: 34353 32578 362 719 0 33632 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 137412 [startup+6.30124 s] /proc/loadavg: 1.85 2.00 1.64 2/107 10048 /proc/meminfo: memFree=1669400/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=136920 CPUtime=6.29 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 38014 0 0 0 587 42 0 0 25 0 1 0 41515714 140206080 32478 1992294400 4194304 7136930 140735697635520 18446744073709551615 5907246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10047/statm: 34230 32478 384 719 0 33509 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 136920 [startup+12.7004 s] /proc/loadavg: 1.79 1.98 1.63 2/107 10048 /proc/meminfo: memFree=1669400/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=136920 CPUtime=12.68 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 38014 0 0 0 1205 63 0 0 25 0 1 0 41515714 140206080 32478 1992294400 4194304 7136930 140735697635520 18446744073709551615 5508052 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10047/statm: 34230 32478 384 719 0 33509 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 136920 [startup+25.5008 s] /proc/loadavg: 1.61 1.93 1.62 2/107 10048 /proc/meminfo: memFree=1669400/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=136920 CPUtime=25.48 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 38014 0 0 0 2439 109 0 0 25 0 1 0 41515714 140206080 32478 1992294400 4194304 7136930 140735697635520 18446744073709551615 5508052 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10047/statm: 34230 32478 384 719 0 33509 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 136920 [startup+51.1015 s] /proc/loadavg: 1.62 1.90 1.62 2/107 10050 /proc/meminfo: memFree=1669400/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=136920 CPUtime=51.08 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 38014 0 0 0 4910 198 0 0 25 0 1 0 41515714 140206080 32478 1992294400 4194304 7136930 140735697635520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10047/statm: 34230 32478 384 719 0 33509 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 136920 [startup+102.309 s] /proc/loadavg: 1.35 1.78 1.59 2/107 10050 /proc/meminfo: memFree=1669276/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=136920 CPUtime=102.26 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 38014 0 0 0 9842 384 0 0 25 0 1 0 41515714 140206080 32478 1992294400 4194304 7136930 140735697635520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10047/statm: 34230 32478 384 719 0 33509 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 136920 [startup+162.301 s] /proc/loadavg: 1.13 1.63 1.55 2/107 10052 /proc/meminfo: memFree=1669152/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=136920 CPUtime=162.23 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 38015 0 0 0 15610 613 0 0 25 0 1 0 41515714 140206080 32479 1992294400 4194304 7136930 140735697635520 18446744073709551615 5917632 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10047/statm: 34230 32479 384 719 0 33509 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 136920 [startup+222.301 s] /proc/loadavg: 1.04 1.52 1.52 2/107 10054 /proc/meminfo: memFree=1669028/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=136920 CPUtime=222.21 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 38015 0 0 0 21382 839 0 0 25 0 1 0 41515714 140206080 32479 1992294400 4194304 7136930 140735697635520 18446744073709551615 5907483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10047/statm: 34230 32479 384 719 0 33509 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 136920 [startup+282.3 s] /proc/loadavg: 1.01 1.42 1.48 2/107 10056 /proc/meminfo: memFree=1668904/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=136920 CPUtime=282.18 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 38015 0 0 0 27154 1064 0 0 25 0 1 0 41515714 140206080 32479 1992294400 4194304 7136930 140735697635520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10047/statm: 34230 32479 384 719 0 33509 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 136920 [startup+342.301 s] /proc/loadavg: 1.00 1.34 1.45 2/107 10058 /proc/meminfo: memFree=1668904/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=136920 CPUtime=342.16 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 38015 0 0 0 32920 1296 0 0 25 0 1 0 41515714 140206080 32479 1992294400 4194304 7136930 140735697635520 18446744073709551615 5907457 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10047/statm: 34230 32479 384 719 0 33509 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 136920 [startup+402.301 s] /proc/loadavg: 1.05 1.29 1.42 2/107 10058 /proc/meminfo: memFree=1668780/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=136920 CPUtime=402.14 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 38015 0 0 0 38695 1519 0 0 25 0 1 0 41515714 140206080 32479 1992294400 4194304 7136930 140735697635520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10047/statm: 34230 32479 384 719 0 33509 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 136920 [startup+462.302 s] /proc/loadavg: 1.02 1.24 1.39 2/107 10060 /proc/meminfo: memFree=1668656/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=136920 CPUtime=462.12 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 38015 0 0 0 44463 1749 0 0 25 0 1 0 41515714 140206080 32479 1992294400 4194304 7136930 140735697635520 18446744073709551615 5907496 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10047/statm: 34230 32479 384 719 0 33509 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 136920 [startup+522.301 s] /proc/loadavg: 1.00 1.19 1.37 2/107 10062 /proc/meminfo: memFree=1668532/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=136920 CPUtime=522.09 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 38015 0 0 0 50239 1970 0 0 25 0 1 0 41515714 140206080 32479 1992294400 4194304 7136930 140735697635520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10047/statm: 34230 32479 384 719 0 33509 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 136920 [startup+582.301 s] /proc/loadavg: 1.00 1.15 1.34 2/107 10064 /proc/meminfo: memFree=1668408/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=136920 CPUtime=582.07 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 38015 0 0 0 56009 2198 0 0 25 0 1 0 41515714 140206080 32479 1992294400 4194304 7136930 140735697635520 18446744073709551615 5907447 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10047/statm: 34230 32479 384 719 0 33509 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 136920 [startup+642.302 s] /proc/loadavg: 1.00 1.12 1.32 2/107 10066 /proc/meminfo: memFree=1668284/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=136920 CPUtime=642.05 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 38015 0 0 0 61772 2433 0 0 25 0 1 0 41515714 140206080 32479 1992294400 4194304 7136930 140735697635520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10047/statm: 34230 32479 384 719 0 33509 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 136920 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.05 1.24 2/107 10072 /proc/meminfo: memFree=1667912/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=136920 CPUtime=881.95 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 38015 0 0 0 84862 3333 0 0 25 0 1 0 41515714 140206080 32479 1992294400 4194304 7136930 140735697635520 18446744073709551615 5907505 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10047/statm: 34230 32479 384 719 0 33509 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 136920 [startup+942.3 s] /proc/loadavg: 1.00 1.04 1.22 2/107 10072 /proc/meminfo: memFree=1667912/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=136920 CPUtime=941.92 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 38015 0 0 0 90650 3542 0 0 25 0 1 0 41515714 140206080 32479 1992294400 4194304 7136930 140735697635520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10047/statm: 34230 32479 384 719 0 33509 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 136920 [startup+1002.3 s] /proc/loadavg: 1.00 1.03 1.20 2/107 10074 /proc/meminfo: memFree=1667788/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=136920 CPUtime=1001.91 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 38015 0 0 0 96438 3753 0 0 25 0 1 0 41515714 140206080 32479 1992294400 4194304 7136930 140735697635520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10047/statm: 34230 32479 384 719 0 33509 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 136920 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.18 2/107 10076 /proc/meminfo: memFree=1667540/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=136920 CPUtime=1061.88 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 38015 0 0 0 102214 3974 0 0 25 0 1 0 41515714 140206080 32479 1992294400 4194304 7136930 140735697635520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10047/statm: 34230 32479 384 719 0 33509 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 136920 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.17 2/107 10078 /proc/meminfo: memFree=1667540/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=136920 CPUtime=1121.85 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 38015 0 0 0 108008 4177 0 0 25 0 1 0 41515714 140206080 32479 1992294400 4194304 7136930 140735697635520 18446744073709551615 4221576 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10047/statm: 34230 32479 384 719 0 33509 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 136920 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.16 2/107 10080 /proc/meminfo: memFree=1667416/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=136920 CPUtime=1181.83 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 38015 0 0 0 113787 4396 0 0 25 0 1 0 41515714 140206080 32479 1992294400 4194304 7136930 140735697635520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10047/statm: 34230 32479 384 719 0 33509 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 136920 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.15 2/107 10082 /proc/meminfo: memFree=1667292/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=136920 CPUtime=1241.81 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 38015 0 0 0 119565 4616 0 0 25 0 1 0 41515714 140206080 32479 1992294400 4194304 7136930 140735697635520 18446744073709551615 5508350 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10047/statm: 34230 32479 384 719 0 33509 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 136920 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.14 2/107 10082 /proc/meminfo: memFree=1667044/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=136920 CPUtime=1301.8 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 38015 0 0 0 125343 4837 0 0 25 0 1 0 41515714 140206080 32479 1992294400 4194304 7136930 140735697635520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10047/statm: 34230 32479 384 719 0 33509 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 136920 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.12 2/107 10084 /proc/meminfo: memFree=1667044/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=136920 CPUtime=1361.77 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 38015 0 0 0 131123 5054 0 0 25 0 1 0 41515714 140206080 32479 1992294400 4194304 7136930 140735697635520 18446744073709551615 4660122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10047/statm: 34230 32479 384 719 0 33509 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 136920 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.11 2/107 10086 /proc/meminfo: memFree=1667044/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=136920 CPUtime=1421.75 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 38015 0 0 0 136897 5278 0 0 25 0 1 0 41515714 140206080 32479 1992294400 4194304 7136930 140735697635520 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10047/statm: 34230 32479 384 719 0 33509 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 136920 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.10 2/107 10088 /proc/meminfo: memFree=1667044/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=136920 CPUtime=1481.72 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 38015 0 0 0 142674 5498 0 0 25 0 1 0 41515714 140206080 32479 1992294400 4194304 7136930 140735697635520 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10047/statm: 34230 32479 384 719 0 33509 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 136920 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.09 2/107 10090 /proc/meminfo: memFree=1666796/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=136920 CPUtime=1541.7 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 38015 0 0 0 148432 5738 0 0 25 0 1 0 41515714 140206080 32479 1992294400 4194304 7136930 140735697635520 18446744073709551615 5506849 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10047/statm: 34230 32479 384 719 0 33509 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 136920 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 10090 /proc/meminfo: memFree=1666796/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=136920 CPUtime=1601.68 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 38015 0 0 0 154186 5982 0 0 25 0 1 0 41515714 140206080 32479 1992294400 4194304 7136930 140735697635520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10047/statm: 34230 32479 384 719 0 33509 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 136920 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 10092 /proc/meminfo: memFree=1666672/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=136920 CPUtime=1661.65 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 38015 0 0 0 159955 6210 0 0 25 0 1 0 41515714 140206080 32479 1992294400 4194304 7136930 140735697635520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10047/statm: 34230 32479 384 719 0 33509 0 Current children cumulated CPU time (s) 1661.65 Current children cumulated vsize (KiB) 136920 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.07 2/107 10094 /proc/meminfo: memFree=1666672/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=136920 CPUtime=1721.63 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 38015 0 0 0 165720 6443 0 0 25 0 1 0 41515714 140206080 32479 1992294400 4194304 7136930 140735697635520 18446744073709551615 5913262 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10047/statm: 34230 32479 384 719 0 33509 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 136920 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.07 2/107 10105 /proc/meminfo: memFree=1665556/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=136920 CPUtime=1781.59 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 38015 0 0 0 171474 6685 0 0 25 0 1 0 41515714 140206080 32479 1992294400 4194304 7136930 140735697635520 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10047/statm: 34230 32479 384 719 0 33509 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 136920 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.06 2/107 10105 /proc/meminfo: memFree=1665556/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=136920 CPUtime=1800.09 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 38015 0 0 0 173250 6759 0 0 25 0 1 0 41515714 140206080 32479 1992294400 4194304 7136930 140735697635520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10047/statm: 34230 32479 384 719 0 33509 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 136920 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.00 1.00 1.06 2/107 10105 /proc/meminfo: memFree=1665556/2059040 swapFree=4140132/4192956 [pid=10047] ppid=10045 vsize=113580 CPUtime=1800.28 /proc/10047/stat : 10047 (pbscip.linux.x8) R 10045 10047 9042 0 -1 4202496 38022 0 0 0 173269 6759 0 0 25 0 1 0 41515714 116305920 26677 1992294400 4194304 7136930 140735697635520 18446744073709551615 6166364 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10047/statm: 28395 26677 391 719 0 27674 0 Current children cumulated CPU time (s) 1800.28 Current children cumulated vsize (KiB) 113580 Child status: 0 Real time (s): 1801.07 CPU time (s): 1800.36 CPU user time (s): 1732.75 CPU system time (s): 67.6107 CPU usage (%): 99.9606 Max. virtual memory (cumulated for all children) (KiB): 137412 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1732.75 system time used= 67.6107 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38028 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= 3 involuntary context switches= 24779 runsolver used 3.15152 second user time and 8.36073 second system time The end
Begin job on node007 at 2010-06-16 05:32:03 IDJOB=2663798 IDBENCH=48171 IDSOLVER=1167 FILE ID=node007/2663798-1276659122 PBS_JOBID= 11172456 Free space on /tmp= 62488 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_1.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-2663798-1276659122/watcher-2663798-1276659122 -o /tmp/evaluation-result-2663798-1276659122/solver-2663798-1276659122 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663798-1276659122.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3262a45f0e59552e467da6c31a32418a RANDOM SEED=1791827118 node007.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.264 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.52 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.264 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 : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1799144 kB Buffers: 53356 kB Cached: 114656 kB SwapCached: 7044 kB Active: 110480 kB Inactive: 71652 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1799144 kB SwapTotal: 4192956 kB SwapFree: 4140132 kB Dirty: 4120 kB Writeback: 0 kB AnonPages: 12136 kB Mapped: 12964 kB Slab: 56052 kB PageTables: 4032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182488 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= 62484 MiB End job on node007 at 2010-06-16 06:02:05