0.00/0.07 exec HOME/naps_release -v2 -mc -cSCIP -scip-solve-prop -scip-stage-prop -given-time=3600 HOME/instance-4779350-1782133592.opb
0.01/0.15 c NaPS 1.03a50.
0.01/0.15 c Using SAT solver: CaDiCaL 3.0.0
0.01/0.15 c Input file name: HOME/instance-4779350-1782133592.opb
0.01/0.15 c Parsing PB file...
0.01/0.15 c goal was devided by 1 with offset 1968.
0.01/0.16 c assumptions before coding:
0.01/0.16 c initScipForCoop
0.01/0.17 c Running SCIP presolver (time limit: 10 sec)...
0.01/0.17 c solveScip
0.01/0.17 c initScipForCoop
0.01/0.17 c Cooperative mode: scip_coop_offset=1968.000000
0.01/0.17 c Coop Mode: Using SCIP obj units for LB/UB: -oo, +oo
0.01/0.17 c Running SCIP presolve for solve-time propagation (rounds=3)
0.01/0.17 c feasible solution found by trivial heuristic after 0.0 seconds, objective value -1.968000e+03
0.01/0.17 c presolving:
0.01/0.17 c (0.0s) running MILP presolver
0.01/0.18 c (0.0s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.01/0.18 c (round 1, exhaustive) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3999 upgd conss, 0 impls, 3999 clqs, 0 implints
0.01/0.19 c (0.0s) probing: 51/1968 (2.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.19 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.01/0.19 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
0.01/0.19 c 0 deleted vars, 1 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.19 c 0 implications, 3999 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
0.01/0.19 c presolved problem has 1968 variables (1968 bin, 0 int, 0 cont) and 3999 constraints
0.01/0.19 c 3999 constraints of type <setppc>
0.01/0.19 c transformed objective value is always integral (scale: 1)
0.01/0.19 c Presolving Time: 0.02
0.01/0.19 c 1/1 feasible solution given by solution candidate storage, new primal bound -1.968000e+03
0.01/0.19 c
0.01/0.19 c presolving:
0.01/0.20 c (round 1, fast) 148 del vars, 148 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3851 clqs, 0 implints
0.01/0.20 c (round 2, fast) 313 del vars, 702 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3297 clqs, 0 implints
0.01/0.20 c (round 3, fast) 368 del vars, 825 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3174 clqs, 0 implints
0.01/0.20 c (round 4, fast) 408 del vars, 947 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3052 clqs, 0 implints
0.01/0.20 c (round 5, fast) 427 del vars, 988 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3011 clqs, 0 implints
0.01/0.20 c (round 6, fast) 436 del vars, 1018 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2981 clqs, 0 implints
0.01/0.20 c (round 7, fast) 440 del vars, 1033 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2966 clqs, 0 implints
0.01/0.20 c (round 8, fast) 441 del vars, 1038 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2961 clqs, 0 implints
0.01/0.20 c (0.0s) running MILP presolver
0.01/0.21 c (0.0s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.01/0.21 c (round 9, exhaustive) 441 del vars, 1039 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2961 upgd conss, 0 impls, 2961 clqs, 0 implints
0.01/0.22 c (0.0s) probing: 51/1527 (3.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.22 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.01/0.22 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.01/0.22 c (0.0s) no symmetry present (symcode time: 0.00)
0.01/0.22 c presolving (10 rounds: 10 fast, 2 medium, 2 exhaustive):
0.01/0.22 c 441 deleted vars, 1039 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.22 c 0 implications, 2961 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
0.01/0.22 c presolved problem has 1527 variables (1527 bin, 0 int, 0 cont) and 2961 constraints
0.01/0.22 c 2961 constraints of type <setppc>
0.01/0.22 c transformed objective value is always integral (scale: 1)
0.01/0.22 c Presolving Time: 0.03
0.01/0.22 c
0.01/0.22 c in SCIP_DECL_EVENTEXEC found by SCIP
0.01/0.22 o 1744
0.01/0.22 c Model check passed
0.01/0.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.01/0.22 c t 0.0s| 1 | 0 | 0 | - | trivial| 0 |1527 |2961 | 0 | 0 | 0 | 0 | 0 |-2.170000e+02 |-1.744000e+03 | 703.69%| unknown
0.08/0.23 c in SCIP_DECL_EVENTEXEC found by SCIP
0.08/0.23 o 1197
0.08/0.23 c Model check passed
0.08/0.23 c p 0.0s| 1 | 0 | 0 | - | clique| 0 |1527 |2961 |2961 | 0 | 0 | 0 | 0 |-2.170000e+02 |-1.197000e+03 | 451.61%| unknown
0.08/0.23 c in SCIP_DECL_EVENTEXEC found by SCIP
0.08/0.23 o 1096
0.08/0.23 c Model check passed
0.08/0.23 c p 0.0s| 1 | 0 | 0 | - | locks| 0 |1527 |2961 |2961 | 0 | 0 | 0 | 0 |-2.170000e+02 |-1.096000e+03 | 405.07%| unknown
0.08/0.24 c in SCIP_DECL_EVENTEXEC found by SCIP
0.08/0.24 o 1089
0.08/0.24 c Model check passed
0.08/0.24 c i 0.1s| 1 | 0 | 0 | - | oneopt| 0 |1527 |2961 |2961 | 0 | 0 | 0 | 0 |-2.170000e+02 |-1.089000e+03 | 401.84%| unknown
0.08/0.26 c 0.1s| 1 | 0 | 1902 | - | 24M | 0 |1527 |2961 |2961 | 0 | 0 | 0 | 0 |-9.805000e+02 |-1.089000e+03 | 11.07%| unknown
0.18/0.40 c 0.2s| 1 | 0 | 2585 | - | 27M | 0 |1527 |2961 |2985 | 24 | 1 | 0 | 0 |-9.905000e+02 |-1.089000e+03 | 9.94%| unknown
0.38/0.56 c 0.4s| 1 | 0 | 3676 | - | 28M | 0 |1527 |2961 |3010 | 49 | 2 | 0 | 0 |-9.950000e+02 |-1.089000e+03 | 9.45%| unknown
0.65/0.82 c 0.6s| 1 | 0 | 4706 | - | 29M | 0 |1527 |2961 |3029 | 68 | 3 | 0 | 0 |-9.975000e+02 |-1.089000e+03 | 9.17%| unknown
0.86/1.10 c 0.9s| 1 | 0 | 5801 | - | 34M | 0 |1527 |2961 |3050 | 89 | 4 | 0 | 0 |-1.000375e+03 |-1.089000e+03 | 8.86%| unknown
1.64/1.83 c 1.6s| 1 | 0 | 7464 | - | 49M | 0 |1527 |2961 |3070 | 109 | 5 | 0 | 0 |-1.003389e+03 |-1.089000e+03 | 8.53%| unknown
2.15/2.39 c 2.2s| 1 | 0 | 9194 | - | 67M | 0 |1527 |2961 |3091 | 130 | 6 | 0 | 0 |-1.006152e+03 |-1.089000e+03 | 8.23%| unknown
2.96/3.16 c 3.0s| 1 | 0 | 9897 | - | 82M | 0 |1527 |2961 |3096 | 135 | 7 | 0 | 0 |-1.006664e+03 |-1.089000e+03 | 8.18%| unknown
3.74/3.92 c 3.7s| 1 | 0 | 10678 | - | 98M | 0 |1527 |2961 |3102 | 141 | 8 | 0 | 0 |-1.007062e+03 |-1.089000e+03 | 8.14%| unknown
4.34/4.58 c 4.4s| 1 | 0 | 11673 | - | 115M | 0 |1527 |2961 |3106 | 145 | 9 | 0 | 0 |-1.007726e+03 |-1.089000e+03 | 8.07%| unknown
4.64/4.84 c 4.6s| 1 | 0 | 12168 | - | 116M | 0 |1527 |2961 |3111 | 150 | 10 | 0 | 0 |-1.008043e+03 |-1.089000e+03 | 8.03%| unknown
4.74/4.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.74/4.92 c 4.7s| 1 | 0 | 12273 | - | 116M | 0 |1527 |2961 |3113 | 153 | 11 | 0 | 0 |-1.008047e+03 |-1.089000e+03 | 8.03%| unknown
4.74/4.99 c 4.8s| 1 | 0 | 12286 | - | 116M | 0 |1527 |2961 |3115 | 155 | 12 | 0 | 0 |-1.008047e+03 |-1.089000e+03 | 8.03%| unknown
4.86/5.07 c 4.9s| 1 | 0 | 12395 | - | 117M | 0 |1527 |2961 |3116 | 156 | 13 | 0 | 0 |-1.008052e+03 |-1.089000e+03 | 8.03%| unknown
4.96/5.14 c 5.0s| 1 | 0 | 12396 | - | 117M | 0 |1527 |2961 |3117 | 157 | 14 | 0 | 0 |-1.008052e+03 |-1.089000e+03 | 8.03%| unknown
5.04/5.22 c 5.0s| 1 | 0 | 12402 | - | 117M | 0 |1527 |2961 |3118 | 158 | 15 | 0 | 0 |-1.008052e+03 |-1.089000e+03 | 8.03%| unknown
5.04/5.29 c 5.1s| 1 | 0 | 12405 | - | 118M | 0 |1527 |2961 |3120 | 160 | 16 | 0 | 0 |-1.008052e+03 |-1.089000e+03 | 8.03%| unknown
5.14/5.37 c 5.2s| 1 | 0 | 12406 | - | 118M | 0 |1527 |2961 |3102 | 161 | 17 | 0 | 0 |-1.008052e+03 |-1.089000e+03 | 8.03%| unknown
6.63/6.85 c 6.7s| 1 | 2 | 12408 | - | 119M | 0 |1527 |2961 |3102 | 161 | 18 | 0 | 20 |-1.008518e+03 |-1.089000e+03 | 7.98%| unknown
9.94/10.19 c
9.94/10.19 c SCIP Status : solving was interrupted [time limit reached]
9.94/10.19 c Solving Time (sec) : 10.00
9.94/10.19 c Solving Nodes : 3
9.94/10.19 c Primal Bound : -1.08900000000000e+03 (51 solutions)
9.94/10.19 c Dual Bound : -1.00885135135135e+03
9.94/10.19 c Gap : 7.94 %
9.94/10.19 c SCIP status: 23 (TIMELIMIT)
9.94/10.19 c solveScip: freeing transform (!can_skip_free_transform)
10.02/10.22 c SCIP presolver: sst_sat
10.02/10.22 c Converting 4000 PB-constraints to clauses...
10.02/10.22 c -- Clauses(.)/Splits(s):
10.02/10.23 c pb_solver_status: sst_sat
10.02/10.23 c SCIP presolver gap=7.9% < threshold=30.0%, nodes=3 > 1; boosting initial SCIP budget to 1000.0 sec
10.02/10.23 c total stages of optimization mode: 1
10.02/10.23 c Use UB found in presolve
10.02/10.23 c Use LB found in presolve
10.02/10.23 c minimizationMode: cmm_Binary
10.02/10.23 c goal coeffs: 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
10.02/10.23 c Try to find a solution more than 905
10.02/10.24 c
10.02/10.28 c assumptions:
10.02/10.28 c invoking solver with time budget: 5.000000
15.00/15.29 c sat_solver_result: sst_unknown
15.00/15.29 c SAT solver timed out; proceeding to cooperative SCIP call
15.00/15.29 c Calling solveScip for cooperative mode with LB_goalvalue: 879, UB_goalvalue: 959
15.00/15.29 c scip solving with time budget: 1000.000000
15.00/15.29 c solveScip
15.00/15.29 c initScipForCoop
15.00/15.29 c Coop Mode: Using SCIP obj units for LB/UB: 879, +oo
15.10/15.30 c 10/10 feasible solutions given by solution candidate storage, new primal bound -1.089000e+03
15.10/15.30 c
15.10/15.30 c presolving:
15.10/15.30 c (round 1, fast) 148 del vars, 148 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3851 clqs, 0 implints
15.10/15.30 c (round 2, fast) 313 del vars, 702 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3297 clqs, 0 implints
15.10/15.30 c (round 3, fast) 368 del vars, 825 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3174 clqs, 0 implints
15.10/15.30 c (round 4, fast) 408 del vars, 947 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3052 clqs, 0 implints
15.10/15.30 c (round 5, fast) 427 del vars, 988 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3011 clqs, 0 implints
15.10/15.30 c (round 6, fast) 436 del vars, 1018 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2981 clqs, 0 implints
15.10/15.30 c (round 7, fast) 440 del vars, 1033 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2966 clqs, 0 implints
15.10/15.30 c (round 8, fast) 441 del vars, 1038 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2961 clqs, 0 implints
15.10/15.31 c (0.0s) running MILP presolver
15.10/15.31 c (0.0s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
15.10/15.31 c (round 9, exhaustive) 441 del vars, 1039 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2961 upgd conss, 0 impls, 2961 clqs, 0 implints
15.10/15.32 c (0.0s) probing: 51/1527 (3.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
15.10/15.32 c (0.0s) probing aborted: 50/50 successive totally useless probings
15.10/15.32 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
15.10/15.32 c (0.0s) no symmetry present (symcode time: 0.00)
15.10/15.32 c presolving (10 rounds: 10 fast, 2 medium, 2 exhaustive):
15.10/15.32 c 441 deleted vars, 1039 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
15.10/15.32 c 0 implications, 2961 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
15.10/15.32 c presolved problem has 1527 variables (1527 bin, 0 int, 0 cont) and 2961 constraints
15.10/15.32 c 2961 constraints of type <setppc>
15.10/15.32 c transformed objective value is always integral (scale: 1)
15.10/15.32 c Presolving Time: 0.03
15.10/15.33 c transformed 10/11 original solutions to the transformed problem space
15.10/15.33 c
15.10/15.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.10/15.37 c 0.1s| 1 | 0 | 1902 | - | 103M | 0 |1527 |2962 |2961 | 0 | 0 | 0 | 0 |-9.805000e+02 |-1.089000e+03 | 11.07%| unknown
15.30/15.51 c 0.2s| 1 | 0 | 2468 | - | 103M | 0 |1527 |2962 |2985 | 24 | 1 | 0 | 0 |-9.905000e+02 |-1.089000e+03 | 9.94%| unknown
15.50/15.71 c 0.4s| 1 | 0 | 3572 | - | 103M | 0 |1527 |2962 |3009 | 48 | 2 | 0 | 0 |-9.955000e+02 |-1.089000e+03 | 9.39%| unknown
15.70/15.94 c 0.7s| 1 | 0 | 5099 | - | 104M | 0 |1527 |2962 |3029 | 68 | 3 | 0 | 0 |-9.997500e+02 |-1.089000e+03 | 8.93%| unknown
16.20/16.46 c 1.2s| 1 | 0 | 6444 | - | 104M | 0 |1527 |2962 |3044 | 83 | 4 | 0 | 0 |-1.001136e+03 |-1.089000e+03 | 8.78%| unknown
16.70/16.90 c 1.6s| 1 | 0 | 8469 | - | 104M | 0 |1527 |2962 |3063 | 102 | 5 | 0 | 0 |-1.004069e+03 |-1.089000e+03 | 8.46%| unknown
17.29/17.52 c 2.2s| 1 | 0 | 10056 | - | 105M | 0 |1527 |2962 |3078 | 117 | 6 | 0 | 0 |-1.005550e+03 |-1.089000e+03 | 8.30%| unknown
17.81/18.08 c 2.8s| 1 | 0 | 11164 | - | 107M | 0 |1527 |2962 |3082 | 121 | 7 | 0 | 0 |-1.006343e+03 |-1.089000e+03 | 8.21%| unknown
18.69/18.96 c 3.7s| 1 | 0 | 12210 | - | 112M | 0 |1527 |2962 |3084 | 123 | 8 | 0 | 0 |-1.006624e+03 |-1.089000e+03 | 8.18%| unknown
19.49/19.78 c 4.5s| 1 | 0 | 12683 | - | 114M | 0 |1527 |2962 |3089 | 128 | 9 | 0 | 0 |-1.006677e+03 |-1.089000e+03 | 8.18%| unknown
20.39/20.65 c 5.4s| 1 | 0 | 13960 | - | 124M | 0 |1527 |2962 |3092 | 131 | 10 | 0 | 0 |-1.006797e+03 |-1.089000e+03 | 8.16%| unknown
20.49/20.72 c 5.4s| 1 | 0 | 14009 | - | 125M | 0 |1527 |2962 |3092 | 133 | 11 | 0 | 0 |-1.006799e+03 |-1.089000e+03 | 8.16%| unknown
20.59/20.84 c 5.5s| 1 | 0 | 14553 | - | 125M | 0 |1527 |2962 |3094 | 135 | 12 | 0 | 0 |-1.006883e+03 |-1.089000e+03 | 8.16%| unknown
20.69/20.92 c 5.6s| 1 | 0 | 14753 | - | 125M | 0 |1527 |2962 |3097 | 138 | 13 | 0 | 0 |-1.006889e+03 |-1.089000e+03 | 8.15%| unknown
20.81/21.02 c 5.7s| 1 | 0 | 14941 | - | 125M | 0 |1527 |2962 |3100 | 141 | 14 | 0 | 0 |-1.006895e+03 |-1.089000e+03 | 8.15%| unknown
20.91/21.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
20.91/21.12 c 5.8s| 1 | 0 | 15191 | - | 126M | 0 |1527 |2961 |3103 | 144 | 15 | 0 | 0 |-1.006905e+03 |-1.089000e+03 | 8.15%| unknown
20.99/21.23 c 5.9s| 1 | 0 | 15588 | - | 126M | 0 |1527 |2961 |3104 | 145 | 16 | 0 | 0 |-1.006925e+03 |-1.089000e+03 | 8.15%| unknown
21.09/21.32 c 6.0s| 1 | 0 | 15680 | - | 126M | 0 |1527 |2961 |3087 | 147 | 17 | 0 | 0 |-1.006926e+03 |-1.089000e+03 | 8.15%| unknown
21.19/21.41 c 6.1s| 1 | 0 | 15681 | - | 127M | 0 |1527 |2961 |3088 | 148 | 18 | 0 | 0 |-1.006926e+03 |-1.089000e+03 | 8.15%| unknown
21.29/21.51 c 6.2s| 1 | 0 | 15985 | - | 127M | 0 |1527 |2961 |3089 | 149 | 19 | 0 | 0 |-1.006961e+03 |-1.089000e+03 | 8.15%| unknown
21.39/21.60 c 6.3s| 1 | 0 | 15992 | - | 127M | 0 |1527 |2961 |3092 | 152 | 20 | 0 | 0 |-1.006961e+03 |-1.089000e+03 | 8.15%| unknown
23.08/23.32 c 8.0s| 1 | 2 | 15997 | - | 127M | 0 |1527 |2961 |3092 | 152 | 21 | 0 | 21 |-1.007324e+03 |-1.089000e+03 | 8.11%| unknown
34.35/34.62 c in SCIP_DECL_EVENTEXEC found by SCIP
34.35/34.62 o 1071
34.35/34.62 c Model check passed
34.35/34.62 c d19.3s| 15 | 16 | 30331 |1024.2 |pscostdi| 14 |1527 |2961 |3090 | 0 | 1 | 0 | 163 |-1.007737e+03 |-1.071000e+03 | 6.28%| unknown
45.11/45.48 c in SCIP_DECL_EVENTEXEC found by SCIP
45.11/45.48 o 1069
45.11/45.48 c Model check passed
45.11/45.48 c *30.2s| 89 | 81 | 86041 | 796.0 | LP | 48 |1527 |3038 |3134 | 340 | 1 | 77 | 196 |-1.007836e+03 |-1.069000e+03 | 6.07%| unknown
45.21/45.51 c in SCIP_DECL_EVENTEXEC found by SCIP
45.21/45.51 o 1067
45.21/45.51 c Model check passed
45.21/45.51 c *30.2s| 96 | 77 | 86208 | 739.1 | LP | 48 |1527 |3038 |3134 | 340 | 1 | 77 | 196 |-1.007836e+03 |-1.067000e+03 | 5.87%| unknown
46.41/46.70 c 31.4s| 100 | 77 | 87028 | 717.5 | 167M | 48 |1527 |3038 |3143 | 359 | 3 | 77 | 196 |-1.007836e+03 |-1.067000e+03 | 5.87%| unknown
50.30/50.64 c in SCIP_DECL_EVENTEXEC found by SCIP
50.30/50.64 o 1066
50.30/50.64 c Model check passed
50.30/50.64 c *35.4s| 132 | 81 | 96659 | 615.8 | LP | 48 |1527 |3071 |3135 | 409 | 1 | 110 | 196 |-1.008125e+03 |-1.066000e+03 | 5.74%| unknown
51.19/51.51 c in SCIP_DECL_EVENTEXEC found by SCIP
51.19/51.51 o 1064
51.19/51.51 c Model check passed
51.19/51.51 c *36.2s| 137 | 81 | 97541 | 599.6 | LP | 48 |1527 |3071 |3146 | 433 | 1 | 110 | 196 |-1.008125e+03 |-1.064000e+03 | 5.54%| unknown
56.08/56.42 c in SCIP_DECL_EVENTEXEC found by SCIP
56.08/56.42 o 1057
56.08/56.42 c Model check passed
56.08/56.42 c o41.1s| 185 | 91 |131696 | 628.8 |objpscos| 48 |1527 |3091 |3081 | 481 | 1 | 130 | 226 |-1.009245e+03 |-1.057000e+03 | 4.73%| unknown
56.28/56.61 c 41.3s| 200 | 82 |133810 | 592.1 | 194M | 48 |1527 |3091 |3160 | 524 | 0 | 130 | 226 |-1.009245e+03 |-1.057000e+03 | 4.73%| unknown
58.78/59.17 c in SCIP_DECL_EVENTEXEC found by SCIP
58.78/59.17 o 1056
58.78/59.17 c Model check passed
58.78/59.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
58.78/59.17 c d43.9s| 235 | 98 |152789 | 584.6 |adaptive| 48 |1527 |3113 |3096 | 0 | 1 | 152 | 243 |-1.009907e+03 |-1.056000e+03 | 4.56%| unknown
65.66/66.03 c in SCIP_DECL_EVENTEXEC found by SCIP
65.66/66.03 o 1051
65.66/66.03 c Model check passed
65.66/66.03 c d50.7s| 295 | 143 |213023 | 670.2 |pscostdi| 48 |1527 |3216 |3157 | 0 | 6 | 255 | 273 |-1.011270e+03 |-1.051000e+03 | 3.93%| unknown
65.95/66.33 c 51.0s| 300 | 148 |216465 | 670.5 | 196M | 48 |1527 |3217 |3149 | 755 | 1 | 256 | 273 |-1.011270e+03 |-1.051000e+03 | 3.93%| unknown
81.10/81.52 c in SCIP_DECL_EVENTEXEC found by SCIP
81.10/81.52 o 1049
81.10/81.52 c Model check passed
81.10/81.52 c o66.2s| 395 | 243 |335403 | 810.7 |objpscos| 48 |1527 |3422 |3161 |1027 | 5 | 461 | 318 |-1.012448e+03 |-1.049000e+03 | 3.61%| unknown
81.20/81.61 c in SCIP_DECL_EVENTEXEC found by SCIP
81.20/81.61 o 1048
81.20/81.61 c Model check passed
81.20/81.61 c i66.3s| 396 | 227 |336651 | 811.8 | oneopt| 48 |1527 |3422 |3141 |1027 | 1 | 461 | 318 |-1.012448e+03 |-1.048000e+03 | 3.51%| unknown
81.72/82.18 c 66.9s| 400 | 231 |339671 | 811.2 | 207M | 48 |1527 |3433 |3119 |1027 | 1 | 472 | 325 |-1.012448e+03 |-1.048000e+03 | 3.51%| unknown
101.23/101.79 c 86.5s| 500 | 331 |467996 | 905.8 | 276M | 48 |1527 |3583 |3102 |1575 | 1 | 631 | 399 |-1.013255e+03 |-1.048000e+03 | 3.43%| unknown
132.64/133.23 c in SCIP_DECL_EVENTEXEC found by SCIP
132.64/133.23 o 1044
132.64/133.23 c Model check passed
132.64/133.23 c L 118s| 596 | 388 |664677 |1090.2 |crossove| 48 |1527 |3677 |3156 |2636 | 1 | 751 | 486 |-1.013791e+03 |-1.044000e+03 | 2.98%| unknown
133.73/134.30 c 119s| 600 | 390 |671668 |1094.6 | 343M | 48 |1527 |3677 |3169 |2700 | 1 | 751 | 486 |-1.013791e+03 |-1.044000e+03 | 2.98%| unknown
150.18/150.85 c 136s| 700 | 430 |779376 |1092.1 | 347M | 48 |1527 |3714 |3195 |3352 | 1 | 801 | 535 |-1.013913e+03 |-1.044000e+03 | 2.97%| unknown
159.55/160.21 c 145s| 800 | 444 |837634 |1028.3 | 350M | 48 |1527 |3752 |3197 |3741 | 1 | 851 | 576 |-1.014082e+03 |-1.044000e+03 | 2.95%| unknown
162.74/163.48 c 148s| 900 | 446 |870825 | 950.9 | 350M | 48 |1527 |3777 |3200 |3792 | 0 | 881 | 601 |-1.014094e+03 |-1.044000e+03 | 2.95%| unknown
171.21/172.00 c 157s| 1000 | 462 |926428 | 911.3 | 351M | 48 |1527 |3777 |3210 |4214 | 1 | 885 | 632 |-1.014210e+03 |-1.044000e+03 | 2.94%| unknown
177.69/178.42 c 163s| 1100 | 474 |977892 | 875.3 | 351M | 48 |1527 |3864 |3206 |4462 | 1 | 994 | 673 |-1.014257e+03 |-1.044000e+03 | 2.93%| unknown
183.39/184.17 c 169s| 1200 | 484 | 1021k| 839.0 | 351M | 48 |1527 |3914 |3208 |4622 | 1 |1063 | 716 |-1.014538e+03 |-1.044000e+03 | 2.90%| unknown
187.38/188.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
187.38/188.17 c 173s| 1300 | 488 | 1060k| 804.3 | 351M | 48 |1527 |3963 |3209 |4639 | 1 |1121 | 750 |-1.014561e+03 |-1.044000e+03 | 2.90%| unknown
190.37/191.14 c 176s| 1400 | 484 | 1088k| 766.7 | 351M | 48 |1527 |3973 |3212 |4722 | 0 |1132 | 767 |-1.014561e+03 |-1.044000e+03 | 2.90%| unknown
192.94/193.77 c 178s| 1500 | 484 | 1115k| 733.3 | 351M | 48 |1527 |3973 |3207 |4802 | 0 |1132 | 778 |-1.014561e+03 |-1.044000e+03 | 2.90%| unknown
198.63/199.42 c 184s| 1600 | 490 | 1154k| 712.0 | 352M | 48 |1527 |3994 |3210 |5015 | 0 |1159 | 816 |-1.014576e+03 |-1.044000e+03 | 2.90%| unknown
202.81/203.62 c 188s| 1700 | 494 | 1189k| 690.7 | 352M | 48 |1527 |4042 |3211 |5145 | 0 |1216 | 835 |-1.014633e+03 |-1.044000e+03 | 2.89%| unknown
207.80/208.69 c 193s| 1800 | 500 | 1228k| 674.2 | 353M | 48 |1527 |4103 |3212 |5317 | 1 |1295 | 870 |-1.014745e+03 |-1.044000e+03 | 2.88%| unknown
214.38/215.29 c 200s| 1900 | 508 | 1277k| 664.2 | 353M | 48 |1527 |4155 |3213 |5507 | 0 |1361 | 907 |-1.014832e+03 |-1.044000e+03 | 2.87%| unknown
218.06/218.99 c 204s| 2000 | 510 | 1307k| 646.3 | 353M | 48 |1527 |4171 |3213 |5581 | 1 |1383 | 935 |-1.014832e+03 |-1.044000e+03 | 2.87%| unknown
225.54/226.43 c 211s| 2100 | 518 | 1361k| 640.8 | 355M | 48 |1527 |4221 |3216 |5857 | 0 |1445 | 976 |-1.014875e+03 |-1.044000e+03 | 2.87%| unknown
236.90/237.84 c 223s| 2200 | 534 | 1453k| 653.6 | 355M | 48 |1527 |4300 |3220 |6183 | 0 |1543 |1025 |-1.015086e+03 |-1.044000e+03 | 2.85%| unknown
246.57/247.50 c 232s| 2300 | 550 | 1513k| 651.3 | 358M | 48 |1527 |4345 |3224 |6538 | 1 |1602 |1067 |-1.015136e+03 |-1.044000e+03 | 2.84%| unknown
249.76/250.72 c 235s| 2400 | 554 | 1543k| 636.8 | 358M | 48 |1527 |4361 |3208 |6633 | 0 |1624 |1094 |-1.015136e+03 |-1.044000e+03 | 2.84%| unknown
252.55/253.51 c 238s| 2500 | 560 | 1573k| 623.3 | 358M | 48 |1527 |4369 |3215 |6692 | 1 |1635 |1104 |-1.015152e+03 |-1.044000e+03 | 2.84%| unknown
256.94/257.94 c 243s| 2600 | 564 | 1606k| 612.1 | 358M | 48 |1527 |4395 |3211 |6814 | 0 |1669 |1129 |-1.015186e+03 |-1.044000e+03 | 2.84%| unknown
260.93/262.00 c 247s| 2700 | 568 | 1642k| 602.8 | 359M | 48 |1527 |4467 |3212 |6940 | 0 |1762 |1167 |-1.015298e+03 |-1.044000e+03 | 2.83%| unknown
263.62/264.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
263.62/264.61 c 249s| 2800 | 568 | 1664k| 589.1 | 359M | 48 |1527 |4487 |3216 |7010 | 0 |1785 |1192 |-1.015298e+03 |-1.044000e+03 | 2.83%| unknown
273.11/274.15 c 259s| 2900 | 582 | 1729k| 591.0 | 358M | 48 |1527 |4510 |3217 |7396 | 0 |1817 |1230 |-1.015404e+03 |-1.044000e+03 | 2.82%| unknown
284.46/285.54 c 270s| 3000 | 602 | 1796k| 593.6 | 360M | 48 |1527 |4543 |3228 |7910 | 1 |1859 |1268 |-1.015638e+03 |-1.044000e+03 | 2.79%| unknown
290.83/291.94 c 277s| 3100 | 612 | 1841k| 589.2 | 361M | 48 |1527 |4565 |3214 |8207 | 1 |1891 |1300 |-1.015717e+03 |-1.044000e+03 | 2.78%| unknown
296.03/297.13 c 282s| 3200 | 618 | 1878k| 582.3 | 362M | 48 |1527 |4650 |3218 |8395 | 0 |1992 |1341 |-1.015826e+03 |-1.044000e+03 | 2.77%| unknown
301.80/302.91 c 288s| 3300 | 624 | 1918k| 576.6 | 361M | 48 |1527 |4684 |3218 |8603 | 1 |2030 |1369 |-1.015971e+03 |-1.044000e+03 | 2.76%| unknown
304.29/305.48 c 290s| 3400 | 622 | 1943k| 567.0 | 362M | 48 |1527 |4783 |3219 |8608 | 0 |2155 |1407 |-1.015971e+03 |-1.044000e+03 | 2.76%| unknown
308.99/310.12 c 295s| 3500 | 626 | 1977k| 560.5 | 362M | 48 |1527 |4823 |3220 |8760 | 1 |2215 |1442 |-1.016000e+03 |-1.044000e+03 | 2.76%| unknown
314.87/316.04 c 301s| 3600 | 638 | 2021k| 557.2 | 362M | 48 |1527 |4836 |3220 |8976 | 0 |2237 |1472 |-1.016044e+03 |-1.044000e+03 | 2.75%| unknown
324.43/325.60 c 310s| 3700 | 654 | 2080k| 558.1 | 364M | 48 |1527 |4834 |3230 |9479 | 0 |2239 |1512 |-1.016196e+03 |-1.044000e+03 | 2.74%| unknown
327.12/328.32 c 313s| 3800 | 654 | 2109k| 551.1 | 364M | 48 |1527 |4873 |3224 |9602 | 1 |2288 |1530 |-1.016196e+03 |-1.044000e+03 | 2.74%| unknown
332.40/333.61 c 318s| 3900 | 660 | 2149k| 547.2 | 364M | 48 |1527 |4882 |3223 |9792 | 0 |2303 |1553 |-1.016220e+03 |-1.044000e+03 | 2.73%| unknown
337.48/338.70 c 323s| 4000 | 664 | 2189k| 543.5 | 364M | 48 |1527 |4920 |3227 | 10k| 0 |2352 |1590 |-1.016364e+03 |-1.044000e+03 | 2.72%| unknown
342.78/344.09 c 329s| 4100 | 670 | 2230k| 540.2 | 364M | 48 |1527 |4961 |3236 | 10k| 2 |2412 |1628 |-1.016365e+03 |-1.044000e+03 | 2.72%| unknown
351.75/353.09 c 338s| 4200 | 678 | 2307k| 545.7 | 365M | 48 |1527 |5031 |3233 | 10k| 2 |2510 |1681 |-1.016406e+03 |-1.044000e+03 | 2.71%| unknown
359.02/360.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
359.02/360.37 c 345s| 4300 | 690 | 2360k| 545.3 | 365M | 48 |1527 |5057 |3239 | 10k| 1 |2553 |1715 |-1.016431e+03 |-1.044000e+03 | 2.71%| unknown
362.11/363.44 c 348s| 4400 | 688 | 2387k| 539.1 | 365M | 48 |1527 |5107 |3241 | 10k| 1 |2614 |1743 |-1.016431e+03 |-1.044000e+03 | 2.71%| unknown
365.60/366.92 c 352s| 4500 | 688 | 2418k| 534.1 | 365M | 48 |1527 |5119 |3233 | 11k| 0 |2641 |1767 |-1.016431e+03 |-1.044000e+03 | 2.71%| unknown
371.38/372.74 c 357s| 4600 | 694 | 2463k| 532.3 | 366M | 48 |1527 |5224 |3237 | 11k| 0 |2779 |1809 |-1.016489e+03 |-1.044000e+03 | 2.71%| unknown
374.87/376.24 c 361s| 4700 | 694 | 2495k| 527.7 | 367M | 48 |1527 |5399 |3237 | 11k| 0 |2992 |1857 |-1.016489e+03 |-1.044000e+03 | 2.71%| unknown
378.16/379.53 c 364s| 4800 | 694 | 2525k| 522.9 | 366M | 48 |1527 |5520 |3240 | 11k| 1 |3140 |1897 |-1.016489e+03 |-1.044000e+03 | 2.71%| unknown
381.45/382.89 c 368s| 4900 | 694 | 2556k| 518.5 | 366M | 48 |1527 |5606 |3237 | 11k| 1 |3245 |1934 |-1.016489e+03 |-1.044000e+03 | 2.71%| unknown
387.93/389.36 c 374s| 5000 | 698 | 2603k| 517.6 | 366M | 48 |1527 |5821 |3242 | 11k| 0 |3507 |1996 |-1.016532e+03 |-1.044000e+03 | 2.70%| unknown
391.41/392.85 c 378s| 5100 | 698 | 2635k| 513.6 | 366M | 48 |1527 |5925 |3238 | 11k| 0 |3632 |2034 |-1.016532e+03 |-1.044000e+03 | 2.70%| unknown
397.10/398.56 c 383s| 5200 | 702 | 2677k| 511.9 | 366M | 48 |1527 |5953 |3239 | 11k| 0 |3707 |2078 |-1.016552e+03 |-1.044000e+03 | 2.70%| unknown
406.86/408.34 c 393s| 5300 | 718 | 2740k| 514.2 | 369M | 48 |1527 |6187 |3240 | 12k| 0 |4008 |2163 |-1.016594e+03 |-1.044000e+03 | 2.70%| unknown
410.15/411.69 c 396s| 5400 | 716 | 2771k| 510.3 | 369M | 48 |1527 |6323 |3246 | 12k| 0 |4180 |2209 |-1.016594e+03 |-1.044000e+03 | 2.70%| unknown
414.34/415.89 c 401s| 5500 | 720 | 2809k| 508.0 | 369M | 48 |1527 |6429 |3231 | 12k| 0 |4318 |2257 |-1.016594e+03 |-1.044000e+03 | 2.70%| unknown
419.42/420.92 c 406s| 5600 | 726 | 2850k| 506.3 | 369M | 48 |1527 |6548 |3241 | 12k| 1 |4465 |2303 |-1.016598e+03 |-1.044000e+03 | 2.70%| unknown
426.90/428.40 c 413s| 5700 | 736 | 2900k| 506.2 | 369M | 48 |1527 |6604 |3240 | 12k| 2 |4551 |2342 |-1.016610e+03 |-1.044000e+03 | 2.69%| unknown
432.28/433.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
432.28/433.84 c 419s| 5800 | 740 | 2943k| 504.7 | 370M | 48 |1527 |6695 |3241 | 12k| 0 |4673 |2395 |-1.016639e+03 |-1.044000e+03 | 2.69%| unknown
435.77/437.33 c 422s| 5900 | 740 | 2973k| 501.4 | 370M | 48 |1527 |6848 |3235 | 13k| 0 |4858 |2450 |-1.016639e+03 |-1.044000e+03 | 2.69%| unknown
439.26/440.87 c 426s| 6000 | 740 | 3004k| 498.2 | 370M | 48 |1527 |7015 |3235 | 13k| 1 |5059 |2498 |-1.016639e+03 |-1.044000e+03 | 2.69%| unknown
444.84/446.40 c 431s| 6100 | 746 | 3050k| 497.6 | 370M | 48 |1527 |7149 |3241 | 13k| 1 |5234 |2535 |-1.016644e+03 |-1.044000e+03 | 2.69%| unknown
451.12/452.71 c 437s| 6200 | 758 | 3102k| 498.0 | 370M | 48 |1527 |7233 |3253 | 13k| 0 |5353 |2559 |-1.016686e+03 |-1.044000e+03 | 2.69%| unknown
456.80/458.43 c 443s| 6300 | 764 | 3152k| 498.0 | 370M | 48 |1527 |7325 |3242 | 13k| 1 |5487 |2595 |-1.016768e+03 |-1.044000e+03 | 2.68%| unknown
460.51/462.15 c 447s| 6400 | 766 | 3191k| 496.3 | 371M | 48 |1527 |7474 |3238 | 13k| 2 |5663 |2630 |-1.016768e+03 |-1.044000e+03 | 2.68%| unknown
466.87/468.59 c 453s| 6500 | 776 | 3246k| 497.1 | 372M | 48 |1527 |7551 |3236 | 14k| 1 |5775 |2657 |-1.016807e+03 |-1.044000e+03 | 2.67%| unknown
471.56/473.23 c 458s| 6600 | 780 | 3285k| 495.4 | 372M | 48 |1527 |7645 |3243 | 14k| 0 |5904 |2684 |-1.016817e+03 |-1.044000e+03 | 2.67%| unknown
474.15/475.84 c 461s| 6700 | 780 | 3312k| 492.1 | 372M | 48 |1527 |7710 |3238 | 14k| 0 |5982 |2714 |-1.016817e+03 |-1.044000e+03 | 2.67%| unknown
478.14/479.82 c 465s| 6800 | 786 | 3349k| 490.3 | 373M | 48 |1527 |7771 |3241 | 14k| 1 |6062 |2733 |-1.016840e+03 |-1.044000e+03 | 2.67%| unknown
483.12/484.86 c 470s| 6900 | 790 | 3385k| 488.4 | 372M | 48 |1527 |7883 |3244 | 14k| 1 |6218 |2792 |-1.016882e+03 |-1.044000e+03 | 2.67%| unknown
488.91/490.68 c 475s| 7000 | 800 | 3435k| 488.6 | 373M | 48 |1527 |7871 |3253 | 15k| 0 |6224 |2795 |-1.016888e+03 |-1.044000e+03 | 2.67%| unknown
491.20/492.99 c 478s| 7100 | 800 | 3464k| 485.8 | 373M | 48 |1527 |7912 |3251 | 15k| 0 |6276 |2806 |-1.016888e+03 |-1.044000e+03 | 2.67%| unknown
495.09/496.81 c 482s| 7200 | 806 | 3504k| 484.6 | 373M | 48 |1527 |7912 |3253 | 15k| 0 |6286 |2809 |-1.016928e+03 |-1.044000e+03 | 2.66%| unknown
500.87/502.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
500.87/502.68 c 487s| 7300 | 816 | 3558k| 485.3 | 373M | 48 |1527 |7960 |3252 | 15k| 1 |6355 |2825 |-1.016988e+03 |-1.044000e+03 | 2.66%| unknown
508.05/509.83 c 495s| 7400 | 822 | 3634k| 489.0 | 374M | 48 |1527 |8016 |3244 | 15k| 0 |6429 |2837 |-1.017227e+03 |-1.044000e+03 | 2.63%| unknown
516.02/517.89 c 503s| 7500 | 838 | 3697k| 491.0 | 374M | 48 |1527 |8133 |3257 | 16k| 1 |6599 |2872 |-1.017310e+03 |-1.044000e+03 | 2.62%| unknown
518.42/520.26 c 505s| 7600 | 838 | 3726k| 488.3 | 374M | 48 |1527 |8218 |3261 | 16k| 1 |6706 |2892 |-1.017310e+03 |-1.044000e+03 | 2.62%| unknown
524.10/525.94 c 511s| 7700 | 848 | 3774k| 488.1 | 375M | 48 |1527 |8218 |3260 | 16k| 0 |6720 |2898 |-1.017384e+03 |-1.044000e+03 | 2.62%| unknown
533.47/535.34 c 520s| 7800 | 868 | 3853k| 492.1 | 377M | 48 |1527 |8286 |3266 | 16k| 2 |6833 |2917 |-1.017528e+03 |-1.044000e+03 | 2.60%| unknown
538.55/540.45 c 525s| 7900 | 876 | 3899k| 491.6 | 377M | 48 |1527 |8421 |3272 | 17k| 1 |7015 |2953 |-1.017570e+03 |-1.044000e+03 | 2.60%| unknown
542.64/544.58 c 529s| 8000 | 878 | 3934k| 489.9 | 377M | 48 |1527 |8527 |3264 | 17k| 1 |7155 |2983 |-1.017588e+03 |-1.044000e+03 | 2.60%| unknown
545.33/547.28 c 532s| 8100 | 874 | 3961k| 487.2 | 377M | 48 |1527 |8587 |3257 | 17k| 0 |7231 |3009 |-1.017588e+03 |-1.044000e+03 | 2.60%| unknown
547.82/549.78 c 534s| 8200 | 876 | 3991k| 484.9 | 377M | 48 |1527 |8618 |3208 | 17k| 1 |7286 |3023 |-1.017588e+03 |-1.044000e+03 | 2.60%| unknown
551.91/553.88 c 539s| 8300 | 882 | 4033k| 484.1 | 378M | 48 |1527 |8635 |3239 | 17k| 0 |7320 |3028 |-1.017614e+03 |-1.044000e+03 | 2.59%| unknown
555.80/557.74 c 542s| 8400 | 884 | 4074k| 483.3 | 378M | 48 |1527 |8660 |3244 | 17k| 0 |7356 |3032 |-1.017616e+03 |-1.044000e+03 | 2.59%| unknown
557.79/559.76 c 544s| 8500 | 884 | 4101k| 480.8 | 378M | 48 |1527 |8657 |3240 | 18k| 0 |7357 |3032 |-1.017616e+03 |-1.044000e+03 | 2.59%| unknown
563.77/565.78 c 550s| 8600 | 896 | 4156k| 481.6 | 378M | 48 |1527 |8700 |3243 | 18k| 2 |7420 |3036 |-1.017694e+03 |-1.044000e+03 | 2.58%| unknown
570.25/572.23 c 557s| 8700 | 900 | 4223k| 483.7 | 378M | 48 |1527 |8706 |3244 | 18k| 1 |7438 |3041 |-1.017694e+03 |-1.044000e+03 | 2.58%| unknown
575.33/577.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
575.33/577.32 c 562s| 8800 | 904 | 4262k| 482.6 | 378M | 48 |1527 |8825 |3251 | 18k| 0 |7604 |3085 |-1.017695e+03 |-1.044000e+03 | 2.58%| unknown
583.12/585.14 c 570s| 8900 | 916 | 4319k| 483.6 | 379M | 48 |1527 |8888 |3239 | 19k| 1 |7709 |3117 |-1.017755e+03 |-1.044000e+03 | 2.58%| unknown
586.20/588.24 c 573s| 9000 | 914 | 4352k| 481.9 | 379M | 48 |1527 |8996 |3240 | 19k| 0 |7840 |3145 |-1.017755e+03 |-1.044000e+03 | 2.58%| unknown
592.58/594.66 c 579s| 9100 | 926 | 4403k| 482.2 | 380M | 48 |1527 |9046 |3245 | 19k| 2 |7939 |3182 |-1.017820e+03 |-1.044000e+03 | 2.57%| unknown
596.08/598.17 c 583s| 9200 | 922 | 4436k| 480.6 | 380M | 48 |1527 |9258 |3251 | 19k| 0 |8193 |3231 |-1.017820e+03 |-1.044000e+03 | 2.57%| unknown
603.14/605.20 c 590s| 9300 | 936 | 4488k| 481.0 | 380M | 48 |1527 |9377 |3242 | 19k| 1 |8358 |3286 |-1.017834e+03 |-1.044000e+03 | 2.57%| unknown
609.94/612.07 c 597s| 9400 | 946 | 4537k| 481.0 | 380M | 48 |1527 |9393 |3245 | 20k| 1 |8415 |3312 |-1.017902e+03 |-1.044000e+03 | 2.56%| unknown
612.61/614.75 c 599s| 9500 | 946 | 4566k| 479.0 | 380M | 48 |1527 |9483 |3251 | 20k| 1 |8518 |3332 |-1.017902e+03 |-1.044000e+03 | 2.56%| unknown
616.60/618.74 c 603s| 9600 | 946 | 4599k| 477.5 | 380M | 48 |1527 |9495 |3245 | 20k| 0 |8545 |3351 |-1.017929e+03 |-1.044000e+03 | 2.56%| unknown
626.27/628.44 c 613s| 9700 | 966 | 4667k| 479.6 | 382M | 48 |1527 |9531 |3231 | 20k| 0 |8628 |3382 |-1.017979e+03 |-1.044000e+03 | 2.56%| unknown
630.75/632.99 c 618s| 9800 | 972 | 4712k| 479.3 | 382M | 48 |1527 |9574 |3257 | 21k| 0 |8684 |3388 |-1.017994e+03 |-1.044000e+03 | 2.55%| unknown
634.96/637.16 c 622s| 9900 | 976 | 4755k| 478.8 | 382M | 48 |1527 |9626 |3238 | 21k| 1 |8758 |3402 |-1.018032e+03 |-1.044000e+03 | 2.55%| unknown
642.02/644.28 c 629s| 10000 | 984 | 4808k| 479.3 | 382M | 48 |1527 |9705 |3261 | 21k| 2 |8886 |3440 |-1.018088e+03 |-1.044000e+03 | 2.55%| unknown
649.60/651.87 c 637s| 10100 | 994 | 4854k| 479.1 | 383M | 48 |1527 |9679 |3256 | 21k| 0 |8886 |3473 |-1.018116e+03 |-1.044000e+03 | 2.54%| unknown
657.67/659.99 c 645s| 10200 | 1004 | 4915k| 480.4 | 383M | 48 |1527 |9798 |3259 | 22k| 0 |9056 |3512 |-1.018154e+03 |-1.044000e+03 | 2.54%| unknown
663.95/666.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
663.95/666.22 c 651s| 10300 | 1020 | 4971k| 481.1 | 386M | 48 |1527 |9758 |3262 | 22k| 0 |9066 |3526 |-1.018199e+03 |-1.044000e+03 | 2.53%| unknown
672.02/674.39 c 659s| 10400 | 1024 | 5017k| 481.0 | 386M | 48 |1527 |9871 |3261 | 22k| 0 |9232 |3611 |-1.018216e+03 |-1.044000e+03 | 2.53%| unknown
675.01/677.30 c 662s| 10500 | 1026 | 5047k| 479.2 | 386M | 48 |1527 |9889 |3263 | 22k| 1 |9264 |3627 |-1.018216e+03 |-1.044000e+03 | 2.53%| unknown
679.20/681.58 c 666s| 10600 | 1028 | 5087k| 478.4 | 386M | 48 |1527 |9842 |3264 | 22k| 0 |9264 |3629 |-1.018219e+03 |-1.044000e+03 | 2.53%| unknown
684.09/686.40 c 671s| 10700 | 1036 | 5126k| 477.7 | 386M | 48 |1527 |9801 |3263 | 23k| 0 |9291 |3650 |-1.018250e+03 |-1.044000e+03 | 2.53%| unknown
688.79/691.13 c 676s| 10800 | 1040 | 5167k| 477.1 | 386M | 48 |1527 |9812 |3266 | 23k| 0 |9351 |3678 |-1.018250e+03 |-1.044000e+03 | 2.53%| unknown
690.86/693.28 c 678s| 10900 | 1040 | 5194k| 475.1 | 386M | 48 |1527 |9837 |3262 | 23k| 1 |9381 |3685 |-1.018250e+03 |-1.044000e+03 | 2.53%| unknown
700.53/702.98 c 688s| 11000 | 1054 | 5283k| 478.9 | 387M | 48 |1527 |9740 |3264 | 23k| 0 |9383 |3685 |-1.018321e+03 |-1.044000e+03 | 2.52%| unknown
705.32/707.71 c 692s| 11100 | 1060 | 5326k| 478.5 | 387M | 48 |1527 |9723 |3267 | 23k| 1 |9395 |3698 |-1.018375e+03 |-1.044000e+03 | 2.52%| unknown
707.91/710.34 c 695s| 11200 | 1060 | 5356k| 476.9 | 387M | 48 |1527 |9749 |3267 | 23k| 1 |9429 |3709 |-1.018375e+03 |-1.044000e+03 | 2.52%| unknown
713.99/716.48 c 701s| 11300 | 1070 | 5407k| 477.2 | 387M | 48 |1527 |9709 |3267 | 24k| 1 |9467 |3726 |-1.018378e+03 |-1.044000e+03 | 2.52%| unknown
719.37/721.88 c 707s| 11400 | 1080 | 5459k| 477.6 | 388M | 48 |1527 |9627 |3276 | 24k| 1 |9481 |3726 |-1.018493e+03 |-1.044000e+03 | 2.50%| unknown
721.97/724.44 c 709s| 11500 | 1080 | 5488k| 475.9 | 388M | 48 |1527 |9639 |3265 | 24k| 1 |9520 |3739 |-1.018493e+03 |-1.044000e+03 | 2.50%| unknown
726.25/728.75 c 713s| 11600 | 1086 | 5533k| 475.7 | 388M | 48 |1527 |9603 |3270 | 24k| 1 |9541 |3745 |-1.018495e+03 |-1.044000e+03 | 2.50%| unknown
732.23/734.73 c 719s| 11700 | 1094 | 5587k| 476.2 | 388M | 48 |1527 |9524 |3269 | 25k| 1 |9598 |3759 |-1.018547e+03 |-1.044000e+03 | 2.50%| unknown
735.32/737.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
735.32/737.87 c 723s| 11800 | 1094 | 5618k| 474.8 | 388M | 48 |1527 |9574 |3271 | 25k| 0 |9678 |3784 |-1.018547e+03 |-1.044000e+03 | 2.50%| unknown
738.01/740.58 c 725s| 11900 | 1096 | 5650k| 473.6 | 388M | 48 |1527 |9570 |3265 | 25k| 1 |9678 |3788 |-1.018547e+03 |-1.044000e+03 | 2.50%| unknown
742.30/744.82 c in SCIP_DECL_EVENTEXEC found by SCIP
742.30/744.82 o 1043
742.30/744.82 c Model check passed
742.30/744.82 c d 730s| 11995 | 1098 | 5696k| 473.6 |veclendi| 48 |1527 |9461 |3269 | 0 | 1 |9778 |3803 |-1.018575e+03 |-1.043000e+03 | 2.40%| unknown
742.30/744.86 c in SCIP_DECL_EVENTEXEC found by SCIP
742.30/744.86 o 1042
742.30/744.86 c Model check passed
742.30/744.86 c i 730s| 11996 | 1088 | 5696k| 473.6 | oneopt| 48 |1527 |9453 |3302 | 25k| 1 |9778 |3803 |-1.018575e+03 |-1.042000e+03 | 2.30%| unknown
742.40/744.95 c 730s| 12000 | 1088 | 5698k| 473.6 | 388M | 48 |1527 |9453 |3272 | 25k| 1 |9778 |3803 |-1.018575e+03 |-1.042000e+03 | 2.30%| unknown
746.79/749.37 c 734s| 12100 | 1092 | 5740k| 473.2 | 388M | 48 |1527 |9359 |3212 | 25k| 1 |9827 |3812 |-1.018586e+03 |-1.042000e+03 | 2.30%| unknown
751.37/753.90 c 739s| 12200 | 1098 | 5782k| 472.7 | 388M | 48 |1527 |9404 |3209 | 25k| 1 |9948 |3840 |-1.018597e+03 |-1.042000e+03 | 2.30%| unknown
756.15/758.75 c 743s| 12300 | 1100 | 5826k| 472.4 | 389M | 48 |1527 |9395 |3218 | 25k| 1 | 10k|3862 |-1.018625e+03 |-1.042000e+03 | 2.29%| unknown
762.55/765.14 c 750s| 12400 | 1110 | 5882k| 473.2 | 389M | 48 |1527 |9366 |3243 | 26k| 0 | 10k|3884 |-1.018656e+03 |-1.042000e+03 | 2.29%| unknown
765.13/767.70 c 752s| 12500 | 1108 | 5911k| 471.7 | 389M | 48 |1527 |9362 |3258 | 26k| 0 | 10k|3894 |-1.018656e+03 |-1.042000e+03 | 2.29%| unknown
773.60/776.23 c in SCIP_DECL_EVENTEXEC found by SCIP
773.60/776.23 o 1040
773.60/776.23 c Model check passed
773.60/776.24 c L 761s| 12596 | 1092 | 5993k| 474.6 |crossove| 48 |1527 |9291 |3270 | 26k| 0 | 10k|3894 |-1.018690e+03 |-1.040000e+03 | 2.09%| unknown
773.70/776.38 c 761s| 12600 | 1092 | 5994k| 474.6 | 390M | 48 |1527 |9272 |3244 | 26k| 1 | 10k|3894 |-1.018690e+03 |-1.040000e+03 | 2.09%| unknown
779.58/782.20 c 767s| 12700 | 1104 | 6048k| 475.0 | 390M | 48 |1527 |9120 |3259 | 26k| 1 | 10k|3898 |-1.018711e+03 |-1.040000e+03 | 2.09%| unknown
785.17/787.81 c 773s| 12800 | 1110 | 6095k| 475.0 | 390M | 48 |1527 |9148 |3281 | 27k| 1 | 10k|3921 |-1.018724e+03 |-1.040000e+03 | 2.09%| unknown
791.55/794.21 c 779s| 12900 | 1120 | 6151k| 475.7 | 391M | 48 |1527 |8972 |3282 | 27k| 0 | 10k|3932 |-1.018762e+03 |-1.040000e+03 | 2.08%| unknown
794.24/797.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
794.24/797.00 c 782s| 13000 | 1120 | 6182k| 474.4 | 391M | 48 |1527 |8981 |3281 | 27k| 0 | 10k|3939 |-1.018762e+03 |-1.040000e+03 | 2.08%| unknown
796.53/799.26 c 784s| 13100 | 1120 | 6211k| 473.0 | 391M | 48 |1527 |9031 |3284 | 27k| 1 | 10k|3952 |-1.018762e+03 |-1.040000e+03 | 2.08%| unknown
802.91/805.62 c 790s| 13200 | 1126 | 6267k| 473.7 | 391M | 48 |1527 |8763 |3246 | 27k| 0 | 10k|3960 |-1.018817e+03 |-1.040000e+03 | 2.08%| unknown
807.10/809.80 c 795s| 13300 | 1130 | 6309k| 473.2 | 392M | 48 |1527 |8740 |3258 | 28k| 1 | 10k|3961 |-1.018845e+03 |-1.040000e+03 | 2.08%| unknown
809.79/812.57 c 797s| 13400 | 1130 | 6343k| 472.2 | 392M | 48 |1527 |8706 |3249 | 28k| 0 | 10k|3964 |-1.018845e+03 |-1.040000e+03 | 2.08%| unknown
812.48/815.25 c 800s| 13500 | 1128 | 6376k| 471.2 | 392M | 48 |1527 |8701 |3284 | 28k| 0 | 10k|3964 |-1.018845e+03 |-1.040000e+03 | 2.08%| unknown
815.17/818.00 c 803s| 13600 | 1130 | 6412k| 470.4 | 392M | 48 |1527 |8693 |3282 | 28k| 0 | 10k|3966 |-1.018845e+03 |-1.040000e+03 | 2.08%| unknown
817.76/820.56 c 805s| 13700 | 1130 | 6444k| 469.3 | 392M | 48 |1527 |8692 |3285 | 28k| 0 | 10k|3967 |-1.018845e+03 |-1.040000e+03 | 2.08%| unknown
820.37/823.15 c 808s| 13800 | 1130 | 6478k| 468.3 | 392M | 48 |1527 |8708 |3289 | 28k| 2 | 10k|3972 |-1.018845e+03 |-1.040000e+03 | 2.08%| unknown
827.35/830.13 c 815s| 13900 | 1140 | 6530k| 468.7 | 392M | 48 |1527 |8593 |3263 | 28k| 0 | 10k|3992 |-1.018899e+03 |-1.040000e+03 | 2.07%| unknown
830.24/833.08 c 818s| 14000 | 1140 | 6562k| 467.7 | 392M | 48 |1527 |8637 |3284 | 28k| 1 | 10k|4006 |-1.018899e+03 |-1.040000e+03 | 2.07%| unknown
838.60/841.43 c 826s| 14100 | 1150 | 6621k| 468.5 | 392M | 48 |1527 |8442 |3292 | 29k| 1 | 10k|4053 |-1.018958e+03 |-1.040000e+03 | 2.07%| unknown
842.68/845.51 c 830s| 14200 | 1154 | 6665k| 468.3 | 392M | 48 |1527 |8329 |3291 | 29k| 0 | 10k|4060 |-1.018963e+03 |-1.040000e+03 | 2.06%| unknown
848.67/851.50 c 836s| 14300 | 1160 | 6713k| 468.4 | 392M | 48 |1527 |8291 |3290 | 29k| 1 | 10k|4097 |-1.018973e+03 |-1.040000e+03 | 2.06%| unknown
853.85/856.79 c 841s| 14400 | 1164 | 6755k| 468.0 | 392M | 48 |1527 |8255 |3284 | 29k| 1 | 10k|4129 |-1.018979e+03 |-1.040000e+03 | 2.06%| unknown
858.15/861.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
858.15/861.11 c 846s| 14500 | 1164 | 6796k| 467.6 | 392M | 48 |1527 |8356 |3289 | 29k| 0 | 10k|4183 |-1.018979e+03 |-1.040000e+03 | 2.06%| unknown
861.62/864.50 c 849s| 14600 | 1164 | 6830k| 466.8 | 392M | 48 |1527 |8393 |3296 | 29k| 0 | 11k|4209 |-1.018979e+03 |-1.040000e+03 | 2.06%| unknown
864.71/867.67 c 852s| 14700 | 1168 | 6865k| 466.0 | 392M | 48 |1527 |8256 |3288 | 29k| 1 | 11k|4220 |-1.018979e+03 |-1.040000e+03 | 2.06%| unknown
867.01/869.98 c 855s| 14800 | 1168 | 6895k| 464.9 | 392M | 48 |1527 |8255 |3290 | 29k| 0 | 11k|4221 |-1.018979e+03 |-1.040000e+03 | 2.06%| unknown
869.90/872.86 c 858s| 14900 | 1166 | 6925k| 463.8 | 392M | 48 |1527 |8259 |3295 | 30k| 0 | 11k|4234 |-1.018979e+03 |-1.040000e+03 | 2.06%| unknown
876.19/879.19 c 864s| 15000 | 1176 | 6983k| 464.5 | 392M | 48 |1527 |8138 |3297 | 30k| 0 | 11k|4246 |-1.018985e+03 |-1.040000e+03 | 2.06%| unknown
882.17/885.12 c 870s| 15100 | 1182 | 7032k| 464.7 | 392M | 48 |1527 |8168 |3291 | 30k| 0 | 11k|4299 |-1.018992e+03 |-1.040000e+03 | 2.06%| unknown
888.24/891.24 c 876s| 15200 | 1194 | 7083k| 465.0 | 392M | 48 |1527 |8036 |3294 | 30k| 1 | 11k|4332 |-1.019025e+03 |-1.040000e+03 | 2.06%| unknown
892.43/895.47 c 880s| 15300 | 1196 | 7124k| 464.6 | 393M | 48 |1527 |8018 |3280 | 30k| 1 | 11k|4358 |-1.019037e+03 |-1.040000e+03 | 2.06%| unknown
899.40/902.44 c 887s| 15400 | 1208 | 7176k| 465.0 | 393M | 48 |1527 |7880 |3295 | 31k| 1 | 11k|4408 |-1.019065e+03 |-1.040000e+03 | 2.05%| unknown
902.19/905.25 c 890s| 15500 | 1206 | 7203k| 463.7 | 393M | 48 |1527 |7894 |3299 | 31k| 0 | 11k|4430 |-1.019065e+03 |-1.040000e+03 | 2.05%| unknown
904.89/907.95 c 893s| 15600 | 1206 | 7234k| 462.7 | 393M | 48 |1527 |7931 |3300 | 31k| 1 | 11k|4448 |-1.019065e+03 |-1.040000e+03 | 2.05%| unknown
908.37/911.45 c 896s| 15700 | 1212 | 7271k| 462.2 | 393M | 48 |1527 |7750 |3299 | 31k| 0 | 11k|4449 |-1.019073e+03 |-1.040000e+03 | 2.05%| unknown
912.16/915.25 c 900s| 15800 | 1216 | 7310k| 461.7 | 393M | 48 |1527 |7728 |3305 | 31k| 1 | 11k|4488 |-1.019087e+03 |-1.040000e+03 | 2.05%| unknown
914.85/917.97 c 903s| 15900 | 1216 | 7342k| 460.8 | 393M | 48 |1527 |7725 |3302 | 31k| 3 | 11k|4494 |-1.019087e+03 |-1.040000e+03 | 2.05%| unknown
923.53/926.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
923.53/926.63 c 911s| 16000 | 1236 | 7411k| 462.3 | 393M | 48 |1527 |7442 |3310 | 31k| 2 | 11k|4504 |-1.019117e+03 |-1.040000e+03 | 2.05%| unknown
932.70/935.87 c 921s| 16100 | 1244 | 7491k| 464.3 | 393M | 48 |1527 |7449 |3307 | 31k| 1 | 11k|4564 |-1.019133e+03 |-1.040000e+03 | 2.05%| unknown
935.90/939.06 c 924s| 16200 | 1240 | 7519k| 463.2 | 393M | 48 |1527 |7517 |3296 | 31k| 0 | 12k|4606 |-1.019133e+03 |-1.040000e+03 | 2.05%| unknown
938.28/941.48 c 926s| 16300 | 1238 | 7550k| 462.3 | 393M | 48 |1527 |7525 |3299 | 32k| 0 | 12k|4609 |-1.019133e+03 |-1.040000e+03 | 2.05%| unknown
944.06/947.21 c 932s| 16400 | 1246 | 7602k| 462.6 | 393M | 48 |1527 |7371 |3297 | 32k| 2 | 12k|4614 |-1.019168e+03 |-1.040000e+03 | 2.04%| unknown
949.96/953.18 c 938s| 16500 | 1256 | 7654k| 463.0 | 394M | 48 |1527 |7278 |3253 | 32k| 1 | 12k|4617 |-1.019227e+03 |-1.040000e+03 | 2.04%| unknown
958.12/961.37 c 946s| 16600 | 1270 | 7719k| 464.1 | 395M | 48 |1527 |7256 |3259 | 33k| 1 | 12k|4622 |-1.019281e+03 |-1.040000e+03 | 2.03%| unknown
960.82/964.07 c 949s| 16700 | 1270 | 7754k| 463.4 | 395M | 48 |1527 |7307 |3277 | 33k| 2 | 12k|4629 |-1.019281e+03 |-1.040000e+03 | 2.03%| unknown
965.99/969.28 c 954s| 16800 | 1276 | 7799k| 463.4 | 395M | 48 |1527 |7300 |3274 | 33k| 3 | 12k|4650 |-1.019312e+03 |-1.040000e+03 | 2.03%| unknown
970.48/973.72 c 958s| 16900 | 1282 | 7846k| 463.4 | 395M | 48 |1527 |7178 |3266 | 33k| 2 | 12k|4666 |-1.019333e+03 |-1.040000e+03 | 2.03%| unknown
975.46/978.75 c 963s| 17000 | 1290 | 7894k| 463.5 | 395M | 48 |1527 |7092 |3276 | 33k| 0 | 12k|4668 |-1.019372e+03 |-1.040000e+03 | 2.02%| unknown
979.55/982.84 c 968s| 17100 | 1296 | 7934k| 463.1 | 396M | 48 |1527 |7066 |3277 | 33k| 2 | 12k|4673 |-1.019382e+03 |-1.040000e+03 | 2.02%| unknown
983.85/987.17 c 972s| 17200 | 1302 | 7977k| 462.9 | 396M | 48 |1527 |7048 |3258 | 34k| 1 | 12k|4690 |-1.019393e+03 |-1.040000e+03 | 2.02%| unknown
988.42/991.71 c 976s| 17300 | 1306 | 8024k| 463.0 | 396M | 48 |1527 |7032 |3249 | 34k| 0 | 12k|4691 |-1.019405e+03 |-1.040000e+03 | 2.02%| unknown
991.51/994.84 c 980s| 17400 | 1306 | 8057k| 462.2 | 396M | 48 |1527 |7027 |3270 | 34k| 1 | 12k|4705 |-1.019405e+03 |-1.040000e+03 | 2.02%| unknown
994.00/997.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
994.00/997.30 c 982s| 17500 | 1306 | 8090k| 461.4 | 396M | 48 |1527 |7042 |3267 | 34k| 0 | 12k|4709 |-1.019405e+03 |-1.040000e+03 | 2.02%| unknown
998.19/1001.55 c 986s| 17600 | 1310 | 8134k| 461.3 | 396M | 48 |1527 |7057 |3282 | 34k| 0 | 12k|4715 |-1.019414e+03 |-1.040000e+03 | 2.02%| unknown
1004.47/1007.80 c 993s| 17700 | 1320 | 8187k| 461.7 | 396M | 48 |1527 |7010 |3298 | 35k| 1 | 12k|4730 |-1.019443e+03 |-1.040000e+03 | 2.02%| unknown
1011.85/1015.29 c
1011.85/1015.29 c SCIP Status : solving was interrupted [time limit reached]
1011.85/1015.29 c Solving Time (sec) : 1000.00
1011.85/1015.29 c Solving Nodes : 17797
1011.85/1015.29 c Primal Bound : -1.04000000000000e+03 (519 solutions, 29 respecting the objective limit)
1011.85/1015.29 c Dual Bound : -1.01946813154831e+03
1011.85/1015.29 c Gap : 2.01 %
1011.85/1015.29 c SCIP status: 23 (TIMELIMIT)
1011.85/1015.29 c SCIP primal bound improved LB: 879 -> 928
1011.85/1015.29 c SCIP LP bound tightened UB: 959 -> 949
1011.85/1015.29 c pb_solver_status: sst_sat
1011.85/1015.29 c LB_goalvalue: 928
1011.85/1015.29 c UB_goalvalue: 949
1011.85/1015.29 c # improved by sat (lb/ub): 0, # improved by scip (lb): 14
1011.85/1015.29 c SCIP returned: sst_sat
1011.85/1015.29 c SCIP primal LB: 928, dual UB: 949
1011.85/1015.29 c Try to find a solution more than 935
1011.95/1015.30 c
1011.95/1015.30 c assumptions:
1011.95/1015.30 c invoking solver with time budget: 5.000000
1016.93/1020.32 c sat_solver_result: sst_unknown
1016.93/1020.32 c SAT solver timed out; proceeding to cooperative SCIP call
1016.93/1020.32 c Calling solveScip for cooperative mode with LB_goalvalue: 928, UB_goalvalue: 949
1016.93/1020.32 c scip solving with time budget: 1400.000000
1016.93/1020.32 c solveScip
1016.93/1020.32 c initScipForCoop
1016.93/1020.32 c Coop Mode: Using SCIP obj units for LB/UB: 928, +oo
1016.93/1020.32 c SCIPfreeTransform due to timeout and having shadow nodes
1016.93/1020.32 c forcing SCIPfreeTransform before solve
1016.93/1020.35 c Running SCIP presolve for solve-time propagation (rounds=3)
1016.93/1020.35 c 10/10 feasible solutions given by solution candidate storage, new primal bound -1.040000e+03
1016.93/1020.35 c
1016.93/1020.35 c presolving:
1016.93/1020.36 c (0.0s) running MILP presolver
1016.93/1020.36 c (0.0s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
1016.93/1020.37 c (round 1, exhaustive) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3999 upgd conss, 0 impls, 3999 clqs, 0 implints
1016.93/1020.37 c (0.0s) probing: 51/1968 (2.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1016.93/1020.37 c (0.0s) probing aborted: 50/50 successive totally useless probings
1016.93/1020.38 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
1016.93/1020.38 c 0 deleted vars, 1 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1016.93/1020.38 c 0 implications, 3999 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
1016.93/1020.38 c presolved problem has 1968 variables (1968 bin, 0 int, 0 cont) and 3999 constraints
1016.93/1020.38 c 3999 constraints of type <setppc>
1016.93/1020.38 c transformed objective value is always integral (scale: 1)
1016.93/1020.38 c Presolving Time: 0.03
1016.93/1020.38 c 10/10 feasible solutions given by solution candidate storage, new primal bound -1.040000e+03
1016.93/1020.38 c
1016.93/1020.38 c presolving:
1016.93/1020.39 c (round 1, fast) 148 del vars, 148 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3851 clqs, 0 implints
1016.93/1020.39 c (round 2, fast) 313 del vars, 702 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3297 clqs, 0 implints
1016.93/1020.39 c (round 3, fast) 368 del vars, 825 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3174 clqs, 0 implints
1016.93/1020.39 c (round 4, fast) 408 del vars, 947 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3052 clqs, 0 implints
1016.93/1020.39 c (round 5, fast) 427 del vars, 988 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3011 clqs, 0 implints
1016.93/1020.39 c (round 6, fast) 436 del vars, 1018 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2981 clqs, 0 implints
1016.93/1020.39 c (round 7, fast) 440 del vars, 1033 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2966 clqs, 0 implints
1016.93/1020.39 c (round 8, fast) 441 del vars, 1038 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2961 clqs, 0 implints
1016.93/1020.39 c (0.0s) running MILP presolver
1016.93/1020.40 c (0.0s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
1017.03/1020.40 c (round 9, exhaustive) 441 del vars, 1039 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2961 upgd conss, 0 impls, 2961 clqs, 0 implints
1017.03/1020.41 c (0.0s) probing: 51/1527 (3.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1017.03/1020.41 c (0.0s) probing aborted: 50/50 successive totally useless probings
1017.03/1020.41 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1017.03/1020.41 c (0.0s) no symmetry present (symcode time: 0.00)
1017.03/1020.41 c presolving (10 rounds: 10 fast, 2 medium, 2 exhaustive):
1017.03/1020.41 c 441 deleted vars, 1039 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1017.03/1020.41 c 0 implications, 2961 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
1017.03/1020.41 c presolved problem has 1527 variables (1527 bin, 0 int, 0 cont) and 2961 constraints
1017.03/1020.41 c 2961 constraints of type <setppc>
1017.03/1020.41 c transformed objective value is always integral (scale: 1)
1017.03/1020.41 c Presolving Time: 0.03
1017.03/1020.42 c transformed 10/11 original solutions to the transformed problem space
1017.03/1020.42 c
1017.03/1020.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1017.03/1020.46 c 0.1s| 1 | 0 | 1902 | - | 368M | 0 |1527 |2962 |2961 | 0 | 0 | 0 | 0 |-9.805000e+02 |-1.040000e+03 | 6.07%| unknown
1017.13/1020.59 c 0.2s| 1 | 0 | 2430 | - | 368M | 0 |1527 |2962 |2985 | 24 | 1 | 0 | 0 |-9.905000e+02 |-1.040000e+03 | 5.00%| unknown
1017.33/1020.75 c 0.4s| 1 | 0 | 3296 | - | 368M | 0 |1527 |2962 |3005 | 44 | 2 | 0 | 0 |-9.932500e+02 |-1.040000e+03 | 4.71%| unknown
1017.64/1021.10 c 0.7s| 1 | 0 | 4407 | - | 368M | 0 |1527 |2962 |3025 | 64 | 3 | 0 | 0 |-9.972500e+02 |-1.040000e+03 | 4.29%| unknown
1018.02/1021.47 c 1.1s| 1 | 0 | 5307 | - | 368M | 0 |1527 |2962 |3045 | 84 | 4 | 0 | 0 |-9.990000e+02 |-1.040000e+03 | 4.10%| unknown
1018.42/1021.84 c 1.5s| 1 | 0 | 7528 | - | 368M | 0 |1527 |2962 |3068 | 107 | 5 | 0 | 0 |-1.002130e+03 |-1.040000e+03 | 3.78%| unknown
1018.92/1022.39 c 2.0s| 1 | 0 | 10124 | - | 368M | 0 |1527 |2962 |3081 | 120 | 6 | 0 | 0 |-1.003796e+03 |-1.040000e+03 | 3.61%| unknown
1020.52/1023.91 c 3.5s| 1 | 0 | 10985 | - | 368M | 0 |1527 |2962 |3087 | 126 | 7 | 0 | 0 |-1.004178e+03 |-1.040000e+03 | 3.57%| unknown
1021.31/1024.74 c 4.4s| 1 | 0 | 11859 | - | 369M | 0 |1527 |2962 |3090 | 129 | 8 | 0 | 0 |-1.004559e+03 |-1.040000e+03 | 3.53%| unknown
1022.01/1025.47 c 5.1s| 1 | 0 | 12539 | - | 369M | 0 |1527 |2962 |3092 | 131 | 9 | 0 | 0 |-1.004779e+03 |-1.040000e+03 | 3.51%| unknown
1022.62/1026.09 c 5.7s| 1 | 0 | 13935 | - | 369M | 0 |1527 |2962 |3100 | 139 | 10 | 0 | 0 |-1.005461e+03 |-1.040000e+03 | 3.44%| unknown
1022.81/1026.26 c 5.9s| 1 | 0 | 15432 | - | 369M | 0 |1527 |2962 |3104 | 144 | 11 | 0 | 0 |-1.005753e+03 |-1.040000e+03 | 3.41%| unknown
1022.91/1026.34 c 6.0s| 1 | 0 | 15536 | - | 369M | 0 |1527 |2962 |3107 | 147 | 12 | 0 | 0 |-1.005758e+03 |-1.040000e+03 | 3.40%| unknown
1023.01/1026.44 c 6.1s| 1 | 0 | 15975 | - | 369M | 0 |1527 |2962 |3109 | 149 | 13 | 0 | 0 |-1.005867e+03 |-1.040000e+03 | 3.39%| unknown
1023.11/1026.52 c 6.1s| 1 | 0 | 16096 | - | 369M | 0 |1527 |2962 |3111 | 151 | 14 | 0 | 0 |-1.005873e+03 |-1.040000e+03 | 3.39%| unknown
1023.11/1026.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1023.11/1026.59 c 6.2s| 1 | 0 | 16116 | - | 369M | 0 |1527 |2961 |3112 | 152 | 15 | 0 | 0 |-1.005875e+03 |-1.040000e+03 | 3.39%| unknown
1023.21/1026.67 c 6.3s| 1 | 0 | 16253 | - | 369M | 0 |1527 |2961 |3114 | 154 | 16 | 0 | 0 |-1.005889e+03 |-1.040000e+03 | 3.39%| unknown
1023.31/1026.75 c 6.4s| 1 | 0 | 16257 | - | 369M | 0 |1527 |2961 |3099 | 155 | 17 | 0 | 0 |-1.005889e+03 |-1.040000e+03 | 3.39%| unknown
1023.41/1026.84 c 6.5s| 1 | 0 | 16577 | - | 369M | 0 |1527 |2961 |3100 | 156 | 18 | 0 | 0 |-1.006020e+03 |-1.040000e+03 | 3.38%| unknown
1023.51/1026.91 c 6.5s| 1 | 0 | 16586 | - | 369M | 0 |1527 |2961 |3102 | 158 | 19 | 0 | 0 |-1.006020e+03 |-1.040000e+03 | 3.38%| unknown
1023.51/1027.00 c 6.6s| 1 | 0 | 16802 | - | 369M | 0 |1527 |2961 |3103 | 159 | 20 | 0 | 0 |-1.006061e+03 |-1.040000e+03 | 3.37%| unknown
1024.90/1028.37 c 8.0s| 1 | 2 | 16803 | - | 369M | 0 |1527 |2961 |3103 | 159 | 21 | 0 | 19 |-1.006539e+03 |-1.040000e+03 | 3.32%| unknown
1041.25/1044.71 c 24.3s| 100 | 37 | 67949 | 516.6 | 375M | 30 |1527 |2987 |3120 | 280 | 1 | 26 | 215 |-1.007766e+03 |-1.040000e+03 | 3.20%| unknown
1045.65/1049.14 c 28.8s| 200 | 55 |107118 | 453.8 | 375M | 30 |1527 |3043 |3117 | 313 | 1 | 82 | 230 |-1.008556e+03 |-1.040000e+03 | 3.12%| unknown
1048.55/1052.02 c 31.6s| 300 | 57 |130562 | 380.5 | 375M | 32 |1527 |3082 |3117 | 315 | 0 | 121 | 252 |-1.009143e+03 |-1.040000e+03 | 3.06%| unknown
1052.82/1056.39 c 36.0s| 400 | 61 |164952 | 371.3 | 375M | 32 |1527 |3082 |3119 | 345 | 1 | 121 | 267 |-1.009143e+03 |-1.040000e+03 | 3.06%| unknown
1060.40/1063.91 c 43.5s| 500 | 79 |212139 | 391.5 | 378M | 32 |1527 |3106 |3095 | 430 | 1 | 145 | 305 |-1.009917e+03 |-1.040000e+03 | 2.98%| unknown
1066.18/1069.74 c 49.4s| 600 | 89 |251957 | 392.6 | 361M | 32 |1527 |3176 |3129 | 607 | 2 | 215 | 326 |-1.010339e+03 |-1.040000e+03 | 2.94%| unknown
1069.37/1072.99 c 52.6s| 700 | 97 |277149 | 372.5 | 361M | 32 |1527 |3200 |3129 | 630 | 1 | 239 | 346 |-1.010468e+03 |-1.040000e+03 | 2.92%| unknown
1073.06/1076.67 c 56.3s| 800 | 101 |305816 | 361.7 | 361M | 32 |1527 |3211 |3131 | 680 | 0 | 250 | 361 |-1.010607e+03 |-1.040000e+03 | 2.91%| unknown
1085.72/1089.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1085.72/1089.38 c 69.0s| 900 | 135 |397428 | 423.4 | 362M | 32 |1527 |3256 |3132 |1034 | 1 | 295 | 397 |-1.011143e+03 |-1.040000e+03 | 2.85%| unknown
1103.76/1107.44 c 87.1s| 1000 | 185 |502382 | 486.1 | 368M | 32 |1527 |3375 |3201 |1574 | 4 | 414 | 478 |-1.011487e+03 |-1.040000e+03 | 2.82%| unknown
1130.48/1134.26 c 114s| 1100 | 261 |673470 | 597.5 | 393M | 32 |1527 |3489 |3185 |2506 | 1 | 541 | 552 |-1.011750e+03 |-1.040000e+03 | 2.79%| unknown
1149.42/1153.21 c 133s| 1200 | 327 |811511 | 662.8 | 408M | 32 |1527 |3521 |3153 |3205 | 0 | 600 | 627 |-1.011858e+03 |-1.040000e+03 | 2.78%| unknown
1166.66/1170.50 c 150s| 1300 | 379 |932357 | 704.8 | 408M | 32 |1527 |3551 |3148 |3828 | 1 | 652 | 684 |-1.012183e+03 |-1.040000e+03 | 2.75%| unknown
1181.42/1185.31 c 165s| 1400 | 409 | 1022k| 718.9 | 407M | 32 |1527 |3559 |3169 |4515 | 0 | 673 | 740 |-1.012183e+03 |-1.040000e+03 | 2.75%| unknown
1184.61/1188.57 c 168s| 1500 | 411 | 1053k| 691.8 | 406M | 32 |1527 |3579 |3181 |4638 | 1 | 699 | 758 |-1.012183e+03 |-1.040000e+03 | 2.75%| unknown
1193.68/1197.66 c 177s| 1600 | 431 | 1124k| 692.7 | 406M | 32 |1527 |3599 |3236 |4950 | 1 | 722 | 797 |-1.012500e+03 |-1.040000e+03 | 2.72%| unknown
1205.54/1209.52 c 189s| 1700 | 441 | 1219k| 707.8 | 406M | 32 |1527 |3631 |3253 |5286 | 1 | 769 | 845 |-1.012833e+03 |-1.040000e+03 | 2.68%| unknown
1208.83/1212.85 c 192s| 1800 | 441 | 1252k| 686.9 | 403M | 32 |1527 |3691 |3253 |5368 | 2 | 843 | 864 |-1.012833e+03 |-1.040000e+03 | 2.68%| unknown
1212.32/1216.34 c 196s| 1900 | 439 | 1278k| 664.1 | 403M | 32 |1527 |3691 |3241 |5398 | 1 | 843 | 889 |-1.012833e+03 |-1.040000e+03 | 2.68%| unknown
1218.80/1222.83 c 202s| 2000 | 449 | 1328k| 656.4 | 403M | 32 |1527 |3701 |3247 |5550 | 1 | 856 | 915 |-1.013880e+03 |-1.040000e+03 | 2.58%| unknown
1223.00/1227.02 c 207s| 2100 | 451 | 1364k| 642.1 | 403M | 32 |1527 |3701 |3247 |5606 | 1 | 856 | 940 |-1.013880e+03 |-1.040000e+03 | 2.58%| unknown
1227.17/1231.26 c 211s| 2200 | 455 | 1403k| 630.7 | 402M | 32 |1527 |3736 |3267 |5700 | 0 | 903 | 975 |-1.013880e+03 |-1.040000e+03 | 2.58%| unknown
1234.85/1238.90 c 219s| 2300 | 461 | 1455k| 625.7 | 402M | 32 |1527 |3761 |3276 |5988 | 0 | 937 |1004 |-1.014061e+03 |-1.040000e+03 | 2.56%| unknown
1245.21/1249.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1245.21/1249.38 c 229s| 2400 | 485 | 1533k| 632.1 | 402M | 32 |1527 |3841 |3241 |6269 | 1 |1041 |1055 |-1.015164e+03 |-1.040000e+03 | 2.45%| unknown
1249.70/1253.86 c 233s| 2500 | 487 | 1572k| 622.6 | 402M | 32 |1527 |3899 |3241 |6378 | 1 |1119 |1098 |-1.015164e+03 |-1.040000e+03 | 2.45%| unknown
1253.69/1257.82 c 237s| 2600 | 489 | 1605k| 611.4 | 402M | 32 |1527 |3923 |3258 |6446 | 0 |1148 |1132 |-1.015164e+03 |-1.040000e+03 | 2.45%| unknown
1258.77/1262.94 c 243s| 2700 | 503 | 1657k| 607.9 | 402M | 32 |1527 |3989 |3254 |6481 | 1 |1227 |1165 |-1.015617e+03 |-1.040000e+03 | 2.40%| unknown
1261.46/1265.67 c 245s| 2800 | 505 | 1686k| 596.4 | 402M | 32 |1527 |4044 |3259 |6496 | 2 |1296 |1191 |-1.015617e+03 |-1.040000e+03 | 2.40%| unknown
1264.25/1268.46 c 248s| 2900 | 501 | 1708k| 583.7 | 400M | 35 |1527 |4060 |3254 |6523 | 0 |1317 |1220 |-1.015617e+03 |-1.040000e+03 | 2.40%| unknown
1273.94/1278.17 c 258s| 3000 | 515 | 1770k| 584.9 | 400M | 35 |1527 |4085 |3269 |6951 | 1 |1350 |1258 |-1.016087e+03 |-1.040000e+03 | 2.35%| unknown
1278.82/1283.07 c 263s| 3100 | 521 | 1809k| 578.6 | 400M | 35 |1527 |4095 |3268 |7100 | 1 |1365 |1278 |-1.016145e+03 |-1.040000e+03 | 2.35%| unknown
1282.30/1286.55 c 266s| 3200 | 523 | 1843k| 571.1 | 400M | 35 |1527 |4147 |3271 |7115 | 1 |1433 |1314 |-1.016145e+03 |-1.040000e+03 | 2.35%| unknown
1286.80/1291.04 c 271s| 3300 | 525 | 1887k| 567.0 | 400M | 35 |1527 |4181 |3274 |7151 | 1 |1484 |1352 |-1.016159e+03 |-1.040000e+03 | 2.35%| unknown
1290.27/1294.55 c 274s| 3400 | 521 | 1916k| 559.0 | 400M | 35 |1527 |4200 |3272 |7167 | 1 |1512 |1381 |-1.016159e+03 |-1.040000e+03 | 2.35%| unknown
1294.26/1298.54 c 278s| 3500 | 523 | 1952k| 553.1 | 400M | 35 |1527 |4213 |3261 |7245 | 1 |1531 |1409 |-1.016159e+03 |-1.040000e+03 | 2.35%| unknown
1297.65/1301.91 c 282s| 3600 | 523 | 1981k| 545.8 | 400M | 35 |1527 |4251 |3263 |7312 | 1 |1572 |1436 |-1.016159e+03 |-1.040000e+03 | 2.35%| unknown
1303.63/1307.90 c 288s| 3700 | 527 | 2023k| 542.6 | 400M | 35 |1527 |4319 |3259 |7490 | 0 |1659 |1473 |-1.016233e+03 |-1.040000e+03 | 2.34%| unknown
1313.10/1317.45 c 297s| 3800 | 535 | 2095k| 547.0 | 400M | 35 |1527 |4334 |3262 |7765 | 0 |1680 |1502 |-1.016396e+03 |-1.040000e+03 | 2.32%| unknown
1319.48/1323.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1319.48/1323.80 c 303s| 3900 | 547 | 2142k| 545.1 | 400M | 35 |1527 |4359 |3262 |7914 | 1 |1711 |1540 |-1.016475e+03 |-1.040000e+03 | 2.31%| unknown
1321.97/1326.38 c 306s| 4000 | 547 | 2166k| 537.7 | 400M | 35 |1527 |4359 |3260 |7926 | 0 |1712 |1551 |-1.016487e+03 |-1.040000e+03 | 2.31%| unknown
1327.55/1331.96 c 312s| 4100 | 553 | 2207k| 534.6 | 400M | 35 |1527 |4379 |3268 |8094 | 2 |1740 |1576 |-1.016500e+03 |-1.040000e+03 | 2.31%| unknown
1333.04/1337.47 c 317s| 4200 | 563 | 2250k| 532.0 | 400M | 35 |1527 |4379 |3267 |8237 | 0 |1742 |1596 |-1.016680e+03 |-1.040000e+03 | 2.29%| unknown
1338.52/1343.00 c 323s| 4300 | 571 | 2287k| 528.1 | 400M | 35 |1527 |4445 |3272 |8381 | 0 |1826 |1639 |-1.016731e+03 |-1.040000e+03 | 2.29%| unknown
1345.40/1349.86 c 329s| 4400 | 581 | 2330k| 525.9 | 400M | 38 |1527 |4445 |3274 |8645 | 0 |1828 |1658 |-1.016901e+03 |-1.040000e+03 | 2.27%| unknown
1348.09/1352.54 c 332s| 4500 | 575 | 2352k| 519.2 | 400M | 39 |1527 |4557 |3272 |8664 | 0 |1959 |1695 |-1.016901e+03 |-1.040000e+03 | 2.27%| unknown
1353.47/1357.90 c 338s| 4600 | 585 | 2399k| 518.2 | 400M | 39 |1527 |4557 |3267 |8783 | 0 |1959 |1712 |-1.017127e+03 |-1.040000e+03 | 2.25%| unknown
1356.86/1361.34 c 341s| 4700 | 583 | 2429k| 513.3 | 400M | 39 |1527 |4644 |3265 |8824 | 1 |2069 |1757 |-1.017127e+03 |-1.040000e+03 | 2.25%| unknown
1362.66/1367.12 c 347s| 4800 | 595 | 2477k| 512.8 | 400M | 39 |1527 |4666 |3277 |8960 | 2 |2099 |1781 |-1.017223e+03 |-1.040000e+03 | 2.24%| unknown
1373.21/1377.75 c 357s| 4900 | 607 | 2564k| 520.1 | 400M | 39 |1527 |4758 |3283 |9149 | 0 |2211 |1826 |-1.017312e+03 |-1.040000e+03 | 2.23%| unknown
1378.51/1383.02 c 363s| 5000 | 623 | 2612k| 519.2 | 400M | 39 |1527 |4788 |3281 |9211 | 1 |2251 |1858 |-1.017331e+03 |-1.040000e+03 | 2.23%| unknown
1385.07/1389.62 c 369s| 5100 | 631 | 2659k| 518.2 | 400M | 39 |1527 |4851 |3290 |9347 | 2 |2333 |1904 |-1.017401e+03 |-1.040000e+03 | 2.22%| unknown
1388.66/1393.24 c 373s| 5200 | 631 | 2691k| 514.4 | 400M | 39 |1527 |4917 |3293 |9378 | 2 |2411 |1934 |-1.017401e+03 |-1.040000e+03 | 2.22%| unknown
1391.65/1396.20 c 376s| 5300 | 629 | 2718k| 509.9 | 400M | 39 |1527 |4935 |3282 |9402 | 0 |2434 |1950 |-1.017401e+03 |-1.040000e+03 | 2.22%| unknown
1399.23/1403.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1399.23/1403.88 c 383s| 5400 | 641 | 2771k| 510.2 | 400M | 39 |1527 |4934 |3279 |9660 | 1 |2437 |1980 |-1.017619e+03 |-1.040000e+03 | 2.20%| unknown
1405.81/1410.41 c 390s| 5500 | 649 | 2818k| 509.5 | 400M | 39 |1527 |5039 |3278 |9786 | 2 |2570 |2030 |-1.017703e+03 |-1.040000e+03 | 2.19%| unknown
1411.29/1416.01 c 396s| 5600 | 659 | 2865k| 508.7 | 400M | 39 |1527 |5036 |3284 |9911 | 1 |2572 |2050 |-1.017813e+03 |-1.040000e+03 | 2.18%| unknown
1420.26/1424.95 c 405s| 5700 | 669 | 2920k| 509.5 | 400M | 39 |1527 |5091 |3294 | 10k| 0 |2647 |2090 |-1.017955e+03 |-1.040000e+03 | 2.17%| unknown
1423.75/1428.48 c 408s| 5800 | 675 | 2955k| 506.8 | 400M | 39 |1527 |5096 |3285 | 10k| 1 |2655 |2108 |-1.018000e+03 |-1.040000e+03 | 2.16%| unknown
1430.93/1435.65 c 415s| 5900 | 683 | 3009k| 507.3 | 400M | 39 |1527 |5125 |3294 | 10k| 1 |2694 |2142 |-1.018036e+03 |-1.040000e+03 | 2.16%| unknown
1434.52/1439.29 c 419s| 6000 | 685 | 3038k| 503.7 | 400M | 42 |1527 |5125 |3302 | 10k| 2 |2695 |2159 |-1.018036e+03 |-1.040000e+03 | 2.16%| unknown
1442.69/1447.46 c 427s| 6100 | 689 | 3091k| 504.2 | 400M | 42 |1527 |5238 |3305 | 10k| 2 |2835 |2215 |-1.018086e+03 |-1.040000e+03 | 2.15%| unknown
1451.17/1455.90 c 436s| 6200 | 701 | 3150k| 505.5 | 400M | 42 |1527 |5307 |3286 | 11k| 1 |2919 |2250 |-1.018179e+03 |-1.040000e+03 | 2.14%| unknown
1459.74/1464.54 c 444s| 6300 | 705 | 3226k| 509.5 | 400M | 42 |1527 |5367 |3299 | 11k| 0 |2999 |2286 |-1.018188e+03 |-1.040000e+03 | 2.14%| unknown
1467.81/1472.65 c 452s| 6400 | 723 | 3287k| 511.1 | 401M | 42 |1527 |5401 |3292 | 11k| 2 |3051 |2324 |-1.018255e+03 |-1.040000e+03 | 2.14%| unknown
1473.31/1478.14 c 458s| 6500 | 729 | 3331k| 510.0 | 401M | 42 |1527 |5445 |3298 | 11k| 1 |3109 |2363 |-1.018364e+03 |-1.040000e+03 | 2.12%| unknown
1477.98/1482.83 c 462s| 6600 | 733 | 3375k| 508.9 | 401M | 42 |1527 |5567 |3305 | 11k| 1 |3269 |2418 |-1.018364e+03 |-1.040000e+03 | 2.12%| unknown
1482.67/1487.59 c 467s| 6700 | 731 | 3419k| 507.9 | 401M | 42 |1527 |5665 |3296 | 11k| 1 |3400 |2465 |-1.018364e+03 |-1.040000e+03 | 2.12%| unknown
1489.95/1494.83 c 474s| 6800 | 743 | 3476k| 508.8 | 401M | 42 |1527 |5781 |3310 | 12k| 2 |3554 |2525 |-1.018400e+03 |-1.040000e+03 | 2.12%| unknown
1494.53/1499.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1494.53/1499.40 c 479s| 6900 | 741 | 3511k| 506.5 | 403M | 42 |1527 |5875 |3314 | 12k| 1 |3671 |2571 |-1.018400e+03 |-1.040000e+03 | 2.12%| unknown
1502.80/1507.76 c 487s| 7000 | 743 | 3570k| 507.7 | 406M | 43 |1527 |6090 |3306 | 12k| 1 |3956 |2652 |-1.018438e+03 |-1.040000e+03 | 2.12%| unknown
1511.68/1516.63 c 496s| 7100 | 749 | 3631k| 509.1 | 406M | 43 |1527 |6172 |3320 | 12k| 0 |4068 |2703 |-1.018470e+03 |-1.040000e+03 | 2.11%| unknown
1521.65/1526.60 c 506s| 7200 | 765 | 3697k| 511.2 | 406M | 43 |1527 |6219 |3299 | 12k| 1 |4153 |2749 |-1.018553e+03 |-1.040000e+03 | 2.11%| unknown
1531.72/1536.70 c 516s| 7300 | 777 | 3765k| 513.6 | 406M | 43 |1527 |6354 |3299 | 13k| 2 |4329 |2814 |-1.018589e+03 |-1.040000e+03 | 2.10%| unknown
1536.90/1541.91 c 522s| 7400 | 783 | 3805k| 512.1 | 405M | 43 |1527 |6401 |3301 | 13k| 0 |4393 |2853 |-1.018600e+03 |-1.040000e+03 | 2.10%| unknown
1542.00/1547.02 c 527s| 7500 | 789 | 3843k| 510.3 | 405M | 43 |1527 |6431 |3310 | 13k| 1 |4449 |2887 |-1.018603e+03 |-1.040000e+03 | 2.10%| unknown
1544.68/1549.75 c 529s| 7600 | 791 | 3874k| 507.7 | 405M | 43 |1527 |6475 |3308 | 13k| 0 |4510 |2905 |-1.018603e+03 |-1.040000e+03 | 2.10%| unknown
1557.34/1562.48 c 542s| 7700 | 815 | 3984k| 515.3 | 405M | 43 |1527 |6467 |3309 | 14k| 0 |4513 |2918 |-1.018708e+03 |-1.040000e+03 | 2.09%| unknown
1561.52/1566.67 c 546s| 7800 | 819 | 4024k| 513.9 | 406M | 43 |1527 |6471 |3301 | 14k| 0 |4536 |2930 |-1.018768e+03 |-1.040000e+03 | 2.08%| unknown
1565.51/1570.69 c 550s| 7900 | 821 | 4063k| 512.3 | 406M | 43 |1527 |6464 |3312 | 14k| 0 |4537 |2936 |-1.018793e+03 |-1.040000e+03 | 2.08%| unknown
1569.30/1574.48 c 554s| 8000 | 829 | 4105k| 511.2 | 406M | 43 |1527 |6467 |3309 | 14k| 1 |4545 |2938 |-1.018800e+03 |-1.040000e+03 | 2.08%| unknown
1571.29/1576.40 c 556s| 8100 | 827 | 4133k| 508.3 | 406M | 43 |1527 |6466 |3318 | 14k| 1 |4545 |2938 |-1.018800e+03 |-1.040000e+03 | 2.08%| unknown
1575.78/1580.93 c 561s| 8200 | 833 | 4174k| 507.1 | 406M | 43 |1527 |6461 |3314 | 14k| 1 |4548 |2947 |-1.018822e+03 |-1.040000e+03 | 2.08%| unknown
1578.07/1583.21 c 563s| 8300 | 833 | 4204k| 504.6 | 406M | 43 |1527 |6472 |3308 | 14k| 1 |4563 |2951 |-1.018822e+03 |-1.040000e+03 | 2.08%| unknown
1580.07/1585.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1580.07/1585.26 c 565s| 8400 | 831 | 4232k| 501.9 | 406M | 43 |1527 |6470 |3313 | 14k| 1 |4564 |2951 |-1.018822e+03 |-1.040000e+03 | 2.08%| unknown
1582.06/1587.21 c 567s| 8500 | 833 | 4258k| 499.1 | 406M | 43 |1527 |6470 |3321 | 14k| 2 |4564 |2952 |-1.018822e+03 |-1.040000e+03 | 2.08%| unknown
1584.05/1589.21 c 569s| 8600 | 831 | 4287k| 496.6 | 406M | 43 |1527 |6470 |3317 | 14k| 0 |4564 |2952 |-1.018822e+03 |-1.040000e+03 | 2.08%| unknown
1591.53/1596.76 c 576s| 8700 | 851 | 4351k| 498.3 | 406M | 43 |1527 |6463 |3319 | 15k| 1 |4583 |2953 |-1.018969e+03 |-1.040000e+03 | 2.06%| unknown
1595.42/1600.64 c 580s| 8800 | 855 | 4393k| 497.5 | 406M | 43 |1527 |6456 |3313 | 15k| 0 |4585 |2953 |-1.018973e+03 |-1.040000e+03 | 2.06%| unknown
1597.61/1602.86 c 582s| 8900 | 859 | 4424k| 495.3 | 406M | 43 |1527 |6475 |3317 | 15k| 0 |4610 |2959 |-1.018973e+03 |-1.040000e+03 | 2.06%| unknown
1599.50/1604.76 c 584s| 9000 | 855 | 4451k| 492.9 | 406M | 43 |1527 |6474 |3313 | 15k| 0 |4610 |2959 |-1.018973e+03 |-1.040000e+03 | 2.06%| unknown
1601.50/1606.72 c 586s| 9100 | 855 | 4478k| 490.4 | 406M | 43 |1527 |6473 |3313 | 15k| 0 |4611 |2959 |-1.018973e+03 |-1.040000e+03 | 2.06%| unknown
1604.09/1609.33 c 589s| 9200 | 853 | 4511k| 488.6 | 407M | 43 |1527 |6479 |3315 | 15k| 1 |4618 |2959 |-1.018973e+03 |-1.040000e+03 | 2.06%| unknown
1606.68/1611.92 c 592s| 9300 | 857 | 4546k| 487.1 | 407M | 43 |1527 |6478 |3319 | 15k| 1 |4619 |2960 |-1.018973e+03 |-1.040000e+03 | 2.06%| unknown
1609.27/1614.56 c 594s| 9400 | 863 | 4580k| 485.6 | 407M | 43 |1527 |6497 |3323 | 15k| 1 |4643 |2966 |-1.018973e+03 |-1.040000e+03 | 2.06%| unknown
1615.55/1620.80 c 600s| 9500 | 877 | 4631k| 485.8 | 407M | 43 |1527 |6493 |3325 | 15k| 1 |4657 |2969 |-1.019056e+03 |-1.040000e+03 | 2.06%| unknown
1618.05/1623.38 c 603s| 9600 | 879 | 4667k| 484.5 | 407M | 43 |1527 |6493 |3331 | 15k| 1 |4660 |2970 |-1.019056e+03 |-1.040000e+03 | 2.06%| unknown
1621.04/1626.32 c 606s| 9700 | 887 | 4706k| 483.5 | 407M | 43 |1527 |6496 |3322 | 15k| 0 |4669 |2970 |-1.019085e+03 |-1.040000e+03 | 2.05%| unknown
1626.52/1631.83 c 611s| 9800 | 899 | 4757k| 483.8 | 407M | 43 |1527 |6494 |3330 | 16k| 1 |4677 |2977 |-1.019146e+03 |-1.040000e+03 | 2.05%| unknown
1628.61/1633.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1628.61/1633.90 c 614s| 9900 | 899 | 4783k| 481.5 | 408M | 43 |1527 |6543 |3333 | 16k| 1 |4734 |2984 |-1.019146e+03 |-1.040000e+03 | 2.05%| unknown
1631.40/1636.74 c 616s| 10000 | 899 | 4813k| 479.7 | 408M | 45 |1527 |6571 |3338 | 16k| 1 |4768 |2992 |-1.019146e+03 |-1.040000e+03 | 2.05%| unknown
1635.49/1640.85 c 620s| 10100 | 901 | 4854k| 479.0 | 409M | 45 |1527 |6603 |3319 | 16k| 1 |4816 |2999 |-1.019212e+03 |-1.040000e+03 | 2.04%| unknown
1644.86/1650.20 c 630s| 10200 | 911 | 4940k| 482.7 | 409M | 45 |1527 |6604 |3334 | 16k| 1 |4826 |3004 |-1.019236e+03 |-1.040000e+03 | 2.04%| unknown
1646.86/1652.28 c 632s| 10300 | 907 | 4967k| 480.7 | 409M | 45 |1527 |6601 |3337 | 16k| 1 |4826 |3004 |-1.019236e+03 |-1.040000e+03 | 2.04%| unknown
1649.25/1654.67 c 634s| 10400 | 905 | 4996k| 478.9 | 409M | 45 |1527 |6620 |3341 | 16k| 0 |4849 |3007 |-1.019236e+03 |-1.040000e+03 | 2.04%| unknown
1653.83/1659.26 c 639s| 10500 | 919 | 5036k| 478.1 | 413M | 45 |1527 |6638 |3340 | 16k| 0 |4882 |3024 |-1.019305e+03 |-1.040000e+03 | 2.03%| unknown
1660.01/1665.49 c 645s| 10600 | 925 | 5085k| 478.2 | 421M | 45 |1527 |6686 |3343 | 16k| 0 |4956 |3049 |-1.019314e+03 |-1.040000e+03 | 2.03%| unknown
1667.39/1672.82 c 652s| 10700 | 929 | 5128k| 477.8 | 429M | 48 |1527 |6697 |3347 | 17k| 0 |4995 |3082 |-1.019323e+03 |-1.040000e+03 | 2.03%| unknown
1669.98/1675.47 c 655s| 10800 | 927 | 5159k| 476.2 | 429M | 48 |1527 |6715 |3327 | 17k| 0 |5026 |3089 |-1.019323e+03 |-1.040000e+03 | 2.03%| unknown
1675.77/1681.23 c 661s| 10900 | 931 | 5204k| 475.9 | 429M | 48 |1527 |6730 |3341 | 17k| 0 |5053 |3115 |-1.019325e+03 |-1.040000e+03 | 2.03%| unknown
1682.66/1688.17 c 668s| 11000 | 941 | 5256k| 476.4 | 427M | 48 |1527 |6728 |3342 | 17k| 1 |5061 |3150 |-1.019332e+03 |-1.040000e+03 | 2.03%| unknown
1686.73/1692.27 c 672s| 11100 | 941 | 5295k| 475.6 | 424M | 48 |1527 |6737 |3328 | 17k| 0 |5083 |3156 |-1.019334e+03 |-1.040000e+03 | 2.03%| unknown
1693.91/1699.48 c 679s| 11200 | 947 | 5345k| 475.9 | 422M | 48 |1527 |6777 |3335 | 17k| 0 |5164 |3205 |-1.019340e+03 |-1.040000e+03 | 2.03%| unknown
1698.89/1704.49 c 684s| 11300 | 957 | 5396k| 476.1 | 421M | 48 |1527 |6832 |3335 | 17k| 0 |5258 |3235 |-1.019362e+03 |-1.040000e+03 | 2.02%| unknown
1702.38/1707.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1702.38/1707.92 c 688s| 11400 | 957 | 5436k| 475.5 | 421M | 48 |1527 |6942 |3328 | 17k| 0 |5407 |3265 |-1.019362e+03 |-1.040000e+03 | 2.02%| unknown
1709.26/1714.85 c 694s| 11500 | 965 | 5498k| 476.7 | 421M | 48 |1527 |7057 |3345 | 18k| 2 |5636 |3326 |-1.019366e+03 |-1.040000e+03 | 2.02%| unknown
1714.35/1719.94 c 700s| 11600 | 965 | 5546k| 476.7 | 421M | 48 |1527 |7137 |3330 | 18k| 0 |5857 |3383 |-1.019459e+03 |-1.040000e+03 | 2.01%| unknown
1719.33/1724.97 c 705s| 11700 | 975 | 5602k| 477.5 | 421M | 48 |1527 |7144 |3336 | 18k| 1 |5904 |3394 |-1.019522e+03 |-1.040000e+03 | 2.01%| unknown
1723.82/1729.46 c 709s| 11800 | 977 | 5644k| 477.0 | 422M | 48 |1527 |7172 |3338 | 18k| 1 |6000 |3418 |-1.019525e+03 |-1.040000e+03 | 2.01%| unknown
1731.29/1736.99 c 717s| 11900 | 981 | 5721k| 479.4 | 422M | 48 |1527 |7168 |3349 | 18k| 0 |6086 |3444 |-1.019545e+03 |-1.040000e+03 | 2.01%| unknown
1737.39/1743.05 c 723s| 12000 | 989 | 5775k| 479.9 | 422M | 48 |1527 |7242 |3337 | 18k| 0 |6255 |3505 |-1.019619e+03 |-1.040000e+03 | 2.00%| unknown
1740.27/1745.98 c 726s| 12100 | 991 | 5816k| 479.3 | 422M | 48 |1527 |7247 |3341 | 18k| 0 |6264 |3506 |-1.019619e+03 |-1.040000e+03 | 2.00%| unknown
1743.55/1749.20 c 729s| 12200 | 991 | 5854k| 478.6 | 422M | 48 |1527 |7319 |3345 | 19k| 1 |6366 |3529 |-1.019619e+03 |-1.040000e+03 | 2.00%| unknown
1749.74/1755.46 c 735s| 12300 | 995 | 5902k| 478.5 | 422M | 48 |1527 |7436 |3342 | 19k| 1 |6559 |3614 |-1.019621e+03 |-1.040000e+03 | 2.00%| unknown
1754.44/1760.16 c 740s| 12400 | 995 | 5935k| 477.3 | 422M | 48 |1527 |7508 |3351 | 19k| 1 |6661 |3671 |-1.019621e+03 |-1.040000e+03 | 2.00%| unknown
1759.90/1765.64 c 745s| 12500 | 1001 | 5976k| 476.8 | 422M | 48 |1527 |7320 |3353 | 19k| 1 |6738 |3724 |-1.019664e+03 |-1.040000e+03 | 1.99%| unknown
1765.89/1771.67 c 751s| 12600 | 1007 | 6021k| 476.6 | 423M | 48 |1527 |7243 |3359 | 19k| 1 |6780 |3754 |-1.019702e+03 |-1.040000e+03 | 1.99%| unknown
1772.38/1778.13 c 758s| 12700 | 1019 | 6077k| 477.3 | 423M | 48 |1527 |7241 |3354 | 19k| 1 |6827 |3777 |-1.019761e+03 |-1.040000e+03 | 1.98%| unknown
1779.64/1785.45 c 765s| 12800 | 1027 | 6153k| 479.5 | 423M | 48 |1527 |7290 |3355 | 19k| 1 |6918 |3810 |-1.019779e+03 |-1.040000e+03 | 1.98%| unknown
1785.82/1791.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1785.82/1791.61 c 771s| 12900 | 1035 | 6202k| 479.6 | 423M | 48 |1527 |7180 |3361 | 19k| 0 |6968 |3836 |-1.019813e+03 |-1.040000e+03 | 1.98%| unknown
1794.39/1800.25 c 780s| 13000 | 1041 | 6259k| 480.2 | 424M | 48 |1527 |7098 |3356 | 20k| 0 |6980 |3865 |-1.019833e+03 |-1.040000e+03 | 1.98%| unknown
1798.88/1804.77 c 784s| 13100 | 1047 | 6301k| 479.8 | 424M | 48 |1527 |7072 |3358 | 20k| 2 |7003 |3876 |-1.019909e+03 |-1.040000e+03 | 1.97%| unknown
1803.77/1809.60 c 789s| 13200 | 1055 | 6349k| 479.8 | 424M | 48 |1527 |7045 |3353 | 20k| 0 |7038 |3889 |-1.019937e+03 |-1.040000e+03 | 1.97%| unknown
1807.95/1813.84 c 793s| 13300 | 1061 | 6393k| 479.5 | 424M | 48 |1527 |6970 |3358 | 20k| 0 |7049 |3894 |-1.019969e+03 |-1.040000e+03 | 1.96%| unknown
1812.74/1818.67 c 798s| 13400 | 1061 | 6435k| 479.0 | 424M | 48 |1527 |6941 |3360 | 20k| 1 |7104 |3920 |-1.019990e+03 |-1.040000e+03 | 1.96%| unknown
1817.32/1823.20 c 803s| 13500 | 1065 | 6480k| 478.8 | 424M | 48 |1527 |6926 |3353 | 20k| 1 |7121 |3924 |-1.020004e+03 |-1.040000e+03 | 1.96%| unknown
1820.51/1826.44 c 806s| 13600 | 1067 | 6522k| 478.4 | 424M | 48 |1527 |6964 |3358 | 20k| 0 |7194 |3939 |-1.020004e+03 |-1.040000e+03 | 1.96%| unknown
1828.20/1834.13 c 814s| 13700 | 1085 | 6582k| 479.3 | 425M | 48 |1527 |6950 |3367 | 21k| 1 |7288 |3969 |-1.020062e+03 |-1.040000e+03 | 1.95%| unknown
1832.09/1838.07 c 818s| 13800 | 1083 | 6615k| 478.2 | 426M | 48 |1527 |6991 |3363 | 21k| 0 |7364 |4013 |-1.020062e+03 |-1.040000e+03 | 1.95%| unknown
1835.47/1841.46 c 821s| 13900 | 1079 | 6653k| 477.5 | 427M | 48 |1527 |7023 |3364 | 21k| 1 |7413 |4026 |-1.020062e+03 |-1.040000e+03 | 1.95%| unknown
1838.86/1844.87 c 824s| 14000 | 1083 | 6691k| 476.8 | 427M | 48 |1527 |7023 |3363 | 21k| 1 |7435 |4044 |-1.020062e+03 |-1.040000e+03 | 1.95%| unknown
1841.75/1847.79 c 827s| 14100 | 1081 | 6726k| 475.9 | 427M | 48 |1527 |7034 |3353 | 21k| 0 |7459 |4052 |-1.020062e+03 |-1.040000e+03 | 1.95%| unknown
1849.32/1855.35 c 835s| 14200 | 1093 | 6791k| 477.1 | 427M | 48 |1527 |6896 |3367 | 21k| 1 |7501 |4075 |-1.020130e+03 |-1.040000e+03 | 1.95%| unknown
1855.12/1861.16 c 841s| 14300 | 1099 | 6843k| 477.4 | 427M | 48 |1527 |6893 |3363 | 21k| 1 |7563 |4099 |-1.020147e+03 |-1.040000e+03 | 1.95%| unknown
1860.79/1866.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1860.79/1866.85 c 846s| 14400 | 1107 | 6890k| 477.3 | 427M | 48 |1527 |6857 |3371 | 21k| 0 |7622 |4117 |-1.020177e+03 |-1.040000e+03 | 1.94%| unknown
1866.98/1873.02 c 853s| 14500 | 1117 | 6945k| 477.9 | 429M | 48 |1527 |6863 |3370 | 22k| 0 |7729 |4148 |-1.020204e+03 |-1.040000e+03 | 1.94%| unknown
1878.05/1884.14 c 864s| 14600 | 1133 | 7016k| 479.5 | 429M | 48 |1527 |6876 |3372 | 22k| 0 |7911 |4234 |-1.020223e+03 |-1.040000e+03 | 1.94%| unknown
1881.82/1887.96 c 868s| 14700 | 1133 | 7050k| 478.5 | 431M | 48 |1527 |6876 |3376 | 22k| 1 |7924 |4250 |-1.020223e+03 |-1.040000e+03 | 1.94%| unknown
1885.81/1891.94 c 872s| 14800 | 1133 | 7090k| 478.0 | 443M | 48 |1527 |6884 |3386 | 22k| 0 |7935 |4251 |-1.020223e+03 |-1.040000e+03 | 1.94%| unknown
1889.03/1895.19 c 875s| 14900 | 1133 | 7125k| 477.2 | 465M | 48 |1527 |6895 |3382 | 22k| 0 |7951 |4255 |-1.020223e+03 |-1.040000e+03 | 1.94%| unknown
1894.39/1900.56 c 880s| 15000 | 1143 | 7173k| 477.1 | 501M | 49 |1527 |6879 |3383 | 22k| 1 |7971 |4255 |-1.020231e+03 |-1.040000e+03 | 1.94%| unknown
1900.88/1907.10 c 887s| 15100 | 1155 | 7236k| 478.1 | 507M | 49 |1527 |6810 |3382 | 22k| 0 |7984 |4258 |-1.020279e+03 |-1.040000e+03 | 1.93%| unknown
1909.14/1915.31 c 895s| 15200 | 1159 | 7309k| 479.8 | 539M | 49 |1527 |6796 |3391 | 23k| 1 |7991 |4262 |-1.020308e+03 |-1.040000e+03 | 1.93%| unknown
1915.22/1921.46 c 901s| 15300 | 1161 | 7367k| 480.5 | 536M | 49 |1527 |6743 |3276 | 23k| 0 |8004 |4265 |-1.020338e+03 |-1.040000e+03 | 1.93%| unknown
1918.01/1924.22 c 904s| 15400 | 1161 | 7406k| 479.9 | 530M | 49 |1527 |6734 |3264 | 23k| 1 |8005 |4265 |-1.020338e+03 |-1.040000e+03 | 1.93%| unknown
1920.60/1926.89 c 907s| 15500 | 1159 | 7442k| 479.1 | 525M | 49 |1527 |6738 |3289 | 23k| 0 |8014 |4266 |-1.020338e+03 |-1.040000e+03 | 1.93%| unknown
1924.09/1930.38 c 910s| 15600 | 1167 | 7487k| 478.9 | 520M | 49 |1527 |6701 |3310 | 23k| 1 |8016 |4266 |-1.020385e+03 |-1.040000e+03 | 1.92%| unknown
1928.38/1934.69 c 914s| 15700 | 1169 | 7530k| 478.6 | 519M | 49 |1527 |6677 |3311 | 23k| 0 |8019 |4267 |-1.020395e+03 |-1.040000e+03 | 1.92%| unknown
1933.56/1939.85 c 919s| 15800 | 1171 | 7579k| 478.7 | 515M | 49 |1527 |6661 |3386 | 24k| 0 |8020 |4274 |-1.020427e+03 |-1.040000e+03 | 1.92%| unknown
1938.25/1944.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1938.25/1944.56 c 924s| 15900 | 1179 | 7629k| 478.8 | 516M | 49 |1527 |6634 |3304 | 24k| 1 |8026 |4274 |-1.020431e+03 |-1.040000e+03 | 1.92%| unknown
1942.85/1949.17 c 929s| 16000 | 1185 | 7678k| 478.9 | 516M | 49 |1527 |6635 |3310 | 24k| 1 |8058 |4276 |-1.020433e+03 |-1.040000e+03 | 1.92%| unknown
1949.31/1955.65 c 935s| 16100 | 1195 | 7743k| 479.9 | 516M | 49 |1527 |6616 |3315 | 24k| 0 |8060 |4279 |-1.020448e+03 |-1.040000e+03 | 1.92%| unknown
1958.39/1964.70 c 944s| 16200 | 1205 | 7836k| 482.7 | 516M | 49 |1527 |6638 |3317 | 25k| 0 |8098 |4282 |-1.020456e+03 |-1.040000e+03 | 1.92%| unknown
1962.79/1969.14 c 949s| 16300 | 1211 | 7885k| 482.8 | 516M | 49 |1527 |6635 |3323 | 25k| 1 |8099 |4283 |-1.020460e+03 |-1.040000e+03 | 1.91%| unknown
1968.56/1974.92 c 955s| 16400 | 1219 | 7940k| 483.2 | 516M | 49 |1527 |6611 |3334 | 25k| 1 |8101 |4284 |-1.020482e+03 |-1.040000e+03 | 1.91%| unknown
1973.24/1979.62 c 959s| 16500 | 1217 | 7992k| 483.4 | 516M | 49 |1527 |6615 |3303 | 25k| 0 |8121 |4284 |-1.020524e+03 |-1.040000e+03 | 1.91%| unknown
1976.83/1983.24 c 963s| 16600 | 1223 | 8039k| 483.3 | 516M | 49 |1527 |6604 |3310 | 25k| 0 |8122 |4284 |-1.020524e+03 |-1.040000e+03 | 1.91%| unknown
1981.11/1987.53 c 967s| 16700 | 1221 | 8083k| 483.1 | 516M | 49 |1527 |6711 |3348 | 26k| 0 |8264 |4316 |-1.020524e+03 |-1.040000e+03 | 1.91%| unknown
1986.00/1992.43 c 972s| 16800 | 1227 | 8133k| 483.1 | 516M | 49 |1527 |6693 |3314 | 26k| 1 |8287 |4337 |-1.020533e+03 |-1.040000e+03 | 1.91%| unknown
1990.09/1996.53 c 976s| 16900 | 1223 | 8176k| 482.8 | 516M | 49 |1527 |6742 |3340 | 26k| 0 |8375 |4368 |-1.020533e+03 |-1.040000e+03 | 1.91%| unknown
1995.07/2001.55 c 981s| 17000 | 1221 | 8227k| 483.0 | 516M | 49 |1527 |6758 |3328 | 26k| 2 |8466 |4401 |-1.020533e+03 |-1.040000e+03 | 1.91%| unknown
1999.16/2005.60 c 985s| 17100 | 1221 | 8273k| 482.9 | 516M | 49 |1527 |6788 |3284 | 26k| 0 |8529 |4423 |-1.020533e+03 |-1.040000e+03 | 1.91%| unknown
2004.84/2011.39 c 991s| 17200 | 1225 | 8319k| 482.7 | 516M | 49 |1527 |6773 |3306 | 26k| 0 |8598 |4452 |-1.020548e+03 |-1.040000e+03 | 1.91%| unknown
2008.43/2014.93 c 995s| 17300 | 1225 | 8362k| 482.4 | 516M | 49 |1527 |6799 |3323 | 26k| 1 |8643 |4463 |-1.020548e+03 |-1.040000e+03 | 1.91%| unknown
2011.53/2018.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2011.53/2018.01 c 998s| 17400 | 1225 | 8401k| 481.9 | 516M | 49 |1527 |6831 |3319 | 26k| 0 |8686 |4474 |-1.020548e+03 |-1.040000e+03 | 1.91%| unknown
2018.30/2024.81 c 1004s| 17500 | 1233 | 8457k| 482.4 | 516M | 49 |1527 |6764 |3302 | 27k| 0 |8754 |4500 |-1.020591e+03 |-1.040000e+03 | 1.90%| unknown
2024.38/2030.97 c 1011s| 17600 | 1237 | 8512k| 482.7 | 516M | 49 |1527 |6707 |3342 | 27k| 0 |8773 |4515 |-1.020595e+03 |-1.040000e+03 | 1.90%| unknown
2029.16/2035.74 c 1015s| 17700 | 1237 | 8555k| 482.5 | 516M | 49 |1527 |6698 |3324 | 27k| 0 |8789 |4546 |-1.020595e+03 |-1.040000e+03 | 1.90%| unknown
2033.95/2040.59 c 1020s| 17800 | 1243 | 8606k| 482.6 | 516M | 49 |1527 |6715 |3316 | 27k| 0 |8831 |4555 |-1.020613e+03 |-1.040000e+03 | 1.90%| unknown
2039.54/2046.17 c 1026s| 17900 | 1249 | 8657k| 482.7 | 516M | 49 |1527 |6708 |3319 | 28k| 0 |8881 |4578 |-1.020627e+03 |-1.040000e+03 | 1.90%| unknown
2043.71/2050.35 c 1030s| 18000 | 1247 | 8688k| 481.8 | 516M | 49 |1527 |6714 |3313 | 28k| 0 |8890 |4609 |-1.020627e+03 |-1.040000e+03 | 1.90%| unknown
2047.20/2053.82 c 1033s| 18100 | 1249 | 8733k| 481.6 | 516M | 49 |1527 |6713 |3313 | 28k| 0 |8890 |4609 |-1.020627e+03 |-1.040000e+03 | 1.90%| unknown
2050.69/2057.32 c 1037s| 18200 | 1247 | 8767k| 480.8 | 516M | 49 |1527 |6728 |3295 | 28k| 1 |8908 |4625 |-1.020627e+03 |-1.040000e+03 | 1.90%| unknown
2056.57/2063.23 c 1043s| 18300 | 1253 | 8816k| 480.9 | 516M | 49 |1527 |6630 |3331 | 28k| 0 |8909 |4647 |-1.020636e+03 |-1.040000e+03 | 1.90%| unknown
2064.55/2071.23 c 1051s| 18400 | 1255 | 8863k| 480.8 | 517M | 49 |1527 |6629 |3295 | 28k| 1 |8938 |4706 |-1.020636e+03 |-1.040000e+03 | 1.90%| unknown
2072.23/2078.99 c 1059s| 18500 | 1267 | 8916k| 481.1 | 517M | 49 |1527 |6569 |3310 | 29k| 0 |8954 |4740 |-1.020683e+03 |-1.040000e+03 | 1.89%| unknown
2075.02/2081.77 c 1061s| 18600 | 1267 | 8951k| 480.4 | 517M | 49 |1527 |6569 |3311 | 29k| 0 |8956 |4740 |-1.020683e+03 |-1.040000e+03 | 1.89%| unknown
2083.09/2089.81 c 1069s| 18700 | 1277 | 9008k| 480.9 | 517M | 49 |1527 |6572 |3266 | 29k| 0 |9076 |4794 |-1.020722e+03 |-1.040000e+03 | 1.89%| unknown
2086.08/2092.84 c 1072s| 18800 | 1275 | 9046k| 480.3 | 517M | 49 |1527 |6614 |3288 | 29k| 2 |9133 |4807 |-1.020722e+03 |-1.040000e+03 | 1.89%| unknown
2089.07/2095.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2089.07/2095.80 c 1075s| 18900 | 1277 | 9085k| 479.9 | 517M | 49 |1527 |6614 |3292 | 29k| 0 |9133 |4807 |-1.020722e+03 |-1.040000e+03 | 1.89%| unknown
2091.96/2098.70 c 1078s| 19000 | 1273 | 9124k| 479.4 | 517M | 49 |1527 |6628 |3285 | 29k| 0 |9155 |4812 |-1.020722e+03 |-1.040000e+03 | 1.89%| unknown
2094.95/2101.70 c 1081s| 19100 | 1275 | 9163k| 478.9 | 517M | 49 |1527 |6621 |3279 | 29k| 0 |9155 |4814 |-1.020722e+03 |-1.040000e+03 | 1.89%| unknown
2098.74/2105.56 c 1085s| 19200 | 1279 | 9205k| 478.6 | 517M | 49 |1527 |6618 |3283 | 29k| 0 |9156 |4817 |-1.020725e+03 |-1.040000e+03 | 1.89%| unknown
2103.13/2109.97 c 1090s| 19300 | 1283 | 9247k| 478.3 | 517M | 49 |1527 |6491 |3277 | 30k| 0 |9157 |4823 |-1.020755e+03 |-1.040000e+03 | 1.89%| unknown
2109.22/2116.04 c 1096s| 19400 | 1293 | 9303k| 478.7 | 517M | 49 |1527 |6393 |3291 | 30k| 0 |9177 |4825 |-1.020785e+03 |-1.040000e+03 | 1.88%| unknown
2112.80/2119.66 c 1099s| 19500 | 1299 | 9344k| 478.4 | 517M | 49 |1527 |6365 |3276 | 30k| 1 |9206 |4836 |-1.020786e+03 |-1.040000e+03 | 1.88%| unknown
2116.89/2123.78 c 1103s| 19600 | 1307 | 9389k| 478.2 | 517M | 49 |1527 |6298 |3287 | 30k| 0 |9209 |4836 |-1.020802e+03 |-1.040000e+03 | 1.88%| unknown
2120.97/2127.87 c 1107s| 19700 | 1319 | 9442k| 478.5 | 517M | 49 |1527 |6217 |3290 | 30k| 0 |9210 |4838 |-1.020826e+03 |-1.040000e+03 | 1.88%| unknown
2128.55/2135.46 c 1115s| 19800 | 1323 | 9527k| 480.4 | 517M | 49 |1527 |6178 |3296 | 30k| 0 |9229 |4844 |-1.020827e+03 |-1.040000e+03 | 1.88%| unknown
2132.54/2139.42 c 1119s| 19900 | 1327 | 9568k| 480.0 | 517M | 49 |1527 |6079 |3285 | 31k| 0 |9230 |4846 |-1.020831e+03 |-1.040000e+03 | 1.88%| unknown
2137.32/2144.25 c 1124s| 20000 | 1335 | 9615k| 480.0 | 517M | 49 |1527 |6068 |3288 | 31k| 0 |9273 |4862 |-1.020838e+03 |-1.040000e+03 | 1.88%| unknown
2140.01/2147.00 c 1127s| 20100 | 1339 | 9650k| 479.3 | 517M | 49 |1527 |6068 |3292 | 31k| 1 |9273 |4862 |-1.020838e+03 |-1.040000e+03 | 1.88%| unknown
2143.40/2150.36 c 1130s| 20200 | 1343 | 9692k| 479.0 | 517M | 49 |1527 |6048 |3285 | 31k| 1 |9299 |4867 |-1.020841e+03 |-1.040000e+03 | 1.88%| unknown
2146.39/2153.37 c 1133s| 20300 | 1345 | 9726k| 478.4 | 517M | 49 |1527 |6104 |3304 | 31k| 1 |9367 |4882 |-1.020841e+03 |-1.040000e+03 | 1.88%| unknown
2149.38/2156.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2149.38/2156.38 c 1136s| 20400 | 1343 | 9764k| 477.9 | 517M | 49 |1527 |6152 |3307 | 31k| 0 |9428 |4893 |-1.020841e+03 |-1.040000e+03 | 1.88%| unknown
2156.36/2163.37 c 1143s| 20500 | 1351 | 9818k| 478.2 | 517M | 49 |1527 |5998 |3312 | 31k| 2 |9477 |4922 |-1.020904e+03 |-1.040000e+03 | 1.87%| unknown
2161.16/2168.17 c 1148s| 20600 | 1369 | 9871k| 478.4 | 517M | 49 |1527 |5899 |3311 | 31k| 0 |9479 |4931 |-1.020917e+03 |-1.040000e+03 | 1.87%| unknown
2165.43/2172.43 c 1152s| 20700 | 1375 | 9918k| 478.4 | 517M | 49 |1527 |5840 |3310 | 31k| 1 |9482 |4931 |-1.020938e+03 |-1.040000e+03 | 1.87%| unknown
2167.63/2174.69 c 1154s| 20800 | 1373 | 9948k| 477.5 | 517M | 49 |1527 |5876 |3313 | 32k| 0 |9524 |4936 |-1.020938e+03 |-1.040000e+03 | 1.87%| unknown
2175.60/2182.69 c 1162s| 20900 | 1381 | 10011k| 478.2 | 517M | 49 |1527 |5852 |3313 | 32k| 1 |9723 |4976 |-1.020948e+03 |-1.040000e+03 | 1.87%| unknown
2179.49/2186.53 c 1166s| 21000 | 1381 | 10049k| 477.8 | 517M | 49 |1527 |5788 |3309 | 32k| 0 |9724 |4980 |-1.020958e+03 |-1.040000e+03 | 1.87%| unknown
2186.87/2193.90 c 1174s| 21100 | 1401 | 10115k| 478.6 | 517M | 49 |1527 |5707 |3317 | 32k| 1 |9726 |4989 |-1.021017e+03 |-1.040000e+03 | 1.86%| unknown
2189.56/2196.69 c 1176s| 21200 | 1403 | 10152k| 478.1 | 517M | 49 |1527 |5706 |3310 | 32k| 0 |9727 |4990 |-1.021017e+03 |-1.040000e+03 | 1.86%| unknown
2192.15/2199.24 c 1179s| 21300 | 1405 | 10188k| 477.6 | 517M | 49 |1527 |5719 |3311 | 32k| 1 |9742 |4993 |-1.021017e+03 |-1.040000e+03 | 1.86%| unknown
2194.44/2201.51 c 1181s| 21400 | 1405 | 10218k| 476.7 | 517M | 49 |1527 |5756 |3319 | 32k| 0 |9788 |5000 |-1.021017e+03 |-1.040000e+03 | 1.86%| unknown
2198.83/2205.99 c 1186s| 21500 | 1407 | 10256k| 476.3 | 517M | 49 |1527 |5771 |3320 | 32k| 0 |9885 |5022 |-1.021031e+03 |-1.040000e+03 | 1.86%| unknown
2201.62/2208.77 c 1188s| 21600 | 1407 | 10291k| 475.7 | 517M | 49 |1527 |5850 |3315 | 33k| 1 |9986 |5037 |-1.021031e+03 |-1.040000e+03 | 1.86%| unknown
2206.71/2213.89 c 1194s| 21700 | 1419 | 10345k| 476.0 | 517M | 49 |1527 |5776 |3310 | 33k| 1 | 10k|5043 |-1.021042e+03 |-1.040000e+03 | 1.86%| unknown
2210.91/2218.09 c 1198s| 21800 | 1421 | 10385k| 475.7 | 517M | 49 |1527 |5752 |3320 | 33k| 0 | 10k|5048 |-1.021050e+03 |-1.040000e+03 | 1.86%| unknown
2214.89/2222.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2214.89/2222.10 c 1202s| 21900 | 1435 | 10431k| 475.6 | 517M | 49 |1527 |5746 |3315 | 33k| 1 | 10k|5061 |-1.021056e+03 |-1.040000e+03 | 1.86%| unknown
2217.77/2224.94 c 1205s| 22000 | 1435 | 10470k| 475.2 | 517M | 49 |1527 |5753 |3314 | 33k| 2 | 10k|5063 |-1.021056e+03 |-1.040000e+03 | 1.86%| unknown
2220.98/2228.19 c 1208s| 22100 | 1441 | 10512k| 474.9 | 517M | 49 |1527 |5729 |3319 | 33k| 1 | 10k|5067 |-1.021083e+03 |-1.040000e+03 | 1.85%| unknown
2223.97/2231.15 c 1211s| 22200 | 1441 | 10548k| 474.4 | 517M | 49 |1527 |5746 |3315 | 33k| 1 | 10k|5075 |-1.021083e+03 |-1.040000e+03 | 1.85%| unknown
2228.14/2235.37 c 1215s| 22300 | 1447 | 10594k| 474.3 | 517M | 49 |1527 |5745 |3304 | 33k| 0 | 10k|5076 |-1.021108e+03 |-1.040000e+03 | 1.85%| unknown
2233.13/2240.37 c 1220s| 22400 | 1457 | 10648k| 474.6 | 518M | 49 |1527 |5709 |3322 | 33k| 2 | 10k|5089 |-1.021172e+03 |-1.040000e+03 | 1.84%| unknown
2236.93/2244.17 c 1224s| 22500 | 1463 | 10689k| 474.3 | 518M | 49 |1527 |5692 |3320 | 33k| 0 | 10k|5099 |-1.021185e+03 |-1.040000e+03 | 1.84%| unknown
2239.41/2246.63 c 1226s| 22600 | 1463 | 10724k| 473.8 | 518M | 49 |1527 |5692 |3333 | 33k| 0 | 10k|5099 |-1.021185e+03 |-1.040000e+03 | 1.84%| unknown
2242.00/2249.23 c 1229s| 22700 | 1459 | 10760k| 473.3 | 518M | 49 |1527 |5692 |3311 | 33k| 1 | 10k|5099 |-1.021185e+03 |-1.040000e+03 | 1.84%| unknown
2248.08/2255.31 c 1235s| 22800 | 1465 | 10807k| 473.3 | 518M | 49 |1527 |5665 |3319 | 34k| 1 | 10k|5125 |-1.021190e+03 |-1.040000e+03 | 1.84%| unknown
2253.06/2260.36 c 1240s| 22900 | 1467 | 10851k| 473.2 | 518M | 49 |1527 |5646 |3320 | 34k| 0 | 10k|5136 |-1.021250e+03 |-1.040000e+03 | 1.84%| unknown
2255.96/2263.20 c 1243s| 23000 | 1467 | 10888k| 472.7 | 518M | 49 |1527 |5646 |3311 | 34k| 1 | 10k|5136 |-1.021250e+03 |-1.040000e+03 | 1.84%| unknown
2260.34/2267.62 c 1247s| 23100 | 1469 | 10937k| 472.8 | 518M | 49 |1527 |5638 |3278 | 34k| 0 | 10k|5136 |-1.021252e+03 |-1.040000e+03 | 1.84%| unknown
2263.63/2270.94 c 1251s| 23200 | 1477 | 10980k| 472.6 | 518M | 49 |1527 |5607 |3306 | 34k| 2 | 10k|5136 |-1.021252e+03 |-1.040000e+03 | 1.84%| unknown
2266.02/2273.33 c 1253s| 23300 | 1477 | 11012k| 472.0 | 518M | 49 |1527 |5607 |3306 | 34k| 1 | 10k|5136 |-1.021252e+03 |-1.040000e+03 | 1.84%| unknown
2269.11/2276.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2269.11/2276.40 c 1256s| 23400 | 1477 | 11051k| 471.6 | 518M | 49 |1527 |5573 |3300 | 34k| 0 | 10k|5139 |-1.021255e+03 |-1.040000e+03 | 1.84%| unknown
2273.82/2281.18 c 1261s| 23500 | 1481 | 11096k| 471.5 | 518M | 49 |1527 |5536 |3290 | 34k| 0 | 10k|5143 |-1.021274e+03 |-1.040000e+03 | 1.83%| unknown
2281.18/2288.59 c 1268s| 23600 | 1489 | 11156k| 472.0 | 518M | 49 |1527 |5502 |3295 | 35k| 0 | 10k|5157 |-1.021309e+03 |-1.040000e+03 | 1.83%| unknown
2288.36/2295.76 c 1275s| 23700 | 1503 | 11235k| 473.4 | 518M | 49 |1527 |5468 |3303 | 35k| 1 | 10k|5170 |-1.021328e+03 |-1.040000e+03 | 1.83%| unknown
2294.44/2301.84 c 1281s| 23800 | 1509 | 11288k| 473.6 | 518M | 49 |1527 |5435 |3294 | 35k| 1 | 10k|5197 |-1.021333e+03 |-1.040000e+03 | 1.83%| unknown
2299.32/2306.70 c 1286s| 23900 | 1509 | 11326k| 473.2 | 518M | 49 |1527 |5473 |3293 | 35k| 1 | 10k|5239 |-1.021333e+03 |-1.040000e+03 | 1.83%| unknown
2305.72/2313.11 c 1293s| 24000 | 1523 | 11387k| 473.8 | 518M | 49 |1527 |5399 |3301 | 35k| 1 | 10k|5242 |-1.021412e+03 |-1.040000e+03 | 1.82%| unknown
2308.79/2316.23 c 1296s| 24100 | 1525 | 11426k| 473.5 | 518M | 49 |1527 |5434 |3303 | 35k| 1 | 10k|5256 |-1.021412e+03 |-1.040000e+03 | 1.82%| unknown
2311.98/2319.43 c 1299s| 24200 | 1521 | 11467k| 473.2 | 518M | 49 |1527 |5511 |3301 | 35k| 1 | 10k|5278 |-1.021412e+03 |-1.040000e+03 | 1.82%| unknown
2314.87/2322.37 c 1302s| 24300 | 1519 | 11501k| 472.6 | 518M | 49 |1527 |5514 |3258 | 35k| 1 | 10k|5286 |-1.021412e+03 |-1.040000e+03 | 1.82%| unknown
2319.26/2326.77 c 1306s| 24400 | 1523 | 11547k| 472.6 | 518M | 49 |1527 |5442 |3284 | 36k| 0 | 10k|5290 |-1.021424e+03 |-1.040000e+03 | 1.82%| unknown
2323.35/2330.88 c 1311s| 24500 | 1525 | 11588k| 472.3 | 518M | 49 |1527 |5473 |3306 | 36k| 1 | 10k|5312 |-1.021424e+03 |-1.040000e+03 | 1.82%| unknown
2329.83/2337.33 c 1317s| 24600 | 1533 | 11638k| 472.5 | 518M | 49 |1527 |5415 |3294 | 36k| 0 | 10k|5341 |-1.021472e+03 |-1.040000e+03 | 1.81%| unknown
2336.41/2343.94 c 1324s| 24700 | 1541 | 11693k| 472.7 | 518M | 49 |1527 |5414 |3307 | 36k| 1 | 10k|5366 |-1.021475e+03 |-1.040000e+03 | 1.81%| unknown
2339.40/2346.97 c 1327s| 24800 | 1539 | 11732k| 472.4 | 518M | 49 |1527 |5470 |3301 | 36k| 1 | 10k|5381 |-1.021475e+03 |-1.040000e+03 | 1.81%| unknown
2346.28/2353.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2346.28/2353.80 c 1333s| 24900 | 1543 | 11777k| 472.4 | 518M | 49 |1527 |5424 |3314 | 36k| 0 | 10k|5416 |-1.021481e+03 |-1.040000e+03 | 1.81%| unknown
2349.48/2357.03 c 1337s| 25000 | 1545 | 11819k| 472.1 | 518M | 49 |1527 |5434 |3306 | 36k| 0 | 10k|5421 |-1.021481e+03 |-1.040000e+03 | 1.81%| unknown
2355.25/2362.82 c 1342s| 25100 | 1549 | 11872k| 472.4 | 518M | 49 |1527 |5508 |3311 | 36k| 0 | 10k|5467 |-1.021490e+03 |-1.040000e+03 | 1.81%| unknown
2361.33/2368.98 c 1349s| 25200 | 1553 | 11924k| 472.5 | 518M | 49 |1527 |5556 |3309 | 37k| 0 | 10k|5502 |-1.021506e+03 |-1.040000e+03 | 1.81%| unknown
2368.80/2376.46 c 1356s| 25300 | 1565 | 11981k| 472.9 | 518M | 49 |1527 |5569 |3321 | 37k| 2 | 11k|5546 |-1.021538e+03 |-1.040000e+03 | 1.81%| unknown
2373.79/2381.43 c 1361s| 25400 | 1567 | 12024k| 472.8 | 518M | 49 |1527 |5554 |3311 | 37k| 1 | 11k|5555 |-1.021546e+03 |-1.040000e+03 | 1.81%| unknown
2380.57/2388.25 c 1368s| 25500 | 1577 | 12083k| 473.2 | 518M | 49 |1527 |5518 |3317 | 37k| 1 | 11k|5571 |-1.021592e+03 |-1.040000e+03 | 1.80%| unknown
2386.95/2394.63 c 1374s| 25600 | 1585 | 12139k| 473.6 | 518M | 49 |1527 |5615 |3323 | 37k| 0 | 11k|5608 |-1.021607e+03 |-1.040000e+03 | 1.80%| unknown
2393.73/2401.48 c 1381s| 25700 | 1591 | 12194k| 473.9 | 518M | 49 |1527 |5581 |3317 | 37k| 0 | 11k|5644 |-1.021638e+03 |-1.040000e+03 | 1.80%| unknown
2399.01/2406.77 c 1386s| 25800 | 1595 | 12237k| 473.7 | 518M | 49 |1527 |5525 |3287 | 37k| 0 | 11k|5674 |-1.021663e+03 |-1.040000e+03 | 1.79%| unknown
2406.79/2414.54 c 1394s| 25900 | 1611 | 12305k| 474.5 | 518M | 49 |1527 |5476 |3297 | 38k| 0 | 11k|5684 |-1.021664e+03 |-1.040000e+03 | 1.79%| unknown
2409.48/2417.28 c 1397s| 26000 | 1611 | 12341k| 474.0 | 518M | 49 |1527 |5474 |3307 | 38k| 0 | 11k|5685 |-1.021664e+03 |-1.040000e+03 | 1.79%| unknown
2412.38/2420.11 c 1400s| 26100 | 1609 | 12377k| 473.6 | 518M | 49 |1527 |5482 |3301 | 38k| 0 | 11k|5690 |-1.021664e+03 |-1.040000e+03 | 1.79%| unknown
2412.57/2420.38 c
2412.57/2420.38 c SCIP Status : solving was interrupted [time limit reached]
2412.57/2420.38 c Solving Time (sec) : 1400.00
2412.57/2420.38 c Solving Nodes : 26109
2412.57/2420.38 c Primal Bound : -1.04000000000000e+03 (595 solutions)
2412.57/2420.38 c Dual Bound : -1.02166411582172e+03
2412.57/2420.38 c Gap : 1.79 %
2412.57/2420.38 c SCIP status: 23 (TIMELIMIT)
2412.57/2420.38 c solveScip: freeing transform (!can_skip_free_transform)
2412.67/2420.40 c SCIP LP bound tightened UB: 949 -> 947
2412.67/2420.40 c pb_solver_status: sst_sat
2412.67/2420.40 c LB_goalvalue: 928
2412.67/2420.40 c UB_goalvalue: 947
2412.67/2420.40 c # improved by sat (lb/ub): 0, # improved by scip (lb): 0
2412.67/2420.40 c SCIP returned: sst_sat
2412.67/2420.40 c SCIP primal LB: 928, dual UB: 947
2412.67/2420.40 c Try to find a solution more than 934
2412.67/2420.41 c
2412.67/2420.41 c assumptions:
2412.67/2420.41 c invoking solver with time budget: 5.000000
2417.66/2425.42 c sat_solver_result: sst_unknown
2417.66/2425.42 c SAT solver timed out; proceeding to cooperative SCIP call
2417.66/2425.42 c Calling solveScip for cooperative mode with LB_goalvalue: 928, UB_goalvalue: 947
2417.66/2425.42 c scip solving with time budget: 1800.000000
2417.66/2425.42 c solveScip
2417.66/2425.42 c initScipForCoop
2417.66/2425.42 c Coop Mode: Using SCIP obj units for LB/UB: 928, +oo
2417.66/2425.43 c 10/10 feasible solutions given by solution candidate storage, new primal bound -1.040000e+03
2417.66/2425.43 c
2417.66/2425.43 c presolving:
2417.66/2425.43 c (round 1, fast) 148 del vars, 148 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3851 clqs, 0 implints
2417.66/2425.43 c (round 2, fast) 313 del vars, 702 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3297 clqs, 0 implints
2417.66/2425.44 c (round 3, fast) 368 del vars, 825 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3174 clqs, 0 implints
2417.66/2425.44 c (round 4, fast) 408 del vars, 947 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3052 clqs, 0 implints
2417.66/2425.44 c (round 5, fast) 427 del vars, 988 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3011 clqs, 0 implints
2417.66/2425.44 c (round 6, fast) 436 del vars, 1018 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2981 clqs, 0 implints
2417.66/2425.44 c (round 7, fast) 440 del vars, 1033 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2966 clqs, 0 implints
2417.66/2425.44 c (round 8, fast) 441 del vars, 1038 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2961 clqs, 0 implints
2417.66/2425.44 c (0.0s) running MILP presolver
2417.66/2425.44 c (0.0s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
2417.66/2425.45 c (round 9, exhaustive) 441 del vars, 1039 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2961 upgd conss, 0 impls, 2961 clqs, 0 implints
2417.66/2425.45 c (0.0s) probing: 51/1527 (3.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2417.66/2425.45 c (0.0s) probing aborted: 50/50 successive totally useless probings
2417.66/2425.46 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
2417.66/2425.46 c (0.0s) no symmetry present (symcode time: 0.00)
2417.66/2425.46 c presolving (10 rounds: 10 fast, 2 medium, 2 exhaustive):
2417.66/2425.46 c 441 deleted vars, 1039 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2417.66/2425.46 c 0 implications, 2961 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
2417.66/2425.46 c presolved problem has 1527 variables (1527 bin, 0 int, 0 cont) and 2961 constraints
2417.66/2425.46 c 2961 constraints of type <setppc>
2417.66/2425.46 c transformed objective value is always integral (scale: 1)
2417.66/2425.46 c Presolving Time: 0.03
2417.66/2425.46 c transformed 10/11 original solutions to the transformed problem space
2417.66/2425.46 c
2417.76/2425.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2417.76/2425.50 c 0.1s| 1 | 0 | 1902 | - | 435M | 0 |1527 |2962 |2961 | 0 | 0 | 0 | 0 |-9.805000e+02 |-1.040000e+03 | 6.07%| unknown
2417.86/2425.63 c 0.2s| 1 | 0 | 2430 | - | 435M | 0 |1527 |2962 |2985 | 24 | 1 | 0 | 0 |-9.905000e+02 |-1.040000e+03 | 5.00%| unknown
2417.95/2425.79 c 0.4s| 1 | 0 | 3296 | - | 435M | 0 |1527 |2962 |3005 | 44 | 2 | 0 | 0 |-9.932500e+02 |-1.040000e+03 | 4.71%| unknown
2418.37/2426.13 c 0.7s| 1 | 0 | 4407 | - | 435M | 0 |1527 |2962 |3025 | 64 | 3 | 0 | 0 |-9.972500e+02 |-1.040000e+03 | 4.29%| unknown
2418.65/2426.49 c 1.1s| 1 | 0 | 5307 | - | 435M | 0 |1527 |2962 |3045 | 84 | 4 | 0 | 0 |-9.990000e+02 |-1.040000e+03 | 4.10%| unknown
2419.05/2426.86 c 1.4s| 1 | 0 | 7528 | - | 435M | 0 |1527 |2962 |3068 | 107 | 5 | 0 | 0 |-1.002130e+03 |-1.040000e+03 | 3.78%| unknown
2419.65/2427.40 c 2.0s| 1 | 0 | 10124 | - | 435M | 0 |1527 |2962 |3081 | 120 | 6 | 0 | 0 |-1.003796e+03 |-1.040000e+03 | 3.61%| unknown
2421.05/2428.88 c 3.5s| 1 | 0 | 10985 | - | 435M | 0 |1527 |2962 |3087 | 126 | 7 | 0 | 0 |-1.004178e+03 |-1.040000e+03 | 3.57%| unknown
2421.84/2429.67 c 4.2s| 1 | 0 | 11859 | - | 438M | 0 |1527 |2962 |3090 | 129 | 8 | 0 | 0 |-1.004559e+03 |-1.040000e+03 | 3.53%| unknown
2422.54/2430.36 c 4.9s| 1 | 0 | 12539 | - | 447M | 0 |1527 |2962 |3092 | 131 | 9 | 0 | 0 |-1.004779e+03 |-1.040000e+03 | 3.51%| unknown
2423.14/2430.96 c 5.5s| 1 | 0 | 13935 | - | 457M | 0 |1527 |2962 |3100 | 139 | 10 | 0 | 0 |-1.005461e+03 |-1.040000e+03 | 3.44%| unknown
2423.35/2431.13 c 5.7s| 1 | 0 | 15432 | - | 457M | 0 |1527 |2962 |3104 | 144 | 11 | 0 | 0 |-1.005753e+03 |-1.040000e+03 | 3.41%| unknown
2423.44/2431.20 c 5.8s| 1 | 0 | 15536 | - | 457M | 0 |1527 |2962 |3107 | 147 | 12 | 0 | 0 |-1.005758e+03 |-1.040000e+03 | 3.40%| unknown
2423.54/2431.30 c 5.9s| 1 | 0 | 15975 | - | 457M | 0 |1527 |2962 |3109 | 149 | 13 | 0 | 0 |-1.005867e+03 |-1.040000e+03 | 3.39%| unknown
2423.54/2431.38 c 6.0s| 1 | 0 | 16096 | - | 457M | 0 |1527 |2962 |3111 | 151 | 14 | 0 | 0 |-1.005873e+03 |-1.040000e+03 | 3.39%| unknown
2423.64/2431.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2423.64/2431.45 c 6.0s| 1 | 0 | 16116 | - | 457M | 0 |1527 |2961 |3112 | 152 | 15 | 0 | 0 |-1.005875e+03 |-1.040000e+03 | 3.39%| unknown
2423.74/2431.52 c 6.1s| 1 | 0 | 16253 | - | 457M | 0 |1527 |2961 |3114 | 154 | 16 | 0 | 0 |-1.005889e+03 |-1.040000e+03 | 3.39%| unknown
2423.84/2431.60 c 6.2s| 1 | 0 | 16257 | - | 457M | 0 |1527 |2961 |3099 | 155 | 17 | 0 | 0 |-1.005889e+03 |-1.040000e+03 | 3.39%| unknown
2423.84/2431.69 c 6.3s| 1 | 0 | 16577 | - | 457M | 0 |1527 |2961 |3100 | 156 | 18 | 0 | 0 |-1.006020e+03 |-1.040000e+03 | 3.38%| unknown
2423.94/2431.76 c 6.3s| 1 | 0 | 16586 | - | 457M | 0 |1527 |2961 |3102 | 158 | 19 | 0 | 0 |-1.006020e+03 |-1.040000e+03 | 3.38%| unknown
2424.04/2431.84 c 6.4s| 1 | 0 | 16802 | - | 457M | 0 |1527 |2961 |3103 | 159 | 20 | 0 | 0 |-1.006061e+03 |-1.040000e+03 | 3.37%| unknown
2425.43/2433.20 c 7.8s| 1 | 2 | 16803 | - | 457M | 0 |1527 |2961 |3103 | 159 | 21 | 0 | 19 |-1.006539e+03 |-1.040000e+03 | 3.32%| unknown
2441.58/2449.43 c 24.0s| 100 | 37 | 67949 | 516.6 | 457M | 30 |1527 |2987 |3120 | 280 | 1 | 26 | 215 |-1.007766e+03 |-1.040000e+03 | 3.20%| unknown
2445.97/2453.85 c 28.4s| 200 | 55 |107118 | 453.8 | 457M | 30 |1527 |3043 |3117 | 313 | 1 | 82 | 230 |-1.008556e+03 |-1.040000e+03 | 3.12%| unknown
2448.86/2456.70 c 31.3s| 300 | 57 |130562 | 380.5 | 457M | 32 |1527 |3082 |3117 | 315 | 0 | 121 | 252 |-1.009143e+03 |-1.040000e+03 | 3.06%| unknown
2453.17/2461.02 c 35.6s| 400 | 61 |164952 | 371.3 | 457M | 32 |1527 |3082 |3119 | 345 | 1 | 121 | 267 |-1.009143e+03 |-1.040000e+03 | 3.06%| unknown
2460.53/2468.45 c 43.0s| 500 | 79 |212139 | 391.5 | 459M | 32 |1527 |3106 |3095 | 430 | 1 | 145 | 305 |-1.009917e+03 |-1.040000e+03 | 2.98%| unknown
2466.23/2474.15 c 48.7s| 600 | 89 |251957 | 392.6 | 452M | 32 |1527 |3176 |3129 | 607 | 2 | 215 | 326 |-1.010339e+03 |-1.040000e+03 | 2.94%| unknown
2469.40/2477.37 c 52.0s| 700 | 97 |277149 | 372.5 | 452M | 32 |1527 |3200 |3129 | 630 | 1 | 239 | 346 |-1.010468e+03 |-1.040000e+03 | 2.92%| unknown
2472.99/2481.00 c 55.6s| 800 | 101 |305816 | 361.7 | 452M | 32 |1527 |3211 |3131 | 680 | 0 | 250 | 361 |-1.010607e+03 |-1.040000e+03 | 2.91%| unknown
2485.45/2493.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2485.45/2493.44 c 68.0s| 900 | 135 |397428 | 423.4 | 452M | 32 |1527 |3256 |3132 |1034 | 1 | 295 | 397 |-1.011143e+03 |-1.040000e+03 | 2.85%| unknown
2503.11/2511.12 c 85.7s| 1000 | 185 |502382 | 486.1 | 457M | 32 |1527 |3375 |3201 |1574 | 4 | 414 | 478 |-1.011487e+03 |-1.040000e+03 | 2.82%| unknown
2529.31/2537.45 c 112s| 1100 | 261 |673470 | 597.5 | 482M | 32 |1527 |3489 |3185 |2506 | 1 | 541 | 552 |-1.011750e+03 |-1.040000e+03 | 2.79%| unknown
2547.87/2556.05 c 131s| 1200 | 327 |811511 | 662.8 | 496M | 32 |1527 |3521 |3153 |3205 | 0 | 600 | 627 |-1.011858e+03 |-1.040000e+03 | 2.78%| unknown
2564.82/2573.04 c 148s| 1300 | 379 |932357 | 704.8 | 496M | 32 |1527 |3551 |3148 |3828 | 1 | 652 | 684 |-1.012183e+03 |-1.040000e+03 | 2.75%| unknown
2579.26/2587.51 c 162s| 1400 | 409 | 1022k| 718.9 | 495M | 32 |1527 |3559 |3169 |4515 | 0 | 673 | 740 |-1.012183e+03 |-1.040000e+03 | 2.75%| unknown
2582.45/2590.74 c 165s| 1500 | 411 | 1053k| 691.8 | 494M | 32 |1527 |3579 |3181 |4638 | 1 | 699 | 758 |-1.012183e+03 |-1.040000e+03 | 2.75%| unknown
2591.42/2599.75 c 174s| 1600 | 431 | 1124k| 692.7 | 494M | 32 |1527 |3599 |3236 |4950 | 1 | 722 | 797 |-1.012500e+03 |-1.040000e+03 | 2.72%| unknown
2603.19/2611.53 c 186s| 1700 | 441 | 1219k| 707.8 | 494M | 32 |1527 |3631 |3253 |5286 | 1 | 769 | 845 |-1.012833e+03 |-1.040000e+03 | 2.68%| unknown
2606.48/2614.83 c 189s| 1800 | 441 | 1252k| 686.9 | 490M | 32 |1527 |3691 |3253 |5368 | 2 | 843 | 864 |-1.012833e+03 |-1.040000e+03 | 2.68%| unknown
2609.97/2618.30 c 193s| 1900 | 439 | 1278k| 664.1 | 490M | 32 |1527 |3691 |3241 |5398 | 1 | 843 | 889 |-1.012833e+03 |-1.040000e+03 | 2.68%| unknown
2616.35/2624.72 c 199s| 2000 | 449 | 1328k| 656.4 | 490M | 32 |1527 |3701 |3247 |5550 | 1 | 856 | 915 |-1.013880e+03 |-1.040000e+03 | 2.58%| unknown
2620.43/2628.87 c 203s| 2100 | 451 | 1364k| 642.1 | 490M | 32 |1527 |3701 |3247 |5606 | 1 | 856 | 940 |-1.013880e+03 |-1.040000e+03 | 2.58%| unknown
2624.63/2633.09 c 208s| 2200 | 455 | 1403k| 630.7 | 489M | 32 |1527 |3736 |3267 |5700 | 0 | 903 | 975 |-1.013880e+03 |-1.040000e+03 | 2.58%| unknown
2632.20/2640.61 c 215s| 2300 | 461 | 1455k| 625.7 | 489M | 32 |1527 |3761 |3276 |5988 | 0 | 937 |1004 |-1.014061e+03 |-1.040000e+03 | 2.56%| unknown
2642.46/2650.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2642.46/2650.99 c 226s| 2400 | 485 | 1533k| 632.1 | 489M | 32 |1527 |3841 |3241 |6269 | 1 |1041 |1055 |-1.015164e+03 |-1.040000e+03 | 2.45%| unknown
2646.95/2655.45 c 230s| 2500 | 487 | 1572k| 622.6 | 489M | 32 |1527 |3899 |3241 |6378 | 1 |1119 |1098 |-1.015164e+03 |-1.040000e+03 | 2.45%| unknown
2650.94/2659.41 c 234s| 2600 | 489 | 1605k| 611.4 | 489M | 32 |1527 |3923 |3258 |6446 | 0 |1148 |1132 |-1.015164e+03 |-1.040000e+03 | 2.45%| unknown
2655.92/2664.49 c 239s| 2700 | 503 | 1657k| 607.9 | 489M | 32 |1527 |3989 |3254 |6481 | 1 |1227 |1165 |-1.015617e+03 |-1.040000e+03 | 2.40%| unknown
2658.71/2667.22 c 242s| 2800 | 505 | 1686k| 596.4 | 489M | 32 |1527 |4044 |3259 |6496 | 2 |1296 |1191 |-1.015617e+03 |-1.040000e+03 | 2.40%| unknown
2661.40/2669.99 c 245s| 2900 | 501 | 1708k| 583.7 | 487M | 35 |1527 |4060 |3254 |6523 | 0 |1317 |1220 |-1.015617e+03 |-1.040000e+03 | 2.40%| unknown
2670.97/2679.55 c 254s| 3000 | 515 | 1770k| 584.9 | 487M | 35 |1527 |4085 |3269 |6951 | 1 |1350 |1258 |-1.016087e+03 |-1.040000e+03 | 2.35%| unknown
2675.86/2684.41 c 259s| 3100 | 521 | 1809k| 578.6 | 487M | 35 |1527 |4095 |3268 |7100 | 1 |1365 |1278 |-1.016145e+03 |-1.040000e+03 | 2.35%| unknown
2679.25/2687.89 c 262s| 3200 | 523 | 1843k| 571.1 | 487M | 35 |1527 |4147 |3271 |7115 | 1 |1433 |1314 |-1.016145e+03 |-1.040000e+03 | 2.35%| unknown
2683.73/2692.38 c 267s| 3300 | 525 | 1887k| 567.0 | 487M | 35 |1527 |4181 |3274 |7151 | 1 |1484 |1352 |-1.016159e+03 |-1.040000e+03 | 2.35%| unknown
2687.22/2695.86 c 270s| 3400 | 521 | 1916k| 559.0 | 487M | 35 |1527 |4200 |3272 |7167 | 1 |1512 |1381 |-1.016159e+03 |-1.040000e+03 | 2.35%| unknown
2691.21/2699.83 c 274s| 3500 | 523 | 1952k| 553.1 | 487M | 35 |1527 |4213 |3261 |7245 | 1 |1531 |1409 |-1.016159e+03 |-1.040000e+03 | 2.35%| unknown
2694.51/2703.18 c 278s| 3600 | 523 | 1981k| 545.8 | 487M | 35 |1527 |4251 |3263 |7312 | 1 |1572 |1436 |-1.016159e+03 |-1.040000e+03 | 2.35%| unknown
2700.40/2709.06 c 284s| 3700 | 527 | 2023k| 542.6 | 486M | 35 |1527 |4319 |3259 |7490 | 0 |1659 |1473 |-1.016233e+03 |-1.040000e+03 | 2.34%| unknown
2709.75/2718.46 c 293s| 3800 | 535 | 2095k| 547.0 | 486M | 35 |1527 |4334 |3262 |7765 | 0 |1680 |1502 |-1.016396e+03 |-1.040000e+03 | 2.32%| unknown
2716.03/2724.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2716.03/2724.77 c 299s| 3900 | 547 | 2142k| 545.1 | 486M | 35 |1527 |4359 |3262 |7914 | 1 |1711 |1540 |-1.016475e+03 |-1.040000e+03 | 2.31%| unknown
2718.63/2727.34 c 302s| 4000 | 547 | 2166k| 537.7 | 486M | 35 |1527 |4359 |3260 |7926 | 0 |1712 |1551 |-1.016487e+03 |-1.040000e+03 | 2.31%| unknown
2724.11/2732.87 c 307s| 4100 | 553 | 2207k| 534.6 | 486M | 35 |1527 |4379 |3268 |8094 | 2 |1740 |1576 |-1.016500e+03 |-1.040000e+03 | 2.31%| unknown
2729.59/2738.30 c 313s| 4200 | 563 | 2250k| 532.0 | 486M | 35 |1527 |4379 |3267 |8237 | 0 |1742 |1596 |-1.016680e+03 |-1.040000e+03 | 2.29%| unknown
2734.98/2743.79 c 318s| 4300 | 571 | 2287k| 528.1 | 486M | 35 |1527 |4445 |3272 |8381 | 0 |1826 |1639 |-1.016731e+03 |-1.040000e+03 | 2.29%| unknown
2741.75/2750.50 c 325s| 4400 | 581 | 2330k| 525.9 | 486M | 38 |1527 |4445 |3274 |8645 | 0 |1828 |1658 |-1.016901e+03 |-1.040000e+03 | 2.27%| unknown
2744.36/2753.18 c 328s| 4500 | 575 | 2352k| 519.2 | 486M | 39 |1527 |4557 |3272 |8664 | 0 |1959 |1695 |-1.016901e+03 |-1.040000e+03 | 2.27%| unknown
2749.63/2758.49 c 333s| 4600 | 585 | 2399k| 518.2 | 486M | 39 |1527 |4557 |3267 |8783 | 0 |1959 |1712 |-1.017127e+03 |-1.040000e+03 | 2.25%| unknown
2753.12/2761.90 c 336s| 4700 | 583 | 2429k| 513.3 | 486M | 39 |1527 |4644 |3265 |8824 | 1 |2069 |1757 |-1.017127e+03 |-1.040000e+03 | 2.25%| unknown
2758.80/2767.65 c 342s| 4800 | 595 | 2477k| 512.8 | 486M | 39 |1527 |4666 |3277 |8960 | 2 |2099 |1781 |-1.017223e+03 |-1.040000e+03 | 2.24%| unknown
2769.28/2778.17 c 353s| 4900 | 607 | 2564k| 520.1 | 486M | 39 |1527 |4758 |3283 |9149 | 0 |2211 |1826 |-1.017312e+03 |-1.040000e+03 | 2.23%| unknown
2774.55/2783.40 c 358s| 5000 | 623 | 2612k| 519.2 | 486M | 39 |1527 |4788 |3281 |9211 | 1 |2251 |1858 |-1.017331e+03 |-1.040000e+03 | 2.23%| unknown
2781.03/2789.92 c 364s| 5100 | 631 | 2659k| 518.2 | 486M | 39 |1527 |4851 |3290 |9347 | 2 |2333 |1904 |-1.017401e+03 |-1.040000e+03 | 2.22%| unknown
2784.62/2793.53 c 368s| 5200 | 631 | 2691k| 514.4 | 486M | 39 |1527 |4917 |3293 |9378 | 2 |2411 |1934 |-1.017401e+03 |-1.040000e+03 | 2.22%| unknown
2787.51/2796.47 c 371s| 5300 | 629 | 2718k| 509.9 | 486M | 39 |1527 |4935 |3282 |9402 | 0 |2434 |1950 |-1.017401e+03 |-1.040000e+03 | 2.22%| unknown
2795.10/2804.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2795.10/2804.04 c 379s| 5400 | 641 | 2771k| 510.2 | 486M | 39 |1527 |4934 |3279 |9660 | 1 |2437 |1980 |-1.017619e+03 |-1.040000e+03 | 2.20%| unknown
2801.57/2810.52 c 385s| 5500 | 649 | 2818k| 509.5 | 486M | 39 |1527 |5039 |3278 |9786 | 2 |2570 |2030 |-1.017703e+03 |-1.040000e+03 | 2.19%| unknown
2807.07/2816.06 c 391s| 5600 | 659 | 2865k| 508.7 | 486M | 39 |1527 |5036 |3284 |9911 | 1 |2572 |2050 |-1.017813e+03 |-1.040000e+03 | 2.18%| unknown
2815.93/2824.93 c 400s| 5700 | 669 | 2920k| 509.5 | 486M | 39 |1527 |5091 |3294 | 10k| 0 |2647 |2090 |-1.017955e+03 |-1.040000e+03 | 2.17%| unknown
2819.42/2828.41 c 403s| 5800 | 675 | 2955k| 506.8 | 486M | 39 |1527 |5096 |3285 | 10k| 1 |2655 |2108 |-1.018000e+03 |-1.040000e+03 | 2.16%| unknown
2826.49/2835.51 c 410s| 5900 | 683 | 3009k| 507.3 | 486M | 39 |1527 |5125 |3294 | 10k| 1 |2694 |2142 |-1.018036e+03 |-1.040000e+03 | 2.16%| unknown
2830.10/2839.14 c 414s| 6000 | 685 | 3038k| 503.7 | 486M | 42 |1527 |5125 |3302 | 10k| 2 |2695 |2159 |-1.018036e+03 |-1.040000e+03 | 2.16%| unknown
2838.16/2847.26 c 422s| 6100 | 689 | 3091k| 504.2 | 486M | 42 |1527 |5238 |3305 | 10k| 2 |2835 |2215 |-1.018086e+03 |-1.040000e+03 | 2.15%| unknown
2846.53/2855.64 c 430s| 6200 | 701 | 3150k| 505.5 | 486M | 42 |1527 |5307 |3286 | 11k| 1 |2919 |2250 |-1.018179e+03 |-1.040000e+03 | 2.14%| unknown
2855.02/2864.14 c 439s| 6300 | 705 | 3226k| 509.5 | 486M | 42 |1527 |5367 |3299 | 11k| 0 |2999 |2286 |-1.018188e+03 |-1.040000e+03 | 2.14%| unknown
2863.00/2872.18 c 447s| 6400 | 723 | 3287k| 511.1 | 486M | 42 |1527 |5401 |3292 | 11k| 2 |3051 |2324 |-1.018255e+03 |-1.040000e+03 | 2.14%| unknown
2868.57/2877.70 c 452s| 6500 | 729 | 3331k| 510.0 | 486M | 42 |1527 |5445 |3298 | 11k| 1 |3109 |2363 |-1.018364e+03 |-1.040000e+03 | 2.12%| unknown
2873.15/2882.37 c 457s| 6600 | 733 | 3375k| 508.9 | 486M | 42 |1527 |5567 |3305 | 11k| 1 |3269 |2418 |-1.018364e+03 |-1.040000e+03 | 2.12%| unknown
2877.85/2887.11 c 462s| 6700 | 731 | 3419k| 507.9 | 486M | 42 |1527 |5665 |3296 | 11k| 1 |3400 |2465 |-1.018364e+03 |-1.040000e+03 | 2.12%| unknown
2885.11/2894.30 c 469s| 6800 | 743 | 3476k| 508.8 | 486M | 42 |1527 |5781 |3310 | 12k| 2 |3554 |2525 |-1.018400e+03 |-1.040000e+03 | 2.12%| unknown
2889.60/2898.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2889.60/2898.84 c 473s| 6900 | 741 | 3511k| 506.5 | 486M | 42 |1527 |5875 |3314 | 12k| 1 |3671 |2571 |-1.018400e+03 |-1.040000e+03 | 2.12%| unknown
2897.97/2907.21 c 482s| 7000 | 743 | 3570k| 507.7 | 486M | 43 |1527 |6090 |3306 | 12k| 1 |3956 |2652 |-1.018438e+03 |-1.040000e+03 | 2.12%| unknown
2906.76/2916.04 c 491s| 7100 | 749 | 3631k| 509.1 | 486M | 43 |1527 |6172 |3320 | 12k| 0 |4068 |2703 |-1.018470e+03 |-1.040000e+03 | 2.11%| unknown
2916.62/2925.98 c 501s| 7200 | 765 | 3697k| 511.2 | 486M | 43 |1527 |6219 |3299 | 12k| 1 |4153 |2749 |-1.018553e+03 |-1.040000e+03 | 2.11%| unknown
2926.70/2936.06 c 511s| 7300 | 777 | 3765k| 513.6 | 485M | 43 |1527 |6354 |3299 | 13k| 2 |4329 |2814 |-1.018589e+03 |-1.040000e+03 | 2.10%| unknown
2931.87/2941.26 c 516s| 7400 | 783 | 3805k| 512.1 | 484M | 43 |1527 |6401 |3301 | 13k| 0 |4393 |2853 |-1.018600e+03 |-1.040000e+03 | 2.10%| unknown
2936.85/2946.28 c 521s| 7500 | 789 | 3843k| 510.3 | 484M | 43 |1527 |6431 |3310 | 13k| 1 |4449 |2887 |-1.018603e+03 |-1.040000e+03 | 2.10%| unknown
2939.55/2949.00 c 524s| 7600 | 791 | 3874k| 507.7 | 484M | 43 |1527 |6475 |3308 | 13k| 0 |4510 |2905 |-1.018603e+03 |-1.040000e+03 | 2.10%| unknown
2952.31/2961.76 c 536s| 7700 | 815 | 3984k| 515.3 | 484M | 43 |1527 |6467 |3309 | 14k| 0 |4513 |2918 |-1.018708e+03 |-1.040000e+03 | 2.09%| unknown
2956.49/2965.95 c 541s| 7800 | 819 | 4024k| 513.9 | 484M | 43 |1527 |6471 |3301 | 14k| 0 |4536 |2930 |-1.018768e+03 |-1.040000e+03 | 2.08%| unknown
2960.48/2969.99 c 545s| 7900 | 821 | 4063k| 512.3 | 484M | 43 |1527 |6464 |3312 | 14k| 0 |4537 |2936 |-1.018793e+03 |-1.040000e+03 | 2.08%| unknown
2964.27/2973.78 c 548s| 8000 | 829 | 4105k| 511.2 | 484M | 43 |1527 |6467 |3309 | 14k| 1 |4545 |2938 |-1.018800e+03 |-1.040000e+03 | 2.08%| unknown
2966.16/2975.68 c 550s| 8100 | 827 | 4133k| 508.3 | 484M | 43 |1527 |6466 |3318 | 14k| 1 |4545 |2938 |-1.018800e+03 |-1.040000e+03 | 2.08%| unknown
2970.75/2980.21 c 555s| 8200 | 833 | 4174k| 507.1 | 484M | 43 |1527 |6461 |3314 | 14k| 1 |4548 |2947 |-1.018822e+03 |-1.040000e+03 | 2.08%| unknown
2973.04/2982.50 c 557s| 8300 | 833 | 4204k| 504.6 | 484M | 43 |1527 |6472 |3308 | 14k| 1 |4563 |2951 |-1.018822e+03 |-1.040000e+03 | 2.08%| unknown
2975.05/2984.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2975.05/2984.56 c 559s| 8400 | 831 | 4232k| 501.9 | 484M | 43 |1527 |6470 |3313 | 14k| 1 |4564 |2951 |-1.018822e+03 |-1.040000e+03 | 2.08%| unknown
2977.04/2986.50 c 561s| 8500 | 833 | 4258k| 499.1 | 484M | 43 |1527 |6470 |3321 | 14k| 2 |4564 |2952 |-1.018822e+03 |-1.040000e+03 | 2.08%| unknown
2979.03/2988.50 c 563s| 8600 | 831 | 4287k| 496.6 | 484M | 43 |1527 |6470 |3317 | 14k| 0 |4564 |2952 |-1.018822e+03 |-1.040000e+03 | 2.08%| unknown
2986.53/2996.02 c 571s| 8700 | 851 | 4351k| 498.3 | 484M | 43 |1527 |6463 |3319 | 15k| 1 |4583 |2953 |-1.018969e+03 |-1.040000e+03 | 2.06%| unknown
2990.40/2999.90 c 574s| 8800 | 855 | 4393k| 497.5 | 484M | 43 |1527 |6456 |3313 | 15k| 0 |4585 |2953 |-1.018973e+03 |-1.040000e+03 | 2.06%| unknown
2992.51/3002.11 c 577s| 8900 | 859 | 4424k| 495.3 | 484M | 43 |1527 |6475 |3317 | 15k| 0 |4610 |2959 |-1.018973e+03 |-1.040000e+03 | 2.06%| unknown
2994.39/3004.00 c 579s| 9000 | 855 | 4451k| 492.9 | 484M | 43 |1527 |6474 |3313 | 15k| 0 |4610 |2959 |-1.018973e+03 |-1.040000e+03 | 2.06%| unknown
2996.38/3005.94 c 581s| 9100 | 855 | 4478k| 490.4 | 484M | 43 |1527 |6473 |3313 | 15k| 0 |4611 |2959 |-1.018973e+03 |-1.040000e+03 | 2.06%| unknown
2998.97/3008.54 c 583s| 9200 | 853 | 4511k| 488.6 | 484M | 43 |1527 |6479 |3315 | 15k| 1 |4618 |2959 |-1.018973e+03 |-1.040000e+03 | 2.06%| unknown
3001.58/3011.13 c 586s| 9300 | 857 | 4546k| 487.1 | 484M | 43 |1527 |6478 |3319 | 15k| 1 |4619 |2960 |-1.018973e+03 |-1.040000e+03 | 2.06%| unknown
3004.16/3013.76 c 588s| 9400 | 863 | 4580k| 485.6 | 484M | 43 |1527 |6497 |3323 | 15k| 1 |4643 |2966 |-1.018973e+03 |-1.040000e+03 | 2.06%| unknown
3010.34/3019.99 c 595s| 9500 | 877 | 4631k| 485.8 | 484M | 43 |1527 |6493 |3325 | 15k| 1 |4657 |2969 |-1.019056e+03 |-1.040000e+03 | 2.06%| unknown
3012.93/3022.57 c 597s| 9600 | 879 | 4667k| 484.5 | 484M | 43 |1527 |6493 |3331 | 15k| 1 |4660 |2970 |-1.019056e+03 |-1.040000e+03 | 2.06%| unknown
3015.92/3025.52 c 600s| 9700 | 887 | 4706k| 483.5 | 484M | 43 |1527 |6496 |3322 | 15k| 0 |4669 |2970 |-1.019085e+03 |-1.040000e+03 | 2.05%| unknown
3021.30/3031.01 c 606s| 9800 | 899 | 4757k| 483.8 | 484M | 43 |1527 |6494 |3330 | 16k| 1 |4677 |2977 |-1.019146e+03 |-1.040000e+03 | 2.05%| unknown
3023.41/3033.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3023.41/3033.06 c 608s| 9900 | 899 | 4783k| 481.5 | 484M | 43 |1527 |6543 |3333 | 16k| 1 |4734 |2984 |-1.019146e+03 |-1.040000e+03 | 2.05%| unknown
3026.19/3035.89 c 610s| 10000 | 899 | 4813k| 479.7 | 484M | 45 |1527 |6571 |3338 | 16k| 1 |4768 |2992 |-1.019146e+03 |-1.040000e+03 | 2.05%| unknown
3030.27/3039.96 c 615s| 10100 | 901 | 4854k| 479.0 | 484M | 45 |1527 |6603 |3319 | 16k| 1 |4816 |2999 |-1.019212e+03 |-1.040000e+03 | 2.04%| unknown
3039.55/3049.24 c 624s| 10200 | 911 | 4940k| 482.7 | 484M | 45 |1527 |6604 |3334 | 16k| 1 |4826 |3004 |-1.019236e+03 |-1.040000e+03 | 2.04%| unknown
3041.64/3051.31 c 626s| 10300 | 907 | 4967k| 480.7 | 484M | 45 |1527 |6601 |3337 | 16k| 1 |4826 |3004 |-1.019236e+03 |-1.040000e+03 | 2.04%| unknown
3044.03/3053.71 c 628s| 10400 | 905 | 4996k| 478.9 | 484M | 45 |1527 |6620 |3341 | 16k| 0 |4849 |3007 |-1.019236e+03 |-1.040000e+03 | 2.04%| unknown
3048.52/3058.29 c 633s| 10500 | 919 | 5036k| 478.1 | 486M | 45 |1527 |6638 |3340 | 16k| 0 |4882 |3024 |-1.019305e+03 |-1.040000e+03 | 2.03%| unknown
3054.80/3064.53 c 639s| 10600 | 925 | 5085k| 478.2 | 493M | 45 |1527 |6686 |3343 | 16k| 0 |4956 |3049 |-1.019314e+03 |-1.040000e+03 | 2.03%| unknown
3062.08/3071.84 c 646s| 10700 | 929 | 5128k| 477.8 | 500M | 48 |1527 |6697 |3347 | 17k| 0 |4995 |3082 |-1.019323e+03 |-1.040000e+03 | 2.03%| unknown
3064.67/3074.48 c 649s| 10800 | 927 | 5159k| 476.2 | 500M | 48 |1527 |6715 |3327 | 17k| 0 |5026 |3089 |-1.019323e+03 |-1.040000e+03 | 2.03%| unknown
3070.45/3080.20 c 655s| 10900 | 931 | 5204k| 475.9 | 500M | 48 |1527 |6730 |3341 | 17k| 0 |5053 |3115 |-1.019325e+03 |-1.040000e+03 | 2.03%| unknown
3077.34/3087.12 c 662s| 11000 | 941 | 5256k| 476.4 | 498M | 48 |1527 |6728 |3342 | 17k| 1 |5061 |3150 |-1.019332e+03 |-1.040000e+03 | 2.03%| unknown
3081.33/3091.18 c 666s| 11100 | 941 | 5295k| 475.6 | 494M | 48 |1527 |6737 |3328 | 17k| 0 |5083 |3156 |-1.019334e+03 |-1.040000e+03 | 2.03%| unknown
3088.49/3098.36 c 673s| 11200 | 947 | 5345k| 475.9 | 492M | 48 |1527 |6777 |3335 | 17k| 0 |5164 |3205 |-1.019340e+03 |-1.040000e+03 | 2.03%| unknown
3093.48/3103.35 c 678s| 11300 | 957 | 5396k| 476.1 | 490M | 48 |1527 |6832 |3335 | 17k| 0 |5258 |3235 |-1.019362e+03 |-1.040000e+03 | 2.02%| unknown
3096.87/3106.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3096.87/3106.76 c 681s| 11400 | 957 | 5436k| 475.5 | 490M | 48 |1527 |6942 |3328 | 17k| 0 |5407 |3265 |-1.019362e+03 |-1.040000e+03 | 2.02%| unknown
3103.75/3113.67 c 688s| 11500 | 965 | 5498k| 476.7 | 490M | 48 |1527 |7057 |3345 | 18k| 2 |5636 |3326 |-1.019366e+03 |-1.040000e+03 | 2.02%| unknown
3108.83/3118.71 c 693s| 11600 | 965 | 5546k| 476.7 | 490M | 48 |1527 |7137 |3330 | 18k| 0 |5857 |3383 |-1.019459e+03 |-1.040000e+03 | 2.01%| unknown
3113.71/3123.68 c 698s| 11700 | 975 | 5602k| 477.5 | 489M | 48 |1527 |7144 |3336 | 18k| 1 |5904 |3394 |-1.019522e+03 |-1.040000e+03 | 2.01%| unknown
3118.21/3128.15 c 703s| 11800 | 977 | 5644k| 477.0 | 489M | 48 |1527 |7172 |3338 | 18k| 1 |6000 |3418 |-1.019525e+03 |-1.040000e+03 | 2.01%| unknown
3125.68/3135.67 c 710s| 11900 | 981 | 5721k| 479.4 | 489M | 48 |1527 |7168 |3349 | 18k| 0 |6086 |3444 |-1.019545e+03 |-1.040000e+03 | 2.01%| unknown
3131.76/3141.70 c 716s| 12000 | 989 | 5775k| 479.9 | 489M | 48 |1527 |7242 |3337 | 18k| 0 |6255 |3505 |-1.019619e+03 |-1.040000e+03 | 2.00%| unknown
3134.65/3144.61 c 719s| 12100 | 991 | 5816k| 479.3 | 489M | 48 |1527 |7247 |3341 | 18k| 0 |6264 |3506 |-1.019619e+03 |-1.040000e+03 | 2.00%| unknown
3137.84/3147.82 c 722s| 12200 | 991 | 5854k| 478.6 | 489M | 48 |1527 |7319 |3345 | 19k| 1 |6366 |3529 |-1.019619e+03 |-1.040000e+03 | 2.00%| unknown
3144.03/3154.02 c 729s| 12300 | 995 | 5902k| 478.5 | 489M | 48 |1527 |7436 |3342 | 19k| 1 |6559 |3614 |-1.019621e+03 |-1.040000e+03 | 2.00%| unknown
3148.71/3158.70 c 733s| 12400 | 995 | 5935k| 477.3 | 489M | 48 |1527 |7508 |3351 | 19k| 1 |6661 |3671 |-1.019621e+03 |-1.040000e+03 | 2.00%| unknown
3154.10/3164.14 c 739s| 12500 | 1001 | 5976k| 476.8 | 489M | 48 |1527 |7320 |3353 | 19k| 1 |6738 |3724 |-1.019664e+03 |-1.040000e+03 | 1.99%| unknown
3159.98/3170.09 c 745s| 12600 | 1007 | 6021k| 476.6 | 489M | 48 |1527 |7243 |3359 | 19k| 1 |6780 |3754 |-1.019702e+03 |-1.040000e+03 | 1.99%| unknown
3166.45/3176.53 c 751s| 12700 | 1019 | 6077k| 477.3 | 489M | 48 |1527 |7241 |3354 | 19k| 1 |6827 |3777 |-1.019761e+03 |-1.040000e+03 | 1.98%| unknown
3171.33/3181.48 c 756s| 12800 | 1027 | 6127k| 477.4 | 489M | 48 |1527 |7289 |3355 | 19k| 1 |6919 |3810 |-1.019779e+03 |-1.040000e+03 | 1.98%| unknown
3177.52/3187.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3177.52/3187.62 c 762s| 12900 | 1035 | 6175k| 477.5 | 489M | 48 |1527 |7179 |3361 | 19k| 0 |6969 |3836 |-1.019813e+03 |-1.040000e+03 | 1.98%| unknown
3186.09/3196.23 c 771s| 13000 | 1041 | 6235k| 478.4 | 489M | 48 |1527 |7099 |3356 | 20k| 0 |6980 |3865 |-1.019833e+03 |-1.040000e+03 | 1.98%| unknown
3190.57/3200.78 c 775s| 13100 | 1047 | 6277k| 478.0 | 489M | 48 |1527 |7071 |3358 | 20k| 2 |7003 |3876 |-1.019909e+03 |-1.040000e+03 | 1.97%| unknown
3195.36/3205.59 c 780s| 13200 | 1055 | 6325k| 478.0 | 489M | 48 |1527 |7044 |3353 | 20k| 0 |7038 |3889 |-1.019937e+03 |-1.040000e+03 | 1.97%| unknown
3199.65/3209.80 c 784s| 13300 | 1061 | 6368k| 477.6 | 489M | 48 |1527 |6970 |3358 | 20k| 0 |7049 |3894 |-1.019969e+03 |-1.040000e+03 | 1.96%| unknown
3204.43/3214.64 c 789s| 13400 | 1061 | 6411k| 477.2 | 489M | 48 |1527 |6942 |3360 | 20k| 1 |7104 |3920 |-1.019990e+03 |-1.040000e+03 | 1.96%| unknown
3208.93/3219.15 c 794s| 13500 | 1065 | 6455k| 477.0 | 489M | 48 |1527 |6927 |3353 | 20k| 1 |7121 |3924 |-1.020004e+03 |-1.040000e+03 | 1.96%| unknown
3212.11/3222.37 c 797s| 13600 | 1067 | 6498k| 476.6 | 489M | 48 |1527 |6965 |3358 | 20k| 0 |7194 |3939 |-1.020004e+03 |-1.040000e+03 | 1.96%| unknown
3219.80/3230.01 c 805s| 13700 | 1085 | 6558k| 477.5 | 489M | 48 |1527 |6951 |3367 | 21k| 1 |7288 |3969 |-1.020062e+03 |-1.040000e+03 | 1.95%| unknown
3223.67/3233.93 c 809s| 13800 | 1083 | 6591k| 476.5 | 489M | 48 |1527 |6992 |3363 | 21k| 0 |7364 |4013 |-1.020062e+03 |-1.040000e+03 | 1.95%| unknown
3226.96/3237.29 c 812s| 13900 | 1079 | 6629k| 475.7 | 489M | 48 |1527 |7025 |3364 | 21k| 1 |7416 |4027 |-1.020062e+03 |-1.040000e+03 | 1.95%| unknown
3230.35/3240.67 c 815s| 14000 | 1083 | 6667k| 475.1 | 489M | 48 |1527 |7026 |3363 | 21k| 1 |7438 |4045 |-1.020062e+03 |-1.040000e+03 | 1.95%| unknown
3234.64/3244.94 c 820s| 14100 | 1085 | 6711k| 474.8 | 489M | 48 |1527 |6925 |3353 | 21k| 1 |7460 |4053 |-1.020084e+03 |-1.040000e+03 | 1.95%| unknown
3242.11/3252.45 c 827s| 14200 | 1097 | 6795k| 477.4 | 489M | 48 |1527 |6891 |3368 | 21k| 1 |7484 |4058 |-1.020130e+03 |-1.040000e+03 | 1.95%| unknown
3248.29/3258.69 c 833s| 14300 | 1105 | 6850k| 477.9 | 489M | 48 |1527 |6865 |3365 | 21k| 0 |7536 |4077 |-1.020166e+03 |-1.040000e+03 | 1.94%| unknown
3254.69/3265.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3254.69/3265.06 c 840s| 14400 | 1115 | 6908k| 478.6 | 489M | 48 |1527 |6824 |3368 | 22k| 1 |7594 |4094 |-1.020185e+03 |-1.040000e+03 | 1.94%| unknown
3259.77/3270.18 c 845s| 14500 | 1125 | 6952k| 478.4 | 489M | 48 |1527 |6859 |3373 | 22k| 1 |7683 |4146 |-1.020204e+03 |-1.040000e+03 | 1.94%| unknown
3265.54/3275.97 c 851s| 14600 | 1125 | 6994k| 478.0 | 490M | 48 |1527 |6865 |3381 | 22k| 2 |7741 |4169 |-1.020204e+03 |-1.040000e+03 | 1.94%| unknown
3275.62/3286.07 c 861s| 14700 | 1139 | 7062k| 479.3 | 499M | 48 |1527 |6841 |3382 | 22k| 1 |7821 |4227 |-1.020223e+03 |-1.040000e+03 | 1.94%| unknown
3282.70/3293.13 c 868s| 14800 | 1143 | 7117k| 479.8 | 519M | 48 |1527 |6870 |3391 | 22k| 0 |7885 |4260 |-1.020230e+03 |-1.040000e+03 | 1.94%| unknown
3285.59/3296.07 c 871s| 14900 | 1141 | 7151k| 478.9 | 520M | 49 |1527 |6893 |3377 | 22k| 1 |7921 |4269 |-1.020230e+03 |-1.040000e+03 | 1.94%| unknown
3291.05/3301.53 c 876s| 15000 | 1143 | 7203k| 479.2 | 524M | 49 |1527 |6799 |3280 | 22k| 0 |7954 |4274 |-1.020256e+03 |-1.040000e+03 | 1.94%| unknown
3294.24/3304.73 c 879s| 15100 | 1147 | 7245k| 478.8 | 524M | 49 |1527 |6790 |3303 | 23k| 1 |7955 |4274 |-1.020279e+03 |-1.040000e+03 | 1.93%| unknown
3299.33/3309.80 c 884s| 15200 | 1149 | 7294k| 478.8 | 521M | 49 |1527 |6743 |3361 | 23k| 1 |7957 |4281 |-1.020308e+03 |-1.040000e+03 | 1.93%| unknown
3306.91/3317.49 c 892s| 15300 | 1157 | 7372k| 480.8 | 516M | 49 |1527 |6671 |3275 | 23k| 0 |7957 |4281 |-1.020338e+03 |-1.040000e+03 | 1.93%| unknown
3310.00/3320.55 c 895s| 15400 | 1155 | 7413k| 480.4 | 508M | 49 |1527 |6667 |3300 | 23k| 0 |7958 |4281 |-1.020338e+03 |-1.040000e+03 | 1.93%| unknown
3312.69/3323.20 c 898s| 15500 | 1157 | 7450k| 479.6 | 503M | 49 |1527 |6666 |3291 | 23k| 0 |7958 |4282 |-1.020338e+03 |-1.040000e+03 | 1.93%| unknown
3315.49/3326.05 c 901s| 15600 | 1161 | 7489k| 479.1 | 503M | 49 |1527 |6640 |3310 | 24k| 1 |7960 |4282 |-1.020385e+03 |-1.040000e+03 | 1.92%| unknown
3318.37/3328.94 c 904s| 15700 | 1163 | 7528k| 478.5 | 503M | 49 |1527 |6627 |3305 | 24k| 1 |7961 |4282 |-1.020385e+03 |-1.040000e+03 | 1.92%| unknown
3323.25/3333.86 c 908s| 15800 | 1169 | 7575k| 478.4 | 503M | 49 |1527 |6606 |3302 | 24k| 1 |7963 |4286 |-1.020395e+03 |-1.040000e+03 | 1.92%| unknown
3326.24/3336.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3326.24/3336.80 c 911s| 15900 | 1171 | 7614k| 477.9 | 502M | 49 |1527 |6606 |3304 | 24k| 1 |7963 |4286 |-1.020395e+03 |-1.040000e+03 | 1.92%| unknown
3333.82/3344.46 c 919s| 16000 | 1181 | 7680k| 479.0 | 502M | 49 |1527 |6537 |3311 | 24k| 1 |7966 |4290 |-1.020433e+03 |-1.040000e+03 | 1.92%| unknown
3340.80/3351.43 c 926s| 16100 | 1197 | 7748k| 480.3 | 502M | 49 |1527 |6505 |3309 | 25k| 0 |8007 |4290 |-1.020448e+03 |-1.040000e+03 | 1.92%| unknown
3343.09/3353.74 c 928s| 16200 | 1195 | 7779k| 479.2 | 502M | 49 |1527 |6513 |3327 | 25k| 0 |8017 |4292 |-1.020448e+03 |-1.040000e+03 | 1.92%| unknown
3345.68/3356.39 c 931s| 16300 | 1193 | 7817k| 478.6 | 502M | 49 |1527 |6504 |3346 | 25k| 0 |8017 |4292 |-1.020448e+03 |-1.040000e+03 | 1.92%| unknown
3349.87/3360.54 c 935s| 16400 | 1197 | 7864k| 478.6 | 502M | 49 |1527 |6489 |3309 | 25k| 0 |8028 |4293 |-1.020456e+03 |-1.040000e+03 | 1.92%| unknown
3356.15/3366.82 c 941s| 16500 | 1201 | 7935k| 480.0 | 502M | 49 |1527 |6467 |3286 | 25k| 1 |8028 |4293 |-1.020460e+03 |-1.040000e+03 | 1.91%| unknown
3358.94/3369.61 c 944s| 16600 | 1199 | 7972k| 479.3 | 502M | 49 |1527 |6467 |3313 | 25k| 0 |8028 |4293 |-1.020460e+03 |-1.040000e+03 | 1.91%| unknown
3363.53/3374.24 c 949s| 16700 | 1203 | 8020k| 479.3 | 502M | 49 |1527 |6435 |3312 | 26k| 0 |8038 |4293 |-1.020465e+03 |-1.040000e+03 | 1.91%| unknown
3366.43/3377.15 c 952s| 16800 | 1205 | 8058k| 478.7 | 502M | 49 |1527 |6417 |3300 | 26k| 2 |8039 |4293 |-1.020465e+03 |-1.040000e+03 | 1.91%| unknown
3371.60/3382.33 c 957s| 16900 | 1209 | 8105k| 478.7 | 502M | 49 |1527 |6407 |3308 | 26k| 0 |8055 |4320 |-1.020482e+03 |-1.040000e+03 | 1.91%| unknown
3377.68/3388.47 c 963s| 17000 | 1215 | 8164k| 479.3 | 502M | 49 |1527 |6407 |3310 | 26k| 1 |8081 |4336 |-1.020524e+03 |-1.040000e+03 | 1.91%| unknown
3384.16/3394.97 c 970s| 17100 | 1221 | 8221k| 479.8 | 502M | 49 |1527 |6453 |3307 | 26k| 0 |8219 |4393 |-1.020533e+03 |-1.040000e+03 | 1.91%| unknown
3389.36/3400.13 c 975s| 17200 | 1229 | 8276k| 480.3 | 502M | 49 |1527 |6420 |3306 | 26k| 1 |8270 |4402 |-1.020548e+03 |-1.040000e+03 | 1.91%| unknown
3395.52/3406.33 c 981s| 17300 | 1235 | 8331k| 480.6 | 502M | 49 |1527 |6443 |3292 | 26k| 2 |8366 |4436 |-1.020560e+03 |-1.040000e+03 | 1.90%| unknown
3403.70/3414.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3403.70/3414.52 c 989s| 17400 | 1243 | 8400k| 481.8 | 501M | 49 |1527 |6545 |3321 | 27k| 1 |8626 |4485 |-1.020595e+03 |-1.040000e+03 | 1.90%| unknown
3409.30/3420.15 c 995s| 17500 | 1249 | 8451k| 482.0 | 501M | 49 |1527 |6616 |3317 | 27k| 0 |8762 |4522 |-1.020613e+03 |-1.040000e+03 | 1.90%| unknown
3415.56/3426.44 c 1001s| 17600 | 1259 | 8507k| 482.5 | 501M | 49 |1527 |6598 |3321 | 27k| 0 |8877 |4549 |-1.020636e+03 |-1.040000e+03 | 1.90%| unknown
3421.64/3432.57 c 1007s| 17700 | 1269 | 8564k| 482.9 | 501M | 49 |1527 |6595 |3320 | 28k| 0 |8980 |4570 |-1.020670e+03 |-1.040000e+03 | 1.89%| unknown
3425.83/3436.78 c 1011s| 17800 | 1269 | 8603k| 482.4 | 501M | 49 |1527 |6708 |3318 | 28k| 1 |9131 |4620 |-1.020670e+03 |-1.040000e+03 | 1.89%| unknown
3428.62/3439.54 c 1014s| 17900 | 1269 | 8640k| 481.8 | 501M | 49 |1527 |6766 |3323 | 28k| 1 |9202 |4632 |-1.020670e+03 |-1.040000e+03 | 1.89%| unknown
3433.01/3443.90 c 1018s| 18000 | 1275 | 8692k| 482.0 | 501M | 49 |1527 |6662 |3321 | 28k| 1 |9308 |4653 |-1.020683e+03 |-1.040000e+03 | 1.89%| unknown
3437.11/3448.05 c 1023s| 18100 | 1277 | 8732k| 481.6 | 501M | 49 |1527 |6745 |3332 | 28k| 1 |9410 |4686 |-1.020683e+03 |-1.040000e+03 | 1.89%| unknown
3441.98/3452.94 c 1028s| 18200 | 1277 | 8773k| 481.2 | 501M | 49 |1527 |6661 |3335 | 28k| 0 |9484 |4706 |-1.020722e+03 |-1.040000e+03 | 1.89%| unknown
3446.26/3457.25 c 1032s| 18300 | 1283 | 8823k| 481.3 | 501M | 49 |1527 |6651 |3306 | 28k| 0 |9507 |4712 |-1.020722e+03 |-1.040000e+03 | 1.89%| unknown
3449.07/3460.06 c 1035s| 18400 | 1281 | 8862k| 480.8 | 501M | 49 |1527 |6705 |3335 | 28k| 1 |9573 |4722 |-1.020722e+03 |-1.040000e+03 | 1.89%| unknown
3452.54/3463.59 c 1038s| 18500 | 1287 | 8902k| 480.3 | 501M | 49 |1527 |6691 |3268 | 28k| 1 |9574 |4722 |-1.020725e+03 |-1.040000e+03 | 1.89%| unknown
3457.93/3468.95 c 1044s| 18600 | 1293 | 8948k| 480.2 | 501M | 49 |1527 |6567 |3277 | 29k| 0 |9585 |4738 |-1.020734e+03 |-1.040000e+03 | 1.89%| unknown
3465.50/3476.53 c 1051s| 18700 | 1307 | 9013k| 481.1 | 501M | 49 |1527 |6466 |3275 | 29k| 1 |9585 |4744 |-1.020785e+03 |-1.040000e+03 | 1.88%| unknown
3468.19/3479.23 c 1054s| 18800 | 1307 | 9048k| 480.4 | 500M | 49 |1527 |6465 |3278 | 29k| 1 |9585 |4744 |-1.020785e+03 |-1.040000e+03 | 1.88%| unknown
3471.10/3482.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3471.10/3482.13 c 1057s| 18900 | 1307 | 9086k| 479.9 | 500M | 49 |1527 |6464 |3271 | 29k| 0 |9585 |4744 |-1.020785e+03 |-1.040000e+03 | 1.88%| unknown
3481.97/3493.08 c 1068s| 19000 | 1323 | 9183k| 482.5 | 500M | 49 |1527 |6358 |3300 | 29k| 0 |9608 |4764 |-1.020794e+03 |-1.040000e+03 | 1.88%| unknown
3485.24/3496.39 c 1071s| 19100 | 1327 | 9226k| 482.2 | 500M | 49 |1527 |6324 |3295 | 29k| 0 |9643 |4771 |-1.020802e+03 |-1.040000e+03 | 1.88%| unknown
3488.83/3499.94 c 1075s| 19200 | 1323 | 9259k| 481.4 | 500M | 49 |1527 |6331 |3304 | 29k| 0 |9658 |4791 |-1.020802e+03 |-1.040000e+03 | 1.88%| unknown
3493.03/3504.12 c 1079s| 19300 | 1329 | 9299k| 481.0 | 500M | 49 |1527 |6310 |3324 | 29k| 0 |9664 |4808 |-1.020817e+03 |-1.040000e+03 | 1.88%| unknown
3496.41/3507.50 c 1082s| 19400 | 1331 | 9341k| 480.7 | 500M | 49 |1527 |6238 |3299 | 30k| 1 |9688 |4814 |-1.020826e+03 |-1.040000e+03 | 1.88%| unknown
3501.09/3512.21 c 1087s| 19500 | 1335 | 9390k| 480.7 | 500M | 49 |1527 |6212 |3326 | 30k| 0 |9708 |4825 |-1.020827e+03 |-1.040000e+03 | 1.88%| unknown
3503.48/3514.69 c 1089s| 19600 | 1337 | 9425k| 480.0 | 500M | 49 |1527 |6239 |3322 | 30k| 1 |9743 |4830 |-1.020827e+03 |-1.040000e+03 | 1.88%| unknown
3505.89/3517.10 c 1092s| 19700 | 1335 | 9458k| 479.3 | 500M | 49 |1527 |6267 |3323 | 30k| 1 |9782 |4837 |-1.020827e+03 |-1.040000e+03 | 1.88%| unknown
3510.46/3521.67 c 1096s| 19800 | 1339 | 9507k| 479.4 | 500M | 49 |1527 |6259 |3324 | 30k| 0 |9838 |4847 |-1.020831e+03 |-1.040000e+03 | 1.88%| unknown
3515.25/3526.46 c 1101s| 19900 | 1345 | 9562k| 479.7 | 500M | 49 |1527 |6296 |3337 | 30k| 1 |9907 |4858 |-1.020838e+03 |-1.040000e+03 | 1.88%| unknown
3518.54/3529.79 c 1104s| 20000 | 1345 | 9608k| 479.6 | 500M | 49 |1527 |6285 |3309 | 30k| 1 |9927 |4862 |-1.020838e+03 |-1.040000e+03 | 1.88%| unknown
3522.53/3533.72 c 1108s| 20100 | 1351 | 9660k| 479.8 | 500M | 49 |1527 |6177 |3314 | 30k| 0 |9927 |4863 |-1.020841e+03 |-1.040000e+03 | 1.88%| unknown
3525.83/3537.07 c 1112s| 20200 | 1347 | 9700k| 479.4 | 500M | 49 |1527 |6250 |3293 | 30k| 0 | 10k|4886 |-1.020841e+03 |-1.040000e+03 | 1.88%| unknown
3530.81/3542.06 c 1117s| 20300 | 1357 | 9754k| 479.7 | 500M | 49 |1527 |6113 |3328 | 30k| 0 | 10k|4889 |-1.020860e+03 |-1.040000e+03 | 1.87%| unknown
3537.08/3548.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3537.08/3548.34 c 1123s| 20400 | 1375 | 9817k| 480.4 | 500M | 49 |1527 |6134 |3339 | 31k| 1 | 10k|4897 |-1.020917e+03 |-1.040000e+03 | 1.87%| unknown
3539.97/3551.23 c 1126s| 20500 | 1377 | 9858k| 480.1 | 500M | 49 |1527 |6132 |3335 | 31k| 1 | 10k|4897 |-1.020917e+03 |-1.040000e+03 | 1.87%| unknown
3542.78/3554.03 c 1129s| 20600 | 1375 | 9896k| 479.6 | 500M | 49 |1527 |6150 |3331 | 31k| 2 | 10k|4902 |-1.020917e+03 |-1.040000e+03 | 1.87%| unknown
3546.95/3558.20 c 1133s| 20700 | 1377 | 9942k| 479.5 | 500M | 49 |1527 |6104 |3319 | 31k| 2 | 10k|4902 |-1.020938e+03 |-1.040000e+03 | 1.87%| unknown
3552.63/3563.98 c 1139s| 20800 | 1385 | 10003k| 480.1 | 500M | 49 |1527 |6083 |3333 | 31k| 0 | 10k|4904 |-1.020948e+03 |-1.040000e+03 | 1.87%| unknown
3556.42/3567.75 c 1142s| 20900 | 1389 | 10043k| 479.8 | 500M | 49 |1527 |6014 |3336 | 31k| 1 | 10k|4904 |-1.020997e+03 |-1.040000e+03 | 1.86%| unknown
3562.50/3573.89 c 1148s| 21000 | 1407 | 10103k| 480.4 | 500M | 49 |1527 |5943 |3329 | 32k| 1 | 10k|4906 |-1.021042e+03 |-1.040000e+03 | 1.86%| unknown
3566.89/3578.26 c 1153s| 21100 | 1417 | 10152k| 480.4 | 500M | 49 |1527 |5911 |3340 | 32k| 0 | 10k|4909 |-1.021050e+03 |-1.040000e+03 | 1.86%| unknown
3571.69/3583.04 c 1158s| 21200 | 1431 | 10200k| 480.4 | 500M | 49 |1527 |5868 |3344 | 32k| 1 | 10k|4927 |-1.021083e+03 |-1.040000e+03 | 1.85%| unknown
3576.96/3588.30 c 1163s| 21300 | 1441 | 10250k| 480.5 | 500M | 49 |1527 |5818 |3340 | 32k| 0 | 10k|4929 |-1.021140e+03 |-1.040000e+03 | 1.85%| unknown
3582.24/3593.60 c 1168s| 21400 | 1451 | 10292k| 480.2 | 500M | 49 |1527 |5808 |3343 | 32k| 1 | 10k|4950 |-1.021188e+03 |-1.040000e+03 | 1.84%| unknown
3584.75/3596.17 c 1171s| 21500 | 1451 | 10325k| 479.5 | 500M | 49 |1527 |5839 |3348 | 32k| 0 | 10k|4957 |-1.021188e+03 |-1.040000e+03 | 1.84%| unknown
3587.22/3598.67 c 1173s| 21600 | 1449 | 10359k| 478.9 | 500M | 49 |1527 |5833 |3347 | 32k| 0 | 10k|4957 |-1.021188e+03 |-1.040000e+03 | 1.84%| unknown
3590.11/3601.57 c 1176s| 21700 | 1459 | 10396k| 478.3 | 500M | 49 |1527 |5839 |3347 | 32k| 1 | 10k|4961 |-1.021190e+03 |-1.040000e+03 | 1.84%| unknown
3596.10/3607.51 c 1182s| 21800 | 1465 | 10448k| 478.5 | 500M | 49 |1527 |5829 |3361 | 32k| 0 | 10k|4972 |-1.021252e+03 |-1.040000e+03 | 1.84%| unknown
3600.08/3611.50
3600.08/3611.50 *** TERMINATED *** by signal
3600.08/3611.50 c
3600.08/3611.50 s SATISFIABLE
3600.08/3611.50 v x1 -x2 x3 x4 x5 -x6 -x7 x8 -x9 -x10 x11 x12 x13 x14 x15 x16 -x17 -x18 x19 x20 x21 x22 x23 -x24 -x25 x26 x27 -x28 x29 x30 x31 -x32 x33 -x34 x35 -x36 -x37 -x38 x39 x40 -x41 -x42 x43 -x44 x45 x46 -x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 -x57 x58 x59 -x60 -x61 -x62 x63 x64 x65 -x66 x67 -x68 x69 x70 x71 x72 x73 -x74 x75 x76 -x77 x78 x79 x80 x81 -x82 x83 -x84 -x85 -x86 x87 x88 x89 -x90 -x91 x92 -x93 x94 x95 x96 -x97 -x98 -x99 x100 -x101 -x102 x103 x104 x105 -x106 x107 -x108 -x109 -x110 x111 x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 x122 x123 x124 -x125 x126 x127 -x128 -x129 x130 -x131 x132 x133 x134 x135 x136 -x137 x138 -x139 x140 x141 x142 x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 x152 x153 x154 -x155 -x156 x157 x158 x159 -x160 -x161 x162 x163 -x164 x165 -x166 x167 x168 -x169 x170 x171 x172 x173 x174 x175 x176 x177 -x178 x179 -x180 -x181 x182 -x183 x184 x185 -x186 -x187 x188 x189 x190 x191 x192 -x193 -x194 x195 -x196 x197 x198 -x199 x200 -x201 x202 -x203 -x204 x205 x206 x207 x208 x209 -x210 x211 -x212 x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 x221 -x222 x223 x224 x225 -x226 x227 x228 x229 x230 -x231 x232 x233 x234 -x235 x236 -x237 x238 -x239 -x240 x241 x242 -x243 x244 x245 -x246 -x247 x248 x249 x250 -x251 x252 -x253 -x254 x255 -x256 x257 x258 -x259 x260 -x261 -x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 -x271 x272 x273 -x274 x275 x276 x277 x278 x279 -x280 -x281 x282 x283 -x284 -x285 x286 -x287 -x288 x289 x290 x291 x292 x293 -x294 -x295 -x296 x297 -x298 -x299 x300 x301 -x302 -x303 x304 -x305 -x306 x307 x308 x309 -x310 x311 -x312 x313 -x314 x315 -x316 -x317 x318 x319 x320 x321 x322 -x323 x324 x325 -x326 x327 x328 -x329 x330 -x331 x332 x333 -x334 x335 -x336 x337 -x338 -x339 -x340 x341 x342 x343 x344 -x345 x346 x347 -x348 x349 -x350 x351 x352 -x353 x354 x355 -x356 x357 -x358 -x359 -x360 x361 x362 x363 -x364 -x365 -x366 x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 x378 -x379 x380 -x381 -x382 x383 x384 x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 x393 x394 -x395 -x396 x397 x398 -x399 -x400 x401 -x402 x403 -x404 x405 -x406 -x407 x408 x409 x410 x411 -x412 x413 x414 x415 x416 -x417 x418 -x419 -x420 -x421 x422 -x423 -x424 x425 x426 -x427 -x428 -x429 -x430 x431 -x432 x433 x434 -x435 -x436 -x437 x438 x439 x440 -x441 x442 -x443 x444 -x445 x446 x447 x448 -x449 x450 -x451 x452 x453 -x454 x455 -x456 x457 -x458 -x459 x460 x461 x462 -x463 x464 x465 x466 x467 -x468 -x469 x470 -x471 -x472 -x473 x474 x475 x476 -x477 -x478 x479 -x480 x481 -x482 x483 -x484 x485 x486 -x487 x488 -x489 x490 -x491 x492 -x493 x494 -x495 -x496 x497 x498 x499 x500 x501 -x502 -x503 x504 x505 x506 x507 x508 -x509 x510 x511 x512 -x513 -x514 x515 x516 -x517 x518 -x519 x520 -x521 x522 x523 x524 -x525 -x526 x527 -x528 x529 x530 -x531 x532 -x533 x534 x535 -x536 -x537 -x538 x539 x540 x541 x542 -x543 x544 x545 -x546 x547 -x548 -x549 -x550 -x551 -x552 x553 x554 x555 -x556 -x557 -x558 -x559 x560 x561 -x562 x563 -x564 x565 x566 -x567 x568 x569 x570 x571 -x572 -x573 -x574 -x575 x576 -x577 x578 -x579 x580 -x581 x582 x583 -x584 x585 -x586 -x587 -x588 x589 -x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 x598 -x599 x600 -x601 -x602 -x603 -x604 -x605 -x606 x607 x608 x609 -x610 x611 -x612 -x613 x614 x615 x616 x617 x618 -x619 x620 -x621 -x622 x623 x624 x625 x626 x627 -x628 x629 x630 x631 x632 x633 -x634 x635 x636 x637 x638 x639 x640 x641 x642 -x643 x644 x645 x646 x647 -x648 -x649 x650 x651 x652 x653 -x654 x655 -x656 -x657 x658 -x659 -x660 -x661 x662 -x663 -x664 x665 -x666 x667 x668 x669 -x670 x671 x672 x673 x674 x675 -x676 x677 x678 -x679 x680 x681 -x682 -x683 x684 x685 -x686 -x687 -x688 -x689 x690 -x691 x692 x693 -x694 -x695 x696 x697 x698 x699 -x700 x701 x702 x703 -x704 x705 x706 -x707 x708 -x709 -x710 x711 -x712 -x713 -x714 x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 x728 x729 -x730 -x731 x732 x733 x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 x744 -x745 x746 x747 x748 x749 -x750 x751 x752 x753 x754 x755 -x756 -x757 x758 x759 x760 -x761 x762 -x763 -x764 x765 x766 x767 -x768 -x769 x770 -x771 x772 -x773 -x774 -x775 x776 x777 x778 -x779 x780 -x781 x782 -x783 x784 -x785 -x786 x787 x788 x789 x790 -x791 x792 x793 -x794 x795 x796 x797 x798 -x799 -x800 -x801 -x802 x803 -x804 x805 -x806 x807 -x808 -x809 -x810 x811 -x812 x813 -x814 x815 -x816 x817 -x818 -x819 -x820 x821 -x822 x823 -x824 -x825 -x826 x827 -x828 -x829 x830 -x831 -x832 -x833 x834 -x835 -x836 x837 -x838 x839 x840 x841 x842 -x843 -x844 x845 -x846 -x847 x848 -x849 x850 -x851 -x852 x853 -x854 x855 x856 -x857 x858 -x859 -x860 x861 -x862 x863 x864 -x865 -x866 x867 -x868 x869 x870 x871 x872 x873 -x874 -x875 -x876 x877 x878 x879 x880 x881 -x882 x883 -x884 -x885 x886 x887 -x888 x889 -x890 -x891 x892 x893 x894 -x895 -x896 -x897 -x898 x899 x900 -x901 x902 -x903 x904 -x905 x906 -x907 x908 x909 -x910 x911 x912 -x913 x914 x915 -x916 x917 x918 -x919 -x920 x921 x922 x923 x924 -x925 -x926 -x927 -x928 -x929 x930 x931 -x932 -x933 x934 -x935 x936 x937 x938 x939 -x940 x941 x942 -x943 x944 -x945 x946 -x947 -x948 -x949 x950 -x951 x952 x953 -x954 x955 -x956 -x957 -x958 x959 -x960 -x961 x962 -x963 x964 -x965 x966 -x967 -x968 x969 x970 x971 x972 -x973 x974 x975 -x976 x977 -x978 x979 -x980 -x981 x982 x983 x984 -x985 x986 x987 -x988 x989 x990 x991 x992 -x993 x994 -x995 -x996 -x997 x998 x999 x1000 -x1001 -x1002 x1003 -x1004 -x1005 x1006 x1007 x1008 -x1009 x1010 -x1011 x1012 -x1013 x1014 -x1015 -x1016 x1017 -x1018 x1019 x1020 x1021 -x1022 -x1023 x1024 x1025 -x1026 x1027 -x1028 -x1029 x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 x1037 x1038 -x1039 -x1040 x1041 x1042 -x1043 -x1044 x1045 -x1046 x1047 -x1048 -x1049 x1050 x1051 x1052 x1053 x1054 -x1055 x1056 x1057 x1058 -x1059 -x1060 -x1061 -x1062 x1063 -x1064 x1065 -x1066 -x1067 x1068 x1069 -x1070 x1071 -x1072 -x1073 x1074 x1075 x1076 x1077 x1078 -x1079 x1080 x1081 -x1082 -x1083 x1084 -x1085 x1086 -x1087 x1088 x1089 x1090 -x1091 -x1092 -x1093 x1094 x1095 x1096 -x1097 x1098 -x1099 x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 -x1107 x1108 x1109 -x1110 x1111 x1112 -x1113 x1114 -x1115 x1116 -x1117 x1118 -x1119 x1120 x1121 x1122 x1123 -x1124 x1125 x1126 -x1127 -x1128 -x1129 x1130 x1131 x1132 -x1133 x1134 -x1135 -x1136 -x1137 x1138 x1139 -x1140 -x1141 x1142 x1143 -x1144 -x1145 -x1146 -x1147 x1148 x1149 x1150 x1151 x1152 -x1153 -x1154 -x1155 -x1156 x1157 -x1158 -x1159 x1160 x1161 x1162 -x1163 -x1164 x1165 x1166 x1167 x1168 x1169 x1170 -x1171 x1172 -x1173 -x1174 x1175 x1176 x1177 x1178 -x1179 x1180 x1181 x1182 -x1183 x1184 x1185 x1186 -x1187 -x1188 x1189 x1190 x1191 -x1192 -x1193 x1194 x1195 x1196 -x1197 x1198 x1199 x1200 x1201 -x1202 -x1203 -x1204 x1205 -x1206 -x1207 x1208 x1209 -x1210 -x1211 -x1212 -x1213 x1214 x1215 x1216 -x1217 x1218 x1219 x1220 x1221 x1222 -x1223 x1224 x1225 -x1226 x1227 -x1228 x1229 x1230 -x1231 x1232 -x1233 -x1234 -x1235 -x1236 x1237 -x1238 x1239 -x1240 -x1241 x1242 x1243 x1244 x1245 x1246 x1247 x1248 x1249 -x1250 x1251 -x1252 x1253 -x1254 x1255 -x1256 x1257 -x1258 -x1259 -x1260 x1261 x1262 x1263 -x1264 -x1265 -x1266 x1267 x1268 x1269 x1270 x1271 x1272 x1273 x1274 -x1275 x1276 -x1277 x1278 x1279 x1280 x1281 x1282 -x1283 x1284 -x1285 x1286 x1287 -x1288 -x1289 x1290 -x1291 x1292 -x1293 x1294 -x1295 x1296 x1297 -x1298 -x1299 x1300 x1301 -x1302 x1303 x1304 -x1305 -x1306 -x1307 x1308 x1309 x1310 x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 x1334 x1335 -x1336 x1337 x1338 -x1339 x1340 -x1341 -x1342 x1343 x1344 x1345 x1346 x1347 x1348 x1349 -x1350 -x1351 x1352 x1353 x1354 -x1355 -x1356 x1357 x1358 x1359 -x1360 -x1361 -x1362 x1363 x1364 x1365 -x1366 x1367 -x1368 x1369 -x1370 x1371 x1372 -x1373 -x1374 -x1375 x1376 x1377 -x1378 x1379 x1380 x1381 -x1382 -x1383 x1384 x1385 -x1386 x1387 -x1388 x1389 -x1390 -x1391 x1392 x1393 -x1394 -x1395 x1396 x1397 x1398 x1399 -x1400 -x1401 x1402 x1403 x1404 -x1405 x1406 x1407 x1408 -x1409 -x1410 x1411 -x1412 x1413 -x1414 x1415 -x1416 x1417 x1418 x1419 x1420 x1421 x1422 x1423 -x1424 -x1425 -x1426 x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 x1434 -x1435 x1436 x1437 x1438 -x1439 -x1440 x1441 x1442 x1443 x1444 -x1445 x1446 x1447 -x1448 x1449 -x1450 x1451 -x1452 -x1453 -x1454 x1455 x1456 x1457 x1458 -x1459 -x1460 x1461 -x1462 -x1463 x1464 x1465 x1466 -x1467 x1468 x1469 x1470 x1471 -x1472 -x1473 -x1474 -x1475 x1476 x1477 x1478 -x1479 x1480 -x1481 -x1482 x1483 x1484 x1485 -x1486 x1487 x1488 -x1489 -x1490 -x1491 -x1492 x1493 -x1494 -x1495 x1496 -x1497 -x1498 -x1499 -x1500 x1501 x1502 -x1503 x1504 -x1505 -x1506 x1507 -x1508 x1509 x1510 -x1511 -x1512 x1513 -x1514 -x1515 x1516 x1517 x1518 -x1519 x1520 -x1521 -x1522 x1523 x1524 x1525 x1526 -x1527 -x1528 -x1529 x1530 -x1531 x1532 -x1533 x1534 x1535 -x1536 -x1537 x1538 x1539 -x1540 x1541 -x1542 -x1543 x1544 -x1545 x1546 x1547 x1548 x1549 -x1550 x1551 -x1552 -x1553 -x1554 -x1555 x1556 x1557 x1558 x1559 x1560 -x1561 -x1562 x1563 -x1564 -x1565 x1566 x1567 x1568 x1569 -x1570 x1571 x1572 -x1573 x1574 -x1575 x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 x1595 x1596 -x1597 -x1598 -x1599 x1600 x1601 x1602 -x1603 -x1604 -x1605 x1606 -x1607 x1608 -x1609 x1610 x1611 x1612 x1613 x1614 -x1615 -x1616 x1617 x1618 -x1619 x1620 x1621 -x1622 x1623 x1624 x1625 -x1626 -x1627 x1628 x1629 -x1630 x1631 -x1632 -x1633 -x1634 x1635 x1636 -x1637 -x1638 x1639 x1640 x1641 x1642 x1643 -x1644 x1645 x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 x1653 -x1654 x1655 -x1656 x1657 x1658 x1659 x1660 -x1661 x1662 -x1663 -x1664 -x1665 -x1666 x1667 x1668 x1669 -x1670 x1671 -x1672 x1673 x1674 x1675 -x1676 x1677 x1678 -x1679 x1680 x1681 -x1682 x1683 x1684 -x1685 x1686 -x1687 -x1688 x1689 x1690 x1691 -x1692 -x1693 x1694 -x1695 x1696 x1697 x1698 x1699 x1700 x1701 -x1702 -x1703 x1704 -x1705 -x1706 -x1707 x1708 -x1709 x1710 -x1711 -x1712 -x1713 x1714 x1715 x1716 x1717 x1718 x1719 -x1720 x1721 -x1722 -x1723 x1724 x1725 x1726 x1727 -x1728 -x1729 -x1730 -x1731 x1732 x1733 -x1734 -x1735 x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 x1747 -x1748 -x1749 x1750 -x1751 x1752 x1753 -x1754 -x1755 -x1756 x1757 -x1758 -x1759 -x1760 x1761 -x1762 -x1763 x1764 -x1765 x1766 -x1767 x1768 x1769 x1770 x1771 -x1772 -x1773 -x1774 x1775 x1776 -x1777 -x1778 x1779 -x1780 -x1781 -x1782 -x1783 x1784 x1785 -x1786 -x1787 x1788 x1789 x1790 -x1791 x1792 x1793 -x1794 -x1795 -x1796 x1797 x1798 -x1799 x1800 x1801 x1802 -x1803 -x1804 -x1805 x1806 -x1807 x1808 -x1809 x1810 -x1811 -x1812 x1813 x1814 -x1815 x1816 -x1817 x1818 x1819 -x1820 -x1821 -x1822 -x1823 x1824 x1825 -x1826 x1827 x1828 -x1829 x1830 -x1831 -x1832 -x1833 -x1834 x1835 x1836 x1837 -x1838 -x1839 -x1840 -x1841 x1842 x1843 x1844 -x1845 x1846 -x1847 -x1848 x1849 x1850 -x1851 x1852 x1853 -x1854 x1855 -x1856 -x1857 x1858 x1859 x1860 x1861 -x1862 x1863 x1864 -x1865 -x1866 x1867 -x1868 x1869 x1870 x1871 x1872 -x1873 x1874 -x1875 -x1876 x1877 -x1878 x1879 x1880 -x1881 x1882 x1883 x1884 -x1885 x1886 x1887 x1888 -x1889 x1890 -x1891 -x1892 -x1893 x1894 x1895 -x1896 -x1897 x1898 x1899 -x1900 x1901 -x1902 -x1903 -x1904 -x1905 x1906 x1907 x1908 x1909 -x1910 -x1911 x1912 -x1913 x1914 -x1915 x1916 x1917 -x1918 -x1919 -x1920 -x1921 -x1922 x1923 -x1924 x1925 x1926 -x1927 x1928 x1929 -x1930 x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 x1941 -x1942 -x1943 -x1944 -x1945 -x1946 x1947 -x1948 -x1949 x1950 -x1951 x1952 x1953 x1954 -x1955 -x1956 x1957 -x1958 x1959 x1960 -x1961 -x1962 -x1963 x1964 -x1965 x1966 x1967 x1968
3600.08/3611.50 c Model check passed
3600.08/3611.50 c Model check has passed with goal value: 1040
3600.08/3611.50 c _____________________________________________________________________________
3600.08/3611.50 c std/band forms : 3,0
3600.08/3611.50 c 2cl/3cl ITE-codings : 0,0
3600.08/3611.50 c BDD/srt/adr Max costs : 0,112194,0
3600.08/3611.50 c BDDraw/bin/mul/srt/adr: 0,0,0,3,0
3600.08/3611.50 c BDD nodes : 0
3600.08/3611.50 c Es1/CC detections : 0,0
3600.08/3611.50 c CC sort : 3
3600.08/3611.50 c SAT/UNSAT calls : 0,0
3600.08/3611.50 c regenrated variables : 83
3600.08/3611.50 c eliminated fixed lits : 0
3600.08/3611.50 c goal lit flips : 0
3600.08/3611.50 c goal stages : 0
3600.08/3611.50 c goal shrink : 0
3600.08/3611.50 c goal coeff separations: 0
3600.08/3611.50 c restarts : 1989
3600.08/3611.50 c conflicts : 50401 (14 /sec)
3600.08/3611.50 c decisions : 1372033 (381 /sec)
3600.08/3611.50 c propagations : 105280356 (29244 /sec)
3600.08/3611.50 c inspects : 0 (0 /sec)
3600.08/3611.50 c CPU time (solving tm) : 3600 s (15 s, SAT 0 s, UNSAT 0 s)
3600.08/3611.50 c SAT solver time : 15 s
3600.08/3611.50 c SAT solver SAT time : 0 s
3600.08/3611.50 c SAT solver UNSAT time : 0 s
3600.08/3611.50 c SAT solver TO time : 15 s
3600.08/3611.50 c Time for SCIP : 2402 s
3600.08/3611.50 c Coop SCIP LB improvements : 1
3600.08/3611.50 c Coop SCIP UB improvements : 2
3600.08/3611.50 c SCIP globally fixed variables : 0
3600.08/3611.50 c SAT globally fixed variables : 0
3600.08/3611.50 c SCIP freeTransform calls : 5
3600.08/3611.50 c Time for Opt-base : 0.000738 s
3600.08/3611.50 c Steps for Opt-base : 0
3600.08/3611.50 c Time for BDD coding : 0 s
3600.08/3611.50 c Time for srt coding : 0.01283 s
3600.08/3611.50 c Inner solver invocations : 0
3600.08/3611.50 c Inner solving count : 0
3600.08/3611.50 c _____________________________________________________________________________