0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2692455-1277915509.wbo>
0.00/0.01 c original problem has 1505 variables (1112 bin, 0 int, 0 impl, 393 cont) and 987 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) 1 del vars, 1 del conss, 0 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 629 impls, 0 clqs
0.00/0.02 c (round 2) 1 del vars, 3 del conss, 0 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 629 impls, 0 clqs
0.00/0.03 c (round 3) 1 del vars, 3 del conss, 393 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 629 impls, 0 clqs
0.00/0.03 c (round 4) 1 del vars, 3 del conss, 393 chg bounds, 115 chg sides, 230 chg coeffs, 199 upgd conss, 629 impls, 0 clqs
0.00/0.04 c (0.0s) probing: 101/1111 (9.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (5 rounds):
0.00/0.04 c 1 deleted vars, 3 deleted constraints, 393 tightened bounds, 0 added holes, 115 changed sides, 230 changed coefficients
0.00/0.04 c 634 implications, 0 cliques
0.00/0.04 c presolved problem has 1504 variables (1111 bin, 0 int, 0 impl, 393 cont) and 984 constraints
0.00/0.04 c 393 constraints of type <indicator>
0.00/0.04 c 1 constraints of type <varbound>
0.00/0.04 c 68 constraints of type <knapsack>
0.00/0.04 c 392 constraints of type <linear>
0.00/0.04 c 130 constraints of type <logicor>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.02
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 1.2.1.2
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1800
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 3420
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.05 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.05 c 0.0s| 1 | 0 | 31 | - |5096k| 0 | 26 |1504 | 984 |1504 | 198 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.1s| 1 | 0 | 209 | - |5238k| 0 | 91 |1504 | 984 |1504 | 306 | 108 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.07 o 19359
0.00/0.07 c y 0.1s| 1 | 0 | 209 | - |5282k| 0 | 91 |1504 | 984 |1504 | 306 | 108 | 0 | 0 | 0.000000e+00 | 1.935900e+04 | Inf
0.00/0.09 c 0.1s| 1 | 0 | 335 | - |5426k| 0 | 148 |1504 | 984 |1504 | 412 | 214 | 0 | 0 | 0.000000e+00 | 1.935900e+04 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 621 | - |5634k| 0 | 193 |1504 | 984 |1504 | 493 | 295 | 0 | 0 | 0.000000e+00 | 1.935900e+04 | Inf
0.19/0.23 c 0.2s| 1 | 0 | 904 | - |5866k| 0 | 214 |1504 | 984 |1504 | 583 | 385 | 0 | 0 | 0.000000e+00 | 1.935900e+04 | Inf
0.29/0.33 c 0.3s| 1 | 0 | 1176 | - |6075k| 0 | 236 |1504 | 984 |1504 | 668 | 470 | 0 | 0 | 0.000000e+00 | 1.935900e+04 | Inf
0.39/0.46 c 0.4s| 1 | 0 | 1498 | - |6291k| 0 | 256 |1504 | 984 |1504 | 744 | 546 | 0 | 0 | 0.000000e+00 | 1.935900e+04 | Inf
1.19/1.27 c 1.2s| 1 | 2 | 1498 | - |6326k| 0 | 256 |1504 | 984 |1504 | 744 | 546 | 0 | 29 | 0.000000e+00 | 1.935900e+04 | Inf
21.79/21.87 c 20.5s| 10000 | 9991 | 80575 | 7.9 | 16M| 271 | 14 |1504 |1004 |1504 | 548 | 790 | 20 |2445 | 0.000000e+00 | 1.935900e+04 | Inf
30.10/30.16 c 28.3s| 20000 | 19991 |107286 | 5.3 | 26M| 309 | 25 |1504 |1004 |1504 | 548 |1111 | 20 |2872 | 0.000000e+00 | 1.935900e+04 | Inf
37.20/37.22 c 34.8s| 30000 | 29985 |119948 | 3.9 | 36M| 387 | 0 |1504 |1004 |1504 | 554 |1442 | 23 |2943 | 0.000000e+00 | 1.935900e+04 | Inf
44.09/44.17 c 41.3s| 40000 | 39983 |127977 | 3.2 | 46M| 397 | 0 |1504 |1003 |1504 | 557 |1794 | 24 |3030 | 0.000000e+00 | 1.935900e+04 | Inf
51.29/51.38 c 48.0s| 50000 | 49981 |137350 | 2.7 | 55M| 403 | 11 |1504 |1003 |1504 | 548 |2176 | 25 |3192 | 0.000000e+00 | 1.935900e+04 | Inf
58.30/58.37 c 54.4s| 60000 | 59981 |146131 | 2.4 | 65M| 405 | 20 |1504 |1003 |1504 | 548 |2482 | 25 |3226 | 0.000000e+00 | 1.935900e+04 | Inf
65.19/65.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.19/65.21 c 60.8s| 70000 | 69981 |152939 | 2.2 | 74M| 409 | 0 |1504 |1003 |1504 | 554 |2785 | 25 |3230 | 0.000000e+00 | 1.935900e+04 | Inf
71.99/72.09 c 67.2s| 80000 | 79981 |159648 | 2.0 | 84M| 413 | 0 |1504 |1003 |1504 | 554 |3121 | 25 |3281 | 0.000000e+00 | 1.935900e+04 | Inf
78.89/78.91 c 73.6s| 90000 | 89981 |166088 | 1.8 | 93M| 415 | 0 |1504 |1003 |1504 | 554 |3436 | 25 |3287 | 0.000000e+00 | 1.935900e+04 | Inf
85.70/85.72 c 79.9s|100000 | 99981 |172466 | 1.7 | 103M| 419 | 21 |1504 |1003 |1504 | 548 |3716 | 25 |3289 | 0.000000e+00 | 1.935900e+04 | Inf
92.50/92.55 c 86.3s|110000 |109981 |179314 | 1.6 | 113M| 419 | 0 |1504 |1003 |1504 | 554 |4002 | 25 |3289 | 0.000000e+00 | 1.935900e+04 | Inf
99.29/99.37 c 92.6s|120000 |119981 |186104 | 1.5 | 122M| 419 | 0 |1504 |1003 |1504 | 554 |4289 | 25 |3289 | 0.000000e+00 | 1.935900e+04 | Inf
106.50/106.57 c 99.3s|130000 |129981 |195186 | 1.5 | 132M| 419 | 0 |1504 |1003 |1504 | 554 |4564 | 25 |3501 | 0.000000e+00 | 1.935900e+04 | Inf
113.59/113.65 c 106s|140000 |139979 |205661 | 1.5 | 141M| 419 | 0 |1504 |1004 |1504 | 555 |4844 | 26 |3602 | 0.000000e+00 | 1.935900e+04 | Inf
120.59/120.65 c 112s|150000 |149979 |215873 | 1.4 | 151M| 419 | 13 |1504 |1003 |1504 | 548 |5108 | 26 |3626 | 0.000000e+00 | 1.935900e+04 | Inf
127.60/127.63 c 119s|160000 |159979 |225615 | 1.4 | 161M| 419 | 0 |1504 |1002 |1504 | 554 |5372 | 26 |3669 | 0.000000e+00 | 1.935900e+04 | Inf
134.50/134.54 c 125s|170000 |169977 |234470 | 1.4 | 170M| 419 | 2 |1504 |1003 |1504 | 548 |5642 | 27 |3673 | 0.000000e+00 | 1.935900e+04 | Inf
141.40/141.40 c 132s|180000 |179977 |242356 | 1.3 | 180M| 419 | 0 |1504 |1003 |1504 | 554 |5917 | 27 |3674 | 0.000000e+00 | 1.935900e+04 | Inf
148.20/148.21 c 138s|190000 |189977 |248586 | 1.3 | 189M| 419 | 0 |1504 |1003 |1504 | 554 |6189 | 27 |3674 | 0.000000e+00 | 1.935900e+04 | Inf
155.11/155.13 c 145s|200000 |199977 |257169 | 1.3 | 199M| 419 | 3 |1504 |1003 |1504 | 548 |6471 | 27 |3680 | 0.000000e+00 | 1.935900e+04 | Inf
162.09/162.12 c 151s|210000 |209975 |267865 | 1.3 | 209M| 419 | 0 |1504 |1004 |1504 | 555 |6749 | 28 |3688 | 0.000000e+00 | 1.935900e+04 | Inf
169.00/169.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
169.00/169.01 c 157s|220000 |219975 |277113 | 1.3 | 218M| 419 | 0 |1504 |1003 |1504 | 554 |7022 | 28 |3689 | 0.000000e+00 | 1.935900e+04 | Inf
175.80/175.88 c 164s|230000 |229975 |285700 | 1.2 | 228M| 419 | 2 |1504 |1002 |1504 | 548 |7299 | 28 |3689 | 0.000000e+00 | 1.935900e+04 | Inf
182.61/182.67 c 170s|240000 |239975 |292025 | 1.2 | 237M| 419 | 0 |1504 |1002 |1504 | 554 |7579 | 28 |3689 | 0.000000e+00 | 1.935900e+04 | Inf
189.50/189.54 c 176s|250000 |249975 |300449 | 1.2 | 247M| 419 | 0 |1504 |1002 |1504 | 554 |7851 | 28 |3691 | 0.000000e+00 | 1.935900e+04 | Inf
196.39/196.45 c 183s|260000 |259975 |309643 | 1.2 | 257M| 419 | 14 |1504 |1002 |1504 | 548 |8126 | 28 |3693 | 0.000000e+00 | 1.935900e+04 | Inf
203.30/203.34 c 189s|270000 |269975 |318230 | 1.2 | 266M| 419 | 0 |1504 |1002 |1504 | 555 |8405 | 28 |3693 | 0.000000e+00 | 1.935900e+04 | Inf
210.10/210.16 c 196s|280000 |279975 |325090 | 1.2 | 276M| 419 | 0 |1504 |1002 |1504 | 554 |8686 | 28 |3694 | 0.000000e+00 | 1.935900e+04 | Inf
216.90/216.97 c 202s|290000 |289975 |331374 | 1.1 | 285M| 419 | 0 |1504 |1002 |1504 | 554 |8975 | 28 |3695 | 0.000000e+00 | 1.935900e+04 | Inf
223.70/223.77 c 208s|300000 |299975 |337899 | 1.1 | 295M| 419 | 0 |1504 |1002 |1504 | 554 |9257 | 28 |3695 | 0.000000e+00 | 1.935900e+04 | Inf
230.60/230.64 c 215s|310000 |309975 |346352 | 1.1 | 304M| 419 | 0 |1504 |1002 |1504 | 554 |9525 | 28 |3696 | 0.000000e+00 | 1.935900e+04 | Inf
237.50/237.50 c 221s|320000 |319975 |354806 | 1.1 | 314M| 419 | 0 |1504 |1002 |1504 | 551 |9790 | 28 |3704 | 0.000000e+00 | 1.935900e+04 | Inf
244.30/244.34 c 227s|330000 |329975 |362196 | 1.1 | 324M| 419 | 0 |1504 |1002 |1504 | 555 | 10k| 28 |3704 | 0.000000e+00 | 1.935900e+04 | Inf
251.10/251.14 c 234s|340000 |339975 |368506 | 1.1 | 333M| 419 | 0 |1504 |1002 |1504 | 554 | 10k| 28 |3704 | 0.000000e+00 | 1.935900e+04 | Inf
258.00/258.02 c 240s|350000 |349975 |376961 | 1.1 | 343M| 419 | 0 |1504 |1002 |1504 | 554 | 10k| 28 |3704 | 0.000000e+00 | 1.935900e+04 | Inf
264.90/264.92 c 247s|360000 |359975 |385966 | 1.1 | 352M| 419 | 26 |1504 |1002 |1504 | 548 | 10k| 28 |3718 | 0.000000e+00 | 1.935900e+04 | Inf
271.70/271.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
271.70/271.75 c 253s|370000 |369975 |392736 | 1.1 | 362M| 419 | 0 |1504 |1002 |1504 | 554 | 11k| 28 |3718 | 0.000000e+00 | 1.935900e+04 | Inf
278.60/278.60 c 259s|380000 |379975 |400061 | 1.0 | 372M| 419 | 0 |1504 |1002 |1504 | 554 | 11k| 28 |3718 | 0.000000e+00 | 1.935900e+04 | Inf
285.50/285.58 c 266s|390000 |389975 |409089 | 1.0 | 381M| 419 | 0 |1504 |1002 |1504 | 554 | 11k| 28 |3790 | 0.000000e+00 | 1.935900e+04 | Inf
292.30/292.39 c 272s|400000 |399975 |415361 | 1.0 | 391M| 419 | 0 |1504 |1002 |1504 | 554 | 12k| 28 |3794 | 0.000000e+00 | 1.935900e+04 | Inf
299.40/299.43 c 279s|410000 |409975 |423144 | 1.0 | 400M| 419 | 22 |1504 |1002 |1504 | 548 | 12k| 28 |3922 | 0.000000e+00 | 1.935900e+04 | Inf
306.20/306.26 c 285s|420000 |419975 |430748 | 1.0 | 410M| 419 | 0 |1504 |1002 |1504 | 555 | 12k| 28 |3926 | 0.000000e+00 | 1.935900e+04 | Inf
313.01/313.03 c 291s|430000 |429975 |433813 | 1.0 | 420M| 471 | 0 |1504 |1002 |1504 | 555 | 12k| 28 |3933 | 0.000000e+00 | 1.935900e+04 | Inf
319.70/319.76 c 298s|440000 |439973 |436632 | 1.0 | 429M| 471 | 0 |1504 |1003 |1504 | 555 | 13k| 29 |3935 | 0.000000e+00 | 1.935900e+04 | Inf
326.40/326.50 c 304s|450000 |449973 |438962 | 1.0 | 439M| 477 | 0 |1504 |1003 |1504 | 555 | 13k| 29 |3936 | 0.000000e+00 | 1.935900e+04 | Inf
333.21/333.23 c 310s|460000 |459973 |441328 | 1.0 | 449M| 483 | 0 |1504 |1003 |1504 | 555 | 13k| 29 |3943 | 0.000000e+00 | 1.935900e+04 | Inf
340.20/340.20 c 317s|470000 |469973 |446201 | 0.9 | 458M| 495 | 0 |1504 |1003 |1504 | 556 | 14k| 29 |4106 | 0.000000e+00 | 1.935900e+04 | Inf
346.90/346.97 c 323s|480000 |479973 |449170 | 0.9 | 468M| 495 | 0 |1504 |1003 |1504 | 555 | 14k| 29 |4148 | 0.000000e+00 | 1.935900e+04 | Inf
353.60/353.67 c 329s|490000 |489973 |451577 | 0.9 | 478M| 495 | 0 |1504 |1003 |1504 | 555 | 14k| 29 |4148 | 0.000000e+00 | 1.935900e+04 | Inf
360.31/360.37 c 335s|500000 |499973 |454062 | 0.9 | 488M| 495 | 2 |1504 |1003 |1504 | 554 | 14k| 29 |4148 | 0.000000e+00 | 1.935900e+04 | Inf
367.01/367.07 c 342s|510000 |509973 |456643 | 0.9 | 497M| 495 | 0 |1504 |1003 |1504 | 555 | 15k| 29 |4151 | 0.000000e+00 | 1.935900e+04 | Inf
373.71/373.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
373.71/373.77 c 348s|520000 |519973 |459057 | 0.9 | 507M| 495 | 0 |1504 |1003 |1504 | 555 | 15k| 29 |4151 | 0.000000e+00 | 1.935900e+04 | Inf
380.41/380.46 c 354s|530000 |529973 |461540 | 0.9 | 517M| 495 | 0 |1504 |1003 |1504 | 555 | 15k| 29 |4151 | 0.000000e+00 | 1.935900e+04 | Inf
387.11/387.15 c 360s|540000 |539973 |463860 | 0.9 | 526M| 495 | 0 |1504 |1003 |1504 | 555 | 15k| 29 |4151 | 0.000000e+00 | 1.935900e+04 | Inf
393.81/393.87 c 367s|550000 |549973 |465842 | 0.8 | 536M| 495 | 0 |1504 |1003 |1504 | 555 | 16k| 29 |4151 | 0.000000e+00 | 1.935900e+04 | Inf
400.60/400.60 c 373s|560000 |559973 |467790 | 0.8 | 546M| 495 | 0 |1504 |1003 |1504 | 555 | 16k| 29 |4151 | 0.000000e+00 | 1.935900e+04 | Inf
407.30/407.32 c 379s|570000 |569973 |469831 | 0.8 | 555M| 495 | 0 |1504 |1003 |1504 | 555 | 16k| 29 |4151 | 0.000000e+00 | 1.935900e+04 | Inf
414.01/414.01 c 385s|580000 |579973 |471896 | 0.8 | 565M| 495 | 0 |1504 |1003 |1504 | 555 | 17k| 29 |4151 | 0.000000e+00 | 1.935900e+04 | Inf
420.70/420.70 c 392s|590000 |589973 |473930 | 0.8 | 575M| 495 | 0 |1504 |1003 |1504 | 555 | 17k| 29 |4151 | 0.000000e+00 | 1.935900e+04 | Inf
427.31/427.39 c 398s|600000 |599973 |475961 | 0.8 | 585M| 495 | 0 |1504 |1003 |1504 | 555 | 17k| 29 |4151 | 0.000000e+00 | 1.935900e+04 | Inf
434.01/434.08 c 404s|610000 |609973 |477961 | 0.8 | 594M| 495 | 0 |1504 |1003 |1504 | 555 | 17k| 29 |4156 | 0.000000e+00 | 1.935900e+04 | Inf
440.71/440.76 c 410s|620000 |619973 |479940 | 0.8 | 604M| 495 | 0 |1504 |1003 |1504 | 555 | 18k| 29 |4156 | 0.000000e+00 | 1.935900e+04 | Inf
447.41/447.45 c 417s|630000 |629973 |482135 | 0.8 | 614M| 495 | 0 |1504 |1003 |1504 | 555 | 18k| 29 |4157 | 0.000000e+00 | 1.935900e+04 | Inf
454.11/454.14 c 423s|640000 |639973 |484161 | 0.8 | 623M| 495 | 0 |1504 |1003 |1504 | 555 | 18k| 29 |4157 | 0.000000e+00 | 1.935900e+04 | Inf
460.81/460.83 c 429s|650000 |649973 |486181 | 0.7 | 633M| 495 | 0 |1504 |1003 |1504 | 555 | 19k| 29 |4157 | 0.000000e+00 | 1.935900e+04 | Inf
467.52/467.50 c 435s|660000 |659973 |488274 | 0.7 | 643M| 495 | 0 |1504 |1003 |1504 | 555 | 19k| 29 |4157 | 0.000000e+00 | 1.935900e+04 | Inf
474.11/474.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
474.11/474.18 c 441s|670000 |669973 |490343 | 0.7 | 653M| 495 | 0 |1504 |1003 |1504 | 555 | 19k| 29 |4157 | 0.000000e+00 | 1.935900e+04 | Inf
480.81/480.89 c 448s|680000 |679973 |492371 | 0.7 | 662M| 495 | 0 |1504 |1003 |1504 | 555 | 19k| 29 |4157 | 0.000000e+00 | 1.935900e+04 | Inf
487.51/487.58 c 454s|690000 |689973 |494366 | 0.7 | 672M| 495 | 0 |1504 |1003 |1504 | 555 | 20k| 29 |4157 | 0.000000e+00 | 1.935900e+04 | Inf
494.21/494.27 c 460s|700000 |699973 |496354 | 0.7 | 682M| 495 | 0 |1504 |1003 |1504 | 555 | 20k| 29 |4164 | 0.000000e+00 | 1.935900e+04 | Inf
500.91/500.97 c 466s|710000 |709973 |498346 | 0.7 | 692M| 495 | 0 |1504 |1003 |1504 | 555 | 20k| 29 |4166 | 0.000000e+00 | 1.935900e+04 | Inf
507.61/507.66 c 473s|720000 |719973 |500256 | 0.7 | 701M| 495 | 0 |1504 |1003 |1504 | 555 | 21k| 29 |4167 | 0.000000e+00 | 1.935900e+04 | Inf
514.32/514.36 c 479s|730000 |729973 |502167 | 0.7 | 711M| 495 | 0 |1504 |1003 |1504 | 555 | 21k| 29 |4167 | 0.000000e+00 | 1.935900e+04 | Inf
521.02/521.04 c 485s|740000 |739973 |504104 | 0.7 | 721M| 499 | 0 |1504 |1003 |1504 | 555 | 21k| 29 |4168 | 0.000000e+00 | 1.935900e+04 | Inf
527.72/527.74 c 491s|750000 |749973 |506004 | 0.7 | 730M| 501 | 0 |1504 |1003 |1504 | 555 | 21k| 29 |4174 | 0.000000e+00 | 1.935900e+04 | Inf
534.41/534.43 c 498s|760000 |759973 |507835 | 0.7 | 740M| 501 | 0 |1504 |1003 |1504 | 555 | 22k| 29 |4174 | 0.000000e+00 | 1.935900e+04 | Inf
541.12/541.11 c 504s|770000 |769973 |509730 | 0.7 | 750M| 503 | 0 |1504 |1003 |1504 | 555 | 22k| 29 |4175 | 0.000000e+00 | 1.935900e+04 | Inf
547.72/547.80 c 510s|780000 |779973 |511637 | 0.7 | 760M| 503 | 0 |1504 |1003 |1504 | 555 | 22k| 29 |4176 | 0.000000e+00 | 1.935900e+04 | Inf
554.42/554.48 c 516s|790000 |789973 |513457 | 0.6 | 769M| 503 | 0 |1504 |1003 |1504 | 555 | 22k| 29 |4176 | 0.000000e+00 | 1.935900e+04 | Inf
561.12/561.17 c 522s|800000 |799973 |515286 | 0.6 | 779M| 503 | 0 |1504 |1003 |1504 | 555 | 23k| 29 |4176 | 0.000000e+00 | 1.935900e+04 | Inf
567.91/567.90 c 529s|810000 |809973 |517256 | 0.6 | 789M| 503 | 0 |1504 |1003 |1504 | 555 | 23k| 29 |4221 | 0.000000e+00 | 1.935900e+04 | Inf
574.61/574.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
574.61/574.60 c 535s|820000 |819973 |519303 | 0.6 | 799M| 503 | 0 |1504 |1003 |1504 | 555 | 23k| 29 |4230 | 0.000000e+00 | 1.935900e+04 | Inf
581.21/581.27 c 541s|830000 |829973 |521206 | 0.6 | 808M| 503 | 0 |1504 |1003 |1504 | 555 | 24k| 29 |4231 | 0.000000e+00 | 1.935900e+04 | Inf
587.91/587.97 c 547s|840000 |839973 |523053 | 0.6 | 818M| 503 | 0 |1504 |1003 |1504 | 555 | 24k| 29 |4231 | 0.000000e+00 | 1.935900e+04 | Inf
594.61/594.64 c 554s|850000 |849973 |524978 | 0.6 | 828M| 503 | 0 |1504 |1003 |1504 | 555 | 24k| 29 |4232 | 0.000000e+00 | 1.935900e+04 | Inf
601.32/601.31 c 560s|860000 |859973 |526887 | 0.6 | 837M| 505 | 0 |1504 |1003 |1504 | 555 | 24k| 29 |4232 | 0.000000e+00 | 1.935900e+04 | Inf
607.91/607.99 c 566s|870000 |869973 |528684 | 0.6 | 847M| 505 | 0 |1504 |1003 |1504 | 555 | 25k| 29 |4232 | 0.000000e+00 | 1.935900e+04 | Inf
614.61/614.65 c 572s|880000 |879973 |530602 | 0.6 | 857M| 507 | 0 |1504 |1003 |1504 | 555 | 25k| 29 |4232 | 0.000000e+00 | 1.935900e+04 | Inf
621.32/621.34 c 578s|890000 |889973 |532473 | 0.6 | 867M| 507 | 0 |1504 |1003 |1504 | 555 | 25k| 29 |4232 | 0.000000e+00 | 1.935900e+04 | Inf
629.02/629.04 c 586s|900000 |899973 |542161 | 0.6 | 876M| 507 | 15 |1504 |1003 |1504 | 548 | 25k| 29 |4893 | 0.000000e+00 | 1.935900e+04 | Inf
635.72/635.73 c 592s|910000 |909971 |544923 | 0.6 | 886M| 507 | 0 |1504 |1003 |1504 | 554 | 26k| 30 |4901 | 0.000000e+00 | 1.935900e+04 | Inf
642.32/642.37 c 598s|920000 |919971 |546652 | 0.6 | 896M| 507 | 0 |1504 |1003 |1504 | 554 | 26k| 30 |4901 | 0.000000e+00 | 1.935900e+04 | Inf
649.02/649.02 c 604s|930000 |929971 |548559 | 0.6 | 905M| 507 | 0 |1504 |1003 |1504 | 554 | 26k| 30 |4906 | 0.000000e+00 | 1.935900e+04 | Inf
655.63/655.66 c 611s|940000 |939971 |551084 | 0.6 | 915M| 507 | 0 |1504 |1003 |1504 | 554 | 26k| 30 |4907 | 0.000000e+00 | 1.935900e+04 | Inf
662.32/662.31 c 617s|950000 |949971 |553532 | 0.6 | 925M| 507 | 1 |1504 |1003 |1504 | 554 | 27k| 30 |4908 | 0.000000e+00 | 1.935900e+04 | Inf
668.91/668.95 c 623s|960000 |959971 |555889 | 0.6 | 934M| 507 | 0 |1504 |1003 |1504 | 554 | 27k| 30 |4908 | 0.000000e+00 | 1.935900e+04 | Inf
675.51/675.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
675.51/675.58 c 629s|970000 |969971 |558322 | 0.6 | 944M| 507 | 0 |1504 |1003 |1504 | 554 | 27k| 30 |4909 | 0.000000e+00 | 1.935900e+04 | Inf
682.22/682.24 c 636s|980000 |979971 |560694 | 0.6 | 954M| 507 | 0 |1504 |1003 |1504 | 554 | 27k| 30 |4915 | 0.000000e+00 | 1.935900e+04 | Inf
689.02/689.05 c 642s|990000 |989971 |564218 | 0.6 | 963M| 507 | 30 |1504 |1003 |1504 | 548 | 28k| 30 |5039 | 0.000000e+00 | 1.935900e+04 | Inf
695.72/695.71 c 648s| 1000k|999969 |566801 | 0.6 | 973M| 507 | 0 |1504 |1004 |1504 | 554 | 28k| 31 |5039 | 0.000000e+00 | 1.935900e+04 | Inf
702.32/702.35 c 655s| 1010k| 1009k|569210 | 0.6 | 983M| 507 | 0 |1504 |1004 |1504 | 554 | 28k| 31 |5040 | 0.000000e+00 | 1.935900e+04 | Inf
709.02/709.00 c 661s| 1020k| 1019k|571587 | 0.6 | 993M| 507 | 0 |1504 |1004 |1504 | 554 | 28k| 31 |5040 | 0.000000e+00 | 1.935900e+04 | Inf
715.62/715.65 c 667s| 1030k| 1029k|573982 | 0.6 |1002M| 507 | 0 |1504 |1004 |1504 | 554 | 28k| 31 |5045 | 0.000000e+00 | 1.935900e+04 | Inf
722.22/722.29 c 674s| 1040k| 1039k|575833 | 0.6 |1012M| 507 | 0 |1504 |1004 |1504 | 554 | 29k| 31 |5045 | 0.000000e+00 | 1.935900e+04 | Inf
728.92/728.93 c 680s| 1050k| 1049k|577648 | 0.5 |1022M| 507 | 0 |1504 |1004 |1504 | 554 | 29k| 31 |5046 | 0.000000e+00 | 1.935900e+04 | Inf
735.52/735.58 c 686s| 1060k| 1059k|579383 | 0.5 |1031M| 507 | 0 |1504 |1004 |1504 | 554 | 29k| 31 |5046 | 0.000000e+00 | 1.935900e+04 | Inf
742.21/742.22 c 692s| 1070k| 1069k|581157 | 0.5 |1041M| 507 | 0 |1504 |1004 |1504 | 554 | 29k| 31 |5047 | 0.000000e+00 | 1.935900e+04 | Inf
748.82/748.87 c 699s| 1080k| 1079k|582871 | 0.5 |1051M| 507 | 0 |1504 |1004 |1504 | 554 | 30k| 31 |5047 | 0.000000e+00 | 1.935900e+04 | Inf
755.42/755.49 c 705s| 1090k| 1089k|584607 | 0.5 |1061M| 507 | 0 |1504 |1004 |1504 | 554 | 30k| 31 |5047 | 0.000000e+00 | 1.935900e+04 | Inf
762.22/762.29 c 711s| 1100k| 1099k|587685 | 0.5 |1070M| 507 | 0 |1504 |1004 |1504 | 554 | 30k| 31 |5156 | 0.000000e+00 | 1.935900e+04 | Inf
768.93/768.93 c 717s| 1110k| 1109k|589425 | 0.5 |1080M| 507 | 0 |1504 |1004 |1504 | 554 | 30k| 31 |5156 | 0.000000e+00 | 1.935900e+04 | Inf
775.53/775.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
775.53/775.56 c 724s| 1120k| 1119k|591129 | 0.5 |1090M| 507 | 2 |1504 |1004 |1504 | 554 | 31k| 31 |5156 | 0.000000e+00 | 1.935900e+04 | Inf
782.22/782.20 c 730s| 1130k| 1129k|592826 | 0.5 |1100M| 507 | 0 |1504 |1004 |1504 | 554 | 31k| 31 |5156 | 0.000000e+00 | 1.935900e+04 | Inf
788.82/788.85 c 736s| 1140k| 1139k|594628 | 0.5 |1109M| 507 | 0 |1504 |1004 |1504 | 554 | 31k| 31 |5156 | 0.000000e+00 | 1.935900e+04 | Inf
795.42/795.48 c 743s| 1150k| 1149k|596329 | 0.5 |1119M| 507 | 0 |1504 |1004 |1504 | 554 | 31k| 31 |5156 | 0.000000e+00 | 1.935900e+04 | Inf
802.12/802.11 c 749s| 1160k| 1159k|598104 | 0.5 |1129M| 507 | 0 |1504 |1004 |1504 | 554 | 32k| 31 |5156 | 0.000000e+00 | 1.935900e+04 | Inf
808.72/808.75 c 755s| 1170k| 1169k|599804 | 0.5 |1138M| 509 | 2 |1504 |1004 |1504 | 548 | 32k| 31 |5162 | 0.000000e+00 | 1.935900e+04 | Inf
815.32/815.38 c 761s| 1180k| 1179k|601475 | 0.5 |1148M| 511 | 0 |1504 |1004 |1504 | 554 | 32k| 31 |5168 | 0.000000e+00 | 1.935900e+04 | Inf
822.02/822.00 c 768s| 1190k| 1189k|603197 | 0.5 |1158M| 511 | 0 |1504 |1004 |1504 | 554 | 32k| 31 |5168 | 0.000000e+00 | 1.935900e+04 | Inf
828.63/828.62 c 774s| 1200k| 1199k|604916 | 0.5 |1168M| 511 | 0 |1504 |1004 |1504 | 554 | 32k| 31 |5169 | 0.000000e+00 | 1.935900e+04 | Inf
835.22/835.26 c 780s| 1210k| 1209k|606587 | 0.5 |1177M| 511 | 0 |1504 |1004 |1504 | 554 | 33k| 31 |5169 | 0.000000e+00 | 1.935900e+04 | Inf
841.82/841.88 c 786s| 1220k| 1219k|608341 | 0.5 |1187M| 511 | 0 |1504 |1004 |1504 | 554 | 33k| 31 |5170 | 0.000000e+00 | 1.935900e+04 | Inf
848.52/848.52 c 793s| 1230k| 1229k|610106 | 0.5 |1197M| 511 | 0 |1504 |1004 |1504 | 554 | 33k| 31 |5170 | 0.000000e+00 | 1.935900e+04 | Inf
855.12/855.17 c 799s| 1240k| 1239k|611928 | 0.5 |1207M| 511 | 0 |1504 |1004 |1504 | 554 | 33k| 31 |5171 | 0.000000e+00 | 1.935900e+04 | Inf
861.82/861.80 c 805s| 1250k| 1249k|613671 | 0.5 |1216M| 511 | 0 |1504 |1004 |1504 | 554 | 34k| 31 |5171 | 0.000000e+00 | 1.935900e+04 | Inf
868.42/868.42 c 811s| 1260k| 1259k|615399 | 0.5 |1226M| 511 | 0 |1504 |1004 |1504 | 554 | 34k| 31 |5171 | 0.000000e+00 | 1.935900e+04 | Inf
875.03/875.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
875.03/875.04 c 818s| 1270k| 1269k|617279 | 0.5 |1236M| 511 | 0 |1504 |1004 |1504 | 554 | 34k| 31 |5171 | 0.000000e+00 | 1.935900e+04 | Inf
881.63/881.67 c 824s| 1280k| 1279k|619102 | 0.5 |1246M| 511 | 0 |1504 |1004 |1504 | 554 | 34k| 31 |5171 | 0.000000e+00 | 1.935900e+04 | Inf
888.33/888.30 c 830s| 1290k| 1289k|620935 | 0.5 |1255M| 511 | 0 |1504 |1004 |1504 | 554 | 35k| 31 |5171 | 0.000000e+00 | 1.935900e+04 | Inf
894.93/894.93 c 837s| 1300k| 1299k|622691 | 0.5 |1265M| 511 | 0 |1504 |1004 |1504 | 554 | 35k| 31 |5171 | 0.000000e+00 | 1.935900e+04 | Inf
901.53/901.54 c 843s| 1310k| 1309k|624380 | 0.5 |1275M| 511 | 0 |1504 |1004 |1504 | 554 | 35k| 31 |5171 | 0.000000e+00 | 1.935900e+04 | Inf
908.13/908.19 c 849s| 1320k| 1319k|626226 | 0.5 |1284M| 511 | 0 |1504 |1004 |1504 | 554 | 35k| 31 |5171 | 0.000000e+00 | 1.935900e+04 | Inf
914.82/914.81 c 855s| 1330k| 1329k|627935 | 0.5 |1294M| 511 | 0 |1504 |1004 |1504 | 554 | 35k| 31 |5171 | 0.000000e+00 | 1.935900e+04 | Inf
921.43/921.43 c 862s| 1340k| 1339k|629616 | 0.5 |1304M| 515 | 0 |1504 |1004 |1504 | 554 | 36k| 31 |5171 | 0.000000e+00 | 1.935900e+04 | Inf
928.03/928.06 c 868s| 1350k| 1349k|631748 | 0.5 |1314M| 515 | 0 |1504 |1004 |1504 | 554 | 36k| 31 |5178 | 0.000000e+00 | 1.935900e+04 | Inf
934.63/934.69 c 874s| 1360k| 1359k|634142 | 0.5 |1323M| 515 | 0 |1504 |1004 |1504 | 554 | 36k| 31 |5178 | 0.000000e+00 | 1.935900e+04 | Inf
941.33/941.32 c 880s| 1370k| 1369k|636511 | 0.5 |1333M| 515 | 0 |1504 |1004 |1504 | 554 | 36k| 31 |5179 | 0.000000e+00 | 1.935900e+04 | Inf
947.93/947.94 c 887s| 1380k| 1379k|638744 | 0.5 |1343M| 515 | 0 |1504 |1004 |1504 | 554 | 37k| 31 |5179 | 0.000000e+00 | 1.935900e+04 | Inf
954.53/954.57 c 893s| 1390k| 1389k|641084 | 0.5 |1352M| 515 | 0 |1504 |1004 |1504 | 554 | 37k| 31 |5180 | 0.000000e+00 | 1.935900e+04 | Inf
961.22/961.20 c 899s| 1400k| 1399k|643334 | 0.5 |1362M| 515 | 0 |1504 |1004 |1504 | 554 | 37k| 31 |5180 | 0.000000e+00 | 1.935900e+04 | Inf
967.83/967.81 c 905s| 1410k| 1409k|645590 | 0.5 |1372M| 515 | 0 |1504 |1004 |1504 | 554 | 37k| 31 |5180 | 0.000000e+00 | 1.935900e+04 | Inf
974.43/974.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
974.43/974.44 c 912s| 1420k| 1419k|647987 | 0.5 |1381M| 515 | 0 |1504 |1004 |1504 | 554 | 38k| 31 |5180 | 0.000000e+00 | 1.935900e+04 | Inf
981.03/981.07 c 918s| 1430k| 1429k|650334 | 0.5 |1391M| 515 | 0 |1504 |1004 |1504 | 554 | 38k| 31 |5180 | 0.000000e+00 | 1.935900e+04 | Inf
987.63/987.70 c 924s| 1440k| 1439k|652642 | 0.5 |1401M| 515 | 0 |1504 |1004 |1504 | 554 | 38k| 31 |5180 | 0.000000e+00 | 1.935900e+04 | Inf
994.33/994.32 c 930s| 1450k| 1449k|654942 | 0.5 |1411M| 515 | 0 |1504 |1004 |1504 | 554 | 38k| 31 |5180 | 0.000000e+00 | 1.935900e+04 | Inf
1000.94/1000.94 c 937s| 1460k| 1459k|657206 | 0.4 |1420M| 515 | 0 |1504 |1004 |1504 | 554 | 39k| 31 |5180 | 0.000000e+00 | 1.935900e+04 | Inf
1007.54/1007.56 c 943s| 1470k| 1469k|659400 | 0.4 |1430M| 515 | 0 |1504 |1004 |1504 | 554 | 39k| 31 |5180 | 0.000000e+00 | 1.935900e+04 | Inf
1014.13/1014.16 c 949s| 1480k| 1479k|661469 | 0.4 |1440M| 515 | 0 |1504 |1004 |1504 | 554 | 39k| 31 |5180 | 0.000000e+00 | 1.935900e+04 | Inf
1020.74/1020.79 c 956s| 1490k| 1489k|663387 | 0.4 |1449M| 515 | 0 |1504 |1004 |1504 | 554 | 39k| 31 |5183 | 0.000000e+00 | 1.935900e+04 | Inf
1027.44/1027.41 c 962s| 1500k| 1499k|665045 | 0.4 |1459M| 517 | 0 |1504 |1004 |1504 | 554 | 39k| 31 |5183 | 0.000000e+00 | 1.935900e+04 | Inf
1034.03/1034.05 c 968s| 1510k| 1509k|667151 | 0.4 |1469M| 517 | 0 |1504 |1004 |1504 | 554 | 40k| 31 |5183 | 0.000000e+00 | 1.935900e+04 | Inf
1040.63/1040.67 c 974s| 1520k| 1519k|669415 | 0.4 |1478M| 517 | 0 |1504 |1004 |1504 | 554 | 40k| 31 |5183 | 0.000000e+00 | 1.935900e+04 | Inf
1047.33/1047.30 c 980s| 1530k| 1529k|671264 | 0.4 |1488M| 517 | 0 |1504 |1004 |1504 | 554 | 40k| 31 |5183 | 0.000000e+00 | 1.935900e+04 | Inf
1053.93/1053.92 c 987s| 1540k| 1539k|672937 | 0.4 |1498M| 517 | 0 |1504 |1004 |1504 | 554 | 40k| 31 |5183 | 0.000000e+00 | 1.935900e+04 | Inf
1060.53/1060.56 c 993s| 1550k| 1549k|675224 | 0.4 |1508M| 517 | 0 |1504 |1004 |1504 | 554 | 41k| 31 |5183 | 0.000000e+00 | 1.935900e+04 | Inf
1067.13/1067.19 c 999s| 1560k| 1559k|677590 | 0.4 |1517M| 517 | 0 |1504 |1004 |1504 | 554 | 41k| 31 |5183 | 0.000000e+00 | 1.935900e+04 | Inf
1073.83/1073.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1073.83/1073.83 c 1006s| 1570k| 1569k|679933 | 0.4 |1527M| 517 | 0 |1504 |1004 |1504 | 554 | 41k| 31 |5183 | 0.000000e+00 | 1.935900e+04 | Inf
1080.44/1080.46 c 1012s| 1580k| 1579k|681800 | 0.4 |1537M| 517 | 0 |1504 |1004 |1504 | 554 | 41k| 31 |5183 | 0.000000e+00 | 1.935900e+04 | Inf
1087.13/1087.10 c 1018s| 1590k| 1589k|683320 | 0.4 |1546M| 517 | 0 |1504 |1004 |1504 | 554 | 41k| 31 |5183 | 0.000000e+00 | 1.935900e+04 | Inf
1094.54/1094.58 c 1025s| 1600k| 1599k|688496 | 0.4 |1556M| 517 | 0 |1504 |1004 |1504 | 551 | 42k| 31 |5827 | 0.000000e+00 | 1.935900e+04 | Inf
1101.33/1101.31 c 1031s| 1610k| 1609k|691824 | 0.4 |1566M| 517 | 0 |1504 |1003 |1504 | 554 | 42k| 31 |5874 | 0.000000e+00 | 1.935900e+04 | Inf
1107.93/1107.94 c 1038s| 1620k| 1619k|694024 | 0.4 |1576M| 517 | 0 |1504 |1003 |1504 | 554 | 42k| 31 |5876 | 0.000000e+00 | 1.935900e+04 | Inf
1114.63/1114.68 c 1044s| 1630k| 1629k|697556 | 0.4 |1585M| 517 | 0 |1504 |1003 |1504 | 554 | 42k| 31 |5958 | 0.000000e+00 | 1.935900e+04 | Inf
1121.34/1121.38 c 1050s| 1640k| 1639k|701354 | 0.4 |1595M| 517 | 0 |1504 |1003 |1504 | 554 | 43k| 31 |5969 | 0.000000e+00 | 1.935900e+04 | Inf
1129.13/1129.11 c 1058s| 1650k| 1649k|707318 | 0.4 |1605M| 517 | 0 |1504 |1004 |1504 | 554 | 43k| 32 |6514 | 0.000000e+00 | 1.935900e+04 | Inf
1135.73/1135.74 c 1064s| 1660k| 1659k|709050 | 0.4 |1614M| 517 | 0 |1504 |1004 |1504 | 554 | 43k| 32 |6514 | 0.000000e+00 | 1.935900e+04 | Inf
1142.44/1142.42 c 1070s| 1670k| 1669k|711519 | 0.4 |1624M| 523 | 0 |1504 |1003 |1504 | 554 | 43k| 32 |6543 | 0.000000e+00 | 1.935900e+04 | Inf
1149.03/1149.02 c 1077s| 1680k| 1679k|713539 | 0.4 |1634M| 523 | 0 |1504 |1003 |1504 | 554 | 43k| 32 |6543 | 0.000000e+00 | 1.935900e+04 | Inf
1155.64/1155.62 c 1083s| 1690k| 1689k|715148 | 0.4 |1643M| 523 | 0 |1504 |1003 |1504 | 554 | 44k| 32 |6543 | 0.000000e+00 | 1.935900e+04 | Inf
1162.23/1162.23 c 1089s| 1700k| 1699k|716865 | 0.4 |1653M| 523 | 0 |1504 |1003 |1504 | 554 | 44k| 32 |6543 | 0.000000e+00 | 1.935900e+04 | Inf
1168.84/1168.85 c 1095s| 1710k| 1709k|718636 | 0.4 |1663M| 523 | 0 |1504 |1003 |1504 | 554 | 44k| 32 |6543 | 0.000000e+00 | 1.935900e+04 | Inf
1175.43/1175.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1175.43/1175.48 c 1102s| 1720k| 1719k|720467 | 0.4 |1673M| 523 | 0 |1504 |1003 |1504 | 554 | 44k| 32 |6543 | 0.000000e+00 | 1.935900e+04 | Inf
1182.03/1182.09 c 1108s| 1730k| 1729k|722587 | 0.4 |1682M| 523 | 0 |1504 |1003 |1504 | 554 | 44k| 32 |6543 | 0.000000e+00 | 1.935900e+04 | Inf
1188.74/1188.72 c 1114s| 1740k| 1739k|724270 | 0.4 |1692M| 523 | 0 |1504 |1003 |1504 | 554 | 45k| 32 |6543 | 0.000000e+00 | 1.935900e+04 | Inf
1195.34/1195.34 c 1120s| 1750k| 1749k|726046 | 0.4 |1702M| 523 | 0 |1504 |1003 |1504 | 554 | 45k| 32 |6543 | 0.000000e+00 | 1.935900e+04 | Inf
1201.93/1201.96 c 1127s| 1760k| 1759k|727980 | 0.4 |1712M| 523 | 0 |1504 |1003 |1504 | 554 | 45k| 32 |6543 | 0.000000e+00 | 1.935900e+04 | Inf
1208.54/1208.59 c 1133s| 1770k| 1769k|730140 | 0.4 |1721M| 523 | 0 |1504 |1003 |1504 | 554 | 45k| 32 |6543 | 0.000000e+00 | 1.935900e+04 | Inf
1215.23/1215.23 c 1139s| 1780k| 1779k|732734 | 0.4 |1731M| 523 | 0 |1504 |1003 |1504 | 554 | 46k| 32 |6549 | 0.000000e+00 | 1.935900e+04 | Inf
1221.84/1221.85 c 1145s| 1790k| 1789k|734676 | 0.4 |1741M| 523 | 0 |1504 |1003 |1504 | 554 | 46k| 32 |6549 | 0.000000e+00 | 1.935900e+04 | Inf
1228.44/1228.46 c 1152s| 1800k| 1799k|736482 | 0.4 |1750M| 523 | 0 |1504 |1003 |1504 | 554 | 46k| 32 |6552 | 0.000000e+00 | 1.935900e+04 | Inf
1235.04/1235.09 c 1158s| 1810k| 1809k|738405 | 0.4 |1760M| 523 | 0 |1504 |1003 |1504 | 554 | 46k| 32 |6552 | 0.000000e+00 | 1.935900e+04 | Inf
1241.74/1241.71 c 1164s| 1820k| 1819k|740217 | 0.4 |1770M| 523 | 0 |1504 |1003 |1504 | 554 | 46k| 32 |6552 | 0.000000e+00 | 1.935900e+04 | Inf
1248.34/1248.33 c 1170s| 1830k| 1829k|741958 | 0.4 |1779M| 523 | 0 |1504 |1003 |1504 | 554 | 47k| 32 |6552 | 0.000000e+00 | 1.935900e+04 | Inf
1254.94/1254.95 c 1177s| 1840k| 1839k|743586 | 0.4 |1789M| 523 | 0 |1504 |1003 |1504 | 554 | 47k| 32 |6552 | 0.000000e+00 | 1.935900e+04 | Inf
1261.54/1261.57 c 1183s| 1850k| 1849k|745420 | 0.4 |1799M| 523 | 0 |1504 |1003 |1504 | 554 | 47k| 32 |6553 | 0.000000e+00 | 1.935900e+04 | Inf
1268.14/1268.18 c 1189s| 1860k| 1859k|747155 | 0.4 |1809M| 523 | 0 |1504 |1003 |1504 | 554 | 47k| 32 |6553 | 0.000000e+00 | 1.935900e+04 | Inf
1274.74/1274.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1274.74/1274.79 c 1195s| 1870k| 1869k|749036 | 0.4 |1818M| 523 | 0 |1504 |1003 |1504 | 554 | 48k| 32 |6553 | 0.000000e+00 | 1.935900e+04 | Inf
1281.45/1281.42 c 1202s| 1880k| 1879k|751054 | 0.4 |1828M| 523 | 0 |1504 |1003 |1504 | 554 | 48k| 32 |6554 | 0.000000e+00 | 1.935900e+04 | Inf
1288.05/1288.05 c 1208s| 1890k| 1889k|753327 | 0.4 |1838M| 523 | 0 |1504 |1003 |1504 | 554 | 48k| 32 |6554 | 0.000000e+00 | 1.935900e+04 | Inf
1294.64/1294.69 c 1214s| 1900k| 1899k|755891 | 0.4 |1848M| 523 | 0 |1504 |1003 |1504 | 554 | 48k| 32 |6559 | 0.000000e+00 | 1.935900e+04 | Inf
1301.34/1301.31 c 1220s| 1910k| 1909k|757975 | 0.4 |1857M| 523 | 0 |1504 |1003 |1504 | 554 | 49k| 32 |6559 | 0.000000e+00 | 1.935900e+04 | Inf
1307.94/1307.94 c 1227s| 1920k| 1919k|759755 | 0.4 |1867M| 523 | 0 |1504 |1003 |1504 | 554 | 49k| 32 |6559 | 0.000000e+00 | 1.935900e+04 | Inf
1314.54/1314.57 c 1233s| 1930k| 1929k|761429 | 0.4 |1877M| 523 | 0 |1504 |1003 |1504 | 554 | 49k| 32 |6559 | 0.000000e+00 | 1.935900e+04 | Inf
1321.15/1321.19 c 1239s| 1940k| 1939k|763132 | 0.4 |1886M| 523 | 0 |1504 |1003 |1504 | 554 | 49k| 32 |6559 | 0.000000e+00 | 1.935900e+04 | Inf
1327.85/1327.84 c 1245s| 1950k| 1949k|765099 | 0.4 |1896M| 523 | 0 |1504 |1003 |1504 | 554 | 49k| 32 |6564 | 0.000000e+00 | 1.935900e+04 | Inf
1334.44/1334.48 c 1252s| 1960k| 1959k|767379 | 0.4 |1906M| 523 | 0 |1504 |1003 |1504 | 554 | 50k| 32 |6565 | 0.000000e+00 | 1.935900e+04 | Inf
1341.14/1341.11 c 1258s| 1970k| 1969k|769334 | 0.4 |1915M| 523 | 0 |1504 |1003 |1504 | 554 | 50k| 32 |6567 | 0.000000e+00 | 1.935900e+04 | Inf
1347.75/1347.78 c 1264s| 1980k| 1979k|771251 | 0.4 |1925M| 523 | 0 |1504 |1003 |1504 | 554 | 50k| 32 |6592 | 0.000000e+00 | 1.935900e+04 | Inf
1354.44/1354.41 c 1271s| 1990k| 1989k|773193 | 0.4 |1935M| 523 | 0 |1504 |1003 |1504 | 554 | 50k| 32 |6602 | 0.000000e+00 | 1.935900e+04 | Inf
1361.24/1361.20 c 1277s| 2000k| 1999k|775600 | 0.4 |1945M| 523 | 0 |1504 |1003 |1504 | 554 | 51k| 32 |6688 | 0.000000e+00 | 1.935900e+04 | Inf
1367.84/1367.81 c 1283s| 2010k| 2009k|777493 | 0.4 |1954M| 523 | 0 |1504 |1003 |1504 | 554 | 51k| 32 |6688 | 0.000000e+00 | 1.935900e+04 | Inf
1374.54/1374.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1374.54/1374.51 c 1290s| 2020k| 2019k|779605 | 0.4 |1964M| 523 | 0 |1504 |1003 |1504 | 554 | 51k| 32 |6760 | 0.000000e+00 | 1.935900e+04 | Inf
1381.15/1381.14 c 1296s| 2030k| 2029k|781379 | 0.4 |1974M| 523 | 0 |1504 |1003 |1504 | 554 | 51k| 32 |6760 | 0.000000e+00 | 1.935900e+04 | Inf
1387.75/1387.77 c 1302s| 2040k| 2039k|783414 | 0.4 |1983M| 523 | 0 |1504 |1003 |1504 | 554 | 51k| 32 |6783 | 0.000000e+00 | 1.935900e+04 | Inf
1394.44/1394.40 c 1308s| 2050k| 2049k|785925 | 0.4 |1993M| 523 | 1 |1504 |1003 |1504 | 548 | 52k| 32 |6785 | 0.000000e+00 | 1.935900e+04 | Inf
1401.05/1401.02 c 1315s| 2060k| 2059k|787910 | 0.4 |2003M| 523 | 0 |1504 |1003 |1504 | 554 | 52k| 32 |6785 | 0.000000e+00 | 1.935900e+04 | Inf
1407.85/1407.86 c 1321s| 2070k| 2069k|791179 | 0.4 |2013M| 523 | 0 |1504 |1003 |1504 | 554 | 52k| 32 |6921 | 0.000000e+00 | 1.935900e+04 | Inf
1414.45/1414.50 c 1327s| 2080k| 2079k|792966 | 0.4 |2022M| 523 | 0 |1504 |1003 |1504 | 554 | 52k| 32 |6927 | 0.000000e+00 | 1.935900e+04 | Inf
1421.15/1421.17 c 1334s| 2090k| 2089k|795311 | 0.4 |2032M| 523 | 0 |1504 |1003 |1504 | 554 | 53k| 32 |6943 | 0.000000e+00 | 1.935900e+04 | Inf
1427.85/1427.83 c 1340s| 2100k| 2099k|797728 | 0.4 |2042M| 523 | 0 |1504 |1003 |1504 | 554 | 53k| 32 |6951 | 0.000000e+00 | 1.935900e+04 | Inf
1434.55/1434.51 c 1346s| 2110k| 2109k|800294 | 0.4 |2051M| 523 | 0 |1504 |1003 |1504 | 554 | 53k| 32 |6962 | 0.000000e+00 | 1.935900e+04 | Inf
1441.14/1441.12 c 1353s| 2120k| 2119k|801827 | 0.4 |2061M| 523 | 0 |1504 |1003 |1504 | 554 | 53k| 32 |6962 | 0.000000e+00 | 1.935900e+04 | Inf
1447.75/1447.77 c 1359s| 2130k| 2129k|804128 | 0.4 |2071M| 525 | 0 |1504 |1007 |1504 | 554 | 53k| 36 |6971 | 0.000000e+00 | 1.935900e+04 | Inf
1454.45/1454.47 c 1365s| 2140k| 2139k|808089 | 0.4 |2081M| 525 | 0 |1504 |1008 |1504 | 554 | 54k| 37 |6982 | 0.000000e+00 | 1.935900e+04 | Inf
1461.14/1461.18 c 1371s| 2150k| 2149k|811610 | 0.4 |2090M| 525 | 0 |1504 |1009 |1504 | 554 | 54k| 38 |6990 | 0.000000e+00 | 1.935900e+04 | Inf
1467.85/1467.81 c 1378s| 2160k| 2159k|813220 | 0.4 |2100M| 525 | 0 |1504 |1008 |1504 | 554 | 54k| 38 |6990 | 0.000000e+00 | 1.935900e+04 | Inf
1474.45/1474.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1474.45/1474.42 c 1384s| 2170k| 2169k|814969 | 0.4 |2110M| 525 | 0 |1504 |1008 |1504 | 554 | 54k| 38 |6990 | 0.000000e+00 | 1.935900e+04 | Inf
1481.05/1481.07 c 1390s| 2180k| 2179k|817302 | 0.4 |2119M| 525 | 0 |1504 |1009 |1504 | 554 | 55k| 39 |6992 | 0.000000e+00 | 1.935900e+04 | Inf
1487.75/1487.70 c 1397s| 2190k| 2189k|819036 | 0.4 |2129M| 525 | 0 |1504 |1009 |1504 | 554 | 55k| 39 |6992 | 0.000000e+00 | 1.935900e+04 | Inf
1494.35/1494.35 c 1403s| 2200k| 2199k|821098 | 0.4 |2139M| 525 | 0 |1504 |1010 |1504 | 554 | 55k| 40 |6999 | 0.000000e+00 | 1.935900e+04 | Inf
1500.95/1500.98 c 1409s| 2210k| 2209k|822847 | 0.4 |2149M| 525 | 0 |1504 |1010 |1504 | 554 | 55k| 40 |7002 | 0.000000e+00 | 1.935900e+04 | Inf
1507.55/1507.59 c 1415s| 2220k| 2219k|824501 | 0.4 |2158M| 525 | 3 |1504 |1010 |1504 | 548 | 56k| 40 |7002 | 0.000000e+00 | 1.935900e+04 | Inf
1514.25/1514.29 c 1422s| 2230k| 2229k|826685 | 0.4 |2168M| 525 | 0 |1504 |1010 |1504 | 554 | 56k| 40 |7049 | 0.000000e+00 | 1.935900e+04 | Inf
1521.15/1521.16 c 1428s| 2240k| 2239k|831116 | 0.4 |2178M| 525 | 0 |1504 |1010 |1504 | 551 | 56k| 40 |7171 | 0.000000e+00 | 1.935900e+04 | Inf
1527.96/1527.91 c 1434s| 2250k| 2249k|834531 | 0.4 |2187M| 525 | 0 |1504 |1010 |1504 | 554 | 56k| 40 |7233 | 0.000000e+00 | 1.935900e+04 | Inf
1534.56/1534.53 c 1441s| 2260k| 2259k|836305 | 0.4 |2197M| 525 | 0 |1504 |1008 |1504 | 554 | 56k| 40 |7234 | 0.000000e+00 | 1.935900e+04 | Inf
1541.15/1541.16 c 1447s| 2270k| 2269k|838033 | 0.4 |2207M| 525 | 0 |1504 |1008 |1504 | 554 | 57k| 40 |7234 | 0.000000e+00 | 1.935900e+04 | Inf
1547.76/1547.77 c 1453s| 2280k| 2279k|839685 | 0.4 |2217M| 525 | 0 |1504 |1008 |1504 | 554 | 57k| 40 |7234 | 0.000000e+00 | 1.935900e+04 | Inf
1554.45/1554.40 c 1460s| 2290k| 2289k|841511 | 0.4 |2226M| 525 | 0 |1504 |1008 |1504 | 554 | 57k| 40 |7234 | 0.000000e+00 | 1.935900e+04 | Inf
1561.05/1561.02 c 1466s| 2300k| 2299k|843199 | 0.4 |2236M| 525 | 2 |1504 |1008 |1504 | 548 | 57k| 40 |7234 | 0.000000e+00 | 1.935900e+04 | Inf
1567.65/1567.63 c 1472s| 2310k| 2309k|844810 | 0.4 |2246M| 525 | 0 |1504 |1008 |1504 | 554 | 58k| 40 |7234 | 0.000000e+00 | 1.935900e+04 | Inf
1574.25/1574.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1574.25/1574.26 c 1478s| 2320k| 2319k|846644 | 0.4 |2255M| 525 | 0 |1504 |1008 |1504 | 554 | 58k| 40 |7234 | 0.000000e+00 | 1.935900e+04 | Inf
1580.85/1580.89 c 1485s| 2330k| 2329k|848350 | 0.4 |2265M| 525 | 0 |1504 |1008 |1504 | 554 | 58k| 40 |7234 | 0.000000e+00 | 1.935900e+04 | Inf
1587.55/1587.51 c 1491s| 2340k| 2339k|850069 | 0.4 |2275M| 525 | 0 |1504 |1008 |1504 | 554 | 58k| 40 |7234 | 0.000000e+00 | 1.935900e+04 | Inf
1594.15/1594.13 c 1497s| 2350k| 2349k|851779 | 0.4 |2285M| 525 | 0 |1504 |1008 |1504 | 554 | 58k| 40 |7234 | 0.000000e+00 | 1.935900e+04 | Inf
1600.76/1600.74 c 1503s| 2360k| 2359k|853433 | 0.4 |2294M| 525 | 0 |1504 |1008 |1504 | 554 | 59k| 40 |7234 | 0.000000e+00 | 1.935900e+04 | Inf
1607.36/1607.37 c 1510s| 2370k| 2369k|855221 | 0.4 |2304M| 525 | 0 |1504 |1008 |1504 | 554 | 59k| 40 |7234 | 0.000000e+00 | 1.935900e+04 | Inf
1613.95/1613.99 c 1516s| 2380k| 2379k|856844 | 0.4 |2314M| 525 | 2 |1504 |1008 |1504 | 548 | 59k| 40 |7234 | 0.000000e+00 | 1.935900e+04 | Inf
1620.65/1620.61 c 1522s| 2390k| 2389k|858546 | 0.4 |2324M| 525 | 0 |1504 |1008 |1504 | 554 | 59k| 40 |7234 | 0.000000e+00 | 1.935900e+04 | Inf
1627.25/1627.23 c 1528s| 2400k| 2399k|860222 | 0.4 |2333M| 525 | 0 |1504 |1008 |1504 | 554 | 60k| 40 |7234 | 0.000000e+00 | 1.935900e+04 | Inf
1633.86/1633.86 c 1535s| 2410k| 2409k|861889 | 0.4 |2343M| 525 | 0 |1504 |1007 |1504 | 554 | 60k| 40 |7234 | 0.000000e+00 | 1.935900e+04 | Inf
1640.45/1640.49 c 1541s| 2420k| 2419k|863670 | 0.4 |2353M| 525 | 0 |1504 |1007 |1504 | 554 | 60k| 40 |7234 | 0.000000e+00 | 1.935900e+04 | Inf
1647.15/1647.11 c 1547s| 2430k| 2429k|865406 | 0.4 |2362M| 525 | 0 |1504 |1007 |1504 | 554 | 60k| 40 |7234 | 0.000000e+00 | 1.935900e+04 | Inf
1653.75/1653.73 c 1553s| 2440k| 2439k|867080 | 0.4 |2372M| 525 | 0 |1504 |1007 |1504 | 554 | 60k| 40 |7234 | 0.000000e+00 | 1.935900e+04 | Inf
1660.36/1660.36 c 1560s| 2450k| 2449k|868845 | 0.4 |2382M| 525 | 0 |1504 |1007 |1504 | 554 | 61k| 40 |7237 | 0.000000e+00 | 1.935900e+04 | Inf
1666.96/1666.97 c 1566s| 2460k| 2459k|870477 | 0.4 |2392M| 525 | 0 |1504 |1007 |1504 | 554 | 61k| 40 |7237 | 0.000000e+00 | 1.935900e+04 | Inf
1673.55/1673.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1673.55/1673.59 c 1572s| 2470k| 2469k|872197 | 0.4 |2401M| 525 | 0 |1504 |1007 |1504 | 554 | 61k| 40 |7246 | 0.000000e+00 | 1.935900e+04 | Inf
1680.25/1680.22 c 1578s| 2480k| 2479k|873843 | 0.4 |2411M| 525 | 0 |1504 |1007 |1504 | 554 | 61k| 40 |7246 | 0.000000e+00 | 1.935900e+04 | Inf
1686.85/1686.84 c 1585s| 2490k| 2489k|875367 | 0.4 |2421M| 527 | 0 |1504 |1007 |1504 | 554 | 62k| 40 |7246 | 0.000000e+00 | 1.935900e+04 | Inf
1693.45/1693.47 c 1591s| 2500k| 2499k|877202 | 0.4 |2430M| 527 | 0 |1504 |1007 |1504 | 554 | 62k| 40 |7246 | 0.000000e+00 | 1.935900e+04 | Inf
1700.05/1700.09 c 1597s| 2510k| 2509k|878892 | 0.3 |2440M| 527 | 0 |1504 |1007 |1504 | 554 | 62k| 40 |7246 | 0.000000e+00 | 1.935900e+04 | Inf
1706.76/1706.71 c 1603s| 2520k| 2519k|880642 | 0.3 |2450M| 527 | 0 |1504 |1007 |1504 | 554 | 62k| 40 |7246 | 0.000000e+00 | 1.935900e+04 | Inf
1713.35/1713.34 c 1610s| 2530k| 2529k|882354 | 0.3 |2460M| 527 | 0 |1504 |1007 |1504 | 554 | 63k| 40 |7246 | 0.000000e+00 | 1.935900e+04 | Inf
1719.95/1719.96 c 1616s| 2540k| 2539k|884035 | 0.3 |2469M| 527 | 0 |1504 |1007 |1504 | 554 | 63k| 40 |7246 | 0.000000e+00 | 1.935900e+04 | Inf
1726.56/1726.57 c 1622s| 2550k| 2549k|885770 | 0.3 |2479M| 527 | 0 |1504 |1007 |1504 | 554 | 63k| 40 |7247 | 0.000000e+00 | 1.935900e+04 | Inf
1733.16/1733.17 c 1628s| 2560k| 2559k|887397 | 0.3 |2489M| 527 | 0 |1504 |1007 |1504 | 554 | 63k| 40 |7247 | 0.000000e+00 | 1.935900e+04 | Inf
1739.75/1739.77 c 1635s| 2570k| 2569k|889004 | 0.3 |2499M| 527 | 0 |1504 |1007 |1504 | 554 | 63k| 40 |7247 | 0.000000e+00 | 1.935900e+04 | Inf
1746.66/1746.65 c 1641s| 2580k| 2579k|891727 | 0.3 |2508M| 527 | 0 |1504 |1008 |1504 | 554 | 64k| 41 |7426 | 0.000000e+00 | 1.935900e+04 | Inf
1753.26/1753.24 c 1647s| 2590k| 2589k|893302 | 0.3 |2518M| 527 | 0 |1504 |1008 |1504 | 554 | 64k| 41 |7426 | 0.000000e+00 | 1.935900e+04 | Inf
1759.86/1759.84 c 1654s| 2600k| 2599k|894767 | 0.3 |2528M| 527 | 0 |1504 |1008 |1504 | 554 | 64k| 41 |7426 | 0.000000e+00 | 1.935900e+04 | Inf
1766.45/1766.44 c 1660s| 2610k| 2609k|896388 | 0.3 |2537M| 527 | 0 |1504 |1008 |1504 | 554 | 64k| 41 |7426 | 0.000000e+00 | 1.935900e+04 | Inf
1773.06/1773.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1773.06/1773.07 c 1666s| 2620k| 2619k|898133 | 0.3 |2547M| 527 | 0 |1504 |1008 |1504 | 554 | 65k| 41 |7426 | 0.000000e+00 | 1.935900e+04 | Inf
1779.66/1779.68 c 1672s| 2630k| 2629k|899791 | 0.3 |2557M| 527 | 0 |1504 |1008 |1504 | 554 | 65k| 41 |7426 | 0.000000e+00 | 1.935900e+04 | Inf
1786.37/1786.31 c 1679s| 2640k| 2639k|901612 | 0.3 |2567M| 527 | 0 |1504 |1008 |1504 | 554 | 65k| 41 |7426 | 0.000000e+00 | 1.935900e+04 | Inf
1792.97/1792.93 c 1685s| 2650k| 2649k|903300 | 0.3 |2576M| 527 | 0 |1504 |1008 |1504 | 554 | 65k| 41 |7426 | 0.000000e+00 | 1.935900e+04 | Inf
1799.76/1799.76 c 1691s| 2660k| 2659k|909818 | 0.3 |2586M| 527 | 0 |1504 |1008 |1504 | 554 | 65k| 41 |7465 | 0.000000e+00 | 1.935900e+04 | Inf
1800.07/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.00 c
1800.07/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.00 c Solving Time (sec) : 1691.51
1800.07/1800.00 c Solving Nodes : 2660374
1800.07/1800.00 c Primal Bound : +1.93590000000000e+04 (100 solutions)
1800.07/1800.00 c Dual Bound : +0.00000000000000e+00
1800.07/1800.00 c Gap : infinite
1800.07/1800.00 c [linear] <>: +256<x266>[B] +128<x267>[B] +64<x268>[B] +32<x269>[B] +16<x270>[B] +8<x271>[B] +4<x272>[B] +2<x273>[B] +1<x274>[B] -256<x248>[B] -128<x249>[B] -64<x250>[B] -32<x251>[B] -16<x252>[B] -8<x253>[B] -4<x254>[B] -2<x255>[B] -1<x256>[B] +514<x12>[B] >= 2;
1800.07/1800.00 c violation: left hand side is violated by 0.000130753104599535
1800.07/1800.00 c best solution is not feasible in original problem
1800.07/1800.01 c internal error
1800.07/1800.01 s UNKNOWN
1800.07/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.01 c Solving Time : 1691.51
1800.07/1800.01 c Original Problem :
1800.07/1800.01 c Problem name : HOME/instance-2692455-1277915509.wbo
1800.07/1800.01 c Variables : 1505 (1112 binary, 0 integer, 0 implicit integer, 393 continuous)
1800.07/1800.01 c Constraints : 987 initial, 987 maximal
1800.07/1800.01 c Presolved Problem :
1800.07/1800.01 c Problem name : t_HOME/instance-2692455-1277915509.wbo
1800.07/1800.01 c Variables : 1504 (1111 binary, 0 integer, 0 implicit integer, 393 continuous)
1800.07/1800.01 c Constraints : 984 initial, 1010 maximal
1800.07/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.01 c implics : 0.00 0 1 0 0 0 0 0 0
1800.07/1800.01 c probing : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.01 c varbound : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.01 c linear : 0.01 0 0 0 393 0 3 115 230
1800.07/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.01 c root node : - 0 - - 0 - - - -
1800.07/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.01 c integral : 0 0 0 2673173 0 0 8 0 0 400280
1800.07/1800.01 c indicator : 393 0 4153051 2473025 0 0 2410323 0 0 0
1800.07/1800.01 c varbound : 1 6 1151592 409101 0 0 0 1 0 0
1800.07/1800.01 c knapsack : 68 6 4153051 2473025 0 13 66537 265 0 0
1800.07/1800.01 c linear : 392 6 4153038 2473025 0 6 1050940 65492 0 0
1800.07/1800.01 c logicor : 130+ 6 435014 2460208 0 0 287476 0 0 0
1800.07/1800.01 c countsols : 0 0 0 2460208 0 0 0 0 0 0
1800.07/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.01 c integral : 15.41 0.00 0.00 15.41 0.00
1800.07/1800.01 c indicator : 62.75 0.00 16.12 46.63 0.00
1800.07/1800.01 c varbound : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.01 c knapsack : 4.22 0.00 2.68 1.54 0.00
1800.07/1800.01 c linear : 33.09 0.00 7.49 25.60 0.00
1800.07/1800.01 c logicor : 1.36 0.00 0.56 0.80 0.00
1800.07/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.01 c vbounds : 0.01 21365 0 10672
1800.07/1800.01 c rootredcost : 0.00 1 0 0
1800.07/1800.01 c pseudoobj : 38.49 4152851 0 0
1800.07/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.01 c propagation : 0.00 19 19 40 13.5 0 0.0 -
1800.07/1800.01 c infeasible LP : 0.00 21 21 21 3.7 0 0.0 0
1800.07/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.01 c applied globally : - - - 41 8.0 - - -
1800.07/1800.01 c applied locally : - - - 0 0.0 - - -
1800.07/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.01 c cut pool : 0.00 5 - - 227 - (maximal pool size: 1333)
1800.07/1800.01 c redcost : 74.41 2673178 0 0 0 0
1800.07/1800.01 c impliedbounds : 0.00 6 0 0 4 0
1800.07/1800.01 c intobj : 0.00 0 0 0 0 0
1800.07/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.01 c gomory : 0.02 6 0 0 89 0
1800.07/1800.01 c strongcg : 0.01 6 0 0 24 0
1800.07/1800.01 c cmir : 0.08 6 0 0 579 0
1800.07/1800.01 c flowcover : 0.15 6 0 0 858 0
1800.07/1800.01 c clique : 0.00 1 0 0 0 0
1800.07/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.01 c mcf : 0.00 1 0 0 0 0
1800.07/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.01 c Pricers : Time Calls Vars
1800.07/1800.01 c problem variables: 0.00 0 0
1800.07/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.01 c relpscost : 15.40 200148 0 8 0 0 400280
1800.07/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.01 c inference : 109.23 2460208 0 0 0 0 4920416
1800.07/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.01 c random : 0.00 0 0 0 0 0 0
1800.07/1800.01 c Primal Heuristics : Time Calls Found
1800.07/1800.01 c LP solutions : 0.00 - 0
1800.07/1800.01 c pseudo solutions : 0.00 - 0
1800.07/1800.01 c oneopt : 0.27 1 0
1800.07/1800.01 c feaspump : 0.00 1 0
1800.07/1800.01 c intshifting : 0.00 19 0
1800.07/1800.01 c crossover : 0.13 10 0
1800.07/1800.01 c pscostdiving : 4.66 10621 0
1800.07/1800.01 c fracdiving : 4.64 10621 0
1800.07/1800.01 c veclendiving : 4.80 10621 0
1800.07/1800.01 c linesearchdiving : 4.25 10621 0
1800.07/1800.01 c guideddiving : 5.05 10621 0
1800.07/1800.01 c coefdiving : 4.54 10622 0
1800.07/1800.01 c rootsoldiving : 4.83 10603 0
1800.07/1800.01 c objpscostdiving : 4.64 10604 0
1800.07/1800.01 c trivial : 0.00 2 0
1800.07/1800.01 c simplerounding : 0.04 187466 0
1800.07/1800.01 c zirounding : 0.02 1000 0
1800.07/1800.01 c rounding : 0.22 5970 0
1800.07/1800.01 c shifting : 0.62 1996 0
1800.07/1800.01 c twoopt : 0.00 0 0
1800.07/1800.01 c fixandinfer : 0.00 0 0
1800.07/1800.01 c intdiving : 0.00 0 0
1800.07/1800.01 c actconsdiving : 0.00 0 0
1800.07/1800.01 c octane : 0.00 0 0
1800.07/1800.01 c rens : 0.02 1 0
1800.07/1800.01 c rins : 0.00 0 0
1800.07/1800.01 c localbranching : 0.00 0 0
1800.07/1800.01 c mutation : 0.00 0 0
1800.07/1800.01 c dins : 0.00 0 0
1800.07/1800.01 c undercover : 0.00 0 0
1800.07/1800.01 c nlp : 0.00 0 0
1800.07/1800.01 c trysol : 0.86 12758 100
1800.07/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.01 c dual LP : 834.48 261834 898608 3.43 1076.85
1800.07/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.01 c diving/probing LP: 1.76 4228 11262 2.66 6398.86
1800.07/1800.01 c strong branching : 14.24 7465 126684 16.97 8896.35
1800.07/1800.01 c (at root node) : - 29 5360 184.83 -
1800.07/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.01 c B&B Tree :
1800.07/1800.01 c number of runs : 1
1800.07/1800.01 c nodes : 2660374
1800.07/1800.01 c nodes (total) : 2660374
1800.07/1800.01 c nodes left : 2660323
1800.07/1800.01 c max depth : 527
1800.07/1800.01 c max depth (total): 527
1800.07/1800.01 c backtracks : 10743 (0.4%)
1800.07/1800.01 c delayed cutoffs : 0
1800.07/1800.01 c repropagations : 1906 (28 domain reductions, 0 cutoffs)
1800.07/1800.01 c avg switch length: 2.09
1800.07/1800.01 c switching time : 84.65
1800.07/1800.01 c Solution :
1800.07/1800.01 c Solutions found : 100 (1 improvements)
1800.07/1800.01 c First Solution : +1.93590000000000e+04 (in run 1, after 1 nodes, 0.05 seconds, depth 0, found by <trysol>)
1800.07/1800.01 c Primal Bound : +1.93590000000000e+04 (in run 1, after 1 nodes, 0.05 seconds, depth 0, found by <trysol>)
1800.07/1800.01 c Dual Bound : +0.00000000000000e+00
1800.07/1800.01 c Gap : infinite
1800.07/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.01 c Root Iterations : 1498
Begin job on node115 at 2010-06-30 18:31:49
IDJOB=2692455
IDBENCH=79056
IDSOLVER=1204
FILE ID=node115/2692455-1277915509
PBS_JOBID= 11197319
Free space on /tmp= 74208 MiB
SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692455-1277915509/watcher-2692455-1277915509 -o /tmp/evaluation-result-2692455-1277915509/solver-2692455-1277915509 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692455-1277915509.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e743a4abb279311aa41225546d67b4df
RANDOM SEED=504873259
node115.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.796
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.59
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.796
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.08
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.796
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.796
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.796
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.796
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.796
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.796
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 30078864 kB
Buffers: 202100 kB
Cached: 938548 kB
SwapCached: 0 kB
Active: 2049684 kB
Inactive: 673484 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 30078864 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4920 kB
Writeback: 0 kB
AnonPages: 1583500 kB
Mapped: 17716 kB
Slab: 79532 kB
PageTables: 7240 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 1737124 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74204 MiB
End job on node115 at 2010-06-30 19:01:51