0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2664239-1276463421.opb>
0.02/0.07 c original problem has 1020 variables (1020 bin, 0 int, 0 impl, 0 cont) and 3575 constraints
0.02/0.07 c problem read
0.02/0.07 c presolving settings loaded
0.02/0.07 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.02/0.09 c presolving:
0.09/0.12 c (round 1) 20 del vars, 20 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22220 impls, 0 clqs
0.09/0.16 c (round 2) 20 del vars, 30 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3195 upgd conss, 22220 impls, 0 clqs
0.09/0.18 c (round 3) 20 del vars, 30 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3545 upgd conss, 22220 impls, 0 clqs
0.19/0.23 c (0.1s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.23 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.23 c presolving (4 rounds):
0.19/0.23 c 20 deleted vars, 30 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.23 c 22220 implications, 0 cliques
0.19/0.23 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 3545 constraints
0.19/0.23 c 3545 constraints of type <logicor>
0.19/0.23 c transformed objective value is always integral (scale: 1)
0.19/0.23 c Presolving Time: 0.12
0.19/0.23 c - non default parameters ----------------------------------------------------------------------
0.19/0.23 c # SCIP version 1.2.1.2
0.19/0.23 c
0.19/0.23 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.23 c conflict/interconss = 0
0.19/0.23 c
0.19/0.23 c # should binary conflicts be preferred?
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c conflict/preferbinary = TRUE
0.19/0.23 c
0.19/0.23 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.23 c constraints/agelimit = 1
0.19/0.23 c
0.19/0.23 c # should enforcement of pseudo solution be disabled?
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/disableenfops = TRUE
0.19/0.23 c
0.19/0.23 c # frequency for displaying node information lines
0.19/0.23 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.23 c display/freq = 10000
0.19/0.23 c
0.19/0.23 c # maximal time in seconds to run
0.19/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.23 c limits/time = 1799.94
0.19/0.23 c
0.19/0.23 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.23 c limits/memory = 1620
0.19/0.23 c
0.19/0.23 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.23 c lp/solvefreq = -1
0.19/0.23 c
0.19/0.23 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)
0.19/0.23 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.23 c lp/pricing = a
0.19/0.23 c
0.19/0.23 c # should presolving try to simplify inequalities
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/linear/simplifyinequalities = TRUE
0.19/0.23 c
0.19/0.23 c # should presolving try to simplify knapsacks
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.23 c
0.19/0.23 c # priority of node selection rule <dfs> in standard mode
0.19/0.23 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.23 c nodeselection/dfs/stdpriority = 1000000
0.19/0.23 c
0.19/0.23 c -----------------------------------------------------------------------------------------------
0.19/0.23 c start solving
0.19/0.23 c
0.19/0.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.23 c 0.1s| 1 | 2 | 0 | - |5603k| 0 | - |1000 |3545 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.32 o 449
0.29/0.32 c * 0.2s| 242 | 175 | 0 | 0.0 |5750k| 201 | - |1000 |3550 | 0 | 0 | 0 | 19 | 0 | 1.000000e+00 | 4.490000e+02 | Large
10.39/10.45 c 10.0s| 10000 | 166 | 0 | 0.0 |5780k| 201 | - |1000 |3578 | 0 | 0 | 0 |6364 | 0 | 1.000000e+00 | 4.490000e+02 | Large
20.99/21.09 c 20.2s| 20000 | 167 | 0 | 0.0 |5786k| 201 | - |1000 |3584 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | 4.490000e+02 | Large
31.69/31.73 c 30.5s| 30000 | 162 | 0 | 0.0 |5810k| 201 | - |1000 |3614 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | 4.490000e+02 | Large
42.37/42.42 c 40.8s| 40000 | 167 | 0 | 0.0 |5780k| 201 | - |1000 |3574 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 4.490000e+02 | Large
52.97/53.07 c 51.1s| 50000 | 166 | 0 | 0.0 |5802k| 201 | - |1000 |3601 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | 4.490000e+02 | Large
63.68/63.77 c 61.5s| 60000 | 163 | 0 | 0.0 |5812k| 201 | - |1000 |3615 | 0 | 0 | 0 | 39k| 0 | 1.000000e+00 | 4.490000e+02 | Large
74.47/74.50 c 71.8s| 70000 | 159 | 0 | 0.0 |5837k| 201 | - |1000 |3650 | 0 | 0 | 0 | 46k| 0 | 1.000000e+00 | 4.490000e+02 | Large
85.16/85.22 c 82.2s| 80000 | 164 | 0 | 0.0 |5795k| 201 | - |1000 |3591 | 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | 4.490000e+02 | Large
95.86/95.92 c 92.5s| 90000 | 164 | 0 | 0.0 |5810k| 201 | - |1000 |3611 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | 4.490000e+02 | Large
106.56/106.67 c 103s|100000 | 161 | 0 | 0.0 |5825k| 201 | - |1000 |3631 | 0 | 0 | 0 | 65k| 0 | 1.000000e+00 | 4.490000e+02 | Large
117.36/117.46 c 113s|110000 | 163 | 0 | 0.0 |5825k| 201 | - |1000 |3632 | 0 | 0 | 0 | 72k| 0 | 1.000000e+00 | 4.490000e+02 | Large
128.15/128.20 c 124s|120000 | 165 | 0 | 0.0 |5813k| 201 | - |1000 |3615 | 0 | 0 | 0 | 79k| 0 | 1.000000e+00 | 4.490000e+02 | Large
138.95/139.01 c 134s|130000 | 163 | 0 | 0.0 |5830k| 201 | - |1000 |3638 | 0 | 0 | 0 | 85k| 0 | 1.000000e+00 | 4.490000e+02 | Large
149.74/149.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
149.74/149.81 c 145s|140000 | 165 | 0 | 0.0 |5811k| 201 | - |1000 |3611 | 0 | 0 | 0 | 92k| 0 | 1.000000e+00 | 4.490000e+02 | Large
159.45/159.53 o 448
159.45/159.53 c * 154s|148952 | 173 | 0 | 0.0 |5794k| 201 | - |1000 |3567 | 0 | 0 | 0 | 98k| 0 | 1.000000e+00 | 4.480000e+02 | Large
160.55/160.63 c 155s|150000 | 165 | 0 | 0.0 |5809k| 201 | - |1000 |3588 | 0 | 0 | 0 | 99k| 0 | 1.000000e+00 | 4.480000e+02 | Large
171.14/171.27 c 165s|160000 | 163 | 0 | 0.0 |5829k| 201 | - |1000 |3613 | 0 | 0 | 0 | 105k| 0 | 1.000000e+00 | 4.480000e+02 | Large
181.84/181.95 c 176s|170000 | 167 | 0 | 0.0 |5810k| 201 | - |1000 |3589 | 0 | 0 | 0 | 112k| 0 | 1.000000e+00 | 4.480000e+02 | Large
192.53/192.67 c 186s|180000 | 164 | 0 | 0.0 |5834k| 201 | - |1000 |3620 | 0 | 0 | 0 | 118k| 0 | 1.000000e+00 | 4.480000e+02 | Large
203.34/203.40 c 196s|190000 | 163 | 0 | 0.0 |5828k| 201 | - |1000 |3612 | 0 | 0 | 0 | 125k| 0 | 1.000000e+00 | 4.480000e+02 | Large
214.03/214.13 c 207s|200000 | 161 | 0 | 0.0 |5852k| 201 | - |1000 |3644 | 0 | 0 | 0 | 132k| 0 | 1.000000e+00 | 4.480000e+02 | Large
224.72/224.88 c 217s|210000 | 165 | 0 | 0.0 |5828k| 201 | - |1000 |3614 | 0 | 0 | 0 | 138k| 0 | 1.000000e+00 | 4.480000e+02 | Large
235.62/235.70 c 227s|220000 | 163 | 0 | 0.0 |5843k| 201 | - |1000 |3634 | 0 | 0 | 0 | 145k| 0 | 1.000000e+00 | 4.480000e+02 | Large
246.32/246.42 c 238s|230000 | 163 | 0 | 0.0 |5839k| 201 | - |1000 |3627 | 0 | 0 | 0 | 152k| 0 | 1.000000e+00 | 4.480000e+02 | Large
257.02/257.13 c 248s|240000 | 162 | 0 | 0.0 |5839k| 201 | - |1000 |3629 | 0 | 0 | 0 | 158k| 0 | 1.000000e+00 | 4.480000e+02 | Large
267.71/267.89 c 259s|250000 | 163 | 0 | 0.0 |5837k| 201 | - |1000 |3627 | 0 | 0 | 0 | 165k| 0 | 1.000000e+00 | 4.480000e+02 | Large
278.61/278.72 c 269s|260000 | 158 | 0 | 0.0 |5868k| 201 | - |1000 |3669 | 0 | 0 | 0 | 171k| 0 | 1.000000e+00 | 4.480000e+02 | Large
289.31/289.44 c 279s|270000 | 164 | 0 | 0.0 |5829k| 201 | - |1000 |3615 | 0 | 0 | 0 | 178k| 0 | 1.000000e+00 | 4.480000e+02 | Large
300.11/300.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
300.11/300.23 c 290s|280000 | 162 | 0 | 0.0 |5847k| 201 | - |1000 |3639 | 0 | 0 | 0 | 185k| 0 | 1.000000e+00 | 4.480000e+02 | Large
310.90/311.05 c 300s|290000 | 163 | 0 | 0.0 |5848k| 201 | - |1000 |3639 | 0 | 0 | 0 | 191k| 0 | 1.000000e+00 | 4.480000e+02 | Large
321.60/321.77 c 311s|300000 | 167 | 0 | 0.0 |5805k| 201 | - |1000 |3581 | 0 | 0 | 0 | 198k| 0 | 1.000000e+00 | 4.480000e+02 | Large
328.60/328.75 c 317s|310000 | 167 | 0 | 0.0 |5788k| 201 | - |1000 |3559 | 0 | 0 | 0 | 202k| 0 | 1.000000e+00 | 4.480000e+02 | Large
336.89/337.09 c 325s|320000 | 164 | 0 | 0.0 |5787k| 201 | - |1000 |3559 | 0 | 0 | 0 | 207k| 0 | 1.000000e+00 | 4.480000e+02 | Large
345.30/345.48 c 333s|330000 | 163 | 0 | 0.0 |5788k| 201 | - |1000 |3560 | 0 | 0 | 0 | 212k| 0 | 1.000000e+00 | 4.480000e+02 | Large
353.59/353.77 c 341s|340000 | 167 | 0 | 0.0 |5781k| 201 | - |1000 |3551 | 0 | 0 | 0 | 217k| 0 | 1.000000e+00 | 4.480000e+02 | Large
360.99/361.11 c 348s|350000 | 162 | 0 | 0.0 |5807k| 201 | - |1000 |3583 | 0 | 0 | 0 | 222k| 0 | 1.000000e+00 | 4.480000e+02 | Large
369.39/369.52 c 357s|360000 | 160 | 0 | 0.0 |5806k| 201 | - |1000 |3583 | 0 | 0 | 0 | 227k| 0 | 1.000000e+00 | 4.480000e+02 | Large
376.18/376.35 c 363s|370000 | 167 | 0 | 0.0 |5788k| 201 | - |1000 |3559 | 0 | 0 | 0 | 231k| 0 | 1.000000e+00 | 4.480000e+02 | Large
383.18/383.39 c 370s|380000 | 167 | 0 | 0.0 |5787k| 201 | - |1000 |3558 | 0 | 0 | 0 | 235k| 0 | 1.000000e+00 | 4.480000e+02 | Large
391.77/391.90 c 378s|390000 | 162 | 0 | 0.0 |5786k| 201 | - |1000 |3558 | 0 | 0 | 0 | 241k| 0 | 1.000000e+00 | 4.480000e+02 | Large
400.07/400.28 c 386s|400000 | 164 | 0 | 0.0 |5781k| 201 | - |1000 |3551 | 0 | 0 | 0 | 246k| 0 | 1.000000e+00 | 4.480000e+02 | Large
407.47/407.68 c 393s|410000 | 160 | 0 | 0.0 |5787k| 201 | - |1000 |3559 | 0 | 0 | 0 | 250k| 0 | 1.000000e+00 | 4.480000e+02 | Large
416.26/416.45 c 402s|420000 | 161 | 0 | 0.0 |5799k| 201 | - |1000 |3573 | 0 | 0 | 0 | 256k| 0 | 1.000000e+00 | 4.480000e+02 | Large
424.66/424.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
424.66/424.89 c 410s|430000 | 161 | 0 | 0.0 |5787k| 201 | - |1000 |3559 | 0 | 0 | 0 | 261k| 0 | 1.000000e+00 | 4.480000e+02 | Large
431.66/431.87 c 417s|440000 | 162 | 0 | 0.0 |5780k| 201 | - |1000 |3551 | 0 | 0 | 0 | 265k| 0 | 1.000000e+00 | 4.480000e+02 | Large
437.67/437.88 c 422s|450000 | 163 | 0 | 0.0 |5797k| 201 | - |1000 |3570 | 0 | 0 | 0 | 269k| 0 | 1.000000e+00 | 4.480000e+02 | Large
446.15/446.33 c 430s|460000 | 163 | 0 | 0.0 |5788k| 201 | - |1000 |3559 | 0 | 0 | 0 | 274k| 0 | 1.000000e+00 | 4.480000e+02 | Large
454.46/454.61 c 438s|470000 | 168 | 0 | 0.0 |5782k| 201 | - |1000 |3551 | 0 | 0 | 0 | 279k| 0 | 1.000000e+00 | 4.480000e+02 | Large
460.76/460.96 c 444s|480000 | 162 | 0 | 0.0 |5797k| 201 | - |1000 |3572 | 0 | 0 | 0 | 283k| 0 | 1.000000e+00 | 4.480000e+02 | Large
469.15/469.38 c 453s|490000 | 161 | 0 | 0.0 |5797k| 201 | - |1000 |3572 | 0 | 0 | 0 | 288k| 0 | 1.000000e+00 | 4.480000e+02 | Large
477.65/477.87 c 461s|500000 | 162 | 0 | 0.0 |5791k| 201 | - |1000 |3564 | 0 | 0 | 0 | 293k| 0 | 1.000000e+00 | 4.480000e+02 | Large
485.84/486.00 c 469s|510000 | 160 | 0 | 0.0 |5797k| 201 | - |1000 |3570 | 0 | 0 | 0 | 298k| 0 | 1.000000e+00 | 4.480000e+02 | Large
494.64/494.87 c 477s|520000 | 163 | 0 | 0.0 |5792k| 201 | - |1000 |3564 | 0 | 0 | 0 | 303k| 0 | 1.000000e+00 | 4.480000e+02 | Large
503.45/503.67 c 486s|530000 | 161 | 0 | 0.0 |5795k| 201 | - |1000 |3568 | 0 | 0 | 0 | 309k| 0 | 1.000000e+00 | 4.480000e+02 | Large
512.03/512.23 c 494s|540000 | 160 | 0 | 0.0 |5799k| 201 | - |1000 |3574 | 0 | 0 | 0 | 314k| 0 | 1.000000e+00 | 4.480000e+02 | Large
520.53/520.73 c 502s|550000 | 161 | 0 | 0.0 |5790k| 201 | - |1000 |3563 | 0 | 0 | 0 | 319k| 0 | 1.000000e+00 | 4.480000e+02 | Large
529.53/529.72 c 511s|560000 | 160 | 0 | 0.0 |5787k| 201 | - |1000 |3560 | 0 | 0 | 0 | 325k| 0 | 1.000000e+00 | 4.480000e+02 | Large
538.03/538.29 c 519s|570000 | 166 | 0 | 0.0 |5792k| 201 | - |1000 |3563 | 0 | 0 | 0 | 330k| 0 | 1.000000e+00 | 4.480000e+02 | Large
544.62/544.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
544.62/544.87 c 525s|580000 | 161 | 0 | 0.0 |5804k| 201 | - |1000 |3578 | 0 | 0 | 0 | 334k| 0 | 1.000000e+00 | 4.480000e+02 | Large
553.22/553.43 c 533s|590000 | 163 | 0 | 0.0 |5793k| 201 | - |1000 |3566 | 0 | 0 | 0 | 339k| 0 | 1.000000e+00 | 4.480000e+02 | Large
561.32/561.54 c 541s|600000 | 161 | 0 | 0.0 |5793k| 201 | - |1000 |3565 | 0 | 0 | 0 | 344k| 0 | 1.000000e+00 | 4.480000e+02 | Large
569.82/570.06 c 549s|610000 | 166 | 0 | 0.0 |5788k| 201 | - |1000 |3558 | 0 | 0 | 0 | 349k| 0 | 1.000000e+00 | 4.480000e+02 | Large
578.11/578.30 c 557s|620000 | 163 | 0 | 0.0 |5786k| 201 | - |1000 |3556 | 0 | 0 | 0 | 354k| 0 | 1.000000e+00 | 4.480000e+02 | Large
586.61/586.86 c 566s|630000 | 163 | 0 | 0.0 |5790k| 201 | - |1000 |3560 | 0 | 0 | 0 | 359k| 0 | 1.000000e+00 | 4.480000e+02 | Large
593.51/593.78 c 572s|640000 | 160 | 0 | 0.0 |5787k| 201 | - |1000 |3560 | 0 | 0 | 0 | 364k| 0 | 1.000000e+00 | 4.480000e+02 | Large
602.00/602.23 c 580s|650000 | 160 | 0 | 0.0 |5788k| 201 | - |1000 |3560 | 0 | 0 | 0 | 369k| 0 | 1.000000e+00 | 4.480000e+02 | Large
610.40/610.67 c 589s|660000 | 161 | 0 | 0.0 |5803k| 201 | - |1000 |3577 | 0 | 0 | 0 | 374k| 0 | 1.000000e+00 | 4.480000e+02 | Large
618.90/619.17 c 597s|670000 | 164 | 0 | 0.0 |5792k| 201 | - |1000 |3564 | 0 | 0 | 0 | 379k| 0 | 1.000000e+00 | 4.480000e+02 | Large
625.30/625.59 c 603s|680000 | 161 | 0 | 0.0 |5783k| 201 | - |1000 |3552 | 0 | 0 | 0 | 383k| 0 | 1.000000e+00 | 4.480000e+02 | Large
632.00/632.22 c 609s|690000 | 162 | 0 | 0.0 |5780k| 201 | - |1000 |3550 | 0 | 0 | 0 | 387k| 0 | 1.000000e+00 | 4.480000e+02 | Large
638.40/638.67 c 615s|700000 | 159 | 0 | 0.0 |5809k| 201 | - |1000 |3583 | 0 | 0 | 0 | 391k| 0 | 1.000000e+00 | 4.480000e+02 | Large
644.59/644.83 c 621s|710000 | 165 | 0 | 0.0 |5789k| 201 | - |1000 |3560 | 0 | 0 | 0 | 394k| 0 | 1.000000e+00 | 4.480000e+02 | Large
651.89/652.11 c 628s|720000 | 164 | 0 | 0.0 |5782k| 201 | - |1000 |3551 | 0 | 0 | 0 | 399k| 0 | 1.000000e+00 | 4.480000e+02 | Large
657.59/657.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
657.59/657.85 c 634s|730000 | 161 | 0 | 0.0 |5779k| 201 | - |1000 |3550 | 0 | 0 | 0 | 402k| 0 | 1.000000e+00 | 4.480000e+02 | Large
665.38/665.67 c 641s|740000 | 160 | 0 | 0.0 |5809k| 201 | - |1000 |3585 | 0 | 0 | 0 | 407k| 0 | 1.000000e+00 | 4.480000e+02 | Large
673.68/673.99 c 649s|750000 | 162 | 0 | 0.0 |5803k| 201 | - |1000 |3577 | 0 | 0 | 0 | 412k| 0 | 1.000000e+00 | 4.480000e+02 | Large
682.18/682.46 c 658s|760000 | 164 | 0 | 0.0 |5790k| 201 | - |1000 |3560 | 0 | 0 | 0 | 417k| 0 | 1.000000e+00 | 4.480000e+02 | Large
690.98/691.26 c 666s|770000 | 164 | 0 | 0.0 |5783k| 201 | - |1000 |3552 | 0 | 0 | 0 | 422k| 0 | 1.000000e+00 | 4.480000e+02 | Large
699.68/699.96 c 674s|780000 | 167 | 0 | 0.0 |5782k| 201 | - |1000 |3551 | 0 | 0 | 0 | 428k| 0 | 1.000000e+00 | 4.480000e+02 | Large
707.97/708.25 c 682s|790000 | 164 | 0 | 0.0 |5804k| 201 | - |1000 |3579 | 0 | 0 | 0 | 433k| 0 | 1.000000e+00 | 4.480000e+02 | Large
716.57/716.82 c 691s|800000 | 159 | 0 | 0.0 |5804k| 201 | - |1000 |3578 | 0 | 0 | 0 | 438k| 0 | 1.000000e+00 | 4.480000e+02 | Large
725.07/725.37 c 699s|810000 | 164 | 0 | 0.0 |5789k| 201 | - |1000 |3559 | 0 | 0 | 0 | 443k| 0 | 1.000000e+00 | 4.480000e+02 | Large
733.56/733.82 c 707s|820000 | 163 | 0 | 0.0 |5788k| 201 | - |1000 |3559 | 0 | 0 | 0 | 448k| 0 | 1.000000e+00 | 4.480000e+02 | Large
741.96/742.28 c 715s|830000 | 160 | 0 | 0.0 |5803k| 201 | - |1000 |3578 | 0 | 0 | 0 | 454k| 0 | 1.000000e+00 | 4.480000e+02 | Large
750.36/750.65 c 723s|840000 | 160 | 0 | 0.0 |5789k| 201 | - |1000 |3560 | 0 | 0 | 0 | 459k| 0 | 1.000000e+00 | 4.480000e+02 | Large
756.47/756.75 c 729s|850000 | 162 | 0 | 0.0 |5797k| 201 | - |1000 |3571 | 0 | 0 | 0 | 462k| 0 | 1.000000e+00 | 4.480000e+02 | Large
762.75/763.09 c 735s|860000 | 159 | 0 | 0.0 |5819k| 201 | - |1000 |3597 | 0 | 0 | 0 | 466k| 0 | 1.000000e+00 | 4.480000e+02 | Large
769.45/769.76 c 742s|870000 | 166 | 0 | 0.0 |5786k| 201 | - |1000 |3556 | 0 | 0 | 0 | 470k| 0 | 1.000000e+00 | 4.480000e+02 | Large
778.05/778.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
778.05/778.38 c 750s|880000 | 166 | 0 | 0.0 |5793k| 201 | - |1000 |3565 | 0 | 0 | 0 | 475k| 0 | 1.000000e+00 | 4.480000e+02 | Large
785.85/786.13 c 757s|890000 | 161 | 0 | 0.0 |5782k| 201 | - |1000 |3551 | 0 | 0 | 0 | 480k| 0 | 1.000000e+00 | 4.480000e+02 | Large
794.04/794.36 c 765s|900000 | 163 | 0 | 0.0 |5788k| 201 | - |1000 |3559 | 0 | 0 | 0 | 485k| 0 | 1.000000e+00 | 4.480000e+02 | Large
803.05/803.30 c 774s|910000 | 159 | 0 | 0.0 |5801k| 201 | - |1000 |3575 | 0 | 0 | 0 | 491k| 0 | 1.000000e+00 | 4.480000e+02 | Large
809.75/810.00 c 780s|920000 | 164 | 0 | 0.0 |5782k| 201 | - |1000 |3551 | 0 | 0 | 0 | 494k| 0 | 1.000000e+00 | 4.480000e+02 | Large
815.45/815.74 c 786s|930000 | 162 | 0 | 0.0 |5798k| 201 | - |1000 |3572 | 0 | 0 | 0 | 498k| 0 | 1.000000e+00 | 4.480000e+02 | Large
821.04/821.33 c 791s|940000 | 163 | 0 | 0.0 |5781k| 201 | - |1000 |3550 | 0 | 0 | 0 | 501k| 0 | 1.000000e+00 | 4.480000e+02 | Large
829.15/829.43 c 799s|950000 | 163 | 0 | 0.0 |5785k| 201 | - |1000 |3556 | 0 | 0 | 0 | 506k| 0 | 1.000000e+00 | 4.480000e+02 | Large
837.84/838.16 c 808s|960000 | 162 | 0 | 0.0 |5803k| 201 | - |1000 |3578 | 0 | 0 | 0 | 511k| 0 | 1.000000e+00 | 4.480000e+02 | Large
845.03/845.33 c 814s|970000 | 157 | 0 | 0.0 |5787k| 201 | - |1000 |3560 | 0 | 0 | 0 | 516k| 0 | 1.000000e+00 | 4.480000e+02 | Large
853.93/854.20 c 823s|980000 | 160 | 0 | 0.0 |5811k| 201 | - |1000 |3588 | 0 | 0 | 0 | 521k| 0 | 1.000000e+00 | 4.480000e+02 | Large
862.43/862.75 c 831s|990000 | 160 | 0 | 0.0 |5787k| 201 | - |1000 |3560 | 0 | 0 | 0 | 526k| 0 | 1.000000e+00 | 4.480000e+02 | Large
869.03/869.31 c 837s| 1000k| 161 | 0 | 0.0 |5792k| 201 | - |1000 |3563 | 0 | 0 | 0 | 530k| 0 | 1.000000e+00 | 4.480000e+02 | Large
876.33/876.63 c 845s| 1010k| 162 | 0 | 0.0 |5791k| 201 | - |1000 |3562 | 0 | 0 | 0 | 535k| 0 | 1.000000e+00 | 4.480000e+02 | Large
885.13/885.43 c 853s| 1020k| 160 | 0 | 0.0 |5796k| 201 | - |1000 |3569 | 0 | 0 | 0 | 540k| 0 | 1.000000e+00 | 4.480000e+02 | Large
893.62/893.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
893.62/893.96 c 861s| 1030k| 164 | 0 | 0.0 |5782k| 201 | - |1000 |3551 | 0 | 0 | 0 | 545k| 0 | 1.000000e+00 | 4.480000e+02 | Large
899.32/899.67 c 867s| 1040k| 158 | 0 | 0.0 |5813k| 201 | - |1000 |3592 | 0 | 0 | 0 | 549k| 0 | 1.000000e+00 | 4.480000e+02 | Large
908.11/908.48 c 875s| 1050k| 160 | 0 | 0.0 |5793k| 201 | - |1000 |3564 | 0 | 0 | 0 | 554k| 0 | 1.000000e+00 | 4.480000e+02 | Large
916.72/917.08 c 883s| 1060k| 163 | 0 | 0.0 |5785k| 201 | - |1000 |3555 | 0 | 0 | 0 | 559k| 0 | 1.000000e+00 | 4.480000e+02 | Large
925.21/925.57 c 892s| 1070k| 160 | 0 | 0.0 |5782k| 201 | - |1000 |3553 | 0 | 0 | 0 | 564k| 0 | 1.000000e+00 | 4.480000e+02 | Large
934.01/934.39 c 900s| 1080k| 162 | 0 | 0.0 |5783k| 201 | - |1000 |3553 | 0 | 0 | 0 | 570k| 0 | 1.000000e+00 | 4.480000e+02 | Large
941.80/942.19 c 908s| 1090k| 161 | 0 | 0.0 |5781k| 201 | - |1000 |3551 | 0 | 0 | 0 | 574k| 0 | 1.000000e+00 | 4.480000e+02 | Large
949.91/950.25 c 915s| 1100k| 162 | 0 | 0.0 |5788k| 201 | - |1000 |3558 | 0 | 0 | 0 | 579k| 0 | 1.000000e+00 | 4.480000e+02 | Large
958.50/958.84 c 924s| 1110k| 158 | 0 | 0.0 |5788k| 201 | - |1000 |3560 | 0 | 0 | 0 | 585k| 0 | 1.000000e+00 | 4.480000e+02 | Large
967.30/967.69 c 932s| 1120k| 156 | 0 | 0.0 |5786k| 201 | - |1000 |3559 | 0 | 0 | 0 | 590k| 0 | 1.000000e+00 | 4.480000e+02 | Large
975.19/975.58 c 940s| 1130k| 164 | 0 | 0.0 |5799k| 201 | - |1000 |3572 | 0 | 0 | 0 | 595k| 0 | 1.000000e+00 | 4.480000e+02 | Large
983.69/984.06 c 948s| 1140k| 165 | 0 | 0.0 |5792k| 201 | - |1000 |3562 | 0 | 0 | 0 | 600k| 0 | 1.000000e+00 | 4.480000e+02 | Large
992.59/992.98 c 957s| 1150k| 163 | 0 | 0.0 |5794k| 201 | - |1000 |3566 | 0 | 0 | 0 | 606k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1001.38/1001.80 c 965s| 1160k| 164 | 0 | 0.0 |5795k| 201 | - |1000 |3566 | 0 | 0 | 0 | 611k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1010.18/1010.59 c 974s| 1170k| 164 | 0 | 0.0 |5793k| 201 | - |1000 |3564 | 0 | 0 | 0 | 616k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1018.58/1018.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1018.58/1018.99 c 982s| 1180k| 163 | 0 | 0.0 |5788k| 201 | - |1000 |3558 | 0 | 0 | 0 | 621k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1027.29/1027.61 c 990s| 1190k| 165 | 0 | 0.0 |5791k| 201 | - |1000 |3562 | 0 | 0 | 0 | 627k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1035.58/1035.90 c 998s| 1200k| 162 | 0 | 0.0 |5789k| 201 | - |1000 |3560 | 0 | 0 | 0 | 632k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1044.37/1044.77 c 1006s| 1210k| 163 | 0 | 0.0 |5798k| 201 | - |1000 |3569 | 0 | 0 | 0 | 637k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1053.27/1053.66 c 1015s| 1220k| 163 | 0 | 0.0 |5801k| 201 | - |1000 |3573 | 0 | 0 | 0 | 643k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1062.18/1062.51 c 1024s| 1230k| 161 | 0 | 0.0 |5807k| 201 | - |1000 |3582 | 0 | 0 | 0 | 648k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1070.67/1071.04 c 1032s| 1240k| 162 | 0 | 0.0 |5794k| 201 | - |1000 |3566 | 0 | 0 | 0 | 653k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1079.67/1080.04 c 1040s| 1250k| 165 | 0 | 0.0 |5801k| 201 | - |1000 |3574 | 0 | 0 | 0 | 659k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1088.46/1088.86 c 1049s| 1260k| 162 | 0 | 0.0 |5802k| 201 | - |1000 |3575 | 0 | 0 | 0 | 664k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1097.27/1097.63 c 1057s| 1270k| 164 | 0 | 0.0 |5789k| 201 | - |1000 |3559 | 0 | 0 | 0 | 670k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1106.06/1106.44 c 1066s| 1280k| 163 | 0 | 0.0 |5793k| 201 | - |1000 |3564 | 0 | 0 | 0 | 675k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1114.96/1115.33 c 1074s| 1290k| 162 | 0 | 0.0 |5803k| 201 | - |1000 |3577 | 0 | 0 | 0 | 680k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1123.76/1124.12 c 1083s| 1300k| 159 | 0 | 0.0 |5808k| 201 | - |1000 |3583 | 0 | 0 | 0 | 686k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1132.26/1132.60 c 1091s| 1310k| 159 | 0 | 0.0 |5799k| 201 | - |1000 |3573 | 0 | 0 | 0 | 691k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1139.35/1139.72 c 1098s| 1320k| 165 | 0 | 0.0 |5782k| 201 | - |1000 |3550 | 0 | 0 | 0 | 695k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1146.15/1146.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1146.15/1146.57 c 1104s| 1330k| 163 | 0 | 0.0 |5787k| 201 | - |1000 |3556 | 0 | 0 | 0 | 699k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1155.05/1155.41 c 1113s| 1340k| 160 | 0 | 0.0 |5801k| 201 | - |1000 |3573 | 0 | 0 | 0 | 705k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1163.84/1164.23 c 1121s| 1350k| 162 | 0 | 0.0 |5798k| 201 | - |1000 |3570 | 0 | 0 | 0 | 710k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1172.75/1173.16 c 1130s| 1360k| 160 | 0 | 0.0 |5807k| 201 | - |1000 |3581 | 0 | 0 | 0 | 716k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1181.64/1182.07 c 1139s| 1370k| 161 | 0 | 0.0 |5788k| 201 | - |1000 |3559 | 0 | 0 | 0 | 721k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1190.64/1191.09 c 1147s| 1380k| 164 | 0 | 0.0 |5816k| 201 | - |1000 |3592 | 0 | 0 | 0 | 726k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1194.93/1195.33 c 1151s| 1390k| 163 | 0 | 0.0 |5781k| 201 | - |1000 |3550 | 0 | 0 | 0 | 729k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1202.94/1203.32 c 1159s| 1400k| 163 | 0 | 0.0 |5795k| 201 | - |1000 |3567 | 0 | 0 | 0 | 734k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1209.83/1210.28 c 1166s| 1410k| 161 | 0 | 0.0 |5797k| 201 | - |1000 |3570 | 0 | 0 | 0 | 738k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1218.13/1218.54 c 1174s| 1420k| 162 | 0 | 0.0 |5801k| 201 | - |1000 |3575 | 0 | 0 | 0 | 743k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1226.53/1226.97 c 1182s| 1430k| 162 | 0 | 0.0 |5797k| 201 | - |1000 |3568 | 0 | 0 | 0 | 748k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1235.22/1235.67 c 1190s| 1440k| 158 | 0 | 0.0 |5820k| 201 | - |1000 |3598 | 0 | 0 | 0 | 754k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1243.42/1243.87 c 1198s| 1450k| 165 | 0 | 0.0 |5803k| 201 | - |1000 |3577 | 0 | 0 | 0 | 758k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1251.62/1252.01 c 1206s| 1460k| 162 | 0 | 0.0 |5782k| 201 | - |1000 |3551 | 0 | 0 | 0 | 763k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1257.51/1257.92 c 1212s| 1470k| 163 | 0 | 0.0 |5781k| 201 | - |1000 |3550 | 0 | 0 | 0 | 767k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1264.21/1264.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1264.21/1264.61 c 1218s| 1480k| 161 | 0 | 0.0 |5794k| 201 | - |1000 |3565 | 0 | 0 | 0 | 771k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1272.91/1273.32 c 1226s| 1490k| 164 | 0 | 0.0 |5787k| 201 | - |1000 |3557 | 0 | 0 | 0 | 776k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1281.31/1281.74 c 1235s| 1500k| 159 | 0 | 0.0 |5810k| 201 | - |1000 |3586 | 0 | 0 | 0 | 781k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1288.11/1288.52 c 1241s| 1510k| 159 | 0 | 0.0 |5795k| 201 | - |1000 |3566 | 0 | 0 | 0 | 785k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1296.51/1296.92 c 1249s| 1520k| 158 | 0 | 0.0 |5805k| 201 | - |1000 |3580 | 0 | 0 | 0 | 791k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1305.21/1305.65 c 1258s| 1530k| 165 | 0 | 0.0 |5783k| 201 | - |1000 |3551 | 0 | 0 | 0 | 796k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1313.50/1313.99 c 1266s| 1540k| 161 | 0 | 0.0 |5803k| 201 | - |1000 |3577 | 0 | 0 | 0 | 801k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1321.81/1322.25 c 1274s| 1550k| 157 | 0 | 0.0 |5789k| 201 | - |1000 |3560 | 0 | 0 | 0 | 806k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1329.00/1329.41 c 1281s| 1560k| 162 | 0 | 0.0 |5790k| 201 | - |1000 |3561 | 0 | 0 | 0 | 811k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1337.49/1338.00 c 1289s| 1570k| 164 | 0 | 0.0 |5783k| 201 | - |1000 |3551 | 0 | 0 | 0 | 816k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1344.90/1345.31 c 1296s| 1580k| 162 | 0 | 0.0 |5794k| 201 | - |1000 |3566 | 0 | 0 | 0 | 820k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1352.88/1353.31 c 1304s| 1590k| 164 | 0 | 0.0 |5782k| 201 | - |1000 |3550 | 0 | 0 | 0 | 825k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1359.59/1360.05 c 1310s| 1600k| 160 | 0 | 0.0 |5783k| 201 | - |1000 |3552 | 0 | 0 | 0 | 829k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1365.48/1365.98 c 1316s| 1610k| 164 | 0 | 0.0 |5783k| 201 | - |1000 |3551 | 0 | 0 | 0 | 833k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1371.08/1371.57 c 1321s| 1620k| 162 | 0 | 0.0 |5793k| 201 | - |1000 |3564 | 0 | 0 | 0 | 836k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1379.79/1380.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1379.79/1380.20 c 1329s| 1630k| 160 | 0 | 0.0 |5788k| 201 | - |1000 |3559 | 0 | 0 | 0 | 841k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1388.48/1388.96 c 1338s| 1640k| 157 | 0 | 0.0 |5787k| 201 | - |1000 |3559 | 0 | 0 | 0 | 847k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1396.68/1397.16 c 1346s| 1650k| 158 | 0 | 0.0 |5792k| 201 | - |1000 |3564 | 0 | 0 | 0 | 851k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1405.58/1406.03 c 1354s| 1660k| 164 | 0 | 0.0 |5809k| 201 | - |1000 |3583 | 0 | 0 | 0 | 857k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1412.27/1412.73 c 1361s| 1670k| 165 | 0 | 0.0 |5790k| 201 | - |1000 |3560 | 0 | 0 | 0 | 861k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1419.68/1420.18 c 1368s| 1680k| 168 | 0 | 0.0 |5784k| 201 | - |1000 |3551 | 0 | 0 | 0 | 865k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1428.57/1429.07 c 1377s| 1690k| 163 | 0 | 0.0 |5813k| 201 | - |1000 |3589 | 0 | 0 | 0 | 871k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1436.37/1436.86 c 1384s| 1700k| 164 | 0 | 0.0 |5790k| 201 | - |1000 |3559 | 0 | 0 | 0 | 875k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1444.87/1445.36 c 1392s| 1710k| 165 | 0 | 0.0 |5786k| 201 | - |1000 |3555 | 0 | 0 | 0 | 881k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1453.67/1454.12 c 1401s| 1720k| 164 | 0 | 0.0 |5782k| 201 | - |1000 |3550 | 0 | 0 | 0 | 886k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1462.16/1462.66 c 1409s| 1730k| 165 | 0 | 0.0 |5784k| 201 | - |1000 |3551 | 0 | 0 | 0 | 891k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1471.06/1471.50 c 1417s| 1740k| 162 | 0 | 0.0 |5785k| 201 | - |1000 |3554 | 0 | 0 | 0 | 896k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1479.86/1480.37 c 1426s| 1750k| 164 | 0 | 0.0 |5792k| 201 | - |1000 |3562 | 0 | 0 | 0 | 902k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1488.25/1488.76 c 1434s| 1760k| 165 | 0 | 0.0 |5785k| 201 | - |1000 |3554 | 0 | 0 | 0 | 907k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1497.15/1497.62 c 1443s| 1770k| 162 | 0 | 0.0 |5789k| 201 | - |1000 |3558 | 0 | 0 | 0 | 912k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1505.25/1505.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1505.25/1505.73 c 1450s| 1780k| 162 | 0 | 0.0 |5797k| 201 | - |1000 |3569 | 0 | 0 | 0 | 917k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1514.15/1514.63 c 1459s| 1790k| 166 | 0 | 0.0 |5790k| 201 | - |1000 |3559 | 0 | 0 | 0 | 922k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1522.84/1523.34 c 1467s| 1800k| 162 | 0 | 0.0 |5789k| 201 | - |1000 |3560 | 0 | 0 | 0 | 928k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1531.34/1531.85 c 1476s| 1810k| 163 | 0 | 0.0 |5794k| 201 | - |1000 |3565 | 0 | 0 | 0 | 933k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1539.74/1540.21 c 1484s| 1820k| 159 | 0 | 0.0 |5805k| 201 | - |1000 |3580 | 0 | 0 | 0 | 938k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1548.54/1549.04 c 1492s| 1830k| 159 | 0 | 0.0 |5808k| 201 | - |1000 |3583 | 0 | 0 | 0 | 943k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1557.23/1557.78 c 1501s| 1840k| 160 | 0 | 0.0 |5804k| 201 | - |1000 |3579 | 0 | 0 | 0 | 949k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1565.93/1566.41 c 1509s| 1850k| 157 | 0 | 0.0 |5808k| 201 | - |1000 |3585 | 0 | 0 | 0 | 954k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1571.93/1572.42 c 1515s| 1860k| 161 | 0 | 0.0 |5782k| 201 | - |1000 |3551 | 0 | 0 | 0 | 958k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1580.14/1580.69 c 1523s| 1870k| 160 | 0 | 0.0 |5794k| 201 | - |1000 |3566 | 0 | 0 | 0 | 963k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1586.32/1586.86 c 1529s| 1880k| 158 | 0 | 0.0 |5817k| 201 | - |1000 |3593 | 0 | 0 | 0 | 966k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1592.42/1592.92 c 1534s| 1890k| 162 | 0 | 0.0 |5786k| 201 | - |1000 |3556 | 0 | 0 | 0 | 970k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1600.82/1601.38 c 1543s| 1900k| 160 | 0 | 0.0 |5794k| 201 | - |1000 |3564 | 0 | 0 | 0 | 975k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1606.53/1607.09 c 1548s| 1910k| 156 | 0 | 0.0 |5799k| 201 | - |1000 |3574 | 0 | 0 | 0 | 978k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1614.91/1615.42 c 1556s| 1920k| 159 | 0 | 0.0 |5798k| 201 | - |1000 |3570 | 0 | 0 | 0 | 983k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1621.71/1622.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1621.71/1622.29 c 1563s| 1930k| 164 | 0 | 0.0 |5801k| 201 | - |1000 |3574 | 0 | 0 | 0 | 988k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1626.51/1627.06 c 1567s| 1940k| 163 | 0 | 0.0 |5781k| 201 | - |1000 |3550 | 0 | 0 | 0 | 990k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1632.31/1632.85 c 1573s| 1950k| 164 | 0 | 0.0 |5782k| 201 | - |1000 |3550 | 0 | 0 | 0 | 994k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1640.72/1641.28 c 1581s| 1960k| 161 | 0 | 0.0 |5803k| 201 | - |1000 |3577 | 0 | 0 | 0 | 999k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1649.30/1649.88 c 1589s| 1970k| 161 | 0 | 0.0 |5810k| 201 | - |1000 |3585 | 0 | 0 | 0 |1004k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1658.11/1658.60 c 1598s| 1980k| 163 | 0 | 0.0 |5785k| 201 | - |1000 |3553 | 0 | 0 | 0 |1009k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1666.70/1667.27 c 1606s| 1990k| 162 | 0 | 0.0 |5786k| 201 | - |1000 |3556 | 0 | 0 | 0 |1015k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1675.19/1675.79 c 1614s| 2000k| 164 | 0 | 0.0 |5792k| 201 | - |1000 |3562 | 0 | 0 | 0 |1020k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1682.41/1682.97 c 1621s| 2010k| 163 | 0 | 0.0 |5781k| 201 | - |1000 |3550 | 0 | 0 | 0 |1024k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1689.00/1689.58 c 1627s| 2020k| 161 | 0 | 0.0 |5802k| 201 | - |1000 |3576 | 0 | 0 | 0 |1028k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1697.39/1697.97 c 1636s| 2030k| 159 | 0 | 0.0 |5786k| 201 | - |1000 |3557 | 0 | 0 | 0 |1033k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1705.69/1706.29 c 1644s| 2040k| 160 | 0 | 0.0 |5794k| 201 | - |1000 |3564 | 0 | 0 | 0 |1038k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1713.89/1714.43 c 1651s| 2050k| 160 | 0 | 0.0 |5790k| 201 | - |1000 |3561 | 0 | 0 | 0 |1043k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1722.38/1722.98 c 1660s| 2060k| 161 | 0 | 0.0 |5788k| 201 | - |1000 |3558 | 0 | 0 | 0 |1048k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1730.98/1731.54 c 1668s| 2070k| 164 | 0 | 0.0 |5791k| 201 | - |1000 |3561 | 0 | 0 | 0 |1054k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1737.98/1738.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1737.98/1738.52 c 1675s| 2080k| 161 | 0 | 0.0 |5790k| 201 | - |1000 |3560 | 0 | 0 | 0 |1058k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1746.47/1747.05 c 1683s| 2090k| 160 | 0 | 0.0 |5801k| 201 | - |1000 |3575 | 0 | 0 | 0 |1063k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1754.88/1755.49 c 1691s| 2100k| 160 | 0 | 0.0 |5790k| 201 | - |1000 |3561 | 0 | 0 | 0 |1068k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1763.37/1763.95 c 1699s| 2110k| 163 | 0 | 0.0 |5784k| 201 | - |1000 |3553 | 0 | 0 | 0 |1073k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1771.67/1772.28 c 1707s| 2120k| 159 | 0 | 0.0 |5794k| 201 | - |1000 |3566 | 0 | 0 | 0 |1078k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1780.16/1780.75 c 1715s| 2130k| 161 | 0 | 0.0 |5786k| 201 | - |1000 |3556 | 0 | 0 | 0 |1084k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1787.16/1787.75 c 1722s| 2140k| 161 | 0 | 0.0 |5789k| 201 | - |1000 |3559 | 0 | 0 | 0 |1088k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1795.77/1796.35 c 1730s| 2150k| 159 | 0 | 0.0 |5793k| 201 | - |1000 |3563 | 0 | 0 | 0 |1093k| 0 | 1.000000e+00 | 4.480000e+02 | Large
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.61 c
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time (sec) : 1734.43
1800.07/1800.61 c Solving Nodes : 2155035
1800.07/1800.61 c Primal Bound : +4.48000000000000e+02 (2 solutions)
1800.07/1800.61 c Dual Bound : +1.00000000000000e+00
1800.07/1800.61 c Gap : 44700.00 %
1800.07/1800.61 s SATISFIABLE
1800.07/1800.61 v x1020 -x1019 x1018 -x1017 x1016 -x1015 -x1014 -x1013 x1012 -x1011 x1010 -x1009 -x1008 x1007 x1006 -x1005 x1004 -x1003 x1002 -x1001
1800.07/1800.61 v x1000 -x999 x998 -x997 -x996 x995 x994 -x993 x992 -x991 x990 -x989 -x988 -x987 -x986 -x985 x984 -x983 x982 -x981 x980 -x979
1800.07/1800.61 v x978 -x977 x976 -x975 -x974 -x973 x972 -x971 x970 -x969 -x968 x967 x966 -x965 x964 -x963 x962 -x961 x960 -x959 x958 -x957
1800.07/1800.61 v x956 -x955 x954 -x953 x952 -x951 x950 -x949 -x948 x947 x946 -x945 x944 -x943 x942 -x941 x940 -x939 x938 -x937 x936 -x935 x934
1800.07/1800.61 v -x933 x932 -x931 x930 -x929 -x928 x927 x926 -x925 x924 -x923 x922 -x921 x920 -x919 x918 -x917 x916 -x915 -x914 x913 x912 -x911
1800.07/1800.61 v x910 -x909 x908 -x907 x906 -x905 x904 -x903 x902 -x901 x900 -x899 x898 -x897 x896 -x895 x894 -x893 x892 -x891 x890 -x889 -x888
1800.07/1800.61 v x887 x886 -x885 x884 -x883 x882 -x881 x880 -x879 x878 -x877 x876 -x875 x874 -x873 x872 -x871 x870 -x869 -x868 x867 x866
1800.07/1800.61 v -x865 x864 -x863 x862 -x861 x860 -x859 x858 -x857 x856 -x855 x854 -x853 x852 -x851 x850 -x849 -x848 x847 x846 -x845 x844 -x843
1800.07/1800.61 v x842 -x841 x840 -x839 x838 -x837 x836 -x835 -x834 x833 x832 -x831 x830 -x829 -x828 -x827 x826 -x825 x824 -x823 x822 -x821 x820
1800.07/1800.61 v -x819 x818 -x817 x816 -x815 x814 -x813 x812 -x811 x810 -x809 -x808 x807 x806 -x805 x804 -x803 x802 -x801 x800 -x799 x798
1800.07/1800.61 v -x797 x796 -x795 -x794 -x793 x792 -x791 x790 -x789 -x788 x787 x786 -x785 x784 -x783 x782 -x781 x780 -x779 x778 -x777 -x776 -x775
1800.07/1800.61 v x774 -x773 x772 -x771 -x770 x769 -x768 -x767 -x766 -x765 x764 -x763 x762 -x761 x760 -x759 x758 -x757 x756 -x755 -x754 x753
1800.07/1800.61 v x752 -x751 x750 -x749 x748 -x747 x746 -x745 x744 -x743 x742 -x741 x740 -x739 x738 -x737 x736 -x735 x734 -x733 x732 -x731 x730
1800.07/1800.61 v -x729 -x728 x727 x726 -x725 x724 -x723 x722 -x721 x720 -x719 x718 -x717 x716 -x715 -x714 x713 x712 -x711 x710 -x709 x708 -x707
1800.07/1800.61 v x706 -x705 x704 -x703 x702 -x701 x700 -x699 x698 -x697 x696 -x695 -x694 x693 x692 -x691 x690 -x689 x688 -x687 x686 -x685
1800.07/1800.61 v x684 -x683 x682 -x681 x680 -x679 x678 -x677 x676 -x675 -x674 x673 x672 -x671 x670 -x669 x668 -x667 x666 -x665 x664 -x663 x662
1800.07/1800.62 v -x661 x660 -x659 x658 -x657 x656 -x655 -x654 -x653 x652 -x651 x650 -x649 -x648 x647 x646 -x645 x644 -x643 x642 -x641 x640 -x639
1800.07/1800.62 v x638 -x637 x636 -x635 -x634 x633 x632 -x631 x630 -x629 x628 -x627 x626 -x625 x624 -x623 x622 -x621 x620 -x619 x618 -x617
1800.07/1800.62 v x616 -x615 -x614 x613 x612 -x611 x610 -x609 x608 -x607 x606 -x605 x604 -x603 x602 -x601 x600 -x599 x598 -x597 x596 -x595 x594
1800.07/1800.62 v -x593 x592 -x591 x590 -x589 -x588 x587 x586 -x585 x584 -x583 x582 -x581 x580 -x579 x578 -x577 x576 -x575 x574 -x573 x572 -x571
1800.07/1800.62 v x570 -x569 -x568 x567 x566 -x565 x564 -x563 x562 -x561 x560 -x559 x558 -x557 x556 -x555 -x554 x553 x552 -x551 x550 -x549
1800.07/1800.62 v x548 -x547 x546 -x545 x544 -x543 x542 -x541 x540 -x539 x538 -x537 x536 -x535 x534 -x533 x532 -x531 x530 -x529 -x528 x527 x526
1800.07/1800.62 v -x525 x524 -x523 x522 -x521 x520 -x519 x518 -x517 x516 -x515 -x514 x513 x512 -x511 x510 -x509 -x508 -x507 x506 -x505 x504 -x503
1800.07/1800.62 v x502 -x501 x500 -x499 x498 -x497 -x496 -x495 x494 -x493 x492 -x491 -x490 -x489 -x488 -x487 -x486 x485 x484 -x483 x482 -x481
1800.07/1800.62 v x480 -x479 x478 -x477 x476 -x475 x474 -x473 x472 -x471 x470 -x469 -x468 x467 x466 -x465 x464 -x463 x462 -x461 x460 -x459 x458
1800.07/1800.62 v -x457 x456 -x455 -x454 x453 x452 -x451 x450 -x449 -x448 -x447 x446 -x445 x444 -x443 x442 -x441 x440 -x439 x438 -x437 x436
1800.07/1800.62 v -x435 x434 -x433 x432 -x431 x430 -x429 -x428 -x427 -x426 x425 x424 -x423 x422 -x421 x420 -x419 x418 -x417 x416 -x415 -x414 x413
1800.07/1800.62 v x412 -x411 x410 -x409 x408 -x407 x406 -x405 x404 -x403 x402 -x401 x400 -x399 x398 -x397 x396 -x395 -x394 -x393 x392 -x391
1800.07/1800.62 v x390 -x389 -x388 x387 x386 -x385 x384 -x383 x382 -x381 x380 -x379 x378 -x377 x376 -x375 x374 -x373 x372 -x371 x370 -x369 -x368
1800.07/1800.62 v x367 x366 -x365 x364 -x363 x362 -x361 x360 -x359 x358 -x357 x356 -x355 -x354 x353 x352 -x351 x350 -x349 x348 -x347 x346 -x345
1800.07/1800.62 v x344 -x343 x342 -x341 x340 -x339 x338 -x337 x336 -x335 x334 -x333 x332 -x331 x330 -x329 -x328 x327 x326 -x325 x324 -x323
1800.07/1800.62 v x322 -x321 x320 -x319 -x318 x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 x309 -x308 x307 -x306 -x305 -x304 -x303 -x302 x301
1800.07/1800.62 v -x300 x299 -x298 -x297 -x296 x295 -x294 -x293 x292 -x291 -x290 x289 x288 -x287 -x286 x285 -x284 x283 -x282 -x281 -x280 -x279
1800.07/1800.62 v -x278 x277 -x276 x275 -x274 -x273 -x272 -x271 -x270 x269 -x268 x267 -x266 -x265 -x264 -x263 -x262 x261 x260 -x259 -x258 x257
1800.07/1800.62 v x256 -x255 -x254 x253 -x252 -x251 -x250 x249 -x248 x247 -x246 x245 -x244 x243 -x242 -x241 -x240 x239 -x238 -x237 -x236 -x235
1800.07/1800.62 v -x234 x233 -x232 x231 -x230 -x229 x228 -x227 -x226 x225 -x224 x223 -x222 x221 -x220 x219 x218 -x217 -x216 x215 -x214 x213 -x212
1800.07/1800.62 v x211 -x210 x209 -x208 x207 -x206 x205 -x204 x203 -x202 x201 -x200 x199 -x198 x197 -x196 x195 -x194 x193 x192 -x191 -x190 x189
1800.07/1800.62 v -x188 -x187 -x186 x185 -x184 -x183 -x182 x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 x171 -x170 -x169 -x168
1800.07/1800.62 v x167 -x166 -x165 x164 -x163 -x162 x161 x160 -x159 -x158 x157 -x156 -x155 -x154 x153 -x152 x151 -x150 -x149 -x148 x147 -x146 -x145
1800.07/1800.62 v -x144 x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 x135 -x134 -x133 x132 -x131 -x130 x129 -x128 x127 -x126 x125 -x124 x123
1800.07/1800.62 v -x122 x121 -x120 x119 -x118 x117 -x116 x115 x114 -x113 -x112 x111 -x110 x109 -x108 x107 -x106 x105 -x104 x103 -x102 x101
1800.07/1800.62 v -x100 x99 -x98 x97 x96 -x95 -x94 x93 -x92 -x91 -x90 x89 -x88 x87 -x86 x85 -x84 x83 -x82 -x81 -x80 x79 -x78 -x77 -x76 -x75 -x74
1800.07/1800.62 v x73 -x72 x71 -x70 x69 x68 -x67 -x66 x65 x64 -x63 -x62 x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 x53 -x52 x51 -x50 -x49 -x48 x47
1800.07/1800.62 v -x46 -x45 -x44 x43 -x42 -x41 -x40 x39 -x38 -x37 x36 -x35 -x34 x33 x32 -x31 -x30 x29 -x28 x27 -x26 -x25 -x24 -x23 -x22 x21 -x20
1800.07/1800.62 v x19 -x18 -x17 -x16 -x15 -x14 x13 -x12 x11 -x10 -x9 -x8 x7 -x6 -x5 x4 -x3 -x2 x1
1800.07/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.62 c Solving Time : 1734.43
1800.07/1800.62 c Original Problem :
1800.07/1800.62 c Problem name : HOME/instance-2664239-1276463421.opb
1800.07/1800.62 c Variables : 1020 (1020 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.62 c Constraints : 3575 initial, 3575 maximal
1800.07/1800.62 c Presolved Problem :
1800.07/1800.62 c Problem name : t_HOME/instance-2664239-1276463421.opb
1800.07/1800.62 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.62 c Constraints : 3545 initial, 3703 maximal
1800.07/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c dualfix : 0.00 20 0 0 0 0 0 0 0
1800.07/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c probing : 0.03 0 0 0 0 0 0 0 0
1800.07/1800.62 c linear : 0.06 0 0 0 0 0 30 0 0
1800.07/1800.62 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.07/1800.62 c root node : - 0 - - 0 - - - -
1800.07/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.62 c logicor : 3545+ 0 3758970 0 2 1096252 3519421 0 0 0
1800.07/1800.62 c countsols : 0 0 0 0 2 0 0 0 0 0
1800.07/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.62 c logicor : 957.66 0.00 957.66 0.00 0.00
1800.07/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.62 c vbounds : 5.00 2 0 0
1800.07/1800.62 c rootredcost : 5.70 0 0 0
1800.07/1800.62 c pseudoobj : 550.07 12244412 210301 26856352
1800.07/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.62 c propagation : 918.98 1096252 1096252 1096252 79.2 0 0.0 -
1800.07/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.62 c applied globally : - - - 1096252 79.2 - - -
1800.07/1800.62 c applied locally : - - - 0 0.0 - - -
1800.07/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.62 c redcost : 0.00 0 0 0 0 0
1800.07/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.62 c intobj : 0.00 0 0 0 0 0
1800.07/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.62 c gomory : 0.00 0 0 0 0 0
1800.07/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.62 c cmir : 0.00 0 0 0 0 0
1800.07/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.62 c clique : 0.00 0 0 0 0 0
1800.07/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.62 c mcf : 0.00 0 0 0 0 0
1800.07/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.62 c Pricers : Time Calls Vars
1800.07/1800.62 c problem variables: 0.00 0 0
1800.07/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.62 c inference : 19.14 1406478 0 0 0 0 2812956
1800.07/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.62 c random : 0.00 0 0 0 0 0 0
1800.07/1800.62 c Primal Heuristics : Time Calls Found
1800.07/1800.62 c LP solutions : 0.00 - 0
1800.07/1800.62 c pseudo solutions : 0.00 - 2
1800.07/1800.62 c oneopt : 1.77 0 0
1800.07/1800.62 c trivial : 0.00 2 0
1800.07/1800.62 c simplerounding : 0.00 0 0
1800.07/1800.62 c zirounding : 0.00 0 0
1800.07/1800.62 c rounding : 0.00 0 0
1800.07/1800.62 c shifting : 0.00 0 0
1800.07/1800.62 c intshifting : 0.00 0 0
1800.07/1800.62 c twoopt : 0.00 0 0
1800.07/1800.62 c fixandinfer : 0.00 0 0
1800.07/1800.62 c feaspump : 0.00 0 0
1800.07/1800.62 c coefdiving : 0.00 0 0
1800.07/1800.62 c pscostdiving : 0.00 0 0
1800.07/1800.62 c fracdiving : 0.00 0 0
1800.07/1800.62 c veclendiving : 0.00 0 0
1800.07/1800.62 c intdiving : 0.00 0 0
1800.07/1800.62 c actconsdiving : 0.00 0 0
1800.07/1800.62 c objpscostdiving : 0.00 0 0
1800.07/1800.62 c rootsoldiving : 0.00 0 0
1800.07/1800.62 c linesearchdiving : 0.00 0 0
1800.07/1800.62 c guideddiving : 0.00 0 0
1800.07/1800.62 c octane : 0.00 0 0
1800.07/1800.62 c rens : 0.00 0 0
1800.07/1800.62 c rins : 0.00 0 0
1800.07/1800.62 c localbranching : 0.00 0 0
1800.07/1800.62 c mutation : 0.00 0 0
1800.07/1800.62 c crossover : 0.00 0 0
1800.07/1800.62 c dins : 0.00 0 0
1800.07/1800.62 c undercover : 0.00 0 0
1800.07/1800.62 c nlp : 1.19 0 0
1800.07/1800.62 c trysol : 0.96 0 0
1800.07/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.62 c (at root node) : - 0 0 0.00 -
1800.07/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.62 c B&B Tree :
1800.07/1800.62 c number of runs : 1
1800.07/1800.62 c nodes : 2155035
1800.07/1800.62 c nodes (total) : 2155035
1800.07/1800.62 c nodes left : 163
1800.07/1800.62 c max depth : 201
1800.07/1800.62 c max depth (total): 201
1800.07/1800.62 c backtracks : 677825 (31.5%)
1800.07/1800.62 c delayed cutoffs : 657731
1800.07/1800.62 c repropagations : 1462419 (17534480 domain reductions, 557998 cutoffs)
1800.07/1800.62 c avg switch length: 2.40
1800.07/1800.62 c switching time : 62.42
1800.07/1800.62 c Solution :
1800.07/1800.62 c Solutions found : 2 (2 improvements)
1800.07/1800.62 c First Solution : +4.49000000000000e+02 (in run 1, after 242 nodes, 0.21 seconds, depth 201, found by <relaxation>)
1800.07/1800.62 c Primal Bound : +4.48000000000000e+02 (in run 1, after 148952 nodes, 153.92 seconds, depth 178, found by <relaxation>)
1800.07/1800.62 c Dual Bound : +1.00000000000000e+00
1800.07/1800.62 c Gap : 44700.00 %
1800.07/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.62 c Root Iterations : 0
1800.07/1800.63 c Time complete: 1800.1.