0.00/0.01 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.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-2667073-1276617290.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.02 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.00
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.03 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.03 c 0.0s| 1 | 0 | 16 | - | 350k| 0 | 4 | 94 | 4 | 94 | 4 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 o 411
0.09/0.11 c y 0.1s| 1 | 0 | 36 | - | 375k| 0 | 4 | 94 | 4 | 94 | 4 | 0 | 0 | 0 | 0.000000e+00 | 4.110000e+02 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 42 | - | 530k| 0 | 8 | 94 | 126 | 94 | 9 | 5 | 0 | 0 | 0.000000e+00 | 4.110000e+02 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 47 | - | 554k| 0 | 9 | 94 | 126 | 94 | 13 | 9 | 0 | 0 | 0.000000e+00 | 4.110000e+02 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 51 | - | 580k| 0 | 10 | 94 | 126 | 94 | 17 | 13 | 0 | 0 | 0.000000e+00 | 4.110000e+02 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 56 | - | 601k| 0 | 11 | 94 | 126 | 94 | 21 | 17 | 0 | 0 | 0.000000e+00 | 4.110000e+02 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 63 | - | 620k| 0 | 15 | 94 | 126 | 94 | 26 | 22 | 0 | 0 | 0.000000e+00 | 4.110000e+02 | Inf
0.09/0.16 c 0.1s| 1 | 0 | 73 | - | 633k| 0 | 14 | 94 | 126 | 94 | 29 | 25 | 0 | 0 | 0.000000e+00 | 4.110000e+02 | Inf
0.19/0.22 c 0.2s| 1 | 2 | 73 | - | 633k| 0 | 14 | 94 | 126 | 94 | 29 | 25 | 0 | 9 | 0.000000e+00 | 4.110000e+02 | Inf
0.19/0.26 o 275
0.19/0.26 c c 0.2s| 18 | 19 | 174 | 5.9 | 656k| 17 | - | 94 | 126 | 94 | 15 | 25 | 0 | 90 | 0.000000e+00 | 2.750000e+02 | Inf
0.19/0.27 o 214
0.19/0.27 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.29/0.34 o 213
0.29/0.34 c * 0.3s| 91 | 90 | 512 | 4.9 | 697k| 29 | - | 94 | 126 | 94 | 15 | 25 | 2 | 245 | 0.000000e+00 | 2.130000e+02 | Inf
0.29/0.34 o 211
0.29/0.34 c * 0.3s| 92 | 89 | 512 | 4.8 | 698k| 29 | - | 94 | 126 | 94 | 15 | 25 | 2 | 245 | 0.000000e+00 | 2.110000e+02 | Inf
0.29/0.35 o 210
0.29/0.35 c * 0.3s| 110 | 105 | 572 | 4.6 | 708k| 29 | - | 94 | 126 | 94 | 15 | 25 | 2 | 263 | 0.000000e+00 | 2.100000e+02 | Inf
0.29/0.37 o 209
0.29/0.37 c l 0.3s| 137 | 130 | 654 | 4.3 | 746k| 29 | - | 94 | 127 | 94 | 15 | 25 | 6 | 299 | 0.000000e+00 | 2.090000e+02 | Inf
0.29/0.39 o 199
0.29/0.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.39 c g 0.3s| 151 | 130 | 706 | 4.2 | 746k| 29 | - | 94 | 127 | 94 | 15 | 25 | 6 | 324 | 0.000000e+00 | 1.990000e+02 | Inf
0.39/0.41 o 193
0.39/0.41 c p 0.3s| 189 | 157 | 844 | 4.1 | 761k| 29 | - | 94 | 127 | 94 | 15 | 25 | 7 | 345 | 0.000000e+00 | 1.930000e+02 | Inf
0.39/0.42 o 192
0.39/0.42 c * 0.3s| 204 | 166 | 879 | 4.0 | 768k| 30 | - | 94 | 127 | 94 | 15 | 25 | 7 | 359 | 0.000000e+00 | 1.920000e+02 | Inf
0.39/0.42 o 190
0.39/0.42 c * 0.3s| 205 | 165 | 879 | 4.0 | 769k| 30 | - | 94 | 127 | 94 | 15 | 25 | 7 | 359 | 0.000000e+00 | 1.900000e+02 | Inf
0.39/0.43 o 186
0.39/0.43 c f 0.4s| 220 | 176 | 923 | 3.9 | 782k| 30 | - | 94 | 127 | 94 | 15 | 25 | 8 | 372 | 0.000000e+00 | 1.860000e+02 | Inf
0.39/0.46 o 182
0.39/0.46 c l 0.4s| 269 | 216 | 1086 | 3.8 | 812k| 30 | - | 94 | 132 | 94 | 15 | 25 | 16 | 403 | 0.000000e+00 | 1.820000e+02 | Inf
0.39/0.47 o 181
0.39/0.47 c * 0.4s| 283 | 225 | 1116 | 3.7 | 818k| 30 | - | 94 | 133 | 94 | 15 | 25 | 17 | 416 | 0.000000e+00 | 1.810000e+02 | Inf
0.39/0.47 o 179
0.39/0.47 c * 0.4s| 284 | 222 | 1116 | 3.7 | 818k| 30 | - | 94 | 133 | 94 | 15 | 25 | 17 | 416 | 0.000000e+00 | 1.790000e+02 | Inf
0.39/0.48 o 177
0.39/0.48 c * 0.4s| 297 | 233 | 1149 | 3.6 | 825k| 30 | - | 94 | 133 | 94 | 15 | 25 | 17 | 422 | 0.000000e+00 | 1.770000e+02 | Inf
0.39/0.48 o 175
0.39/0.48 c * 0.4s| 298 | 231 | 1149 | 3.6 | 826k| 30 | - | 94 | 133 | 94 | 15 | 25 | 17 | 422 | 0.000000e+00 | 1.750000e+02 | Inf
0.39/0.49 o 173
0.39/0.49 c g 0.4s| 313 | 243 | 1181 | 3.6 | 839k| 30 | - | 94 | 134 | 94 | 15 | 25 | 18 | 427 | 0.000000e+00 | 1.730000e+02 | Inf
0.49/0.51 o 172
0.49/0.51 c * 0.4s| 351 | 277 | 1341 | 3.6 | 862k| 30 | - | 94 | 140 | 94 | 15 | 25 | 24 | 437 | 0.000000e+00 | 1.720000e+02 | Inf
0.49/0.51 o 168
0.49/0.51 c * 0.4s| 353 | 275 | 1341 | 3.6 | 861k| 30 | - | 94 | 140 | 94 | 15 | 25 | 24 | 439 | 0.000000e+00 | 1.680000e+02 | Inf
0.49/0.51 o 164
0.49/0.51 c * 0.4s| 354 | 270 | 1341 | 3.6 | 860k| 30 | - | 94 | 140 | 94 | 15 | 25 | 24 | 439 | 0.000000e+00 | 1.640000e+02 | Inf
0.49/0.52 o 163
0.49/0.52 c * 0.4s| 366 | 278 | 1364 | 3.5 | 867k| 30 | - | 94 | 140 | 94 | 15 | 25 | 24 | 442 | 0.000000e+00 | 1.630000e+02 | Inf
0.49/0.52 o 159
0.49/0.52 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.52 c c 0.4s| 370 | 273 | 1368 | 3.5 | 867k| 30 | - | 94 | 140 | 94 | 15 | 25 | 24 | 444 | 0.000000e+00 | 1.590000e+02 | Inf
0.49/0.53 o 158
0.49/0.53 c * 0.5s| 385 | 283 | 1416 | 3.5 | 874k| 30 | - | 94 | 140 | 94 | 15 | 25 | 24 | 450 | 0.000000e+00 | 1.580000e+02 | Inf
0.49/0.54 o 157
0.49/0.54 c * 0.5s| 397 | 290 | 1449 | 3.5 | 882k| 30 | - | 94 | 140 | 94 | 15 | 25 | 24 | 463 | 0.000000e+00 | 1.570000e+02 | Inf
0.49/0.54 o 155
0.49/0.54 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.49/0.54 o 153
0.49/0.54 c * 0.5s| 400 | 283 | 1449 | 3.4 | 881k| 30 | - | 94 | 140 | 94 | 15 | 25 | 24 | 465 | 0.000000e+00 | 1.530000e+02 | Inf
0.49/0.55 o 151
0.49/0.55 c p 0.5s| 416 | 292 | 1482 | 3.4 | 892k| 30 | - | 94 | 140 | 94 | 15 | 25 | 26 | 474 | 0.000000e+00 | 1.510000e+02 | Inf
0.49/0.55 o 149
0.49/0.55 c f 0.5s| 416 | 283 | 1482 | 3.4 | 886k| 30 | - | 94 | 140 | 94 | 15 | 25 | 29 | 474 | 0.000000e+00 | 1.490000e+02 | Inf
0.49/0.57 o 147
0.49/0.57 c v 0.5s| 456 | 312 | 1585 | 3.3 | 906k| 30 | - | 94 | 142 | 94 | 15 | 25 | 32 | 479 | 0.000000e+00 | 1.470000e+02 | Inf
0.49/0.58 o 145
0.49/0.58 c * 0.5s| 483 | 330 | 1678 | 3.3 | 914k| 30 | - | 94 | 142 | 94 | 15 | 25 | 32 | 489 | 0.000000e+00 | 1.450000e+02 | Inf
0.49/0.59 o 143
0.49/0.59 c * 0.5s| 488 | 332 | 1681 | 3.3 | 916k| 31 | - | 94 | 142 | 94 | 15 | 25 | 32 | 491 | 0.000000e+00 | 1.430000e+02 | Inf
0.59/0.60 o 142
0.59/0.60 c l 0.5s| 503 | 345 | 1734 | 3.3 | 926k| 31 | - | 94 | 142 | 94 | 15 | 25 | 32 | 494 | 0.000000e+00 | 1.420000e+02 | Inf
0.59/0.60 o 140
0.59/0.60 c g 0.5s| 503 | 340 | 1734 | 3.3 | 926k| 31 | - | 94 | 142 | 94 | 15 | 25 | 33 | 494 | 0.000000e+00 | 1.400000e+02 | Inf
0.59/0.63 o 62
0.59/0.63 c f 0.5s| 544 | 320 | 1877 | 3.3 | 910k| 31 | - | 94 | 143 | 94 | 15 | 25 | 34 | 498 | 0.000000e+00 | 6.200000e+01 | Inf
0.59/0.63 o 30
0.59/0.63 c s 0.5s| 549 | 269 | 1889 | 3.3 | 878k| 31 | 4 | 94 | 107 | 94 | 15 | 25 | 34 | 498 | 0.000000e+00 | 3.000000e+01 | Inf
0.59/0.63 o 28
0.59/0.63 c v 0.5s| 549 | 263 | 1898 | 3.3 | 881k| 31 | - | 94 | 108 | 94 | 15 | 25 | 37 | 499 | 0.000000e+00 | 2.800000e+01 | Inf
0.59/0.68 o 26
0.59/0.68 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.68 c v 0.6s| 655 | 340 | 2315 | 3.4 | 864k| 31 | - | 94 | 27 | 94 | 15 | 25 | 45 | 502 | 0.000000e+00 | 2.600000e+01 | Inf
0.59/0.68 o 24
0.59/0.68 c f 0.6s| 655 | 334 | 2315 | 3.4 | 863k| 31 | - | 94 | 30 | 94 | 15 | 25 | 48 | 502 | 0.000000e+00 | 2.400000e+01 | Inf
0.69/0.71 o 9
0.69/0.71 c s 0.6s| 724 | 314 | 2477 | 3.3 | 849k| 31 | 4 | 94 | 30 | 94 | 15 | 25 | 48 | 511 | 0.000000e+00 | 9.000000e+00 | Inf
0.69/0.71 o 5
0.69/0.71 c g 0.6s| 724 | 291 | 2480 | 3.3 | 839k| 31 | - | 94 | 30 | 94 | 15 | 25 | 48 | 513 | 0.000000e+00 | 5.000000e+00 | Inf
2.09/2.17 o 3
2.09/2.17 c * 1.9s| 3987 | 2218 | 13822 | 3.4 |1801k| 31 | - | 94 | 472 | 94 | 15 | 25 | 510 | 521 | 0.000000e+00 | 3.000000e+00 | Inf
4.39/4.45 c 4.0s| 10000 | 3800 | 27054 | 2.7 |2903k| 31 | - | 94 |1124 | 94 | 15 | 25 |1183 | 553 | 0.000000e+00 | 3.000000e+00 | Inf
5.99/6.07 o 2
5.99/6.07 c * 5.5s| 14435 | 4446 | 35844 | 2.5 |3444k| 31 | - | 94 |1535 | 94 | 15 | 25 |1604 | 564 | 0.000000e+00 | 2.000000e+00 | Inf
7.99/8.02 c 7.3s| 20000 | 4654 | 45672 | 2.3 |3818k| 31 | 4 | 94 |1962 | 94 | 15 | 25 |2055 | 564 | 0.000000e+00 | 2.000000e+00 | Inf
11.88/11.97 c 10.9s| 30000 | 5100 | 63763 | 2.1 |4677k| 31 | - | 94 |3001 | 94 | 15 | 25 |3256 | 623 | 0.000000e+00 | 2.000000e+00 | Inf
16.28/16.36 c 15.0s| 40000 | 5637 | 80943 | 2.0 |5556k| 31 | - | 94 |4166 | 0 | 0 | 25 |4483 | 658 | 0.000000e+00 | 2.000000e+00 | Inf
21.28/21.38 c 19.8s| 50000 | 5871 | 98256 | 2.0 |6088k| 31 | - | 94 |4724 | 0 | 0 | 25 |5674 | 692 | 0.000000e+00 | 2.000000e+00 | Inf
26.58/26.63 c 24.8s| 60000 | 5773 |113896 | 1.9 |6333k| 31 | 4 | 94 |5357 | 94 | 15 | 25 |7013 | 729 | 0.000000e+00 | 2.000000e+00 | Inf
31.68/31.75 c 29.6s| 70000 | 5674 |130837 | 1.9 |5399k| 31 | 4 | 94 |2777 | 94 | 15 | 25 |8180 | 776 | 0.000000e+00 | 2.000000e+00 | Inf
35.58/35.62 c 33.2s| 80000 | 5955 |147128 | 1.8 |5775k| 31 | - | 94 |3140 | 94 | 15 | 25 |9155 | 809 | 0.000000e+00 | 2.000000e+00 | Inf
39.59/39.68 c 37.0s| 90000 | 5686 |162744 | 1.8 |5578k| 31 | 4 | 94 |3117 | 94 | 15 | 25 | 10k| 851 | 0.000000e+00 | 2.000000e+00 | Inf
43.37/43.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.37/43.44 c 40.4s|100000 | 5568 |178825 | 1.8 |5276k| 31 | - | 94 |2476 | 94 | 15 | 25 | 11k| 888 | 0.000000e+00 | 2.000000e+00 | Inf
46.97/47.03 c 43.8s|110000 | 5846 |194048 | 1.8 |5547k| 31 | 4 | 94 |2576 | 94 | 15 | 25 | 12k| 907 | 0.000000e+00 | 2.000000e+00 | Inf
50.68/50.76 c 47.2s|120000 | 5669 |209144 | 1.7 |5503k| 31 | 4 | 94 |2844 | 94 | 15 | 25 | 13k| 930 | 0.000000e+00 | 2.000000e+00 | Inf
54.28/54.38 c 50.5s|130000 | 5876 |225678 | 1.7 |5606k| 31 | 4 | 94 |2786 | 94 | 15 | 25 | 14k| 958 | 0.000000e+00 | 2.000000e+00 | Inf
57.97/58.05 c 53.9s|140000 | 5842 |241957 | 1.7 |5646k| 31 | - | 94 |2738 | 94 | 15 | 25 | 15k| 987 | 0.000000e+00 | 2.000000e+00 | Inf
61.67/61.76 c 57.4s|150000 | 6057 |257642 | 1.7 |5964k| 31 | 4 | 94 |3059 | 94 | 15 | 25 | 16k|1013 | 0.000000e+00 | 2.000000e+00 | Inf
65.48/65.54 c 60.9s|160000 | 5736 |273453 | 1.7 |5649k| 31 | 4 | 94 |2829 | 94 | 15 | 25 | 17k|1036 | 0.000000e+00 | 2.000000e+00 | Inf
69.18/69.20 c 64.3s|170000 | 5663 |290159 | 1.7 |5500k| 31 | 4 | 94 |2599 | 94 | 15 | 25 | 18k|1058 | 0.000000e+00 | 2.000000e+00 | Inf
72.58/72.69 c 67.5s|180000 | 5424 |306655 | 1.7 |5168k| 31 | - | 94 |2432 | 0 | 0 | 25 | 19k|1113 | 0.000000e+00 | 2.000000e+00 | Inf
76.07/76.14 c 70.6s|190000 | 5355 |322436 | 1.7 |5081k| 31 | - | 94 |2289 | 94 | 15 | 25 | 20k|1125 | 0.000000e+00 | 2.000000e+00 | Inf
79.46/79.56 c 73.8s|200000 | 5831 |339079 | 1.7 |5440k| 31 | 4 | 94 |2331 | 94 | 15 | 25 | 21k|1154 | 0.000000e+00 | 2.000000e+00 | Inf
82.87/82.99 c 77.0s|210000 | 5857 |355728 | 1.7 |5585k| 31 | 4 | 94 |2517 | 94 | 15 | 25 | 22k|1176 | 0.000000e+00 | 2.000000e+00 | Inf
86.36/86.48 c 80.1s|220000 | 5289 |371836 | 1.7 |4935k| 31 | 4 | 94 |2008 | 94 | 15 | 25 | 23k|1205 | 0.000000e+00 | 2.000000e+00 | Inf
89.56/89.61 c 83.0s|230000 | 5356 |387642 | 1.7 |5000k| 31 | 4 | 94 |2056 | 94 | 15 | 25 | 23k|1226 | 0.000000e+00 | 2.000000e+00 | Inf
92.76/92.90 c 86.0s|240000 | 5019 |404432 | 1.7 |4638k| 31 | - | 94 |1778 | 0 | 0 | 25 | 24k|1248 | 0.000000e+00 | 2.000000e+00 | Inf
95.96/96.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.96/96.02 c 88.8s|250000 | 5126 |421334 | 1.7 |4889k| 31 | - | 94 |2060 | 0 | 0 | 25 | 25k|1263 | 0.000000e+00 | 2.000000e+00 | Inf
99.16/99.26 c 91.8s|260000 | 5088 |438278 | 1.7 |4838k| 31 | 4 | 94 |2099 | 94 | 15 | 25 | 26k|1285 | 0.000000e+00 | 2.000000e+00 | Inf
102.56/102.61 c 94.9s|270000 | 5010 |454356 | 1.7 |4851k| 31 | 4 | 94 |2275 | 94 | 15 | 25 | 27k|1317 | 0.000000e+00 | 2.000000e+00 | Inf
105.86/105.98 c 98.0s|280000 | 4944 |470173 | 1.7 |4636k| 31 | - | 94 |2078 | 94 | 15 | 25 | 27k|1336 | 0.000000e+00 | 2.000000e+00 | Inf
109.15/109.29 c 101s|290000 | 4736 |485804 | 1.7 |4585k| 31 | - | 94 |2154 | 94 | 15 | 25 | 28k|1357 | 0.000000e+00 | 2.000000e+00 | Inf
112.26/112.37 c 104s|300000 | 4836 |502740 | 1.7 |4496k| 31 | - | 94 |1806 | 0 | 0 | 25 | 29k|1390 | 0.000000e+00 | 2.000000e+00 | Inf
115.46/115.56 c 107s|310000 | 4607 |519699 | 1.7 |4172k| 31 | - | 94 |1263 | 0 | 0 | 25 | 30k|1655 | 0.000000e+00 | 2.000000e+00 | Inf
118.35/118.47 c 109s|320000 | 4379 |536649 | 1.7 |4047k| 31 | - | 94 |1166 | 0 | 0 | 25 | 31k|1667 | 0.000000e+00 | 2.000000e+00 | Inf
121.35/121.43 c 112s|330000 | 4283 |553543 | 1.7 |4079k| 31 | 4 | 94 |1386 | 94 | 15 | 25 | 32k|1667 | 0.000000e+00 | 2.000000e+00 | Inf
124.35/124.40 c 115s|340000 | 4185 |569584 | 1.7 |3889k| 31 | 4 | 94 | 971 | 94 | 15 | 25 | 33k|1668 | 0.000000e+00 | 2.000000e+00 | Inf
127.05/127.19 c 117s|350000 | 4186 |586030 | 1.7 |3987k| 31 | - | 94 |1071 | 0 | 0 | 25 | 33k|1677 | 0.000000e+00 | 2.000000e+00 | Inf
129.95/130.02 c 120s|360000 | 4352 |602466 | 1.7 |4137k| 31 | 4 | 94 |1243 | 94 | 15 | 25 | 34k|1688 | 0.000000e+00 | 2.000000e+00 | Inf
132.85/132.92 c 122s|370000 | 3890 |618698 | 1.7 |3723k| 31 | - | 94 | 826 | 94 | 15 | 25 | 35k|1709 | 0.000000e+00 | 2.000000e+00 | Inf
135.65/135.70 c 125s|380000 | 3932 |635595 | 1.7 |3805k| 31 | - | 94 | 897 | 94 | 15 | 25 | 36k|1724 | 0.000000e+00 | 2.000000e+00 | Inf
138.35/138.43 c 127s|390000 | 3854 |651204 | 1.7 |3864k| 31 | - | 94 |1102 | 94 | 15 | 25 | 37k|1724 | 0.000000e+00 | 2.000000e+00 | Inf
141.05/141.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
141.05/141.19 c 130s|400000 | 3668 |667987 | 1.7 |3636k| 31 | - | 94 | 761 | 0 | 0 | 25 | 37k|1744 | 0.000000e+00 | 2.000000e+00 | Inf
143.85/143.95 c 132s|410000 | 3548 |684259 | 1.7 |3636k| 31 | 4 | 94 | 948 | 94 | 15 | 25 | 38k|1763 | 0.000000e+00 | 2.000000e+00 | Inf
146.64/146.75 c 135s|420000 | 3588 |699770 | 1.7 |3841k| 31 | 4 | 94 |1297 | 94 | 15 | 25 | 39k|1778 | 0.000000e+00 | 2.000000e+00 | Inf
149.64/149.74 c 138s|430000 | 3549 |714548 | 1.7 |3747k| 31 | 4 | 94 |1161 | 94 | 15 | 25 | 40k|1784 | 0.000000e+00 | 2.000000e+00 | Inf
152.55/152.69 c 140s|440000 | 3436 |731247 | 1.7 |3664k| 31 | - | 94 |1121 | 94 | 15 | 25 | 41k|1801 | 0.000000e+00 | 2.000000e+00 | Inf
155.54/155.61 c 143s|450000 | 3517 |747235 | 1.7 |3922k| 31 | - | 94 |1555 | 0 | 0 | 25 | 42k|1806 | 0.000000e+00 | 2.000000e+00 | Inf
158.44/158.55 c 146s|460000 | 3371 |762697 | 1.7 |3768k| 31 | - | 94 |1504 | 94 | 15 | 25 | 43k|1810 | 0.000000e+00 | 2.000000e+00 | Inf
161.44/161.50 c 148s|470000 | 3224 |779540 | 1.7 |3606k| 31 | - | 94 |1190 | 94 | 15 | 25 | 44k|1844 | 0.000000e+00 | 2.000000e+00 | Inf
164.14/164.23 c 151s|480000 | 3309 |796007 | 1.7 |3692k| 31 | 4 | 94 |1175 | 94 | 15 | 25 | 44k|1855 | 0.000000e+00 | 2.000000e+00 | Inf
166.94/167.03 c 153s|490000 | 3143 |812205 | 1.7 |3591k| 31 | 4 | 94 |1236 | 94 | 15 | 25 | 45k|1872 | 0.000000e+00 | 2.000000e+00 | Inf
169.74/169.90 c 156s|500000 | 3328 |828240 | 1.7 |3907k| 31 | - | 94 |1687 | 0 | 0 | 25 | 46k|1881 | 0.000000e+00 | 2.000000e+00 | Inf
172.83/172.92 c 158s|510000 | 3060 |844877 | 1.7 |3489k| 31 | - | 94 | 944 | 94 | 15 | 25 | 47k|1898 | 0.000000e+00 | 2.000000e+00 | Inf
175.64/175.73 c 161s|520000 | 2884 |861800 | 1.7 |3390k| 31 | 4 | 94 | 888 | 94 | 15 | 25 | 47k|1926 | 0.000000e+00 | 2.000000e+00 | Inf
178.33/178.48 c 164s|530000 | 2814 |879366 | 1.7 |3386k| 31 | 4 | 94 | 938 | 94 | 15 | 25 | 48k|1945 | 0.000000e+00 | 2.000000e+00 | Inf
181.14/181.22 c 166s|540000 | 2628 |896411 | 1.7 |3300k| 31 | - | 94 | 937 | 94 | 15 | 25 | 49k|1953 | 0.000000e+00 | 2.000000e+00 | Inf
183.83/183.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
183.83/183.98 c 168s|550000 | 2512 |913923 | 1.7 |3246k| 31 | 4 | 94 | 923 | 94 | 15 | 25 | 50k|1973 | 0.000000e+00 | 2.000000e+00 | Inf
186.63/186.72 c 171s|560000 | 2768 |931372 | 1.7 |3450k| 31 | - | 94 | 961 | 94 | 15 | 25 | 50k|1991 | 0.000000e+00 | 2.000000e+00 | Inf
189.34/189.49 c 173s|570000 | 2737 |947404 | 1.7 |3551k| 31 | 4 | 94 |1035 | 94 | 15 | 25 | 51k|1992 | 0.000000e+00 | 2.000000e+00 | Inf
192.23/192.31 c 176s|580000 | 2620 |963440 | 1.7 |3440k| 31 | 4 | 94 |1178 | 94 | 15 | 25 | 52k|1993 | 0.000000e+00 | 2.000000e+00 | Inf
195.23/195.35 c 179s|590000 | 2405 |980756 | 1.7 |3418k| 31 | 4 | 94 |1466 | 94 | 15 | 25 | 53k|2029 | 0.000000e+00 | 2.000000e+00 | Inf
198.13/198.23 c 181s|600000 | 2291 |998162 | 1.7 |3260k| 31 | - | 94 |1170 | 94 | 15 | 25 | 54k|2053 | 0.000000e+00 | 2.000000e+00 | Inf
201.02/201.15 c 184s|610000 | 2352 | 1015k| 1.7 |3403k| 31 | 4 | 94 |1317 | 94 | 15 | 25 | 55k|2070 | 0.000000e+00 | 2.000000e+00 | Inf
203.83/203.92 c 186s|620000 | 2760 | 1032k| 1.7 |3438k| 31 | - | 94 |1076 | 0 | 0 | 25 | 55k|2077 | 0.000000e+00 | 2.000000e+00 | Inf
206.63/206.75 c 189s|630000 | 3470 | 1048k| 1.7 |3968k| 31 | 4 | 94 |1117 | 94 | 15 | 25 | 56k|2094 | 0.000000e+00 | 2.000000e+00 | Inf
209.42/209.58 c 192s|640000 | 3685 | 1065k| 1.7 |4254k| 31 | - | 94 |1164 | 94 | 15 | 25 | 57k|2104 | 0.000000e+00 | 2.000000e+00 | Inf
212.32/212.46 c 194s|650000 | 3830 | 1082k| 1.7 |4415k| 31 | 4 | 94 |1124 | 94 | 15 | 25 | 58k|2120 | 0.000000e+00 | 2.000000e+00 | Inf
215.23/215.35 c 197s|660000 | 4165 | 1098k| 1.7 |4792k| 31 | - | 94 |1306 | 94 | 15 | 25 | 58k|2129 | 0.000000e+00 | 2.000000e+00 | Inf
218.13/218.29 c 199s|670000 | 3774 | 1114k| 1.7 |4541k| 31 | 4 | 94 |1118 | 94 | 15 | 25 | 59k|2142 | 0.000000e+00 | 2.000000e+00 | Inf
221.03/221.17 c 202s|680000 | 3874 | 1131k| 1.7 |4751k| 31 | - | 94 |1310 | 94 | 15 | 25 | 60k|2165 | 0.000000e+00 | 2.000000e+00 | Inf
224.12/224.20 c 205s|690000 | 2875 | 1147k| 1.7 |3923k| 31 | 4 | 94 |1004 | 94 | 15 | 25 | 61k|2185 | 0.000000e+00 | 2.000000e+00 | Inf
226.92/227.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
226.92/227.06 c 207s|700000 | 2215 | 1165k| 1.7 |3160k| 31 | 4 | 94 |1026 | 94 | 15 | 25 | 62k|2213 | 0.000000e+00 | 2.000000e+00 | Inf
229.73/229.82 c 210s|710000 | 3300 | 1182k| 1.7 |3890k| 31 | 4 | 94 |1224 | 94 | 15 | 25 | 62k|2219 | 0.000000e+00 | 2.000000e+00 | Inf
232.52/232.67 c 212s|720000 | 3446 | 1198k| 1.7 |4126k| 31 | - | 94 |1286 | 94 | 15 | 25 | 63k|2221 | 0.000000e+00 | 2.000000e+00 | Inf
235.52/235.60 c 215s|730000 | 3225 | 1215k| 1.7 |4093k| 31 | 4 | 94 |1283 | 94 | 15 | 25 | 64k|2232 | 0.000000e+00 | 2.000000e+00 | Inf
238.53/238.63 c 218s|740000 | 2260 | 1231k| 1.7 |3254k| 31 | - | 94 |1222 | 94 | 15 | 25 | 65k|2242 | 0.000000e+00 | 2.000000e+00 | Inf
241.31/241.45 c 220s|750000 | 3207 | 1248k| 1.7 |3876k| 31 | - | 94 |1472 | 94 | 15 | 25 | 66k|2248 | 0.000000e+00 | 2.000000e+00 | Inf
244.21/244.37 c 223s|760000 | 3433 | 1264k| 1.7 |4144k| 31 | 4 | 94 |1443 | 94 | 15 | 25 | 66k|2251 | 0.000000e+00 | 2.000000e+00 | Inf
247.12/247.22 c 226s|770000 | 3903 | 1280k| 1.7 |4570k| 31 | - | 94 |1622 | 94 | 15 | 25 | 67k|2251 | 0.000000e+00 | 2.000000e+00 | Inf
250.01/250.14 c 228s|780000 | 4125 | 1295k| 1.7 |4806k| 31 | - | 94 |1629 | 0 | 0 | 25 | 68k|2254 | 0.000000e+00 | 2.000000e+00 | Inf
253.12/253.22 c 231s|790000 | 3889 | 1312k| 1.7 |4788k| 31 | - | 94 |1612 | 94 | 15 | 25 | 69k|2254 | 0.000000e+00 | 2.000000e+00 | Inf
256.22/256.31 c 234s|800000 | 3062 | 1328k| 1.7 |4248k| 31 | - | 94 |1542 | 0 | 0 | 25 | 69k|2258 | 0.000000e+00 | 2.000000e+00 | Inf
259.22/259.31 c 236s|810000 | 2401 | 1344k| 1.7 |3654k| 31 | - | 94 |1561 | 0 | 0 | 25 | 70k|2258 | 0.000000e+00 | 2.000000e+00 | Inf
262.11/262.29 c 239s|820000 | 2077 | 1360k| 1.7 |3287k| 31 | - | 94 |1539 | 94 | 15 | 25 | 71k|2327 | 0.000000e+00 | 2.000000e+00 | Inf
265.01/265.15 c 242s|830000 | 2071 | 1377k| 1.7 |3096k| 31 | 4 | 94 |1139 | 94 | 15 | 25 | 72k|2360 | 0.000000e+00 | 2.000000e+00 | Inf
267.81/267.94 c 244s|840000 | 2552 | 1394k| 1.7 |3458k| 31 | 4 | 94 |1200 | 94 | 15 | 25 | 72k|2360 | 0.000000e+00 | 2.000000e+00 | Inf
270.52/270.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
270.52/270.66 c 247s|850000 | 3426 | 1410k| 1.7 |4097k| 31 | - | 94 |1416 | 0 | 0 | 25 | 73k|2364 | 0.000000e+00 | 2.000000e+00 | Inf
273.31/273.48 c 249s|860000 | 3797 | 1426k| 1.7 |4443k| 31 | - | 94 |1483 | 0 | 0 | 25 | 74k|2364 | 0.000000e+00 | 2.000000e+00 | Inf
276.21/276.35 c 252s|870000 | 3844 | 1442k| 1.7 |4509k| 31 | 4 | 94 |1231 | 94 | 15 | 25 | 74k|2364 | 0.000000e+00 | 2.000000e+00 | Inf
279.10/279.24 c 254s|880000 | 3105 | 1458k| 1.7 |4147k| 31 | 4 | 94 |1222 | 94 | 15 | 25 | 75k|2367 | 0.000000e+00 | 2.000000e+00 | Inf
281.90/282.10 c 257s|890000 | 2932 | 1474k| 1.7 |4018k| 31 | 4 | 94 |1413 | 94 | 15 | 25 | 76k|2370 | 0.000000e+00 | 2.000000e+00 | Inf
284.82/284.97 c 260s|900000 | 2553 | 1491k| 1.7 |3842k| 31 | 4 | 94 |1350 | 94 | 15 | 25 | 76k|2372 | 0.000000e+00 | 2.000000e+00 | Inf
287.81/287.90 c 262s|910000 | 1861 | 1507k| 1.7 |2995k| 31 | 4 | 94 |1148 | 94 | 15 | 25 | 77k|2376 | 0.000000e+00 | 2.000000e+00 | Inf
290.70/290.80 c 265s|920000 | 1804 | 1526k| 1.7 |3075k| 31 | - | 94 |1431 | 94 | 15 | 25 | 78k|2420 | 0.000000e+00 | 2.000000e+00 | Inf
293.51/293.68 c 268s|930000 | 1706 | 1543k| 1.7 |2858k| 31 | - | 94 | 972 | 94 | 15 | 25 | 79k|2427 | 0.000000e+00 | 2.000000e+00 | Inf
296.30/296.48 c 270s|940000 | 1668 | 1560k| 1.7 |2862k| 31 | 4 | 94 |1037 | 94 | 15 | 25 | 80k|2431 | 0.000000e+00 | 2.000000e+00 | Inf
299.10/299.27 c 273s|950000 | 1675 | 1577k| 1.7 |2838k| 31 | 4 | 94 | 930 | 94 | 15 | 25 | 81k|2436 | 0.000000e+00 | 2.000000e+00 | Inf
301.90/302.04 c 275s|960000 | 1971 | 1594k| 1.7 |3108k| 31 | - | 94 |1057 | 0 | 0 | 25 | 81k|2441 | 0.000000e+00 | 2.000000e+00 | Inf
304.70/304.88 c 278s|970000 | 1621 | 1611k| 1.7 |2901k| 31 | - | 94 |1129 | 94 | 15 | 25 | 82k|2447 | 0.000000e+00 | 2.000000e+00 | Inf
307.40/307.58 c 280s|980000 | 2045 | 1627k| 1.7 |3027k| 31 | - | 94 | 915 | 94 | 15 | 25 | 83k|2450 | 0.000000e+00 | 2.000000e+00 | Inf
310.20/310.36 c 282s|990000 | 2233 | 1644k| 1.7 |3327k| 31 | - | 94 |1012 | 94 | 15 | 25 | 84k|2455 | 0.000000e+00 | 2.000000e+00 | Inf
313.00/313.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
313.00/313.19 c 285s| 1000k| 1747 | 1660k| 1.7 |3064k| 31 | 4 | 94 |1003 | 94 | 15 | 25 | 85k|2460 | 0.000000e+00 | 2.000000e+00 | Inf
315.90/316.01 c 288s| 1010k| 1595 | 1677k| 1.7 |2892k| 31 | - | 94 |1146 | 94 | 15 | 25 | 85k|2466 | 0.000000e+00 | 2.000000e+00 | Inf
318.70/318.85 c 290s| 1020k| 1446 | 1694k| 1.7 |2780k| 31 | - | 94 |1113 | 0 | 0 | 25 | 86k|2466 | 0.000000e+00 | 2.000000e+00 | Inf
321.39/321.58 c 293s| 1030k| 2001 | 1711k| 1.7 |3178k| 31 | - | 94 |1388 | 0 | 0 | 25 | 87k|2479 | 0.000000e+00 | 2.000000e+00 | Inf
324.40/324.58 c 295s| 1040k| 2121 | 1726k| 1.7 |3427k| 31 | - | 94 |1482 | 94 | 15 | 25 | 88k|2479 | 0.000000e+00 | 2.000000e+00 | Inf
327.49/327.64 c 298s| 1050k| 1765 | 1742k| 1.7 |3287k| 31 | - | 94 |1579 | 94 | 15 | 25 | 89k|2480 | 0.000000e+00 | 2.000000e+00 | Inf
330.50/330.63 c 301s| 1060k| 1736 | 1757k| 1.7 |2883k| 31 | 4 | 94 |1080 | 94 | 15 | 25 | 90k|2487 | 0.000000e+00 | 2.000000e+00 | Inf
333.29/333.47 c 303s| 1070k| 2312 | 1775k| 1.7 |3401k| 31 | 4 | 94 |1254 | 94 | 15 | 25 | 91k|2488 | 0.000000e+00 | 2.000000e+00 | Inf
336.19/336.36 c 306s| 1080k| 2376 | 1792k| 1.7 |3583k| 31 | - | 94 |1343 | 0 | 0 | 25 | 92k|2492 | 0.000000e+00 | 2.000000e+00 | Inf
339.09/339.23 c 308s| 1090k| 1987 | 1809k| 1.7 |3405k| 31 | 4 | 94 |1318 | 94 | 15 | 25 | 93k|2494 | 0.000000e+00 | 2.000000e+00 | Inf
341.99/342.16 c 311s| 1100k| 1447 | 1825k| 1.7 |2924k| 31 | 4 | 94 |1234 | 94 | 15 | 25 | 94k|2504 | 0.000000e+00 | 2.000000e+00 | Inf
344.79/344.99 c 314s| 1110k| 1351 | 1842k| 1.7 |2871k| 31 | - | 94 |1448 | 0 | 0 | 25 | 95k|2509 | 0.000000e+00 | 2.000000e+00 | Inf
347.68/347.85 c 316s| 1120k| 1514 | 1858k| 1.7 |3048k| 31 | 4 | 94 |1601 | 94 | 15 | 25 | 95k|2510 | 0.000000e+00 | 2.000000e+00 | Inf
350.59/350.75 c 319s| 1130k| 1207 | 1875k| 1.7 |2666k| 31 | - | 94 |1177 | 94 | 15 | 25 | 96k|2510 | 0.000000e+00 | 2.000000e+00 | Inf
353.39/353.52 c 321s| 1140k| 1569 | 1892k| 1.7 |2849k| 31 | 4 | 94 |1191 | 94 | 15 | 25 | 97k|2514 | 0.000000e+00 | 2.000000e+00 | Inf
356.19/356.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
356.19/356.32 c 324s| 1150k| 1883 | 1910k| 1.7 |3175k| 31 | 4 | 94 |1249 | 94 | 15 | 25 | 98k|2523 | 0.000000e+00 | 2.000000e+00 | Inf
359.09/359.21 c 327s| 1160k| 1137 | 1927k| 1.7 |2705k| 31 | - | 94 |1274 | 0 | 0 | 25 | 99k|2524 | 0.000000e+00 | 2.000000e+00 | Inf
361.88/362.10 c 329s| 1170k| 1782 | 1943k| 1.7 |3185k| 31 | 4 | 94 |1529 | 94 | 15 | 25 | 100k|2525 | 0.000000e+00 | 2.000000e+00 | Inf
364.89/365.05 c 332s| 1180k| 1698 | 1959k| 1.7 |3214k| 31 | - | 94 |1495 | 94 | 15 | 25 | 100k|2529 | 0.000000e+00 | 2.000000e+00 | Inf
367.78/368.00 c 335s| 1190k| 1216 | 1975k| 1.7 |2724k| 31 | - | 94 |1269 | 94 | 15 | 25 | 101k|2531 | 0.000000e+00 | 2.000000e+00 | Inf
370.59/370.75 c 337s| 1200k| 1216 | 1993k| 1.7 |2583k| 31 | 4 | 94 | 947 | 94 | 15 | 25 | 102k|2531 | 0.000000e+00 | 2.000000e+00 | Inf
373.28/373.47 c 339s| 1210k| 1919 | 2011k| 1.7 |3205k| 31 | 4 | 94 |1249 | 94 | 15 | 25 | 102k|2534 | 0.000000e+00 | 2.000000e+00 | Inf
376.18/376.35 c 342s| 1220k| 1592 | 2028k| 1.7 |3104k| 31 | 4 | 94 |1172 | 94 | 15 | 25 | 103k|2535 | 0.000000e+00 | 2.000000e+00 | Inf
378.98/379.17 c 345s| 1230k| 983 | 2045k| 1.7 |2546k| 31 | 4 | 94 |1184 | 94 | 15 | 25 | 104k|2536 | 0.000000e+00 | 2.000000e+00 | Inf
381.87/382.03 c 347s| 1240k| 928 | 2061k| 1.7 |2532k| 31 | - | 94 |1247 | 94 | 15 | 25 | 105k|2543 | 0.000000e+00 | 2.000000e+00 | Inf
384.67/384.84 c 350s| 1250k| 789 | 2078k| 1.7 |2343k| 31 | 4 | 94 | 950 | 94 | 15 | 25 | 106k|2554 | 0.000000e+00 | 2.000000e+00 | Inf
387.57/387.75 c 352s| 1260k| 782 | 2095k| 1.7 |2692k| 31 | - | 94 |1895 | 94 | 15 | 25 | 107k|2560 | 0.000000e+00 | 2.000000e+00 | Inf
390.67/390.85 c 355s| 1270k| 737 | 2112k| 1.7 |2569k| 31 | - | 94 |1566 | 94 | 15 | 25 | 108k|2568 | 0.000000e+00 | 2.000000e+00 | Inf
393.47/393.63 c 358s| 1280k| 1350 | 2129k| 1.7 |2879k| 31 | 4 | 94 |1357 | 94 | 15 | 25 | 108k|2569 | 0.000000e+00 | 2.000000e+00 | Inf
396.27/396.48 c 360s| 1290k| 1151 | 2146k| 1.7 |2882k| 31 | - | 94 |1381 | 0 | 0 | 25 | 109k|2571 | 0.000000e+00 | 2.000000e+00 | Inf
399.17/399.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
399.17/399.31 c 363s| 1300k| 1081 | 2162k| 1.7 |2663k| 31 | - | 94 |1277 | 94 | 15 | 25 | 110k|2575 | 0.000000e+00 | 2.000000e+00 | Inf
401.87/402.06 c 365s| 1310k| 865 | 2179k| 1.7 |2527k| 31 | 4 | 94 |1272 | 94 | 15 | 25 | 111k|2582 | 0.000000e+00 | 2.000000e+00 | Inf
404.67/404.89 c 368s| 1320k| 785 | 2195k| 1.7 |2567k| 31 | 4 | 94 |1453 | 94 | 15 | 25 | 111k|2586 | 0.000000e+00 | 2.000000e+00 | Inf
407.76/407.90 c 371s| 1330k| 980 | 2211k| 1.7 |2798k| 31 | - | 94 |1802 | 94 | 15 | 25 | 113k|2609 | 0.000000e+00 | 2.000000e+00 | Inf
410.87/411.06 c 373s| 1340k| 750 | 2228k| 1.7 |2553k| 31 | - | 94 |1487 | 94 | 15 | 25 | 114k|2613 | 0.000000e+00 | 2.000000e+00 | Inf
413.76/413.96 c 376s| 1350k| 1067 | 2244k| 1.7 |2694k| 31 | 4 | 94 |1416 | 94 | 15 | 25 | 115k|2615 | 0.000000e+00 | 2.000000e+00 | Inf
416.67/416.88 c 379s| 1360k| 1381 | 2262k| 1.7 |3023k| 31 | 4 | 94 |1459 | 94 | 15 | 25 | 115k|2617 | 0.000000e+00 | 2.000000e+00 | Inf
419.66/419.90 c 381s| 1370k| 802 | 2278k| 1.7 |2611k| 31 | 4 | 94 |1487 | 94 | 15 | 25 | 116k|2618 | 0.000000e+00 | 2.000000e+00 | Inf
422.66/422.83 c 384s| 1380k| 1035 | 2296k| 1.7 |2614k| 31 | 4 | 94 |1309 | 94 | 15 | 25 | 116k|2635 | 0.000000e+00 | 2.000000e+00 | Inf
425.47/425.62 c 387s| 1390k| 1504 | 2314k| 1.7 |3059k| 31 | 4 | 94 |1417 | 94 | 15 | 25 | 117k|2642 | 0.000000e+00 | 2.000000e+00 | Inf
428.25/428.49 c 389s| 1400k| 878 | 2331k| 1.7 |2732k| 31 | - | 94 |1385 | 0 | 0 | 25 | 117k|2645 | 0.000000e+00 | 2.000000e+00 | Inf
431.16/431.36 c 392s| 1410k| 667 | 2347k| 1.7 |2425k| 31 | - | 94 |1248 | 0 | 0 | 25 | 118k|2649 | 0.000000e+00 | 2.000000e+00 | Inf
433.95/434.10 c 394s| 1420k| 2005 | 2366k| 1.7 |3071k| 31 | - | 94 |1195 | 94 | 15 | 25 | 118k|2650 | 0.000000e+00 | 2.000000e+00 | Inf
436.65/436.88 c 397s| 1430k| 3023 | 2384k| 1.7 |3696k| 31 | 4 | 94 |1139 | 94 | 15 | 25 | 119k|2653 | 0.000000e+00 | 2.000000e+00 | Inf
439.55/439.70 c 399s| 1440k| 3468 | 2402k| 1.7 |4097k| 31 | - | 94 |1121 | 94 | 15 | 25 | 120k|2657 | 0.000000e+00 | 2.000000e+00 | Inf
442.36/442.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
442.36/442.55 c 402s| 1450k| 3403 | 2419k| 1.7 |4243k| 31 | - | 94 |1071 | 0 | 0 | 25 | 120k|2666 | 0.000000e+00 | 2.000000e+00 | Inf
445.15/445.39 c 404s| 1460k| 3074 | 2435k| 1.7 |4262k| 31 | 4 | 94 |1236 | 94 | 15 | 25 | 121k|2682 | 0.000000e+00 | 2.000000e+00 | Inf
448.05/448.29 c 407s| 1470k| 2358 | 2452k| 1.7 |3894k| 31 | - | 94 |1114 | 94 | 15 | 25 | 122k|2693 | 0.000000e+00 | 2.000000e+00 | Inf
450.95/451.19 c 410s| 1480k| 1327 | 2469k| 1.7 |3154k| 31 | - | 94 |1066 | 0 | 0 | 25 | 123k|2709 | 0.000000e+00 | 2.000000e+00 | Inf
453.74/454.00 c 412s| 1490k| 672 | 2485k| 1.7 |2273k| 31 | 4 | 94 | 910 | 94 | 15 | 25 | 123k|2723 | 0.000000e+00 | 2.000000e+00 | Inf
456.55/456.75 c 415s| 1500k| 703 | 2502k| 1.7 |2332k| 31 | 4 | 94 | 869 | 94 | 15 | 25 | 124k|2732 | 0.000000e+00 | 2.000000e+00 | Inf
459.24/459.48 c 417s| 1510k| 664 | 2520k| 1.7 |2376k| 31 | 4 | 94 |1196 | 94 | 15 | 25 | 125k|2743 | 0.000000e+00 | 2.000000e+00 | Inf
462.05/462.24 c 420s| 1520k| 880 | 2538k| 1.7 |2440k| 31 | 4 | 94 | 901 | 94 | 15 | 25 | 126k|2748 | 0.000000e+00 | 2.000000e+00 | Inf
464.75/464.90 c 422s| 1530k| 594 | 2555k| 1.7 |2180k| 31 | 4 | 94 | 774 | 94 | 15 | 25 | 126k|2759 | 0.000000e+00 | 2.000000e+00 | Inf
467.35/467.52 c 424s| 1540k| 1035 | 2573k| 1.7 |2588k| 31 | - | 94 | 926 | 94 | 15 | 25 | 127k|2765 | 0.000000e+00 | 2.000000e+00 | Inf
470.05/470.23 c 427s| 1550k| 1242 | 2590k| 1.7 |2779k| 31 | 4 | 94 | 902 | 94 | 15 | 25 | 127k|2765 | 0.000000e+00 | 2.000000e+00 | Inf
472.75/472.96 c 429s| 1560k| 666 | 2608k| 1.7 |2221k| 31 | - | 94 | 740 | 94 | 15 | 25 | 128k|2773 | 0.000000e+00 | 2.000000e+00 | Inf
475.44/475.64 c 432s| 1570k| 581 | 2626k| 1.7 |2257k| 31 | - | 94 | 896 | 0 | 0 | 25 | 129k|2781 | 0.000000e+00 | 2.000000e+00 | Inf
478.15/478.30 c 434s| 1580k| 530 | 2644k| 1.7 |2169k| 31 | - | 94 | 825 | 94 | 15 | 25 | 129k|2787 | 0.000000e+00 | 2.000000e+00 | Inf
480.74/480.92 c 436s| 1590k| 439 | 2661k| 1.7 |2128k| 31 | 4 | 94 | 838 | 94 | 15 | 25 | 130k|2816 | 0.000000e+00 | 2.000000e+00 | Inf
483.24/483.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
483.24/483.45 c 438s| 1600k| 480 | 2678k| 1.7 |2176k| 31 | - | 94 | 879 | 94 | 15 | 25 | 130k|2819 | 0.000000e+00 | 2.000000e+00 | Inf
485.95/486.11 c 441s| 1610k| 467 | 2694k| 1.7 |2134k| 31 | - | 94 | 833 | 94 | 15 | 25 | 131k|2838 | 0.000000e+00 | 2.000000e+00 | Inf
488.54/488.72 c 443s| 1620k| 618 | 2711k| 1.7 |2290k| 31 | - | 94 | 915 | 94 | 15 | 25 | 131k|2846 | 0.000000e+00 | 2.000000e+00 | Inf
491.13/491.35 c 446s| 1630k| 606 | 2728k| 1.7 |2330k| 31 | - | 94 | 949 | 94 | 15 | 25 | 132k|2872 | 0.000000e+00 | 2.000000e+00 | Inf
493.93/494.10 c 448s| 1640k| 744 | 2744k| 1.7 |2472k| 31 | 4 | 94 |1255 | 94 | 15 | 25 | 133k|2888 | 0.000000e+00 | 2.000000e+00 | Inf
496.73/496.99 c 451s| 1650k| 676 | 2759k| 1.7 |2374k| 31 | - | 94 |1154 | 94 | 15 | 25 | 134k|2888 | 0.000000e+00 | 2.000000e+00 | Inf
499.53/499.74 c 453s| 1660k| 717 | 2777k| 1.7 |2384k| 31 | 4 | 94 |1074 | 94 | 15 | 25 | 134k|2892 | 0.000000e+00 | 2.000000e+00 | Inf
502.33/502.52 c 456s| 1670k| 417 | 2794k| 1.7 |2167k| 31 | - | 94 | 860 | 94 | 15 | 25 | 135k|2892 | 0.000000e+00 | 2.000000e+00 | Inf
504.93/505.18 c 458s| 1680k| 447 | 2811k| 1.7 |2239k| 31 | 4 | 94 |1065 | 94 | 15 | 25 | 136k|2893 | 0.000000e+00 | 2.000000e+00 | Inf
507.63/507.89 c 460s| 1690k| 262 | 2827k| 1.7 |2071k| 31 | - | 94 | 996 | 0 | 0 | 25 | 136k|2896 | 0.000000e+00 | 2.000000e+00 | Inf
510.53/510.74 c 463s| 1700k| 250 | 2844k| 1.7 |2004k| 31 | 4 | 94 | 830 | 94 | 15 | 25 | 137k|2899 | 0.000000e+00 | 2.000000e+00 | Inf
513.23/513.47 c 465s| 1710k| 650 | 2862k| 1.7 |2398k| 31 | - | 94 |1154 | 94 | 15 | 25 | 138k|2905 | 0.000000e+00 | 2.000000e+00 | Inf
516.13/516.31 c 468s| 1720k| 242 | 2880k| 1.7 |2080k| 31 | - | 94 |1058 | 94 | 15 | 25 | 139k|2910 | 0.000000e+00 | 2.000000e+00 | Inf
518.83/519.02 c 470s| 1730k| 489 | 2896k| 1.7 |2246k| 31 | - | 94 |1142 | 94 | 15 | 25 | 140k|2918 | 0.000000e+00 | 2.000000e+00 | Inf
521.63/521.87 c 473s| 1740k| 651 | 2914k| 1.7 |2457k| 31 | - | 94 |1208 | 94 | 15 | 25 | 141k|2931 | 0.000000e+00 | 2.000000e+00 | Inf
524.44/524.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
524.44/524.63 c 475s| 1750k| 1216 | 2932k| 1.7 |2810k| 31 | 4 | 94 |1190 | 94 | 15 | 25 | 142k|2934 | 0.000000e+00 | 2.000000e+00 | Inf
527.22/527.46 c 478s| 1760k| 703 | 2950k| 1.7 |2558k| 31 | 4 | 94 |1182 | 94 | 15 | 25 | 143k|2934 | 0.000000e+00 | 2.000000e+00 | Inf
530.03/530.27 c 480s| 1770k| 619 | 2969k| 1.7 |2542k| 31 | 4 | 94 |1395 | 94 | 15 | 25 | 144k|2938 | 0.000000e+00 | 2.000000e+00 | Inf
532.93/533.12 c 483s| 1780k| 616 | 2986k| 1.7 |2610k| 31 | - | 94 |1479 | 0 | 0 | 25 | 144k|2938 | 0.000000e+00 | 2.000000e+00 | Inf
535.82/536.03 c 486s| 1790k| 276 | 3004k| 1.7 |2127k| 31 | - | 94 |1213 | 0 | 0 | 25 | 145k|2940 | 0.000000e+00 | 2.000000e+00 | Inf
538.63/538.89 c 488s| 1800k| 231 | 3022k| 1.7 |2195k| 31 | - | 94 |1406 | 0 | 0 | 25 | 146k|2941 | 0.000000e+00 | 2.000000e+00 | Inf
541.53/541.72 c 491s| 1810k| 798 | 3039k| 1.7 |2636k| 31 | - | 94 |1616 | 94 | 15 | 25 | 147k|2947 | 0.000000e+00 | 2.000000e+00 | Inf
544.42/544.69 c 493s| 1820k| 640 | 3056k| 1.7 |2584k| 31 | - | 94 |1484 | 94 | 15 | 25 | 148k|2959 | 0.000000e+00 | 2.000000e+00 | Inf
547.32/547.57 c 496s| 1830k| 162 | 3073k| 1.7 |2192k| 31 | 4 | 94 |1506 | 94 | 15 | 25 | 149k|2966 | 0.000000e+00 | 2.000000e+00 | Inf
550.22/550.41 c 499s| 1840k| 178 | 3091k| 1.7 |2026k| 31 | 4 | 94 |1103 | 94 | 15 | 25 | 149k|3023 | 0.000000e+00 | 2.000000e+00 | Inf
552.82/553.09 c 501s| 1850k| 243 | 3108k| 1.7 |2005k| 31 | 4 | 94 |1035 | 94 | 15 | 25 | 150k|3023 | 0.000000e+00 | 2.000000e+00 | Inf
555.62/555.80 c 503s| 1860k| 951 | 3125k| 1.7 |2579k| 31 | - | 94 |1185 | 94 | 15 | 25 | 150k|3025 | 0.000000e+00 | 2.000000e+00 | Inf
558.42/558.63 c 506s| 1870k| 343 | 3142k| 1.7 |2244k| 31 | 4 | 94 |1095 | 94 | 15 | 25 | 151k|3036 | 0.000000e+00 | 2.000000e+00 | Inf
561.12/561.33 c 508s| 1880k| 195 | 3161k| 1.7 |2087k| 31 | - | 94 |1119 | 94 | 15 | 25 | 151k|3045 | 0.000000e+00 | 2.000000e+00 | Inf
563.82/564.02 c 511s| 1890k| 257 | 3179k| 1.7 |1978k| 31 | - | 94 | 724 | 0 | 0 | 25 | 152k|3059 | 0.000000e+00 | 2.000000e+00 | Inf
566.62/566.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
566.62/566.82 c 513s| 1900k| 30 | 3197k| 1.7 |1972k| 31 | - | 94 |1311 | 94 | 15 | 25 | 153k|3068 | 0.000000e+00 | 2.000000e+00 | Inf
566.81/567.09 c
566.81/567.09 c SCIP Status : problem is solved [optimal solution found]
566.81/567.09 c Solving Time (sec) : 513.56
566.81/567.09 c Solving Nodes : 1900975
566.81/567.09 c Primal Bound : +2.00000000000000e+00 (45 solutions)
566.81/567.09 c Dual Bound : +2.00000000000000e+00
566.81/567.09 c Gap : 0.00 %
566.81/567.09 s OPTIMUM FOUND
566.81/567.09 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
566.81/567.09 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
566.81/567.09 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
566.81/567.09 v -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
566.81/567.09 c SCIP Status : problem is solved [optimal solution found]
566.81/567.09 c Solving Time : 513.56
566.81/567.09 c Original Problem :
566.81/567.09 c Problem name : HOME/instance-2667073-1276617290.opb
566.81/567.09 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
566.81/567.09 c Constraints : 8 initial, 8 maximal
566.81/567.09 c Presolved Problem :
566.81/567.09 c Problem name : t_HOME/instance-2667073-1276617290.opb
566.81/567.09 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
566.81/567.09 c Constraints : 4 initial, 5472 maximal
566.81/567.09 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
566.81/567.09 c trivial : 0.00 0 0 0 0 0 0 0 0
566.81/567.09 c dualfix : 0.00 0 0 0 0 0 0 0 0
566.81/567.09 c boundshift : 0.00 0 0 0 0 0 0 0 0
566.81/567.09 c inttobinary : 0.00 0 0 0 0 0 0 0 0
566.81/567.09 c implics : 0.00 0 0 0 0 0 0 0 0
566.81/567.09 c probing : 0.00 0 0 0 0 0 0 0 0
566.81/567.09 c linear : 0.00 0 0 0 0 0 4 0 0
566.81/567.09 c logicor : 0.00 0 0 0 0 0 0 0 0
566.81/567.09 c root node : - 58 - - 58 - - - -
566.81/567.09 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
566.81/567.09 c integral : 0 0 0 971431 0 377 1344 0 0 1939388
566.81/567.09 c linear : 4+ 7 2463579 2 0 499958 3202391 0 0 0
566.81/567.09 c logicor : 0+ 0 1230804 0 0 847 79954 0 0 0
566.81/567.09 c countsols : 0 0 0 21 0 0 0 0 0 0
566.81/567.09 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
566.81/567.09 c integral : 10.29 0.00 0.00 10.29 0.00
566.81/567.09 c linear : 107.78 0.00 107.78 0.00 0.00
566.81/567.09 c logicor : 41.21 0.00 41.21 0.00 0.00
566.81/567.09 c countsols : 0.00 0.00 0.00 0.00 0.00
566.81/567.09 c Propagators : Time Calls Cutoffs DomReds
566.81/567.09 c vbounds : 1.39 2 0 0
566.81/567.09 c rootredcost : 1.08 43 0 56
566.81/567.09 c pseudoobj : 11.58 2463917 505 132983
566.81/567.09 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
566.81/567.09 c propagation : 20.97 501310 148168 222543 23.0 0 0.0 -
566.81/567.09 c infeasible LP : 0.03 722 721 854 15.5 3 22.7 0
566.81/567.09 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
566.81/567.09 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
566.81/567.09 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
566.81/567.09 c applied globally : - - - 153972 22.8 - - -
566.81/567.09 c applied locally : - - - 41 34.8 - - -
566.81/567.09 c Separators : Time Calls Cutoffs DomReds Cuts Conss
566.81/567.09 c cut pool : 0.00 5 - - 15 - (maximal pool size: 79)
566.81/567.09 c redcost : 6.28 1010428 0 433856 0 0
566.81/567.09 c impliedbounds : 0.00 6 0 0 0 0
566.81/567.09 c intobj : 0.00 0 0 0 0 0
566.81/567.09 c cgmip : 0.00 0 0 0 0 0
566.81/567.09 c gomory : 0.01 6 0 0 0 0
566.81/567.09 c strongcg : 0.00 6 0 0 6 0
566.81/567.09 c cmir : 0.01 6 0 0 38 0
566.81/567.09 c flowcover : 0.03 6 0 0 45 0
566.81/567.09 c clique : 0.00 1 0 0 0 0
566.81/567.09 c zerohalf : 0.00 0 0 0 0 0
566.81/567.09 c mcf : 0.00 1 0 0 0 0
566.81/567.09 c rapidlearning : 0.06 1 0 0 0 122
566.81/567.09 c Pricers : Time Calls Vars
566.81/567.09 c problem variables: 0.00 0 0
566.81/567.09 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
566.81/567.09 c relpscost : 9.10 971410 377 1344 0 0 1939388
566.81/567.09 c pscost : 0.00 0 0 0 0 0 0
566.81/567.09 c inference : 0.00 0 0 0 0 0 0
566.81/567.09 c mostinf : 0.00 0 0 0 0 0 0
566.81/567.09 c leastinf : 0.00 0 0 0 0 0 0
566.81/567.09 c fullstrong : 0.00 0 0 0 0 0 0
566.81/567.09 c allfullstrong : 0.00 0 0 0 0 0 0
566.81/567.09 c random : 0.00 0 0 0 0 0 0
566.81/567.09 c Primal Heuristics : Time Calls Found
566.81/567.09 c LP solutions : 0.00 - 21
566.81/567.09 c pseudo solutions : 0.00 - 0
566.81/567.09 c intshifting : 0.11 0 0
566.81/567.09 c feaspump : 0.35 1 0
566.81/567.09 c oneopt : 1.06 39 0
566.81/567.09 c veclendiving : 0.40 306 3
566.81/567.09 c guideddiving : 0.33 306 4
566.81/567.09 c pscostdiving : 0.41 307 3
566.81/567.09 c coefdiving : 0.34 307 2
566.81/567.09 c fracdiving : 0.37 307 4
566.81/567.09 c linesearchdiving : 0.41 307 3
566.81/567.09 c objpscostdiving : 0.30 192 0
566.81/567.09 c rootsoldiving : 0.46 192 2
566.81/567.09 c trivial : 0.00 2 0
566.81/567.09 c simplerounding : 0.64 0 0
566.81/567.09 c zirounding : 0.93 1000 0
566.81/567.09 c rounding : 1.00 14229 0
566.81/567.09 c shifting : 17.14 26252 2
566.81/567.09 c twoopt : 0.00 0 0
566.81/567.09 c fixandinfer : 0.00 0 0
566.81/567.09 c intdiving : 0.00 0 0
566.81/567.09 c actconsdiving : 0.00 0 0
566.81/567.09 c octane : 0.00 0 0
566.81/567.09 c rens : 0.02 1 0
566.81/567.09 c rins : 0.00 0 0
566.81/567.09 c localbranching : 0.00 0 0
566.81/567.09 c mutation : 0.00 0 0
566.81/567.09 c crossover : 0.01 0 0
566.81/567.09 c dins : 0.00 0 0
566.81/567.09 c undercover : 0.00 0 0
566.81/567.09 c nlp : 0.95 0 0
566.81/567.09 c trysol : 1.39 0 0
566.81/567.09 c LP : Time Calls Iterations Iter/call Iter/sec
566.81/567.09 c primal LP : 0.00 0 0 0.00 -
566.81/567.09 c dual LP : 119.42 1480321 3185862 2.15 26677.79
566.81/567.09 c lex dual LP : 0.00 0 0 0.00 -
566.81/567.09 c barrier LP : 0.00 0 0 0.00 -
566.81/567.09 c diving/probing LP: 0.71 5480 13371 2.44 18832.39
566.81/567.09 c strong branching : 0.52 3070 11838 3.86 22765.38
566.81/567.09 c (at root node) : - 9 309 34.33 -
566.81/567.09 c conflict analysis: 0.00 0 0 0.00 -
566.81/567.09 c B&B Tree :
566.81/567.09 c number of runs : 1
566.81/567.09 c nodes : 1900975
566.81/567.09 c nodes (total) : 1900975
566.81/567.09 c nodes left : 0
566.81/567.09 c max depth : 31
566.81/567.09 c max depth (total): 31
566.81/567.09 c backtracks : 515280 (27.1%)
566.81/567.09 c delayed cutoffs : 38091
566.81/567.09 c repropagations : 99301 (264792 domain reductions, 37792 cutoffs)
566.81/567.09 c avg switch length: 4.50
566.81/567.09 c switching time : 78.22
566.81/567.09 c Solution :
566.81/567.09 c Solutions found : 45 (43 improvements)
566.81/567.09 c First Solution : +4.11000000000000e+02 (in run 1, after 1 nodes, 0.08 seconds, depth 0, found by <trysol>)
566.81/567.09 c Primal Bound : +2.00000000000000e+00 (in run 1, after 14435 nodes, 5.49 seconds, depth 23, found by <relaxation>)
566.81/567.09 c Dual Bound : +2.00000000000000e+00
566.81/567.09 c Gap : 0.00 %
566.81/567.09 c Root Dual Bound : +0.00000000000000e+00
566.81/567.09 c Root Iterations : 73
566.91/567.10 c Time complete: 566.92.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667073-1276617290/watcher-2667073-1276617290 -o /tmp/evaluation-result-2667073-1276617290/solver-2667073-1276617290 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667073-1276617290.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: 0.85 0.97 0.99 2/106 10389
/proc/meminfo: memFree=1767692/2059040 swapFree=4192956/4192956
[pid=10389] ppid=10387 vsize=4792 CPUtime=0
/proc/10389/stat : 10389 (pbscip.linux.x8) R 10387 10389 10364 0 -1 4202496 556 0 0 0 0 0 0 0 19 0 1 0 3021743 4907008 477 1992294400 4194304 8223781 140734109735184 18446744073709551615 7246987 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10389/statm: 1198 477 302 984 0 211 0
[startup+0.0912379 s]
/proc/loadavg: 0.85 0.97 0.99 2/106 10389
/proc/meminfo: memFree=1767692/2059040 swapFree=4192956/4192956
[pid=10389] ppid=10387 vsize=20072 CPUtime=0.08
/proc/10389/stat : 10389 (pbscip.linux.x8) R 10387 10389 10364 0 -1 4202496 4737 0 0 0 6 2 0 0 20 0 1 0 3021743 20553728 3767 1992294400 4194304 8223781 140734109735184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10389/statm: 5018 3767 565 984 0 4031 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 20072
[startup+0.101239 s]
/proc/loadavg: 0.85 0.97 0.99 2/106 10389
/proc/meminfo: memFree=1767692/2059040 swapFree=4192956/4192956
[pid=10389] ppid=10387 vsize=20072 CPUtime=0.09
/proc/10389/stat : 10389 (pbscip.linux.x8) R 10387 10389 10364 0 -1 4202496 4738 0 0 0 7 2 0 0 20 0 1 0 3021743 20553728 3768 1992294400 4194304 8223781 140734109735184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10389/statm: 5018 3768 565 984 0 4031 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20072
[startup+0.30126 s]
/proc/loadavg: 0.85 0.97 0.99 2/106 10389
/proc/meminfo: memFree=1767692/2059040 swapFree=4192956/4192956
[pid=10389] ppid=10387 vsize=13924 CPUtime=0.29
/proc/10389/stat : 10389 (pbscip.linux.x8) R 10387 10389 10364 0 -1 4202496 8059 0 0 0 25 4 0 0 20 0 1 0 3021743 14258176 2634 1992294400 4194304 8223781 140734109735184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10389/statm: 3481 2634 587 984 0 2494 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13924
[startup+0.701304 s]
/proc/loadavg: 0.85 0.97 0.99 2/106 10389
/proc/meminfo: memFree=1767692/2059040 swapFree=4192956/4192956
[pid=10389] ppid=10387 vsize=13924 CPUtime=0.69
/proc/10389/stat : 10389 (pbscip.linux.x8) R 10387 10389 10364 0 -1 4202496 8060 0 0 0 59 10 0 0 20 0 1 0 3021743 14258176 2635 1992294400 4194304 8223781 140734109735184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10389/statm: 3481 2635 588 984 0 2494 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13924
[startup+1.50139 s]
/proc/loadavg: 0.85 0.97 0.99 2/107 10390
/proc/meminfo: memFree=1758632/2059040 swapFree=4192956/4192956
[pid=10389] ppid=10387 vsize=14304 CPUtime=1.49
/proc/10389/stat : 10389 (pbscip.linux.x8) R 10387 10389 10364 0 -1 4202496 8674 0 0 0 131 18 0 0 22 0 1 0 3021743 14647296 2704 1992294400 4194304 8223781 140734109735184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10389/statm: 3576 2704 589 984 0 2589 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14304
[startup+3.10056 s]
/proc/loadavg: 0.85 0.97 0.99 2/107 10390
/proc/meminfo: memFree=1758260/2059040 swapFree=4192956/4192956
[pid=10389] ppid=10387 vsize=15600 CPUtime=3.09
/proc/10389/stat : 10389 (pbscip.linux.x8) R 10387 10389 10364 0 -1 4202496 9008 0 0 0 275 34 0 0 25 0 1 0 3021743 15974400 3038 1992294400 4194304 8223781 140734109735184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10389/statm: 3900 3038 589 984 0 2913 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15600
[startup+6.30091 s]
/proc/loadavg: 0.86 0.97 0.99 2/107 10390
/proc/meminfo: memFree=1755532/2059040 swapFree=4192956/4192956
[pid=10389] ppid=10387 vsize=17452 CPUtime=6.29
/proc/10389/stat : 10389 (pbscip.linux.x8) R 10387 10389 10364 0 -1 4202496 9485 0 0 0 570 59 0 0 25 0 1 0 3021743 17870848 3515 1992294400 4194304 8223781 140734109735184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10389/statm: 4363 3515 589 984 0 3376 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17452
[startup+12.7006 s]
/proc/loadavg: 0.87 0.97 0.99 2/107 10390
/proc/meminfo: memFree=1753920/2059040 swapFree=4192956/4192956
[pid=10389] ppid=10387 vsize=19000 CPUtime=12.69
/proc/10389/stat : 10389 (pbscip.linux.x8) R 10387 10389 10364 0 -1 4202496 9874 0 0 0 1163 106 0 0 25 0 1 0 3021743 19456000 3904 1992294400 4194304 8223781 140734109735184 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10389/statm: 4750 3904 589 984 0 3763 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19000
[startup+25.501 s]
/proc/loadavg: 0.90 0.97 0.99 2/107 10392
/proc/meminfo: memFree=1751440/2059040 swapFree=4192956/4192956
[pid=10389] ppid=10387 vsize=21496 CPUtime=25.48
/proc/10389/stat : 10389 (pbscip.linux.x8) R 10387 10389 10364 0 -1 4202496 10469 0 0 0 2367 181 0 0 25 0 1 0 3021743 22011904 4499 1992294400 4194304 8223781 140734109735184 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10389/statm: 5374 4499 589 984 0 4387 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21496
[startup+51.1017 s]
/proc/loadavg: 0.93 0.97 0.99 2/107 10392
/proc/meminfo: memFree=1751068/2059040 swapFree=4192956/4192956
[pid=10389] ppid=10387 vsize=21812 CPUtime=51.08
/proc/10389/stat : 10389 (pbscip.linux.x8) R 10387 10389 10364 0 -1 4202496 10561 0 0 0 4752 356 0 0 25 0 1 0 3021743 22335488 4591 1992294400 4194304 8223781 140734109735184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10389/statm: 5453 4591 589 984 0 4466 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 21812
[startup+102.308 s]
/proc/loadavg: 0.97 0.97 0.99 2/107 10394
/proc/meminfo: memFree=1750696/2059040 swapFree=4192956/4192956
[pid=10389] ppid=10387 vsize=22136 CPUtime=102.27
/proc/10389/stat : 10389 (pbscip.linux.x8) R 10387 10389 10364 0 -1 4202496 10643 0 0 0 9460 767 0 0 25 0 1 0 3021743 22667264 4673 1992294400 4194304 8223781 140734109735184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10389/statm: 5534 4673 589 984 0 4547 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 22136
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10394
/proc/meminfo: memFree=1750572/2059040 swapFree=4192956/4192956
[pid=10389] ppid=10387 vsize=22136 CPUtime=162.24
/proc/10389/stat : 10389 (pbscip.linux.x8) R 10387 10389 10364 0 -1 4202496 10644 0 0 0 14891 1333 0 0 25 0 1 0 3021743 22667264 4674 1992294400 4194304 8223781 140734109735184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10389/statm: 5534 4674 589 984 0 4547 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 22136
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10396
/proc/meminfo: memFree=1750448/2059040 swapFree=4192956/4192956
[pid=10389] ppid=10387 vsize=22136 CPUtime=222.22
/proc/10389/stat : 10389 (pbscip.linux.x8) R 10387 10389 10364 0 -1 4202496 10644 0 0 0 20299 1923 0 0 25 0 1 0 3021743 22667264 4674 1992294400 4194304 8223781 140734109735184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10389/statm: 5534 4674 589 984 0 4547 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 22136
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10398
/proc/meminfo: memFree=1750324/2059040 swapFree=4192956/4192956
[pid=10389] ppid=10387 vsize=22136 CPUtime=282.21
/proc/10389/stat : 10389 (pbscip.linux.x8) R 10387 10389 10364 0 -1 4202496 10644 0 0 0 25721 2500 0 0 25 0 1 0 3021743 22667264 4674 1992294400 4194304 8223781 140734109735184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10389/statm: 5534 4674 589 984 0 4547 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 22136
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10400
/proc/meminfo: memFree=1750200/2059040 swapFree=4192956/4192956
[pid=10389] ppid=10387 vsize=22136 CPUtime=342.19
/proc/10389/stat : 10389 (pbscip.linux.x8) R 10387 10389 10364 0 -1 4202496 10644 0 0 0 31127 3092 0 0 25 0 1 0 3021743 22667264 4674 1992294400 4194304 8223781 140734109735184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10389/statm: 5534 4674 589 984 0 4547 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 22136
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10411
/proc/meminfo: memFree=1749208/2059040 swapFree=4192956/4192956
[pid=10389] ppid=10387 vsize=22136 CPUtime=402.17
/proc/10389/stat : 10389 (pbscip.linux.x8) R 10387 10389 10364 0 -1 4202496 10649 0 0 0 36544 3673 0 0 25 0 1 0 3021743 22667264 4679 1992294400 4194304 8223781 140734109735184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10389/statm: 5534 4679 589 984 0 4547 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 22136
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10411
/proc/meminfo: memFree=1749208/2059040 swapFree=4192956/4192956
[pid=10389] ppid=10387 vsize=22136 CPUtime=462.15
/proc/10389/stat : 10389 (pbscip.linux.x8) R 10387 10389 10364 0 -1 4202496 10649 0 0 0 41957 4258 0 0 25 0 1 0 3021743 22667264 4679 1992294400 4194304 8223781 140734109735184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10389/statm: 5534 4679 589 984 0 4547 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 22136
[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10413
/proc/meminfo: memFree=1749208/2059040 swapFree=4192956/4192956
[pid=10389] ppid=10387 vsize=22136 CPUtime=522.13
/proc/10389/stat : 10389 (pbscip.linux.x8) R 10387 10389 10364 0 -1 4202496 10649 0 0 0 47330 4883 0 0 25 0 1 0 3021743 22667264 4679 1992294400 4194304 8223781 140734109735184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10389/statm: 5534 4679 589 984 0 4547 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 22136
Solver just ended. Dumping a history of the last processes samples
[startup+537.501 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10413
/proc/meminfo: memFree=1749208/2059040 swapFree=4192956/4192956
[pid=10389] ppid=10387 vsize=22136 CPUtime=537.32
/proc/10389/stat : 10389 (pbscip.linux.x8) R 10387 10389 10364 0 -1 4202496 10649 0 0 0 48700 5032 0 0 25 0 1 0 3021743 22667264 4679 1992294400 4194304 8223781 140734109735184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10389/statm: 5534 4679 589 984 0 4547 0
Current children cumulated CPU time (s) 537.32
Current children cumulated vsize (KiB) 22136
[startup+550.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10415
/proc/meminfo: memFree=1749208/2059040 swapFree=4192956/4192956
[pid=10389] ppid=10387 vsize=22136 CPUtime=550.12
/proc/10389/stat : 10389 (pbscip.linux.x8) R 10387 10389 10364 0 -1 4202496 10649 0 0 0 49849 5163 0 0 25 0 1 0 3021743 22667264 4679 1992294400 4194304 8223781 140734109735184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10389/statm: 5534 4679 589 984 0 4547 0
Current children cumulated CPU time (s) 550.12
Current children cumulated vsize (KiB) 22136
[startup+556.701 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10415
/proc/meminfo: memFree=1749208/2059040 swapFree=4192956/4192956
[pid=10389] ppid=10387 vsize=22136 CPUtime=556.52
/proc/10389/stat : 10389 (pbscip.linux.x8) R 10387 10389 10364 0 -1 4202496 10649 0 0 0 50426 5226 0 0 25 0 1 0 3021743 22667264 4679 1992294400 4194304 8223781 140734109735184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10389/statm: 5534 4679 589 984 0 4547 0
Current children cumulated CPU time (s) 556.52
Current children cumulated vsize (KiB) 22136
[startup+563.101 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10415
/proc/meminfo: memFree=1749208/2059040 swapFree=4192956/4192956
[pid=10389] ppid=10387 vsize=22136 CPUtime=562.93
/proc/10389/stat : 10389 (pbscip.linux.x8) R 10387 10389 10364 0 -1 4202496 10649 0 0 0 50999 5294 0 0 25 0 1 0 3021743 22667264 4679 1992294400 4194304 8223781 140734109735184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10389/statm: 5534 4679 589 984 0 4547 0
Current children cumulated CPU time (s) 562.93
Current children cumulated vsize (KiB) 22136
[startup+564.701 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10415
/proc/meminfo: memFree=1749208/2059040 swapFree=4192956/4192956
[pid=10389] ppid=10387 vsize=22136 CPUtime=564.52
/proc/10389/stat : 10389 (pbscip.linux.x8) R 10387 10389 10364 0 -1 4202496 10649 0 0 0 51142 5310 0 0 25 0 1 0 3021743 22667264 4679 1992294400 4194304 8223781 140734109735184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10389/statm: 5534 4679 589 984 0 4547 0
Current children cumulated CPU time (s) 564.52
Current children cumulated vsize (KiB) 22136
[startup+566.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10415
/proc/meminfo: memFree=1749208/2059040 swapFree=4192956/4192956
[pid=10389] ppid=10387 vsize=22136 CPUtime=566.11
/proc/10389/stat : 10389 (pbscip.linux.x8) R 10387 10389 10364 0 -1 4202496 10649 0 0 0 51285 5326 0 0 25 0 1 0 3021743 22667264 4679 1992294400 4194304 8223781 140734109735184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10389/statm: 5534 4679 589 984 0 4547 0
Current children cumulated CPU time (s) 566.11
Current children cumulated vsize (KiB) 22136
[startup+566.702 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10415
/proc/meminfo: memFree=1749208/2059040 swapFree=4192956/4192956
[pid=10389] ppid=10387 vsize=22136 CPUtime=566.52
/proc/10389/stat : 10389 (pbscip.linux.x8) R 10387 10389 10364 0 -1 4202496 10649 0 0 0 51321 5331 0 0 25 0 1 0 3021743 22667264 4679 1992294400 4194304 8223781 140734109735184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10389/statm: 5534 4679 589 984 0 4547 0
Current children cumulated CPU time (s) 566.52
Current children cumulated vsize (KiB) 22136
[startup+567.102 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10415
/proc/meminfo: memFree=1749208/2059040 swapFree=4192956/4192956
[pid=10389] ppid=10387 vsize=18400 CPUtime=566.91
/proc/10389/stat : 10389 (pbscip.linux.x8) R 10387 10389 10364 0 -1 4202496 10651 0 0 0 51356 5335 0 0 25 0 1 0 3021743 18841600 3747 1992294400 4194304 8223781 140734109735184 18446744073709551615 4333573 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10389/statm: 4600 3747 591 984 0 3613 0
Current children cumulated CPU time (s) 566.91
Current children cumulated vsize (KiB) 18400
Child status: 0
Real time (s): 567.106
CPU time (s): 566.931
CPU user time (s): 513.571
CPU system time (s): 53.3599
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 22136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 513.571
system time used= 53.3599
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10655
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= 3
involuntary context switches= 1714
runsolver used 0.979851 second user time and 2.6546 second system time
The end