0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2666938-1276506692.opb>
1.19/1.28 c original problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 81068 constraints
1.19/1.28 c problem read
1.19/1.28 c presolving settings loaded
1.49/1.50 o 0
1.49/1.50 c feasible solution found by trivial heuristic, objective value 0.000000e+00
1.49/1.50 c presolving:
2.49/2.54 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 81068 upgd conss, 162136 impls, 0 clqs
4.19/4.24 c (2.7s) probing: 101/1150 (8.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
4.19/4.24 c (2.7s) probing aborted: 100/100 successive totally useless probings
4.19/4.24 c presolving (2 rounds):
4.19/4.24 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.19/4.24 c 162136 implications, 0 cliques
4.19/4.24 c presolved problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 81068 constraints
4.19/4.24 c 81068 constraints of type <logicor>
4.19/4.24 c transformed objective value is always integral (scale: 1)
4.19/4.24 c Presolving Time: 2.54
4.19/4.24 c - non default parameters ----------------------------------------------------------------------
4.19/4.24 c # SCIP version 1.2.1.2
4.19/4.24 c
4.19/4.24 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
4.19/4.24 c # [type: int, range: [-1,2147483647], default: -1]
4.19/4.24 c conflict/interconss = 0
4.19/4.24 c
4.19/4.24 c # should binary conflicts be preferred?
4.19/4.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.19/4.24 c conflict/preferbinary = TRUE
4.19/4.24 c
4.19/4.24 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
4.19/4.24 c # [type: int, range: [-1,2147483647], default: 0]
4.19/4.24 c constraints/agelimit = 1
4.19/4.24 c
4.19/4.24 c # should enforcement of pseudo solution be disabled?
4.19/4.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.19/4.24 c constraints/disableenfops = TRUE
4.19/4.24 c
4.19/4.24 c # frequency for displaying node information lines
4.19/4.24 c # [type: int, range: [-1,2147483647], default: 100]
4.19/4.24 c display/freq = 10000
4.19/4.24 c
4.19/4.24 c # maximal time in seconds to run
4.19/4.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.19/4.24 c limits/time = 1798.72
4.19/4.24 c
4.19/4.24 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.19/4.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.19/4.24 c limits/memory = 1620
4.19/4.24 c
4.19/4.24 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
4.19/4.24 c # [type: int, range: [-1,2147483647], default: 1]
4.19/4.24 c lp/solvefreq = 0
4.19/4.24 c
4.19/4.24 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
4.19/4.24 c # [type: char, range: {lafpsqd}, default: l]
4.19/4.24 c lp/pricing = a
4.19/4.24 c
4.19/4.24 c # should presolving try to simplify inequalities
4.19/4.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.19/4.24 c constraints/linear/simplifyinequalities = TRUE
4.19/4.24 c
4.19/4.24 c # should presolving try to simplify knapsacks
4.19/4.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.19/4.24 c constraints/knapsack/simplifyinequalities = TRUE
4.19/4.24 c
4.19/4.24 c # priority of node selection rule <dfs> in standard mode
4.19/4.24 c # [type: int, range: [-536870912,536870911], default: 0]
4.19/4.24 c nodeselection/dfs/stdpriority = 1000000
4.19/4.24 c
4.19/4.24 c -----------------------------------------------------------------------------------------------
4.19/4.24 c start solving
4.19/4.25 c
11.09/11.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.09/11.18 c t 9.5s| 1 | 0 | 1401 | - | 90M| 0 |1150 |1150 | 81k|1150 | 81k| 0 | 0 | 0 |-5.750000e+02 | 0.000000e+00 | 100.00%
11.28/11.33 o -1
11.28/11.33 c R 9.6s| 1 | 0 | 1401 | - | 90M| 0 |1150 |1150 | 81k|1150 | 81k| 0 | 0 | 0 |-5.750000e+02 |-1.000000e+00 | 99.83%
17.29/17.38 c 15.0s| 1 | 0 | 1632 | - | 90M| 0 |1085 |1150 | 81k|1150 | 81k| 7 | 0 | 0 |-5.425000e+02 |-1.000000e+00 | 99.82%
17.38/17.46 o -36
17.38/17.46 c b15.0s| 1 | 0 | 1632 | - | 90M| 0 |1085 |1150 | 81k|1150 | 81k| 7 | 0 | 0 |-5.425000e+02 |-3.600000e+01 | 93.36%
23.89/23.95 c 20.9s| 1 | 0 | 1779 | - | 90M| 0 |1037 |1150 | 81k|1150 | 81k| 18 | 0 | 0 |-5.185000e+02 |-3.600000e+01 | 93.06%
32.79/32.83 c 29.1s| 1 | 0 | 1953 | - | 90M| 0 |1006 |1150 | 81k|1150 | 81k| 33 | 0 | 0 |-5.022500e+02 |-3.600000e+01 | 92.83%
43.78/43.80 c 39.5s| 1 | 0 | 2188 | - | 90M| 0 | 983 |1150 | 81k|1150 | 81k| 40 | 0 | 0 |-4.907500e+02 |-3.600000e+01 | 92.66%
55.38/55.46 c 50.5s| 1 | 0 | 2511 | - | 90M| 0 | 938 |1150 | 81k|1150 | 81k| 50 | 0 | 0 |-4.682500e+02 |-3.600000e+01 | 92.31%
65.27/65.34 c 59.8s| 1 | 0 | 2602 | - | 90M| 0 | 913 |1150 | 81k|1150 | 81k| 58 | 0 | 0 |-4.557500e+02 |-3.600000e+01 | 92.10%
77.07/77.11 c 71.0s| 1 | 0 | 2905 | - | 90M| 0 | 864 |1150 | 81k|1150 | 81k| 68 | 0 | 0 |-4.312500e+02 |-3.600000e+01 | 91.65%
89.67/89.74 c 83.0s| 1 | 0 | 3240 | - | 90M| 0 | 828 |1150 | 81k|1150 | 81k| 83 | 0 | 0 |-4.132500e+02 |-3.600000e+01 | 91.29%
103.86/103.99 c 96.6s| 1 | 0 | 3680 | - | 90M| 0 | 783 |1150 | 81k|1150 | 81k| 96 | 0 | 0 |-3.907500e+02 |-3.600000e+01 | 90.79%
119.16/119.25 c 111s| 1 | 0 | 4204 | - | 90M| 0 | 743 |1150 | 81k|1150 | 81k| 103 | 0 | 0 |-3.707500e+02 |-3.600000e+01 | 90.29%
127.06/127.19 c 119s| 1 | 0 | 4713 | - | 90M| 0 | 702 |1150 | 81k|1150 | 81k| 112 | 0 | 0 |-3.502500e+02 |-3.600000e+01 | 89.72%
134.76/134.80 c 126s| 1 | 0 | 5166 | - | 90M| 0 | 649 |1150 | 81k|1150 | 81k| 118 | 0 | 0 |-3.237500e+02 |-3.600000e+01 | 88.88%
140.66/140.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
140.66/140.74 c 131s| 1 | 0 | 5495 | - | 90M| 0 | 605 |1150 | 81k|1150 | 81k| 127 | 0 | 0 |-3.017500e+02 |-3.600000e+01 | 88.07%
147.46/147.53 c 137s| 1 | 0 | 5918 | - | 90M| 0 | 560 |1150 | 81k|1150 | 81k| 138 | 0 | 0 |-2.792500e+02 |-3.600000e+01 | 87.11%
155.35/155.41 c 144s| 1 | 0 | 6465 | - | 90M| 0 | 519 |1150 | 81k|1150 | 81k| 144 | 0 | 0 |-2.587500e+02 |-3.600000e+01 | 86.09%
161.25/161.30 c 149s| 1 | 0 | 6771 | - | 90M| 0 | 497 |1150 | 81k|1150 | 81k| 148 | 0 | 0 |-2.477500e+02 |-3.600000e+01 | 85.47%
168.35/168.49 c 156s| 1 | 0 | 7255 | - | 90M| 0 | 455 |1150 | 81k|1150 | 81k| 156 | 0 | 0 |-2.267500e+02 |-3.600000e+01 | 84.12%
175.86/175.95 c 163s| 1 | 0 | 7823 | - | 90M| 0 | 396 |1150 | 81k|1150 | 81k| 161 | 0 | 0 |-1.972500e+02 |-3.600000e+01 | 81.75%
185.44/185.55 c 172s| 1 | 0 | 8747 | - | 90M| 0 | 357 |1150 | 81k|1150 | 81k| 170 | 0 | 0 |-1.785000e+02 |-3.600000e+01 | 79.83%
193.15/193.25 c 179s| 1 | 0 | 9409 | - | 90M| 0 | 318 |1150 | 81k|1150 | 81k| 175 | 0 | 0 |-1.590000e+02 |-3.600000e+01 | 77.36%
198.24/198.35 c 184s| 1 | 0 | 9887 | - | 90M| 0 | 280 |1150 | 81k|1150 | 81k| 182 | 0 | 0 |-1.400000e+02 |-3.600000e+01 | 74.29%
201.74/201.81 c 187s| 1 | 0 | 10140 | - | 90M| 0 | 261 |1150 | 81k|1150 | 81k| 186 | 0 | 0 |-1.295000e+02 |-3.600000e+01 | 72.20%
205.94/206.07 c 191s| 1 | 0 | 10492 | - | 90M| 0 | 221 |1150 | 81k|1150 | 81k| 193 | 0 | 0 |-1.095000e+02 |-3.600000e+01 | 67.12%
211.64/211.75 c 196s| 1 | 0 | 11011 | - | 90M| 0 | 185 |1150 | 81k|1150 | 81k| 198 | 0 | 0 |-9.250000e+01 |-3.600000e+01 | 61.08%
215.84/215.97 c 200s| 1 | 0 | 11366 | - | 90M| 0 | 150 |1150 | 81k|1150 | 81k| 202 | 0 | 0 |-7.600000e+01 |-3.600000e+01 | 52.63%
220.44/220.57 c 204s| 1 | 0 | 11814 | - | 90M| 0 | 147 |1150 | 81k|1150 | 81k| 209 | 0 | 0 |-5.900000e+01 |-3.600000e+01 | 38.98%
223.15/223.26 c 207s| 1 | 0 | 11984 | - | 90M| 0 | 115 |1150 | 81k|1150 | 81k| 215 | 0 | 0 |-5.400000e+01 |-3.600000e+01 | 33.33%
225.63/225.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
225.63/225.77 c 209s| 1 | 0 | 12106 | - | 90M| 0 | 98 |1150 | 81k|1150 | 81k| 221 | 0 | 0 |-5.000000e+01 |-3.600000e+01 | 28.00%
227.83/227.97 c 211s| 1 | 0 | 12206 | - | 90M| 0 | 158 |1150 | 81k|1150 | 81k| 232 | 0 | 0 |-5.000000e+01 |-3.600000e+01 | 28.00%
231.13/231.29 c 214s| 1 | 0 | 12430 | - | 91M| 0 | 177 |1150 | 81k|1150 | 81k| 248 | 0 | 0 |-5.000000e+01 |-3.600000e+01 | 28.00%
295.32/295.47 c 264s| 1 | 0 | 12589 | - | 91M| 0 | 154 |1150 | 81k|1150 | 81k| 260 | 0 | 0 |-5.000000e+01 |-3.600000e+01 | 28.00%
299.21/299.35 c 267s| 1 | 0 | 12720 | - | 91M| 0 | 185 |1150 | 81k|1150 | 81k| 269 | 0 | 0 |-5.000000e+01 |-3.600000e+01 | 28.00%
302.81/302.94 c 270s| 1 | 0 | 12945 | - | 91M| 0 | 190 |1150 | 81k|1150 | 81k| 283 | 0 | 0 |-5.000000e+01 |-3.600000e+01 | 28.00%
424.18/424.36 c 391s| 1 | 2 | 12945 | - | 91M| 0 | 190 |1150 | 81k|1150 | 81k| 283 | 0 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
430.08/430.28 o -37
430.08/430.28 c * 397s| 9405 | 31 | 12945 | 0.0 | 91M| 43 | - |1150 | 81k| 0 | 0 | 283 | 51 | 33 |-5.000000e+01 |-3.700000e+01 | 26.00%
430.48/430.67 c 397s| 10000 | 25 | 12945 | 0.0 | 91M| 43 | - |1150 | 81k| 0 | 0 | 283 | 67 | 33 |-5.000000e+01 |-3.700000e+01 | 26.00%
436.79/436.95 c 404s| 20000 | 22 | 12945 | 0.0 | 91M| 48 | - |1150 | 81k| 0 | 0 | 283 | 115 | 33 |-5.000000e+01 |-3.700000e+01 | 26.00%
443.09/443.22 c 410s| 30000 | 25 | 12945 | 0.0 | 91M| 48 | - |1150 | 81k| 0 | 0 | 283 | 153 | 33 |-5.000000e+01 |-3.700000e+01 | 26.00%
449.28/449.49 c 416s| 40000 | 24 | 12945 | 0.0 | 91M| 49 | - |1150 | 81k| 0 | 0 | 283 | 202 | 33 |-5.000000e+01 |-3.700000e+01 | 26.00%
455.48/455.61 c 422s| 50000 | 22 | 12945 | 0.0 | 91M| 49 | - |1150 | 81k| 0 | 0 | 283 | 308 | 33 |-5.000000e+01 |-3.700000e+01 | 26.00%
461.78/461.93 c 428s| 60000 | 23 | 12945 | 0.0 | 91M| 50 | - |1150 | 81k| 0 | 0 | 283 | 351 | 33 |-5.000000e+01 |-3.700000e+01 | 26.00%
467.67/467.89 c 434s| 70000 | 23 | 12945 | 0.0 | 91M| 50 | - |1150 | 81k| 0 | 0 | 283 | 395 | 33 |-5.000000e+01 |-3.700000e+01 | 26.00%
473.88/474.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
473.88/474.02 c 440s| 80000 | 24 | 12945 | 0.0 | 91M| 51 | - |1150 | 81k| 0 | 0 | 283 | 506 | 33 |-5.000000e+01 |-3.700000e+01 | 26.00%
479.97/480.10 c 446s| 90000 | 27 | 12945 | 0.0 | 91M| 51 | - |1150 | 81k| 0 | 0 | 283 | 539 | 33 |-5.000000e+01 |-3.700000e+01 | 26.00%
485.77/485.93 c 451s|100000 | 22 | 12945 | 0.0 | 91M| 53 | - |1150 | 81k| 0 | 0 | 283 | 603 | 33 |-5.000000e+01 |-3.700000e+01 | 26.00%
491.58/491.73 c 457s|110000 | 24 | 12945 | 0.0 | 91M| 55 | - |1150 | 81k| 0 | 0 | 283 | 638 | 33 |-5.000000e+01 |-3.700000e+01 | 26.00%
497.87/498.03 c 463s|120000 | 24 | 12945 | 0.0 | 91M| 55 | - |1150 | 81k| 0 | 0 | 283 | 716 | 33 |-5.000000e+01 |-3.700000e+01 | 26.00%
498.86/499.05 o -38
498.86/499.05 c * 464s|121595 | 25 | 12945 | 0.0 | 91M| 55 | - |1150 | 81k| 0 | 0 | 283 | 731 | 33 |-5.000000e+01 |-3.800000e+01 | 24.00%
500.27/500.40 o -39
500.27/500.40 c * 466s|123823 | 25 | 12945 | 0.0 | 91M| 55 | - |1150 | 81k| 0 | 0 | 283 | 742 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
504.06/504.22 c 469s|130000 | 22 | 12945 | 0.0 | 91M| 55 | - |1150 | 81k| 0 | 0 | 283 | 785 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
510.17/510.32 c 475s|140000 | 22 | 12945 | 0.0 | 91M| 55 | - |1150 | 81k| 0 | 0 | 283 | 848 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
516.16/516.31 c 481s|150000 | 28 | 12945 | 0.0 | 91M| 55 | - |1150 | 81k| 0 | 0 | 283 | 910 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
522.27/522.44 c 487s|160000 | 25 | 12945 | 0.0 | 91M| 55 | - |1150 | 81k| 0 | 0 | 283 | 959 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
528.16/528.35 c 493s|170000 | 24 | 12945 | 0.0 | 91M| 55 | - |1150 | 81k| 0 | 0 | 283 | 992 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
534.56/534.78 c 499s|180000 | 25 | 12945 | 0.0 | 91M| 55 | - |1150 | 81k| 0 | 0 | 283 |1024 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
540.75/540.90 c 505s|190000 | 24 | 12945 | 0.0 | 91M| 55 | - |1150 | 81k| 0 | 0 | 283 |1064 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
547.06/547.25 c 511s|200000 | 23 | 12945 | 0.0 | 91M| 55 | - |1150 | 81k| 0 | 0 | 283 |1101 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
553.25/553.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
553.25/553.45 c 517s|210000 | 24 | 12945 | 0.0 | 91M| 55 | - |1150 | 81k| 0 | 0 | 283 |1163 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
559.35/559.59 c 523s|220000 | 25 | 12945 | 0.0 | 91M| 55 | - |1150 | 81k| 0 | 0 | 283 |1212 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
565.45/565.65 c 529s|230000 | 25 | 12945 | 0.0 | 91M| 56 | - |1150 | 81k| 0 | 0 | 283 |1250 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
571.45/571.61 c 535s|240000 | 20 | 12945 | 0.0 | 91M| 56 | - |1150 | 81k| 0 | 0 | 283 |1277 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
577.25/577.45 c 541s|250000 | 22 | 12945 | 0.0 | 91M| 56 | - |1150 | 81k| 0 | 0 | 283 |1320 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
583.25/583.46 c 547s|260000 | 26 | 12945 | 0.0 | 91M| 57 | - |1150 | 81k| 0 | 0 | 283 |1368 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
589.24/589.43 c 553s|270000 | 24 | 12945 | 0.0 | 91M| 57 | - |1150 | 81k| 0 | 0 | 283 |1405 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
595.45/595.63 c 559s|280000 | 22 | 12945 | 0.0 | 91M| 57 | - |1150 | 81k| 0 | 0 | 283 |1451 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
601.55/601.76 c 565s|290000 | 25 | 12945 | 0.0 | 91M| 57 | - |1150 | 81k| 0 | 0 | 283 |1500 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
607.94/608.11 c 571s|300000 | 23 | 12945 | 0.0 | 91M| 57 | - |1150 | 81k| 0 | 0 | 283 |1533 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
614.14/614.34 c 577s|310000 | 24 | 12945 | 0.0 | 91M| 57 | - |1150 | 81k| 0 | 0 | 283 |1562 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
620.25/620.41 c 583s|320000 | 23 | 12945 | 0.0 | 91M| 57 | - |1150 | 81k| 0 | 0 | 283 |1624 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
626.23/626.43 c 589s|330000 | 23 | 12945 | 0.0 | 91M| 57 | - |1150 | 81k| 0 | 0 | 283 |1682 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
632.03/632.29 c 594s|340000 | 21 | 12945 | 0.0 | 91M| 57 | - |1150 | 81k| 0 | 0 | 283 |1733 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
637.84/638.05 c 600s|350000 | 23 | 12945 | 0.0 | 91M| 57 | - |1150 | 81k| 0 | 0 | 283 |1770 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
643.83/644.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
643.83/644.03 c 606s|360000 | 22 | 12945 | 0.0 | 91M| 57 | - |1150 | 81k| 0 | 0 | 283 |1800 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
649.84/650.05 c 612s|370000 | 23 | 12945 | 0.0 | 91M| 57 | - |1150 | 81k| 0 | 0 | 283 |1834 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
655.62/655.89 c 618s|380000 | 23 | 12945 | 0.0 | 91M| 57 | - |1150 | 81k| 0 | 0 | 283 |1873 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
661.72/661.93 c 623s|390000 | 23 | 12945 | 0.0 | 91M| 57 | - |1150 | 81k| 0 | 0 | 283 |1951 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
667.72/667.98 c 629s|400000 | 24 | 12945 | 0.0 | 91M| 57 | - |1150 | 81k| 0 | 0 | 283 |1997 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
673.73/673.90 c 635s|410000 | 24 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |2019 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
679.72/679.93 c 641s|420000 | 23 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |2049 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
685.92/686.10 c 647s|430000 | 21 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |2118 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
691.92/692.15 c 653s|440000 | 22 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |2196 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
697.81/698.08 c 659s|450000 | 21 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |2230 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
703.72/703.95 c 665s|460000 | 20 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |2278 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
709.91/710.12 c 671s|470000 | 25 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |2331 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
716.12/716.30 c 677s|480000 | 24 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |2367 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
722.42/722.62 c 683s|490000 | 23 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |2404 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
728.51/728.77 c 689s|500000 | 25 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |2447 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
734.91/735.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
734.91/735.17 c 695s|510000 | 24 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |2485 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
740.91/741.10 c 701s|520000 | 22 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |2509 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
747.01/747.22 c 707s|530000 | 23 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |2566 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
753.21/753.49 c 713s|540000 | 24 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |2602 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
759.50/759.76 c 719s|550000 | 25 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |2629 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
765.70/765.91 c 725s|560000 | 23 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |2653 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
772.01/772.22 c 731s|570000 | 25 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |2676 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
778.19/778.41 c 737s|580000 | 25 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |2703 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
784.20/784.45 c 743s|590000 | 25 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |2732 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
790.00/790.23 c 749s|600000 | 25 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |2775 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
795.79/796.09 c 755s|610000 | 23 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |2804 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
801.49/801.75 c 760s|620000 | 23 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |2835 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
807.29/807.51 c 766s|630000 | 23 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |2869 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
813.19/813.42 c 772s|640000 | 25 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |2888 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
818.99/819.29 c 777s|650000 | 25 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |2918 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
824.69/824.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
824.69/824.99 c 783s|660000 | 23 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |2954 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
830.59/830.86 c 789s|670000 | 21 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |3003 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
836.58/836.84 c 794s|680000 | 21 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |3050 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
842.68/842.95 c 800s|690000 | 24 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |3100 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
848.78/849.08 c 806s|700000 | 22 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |3157 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
854.88/855.12 c 812s|710000 | 22 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |3212 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
860.88/861.12 c 818s|720000 | 24 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |3295 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
867.07/867.32 c 824s|730000 | 23 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |3333 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
873.18/873.47 c 830s|740000 | 22 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |3384 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
879.28/879.51 c 836s|750000 | 27 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |3420 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
885.28/885.56 c 842s|760000 | 25 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |3511 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
891.47/891.76 c 848s|770000 | 25 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |3557 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
897.38/897.63 c 854s|780000 | 22 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |3595 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
903.36/903.61 c 860s|790000 | 24 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |3633 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
909.27/909.58 c 865s|800000 | 25 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |3679 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
915.37/915.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
915.37/915.60 c 871s|810000 | 22 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |3704 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
921.17/921.46 c 877s|820000 | 22 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |3752 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
926.97/927.24 c 883s|830000 | 20 | 12945 | 0.0 | 91M| 61 | - |1150 | 81k| 0 | 0 | 283 |3801 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
933.16/933.40 c 889s|840000 | 23 | 12945 | 0.0 | 91M| 63 | - |1150 | 81k| 0 | 0 | 283 |3853 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
939.35/939.61 c 895s|850000 | 24 | 12945 | 0.0 | 91M| 63 | - |1150 | 81k| 0 | 0 | 283 |3883 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
945.76/946.01 c 901s|860000 | 24 | 12945 | 0.0 | 91M| 63 | - |1150 | 81k| 0 | 0 | 283 |3940 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
951.95/952.27 c 907s|870000 | 24 | 12945 | 0.0 | 91M| 63 | - |1150 | 81k| 0 | 0 | 283 |3986 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
958.15/958.46 c 913s|880000 | 21 | 12945 | 0.0 | 91M| 63 | - |1150 | 81k| 0 | 0 | 283 |4026 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
964.46/964.77 c 919s|890000 | 21 | 12945 | 0.0 | 91M| 63 | - |1150 | 81k| 0 | 0 | 283 |4085 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
970.45/970.76 c 925s|900000 | 23 | 12945 | 0.0 | 91M| 63 | - |1150 | 81k| 0 | 0 | 283 |4125 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
976.55/976.83 c 931s|910000 | 24 | 12945 | 0.0 | 91M| 63 | - |1150 | 81k| 0 | 0 | 283 |4150 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
982.74/983.08 c 937s|920000 | 24 | 12945 | 0.0 | 91M| 63 | - |1150 | 81k| 0 | 0 | 283 |4176 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
988.95/989.27 c 943s|930000 | 22 | 12945 | 0.0 | 91M| 63 | - |1150 | 81k| 0 | 0 | 283 |4204 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
995.05/995.38 c 949s|940000 | 22 | 12945 | 0.0 | 91M| 63 | - |1150 | 81k| 0 | 0 | 283 |4250 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1001.24/1001.59 c 955s|950000 | 24 | 12945 | 0.0 | 91M| 63 | - |1150 | 81k| 0 | 0 | 283 |4276 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1007.04/1007.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1007.04/1007.35 c 961s|960000 | 22 | 12945 | 0.0 | 91M| 63 | - |1150 | 81k| 0 | 0 | 283 |4328 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1012.94/1013.22 c 967s|970000 | 22 | 12945 | 0.0 | 91M| 63 | - |1150 | 81k| 0 | 0 | 283 |4372 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1019.04/1019.34 c 973s|980000 | 27 | 12945 | 0.0 | 91M| 63 | - |1150 | 81k| 0 | 0 | 283 |4423 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1025.04/1025.36 c 979s|990000 | 26 | 12945 | 0.0 | 91M| 63 | - |1150 | 81k| 0 | 0 | 283 |4488 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1030.94/1031.23 c 984s| 1000k| 26 | 12945 | 0.0 | 91M| 63 | - |1150 | 81k| 0 | 0 | 283 |4529 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1036.64/1036.94 c 990s| 1010k| 25 | 12945 | 0.0 | 91M| 63 | - |1150 | 81k| 0 | 0 | 283 |4577 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1042.44/1042.73 c 996s| 1020k| 23 | 12945 | 0.0 | 91M| 65 | - |1150 | 81k| 0 | 0 | 283 |4628 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1048.24/1048.59 c 1001s| 1030k| 24 | 12945 | 0.0 | 91M| 65 | - |1150 | 81k| 0 | 0 | 283 |4674 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1054.33/1054.69 c 1007s| 1040k| 22 | 12945 | 0.0 | 91M| 65 | - |1150 | 81k| 0 | 0 | 283 |4722 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1060.33/1060.67 c 1013s| 1050k| 24 | 12945 | 0.0 | 91M| 65 | - |1150 | 81k| 0 | 0 | 283 |4776 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1066.64/1066.91 c 1019s| 1060k| 23 | 12945 | 0.0 | 91M| 65 | - |1150 | 81k| 0 | 0 | 283 |4832 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1072.53/1072.85 c 1025s| 1070k| 25 | 12945 | 0.0 | 91M| 65 | - |1150 | 81k| 0 | 0 | 283 |4887 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1078.23/1078.57 c 1031s| 1080k| 26 | 12945 | 0.0 | 91M| 65 | - |1150 | 81k| 0 | 0 | 283 |4931 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1084.02/1084.38 c 1036s| 1090k| 24 | 12945 | 0.0 | 91M| 65 | - |1150 | 81k| 0 | 0 | 283 |4986 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1089.92/1090.20 c 1042s| 1100k| 23 | 12945 | 0.0 | 91M| 65 | - |1150 | 81k| 0 | 0 | 283 |5060 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1095.72/1096.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1095.72/1096.03 c 1048s| 1110k| 24 | 12945 | 0.0 | 91M| 65 | - |1150 | 81k| 0 | 0 | 283 |5101 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1101.82/1102.12 c 1054s| 1120k| 25 | 12945 | 0.0 | 91M| 65 | - |1150 | 81k| 0 | 0 | 283 |5133 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1107.71/1108.08 c 1059s| 1130k| 22 | 12945 | 0.0 | 91M| 65 | - |1150 | 81k| 0 | 0 | 283 |5180 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1113.81/1114.17 c 1065s| 1140k| 21 | 12945 | 0.0 | 91M| 65 | - |1150 | 81k| 0 | 0 | 283 |5211 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1119.81/1120.10 c 1071s| 1150k| 23 | 12945 | 0.0 | 91M| 67 | - |1150 | 81k| 0 | 0 | 283 |5236 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1125.72/1126.07 c 1077s| 1160k| 23 | 12945 | 0.0 | 91M| 67 | - |1150 | 81k| 0 | 0 | 283 |5264 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1131.71/1132.06 c 1083s| 1170k| 23 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |5310 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1137.71/1138.00 c 1089s| 1180k| 21 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |5347 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1143.51/1143.87 c 1094s| 1190k| 24 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |5379 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1149.40/1149.70 c 1100s| 1200k| 24 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |5416 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1155.30/1155.62 c 1106s| 1210k| 24 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |5459 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1161.31/1161.67 c 1112s| 1220k| 21 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |5511 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1167.00/1167.39 c 1117s| 1230k| 26 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |5529 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1173.10/1173.44 c 1123s| 1240k| 26 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |5576 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1179.20/1179.60 c 1129s| 1250k| 22 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |5610 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1185.30/1185.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1185.30/1185.65 c 1135s| 1260k| 22 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |5636 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1191.49/1191.89 c 1141s| 1270k| 22 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |5666 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1198.19/1198.56 c 1148s| 1280k| 23 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |5707 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1204.60/1204.92 c 1154s| 1290k| 23 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |5725 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1210.99/1211.32 c 1160s| 1300k| 24 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |5766 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1216.99/1217.38 c 1166s| 1310k| 24 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |5790 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1223.18/1223.50 c 1172s| 1320k| 22 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |5818 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1228.99/1229.38 c 1178s| 1330k| 22 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |5835 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1235.18/1235.50 c 1184s| 1340k| 21 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |5884 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1241.39/1241.72 c 1190s| 1350k| 20 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |5915 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1247.68/1248.01 c 1196s| 1360k| 22 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |6000 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1253.78/1254.18 c 1202s| 1370k| 22 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |6049 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1259.98/1260.31 c 1208s| 1380k| 22 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |6153 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1266.08/1266.46 c 1214s| 1390k| 26 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |6204 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1272.08/1272.44 c 1220s| 1400k| 24 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |6222 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1278.07/1278.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1278.07/1278.48 c 1226s| 1410k| 22 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |6257 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1284.17/1284.59 c 1232s| 1420k| 24 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |6335 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1290.28/1290.67 c 1238s| 1430k| 24 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |6428 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1296.37/1296.74 c 1244s| 1440k| 21 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |6486 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1302.37/1302.72 c 1250s| 1450k| 21 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |6543 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1308.36/1308.76 c 1256s| 1460k| 23 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |6577 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1314.26/1314.62 c 1261s| 1470k| 24 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |6618 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1320.36/1320.74 c 1267s| 1480k| 25 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |6701 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1326.47/1326.85 c 1273s| 1490k| 23 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |6793 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1332.77/1333.13 c 1279s| 1500k| 21 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |6834 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1338.76/1339.18 c 1285s| 1510k| 21 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |6930 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1344.86/1345.21 c 1291s| 1520k| 22 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |6964 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1350.55/1350.98 c 1297s| 1530k| 21 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |7001 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1356.56/1356.97 c 1303s| 1540k| 23 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |7043 | 33 |-5.000000e+01 |-3.900000e+01 | 22.00%
1357.06/1357.42 o -40
1357.06/1357.42 c *1303s| 1540k| 24 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |7047 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1362.65/1363.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1362.65/1363.07 c 1309s| 1550k| 24 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |7093 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1368.55/1368.93 c 1314s| 1560k| 20 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |7137 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1374.56/1374.91 c 1320s| 1570k| 26 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |7177 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1380.16/1380.52 c 1326s| 1580k| 23 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |7208 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1385.95/1386.38 c 1331s| 1590k| 25 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |7237 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1392.04/1392.49 c 1337s| 1600k| 23 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |7306 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1398.14/1398.57 c 1343s| 1610k| 23 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |7349 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1404.25/1404.65 c 1349s| 1620k| 25 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |7372 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1410.34/1410.71 c 1355s| 1630k| 24 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |7396 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1416.74/1417.15 c 1362s| 1640k| 21 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |7431 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1422.94/1423.31 c 1368s| 1650k| 24 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |7481 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1429.23/1429.61 c 1374s| 1660k| 24 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |7529 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1435.33/1435.75 c 1380s| 1670k| 22 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |7560 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1441.23/1441.61 c 1385s| 1680k| 22 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |7581 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1447.24/1447.62 c 1391s| 1690k| 19 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |7609 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1453.23/1453.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1453.23/1453.67 c 1397s| 1700k| 22 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |7663 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1459.43/1459.84 c 1403s| 1710k| 24 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |7686 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1465.33/1465.73 c 1409s| 1720k| 21 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |7709 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1471.53/1471.90 c 1415s| 1730k| 21 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |7737 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1477.62/1478.05 c 1421s| 1740k| 24 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |7760 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1483.53/1483.95 c 1427s| 1750k| 23 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |7783 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1489.62/1490.03 c 1433s| 1760k| 23 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |7813 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1495.82/1496.23 c 1439s| 1770k| 25 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |7864 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1501.92/1502.37 c 1445s| 1780k| 21 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |7910 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1508.12/1508.53 c 1451s| 1790k| 25 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |7933 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1514.23/1514.62 c 1457s| 1800k| 22 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |7985 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1520.51/1520.99 c 1463s| 1810k| 25 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |8025 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1526.61/1527.00 c 1469s| 1820k| 23 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |8071 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1532.61/1533.05 c 1475s| 1830k| 22 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |8115 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1538.81/1539.24 c 1481s| 1840k| 24 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |8156 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1544.70/1545.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1544.70/1545.17 c 1487s| 1850k| 22 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |8182 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1550.81/1551.29 c 1493s| 1860k| 23 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |8217 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1556.90/1557.36 c 1499s| 1870k| 24 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |8245 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1563.00/1563.45 c 1505s| 1880k| 26 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |8267 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1569.10/1569.58 c 1511s| 1890k| 24 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |8289 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1575.30/1575.73 c 1517s| 1900k| 25 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |8309 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1581.41/1581.82 c 1522s| 1910k| 23 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |8363 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1587.60/1588.04 c 1529s| 1920k| 24 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |8388 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1593.79/1594.29 c 1535s| 1930k| 21 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |8410 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1600.19/1600.65 c 1541s| 1940k| 22 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |8456 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1606.60/1607.06 c 1547s| 1950k| 24 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |8509 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1613.09/1613.51 c 1553s| 1960k| 22 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |8556 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1618.98/1619.46 c 1559s| 1970k| 24 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |8599 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1624.88/1625.36 c 1565s| 1980k| 22 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |8640 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1631.08/1631.57 c 1571s| 1990k| 25 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |8679 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1637.18/1637.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1637.18/1637.67 c 1577s| 2000k| 25 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |8720 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1643.48/1643.91 c 1583s| 2010k| 23 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |8759 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1649.68/1650.14 c 1589s| 2020k| 23 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |8785 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1655.98/1656.49 c 1595s| 2030k| 23 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |8815 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1661.98/1662.42 c 1601s| 2040k| 23 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |8852 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1667.88/1668.32 c 1607s| 2050k| 21 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |8878 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1673.98/1674.42 c 1613s| 2060k| 22 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |8898 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1679.97/1680.40 c 1619s| 2070k| 24 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |8940 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1686.07/1686.50 c 1625s| 2080k| 23 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |8967 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1692.27/1692.72 c 1631s| 2090k| 24 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |8991 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1698.57/1699.07 c 1637s| 2100k| 22 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |9018 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1704.76/1705.22 c 1643s| 2110k| 24 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |9041 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1710.86/1711.30 c 1649s| 2120k| 25 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |9080 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1716.86/1717.37 c 1655s| 2130k| 24 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |9110 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1722.76/1723.22 c 1661s| 2140k| 23 | 12945 | 0.0 | 91M| 70 | - |1150 | 81k| 0 | 0 | 283 |9142 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1728.67/1729.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1728.67/1729.16 c 1666s| 2150k| 24 | 12945 | 0.0 | 91M| 72 | - |1150 | 81k| 0 | 0 | 283 |9170 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1735.05/1735.53 c 1673s| 2160k| 23 | 12945 | 0.0 | 91M| 72 | - |1150 | 81k| 0 | 0 | 283 |9229 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1741.66/1742.11 c 1679s| 2170k| 21 | 12945 | 0.0 | 91M| 72 | - |1150 | 81k| 0 | 0 | 283 |9295 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1747.86/1748.35 c 1685s| 2180k| 24 | 12945 | 0.0 | 91M| 72 | - |1150 | 81k| 0 | 0 | 283 |9344 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1754.15/1754.63 c 1691s| 2190k| 23 | 12945 | 0.0 | 91M| 72 | - |1150 | 81k| 0 | 0 | 283 |9382 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1760.45/1760.90 c 1698s| 2200k| 24 | 12945 | 0.0 | 91M| 72 | - |1150 | 81k| 0 | 0 | 283 |9432 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1766.65/1767.19 c 1704s| 2210k| 20 | 12945 | 0.0 | 91M| 72 | - |1150 | 81k| 0 | 0 | 283 |9479 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1773.05/1773.53 c 1710s| 2220k| 23 | 12945 | 0.0 | 91M| 72 | - |1150 | 81k| 0 | 0 | 283 |9519 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1779.36/1779.85 c 1716s| 2230k| 21 | 12945 | 0.0 | 91M| 72 | - |1150 | 81k| 0 | 0 | 283 |9546 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1785.54/1786.01 c 1722s| 2240k| 25 | 12945 | 0.0 | 91M| 72 | - |1150 | 81k| 0 | 0 | 283 |9662 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1791.55/1792.03 c 1728s| 2250k| 26 | 12945 | 0.0 | 91M| 72 | - |1150 | 81k| 0 | 0 | 283 |9726 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1797.55/1798.01 c 1734s| 2260k| 23 | 12945 | 0.0 | 91M| 72 | - |1150 | 81k| 0 | 0 | 283 |9798 | 33 |-5.000000e+01 |-4.000000e+01 | 20.00%
1800.05/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.50 c
1800.05/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.50 c Solving Time (sec) : 1736.25
1800.05/1800.50 c Solving Nodes : 2264082
1800.05/1800.50 c Primal Bound : -4.00000000000000e+01 (15 solutions)
1800.05/1800.50 c Dual Bound : -5.00000000000000e+01
1800.05/1800.50 c Gap : 20.00 %
1800.05/1800.55 s SATISFIABLE
1800.05/1800.55 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
1800.05/1800.55 v -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
1800.05/1800.55 v -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
1800.05/1800.55 v -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
1800.05/1800.55 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
1800.05/1800.55 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145
1800.05/1800.55 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165
1800.05/1800.55 v -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186
1800.05/1800.55 v -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207
1800.05/1800.55 v -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228
1800.05/1800.55 v -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249
1800.05/1800.55 v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
1800.05/1800.55 v -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291
1800.05/1800.55 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312
1800.05/1800.55 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333
1800.05/1800.55 v -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354
1800.05/1800.55 v -x355 -x356 -x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375
1800.05/1800.55 v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 -x396
1800.05/1800.55 v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417
1800.05/1800.55 v x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438
1800.05/1800.55 v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459
1800.05/1800.55 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
1800.05/1800.55 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 x501
1800.05/1800.55 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522
1800.05/1800.55 v -x523 -x524 -x525 -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543
1800.05/1800.55 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563
1800.05/1800.55 v -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584
1800.05/1800.55 v -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605
1800.05/1800.55 v -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626
1800.05/1800.55 v -x627 -x628 -x629 -x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647
1800.05/1800.55 v -x648 x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668
1800.05/1800.55 v x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689
1800.05/1800.55 v -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 x708 -x709 -x710
1800.05/1800.55 v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731
1800.05/1800.55 v -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752
1800.05/1800.55 v -x753 x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770 -x771 -x772 -x773
1800.05/1800.55 v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794
1800.05/1800.55 v -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815
1800.05/1800.55 v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836
1800.05/1800.55 v -x837 -x838 -x839 -x840 -x841 -x842 -x843 x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857
1800.05/1800.55 v -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878
1800.05/1800.55 v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899
1800.05/1800.55 v -x900 -x901 -x902 -x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
1800.05/1800.55 v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941
1800.05/1800.55 v -x942 x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962
1800.05/1800.55 v -x963 -x964 -x965 -x966 -x967 -x968 x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983
1800.05/1800.55 v -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 x998 -x999 -x1000 -x1001 -x1002 -x1003
1800.05/1800.55 v -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021
1800.05/1800.55 v -x1022 -x1023 -x1024 -x1025 -x1026 x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039
1800.05/1800.55 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 x1052 -x1053 -x1054 -x1055 -x1056 -x1057
1800.05/1800.55 v -x1058 -x1059 -x1060 -x1061 x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075
1800.05/1800.55 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093
1800.05/1800.55 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111
1800.05/1800.55 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129
1800.05/1800.55 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147
1800.05/1800.55 v -x1148 -x1149 -x1150
1800.05/1800.55 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.55 c Solving Time : 1736.25
1800.05/1800.55 c Original Problem :
1800.05/1800.55 c Problem name : HOME/instance-2666938-1276506692.opb
1800.05/1800.55 c Variables : 1150 (1150 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.55 c Constraints : 81068 initial, 81068 maximal
1800.05/1800.55 c Presolved Problem :
1800.05/1800.55 c Problem name : t_HOME/instance-2666938-1276506692.opb
1800.05/1800.55 c Variables : 1150 (1150 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.55 c Constraints : 81068 initial, 81085 maximal
1800.05/1800.55 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.55 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.55 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.55 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.55 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.55 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.55 c probing : 1.57 0 0 0 0 0 0 0 0
1800.05/1800.55 c logicor : 0.21 0 0 0 0 0 0 0 0
1800.05/1800.55 c root node : - 0 - - 0 - - - -
1800.05/1800.55 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.55 c integral : 0 0 0 1 0 0 0 0 0 2
1800.05/1800.55 c logicor : 81068+ 33 2293325 0 4 148916 4509796 0 0 0
1800.05/1800.55 c countsols : 0 0 0 0 4 0 0 0 0 0
1800.05/1800.55 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.55 c integral : 118.62 0.00 0.00 118.62 0.00
1800.05/1800.55 c logicor : 419.84 0.39 419.40 0.00 0.05
1800.05/1800.55 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.55 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.55 c vbounds : 1.68 2 0 0
1800.05/1800.55 c rootredcost : 1.82 4 0 0
1800.05/1800.55 c pseudoobj : 397.72 3584517 858834 1126188
1800.05/1800.55 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.55 c propagation : 203.13 148916 9810 9810 43.2 0 0.0 -
1800.05/1800.55 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.55 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.55 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.55 c pseudo solution : 229.81 125716 0 0 0.0 0 0.0 -
1800.05/1800.55 c applied globally : - - - 9810 43.2 - - -
1800.05/1800.55 c applied locally : - - - 0 0.0 - - -
1800.05/1800.55 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.55 c cut pool : 0.00 32 - - 90 - (maximal pool size: 520)
1800.05/1800.55 c redcost : 0.00 33 0 0 0 0
1800.05/1800.55 c impliedbounds : 0.11 33 0 0 0 0
1800.05/1800.55 c intobj : 0.00 0 0 0 0 0
1800.05/1800.55 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.55 c gomory : 79.84 33 0 0 16000 0
1800.05/1800.55 c strongcg : 19.18 20 0 0 10000 0
1800.05/1800.55 c cmir : 25.54 10 0 0 0 0
1800.05/1800.55 c flowcover : 26.63 10 0 0 0 0
1800.05/1800.55 c clique : 2.27 33 0 0 297 0
1800.05/1800.55 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.55 c mcf : 0.15 1 0 0 0 0
1800.05/1800.55 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.55 c Pricers : Time Calls Vars
1800.05/1800.55 c problem variables: 0.00 0 0
1800.05/1800.55 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.55 c relpscost : 118.62 1 0 0 0 0 2
1800.05/1800.55 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.55 c inference : 14.02 1136806 0 0 0 0 2273612
1800.05/1800.55 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.55 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.55 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.55 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.55 c random : 0.00 0 0 0 0 0 0
1800.05/1800.55 c Primal Heuristics : Time Calls Found
1800.05/1800.55 c LP solutions : 0.00 - 0
1800.05/1800.55 c pseudo solutions : 0.00 - 4
1800.05/1800.55 c crossover : 0.00 0 0
1800.05/1800.55 c oneopt : 2.43 2 1
1800.05/1800.55 c trivial : 0.05 2 3
1800.05/1800.55 c simplerounding : 0.01 34 3
1800.05/1800.55 c zirounding : 0.02 1 1
1800.05/1800.55 c rounding : 1.85 34 1
1800.05/1800.55 c shifting : 2.34 34 1
1800.05/1800.55 c intshifting : 0.00 0 0
1800.05/1800.55 c twoopt : 0.00 0 0
1800.05/1800.55 c fixandinfer : 0.00 0 0
1800.05/1800.55 c feaspump : 0.00 0 0
1800.05/1800.55 c coefdiving : 0.00 0 0
1800.05/1800.55 c pscostdiving : 0.00 0 0
1800.05/1800.55 c fracdiving : 0.00 0 0
1800.05/1800.55 c veclendiving : 0.00 0 0
1800.05/1800.55 c intdiving : 0.00 0 0
1800.05/1800.55 c actconsdiving : 0.00 0 0
1800.05/1800.55 c objpscostdiving : 0.00 0 0
1800.05/1800.55 c rootsoldiving : 0.00 0 0
1800.05/1800.55 c linesearchdiving : 0.00 0 0
1800.05/1800.55 c guideddiving : 0.00 0 0
1800.05/1800.55 c octane : 0.00 0 0
1800.05/1800.55 c rens : 2.17 1 1
1800.05/1800.55 c rins : 0.00 0 0
1800.05/1800.55 c localbranching : 0.00 0 0
1800.05/1800.55 c mutation : 0.00 0 0
1800.05/1800.55 c dins : 0.00 0 0
1800.05/1800.55 c undercover : 0.00 0 0
1800.05/1800.55 c nlp : 1.11 0 0
1800.05/1800.55 c trysol : 1.40 0 0
1800.05/1800.55 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.55 c primal LP : 0.25 0 0 0.00 0.00
1800.05/1800.55 c dual LP : 107.77 34 12945 380.74 120.12
1800.05/1800.55 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.55 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.55 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.55 c strong branching : 118.62 33 12921 391.55 108.93
1800.05/1800.55 c (at root node) : - 33 12921 391.55 -
1800.05/1800.55 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.55 c B&B Tree :
1800.05/1800.55 c number of runs : 1
1800.05/1800.55 c nodes : 2264082
1800.05/1800.55 c nodes (total) : 2264082
1800.05/1800.55 c nodes left : 24
1800.05/1800.55 c max depth : 72
1800.05/1800.55 c max depth (total): 72
1800.05/1800.55 c backtracks : 373572 (16.5%)
1800.05/1800.55 c delayed cutoffs : 6922
1800.05/1800.55 c repropagations : 7940 (27015 domain reductions, 6195 cutoffs)
1800.05/1800.55 c avg switch length: 2.00
1800.05/1800.55 c switching time : 150.32
1800.05/1800.55 c Solution :
1800.05/1800.55 c Solutions found : 15 (7 improvements)
1800.05/1800.55 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.12 seconds, depth 0, found by <trivial>)
1800.05/1800.55 c Primal Bound : -4.00000000000000e+01 (in run 1, after 1540704 nodes, 1303.13 seconds, depth 37, found by <relaxation>)
1800.05/1800.55 c Dual Bound : -5.00000000000000e+01
1800.05/1800.55 c Gap : 20.00 %
1800.05/1800.55 c Root Dual Bound : -5.00000000000000e+01
1800.05/1800.55 c Root Iterations : 12945
1800.34/1800.87 c Time complete: 1800.42.