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-2667082-1276599317.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.2
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 = 1800
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 # 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 # 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 | 17 | - | 350k| 0 | 4 | 94 | 4 | 94 | 4 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.10 o 540
0.03/0.10 c y 0.1s| 1 | 0 | 30 | - | 374k| 0 | 4 | 94 | 4 | 94 | 4 | 0 | 0 | 0 | 0.000000e+00 | 5.400000e+02 | Inf
0.09/0.10 c 0.1s| 1 | 0 | 37 | - | 516k| 0 | 9 | 94 | 116 | 94 | 9 | 5 | 0 | 0 | 0.000000e+00 | 5.400000e+02 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 48 | - | 549k| 0 | 9 | 94 | 116 | 94 | 13 | 9 | 0 | 0 | 0.000000e+00 | 5.400000e+02 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 67 | - | 581k| 0 | 13 | 94 | 116 | 94 | 18 | 14 | 0 | 0 | 0.000000e+00 | 5.400000e+02 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 76 | - | 614k| 0 | 14 | 94 | 116 | 94 | 22 | 18 | 0 | 0 | 0.000000e+00 | 5.400000e+02 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 99 | - | 628k| 0 | 16 | 94 | 116 | 94 | 27 | 23 | 0 | 0 | 0.000000e+00 | 5.400000e+02 | Inf
0.09/0.16 c 0.1s| 1 | 0 | 104 | - | 634k| 0 | 17 | 94 | 116 | 94 | 31 | 27 | 0 | 0 | 0.000000e+00 | 5.400000e+02 | Inf
0.29/0.30 c 0.2s| 1 | 2 | 104 | - | 635k| 0 | 17 | 94 | 116 | 94 | 31 | 27 | 0 | 9 | 0.000000e+00 | 5.400000e+02 | Inf
0.29/0.34 o 231
0.29/0.34 c c 0.3s| 31 | 30 | 268 | 5.5 | 672k| 29 | - | 94 | 116 | 94 | 17 | 27 | 1 | 111 | 0.000000e+00 | 2.310000e+02 | Inf
0.29/0.36 o 229
0.29/0.36 c p 0.3s| 44 | 43 | 321 | 5.0 | 684k| 29 | - | 94 | 117 | 94 | 17 | 27 | 3 | 156 | 0.000000e+00 | 2.290000e+02 | Inf
0.29/0.37 o 228
0.29/0.37 c f 0.3s| 57 | 55 | 361 | 4.6 | 691k| 29 | - | 94 | 117 | 94 | 17 | 27 | 3 | 187 | 0.000000e+00 | 2.280000e+02 | Inf
0.29/0.37 o 226
0.29/0.37 c v 0.3s| 57 | 55 | 363 | 4.6 | 700k| 29 | - | 94 | 117 | 94 | 17 | 27 | 4 | 187 | 0.000000e+00 | 2.260000e+02 | Inf
0.29/0.39 o 225
0.29/0.39 c * 0.3s| 79 | 72 | 421 | 4.1 | 714k| 29 | - | 94 | 118 | 94 | 17 | 27 | 5 | 233 | 0.000000e+00 | 2.250000e+02 | Inf
0.29/0.39 o 223
0.29/0.39 c * 0.3s| 80 | 70 | 421 | 4.0 | 715k| 29 | - | 94 | 118 | 94 | 17 | 27 | 5 | 233 | 0.000000e+00 | 2.230000e+02 | Inf
0.49/0.50 o 222
0.49/0.50 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.50 c * 0.4s| 230 | 211 | 1048 | 4.1 | 788k| 29 | - | 94 | 124 | 94 | 17 | 27 | 14 | 333 | 0.000000e+00 | 2.220000e+02 | Inf
0.49/0.50 o 220
0.49/0.50 c l 0.4s| 233 | 211 | 1053 | 4.1 | 791k| 29 | - | 94 | 125 | 94 | 17 | 27 | 15 | 339 | 0.000000e+00 | 2.200000e+02 | Inf
0.49/0.51 o 152
0.49/0.51 c g 0.4s| 246 | 208 | 1097 | 4.1 | 792k| 29 | - | 94 | 125 | 94 | 17 | 27 | 15 | 340 | 0.000000e+00 | 1.520000e+02 | Inf
0.49/0.53 o 150
0.49/0.53 c * 0.5s| 273 | 231 | 1188 | 4.0 | 798k| 31 | - | 94 | 125 | 94 | 17 | 27 | 15 | 373 | 0.000000e+00 | 1.500000e+02 | Inf
0.49/0.53 o 148
0.49/0.53 c * 0.5s| 274 | 227 | 1188 | 4.0 | 798k| 31 | - | 94 | 125 | 94 | 17 | 27 | 15 | 373 | 0.000000e+00 | 1.480000e+02 | Inf
0.49/0.55 o 145
0.49/0.55 c * 0.5s| 302 | 249 | 1259 | 3.8 | 815k| 31 | - | 94 | 126 | 94 | 17 | 27 | 16 | 403 | 0.000000e+00 | 1.450000e+02 | Inf
0.49/0.56 o 144
0.49/0.56 c * 0.5s| 314 | 256 | 1287 | 3.8 | 823k| 31 | - | 94 | 126 | 94 | 17 | 27 | 16 | 414 | 0.000000e+00 | 1.440000e+02 | Inf
0.49/0.56 o 143
0.49/0.56 c * 0.5s| 331 | 268 | 1342 | 3.8 | 835k| 31 | - | 94 | 127 | 94 | 17 | 27 | 17 | 424 | 0.000000e+00 | 1.430000e+02 | Inf
0.59/0.60 o 141
0.59/0.60 c v 0.5s| 391 | 320 | 1541 | 3.7 | 866k| 31 | - | 94 | 129 | 94 | 17 | 27 | 19 | 442 | 0.000000e+00 | 1.410000e+02 | Inf
0.59/0.62 o 139
0.59/0.62 c * 0.5s| 436 | 358 | 1722 | 3.7 | 891k| 31 | - | 94 | 132 | 94 | 17 | 27 | 26 | 462 | 0.000000e+00 | 1.390000e+02 | Inf
0.59/0.62 o 137
0.59/0.62 c * 0.5s| 438 | 358 | 1722 | 3.7 | 893k| 31 | - | 94 | 132 | 94 | 17 | 27 | 26 | 462 | 0.000000e+00 | 1.370000e+02 | Inf
0.59/0.63 o 135
0.59/0.63 c * 0.5s| 439 | 354 | 1722 | 3.7 | 892k| 31 | - | 94 | 132 | 94 | 17 | 27 | 26 | 462 | 0.000000e+00 | 1.350000e+02 | Inf
0.59/0.63 o 126
0.59/0.63 c c 0.6s| 453 | 357 | 1765 | 3.7 | 896k| 31 | - | 94 | 132 | 94 | 17 | 27 | 26 | 470 | 0.000000e+00 | 1.260000e+02 | Inf
0.59/0.64 o 125
0.59/0.64 c p 0.6s| 467 | 369 | 1800 | 3.6 | 905k| 31 | - | 94 | 111 | 94 | 17 | 27 | 27 | 476 | 0.000000e+00 | 1.250000e+02 | Inf
0.59/0.66 o 124
0.59/0.66 c f 0.6s| 492 | 390 | 1883 | 3.6 | 922k| 31 | - | 94 | 111 | 94 | 17 | 27 | 29 | 492 | 0.000000e+00 | 1.240000e+02 | Inf
0.59/0.67 o 123
0.59/0.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.67 c v 0.6s| 507 | 402 | 1927 | 3.6 | 928k| 31 | - | 94 | 112 | 94 | 17 | 27 | 30 | 499 | 0.000000e+00 | 1.230000e+02 | Inf
0.59/0.67 o 122
0.59/0.67 c * 0.6s| 519 | 412 | 1960 | 3.6 | 932k| 31 | - | 94 | 112 | 94 | 17 | 27 | 30 | 502 | 0.000000e+00 | 1.220000e+02 | Inf
0.59/0.68 o 120
0.59/0.68 c l 0.6s| 522 | 412 | 1963 | 3.6 | 936k| 31 | - | 94 | 112 | 94 | 17 | 27 | 31 | 506 | 0.000000e+00 | 1.200000e+02 | Inf
0.59/0.68 o 118
0.59/0.68 c g 0.6s| 522 | 410 | 1963 | 3.6 | 936k| 31 | - | 94 | 112 | 94 | 17 | 27 | 32 | 506 | 0.000000e+00 | 1.180000e+02 | Inf
0.69/0.73 o 92
0.69/0.73 c s 0.6s| 617 | 452 | 2276 | 3.5 | 952k| 31 | 4 | 94 | 115 | 94 | 17 | 27 | 44 | 512 | 0.000000e+00 | 9.200000e+01 | Inf
0.69/0.73 o 90
0.69/0.73 c v 0.6s| 617 | 446 | 2287 | 3.5 | 956k| 31 | - | 94 | 115 | 94 | 17 | 27 | 45 | 513 | 0.000000e+00 | 9.000000e+01 | Inf
0.69/0.77 o 89
0.69/0.77 c l 0.7s| 687 | 509 | 2637 | 3.7 | 994k| 31 | - | 94 | 120 | 94 | 17 | 27 | 51 | 519 | 0.000000e+00 | 8.900000e+01 | Inf
0.69/0.77 o 87
0.69/0.77 c g 0.7s| 687 | 504 | 2637 | 3.7 | 993k| 31 | - | 94 | 120 | 94 | 17 | 27 | 52 | 519 | 0.000000e+00 | 8.700000e+01 | Inf
0.79/0.86 o 85
0.79/0.86 c l 0.8s| 807 | 608 | 3358 | 4.0 |1060k| 31 | - | 94 | 135 | 94 | 17 | 27 | 80 | 528 | 0.000000e+00 | 8.500000e+01 | Inf
0.79/0.86 o 67
0.79/0.86 c g 0.8s| 811 | 584 | 3381 | 4.0 |1050k| 31 | - | 94 | 135 | 94 | 17 | 27 | 80 | 528 | 0.000000e+00 | 6.700000e+01 | Inf
0.79/0.89 o 65
0.79/0.89 c * 0.8s| 851 | 619 | 3600 | 4.1 |1070k| 31 | - | 94 | 138 | 94 | 17 | 27 | 87 | 529 | 0.000000e+00 | 6.500000e+01 | Inf
0.89/0.95 o 42
0.89/0.95 c g 0.8s| 914 | 579 | 3973 | 4.2 |1070k| 31 | - | 94 | 147 | 94 | 17 | 27 | 101 | 533 | 0.000000e+00 | 4.200000e+01 | Inf
0.89/0.99 o 40
0.89/0.99 c f 0.9s| 1004 | 654 | 4319 | 4.2 |1112k| 31 | - | 94 | 154 | 94 | 17 | 27 | 114 | 538 | 0.000000e+00 | 4.000000e+01 | Inf
1.00/1.03 o 39
1.00/1.03 c * 0.9s| 1070 | 700 | 4607 | 4.2 |1137k| 31 | - | 94 | 157 | 94 | 17 | 27 | 122 | 540 | 0.000000e+00 | 3.900000e+01 | Inf
1.10/1.12 o 38
1.10/1.12 c v 1.0s| 1228 | 821 | 5315 | 4.2 |1216k| 31 | - | 94 | 178 | 94 | 17 | 27 | 152 | 546 | 0.000000e+00 | 3.800000e+01 | Inf
1.10/1.12 o 36
1.10/1.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.10/1.12 c f 1.0s| 1228 | 813 | 5315 | 4.2 |1214k| 31 | - | 94 | 179 | 94 | 17 | 27 | 154 | 546 | 0.000000e+00 | 3.600000e+01 | Inf
1.39/1.41 o 34
1.39/1.41 c C 1.2s| 1428 | 942 | 6523 | 4.5 |1291k| 31 | 4 | 94 | 202 | 94 | 17 | 27 | 194 | 548 | 0.000000e+00 | 3.400000e+01 | Inf
1.59/1.68 o 32
1.59/1.68 c * 1.5s| 1822 | 1149 | 8810 | 4.8 |1444k| 31 | - | 94 | 248 | 94 | 17 | 27 | 282 | 549 | 0.000000e+00 | 3.200000e+01 | Inf
1.59/1.68 o 30
1.59/1.68 c * 1.5s| 1824 | 1132 | 8810 | 4.8 |1424k| 31 | - | 94 | 128 | 94 | 17 | 27 | 282 | 549 | 0.000000e+00 | 3.000000e+01 | Inf
1.59/1.68 o 28
1.59/1.68 c * 1.5s| 1825 | 1112 | 8810 | 4.8 |1412k| 31 | - | 94 | 128 | 94 | 17 | 27 | 282 | 549 | 0.000000e+00 | 2.800000e+01 | Inf
1.79/1.84 o 20
1.79/1.84 c c 1.6s| 2101 | 1206 | 10186 | 4.8 |1477k| 31 | - | 94 | 196 | 94 | 17 | 27 | 369 | 559 | 0.000000e+00 | 2.000000e+01 | Inf
1.79/1.87 o 19
1.79/1.87 c g 1.6s| 2145 | 1228 | 10471 | 4.8 |1485k| 31 | - | 94 | 207 | 94 | 17 | 27 | 380 | 559 | 0.000000e+00 | 1.900000e+01 | Inf
1.89/1.91 o 18
1.89/1.91 c * 1.7s| 2210 | 1249 | 10744 | 4.8 |1497k| 31 | - | 94 | 211 | 94 | 17 | 27 | 386 | 559 | 0.000000e+00 | 1.800000e+01 | Inf
2.10/2.19 o 14
2.10/2.19 c * 1.9s| 2667 | 1422 | 13037 | 4.9 |1627k| 31 | - | 94 | 324 | 94 | 17 | 27 | 518 | 563 | 0.000000e+00 | 1.400000e+01 | Inf
2.20/2.25 o 6
2.20/2.25 c * 2.0s| 2780 | 1281 | 13602 | 4.9 |1521k| 31 | - | 94 | 332 | 94 | 17 | 27 | 535 | 566 | 0.000000e+00 | 6.000000e+00 | Inf
4.69/4.71 c 4.2s| 10000 | 2141 | 31883 | 3.2 |2192k| 31 | 4 | 94 | 728 | 94 | 17 | 27 |1033 | 669 | 0.000000e+00 | 6.000000e+00 | Inf
5.29/5.31 o 5
5.29/5.31 c * 4.8s| 11764 | 2190 | 35860 | 3.0 |2292k| 31 | - | 94 | 857 | 94 | 17 | 27 |1169 | 698 | 0.000000e+00 | 5.000000e+00 | Inf
7.99/8.00 c 7.2s| 20000 | 2124 | 53656 | 2.7 |2501k| 31 | 4 | 94 |1318 | 94 | 17 | 27 |1702 | 865 | 0.000000e+00 | 5.000000e+00 | Inf
11.29/11.31 c 10.2s| 30000 | 2053 | 75149 | 2.5 |2759k| 31 | 4 | 94 |1871 | 94 | 17 | 27 |2323 |1014 | 0.000000e+00 | 5.000000e+00 | Inf
14.89/14.92 c 13.6s| 40000 | 2283 | 96785 | 2.4 |3148k| 31 | - | 94 |2366 | 94 | 17 | 27 |2912 |1181 | 0.000000e+00 | 5.000000e+00 | Inf
15.58/15.66 o 3
15.58/15.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.58/15.66 c *14.2s| 42017 | 2370 |101023 | 2.4 |3237k| 31 | - | 94 |2451 | 94 | 17 | 27 |3013 |1203 | 0.000000e+00 | 3.000000e+00 | Inf
18.38/18.40 c 16.7s| 50000 | 2474 |117232 | 2.3 |3517k| 31 | - | 94 |2764 | 0 | 0 | 27 |3411 |1225 | 0.000000e+00 | 3.000000e+00 | Inf
22.09/22.15 c 20.2s| 60000 | 2275 |137523 | 2.3 |3619k| 31 | - | 94 |3139 | 94 | 17 | 27 |3960 |1242 | 0.000000e+00 | 3.000000e+00 | Inf
25.99/26.03 c 23.8s| 70000 | 2126 |158686 | 2.3 |3658k| 31 | 4 | 94 |3316 | 94 | 17 | 27 |4543 |1301 | 0.000000e+00 | 3.000000e+00 | Inf
27.19/27.28 o 2
27.19/27.28 c *24.9s| 73237 | 2003 |165361 | 2.3 |3545k| 31 | - | 94 |3219 | 94 | 17 | 27 |4717 |1317 | 0.000000e+00 | 2.000000e+00 | Inf
29.78/29.81 c 27.3s| 80000 | 2513 |179748 | 2.2 |3760k| 31 | 4 | 94 |2878 | 94 | 17 | 27 |5100 |1366 | 0.000000e+00 | 2.000000e+00 | Inf
33.28/33.34 c 30.5s| 90000 | 2977 |201034 | 2.2 |4115k| 31 | 4 | 94 |2830 | 94 | 17 | 27 |5661 |1374 | 0.000000e+00 | 2.000000e+00 | Inf
36.78/36.87 c 33.8s|100000 | 2678 |221952 | 2.2 |3969k| 31 | - | 94 |2560 | 94 | 17 | 27 |6167 |1381 | 0.000000e+00 | 2.000000e+00 | Inf
40.28/40.31 c 37.0s|110000 | 2341 |242657 | 2.2 |3710k| 31 | - | 94 |2466 | 94 | 17 | 27 |6750 |1394 | 0.000000e+00 | 2.000000e+00 | Inf
43.58/43.60 c 40.0s|120000 | 2007 |263047 | 2.2 |3126k| 31 | 4 | 94 |1882 | 94 | 17 | 27 |7232 |1403 | 0.000000e+00 | 2.000000e+00 | Inf
46.58/46.64 c 42.7s|130000 | 1848 |283937 | 2.2 |2866k| 31 | 4 | 94 |1514 | 94 | 17 | 27 |7772 |1451 | 0.000000e+00 | 2.000000e+00 | Inf
49.48/49.53 c 45.3s|140000 | 1840 |305087 | 2.2 |2927k| 31 | - | 94 |1534 | 94 | 17 | 27 |8196 |1727 | 0.000000e+00 | 2.000000e+00 | Inf
52.38/52.44 c 47.9s|150000 | 2075 |326604 | 2.2 |3126k| 31 | - | 94 |1729 | 94 | 17 | 27 |8694 |1739 | 0.000000e+00 | 2.000000e+00 | Inf
55.18/55.29 c 50.5s|160000 | 1828 |347309 | 2.2 |3010k| 31 | - | 94 |1744 | 94 | 17 | 27 |9126 |1755 | 0.000000e+00 | 2.000000e+00 | Inf
58.18/58.20 c 53.1s|170000 | 1757 |368712 | 2.2 |2950k| 31 | 4 | 94 |1747 | 94 | 17 | 27 |9655 |1767 | 0.000000e+00 | 2.000000e+00 | Inf
61.07/61.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.07/61.10 c 55.7s|180000 | 1706 |389933 | 2.2 |2807k| 31 | 4 | 94 |1370 | 94 | 17 | 27 | 10k|1831 | 0.000000e+00 | 2.000000e+00 | Inf
63.87/63.91 c 58.2s|190000 | 1734 |411158 | 2.2 |2889k| 31 | 4 | 94 |1480 | 94 | 17 | 27 | 10k|1853 | 0.000000e+00 | 2.000000e+00 | Inf
66.67/66.71 c 60.7s|200000 | 1678 |432355 | 2.2 |2777k| 31 | - | 94 |1339 | 94 | 17 | 27 | 11k|1895 | 0.000000e+00 | 2.000000e+00 | Inf
69.37/69.49 c 63.2s|210000 | 1643 |453721 | 2.2 |2701k| 31 | - | 94 |1141 | 94 | 17 | 27 | 11k|1910 | 0.000000e+00 | 2.000000e+00 | Inf
72.07/72.12 c 65.6s|220000 | 1524 |474694 | 2.2 |2594k| 31 | - | 94 | 992 | 94 | 17 | 27 | 12k|1931 | 0.000000e+00 | 2.000000e+00 | Inf
74.57/74.69 c 67.9s|230000 | 1532 |495480 | 2.2 |2643k| 31 | 4 | 94 |1037 | 94 | 17 | 27 | 12k|1940 | 0.000000e+00 | 2.000000e+00 | Inf
77.17/77.27 c 70.2s|240000 | 1361 |516237 | 2.2 |2480k| 31 | - | 94 | 856 | 0 | 0 | 27 | 12k|1961 | 0.000000e+00 | 2.000000e+00 | Inf
79.87/79.95 c 72.6s|250000 | 1520 |538904 | 2.2 |2667k| 31 | - | 94 | 920 | 94 | 17 | 27 | 13k|1964 | 0.000000e+00 | 2.000000e+00 | Inf
82.57/82.61 c 75.0s|260000 | 1432 |561352 | 2.2 |2569k| 31 | - | 94 | 966 | 94 | 17 | 27 | 13k|1985 | 0.000000e+00 | 2.000000e+00 | Inf
85.27/85.31 c 77.4s|270000 | 1824 |583073 | 2.2 |2920k| 31 | 4 | 94 |1117 | 94 | 17 | 27 | 14k|2002 | 0.000000e+00 | 2.000000e+00 | Inf
87.88/87.98 c 79.8s|280000 | 2085 |604044 | 2.2 |3221k| 31 | 4 | 94 |1236 | 94 | 17 | 27 | 14k|2017 | 0.000000e+00 | 2.000000e+00 | Inf
90.66/90.79 c 82.3s|290000 | 1546 |625465 | 2.2 |2800k| 31 | 4 | 94 |1084 | 94 | 17 | 27 | 15k|2029 | 0.000000e+00 | 2.000000e+00 | Inf
93.38/93.45 c 84.7s|300000 | 1799 |646334 | 2.2 |2897k| 31 | - | 94 |1150 | 94 | 17 | 27 | 15k|2038 | 0.000000e+00 | 2.000000e+00 | Inf
96.06/96.12 c 87.1s|310000 | 1817 |666730 | 2.2 |3075k| 31 | - | 94 |1289 | 94 | 17 | 27 | 16k|2047 | 0.000000e+00 | 2.000000e+00 | Inf
98.77/98.89 c 89.6s|320000 | 2111 |688397 | 2.2 |3353k| 31 | - | 94 |1317 | 94 | 17 | 27 | 16k|2050 | 0.000000e+00 | 2.000000e+00 | Inf
101.46/101.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
101.46/101.55 c 91.9s|330000 | 2105 |709173 | 2.1 |3394k| 31 | - | 94 |1272 | 0 | 0 | 27 | 17k|2056 | 0.000000e+00 | 2.000000e+00 | Inf
104.26/104.30 c 94.4s|340000 | 1442 |730072 | 2.1 |2635k| 31 | - | 94 |1048 | 94 | 17 | 27 | 17k|2084 | 0.000000e+00 | 2.000000e+00 | Inf
106.87/106.94 c 96.8s|350000 | 1541 |750602 | 2.1 |2697k| 31 | 4 | 94 |1104 | 94 | 17 | 27 | 18k|2107 | 0.000000e+00 | 2.000000e+00 | Inf
109.47/109.58 c 99.2s|360000 | 1670 |770948 | 2.1 |2915k| 31 | - | 94 |1278 | 94 | 17 | 27 | 18k|2124 | 0.000000e+00 | 2.000000e+00 | Inf
112.17/112.28 c 102s|370000 | 1448 |791284 | 2.1 |2790k| 31 | - | 94 |1282 | 94 | 17 | 27 | 19k|2140 | 0.000000e+00 | 2.000000e+00 | Inf
114.86/114.99 c 104s|380000 | 1302 |812229 | 2.1 |2573k| 31 | - | 94 |1173 | 94 | 17 | 27 | 19k|2274 | 0.000000e+00 | 2.000000e+00 | Inf
117.57/117.63 c 106s|390000 | 1432 |834120 | 2.1 |2717k| 31 | - | 94 |1197 | 94 | 17 | 27 | 20k|2393 | 0.000000e+00 | 2.000000e+00 | Inf
120.16/120.26 c 109s|400000 | 1517 |855397 | 2.1 |2843k| 31 | - | 94 |1291 | 94 | 17 | 27 | 20k|2409 | 0.000000e+00 | 2.000000e+00 | Inf
122.86/122.90 c 111s|410000 | 1590 |875850 | 2.1 |2949k| 31 | 4 | 94 |1314 | 94 | 17 | 27 | 20k|2426 | 0.000000e+00 | 2.000000e+00 | Inf
125.46/125.59 c 114s|420000 | 1387 |896749 | 2.1 |2715k| 31 | 4 | 94 |1254 | 94 | 17 | 27 | 21k|2443 | 0.000000e+00 | 2.000000e+00 | Inf
128.05/128.18 c 116s|430000 | 1318 |918288 | 2.1 |2679k| 31 | - | 94 |1354 | 94 | 17 | 27 | 21k|2459 | 0.000000e+00 | 2.000000e+00 | Inf
130.76/130.87 c 118s|440000 | 1530 |939992 | 2.1 |2854k| 31 | - | 94 |1426 | 94 | 17 | 27 | 22k|2484 | 0.000000e+00 | 2.000000e+00 | Inf
133.36/133.49 c 121s|450000 | 1337 |960247 | 2.1 |2720k| 31 | - | 94 |1433 | 0 | 0 | 27 | 22k|2499 | 0.000000e+00 | 2.000000e+00 | Inf
136.06/136.12 c 123s|460000 | 1370 |980543 | 2.1 |2770k| 31 | 4 | 94 |1487 | 94 | 17 | 27 | 23k|2511 | 0.000000e+00 | 2.000000e+00 | Inf
138.66/138.76 c 125s|470000 | 1349 | 1001k| 2.1 |2663k| 31 | - | 94 |1227 | 94 | 17 | 27 | 23k|2521 | 0.000000e+00 | 2.000000e+00 | Inf
141.26/141.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
141.26/141.33 c 128s|480000 | 1259 | 1022k| 2.1 |2588k| 31 | 4 | 94 |1207 | 94 | 17 | 27 | 23k|2542 | 0.000000e+00 | 2.000000e+00 | Inf
143.75/143.85 c 130s|490000 | 1104 | 1043k| 2.1 |2450k| 31 | - | 94 |1040 | 94 | 17 | 27 | 24k|2558 | 0.000000e+00 | 2.000000e+00 | Inf
146.35/146.40 c 132s|500000 | 1091 | 1064k| 2.1 |2467k| 31 | 4 | 94 |1083 | 94 | 17 | 27 | 24k|2569 | 0.000000e+00 | 2.000000e+00 | Inf
148.85/148.97 c 134s|510000 | 1001 | 1085k| 2.1 |2398k| 31 | - | 94 | 955 | 94 | 17 | 27 | 25k|2579 | 0.000000e+00 | 2.000000e+00 | Inf
151.36/151.49 c 137s|520000 | 1285 | 1107k| 2.1 |2617k| 31 | 4 | 94 | 868 | 94 | 17 | 27 | 25k|2590 | 0.000000e+00 | 2.000000e+00 | Inf
153.96/154.04 c 139s|530000 | 1465 | 1128k| 2.1 |2816k| 31 | - | 94 | 935 | 0 | 0 | 27 | 25k|2597 | 0.000000e+00 | 2.000000e+00 | Inf
156.45/156.58 c 141s|540000 | 1389 | 1149k| 2.1 |2846k| 31 | 4 | 94 | 976 | 94 | 17 | 27 | 26k|2613 | 0.000000e+00 | 2.000000e+00 | Inf
159.05/159.14 c 143s|550000 | 1085 | 1169k| 2.1 |2401k| 31 | 4 | 94 | 799 | 94 | 17 | 27 | 26k|2622 | 0.000000e+00 | 2.000000e+00 | Inf
161.55/161.64 c 146s|560000 | 1739 | 1191k| 2.1 |2959k| 31 | - | 94 | 972 | 94 | 17 | 27 | 27k|2638 | 0.000000e+00 | 2.000000e+00 | Inf
164.05/164.18 c 148s|570000 | 1526 | 1211k| 2.1 |2918k| 31 | 4 | 94 | 985 | 94 | 17 | 27 | 27k|2640 | 0.000000e+00 | 2.000000e+00 | Inf
166.65/166.73 c 150s|580000 | 1101 | 1231k| 2.1 |2608k| 31 | 4 | 94 |1016 | 94 | 17 | 27 | 27k|2655 | 0.000000e+00 | 2.000000e+00 | Inf
169.15/169.23 c 152s|590000 | 1056 | 1251k| 2.1 |2455k| 31 | - | 94 |1017 | 94 | 17 | 27 | 28k|2674 | 0.000000e+00 | 2.000000e+00 | Inf
171.64/171.78 c 155s|600000 | 1158 | 1272k| 2.1 |2606k| 31 | 4 | 94 |1001 | 94 | 17 | 27 | 28k|2688 | 0.000000e+00 | 2.000000e+00 | Inf
174.24/174.33 c 157s|610000 | 1762 | 1293k| 2.1 |2883k| 31 | 4 | 94 | 958 | 94 | 17 | 27 | 29k|2700 | 0.000000e+00 | 2.000000e+00 | Inf
176.75/176.87 c 159s|620000 | 2715 | 1314k| 2.1 |3592k| 31 | 4 | 94 |1125 | 94 | 17 | 27 | 29k|2729 | 0.000000e+00 | 2.000000e+00 | Inf
179.25/179.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
179.25/179.38 c 162s|630000 | 2788 | 1334k| 2.1 |3736k| 31 | 4 | 94 | 917 | 94 | 17 | 27 | 29k|2734 | 0.000000e+00 | 2.000000e+00 | Inf
181.74/181.89 c 164s|640000 | 3145 | 1355k| 2.1 |4109k| 31 | - | 94 |1014 | 94 | 17 | 27 | 30k|2751 | 0.000000e+00 | 2.000000e+00 | Inf
184.34/184.45 c 166s|650000 | 2989 | 1376k| 2.1 |4111k| 31 | 4 | 94 | 951 | 94 | 17 | 27 | 30k|2761 | 0.000000e+00 | 2.000000e+00 | Inf
186.85/186.99 c 168s|660000 | 2924 | 1396k| 2.1 |4194k| 31 | 4 | 94 |1052 | 94 | 17 | 27 | 31k|2767 | 0.000000e+00 | 2.000000e+00 | Inf
189.64/189.74 c 171s|670000 | 1038 | 1416k| 2.1 |2471k| 31 | - | 94 | 798 | 94 | 17 | 27 | 31k|2780 | 0.000000e+00 | 2.000000e+00 | Inf
192.04/192.19 c 173s|680000 | 1782 | 1437k| 2.1 |2909k| 31 | 4 | 94 | 889 | 94 | 17 | 27 | 31k|2787 | 0.000000e+00 | 2.000000e+00 | Inf
194.54/194.68 c 175s|690000 | 1956 | 1457k| 2.1 |3156k| 31 | - | 94 | 939 | 94 | 17 | 27 | 32k|2808 | 0.000000e+00 | 2.000000e+00 | Inf
197.04/197.15 c 177s|700000 | 1859 | 1478k| 2.1 |3094k| 31 | - | 94 | 926 | 94 | 17 | 27 | 32k|2824 | 0.000000e+00 | 2.000000e+00 | Inf
199.54/199.61 c 180s|710000 | 2028 | 1498k| 2.1 |3427k| 31 | - | 94 |1106 | 94 | 17 | 27 | 32k|2843 | 0.000000e+00 | 2.000000e+00 | Inf
202.14/202.22 c 182s|720000 | 1062 | 1518k| 2.1 |2480k| 31 | - | 94 |1019 | 0 | 0 | 27 | 33k|2875 | 0.000000e+00 | 2.000000e+00 | Inf
204.64/204.77 c 184s|730000 | 890 | 1538k| 2.1 |2397k| 31 | 4 | 94 |1085 | 94 | 17 | 27 | 33k|3058 | 0.000000e+00 | 2.000000e+00 | Inf
207.14/207.21 c 186s|740000 | 907 | 1559k| 2.1 |2448k| 31 | - | 94 |1081 | 94 | 17 | 27 | 34k|3062 | 0.000000e+00 | 2.000000e+00 | Inf
209.53/209.62 c 188s|750000 | 843 | 1579k| 2.1 |2422k| 31 | 4 | 94 |1194 | 94 | 17 | 27 | 34k|3068 | 0.000000e+00 | 2.000000e+00 | Inf
211.94/212.09 c 191s|760000 | 812 | 1599k| 2.1 |2440k| 31 | - | 94 |1248 | 94 | 17 | 27 | 34k|3078 | 0.000000e+00 | 2.000000e+00 | Inf
214.53/214.63 c 193s|770000 | 745 | 1620k| 2.1 |2377k| 31 | - | 94 |1186 | 94 | 17 | 27 | 35k|3087 | 0.000000e+00 | 2.000000e+00 | Inf
217.04/217.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
217.04/217.13 c 195s|780000 | 1032 | 1640k| 2.1 |2621k| 31 | - | 94 |1215 | 94 | 17 | 27 | 35k|3100 | 0.000000e+00 | 2.000000e+00 | Inf
219.53/219.64 c 197s|790000 | 695 | 1660k| 2.1 |2323k| 31 | 4 | 94 |1093 | 94 | 17 | 27 | 35k|3105 | 0.000000e+00 | 2.000000e+00 | Inf
221.93/222.03 c 200s|800000 | 772 | 1680k| 2.1 |2429k| 31 | - | 94 |1124 | 94 | 17 | 27 | 36k|3115 | 0.000000e+00 | 2.000000e+00 | Inf
224.34/224.49 c 202s|810000 | 680 | 1701k| 2.1 |2313k| 31 | 4 | 94 |1085 | 94 | 17 | 27 | 36k|3134 | 0.000000e+00 | 2.000000e+00 | Inf
226.83/226.98 c 204s|820000 | 664 | 1721k| 2.1 |2334k| 31 | 4 | 94 |1130 | 94 | 17 | 27 | 37k|3145 | 0.000000e+00 | 2.000000e+00 | Inf
229.33/229.49 c 206s|830000 | 655 | 1741k| 2.1 |2320k| 31 | - | 94 |1143 | 94 | 17 | 27 | 37k|3152 | 0.000000e+00 | 2.000000e+00 | Inf
231.94/232.00 c 208s|840000 | 561 | 1761k| 2.1 |2292k| 31 | - | 94 |1163 | 94 | 17 | 27 | 37k|3164 | 0.000000e+00 | 2.000000e+00 | Inf
234.33/234.47 c 211s|850000 | 804 | 1782k| 2.1 |2534k| 31 | - | 94 |1310 | 94 | 17 | 27 | 38k|3183 | 0.000000e+00 | 2.000000e+00 | Inf
236.83/236.96 c 213s|860000 | 631 | 1802k| 2.1 |2449k| 31 | - | 94 |1317 | 0 | 0 | 27 | 38k|3196 | 0.000000e+00 | 2.000000e+00 | Inf
239.32/239.46 c 215s|870000 | 518 | 1823k| 2.1 |2257k| 31 | - | 94 |1060 | 94 | 17 | 27 | 38k|3216 | 0.000000e+00 | 2.000000e+00 | Inf
241.84/241.93 c 217s|880000 | 446 | 1843k| 2.1 |2251k| 31 | 4 | 94 |1134 | 94 | 17 | 27 | 39k|3236 | 0.000000e+00 | 2.000000e+00 | Inf
244.23/244.33 c 219s|890000 | 463 | 1864k| 2.1 |2274k| 31 | 4 | 94 |1100 | 94 | 17 | 27 | 39k|3261 | 0.000000e+00 | 2.000000e+00 | Inf
246.62/246.74 c 222s|900000 | 762 | 1885k| 2.1 |2434k| 31 | 4 | 94 |1026 | 94 | 17 | 27 | 39k|3280 | 0.000000e+00 | 2.000000e+00 | Inf
249.02/249.17 c 224s|910000 | 918 | 1905k| 2.1 |2679k| 31 | - | 94 |1126 | 0 | 0 | 27 | 40k|3302 | 0.000000e+00 | 2.000000e+00 | Inf
251.53/251.68 c 226s|920000 | 1302 | 1925k| 2.1 |2907k| 31 | 4 | 94 |1075 | 94 | 17 | 27 | 40k|3320 | 0.000000e+00 | 2.000000e+00 | Inf
253.94/254.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
253.94/254.10 c 228s|930000 | 1133 | 1945k| 2.1 |2925k| 31 | - | 94 |1087 | 94 | 17 | 27 | 41k|3341 | 0.000000e+00 | 2.000000e+00 | Inf
256.42/256.53 c 230s|940000 | 1147 | 1964k| 2.1 |2913k| 31 | 4 | 94 |1040 | 94 | 17 | 27 | 41k|3363 | 0.000000e+00 | 2.000000e+00 | Inf
258.82/258.96 c 232s|950000 | 992 | 1983k| 2.1 |2833k| 31 | - | 94 |1049 | 94 | 17 | 27 | 41k|3371 | 0.000000e+00 | 2.000000e+00 | Inf
261.32/261.43 c 235s|960000 | 456 | 2002k| 2.1 |2331k| 31 | - | 94 |1012 | 0 | 0 | 27 | 42k|3388 | 0.000000e+00 | 2.000000e+00 | Inf
263.72/263.82 c 237s|970000 | 338 | 2022k| 2.1 |2204k| 31 | 4 | 94 |1131 | 94 | 17 | 27 | 42k|3410 | 0.000000e+00 | 2.000000e+00 | Inf
266.13/266.22 c 239s|980000 | 272 | 2042k| 2.1 |2123k| 31 | 4 | 94 |1100 | 94 | 17 | 27 | 42k|3417 | 0.000000e+00 | 2.000000e+00 | Inf
268.52/268.68 c 241s|990000 | 224 | 2063k| 2.1 |2107k| 31 | - | 94 |1119 | 0 | 0 | 27 | 43k|3436 | 0.000000e+00 | 2.000000e+00 | Inf
271.02/271.15 c 243s| 1000k| 201 | 2083k| 2.1 |1965k| 31 | - | 94 |1007 | 94 | 17 | 27 | 43k|3454 | 0.000000e+00 | 2.000000e+00 | Inf
273.52/273.60 c 245s| 1010k| 288 | 2104k| 2.1 |2039k| 31 | 4 | 94 |1049 | 94 | 17 | 27 | 43k|3468 | 0.000000e+00 | 2.000000e+00 | Inf
275.93/276.09 c 248s| 1020k| 110 | 2123k| 2.1 |1901k| 31 | 4 | 94 |1026 | 94 | 17 | 27 | 44k|3478 | 0.000000e+00 | 2.000000e+00 | Inf
278.41/278.52 c 250s| 1030k| 328 | 2143k| 2.1 |2114k| 31 | 4 | 94 |1089 | 94 | 17 | 27 | 44k|3502 | 0.000000e+00 | 2.000000e+00 | Inf
280.91/281.02 c 252s| 1040k| 393 | 2163k| 2.1 |2181k| 31 | 4 | 94 |1111 | 94 | 17 | 27 | 45k|3509 | 0.000000e+00 | 2.000000e+00 | Inf
283.42/283.55 c 254s| 1050k| 160 | 2182k| 2.1 |1940k| 31 | - | 94 |1078 | 0 | 0 | 27 | 45k|3514 | 0.000000e+00 | 2.000000e+00 | Inf
285.82/285.98 c 257s| 1060k| 26 | 2202k| 2.1 |1784k| 31 | - | 94 |1030 | 94 | 17 | 27 | 45k|3517 | 0.000000e+00 | 2.000000e+00 | Inf
285.92/286.01 c
285.92/286.01 c SCIP Status : problem is solved [optimal solution found]
285.92/286.01 c Solving Time (sec) : 256.55
285.92/286.01 c Solving Nodes : 1060118
285.92/286.01 c Primal Bound : +2.00000000000000e+00 (59 solutions)
285.92/286.01 c Dual Bound : +2.00000000000000e+00
285.92/286.01 c Gap : 0.00 %
285.92/286.01 s OPTIMUM FOUND
285.92/286.01 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
285.92/286.01 v -x66 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
285.92/286.01 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
285.92/286.01 v -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
285.92/286.01 c SCIP Status : problem is solved [optimal solution found]
285.92/286.01 c Solving Time : 256.55
285.92/286.01 c Original Problem :
285.92/286.01 c Problem name : HOME/instance-2667082-1276599317.opb
285.92/286.01 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
285.92/286.01 c Constraints : 8 initial, 8 maximal
285.92/286.01 c Presolved Problem :
285.92/286.01 c Problem name : t_HOME/instance-2667082-1276599317.opb
285.92/286.01 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
285.92/286.01 c Constraints : 4 initial, 3388 maximal
285.92/286.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
285.92/286.01 c trivial : 0.00 0 0 0 0 0 0 0 0
285.92/286.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
285.92/286.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
285.92/286.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
285.92/286.01 c implics : 0.00 0 0 0 0 0 0 0 0
285.92/286.01 c probing : 0.01 0 0 0 0 0 0 0 0
285.92/286.01 c linear : 0.00 0 0 0 0 0 4 0 0
285.92/286.01 c logicor : 0.00 0 0 0 0 0 0 0 0
285.92/286.01 c root node : - 57 - - 57 - - - -
285.92/286.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
285.92/286.01 c integral : 0 0 0 535546 0 524 1696 0 0 1066638
285.92/286.01 c linear : 4+ 7 1307195 3 0 164625 1023833 0 0 0
285.92/286.01 c logicor : 0+ 0 679404 0 0 2024 18129 0 0 0
285.92/286.01 c countsols : 0 0 0 23 0 0 0 0 0 0
285.92/286.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
285.92/286.01 c integral : 5.40 0.00 0.00 5.40 0.00
285.92/286.01 c linear : 44.58 0.00 44.58 0.00 0.00
285.92/286.01 c logicor : 15.06 0.00 15.06 0.00 0.00
285.92/286.01 c countsols : 0.00 0.00 0.00 0.00 0.00
285.92/286.01 c Propagators : Time Calls Cutoffs DomReds
285.92/286.01 c vbounds : 0.45 2 0 0
285.92/286.01 c rootredcost : 0.60 50 0 56
285.92/286.01 c pseudoobj : 5.99 1307567 539 64917
285.92/286.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
285.92/286.01 c propagation : 5.73 167187 41248 57345 24.5 0 0.0 -
285.92/286.01 c infeasible LP : 0.16 2654 2654 2883 13.4 0 0.0 0
285.92/286.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
285.92/286.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
285.92/286.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
285.92/286.01 c applied globally : - - - 45252 23.7 - - -
285.92/286.01 c applied locally : - - - 425 32.6 - - -
285.92/286.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
285.92/286.01 c cut pool : 0.00 5 - - 23 - (maximal pool size: 77)
285.92/286.01 c redcost : 3.68 564910 0 349897 0 0
285.92/286.01 c impliedbounds : 0.00 6 0 0 0 0
285.92/286.01 c intobj : 0.00 0 0 0 0 0
285.92/286.01 c cgmip : 0.00 0 0 0 0 0
285.92/286.01 c gomory : 0.01 6 0 0 0 0
285.92/286.01 c strongcg : 0.01 6 0 0 14 0
285.92/286.01 c cmir : 0.01 6 0 0 43 0
285.92/286.01 c flowcover : 0.02 6 0 0 46 0
285.92/286.01 c clique : 0.00 1 0 0 0 0
285.92/286.01 c zerohalf : 0.00 0 0 0 0 0
285.92/286.01 c mcf : 0.00 1 0 0 0 0
285.92/286.01 c rapidlearning : 0.07 1 0 0 0 112
285.92/286.01 c Pricers : Time Calls Vars
285.92/286.01 c problem variables: 0.00 0 0
285.92/286.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
285.92/286.01 c relpscost : 4.82 535523 524 1696 0 0 1066638
285.92/286.01 c pscost : 0.00 0 0 0 0 0 0
285.92/286.01 c inference : 0.00 0 0 0 0 0 0
285.92/286.01 c mostinf : 0.00 0 0 0 0 0 0
285.92/286.01 c leastinf : 0.00 0 0 0 0 0 0
285.92/286.01 c fullstrong : 0.00 0 0 0 0 0 0
285.92/286.01 c allfullstrong : 0.00 0 0 0 0 0 0
285.92/286.01 c random : 0.00 0 0 0 0 0 0
285.92/286.01 c Primal Heuristics : Time Calls Found
285.92/286.01 c LP solutions : 0.00 - 23
285.92/286.01 c pseudo solutions : 0.00 - 0
285.92/286.01 c feaspump : 0.19 1 0
285.92/286.01 c oneopt : 0.75 46 0
285.92/286.01 c veclendiving : 0.76 1183 5
285.92/286.01 c guideddiving : 0.89 1184 6
285.92/286.01 c coefdiving : 1.05 1184 3
285.92/286.01 c pscostdiving : 0.95 1184 2
285.92/286.01 c fracdiving : 0.99 1184 4
285.92/286.01 c linesearchdiving : 0.93 1184 4
285.92/286.01 c rootsoldiving : 1.17 601 2
285.92/286.01 c objpscostdiving : 0.54 621 2
285.92/286.01 c trivial : 0.00 2 0
285.92/286.01 c simplerounding : 0.40 0 0
285.92/286.01 c zirounding : 0.44 1000 0
285.92/286.01 c rounding : 0.51 10616 0
285.92/286.01 c shifting : 10.00 16109 6
285.92/286.01 c intshifting : 0.06 0 0
285.92/286.01 c twoopt : 0.00 0 0
285.92/286.01 c fixandinfer : 0.00 0 0
285.92/286.01 c intdiving : 0.00 0 0
285.92/286.01 c actconsdiving : 0.00 0 0
285.92/286.01 c octane : 0.00 0 0
285.92/286.01 c rens : 0.10 1 0
285.92/286.01 c rins : 0.00 0 0
285.92/286.01 c localbranching : 0.00 0 0
285.92/286.01 c mutation : 0.00 0 0
285.92/286.01 c crossover : 0.11 1 1
285.92/286.01 c dins : 0.00 0 0
285.92/286.01 c undercover : 0.00 0 0
285.92/286.01 c nlp : 0.58 0 0
285.92/286.01 c trysol : 0.65 0 0
285.92/286.01 c LP : Time Calls Iterations Iter/call Iter/sec
285.92/286.01 c primal LP : 0.00 0 0 0.00 -
285.92/286.01 c dual LP : 74.64 937433 2136106 2.28 28618.78
285.92/286.01 c lex dual LP : 0.00 0 0 0.00 -
285.92/286.01 c barrier LP : 0.00 0 0 0.00 -
285.92/286.01 c diving/probing LP: 2.46 27851 66745 2.40 27132.11
285.92/286.01 c strong branching : 0.54 3517 12740 3.62 23592.59
285.92/286.01 c (at root node) : - 9 471 52.33 -
285.92/286.01 c conflict analysis: 0.00 0 0 0.00 -
285.92/286.01 c B&B Tree :
285.92/286.01 c number of runs : 1
285.92/286.01 c nodes : 1060118
285.92/286.01 c nodes (total) : 1060118
285.92/286.01 c nodes left : 0
285.92/286.01 c max depth : 31
285.92/286.01 c max depth (total): 31
285.92/286.01 c backtracks : 301588 (28.4%)
285.92/286.01 c delayed cutoffs : 5611
285.92/286.01 c repropagations : 19699 (35362 domain reductions, 4739 cutoffs)
285.92/286.01 c avg switch length: 4.60
285.92/286.01 c switching time : 32.40
285.92/286.01 c Solution :
285.92/286.01 c Solutions found : 59 (50 improvements)
285.92/286.01 c First Solution : +5.40000000000000e+02 (in run 1, after 1 nodes, 0.07 seconds, depth 0, found by <trysol>)
285.92/286.01 c Primal Bound : +2.00000000000000e+00 (in run 1, after 73237 nodes, 24.95 seconds, depth 18, found by <relaxation>)
285.92/286.01 c Dual Bound : +2.00000000000000e+00
285.92/286.01 c Gap : 0.00 %
285.92/286.01 c Root Dual Bound : +0.00000000000000e+00
285.92/286.01 c Root Iterations : 104
285.92/286.02 c Time complete: 285.94.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667082-1276599317/watcher-2667082-1276599317 -o /tmp/evaluation-result-2667082-1276599317/solver-2667082-1276599317 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667082-1276599317.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.00 1.00 1.00 3/105 10920
/proc/meminfo: memFree=1430568/2059040 swapFree=4192956/4192956
[pid=10920] ppid=10918 vsize=7724 CPUtime=0
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 2309 0 -1 4202496 1097 0 0 0 0 0 0 0 25 0 1 0 1225383 7909376 1017 1992294400 4194304 8223781 140735533147280 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10920/statm: 1931 1026 348 984 0 944 0
[startup+0.038038 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 10920
/proc/meminfo: memFree=1430568/2059040 swapFree=4192956/4192956
[pid=10920] ppid=10918 vsize=19660 CPUtime=0.03
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 2309 0 -1 4202496 4137 0 0 0 2 1 0 0 25 0 1 0 1225383 20131840 3424 1992294400 4194304 8223781 140735533147280 18446744073709551615 7302042 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10920/statm: 4915 3435 555 984 0 3928 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 19660
[startup+0.101045 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 10920
/proc/meminfo: memFree=1430568/2059040 swapFree=4192956/4192956
[pid=10920] ppid=10918 vsize=20072 CPUtime=0.09
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 2309 0 -1 4202496 4759 0 0 0 7 2 0 0 25 0 1 0 1225383 20553728 3790 1992294400 4194304 8223781 140735533147280 18446744073709551615 7235159 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10920/statm: 5018 3792 565 984 0 4031 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20072
[startup+0.301066 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 10920
/proc/meminfo: memFree=1430568/2059040 swapFree=4192956/4192956
[pid=10920] ppid=10918 vsize=13860 CPUtime=0.29
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 2309 0 -1 4202496 7812 0 0 0 25 4 0 0 25 0 1 0 1225383 14192640 2622 1992294400 4194304 8223781 140735533147280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10920/statm: 3465 2622 587 984 0 2478 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13860
[startup+0.701109 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 10920
/proc/meminfo: memFree=1430568/2059040 swapFree=4192956/4192956
[pid=10920] ppid=10918 vsize=13860 CPUtime=0.69
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 2309 0 -1 4202496 7813 0 0 0 60 9 0 0 25 0 1 0 1225383 14192640 2623 1992294400 4194304 8223781 140735533147280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10920/statm: 3465 2623 588 984 0 2478 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13860
[startup+1.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10921
/proc/meminfo: memFree=1421632/2059040 swapFree=4192956/4192956
[pid=10920] ppid=10918 vsize=14280 CPUtime=1.49
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 2309 0 -1 4202496 10975 0 0 0 131 18 0 0 25 0 1 0 1225383 14622720 2733 1992294400 4194304 8223781 140735533147280 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10920/statm: 3570 2733 589 984 0 2583 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14280
[startup+3.10137 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10921
/proc/meminfo: memFree=1421136/2059040 swapFree=4192956/4192956
[pid=10920] ppid=10918 vsize=15000 CPUtime=3.09
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 2309 0 -1 4202496 11139 0 0 0 275 34 0 0 25 0 1 0 1225383 15360000 2897 1992294400 4194304 8223781 140735533147280 18446744073709551615 7073867 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10920/statm: 3750 2897 589 984 0 2763 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15000
[startup+6.30172 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10921
/proc/meminfo: memFree=1420020/2059040 swapFree=4192956/4192956
[pid=10920] ppid=10918 vsize=15968 CPUtime=6.29
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 2309 0 -1 4202496 11376 0 0 0 569 60 0 0 25 0 1 0 1225383 16351232 3134 1992294400 4194304 8223781 140735533147280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10920/statm: 3992 3134 589 984 0 3005 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15968
[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10921
/proc/meminfo: memFree=1418904/2059040 swapFree=4192956/4192956
[pid=10920] ppid=10918 vsize=16892 CPUtime=12.69
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 2309 0 -1 4202496 11607 0 0 0 1152 117 0 0 25 0 1 0 1225383 17297408 3365 1992294400 4194304 8223781 140735533147280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10920/statm: 4223 3365 589 984 0 3236 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16892
[startup+25.5008 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10921
/proc/meminfo: memFree=1417912/2059040 swapFree=4192956/4192956
[pid=10920] ppid=10918 vsize=17992 CPUtime=25.48
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 2309 0 -1 4202496 11859 0 0 0 2329 219 0 0 25 0 1 0 1225383 18423808 3617 1992294400 4194304 8223781 140735533147280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10920/statm: 4498 3617 589 984 0 3511 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17992
[startup+51.1006 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10921
/proc/meminfo: memFree=1416300/2059040 swapFree=4192956/4192956
[pid=10920] ppid=10918 vsize=19624 CPUtime=51.07
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 2309 0 -1 4202496 12266 0 0 0 4667 440 0 0 25 0 1 0 1225383 20094976 4024 1992294400 4194304 8223781 140735533147280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10920/statm: 4906 4024 589 984 0 3919 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 19624
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10923
/proc/meminfo: memFree=1416052/2059040 swapFree=4192956/4192956
[pid=10920] ppid=10918 vsize=19624 CPUtime=102.27
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 2309 0 -1 4202496 12268 0 0 0 9263 964 0 0 25 0 1 0 1225383 20094976 4026 1992294400 4194304 8223781 140735533147280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10920/statm: 4906 4026 589 984 0 3919 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 19624
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10925
/proc/meminfo: memFree=1415928/2059040 swapFree=4192956/4192956
[pid=10920] ppid=10918 vsize=19624 CPUtime=162.25
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 2309 0 -1 4202496 12270 0 0 0 14625 1600 0 0 25 0 1 0 1225383 20094976 4028 1992294400 4194304 8223781 140735533147280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10920/statm: 4906 4028 589 984 0 3919 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 19624
[startup+222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10927
/proc/meminfo: memFree=1415804/2059040 swapFree=4192956/4192956
[pid=10920] ppid=10918 vsize=19624 CPUtime=222.23
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 2309 0 -1 4202496 12274 0 0 0 19979 2244 0 0 25 0 1 0 1225383 20094976 4032 1992294400 4194304 8223781 140735533147280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10920/statm: 4906 4032 589 984 0 3919 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 19624
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10927
/proc/meminfo: memFree=1415680/2059040 swapFree=4192956/4192956
[pid=10920] ppid=10918 vsize=19624 CPUtime=282.22
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 2309 0 -1 4202496 12278 0 0 0 25324 2898 0 0 25 0 1 0 1225383 20094976 4036 1992294400 4194304 8223781 140735533147280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10920/statm: 4906 4036 589 984 0 3919 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 19624
Solver just ended. Dumping a history of the last processes samples
[startup+283.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10927
/proc/meminfo: memFree=1415680/2059040 swapFree=4192956/4192956
[pid=10920] ppid=10918 vsize=19624 CPUtime=283.02
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 2309 0 -1 4202496 12278 0 0 0 25396 2906 0 0 25 0 1 0 1225383 20094976 4036 1992294400 4194304 8223781 140735533147280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10920/statm: 4906 4036 589 984 0 3919 0
Current children cumulated CPU time (s) 283.02
Current children cumulated vsize (KiB) 19624
[startup+284.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10927
/proc/meminfo: memFree=1415680/2059040 swapFree=4192956/4192956
[pid=10920] ppid=10918 vsize=19624 CPUtime=284.61
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 2309 0 -1 4202496 12278 0 0 0 25536 2925 0 0 25 0 1 0 1225383 20094976 4036 1992294400 4194304 8223781 140735533147280 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10920/statm: 4906 4036 589 984 0 3919 0
Current children cumulated CPU time (s) 284.61
Current children cumulated vsize (KiB) 19624
[startup+285.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10927
/proc/meminfo: memFree=1415680/2059040 swapFree=4192956/4192956
[pid=10920] ppid=10918 vsize=19624 CPUtime=285.42
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 2309 0 -1 4202496 12278 0 0 0 25608 2934 0 0 25 0 1 0 1225383 20094976 4036 1992294400 4194304 8223781 140735533147280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10920/statm: 4906 4036 589 984 0 3919 0
Current children cumulated CPU time (s) 285.42
Current children cumulated vsize (KiB) 19624
[startup+285.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10929
/proc/meminfo: memFree=1415680/2059040 swapFree=4192956/4192956
[pid=10920] ppid=10918 vsize=19624 CPUtime=285.82
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 2309 0 -1 4202496 12278 0 0 0 25645 2937 0 0 25 0 1 0 1225383 20094976 4036 1992294400 4194304 8223781 140735533147280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10920/statm: 4906 4036 589 984 0 3919 0
Current children cumulated CPU time (s) 285.82
Current children cumulated vsize (KiB) 19624
[startup+286.008 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10929
/proc/meminfo: memFree=1415680/2059040 swapFree=4192956/4192956
[pid=10920] ppid=10918 vsize=19624 CPUtime=285.92
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 2309 0 -1 4202496 12278 0 0 0 25654 2938 0 0 25 0 1 0 1225383 20094976 4036 1992294400 4194304 8223781 140735533147280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10920/statm: 4906 4036 589 984 0 3919 0
Current children cumulated CPU time (s) 285.92
Current children cumulated vsize (KiB) 19624
Child status: 0
Real time (s): 286.026
CPU time (s): 285.95
CPU user time (s): 256.561
CPU system time (s): 29.3885
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 21704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 256.561
system time used= 29.3885
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12284
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= 1
involuntary context switches= 685
runsolver used 0.488925 second user time and 1.35279 second system time
The end