0.00/0.01 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-2703903-1278562858.opb>
0.00/0.01 c original problem has 94 variables (94 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 4 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (2 rounds):
0.00/0.02 c 0 deleted vars, 4 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 94 variables (94 bin, 0 int, 0 impl, 0 cont) and 4 constraints
0.00/0.02 c 4 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.3
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1790
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.02 c # [type: int, range: [1,2], default: 1]
0.00/0.02 c timing/clocktype = 2
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/indicator/addCouplingCons = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 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.02 c 0.0s| 1 | 0 | 16 | - | 351k| 0 | 4 | 94 | 4 | 94 | 4 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.04/0.09 o 411
0.04/0.09 c y 0.1s| 1 | 0 | 36 | - | 376k| 0 | 4 | 94 | 4 | 94 | 4 | 0 | 0 | 0 | 0.000000e+00 | 4.110000e+02 | Inf
0.09/0.10 c 0.1s| 1 | 0 | 42 | - | 531k| 0 | 8 | 94 | 126 | 94 | 9 | 5 | 0 | 0 | 0.000000e+00 | 4.110000e+02 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 47 | - | 555k| 0 | 9 | 94 | 126 | 94 | 13 | 9 | 0 | 0 | 0.000000e+00 | 4.110000e+02 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 51 | - | 581k| 0 | 10 | 94 | 126 | 94 | 17 | 13 | 0 | 0 | 0.000000e+00 | 4.110000e+02 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 56 | - | 602k| 0 | 11 | 94 | 126 | 94 | 21 | 17 | 0 | 0 | 0.000000e+00 | 4.110000e+02 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 63 | - | 621k| 0 | 15 | 94 | 126 | 94 | 26 | 22 | 0 | 0 | 0.000000e+00 | 4.110000e+02 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 73 | - | 634k| 0 | 14 | 94 | 126 | 94 | 29 | 25 | 0 | 0 | 0.000000e+00 | 4.110000e+02 | Inf
0.09/0.19 c 0.2s| 1 | 2 | 73 | - | 634k| 0 | 14 | 94 | 126 | 94 | 29 | 25 | 0 | 9 | 0.000000e+00 | 4.110000e+02 | Inf
0.20/0.23 o 275
0.20/0.23 c c 0.2s| 18 | 19 | 174 | 5.9 | 657k| 17 | - | 94 | 126 | 94 | 15 | 25 | 0 | 90 | 0.000000e+00 | 2.750000e+02 | Inf
0.20/0.24 o 214
0.20/0.24 c p 0.2s| 31 | 32 | 251 | 5.9 | 668k| 17 | - | 94 | 126 | 94 | 15 | 25 | 0 | 114 | 0.000000e+00 | 2.140000e+02 | Inf
0.30/0.30 o 213
0.30/0.30 c * 0.3s| 91 | 90 | 512 | 4.9 | 698k| 29 | - | 94 | 126 | 94 | 15 | 25 | 2 | 245 | 0.000000e+00 | 2.130000e+02 | Inf
0.30/0.30 o 211
0.30/0.30 c * 0.3s| 92 | 89 | 512 | 4.8 | 699k| 29 | - | 94 | 126 | 94 | 15 | 25 | 2 | 245 | 0.000000e+00 | 2.110000e+02 | Inf
0.30/0.31 o 210
0.30/0.31 c * 0.3s| 110 | 105 | 572 | 4.6 | 709k| 29 | - | 94 | 126 | 94 | 15 | 25 | 2 | 263 | 0.000000e+00 | 2.100000e+02 | Inf
0.30/0.32 o 209
0.30/0.32 c l 0.3s| 137 | 130 | 654 | 4.3 | 747k| 29 | - | 94 | 127 | 94 | 15 | 25 | 6 | 299 | 0.000000e+00 | 2.090000e+02 | Inf
0.30/0.34 o 199
0.30/0.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.30/0.34 c g 0.3s| 151 | 130 | 706 | 4.2 | 747k| 29 | - | 94 | 127 | 94 | 15 | 25 | 6 | 324 | 0.000000e+00 | 1.990000e+02 | Inf
0.30/0.36 o 193
0.30/0.36 c p 0.3s| 189 | 157 | 844 | 4.1 | 762k| 29 | - | 94 | 127 | 94 | 15 | 25 | 7 | 345 | 0.000000e+00 | 1.930000e+02 | Inf
0.30/0.36 o 192
0.30/0.36 c * 0.4s| 204 | 166 | 879 | 4.0 | 769k| 30 | - | 94 | 127 | 94 | 15 | 25 | 7 | 359 | 0.000000e+00 | 1.920000e+02 | Inf
0.30/0.36 o 190
0.30/0.36 c * 0.4s| 205 | 165 | 879 | 4.0 | 769k| 30 | - | 94 | 127 | 94 | 15 | 25 | 7 | 359 | 0.000000e+00 | 1.900000e+02 | Inf
0.30/0.37 o 186
0.30/0.37 c f 0.4s| 220 | 176 | 923 | 3.9 | 783k| 30 | - | 94 | 127 | 94 | 15 | 25 | 8 | 372 | 0.000000e+00 | 1.860000e+02 | Inf
0.39/0.40 o 182
0.39/0.40 c l 0.4s| 269 | 216 | 1086 | 3.8 | 813k| 30 | - | 94 | 132 | 94 | 15 | 25 | 16 | 403 | 0.000000e+00 | 1.820000e+02 | Inf
0.39/0.41 o 181
0.39/0.41 c * 0.4s| 283 | 225 | 1116 | 3.7 | 819k| 30 | - | 94 | 133 | 94 | 15 | 25 | 17 | 416 | 0.000000e+00 | 1.810000e+02 | Inf
0.39/0.41 o 179
0.39/0.41 c * 0.4s| 284 | 222 | 1116 | 3.7 | 819k| 30 | - | 94 | 133 | 94 | 15 | 25 | 17 | 416 | 0.000000e+00 | 1.790000e+02 | Inf
0.39/0.41 o 177
0.39/0.41 c * 0.4s| 297 | 233 | 1149 | 3.6 | 826k| 30 | - | 94 | 133 | 94 | 15 | 25 | 17 | 422 | 0.000000e+00 | 1.770000e+02 | Inf
0.39/0.42 o 175
0.39/0.42 c * 0.4s| 298 | 231 | 1149 | 3.6 | 827k| 30 | - | 94 | 133 | 94 | 15 | 25 | 17 | 422 | 0.000000e+00 | 1.750000e+02 | Inf
0.39/0.42 o 173
0.39/0.42 c g 0.4s| 313 | 243 | 1181 | 3.6 | 840k| 30 | - | 94 | 134 | 94 | 15 | 25 | 18 | 427 | 0.000000e+00 | 1.730000e+02 | Inf
0.39/0.44 o 172
0.39/0.44 c * 0.4s| 351 | 277 | 1341 | 3.6 | 863k| 30 | - | 94 | 140 | 94 | 15 | 25 | 24 | 437 | 0.000000e+00 | 1.720000e+02 | Inf
0.39/0.44 o 168
0.39/0.44 c * 0.4s| 353 | 275 | 1341 | 3.6 | 862k| 30 | - | 94 | 140 | 94 | 15 | 25 | 24 | 439 | 0.000000e+00 | 1.680000e+02 | Inf
0.39/0.44 o 164
0.39/0.44 c * 0.4s| 354 | 270 | 1341 | 3.6 | 861k| 30 | - | 94 | 140 | 94 | 15 | 25 | 24 | 439 | 0.000000e+00 | 1.640000e+02 | Inf
0.39/0.45 o 163
0.39/0.45 c * 0.4s| 366 | 278 | 1364 | 3.5 | 868k| 30 | - | 94 | 140 | 94 | 15 | 25 | 24 | 442 | 0.000000e+00 | 1.630000e+02 | Inf
0.39/0.45 o 159
0.39/0.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.45 c c 0.4s| 370 | 273 | 1368 | 3.5 | 868k| 30 | - | 94 | 140 | 94 | 15 | 25 | 24 | 444 | 0.000000e+00 | 1.590000e+02 | Inf
0.39/0.46 o 158
0.39/0.46 c * 0.4s| 385 | 283 | 1416 | 3.5 | 875k| 30 | - | 94 | 140 | 94 | 15 | 25 | 24 | 450 | 0.000000e+00 | 1.580000e+02 | Inf
0.39/0.46 o 157
0.39/0.46 c * 0.5s| 397 | 290 | 1449 | 3.5 | 883k| 30 | - | 94 | 140 | 94 | 15 | 25 | 24 | 463 | 0.000000e+00 | 1.570000e+02 | Inf
0.39/0.46 o 155
0.39/0.46 c * 0.5s| 399 | 285 | 1449 | 3.5 | 881k| 30 | - | 94 | 140 | 94 | 15 | 25 | 24 | 465 | 0.000000e+00 | 1.550000e+02 | Inf
0.39/0.47 o 153
0.39/0.47 c * 0.5s| 400 | 283 | 1449 | 3.4 | 882k| 30 | - | 94 | 140 | 94 | 15 | 25 | 24 | 465 | 0.000000e+00 | 1.530000e+02 | Inf
0.39/0.47 o 151
0.39/0.47 c p 0.5s| 416 | 292 | 1482 | 3.4 | 893k| 30 | - | 94 | 140 | 94 | 15 | 25 | 26 | 474 | 0.000000e+00 | 1.510000e+02 | Inf
0.39/0.47 o 149
0.39/0.47 c f 0.5s| 416 | 283 | 1482 | 3.4 | 887k| 30 | - | 94 | 140 | 94 | 15 | 25 | 29 | 474 | 0.000000e+00 | 1.490000e+02 | Inf
0.39/0.49 o 147
0.39/0.49 c v 0.5s| 456 | 312 | 1585 | 3.3 | 907k| 30 | - | 94 | 142 | 94 | 15 | 25 | 32 | 479 | 0.000000e+00 | 1.470000e+02 | Inf
0.49/0.50 o 145
0.49/0.50 c * 0.5s| 483 | 330 | 1678 | 3.3 | 915k| 30 | - | 94 | 142 | 94 | 15 | 25 | 32 | 489 | 0.000000e+00 | 1.450000e+02 | Inf
0.49/0.51 o 143
0.49/0.51 c * 0.5s| 488 | 332 | 1681 | 3.3 | 917k| 31 | - | 94 | 142 | 94 | 15 | 25 | 32 | 491 | 0.000000e+00 | 1.430000e+02 | Inf
0.49/0.52 o 142
0.49/0.52 c l 0.5s| 503 | 345 | 1734 | 3.3 | 927k| 31 | - | 94 | 142 | 94 | 15 | 25 | 32 | 494 | 0.000000e+00 | 1.420000e+02 | Inf
0.49/0.52 o 140
0.49/0.52 c g 0.5s| 503 | 340 | 1734 | 3.3 | 927k| 31 | - | 94 | 142 | 94 | 15 | 25 | 33 | 494 | 0.000000e+00 | 1.400000e+02 | Inf
0.49/0.54 o 62
0.49/0.54 c f 0.5s| 544 | 320 | 1877 | 3.3 | 911k| 31 | - | 94 | 143 | 94 | 15 | 25 | 34 | 498 | 0.000000e+00 | 6.200000e+01 | Inf
0.49/0.54 o 30
0.49/0.54 c s 0.5s| 549 | 269 | 1889 | 3.3 | 879k| 31 | 4 | 94 | 107 | 94 | 15 | 25 | 34 | 498 | 0.000000e+00 | 3.000000e+01 | Inf
0.49/0.54 o 28
0.49/0.54 c v 0.5s| 549 | 263 | 1898 | 3.3 | 882k| 31 | - | 94 | 108 | 94 | 15 | 25 | 37 | 499 | 0.000000e+00 | 2.800000e+01 | Inf
0.49/0.59 o 26
0.49/0.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.59 c v 0.6s| 655 | 340 | 2315 | 3.4 | 865k| 31 | - | 94 | 27 | 94 | 15 | 25 | 45 | 502 | 0.000000e+00 | 2.600000e+01 | Inf
0.49/0.59 o 24
0.49/0.59 c f 0.6s| 655 | 334 | 2315 | 3.4 | 864k| 31 | - | 94 | 30 | 94 | 15 | 25 | 48 | 502 | 0.000000e+00 | 2.400000e+01 | Inf
0.59/0.61 o 9
0.59/0.61 c s 0.6s| 724 | 314 | 2477 | 3.3 | 850k| 31 | 4 | 94 | 30 | 94 | 15 | 25 | 48 | 511 | 0.000000e+00 | 9.000000e+00 | Inf
0.59/0.61 o 5
0.59/0.61 c g 0.6s| 724 | 291 | 2480 | 3.3 | 840k| 31 | - | 94 | 30 | 94 | 15 | 25 | 48 | 513 | 0.000000e+00 | 5.000000e+00 | Inf
1.79/1.83 o 3
1.79/1.83 c * 1.8s| 3987 | 2218 | 13822 | 3.4 |1802k| 31 | - | 94 | 472 | 94 | 15 | 25 | 510 | 521 | 0.000000e+00 | 3.000000e+00 | Inf
3.69/3.73 c 3.7s| 10000 | 3800 | 27054 | 2.7 |2904k| 31 | - | 94 |1124 | 94 | 15 | 25 |1183 | 553 | 0.000000e+00 | 3.000000e+00 | Inf
4.99/5.07 o 2
4.99/5.07 c * 5.1s| 14435 | 4446 | 35844 | 2.5 |3445k| 31 | - | 94 |1535 | 94 | 15 | 25 |1604 | 564 | 0.000000e+00 | 2.000000e+00 | Inf
6.69/6.72 c 6.7s| 20000 | 4654 | 45672 | 2.3 |3819k| 31 | 4 | 94 |1962 | 94 | 15 | 25 |2055 | 564 | 0.000000e+00 | 2.000000e+00 | Inf
10.09/10.13 c 10.1s| 30000 | 5100 | 63763 | 2.1 |4678k| 31 | - | 94 |3001 | 94 | 15 | 25 |3256 | 623 | 0.000000e+00 | 2.000000e+00 | Inf
13.99/14.00 c 14.0s| 40000 | 5637 | 80943 | 2.0 |5557k| 31 | - | 94 |4166 | 0 | 0 | 25 |4483 | 658 | 0.000000e+00 | 2.000000e+00 | Inf
18.38/18.46 c 18.5s| 50000 | 5871 | 98256 | 2.0 |6089k| 31 | - | 94 |4724 | 0 | 0 | 25 |5674 | 692 | 0.000000e+00 | 2.000000e+00 | Inf
23.09/23.17 c 23.2s| 60000 | 5773 |113896 | 1.9 |6334k| 31 | 4 | 94 |5357 | 94 | 15 | 25 |7013 | 729 | 0.000000e+00 | 2.000000e+00 | Inf
27.68/27.75 c 27.7s| 70000 | 5674 |130837 | 1.9 |5400k| 31 | 4 | 94 |2777 | 94 | 15 | 25 |8180 | 776 | 0.000000e+00 | 2.000000e+00 | Inf
30.99/31.09 c 31.1s| 80000 | 5955 |147128 | 1.8 |5776k| 31 | - | 94 |3140 | 94 | 15 | 25 |9155 | 809 | 0.000000e+00 | 2.000000e+00 | Inf
34.59/34.62 c 34.6s| 90000 | 5686 |162744 | 1.8 |5579k| 31 | 4 | 94 |3117 | 94 | 15 | 25 | 10k| 851 | 0.000000e+00 | 2.000000e+00 | Inf
37.78/37.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.78/37.87 c 37.9s|100000 | 5568 |178825 | 1.8 |5277k| 31 | - | 94 |2476 | 94 | 15 | 25 | 11k| 888 | 0.000000e+00 | 2.000000e+00 | Inf
40.88/40.95 c 40.9s|110000 | 5846 |194048 | 1.8 |5548k| 31 | 4 | 94 |2576 | 94 | 15 | 25 | 12k| 907 | 0.000000e+00 | 2.000000e+00 | Inf
44.08/44.14 c 44.1s|120000 | 5669 |209144 | 1.7 |5504k| 31 | 4 | 94 |2844 | 94 | 15 | 25 | 13k| 930 | 0.000000e+00 | 2.000000e+00 | Inf
47.19/47.25 c 47.2s|130000 | 5876 |225678 | 1.7 |5607k| 31 | 4 | 94 |2786 | 94 | 15 | 25 | 14k| 958 | 0.000000e+00 | 2.000000e+00 | Inf
50.38/50.41 c 50.4s|140000 | 5842 |241957 | 1.7 |5647k| 31 | - | 94 |2738 | 94 | 15 | 25 | 15k| 987 | 0.000000e+00 | 2.000000e+00 | Inf
53.58/53.60 c 53.6s|150000 | 6057 |257642 | 1.7 |5965k| 31 | 4 | 94 |3059 | 94 | 15 | 25 | 16k|1013 | 0.000000e+00 | 2.000000e+00 | Inf
56.77/56.87 c 56.9s|160000 | 5736 |273453 | 1.7 |5650k| 31 | 4 | 94 |2829 | 94 | 15 | 25 | 17k|1036 | 0.000000e+00 | 2.000000e+00 | Inf
59.98/60.02 c 60.0s|170000 | 5663 |290159 | 1.7 |5501k| 31 | 4 | 94 |2599 | 94 | 15 | 25 | 18k|1058 | 0.000000e+00 | 2.000000e+00 | Inf
62.88/62.99 c 63.0s|180000 | 5424 |306655 | 1.7 |5169k| 31 | - | 94 |2432 | 0 | 0 | 25 | 19k|1113 | 0.000000e+00 | 2.000000e+00 | Inf
65.88/65.92 c 65.9s|190000 | 5355 |322436 | 1.7 |5082k| 31 | - | 94 |2289 | 94 | 15 | 25 | 20k|1125 | 0.000000e+00 | 2.000000e+00 | Inf
68.78/68.82 c 68.8s|200000 | 5831 |339079 | 1.7 |5441k| 31 | 4 | 94 |2331 | 94 | 15 | 25 | 21k|1154 | 0.000000e+00 | 2.000000e+00 | Inf
71.67/71.73 c 71.7s|210000 | 5857 |355728 | 1.7 |5586k| 31 | 4 | 94 |2517 | 94 | 15 | 25 | 22k|1176 | 0.000000e+00 | 2.000000e+00 | Inf
74.67/74.71 c 74.7s|220000 | 5289 |371836 | 1.7 |4936k| 31 | 4 | 94 |2008 | 94 | 15 | 25 | 23k|1205 | 0.000000e+00 | 2.000000e+00 | Inf
77.27/77.34 c 77.3s|230000 | 5356 |387642 | 1.7 |5001k| 31 | 4 | 94 |2056 | 94 | 15 | 25 | 23k|1226 | 0.000000e+00 | 2.000000e+00 | Inf
80.07/80.10 c 80.1s|240000 | 5019 |404432 | 1.7 |4639k| 31 | - | 94 |1778 | 0 | 0 | 25 | 24k|1248 | 0.000000e+00 | 2.000000e+00 | Inf
82.66/82.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.66/82.72 c 82.7s|250000 | 5126 |421334 | 1.7 |4890k| 31 | - | 94 |2060 | 0 | 0 | 25 | 25k|1263 | 0.000000e+00 | 2.000000e+00 | Inf
85.37/85.45 c 85.4s|260000 | 5088 |438278 | 1.7 |4839k| 31 | 4 | 94 |2099 | 94 | 15 | 25 | 26k|1285 | 0.000000e+00 | 2.000000e+00 | Inf
88.17/88.29 c 88.3s|270000 | 5010 |454356 | 1.7 |4852k| 31 | 4 | 94 |2275 | 94 | 15 | 25 | 27k|1317 | 0.000000e+00 | 2.000000e+00 | Inf
91.06/91.15 c 91.1s|280000 | 4944 |470173 | 1.7 |4637k| 31 | - | 94 |2078 | 94 | 15 | 25 | 27k|1336 | 0.000000e+00 | 2.000000e+00 | Inf
93.87/93.96 c 93.9s|290000 | 4736 |485804 | 1.7 |4586k| 31 | - | 94 |2154 | 94 | 15 | 25 | 28k|1357 | 0.000000e+00 | 2.000000e+00 | Inf
96.46/96.53 c 96.5s|300000 | 4836 |502740 | 1.7 |4497k| 31 | - | 94 |1806 | 0 | 0 | 25 | 29k|1390 | 0.000000e+00 | 2.000000e+00 | Inf
99.07/99.19 c 99.2s|310000 | 4607 |519699 | 1.7 |4173k| 31 | - | 94 |1263 | 0 | 0 | 25 | 30k|1655 | 0.000000e+00 | 2.000000e+00 | Inf
101.56/101.61 c 102s|320000 | 4379 |536649 | 1.7 |4048k| 31 | - | 94 |1166 | 0 | 0 | 25 | 31k|1667 | 0.000000e+00 | 2.000000e+00 | Inf
103.96/104.05 c 104s|330000 | 4283 |553543 | 1.7 |4080k| 31 | 4 | 94 |1386 | 94 | 15 | 25 | 32k|1667 | 0.000000e+00 | 2.000000e+00 | Inf
106.46/106.51 c 107s|340000 | 4185 |569584 | 1.7 |3890k| 31 | 4 | 94 | 971 | 94 | 15 | 25 | 33k|1668 | 0.000000e+00 | 2.000000e+00 | Inf
108.77/108.81 c 109s|350000 | 4186 |586030 | 1.7 |3988k| 31 | - | 94 |1071 | 0 | 0 | 25 | 33k|1677 | 0.000000e+00 | 2.000000e+00 | Inf
111.07/111.14 c 111s|360000 | 4352 |602466 | 1.7 |4138k| 31 | 4 | 94 |1243 | 94 | 15 | 25 | 34k|1688 | 0.000000e+00 | 2.000000e+00 | Inf
113.47/113.54 c 114s|370000 | 3890 |618698 | 1.7 |3724k| 31 | - | 94 | 826 | 94 | 15 | 25 | 35k|1709 | 0.000000e+00 | 2.000000e+00 | Inf
115.76/115.81 c 116s|380000 | 3932 |635595 | 1.7 |3806k| 31 | - | 94 | 897 | 94 | 15 | 25 | 36k|1724 | 0.000000e+00 | 2.000000e+00 | Inf
117.96/118.05 c 118s|390000 | 3854 |651204 | 1.7 |3865k| 31 | - | 94 |1102 | 94 | 15 | 25 | 37k|1724 | 0.000000e+00 | 2.000000e+00 | Inf
120.26/120.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
120.26/120.33 c 120s|400000 | 3668 |667987 | 1.7 |3636k| 31 | - | 94 | 761 | 0 | 0 | 25 | 37k|1744 | 0.000000e+00 | 2.000000e+00 | Inf
122.46/122.59 c 123s|410000 | 3548 |684259 | 1.7 |3637k| 31 | 4 | 94 | 948 | 94 | 15 | 25 | 38k|1763 | 0.000000e+00 | 2.000000e+00 | Inf
124.76/124.89 c 125s|420000 | 3588 |699770 | 1.7 |3842k| 31 | 4 | 94 |1297 | 94 | 15 | 25 | 39k|1778 | 0.000000e+00 | 2.000000e+00 | Inf
127.26/127.38 c 127s|430000 | 3549 |714548 | 1.7 |3748k| 31 | 4 | 94 |1161 | 94 | 15 | 25 | 40k|1784 | 0.000000e+00 | 2.000000e+00 | Inf
129.77/129.82 c 130s|440000 | 3436 |731247 | 1.7 |3665k| 31 | - | 94 |1121 | 94 | 15 | 25 | 41k|1801 | 0.000000e+00 | 2.000000e+00 | Inf
132.16/132.22 c 132s|450000 | 3517 |747235 | 1.7 |3923k| 31 | - | 94 |1555 | 0 | 0 | 25 | 42k|1806 | 0.000000e+00 | 2.000000e+00 | Inf
134.56/134.65 c 135s|460000 | 3371 |762697 | 1.7 |3769k| 31 | - | 94 |1504 | 94 | 15 | 25 | 43k|1810 | 0.000000e+00 | 2.000000e+00 | Inf
136.96/137.09 c 137s|470000 | 3224 |779540 | 1.7 |3607k| 31 | - | 94 |1190 | 94 | 15 | 25 | 44k|1844 | 0.000000e+00 | 2.000000e+00 | Inf
139.26/139.34 c 139s|480000 | 3309 |796007 | 1.7 |3693k| 31 | 4 | 94 |1175 | 94 | 15 | 25 | 44k|1855 | 0.000000e+00 | 2.000000e+00 | Inf
141.55/141.66 c 142s|490000 | 3143 |812205 | 1.7 |3592k| 31 | 4 | 94 |1236 | 94 | 15 | 25 | 45k|1872 | 0.000000e+00 | 2.000000e+00 | Inf
143.96/144.02 c 144s|500000 | 3328 |828240 | 1.7 |3908k| 31 | - | 94 |1687 | 0 | 0 | 25 | 46k|1881 | 0.000000e+00 | 2.000000e+00 | Inf
146.45/146.55 c 147s|510000 | 3060 |844877 | 1.7 |3490k| 31 | - | 94 | 944 | 94 | 15 | 25 | 47k|1898 | 0.000000e+00 | 2.000000e+00 | Inf
148.75/148.85 c 149s|520000 | 2884 |861800 | 1.7 |3391k| 31 | 4 | 94 | 888 | 94 | 15 | 25 | 47k|1926 | 0.000000e+00 | 2.000000e+00 | Inf
151.05/151.11 c 151s|530000 | 2814 |879366 | 1.7 |3387k| 31 | 4 | 94 | 938 | 94 | 15 | 25 | 48k|1945 | 0.000000e+00 | 2.000000e+00 | Inf
153.25/153.36 c 153s|540000 | 2628 |896411 | 1.7 |3301k| 31 | - | 94 | 937 | 94 | 15 | 25 | 49k|1953 | 0.000000e+00 | 2.000000e+00 | Inf
155.56/155.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.56/155.63 c 156s|550000 | 2512 |913923 | 1.7 |3247k| 31 | 4 | 94 | 923 | 94 | 15 | 25 | 50k|1973 | 0.000000e+00 | 2.000000e+00 | Inf
157.75/157.87 c 158s|560000 | 2768 |931372 | 1.7 |3451k| 31 | - | 94 | 961 | 94 | 15 | 25 | 50k|1991 | 0.000000e+00 | 2.000000e+00 | Inf
160.05/160.15 c 160s|570000 | 2737 |947404 | 1.7 |3552k| 31 | 4 | 94 |1035 | 94 | 15 | 25 | 51k|1992 | 0.000000e+00 | 2.000000e+00 | Inf
162.35/162.48 c 162s|580000 | 2620 |963440 | 1.7 |3441k| 31 | 4 | 94 |1178 | 94 | 15 | 25 | 52k|1993 | 0.000000e+00 | 2.000000e+00 | Inf
164.95/165.01 c 165s|590000 | 2405 |980756 | 1.7 |3419k| 31 | 4 | 94 |1466 | 94 | 15 | 25 | 53k|2029 | 0.000000e+00 | 2.000000e+00 | Inf
167.25/167.39 c 167s|600000 | 2291 |998162 | 1.7 |3261k| 31 | - | 94 |1170 | 94 | 15 | 25 | 54k|2053 | 0.000000e+00 | 2.000000e+00 | Inf
169.75/169.81 c 170s|610000 | 2352 | 1015k| 1.7 |3404k| 31 | 4 | 94 |1317 | 94 | 15 | 25 | 55k|2070 | 0.000000e+00 | 2.000000e+00 | Inf
171.95/172.09 c 172s|620000 | 2760 | 1032k| 1.7 |3439k| 31 | - | 94 |1076 | 0 | 0 | 25 | 55k|2077 | 0.000000e+00 | 2.000000e+00 | Inf
174.35/174.41 c 174s|630000 | 3470 | 1048k| 1.7 |3969k| 31 | 4 | 94 |1117 | 94 | 15 | 25 | 56k|2094 | 0.000000e+00 | 2.000000e+00 | Inf
176.64/176.74 c 177s|640000 | 3685 | 1065k| 1.7 |4255k| 31 | - | 94 |1164 | 94 | 15 | 25 | 57k|2104 | 0.000000e+00 | 2.000000e+00 | Inf
179.04/179.11 c 179s|650000 | 3830 | 1082k| 1.7 |4416k| 31 | 4 | 94 |1124 | 94 | 15 | 25 | 58k|2120 | 0.000000e+00 | 2.000000e+00 | Inf
181.35/181.49 c 181s|660000 | 4165 | 1098k| 1.7 |4793k| 31 | - | 94 |1306 | 94 | 15 | 25 | 58k|2129 | 0.000000e+00 | 2.000000e+00 | Inf
183.84/183.92 c 184s|670000 | 3774 | 1114k| 1.7 |4541k| 31 | 4 | 94 |1118 | 94 | 15 | 25 | 59k|2142 | 0.000000e+00 | 2.000000e+00 | Inf
186.14/186.29 c 186s|680000 | 3874 | 1131k| 1.7 |4752k| 31 | - | 94 |1310 | 94 | 15 | 25 | 60k|2165 | 0.000000e+00 | 2.000000e+00 | Inf
188.65/188.79 c 189s|690000 | 2875 | 1147k| 1.7 |3924k| 31 | 4 | 94 |1004 | 94 | 15 | 25 | 61k|2185 | 0.000000e+00 | 2.000000e+00 | Inf
191.04/191.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
191.04/191.16 c 191s|700000 | 2215 | 1165k| 1.7 |3161k| 31 | 4 | 94 |1026 | 94 | 15 | 25 | 62k|2213 | 0.000000e+00 | 2.000000e+00 | Inf
193.34/193.43 c 193s|710000 | 3300 | 1182k| 1.7 |3891k| 31 | 4 | 94 |1224 | 94 | 15 | 25 | 62k|2219 | 0.000000e+00 | 2.000000e+00 | Inf
195.65/195.79 c 196s|720000 | 3446 | 1198k| 1.7 |4127k| 31 | - | 94 |1286 | 94 | 15 | 25 | 63k|2221 | 0.000000e+00 | 2.000000e+00 | Inf
198.14/198.22 c 198s|730000 | 3225 | 1215k| 1.7 |4094k| 31 | 4 | 94 |1283 | 94 | 15 | 25 | 64k|2232 | 0.000000e+00 | 2.000000e+00 | Inf
200.63/200.74 c 201s|740000 | 2260 | 1231k| 1.7 |3255k| 31 | - | 94 |1222 | 94 | 15 | 25 | 65k|2242 | 0.000000e+00 | 2.000000e+00 | Inf
202.94/203.08 c 203s|750000 | 3207 | 1248k| 1.7 |3877k| 31 | - | 94 |1472 | 94 | 15 | 25 | 66k|2248 | 0.000000e+00 | 2.000000e+00 | Inf
205.43/205.51 c 205s|760000 | 3433 | 1264k| 1.7 |4145k| 31 | 4 | 94 |1443 | 94 | 15 | 25 | 66k|2251 | 0.000000e+00 | 2.000000e+00 | Inf
207.75/207.86 c 208s|770000 | 3903 | 1280k| 1.7 |4571k| 31 | - | 94 |1622 | 94 | 15 | 25 | 67k|2251 | 0.000000e+00 | 2.000000e+00 | Inf
210.24/210.30 c 210s|780000 | 4125 | 1295k| 1.7 |4807k| 31 | - | 94 |1629 | 0 | 0 | 25 | 68k|2254 | 0.000000e+00 | 2.000000e+00 | Inf
212.73/212.87 c 213s|790000 | 3889 | 1312k| 1.7 |4789k| 31 | - | 94 |1612 | 94 | 15 | 25 | 69k|2254 | 0.000000e+00 | 2.000000e+00 | Inf
215.33/215.45 c 215s|800000 | 3062 | 1328k| 1.7 |4249k| 31 | - | 94 |1542 | 0 | 0 | 25 | 69k|2258 | 0.000000e+00 | 2.000000e+00 | Inf
217.83/217.94 c 218s|810000 | 2401 | 1344k| 1.7 |3655k| 31 | - | 94 |1561 | 0 | 0 | 25 | 70k|2258 | 0.000000e+00 | 2.000000e+00 | Inf
220.33/220.42 c 220s|820000 | 2077 | 1360k| 1.7 |3288k| 31 | - | 94 |1539 | 94 | 15 | 25 | 71k|2327 | 0.000000e+00 | 2.000000e+00 | Inf
222.64/222.79 c 223s|830000 | 2071 | 1377k| 1.7 |3097k| 31 | 4 | 94 |1139 | 94 | 15 | 25 | 72k|2360 | 0.000000e+00 | 2.000000e+00 | Inf
224.93/225.09 c 225s|840000 | 2552 | 1394k| 1.7 |3459k| 31 | 4 | 94 |1200 | 94 | 15 | 25 | 72k|2360 | 0.000000e+00 | 2.000000e+00 | Inf
227.23/227.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
227.23/227.34 c 227s|850000 | 3426 | 1410k| 1.7 |4098k| 31 | - | 94 |1416 | 0 | 0 | 25 | 73k|2364 | 0.000000e+00 | 2.000000e+00 | Inf
229.53/229.68 c 230s|860000 | 3797 | 1426k| 1.7 |4444k| 31 | - | 94 |1483 | 0 | 0 | 25 | 74k|2364 | 0.000000e+00 | 2.000000e+00 | Inf
231.94/232.05 c 232s|870000 | 3844 | 1442k| 1.7 |4510k| 31 | 4 | 94 |1231 | 94 | 15 | 25 | 74k|2364 | 0.000000e+00 | 2.000000e+00 | Inf
234.33/234.46 c 234s|880000 | 3105 | 1458k| 1.7 |4148k| 31 | 4 | 94 |1222 | 94 | 15 | 25 | 75k|2367 | 0.000000e+00 | 2.000000e+00 | Inf
236.73/236.83 c 237s|890000 | 2932 | 1474k| 1.7 |4019k| 31 | 4 | 94 |1413 | 94 | 15 | 25 | 76k|2370 | 0.000000e+00 | 2.000000e+00 | Inf
239.13/239.22 c 239s|900000 | 2553 | 1491k| 1.7 |3843k| 31 | 4 | 94 |1350 | 94 | 15 | 25 | 76k|2372 | 0.000000e+00 | 2.000000e+00 | Inf
241.53/241.66 c 242s|910000 | 1861 | 1507k| 1.7 |2995k| 31 | 4 | 94 |1148 | 94 | 15 | 25 | 77k|2376 | 0.000000e+00 | 2.000000e+00 | Inf
243.93/244.07 c 244s|920000 | 1804 | 1526k| 1.7 |3076k| 31 | - | 94 |1431 | 94 | 15 | 25 | 78k|2420 | 0.000000e+00 | 2.000000e+00 | Inf
246.33/246.45 c 246s|930000 | 1706 | 1543k| 1.7 |2859k| 31 | - | 94 | 972 | 94 | 15 | 25 | 79k|2427 | 0.000000e+00 | 2.000000e+00 | Inf
248.63/248.76 c 249s|940000 | 1668 | 1560k| 1.7 |2863k| 31 | 4 | 94 |1037 | 94 | 15 | 25 | 80k|2431 | 0.000000e+00 | 2.000000e+00 | Inf
250.93/251.06 c 251s|950000 | 1675 | 1577k| 1.7 |2839k| 31 | 4 | 94 | 930 | 94 | 15 | 25 | 81k|2436 | 0.000000e+00 | 2.000000e+00 | Inf
253.23/253.33 c 253s|960000 | 1971 | 1594k| 1.7 |3109k| 31 | - | 94 |1057 | 0 | 0 | 25 | 81k|2441 | 0.000000e+00 | 2.000000e+00 | Inf
255.52/255.68 c 256s|970000 | 1621 | 1611k| 1.7 |2902k| 31 | - | 94 |1129 | 94 | 15 | 25 | 82k|2447 | 0.000000e+00 | 2.000000e+00 | Inf
257.83/257.90 c 258s|980000 | 2045 | 1627k| 1.7 |3028k| 31 | - | 94 | 915 | 94 | 15 | 25 | 83k|2450 | 0.000000e+00 | 2.000000e+00 | Inf
260.03/260.18 c 260s|990000 | 2233 | 1644k| 1.7 |3328k| 31 | - | 94 |1012 | 94 | 15 | 25 | 84k|2455 | 0.000000e+00 | 2.000000e+00 | Inf
262.42/262.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
262.42/262.52 c 263s| 1000k| 1747 | 1660k| 1.7 |3064k| 31 | 4 | 94 |1003 | 94 | 15 | 25 | 85k|2460 | 0.000000e+00 | 2.000000e+00 | Inf
264.72/264.85 c 265s| 1010k| 1595 | 1677k| 1.7 |2893k| 31 | - | 94 |1146 | 94 | 15 | 25 | 85k|2466 | 0.000000e+00 | 2.000000e+00 | Inf
267.13/267.20 c 267s| 1020k| 1446 | 1694k| 1.7 |2781k| 31 | - | 94 |1113 | 0 | 0 | 25 | 86k|2466 | 0.000000e+00 | 2.000000e+00 | Inf
269.33/269.45 c 269s| 1030k| 2001 | 1711k| 1.7 |3179k| 31 | - | 94 |1388 | 0 | 0 | 25 | 87k|2479 | 0.000000e+00 | 2.000000e+00 | Inf
271.82/271.96 c 272s| 1040k| 2121 | 1726k| 1.7 |3428k| 31 | - | 94 |1482 | 94 | 15 | 25 | 88k|2479 | 0.000000e+00 | 2.000000e+00 | Inf
274.41/274.51 c 275s| 1050k| 1765 | 1742k| 1.7 |3288k| 31 | - | 94 |1579 | 94 | 15 | 25 | 89k|2480 | 0.000000e+00 | 2.000000e+00 | Inf
276.92/277.00 c 277s| 1060k| 1736 | 1757k| 1.7 |2884k| 31 | 4 | 94 |1080 | 94 | 15 | 25 | 90k|2487 | 0.000000e+00 | 2.000000e+00 | Inf
279.22/279.35 c 279s| 1070k| 2312 | 1775k| 1.7 |3402k| 31 | 4 | 94 |1254 | 94 | 15 | 25 | 91k|2488 | 0.000000e+00 | 2.000000e+00 | Inf
281.62/281.75 c 282s| 1080k| 2376 | 1792k| 1.7 |3584k| 31 | - | 94 |1343 | 0 | 0 | 25 | 92k|2492 | 0.000000e+00 | 2.000000e+00 | Inf
284.02/284.13 c 284s| 1090k| 1987 | 1809k| 1.7 |3406k| 31 | 4 | 94 |1318 | 94 | 15 | 25 | 93k|2494 | 0.000000e+00 | 2.000000e+00 | Inf
286.42/286.56 c 287s| 1100k| 1447 | 1825k| 1.7 |2925k| 31 | 4 | 94 |1234 | 94 | 15 | 25 | 94k|2504 | 0.000000e+00 | 2.000000e+00 | Inf
288.81/288.90 c 289s| 1110k| 1351 | 1842k| 1.7 |2872k| 31 | - | 94 |1448 | 0 | 0 | 25 | 95k|2509 | 0.000000e+00 | 2.000000e+00 | Inf
291.12/291.27 c 291s| 1120k| 1514 | 1858k| 1.7 |3049k| 31 | 4 | 94 |1601 | 94 | 15 | 25 | 95k|2510 | 0.000000e+00 | 2.000000e+00 | Inf
293.52/293.69 c 294s| 1130k| 1207 | 1875k| 1.7 |2667k| 31 | - | 94 |1177 | 94 | 15 | 25 | 96k|2510 | 0.000000e+00 | 2.000000e+00 | Inf
295.82/295.97 c 296s| 1140k| 1569 | 1892k| 1.7 |2850k| 31 | 4 | 94 |1191 | 94 | 15 | 25 | 97k|2514 | 0.000000e+00 | 2.000000e+00 | Inf
298.22/298.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
298.22/298.30 c 298s| 1150k| 1883 | 1910k| 1.7 |3176k| 31 | 4 | 94 |1249 | 94 | 15 | 25 | 98k|2523 | 0.000000e+00 | 2.000000e+00 | Inf
300.61/300.70 c 301s| 1160k| 1137 | 1927k| 1.7 |2706k| 31 | - | 94 |1274 | 0 | 0 | 25 | 99k|2524 | 0.000000e+00 | 2.000000e+00 | Inf
303.01/303.11 c 303s| 1170k| 1782 | 1943k| 1.7 |3186k| 31 | 4 | 94 |1529 | 94 | 15 | 25 | 100k|2525 | 0.000000e+00 | 2.000000e+00 | Inf
305.41/305.59 c 306s| 1180k| 1698 | 1959k| 1.7 |3215k| 31 | - | 94 |1495 | 94 | 15 | 25 | 100k|2529 | 0.000000e+00 | 2.000000e+00 | Inf
307.91/308.04 c 308s| 1190k| 1216 | 1975k| 1.7 |2725k| 31 | - | 94 |1269 | 94 | 15 | 25 | 101k|2531 | 0.000000e+00 | 2.000000e+00 | Inf
310.21/310.31 c 310s| 1200k| 1216 | 1993k| 1.7 |2584k| 31 | 4 | 94 | 947 | 94 | 15 | 25 | 102k|2531 | 0.000000e+00 | 2.000000e+00 | Inf
312.41/312.53 c 313s| 1210k| 1919 | 2011k| 1.7 |3206k| 31 | 4 | 94 |1249 | 94 | 15 | 25 | 102k|2534 | 0.000000e+00 | 2.000000e+00 | Inf
314.80/314.91 c 315s| 1220k| 1592 | 2028k| 1.7 |3105k| 31 | 4 | 94 |1172 | 94 | 15 | 25 | 103k|2535 | 0.000000e+00 | 2.000000e+00 | Inf
317.10/317.23 c 317s| 1230k| 983 | 2045k| 1.7 |2546k| 31 | 4 | 94 |1184 | 94 | 15 | 25 | 104k|2536 | 0.000000e+00 | 2.000000e+00 | Inf
319.50/319.60 c 320s| 1240k| 928 | 2061k| 1.7 |2533k| 31 | - | 94 |1247 | 94 | 15 | 25 | 105k|2543 | 0.000000e+00 | 2.000000e+00 | Inf
321.80/321.93 c 322s| 1250k| 789 | 2078k| 1.7 |2344k| 31 | 4 | 94 | 950 | 94 | 15 | 25 | 106k|2554 | 0.000000e+00 | 2.000000e+00 | Inf
324.21/324.34 c 324s| 1260k| 782 | 2095k| 1.7 |2693k| 31 | - | 94 |1895 | 94 | 15 | 25 | 107k|2560 | 0.000000e+00 | 2.000000e+00 | Inf
326.81/326.94 c 327s| 1270k| 737 | 2112k| 1.7 |2570k| 31 | - | 94 |1566 | 94 | 15 | 25 | 108k|2568 | 0.000000e+00 | 2.000000e+00 | Inf
329.11/329.23 c 329s| 1280k| 1350 | 2129k| 1.7 |2879k| 31 | 4 | 94 |1357 | 94 | 15 | 25 | 108k|2569 | 0.000000e+00 | 2.000000e+00 | Inf
331.40/331.59 c 332s| 1290k| 1151 | 2146k| 1.7 |2883k| 31 | - | 94 |1381 | 0 | 0 | 25 | 109k|2571 | 0.000000e+00 | 2.000000e+00 | Inf
333.81/333.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
333.81/333.93 c 334s| 1300k| 1081 | 2162k| 1.7 |2664k| 31 | - | 94 |1277 | 94 | 15 | 25 | 110k|2575 | 0.000000e+00 | 2.000000e+00 | Inf
336.00/336.19 c 336s| 1310k| 865 | 2179k| 1.7 |2528k| 31 | 4 | 94 |1272 | 94 | 15 | 25 | 111k|2582 | 0.000000e+00 | 2.000000e+00 | Inf
338.40/338.53 c 339s| 1320k| 785 | 2195k| 1.7 |2568k| 31 | 4 | 94 |1453 | 94 | 15 | 25 | 111k|2586 | 0.000000e+00 | 2.000000e+00 | Inf
340.91/341.05 c 341s| 1330k| 980 | 2211k| 1.7 |2799k| 31 | - | 94 |1802 | 94 | 15 | 25 | 113k|2609 | 0.000000e+00 | 2.000000e+00 | Inf
343.61/343.70 c 344s| 1340k| 750 | 2228k| 1.7 |2554k| 31 | - | 94 |1487 | 94 | 15 | 25 | 114k|2613 | 0.000000e+00 | 2.000000e+00 | Inf
346.00/346.11 c 346s| 1350k| 1067 | 2244k| 1.7 |2695k| 31 | 4 | 94 |1416 | 94 | 15 | 25 | 115k|2615 | 0.000000e+00 | 2.000000e+00 | Inf
348.40/348.53 c 349s| 1360k| 1381 | 2262k| 1.7 |3024k| 31 | 4 | 94 |1459 | 94 | 15 | 25 | 115k|2617 | 0.000000e+00 | 2.000000e+00 | Inf
350.90/351.06 c 351s| 1370k| 802 | 2278k| 1.7 |2612k| 31 | 4 | 94 |1487 | 94 | 15 | 25 | 116k|2618 | 0.000000e+00 | 2.000000e+00 | Inf
353.40/353.51 c 353s| 1380k| 1035 | 2296k| 1.7 |2615k| 31 | 4 | 94 |1309 | 94 | 15 | 25 | 116k|2635 | 0.000000e+00 | 2.000000e+00 | Inf
355.70/355.83 c 356s| 1390k| 1504 | 2314k| 1.7 |3060k| 31 | 4 | 94 |1417 | 94 | 15 | 25 | 117k|2642 | 0.000000e+00 | 2.000000e+00 | Inf
358.09/358.21 c 358s| 1400k| 878 | 2331k| 1.7 |2733k| 31 | - | 94 |1385 | 0 | 0 | 25 | 117k|2645 | 0.000000e+00 | 2.000000e+00 | Inf
360.40/360.58 c 361s| 1410k| 667 | 2347k| 1.7 |2426k| 31 | - | 94 |1248 | 0 | 0 | 25 | 118k|2649 | 0.000000e+00 | 2.000000e+00 | Inf
362.70/362.84 c 363s| 1420k| 2005 | 2366k| 1.7 |3072k| 31 | - | 94 |1195 | 94 | 15 | 25 | 118k|2650 | 0.000000e+00 | 2.000000e+00 | Inf
365.00/365.14 c 365s| 1430k| 3023 | 2384k| 1.7 |3697k| 31 | 4 | 94 |1139 | 94 | 15 | 25 | 119k|2653 | 0.000000e+00 | 2.000000e+00 | Inf
367.30/367.46 c 367s| 1440k| 3468 | 2402k| 1.7 |4098k| 31 | - | 94 |1121 | 94 | 15 | 25 | 120k|2657 | 0.000000e+00 | 2.000000e+00 | Inf
369.69/369.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
369.69/369.82 c 370s| 1450k| 3403 | 2419k| 1.7 |4244k| 31 | - | 94 |1071 | 0 | 0 | 25 | 120k|2666 | 0.000000e+00 | 2.000000e+00 | Inf
371.99/372.16 c 372s| 1460k| 3074 | 2435k| 1.7 |4263k| 31 | 4 | 94 |1236 | 94 | 15 | 25 | 121k|2682 | 0.000000e+00 | 2.000000e+00 | Inf
374.39/374.56 c 375s| 1470k| 2358 | 2452k| 1.7 |3895k| 31 | - | 94 |1114 | 94 | 15 | 25 | 122k|2693 | 0.000000e+00 | 2.000000e+00 | Inf
376.79/376.95 c 377s| 1480k| 1327 | 2469k| 1.7 |3155k| 31 | - | 94 |1066 | 0 | 0 | 25 | 123k|2709 | 0.000000e+00 | 2.000000e+00 | Inf
379.09/379.26 c 379s| 1490k| 672 | 2485k| 1.7 |2274k| 31 | 4 | 94 | 910 | 94 | 15 | 25 | 123k|2723 | 0.000000e+00 | 2.000000e+00 | Inf
381.39/381.52 c 382s| 1500k| 703 | 2502k| 1.7 |2332k| 31 | 4 | 94 | 869 | 94 | 15 | 25 | 124k|2732 | 0.000000e+00 | 2.000000e+00 | Inf
383.59/383.77 c 384s| 1510k| 664 | 2520k| 1.7 |2377k| 31 | 4 | 94 |1196 | 94 | 15 | 25 | 125k|2743 | 0.000000e+00 | 2.000000e+00 | Inf
385.89/386.04 c 386s| 1520k| 880 | 2538k| 1.7 |2441k| 31 | 4 | 94 | 901 | 94 | 15 | 25 | 126k|2748 | 0.000000e+00 | 2.000000e+00 | Inf
388.10/388.23 c 388s| 1530k| 594 | 2555k| 1.7 |2181k| 31 | 4 | 94 | 774 | 94 | 15 | 25 | 126k|2759 | 0.000000e+00 | 2.000000e+00 | Inf
390.18/390.38 c 390s| 1540k| 1035 | 2573k| 1.7 |2589k| 31 | - | 94 | 926 | 94 | 15 | 25 | 127k|2765 | 0.000000e+00 | 2.000000e+00 | Inf
392.49/392.61 c 393s| 1550k| 1242 | 2590k| 1.7 |2780k| 31 | 4 | 94 | 902 | 94 | 15 | 25 | 127k|2765 | 0.000000e+00 | 2.000000e+00 | Inf
394.70/394.85 c 395s| 1560k| 666 | 2608k| 1.7 |2221k| 31 | - | 94 | 740 | 94 | 15 | 25 | 128k|2773 | 0.000000e+00 | 2.000000e+00 | Inf
396.89/397.06 c 397s| 1570k| 581 | 2626k| 1.7 |2258k| 31 | - | 94 | 896 | 0 | 0 | 25 | 129k|2781 | 0.000000e+00 | 2.000000e+00 | Inf
399.09/399.25 c 399s| 1580k| 530 | 2644k| 1.7 |2170k| 31 | - | 94 | 825 | 94 | 15 | 25 | 129k|2787 | 0.000000e+00 | 2.000000e+00 | Inf
401.19/401.39 c 401s| 1590k| 439 | 2661k| 1.7 |2129k| 31 | 4 | 94 | 838 | 94 | 15 | 25 | 130k|2816 | 0.000000e+00 | 2.000000e+00 | Inf
403.29/403.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
403.29/403.46 c 403s| 1600k| 480 | 2678k| 1.7 |2177k| 31 | - | 94 | 879 | 94 | 15 | 25 | 130k|2819 | 0.000000e+00 | 2.000000e+00 | Inf
405.48/405.63 c 406s| 1610k| 467 | 2694k| 1.7 |2135k| 31 | - | 94 | 833 | 94 | 15 | 25 | 131k|2838 | 0.000000e+00 | 2.000000e+00 | Inf
407.59/407.77 c 408s| 1620k| 618 | 2711k| 1.7 |2291k| 31 | - | 94 | 915 | 94 | 15 | 25 | 131k|2846 | 0.000000e+00 | 2.000000e+00 | Inf
409.78/409.93 c 410s| 1630k| 606 | 2728k| 1.7 |2331k| 31 | - | 94 | 949 | 94 | 15 | 25 | 132k|2872 | 0.000000e+00 | 2.000000e+00 | Inf
411.98/412.19 c 412s| 1640k| 744 | 2744k| 1.7 |2473k| 31 | 4 | 94 |1255 | 94 | 15 | 25 | 133k|2888 | 0.000000e+00 | 2.000000e+00 | Inf
414.39/414.58 c 415s| 1650k| 676 | 2759k| 1.7 |2375k| 31 | - | 94 |1154 | 94 | 15 | 25 | 134k|2888 | 0.000000e+00 | 2.000000e+00 | Inf
416.69/416.85 c 417s| 1660k| 717 | 2777k| 1.7 |2385k| 31 | 4 | 94 |1074 | 94 | 15 | 25 | 134k|2892 | 0.000000e+00 | 2.000000e+00 | Inf
418.99/419.14 c 419s| 1670k| 417 | 2794k| 1.7 |2168k| 31 | - | 94 | 860 | 94 | 15 | 25 | 135k|2892 | 0.000000e+00 | 2.000000e+00 | Inf
421.18/421.32 c 421s| 1680k| 447 | 2811k| 1.7 |2239k| 31 | 4 | 94 |1065 | 94 | 15 | 25 | 136k|2893 | 0.000000e+00 | 2.000000e+00 | Inf
423.38/423.55 c 424s| 1690k| 262 | 2827k| 1.7 |2071k| 31 | - | 94 | 996 | 0 | 0 | 25 | 136k|2896 | 0.000000e+00 | 2.000000e+00 | Inf
425.78/425.90 c 426s| 1700k| 250 | 2844k| 1.7 |2005k| 31 | 4 | 94 | 830 | 94 | 15 | 25 | 137k|2899 | 0.000000e+00 | 2.000000e+00 | Inf
427.98/428.14 c 428s| 1710k| 650 | 2862k| 1.7 |2399k| 31 | - | 94 |1154 | 94 | 15 | 25 | 138k|2905 | 0.000000e+00 | 2.000000e+00 | Inf
430.28/430.49 c 430s| 1720k| 242 | 2880k| 1.7 |2080k| 31 | - | 94 |1058 | 94 | 15 | 25 | 139k|2910 | 0.000000e+00 | 2.000000e+00 | Inf
432.58/432.72 c 433s| 1730k| 489 | 2896k| 1.7 |2247k| 31 | - | 94 |1142 | 94 | 15 | 25 | 140k|2918 | 0.000000e+00 | 2.000000e+00 | Inf
434.87/435.09 c 435s| 1740k| 651 | 2914k| 1.7 |2458k| 31 | - | 94 |1208 | 94 | 15 | 25 | 141k|2931 | 0.000000e+00 | 2.000000e+00 | Inf
437.18/437.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
437.18/437.37 c 437s| 1750k| 1216 | 2932k| 1.7 |2811k| 31 | 4 | 94 |1190 | 94 | 15 | 25 | 142k|2934 | 0.000000e+00 | 2.000000e+00 | Inf
439.57/439.72 c 440s| 1760k| 703 | 2950k| 1.7 |2559k| 31 | 4 | 94 |1182 | 94 | 15 | 25 | 143k|2934 | 0.000000e+00 | 2.000000e+00 | Inf
441.87/442.05 c 442s| 1770k| 619 | 2969k| 1.7 |2543k| 31 | 4 | 94 |1395 | 94 | 15 | 25 | 144k|2938 | 0.000000e+00 | 2.000000e+00 | Inf
444.28/444.43 c 444s| 1780k| 616 | 2986k| 1.7 |2611k| 31 | - | 94 |1479 | 0 | 0 | 25 | 144k|2938 | 0.000000e+00 | 2.000000e+00 | Inf
446.68/446.86 c 447s| 1790k| 276 | 3004k| 1.7 |2127k| 31 | - | 94 |1213 | 0 | 0 | 25 | 145k|2940 | 0.000000e+00 | 2.000000e+00 | Inf
449.07/449.23 c 449s| 1800k| 231 | 3022k| 1.7 |2196k| 31 | - | 94 |1406 | 0 | 0 | 25 | 146k|2941 | 0.000000e+00 | 2.000000e+00 | Inf
451.48/451.60 c 452s| 1810k| 798 | 3039k| 1.7 |2637k| 31 | - | 94 |1616 | 94 | 15 | 25 | 147k|2947 | 0.000000e+00 | 2.000000e+00 | Inf
453.97/454.10 c 454s| 1820k| 640 | 3056k| 1.7 |2585k| 31 | - | 94 |1484 | 94 | 15 | 25 | 148k|2959 | 0.000000e+00 | 2.000000e+00 | Inf
456.28/456.50 c 456s| 1830k| 162 | 3073k| 1.7 |2193k| 31 | 4 | 94 |1506 | 94 | 15 | 25 | 149k|2966 | 0.000000e+00 | 2.000000e+00 | Inf
458.67/458.87 c 459s| 1840k| 178 | 3091k| 1.7 |2027k| 31 | 4 | 94 |1103 | 94 | 15 | 25 | 149k|3023 | 0.000000e+00 | 2.000000e+00 | Inf
460.87/461.07 c 461s| 1850k| 243 | 3108k| 1.7 |2006k| 31 | 4 | 94 |1035 | 94 | 15 | 25 | 150k|3023 | 0.000000e+00 | 2.000000e+00 | Inf
463.17/463.30 c 463s| 1860k| 951 | 3125k| 1.7 |2580k| 31 | - | 94 |1185 | 94 | 15 | 25 | 150k|3025 | 0.000000e+00 | 2.000000e+00 | Inf
465.46/465.64 c 466s| 1870k| 343 | 3142k| 1.7 |2245k| 31 | 4 | 94 |1095 | 94 | 15 | 25 | 151k|3036 | 0.000000e+00 | 2.000000e+00 | Inf
467.67/467.85 c 468s| 1880k| 195 | 3161k| 1.7 |2088k| 31 | - | 94 |1119 | 94 | 15 | 25 | 151k|3045 | 0.000000e+00 | 2.000000e+00 | Inf
469.87/470.07 c 470s| 1890k| 257 | 3179k| 1.7 |1979k| 31 | - | 94 | 724 | 0 | 0 | 25 | 152k|3059 | 0.000000e+00 | 2.000000e+00 | Inf
472.17/472.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
472.17/472.37 c 472s| 1900k| 30 | 3197k| 1.7 |1973k| 31 | - | 94 |1311 | 94 | 15 | 25 | 153k|3068 | 0.000000e+00 | 2.000000e+00 | Inf
472.36/472.59 c
472.36/472.59 c SCIP Status : problem is solved [optimal solution found]
472.36/472.59 c Solving Time (sec) : 472.58
472.36/472.59 c Solving Nodes : 1900975
472.36/472.59 c Primal Bound : +2.00000000000000e+00 (45 solutions)
472.36/472.59 c Dual Bound : +2.00000000000000e+00
472.36/472.59 c Gap : 0.00 %
472.36/472.59 s OPTIMUM FOUND
472.36/472.59 v 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 x69 x68 x67 -x66
472.36/472.59 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41
472.36/472.59 v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16
472.36/472.59 v -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
472.36/472.59 c SCIP Status : problem is solved [optimal solution found]
472.36/472.59 c Solving Time : 472.58
472.36/472.59 c Original Problem :
472.36/472.59 c Problem name : HOME/instance-2703903-1278562858.opb
472.36/472.59 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
472.36/472.59 c Constraints : 8 initial, 8 maximal
472.36/472.59 c Presolved Problem :
472.36/472.59 c Problem name : t_HOME/instance-2703903-1278562858.opb
472.36/472.59 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
472.36/472.59 c Constraints : 4 initial, 5472 maximal
472.36/472.59 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
472.36/472.59 c trivial : 0.00 0 0 0 0 0 0 0 0
472.36/472.59 c dualfix : 0.00 0 0 0 0 0 0 0 0
472.36/472.59 c boundshift : 0.00 0 0 0 0 0 0 0 0
472.36/472.59 c inttobinary : 0.00 0 0 0 0 0 0 0 0
472.36/472.59 c implics : 0.00 0 0 0 0 0 0 0 0
472.36/472.59 c probing : 0.00 0 0 0 0 0 0 0 0
472.36/472.59 c linear : 0.00 0 0 0 0 0 4 0 0
472.36/472.59 c logicor : 0.00 0 0 0 0 0 0 0 0
472.36/472.59 c root node : - 58 - - 58 - - - -
472.36/472.59 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
472.36/472.59 c integral : 0 0 0 971431 0 377 1344 0 0 1939388
472.36/472.59 c linear : 4+ 7 2463579 2 0 499958 3202391 0 0 0
472.36/472.59 c logicor : 0+ 0 1230804 0 0 847 79954 0 0 0
472.36/472.59 c countsols : 0 0 0 21 0 0 0 0 0 0
472.36/472.59 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
472.36/472.59 c integral : 8.76 0.00 0.00 8.76 0.00
472.36/472.59 c linear : 93.88 0.00 93.88 0.00 0.00
472.36/472.59 c logicor : 39.11 0.00 39.11 0.00 0.00
472.36/472.59 c countsols : 0.00 0.00 0.00 0.00 0.00
472.36/472.59 c Propagators : Time Calls Cutoffs DomReds
472.36/472.59 c vbounds : 0.89 2 0 0
472.36/472.59 c rootredcost : 0.87 43 0 56
472.36/472.59 c pseudoobj : 9.77 2463917 505 132983
472.36/472.59 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
472.36/472.59 c propagation : 18.20 501310 148168 222543 23.0 0 0.0 -
472.36/472.59 c infeasible LP : 0.03 722 721 854 15.5 3 22.7 0
472.36/472.59 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
472.36/472.59 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
472.36/472.59 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
472.36/472.59 c applied globally : - - - 153972 22.8 - - -
472.36/472.59 c applied locally : - - - 41 34.8 - - -
472.36/472.59 c Separators : Time Calls Cutoffs DomReds Cuts Conss
472.36/472.59 c cut pool : 0.00 5 - - 15 - (maximal pool size: 79)
472.36/472.59 c redcost : 6.13 1010428 0 433856 0 0
472.36/472.59 c impliedbounds : 0.00 6 0 0 0 0
472.36/472.59 c intobj : 0.00 0 0 0 0 0
472.36/472.59 c cgmip : 0.00 0 0 0 0 0
472.36/472.59 c gomory : 0.00 6 0 0 0 0
472.36/472.59 c strongcg : 0.00 6 0 0 6 0
472.36/472.59 c cmir : 0.02 6 0 0 38 0
472.36/472.59 c flowcover : 0.02 6 0 0 45 0
472.36/472.59 c clique : 0.00 1 0 0 0 0
472.36/472.59 c zerohalf : 0.00 0 0 0 0 0
472.36/472.59 c mcf : 0.00 1 0 0 0 0
472.36/472.59 c rapidlearning : 0.08 1 0 0 0 122
472.36/472.59 c Pricers : Time Calls Vars
472.36/472.59 c problem variables: 0.00 0 0
472.36/472.59 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
472.36/472.59 c relpscost : 7.90 971410 377 1344 0 0 1939388
472.36/472.59 c pscost : 0.00 0 0 0 0 0 0
472.36/472.59 c inference : 0.00 0 0 0 0 0 0
472.36/472.59 c mostinf : 0.00 0 0 0 0 0 0
472.36/472.59 c leastinf : 0.00 0 0 0 0 0 0
472.36/472.59 c fullstrong : 0.00 0 0 0 0 0 0
472.36/472.59 c allfullstrong : 0.00 0 0 0 0 0 0
472.36/472.59 c random : 0.00 0 0 0 0 0 0
472.36/472.59 c Primal Heuristics : Time Calls Found
472.36/472.59 c LP solutions : 0.00 - 21
472.36/472.59 c pseudo solutions : 0.00 - 0
472.36/472.59 c intshifting : 0.08 0 0
472.36/472.59 c feaspump : 0.16 1 0
472.36/472.59 c oneopt : 0.66 39 0
472.36/472.59 c veclendiving : 0.30 306 3
472.36/472.59 c guideddiving : 0.30 306 4
472.36/472.59 c pscostdiving : 0.31 307 3
472.36/472.59 c coefdiving : 0.31 307 2
472.36/472.59 c fracdiving : 0.31 307 4
472.36/472.59 c linesearchdiving : 0.31 307 3
472.36/472.59 c objpscostdiving : 0.24 192 0
472.36/472.59 c rootsoldiving : 0.39 192 2
472.36/472.59 c trivial : 0.00 2 0
472.36/472.59 c simplerounding : 0.40 0 0
472.36/472.59 c zirounding : 0.64 1000 0
472.36/472.59 c rounding : 0.86 14229 0
472.36/472.59 c shifting : 14.98 26252 2
472.36/472.59 c twoopt : 0.00 0 0
472.36/472.59 c fixandinfer : 0.00 0 0
472.36/472.59 c intdiving : 0.00 0 0
472.36/472.59 c actconsdiving : 0.00 0 0
472.36/472.59 c octane : 0.00 0 0
472.36/472.59 c rens : 0.03 1 0
472.36/472.59 c rins : 0.00 0 0
472.36/472.59 c localbranching : 0.00 0 0
472.36/472.59 c mutation : 0.00 0 0
472.36/472.59 c crossover : 0.01 0 0
472.36/472.59 c dins : 0.00 0 0
472.36/472.59 c undercover : 0.00 0 0
472.36/472.59 c nlp : 0.52 0 0
472.36/472.59 c trysol : 0.82 0 0
472.36/472.59 c LP : Time Calls Iterations Iter/call Iter/sec
472.36/472.59 c primal LP : 0.00 0 0 0.00 -
472.36/472.59 c dual LP : 122.90 1480321 3185862 2.15 25921.80
472.36/472.59 c lex dual LP : 0.00 0 0 0.00 -
472.36/472.59 c barrier LP : 0.00 0 0 0.00 -
472.36/472.59 c diving/probing LP: 0.58 5480 13371 2.44 23145.03
472.36/472.59 c strong branching : 0.53 3070 11838 3.86 22374.27
472.36/472.59 c (at root node) : - 9 309 34.33 -
472.36/472.59 c conflict analysis: 0.00 0 0 0.00 -
472.36/472.59 c B&B Tree :
472.36/472.59 c number of runs : 1
472.36/472.59 c nodes : 1900975
472.36/472.59 c nodes (total) : 1900975
472.36/472.59 c nodes left : 0
472.36/472.59 c max depth : 31
472.36/472.59 c max depth (total): 31
472.36/472.59 c backtracks : 515280 (27.1%)
472.36/472.59 c delayed cutoffs : 38091
472.36/472.59 c repropagations : 99301 (264792 domain reductions, 37792 cutoffs)
472.36/472.59 c avg switch length: 4.50
472.36/472.59 c switching time : 72.71
472.36/472.59 c Solution :
472.36/472.59 c Solutions found : 45 (43 improvements)
472.36/472.59 c First Solution : +4.11000000000000e+02 (in run 1, after 1 nodes, 0.08 seconds, depth 0, found by <trysol>)
472.36/472.59 c Primal Bound : +2.00000000000000e+00 (in run 1, after 14435 nodes, 5.06 seconds, depth 23, found by <relaxation>)
472.36/472.59 c Dual Bound : +2.00000000000000e+00
472.36/472.59 c Gap : 0.00 %
472.36/472.59 c Root Dual Bound : +0.00000000000000e+00
472.36/472.59 c Root Iterations : 73
472.47/472.60 c Time complete: 472.47.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703903-1278562858/watcher-2703903-1278562858 -o /tmp/evaluation-result-2703903-1278562858/solver-2703903-1278562858 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703903-1278562858.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.02 1.01 1.00 3/105 31323
/proc/meminfo: memFree=1859520/2059040 swapFree=4135728/4192956
[pid=31323] ppid=31321 vsize=8936 CPUtime=0
/proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 1319 0 0 0 0 0 0 0 25 0 1 0 24494140 9150464 1230 1992294400 4194304 8395647 140737421674016 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31323/statm: 2234 1239 374 1026 0 1204 0
[startup+0.047183 s]
/proc/loadavg: 1.02 1.01 1.00 3/105 31323
/proc/meminfo: memFree=1859520/2059040 swapFree=4135728/4192956
[pid=31323] ppid=31321 vsize=22112 CPUtime=0.04
/proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 4789 0 0 0 3 1 0 0 25 0 1 0 24494140 22642688 4347 1992294400 4194304 8395647 140737421674016 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31323/statm: 5528 4347 597 1026 0 4498 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 22112
[startup+0.101188 s]
/proc/loadavg: 1.02 1.01 1.00 3/105 31323
/proc/meminfo: memFree=1859520/2059040 swapFree=4135728/4192956
[pid=31323] ppid=31321 vsize=22528 CPUtime=0.09
/proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 4915 0 0 0 7 2 0 0 25 0 1 0 24494140 23068672 4473 1992294400 4194304 8395647 140737421674016 18446744073709551615 4288140 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31323/statm: 5632 4473 601 1026 0 4602 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22528
[startup+0.301211 s]
/proc/loadavg: 1.02 1.01 1.00 3/105 31323
/proc/meminfo: memFree=1859520/2059040 swapFree=4135728/4192956
[pid=31323] ppid=31321 vsize=23616 CPUtime=0.3
/proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5463 0 0 0 26 4 0 0 25 0 1 0 24494140 24182784 5021 1992294400 4194304 8395647 140737421674016 18446744073709551615 6335350 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31323/statm: 5904 5021 622 1026 0 4874 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 23616
[startup+0.701255 s]
/proc/loadavg: 1.02 1.01 1.00 3/105 31323
/proc/meminfo: memFree=1859520/2059040 swapFree=4135728/4192956
[pid=31323] ppid=31321 vsize=23616 CPUtime=0.69
/proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5464 0 0 0 63 6 0 0 25 0 1 0 24494140 24182784 5022 1992294400 4194304 8395647 140737421674016 18446744073709551615 6311197 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31323/statm: 5904 5022 622 1026 0 4874 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23616
[startup+1.50135 s]
/proc/loadavg: 1.02 1.01 1.00 2/106 31324
/proc/meminfo: memFree=1841780/2059040 swapFree=4135728/4192956
[pid=31323] ppid=31321 vsize=23616 CPUtime=1.49
/proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5469 0 0 0 140 9 0 0 25 0 1 0 24494140 24182784 5027 1992294400 4194304 8395647 140737421674016 18446744073709551615 5540795 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31323/statm: 5904 5027 623 1026 0 4874 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23616
[startup+3.10153 s]
/proc/loadavg: 1.02 1.01 1.00 2/106 31324
/proc/meminfo: memFree=1841408/2059040 swapFree=4135728/4192956
[pid=31323] ppid=31321 vsize=23616 CPUtime=3.09
/proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5477 0 0 0 295 14 0 0 25 0 1 0 24494140 24182784 5035 1992294400 4194304 8395647 140737421674016 18446744073709551615 5005934 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31323/statm: 5904 5035 623 1026 0 4874 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23616
[startup+6.30089 s]
/proc/loadavg: 1.02 1.01 1.00 2/106 31324
/proc/meminfo: memFree=1841036/2059040 swapFree=4135728/4192956
[pid=31323] ppid=31321 vsize=23616 CPUtime=6.29
/proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5481 0 0 0 606 23 0 0 25 0 1 0 24494140 24182784 5039 1992294400 4194304 8395647 140737421674016 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31323/statm: 5904 5039 623 1026 0 4874 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23616
[startup+12.7006 s]
/proc/loadavg: 1.02 1.01 1.00 2/106 31324
/proc/meminfo: memFree=1841036/2059040 swapFree=4135728/4192956
[pid=31323] ppid=31321 vsize=23616 CPUtime=12.68
/proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5485 0 0 0 1229 39 0 0 25 0 1 0 24494140 24182784 5043 1992294400 4194304 8395647 140737421674016 18446744073709551615 4216931 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31323/statm: 5904 5043 623 1026 0 4874 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 23616
[startup+25.5011 s]
/proc/loadavg: 1.02 1.01 1.00 2/106 31325
/proc/meminfo: memFree=1841036/2059040 swapFree=4135728/4192956
[pid=31323] ppid=31321 vsize=23616 CPUtime=25.49
/proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5485 0 0 0 2484 65 0 0 25 0 1 0 24494140 24182784 5043 1992294400 4194304 8395647 140737421674016 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31323/statm: 5904 5043 623 1026 0 4874 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 23616
[startup+51.101 s]
/proc/loadavg: 1.01 1.01 1.00 2/106 31326
/proc/meminfo: memFree=1841036/2059040 swapFree=4135728/4192956
[pid=31323] ppid=31321 vsize=23616 CPUtime=51.08
/proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5487 0 0 0 4983 125 0 0 25 0 1 0 24494140 24182784 5045 1992294400 4194304 8395647 140737421674016 18446744073709551615 4601515 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31323/statm: 5904 5045 623 1026 0 4874 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 23616
[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31327
/proc/meminfo: memFree=1841036/2059040 swapFree=4135728/4192956
[pid=31323] ppid=31321 vsize=23616 CPUtime=102.27
/proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5488 0 0 0 9953 274 0 0 25 0 1 0 24494140 24182784 5046 1992294400 4194304 8395647 140737421674016 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31323/statm: 5904 5046 623 1026 0 4874 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 23616
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31328
/proc/meminfo: memFree=1841036/2059040 swapFree=4135728/4192956
[pid=31323] ppid=31321 vsize=23616 CPUtime=162.25
/proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5488 0 0 0 15749 476 0 0 25 0 1 0 24494140 24182784 5046 1992294400 4194304 8395647 140737421674016 18446744073709551615 4243512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31323/statm: 5904 5046 623 1026 0 4874 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 23616
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31330
/proc/meminfo: memFree=1840912/2059040 swapFree=4135728/4192956
[pid=31323] ppid=31321 vsize=23616 CPUtime=222.24
/proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5488 0 0 0 21552 672 0 0 25 0 1 0 24494140 24182784 5046 1992294400 4194304 8395647 140737421674016 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31323/statm: 5904 5046 623 1026 0 4874 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 23616
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31332
/proc/meminfo: memFree=1840788/2059040 swapFree=4135728/4192956
[pid=31323] ppid=31321 vsize=23616 CPUtime=282.22
/proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5488 0 0 0 27348 874 0 0 25 0 1 0 24494140 24182784 5046 1992294400 4194304 8395647 140737421674016 18446744073709551615 4216639 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31323/statm: 5904 5046 623 1026 0 4874 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 23616
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31334
/proc/meminfo: memFree=1840664/2059040 swapFree=4135728/4192956
[pid=31323] ppid=31321 vsize=23616 CPUtime=342.2
/proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5488 0 0 0 33134 1086 0 0 25 0 1 0 24494140 24182784 5046 1992294400 4194304 8395647 140737421674016 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31323/statm: 5904 5046 623 1026 0 4874 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 23616
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31335
/proc/meminfo: memFree=1840540/2059040 swapFree=4135728/4192956
[pid=31323] ppid=31321 vsize=23616 CPUtime=402.18
/proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5488 0 0 0 38914 1304 0 0 25 0 1 0 24494140 24182784 5046 1992294400 4194304 8395647 140737421674016 18446744073709551615 6345893 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31323/statm: 5904 5046 623 1026 0 4874 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 23616
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31336
/proc/meminfo: memFree=1840540/2059040 swapFree=4135728/4192956
[pid=31323] ppid=31321 vsize=23616 CPUtime=462.17
/proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5488 0 0 0 44697 1520 0 0 25 0 1 0 24494140 24182784 5046 1992294400 4194304 8395647 140737421674016 18446744073709551615 4471727 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31323/statm: 5904 5046 623 1026 0 4874 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 23616
Solver just ended. Dumping a history of the last processes samples
[startup+467.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31336
/proc/meminfo: memFree=1840540/2059040 swapFree=4135728/4192956
[pid=31323] ppid=31321 vsize=23616 CPUtime=466.96
/proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5488 0 0 0 45159 1537 0 0 25 0 1 0 24494140 24182784 5046 1992294400 4194304 8395647 140737421674016 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31323/statm: 5904 5046 623 1026 0 4874 0
Current children cumulated CPU time (s) 466.96
Current children cumulated vsize (KiB) 23616
[startup+470.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31336
/proc/meminfo: memFree=1840540/2059040 swapFree=4135728/4192956
[pid=31323] ppid=31321 vsize=23616 CPUtime=470.17
/proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5488 0 0 0 45467 1550 0 0 25 0 1 0 24494140 24182784 5046 1992294400 4194304 8395647 140737421674016 18446744073709551615 4631817 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31323/statm: 5904 5046 623 1026 0 4874 0
Current children cumulated CPU time (s) 470.17
Current children cumulated vsize (KiB) 23616
[startup+471.909 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31336
/proc/meminfo: memFree=1840540/2059040 swapFree=4135728/4192956
[pid=31323] ppid=31321 vsize=23616 CPUtime=471.78
/proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5488 0 0 0 45622 1556 0 0 25 0 1 0 24494140 24182784 5046 1992294400 4194304 8395647 140737421674016 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31323/statm: 5904 5046 623 1026 0 4874 0
Current children cumulated CPU time (s) 471.78
Current children cumulated vsize (KiB) 23616
[startup+472.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31336
/proc/meminfo: memFree=1840540/2059040 swapFree=4135728/4192956
[pid=31323] ppid=31321 vsize=23616 CPUtime=472.17
/proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5488 0 0 0 45660 1557 0 0 25 0 1 0 24494140 24182784 5046 1992294400 4194304 8395647 140737421674016 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31323/statm: 5904 5046 623 1026 0 4874 0
Current children cumulated CPU time (s) 472.17
Current children cumulated vsize (KiB) 23616
[startup+472.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31336
/proc/meminfo: memFree=1840540/2059040 swapFree=4135728/4192956
[pid=31323] ppid=31321 vsize=23616 CPUtime=472.36
/proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5488 0 0 0 45678 1558 0 0 25 0 1 0 24494140 24182784 5046 1992294400 4194304 8395647 140737421674016 18446744073709551615 5027356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31323/statm: 5904 5046 623 1026 0 4874 0
Current children cumulated CPU time (s) 472.36
Current children cumulated vsize (KiB) 23616
[startup+472.602 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31336
/proc/meminfo: memFree=1840540/2059040 swapFree=4135728/4192956
[pid=31323] ppid=31321 vsize=23616 CPUtime=472.47
/proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5490 0 0 0 45688 1559 0 0 18 0 1 0 24494140 24182784 5048 1992294400 4194304 8395647 140737421674016 18446744073709551615 4288144 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31323/statm: 5904 5048 625 1026 0 4874 0
Current children cumulated CPU time (s) 472.47
Current children cumulated vsize (KiB) 23616
Child status: 0
Real time (s): 472.608
CPU time (s): 472.483
CPU user time (s): 456.888
CPU system time (s): 15.5956
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 23616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 456.888
system time used= 15.5956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5493
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 6007
runsolver used 0.750885 second user time and 2.28165 second system time
The end