0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 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-3450661-1307105776.opb>
0.00/0.01 c original problem has 1446 variables (1446 bin, 0 int, 0 impl, 0 cont) and 1646 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 o 0
0.00/0.01 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.01 c presolving:
0.00/0.04 c (round 1) 1246 del vars, 400 del conss, 0 add conss, 1246 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4984 impls, 0 clqs
0.00/0.05 c (round 2) 1246 del vars, 400 del conss, 0 add conss, 1246 chg bounds, 0 chg sides, 0 chg coeffs, 1246 upgd conss, 7476 impls, 0 clqs
0.00/0.06 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.00/0.06 c presolving (3 rounds):
0.00/0.06 c 1246 deleted vars, 400 deleted constraints, 0 added constraints, 1246 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 7476 implications, 0 cliques
0.00/0.06 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 1246 constraints
0.00/0.06 c 1246 constraints of type <logicor>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.04
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c # SCIP version 2.0.1.5
0.00/0.06 c
0.00/0.06 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c conflict/interconss = 0
0.00/0.06 c
0.00/0.06 c # should binary conflicts be preferred?
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c conflict/preferbinary = TRUE
0.00/0.06 c
0.00/0.06 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c constraints/agelimit = 1
0.00/0.06 c
0.00/0.06 c # should enforcement of pseudo solution be disabled?
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/disableenfops = TRUE
0.00/0.06 c
0.00/0.06 c # frequency for displaying node information lines
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.06 c display/freq = 10000
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/time = 1800
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/memory = 13950
0.00/0.06 c
0.00/0.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.06 c # [type: int, range: [1,2], default: 1]
0.00/0.06 c timing/clocktype = 2
0.00/0.06 c
0.00/0.06 c # belongs reading time to solving time?
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c timing/reading = TRUE
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify inequalities
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/linear/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/indicator/addCouplingCons = TRUE
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify knapsacks
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving
0.00/0.06 c
0.05/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.05/0.07 c t 0.1s| 1 | 0 | 216 | - |4746k| 0 | 200 | 200 |1246 | 200 |1246 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.05/0.07 o -1
0.05/0.07 c R 0.1s| 1 | 0 | 216 | - |4749k| 0 | 200 | 200 |1246 | 200 |1246 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
0.05/0.07 o -2
0.05/0.07 c s 0.1s| 1 | 0 | 216 | - |4751k| 0 | 200 | 200 |1246 | 200 |1246 | 0 | 0 | 0 |-1.000000e+02 |-2.000000e+00 | 98.00%
0.05/0.10 c 0.1s| 1 | 0 | 283 | - |4757k| 0 | 191 | 200 |1246 | 200 |1255 | 9 | 0 | 0 |-9.550000e+01 |-2.000000e+00 | 97.91%
0.05/0.10 o -37
0.05/0.10 c b 0.1s| 1 | 0 | 283 | - |4762k| 0 | 191 | 200 |1246 | 200 |1255 | 9 | 0 | 0 |-9.550000e+01 |-3.700000e+01 | 61.26%
0.09/0.12 c 0.1s| 1 | 0 | 373 | - |4768k| 0 | 186 | 200 |1246 | 200 |1263 | 17 | 0 | 0 |-9.300000e+01 |-3.700000e+01 | 60.22%
0.09/0.15 c 0.1s| 1 | 0 | 481 | - |4773k| 0 | 181 | 200 |1246 | 200 |1271 | 25 | 0 | 0 |-9.050000e+01 |-3.700000e+01 | 59.12%
0.09/0.18 c 0.2s| 1 | 0 | 581 | - |4780k| 0 | 177 | 200 |1246 | 200 |1281 | 35 | 0 | 0 |-8.850000e+01 |-3.700000e+01 | 58.19%
0.19/0.24 c 0.2s| 1 | 0 | 1209 | - |4788k| 0 | 173 | 200 |1246 | 200 |1289 | 43 | 0 | 0 |-8.650000e+01 |-3.700000e+01 | 57.23%
0.19/0.30 c 0.3s| 1 | 0 | 1418 | - |4796k| 0 | 189 | 200 |1246 | 200 |1295 | 49 | 0 | 0 |-8.550000e+01 |-3.700000e+01 | 56.73%
0.29/0.37 c 0.4s| 1 | 0 | 1686 | - |5087k| 0 | 183 | 200 |1246 | 200 |1308 | 62 | 0 | 0 |-8.408333e+01 |-3.700000e+01 | 56.00%
0.39/0.45 c 0.5s| 1 | 0 | 2142 | - |5606k| 0 | 168 | 200 |1246 | 200 |1318 | 72 | 0 | 0 |-8.350000e+01 |-3.700000e+01 | 55.69%
0.49/0.52 c 0.5s| 1 | 0 | 2458 | - |5619k| 0 | 166 | 200 |1246 | 200 |1325 | 79 | 0 | 0 |-8.300000e+01 |-3.700000e+01 | 55.42%
0.49/0.58 c 0.6s| 1 | 0 | 2590 | - |5639k| 0 | 166 | 200 |1246 | 200 |1334 | 88 | 0 | 0 |-8.175000e+01 |-3.700000e+01 | 54.74%
0.59/0.65 c 0.6s| 1 | 0 | 2849 | - |5773k| 0 | 169 | 200 |1246 | 200 | 438 | 96 | 0 | 0 |-8.050000e+01 |-3.700000e+01 | 54.04%
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 0.7s| 1 | 0 | 3159 | - |5819k| 0 | 183 | 200 |1246 | 200 | 448 | 106 | 0 | 0 |-7.955556e+01 |-3.700000e+01 | 53.49%
0.69/0.73 c 0.7s| 1 | 0 | 3378 | - |5890k| 0 | 179 | 200 |1246 | 200 | 538 | 196 | 0 | 0 |-7.850000e+01 |-3.700000e+01 | 52.87%
0.69/0.78 c 0.8s| 1 | 0 | 3569 | - |6056k| 0 | 167 | 200 |1246 | 200 | 565 | 223 | 0 | 0 |-7.800000e+01 |-3.700000e+01 | 52.56%
0.79/0.83 c 0.8s| 1 | 0 | 3982 | - |6095k| 0 | 189 | 200 |1246 | 200 | 589 | 247 | 0 | 0 |-7.722464e+01 |-3.700000e+01 | 52.09%
0.89/0.90 c 0.9s| 1 | 0 | 4201 | - |6866k| 0 | 178 | 200 |1246 | 200 | 639 | 297 | 0 | 0 |-7.655882e+01 |-3.700000e+01 | 51.67%
0.89/0.96 c 1.0s| 1 | 0 | 4373 | - |7422k| 0 | 161 | 200 |1246 | 200 | 508 | 306 | 0 | 0 |-7.562500e+01 |-3.700000e+01 | 51.07%
0.89/1.01 c 1.0s| 1 | 0 | 4526 | - |8188k| 0 | 182 | 200 |1246 | 200 | 515 | 313 | 0 | 0 |-7.515000e+01 |-3.700000e+01 | 50.77%
1.00/1.06 c 1.1s| 1 | 0 | 4766 | - |8792k| 0 | 190 | 200 |1246 | 200 | 534 | 332 | 0 | 0 |-7.471471e+01 |-3.700000e+01 | 50.48%
1.10/1.15 c 1.2s| 1 | 0 | 5064 | - | 10M| 0 | 188 | 200 |1246 | 200 | 586 | 384 | 0 | 0 |-7.400568e+01 |-3.700000e+01 | 50.00%
1.19/1.21 c 1.2s| 1 | 0 | 5456 | - | 10M| 0 | 196 | 200 |1246 | 200 | 630 | 428 | 0 | 0 |-7.298026e+01 |-3.700000e+01 | 49.30%
1.19/1.26 c 1.3s| 1 | 0 | 5659 | - | 11M| 0 | 197 | 200 |1246 | 200 | 655 | 453 | 0 | 0 |-7.229091e+01 |-3.700000e+01 | 48.82%
1.29/1.33 c 1.3s| 1 | 0 | 5978 | - | 11M| 0 | 199 | 200 |1246 | 200 | 539 | 471 | 0 | 0 |-7.176634e+01 |-3.700000e+01 | 48.44%
1.29/1.37 c 1.4s| 1 | 0 | 6129 | - | 12M| 0 | 198 | 200 |1246 | 200 | 558 | 490 | 0 | 0 |-7.146664e+01 |-3.700000e+01 | 48.23%
1.39/1.42 c 1.4s| 1 | 0 | 6280 | - | 12M| 0 | 195 | 200 |1246 | 200 | 579 | 511 | 0 | 0 |-7.126985e+01 |-3.700000e+01 | 48.08%
1.39/1.46 c 1.5s| 1 | 0 | 6506 | - | 12M| 0 | 198 | 200 |1246 | 200 | 592 | 524 | 0 | 0 |-7.090764e+01 |-3.700000e+01 | 47.82%
1.49/1.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.49/1.51 c 1.5s| 1 | 0 | 6751 | - | 12M| 0 | 198 | 200 |1246 | 200 | 606 | 538 | 0 | 0 |-7.055763e+01 |-3.700000e+01 | 47.56%
1.49/1.56 c 1.6s| 1 | 0 | 6972 | - | 12M| 0 | 200 | 200 |1246 | 200 | 618 | 550 | 0 | 0 |-7.015097e+01 |-3.700000e+01 | 47.26%
1.59/1.61 c 1.6s| 1 | 0 | 7099 | - | 12M| 0 | 199 | 200 |1246 | 200 | 487 | 559 | 0 | 0 |-6.999046e+01 |-3.700000e+01 | 47.14%
1.59/1.64 c 1.6s| 1 | 0 | 7118 | - | 12M| 0 | 199 | 200 |1246 | 200 | 491 | 563 | 0 | 0 |-6.998574e+01 |-3.700000e+01 | 47.13%
1.59/1.67 c 1.7s| 1 | 0 | 7125 | - | 12M| 0 | 199 | 200 |1246 | 200 | 492 | 564 | 0 | 0 |-6.998534e+01 |-3.700000e+01 | 47.13%
2.39/2.46 c 2.5s| 1 | 2 | 7125 | - | 12M| 0 | 199 | 200 |1246 | 200 | 492 | 564 | 0 | 27 |-6.998534e+01 |-3.700000e+01 | 47.13%
2.69/2.74 o -40
2.69/2.74 c * 2.7s| 18 | 17 | 7746 | 36.5 | 12M| 17 | - | 200 |1246 | 200 | 281 | 742 | 0 | 297 |-6.957293e+01 |-4.000000e+01 | 42.51%
2.69/2.76 o -41
2.69/2.76 c * 2.8s| 20 | 16 | 7760 | 33.4 | 12M| 18 | - | 200 |1246 | 200 | 281 | 747 | 0 | 340 |-6.957293e+01 |-4.100000e+01 | 41.07%
2.89/2.96 o -44
2.89/2.96 c * 3.0s| 36 | 29 | 8281 | 33.0 | 12M| 18 | - | 200 |1246 | 200 | 262 | 894 | 0 | 551 |-6.954022e+01 |-4.400000e+01 | 36.73%
3.59/3.63 o -45
3.59/3.63 c * 3.6s| 152 | 89 | 11243 | 27.3 | 12M| 22 | - | 200 |1246 | 200 | 278 |2255 | 0 |1440 |-6.949295e+01 |-4.500000e+01 | 35.25%
4.09/4.12 o -46
4.09/4.12 c z 4.1s| 481 | 244 | 19308 | 25.4 | 12M| 26 | - | 200 |1246 | 200 | 262 |6016 | 0 |1598 |-6.931482e+01 |-4.600000e+01 | 33.64%
20.29/20.34 c 20.3s| 10000 | 9227 |448657 | 44.2 | 20M| 35 | 97 | 200 |1246 | 200 | 305 | 182k| 0 |2616 |-6.700000e+01 |-4.600000e+01 | 31.34%
35.39/35.46 c 35.5s| 20000 | 18447 |860403 | 42.7 | 28M| 38 | 54 | 200 |1246 | 200 | 228 | 361k| 0 |3729 |-6.627778e+01 |-4.600000e+01 | 30.60%
36.79/36.89 o -49
36.79/36.89 c *36.9s| 20974 | 15936 |899078 | 42.5 | 26M| 38 | - | 200 |1246 | 200 | 247 | 378k| 0 |3833 |-6.620000e+01 |-4.900000e+01 | 25.98%
48.59/48.67 c 48.7s| 30000 | 22478 | 1224k| 40.6 | 32M| 43 | 43 | 200 |1246 | 200 | 220 | 535k| 0 |4540 |-6.575000e+01 |-4.900000e+01 | 25.48%
59.49/59.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.49/59.55 c 59.5s| 40000 | 28482 | 1530k| 38.1 | 38M| 43 | 83 | 200 |1246 | 200 | 253 | 691k| 0 |5226 |-6.526667e+01 |-4.900000e+01 | 24.92%
70.10/70.11 c 70.1s| 50000 | 34076 | 1827k| 36.4 | 43M| 43 | 62 | 200 |1246 | 200 | 229 | 846k| 0 |5811 |-6.500000e+01 |-4.900000e+01 | 24.62%
80.40/80.40 c 80.4s| 60000 | 39644 | 2117k| 35.2 | 48M| 44 | - | 200 |1246 | 200 | 250 | 996k| 0 |6362 |-6.469231e+01 |-4.900000e+01 | 24.26%
90.50/90.51 c 90.5s| 70000 | 45182 | 2402k| 34.2 | 54M| 44 | - | 200 |1246 | 200 | 222 |1143k| 0 |6822 |-6.450000e+01 |-4.900000e+01 | 24.03%
100.00/100.05 c 100s| 80000 | 50080 | 2671k| 33.3 | 58M| 44 | - | 200 |1246 | 200 | 261 |1287k| 0 |7189 |-6.420000e+01 |-4.900000e+01 | 23.68%
109.40/109.48 c 109s| 90000 | 54792 | 2937k| 32.6 | 63M| 44 | 34 | 200 |1246 | 200 | 249 |1429k| 0 |7639 |-6.400000e+01 |-4.900000e+01 | 23.44%
118.89/118.90 c 119s|100000 | 59448 | 3202k| 32.0 | 67M| 46 | 12 | 200 |1246 | 200 | 199 |1573k| 0 |7991 |-6.386207e+01 |-4.900000e+01 | 23.27%
127.90/127.91 c 128s|110000 | 63882 | 3457k| 31.4 | 72M| 46 | - | 200 |1246 | 200 | 218 |1711k| 0 |8323 |-6.366667e+01 |-4.900000e+01 | 23.04%
136.90/136.99 c 137s|120000 | 68184 | 3711k| 30.9 | 76M| 47 | 70 | 200 |1246 | 200 | 237 |1849k| 0 |8691 |-6.350000e+01 |-4.900000e+01 | 22.83%
145.90/145.91 c 146s|130000 | 72468 | 3961k| 30.4 | 80M| 47 | - | 200 |1246 | 200 | 244 |1987k| 0 |9037 |-6.340000e+01 |-4.900000e+01 | 22.71%
154.30/154.35 c 154s|140000 | 76230 | 4194k| 29.9 | 84M| 51 | - | 200 |1246 | 200 | 260 |2115k| 0 |9377 |-6.328571e+01 |-4.900000e+01 | 22.57%
162.10/162.13 c 162s|150000 | 79376 | 4408k| 29.3 | 88M| 52 | - | 200 |1246 | 200 | 255 |2238k| 0 |9600 |-6.320000e+01 |-4.900000e+01 | 22.47%
170.09/170.17 c 170s|160000 | 82696 | 4629k| 28.9 | 91M| 52 | 33 | 200 |1246 | 200 | 263 |2361k| 0 |9826 |-6.300000e+01 |-4.900000e+01 | 22.22%
178.00/178.04 c 178s|170000 | 85804 | 4844k| 28.5 | 94M| 57 | - | 200 |1246 | 200 | 259 |2482k| 0 | 10k|-6.300000e+01 |-4.900000e+01 | 22.22%
185.81/185.83 c 186s|180000 | 88962 | 5057k| 28.1 | 98M| 57 | 73 | 200 |1246 | 200 | 237 |2602k| 0 | 10k|-6.300000e+01 |-4.900000e+01 | 22.22%
193.61/193.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
193.61/193.63 c 194s|190000 | 92092 | 5270k| 27.7 | 101M| 57 | 27 | 200 |1246 | 200 | 254 |2722k| 0 | 10k|-6.290000e+01 |-4.900000e+01 | 22.10%
201.31/201.37 c 201s|200000 | 95210 | 5481k| 27.4 | 104M| 57 | - | 200 |1246 | 200 | 242 |2841k| 0 | 10k|-6.277778e+01 |-4.900000e+01 | 21.95%
209.01/209.05 c 209s|210000 | 98238 | 5691k| 27.1 | 107M| 57 | 80 | 200 |1246 | 200 | 258 |2960k| 0 | 11k|-6.270000e+01 |-4.900000e+01 | 21.85%
216.61/216.63 c 217s|220000 |101406 | 5899k| 26.8 | 111M| 57 | 67 | 200 |1246 | 200 | 269 |3079k| 0 | 11k|-6.262500e+01 |-4.900000e+01 | 21.76%
224.20/224.28 c 224s|230000 |104386 | 6107k| 26.5 | 114M| 57 | - | 200 |1246 | 200 | 246 |3199k| 0 | 11k|-6.250000e+01 |-4.900000e+01 | 21.60%
231.79/231.88 c 232s|240000 |107332 | 6315k| 26.3 | 117M| 57 | 91 | 200 |1246 | 200 | 259 |3318k| 0 | 11k|-6.250000e+01 |-4.900000e+01 | 21.60%
239.40/239.42 c 239s|250000 |110302 | 6523k| 26.1 | 120M| 57 | - | 200 |1246 | 200 | 265 |3437k| 0 | 11k|-6.250000e+01 |-4.900000e+01 | 21.60%
246.80/246.86 c 247s|260000 |113028 | 6725k| 25.8 | 123M| 57 | 88 | 200 |1246 | 200 | 263 |3552k| 0 | 12k|-6.238095e+01 |-4.900000e+01 | 21.45%
254.11/254.12 c 254s|270000 |115592 | 6921k| 25.6 | 126M| 57 | - | 200 |1246 | 200 | 237 |3666k| 0 | 12k|-6.233333e+01 |-4.900000e+01 | 21.39%
261.50/261.50 c 262s|280000 |118202 | 7121k| 25.4 | 129M| 57 | - | 200 |1246 | 200 | 225 |3784k| 0 | 12k|-6.227273e+01 |-4.900000e+01 | 21.31%
268.70/268.77 c 269s|290000 |120620 | 7318k| 25.2 | 132M| 57 | - | 200 |1246 | 200 | 261 |3900k| 0 | 12k|-6.223684e+01 |-4.900000e+01 | 21.27%
275.89/275.95 c 276s|300000 |123134 | 7512k| 25.0 | 134M| 57 | - | 200 |1246 | 200 | 262 |4014k| 0 | 12k|-6.216667e+01 |-4.900000e+01 | 21.18%
283.20/283.20 c 283s|310000 |125716 | 7707k| 24.8 | 137M| 57 | - | 200 |1246 | 200 | 265 |4127k| 0 | 13k|-6.210000e+01 |-4.900000e+01 | 21.10%
290.50/290.53 c 291s|320000 |128418 | 7906k| 24.7 | 140M| 57 | - | 200 |1246 | 200 | 251 |4243k| 0 | 13k|-6.200000e+01 |-4.900000e+01 | 20.97%
297.80/297.86 c 298s|330000 |130888 | 8105k| 24.5 | 143M| 57 | - | 200 |1246 | 200 | 254 |4359k| 0 | 13k|-6.200000e+01 |-4.900000e+01 | 20.97%
305.20/305.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
305.20/305.20 c 305s|340000 |133698 | 8305k| 24.4 | 146M| 57 | 35 | 200 |1246 | 200 | 237 |4474k| 0 | 13k|-6.200000e+01 |-4.900000e+01 | 20.97%
312.42/312.48 c 312s|350000 |136250 | 8502k| 24.3 | 149M| 57 | - | 200 |1246 | 200 | 242 |4588k| 0 | 13k|-6.200000e+01 |-4.900000e+01 | 20.97%
319.60/319.67 c 320s|360000 |138722 | 8696k| 24.1 | 151M| 59 | 20 | 200 |1246 | 200 | 241 |4701k| 0 | 13k|-6.200000e+01 |-4.900000e+01 | 20.97%
326.90/326.94 c 327s|370000 |141446 | 8893k| 24.0 | 154M| 59 | 12 | 200 |1246 | 200 | 213 |4814k| 0 | 14k|-6.192857e+01 |-4.900000e+01 | 20.88%
334.10/334.15 c 334s|380000 |144108 | 9088k| 23.9 | 157M| 59 | - | 200 |1246 | 200 | 269 |4925k| 0 | 14k|-6.185714e+01 |-4.900000e+01 | 20.79%
341.20/341.22 c 341s|390000 |146660 | 9279k| 23.8 | 160M| 59 | - | 200 |1246 | 200 | 255 |5035k| 0 | 14k|-6.181818e+01 |-4.900000e+01 | 20.74%
348.40/348.40 c 348s|400000 |149194 | 9473k| 23.7 | 163M| 59 | - | 200 |1246 | 200 | 268 |5148k| 0 | 14k|-6.177778e+01 |-4.900000e+01 | 20.68%
355.60/355.64 c 356s|410000 |151708 | 9669k| 23.6 | 165M| 59 | 82 | 200 |1246 | 200 | 256 |5263k| 0 | 14k|-6.175000e+01 |-4.900000e+01 | 20.65%
362.80/362.91 c 363s|420000 |154348 | 9865k| 23.5 | 168M| 59 | - | 200 |1246 | 200 | 276 |5375k| 0 | 14k|-6.171429e+01 |-4.900000e+01 | 20.60%
369.90/369.93 c 370s|430000 |156746 | 10054k| 23.4 | 171M| 59 | - | 200 |1246 | 200 | 242 |5484k| 0 | 14k|-6.166667e+01 |-4.900000e+01 | 20.54%
376.90/376.98 c 377s|440000 |159178 | 10244k| 23.3 | 174M| 59 | 18 | 200 |1246 | 200 | 247 |5597k| 0 | 15k|-6.166667e+01 |-4.900000e+01 | 20.54%
383.91/383.97 c 384s|450000 |161720 | 10433k| 23.2 | 176M| 59 | 26 | 200 |1246 | 200 | 241 |5706k| 0 | 15k|-6.162500e+01 |-4.900000e+01 | 20.49%
391.00/391.08 c 391s|460000 |164172 | 10623k| 23.1 | 179M| 59 | 9 | 200 |1246 | 200 | 254 |5816k| 0 | 15k|-6.157143e+01 |-4.900000e+01 | 20.42%
398.11/398.13 c 398s|470000 |166608 | 10814k| 23.0 | 182M| 59 | - | 200 |1246 | 200 | 270 |5930k| 0 | 15k|-6.150000e+01 |-4.900000e+01 | 20.33%
405.20/405.28 c 405s|480000 |169126 | 11006k| 22.9 | 184M| 59 | - | 200 |1246 | 200 | 253 |6041k| 0 | 15k|-6.150000e+01 |-4.900000e+01 | 20.33%
412.10/412.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
412.10/412.12 c 412s|490000 |171536 | 11190k| 22.8 | 187M| 59 | 11 | 200 |1246 | 200 | 242 |6151k| 0 | 15k|-6.150000e+01 |-4.900000e+01 | 20.33%
419.12/419.15 c 419s|500000 |174018 | 11378k| 22.7 | 190M| 59 | 76 | 200 |1246 | 200 | 247 |6260k| 0 | 16k|-6.150000e+01 |-4.900000e+01 | 20.33%
425.90/425.99 c 426s|510000 |176298 | 11561k| 22.7 | 192M| 59 | - | 200 |1246 | 200 | 244 |6371k| 0 | 16k|-6.150000e+01 |-4.900000e+01 | 20.33%
428.30/428.31 o -50
428.30/428.31 c * 428s|513213 |137349 | 11622k| 22.6 | 156M| 59 | - | 200 |1246 | 200 | 283 |6408k| 0 | 16k|-6.150000e+01 |-5.000000e+01 | 18.70%
428.30/428.37 o -51
428.30/428.37 c * 428s|513214 |108264 | 11622k| 22.6 | 128M| 59 | - | 200 |1246 | 200 | 279 |6408k| 0 | 16k|-6.150000e+01 |-5.100000e+01 | 17.07%
432.90/432.92 c 433s|520000 |109106 | 11740k| 22.6 | 129M| 59 | 56 | 200 |1246 | 200 | 239 |6486k| 0 | 16k|-6.143750e+01 |-5.100000e+01 | 16.99%
439.50/439.51 c 440s|530000 |110460 | 11914k| 22.5 | 131M| 59 | 23 | 200 |1246 | 200 | 248 |6602k| 0 | 16k|-6.140000e+01 |-5.100000e+01 | 16.94%
446.00/446.06 c 446s|540000 |111890 | 12087k| 22.4 | 133M| 59 | 19 | 200 |1246 | 200 | 224 |6714k| 0 | 16k|-6.135714e+01 |-5.100000e+01 | 16.88%
452.60/452.68 c 453s|550000 |113194 | 12262k| 22.3 | 135M| 59 | 92 | 200 |1246 | 200 | 264 |6830k| 0 | 16k|-6.133333e+01 |-5.100000e+01 | 16.85%
459.30/459.39 c 459s|560000 |114508 | 12440k| 22.2 | 136M| 59 | 90 | 200 |1246 | 200 | 266 |6949k| 0 | 16k|-6.133333e+01 |-5.100000e+01 | 16.85%
466.01/466.09 c 466s|570000 |115944 | 12618k| 22.1 | 138M| 59 | 82 | 200 |1246 | 200 | 278 |7062k| 0 | 16k|-6.128571e+01 |-5.100000e+01 | 16.78%
472.60/472.63 c 473s|580000 |117226 | 12790k| 22.0 | 140M| 59 | - | 200 |1246 | 200 | 238 |7173k| 0 | 17k|-6.125000e+01 |-5.100000e+01 | 16.73%
479.21/479.22 c 479s|590000 |118590 | 12964k| 22.0 | 141M| 59 | 84 | 200 |1246 | 200 | 249 |7287k| 0 | 17k|-6.125000e+01 |-5.100000e+01 | 16.73%
485.80/485.80 c 486s|600000 |119778 | 13137k| 21.9 | 143M| 59 | - | 200 |1246 | 200 | 244 |7402k| 0 | 17k|-6.120000e+01 |-5.100000e+01 | 16.67%
492.20/492.29 c 492s|610000 |120958 | 13307k| 21.8 | 144M| 59 | - | 200 |1246 | 200 | 219 |7514k| 0 | 17k|-6.116667e+01 |-5.100000e+01 | 16.62%
498.80/498.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
498.80/498.86 c 499s|620000 |122152 | 13481k| 21.7 | 146M| 59 | 46 | 200 |1246 | 200 | 259 |7630k| 0 | 17k|-6.114286e+01 |-5.100000e+01 | 16.59%
505.40/505.42 c 505s|630000 |123426 | 13653k| 21.7 | 148M| 59 | 94 | 200 |1246 | 200 | 245 |7741k| 0 | 17k|-6.109091e+01 |-5.100000e+01 | 16.52%
511.71/511.78 c 512s|640000 |124446 | 13818k| 21.6 | 149M| 59 | 76 | 200 |1246 | 200 | 260 |7857k| 0 | 17k|-6.100000e+01 |-5.100000e+01 | 16.39%
518.40/518.42 c 518s|650000 |125774 | 13995k| 21.5 | 151M| 59 | - | 200 |1246 | 200 | 220 |7973k| 0 | 17k|-6.100000e+01 |-5.100000e+01 | 16.39%
525.00/525.01 c 525s|660000 |127050 | 14169k| 21.5 | 152M| 59 | 71 | 200 |1246 | 200 | 241 |8090k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
531.51/531.59 c 532s|670000 |128376 | 14343k| 21.4 | 154M| 59 | - | 200 |1246 | 200 | 267 |8207k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
538.10/538.17 c 538s|680000 |129616 | 14518k| 21.3 | 155M| 59 | 45 | 200 |1246 | 200 | 223 |8325k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
544.71/544.70 c 545s|690000 |131064 | 14690k| 21.3 | 157M| 59 | - | 200 |1246 | 200 | 282 |8435k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
551.02/551.06 c 551s|700000 |132276 | 14856k| 21.2 | 159M| 59 | 11 | 200 |1246 | 200 | 225 |8550k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
557.51/557.57 c 558s|710000 |133570 | 15030k| 21.2 | 160M| 59 | 63 | 200 |1246 | 200 | 246 |8664k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
564.10/564.12 c 564s|720000 |134898 | 15202k| 21.1 | 162M| 59 | 56 | 200 |1246 | 200 | 236 |8778k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
570.60/570.63 c 571s|730000 |136248 | 15374k| 21.1 | 164M| 59 | 28 | 200 |1246 | 200 | 243 |8894k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
577.11/577.15 c 577s|740000 |137696 | 15545k| 21.0 | 165M| 59 | - | 200 |1246 | 200 | 235 |9009k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
583.61/583.69 c 584s|750000 |138988 | 15716k| 20.9 | 167M| 59 | 24 | 200 |1246 | 200 | 220 |9124k| 0 | 19k|-6.096078e+01 |-5.100000e+01 | 16.34%
590.11/590.12 c 590s|760000 |140098 | 15884k| 20.9 | 168M| 59 | 97 | 200 |1246 | 200 | 266 |9235k| 0 | 19k|-6.090000e+01 |-5.100000e+01 | 16.26%
596.41/596.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
596.41/596.44 c 596s|770000 |141232 | 16048k| 20.8 | 170M| 59 | - | 200 |1246 | 200 | 251 |9347k| 0 | 19k|-6.087500e+01 |-5.100000e+01 | 16.22%
602.72/602.80 c 603s|780000 |142326 | 16213k| 20.8 | 171M| 63 | 20 | 200 |1246 | 200 | 261 |9463k| 0 | 19k|-6.083333e+01 |-5.100000e+01 | 16.16%
609.01/609.05 c 609s|790000 |143380 | 16376k| 20.7 | 173M| 63 | 72 | 200 |1246 | 200 | 273 |9572k| 0 | 19k|-6.081818e+01 |-5.100000e+01 | 16.14%
615.20/615.21 c 615s|800000 |144332 | 16536k| 20.7 | 174M| 63 | - | 200 |1246 | 200 | 245 |9681k| 0 | 19k|-6.080000e+01 |-5.100000e+01 | 16.12%
621.30/621.38 c 621s|810000 |145306 | 16696k| 20.6 | 175M| 63 | 11 | 200 |1246 | 200 | 242 |9793k| 0 | 19k|-6.075000e+01 |-5.100000e+01 | 16.05%
627.51/627.57 c 628s|820000 |146264 | 16854k| 20.5 | 176M| 63 | 90 | 200 |1246 | 200 | 278 |9903k| 0 | 19k|-6.075000e+01 |-5.100000e+01 | 16.05%
633.71/633.74 c 634s|830000 |147262 | 17015k| 20.5 | 178M| 63 | 74 | 200 |1246 | 200 | 234 | 10M| 0 | 19k|-6.075000e+01 |-5.100000e+01 | 16.05%
639.91/639.98 c 640s|840000 |148316 | 17177k| 20.4 | 179M| 63 | 8 | 200 |1246 | 200 | 233 | 10M| 0 | 20k|-6.071429e+01 |-5.100000e+01 | 16.00%
646.11/646.12 c 646s|850000 |149342 | 17334k| 20.4 | 180M| 63 | - | 200 |1246 | 200 | 263 | 10M| 0 | 20k|-6.066667e+01 |-5.100000e+01 | 15.93%
652.32/652.37 c 652s|860000 |150336 | 17498k| 20.3 | 182M| 63 | - | 200 |1246 | 200 | 244 | 10M| 0 | 20k|-6.066667e+01 |-5.100000e+01 | 15.93%
658.41/658.46 c 658s|870000 |151370 | 17655k| 20.3 | 183M| 63 | - | 200 |1246 | 200 | 273 | 10M| 0 | 20k|-6.066667e+01 |-5.100000e+01 | 15.93%
664.61/664.64 c 665s|880000 |152460 | 17813k| 20.2 | 184M| 63 | 8 | 200 |1246 | 200 | 258 | 10M| 0 | 20k|-6.066667e+01 |-5.100000e+01 | 15.93%
670.71/670.77 c 671s|890000 |153412 | 17971k| 20.2 | 186M| 63 | 63 | 200 |1246 | 200 | 237 | 10M| 0 | 20k|-6.061538e+01 |-5.100000e+01 | 15.86%
676.90/676.99 c 677s|900000 |154470 | 18132k| 20.1 | 187M| 63 | - | 200 |1246 | 200 | 234 | 10M| 0 | 20k|-6.059091e+01 |-5.100000e+01 | 15.83%
683.12/683.13 c 683s|910000 |155560 | 18291k| 20.1 | 188M| 63 | - | 200 |1246 | 200 | 248 | 10M| 0 | 20k|-6.055556e+01 |-5.100000e+01 | 15.78%
689.30/689.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
689.30/689.35 c 689s|920000 |156636 | 18453k| 20.1 | 190M| 63 | - | 200 |1246 | 200 | 265 | 10M| 0 | 20k|-6.050000e+01 |-5.100000e+01 | 15.70%
695.51/695.52 c 696s|930000 |157728 | 18614k| 20.0 | 191M| 63 | - | 200 |1246 | 200 | 266 | 11M| 0 | 20k|-6.050000e+01 |-5.100000e+01 | 15.70%
701.61/701.63 c 702s|940000 |158696 | 18771k| 20.0 | 192M| 63 | 9 | 200 |1246 | 200 | 249 | 11M| 0 | 20k|-6.050000e+01 |-5.100000e+01 | 15.70%
707.71/707.71 c 708s|950000 |159576 | 18929k| 19.9 | 194M| 63 | 89 | 200 |1246 | 200 | 259 | 11M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
713.71/713.75 c 714s|960000 |160498 | 19084k| 19.9 | 195M| 63 | 62 | 200 |1246 | 200 | 267 | 11M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
719.81/719.82 c 720s|970000 |161572 | 19241k| 19.8 | 196M| 63 | - | 200 |1246 | 200 | 231 | 11M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
726.02/726.03 c 726s|980000 |162606 | 19403k| 19.8 | 197M| 63 | 41 | 200 |1246 | 200 | 267 | 11M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
732.11/732.16 c 732s|990000 |163540 | 19561k| 19.8 | 199M| 63 | 28 | 200 |1246 | 200 | 247 | 11M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
738.30/738.31 c 738s| 1000k|164448 | 19722k| 19.7 | 200M| 63 | - | 200 |1246 | 200 | 257 | 11M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
744.41/744.41 c 744s| 1010k|165428 | 19881k| 19.7 | 201M| 63 | 45 | 200 |1246 | 200 | 245 | 11M| 0 | 21k|-6.045652e+01 |-5.100000e+01 | 15.64%
750.51/750.55 c 751s| 1020k|166486 | 20039k| 19.6 | 202M| 63 | - | 200 |1246 | 200 | 223 | 12M| 0 | 21k|-6.042857e+01 |-5.100000e+01 | 15.60%
756.61/756.65 c 757s| 1030k|167360 | 20195k| 19.6 | 204M| 63 | 81 | 200 |1246 | 200 | 238 | 12M| 0 | 21k|-6.040000e+01 |-5.100000e+01 | 15.56%
762.71/762.78 c 763s| 1040k|168296 | 20354k| 19.6 | 205M| 63 | - | 200 |1246 | 200 | 247 | 12M| 0 | 21k|-6.037500e+01 |-5.100000e+01 | 15.53%
768.71/768.73 c 769s| 1050k|169088 | 20506k| 19.5 | 206M| 63 | 40 | 200 |1246 | 200 | 233 | 12M| 0 | 21k|-6.033333e+01 |-5.100000e+01 | 15.47%
774.81/774.81 c 775s| 1060k|170106 | 20663k| 19.5 | 207M| 63 | 30 | 200 |1246 | 200 | 245 | 12M| 0 | 22k|-6.033333e+01 |-5.100000e+01 | 15.47%
780.81/780.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
780.81/780.82 c 781s| 1070k|171008 | 20819k| 19.5 | 208M| 63 | 89 | 200 |1246 | 200 | 259 | 12M| 0 | 22k|-6.033333e+01 |-5.100000e+01 | 15.47%
786.92/786.92 c 787s| 1080k|171938 | 20977k| 19.4 | 210M| 63 | - | 200 |1246 | 200 | 240 | 12M| 0 | 22k|-6.033333e+01 |-5.100000e+01 | 15.47%
792.81/792.87 c 793s| 1090k|172792 | 21129k| 19.4 | 211M| 63 | - | 200 |1246 | 200 | 245 | 12M| 0 | 22k|-6.030000e+01 |-5.100000e+01 | 15.42%
798.91/798.95 c 799s| 1100k|173620 | 21286k| 19.3 | 212M| 63 | - | 200 |1246 | 200 | 262 | 12M| 0 | 22k|-6.025000e+01 |-5.100000e+01 | 15.35%
805.01/805.02 c 805s| 1110k|174644 | 21442k| 19.3 | 213M| 63 | - | 200 |1246 | 200 | 225 | 13M| 0 | 22k|-6.025000e+01 |-5.100000e+01 | 15.35%
811.11/811.10 c 811s| 1120k|175596 | 21598k| 19.3 | 214M| 63 | - | 200 |1246 | 200 | 242 | 13M| 0 | 22k|-6.025000e+01 |-5.100000e+01 | 15.35%
816.92/816.99 c 817s| 1130k|176450 | 21748k| 19.2 | 216M| 63 | 84 | 200 |1246 | 200 | 261 | 13M| 0 | 22k|-6.025000e+01 |-5.100000e+01 | 15.35%
822.91/822.99 c 823s| 1140k|177250 | 21901k| 19.2 | 217M| 63 | 69 | 200 |1246 | 200 | 240 | 13M| 0 | 22k|-6.020000e+01 |-5.100000e+01 | 15.28%
828.91/828.90 c 829s| 1150k|178132 | 22051k| 19.2 | 218M| 64 | - | 200 |1246 | 200 | 270 | 13M| 0 | 22k|-6.020000e+01 |-5.100000e+01 | 15.28%
834.82/834.87 c 835s| 1160k|179072 | 22205k| 19.1 | 219M| 64 | - | 200 |1246 | 200 | 251 | 13M| 0 | 22k|-6.016667e+01 |-5.100000e+01 | 15.24%
840.91/840.90 c 841s| 1170k|180012 | 22359k| 19.1 | 220M| 64 | 26 | 200 |1246 | 200 | 237 | 13M| 0 | 22k|-6.014286e+01 |-5.100000e+01 | 15.20%
846.93/846.93 c 847s| 1180k|180854 | 22514k| 19.1 | 221M| 64 | 22 | 200 |1246 | 200 | 219 | 13M| 0 | 22k|-6.012500e+01 |-5.100000e+01 | 15.18%
852.81/852.82 c 853s| 1190k|181848 | 22664k| 19.0 | 223M| 64 | - | 200 |1246 | 200 | 229 | 13M| 0 | 23k|-6.008333e+01 |-5.100000e+01 | 15.12%
858.82/858.87 c 859s| 1200k|182800 | 22820k| 19.0 | 224M| 64 | 41 | 200 |1246 | 200 | 224 | 13M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
864.92/864.91 c 865s| 1210k|183794 | 22975k| 19.0 | 225M| 64 | 13 | 200 |1246 | 200 | 226 | 14M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
871.01/871.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
871.01/871.08 c 871s| 1220k|184742 | 23135k| 19.0 | 226M| 64 | 50 | 200 |1246 | 200 | 222 | 14M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
877.12/877.10 c 877s| 1230k|185682 | 23290k| 18.9 | 227M| 64 | - | 200 |1246 | 200 | 266 | 14M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
883.23/883.23 c 883s| 1240k|186612 | 23450k| 18.9 | 229M| 64 | 17 | 200 |1246 | 200 | 238 | 14M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
889.22/889.27 c 889s| 1250k|187492 | 23607k| 18.9 | 230M| 64 | 37 | 200 |1246 | 200 | 239 | 14M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
895.21/895.20 c 895s| 1260k|188330 | 23759k| 18.9 | 231M| 64 | - | 200 |1246 | 200 | 262 | 14M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
901.22/901.24 c 901s| 1270k|189312 | 23914k| 18.8 | 232M| 64 | 45 | 200 |1246 | 200 | 246 | 14M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
907.12/907.13 c 907s| 1280k|190160 | 24066k| 18.8 | 233M| 64 | 31 | 200 |1246 | 200 | 223 | 14M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
913.02/913.03 c 913s| 1290k|191116 | 24217k| 18.8 | 235M| 64 | 10 | 200 |1246 | 200 | 230 | 14M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
919.02/919.04 c 919s| 1300k|192088 | 24372k| 18.7 | 236M| 64 | - | 200 |1246 | 200 | 260 | 15M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
924.92/925.00 c 925s| 1310k|193092 | 24524k| 18.7 | 237M| 64 | 4 | 200 |1246 | 200 | 227 | 15M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
930.81/930.90 c 931s| 1320k|193922 | 24675k| 18.7 | 238M| 64 | - | 200 |1246 | 200 | 256 | 15M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
936.72/936.79 c 937s| 1330k|194798 | 24826k| 18.7 | 239M| 64 | - | 200 |1246 | 200 | 257 | 15M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
942.63/942.67 c 943s| 1340k|195550 | 24977k| 18.6 | 240M| 64 | - | 200 |1246 | 200 | 259 | 15M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
948.71/948.78 c 949s| 1350k|196550 | 25135k| 18.6 | 242M| 64 | 67 | 200 |1246 | 200 | 245 | 15M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
954.83/954.82 c 955s| 1360k|197476 | 25292k| 18.6 | 243M| 64 | - | 200 |1246 | 200 | 285 | 15M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
960.92/960.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
960.92/960.90 c 961s| 1370k|198508 | 25448k| 18.6 | 244M| 64 | - | 200 |1246 | 200 | 253 | 15M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
967.02/967.06 c 967s| 1380k|199502 | 25609k| 18.6 | 245M| 64 | - | 200 |1246 | 200 | 223 | 15M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
973.12/973.18 c 973s| 1390k|200468 | 25766k| 18.5 | 247M| 64 | 89 | 200 |1246 | 200 | 270 | 16M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
979.11/979.16 c 979s| 1400k|201338 | 25919k| 18.5 | 248M| 64 | 45 | 200 |1246 | 200 | 228 | 16M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
985.02/985.08 c 985s| 1410k|202290 | 26071k| 18.5 | 249M| 64 | 15 | 200 |1246 | 200 | 226 | 16M| 0 | 24k|-5.997525e+01 |-5.100000e+01 | 14.96%
991.03/991.09 c 991s| 1420k|203168 | 26225k| 18.5 | 250M| 64 | - | 200 |1246 | 200 | 254 | 16M| 0 | 24k|-5.992308e+01 |-5.100000e+01 | 14.89%
997.01/997.00 c 997s| 1430k|204078 | 26375k| 18.4 | 251M| 64 | 35 | 200 |1246 | 200 | 218 | 16M| 0 | 24k|-5.988889e+01 |-5.100000e+01 | 14.84%
1002.91/1002.99 c 1003s| 1440k|204978 | 26528k| 18.4 | 252M| 64 | 98 | 200 |1246 | 200 | 275 | 16M| 0 | 25k|-5.987500e+01 |-5.100000e+01 | 14.82%
1008.91/1008.90 c 1009s| 1450k|205744 | 26678k| 18.4 | 253M| 64 | 71 | 200 |1246 | 200 | 260 | 16M| 0 | 25k|-5.985714e+01 |-5.100000e+01 | 14.80%
1014.72/1014.75 c 1015s| 1460k|206540 | 26827k| 18.4 | 255M| 64 | 34 | 200 |1246 | 200 | 245 | 16M| 0 | 25k|-5.983333e+01 |-5.100000e+01 | 14.76%
1020.62/1020.66 c 1021s| 1470k|207422 | 26978k| 18.3 | 256M| 64 | 75 | 200 |1246 | 200 | 228 | 16M| 0 | 25k|-5.983333e+01 |-5.100000e+01 | 14.76%
1026.52/1026.59 c 1027s| 1480k|208182 | 27128k| 18.3 | 257M| 64 | 74 | 200 |1246 | 200 | 233 | 16M| 0 | 25k|-5.980000e+01 |-5.100000e+01 | 14.72%
1032.52/1032.54 c 1033s| 1490k|209104 | 27282k| 18.3 | 258M| 64 | 24 | 200 |1246 | 200 | 221 | 17M| 0 | 25k|-5.980000e+01 |-5.100000e+01 | 14.72%
1038.52/1038.56 c 1039s| 1500k|209952 | 27435k| 18.3 | 259M| 64 | - | 200 |1246 | 200 | 241 | 17M| 0 | 25k|-5.978571e+01 |-5.100000e+01 | 14.70%
1044.32/1044.38 c 1044s| 1510k|210796 | 27583k| 18.3 | 260M| 64 | 40 | 200 |1246 | 200 | 241 | 17M| 0 | 25k|-5.975000e+01 |-5.100000e+01 | 14.64%
1050.21/1050.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1050.21/1050.20 c 1050s| 1520k|211564 | 27733k| 18.2 | 261M| 64 | 17 | 200 |1246 | 200 | 241 | 17M| 0 | 25k|-5.975000e+01 |-5.100000e+01 | 14.64%
1056.12/1056.10 c 1056s| 1530k|212434 | 27885k| 18.2 | 262M| 64 | - | 200 |1246 | 200 | 268 | 17M| 0 | 25k|-5.975000e+01 |-5.100000e+01 | 14.64%
1061.92/1061.98 c 1062s| 1540k|213306 | 28035k| 18.2 | 263M| 64 | 11 | 200 |1246 | 200 | 236 | 17M| 0 | 25k|-5.975000e+01 |-5.100000e+01 | 14.64%
1067.82/1067.81 c 1068s| 1550k|214070 | 28185k| 18.2 | 264M| 64 | - | 200 |1246 | 200 | 272 | 17M| 0 | 25k|-5.975000e+01 |-5.100000e+01 | 14.64%
1073.72/1073.72 c 1074s| 1560k|214930 | 28336k| 18.2 | 266M| 64 | - | 200 |1246 | 200 | 259 | 17M| 0 | 25k|-5.971429e+01 |-5.100000e+01 | 14.59%
1079.52/1079.53 c 1080s| 1570k|215734 | 28484k| 18.1 | 267M| 64 | 10 | 200 |1246 | 200 | 250 | 17M| 0 | 25k|-5.970000e+01 |-5.100000e+01 | 14.57%
1085.52/1085.50 c 1085s| 1580k|216642 | 28637k| 18.1 | 268M| 64 | 84 | 200 |1246 | 200 | 254 | 18M| 0 | 25k|-5.966667e+01 |-5.100000e+01 | 14.53%
1091.32/1091.34 c 1091s| 1590k|217372 | 28784k| 18.1 | 269M| 64 | 13 | 200 |1246 | 200 | 223 | 18M| 0 | 26k|-5.966667e+01 |-5.100000e+01 | 14.53%
1097.12/1097.17 c 1097s| 1600k|218260 | 28934k| 18.1 | 270M| 64 | 38 | 200 |1246 | 200 | 246 | 18M| 0 | 26k|-5.966667e+01 |-5.100000e+01 | 14.53%
1102.92/1102.98 c 1103s| 1610k|219024 | 29081k| 18.1 | 271M| 64 | 34 | 200 |1246 | 200 | 221 | 18M| 0 | 26k|-5.966667e+01 |-5.100000e+01 | 14.53%
1108.83/1108.81 c 1109s| 1620k|219816 | 29230k| 18.0 | 272M| 64 | - | 200 |1246 | 200 | 242 | 18M| 0 | 26k|-5.966667e+01 |-5.100000e+01 | 14.53%
1114.62/1114.64 c 1115s| 1630k|220576 | 29378k| 18.0 | 273M| 64 | - | 200 |1246 | 200 | 268 | 18M| 0 | 26k|-5.966667e+01 |-5.100000e+01 | 14.53%
1120.62/1120.61 c 1121s| 1640k|221354 | 29532k| 18.0 | 274M| 64 | - | 200 |1246 | 200 | 227 | 18M| 0 | 26k|-5.966667e+01 |-5.100000e+01 | 14.53%
1126.34/1126.36 c 1126s| 1650k|222090 | 29677k| 18.0 | 275M| 64 | - | 200 |1246 | 200 | 262 | 18M| 0 | 26k|-5.962500e+01 |-5.100000e+01 | 14.47%
1132.22/1132.26 c 1132s| 1660k|222880 | 29827k| 18.0 | 276M| 64 | 9 | 200 |1246 | 200 | 242 | 18M| 0 | 26k|-5.960000e+01 |-5.100000e+01 | 14.43%
1138.02/1138.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1138.02/1138.01 c 1138s| 1670k|223550 | 29971k| 17.9 | 277M| 64 | - | 200 |1246 | 200 | 237 | 18M| 0 | 26k|-5.960000e+01 |-5.100000e+01 | 14.43%
1143.82/1143.83 c 1144s| 1680k|224324 | 30117k| 17.9 | 278M| 64 | 66 | 200 |1246 | 200 | 253 | 19M| 0 | 26k|-5.958333e+01 |-5.100000e+01 | 14.41%
1149.63/1149.62 c 1150s| 1690k|225056 | 30264k| 17.9 | 279M| 64 | 14 | 200 |1246 | 200 | 224 | 19M| 0 | 26k|-5.957143e+01 |-5.100000e+01 | 14.39%
1155.32/1155.33 c 1155s| 1700k|225690 | 30405k| 17.9 | 280M| 64 | - | 200 |1246 | 200 | 252 | 19M| 0 | 26k|-5.954545e+01 |-5.100000e+01 | 14.35%
1161.23/1161.23 c 1161s| 1710k|226488 | 30555k| 17.9 | 281M| 64 | - | 200 |1246 | 200 | 240 | 19M| 0 | 26k|-5.950000e+01 |-5.100000e+01 | 14.29%
1167.04/1167.04 c 1167s| 1720k|227220 | 30703k| 17.8 | 282M| 64 | 33 | 200 |1246 | 200 | 226 | 19M| 0 | 26k|-5.950000e+01 |-5.100000e+01 | 14.29%
1172.72/1172.76 c 1173s| 1730k|227912 | 30849k| 17.8 | 283M| 64 | - | 200 |1246 | 200 | 248 | 19M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1178.42/1178.48 c 1178s| 1740k|228520 | 30994k| 17.8 | 284M| 64 | 11 | 200 |1246 | 200 | 221 | 19M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1184.33/1184.32 c 1184s| 1750k|229344 | 31142k| 17.8 | 285M| 64 | 16 | 200 |1246 | 200 | 226 | 19M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1190.02/1190.00 c 1190s| 1760k|230036 | 31286k| 17.8 | 286M| 64 | 10 | 200 |1246 | 200 | 222 | 19M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1195.92/1195.90 c 1196s| 1770k|230920 | 31438k| 17.8 | 287M| 64 | - | 200 |1246 | 200 | 261 | 19M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1201.72/1201.77 c 1202s| 1780k|231798 | 31586k| 17.7 | 288M| 64 | 75 | 200 |1246 | 200 | 245 | 20M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1207.53/1207.50 c 1208s| 1790k|232510 | 31731k| 17.7 | 289M| 64 | 13 | 200 |1246 | 200 | 234 | 20M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1213.24/1213.28 c 1213s| 1800k|233188 | 31877k| 17.7 | 290M| 64 | 25 | 200 |1246 | 200 | 222 | 20M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1218.93/1218.97 c 1219s| 1810k|233952 | 32022k| 17.7 | 291M| 64 | 54 | 200 |1246 | 200 | 246 | 20M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1224.73/1224.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1224.73/1224.77 c 1225s| 1820k|234750 | 32168k| 17.7 | 292M| 64 | 8 | 200 |1246 | 200 | 239 | 20M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1230.52/1230.59 c 1231s| 1830k|235444 | 32315k| 17.7 | 293M| 64 | - | 200 |1246 | 200 | 249 | 20M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1236.34/1236.38 c 1236s| 1840k|236168 | 32464k| 17.6 | 294M| 64 | - | 200 |1246 | 200 | 276 | 20M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1242.22/1242.25 c 1242s| 1850k|236980 | 32613k| 17.6 | 295M| 64 | - | 200 |1246 | 200 | 241 | 20M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1247.92/1247.99 c 1248s| 1860k|237718 | 32759k| 17.6 | 296M| 64 | 76 | 200 |1246 | 200 | 269 | 20M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1253.83/1253.81 c 1254s| 1870k|238416 | 32906k| 17.6 | 297M| 64 | 75 | 200 |1246 | 200 | 264 | 21M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1259.53/1259.59 c 1260s| 1880k|239052 | 33053k| 17.6 | 298M| 64 | 18 | 200 |1246 | 200 | 259 | 21M| 0 | 28k|-5.944444e+01 |-5.100000e+01 | 14.21%
1265.33/1265.34 c 1265s| 1890k|239610 | 33197k| 17.6 | 299M| 64 | - | 200 |1246 | 200 | 264 | 21M| 0 | 28k|-5.942623e+01 |-5.100000e+01 | 14.18%
1271.12/1271.19 c 1271s| 1900k|240268 | 33345k| 17.5 | 300M| 64 | 61 | 200 |1246 | 200 | 241 | 21M| 0 | 28k|-5.940000e+01 |-5.100000e+01 | 14.14%
1276.93/1276.93 c 1277s| 1910k|241042 | 33489k| 17.5 | 301M| 64 | - | 200 |1246 | 200 | 251 | 21M| 0 | 28k|-5.940000e+01 |-5.100000e+01 | 14.14%
1282.64/1282.61 c 1283s| 1920k|241676 | 33632k| 17.5 | 302M| 64 | - | 200 |1246 | 200 | 252 | 21M| 0 | 28k|-5.937500e+01 |-5.100000e+01 | 14.11%
1288.43/1288.42 c 1288s| 1930k|242480 | 33779k| 17.5 | 303M| 64 | - | 200 |1246 | 200 | 252 | 21M| 0 | 28k|-5.935714e+01 |-5.100000e+01 | 14.08%
1294.22/1294.25 c 1294s| 1940k|243252 | 33927k| 17.5 | 304M| 64 | 68 | 200 |1246 | 200 | 254 | 21M| 0 | 28k|-5.933333e+01 |-5.100000e+01 | 14.04%
1300.02/1300.09 c 1300s| 1950k|244092 | 34077k| 17.5 | 305M| 64 | - | 200 |1246 | 200 | 242 | 21M| 0 | 28k|-5.933333e+01 |-5.100000e+01 | 14.04%
1305.82/1305.86 c 1306s| 1960k|244730 | 34224k| 17.5 | 306M| 64 | - | 200 |1246 | 200 | 246 | 21M| 0 | 28k|-5.933333e+01 |-5.100000e+01 | 14.04%
1311.42/1311.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1311.42/1311.47 c 1311s| 1970k|245412 | 34366k| 17.4 | 307M| 65 | - | 200 |1246 | 200 | 260 | 22M| 0 | 28k|-5.933333e+01 |-5.100000e+01 | 14.04%
1317.23/1317.23 c 1317s| 1980k|246062 | 34513k| 17.4 | 308M| 65 | 26 | 200 |1246 | 200 | 237 | 22M| 0 | 28k|-5.933333e+01 |-5.100000e+01 | 14.04%
1322.92/1322.99 c 1323s| 1990k|246846 | 34658k| 17.4 | 309M| 65 | 36 | 200 |1246 | 200 | 229 | 22M| 0 | 28k|-5.933333e+01 |-5.100000e+01 | 14.04%
1328.62/1328.70 c 1329s| 2000k|247464 | 34801k| 17.4 | 310M| 65 | 19 | 200 |1246 | 200 | 222 | 22M| 0 | 28k|-5.933333e+01 |-5.100000e+01 | 14.04%
1334.34/1334.35 c 1334s| 2010k|248146 | 34941k| 17.4 | 311M| 65 | - | 200 |1246 | 200 | 243 | 22M| 0 | 28k|-5.930000e+01 |-5.100000e+01 | 14.00%
1340.03/1340.09 c 1340s| 2020k|248834 | 35085k| 17.4 | 312M| 65 | - | 200 |1246 | 200 | 262 | 22M| 0 | 28k|-5.927778e+01 |-5.100000e+01 | 13.96%
1345.82/1345.85 c 1346s| 2030k|249520 | 35228k| 17.4 | 313M| 65 | - | 200 |1246 | 200 | 252 | 22M| 0 | 28k|-5.925000e+01 |-5.100000e+01 | 13.92%
1351.52/1351.59 c 1352s| 2040k|250200 | 35372k| 17.3 | 313M| 65 | - | 200 |1246 | 200 | 265 | 22M| 0 | 29k|-5.925000e+01 |-5.100000e+01 | 13.92%
1357.34/1357.32 c 1357s| 2050k|250834 | 35517k| 17.3 | 314M| 65 | - | 200 |1246 | 200 | 255 | 22M| 0 | 29k|-5.925000e+01 |-5.100000e+01 | 13.92%
1363.03/1363.09 c 1363s| 2060k|251574 | 35663k| 17.3 | 315M| 65 | 58 | 200 |1246 | 200 | 245 | 22M| 0 | 29k|-5.925000e+01 |-5.100000e+01 | 13.92%
1368.72/1368.71 c 1369s| 2070k|252222 | 35803k| 17.3 | 316M| 65 | - | 200 |1246 | 200 | 256 | 23M| 0 | 29k|-5.925000e+01 |-5.100000e+01 | 13.92%
1374.33/1374.35 c 1374s| 2080k|252880 | 35945k| 17.3 | 317M| 65 | - | 200 |1246 | 200 | 273 | 23M| 0 | 29k|-5.925000e+01 |-5.100000e+01 | 13.92%
1380.03/1380.05 c 1380s| 2090k|253554 | 36088k| 17.3 | 318M| 65 | 82 | 200 |1246 | 200 | 249 | 23M| 0 | 29k|-5.923810e+01 |-5.100000e+01 | 13.91%
1385.83/1385.82 c 1386s| 2100k|254222 | 36233k| 17.3 | 319M| 65 | - | 200 |1246 | 200 | 245 | 23M| 0 | 29k|-5.921429e+01 |-5.100000e+01 | 13.87%
1391.44/1391.50 c 1392s| 2110k|254806 | 36376k| 17.2 | 320M| 67 | - | 200 |1246 | 200 | 270 | 23M| 0 | 29k|-5.920000e+01 |-5.100000e+01 | 13.85%
1397.22/1397.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1397.22/1397.29 c 1397s| 2120k|255474 | 36522k| 17.2 | 321M| 67 | - | 200 |1246 | 200 | 268 | 23M| 0 | 29k|-5.920000e+01 |-5.100000e+01 | 13.85%
1402.93/1402.98 c 1403s| 2130k|256068 | 36664k| 17.2 | 322M| 67 | 51 | 200 |1246 | 200 | 233 | 23M| 0 | 29k|-5.916667e+01 |-5.100000e+01 | 13.80%
1408.63/1408.63 c 1409s| 2140k|256638 | 36806k| 17.2 | 322M| 67 | - | 200 |1246 | 200 | 240 | 23M| 0 | 29k|-5.916667e+01 |-5.100000e+01 | 13.80%
1414.22/1414.24 c 1414s| 2150k|257334 | 36946k| 17.2 | 323M| 67 | - | 200 |1246 | 200 | 266 | 23M| 0 | 29k|-5.916667e+01 |-5.100000e+01 | 13.80%
1419.92/1419.97 c 1420s| 2160k|257870 | 37090k| 17.2 | 324M| 67 | 95 | 200 |1246 | 200 | 261 | 23M| 0 | 29k|-5.914286e+01 |-5.100000e+01 | 13.77%
1425.54/1425.56 c 1426s| 2170k|258464 | 37230k| 17.2 | 325M| 67 | - | 200 |1246 | 200 | 261 | 24M| 0 | 29k|-5.912500e+01 |-5.100000e+01 | 13.74%
1431.14/1431.19 c 1431s| 2180k|259050 | 37371k| 17.1 | 326M| 67 | - | 200 |1246 | 200 | 240 | 24M| 0 | 30k|-5.911111e+01 |-5.100000e+01 | 13.72%
1436.73/1436.76 c 1437s| 2190k|259604 | 37508k| 17.1 | 327M| 67 | 29 | 200 |1246 | 200 | 219 | 24M| 0 | 30k|-5.908889e+01 |-5.100000e+01 | 13.69%
1442.43/1442.40 c 1442s| 2200k|260162 | 37648k| 17.1 | 327M| 67 | - | 200 |1246 | 200 | 255 | 24M| 0 | 30k|-5.906250e+01 |-5.100000e+01 | 13.65%
1448.23/1448.20 c 1448s| 2210k|260790 | 37792k| 17.1 | 328M| 67 | - | 200 |1246 | 200 | 255 | 24M| 0 | 30k|-5.900000e+01 |-5.100000e+01 | 13.56%
1453.93/1453.94 c 1454s| 2220k|261494 | 37937k| 17.1 | 329M| 67 | - | 200 |1246 | 200 | 252 | 24M| 0 | 30k|-5.900000e+01 |-5.100000e+01 | 13.56%
1459.53/1459.60 c 1460s| 2230k|262148 | 38078k| 17.1 | 330M| 67 | - | 200 |1246 | 200 | 259 | 24M| 0 | 30k|-5.900000e+01 |-5.100000e+01 | 13.56%
1465.33/1465.33 c 1465s| 2240k|262610 | 38221k| 17.1 | 331M| 67 | - | 200 |1246 | 200 | 255 | 24M| 0 | 30k|-5.900000e+01 |-5.100000e+01 | 13.56%
1471.13/1471.11 c 1471s| 2250k|263218 | 38366k| 17.0 | 332M| 67 | - | 200 |1246 | 200 | 225 | 24M| 0 | 30k|-5.900000e+01 |-5.100000e+01 | 13.56%
1476.73/1476.74 c 1477s| 2260k|263892 | 38508k| 17.0 | 333M| 67 | 38 | 200 |1246 | 200 | 221 | 24M| 0 | 30k|-5.900000e+01 |-5.100000e+01 | 13.56%
1482.43/1482.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1482.43/1482.40 c 1482s| 2270k|264542 | 38647k| 17.0 | 334M| 67 | - | 200 |1246 | 200 | 256 | 25M| 0 | 30k|-5.900000e+01 |-5.100000e+01 | 13.56%
1488.03/1488.04 c 1488s| 2280k|265126 | 38789k| 17.0 | 334M| 67 | - | 200 |1246 | 200 | 240 | 25M| 0 | 30k|-5.900000e+01 |-5.100000e+01 | 13.56%
1493.63/1493.71 c 1494s| 2290k|265668 | 38931k| 17.0 | 335M| 67 | 61 | 200 |1246 | 200 | 242 | 25M| 0 | 30k|-5.900000e+01 |-5.100000e+01 | 13.56%
1499.35/1499.39 c 1499s| 2300k|266212 | 39073k| 17.0 | 336M| 67 | - | 200 |1246 | 200 | 242 | 25M| 0 | 30k|-5.900000e+01 |-5.100000e+01 | 13.56%
1505.13/1505.11 c 1505s| 2310k|266808 | 39217k| 17.0 | 337M| 67 | - | 200 |1246 | 200 | 266 | 25M| 0 | 30k|-5.900000e+01 |-5.100000e+01 | 13.56%
1510.63/1510.66 c 1511s| 2320k|267330 | 39357k| 17.0 | 338M| 68 | 43 | 200 |1246 | 200 | 230 | 25M| 0 | 30k|-5.900000e+01 |-5.100000e+01 | 13.56%
1516.23/1516.20 c 1516s| 2330k|267884 | 39494k| 16.9 | 338M| 68 | 11 | 200 |1246 | 200 | 221 | 25M| 0 | 30k|-5.900000e+01 |-5.100000e+01 | 13.56%
1521.94/1521.94 c 1522s| 2340k|268570 | 39639k| 16.9 | 339M| 68 | - | 200 |1246 | 200 | 239 | 25M| 0 | 30k|-5.900000e+01 |-5.100000e+01 | 13.56%
1527.63/1527.60 c 1528s| 2350k|269206 | 39782k| 16.9 | 340M| 68 | 24 | 200 |1246 | 200 | 252 | 25M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1533.23/1533.24 c 1533s| 2360k|269826 | 39924k| 16.9 | 341M| 68 | 52 | 200 |1246 | 200 | 262 | 25M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1538.85/1538.85 c 1539s| 2370k|270382 | 40065k| 16.9 | 342M| 68 | - | 200 |1246 | 200 | 304 | 26M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1544.64/1544.65 c 1545s| 2380k|271110 | 40211k| 16.9 | 343M| 68 | - | 200 |1246 | 200 | 278 | 26M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1550.23/1550.28 c 1550s| 2390k|271762 | 40353k| 16.9 | 344M| 68 | - | 200 |1246 | 200 | 238 | 26M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1555.73/1555.73 c 1556s| 2400k|272318 | 40488k| 16.9 | 345M| 68 | 62 | 200 |1246 | 200 | 222 | 26M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1561.43/1561.42 c 1561s| 2410k|272888 | 40631k| 16.9 | 345M| 68 | - | 200 |1246 | 200 | 265 | 26M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1567.13/1567.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1567.13/1567.10 c 1567s| 2420k|273620 | 40774k| 16.8 | 346M| 68 | - | 200 |1246 | 200 | 243 | 26M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1572.73/1572.75 c 1573s| 2430k|274244 | 40915k| 16.8 | 347M| 68 | - | 200 |1246 | 200 | 249 | 26M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1578.33/1578.41 c 1578s| 2440k|274900 | 41056k| 16.8 | 348M| 68 | 22 | 200 |1246 | 200 | 228 | 26M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1583.95/1583.93 c 1584s| 2450k|275506 | 41193k| 16.8 | 349M| 68 | - | 200 |1246 | 200 | 242 | 26M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1589.54/1589.57 c 1590s| 2460k|276174 | 41334k| 16.8 | 350M| 68 | - | 200 |1246 | 200 | 265 | 27M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1595.23/1595.24 c 1595s| 2470k|276828 | 41475k| 16.8 | 351M| 68 | - | 200 |1246 | 200 | 253 | 27M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1600.93/1600.90 c 1601s| 2480k|277546 | 41617k| 16.8 | 352M| 68 | - | 200 |1246 | 200 | 307 | 27M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1606.63/1606.60 c 1607s| 2490k|278196 | 41759k| 16.8 | 353M| 68 | 60 | 200 |1246 | 200 | 241 | 27M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1612.24/1612.25 c 1612s| 2500k|278816 | 41900k| 16.8 | 354M| 68 | - | 200 |1246 | 200 | 254 | 27M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1617.94/1617.92 c 1618s| 2510k|279452 | 42042k| 16.7 | 354M| 68 | - | 200 |1246 | 200 | 261 | 27M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1623.55/1623.53 c 1624s| 2520k|280126 | 42182k| 16.7 | 355M| 68 | - | 200 |1246 | 200 | 250 | 27M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1629.15/1629.13 c 1629s| 2530k|280702 | 42322k| 16.7 | 356M| 68 | 72 | 200 |1246 | 200 | 268 | 27M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1634.93/1634.92 c 1635s| 2540k|281370 | 42470k| 16.7 | 357M| 68 | 63 | 200 |1246 | 200 | 249 | 27M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1640.63/1640.61 c 1641s| 2550k|282072 | 42611k| 16.7 | 358M| 68 | - | 200 |1246 | 200 | 258 | 27M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1646.23/1646.21 c 1646s| 2560k|282552 | 42750k| 16.7 | 359M| 68 | - | 200 |1246 | 200 | 277 | 28M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1651.83/1651.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1651.83/1651.88 c 1652s| 2570k|283196 | 42891k| 16.7 | 360M| 68 | 66 | 200 |1246 | 200 | 236 | 28M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1657.53/1657.55 c 1658s| 2580k|283908 | 43034k| 16.7 | 361M| 68 | 62 | 200 |1246 | 200 | 240 | 28M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1663.15/1663.19 c 1663s| 2590k|284540 | 43174k| 16.7 | 361M| 68 | - | 200 |1246 | 200 | 242 | 28M| 0 | 32k|-5.892857e+01 |-5.100000e+01 | 13.45%
1668.84/1668.85 c 1669s| 2600k|285162 | 43315k| 16.7 | 362M| 68 | 17 | 200 |1246 | 200 | 220 | 28M| 0 | 32k|-5.890909e+01 |-5.100000e+01 | 13.43%
1674.25/1674.28 c 1674s| 2610k|285704 | 43449k| 16.6 | 363M| 68 | - | 200 |1246 | 200 | 241 | 28M| 0 | 32k|-5.890000e+01 |-5.100000e+01 | 13.41%
1679.93/1679.91 c 1680s| 2620k|286340 | 43588k| 16.6 | 364M| 68 | - | 200 |1246 | 200 | 237 | 28M| 0 | 32k|-5.887500e+01 |-5.100000e+01 | 13.38%
1685.43/1685.48 c 1685s| 2630k|286866 | 43726k| 16.6 | 365M| 68 | - | 200 |1246 | 200 | 263 | 28M| 0 | 32k|-5.887500e+01 |-5.100000e+01 | 13.38%
1691.04/1691.08 c 1691s| 2640k|287498 | 43866k| 16.6 | 366M| 68 | 41 | 200 |1246 | 200 | 229 | 28M| 0 | 32k|-5.885714e+01 |-5.100000e+01 | 13.35%
1696.64/1696.70 c 1697s| 2650k|288028 | 44007k| 16.6 | 366M| 68 | 10 | 200 |1246 | 200 | 218 | 28M| 0 | 32k|-5.883333e+01 |-5.100000e+01 | 13.31%
1702.24/1702.25 c 1702s| 2660k|288672 | 44147k| 16.6 | 367M| 68 | 8 | 200 |1246 | 200 | 236 | 29M| 0 | 32k|-5.883333e+01 |-5.100000e+01 | 13.31%
1707.83/1707.88 c 1708s| 2670k|289194 | 44287k| 16.6 | 368M| 68 | 33 | 200 |1246 | 200 | 235 | 29M| 0 | 32k|-5.883333e+01 |-5.100000e+01 | 13.31%
1713.44/1713.48 c 1713s| 2680k|289752 | 44424k| 16.6 | 369M| 68 | - | 200 |1246 | 200 | 266 | 29M| 0 | 32k|-5.881818e+01 |-5.100000e+01 | 13.29%
1716.84/1716.83 o -52
1716.84/1716.83 c *1717s| 2685k|217079 | 44501k| 16.6 | 279M| 68 | - | 200 |1246 | 200 | 263 | 29M| 0 | 32k|-5.880000e+01 |-5.200000e+01 | 11.56%
1719.25/1719.25 c 1719s| 2690k|217234 | 44559k| 16.6 | 279M| 68 | 35 | 200 |1246 | 200 | 242 | 29M| 0 | 32k|-5.880000e+01 |-5.200000e+01 | 11.56%
1724.75/1724.73 c 1725s| 2700k|217514 | 44692k| 16.6 | 280M| 68 | - | 200 |1246 | 200 | 267 | 29M| 0 | 32k|-5.880000e+01 |-5.200000e+01 | 11.56%
1730.13/1730.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1730.13/1730.18 c 1730s| 2710k|217820 | 44825k| 16.5 | 280M| 68 | 20 | 200 |1246 | 200 | 220 | 29M| 0 | 33k|-5.878571e+01 |-5.200000e+01 | 11.54%
1735.63/1735.64 c 1736s| 2720k|218066 | 44955k| 16.5 | 281M| 68 | - | 200 |1246 | 200 | 256 | 29M| 0 | 33k|-5.876000e+01 |-5.200000e+01 | 11.50%
1741.03/1741.00 c 1741s| 2730k|218290 | 45084k| 16.5 | 281M| 68 | 48 | 200 |1246 | 200 | 264 | 29M| 0 | 33k|-5.875000e+01 |-5.200000e+01 | 11.49%
1746.53/1746.56 c 1747s| 2740k|218696 | 45222k| 16.5 | 282M| 68 | 23 | 200 |1246 | 200 | 227 | 29M| 0 | 33k|-5.875000e+01 |-5.200000e+01 | 11.49%
1751.94/1751.91 c 1752s| 2750k|218986 | 45351k| 16.5 | 282M| 68 | 48 | 200 |1246 | 200 | 218 | 29M| 0 | 33k|-5.875000e+01 |-5.200000e+01 | 11.49%
1757.34/1757.38 c 1757s| 2760k|219286 | 45486k| 16.5 | 283M| 68 | - | 200 |1246 | 200 | 272 | 30M| 0 | 33k|-5.875000e+01 |-5.200000e+01 | 11.49%
1762.74/1762.73 c 1763s| 2770k|219552 | 45615k| 16.5 | 283M| 69 | - | 200 |1246 | 200 | 278 | 30M| 0 | 33k|-5.875000e+01 |-5.200000e+01 | 11.49%
1768.14/1768.15 c 1768s| 2780k|219860 | 45747k| 16.5 | 284M| 69 | 44 | 200 |1246 | 200 | 238 | 30M| 0 | 33k|-5.875000e+01 |-5.200000e+01 | 11.49%
1773.64/1773.66 c 1774s| 2790k|220204 | 45882k| 16.4 | 284M| 69 | - | 200 |1246 | 200 | 273 | 30M| 0 | 33k|-5.875000e+01 |-5.200000e+01 | 11.49%
1779.14/1779.17 c 1779s| 2800k|220460 | 46017k| 16.4 | 285M| 69 | - | 200 |1246 | 200 | 248 | 30M| 0 | 33k|-5.872222e+01 |-5.200000e+01 | 11.45%
1784.44/1784.46 c 1784s| 2810k|220632 | 46143k| 16.4 | 285M| 69 | 76 | 200 |1246 | 200 | 223 | 30M| 0 | 33k|-5.871429e+01 |-5.200000e+01 | 11.44%
1789.76/1789.75 c 1790s| 2820k|220920 | 46268k| 16.4 | 286M| 69 | 39 | 200 |1246 | 200 | 239 | 30M| 0 | 33k|-5.868966e+01 |-5.200000e+01 | 11.40%
1795.04/1795.09 c 1795s| 2830k|221138 | 46397k| 16.4 | 286M| 69 | 28 | 200 |1246 | 200 | 225 | 30M| 0 | 33k|-5.866667e+01 |-5.200000e+01 | 11.36%
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Solving Time (sec) : 1800.00
1800.04/1800.00 c Solving Nodes : 2838931
1800.04/1800.00 c Primal Bound : -5.20000000000000e+01 (604 solutions)
1800.04/1800.00 c Dual Bound : -5.86666666666667e+01
1800.04/1800.00 c Gap : 11.36 %
1800.04/1800.00 s SATISFIABLE
1800.04/1800.00 v -x200 x199 x198 -x197 x196 x195 x194 -x193 -x192 x191 -x190 x189 x188 x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 x178
1800.04/1800.00 v -x177 -x176 x175 x174 -x173 x172 -x171 -x170 -x169 x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 x157 -x156
1800.04/1800.00 v -x155 x154 -x153 x152 -x151 -x150 -x149 -x148 x147 -x146 -x145 -x144 x143 x142 x141 -x140 x139 -x138 x137 -x136 -x135 -x134
1800.04/1800.00 v -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112
1800.04/1800.00 v -x111 x110 -x109 -x108 x107 -x106 -x105 x104 x103 -x102 x101 x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88
1800.04/1800.00 v x87 -x86 -x85 -x84 -x83 -x82 x81 x80 -x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62
1800.04/1800.00 v x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37
1800.04/1800.00 v -x36 -x35 -x34 -x33 x32 -x31 -x30 x29 -x28 -x27 -x26 x25 x24 -x23 x22 x21 -x20 -x19 x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 x10
1800.04/1800.00 v -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Total Time : 1800.00
1800.04/1800.00 c solving : 1800.00
1800.04/1800.00 c presolving : 0.04 (included in solving)
1800.04/1800.00 c reading : 0.01 (included in solving)
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-3450661-1307105776.opb
1800.04/1800.00 c Variables : 1446 (1446 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00 c Constraints : 1646 initial, 1646 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-3450661-1307105776.opb
1800.04/1800.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00 c Constraints : 1246 initial, 1246 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c and : 0.02 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.00 1246 0 0 1246 0 200 0 0 0
1800.04/1800.00 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c pseudoboolean : 0.00 0 0 0 0 0 200 0 0 0
1800.04/1800.00 c root node : - 0 - - 0 - - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 2587330 0 865417 0 186 1398 0 0 3205574
1800.04/1800.00 c logicor : 1246 32 2909709 983779 0 865413 0 73 13256046 30813108 0 0
1800.04/1800.00 c countsols : 0 0 0 8 0 598 0 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.04/1800.00 c integral : 43.12 0.00 0.00 42.93 0.00 0.19 0.00
1800.04/1800.00 c logicor : 84.91 0.00 32.00 39.99 0.00 12.92 0.00
1800.04/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.04/1800.00 c vbounds : 0 0 0 0
1800.04/1800.00 c rootredcost : 9 0 0 0
1800.04/1800.00 c pseudoobj : 4832710 0 0 0
1800.04/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.04/1800.00 c vbounds : 0.84 0.84 0.00
1800.04/1800.00 c rootredcost : 0.97 0.97 0.00
1800.04/1800.00 c pseudoobj : 22.92 22.92 0.00
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 0.00 73 0 0 0.0 0 0.0 -
1800.04/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.00 c applied globally : - - - 0 0.0 - - -
1800.04/1800.00 c applied locally : - - - 0 0.0 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.02 31 - - 40 - (maximal pool size: 2247)
1800.04/1800.00 c redcost : 12.07 2806595 0 442974 0 0
1800.04/1800.00 c impliedbounds : 0.00 32 0 0 636 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 0.62 32 0 0 9595 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 0.28 20 0 0 8245 0
1800.04/1800.00 c cmir : 0.03 10 0 0 0 0
1800.04/1800.00 c flowcover : 0.02 10 0 0 0 0
1800.04/1800.00 c clique : 0.03 32 0 0 218 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 1 0 0 0 0
1800.04/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 41.79 1603551 186 1398 0 0 3205574
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 0.00 0 0 0 0 0 0
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.37 - 8
1800.04/1800.00 c pseudo solutions : 0.00 - 0
1800.04/1800.00 c feaspump : 0.07 0 0
1800.04/1800.00 c oneopt : 0.64 11 1
1800.04/1800.00 c crossover : 1.04 3 3
1800.04/1800.00 c coefdiving : 2.74 2951 24
1800.04/1800.00 c objpscostdiving : 1.51 1476 26
1800.04/1800.00 c rootsoldiving : 1.53 1476 2
1800.04/1800.00 c pscostdiving : 2.74 2952 26
1800.04/1800.00 c fracdiving : 3.05 2952 16
1800.04/1800.00 c linesearchdiving : 2.90 2952 19
1800.04/1800.00 c veclendiving : 2.90 2952 39
1800.04/1800.00 c guideddiving : 3.05 2952 10
1800.04/1800.00 c trivial : 0.00 2 1
1800.04/1800.00 c shiftandpropagate: 0.00 0 0
1800.04/1800.00 c simplerounding : 22.53 1618264 426
1800.04/1800.00 c zirounding : 0.56 1000 1
1800.04/1800.00 c rounding : 5.99 61667 1
1800.04/1800.00 c shifting : 1.87 19211 1
1800.04/1800.00 c intshifting : 0.04 0 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c clique : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.01 0 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c vbounds : 0.00 0 0
1800.04/1800.00 c undercover : 0.01 1 0
1800.04/1800.00 c subnlp : 0.43 0 0
1800.04/1800.00 c trysol : 0.66 0 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 38.02 0 0 0.00 0.00
1800.04/1800.00 c dual LP : 1232.42 3847700 46155014 12.00 37450.73
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 13.68 59234 361603 6.10 26435.51
1800.04/1800.00 c strong branching : 20.25 33743 483341 14.32 23870.75
1800.04/1800.00 c (at root node) : - 27 13048 483.26 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 2838931
1800.04/1800.00 c nodes (total) : 2838931
1800.04/1800.00 c nodes left : 221417
1800.04/1800.00 c max depth : 69
1800.04/1800.00 c max depth (total): 69
1800.04/1800.00 c backtracks : 420371 (14.8%)
1800.04/1800.00 c delayed cutoffs : 0
1800.04/1800.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.04/1800.00 c avg switch length: 5.13
1800.04/1800.00 c switching time : 110.92
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 604 (13 improvements)
1800.04/1800.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.04/1800.00 c Primal Bound : -5.20000000000000e+01 (in run 1, after 2685633 nodes, 1716.61 seconds, depth 38, found by <relaxation>)
1800.04/1800.00 c Dual Bound : -5.86666666666667e+01
1800.04/1800.00 c Gap : 11.36 %
1800.04/1800.00 c Root Dual Bound : -6.99853398710047e+01
1800.04/1800.00 c Root Iterations : 7125
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3450661-1307105776/watcher-3450661-1307105776 -o /tmp/evaluation-result-3450661-1307105776/solver-3450661-1307105776 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450661-1307105776.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.02 2.00 2/400 30205
/proc/meminfo: memFree=30097724/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=17604 CPUtime=0 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 3347 0 0 0 0 0 0 0 25 0 1 0 822177375 18026496 3300 33554432000 4194304 9163163 140735525204512 18446744073709551615 6607168 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 4401 3300 447 1214 0 3183 0
[startup+0.068849 s]
/proc/loadavg: 2.03 2.02 2.00 2/400 30205
/proc/meminfo: memFree=30097724/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=25648 CPUtime=0.05 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 5500 0 0 0 5 0 0 0 25 0 1 0 822177375 26263552 5194 33554432000 4194304 9163163 140735525204512 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 6412 5194 642 1214 0 5194 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 25648
[startup+0.100843 s]
/proc/loadavg: 2.03 2.02 2.00 2/400 30205
/proc/meminfo: memFree=30097724/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=26692 CPUtime=0.09 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 8134 0 0 0 8 1 0 0 25 0 1 0 822177375 27332608 5623 33554432000 4194304 9163163 140735525204512 18446744073709551615 7447691 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 6673 5623 689 1214 0 5455 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26692
[startup+0.300806 s]
/proc/loadavg: 2.03 2.02 2.00 2/400 30205
/proc/meminfo: memFree=30097724/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=28052 CPUtime=0.29 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 8422 0 0 0 27 2 0 0 25 0 1 0 822177375 28725248 5902 33554432000 4194304 9163163 140735525204512 18446744073709551615 5823567 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 7013 5902 694 1214 0 5795 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28052
[startup+0.700736 s]
/proc/loadavg: 2.03 2.02 2.00 2/400 30205
/proc/meminfo: memFree=30097724/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=38720 CPUtime=0.69 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 11103 0 0 0 66 3 0 0 25 0 1 0 822177375 39649280 8581 33554432000 4194304 9163163 140735525204512 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 9680 8581 693 1214 0 8462 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38720
[startup+1.50065 s]
/proc/loadavg: 2.03 2.01 2.00 3/401 30206
/proc/meminfo: memFree=30061632/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=47428 CPUtime=1.49 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 13296 0 0 0 144 5 0 0 25 0 1 0 822177375 48566272 10774 33554432000 4194304 9163163 140735525204512 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 11857 10774 700 1214 0 10639 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47428
[startup+3.10039 s]
/proc/loadavg: 2.03 2.01 2.00 3/401 30206
/proc/meminfo: memFree=30055324/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=46956 CPUtime=3.09 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 14955 0 0 0 292 17 0 0 25 0 1 0 822177375 48082944 10725 33554432000 4194304 9163163 140735525204512 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 11739 10725 714 1214 0 10521 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46956
[startup+6.3008 s]
/proc/loadavg: 2.03 2.01 2.00 3/401 30206
/proc/meminfo: memFree=30054724/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=47908 CPUtime=6.3 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 16777 0 0 0 574 56 0 0 25 0 1 0 822177375 49057792 10868 33554432000 4194304 9163163 140735525204512 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 11977 10868 717 1214 0 10759 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 47908
[startup+12.7007 s]
/proc/loadavg: 2.02 2.01 2.00 3/401 30207
/proc/meminfo: memFree=30051644/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=51624 CPUtime=12.69 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 25152 0 0 0 1136 133 0 0 25 0 1 0 822177375 52862976 11864 33554432000 4194304 9163163 140735525204512 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 12906 11864 731 1214 0 11688 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 51624
[startup+25.5004 s]
/proc/loadavg: 2.02 2.01 2.00 3/401 30207
/proc/meminfo: memFree=30043712/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=58672 CPUtime=25.49 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 31617 0 0 0 2255 294 0 0 25 0 1 0 822177375 60080128 13648 33554432000 4194304 9163163 140735525204512 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 14668 13648 731 1214 0 13450 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 58672
[startup+51.1008 s]
/proc/loadavg: 2.01 2.01 2.00 3/401 30207
/proc/meminfo: memFree=30031024/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=71392 CPUtime=51.09 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 45563 0 0 0 4496 613 0 0 25 0 1 0 822177375 73105408 16878 33554432000 4194304 9163163 140735525204512 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 17848 16878 731 1214 0 16630 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 71392
[startup+102.315 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30209
/proc/meminfo: memFree=30000320/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=100788 CPUtime=102.3 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 58257 0 0 0 8978 1252 0 0 25 0 1 0 822177375 103206912 24318 33554432000 4194304 9163163 140735525204512 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 25197 24318 731 1214 0 23979 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 100788
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30210
/proc/meminfo: memFree=29971588/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=130312 CPUtime=162.29 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 66963 0 0 0 14227 2002 0 0 25 0 1 0 822177375 133439488 31291 33554432000 4194304 9163163 140735525204512 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 32578 31291 734 1214 0 31360 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 130312
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30212
/proc/meminfo: memFree=29947224/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=155424 CPUtime=222.29 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 75095 0 0 0 19501 2728 0 0 25 0 1 0 822177375 159154176 37658 33554432000 4194304 9163163 140735525204512 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 38856 37658 734 1214 0 37638 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 155424
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30214
/proc/meminfo: memFree=29924452/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=178212 CPUtime=282.29 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 80900 0 0 0 24786 3443 0 0 25 0 1 0 822177375 182489088 43463 33554432000 4194304 9163163 140735525204512 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 44553 43463 734 1214 0 43335 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 178212
[startup+342.301 s]
/proc/loadavg: 2.14 2.04 2.01 3/401 30224
/proc/meminfo: memFree=29898252/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=202976 CPUtime=342.3 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 87150 0 0 0 30065 4165 0 0 25 0 1 0 822177375 207847424 49713 33554432000 4194304 9163163 140735525204512 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 50744 49713 734 1214 0 49526 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 202976
[startup+402.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/401 30226
/proc/meminfo: memFree=29875364/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=225928 CPUtime=402.31 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 94728 0 0 0 35326 4905 0 0 25 0 1 0 822177375 231350272 55532 33554432000 4194304 9163163 140735525204512 18446744073709551615 7225310 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 56482 55532 734 1214 0 55264 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 225928
[startup+462.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/401 30229
/proc/meminfo: memFree=29862396/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=236344 CPUtime=462.3 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 111527 0 0 0 40603 5627 0 0 25 0 1 0 822177375 242016256 58233 33554432000 4194304 9163163 140735525204512 18446744073709551615 7225127 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 59086 58233 734 1214 0 57868 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 236344
[startup+522.301 s]
/proc/loadavg: 2.06 2.03 2.00 3/401 30232
/proc/meminfo: memFree=29862664/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=236344 CPUtime=522.31 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 113306 0 0 0 45895 6336 0 0 25 0 1 0 822177375 242016256 58249 33554432000 4194304 9163163 140735525204512 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 59086 58249 734 1214 0 57868 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 236344
[startup+582.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/401 30234
/proc/meminfo: memFree=29860872/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=237256 CPUtime=582.31 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 115295 0 0 0 51183 7048 0 0 25 0 1 0 822177375 242950144 58475 33554432000 4194304 9163163 140735525204512 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 59314 58475 734 1214 0 58096 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 237256
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30294
/proc/meminfo: memFree=29666140/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=265348 CPUtime=822.31 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 124009 0 0 0 72814 9417 0 0 25 0 1 0 822177375 271716352 65427 33554432000 4194304 9163163 140735525204512 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 66337 65427 734 1214 0 65119 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 265348
[startup+882.301 s]
/proc/loadavg: 2.12 2.04 2.01 3/401 30296
/proc/meminfo: memFree=29654796/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=276612 CPUtime=882.31 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 126857 0 0 0 78284 9947 0 0 25 0 1 0 822177375 283250688 68275 33554432000 4194304 9163163 140735525204512 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 69153 68275 734 1214 0 67935 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 276612
[startup+942.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/401 30297
/proc/meminfo: memFree=29646956/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=284036 CPUtime=942.32 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 130513 0 0 0 83757 10475 0 0 25 0 1 0 822177375 290852864 70171 33554432000 4194304 9163163 140735525204512 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 71009 70171 734 1214 0 69791 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 284036
[startup+1002.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/401 30299
/proc/meminfo: memFree=29634376/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=300444 CPUtime=1002.32 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 133636 0 0 0 89230 11002 0 0 25 0 1 0 822177375 307654656 73294 33554432000 4194304 9163163 140735525204512 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 75111 73294 734 1214 0 73893 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 300444
[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/401 30300
/proc/meminfo: memFree=29621680/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=312156 CPUtime=1062.32 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 136591 0 0 0 94694 11538 0 0 25 0 1 0 822177375 319647744 76249 33554432000 4194304 9163163 140735525204512 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 78039 76249 734 1214 0 76821 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 312156
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 30302
/proc/meminfo: memFree=29613316/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=321216 CPUtime=1122.32 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 138880 0 0 0 100159 12073 0 0 25 0 1 0 822177375 328925184 78538 33554432000 4194304 9163163 140735525204512 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 80304 78538 734 1214 0 79086 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 321216
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 30304
/proc/meminfo: memFree=29599104/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=334000 CPUtime=1182.32 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 142120 0 0 0 105626 12606 0 0 25 0 1 0 822177375 342016000 81778 33554432000 4194304 9163163 140735525204512 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 83500 81778 734 1214 0 82282 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 334000
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 30305
/proc/meminfo: memFree=29589616/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=343600 CPUtime=1242.32 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 144573 0 0 0 111069 13163 0 0 25 0 1 0 822177375 351846400 84231 33554432000 4194304 9163163 140735525204512 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 85900 84231 734 1214 0 84682 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 343600
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30307
/proc/meminfo: memFree=29580888/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=352304 CPUtime=1302.34 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 146741 0 0 0 116518 13716 0 0 25 0 1 0 822177375 360759296 86399 33554432000 4194304 9163163 140735525204512 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 88076 86399 734 1214 0 86858 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 352304
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30308
/proc/meminfo: memFree=29571164/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=361712 CPUtime=1362.33 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 149124 0 0 0 121968 14265 0 0 25 0 1 0 822177375 370393088 88782 33554432000 4194304 9163163 140735525204512 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 90428 88782 734 1214 0 89210 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 361712
[startup+1422.31 s]
/proc/loadavg: 2.17 2.04 2.01 3/401 30310
/proc/meminfo: memFree=29562152/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=370672 CPUtime=1422.35 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 153152 0 0 0 127412 14823 0 0 25 0 1 0 822177375 379568128 91047 33554432000 4194304 9163163 140735525204512 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 92668 91047 734 1214 0 91450 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 370672
[startup+1482.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/401 30312
/proc/meminfo: memFree=29552920/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=380656 CPUtime=1482.33 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 155677 0 0 0 132853 15380 0 0 25 0 1 0 822177375 389791744 93572 33554432000 4194304 9163163 140735525204512 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 95164 93572 734 1214 0 93946 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 380656
[startup+1542.3 s]
/proc/loadavg: 2.04 2.04 2.01 3/401 30313
/proc/meminfo: memFree=29544192/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=389732 CPUtime=1542.33 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 157963 0 0 0 138311 15922 0 0 25 0 1 0 822177375 399085568 95858 33554432000 4194304 9163163 140735525204512 18446744073709551615 7240272 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 97433 95858 734 1214 0 96215 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 389732
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/401 30315
/proc/meminfo: memFree=29536552/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=396536 CPUtime=1602.33 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 159705 0 0 0 143775 16458 0 0 25 0 1 0 822177375 406052864 97600 33554432000 4194304 9163163 140735525204512 18446744073709551615 6480261 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 99134 97600 734 1214 0 97916 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 396536
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 30317
/proc/meminfo: memFree=29526460/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=406884 CPUtime=1662.34 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 162299 0 0 0 149224 17010 0 0 25 0 1 0 822177375 416649216 100194 33554432000 4194304 9163163 140735525204512 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 101721 100194 734 1214 0 100503 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 406884
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 30318
/proc/meminfo: memFree=29515984/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=415716 CPUtime=1722.34 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 173421 0 0 0 154692 17542 0 0 25 0 1 0 822177375 425693184 102501 33554432000 4194304 9163163 140735525204512 18446744073709551615 5275384 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 103929 102501 734 1214 0 102711 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 415716
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 30320
/proc/meminfo: memFree=29515200/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=415716 CPUtime=1782.33 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 180482 0 0 0 160152 18081 0 0 25 0 1 0 822177375 425693184 102508 33554432000 4194304 9163163 140735525204512 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30205/statm: 103929 102508 734 1214 0 102711 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 415716
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 30320
/proc/meminfo: memFree=29515184/32950904 swapFree=56615552/67111528
[pid=30205] ppid=30203 vsize=415716 CPUtime=1800.05 cores=1,3,5,7
/proc/30205/stat : 30205 (scip-2.0.1.4b.l) R 30203 30205 27067 0 -1 4202496 180487 0 0 0 161770 18235 0 0 25 0 1 0 822177375 425693184 102513 33554432000 4194304 9163163 140735525204512 18446744073709551615 4745912 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30205/statm: 103929 102513 736 1214 0 102711 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 415716
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.08
CPU user time (s): 1617.71
CPU system time (s): 182.373
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 422500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1617.71
system time used= 182.373
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180487
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= 5
involuntary context switches= 3668
runsolver used 6.75697 second user time and 16.1955 second system time
The end