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-2705082-1278574757.wbo>
0.00/0.01 c original problem has 1719 variables (1107 bin, 0 int, 612 impl, 0 cont) and 1553 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 9 del vars, 4 del conss, 0 chg bounds, 70 chg sides, 140 chg coeffs, 0 upgd conss, 648 impls, 0 clqs
0.00/0.02 c (round 2) 10 del vars, 20 del conss, 0 chg bounds, 70 chg sides, 140 chg coeffs, 0 upgd conss, 648 impls, 0 clqs
0.00/0.03 c (round 3) 12 del vars, 21 del conss, 610 chg bounds, 70 chg sides, 140 chg coeffs, 0 upgd conss, 648 impls, 0 clqs
0.00/0.04 c (round 4) 13 del vars, 21 del conss, 610 chg bounds, 70 chg sides, 140 chg coeffs, 313 upgd conss, 648 impls, 0 clqs
0.00/0.05 c (0.0s) probing: 101/1096 (9.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.05 c presolving (5 rounds):
0.00/0.05 c 13 deleted vars, 21 deleted constraints, 610 tightened bounds, 0 added holes, 70 changed sides, 140 changed coefficients
0.00/0.05 c 1783 implications, 0 cliques
0.00/0.05 c presolved problem has 1706 variables (1096 bin, 0 int, 610 impl, 0 cont) and 1532 constraints
0.00/0.05 c 1 constraints of type <varbound>
0.00/0.05 c 51 constraints of type <knapsack>
0.00/0.05 c 189 constraints of type <setppc>
0.00/0.05 c 609 constraints of type <linear>
0.00/0.05 c 610 constraints of type <indicator>
0.00/0.05 c 72 constraints of type <logicor>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.04
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 1.2.1.3
0.00/0.05 c
0.00/0.05 c # frequency for displaying node information lines
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05 c display/freq = 10000
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1789.99
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 3420
0.00/0.05 c
0.00/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.05 c # [type: int, range: [1,2], default: 1]
0.00/0.05 c timing/clocktype = 2
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/indicator/addCouplingCons = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.06 c 0.0s| 1 | 0 | 56 | - |6063k| 0 | 33 |1706 |1532 |1706 | 312 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.11 c 0.1s| 1 | 0 | 167 | - |6186k| 0 | 99 |1706 |1532 |1706 | 419 | 107 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.13 c 0.1s| 1 | 0 | 279 | - |6328k| 0 | 116 |1706 |1532 |1706 | 514 | 202 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.17 c 0.2s| 1 | 0 | 374 | - |6434k| 0 | 192 |1706 |1532 |1706 | 571 | 259 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.23 c 0.2s| 1 | 0 | 541 | - |6540k| 0 | 169 |1706 |1532 |1706 | 639 | 327 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.30 c 0.3s| 1 | 0 | 644 | - |6640k| 0 | 204 |1706 |1532 |1706 | 697 | 385 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.40 c 0.4s| 1 | 0 | 785 | - |6706k| 0 | 232 |1706 |1532 |1706 | 753 | 441 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.55 c 0.5s| 1 | 2 | 785 | - |6707k| 0 | 232 |1706 |1532 |1706 | 753 | 441 | 0 | 17 | 0.000000e+00 | -- | Inf
6.89/6.93 o 31042
6.89/6.93 c y 6.9s| 490 | 485 | 6965 | 12.6 |7373k| 89 | - |1706 |1542 | 0 | 0 | 467 | 10 |1814 | 0.000000e+00 | 3.104200e+04 | Inf
17.60/17.62 c 17.6s| 10000 | 9989 | 28832 | 2.8 | 20M| 167 | 0 |1706 |1546 |1706 | 648 |3580 | 14 |2389 | 0.000000e+00 | 3.104200e+04 | Inf
28.29/28.35 c 28.3s| 20000 | 19965 | 63379 | 3.1 | 30M| 265 | 0 |1706 |1567 |1706 | 642 |5419 | 35 |2809 | 0.000000e+00 | 3.104200e+04 | Inf
36.40/36.43 c 36.4s| 30000 | 29965 | 65751 | 2.2 | 41M| 267 | 0 |1706 |1567 |1706 | 644 |5699 | 35 |2811 | 0.000000e+00 | 3.104200e+04 | Inf
44.69/44.71 c 44.7s| 40000 | 39965 | 68388 | 1.7 | 51M| 267 | 0 |1706 |1567 |1706 | 648 |6127 | 35 |2811 | 0.000000e+00 | 3.104200e+04 | Inf
52.60/52.68 c 52.7s| 50000 | 49965 | 70278 | 1.4 | 62M| 267 | 0 |1706 |1567 |1706 | 640 |6429 | 35 |2811 | 0.000000e+00 | 3.104200e+04 | Inf
60.79/60.85 c 60.8s| 60000 | 59963 | 72436 | 1.2 | 72M| 271 | 0 |1706 |1568 |1706 | 638 |6762 | 36 |2811 | 0.000000e+00 | 3.104200e+04 | Inf
68.79/68.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
68.79/68.89 c 68.9s| 70000 | 69963 | 74223 | 1.0 | 82M| 271 | 0 |1706 |1568 |1706 | 643 |6994 | 36 |2812 | 0.000000e+00 | 3.104200e+04 | Inf
77.00/77.10 c 77.1s| 80000 | 79963 | 75945 | 0.9 | 93M| 271 | 0 |1706 |1568 |1706 | 639 |7197 | 36 |2818 | 0.000000e+00 | 3.104200e+04 | Inf
84.99/85.07 c 85.1s| 90000 | 89963 | 77718 | 0.9 | 103M| 271 | 0 |1706 |1568 |1706 | 637 |7444 | 36 |2818 | 0.000000e+00 | 3.104200e+04 | Inf
93.29/93.32 c 93.3s|100000 | 99963 | 79631 | 0.8 | 114M| 271 | 3 |1706 |1568 |1706 | 647 |7742 | 36 |2818 | 0.000000e+00 | 3.104200e+04 | Inf
101.30/101.35 c 101s|110000 |109963 | 81318 | 0.7 | 124M| 271 | 0 |1706 |1568 |1706 | 637 |7959 | 36 |2818 | 0.000000e+00 | 3.104200e+04 | Inf
109.60/109.61 c 110s|120000 |119963 | 83078 | 0.7 | 135M| 271 | 0 |1706 |1568 |1706 | 638 |8184 | 36 |2824 | 0.000000e+00 | 3.104200e+04 | Inf
117.80/117.83 c 118s|130000 |129963 | 85058 | 0.6 | 145M| 271 | 0 |1706 |1568 |1706 | 654 |8470 | 36 |2826 | 0.000000e+00 | 3.104200e+04 | Inf
126.09/126.15 c 126s|140000 |139961 | 87080 | 0.6 | 156M| 271 | 0 |1706 |1569 |1706 | 646 |8776 | 37 |2834 | 0.000000e+00 | 3.104200e+04 | Inf
134.39/134.50 c 134s|150000 |149961 | 89156 | 0.6 | 166M| 271 | 2 |1706 |1569 |1706 | 648 |9111 | 37 |2834 | 0.000000e+00 | 3.104200e+04 | Inf
142.69/142.77 c 143s|160000 |159961 | 90969 | 0.6 | 177M| 271 | 0 |1706 |1569 |1706 | 654 |9380 | 37 |2847 | 0.000000e+00 | 3.104200e+04 | Inf
150.79/150.84 c 151s|170000 |169961 | 92843 | 0.5 | 187M| 271 | 0 |1706 |1569 |1706 | 639 |9661 | 37 |2847 | 0.000000e+00 | 3.104200e+04 | Inf
158.89/158.96 c 159s|180000 |179961 | 94558 | 0.5 | 198M| 271 | 0 |1706 |1569 |1706 | 640 |9843 | 37 |2847 | 0.000000e+00 | 3.104200e+04 | Inf
166.90/166.99 c 167s|190000 |189961 | 96286 | 0.5 | 208M| 271 | 0 |1706 |1569 |1706 | 641 | 10k| 37 |2847 | 0.000000e+00 | 3.104200e+04 | Inf
175.30/175.30 c 175s|200000 |199961 | 98111 | 0.5 | 219M| 271 | 0 |1706 |1569 |1706 | 646 | 10k| 37 |2848 | 0.000000e+00 | 3.104200e+04 | Inf
183.49/183.56 c 184s|210000 |209961 |100084 | 0.5 | 229M| 271 | 0 |1706 |1569 |1706 | 644 | 10k| 37 |2848 | 0.000000e+00 | 3.104200e+04 | Inf
191.79/191.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
191.79/191.87 c 192s|220000 |219961 |102066 | 0.5 | 240M| 271 | 0 |1706 |1569 |1706 | 641 | 10k| 37 |2848 | 0.000000e+00 | 3.104200e+04 | Inf
200.19/200.25 c 200s|230000 |229961 |104038 | 0.4 | 250M| 271 | 0 |1706 |1569 |1706 | 661 | 11k| 37 |2848 | 0.000000e+00 | 3.104200e+04 | Inf
208.59/208.63 c 209s|240000 |239961 |105950 | 0.4 | 261M| 271 | 0 |1706 |1569 |1706 | 645 | 11k| 37 |2848 | 0.000000e+00 | 3.104200e+04 | Inf
216.70/216.70 c 217s|250000 |249961 |107789 | 0.4 | 271M| 271 | 0 |1706 |1569 |1706 | 644 | 11k| 37 |2848 | 0.000000e+00 | 3.104200e+04 | Inf
224.90/224.91 c 225s|260000 |259961 |109579 | 0.4 | 282M| 271 | 0 |1706 |1569 |1706 | 640 | 11k| 37 |2851 | 0.000000e+00 | 3.104200e+04 | Inf
233.09/233.12 c 233s|270000 |269961 |111364 | 0.4 | 292M| 271 | 0 |1706 |1569 |1706 | 645 | 12k| 37 |2851 | 0.000000e+00 | 3.104200e+04 | Inf
241.19/241.27 c 241s|280000 |279961 |113146 | 0.4 | 303M| 271 | 0 |1706 |1569 |1706 | 636 | 12k| 37 |2854 | 0.000000e+00 | 3.104200e+04 | Inf
249.19/249.25 c 249s|290000 |289961 |114736 | 0.4 | 313M| 271 | 0 |1706 |1569 |1706 | 636 | 12k| 37 |2857 | 0.000000e+00 | 3.104200e+04 | Inf
257.29/257.38 c 257s|300000 |299961 |116382 | 0.4 | 324M| 271 | 0 |1706 |1569 |1706 | 645 | 12k| 37 |2860 | 0.000000e+00 | 3.104200e+04 | Inf
265.69/265.76 c 266s|310000 |309961 |118246 | 0.4 | 334M| 271 | 0 |1706 |1569 |1706 | 644 | 13k| 37 |2863 | 0.000000e+00 | 3.104200e+04 | Inf
274.00/274.04 c 274s|320000 |319961 |119996 | 0.4 | 344M| 271 | 0 |1706 |1569 |1706 | 645 | 13k| 37 |2863 | 0.000000e+00 | 3.104200e+04 | Inf
282.29/282.30 c 282s|330000 |329961 |121790 | 0.4 | 355M| 271 | 0 |1706 |1569 |1706 | 652 | 13k| 37 |2863 | 0.000000e+00 | 3.104200e+04 | Inf
290.60/290.63 c 291s|340000 |339961 |123598 | 0.4 | 365M| 271 | 0 |1706 |1569 |1706 | 643 | 14k| 37 |2863 | 0.000000e+00 | 3.104200e+04 | Inf
298.99/299.00 c 299s|350000 |349961 |125337 | 0.4 | 376M| 271 | 0 |1706 |1569 |1706 | 640 | 14k| 37 |2863 | 0.000000e+00 | 3.104200e+04 | Inf
307.10/307.17 c 307s|360000 |359961 |127110 | 0.4 | 386M| 271 | 0 |1706 |1569 |1706 | 641 | 14k| 37 |2863 | 0.000000e+00 | 3.104200e+04 | Inf
315.20/315.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
315.20/315.27 c 315s|370000 |369961 |128886 | 0.3 | 397M| 271 | 2 |1706 |1569 |1706 | 650 | 15k| 37 |2863 | 0.000000e+00 | 3.104200e+04 | Inf
323.59/323.66 c 324s|380000 |379961 |130674 | 0.3 | 407M| 271 | 0 |1706 |1569 |1706 | 641 | 15k| 37 |2863 | 0.000000e+00 | 3.104200e+04 | Inf
331.89/331.93 c 332s|390000 |389961 |132467 | 0.3 | 418M| 271 | 0 |1706 |1569 |1706 | 646 | 15k| 37 |2863 | 0.000000e+00 | 3.104200e+04 | Inf
340.10/340.19 c 340s|400000 |399961 |134486 | 0.3 | 428M| 271 | 0 |1706 |1569 |1706 | 662 | 16k| 37 |2863 | 0.000000e+00 | 3.104200e+04 | Inf
348.40/348.42 c 348s|410000 |409961 |136415 | 0.3 | 439M| 271 | 0 |1706 |1569 |1706 | 641 | 16k| 37 |2863 | 0.000000e+00 | 3.104200e+04 | Inf
356.69/356.77 c 357s|420000 |419961 |138368 | 0.3 | 449M| 271 | 0 |1706 |1569 |1706 | 640 | 16k| 37 |2863 | 0.000000e+00 | 3.104200e+04 | Inf
365.10/365.14 c 365s|430000 |429961 |140357 | 0.3 | 460M| 271 | 0 |1706 |1569 |1706 | 646 | 16k| 37 |2863 | 0.000000e+00 | 3.104200e+04 | Inf
373.40/373.43 c 373s|440000 |439961 |142337 | 0.3 | 470M| 271 | 0 |1706 |1569 |1706 | 640 | 17k| 37 |2863 | 0.000000e+00 | 3.104200e+04 | Inf
381.60/381.70 c 382s|450000 |449961 |144228 | 0.3 | 481M| 271 | 0 |1706 |1569 |1706 | 653 | 17k| 37 |2863 | 0.000000e+00 | 3.104200e+04 | Inf
390.10/390.11 c 390s|460000 |459961 |146117 | 0.3 | 491M| 271 | 0 |1706 |1569 |1706 | 640 | 17k| 37 |2863 | 0.000000e+00 | 3.104200e+04 | Inf
398.50/398.51 c 398s|470000 |469961 |147949 | 0.3 | 502M| 271 | 0 |1706 |1569 |1706 | 646 | 18k| 37 |2863 | 0.000000e+00 | 3.104200e+04 | Inf
406.70/406.77 c 407s|480000 |479961 |149767 | 0.3 | 512M| 271 | 0 |1706 |1569 |1706 | 640 | 18k| 37 |2863 | 0.000000e+00 | 3.104200e+04 | Inf
415.10/415.14 c 415s|490000 |489961 |151577 | 0.3 | 523M| 271 | 0 |1706 |1569 |1706 | 641 | 18k| 37 |2863 | 0.000000e+00 | 3.104200e+04 | Inf
423.39/423.49 c 423s|500000 |499961 |153429 | 0.3 | 533M| 271 | 0 |1706 |1569 |1706 | 634 | 18k| 37 |2863 | 0.000000e+00 | 3.104200e+04 | Inf
431.80/431.81 c 432s|510000 |509961 |155299 | 0.3 | 544M| 271 | 0 |1706 |1569 |1706 | 646 | 19k| 37 |2863 | 0.000000e+00 | 3.104200e+04 | Inf
440.10/440.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
440.10/440.11 c 440s|520000 |519961 |157340 | 0.3 | 554M| 275 | 1 |1706 |1569 |1706 | 642 | 19k| 37 |2866 | 0.000000e+00 | 3.104200e+04 | Inf
448.69/448.74 c 449s|530000 |529961 |160027 | 0.3 | 565M| 275 | 0 |1706 |1569 |1706 | 642 | 20k| 37 |2866 | 0.000000e+00 | 3.104200e+04 | Inf
457.09/457.17 c 457s|540000 |539961 |162359 | 0.3 | 575M| 275 | 0 |1706 |1569 |1706 | 642 | 20k| 37 |2868 | 0.000000e+00 | 3.104200e+04 | Inf
465.60/465.62 c 466s|550000 |549961 |165180 | 0.3 | 586M| 275 | 0 |1706 |1569 |1706 | 649 | 21k| 37 |2869 | 0.000000e+00 | 3.104200e+04 | Inf
474.20/474.23 c 474s|560000 |559961 |168495 | 0.3 | 596M| 275 | 0 |1706 |1569 |1706 | 640 | 21k| 37 |2869 | 0.000000e+00 | 3.104200e+04 | Inf
482.59/482.65 c 483s|570000 |569961 |170751 | 0.3 | 607M| 275 | 0 |1706 |1569 |1706 | 643 | 22k| 37 |2869 | 0.000000e+00 | 3.104200e+04 | Inf
490.90/490.93 c 491s|580000 |579961 |172643 | 0.3 | 617M| 275 | 0 |1706 |1569 |1706 | 651 | 22k| 37 |2869 | 0.000000e+00 | 3.104200e+04 | Inf
499.00/499.05 c 499s|590000 |589961 |174557 | 0.3 | 628M| 275 | 0 |1706 |1569 |1706 | 646 | 22k| 37 |2869 | 0.000000e+00 | 3.104200e+04 | Inf
507.21/507.25 c 507s|600000 |599961 |176347 | 0.3 | 638M| 275 | 0 |1706 |1569 |1706 | 644 | 23k| 37 |2869 | 0.000000e+00 | 3.104200e+04 | Inf
515.50/515.54 c 516s|610000 |609961 |178114 | 0.3 | 649M| 275 | 0 |1706 |1569 |1706 | 639 | 23k| 37 |2869 | 0.000000e+00 | 3.104200e+04 | Inf
523.80/523.89 c 524s|620000 |619961 |180194 | 0.3 | 659M| 275 | 0 |1706 |1569 |1706 | 639 | 23k| 37 |2869 | 0.000000e+00 | 3.104200e+04 | Inf
532.51/532.51 c 532s|630000 |629961 |183431 | 0.3 | 670M| 275 | 0 |1706 |1569 |1706 | 643 | 24k| 37 |2869 | 0.000000e+00 | 3.104200e+04 | Inf
540.90/540.95 c 541s|640000 |639961 |185411 | 0.3 | 680M| 275 | 0 |1706 |1569 |1706 | 640 | 24k| 37 |2870 | 0.000000e+00 | 3.104200e+04 | Inf
549.40/549.44 c 549s|650000 |649961 |187366 | 0.3 | 691M| 275 | 0 |1706 |1569 |1706 | 646 | 25k| 37 |2872 | 0.000000e+00 | 3.104200e+04 | Inf
557.71/557.71 c 558s|660000 |659961 |189132 | 0.3 | 701M| 275 | 0 |1706 |1569 |1706 | 649 | 25k| 37 |2872 | 0.000000e+00 | 3.104200e+04 | Inf
566.00/566.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
566.00/566.03 c 566s|670000 |669961 |190824 | 0.3 | 712M| 275 | 0 |1706 |1569 |1706 | 643 | 26k| 37 |2872 | 0.000000e+00 | 3.104200e+04 | Inf
574.31/574.37 c 574s|680000 |679961 |192638 | 0.3 | 722M| 275 | 0 |1706 |1569 |1706 | 643 | 26k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
582.70/582.78 c 583s|690000 |689961 |194606 | 0.3 | 733M| 275 | 0 |1706 |1569 |1706 | 643 | 26k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
590.90/590.99 c 591s|700000 |699961 |196501 | 0.3 | 743M| 275 | 0 |1706 |1569 |1706 | 647 | 27k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
599.20/599.28 c 599s|710000 |709961 |198364 | 0.3 | 754M| 275 | 0 |1706 |1569 |1706 | 642 | 27k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
607.60/607.67 c 608s|720000 |719961 |200261 | 0.3 | 764M| 275 | 0 |1706 |1569 |1706 | 645 | 27k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
616.01/616.04 c 616s|730000 |729961 |202169 | 0.3 | 775M| 275 | 0 |1706 |1569 |1706 | 643 | 28k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
624.20/624.22 c 624s|740000 |739961 |203918 | 0.3 | 785M| 275 | 0 |1706 |1569 |1706 | 643 | 28k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
632.50/632.56 c 633s|750000 |749961 |205701 | 0.3 | 796M| 275 | 0 |1706 |1569 |1706 | 646 | 28k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
640.90/640.95 c 641s|760000 |759961 |207772 | 0.3 | 806M| 275 | 0 |1706 |1569 |1706 | 648 | 29k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
649.30/649.30 c 649s|770000 |769961 |209902 | 0.3 | 817M| 275 | 0 |1706 |1569 |1706 | 645 | 29k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
657.60/657.68 c 658s|780000 |779961 |211889 | 0.3 | 827M| 275 | 0 |1706 |1569 |1706 | 648 | 30k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
666.10/666.13 c 666s|790000 |789961 |213940 | 0.3 | 838M| 275 | 0 |1706 |1569 |1706 | 643 | 30k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
674.50/674.59 c 675s|800000 |799961 |215996 | 0.3 | 848M| 275 | 3 |1706 |1569 |1706 | 640 | 31k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
682.90/682.93 c 683s|810000 |809961 |218111 | 0.3 | 859M| 275 | 0 |1706 |1569 |1706 | 649 | 31k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
691.40/691.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
691.40/691.43 c 691s|820000 |819961 |220178 | 0.3 | 869M| 275 | 0 |1706 |1569 |1706 | 641 | 31k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
699.81/699.82 c 700s|830000 |829961 |222021 | 0.3 | 880M| 275 | 0 |1706 |1569 |1706 | 646 | 32k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
708.10/708.19 c 708s|840000 |839961 |223883 | 0.3 | 890M| 275 | 0 |1706 |1569 |1706 | 646 | 32k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
716.40/716.46 c 716s|850000 |849961 |225663 | 0.3 | 901M| 275 | 0 |1706 |1569 |1706 | 643 | 32k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
724.80/724.81 c 725s|860000 |859961 |227379 | 0.3 | 911M| 275 | 0 |1706 |1569 |1706 | 639 | 33k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
733.21/733.22 c 733s|870000 |869961 |229162 | 0.3 | 922M| 275 | 0 |1706 |1569 |1706 | 642 | 33k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
741.41/741.44 c 741s|880000 |879961 |231016 | 0.3 | 932M| 275 | 0 |1706 |1569 |1706 | 647 | 33k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
749.80/749.83 c 750s|890000 |889961 |232707 | 0.3 | 943M| 275 | 0 |1706 |1569 |1706 | 646 | 34k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
758.20/758.24 c 758s|900000 |899961 |234495 | 0.3 | 953M| 275 | 0 |1706 |1569 |1706 | 647 | 34k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
766.61/766.68 c 767s|910000 |909961 |236258 | 0.3 | 964M| 275 | 0 |1706 |1569 |1706 | 652 | 34k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
774.90/774.97 c 775s|920000 |919961 |237993 | 0.3 | 974M| 275 | 0 |1706 |1569 |1706 | 654 | 35k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
783.41/783.42 c 783s|930000 |929961 |239913 | 0.3 | 985M| 275 | 0 |1706 |1569 |1706 | 642 | 35k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
791.81/791.85 c 792s|940000 |939961 |241975 | 0.3 | 995M| 275 | 0 |1706 |1569 |1706 | 643 | 35k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
800.10/800.16 c 800s|950000 |949961 |243866 | 0.3 |1006M| 275 | 0 |1706 |1569 |1706 | 647 | 36k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
808.51/808.52 c 809s|960000 |959961 |245744 | 0.3 |1016M| 275 | 0 |1706 |1569 |1706 | 645 | 36k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
817.00/817.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
817.00/817.02 c 817s|970000 |969961 |247729 | 0.3 |1027M| 275 | 0 |1706 |1569 |1706 | 644 | 36k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
825.50/825.53 c 826s|980000 |979961 |249669 | 0.3 |1037M| 275 | 0 |1706 |1569 |1706 | 645 | 37k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
833.81/833.81 c 834s|990000 |989961 |251558 | 0.3 |1048M| 275 | 0 |1706 |1569 |1706 | 643 | 37k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
842.21/842.24 c 842s| 1000k|999961 |253334 | 0.3 |1058M| 275 | 0 |1706 |1569 |1706 | 644 | 37k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
850.71/850.71 c 851s| 1010k| 1009k|255362 | 0.3 |1069M| 275 | 0 |1706 |1569 |1706 | 649 | 38k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
859.00/859.01 c 859s| 1020k| 1019k|257199 | 0.3 |1079M| 275 | 0 |1706 |1569 |1706 | 649 | 38k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
867.20/867.24 c 867s| 1030k| 1029k|258943 | 0.3 |1090M| 275 | 0 |1706 |1569 |1706 | 646 | 38k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
875.50/875.60 c 876s| 1040k| 1039k|260628 | 0.2 |1100M| 275 | 0 |1706 |1569 |1706 | 646 | 38k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
883.90/883.97 c 884s| 1050k| 1049k|262352 | 0.2 |1111M| 275 | 0 |1706 |1569 |1706 | 639 | 39k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
892.21/892.27 c 892s| 1060k| 1059k|264094 | 0.2 |1121M| 275 | 0 |1706 |1569 |1706 | 637 | 39k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
900.61/900.68 c 901s| 1070k| 1069k|265792 | 0.2 |1132M| 275 | 3 |1706 |1569 |1706 | 650 | 40k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
909.10/909.16 c 909s| 1080k| 1079k|267500 | 0.2 |1142M| 275 | 0 |1706 |1569 |1706 | 643 | 40k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
917.51/917.54 c 918s| 1090k| 1089k|269164 | 0.2 |1153M| 275 | 0 |1706 |1569 |1706 | 645 | 40k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
925.71/925.79 c 926s| 1100k| 1099k|270768 | 0.2 |1163M| 275 | 0 |1706 |1569 |1706 | 639 | 40k| 37 |2873 | 0.000000e+00 | 3.104200e+04 | Inf
934.20/934.21 c 934s| 1110k| 1109k|272389 | 0.2 |1174M| 275 | 0 |1706 |1569 |1706 | 646 | 41k| 37 |2874 | 0.000000e+00 | 3.104200e+04 | Inf
942.61/942.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
942.61/942.68 c 943s| 1120k| 1119k|274047 | 0.2 |1184M| 275 | 0 |1706 |1569 |1706 | 645 | 41k| 37 |2874 | 0.000000e+00 | 3.104200e+04 | Inf
950.90/950.98 c 951s| 1130k| 1129k|275707 | 0.2 |1194M| 275 | 0 |1706 |1569 |1706 | 641 | 41k| 37 |2885 | 0.000000e+00 | 3.104200e+04 | Inf
959.31/959.36 c 959s| 1140k| 1139k|277359 | 0.2 |1205M| 275 | 0 |1706 |1569 |1706 | 653 | 42k| 37 |2889 | 0.000000e+00 | 3.104200e+04 | Inf
967.81/967.83 c 968s| 1150k| 1149k|279052 | 0.2 |1215M| 275 | 0 |1706 |1569 |1706 | 652 | 42k| 37 |2889 | 0.000000e+00 | 3.104200e+04 | Inf
976.00/976.03 c 976s| 1160k| 1159k|280699 | 0.2 |1226M| 275 | 0 |1706 |1569 |1706 | 647 | 42k| 37 |2889 | 0.000000e+00 | 3.104200e+04 | Inf
984.31/984.36 c 984s| 1170k| 1169k|282355 | 0.2 |1236M| 275 | 0 |1706 |1569 |1706 | 646 | 43k| 37 |2889 | 0.000000e+00 | 3.104200e+04 | Inf
992.70/992.78 c 993s| 1180k| 1179k|283987 | 0.2 |1247M| 275 | 0 |1706 |1569 |1706 | 648 | 43k| 37 |2889 | 0.000000e+00 | 3.104200e+04 | Inf
1001.11/1001.19 c 1001s| 1190k| 1189k|285704 | 0.2 |1257M| 275 | 0 |1706 |1569 |1706 | 648 | 43k| 37 |2898 | 0.000000e+00 | 3.104200e+04 | Inf
1009.51/1009.57 c 1010s| 1200k| 1199k|287397 | 0.2 |1268M| 275 | 0 |1706 |1569 |1706 | 640 | 44k| 37 |2904 | 0.000000e+00 | 3.104200e+04 | Inf
1017.70/1017.80 c 1018s| 1210k| 1209k|288989 | 0.2 |1278M| 275 | 3 |1706 |1569 |1706 | 643 | 44k| 37 |2904 | 0.000000e+00 | 3.104200e+04 | Inf
1026.21/1026.22 c 1026s| 1220k| 1219k|290649 | 0.2 |1289M| 275 | 0 |1706 |1569 |1706 | 641 | 44k| 37 |2904 | 0.000000e+00 | 3.104200e+04 | Inf
1034.51/1034.54 c 1035s| 1230k| 1229k|292333 | 0.2 |1299M| 275 | 0 |1706 |1569 |1706 | 643 | 45k| 37 |2907 | 0.000000e+00 | 3.104200e+04 | Inf
1042.82/1042.88 c 1043s| 1240k| 1239k|293968 | 0.2 |1310M| 275 | 0 |1706 |1569 |1706 | 646 | 45k| 37 |2907 | 0.000000e+00 | 3.104200e+04 | Inf
1051.21/1051.22 c 1051s| 1250k| 1249k|295670 | 0.2 |1320M| 275 | 0 |1706 |1569 |1706 | 645 | 45k| 37 |2907 | 0.000000e+00 | 3.104200e+04 | Inf
1059.61/1059.61 c 1060s| 1260k| 1259k|297365 | 0.2 |1331M| 275 | 0 |1706 |1569 |1706 | 646 | 46k| 37 |2907 | 0.000000e+00 | 3.104200e+04 | Inf
1068.01/1068.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1068.01/1068.01 c 1068s| 1270k| 1269k|299065 | 0.2 |1341M| 275 | 0 |1706 |1569 |1706 | 642 | 46k| 37 |2907 | 0.000000e+00 | 3.104200e+04 | Inf
1076.21/1076.21 c 1076s| 1280k| 1279k|300678 | 0.2 |1352M| 275 | 0 |1706 |1569 |1706 | 644 | 46k| 37 |2907 | 0.000000e+00 | 3.104200e+04 | Inf
1084.51/1084.57 c 1085s| 1290k| 1289k|302247 | 0.2 |1362M| 275 | 0 |1706 |1569 |1706 | 642 | 46k| 37 |2907 | 0.000000e+00 | 3.104200e+04 | Inf
1093.11/1093.16 c 1093s| 1300k| 1299k|304539 | 0.2 |1373M| 275 | 0 |1706 |1569 |1706 | 640 | 47k| 37 |2936 | 0.000000e+00 | 3.104200e+04 | Inf
1101.31/1101.37 c 1101s| 1310k| 1309k|306369 | 0.2 |1383M| 275 | 0 |1706 |1569 |1706 | 640 | 47k| 37 |2936 | 0.000000e+00 | 3.104200e+04 | Inf
1109.41/1109.49 c 1109s| 1320k| 1319k|307946 | 0.2 |1394M| 275 | 0 |1706 |1569 |1706 | 641 | 48k| 37 |2936 | 0.000000e+00 | 3.104200e+04 | Inf
1117.81/1117.83 c 1118s| 1330k| 1329k|309862 | 0.2 |1404M| 275 | 1 |1706 |1569 |1706 | 640 | 48k| 37 |2936 | 0.000000e+00 | 3.104200e+04 | Inf
1126.11/1126.16 c 1126s| 1340k| 1339k|311809 | 0.2 |1415M| 275 | 0 |1706 |1569 |1706 | 640 | 48k| 37 |2942 | 0.000000e+00 | 3.104200e+04 | Inf
1134.51/1134.58 c 1135s| 1350k| 1349k|314243 | 0.2 |1425M| 275 | 0 |1706 |1569 |1706 | 649 | 49k| 37 |2973 | 0.000000e+00 | 3.104200e+04 | Inf
1142.71/1142.79 c 1143s| 1360k| 1359k|316235 | 0.2 |1436M| 275 | 0 |1706 |1569 |1706 | 639 | 49k| 37 |2973 | 0.000000e+00 | 3.104200e+04 | Inf
1151.01/1151.02 c 1151s| 1370k| 1369k|318208 | 0.2 |1446M| 275 | 0 |1706 |1569 |1706 | 646 | 49k| 37 |2973 | 0.000000e+00 | 3.104200e+04 | Inf
1159.21/1159.28 c 1159s| 1380k| 1379k|320046 | 0.2 |1457M| 275 | 0 |1706 |1569 |1706 | 643 | 50k| 37 |2973 | 0.000000e+00 | 3.104200e+04 | Inf
1167.41/1167.42 c 1167s| 1390k| 1389k|321904 | 0.2 |1467M| 275 | 0 |1706 |1569 |1706 | 648 | 50k| 37 |2973 | 0.000000e+00 | 3.104200e+04 | Inf
1175.61/1175.63 c 1176s| 1400k| 1399k|323995 | 0.2 |1478M| 275 | 0 |1706 |1569 |1706 | 643 | 50k| 37 |2973 | 0.000000e+00 | 3.104200e+04 | Inf
1184.01/1184.03 c 1184s| 1410k| 1409k|326237 | 0.2 |1488M| 275 | 0 |1706 |1569 |1706 | 640 | 50k| 37 |2973 | 0.000000e+00 | 3.104200e+04 | Inf
1192.31/1192.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1192.31/1192.32 c 1192s| 1420k| 1419k|328564 | 0.2 |1499M| 275 | 0 |1706 |1569 |1706 | 643 | 51k| 37 |2973 | 0.000000e+00 | 3.104200e+04 | Inf
1200.51/1200.50 c 1200s| 1430k| 1429k|330661 | 0.2 |1509M| 275 | 0 |1706 |1569 |1706 | 637 | 51k| 37 |2979 | 0.000000e+00 | 3.104200e+04 | Inf
1208.61/1208.69 c 1209s| 1440k| 1439k|332305 | 0.2 |1520M| 275 | 0 |1706 |1569 |1706 | 643 | 51k| 37 |2981 | 0.000000e+00 | 3.104200e+04 | Inf
1216.91/1216.90 c 1217s| 1450k| 1449k|333927 | 0.2 |1530M| 275 | 0 |1706 |1569 |1706 | 643 | 51k| 37 |2981 | 0.000000e+00 | 3.104200e+04 | Inf
1225.12/1225.17 c 1225s| 1460k| 1459k|335545 | 0.2 |1540M| 275 | 0 |1706 |1569 |1706 | 646 | 52k| 37 |2981 | 0.000000e+00 | 3.104200e+04 | Inf
1233.31/1233.30 c 1233s| 1470k| 1469k|337129 | 0.2 |1551M| 275 | 0 |1706 |1569 |1706 | 650 | 52k| 37 |2981 | 0.000000e+00 | 3.104200e+04 | Inf
1241.51/1241.51 c 1241s| 1480k| 1479k|338757 | 0.2 |1561M| 275 | 0 |1706 |1569 |1706 | 646 | 52k| 37 |2997 | 0.000000e+00 | 3.104200e+04 | Inf
1249.81/1249.83 c 1250s| 1490k| 1489k|340424 | 0.2 |1572M| 275 | 0 |1706 |1569 |1706 | 644 | 52k| 37 |3002 | 0.000000e+00 | 3.104200e+04 | Inf
1257.81/1257.87 c 1258s| 1500k| 1499k|342108 | 0.2 |1582M| 275 | 0 |1706 |1569 |1706 | 640 | 53k| 37 |3008 | 0.000000e+00 | 3.104200e+04 | Inf
1265.91/1265.97 c 1266s| 1510k| 1509k|343756 | 0.2 |1593M| 275 | 0 |1706 |1569 |1706 | 634 | 53k| 37 |3008 | 0.000000e+00 | 3.104200e+04 | Inf
1274.11/1274.11 c 1274s| 1520k| 1519k|345325 | 0.2 |1603M| 275 | 0 |1706 |1569 |1706 | 635 | 53k| 37 |3008 | 0.000000e+00 | 3.104200e+04 | Inf
1282.31/1282.38 c 1282s| 1530k| 1529k|346953 | 0.2 |1614M| 275 | 4 |1706 |1569 |1706 | 649 | 53k| 37 |3008 | 0.000000e+00 | 3.104200e+04 | Inf
1290.61/1290.61 c 1291s| 1540k| 1539k|348665 | 0.2 |1624M| 275 | 0 |1706 |1569 |1706 | 643 | 53k| 37 |3008 | 0.000000e+00 | 3.104200e+04 | Inf
1298.71/1298.73 c 1299s| 1550k| 1549k|350279 | 0.2 |1635M| 275 | 0 |1706 |1569 |1706 | 643 | 54k| 37 |3008 | 0.000000e+00 | 3.104200e+04 | Inf
1306.92/1306.91 c 1307s| 1560k| 1559k|351873 | 0.2 |1645M| 275 | 0 |1706 |1569 |1706 | 635 | 54k| 37 |3010 | 0.000000e+00 | 3.104200e+04 | Inf
1315.11/1315.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1315.11/1315.16 c 1315s| 1570k| 1569k|353775 | 0.2 |1656M| 275 | 0 |1706 |1569 |1706 | 646 | 54k| 37 |3010 | 0.000000e+00 | 3.104200e+04 | Inf
1323.42/1323.40 c 1323s| 1580k| 1579k|355538 | 0.2 |1666M| 275 | 0 |1706 |1569 |1706 | 646 | 54k| 37 |3010 | 0.000000e+00 | 3.104200e+04 | Inf
1331.51/1331.56 c 1332s| 1590k| 1589k|357092 | 0.2 |1677M| 275 | 0 |1706 |1569 |1706 | 644 | 55k| 37 |3010 | 0.000000e+00 | 3.104200e+04 | Inf
1339.52/1339.58 c 1340s| 1600k| 1599k|358744 | 0.2 |1687M| 275 | 0 |1706 |1569 |1706 | 651 | 55k| 37 |3010 | 0.000000e+00 | 3.104200e+04 | Inf
1347.71/1347.77 c 1348s| 1610k| 1609k|360359 | 0.2 |1698M| 275 | 0 |1706 |1569 |1706 | 636 | 55k| 37 |3010 | 0.000000e+00 | 3.104200e+04 | Inf
1355.92/1355.98 c 1356s| 1620k| 1619k|362147 | 0.2 |1708M| 275 | 0 |1706 |1569 |1706 | 637 | 55k| 37 |3010 | 0.000000e+00 | 3.104200e+04 | Inf
1364.12/1364.11 c 1364s| 1630k| 1629k|363903 | 0.2 |1718M| 275 | 0 |1706 |1569 |1706 | 644 | 55k| 37 |3010 | 0.000000e+00 | 3.104200e+04 | Inf
1372.41/1372.42 c 1372s| 1640k| 1639k|365783 | 0.2 |1729M| 275 | 0 |1706 |1569 |1706 | 640 | 56k| 37 |3059 | 0.000000e+00 | 3.104200e+04 | Inf
1380.81/1380.82 c 1381s| 1650k| 1649k|367836 | 0.2 |1739M| 299 | 0 |1706 |1569 |1706 | 636 | 56k| 37 |3066 | 0.000000e+00 | 3.104200e+04 | Inf
1389.01/1389.09 c 1389s| 1660k| 1659k|369743 | 0.2 |1750M| 299 | 0 |1706 |1569 |1706 | 643 | 56k| 37 |3067 | 0.000000e+00 | 3.104200e+04 | Inf
1397.21/1397.29 c 1397s| 1670k| 1669k|371678 | 0.2 |1760M| 299 | 0 |1706 |1569 |1706 | 639 | 57k| 37 |3078 | 0.000000e+00 | 3.104200e+04 | Inf
1405.51/1405.59 c 1406s| 1680k| 1679k|373327 | 0.2 |1771M| 299 | 0 |1706 |1569 |1706 | 643 | 57k| 37 |3078 | 0.000000e+00 | 3.104200e+04 | Inf
1413.81/1413.84 c 1414s| 1690k| 1689k|374884 | 0.2 |1781M| 299 | 1 |1706 |1569 |1706 | 646 | 57k| 37 |3078 | 0.000000e+00 | 3.104200e+04 | Inf
1422.02/1422.00 c 1422s| 1700k| 1699k|376438 | 0.2 |1792M| 299 | 0 |1706 |1569 |1706 | 643 | 57k| 37 |3078 | 0.000000e+00 | 3.104200e+04 | Inf
1430.12/1430.17 c 1430s| 1710k| 1709k|378068 | 0.2 |1802M| 299 | 0 |1706 |1569 |1706 | 646 | 57k| 37 |3078 | 0.000000e+00 | 3.104200e+04 | Inf
1438.41/1438.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1438.41/1438.44 c 1438s| 1720k| 1719k|379582 | 0.2 |1813M| 299 | 0 |1706 |1569 |1706 | 642 | 58k| 37 |3086 | 0.000000e+00 | 3.104200e+04 | Inf
1446.62/1446.68 c 1447s| 1730k| 1729k|381249 | 0.2 |1823M| 299 | 0 |1706 |1569 |1706 | 640 | 58k| 37 |3099 | 0.000000e+00 | 3.104200e+04 | Inf
1455.01/1455.09 c 1455s| 1740k| 1739k|383189 | 0.2 |1834M| 299 | 0 |1706 |1569 |1706 | 643 | 58k| 37 |3104 | 0.000000e+00 | 3.104200e+04 | Inf
1463.32/1463.30 c 1463s| 1750k| 1749k|385151 | 0.2 |1844M| 301 | 0 |1706 |1569 |1706 | 643 | 59k| 37 |3109 | 0.000000e+00 | 3.104200e+04 | Inf
1471.52/1471.54 c 1472s| 1760k| 1759k|386993 | 0.2 |1855M| 301 | 0 |1706 |1569 |1706 | 639 | 59k| 37 |3109 | 0.000000e+00 | 3.104200e+04 | Inf
1479.82/1479.82 c 1480s| 1770k| 1769k|388770 | 0.2 |1865M| 301 | 1 |1706 |1569 |1706 | 645 | 59k| 37 |3109 | 0.000000e+00 | 3.104200e+04 | Inf
1488.21/1488.20 c 1488s| 1780k| 1779k|391032 | 0.2 |1876M| 301 | 0 |1706 |1569 |1706 | 643 | 60k| 37 |3109 | 0.000000e+00 | 3.104200e+04 | Inf
1496.32/1496.30 c 1496s| 1790k| 1789k|392933 | 0.2 |1886M| 301 | 0 |1706 |1569 |1706 | 643 | 60k| 37 |3123 | 0.000000e+00 | 3.104200e+04 | Inf
1504.52/1504.50 c 1504s| 1800k| 1799k|394819 | 0.2 |1897M| 301 | 0 |1706 |1569 |1706 | 646 | 60k| 37 |3123 | 0.000000e+00 | 3.104200e+04 | Inf
1512.71/1512.76 c 1513s| 1810k| 1809k|396522 | 0.2 |1907M| 301 | 0 |1706 |1569 |1706 | 640 | 60k| 37 |3132 | 0.000000e+00 | 3.104200e+04 | Inf
1521.12/1521.15 c 1521s| 1820k| 1819k|398218 | 0.2 |1918M| 301 | 0 |1706 |1569 |1706 | 648 | 60k| 37 |3132 | 0.000000e+00 | 3.104200e+04 | Inf
1529.32/1529.38 c 1529s| 1830k| 1829k|399923 | 0.2 |1928M| 301 | 0 |1706 |1569 |1706 | 644 | 61k| 37 |3132 | 0.000000e+00 | 3.104200e+04 | Inf
1537.72/1537.75 c 1538s| 1840k| 1839k|401601 | 0.2 |1939M| 301 | 0 |1706 |1569 |1706 | 642 | 61k| 37 |3133 | 0.000000e+00 | 3.104200e+04 | Inf
1545.91/1545.93 c 1546s| 1850k| 1849k|403722 | 0.2 |1949M| 301 | 0 |1706 |1569 |1706 | 644 | 61k| 37 |3142 | 0.000000e+00 | 3.104200e+04 | Inf
1554.12/1554.12 c 1554s| 1860k| 1859k|405759 | 0.2 |1960M| 301 | 0 |1706 |1569 |1706 | 646 | 62k| 37 |3143 | 0.000000e+00 | 3.104200e+04 | Inf
1562.21/1562.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1562.21/1562.26 c 1562s| 1870k| 1869k|407632 | 0.2 |1970M| 301 | 0 |1706 |1569 |1706 | 639 | 62k| 37 |3143 | 0.000000e+00 | 3.104200e+04 | Inf
1570.51/1570.52 c 1571s| 1880k| 1879k|409367 | 0.2 |1981M| 301 | 0 |1706 |1569 |1706 | 643 | 62k| 37 |3143 | 0.000000e+00 | 3.104200e+04 | Inf
1578.72/1578.74 c 1579s| 1890k| 1889k|410953 | 0.2 |1991M| 301 | 0 |1706 |1569 |1706 | 643 | 62k| 37 |3143 | 0.000000e+00 | 3.104200e+04 | Inf
1586.92/1586.99 c 1587s| 1900k| 1899k|412762 | 0.2 |2002M| 301 | 0 |1706 |1569 |1706 | 648 | 62k| 37 |3145 | 0.000000e+00 | 3.104200e+04 | Inf
1595.12/1595.11 c 1595s| 1910k| 1909k|414581 | 0.2 |2012M| 301 | 0 |1706 |1569 |1706 | 643 | 63k| 37 |3152 | 0.000000e+00 | 3.104200e+04 | Inf
1603.31/1603.36 c 1603s| 1920k| 1919k|416359 | 0.2 |2023M| 301 | 0 |1706 |1569 |1706 | 641 | 63k| 37 |3152 | 0.000000e+00 | 3.104200e+04 | Inf
1611.82/1611.84 c 1612s| 1930k| 1929k|418820 | 0.2 |2033M| 301 | 0 |1706 |1569 |1706 | 643 | 63k| 37 |3191 | 0.000000e+00 | 3.104200e+04 | Inf
1620.02/1620.05 c 1620s| 1940k| 1939k|420903 | 0.2 |2044M| 301 | 0 |1706 |1569 |1706 | 643 | 64k| 37 |3199 | 0.000000e+00 | 3.104200e+04 | Inf
1628.32/1628.30 c 1628s| 1950k| 1949k|422933 | 0.2 |2054M| 301 | 0 |1706 |1569 |1706 | 646 | 64k| 37 |3199 | 0.000000e+00 | 3.104200e+04 | Inf
1636.52/1636.56 c 1637s| 1960k| 1959k|424793 | 0.2 |2065M| 301 | 0 |1706 |1569 |1706 | 640 | 64k| 37 |3199 | 0.000000e+00 | 3.104200e+04 | Inf
1644.82/1644.80 c 1645s| 1970k| 1969k|426755 | 0.2 |2075M| 301 | 0 |1706 |1569 |1706 | 643 | 64k| 37 |3199 | 0.000000e+00 | 3.104200e+04 | Inf
1653.02/1653.03 c 1653s| 1980k| 1979k|428608 | 0.2 |2086M| 301 | 0 |1706 |1569 |1706 | 646 | 65k| 37 |3199 | 0.000000e+00 | 3.104200e+04 | Inf
1661.22/1661.26 c 1661s| 1990k| 1989k|430315 | 0.2 |2096M| 301 | 0 |1706 |1569 |1706 | 644 | 65k| 37 |3199 | 0.000000e+00 | 3.104200e+04 | Inf
1669.51/1669.51 c 1669s| 2000k| 1999k|431862 | 0.2 |2107M| 301 | 0 |1706 |1569 |1706 | 639 | 65k| 37 |3199 | 0.000000e+00 | 3.104200e+04 | Inf
1677.82/1677.82 c 1678s| 2010k| 2009k|433421 | 0.2 |2117M| 301 | 0 |1706 |1569 |1706 | 643 | 65k| 37 |3207 | 0.000000e+00 | 3.104200e+04 | Inf
1685.92/1685.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1685.92/1685.94 c 1686s| 2020k| 2019k|434971 | 0.2 |2128M| 301 | 0 |1706 |1569 |1706 | 646 | 65k| 37 |3207 | 0.000000e+00 | 3.104200e+04 | Inf
1694.02/1694.08 c 1694s| 2030k| 2029k|436503 | 0.2 |2138M| 301 | 0 |1706 |1569 |1706 | 654 | 66k| 37 |3207 | 0.000000e+00 | 3.104200e+04 | Inf
1702.42/1702.43 c 1702s| 2040k| 2039k|438081 | 0.2 |2149M| 301 | 0 |1706 |1569 |1706 | 638 | 66k| 37 |3233 | 0.000000e+00 | 3.104200e+04 | Inf
1710.72/1710.70 c 1711s| 2050k| 2049k|439897 | 0.2 |2159M| 301 | 0 |1706 |1569 |1706 | 641 | 66k| 37 |3233 | 0.000000e+00 | 3.104200e+04 | Inf
1718.72/1718.74 c 1719s| 2060k| 2059k|441809 | 0.2 |2170M| 301 | 0 |1706 |1569 |1706 | 643 | 66k| 37 |3233 | 0.000000e+00 | 3.104200e+04 | Inf
1726.92/1726.95 c 1727s| 2070k| 2069k|443794 | 0.2 |2180M| 301 | 0 |1706 |1569 |1706 | 641 | 67k| 37 |3233 | 0.000000e+00 | 3.104200e+04 | Inf
1735.22/1735.26 c 1735s| 2080k| 2079k|445686 | 0.2 |2191M| 301 | 0 |1706 |1569 |1706 | 641 | 67k| 37 |3233 | 0.000000e+00 | 3.104200e+04 | Inf
1743.52/1743.56 c 1744s| 2090k| 2089k|447661 | 0.2 |2201M| 301 | 0 |1706 |1569 |1706 | 641 | 67k| 37 |3243 | 0.000000e+00 | 3.104200e+04 | Inf
1751.72/1751.73 c 1752s| 2100k| 2099k|449689 | 0.2 |2212M| 301 | 0 |1706 |1569 |1706 | 641 | 67k| 37 |3243 | 0.000000e+00 | 3.104200e+04 | Inf
1759.92/1759.96 c 1760s| 2110k| 2109k|451389 | 0.2 |2222M| 301 | 0 |1706 |1569 |1706 | 643 | 67k| 37 |3243 | 0.000000e+00 | 3.104200e+04 | Inf
1768.22/1768.20 c 1768s| 2120k| 2119k|452987 | 0.2 |2233M| 301 | 0 |1706 |1569 |1706 | 642 | 68k| 37 |3255 | 0.000000e+00 | 3.104200e+04 | Inf
1776.53/1776.53 c 1777s| 2130k| 2129k|454639 | 0.2 |2243M| 301 | 0 |1706 |1571 |1706 | 642 | 68k| 39 |3266 | 0.000000e+00 | 3.104200e+04 | Inf
1784.73/1784.71 c 1785s| 2140k| 2139k|456264 | 0.2 |2253M| 301 | 0 |1706 |1572 |1706 | 646 | 68k| 40 |3266 | 0.000000e+00 | 3.104200e+04 | Inf
1790.02/1790.00 c
1790.02/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1790.02/1790.00 c Solving Time (sec) : 1789.99
1790.02/1790.00 c Solving Nodes : 2146284
1790.02/1790.00 c Primal Bound : +3.10420000000000e+04 (100 solutions)
1790.02/1790.00 c Dual Bound : +0.00000000000000e+00
1790.02/1790.00 c Gap : infinite
1790.02/1790.01 s SATISFIABLE
1790.02/1790.01 v x495 -x494 -x493 x492 x491 -x490 x489 x488 x487 -x486 x485 -x484 -x483 -x482 -x481 -x480 -x479 x478 -x477 -x476 -x475 -x474 -x473
1790.02/1790.01 v x472 x471 -x470 x469 x468 x467 -x466 -x465 -x464 x463 x462 x461 -x460 x459 x458 -x457 x456 x455 -x454 x453 x452 -x451 x450
1790.02/1790.01 v x449 -x448 x447 -x446 x445 -x444 -x443 x442 x441 x440 x439 x438 x437 -x436 -x435 x434 -x433 x432 x431 -x430 -x429 x428 -x427
1790.02/1790.01 v x426 x425 -x424 x423 x422 x421 x420 x419 -x418 -x417 x416 x415 -x414 x413 -x412 -x411 -x410 -x409 -x408 -x407 x406 -x405 -x404
1790.02/1790.01 v x403 x402 -x401 x400 -x399 -x398 -x397 -x396 x395 x394 -x393 x392 -x391 x390 -x389 x388 x387 -x386 x385 x384 x383 -x382 -x381
1790.02/1790.01 v x380 -x379 x378 x377 -x376 -x375 -x374 x373 x372 x371 -x370 x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 x359
1790.02/1790.01 v -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338
1790.02/1790.01 v -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 x323 x322 -x321 -x320 -x319 -x318 -x317
1790.02/1790.01 v -x316 -x315 x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 x306 x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296
1790.02/1790.01 v -x295 -x294 x293 -x292 -x291 -x290 x289 -x288 x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 x276 x275 -x274
1790.02/1790.01 v -x273 x272 x271 x270 -x269 x268 -x267 x266 -x265 -x264 -x263 x262 -x261 -x260 -x259 -x258 x257 -x256 -x255 -x254 -x253 -x252
1790.02/1790.01 v x251 -x250 x249 -x248 x247 -x246 -x245 -x244 -x243 -x242 x241 -x240 -x239 x238 -x237 x236 -x235 -x234 -x233 -x232 -x231 -x230
1790.02/1790.01 v x229 -x228 -x227 -x226 -x225 -x224 x223 x222 x221 x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210 -x209 -x208
1790.02/1790.01 v -x207 -x206 x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 x197 x196 x195 -x194 -x193 x192 x191 x190 x189 x188 -x187 x186
1790.02/1790.01 v x185 -x184 x183 -x182 -x181 x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 x165 -x164
1790.02/1790.01 v -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147 x146 x145 x144 -x143 x142
1790.02/1790.01 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.02/1790.01 v -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 x109 x108 -x107 -x106 x105 x104 -x103 -x102 -x101 -x100 -x99 -x98 x97 -x96
1790.02/1790.01 v -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 -x70
1790.02/1790.01 v -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 -x44
1790.02/1790.01 v -x43 -x42 -x41 -x40 x39 x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 x29 -x28 x27 x26 x25 -x24 -x23 -x22 -x21 -x20 x19 -x18 -x17
1790.02/1790.01 v x16 -x15 x14 x13 -x12 x11 -x10 x9 x8 -x7 -x6 -x5 x4 -x3 x2 -x1
1790.02/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.02/1790.01 c Solving Time : 1789.99
1790.02/1790.01 c Original Problem :
1790.02/1790.01 c Problem name : HOME/instance-2705082-1278574757.wbo
1790.02/1790.01 c Variables : 1719 (1107 binary, 0 integer, 612 implicit integer, 0 continuous)
1790.02/1790.01 c Constraints : 1553 initial, 1553 maximal
1790.02/1790.01 c Presolved Problem :
1790.02/1790.01 c Problem name : t_HOME/instance-2705082-1278574757.wbo
1790.02/1790.01 c Variables : 1706 (1096 binary, 0 integer, 610 implicit integer, 0 continuous)
1790.02/1790.01 c Constraints : 1532 initial, 1572 maximal
1790.02/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.02/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.01 c dualfix : 0.00 4 0 0 0 0 0 0 0
1790.02/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.01 c implics : 0.00 0 7 0 0 0 0 0 0
1790.02/1790.01 c probing : 0.01 0 0 0 0 0 0 0 0
1790.02/1790.01 c varbound : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.01 c linear : 0.02 0 2 0 610 0 19 70 140
1790.02/1790.01 c indicator : 0.00 0 0 0 0 0 2 0 0
1790.02/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.01 c root node : - 0 - - 0 - - - -
1790.02/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.02/1790.01 c integral : 0 0 0 2187218 0 0 4 0 0 156310
1790.02/1790.01 c varbound : 1 6 464928 211478 0 0 13645 3 0 0
1790.02/1790.01 c knapsack : 51 6 3861480 2109057 0 18 30381 196 0 0
1790.02/1790.01 c setppc : 189 6 3861462 2109057 0 1 488454 0 0 0
1790.02/1790.01 c linear : 609 6 3861461 2109057 0 3 528598 68516 0 0
1790.02/1790.01 c indicator : 610 0 3861458 2109059 0 0 1342137 0 0 0
1790.02/1790.01 c logicor : 72+ 6 232935 2068106 0 1 85444 0 0 0
1790.02/1790.01 c bounddisjunction : 0+ 0 9 0 0 0 2 0 0 0
1790.02/1790.01 c countsols : 0 0 0 2068106 0 0 0 0 0 0
1790.02/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.02/1790.01 c integral : 8.20 0.00 0.00 8.20 0.00
1790.02/1790.01 c varbound : 0.21 0.00 0.15 0.06 0.00
1790.02/1790.01 c knapsack : 5.21 0.00 3.34 1.86 0.00
1790.02/1790.01 c setppc : 8.61 0.00 5.64 2.97 0.00
1790.02/1790.01 c linear : 99.61 0.00 14.77 84.84 0.00
1790.02/1790.01 c indicator : 147.01 0.04 60.10 86.87 0.00
1790.02/1790.01 c logicor : 3.04 0.00 0.31 2.73 0.00
1790.02/1790.01 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00
1790.02/1790.01 c countsols : 0.30 0.00 0.00 0.30 0.00
1790.02/1790.01 c Propagators : Time Calls Cutoffs DomReds
1790.02/1790.01 c vbounds : 5.76 450260 0 406574
1790.02/1790.01 c rootredcost : 0.73 1 0 0
1790.02/1790.01 c pseudoobj : 49.49 3861280 0 0
1790.02/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.02/1790.01 c propagation : 0.00 23 23 45 8.7 0 0.0 -
1790.02/1790.01 c infeasible LP : 0.00 9 9 9 2.8 0 0.0 0
1790.02/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.02/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.02/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.02/1790.01 c applied globally : - - - 40 7.0 - - -
1790.02/1790.01 c applied locally : - - - 0 0.0 - - -
1790.02/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.02/1790.01 c cut pool : 0.00 5 - - 178 - (maximal pool size: 724)
1790.02/1790.01 c redcost : 92.40 2186974 0 0 0 0
1790.02/1790.01 c impliedbounds : 0.00 6 0 0 2 0
1790.02/1790.01 c intobj : 0.00 0 0 0 0 0
1790.02/1790.01 c cgmip : 0.00 0 0 0 0 0
1790.02/1790.01 c gomory : 0.03 6 0 0 86 0
1790.02/1790.01 c strongcg : 0.02 6 0 0 105 0
1790.02/1790.01 c cmir : 0.07 6 0 0 356 0
1790.02/1790.01 c flowcover : 0.12 6 0 0 655 0
1790.02/1790.01 c clique : 0.00 1 0 0 0 0
1790.02/1790.01 c zerohalf : 0.00 0 0 0 0 0
1790.02/1790.01 c mcf : 0.00 1 0 0 0 0
1790.02/1790.01 c rapidlearning : 0.03 1 0 0 0 0
1790.02/1790.01 c Pricers : Time Calls Vars
1790.02/1790.01 c problem variables: 0.00 0 0
1790.02/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.02/1790.01 c relpscost : 7.54 78159 0 4 0 0 156310
1790.02/1790.01 c pscost : 0.00 0 0 0 0 0 0
1790.02/1790.01 c inference : 216.39 2068106 0 0 0 0 4136212
1790.02/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1790.02/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1790.02/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1790.02/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1790.02/1790.01 c random : 0.00 0 0 0 0 0 0
1790.02/1790.01 c Primal Heuristics : Time Calls Found
1790.02/1790.01 c LP solutions : 0.00 - 0
1790.02/1790.01 c pseudo solutions : 0.00 - 0
1790.02/1790.01 c intshifting : 0.00 0 0
1790.02/1790.01 c oneopt : 0.50 1 0
1790.02/1790.01 c feaspump : 0.02 2 0
1790.02/1790.01 c crossover : 0.69 13 0
1790.02/1790.01 c linesearchdiving : 8.14 14258 0
1790.02/1790.01 c guideddiving : 8.12 14258 0
1790.02/1790.01 c fracdiving : 8.11 14258 0
1790.02/1790.01 c veclendiving : 8.13 14258 0
1790.02/1790.01 c coefdiving : 8.20 14259 0
1790.02/1790.01 c pscostdiving : 8.17 14259 0
1790.02/1790.01 c rootsoldiving : 8.57 14244 0
1790.02/1790.01 c objpscostdiving : 8.44 14245 0
1790.02/1790.01 c trivial : 0.00 2 0
1790.02/1790.01 c simplerounding : 0.75 77117 0
1790.02/1790.01 c zirounding : 0.47 1000 0
1790.02/1790.01 c rounding : 0.76 3858 0
1790.02/1790.01 c shifting : 0.53 1128 0
1790.02/1790.01 c twoopt : 0.00 0 0
1790.02/1790.01 c fixandinfer : 0.00 0 0
1790.02/1790.01 c intdiving : 0.00 0 0
1790.02/1790.01 c actconsdiving : 0.00 0 0
1790.02/1790.01 c octane : 0.00 0 0
1790.02/1790.01 c rens : 0.02 1 0
1790.02/1790.01 c rins : 0.00 0 0
1790.02/1790.01 c localbranching : 0.00 0 0
1790.02/1790.01 c mutation : 0.00 0 0
1790.02/1790.01 c dins : 0.00 0 0
1790.02/1790.01 c undercover : 0.00 0 0
1790.02/1790.01 c nlp : 0.32 0 0
1790.02/1790.01 c trysol : 0.61 15407 100
1790.02/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1790.02/1790.01 c primal LP : 0.00 0 0 0.00 -
1790.02/1790.01 c dual LP : 713.76 219712 455019 2.07 637.49
1790.02/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1790.02/1790.01 c barrier LP : 0.00 0 0 0.00 -
1790.02/1790.01 c diving/probing LP: 0.44 564 2215 3.93 5039.14
1790.02/1790.01 c strong branching : 7.13 3266 68686 21.03 9632.70
1790.02/1790.01 c (at root node) : - 17 1043 61.35 -
1790.02/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1790.02/1790.01 c B&B Tree :
1790.02/1790.01 c number of runs : 1
1790.02/1790.01 c nodes : 2146284
1790.02/1790.01 c nodes (total) : 2146284
1790.02/1790.01 c nodes left : 2146239
1790.02/1790.01 c max depth : 301
1790.02/1790.01 c max depth (total): 301
1790.02/1790.01 c backtracks : 14316 (0.7%)
1790.02/1790.01 c delayed cutoffs : 0
1790.02/1790.01 c repropagations : 204 (80 domain reductions, 0 cutoffs)
1790.02/1790.01 c avg switch length: 2.09
1790.02/1790.01 c switching time : 58.47
1790.02/1790.01 c Solution :
1790.02/1790.01 c Solutions found : 100 (1 improvements)
1790.02/1790.01 c First Solution : +3.10420000000000e+04 (in run 1, after 489 nodes, 6.91 seconds, depth 89, found by <trysol>)
1790.02/1790.01 c Primal Bound : +3.10420000000000e+04 (in run 1, after 489 nodes, 6.91 seconds, depth 89, found by <trysol>)
1790.02/1790.01 c Dual Bound : +0.00000000000000e+00
1790.02/1790.01 c Gap : infinite
1790.02/1790.01 c Root Dual Bound : +0.00000000000000e+00
1790.02/1790.01 c Root Iterations : 785
1793.72/1793.78 c Time complete: 1793.8.