0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705189-1278578352.wbo>
0.01/0.01 c original problem has 2375 variables (1435 bin, 0 int, 940 impl, 0 cont) and 1881 constraints
0.01/0.01 c problem read
0.01/0.01 c presolving settings loaded
0.01/0.03 o 46814
0.01/0.03 c feasible solution found by trivial heuristic, objective value 4.681400e+04
0.01/0.03 c presolving:
0.01/0.03 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 70 chg sides, 140 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.01/0.04 c (round 2) 0 del vars, 1 del conss, 940 chg bounds, 70 chg sides, 140 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.01/0.05 c (round 3) 0 del vars, 1 del conss, 940 chg bounds, 70 chg sides, 140 chg coeffs, 1 upgd conss, 1740 impls, 0 clqs
0.01/0.07 c (0.1s) probing: 101/1435 (7.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.07 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.01/0.07 c presolving (4 rounds):
0.01/0.07 c 0 deleted vars, 1 deleted constraints, 940 tightened bounds, 0 added holes, 70 changed sides, 140 changed coefficients
0.01/0.07 c 1744 implications, 0 cliques
0.01/0.07 c presolved problem has 2375 variables (1435 bin, 0 int, 940 impl, 0 cont) and 1880 constraints
0.01/0.07 c 1 constraints of type <varbound>
0.01/0.07 c 939 constraints of type <linear>
0.01/0.07 c 940 constraints of type <indicator>
0.01/0.07 c transformed objective value is always integral (scale: 1)
0.01/0.07 c Presolving Time: 0.05
0.01/0.07 c - non default parameters ----------------------------------------------------------------------
0.01/0.07 c # SCIP version 1.2.1.3
0.01/0.07 c
0.01/0.07 c # frequency for displaying node information lines
0.01/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.07 c display/freq = 10000
0.01/0.07 c
0.01/0.07 c # maximal time in seconds to run
0.01/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.07 c limits/time = 1789.99
0.01/0.07 c
0.01/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.07 c limits/memory = 3420
0.01/0.07 c
0.01/0.07 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.07 c # [type: int, range: [1,2], default: 1]
0.01/0.07 c timing/clocktype = 2
0.01/0.07 c
0.01/0.07 c # should presolving try to simplify inequalities
0.01/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.07 c constraints/linear/simplifyinequalities = TRUE
0.01/0.07 c
0.01/0.07 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.01/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.07 c constraints/indicator/addCouplingCons = TRUE
0.01/0.07 c
0.01/0.07 c # should presolving try to simplify knapsacks
0.01/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.07 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.07 c
0.01/0.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.07 c separating/rapidlearning/freq = 0
0.01/0.07 c
0.01/0.07 c -----------------------------------------------------------------------------------------------
0.01/0.07 c start solving
0.01/0.07 c
0.01/0.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.01/0.07 c t 0.1s| 1 | 0 | 0 | - |7679k| 0 | 0 |2375 |1880 |2375 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.681400e+04 | Inf
0.09/0.16 c 0.1s| 1 | 0 | 122 | - |7818k| 0 | 66 |2375 |1880 |2375 | 123 | 123 | 0 | 0 | 0.000000e+00 | 4.681400e+04 | Inf
0.09/0.18 c 0.2s| 1 | 0 | 294 | - |7942k| 0 | 70 |2375 |1880 |2375 | 290 | 290 | 0 | 0 | 0.000000e+00 | 4.681400e+04 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 359 | - |8093k| 0 | 121 |2375 |1880 |2375 | 342 | 342 | 0 | 0 | 0.000000e+00 | 4.681400e+04 | Inf
0.19/0.27 c 0.3s| 1 | 0 | 498 | - |8231k| 0 | 158 |2375 |1880 |2375 | 418 | 418 | 0 | 0 | 0.000000e+00 | 4.681400e+04 | Inf
0.29/0.35 c 0.3s| 1 | 0 | 609 | - |8330k| 0 | 168 |2375 |1880 |2375 | 474 | 474 | 0 | 0 | 0.000000e+00 | 4.681400e+04 | Inf
0.39/0.44 c 0.4s| 1 | 0 | 728 | - |8418k| 0 | 181 |2375 |1880 |2375 | 524 | 524 | 0 | 0 | 0.000000e+00 | 4.681400e+04 | Inf
0.79/0.81 c 0.8s| 1 | 2 | 728 | - |8448k| 0 | 181 |2375 |1880 |2375 | 524 | 524 | 0 | 33 | 0.000000e+00 | 4.681400e+04 | Inf
8.70/8.77 o 46717
8.70/8.77 c y 8.8s| 1199 | 1198 | 21082 | 17.0 |9911k| 127 | - |2375 |1880 | 0 | 0 | 533 | 0 |1951 | 0.000000e+00 | 4.671700e+04 | Inf
17.39/17.42 c 17.4s| 10000 | 10001 | 59354 | 5.9 | 21M| 177 | 99 |2375 |1880 |2375 | 404 | 826 | 0 |2293 | 0.000000e+00 | 4.671700e+04 | Inf
26.59/26.60 c 26.6s| 20000 | 20001 | 95787 | 4.8 | 33M| 177 | 10 |2375 |1880 |2375 | 404 |1130 | 0 |2323 | 0.000000e+00 | 4.671700e+04 | Inf
35.59/35.60 c 35.6s| 30000 | 30001 |124129 | 4.1 | 44M| 177 | 66 |2375 |1880 |2375 | 404 |1647 | 0 |2406 | 0.000000e+00 | 4.671700e+04 | Inf
44.39/44.47 c 44.5s| 40000 | 40001 |144552 | 3.6 | 55M| 177 | 0 |2375 |1880 |2375 | 410 |2291 | 0 |2406 | 0.000000e+00 | 4.671700e+04 | Inf
53.39/53.48 c 53.5s| 50000 | 50001 |170916 | 3.4 | 66M| 177 | 20 |2375 |1880 |2375 | 404 |2775 | 0 |2408 | 0.000000e+00 | 4.671700e+04 | Inf
62.39/62.43 c 62.4s| 60000 | 60001 |189372 | 3.1 | 77M| 211 | 0 |2375 |1880 |2375 | 408 |3331 | 0 |2412 | 0.000000e+00 | 4.671700e+04 | Inf
71.10/71.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.10/71.18 c 71.2s| 70000 | 70001 |191944 | 2.7 | 88M| 221 | 0 |2375 |1880 |2375 | 409 |3648 | 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
79.89/79.95 c 79.9s| 80000 | 80001 |194416 | 2.4 | 100M| 223 | 0 |2375 |1880 |2375 | 409 |3921 | 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
88.80/88.81 c 88.8s| 90000 | 90001 |198701 | 2.2 | 111M| 223 | 0 |2375 |1880 |2375 | 408 |4301 | 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
97.59/97.63 c 97.6s|100000 |100001 |200325 | 2.0 | 122M| 223 | 0 |2375 |1880 |2375 | 408 |4537 | 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
106.49/106.50 c 106s|110000 |110001 |202574 | 1.8 | 133M| 223 | 0 |2375 |1880 |2375 | 409 |4827 | 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
115.29/115.37 c 115s|120000 |120001 |204649 | 1.7 | 144M| 223 | 0 |2375 |1880 |2375 | 409 |5129 | 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
124.19/124.21 c 124s|130000 |130001 |206175 | 1.6 | 155M| 223 | 0 |2375 |1880 |2375 | 409 |5368 | 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
133.10/133.12 c 133s|140000 |140001 |208838 | 1.5 | 166M| 223 | 0 |2375 |1880 |2375 | 409 |5832 | 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
142.00/142.04 c 142s|150000 |150001 |211999 | 1.4 | 178M| 223 | 0 |2375 |1880 |2375 | 411 |6288 | 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
150.99/151.01 c 151s|160000 |160001 |216101 | 1.3 | 189M| 223 | 0 |2375 |1880 |2375 | 412 |6747 | 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
159.89/159.93 c 160s|170000 |170001 |219079 | 1.3 | 200M| 223 | 0 |2375 |1880 |2375 | 412 |7120 | 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
168.80/168.84 c 169s|180000 |180001 |221533 | 1.2 | 211M| 223 | 0 |2375 |1880 |2375 | 410 |7559 | 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
177.70/177.78 c 178s|190000 |190001 |224044 | 1.2 | 222M| 223 | 0 |2375 |1880 |2375 | 410 |8063 | 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
186.70/186.74 c 187s|200000 |200001 |227215 | 1.1 | 233M| 223 | 9 |2375 |1880 |2375 | 404 |8569 | 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
195.70/195.77 c 196s|210000 |210001 |231342 | 1.1 | 245M| 223 | 6 |2375 |1880 |2375 | 409 |9008 | 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
204.79/204.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
204.79/204.88 c 205s|220000 |220001 |236356 | 1.1 | 256M| 223 | 0 |2375 |1880 |2375 | 410 |9586 | 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
213.89/213.94 c 214s|230000 |230001 |239911 | 1.0 | 267M| 223 | 0 |2375 |1880 |2375 | 409 | 10k| 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
222.90/222.92 c 223s|240000 |240001 |241739 | 1.0 | 278M| 223 | 0 |2375 |1880 |2375 | 409 | 10k| 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
231.89/231.93 c 232s|250000 |250001 |243978 | 1.0 | 289M| 223 | 0 |2375 |1880 |2375 | 409 | 10k| 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
240.90/240.99 c 241s|260000 |260001 |247614 | 0.9 | 301M| 223 | 6 |2375 |1880 |2375 | 410 | 11k| 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
250.10/250.14 c 250s|270000 |270001 |251968 | 0.9 | 312M| 223 | 0 |2375 |1880 |2375 | 412 | 11k| 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
259.20/259.28 c 259s|280000 |280001 |257116 | 0.9 | 323M| 223 | 0 |2375 |1880 |2375 | 412 | 12k| 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
268.41/268.47 c 268s|290000 |290001 |261780 | 0.9 | 334M| 223 | 0 |2375 |1880 |2375 | 413 | 12k| 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
277.60/277.63 c 278s|300000 |300001 |266180 | 0.9 | 346M| 223 | 0 |2375 |1880 |2375 | 412 | 13k| 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
286.70/286.77 c 287s|310000 |310001 |270775 | 0.9 | 357M| 223 | 0 |2375 |1880 |2375 | 412 | 13k| 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
295.91/295.93 c 296s|320000 |320001 |275203 | 0.9 | 369M| 223 | 0 |2375 |1880 |2375 | 412 | 14k| 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
305.00/305.08 c 305s|330000 |330001 |279542 | 0.8 | 380M| 223 | 0 |2375 |1880 |2375 | 412 | 15k| 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
314.20/314.25 c 314s|340000 |340001 |285422 | 0.8 | 391M| 223 | 0 |2375 |1880 |2375 | 417 | 15k| 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
323.50/323.51 c 323s|350000 |350001 |290687 | 0.8 | 403M| 225 | 0 |2375 |1880 |2375 | 415 | 16k| 0 |2439 | 0.000000e+00 | 4.671700e+04 | Inf
332.71/332.71 c 333s|360000 |360001 |296292 | 0.8 | 414M| 227 | 3 |2375 |1880 |2375 | 411 | 17k| 0 |2445 | 0.000000e+00 | 4.671700e+04 | Inf
341.81/341.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
341.81/341.87 c 342s|370000 |370001 |301194 | 0.8 | 425M| 227 | 2 |2375 |1880 |2375 | 412 | 17k| 0 |2445 | 0.000000e+00 | 4.671700e+04 | Inf
351.00/351.04 c 351s|380000 |380001 |307470 | 0.8 | 437M| 227 | 0 |2375 |1880 |2375 | 411 | 18k| 0 |2480 | 0.000000e+00 | 4.671700e+04 | Inf
360.20/360.28 c 360s|390000 |390001 |312275 | 0.8 | 448M| 227 | 0 |2375 |1880 |2375 | 411 | 18k| 0 |2515 | 0.000000e+00 | 4.671700e+04 | Inf
369.40/369.47 c 369s|400000 |400001 |317087 | 0.8 | 459M| 229 | 0 |2375 |1880 |2375 | 411 | 19k| 0 |2518 | 0.000000e+00 | 4.671700e+04 | Inf
378.61/378.62 c 379s|410000 |410001 |322096 | 0.8 | 471M| 229 | 7 |2375 |1880 |2375 | 404 | 19k| 0 |2518 | 0.000000e+00 | 4.671700e+04 | Inf
387.71/387.76 c 388s|420000 |420001 |327790 | 0.8 | 482M| 229 | 2 |2375 |1880 |2375 | 409 | 20k| 0 |2541 | 0.000000e+00 | 4.671700e+04 | Inf
396.90/396.92 c 397s|430000 |430001 |332872 | 0.8 | 494M| 229 | 0 |2375 |1880 |2375 | 413 | 20k| 0 |2559 | 0.000000e+00 | 4.671700e+04 | Inf
406.01/406.07 c 406s|440000 |440001 |337889 | 0.8 | 505M| 229 | 0 |2375 |1880 |2375 | 414 | 21k| 0 |2569 | 0.000000e+00 | 4.671700e+04 | Inf
415.21/415.20 c 415s|450000 |450001 |342402 | 0.8 | 516M| 229 | 0 |2375 |1880 |2375 | 412 | 22k| 0 |2570 | 0.000000e+00 | 4.671700e+04 | Inf
424.31/424.30 c 424s|460000 |460001 |346665 | 0.8 | 528M| 229 | 2 |2375 |1880 |2375 | 407 | 22k| 0 |2572 | 0.000000e+00 | 4.671700e+04 | Inf
433.51/433.58 c 434s|470000 |470001 |351569 | 0.7 | 539M| 229 | 0 |2375 |1880 |2375 | 411 | 23k| 0 |2651 | 0.000000e+00 | 4.671700e+04 | Inf
442.71/442.71 c 443s|480000 |480001 |356426 | 0.7 | 550M| 229 | 0 |2375 |1880 |2375 | 414 | 23k| 0 |2659 | 0.000000e+00 | 4.671700e+04 | Inf
451.81/451.83 c 452s|490000 |490001 |361077 | 0.7 | 562M| 229 | 0 |2375 |1880 |2375 | 414 | 24k| 0 |2667 | 0.000000e+00 | 4.671700e+04 | Inf
461.01/461.02 c 461s|500000 |500001 |366642 | 0.7 | 573M| 229 | 0 |2375 |1880 |2375 | 415 | 24k| 0 |2667 | 0.000000e+00 | 4.671700e+04 | Inf
470.20/470.21 c 470s|510000 |510001 |371313 | 0.7 | 584M| 229 | 1 |2375 |1880 |2375 | 408 | 25k| 0 |2713 | 0.000000e+00 | 4.671700e+04 | Inf
479.41/479.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
479.41/479.40 c 479s|520000 |520001 |376068 | 0.7 | 596M| 229 | 0 |2375 |1880 |2375 | 411 | 25k| 0 |2724 | 0.000000e+00 | 4.671700e+04 | Inf
488.51/488.54 c 489s|530000 |530001 |381013 | 0.7 | 607M| 229 | 0 |2375 |1880 |2375 | 408 | 26k| 0 |2731 | 0.000000e+00 | 4.671700e+04 | Inf
497.61/497.68 c 498s|540000 |540001 |385918 | 0.7 | 618M| 229 | 0 |2375 |1880 |2375 | 413 | 26k| 0 |2738 | 0.000000e+00 | 4.671700e+04 | Inf
506.80/506.87 c 507s|550000 |550001 |391108 | 0.7 | 630M| 229 | 0 |2375 |1880 |2375 | 413 | 27k| 0 |2782 | 0.000000e+00 | 4.671700e+04 | Inf
516.01/516.02 c 516s|560000 |560001 |396945 | 0.7 | 641M| 229 | 0 |2375 |1880 |2375 | 412 | 28k| 0 |2807 | 0.000000e+00 | 4.671700e+04 | Inf
525.11/525.17 c 525s|570000 |570001 |402363 | 0.7 | 653M| 229 | 0 |2375 |1880 |2375 | 412 | 28k| 0 |2807 | 0.000000e+00 | 4.671700e+04 | Inf
534.31/534.34 c 534s|580000 |580001 |405829 | 0.7 | 664M| 229 | 0 |2375 |1880 |2375 | 411 | 28k| 0 |2815 | 0.000000e+00 | 4.671700e+04 | Inf
543.51/543.51 c 544s|590000 |590001 |408680 | 0.7 | 675M| 229 | 0 |2375 |1880 |2375 | 411 | 29k| 0 |2816 | 0.000000e+00 | 4.671700e+04 | Inf
552.61/552.68 c 553s|600000 |600001 |412038 | 0.7 | 687M| 229 | 0 |2375 |1880 |2375 | 414 | 29k| 0 |2830 | 0.000000e+00 | 4.671700e+04 | Inf
561.91/561.91 c 562s|610000 |610001 |416021 | 0.7 | 698M| 229 | 0 |2375 |1880 |2375 | 414 | 29k| 0 |2855 | 0.000000e+00 | 4.671700e+04 | Inf
571.11/571.13 c 571s|620000 |620001 |421020 | 0.7 | 709M| 229 | 0 |2375 |1880 |2375 | 414 | 30k| 0 |2866 | 0.000000e+00 | 4.671700e+04 | Inf
580.31/580.35 c 580s|630000 |630001 |425681 | 0.7 | 721M| 229 | 0 |2375 |1880 |2375 | 411 | 31k| 0 |2870 | 0.000000e+00 | 4.671700e+04 | Inf
589.51/589.57 c 590s|640000 |640001 |430572 | 0.7 | 732M| 229 | 1 |2375 |1880 |2375 | 409 | 31k| 0 |2880 | 0.000000e+00 | 4.671700e+04 | Inf
598.81/598.83 c 599s|650000 |650001 |435737 | 0.7 | 743M| 229 | 0 |2375 |1880 |2375 | 412 | 32k| 0 |2949 | 0.000000e+00 | 4.671700e+04 | Inf
608.01/608.02 c 608s|660000 |660001 |439485 | 0.7 | 755M| 229 | 0 |2375 |1880 |2375 | 414 | 32k| 0 |2960 | 0.000000e+00 | 4.671700e+04 | Inf
617.21/617.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
617.21/617.21 c 617s|670000 |670001 |442720 | 0.7 | 766M| 229 | 0 |2375 |1880 |2375 | 414 | 32k| 0 |2964 | 0.000000e+00 | 4.671700e+04 | Inf
626.41/626.41 c 626s|680000 |680001 |446433 | 0.7 | 777M| 229 | 0 |2375 |1880 |2375 | 414 | 33k| 0 |2982 | 0.000000e+00 | 4.671700e+04 | Inf
635.51/635.57 c 636s|690000 |690001 |451868 | 0.7 | 789M| 229 | 0 |2375 |1880 |2375 | 411 | 33k| 0 |2984 | 0.000000e+00 | 4.671700e+04 | Inf
644.71/644.78 c 645s|700000 |700001 |456501 | 0.7 | 800M| 235 | 0 |2375 |1880 |2375 | 411 | 34k| 0 |3033 | 0.000000e+00 | 4.671700e+04 | Inf
654.02/654.02 c 654s|710000 |710001 |462947 | 0.7 | 812M| 235 | 7 |2375 |1880 |2375 | 412 | 34k| 0 |3096 | 0.000000e+00 | 4.671700e+04 | Inf
663.12/663.18 c 663s|720000 |720001 |467297 | 0.6 | 823M| 235 | 0 |2375 |1880 |2375 | 412 | 35k| 0 |3097 | 0.000000e+00 | 4.671700e+04 | Inf
672.31/672.35 c 672s|730000 |730001 |471480 | 0.6 | 834M| 235 | 2 |2375 |1880 |2375 | 412 | 35k| 0 |3097 | 0.000000e+00 | 4.671700e+04 | Inf
681.42/681.46 c 681s|740000 |740001 |474947 | 0.6 | 846M| 235 | 0 |2375 |1880 |2375 | 412 | 35k| 0 |3111 | 0.000000e+00 | 4.671700e+04 | Inf
690.62/690.63 c 691s|750000 |750001 |478481 | 0.6 | 857M| 235 | 0 |2375 |1880 |2375 | 412 | 36k| 0 |3130 | 0.000000e+00 | 4.671700e+04 | Inf
699.82/699.82 c 700s|760000 |760001 |482670 | 0.6 | 868M| 239 | 0 |2375 |1880 |2375 | 412 | 36k| 0 |3137 | 0.000000e+00 | 4.671700e+04 | Inf
708.91/708.99 c 709s|770000 |770001 |487801 | 0.6 | 880M| 239 | 0 |2375 |1880 |2375 | 414 | 37k| 0 |3177 | 0.000000e+00 | 4.671700e+04 | Inf
718.12/718.18 c 718s|780000 |780001 |492732 | 0.6 | 891M| 239 | 0 |2375 |1880 |2375 | 412 | 37k| 0 |3188 | 0.000000e+00 | 4.671700e+04 | Inf
727.32/727.38 c 727s|790000 |789997 |496820 | 0.6 | 903M| 239 | 3 |2375 |1882 |2375 | 408 | 38k| 2 |3202 | 0.000000e+00 | 4.671700e+04 | Inf
736.52/736.58 c 737s|800000 |799997 |501304 | 0.6 | 914M| 239 | 0 |2375 |1882 |2375 | 412 | 38k| 2 |3236 | 0.000000e+00 | 4.671700e+04 | Inf
745.72/745.80 c 746s|810000 |809997 |505524 | 0.6 | 925M| 239 | 0 |2375 |1882 |2375 | 412 | 38k| 2 |3248 | 0.000000e+00 | 4.671700e+04 | Inf
754.92/754.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
754.92/754.98 c 755s|820000 |819997 |509505 | 0.6 | 937M| 239 | 0 |2375 |1882 |2375 | 415 | 38k| 2 |3254 | 0.000000e+00 | 4.671700e+04 | Inf
764.12/764.19 c 764s|830000 |829997 |513182 | 0.6 | 948M| 239 | 0 |2375 |1882 |2375 | 412 | 39k| 2 |3258 | 0.000000e+00 | 4.671700e+04 | Inf
773.32/773.38 c 773s|840000 |839997 |517625 | 0.6 | 959M| 239 | 0 |2375 |1882 |2375 | 414 | 39k| 2 |3275 | 0.000000e+00 | 4.671700e+04 | Inf
782.52/782.59 c 783s|850000 |849997 |522381 | 0.6 | 971M| 239 | 0 |2375 |1882 |2375 | 415 | 40k| 2 |3319 | 0.000000e+00 | 4.671700e+04 | Inf
791.72/791.76 c 792s|860000 |859997 |526981 | 0.6 | 982M| 239 | 0 |2375 |1882 |2375 | 410 | 40k| 2 |3324 | 0.000000e+00 | 4.671700e+04 | Inf
800.82/800.87 c 801s|870000 |869997 |530677 | 0.6 | 994M| 239 | 0 |2375 |1882 |2375 | 411 | 41k| 2 |3324 | 0.000000e+00 | 4.671700e+04 | Inf
810.02/810.03 c 810s|880000 |879997 |536117 | 0.6 |1005M| 239 | 0 |2375 |1881 |2375 | 411 | 41k| 2 |3328 | 0.000000e+00 | 4.671700e+04 | Inf
819.22/819.29 c 819s|890000 |889993 |542692 | 0.6 |1016M| 239 | 0 |2375 |1883 |2375 | 412 | 42k| 4 |3381 | 0.000000e+00 | 4.671700e+04 | Inf
828.42/828.48 c 828s|900000 |899993 |547926 | 0.6 |1028M| 239 | 0 |2375 |1883 |2375 | 413 | 42k| 4 |3396 | 0.000000e+00 | 4.671700e+04 | Inf
837.62/837.64 c 838s|910000 |909993 |551874 | 0.6 |1039M| 239 | 0 |2375 |1883 |2375 | 409 | 43k| 4 |3403 | 0.000000e+00 | 4.671700e+04 | Inf
846.93/846.97 c 847s|920000 |919993 |556457 | 0.6 |1051M| 239 | 0 |2375 |1883 |2375 | 412 | 43k| 4 |3403 | 0.000000e+00 | 4.671700e+04 | Inf
856.22/856.20 c 856s|930000 |929993 |560423 | 0.6 |1062M| 239 | 0 |2375 |1883 |2375 | 414 | 43k| 4 |3409 | 0.000000e+00 | 4.671700e+04 | Inf
865.43/865.43 c 865s|940000 |939993 |564297 | 0.6 |1073M| 239 | 0 |2375 |1883 |2375 | 410 | 44k| 4 |3449 | 0.000000e+00 | 4.671700e+04 | Inf
874.63/874.66 c 875s|950000 |949993 |568808 | 0.6 |1085M| 239 | 2 |2375 |1883 |2375 | 412 | 44k| 4 |3454 | 0.000000e+00 | 4.671700e+04 | Inf
883.83/883.87 c 884s|960000 |959993 |573392 | 0.6 |1096M| 239 | 0 |2375 |1882 |2375 | 412 | 44k| 4 |3459 | 0.000000e+00 | 4.671700e+04 | Inf
893.02/893.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
893.02/893.03 c 893s|970000 |969993 |577319 | 0.6 |1107M| 239 | 0 |2375 |1882 |2375 | 414 | 45k| 4 |3467 | 0.000000e+00 | 4.671700e+04 | Inf
902.23/902.27 c 902s|980000 |979993 |582298 | 0.6 |1119M| 239 | 0 |2375 |1882 |2375 | 416 | 45k| 4 |3482 | 0.000000e+00 | 4.671700e+04 | Inf
911.52/911.56 c 912s|990000 |989993 |586993 | 0.6 |1130M| 239 | 0 |2375 |1882 |2375 | 414 | 45k| 4 |3560 | 0.000000e+00 | 4.671700e+04 | Inf
920.63/920.69 c 921s| 1000k|999993 |591131 | 0.6 |1141M| 239 | 0 |2375 |1882 |2375 | 413 | 46k| 4 |3568 | 0.000000e+00 | 4.671700e+04 | Inf
929.83/929.88 c 930s| 1010k| 1009k|595289 | 0.6 |1153M| 239 | 6 |2375 |1882 |2375 | 412 | 46k| 4 |3575 | 0.000000e+00 | 4.671700e+04 | Inf
939.02/939.09 c 939s| 1020k| 1019k|599782 | 0.6 |1164M| 239 | 1 |2375 |1882 |2375 | 409 | 46k| 4 |3577 | 0.000000e+00 | 4.671700e+04 | Inf
948.33/948.32 c 948s| 1030k| 1029k|603505 | 0.6 |1176M| 239 | 11 |2375 |1882 |2375 | 404 | 47k| 4 |3650 | 0.000000e+00 | 4.671700e+04 | Inf
957.53/957.54 c 958s| 1040k| 1039k|608121 | 0.6 |1187M| 239 | 0 |2375 |1882 |2375 | 414 | 47k| 4 |3652 | 0.000000e+00 | 4.671700e+04 | Inf
966.73/966.75 c 967s| 1050k| 1049k|611853 | 0.6 |1198M| 239 | 0 |2375 |1882 |2375 | 412 | 48k| 4 |3685 | 0.000000e+00 | 4.671700e+04 | Inf
975.83/975.86 c 976s| 1060k| 1059k|615583 | 0.6 |1210M| 239 | 0 |2375 |1882 |2375 | 413 | 48k| 4 |3694 | 0.000000e+00 | 4.671700e+04 | Inf
985.03/985.02 c 985s| 1070k| 1069k|620982 | 0.6 |1221M| 239 | 0 |2375 |1882 |2375 | 411 | 48k| 4 |3704 | 0.000000e+00 | 4.671700e+04 | Inf
994.23/994.23 c 994s| 1080k| 1079k|626777 | 0.6 |1232M| 239 | 0 |2375 |1882 |2375 | 413 | 49k| 4 |3738 | 0.000000e+00 | 4.671700e+04 | Inf
1003.43/1003.48 c 1003s| 1090k| 1089k|632409 | 0.6 |1244M| 239 | 0 |2375 |1882 |2375 | 415 | 49k| 4 |3760 | 0.000000e+00 | 4.671700e+04 | Inf
1012.73/1012.71 c 1013s| 1100k| 1099k|637794 | 0.6 |1255M| 239 | 0 |2375 |1882 |2375 | 414 | 50k| 4 |3772 | 0.000000e+00 | 4.671700e+04 | Inf
1021.84/1021.89 c 1022s| 1110k| 1109k|642090 | 0.6 |1267M| 239 | 0 |2375 |1882 |2375 | 412 | 50k| 4 |3772 | 0.000000e+00 | 4.671700e+04 | Inf
1031.13/1031.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1031.13/1031.11 c 1031s| 1120k| 1119k|647342 | 0.6 |1278M| 239 | 0 |2375 |1882 |2375 | 414 | 51k| 4 |3789 | 0.000000e+00 | 4.671700e+04 | Inf
1040.33/1040.34 c 1040s| 1130k| 1129k|653964 | 0.6 |1289M| 239 | 0 |2375 |1882 |2375 | 413 | 51k| 4 |3803 | 0.000000e+00 | 4.671700e+04 | Inf
1049.53/1049.55 c 1050s| 1140k| 1139k|659654 | 0.6 |1301M| 239 | 0 |2375 |1882 |2375 | 414 | 52k| 4 |3855 | 0.000000e+00 | 4.671700e+04 | Inf
1058.73/1058.79 c 1059s| 1150k| 1149k|666026 | 0.6 |1312M| 239 | 0 |2375 |1882 |2375 | 415 | 52k| 4 |3866 | 0.000000e+00 | 4.671700e+04 | Inf
1067.94/1067.99 c 1068s| 1160k| 1159k|672559 | 0.6 |1323M| 239 | 0 |2375 |1882 |2375 | 410 | 53k| 4 |3881 | 0.000000e+00 | 4.671700e+04 | Inf
1077.23/1077.26 c 1077s| 1170k| 1169k|678408 | 0.6 |1335M| 239 | 0 |2375 |1882 |2375 | 412 | 53k| 4 |3922 | 0.000000e+00 | 4.671700e+04 | Inf
1086.43/1086.49 c 1086s| 1180k| 1179k|683604 | 0.6 |1346M| 239 | 7 |2375 |1882 |2375 | 405 | 54k| 4 |3924 | 0.000000e+00 | 4.671700e+04 | Inf
1095.73/1095.74 c 1096s| 1190k| 1189k|689049 | 0.6 |1357M| 239 | 0 |2375 |1882 |2375 | 411 | 55k| 4 |3972 | 0.000000e+00 | 4.671700e+04 | Inf
1105.03/1105.03 c 1105s| 1200k| 1199k|695681 | 0.6 |1369M| 239 | 0 |2375 |1882 |2375 | 410 | 55k| 4 |3973 | 0.000000e+00 | 4.671700e+04 | Inf
1114.34/1114.33 c 1114s| 1210k| 1209k|702115 | 0.6 |1380M| 239 | 0 |2375 |1882 |2375 | 413 | 56k| 4 |4014 | 0.000000e+00 | 4.671700e+04 | Inf
1123.53/1123.58 c 1124s| 1220k| 1219k|708015 | 0.6 |1392M| 239 | 0 |2375 |1882 |2375 | 406 | 57k| 4 |4018 | 0.000000e+00 | 4.671700e+04 | Inf
1132.84/1132.81 c 1133s| 1230k| 1229k|713309 | 0.6 |1403M| 239 | 0 |2375 |1882 |2375 | 411 | 57k| 4 |4018 | 0.000000e+00 | 4.671700e+04 | Inf
1142.04/1142.02 c 1142s| 1240k| 1239k|719624 | 0.6 |1414M| 239 | 0 |2375 |1882 |2375 | 412 | 58k| 4 |4059 | 0.000000e+00 | 4.671700e+04 | Inf
1151.34/1151.37 c 1151s| 1250k| 1249k|727468 | 0.6 |1426M| 239 | 0 |2375 |1882 |2375 | 416 | 59k| 4 |4160 | 0.000000e+00 | 4.671700e+04 | Inf
1160.73/1160.74 c 1161s| 1260k| 1259k|735213 | 0.6 |1437M| 239 | 0 |2375 |1882 |2375 | 413 | 59k| 4 |4165 | 0.000000e+00 | 4.671700e+04 | Inf
1170.14/1170.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1170.14/1170.13 c 1170s| 1270k| 1269k|742898 | 0.6 |1449M| 239 | 0 |2375 |1882 |2375 | 414 | 60k| 4 |4165 | 0.000000e+00 | 4.671700e+04 | Inf
1179.54/1179.55 c 1180s| 1280k| 1279k|750482 | 0.6 |1460M| 239 | 0 |2375 |1882 |2375 | 415 | 61k| 4 |4214 | 0.000000e+00 | 4.671700e+04 | Inf
1188.94/1188.95 c 1189s| 1290k| 1289k|756106 | 0.6 |1471M| 239 | 0 |2375 |1882 |2375 | 415 | 62k| 4 |4223 | 0.000000e+00 | 4.671700e+04 | Inf
1198.23/1198.20 c 1198s| 1300k| 1299k|764706 | 0.6 |1483M| 239 | 0 |2375 |1882 |2375 | 415 | 63k| 4 |4225 | 0.000000e+00 | 4.671700e+04 | Inf
1207.54/1207.50 c 1207s| 1310k| 1309k|773344 | 0.6 |1494M| 239 | 0 |2375 |1882 |2375 | 414 | 64k| 4 |4272 | 0.000000e+00 | 4.671700e+04 | Inf
1216.74/1216.74 c 1217s| 1320k| 1319k|780845 | 0.6 |1506M| 239 | 0 |2375 |1882 |2375 | 415 | 64k| 4 |4291 | 0.000000e+00 | 4.671700e+04 | Inf
1225.94/1225.92 c 1226s| 1330k| 1329k|787013 | 0.6 |1517M| 239 | 0 |2375 |1882 |2375 | 410 | 65k| 4 |4291 | 0.000000e+00 | 4.671700e+04 | Inf
1235.04/1235.09 c 1235s| 1340k| 1339k|792103 | 0.6 |1528M| 239 | 0 |2375 |1882 |2375 | 411 | 65k| 4 |4294 | 0.000000e+00 | 4.671700e+04 | Inf
1244.34/1244.30 c 1244s| 1350k| 1349k|797155 | 0.6 |1540M| 239 | 0 |2375 |1882 |2375 | 410 | 65k| 4 |4335 | 0.000000e+00 | 4.671700e+04 | Inf
1253.44/1253.47 c 1253s| 1360k| 1359k|803231 | 0.6 |1551M| 239 | 0 |2375 |1882 |2375 | 412 | 66k| 4 |4352 | 0.000000e+00 | 4.671700e+04 | Inf
1262.64/1262.63 c 1263s| 1370k| 1369k|809365 | 0.6 |1562M| 239 | 0 |2375 |1882 |2375 | 412 | 66k| 4 |4356 | 0.000000e+00 | 4.671700e+04 | Inf
1271.84/1271.81 c 1272s| 1380k| 1379k|815587 | 0.6 |1574M| 239 | 0 |2375 |1882 |2375 | 414 | 67k| 4 |4358 | 0.000000e+00 | 4.671700e+04 | Inf
1281.24/1281.23 c 1281s| 1390k| 1389k|823585 | 0.6 |1585M| 239 | 0 |2375 |1882 |2375 | 414 | 68k| 4 |4424 | 0.000000e+00 | 4.671700e+04 | Inf
1290.44/1290.50 c 1290s| 1400k| 1399k|832485 | 0.6 |1597M| 239 | 0 |2375 |1882 |2375 | 417 | 68k| 4 |4438 | 0.000000e+00 | 4.671700e+04 | Inf
1299.84/1299.83 c 1300s| 1410k| 1409k|838335 | 0.6 |1608M| 239 | 0 |2375 |1882 |2375 | 413 | 69k| 4 |4440 | 0.000000e+00 | 4.671700e+04 | Inf
1309.24/1309.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1309.24/1309.21 c 1309s| 1420k| 1419k|844684 | 0.6 |1619M| 239 | 11 |2375 |1882 |2375 | 409 | 70k| 4 |4497 | 0.000000e+00 | 4.671700e+04 | Inf
1318.54/1318.54 c 1319s| 1430k| 1429k|850794 | 0.6 |1631M| 239 | 2 |2375 |1882 |2375 | 409 | 70k| 4 |4500 | 0.000000e+00 | 4.671700e+04 | Inf
1327.94/1327.91 c 1328s| 1440k| 1439k|857270 | 0.6 |1642M| 239 | 0 |2375 |1882 |2375 | 411 | 71k| 4 |4507 | 0.000000e+00 | 4.671700e+04 | Inf
1337.25/1337.26 c 1337s| 1450k| 1449k|862449 | 0.6 |1654M| 239 | 0 |2375 |1882 |2375 | 408 | 72k| 4 |4507 | 0.000000e+00 | 4.671700e+04 | Inf
1346.64/1346.65 c 1347s| 1460k| 1459k|869013 | 0.6 |1665M| 239 | 0 |2375 |1882 |2375 | 410 | 72k| 4 |4565 | 0.000000e+00 | 4.671700e+04 | Inf
1356.05/1356.03 c 1356s| 1470k| 1469k|875692 | 0.6 |1676M| 239 | 0 |2375 |1882 |2375 | 412 | 73k| 4 |4583 | 0.000000e+00 | 4.671700e+04 | Inf
1365.34/1365.37 c 1365s| 1480k| 1479k|882738 | 0.6 |1688M| 239 | 0 |2375 |1882 |2375 | 414 | 74k| 4 |4583 | 0.000000e+00 | 4.671700e+04 | Inf
1374.74/1374.75 c 1375s| 1490k| 1489k|890517 | 0.6 |1699M| 239 | 6 |2375 |1882 |2375 | 406 | 74k| 4 |4628 | 0.000000e+00 | 4.671700e+04 | Inf
1384.05/1384.09 c 1384s| 1500k| 1499k|897896 | 0.6 |1711M| 239 | 0 |2375 |1882 |2375 | 416 | 75k| 4 |4645 | 0.000000e+00 | 4.671700e+04 | Inf
1393.44/1393.43 c 1393s| 1510k| 1509k|903830 | 0.6 |1722M| 239 | 0 |2375 |1882 |2375 | 413 | 76k| 4 |4647 | 0.000000e+00 | 4.671700e+04 | Inf
1402.84/1402.83 c 1403s| 1520k| 1519k|910138 | 0.6 |1733M| 239 | 0 |2375 |1882 |2375 | 413 | 77k| 4 |4650 | 0.000000e+00 | 4.671700e+04 | Inf
1412.25/1412.24 c 1412s| 1530k| 1529k|916479 | 0.6 |1745M| 239 | 7 |2375 |1882 |2375 | 408 | 77k| 4 |4708 | 0.000000e+00 | 4.671700e+04 | Inf
1421.65/1421.62 c 1422s| 1540k| 1539k|922422 | 0.6 |1756M| 239 | 0 |2375 |1882 |2375 | 416 | 78k| 4 |4713 | 0.000000e+00 | 4.671700e+04 | Inf
1431.05/1431.01 c 1431s| 1550k| 1549k|928157 | 0.6 |1768M| 239 | 0 |2375 |1882 |2375 | 413 | 79k| 4 |4751 | 0.000000e+00 | 4.671700e+04 | Inf
1440.34/1440.38 c 1440s| 1560k| 1559k|932943 | 0.6 |1779M| 239 | 0 |2375 |1882 |2375 | 417 | 80k| 4 |4762 | 0.000000e+00 | 4.671700e+04 | Inf
1449.75/1449.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1449.75/1449.79 c 1450s| 1570k| 1569k|937964 | 0.6 |1790M| 239 | 0 |2375 |1882 |2375 | 411 | 80k| 4 |4800 | 0.000000e+00 | 4.671700e+04 | Inf
1459.15/1459.15 c 1459s| 1580k| 1579k|943115 | 0.6 |1802M| 239 | 0 |2375 |1882 |2375 | 413 | 81k| 4 |4820 | 0.000000e+00 | 4.671700e+04 | Inf
1468.55/1468.51 c 1468s| 1590k| 1589k|948583 | 0.6 |1813M| 239 | 7 |2375 |1882 |2375 | 406 | 82k| 4 |4838 | 0.000000e+00 | 4.671700e+04 | Inf
1477.95/1477.91 c 1478s| 1600k| 1599k|954126 | 0.6 |1824M| 239 | 0 |2375 |1882 |2375 | 413 | 82k| 4 |4845 | 0.000000e+00 | 4.671700e+04 | Inf
1487.26/1487.29 c 1487s| 1610k| 1609k|959085 | 0.6 |1836M| 239 | 0 |2375 |1881 |2375 | 413 | 83k| 4 |4847 | 0.000000e+00 | 4.671700e+04 | Inf
1496.64/1496.67 c 1497s| 1620k| 1619k|964453 | 0.6 |1847M| 239 | 0 |2375 |1882 |2375 | 416 | 84k| 5 |4894 | 0.000000e+00 | 4.671700e+04 | Inf
1506.05/1506.09 c 1506s| 1630k| 1629k|970185 | 0.6 |1859M| 239 | 0 |2375 |1882 |2375 | 413 | 84k| 5 |4910 | 0.000000e+00 | 4.671700e+04 | Inf
1515.45/1515.49 c 1515s| 1640k| 1639k|976504 | 0.6 |1870M| 239 | 0 |2375 |1882 |2375 | 411 | 85k| 5 |4911 | 0.000000e+00 | 4.671700e+04 | Inf
1524.85/1524.84 c 1525s| 1650k| 1649k|980880 | 0.6 |1881M| 239 | 0 |2375 |1882 |2375 | 415 | 86k| 5 |4912 | 0.000000e+00 | 4.671700e+04 | Inf
1534.16/1534.19 c 1534s| 1660k| 1659k|985525 | 0.6 |1893M| 239 | 0 |2375 |1882 |2375 | 414 | 87k| 5 |4919 | 0.000000e+00 | 4.671700e+04 | Inf
1543.65/1543.65 c 1544s| 1670k| 1669k|990667 | 0.6 |1904M| 239 | 0 |2375 |1883 |2375 | 413 | 87k| 6 |4964 | 0.000000e+00 | 4.671700e+04 | Inf
1553.06/1553.06 c 1553s| 1680k| 1679k|996187 | 0.6 |1915M| 239 | 0 |2375 |1882 |2375 | 412 | 88k| 6 |4971 | 0.000000e+00 | 4.671700e+04 | Inf
1562.35/1562.38 c 1562s| 1690k| 1689k| 1000k| 0.6 |1927M| 239 | 0 |2375 |1882 |2375 | 412 | 89k| 6 |4980 | 0.000000e+00 | 4.671700e+04 | Inf
1571.75/1571.78 c 1572s| 1700k| 1699k| 1006k| 0.6 |1938M| 239 | 0 |2375 |1883 |2375 | 412 | 89k| 7 |4985 | 0.000000e+00 | 4.671700e+04 | Inf
1581.16/1581.19 c 1581s| 1710k| 1709k| 1012k| 0.6 |1949M| 239 | 0 |2375 |1883 |2375 | 412 | 90k| 7 |5035 | 0.000000e+00 | 4.671700e+04 | Inf
1590.56/1590.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1590.56/1590.55 c 1591s| 1720k| 1719k| 1016k| 0.6 |1961M| 239 | 0 |2375 |1883 |2375 | 413 | 91k| 7 |5041 | 0.000000e+00 | 4.671700e+04 | Inf
1599.95/1599.91 c 1600s| 1730k| 1729k| 1022k| 0.6 |1972M| 239 | 0 |2375 |1883 |2375 | 413 | 91k| 7 |5062 | 0.000000e+00 | 4.671700e+04 | Inf
1609.15/1609.20 c 1609s| 1740k| 1739k| 1026k| 0.6 |1984M| 239 | 0 |2375 |1883 |2375 | 413 | 92k| 7 |5062 | 0.000000e+00 | 4.671700e+04 | Inf
1618.55/1618.52 c 1619s| 1750k| 1749k| 1030k| 0.6 |1995M| 239 | 10 |2375 |1882 |2375 | 408 | 92k| 7 |5062 | 0.000000e+00 | 4.671700e+04 | Inf
1627.75/1627.77 c 1628s| 1760k| 1759k| 1034k| 0.6 |2006M| 239 | 0 |2375 |1882 |2375 | 410 | 92k| 7 |5062 | 0.000000e+00 | 4.671700e+04 | Inf
1636.96/1636.95 c 1637s| 1770k| 1769k| 1037k| 0.6 |2018M| 239 | 0 |2375 |1882 |2375 | 410 | 92k| 7 |5082 | 0.000000e+00 | 4.671700e+04 | Inf
1646.06/1646.06 c 1646s| 1780k| 1779k| 1040k| 0.6 |2029M| 239 | 0 |2375 |1882 |2375 | 411 | 93k| 7 |5082 | 0.000000e+00 | 4.671700e+04 | Inf
1655.26/1655.22 c 1655s| 1790k| 1789k| 1043k| 0.6 |2040M| 239 | 0 |2375 |1882 |2375 | 413 | 93k| 7 |5099 | 0.000000e+00 | 4.671700e+04 | Inf
1664.46/1664.48 c 1664s| 1800k| 1799k| 1046k| 0.6 |2052M| 239 | 0 |2375 |1882 |2375 | 413 | 93k| 7 |5099 | 0.000000e+00 | 4.671700e+04 | Inf
1673.75/1673.79 c 1674s| 1810k| 1809k| 1052k| 0.6 |2063M| 239 | 0 |2375 |1883 |2375 | 414 | 94k| 8 |5131 | 0.000000e+00 | 4.671700e+04 | Inf
1683.16/1683.16 c 1683s| 1820k| 1819k| 1057k| 0.6 |2074M| 239 | 0 |2375 |1883 |2375 | 412 | 94k| 8 |5137 | 0.000000e+00 | 4.671700e+04 | Inf
1692.55/1692.57 c 1693s| 1830k| 1829k| 1063k| 0.6 |2086M| 239 | 0 |2375 |1883 |2375 | 415 | 95k| 8 |5180 | 0.000000e+00 | 4.671700e+04 | Inf
1701.96/1701.97 c 1702s| 1840k| 1839k| 1068k| 0.6 |2097M| 239 | 0 |2375 |1883 |2375 | 413 | 96k| 8 |5193 | 0.000000e+00 | 4.671700e+04 | Inf
1711.26/1711.29 c 1711s| 1850k| 1849k| 1074k| 0.6 |2108M| 239 | 0 |2375 |1883 |2375 | 414 | 96k| 8 |5204 | 0.000000e+00 | 4.671700e+04 | Inf
1720.65/1720.60 c 1721s| 1860k| 1859k| 1079k| 0.6 |2120M| 239 | 0 |2375 |1883 |2375 | 414 | 97k| 8 |5211 | 0.000000e+00 | 4.671700e+04 | Inf
1729.95/1729.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1729.95/1729.93 c 1730s| 1870k| 1869k| 1084k| 0.6 |2131M| 239 | 0 |2375 |1883 |2375 | 414 | 97k| 8 |5287 | 0.000000e+00 | 4.671700e+04 | Inf
1739.36/1739.38 c 1739s| 1880k| 1879k| 1088k| 0.6 |2143M| 239 | 0 |2375 |1883 |2375 | 415 | 97k| 8 |5493 | 0.000000e+00 | 4.671700e+04 | Inf
1748.96/1748.98 c 1749s| 1890k| 1889k| 1093k| 0.6 |2154M| 239 | 0 |2375 |1883 |2375 | 414 | 99k| 8 |5562 | 0.000000e+00 | 4.671700e+04 | Inf
1758.56/1758.50 c 1758s| 1900k| 1899k| 1099k| 0.6 |2165M| 239 | 0 |2375 |1883 |2375 | 418 | 100k| 8 |5586 | 0.000000e+00 | 4.671700e+04 | Inf
1768.16/1768.12 c 1768s| 1910k| 1909k| 1106k| 0.6 |2177M| 239 | 0 |2375 |1883 |2375 | 419 | 101k| 8 |5656 | 0.000000e+00 | 4.671700e+04 | Inf
1777.67/1777.64 c 1778s| 1920k| 1919k| 1112k| 0.6 |2188M| 239 | 0 |2375 |1883 |2375 | 419 | 102k| 8 |5666 | 0.000000e+00 | 4.671700e+04 | Inf
1787.16/1787.16 c 1787s| 1930k| 1929k| 1118k| 0.6 |2200M| 239 | 0 |2375 |1883 |2375 | 420 | 103k| 8 |5667 | 0.000000e+00 | 4.671700e+04 | Inf
1790.06/1790.00 c
1790.06/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1790.06/1790.00 c Solving Time (sec) : 1789.99
1790.06/1790.00 c Solving Nodes : 1932982
1790.06/1790.00 c Primal Bound : +4.67170000000000e+04 (103 solutions)
1790.06/1790.00 c Dual Bound : +0.00000000000000e+00
1790.06/1790.00 c Gap : infinite
1790.06/1790.02 s SATISFIABLE
1790.06/1790.02 v -x495 x494 x493 x492 x491 x490 x489 -x488 x487 x486 -x485 x484 x483 -x482 -x481 -x480 x479 x478 x477 -x476 x475 x474 -x473 x472
1790.06/1790.02 v -x471 -x470 -x469 -x468 x467 x466 -x465 -x464 -x463 -x462 x461 x460 -x459 x458 -x457 x456 x455 x454 -x453 -x452 -x451 x450 x449
1790.06/1790.02 v x448 -x447 x446 x445 x444 x443 x442 x441 x440 x439 x438 -x437 x436 -x435 -x434 -x433 -x432 x431 x430 -x429 -x428 -x427 -x426
1790.06/1790.02 v x425 x424 x423 -x422 x421 -x420 x419 x418 x417 x416 x415 x414 x413 x412 -x411 -x410 -x409 x408 x407 x406 x405 -x404 -x403
1790.06/1790.02 v -x402 x401 x400 x399 -x398 x397 x396 x395 -x394 -x393 -x392 -x391 -x390 x389 x388 -x387 -x386 -x385 -x384 x383 x382 -x381 x380
1790.06/1790.02 v x379 x378 -x377 x376 -x375 x374 x373 -x372 -x371 x370 x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358
1790.06/1790.02 v -x357 -x356 -x355 -x354 x353 -x352 -x351 x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 x337
1790.06/1790.02 v -x336 -x335 -x334 -x333 -x332 -x331 x330 -x329 -x328 -x327 -x326 -x325 x324 x323 -x322 x321 -x320 -x319 -x318 -x317 -x316 -x315
1790.06/1790.02 v x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 x296 -x295 -x294
1790.06/1790.02 v x293 -x292 -x291 -x290 x289 -x288 -x287 -x286 -x285 -x284 -x283 x282 x281 -x280 -x279 x278 -x277 -x276 -x275 -x274 x273 -x272
1790.06/1790.02 v -x271 -x270 -x269 x268 -x267 -x266 -x265 -x264 -x263 x262 -x261 -x260 -x259 -x258 x257 -x256 -x255 -x254 -x253 x252 -x251
1790.06/1790.02 v -x250 -x249 -x248 -x247 -x246 x245 x244 -x243 -x242 x241 -x240 -x239 -x238 -x237 -x236 -x235 x234 -x233 x232 x231 -x230 -x229
1790.06/1790.02 v -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 x215 x214 -x213 -x212 -x211 x210 -x209 -x208 -x207
1790.06/1790.02 v -x206 x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 x193 x192 -x191 -x190 -x189 x188 x187 x186 -x185
1790.06/1790.02 v -x184 x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 x167 -x166 -x165 x164
1790.06/1790.02 v x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 x149 x148 x147 -x146 x145 -x144 -x143 -x142
1790.06/1790.02 v -x141 -x140 x139 x138 x137 x136 x135 x134 x133 x132 -x131 x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119
1790.06/1790.02 v -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 x105 x104 -x103 -x102 -x101 x100 x99 -x98 -x97
1790.06/1790.02 v -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 x85 -x84 -x83 x82 -x81 -x80 -x79 x78 -x77 x76 -x75 -x74 -x73 x72 -x71
1790.06/1790.02 v -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 x50 -x49 -x48 -x47 -x46 -x45
1790.06/1790.02 v -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
1790.06/1790.02 v x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 x3 -x2 x1
1790.06/1790.02 c SCIP Status : solving was interrupted [time limit reached]
1790.06/1790.02 c Solving Time : 1789.99
1790.06/1790.02 c Original Problem :
1790.06/1790.02 c Problem name : HOME/instance-2705189-1278578352.wbo
1790.06/1790.02 c Variables : 2375 (1435 binary, 0 integer, 940 implicit integer, 0 continuous)
1790.06/1790.02 c Constraints : 1881 initial, 1881 maximal
1790.06/1790.02 c Presolved Problem :
1790.06/1790.02 c Problem name : t_HOME/instance-2705189-1278578352.wbo
1790.06/1790.02 c Variables : 2375 (1435 binary, 0 integer, 940 implicit integer, 0 continuous)
1790.06/1790.02 c Constraints : 1880 initial, 1883 maximal
1790.06/1790.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.06/1790.02 c trivial : 0.00 0 0 0 0 0 0 0 0
1790.06/1790.02 c dualfix : 0.00 0 0 0 0 0 0 0 0
1790.06/1790.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.06/1790.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.06/1790.02 c implics : 0.00 0 0 0 0 0 0 0 0
1790.06/1790.02 c probing : 0.02 0 0 0 0 0 0 0 0
1790.06/1790.02 c varbound : 0.00 0 0 0 0 0 0 0 0
1790.06/1790.02 c linear : 0.02 0 0 0 940 0 1 70 140
1790.06/1790.02 c indicator : 0.00 0 0 0 0 0 0 0 0
1790.06/1790.02 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1790.06/1790.02 c root node : - 0 - - 0 - - - -
1790.06/1790.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.06/1790.02 c integral : 0 0 0 1970794 0 0 0 0 0 646934
1790.06/1790.02 c varbound : 1 6 1540783 617816 0 0 16045 1 0 0
1790.06/1790.02 c linear : 939 6 3355477 1647327 0 8 1429216 103376 0 0
1790.06/1790.02 c indicator : 940 0 3355469 1647327 0 0 579160 0 0 0
1790.06/1790.02 c bounddisjunction : 0+ 0 23517 0 0 0 3307 0 0 0
1790.06/1790.02 c countsols : 0 0 0 1609507 0 0 0 0 0 0
1790.06/1790.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.06/1790.02 c integral : 10.81 0.00 0.00 10.81 0.00
1790.06/1790.02 c varbound : 0.48 0.00 0.36 0.12 0.00
1790.06/1790.02 c linear : 156.74 0.00 26.42 130.32 0.00
1790.06/1790.02 c indicator : 145.99 0.04 55.68 90.27 0.00
1790.06/1790.02 c bounddisjunction : 0.03 0.00 0.03 0.00 0.00
1790.06/1790.02 c countsols : 0.22 0.00 0.00 0.22 0.00
1790.06/1790.02 c Propagators : Time Calls Cutoffs DomReds
1790.06/1790.02 c vbounds : 7.50 490367 0 308179
1790.06/1790.02 c rootredcost : 0.61 1 0 0
1790.06/1790.02 c pseudoobj : 55.07 3355277 0 0
1790.06/1790.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.06/1790.02 c propagation : 0.00 8 8 8 11.8 0 0.0 -
1790.06/1790.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.06/1790.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.06/1790.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.06/1790.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.06/1790.02 c applied globally : - - - 8 11.8 - - -
1790.06/1790.02 c applied locally : - - - 0 0.0 - - -
1790.06/1790.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.06/1790.02 c cut pool : 0.00 4 - - 208 - (maximal pool size: 746)
1790.06/1790.02 c redcost : 102.89 1970798 0 0 0 0
1790.06/1790.02 c impliedbounds : 0.00 5 0 0 0 0
1790.06/1790.02 c intobj : 0.00 0 0 0 0 0
1790.06/1790.02 c cgmip : 0.00 0 0 0 0 0
1790.06/1790.02 c gomory : 0.02 5 0 0 78 0
1790.06/1790.02 c strongcg : 0.02 5 0 0 101 0
1790.06/1790.02 c cmir : 0.08 5 0 0 418 0
1790.06/1790.02 c flowcover : 0.12 5 0 0 721 0
1790.06/1790.02 c clique : 0.00 1 0 0 0 0
1790.06/1790.02 c zerohalf : 0.00 0 0 0 0 0
1790.06/1790.02 c mcf : 0.00 1 0 0 0 0
1790.06/1790.02 c rapidlearning : 0.08 1 0 0 0 0
1790.06/1790.02 c Pricers : Time Calls Vars
1790.06/1790.02 c problem variables: 0.00 0 0
1790.06/1790.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.06/1790.02 c relpscost : 10.17 323467 0 0 0 0 646934
1790.06/1790.02 c pscost : 0.00 0 0 0 0 0 0
1790.06/1790.02 c inference : 233.23 1609507 0 0 0 0 3219014
1790.06/1790.02 c mostinf : 0.00 0 0 0 0 0 0
1790.06/1790.02 c leastinf : 0.00 0 0 0 0 0 0
1790.06/1790.02 c fullstrong : 0.00 0 0 0 0 0 0
1790.06/1790.02 c allfullstrong : 0.00 0 0 0 0 0 0
1790.06/1790.02 c random : 0.00 0 0 0 0 0 0
1790.06/1790.02 c Primal Heuristics : Time Calls Found
1790.06/1790.02 c LP solutions : 0.00 - 0
1790.06/1790.02 c pseudo solutions : 0.00 - 0
1790.06/1790.02 c intshifting : 0.01 0 0
1790.06/1790.02 c feaspump : 0.01 0 0
1790.06/1790.02 c oneopt : 0.41 1 0
1790.06/1790.02 c crossover : 0.61 13 0
1790.06/1790.02 c coefdiving : 12.39 16110 0
1790.06/1790.02 c pscostdiving : 12.34 16110 0
1790.06/1790.02 c fracdiving : 12.25 16110 0
1790.06/1790.02 c linesearchdiving : 12.27 16110 0
1790.06/1790.02 c guideddiving : 12.01 16110 0
1790.06/1790.02 c veclendiving : 12.05 16111 0
1790.06/1790.02 c objpscostdiving : 11.55 14756 0
1790.06/1790.02 c rootsoldiving : 12.47 15666 0
1790.06/1790.02 c trivial : 0.01 2 2
1790.06/1790.02 c simplerounding : 0.77 313219 0
1790.06/1790.02 c zirounding : 0.38 1000 0
1790.06/1790.02 c rounding : 0.52 7881 0
1790.06/1790.02 c shifting : 0.60 2504 0
1790.06/1790.02 c twoopt : 0.00 0 0
1790.06/1790.02 c fixandinfer : 0.00 0 0
1790.06/1790.02 c intdiving : 0.00 0 0
1790.06/1790.02 c actconsdiving : 0.00 0 0
1790.06/1790.02 c octane : 0.00 0 0
1790.06/1790.02 c rens : 0.02 1 0
1790.06/1790.02 c rins : 0.00 0 0
1790.06/1790.02 c localbranching : 0.00 0 0
1790.06/1790.02 c mutation : 0.00 0 0
1790.06/1790.02 c dins : 0.00 0 0
1790.06/1790.02 c undercover : 0.00 0 0
1790.06/1790.02 c nlp : 0.26 0 0
1790.06/1790.02 c trysol : 0.56 16430 101
1790.06/1790.02 c LP : Time Calls Iterations Iter/call Iter/sec
1790.06/1790.02 c primal LP : 0.00 0 0 0.00 -
1790.06/1790.02 c dual LP : 640.38 391882 1104861 2.82 1725.31
1790.06/1790.02 c lex dual LP : 0.00 0 0 0.00 -
1790.06/1790.02 c barrier LP : 0.00 0 0 0.00 -
1790.06/1790.02 c diving/probing LP: 2.23 3646 15253 4.18 6845.86
1790.06/1790.02 c strong branching : 8.29 5667 77693 13.71 9376.63
1790.06/1790.02 c (at root node) : - 33 3829 116.03 -
1790.06/1790.02 c conflict analysis: 0.00 0 0 0.00 -
1790.06/1790.02 c B&B Tree :
1790.06/1790.02 c number of runs : 1
1790.06/1790.02 c nodes : 1932982
1790.06/1790.02 c nodes (total) : 1932982
1790.06/1790.02 c nodes left : 1932967
1790.06/1790.02 c max depth : 239
1790.06/1790.02 c max depth (total): 239
1790.06/1790.02 c backtracks : 16337 (0.8%)
1790.06/1790.02 c delayed cutoffs : 0
1790.06/1790.02 c repropagations : 112 (15 domain reductions, 0 cutoffs)
1790.06/1790.02 c avg switch length: 2.11
1790.06/1790.02 c switching time : 46.71
1790.06/1790.02 c Solution :
1790.06/1790.02 c Solutions found : 103 (2 improvements)
1790.06/1790.02 c First Solution : +4.68140000000000e+04 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1790.06/1790.02 c Primal Bound : +4.67170000000000e+04 (in run 1, after 1198 nodes, 8.76 seconds, depth 128, found by <trysol>)
1790.06/1790.02 c Dual Bound : +0.00000000000000e+00
1790.06/1790.02 c Gap : infinite
1790.06/1790.02 c Root Dual Bound : +0.00000000000000e+00
1790.06/1790.02 c Root Iterations : 728
1792.76/1792.79 c Time complete: 1792.85.