0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3737252-1338725686.opb>
0.00/0.01 c original problem has 1441 variables (1441 bin, 0 int, 0 impl, 0 cont) and 1641 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.01/0.02 o 0
0.01/0.02 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.01/0.02 c presolving:
0.01/0.04 c (round 1) 1241 del vars, 400 del conss, 0 add conss, 1241 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4964 impls, 0 clqs
0.01/0.04 c (round 2) 1241 del vars, 400 del conss, 0 add conss, 1241 chg bounds, 0 chg sides, 0 chg coeffs, 1241 upgd conss, 4964 impls, 0 clqs
0.01/0.05 c (0.0s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.01/0.05 c presolving (3 rounds):
0.01/0.05 c 1241 deleted vars, 400 deleted constraints, 0 added constraints, 1241 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.05 c 7444 implications, 0 cliques
0.01/0.05 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 1241 constraints
0.01/0.05 c 1241 constraints of type <setppc>
0.01/0.05 c transformed objective value is always integral (scale: 1)
0.01/0.05 c Presolving Time: 0.03
0.01/0.05 c - non default parameters ----------------------------------------------------------------------
0.01/0.05 c # SCIP version 2.0.1.5
0.01/0.05 c
0.01/0.05 c # frequency for displaying node information lines
0.01/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.05 c display/freq = 10000
0.01/0.05 c
0.01/0.05 c # maximal time in seconds to run
0.01/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.05 c limits/time = 1797
0.01/0.05 c
0.01/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.05 c limits/memory = 13950
0.01/0.05 c
0.01/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.05 c # [type: int, range: [1,2], default: 1]
0.01/0.05 c timing/clocktype = 2
0.01/0.05 c
0.01/0.05 c # belongs reading time to solving time?
0.01/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.05 c timing/reading = TRUE
0.01/0.05 c
0.01/0.05 c # should presolving try to simplify inequalities
0.01/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.05 c constraints/linear/simplifyinequalities = TRUE
0.01/0.05 c
0.01/0.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.01/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.05 c constraints/indicator/addCouplingCons = TRUE
0.01/0.05 c
0.01/0.05 c # should presolving try to simplify knapsacks
0.01/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.05 c
0.01/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.05 c separating/rapidlearning/freq = 0
0.01/0.05 c
0.01/0.05 c -----------------------------------------------------------------------------------------------
0.01/0.05 c start solving
0.01/0.05 c
0.01/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.01/0.06 c t 0.1s| 1 | 0 | 223 | - |4568k| 0 | 200 | 200 |1241 | 200 |1241 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.01/0.06 o -1
0.01/0.06 c R 0.1s| 1 | 0 | 223 | - |4571k| 0 | 200 | 200 |1241 | 200 |1241 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
0.01/0.06 o -2
0.01/0.06 c s 0.1s| 1 | 0 | 223 | - |4573k| 0 | 200 | 200 |1241 | 200 |1241 | 0 | 0 | 0 |-1.000000e+02 |-2.000000e+00 | 98.00%
0.09/0.10 o -33
0.09/0.10 c y 0.1s| 1 | 0 | 223 | - |4918k| 0 | 200 | 200 |1241 | 200 |1241 | 0 | 0 | 0 |-1.000000e+02 |-3.300000e+01 | 67.00%
0.09/0.11 c 0.1s| 1 | 0 | 302 | - |4582k| 0 | 191 | 200 |1241 | 200 |1250 | 9 | 0 | 0 |-9.550000e+01 |-3.300000e+01 | 65.45%
0.09/0.14 c 0.1s| 1 | 0 | 402 | - |4590k| 0 | 184 | 200 |1241 | 200 |1260 | 19 | 0 | 0 |-9.200000e+01 |-3.300000e+01 | 64.13%
0.09/0.18 c 0.2s| 1 | 0 | 492 | - |4635k| 0 | 180 | 200 |1241 | 200 |1268 | 27 | 0 | 0 |-9.000000e+01 |-3.300000e+01 | 63.33%
0.18/0.25 c 0.3s| 1 | 0 | 699 | - |4767k| 0 | 179 | 200 |1241 | 200 |1274 | 33 | 0 | 0 |-8.800000e+01 |-3.300000e+01 | 62.50%
0.28/0.30 c 0.3s| 1 | 0 | 895 | - |4783k| 0 | 174 | 200 |1241 | 200 |1282 | 41 | 0 | 0 |-8.700000e+01 |-3.300000e+01 | 62.07%
0.28/0.35 c 0.3s| 1 | 0 | 1042 | - |4799k| 0 | 170 | 200 |1241 | 200 |1292 | 51 | 0 | 0 |-8.500000e+01 |-3.300000e+01 | 61.18%
0.39/0.40 c 0.4s| 1 | 0 | 1220 | - |4889k| 0 | 169 | 200 |1241 | 200 |1306 | 65 | 0 | 0 |-8.300000e+01 |-3.300000e+01 | 60.24%
0.39/0.45 c 0.4s| 1 | 0 | 1371 | - |4979k| 0 | 164 | 200 |1241 | 200 |1315 | 74 | 0 | 0 |-8.200000e+01 |-3.300000e+01 | 59.76%
0.39/0.49 c 0.5s| 1 | 0 | 1493 | - |5058k| 0 | 162 | 200 |1241 | 200 |1324 | 83 | 0 | 0 |-8.100000e+01 |-3.300000e+01 | 59.26%
0.49/0.53 c 0.5s| 1 | 0 | 1555 | - |5125k| 0 | 160 | 200 |1241 | 200 |1335 | 94 | 0 | 0 |-8.000000e+01 |-3.300000e+01 | 58.75%
0.59/0.61 c 0.6s| 1 | 0 | 1929 | - |5183k| 0 | 174 | 200 |1241 | 200 | 437 | 105 | 0 | 0 |-7.850000e+01 |-3.300000e+01 | 57.96%
0.59/0.64 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.64 c 0.6s| 1 | 0 | 2065 | - |5289k| 0 | 174 | 200 |1241 | 200 | 445 | 113 | 0 | 0 |-7.750000e+01 |-3.300000e+01 | 57.42%
0.59/0.67 c 0.7s| 1 | 0 | 2151 | - |5492k| 0 | 156 | 200 |1241 | 200 | 471 | 139 | 0 | 0 |-7.700000e+01 |-3.300000e+01 | 57.14%
0.68/0.71 c 0.7s| 1 | 0 | 2389 | - |5592k| 0 | 155 | 200 |1241 | 200 | 488 | 156 | 0 | 0 |-7.700000e+01 |-3.300000e+01 | 57.14%
0.68/0.74 c 0.7s| 1 | 0 | 2540 | - |5755k| 0 | 183 | 200 |1241 | 200 | 498 | 166 | 0 | 0 |-7.607090e+01 |-3.300000e+01 | 56.62%
0.79/0.81 c 0.8s| 1 | 0 | 2668 | - |6702k| 0 | 148 | 200 |1241 | 200 | 623 | 291 | 0 | 0 |-7.500000e+01 |-3.300000e+01 | 56.00%
0.79/0.84 c 0.8s| 1 | 0 | 2788 | - |6784k| 0 | 184 | 200 |1241 | 200 | 462 | 304 | 0 | 0 |-7.465625e+01 |-3.300000e+01 | 55.80%
0.89/0.90 c 0.9s| 1 | 0 | 3218 | - |7022k| 0 | 189 | 200 |1241 | 200 | 480 | 322 | 0 | 0 |-7.376562e+01 |-3.300000e+01 | 55.26%
0.89/0.95 c 1.0s| 1 | 0 | 3375 | - |7376k| 0 | 194 | 200 |1241 | 200 | 542 | 384 | 0 | 0 |-7.317054e+01 |-3.300000e+01 | 54.90%
1.00/1.03 c 1.0s| 1 | 0 | 3676 | - |8157k| 0 | 192 | 200 |1241 | 200 | 565 | 407 | 0 | 0 |-7.276900e+01 |-3.300000e+01 | 54.65%
1.00/1.09 c 1.1s| 1 | 0 | 4007 | - |8583k| 0 | 189 | 200 |1241 | 200 | 596 | 438 | 0 | 0 |-7.211765e+01 |-3.300000e+01 | 54.24%
1.10/1.14 c 1.1s| 1 | 0 | 4250 | - |8754k| 0 | 189 | 200 |1241 | 200 | 617 | 459 | 0 | 0 |-7.138649e+01 |-3.300000e+01 | 53.77%
1.10/1.19 c 1.2s| 1 | 0 | 4417 | - |9504k| 0 | 196 | 200 |1241 | 200 | 543 | 486 | 0 | 0 |-7.099082e+01 |-3.300000e+01 | 53.52%
1.19/1.23 c 1.2s| 1 | 0 | 4542 | - |9512k| 0 | 195 | 200 |1241 | 200 | 558 | 501 | 0 | 0 |-7.085365e+01 |-3.300000e+01 | 53.43%
1.19/1.27 c 1.3s| 1 | 0 | 4723 | - |9518k| 0 | 193 | 200 |1241 | 200 | 573 | 516 | 0 | 0 |-7.056667e+01 |-3.300000e+01 | 53.24%
1.29/1.32 c 1.3s| 1 | 0 | 4891 | - |9838k| 0 | 195 | 200 |1241 | 200 | 584 | 527 | 0 | 0 |-7.035820e+01 |-3.300000e+01 | 53.10%
1.29/1.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.29/1.39 c 1.4s| 1 | 0 | 5093 | - | 10M| 0 | 195 | 200 |1241 | 200 | 598 | 541 | 0 | 0 |-7.026550e+01 |-3.300000e+01 | 53.04%
1.39/1.43 c 1.4s| 1 | 0 | 5188 | - | 10M| 0 | 198 | 200 |1241 | 200 | 609 | 552 | 0 | 0 |-7.021414e+01 |-3.300000e+01 | 53.00%
1.39/1.47 c 1.5s| 1 | 0 | 5253 | - | 10M| 0 | 197 | 200 |1241 | 200 | 416 | 560 | 0 | 0 |-7.018607e+01 |-3.300000e+01 | 52.98%
1.49/1.50 c 1.5s| 1 | 0 | 5544 | - | 10M| 0 | 198 | 200 |1241 | 200 | 426 | 570 | 0 | 0 |-6.996512e+01 |-3.300000e+01 | 52.83%
1.49/1.54 c 1.5s| 1 | 0 | 5784 | - | 10M| 0 | 190 | 200 |1241 | 200 | 457 | 601 | 0 | 0 |-6.947218e+01 |-3.300000e+01 | 52.50%
1.49/1.56 c 1.6s| 1 | 0 | 5798 | - | 10M| 0 | 194 | 200 |1241 | 200 | 469 | 613 | 0 | 0 |-6.946988e+01 |-3.300000e+01 | 52.50%
1.49/1.59 c 1.6s| 1 | 0 | 5863 | - | 11M| 0 | 193 | 200 |1241 | 200 | 475 | 619 | 0 | 0 |-6.934419e+01 |-3.300000e+01 | 52.41%
1.59/1.62 c 1.6s| 1 | 0 | 5892 | - | 11M| 0 | 195 | 200 |1241 | 200 | 482 | 626 | 0 | 0 |-6.933586e+01 |-3.300000e+01 | 52.41%
1.59/1.65 c 1.6s| 1 | 0 | 5913 | - | 11M| 0 | 195 | 200 |1241 | 200 | 358 | 630 | 0 | 0 |-6.933148e+01 |-3.300000e+01 | 52.40%
2.09/2.16 c 2.2s| 1 | 2 | 5913 | - | 11M| 0 | 195 | 200 |1241 | 200 | 358 | 630 | 0 | 30 |-6.933148e+01 |-3.300000e+01 | 52.40%
3.38/3.45 o -34
3.38/3.45 c R 3.4s| 140 | 139 | 11293 | 38.7 | 11M| 16 | 34 | 200 |1241 | 200 | 257 |2306 | 0 |1504 |-6.894863e+01 |-3.400000e+01 | 50.69%
3.49/3.58 o -40
3.49/3.58 c * 3.6s| 219 | 217 | 13627 | 35.4 | 11M| 22 | - | 200 |1241 | 200 | 263 |3189 | 0 |1531 |-6.894863e+01 |-4.000000e+01 | 41.99%
3.49/3.59 o -41
3.49/3.59 c * 3.6s| 231 | 225 | 13944 | 34.9 | 11M| 22 | - | 200 |1241 | 200 | 257 |3311 | 0 |1531 |-6.894863e+01 |-4.100000e+01 | 40.54%
3.59/3.61 o -42
3.59/3.61 c p 3.6s| 245 | 232 | 14319 | 34.5 | 11M| 23 | - | 200 |1241 | 200 | 271 |3479 | 0 |1531 |-6.894863e+01 |-4.200000e+01 | 39.09%
3.69/3.75 o -43
3.69/3.75 c * 3.8s| 397 | 325 | 17766 | 29.9 | 11M| 27 | - | 200 |1241 | 200 | 260 |5184 | 0 |1531 |-6.894863e+01 |-4.300000e+01 | 37.63%
4.08/4.18 o -45
4.08/4.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.08/4.18 c C 4.2s| 597 | 483 | 28423 | 37.8 | 11M| 27 | 76 | 200 |1241 | 200 | 222 |8700 | 0 |1531 |-6.866913e+01 |-4.500000e+01 | 34.47%
20.29/20.35 c 20.3s| 10000 | 9806 |466835 | 46.1 | 25M| 37 | 94 | 200 |1241 | 200 | 252 | 200k| 0 |2639 |-6.680000e+01 |-4.500000e+01 | 32.63%
28.28/28.30 o -48
28.28/28.30 c *28.3s| 15119 | 13926 |689271 | 45.2 | 31M| 38 | - | 200 |1241 | 200 | 260 | 306k| 0 |3324 |-6.633333e+01 |-4.800000e+01 | 27.64%
35.49/35.52 c 35.5s| 20000 | 18353 |892674 | 44.3 | 37M| 38 | 63 | 200 |1241 | 200 | 239 | 406k| 0 |3818 |-6.600000e+01 |-4.800000e+01 | 27.27%
49.08/49.18 c 49.2s| 30000 | 27155 | 1283k| 42.6 | 50M| 38 | 11 | 200 |1241 | 200 | 239 | 607k| 0 |4637 |-6.536364e+01 |-4.800000e+01 | 26.56%
60.78/60.80 c 60.8s| 40000 | 34555 | 1619k| 40.3 | 61M| 49 | - | 200 |1241 | 200 | 263 | 786k| 0 |5384 |-6.480000e+01 |-4.800000e+01 | 25.93%
71.78/71.83 c 71.8s| 50000 | 41745 | 1940k| 38.7 | 71M| 49 | 105 | 200 |1241 | 200 | 274 | 959k| 0 |5958 |-6.445455e+01 |-4.800000e+01 | 25.53%
82.08/82.15 c 82.1s| 60000 | 48157 | 2238k| 37.2 | 81M| 49 | 34 | 200 |1241 | 200 | 250 |1121k| 0 |6445 |-6.400000e+01 |-4.800000e+01 | 25.00%
92.28/92.37 c 92.4s| 70000 | 54565 | 2531k| 36.1 | 90M| 49 | 13 | 200 |1241 | 200 | 197 |1280k| 0 |6899 |-6.395833e+01 |-4.800000e+01 | 24.95%
102.08/102.14 c 102s| 80000 | 60769 | 2810k| 35.1 | 100M| 49 | 58 | 200 |1241 | 200 | 238 |1429k| 0 |7347 |-6.366667e+01 |-4.800000e+01 | 24.61%
111.77/111.87 c 112s| 90000 | 66733 | 3086k| 34.2 | 109M| 49 | - | 200 |1241 | 200 | 254 |1575k| 0 |7704 |-6.350000e+01 |-4.800000e+01 | 24.41%
120.97/121.09 c 121s|100000 | 72341 | 3348k| 33.4 | 117M| 49 | 30 | 200 |1241 | 200 | 250 |1718k| 0 |8045 |-6.337500e+01 |-4.800000e+01 | 24.26%
130.17/130.29 c 130s|110000 | 77931 | 3608k| 32.8 | 126M| 49 | 51 | 200 |1241 | 200 | 249 |1859k| 0 |8387 |-6.325000e+01 |-4.800000e+01 | 24.11%
139.37/139.49 c 139s|120000 | 83455 | 3866k| 32.2 | 134M| 49 | 51 | 200 |1241 | 200 | 243 |1996k| 0 |8733 |-6.300000e+01 |-4.800000e+01 | 23.81%
145.26/145.35 o -49
145.26/145.35 c * 145s|126266 | 75619 | 4030k| 31.9 | 126M| 49 | - | 200 |1241 | 200 | 245 |2081k| 0 |8930 |-6.300000e+01 |-4.900000e+01 | 22.22%
148.66/148.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
148.66/148.78 c 149s|130000 | 77459 | 4125k| 31.7 | 129M| 49 | - | 200 |1241 | 200 | 255 |2134k| 0 |9032 |-6.300000e+01 |-4.900000e+01 | 22.22%
157.18/157.24 c 157s|140000 | 81951 | 4363k| 31.1 | 137M| 49 | - | 200 |1241 | 200 | 251 |2265k| 0 |9303 |-6.300000e+01 |-4.900000e+01 | 22.22%
165.76/165.82 c 166s|150000 | 86741 | 4604k| 30.7 | 144M| 49 | 63 | 200 |1241 | 200 | 236 |2395k| 0 |9544 |-6.287500e+01 |-4.900000e+01 | 22.07%
174.16/174.23 c 174s|160000 | 91247 | 4839k| 30.2 | 151M| 49 | 33 | 200 |1241 | 200 | 243 |2525k| 0 |9842 |-6.275000e+01 |-4.900000e+01 | 21.91%
182.57/182.67 c 183s|170000 | 95709 | 5075k| 29.8 | 158M| 49 | 103 | 200 |1241 | 200 | 284 |2654k| 0 | 10k|-6.266667e+01 |-4.900000e+01 | 21.81%
190.96/191.02 c 191s|180000 |100213 | 5309k| 29.5 | 165M| 49 | 41 | 200 |1241 | 200 | 244 |2782k| 0 | 10k|-6.250000e+01 |-4.900000e+01 | 21.60%
199.07/199.13 c 199s|190000 |104475 | 5535k| 29.1 | 172M| 49 | 77 | 200 |1241 | 200 | 263 |2908k| 0 | 10k|-6.250000e+01 |-4.900000e+01 | 21.60%
207.06/207.17 c 207s|200000 |108681 | 5761k| 28.8 | 179M| 49 | 65 | 200 |1241 | 200 | 261 |3037k| 0 | 10k|-6.250000e+01 |-4.900000e+01 | 21.60%
215.16/215.29 c 215s|210000 |112695 | 5988k| 28.5 | 185M| 49 | 96 | 200 |1241 | 200 | 269 |3165k| 0 | 11k|-6.240000e+01 |-4.900000e+01 | 21.47%
223.16/223.24 c 223s|220000 |116763 | 6209k| 28.2 | 192M| 49 | 92 | 200 |1241 | 200 | 300 |3289k| 0 | 11k|-6.233333e+01 |-4.900000e+01 | 21.39%
231.05/231.12 c 231s|230000 |120641 | 6428k| 27.9 | 198M| 49 | - | 200 |1241 | 200 | 267 |3412k| 0 | 11k|-6.225000e+01 |-4.900000e+01 | 21.29%
238.85/238.93 c 239s|240000 |124751 | 6645k| 27.7 | 204M| 49 | 37 | 200 |1241 | 200 | 239 |3535k| 0 | 11k|-6.222222e+01 |-4.900000e+01 | 21.25%
246.85/246.96 c 247s|250000 |129121 | 6868k| 27.4 | 211M| 49 | 42 | 200 |1241 | 200 | 256 |3659k| 0 | 11k|-6.214286e+01 |-4.900000e+01 | 21.15%
254.45/254.57 c 255s|260000 |132795 | 7077k| 27.2 | 217M| 52 | 33 | 200 |1241 | 200 | 257 |3779k| 0 | 12k|-6.200000e+01 |-4.900000e+01 | 20.97%
261.85/261.98 c 262s|270000 |136139 | 7282k| 27.0 | 222M| 53 | 98 | 200 |1241 | 200 | 274 |3899k| 0 | 12k|-6.200000e+01 |-4.900000e+01 | 20.97%
269.05/269.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
269.05/269.16 c 269s|280000 |139321 | 7480k| 26.7 | 228M| 53 | 89 | 200 |1241 | 200 | 257 |4018k| 0 | 12k|-6.200000e+01 |-4.900000e+01 | 20.97%
276.24/276.33 c 276s|290000 |142537 | 7681k| 26.5 | 233M| 53 | - | 200 |1241 | 200 | 247 |4137k| 0 | 12k|-6.200000e+01 |-4.900000e+01 | 20.97%
283.23/283.34 c 283s|300000 |145627 | 7877k| 26.2 | 238M| 53 | 71 | 200 |1241 | 200 | 267 |4254k| 0 | 12k|-6.200000e+01 |-4.900000e+01 | 20.97%
290.13/290.29 c 290s|310000 |148641 | 8071k| 26.0 | 243M| 53 | - | 200 |1241 | 200 | 258 |4370k| 0 | 13k|-6.200000e+01 |-4.900000e+01 | 20.97%
297.13/297.22 c 297s|320000 |151563 | 8264k| 25.8 | 248M| 53 | - | 200 |1241 | 200 | 262 |4486k| 0 | 13k|-6.200000e+01 |-4.900000e+01 | 20.97%
304.03/304.19 c 304s|330000 |154653 | 8460k| 25.6 | 254M| 53 | 78 | 200 |1241 | 200 | 256 |4605k| 0 | 13k|-6.200000e+01 |-4.900000e+01 | 20.97%
311.03/311.15 c 311s|340000 |157837 | 8655k| 25.4 | 259M| 53 | 42 | 200 |1241 | 200 | 219 |4721k| 0 | 13k|-6.200000e+01 |-4.900000e+01 | 20.97%
317.73/317.85 c 318s|350000 |160717 | 8840k| 25.2 | 264M| 53 | 84 | 200 |1241 | 200 | 281 |4833k| 0 | 13k|-6.188889e+01 |-4.900000e+01 | 20.83%
324.72/324.82 c 325s|360000 |163979 | 9034k| 25.1 | 269M| 53 | 70 | 200 |1241 | 200 | 247 |4947k| 0 | 13k|-6.183333e+01 |-4.900000e+01 | 20.75%
331.52/331.69 c 332s|370000 |166971 | 9225k| 24.9 | 274M| 53 | - | 200 |1241 | 200 | 249 |5062k| 0 | 14k|-6.178571e+01 |-4.900000e+01 | 20.69%
338.41/338.57 c 339s|380000 |170129 | 9418k| 24.8 | 279M| 53 | - | 200 |1241 | 200 | 286 |5178k| 0 | 14k|-6.175000e+01 |-4.900000e+01 | 20.65%
345.22/345.32 c 345s|390000 |173059 | 9605k| 24.6 | 284M| 53 | - | 200 |1241 | 200 | 250 |5289k| 0 | 14k|-6.173333e+01 |-4.900000e+01 | 20.63%
351.92/352.07 c 352s|400000 |175879 | 9794k| 24.5 | 289M| 53 | 14 | 200 |1241 | 200 | 239 |5402k| 0 | 14k|-6.166667e+01 |-4.900000e+01 | 20.54%
358.72/358.88 c 359s|410000 |178989 | 9985k| 24.3 | 294M| 53 | 49 | 200 |1241 | 200 | 238 |5517k| 0 | 14k|-6.166667e+01 |-4.900000e+01 | 20.54%
365.41/365.58 c 366s|420000 |181769 | 10172k| 24.2 | 299M| 53 | 55 | 200 |1241 | 200 | 254 |5632k| 0 | 14k|-6.166667e+01 |-4.900000e+01 | 20.54%
372.31/372.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
372.31/372.42 c 372s|430000 |184671 | 10365k| 24.1 | 304M| 55 | 22 | 200 |1241 | 200 | 250 |5747k| 0 | 14k|-6.160000e+01 |-4.900000e+01 | 20.45%
379.11/379.27 c 379s|440000 |187675 | 10557k| 24.0 | 309M| 55 | 85 | 200 |1241 | 200 | 238 |5863k| 0 | 15k|-6.157143e+01 |-4.900000e+01 | 20.42%
386.02/386.13 c 386s|450000 |190525 | 10749k| 23.9 | 314M| 55 | 42 | 200 |1241 | 200 | 241 |5979k| 0 | 15k|-6.150000e+01 |-4.900000e+01 | 20.33%
392.71/392.87 c 393s|460000 |193335 | 10939k| 23.8 | 319M| 55 | - | 200 |1241 | 200 | 284 |6095k| 0 | 15k|-6.150000e+01 |-4.900000e+01 | 20.33%
399.40/399.59 o -50
399.40/399.59 c * 400s|469903 |154797 | 11123k| 23.7 | 268M| 55 | - | 200 |1241 | 200 | 259 |6208k| 0 | 15k|-6.150000e+01 |-5.000000e+01 | 18.70%
399.50/399.66 c 400s|470000 |154802 | 11125k| 23.7 | 268M| 55 | - | 200 |1241 | 200 | 258 |6210k| 0 | 15k|-6.150000e+01 |-5.000000e+01 | 18.70%
400.70/400.88 o -51
400.70/400.88 c * 401s|471717 |123302 | 11155k| 23.6 | 224M| 55 | - | 200 |1241 | 200 | 266 |6229k| 0 | 15k|-6.150000e+01 |-5.100000e+01 | 17.07%
406.10/406.28 c 406s|480000 |124833 | 11303k| 23.5 | 227M| 55 | 19 | 200 |1241 | 200 | 218 |6328k| 0 | 15k|-6.150000e+01 |-5.100000e+01 | 17.07%
412.60/412.76 c 413s|490000 |126589 | 11481k| 23.4 | 230M| 57 | 8 | 200 |1241 | 200 | 219 |6447k| 0 | 15k|-6.150000e+01 |-5.100000e+01 | 17.07%
418.80/418.99 c 419s|500000 |128151 | 11653k| 23.3 | 233M| 57 | - | 200 |1241 | 200 | 280 |6569k| 0 | 15k|-6.150000e+01 |-5.100000e+01 | 17.07%
425.20/425.31 c 425s|510000 |130011 | 11828k| 23.2 | 237M| 57 | 42 | 200 |1241 | 200 | 243 |6686k| 0 | 16k|-6.150000e+01 |-5.100000e+01 | 17.07%
431.50/431.65 c 432s|520000 |131675 | 11999k| 23.1 | 240M| 57 | 45 | 200 |1241 | 200 | 242 |6803k| 0 | 16k|-6.141667e+01 |-5.100000e+01 | 16.96%
437.89/438.08 c 438s|530000 |133301 | 12175k| 23.0 | 243M| 57 | 21 | 200 |1241 | 200 | 242 |6926k| 0 | 16k|-6.137500e+01 |-5.100000e+01 | 16.90%
444.30/444.47 c 444s|540000 |135063 | 12351k| 22.9 | 247M| 57 | 32 | 200 |1241 | 200 | 225 |7044k| 0 | 16k|-6.133333e+01 |-5.100000e+01 | 16.85%
450.69/450.87 c 451s|550000 |136639 | 12525k| 22.8 | 250M| 57 | 60 | 200 |1241 | 200 | 267 |7164k| 0 | 16k|-6.133333e+01 |-5.100000e+01 | 16.85%
457.09/457.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
457.09/457.20 c 457s|560000 |138313 | 12698k| 22.7 | 253M| 57 | 57 | 200 |1241 | 200 | 244 |7281k| 0 | 16k|-6.133333e+01 |-5.100000e+01 | 16.85%
463.39/463.53 c 464s|570000 |139903 | 12870k| 22.6 | 256M| 57 | - | 200 |1241 | 200 | 237 |7403k| 0 | 16k|-6.125000e+01 |-5.100000e+01 | 16.73%
469.69/469.83 c 470s|580000 |141495 | 13041k| 22.5 | 259M| 57 | - | 200 |1241 | 200 | 275 |7521k| 0 | 16k|-6.125000e+01 |-5.100000e+01 | 16.73%
476.10/476.26 c 476s|590000 |143063 | 13218k| 22.4 | 262M| 57 | - | 200 |1241 | 200 | 234 |7647k| 0 | 17k|-6.125000e+01 |-5.100000e+01 | 16.73%
482.48/482.60 c 483s|600000 |144685 | 13391k| 22.3 | 266M| 57 | 29 | 200 |1241 | 200 | 248 |7769k| 0 | 17k|-6.120000e+01 |-5.100000e+01 | 16.67%
488.69/488.85 c 489s|610000 |146375 | 13562k| 22.2 | 269M| 57 | - | 200 |1241 | 200 | 271 |7885k| 0 | 17k|-6.115000e+01 |-5.100000e+01 | 16.60%
495.08/495.20 c 495s|620000 |148041 | 13735k| 22.1 | 272M| 57 | 75 | 200 |1241 | 200 | 244 |8004k| 0 | 17k|-6.109091e+01 |-5.100000e+01 | 16.52%
501.28/501.43 c 501s|630000 |149543 | 13904k| 22.1 | 275M| 57 | 26 | 200 |1241 | 200 | 242 |8121k| 0 | 17k|-6.100000e+01 |-5.100000e+01 | 16.39%
507.58/507.75 c 508s|640000 |151149 | 14077k| 22.0 | 278M| 57 | 27 | 200 |1241 | 200 | 244 |8239k| 0 | 17k|-6.100000e+01 |-5.100000e+01 | 16.39%
513.88/514.07 c 514s|650000 |152719 | 14249k| 21.9 | 281M| 57 | - | 200 |1241 | 200 | 259 |8356k| 0 | 17k|-6.100000e+01 |-5.100000e+01 | 16.39%
520.08/520.30 c 520s|660000 |154235 | 14420k| 21.8 | 284M| 57 | 80 | 200 |1241 | 200 | 283 |8473k| 0 | 17k|-6.100000e+01 |-5.100000e+01 | 16.39%
526.28/526.41 c 526s|670000 |155793 | 14586k| 21.8 | 288M| 57 | - | 200 |1241 | 200 | 271 |8591k| 0 | 17k|-6.100000e+01 |-5.100000e+01 | 16.39%
532.48/532.64 c 533s|680000 |157405 | 14758k| 21.7 | 291M| 57 | - | 200 |1241 | 200 | 272 |8710k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
538.67/538.80 c 539s|690000 |159011 | 14927k| 21.6 | 294M| 57 | 11 | 200 |1241 | 200 | 226 |8827k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
544.88/545.01 c 545s|700000 |160515 | 15097k| 21.6 | 297M| 57 | 109 | 200 |1241 | 200 | 273 |8946k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
551.08/551.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
551.08/551.27 c 551s|710000 |161947 | 15268k| 21.5 | 300M| 57 | 21 | 200 |1241 | 200 | 224 |9069k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
557.38/557.59 c 558s|720000 |163403 | 15441k| 21.4 | 303M| 57 | - | 200 |1241 | 200 | 271 |9190k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
563.67/563.89 c 564s|730000 |164933 | 15615k| 21.4 | 306M| 57 | 57 | 200 |1241 | 200 | 251 |9309k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
569.98/570.13 c 570s|740000 |166625 | 15788k| 21.3 | 309M| 57 | 117 | 200 |1241 | 200 | 285 |9429k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
576.28/576.45 c 576s|750000 |168147 | 15960k| 21.3 | 312M| 57 | - | 200 |1241 | 200 | 285 |9550k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
582.57/582.71 c 583s|760000 |169751 | 16130k| 21.2 | 315M| 57 | - | 200 |1241 | 200 | 289 |9667k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
588.97/589.10 c 589s|770000 |171437 | 16304k| 21.2 | 318M| 57 | - | 200 |1241 | 200 | 246 |9783k| 0 | 19k|-6.100000e+01 |-5.100000e+01 | 16.39%
595.07/595.27 c 595s|780000 |172823 | 16470k| 21.1 | 321M| 57 | 34 | 200 |1241 | 200 | 224 |9899k| 0 | 19k|-6.097059e+01 |-5.100000e+01 | 16.35%
601.26/601.40 c 601s|790000 |174209 | 16637k| 21.1 | 324M| 57 | 96 | 200 |1241 | 200 | 242 | 10M| 0 | 19k|-6.090000e+01 |-5.100000e+01 | 16.26%
607.37/607.51 c 608s|800000 |175713 | 16802k| 21.0 | 327M| 57 | - | 200 |1241 | 200 | 248 | 10M| 0 | 19k|-6.085714e+01 |-5.100000e+01 | 16.20%
613.47/613.70 c 614s|810000 |177223 | 16969k| 20.9 | 330M| 57 | 6 | 200 |1241 | 200 | 242 | 10M| 0 | 19k|-6.083333e+01 |-5.100000e+01 | 16.16%
619.67/619.87 c 620s|820000 |178801 | 17136k| 20.9 | 333M| 57 | - | 200 |1241 | 200 | 270 | 10M| 0 | 19k|-6.080000e+01 |-5.100000e+01 | 16.12%
625.77/625.93 c 626s|830000 |180215 | 17299k| 20.8 | 336M| 57 | 37 | 200 |1241 | 200 | 230 | 10M| 0 | 19k|-6.077778e+01 |-5.100000e+01 | 16.09%
631.86/632.05 c 632s|840000 |181667 | 17465k| 20.8 | 339M| 57 | - | 200 |1241 | 200 | 260 | 10M| 0 | 19k|-6.075000e+01 |-5.100000e+01 | 16.05%
637.87/638.09 c 638s|850000 |183205 | 17629k| 20.7 | 342M| 57 | - | 200 |1241 | 200 | 279 | 10M| 0 | 19k|-6.075000e+01 |-5.100000e+01 | 16.05%
644.07/644.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
644.07/644.23 c 644s|860000 |184677 | 17795k| 20.7 | 345M| 57 | - | 200 |1241 | 200 | 238 | 10M| 0 | 19k|-6.075000e+01 |-5.100000e+01 | 16.05%
650.06/650.29 c 650s|870000 |185997 | 17959k| 20.6 | 347M| 57 | 29 | 200 |1241 | 200 | 243 | 10M| 0 | 20k|-6.070000e+01 |-5.100000e+01 | 15.98%
656.15/656.32 c 656s|880000 |187389 | 18121k| 20.6 | 350M| 57 | - | 200 |1241 | 200 | 276 | 11M| 0 | 20k|-6.066667e+01 |-5.100000e+01 | 15.93%
662.36/662.51 c 663s|890000 |188811 | 18290k| 20.5 | 353M| 57 | 59 | 200 |1241 | 200 | 238 | 11M| 0 | 20k|-6.066667e+01 |-5.100000e+01 | 15.93%
668.45/668.68 c 669s|900000 |190269 | 18458k| 20.5 | 356M| 57 | 68 | 200 |1241 | 200 | 248 | 11M| 0 | 20k|-6.066667e+01 |-5.100000e+01 | 15.93%
674.56/674.74 c 675s|910000 |191621 | 18622k| 20.5 | 358M| 57 | 55 | 200 |1241 | 200 | 219 | 11M| 0 | 20k|-6.066667e+01 |-5.100000e+01 | 15.93%
680.55/680.71 c 681s|920000 |192989 | 18783k| 20.4 | 361M| 57 | - | 200 |1241 | 200 | 237 | 11M| 0 | 20k|-6.066667e+01 |-5.100000e+01 | 15.93%
686.65/686.82 c 687s|930000 |194355 | 18948k| 20.4 | 364M| 57 | 83 | 200 |1241 | 200 | 248 | 11M| 0 | 20k|-6.060000e+01 |-5.100000e+01 | 15.84%
692.86/693.00 c 693s|940000 |195875 | 19115k| 20.3 | 367M| 57 | 38 | 200 |1241 | 200 | 250 | 11M| 0 | 20k|-6.057143e+01 |-5.100000e+01 | 15.80%
698.85/699.05 c 699s|950000 |197207 | 19278k| 20.3 | 369M| 57 | - | 200 |1241 | 200 | 277 | 11M| 0 | 20k|-6.050000e+01 |-5.100000e+01 | 15.70%
704.75/704.91 c 705s|960000 |198531 | 19434k| 20.2 | 372M| 57 | 26 | 200 |1241 | 200 | 239 | 11M| 0 | 20k|-6.050000e+01 |-5.100000e+01 | 15.70%
710.55/710.77 c 711s|970000 |199705 | 19592k| 20.2 | 375M| 57 | - | 200 |1241 | 200 | 239 | 12M| 0 | 20k|-6.050000e+01 |-5.100000e+01 | 15.70%
716.75/716.95 c 717s|980000 |201259 | 19759k| 20.2 | 378M| 57 | 98 | 200 |1241 | 200 | 295 | 12M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
722.85/723.08 c 723s|990000 |202755 | 19927k| 20.1 | 380M| 57 | 43 | 200 |1241 | 200 | 239 | 12M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
728.94/729.17 c 729s| 1000k|204099 | 20092k| 20.1 | 383M| 57 | - | 200 |1241 | 200 | 248 | 12M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
734.95/735.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
734.95/735.17 c 735s| 1010k|205429 | 20255k| 20.0 | 386M| 57 | - | 200 |1241 | 200 | 277 | 12M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
740.94/741.15 c 741s| 1020k|206673 | 20416k| 20.0 | 388M| 57 | 68 | 200 |1241 | 200 | 262 | 12M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
746.84/747.09 c 747s| 1030k|207953 | 20576k| 20.0 | 391M| 57 | - | 200 |1241 | 200 | 281 | 12M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
752.84/753.07 c 753s| 1040k|209245 | 20737k| 19.9 | 393M| 57 | 12 | 200 |1241 | 200 | 237 | 12M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
758.85/759.06 c 759s| 1050k|210651 | 20898k| 19.9 | 396M| 57 | - | 200 |1241 | 200 | 255 | 13M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
764.74/764.99 c 765s| 1060k|211797 | 21058k| 19.9 | 399M| 57 | 87 | 200 |1241 | 200 | 276 | 13M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
770.74/770.99 c 771s| 1070k|213197 | 21224k| 19.8 | 401M| 57 | - | 200 |1241 | 200 | 265 | 13M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
776.84/777.01 c 777s| 1080k|214607 | 21386k| 19.8 | 404M| 57 | 32 | 200 |1241 | 200 | 241 | 13M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
782.74/782.96 c 783s| 1090k|215877 | 21544k| 19.8 | 407M| 57 | 52 | 200 |1241 | 200 | 239 | 13M| 0 | 21k|-6.044444e+01 |-5.100000e+01 | 15.63%
788.55/788.75 c 789s| 1100k|216949 | 21699k| 19.7 | 409M| 60 | - | 200 |1241 | 200 | 256 | 13M| 0 | 22k|-6.040000e+01 |-5.100000e+01 | 15.56%
794.34/794.55 c 795s| 1110k|218011 | 21852k| 19.7 | 411M| 60 | - | 200 |1241 | 200 | 238 | 13M| 0 | 22k|-6.038889e+01 |-5.100000e+01 | 15.55%
800.13/800.37 c 800s| 1120k|219083 | 22007k| 19.6 | 413M| 60 | - | 200 |1241 | 200 | 260 | 13M| 0 | 22k|-6.033333e+01 |-5.100000e+01 | 15.47%
805.93/806.14 c 806s| 1130k|220055 | 22159k| 19.6 | 415M| 60 | 16 | 200 |1241 | 200 | 223 | 13M| 0 | 22k|-6.033333e+01 |-5.100000e+01 | 15.47%
811.74/811.93 c 812s| 1140k|221135 | 22314k| 19.6 | 418M| 60 | 10 | 200 |1241 | 200 | 248 | 14M| 0 | 22k|-6.033333e+01 |-5.100000e+01 | 15.47%
817.63/817.80 c 818s| 1150k|222287 | 22471k| 19.5 | 420M| 60 | 72 | 200 |1241 | 200 | 261 | 14M| 0 | 22k|-6.033333e+01 |-5.100000e+01 | 15.47%
823.43/823.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
823.43/823.67 c 824s| 1160k|223455 | 22628k| 19.5 | 422M| 60 | - | 200 |1241 | 200 | 270 | 14M| 0 | 22k|-6.033333e+01 |-5.100000e+01 | 15.47%
829.33/829.50 c 829s| 1170k|224625 | 22782k| 19.5 | 425M| 60 | - | 200 |1241 | 200 | 260 | 14M| 0 | 22k|-6.028571e+01 |-5.100000e+01 | 15.40%
834.93/835.18 c 835s| 1180k|225741 | 22931k| 19.4 | 427M| 60 | - | 200 |1241 | 200 | 273 | 14M| 0 | 22k|-6.025000e+01 |-5.100000e+01 | 15.35%
840.83/841.00 c 841s| 1190k|226797 | 23088k| 19.4 | 429M| 60 | 45 | 200 |1241 | 200 | 245 | 14M| 0 | 22k|-6.025000e+01 |-5.100000e+01 | 15.35%
846.63/846.84 c 847s| 1200k|227893 | 23243k| 19.4 | 432M| 60 | - | 200 |1241 | 200 | 271 | 14M| 0 | 22k|-6.025000e+01 |-5.100000e+01 | 15.35%
852.33/852.55 c 853s| 1210k|228869 | 23393k| 19.3 | 434M| 60 | - | 200 |1241 | 200 | 256 | 14M| 0 | 22k|-6.025000e+01 |-5.100000e+01 | 15.35%
858.13/858.32 c 858s| 1220k|229801 | 23544k| 19.3 | 436M| 60 | 10 | 200 |1241 | 200 | 242 | 14M| 0 | 23k|-6.020000e+01 |-5.100000e+01 | 15.28%
864.03/864.20 c 864s| 1230k|230913 | 23700k| 19.3 | 438M| 60 | 24 | 200 |1241 | 200 | 223 | 15M| 0 | 23k|-6.018182e+01 |-5.100000e+01 | 15.26%
869.73/869.96 c 870s| 1240k|231837 | 23852k| 19.2 | 440M| 60 | - | 200 |1241 | 200 | 273 | 15M| 0 | 23k|-6.016667e+01 |-5.100000e+01 | 15.24%
875.33/875.59 c 876s| 1250k|232857 | 24003k| 19.2 | 442M| 60 | - | 200 |1241 | 200 | 265 | 15M| 0 | 23k|-6.014286e+01 |-5.100000e+01 | 15.20%
881.12/881.34 c 881s| 1260k|233835 | 24155k| 19.2 | 444M| 60 | - | 200 |1241 | 200 | 240 | 15M| 0 | 23k|-6.011111e+01 |-5.100000e+01 | 15.16%
886.72/886.99 c 887s| 1270k|234783 | 24303k| 19.1 | 446M| 60 | 80 | 200 |1241 | 200 | 242 | 15M| 0 | 23k|-6.006250e+01 |-5.100000e+01 | 15.09%
892.42/892.67 c 893s| 1280k|235685 | 24454k| 19.1 | 448M| 60 | - | 200 |1241 | 200 | 245 | 15M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
898.22/898.45 c 898s| 1290k|236833 | 24607k| 19.1 | 450M| 63 | 44 | 200 |1241 | 200 | 277 | 15M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
904.12/904.32 c 904s| 1300k|237849 | 24762k| 19.0 | 453M| 63 | 26 | 200 |1241 | 200 | 230 | 15M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
909.82/910.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
909.82/910.03 c 910s| 1310k|238841 | 24912k| 19.0 | 455M| 63 | 97 | 200 |1241 | 200 | 277 | 15M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
915.52/915.73 c 916s| 1320k|239847 | 25063k| 19.0 | 457M| 63 | 96 | 200 |1241 | 200 | 249 | 16M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
921.32/921.53 c 922s| 1330k|240823 | 25219k| 19.0 | 459M| 63 | 34 | 200 |1241 | 200 | 232 | 16M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
926.92/927.17 c 927s| 1340k|241591 | 25366k| 18.9 | 461M| 63 | 58 | 200 |1241 | 200 | 243 | 16M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
932.72/932.95 c 933s| 1350k|242629 | 25519k| 18.9 | 463M| 63 | 35 | 200 |1241 | 200 | 218 | 16M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
938.51/938.73 c 939s| 1360k|243733 | 25674k| 18.9 | 465M| 63 | 48 | 200 |1241 | 200 | 248 | 16M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
944.12/944.37 c 944s| 1370k|244715 | 25825k| 18.8 | 467M| 63 | - | 200 |1241 | 200 | 246 | 16M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
949.91/950.11 c 950s| 1380k|245765 | 25977k| 18.8 | 469M| 63 | - | 200 |1241 | 200 | 281 | 16M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
955.51/955.73 c 956s| 1390k|246867 | 26128k| 18.8 | 471M| 63 | - | 200 |1241 | 200 | 245 | 16M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
961.31/961.50 c 961s| 1400k|247799 | 26281k| 18.8 | 473M| 63 | - | 200 |1241 | 200 | 233 | 16M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
967.01/967.21 c 967s| 1410k|248879 | 26432k| 18.7 | 476M| 63 | 72 | 200 |1241 | 200 | 287 | 17M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
972.71/972.90 c 973s| 1420k|249849 | 26583k| 18.7 | 478M| 63 | 51 | 200 |1241 | 200 | 243 | 17M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
978.21/978.47 c 978s| 1430k|250833 | 26730k| 18.7 | 480M| 63 | - | 200 |1241 | 200 | 251 | 17M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
984.01/984.22 c 984s| 1440k|252031 | 26882k| 18.7 | 482M| 63 | - | 200 |1241 | 200 | 229 | 17M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
989.71/989.90 c 990s| 1450k|252939 | 27033k| 18.6 | 484M| 63 | 50 | 200 |1241 | 200 | 276 | 17M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
995.31/995.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
995.31/995.59 c 996s| 1460k|254007 | 27183k| 18.6 | 486M| 63 | - | 200 |1241 | 200 | 233 | 17M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
1000.91/1001.14 c 1001s| 1470k|254871 | 27330k| 18.6 | 488M| 63 | 43 | 200 |1241 | 200 | 262 | 17M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1006.51/1006.77 c 1007s| 1480k|255919 | 27478k| 18.6 | 490M| 63 | - | 200 |1241 | 200 | 262 | 17M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1012.20/1012.47 c 1012s| 1490k|257009 | 27629k| 18.5 | 492M| 63 | 34 | 200 |1241 | 200 | 229 | 17M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1017.90/1018.15 c 1018s| 1500k|258033 | 27778k| 18.5 | 495M| 63 | 20 | 200 |1241 | 200 | 245 | 18M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1023.60/1023.84 c 1024s| 1510k|259093 | 27930k| 18.5 | 497M| 63 | 32 | 200 |1241 | 200 | 252 | 18M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1029.20/1029.48 c 1029s| 1520k|260147 | 28079k| 18.5 | 499M| 63 | - | 200 |1241 | 200 | 252 | 18M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1035.00/1035.25 c 1035s| 1530k|261081 | 28231k| 18.4 | 501M| 63 | - | 200 |1241 | 200 | 241 | 18M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1040.80/1041.04 c 1041s| 1540k|262153 | 28384k| 18.4 | 503M| 63 | 75 | 200 |1241 | 200 | 270 | 18M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1046.60/1046.84 c 1047s| 1550k|263221 | 28538k| 18.4 | 505M| 63 | 24 | 200 |1241 | 200 | 218 | 18M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1052.20/1052.48 c 1052s| 1560k|264185 | 28686k| 18.4 | 507M| 63 | 102 | 200 |1241 | 200 | 265 | 18M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1058.00/1058.23 c 1058s| 1570k|265101 | 28838k| 18.4 | 509M| 63 | 93 | 200 |1241 | 200 | 257 | 18M| 0 | 25k|-5.995833e+01 |-5.100000e+01 | 14.94%
1063.69/1063.90 c 1064s| 1580k|266131 | 28988k| 18.3 | 511M| 63 | - | 200 |1241 | 200 | 274 | 18M| 0 | 25k|-5.990566e+01 |-5.100000e+01 | 14.87%
1069.39/1069.60 c 1070s| 1590k|267047 | 29138k| 18.3 | 513M| 63 | - | 200 |1241 | 200 | 271 | 19M| 0 | 25k|-5.987500e+01 |-5.100000e+01 | 14.82%
1075.09/1075.33 c 1075s| 1600k|268045 | 29289k| 18.3 | 515M| 63 | 13 | 200 |1241 | 200 | 219 | 19M| 0 | 25k|-5.986667e+01 |-5.100000e+01 | 14.81%
1080.59/1080.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1080.59/1080.85 c 1081s| 1610k|268881 | 29434k| 18.3 | 517M| 63 | - | 200 |1241 | 200 | 257 | 19M| 0 | 25k|-5.983333e+01 |-5.100000e+01 | 14.76%
1086.19/1086.41 c 1086s| 1620k|269827 | 29581k| 18.3 | 519M| 63 | - | 200 |1241 | 200 | 270 | 19M| 0 | 25k|-5.983333e+01 |-5.100000e+01 | 14.76%
1091.68/1091.99 c 1092s| 1630k|270731 | 29726k| 18.2 | 521M| 63 | 65 | 200 |1241 | 200 | 266 | 19M| 0 | 26k|-5.983333e+01 |-5.100000e+01 | 14.76%
1097.28/1097.59 c 1098s| 1640k|271681 | 29873k| 18.2 | 523M| 63 | 10 | 200 |1241 | 200 | 257 | 19M| 0 | 26k|-5.980000e+01 |-5.100000e+01 | 14.72%
1102.99/1103.25 c 1103s| 1650k|272619 | 30022k| 18.2 | 525M| 63 | 96 | 200 |1241 | 200 | 272 | 19M| 0 | 26k|-5.980000e+01 |-5.100000e+01 | 14.72%
1108.58/1108.86 c 1109s| 1660k|273513 | 30168k| 18.2 | 527M| 63 | 4 | 200 |1241 | 200 | 253 | 19M| 0 | 26k|-5.975000e+01 |-5.100000e+01 | 14.64%
1114.18/1114.44 c 1114s| 1670k|274549 | 30316k| 18.1 | 529M| 63 | - | 200 |1241 | 200 | 264 | 19M| 0 | 26k|-5.975000e+01 |-5.100000e+01 | 14.64%
1119.78/1120.04 c 1120s| 1680k|275465 | 30462k| 18.1 | 531M| 63 | - | 200 |1241 | 200 | 279 | 19M| 0 | 26k|-5.975000e+01 |-5.100000e+01 | 14.64%
1125.47/1125.70 c 1126s| 1690k|276425 | 30611k| 18.1 | 533M| 63 | 55 | 200 |1241 | 200 | 241 | 20M| 0 | 26k|-5.975000e+01 |-5.100000e+01 | 14.64%
1130.97/1131.28 c 1131s| 1700k|277427 | 30756k| 18.1 | 535M| 63 | - | 200 |1241 | 200 | 241 | 20M| 0 | 26k|-5.975000e+01 |-5.100000e+01 | 14.64%
1136.67/1136.93 c 1137s| 1710k|278447 | 30905k| 18.1 | 537M| 63 | 95 | 200 |1241 | 200 | 274 | 20M| 0 | 26k|-5.975000e+01 |-5.100000e+01 | 14.64%
1142.18/1142.44 c 1142s| 1720k|279279 | 31048k| 18.0 | 539M| 63 | 7 | 200 |1241 | 200 | 218 | 20M| 0 | 26k|-5.975000e+01 |-5.100000e+01 | 14.64%
1147.77/1148.03 c 1148s| 1730k|280053 | 31193k| 18.0 | 541M| 63 | - | 200 |1241 | 200 | 245 | 20M| 0 | 26k|-5.970000e+01 |-5.100000e+01 | 14.57%
1153.28/1153.57 c 1154s| 1740k|280883 | 31338k| 18.0 | 543M| 63 | 30 | 200 |1241 | 200 | 255 | 20M| 0 | 26k|-5.966667e+01 |-5.100000e+01 | 14.53%
1158.87/1159.15 c 1159s| 1750k|281781 | 31484k| 18.0 | 545M| 63 | - | 200 |1241 | 200 | 257 | 20M| 0 | 26k|-5.966667e+01 |-5.100000e+01 | 14.53%
1164.47/1164.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1164.47/1164.73 c 1165s| 1760k|282727 | 31630k| 18.0 | 546M| 63 | 10 | 200 |1241 | 200 | 248 | 20M| 0 | 26k|-5.966667e+01 |-5.100000e+01 | 14.53%
1170.07/1170.33 c 1170s| 1770k|283525 | 31777k| 17.9 | 548M| 63 | 58 | 200 |1241 | 200 | 243 | 20M| 0 | 26k|-5.966667e+01 |-5.100000e+01 | 14.53%
1175.77/1176.02 c 1176s| 1780k|284537 | 31926k| 17.9 | 550M| 65 | 94 | 200 |1241 | 200 | 248 | 21M| 0 | 27k|-5.966667e+01 |-5.100000e+01 | 14.53%
1181.27/1181.57 c 1182s| 1790k|285387 | 32070k| 17.9 | 552M| 65 | - | 200 |1241 | 200 | 257 | 21M| 0 | 27k|-5.966667e+01 |-5.100000e+01 | 14.53%
1186.96/1187.20 c 1187s| 1800k|286295 | 32217k| 17.9 | 554M| 65 | - | 200 |1241 | 200 | 239 | 21M| 0 | 27k|-5.966667e+01 |-5.100000e+01 | 14.53%
1192.57/1192.83 c 1193s| 1810k|287189 | 32366k| 17.9 | 556M| 65 | - | 200 |1241 | 200 | 280 | 21M| 0 | 27k|-5.966667e+01 |-5.100000e+01 | 14.53%
1198.16/1198.43 c 1198s| 1820k|288121 | 32514k| 17.9 | 558M| 65 | - | 200 |1241 | 200 | 275 | 21M| 0 | 27k|-5.966667e+01 |-5.100000e+01 | 14.53%
1203.87/1204.10 c 1204s| 1830k|288933 | 32662k| 17.8 | 560M| 65 | - | 200 |1241 | 200 | 281 | 21M| 0 | 27k|-5.962500e+01 |-5.100000e+01 | 14.47%
1209.37/1209.69 c 1210s| 1840k|289817 | 32807k| 17.8 | 562M| 65 | 48 | 200 |1241 | 200 | 244 | 21M| 0 | 27k|-5.960000e+01 |-5.100000e+01 | 14.43%
1214.96/1215.26 c 1215s| 1850k|290641 | 32952k| 17.8 | 564M| 65 | 19 | 200 |1241 | 200 | 228 | 21M| 0 | 27k|-5.960000e+01 |-5.100000e+01 | 14.43%
1220.56/1220.89 c 1221s| 1860k|291469 | 33098k| 17.8 | 565M| 65 | 70 | 200 |1241 | 200 | 251 | 21M| 0 | 27k|-5.958333e+01 |-5.100000e+01 | 14.41%
1226.16/1226.43 c 1226s| 1870k|292335 | 33241k| 17.8 | 567M| 65 | 38 | 200 |1241 | 200 | 248 | 22M| 0 | 27k|-5.955556e+01 |-5.100000e+01 | 14.37%
1231.77/1232.02 c 1232s| 1880k|293207 | 33387k| 17.8 | 569M| 65 | 73 | 200 |1241 | 200 | 259 | 22M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1237.36/1237.62 c 1238s| 1890k|294155 | 33532k| 17.7 | 571M| 65 | - | 200 |1241 | 200 | 247 | 22M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1242.86/1243.10 c 1243s| 1900k|295063 | 33673k| 17.7 | 573M| 65 | 69 | 200 |1241 | 200 | 259 | 22M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1248.35/1248.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1248.35/1248.67 c 1249s| 1910k|296143 | 33817k| 17.7 | 575M| 65 | - | 200 |1241 | 200 | 243 | 22M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1253.85/1254.16 c 1254s| 1920k|296917 | 33959k| 17.7 | 577M| 65 | 87 | 200 |1241 | 200 | 265 | 22M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1259.36/1259.67 c 1260s| 1930k|297755 | 34101k| 17.7 | 579M| 65 | 20 | 200 |1241 | 200 | 225 | 22M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1264.95/1265.26 c 1265s| 1940k|298575 | 34248k| 17.7 | 580M| 65 | - | 200 |1241 | 200 | 265 | 22M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1270.45/1270.79 c 1271s| 1950k|299497 | 34391k| 17.6 | 582M| 65 | 14 | 200 |1241 | 200 | 261 | 22M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1275.95/1276.24 c 1276s| 1960k|300303 | 34531k| 17.6 | 584M| 65 | - | 200 |1241 | 200 | 281 | 22M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1281.45/1281.71 c 1282s| 1970k|301089 | 34673k| 17.6 | 586M| 65 | 40 | 200 |1241 | 200 | 224 | 23M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1286.95/1287.22 c 1287s| 1980k|301893 | 34813k| 17.6 | 587M| 65 | - | 200 |1241 | 200 | 254 | 23M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1292.55/1292.80 c 1293s| 1990k|302641 | 34961k| 17.6 | 589M| 65 | - | 200 |1241 | 200 | 294 | 23M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1297.95/1298.29 c 1298s| 2000k|303447 | 35104k| 17.5 | 591M| 65 | 18 | 200 |1241 | 200 | 240 | 23M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1303.55/1303.85 c 1304s| 2010k|304277 | 35250k| 17.5 | 593M| 65 | 81 | 200 |1241 | 200 | 234 | 23M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1309.05/1309.35 c 1309s| 2020k|305063 | 35393k| 17.5 | 594M| 65 | 40 | 200 |1241 | 200 | 242 | 23M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1314.55/1314.83 c 1315s| 2030k|305793 | 35536k| 17.5 | 596M| 65 | 22 | 200 |1241 | 200 | 235 | 23M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1320.04/1320.37 c 1320s| 2040k|306747 | 35682k| 17.5 | 598M| 65 | 37 | 200 |1241 | 200 | 236 | 23M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1325.65/1325.94 c 1326s| 2050k|307649 | 35829k| 17.5 | 600M| 65 | - | 200 |1241 | 200 | 272 | 23M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1331.25/1331.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1331.25/1331.52 c 1332s| 2060k|308631 | 35975k| 17.5 | 602M| 65 | 59 | 200 |1241 | 200 | 250 | 24M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1336.75/1337.01 c 1337s| 2070k|309521 | 36119k| 17.4 | 604M| 65 | - | 200 |1241 | 200 | 240 | 24M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1342.25/1342.52 c 1343s| 2080k|310527 | 36266k| 17.4 | 606M| 65 | 34 | 200 |1241 | 200 | 240 | 24M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1347.64/1347.96 c 1348s| 2090k|311389 | 36405k| 17.4 | 607M| 65 | 24 | 200 |1241 | 200 | 245 | 24M| 0 | 29k|-5.950000e+01 |-5.100000e+01 | 14.29%
1353.34/1353.64 c 1354s| 2100k|312377 | 36556k| 17.4 | 609M| 65 | - | 200 |1241 | 200 | 274 | 24M| 0 | 29k|-5.950000e+01 |-5.100000e+01 | 14.29%
1358.84/1359.16 c 1359s| 2110k|313269 | 36702k| 17.4 | 611M| 65 | - | 200 |1241 | 200 | 263 | 24M| 0 | 29k|-5.950000e+01 |-5.100000e+01 | 14.29%
1364.34/1364.68 c 1365s| 2120k|314185 | 36844k| 17.4 | 613M| 65 | - | 200 |1241 | 200 | 263 | 24M| 0 | 29k|-5.950000e+01 |-5.100000e+01 | 14.29%
1369.94/1370.22 c 1370s| 2130k|315077 | 36987k| 17.4 | 615M| 65 | 74 | 200 |1241 | 200 | 276 | 24M| 0 | 29k|-5.946296e+01 |-5.100000e+01 | 14.23%
1375.44/1375.75 c 1376s| 2140k|315929 | 37130k| 17.3 | 617M| 65 | 52 | 200 |1241 | 200 | 258 | 24M| 0 | 29k|-5.942857e+01 |-5.100000e+01 | 14.18%
1380.94/1381.26 c 1381s| 2150k|316723 | 37273k| 17.3 | 619M| 65 | 20 | 200 |1241 | 200 | 247 | 25M| 0 | 29k|-5.940000e+01 |-5.100000e+01 | 14.14%
1386.44/1386.78 c 1387s| 2160k|317581 | 37417k| 17.3 | 620M| 65 | - | 200 |1241 | 200 | 233 | 25M| 0 | 29k|-5.940000e+01 |-5.100000e+01 | 14.14%
1391.94/1392.27 c 1392s| 2170k|318319 | 37557k| 17.3 | 622M| 65 | - | 200 |1241 | 200 | 258 | 25M| 0 | 29k|-5.937500e+01 |-5.100000e+01 | 14.11%
1397.43/1397.79 c 1398s| 2180k|319085 | 37699k| 17.3 | 624M| 65 | 63 | 200 |1241 | 200 | 255 | 25M| 0 | 29k|-5.935000e+01 |-5.100000e+01 | 14.07%
1402.94/1403.25 c 1403s| 2190k|319815 | 37841k| 17.3 | 625M| 65 | - | 200 |1241 | 200 | 258 | 25M| 0 | 29k|-5.933333e+01 |-5.100000e+01 | 14.04%
1408.34/1408.63 c 1409s| 2200k|320613 | 37978k| 17.3 | 627M| 65 | - | 200 |1241 | 200 | 241 | 25M| 0 | 29k|-5.933333e+01 |-5.100000e+01 | 14.04%
1413.83/1414.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1413.83/1414.12 c 1414s| 2210k|321475 | 38120k| 17.2 | 629M| 66 | - | 200 |1241 | 200 | 253 | 25M| 0 | 29k|-5.933333e+01 |-5.100000e+01 | 14.04%
1419.33/1419.66 c 1420s| 2220k|322319 | 38264k| 17.2 | 631M| 66 | - | 200 |1241 | 200 | 234 | 25M| 0 | 29k|-5.933333e+01 |-5.100000e+01 | 14.04%
1424.73/1425.07 c 1425s| 2230k|323109 | 38405k| 17.2 | 632M| 66 | 56 | 200 |1241 | 200 | 241 | 25M| 0 | 29k|-5.933333e+01 |-5.100000e+01 | 14.04%
1430.33/1430.62 c 1431s| 2240k|323905 | 38547k| 17.2 | 634M| 66 | - | 200 |1241 | 200 | 236 | 25M| 0 | 29k|-5.933333e+01 |-5.100000e+01 | 14.04%
1435.73/1436.06 c 1436s| 2250k|324623 | 38686k| 17.2 | 636M| 66 | 47 | 200 |1241 | 200 | 247 | 26M| 0 | 29k|-5.933333e+01 |-5.100000e+01 | 14.04%
1441.23/1441.52 c 1442s| 2260k|325375 | 38827k| 17.2 | 637M| 66 | 98 | 200 |1241 | 200 | 288 | 26M| 0 | 30k|-5.933333e+01 |-5.100000e+01 | 14.04%
1446.62/1446.91 c 1447s| 2270k|326099 | 38963k| 17.2 | 639M| 66 | - | 200 |1241 | 200 | 259 | 26M| 0 | 30k|-5.930000e+01 |-5.100000e+01 | 14.00%
1452.12/1452.40 c 1452s| 2280k|326779 | 39104k| 17.1 | 640M| 66 | 19 | 200 |1241 | 200 | 250 | 26M| 0 | 30k|-5.928000e+01 |-5.100000e+01 | 13.97%
1457.63/1457.97 c 1458s| 2290k|327625 | 39249k| 17.1 | 642M| 66 | - | 200 |1241 | 200 | 258 | 26M| 0 | 30k|-5.925000e+01 |-5.100000e+01 | 13.92%
1463.13/1463.47 c 1463s| 2300k|328379 | 39389k| 17.1 | 644M| 66 | 16 | 200 |1241 | 200 | 257 | 26M| 0 | 30k|-5.925000e+01 |-5.100000e+01 | 13.92%
1468.52/1468.85 c 1469s| 2310k|329121 | 39527k| 17.1 | 645M| 66 | 22 | 200 |1241 | 200 | 245 | 26M| 0 | 30k|-5.925000e+01 |-5.100000e+01 | 13.92%
1473.92/1474.23 c 1474s| 2320k|329949 | 39666k| 17.1 | 647M| 66 | - | 200 |1241 | 200 | 258 | 26M| 0 | 30k|-5.925000e+01 |-5.100000e+01 | 13.92%
1479.43/1479.72 c 1480s| 2330k|330697 | 39806k| 17.1 | 649M| 66 | - | 200 |1241 | 200 | 248 | 26M| 0 | 30k|-5.925000e+01 |-5.100000e+01 | 13.92%
1484.92/1485.24 c 1485s| 2340k|331475 | 39947k| 17.1 | 650M| 66 | - | 200 |1241 | 200 | 247 | 27M| 0 | 30k|-5.925000e+01 |-5.100000e+01 | 13.92%
1490.32/1490.64 c 1491s| 2350k|332175 | 40086k| 17.1 | 652M| 66 | 88 | 200 |1241 | 200 | 265 | 27M| 0 | 30k|-5.925000e+01 |-5.100000e+01 | 13.92%
1495.73/1496.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1495.73/1496.09 c 1496s| 2360k|332915 | 40227k| 17.0 | 654M| 66 | 10 | 200 |1241 | 200 | 234 | 27M| 0 | 30k|-5.922222e+01 |-5.100000e+01 | 13.88%
1501.42/1501.73 c 1502s| 2370k|333709 | 40372k| 17.0 | 655M| 66 | - | 200 |1241 | 200 | 252 | 27M| 0 | 30k|-5.920000e+01 |-5.100000e+01 | 13.85%
1507.01/1507.30 c 1507s| 2380k|334485 | 40517k| 17.0 | 657M| 66 | - | 200 |1241 | 200 | 307 | 27M| 0 | 30k|-5.920000e+01 |-5.100000e+01 | 13.85%
1512.32/1512.68 c 1513s| 2390k|335245 | 40653k| 17.0 | 659M| 66 | 90 | 200 |1241 | 200 | 242 | 27M| 0 | 30k|-5.916667e+01 |-5.100000e+01 | 13.80%
1517.82/1518.10 c 1518s| 2400k|335919 | 40791k| 17.0 | 660M| 66 | - | 200 |1241 | 200 | 244 | 27M| 0 | 30k|-5.916667e+01 |-5.100000e+01 | 13.80%
1523.22/1523.55 c 1524s| 2410k|336689 | 40930k| 17.0 | 662M| 66 | 82 | 200 |1241 | 200 | 275 | 27M| 0 | 30k|-5.916667e+01 |-5.100000e+01 | 13.80%
1528.72/1529.03 c 1529s| 2420k|337491 | 41071k| 17.0 | 664M| 66 | 86 | 200 |1241 | 200 | 287 | 27M| 0 | 30k|-5.915385e+01 |-5.100000e+01 | 13.78%
1534.12/1534.45 c 1534s| 2430k|338205 | 41210k| 17.0 | 665M| 66 | - | 200 |1241 | 200 | 254 | 27M| 0 | 30k|-5.912500e+01 |-5.100000e+01 | 13.74%
1539.51/1539.86 c 1540s| 2440k|339057 | 41347k| 16.9 | 667M| 66 | - | 200 |1241 | 200 | 258 | 28M| 0 | 31k|-5.912000e+01 |-5.100000e+01 | 13.73%
1544.91/1545.27 c 1545s| 2450k|339661 | 41485k| 16.9 | 668M| 66 | - | 200 |1241 | 200 | 276 | 28M| 0 | 31k|-5.909524e+01 |-5.100000e+01 | 13.70%
1550.31/1550.67 c 1551s| 2460k|340383 | 41621k| 16.9 | 670M| 66 | - | 200 |1241 | 200 | 251 | 28M| 0 | 31k|-5.905882e+01 |-5.100000e+01 | 13.65%
1555.81/1556.10 c 1556s| 2470k|341053 | 41759k| 16.9 | 671M| 66 | - | 200 |1241 | 200 | 265 | 28M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1561.21/1561.55 c 1562s| 2480k|341743 | 41899k| 16.9 | 673M| 66 | 8 | 200 |1241 | 200 | 225 | 28M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1566.71/1567.01 c 1567s| 2490k|342477 | 42040k| 16.9 | 674M| 66 | 85 | 200 |1241 | 200 | 293 | 28M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1572.21/1572.50 c 1572s| 2500k|343211 | 42182k| 16.9 | 676M| 66 | 48 | 200 |1241 | 200 | 238 | 28M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1577.71/1578.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1577.71/1578.03 c 1578s| 2510k|343927 | 42326k| 16.9 | 678M| 66 | 33 | 200 |1241 | 200 | 224 | 28M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1583.21/1583.54 c 1584s| 2520k|344779 | 42468k| 16.9 | 679M| 66 | 55 | 200 |1241 | 200 | 258 | 28M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1588.60/1588.94 c 1589s| 2530k|345407 | 42606k| 16.8 | 681M| 66 | 61 | 200 |1241 | 200 | 267 | 29M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1594.01/1594.31 c 1594s| 2540k|346067 | 42743k| 16.8 | 682M| 66 | - | 200 |1241 | 200 | 243 | 29M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1599.50/1599.82 c 1600s| 2550k|346811 | 42886k| 16.8 | 684M| 66 | - | 200 |1241 | 200 | 282 | 29M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1605.01/1605.37 c 1605s| 2560k|347673 | 43032k| 16.8 | 686M| 66 | 51 | 200 |1241 | 200 | 220 | 29M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1610.50/1610.86 c 1611s| 2570k|348427 | 43175k| 16.8 | 688M| 66 | 96 | 200 |1241 | 200 | 249 | 29M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1615.80/1616.19 c 1616s| 2580k|349139 | 43311k| 16.8 | 689M| 66 | - | 200 |1241 | 200 | 270 | 29M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1621.40/1621.70 c 1622s| 2590k|350049 | 43454k| 16.8 | 691M| 66 | - | 200 |1241 | 200 | 288 | 29M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1626.80/1627.12 c 1627s| 2600k|350747 | 43593k| 16.8 | 693M| 66 | - | 200 |1241 | 200 | 275 | 29M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1632.20/1632.59 c 1633s| 2610k|351479 | 43733k| 16.8 | 694M| 66 | 8 | 200 |1241 | 200 | 244 | 29M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1637.70/1638.02 c 1638s| 2620k|352291 | 43871k| 16.7 | 696M| 66 | - | 200 |1241 | 200 | 302 | 29M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1643.01/1643.36 c 1643s| 2630k|353169 | 44009k| 16.7 | 698M| 66 | - | 200 |1241 | 200 | 275 | 30M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1648.40/1648.71 c 1649s| 2640k|353921 | 44146k| 16.7 | 699M| 66 | - | 200 |1241 | 200 | 242 | 30M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1654.01/1654.35 c 1654s| 2650k|354799 | 44293k| 16.7 | 701M| 66 | 28 | 200 |1241 | 200 | 261 | 30M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1659.29/1659.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1659.29/1659.63 c 1660s| 2660k|355471 | 44428k| 16.7 | 703M| 66 | - | 200 |1241 | 200 | 262 | 30M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1664.70/1665.07 c 1665s| 2670k|356199 | 44566k| 16.7 | 704M| 66 | 24 | 200 |1241 | 200 | 237 | 30M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1670.09/1670.40 c 1670s| 2680k|356919 | 44702k| 16.7 | 706M| 66 | 81 | 200 |1241 | 200 | 269 | 30M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1675.49/1675.81 c 1676s| 2690k|357715 | 44842k| 16.7 | 707M| 66 | - | 200 |1241 | 200 | 258 | 30M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1680.89/1681.26 c 1681s| 2700k|358487 | 44981k| 16.7 | 709M| 66 | - | 200 |1241 | 200 | 253 | 30M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1686.39/1686.76 c 1687s| 2710k|359225 | 45121k| 16.6 | 711M| 66 | 36 | 200 |1241 | 200 | 244 | 30M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1691.79/1692.13 c 1692s| 2720k|359887 | 45260k| 16.6 | 712M| 66 | 18 | 200 |1241 | 200 | 220 | 31M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1697.39/1697.72 c 1698s| 2730k|360875 | 45407k| 16.6 | 714M| 66 | - | 200 |1241 | 200 | 257 | 31M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1702.89/1703.20 c 1703s| 2740k|361603 | 45548k| 16.6 | 716M| 66 | 104 | 200 |1241 | 200 | 253 | 31M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1708.18/1708.56 c 1709s| 2750k|362337 | 45686k| 16.6 | 717M| 66 | 17 | 200 |1241 | 200 | 252 | 31M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1713.58/1713.96 c 1714s| 2760k|363197 | 45823k| 16.6 | 719M| 66 | - | 200 |1241 | 200 | 247 | 31M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1719.08/1719.40 c 1719s| 2770k|364019 | 45962k| 16.6 | 721M| 66 | 83 | 200 |1241 | 200 | 284 | 31M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1724.49/1724.83 c 1725s| 2780k|364749 | 46102k| 16.6 | 722M| 66 | - | 200 |1241 | 200 | 248 | 31M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1729.89/1730.27 c 1730s| 2790k|365447 | 46240k| 16.6 | 724M| 66 | - | 200 |1241 | 200 | 259 | 31M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1735.28/1735.64 c 1736s| 2800k|366195 | 46375k| 16.6 | 726M| 66 | 40 | 200 |1241 | 200 | 221 | 31M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1740.68/1741.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1740.68/1741.08 c 1741s| 2810k|366965 | 46516k| 16.6 | 727M| 66 | 83 | 200 |1241 | 200 | 259 | 31M| 0 | 33k|-5.900000e+01 |-5.100000e+01 | 13.56%
1746.08/1746.45 c 1746s| 2820k|367567 | 46655k| 16.5 | 729M| 66 | - | 200 |1241 | 200 | 237 | 32M| 0 | 33k|-5.900000e+01 |-5.100000e+01 | 13.56%
1751.48/1751.80 c 1752s| 2830k|368305 | 46792k| 16.5 | 730M| 66 | - | 200 |1241 | 200 | 252 | 32M| 0 | 33k|-5.900000e+01 |-5.100000e+01 | 13.56%
1756.67/1757.07 c 1757s| 2840k|368839 | 46924k| 16.5 | 731M| 66 | - | 200 |1241 | 200 | 241 | 32M| 0 | 33k|-5.900000e+01 |-5.100000e+01 | 13.56%
1762.08/1762.45 c 1762s| 2850k|369465 | 47062k| 16.5 | 733M| 66 | - | 200 |1241 | 200 | 259 | 32M| 0 | 33k|-5.900000e+01 |-5.100000e+01 | 13.56%
1767.47/1767.81 c 1768s| 2860k|370097 | 47200k| 16.5 | 734M| 66 | 72 | 200 |1241 | 200 | 246 | 32M| 0 | 33k|-5.900000e+01 |-5.100000e+01 | 13.56%
1772.78/1773.19 c 1773s| 2870k|370757 | 47336k| 16.5 | 736M| 66 | 29 | 200 |1241 | 200 | 254 | 32M| 0 | 33k|-5.900000e+01 |-5.100000e+01 | 13.56%
1778.28/1778.62 c 1779s| 2880k|371501 | 47474k| 16.5 | 737M| 66 | - | 200 |1241 | 200 | 247 | 32M| 0 | 33k|-5.900000e+01 |-5.100000e+01 | 13.56%
1783.67/1784.07 c 1784s| 2890k|372251 | 47614k| 16.5 | 739M| 66 | - | 200 |1241 | 200 | 287 | 32M| 0 | 33k|-5.900000e+01 |-5.100000e+01 | 13.56%
1789.17/1789.54 c 1790s| 2900k|373013 | 47752k| 16.5 | 741M| 66 | - | 200 |1241 | 200 | 254 | 32M| 0 | 33k|-5.900000e+01 |-5.100000e+01 | 13.56%
1794.57/1794.92 c 1795s| 2910k|373761 | 47891k| 16.5 | 742M| 66 | - | 200 |1241 | 200 | 237 | 32M| 0 | 33k|-5.900000e+01 |-5.100000e+01 | 13.56%
1796.67/1797.00 c
1796.67/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.67/1797.00 c Solving Time (sec) : 1797.00
1796.67/1797.00 c Solving Nodes : 2913873
1796.67/1797.00 c Primal Bound : -5.10000000000000e+01 (601 solutions)
1796.67/1797.00 c Dual Bound : -5.90000000000000e+01
1796.67/1797.00 c Gap : 13.56 %
1796.67/1797.00 s SATISFIABLE
1796.67/1797.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
1796.67/1797.00 v x177 x176 -x175 -x174 -x173 -x172 x171 -x170 x169 -x168 x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 -x156
1796.67/1797.00 v -x155 -x154 -x153 x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 x136 x135 -x134
1796.67/1797.00 v x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 x123 x122 x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112
1796.67/1797.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
1796.67/1797.00 v -x88 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
1796.67/1797.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 -x36
1796.67/1797.00 v -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
1796.67/1797.00 v -x10 -x9 -x8 -x7 -x6 -x5 x4 -x3 x2 -x1
1796.67/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.67/1797.00 c Total Time : 1797.00
1796.67/1797.00 c solving : 1797.00
1796.67/1797.00 c presolving : 0.03 (included in solving)
1796.67/1797.00 c reading : 0.01 (included in solving)
1796.67/1797.00 c Original Problem :
1796.67/1797.00 c Problem name : HOME/instance-3737252-1338725686.opb
1796.67/1797.00 c Variables : 1441 (1441 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.67/1797.00 c Constraints : 1641 initial, 1641 maximal
1796.67/1797.00 c Presolved Problem :
1796.67/1797.00 c Problem name : t_HOME/instance-3737252-1338725686.opb
1796.67/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.67/1797.00 c Constraints : 1241 initial, 1241 maximal
1796.67/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.67/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c probing : 0.01 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c and : 0.02 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c linear : 0.00 1241 0 0 1241 0 200 0 0 0
1796.67/1797.00 c pseudoboolean : 0.00 0 0 0 0 0 200 0 0 0
1796.67/1797.00 c root node : - 0 - - 0 - - - - -
1796.67/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.67/1797.00 c integral : 0 0 0 2702742 0 934053 0 208 1288 0 0 3373474
1796.67/1797.00 c setppc : 1241 36 4993878 1015242 1 934049 0 43 13289134 33027243 0 0
1796.67/1797.00 c countsols : 0 0 0 7 1 596 0 0 0 0 0 0
1796.67/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.67/1797.00 c integral : 42.74 0.00 0.00 42.55 0.00 0.19 0.00
1796.67/1797.00 c setppc : 74.91 0.01 37.97 27.69 0.00 9.24 0.00
1796.67/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.67/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.67/1797.00 c vbounds : 0 0 0 0
1796.67/1797.00 c rootredcost : 10 0 0 0
1796.67/1797.00 c pseudoobj : 4995390 0 0 0
1796.67/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1796.67/1797.00 c vbounds : 0.73 0.73 0.00
1796.67/1797.00 c rootredcost : 0.85 0.85 0.00
1796.67/1797.00 c pseudoobj : 23.12 23.12 0.00
1796.67/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.67/1797.00 c propagation : 0.00 43 0 0 0.0 0 0.0 -
1796.67/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.67/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.67/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.67/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.67/1797.00 c applied globally : - - - 0 0.0 - - -
1796.67/1797.00 c applied locally : - - - 0 0.0 - - -
1796.67/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.67/1797.00 c cut pool : 0.02 35 - - 88 - (maximal pool size: 2189)
1796.67/1797.00 c redcost : 11.96 2902108 0 391033 0 0
1796.67/1797.00 c impliedbounds : 0.00 36 0 0 707 0
1796.67/1797.00 c intobj : 0.00 0 0 0 0 0
1796.67/1797.00 c gomory : 0.69 36 0 0 10372 0
1796.67/1797.00 c cgmip : 0.00 0 0 0 0 0
1796.67/1797.00 c closecuts : 0.00 0 0 0 0 0
1796.67/1797.00 c strongcg : 0.26 20 0 0 7787 0
1796.67/1797.00 c cmir : 0.03 10 0 0 0 0
1796.67/1797.00 c flowcover : 0.03 10 0 0 0 0
1796.67/1797.00 c clique : 0.04 36 0 0 239 0
1796.67/1797.00 c zerohalf : 0.00 0 0 0 0 0
1796.67/1797.00 c mcf : 0.00 1 0 0 0 0
1796.67/1797.00 c oddcycle : 0.00 0 0 0 0 0
1796.67/1797.00 c rapidlearning : 0.02 1 0 0 0 0
1796.67/1797.00 c Pricers : Time Calls Vars
1796.67/1797.00 c problem variables: 0.00 0 0
1796.67/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.67/1797.00 c relpscost : 41.51 1687500 208 1288 0 0 3373474
1796.67/1797.00 c pscost : 0.00 0 0 0 0 0 0
1796.67/1797.00 c inference : 0.00 1 0 0 0 0 2
1796.67/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1796.67/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1796.67/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1796.67/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1796.67/1797.00 c random : 0.00 0 0 0 0 0 0
1796.67/1797.00 c Primal Heuristics : Time Calls Found
1796.67/1797.00 c LP solutions : 0.21 - 7
1796.67/1797.00 c pseudo solutions : 0.00 - 0
1796.67/1797.00 c oneopt : 0.52 11 0
1796.67/1797.00 c crossover : 1.06 13 4
1796.67/1797.00 c linesearchdiving : 4.21 4356 31
1796.67/1797.00 c fracdiving : 4.43 4356 23
1796.67/1797.00 c guideddiving : 4.52 4356 20
1796.67/1797.00 c coefdiving : 4.06 4356 33
1796.67/1797.00 c veclendiving : 4.31 4356 47
1796.67/1797.00 c pscostdiving : 4.11 4356 30
1796.67/1797.00 c objpscostdiving : 2.02 2179 32
1796.67/1797.00 c rootsoldiving : 2.01 2179 0
1796.67/1797.00 c trivial : 0.00 2 1
1796.67/1797.00 c shiftandpropagate: 0.00 0 0
1796.67/1797.00 c simplerounding : 18.72 1697945 368
1796.67/1797.00 c zirounding : 0.49 1000 1
1796.67/1797.00 c rounding : 7.60 87171 2
1796.67/1797.00 c shifting : 1.78 19605 1
1796.67/1797.00 c intshifting : 0.03 0 0
1796.67/1797.00 c twoopt : 0.00 0 0
1796.67/1797.00 c fixandinfer : 0.00 0 0
1796.67/1797.00 c feaspump : 0.06 0 0
1796.67/1797.00 c clique : 0.00 0 0
1796.67/1797.00 c intdiving : 0.00 0 0
1796.67/1797.00 c actconsdiving : 0.00 0 0
1796.67/1797.00 c octane : 0.00 0 0
1796.67/1797.00 c rens : 0.01 0 0
1796.67/1797.00 c rins : 0.00 0 0
1796.67/1797.00 c localbranching : 0.00 0 0
1796.67/1797.00 c mutation : 0.00 0 0
1796.67/1797.00 c dins : 0.00 0 0
1796.67/1797.00 c vbounds : 0.00 0 0
1796.67/1797.00 c undercover : 0.01 1 0
1796.67/1797.00 c subnlp : 0.40 0 0
1796.67/1797.00 c trysol : 0.60 0 0
1796.67/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1796.67/1797.00 c primal LP : 42.98 0 0 0.00 0.00
1796.67/1797.00 c dual LP : 1222.62 3947071 47418581 12.01 38784.26
1796.67/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.67/1797.00 c barrier LP : 0.00 0 0 0.00 -
1796.67/1797.00 c diving/probing LP: 19.94 88007 526052 5.98 26378.96
1796.67/1797.00 c strong branching : 19.22 33513 458512 13.68 23853.24
1796.67/1797.00 c (at root node) : - 30 9057 301.90 -
1796.67/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.67/1797.00 c B&B Tree :
1796.67/1797.00 c number of runs : 1
1796.67/1797.00 c nodes : 2913873
1796.67/1797.00 c nodes (total) : 2913873
1796.67/1797.00 c nodes left : 374102
1796.67/1797.00 c max depth : 66
1796.67/1797.00 c max depth (total): 66
1796.67/1797.00 c backtracks : 443475 (15.2%)
1796.67/1797.00 c delayed cutoffs : 0
1796.67/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.67/1797.00 c avg switch length: 5.27
1796.67/1797.00 c switching time : 118.71
1796.67/1797.00 c Solution :
1796.67/1797.00 c Solutions found : 601 (14 improvements)
1796.67/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1796.67/1797.00 c Primal Bound : -5.10000000000000e+01 (in run 1, after 471717 nodes, 400.79 seconds, depth 53, found by <relaxation>)
1796.67/1797.00 c Dual Bound : -5.90000000000000e+01
1796.67/1797.00 c Gap : 13.56 %
1796.67/1797.00 c Root Dual Bound : -6.93314752162609e+01
1796.67/1797.00 c Root Iterations : 5913
1797.87/1798.27 c Time complete: 1797.94.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3737252-1338725686/watcher-3737252-1338725686 -o /tmp/evaluation-result-3737252-1338725686/solver-3737252-1338725686 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3737252-1338725686.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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.00 2.00 2.00 3/176 15672
/proc/meminfo: memFree=26814888/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=10952 CPUtime=0 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 1714 0 0 0 0 0 0 0 20 0 1 0 338694670 11214848 1668 33554432000 4194304 9016284 140733830763120 140734971886184 7870589 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 2738 1679 340 1178 0 1556 0
[startup+0.0189291 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15672
/proc/meminfo: memFree=26814888/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=19620 CPUtime=0.01 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 3881 0 0 0 1 0 0 0 20 0 1 0 338694670 20090880 3835 33554432000 4194304 9016284 140733830763120 140734971886184 5205744 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 4905 3843 432 1178 0 3723 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 19620
[startup+0.100237 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15672
/proc/meminfo: memFree=26814888/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=37668 CPUtime=0.09 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 10536 0 0 0 7 2 0 0 20 0 1 0 338694670 38572032 8028 33554432000 4194304 9016284 140733830763120 140734971886184 6813403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 9417 8028 676 1178 0 8235 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37668
[startup+0.300153 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15672
/proc/meminfo: memFree=26814888/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=35776 CPUtime=0.28 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 12837 0 0 0 26 2 0 0 20 0 1 0 338694670 36634624 7834 33554432000 4194304 9016284 140733830763120 140734971886184 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 8944 7834 688 1178 0 7762 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 35776
[startup+0.700127 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15672
/proc/meminfo: memFree=26814888/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=40804 CPUtime=0.68 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 14110 0 0 0 65 3 0 0 20 0 1 0 338694670 41783296 9096 33554432000 4194304 9016284 140733830763120 140734971886184 6389943 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 10201 9096 690 1178 0 9019 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 40804
[startup+1.50015 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15673
/proc/meminfo: memFree=26776476/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=49564 CPUtime=1.49 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 16269 0 0 0 145 4 0 0 20 0 1 0 338694670 50753536 11255 33554432000 4194304 9016284 140733830763120 140733830758232 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 12391 11255 691 1178 0 11209 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49564
[startup+3.1001 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15673
/proc/meminfo: memFree=26770524/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=49592 CPUtime=3.09 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 17907 0 0 0 301 8 0 0 20 0 1 0 338694670 50782208 11348 33554432000 4194304 9016284 140733830763120 140733830756968 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 12398 11348 697 1178 0 11216 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49592
[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15673
/proc/meminfo: memFree=26768168/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=50520 CPUtime=6.29 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 20891 0 0 0 613 16 0 0 20 0 1 0 338694670 51732480 11573 33554432000 4194304 9016284 140733830763120 140733830756984 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 12630 11573 703 1178 0 11448 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50520
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15673
/proc/meminfo: memFree=26762008/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=54392 CPUtime=12.69 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 31999 0 0 0 1232 37 0 0 20 0 1 0 338694670 55697408 12549 33554432000 4194304 9016284 140733830763120 140733830757288 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 13598 12549 703 1178 0 12416 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54392
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15673
/proc/meminfo: memFree=26744540/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=65464 CPUtime=25.49 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 36507 0 0 0 2475 74 0 0 20 0 1 0 338694670 67035136 15307 33554432000 4194304 9016284 140733830763120 140733830757448 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 16366 15307 703 1178 0 15184 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 65464
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15673
/proc/meminfo: memFree=26705604/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=88904 CPUtime=51.08 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 56886 0 0 0 4954 154 0 0 20 0 1 0 338694670 91037696 21231 33554432000 4194304 9016284 140733830763120 140733830756728 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 22226 21231 703 1178 0 21044 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 88904
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15673
/proc/meminfo: memFree=26630628/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=136592 CPUtime=102.28 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 72459 0 0 0 9921 307 0 0 20 0 1 0 338694670 139870208 33272 33554432000 4194304 9016284 140733830763120 140733830756488 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 34148 33272 703 1178 0 32966 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 136592
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15673
/proc/meminfo: memFree=26558364/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=185340 CPUtime=162.27 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 97640 0 0 0 15730 497 0 0 20 0 1 0 338694670 189788160 45075 33554432000 4194304 9016284 140733830763120 140733830757448 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 46335 45075 703 1178 0 45153 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 185340
[startup+222.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 15674
/proc/meminfo: memFree=26474196/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=232316 CPUtime=222.25 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 113013 0 0 0 21551 674 0 0 20 0 1 0 338694670 237891584 56910 33554432000 4194304 9016284 140733830763120 140733830756264 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 58079 56910 703 1178 0 56897 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 232316
[startup+282.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 15674
/proc/meminfo: memFree=26399000/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=277432 CPUtime=282.23 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 127212 0 0 0 27375 848 0 0 20 0 1 0 338694670 284090368 68308 33554432000 4194304 9016284 140733830763120 140733830757032 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 69358 68308 703 1178 0 68176 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 277432
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 15677
/proc/meminfo: memFree=26319948/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=323252 CPUtime=342.22 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 140540 0 0 0 33185 1037 0 0 20 0 1 0 338694670 331010048 79870 33554432000 4194304 9016284 140733830763120 140733830757288 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 80813 79870 703 1178 0 79631 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 323252
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 15677
/proc/meminfo: memFree=26243972/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=364620 CPUtime=402.2 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 163665 0 0 0 38988 1232 0 0 20 0 1 0 338694670 373370880 90383 33554432000 4194304 9016284 140733830763120 140733830757448 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 91155 90383 703 1178 0 89973 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 364620
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15677
/proc/meminfo: memFree=26214864/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=364620 CPUtime=462.19 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 173441 0 0 0 44794 1425 0 0 20 0 1 0 338694670 373370880 90406 33554432000 4194304 9016284 140733830763120 140733830756488 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 91155 90406 703 1178 0 89973 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 364620
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15678
/proc/meminfo: memFree=26171200/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=367612 CPUtime=522.18 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 175866 0 0 0 50597 1621 0 0 20 0 1 0 338694670 376434688 91070 33554432000 4194304 9016284 140733830763120 140733830757448 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 91903 91070 703 1178 0 90721 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 367612
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15678
/proc/meminfo: memFree=26135240/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=372536 CPUtime=582.17 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 178864 0 0 0 56409 1808 0 0 20 0 1 0 338694670 381476864 92304 33554432000 4194304 9016284 140733830763120 140733830757400 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 93134 92304 703 1178 0 91952 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 372536
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26486368/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=575964 CPUtime=1122.08 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 233586 0 0 0 108655 3553 0 0 20 0 1 0 338694670 589787136 142429 33554432000 4194304 9016284 140733830763120 140733830757400 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 143991 142429 703 1178 0 142809 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 575964
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 15722
/proc/meminfo: memFree=26436056/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=596060 CPUtime=1182.07 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 238680 0 0 0 114461 3746 0 0 20 0 1 0 338694670 610365440 147523 33554432000 4194304 9016284 140733830763120 140733830757032 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 149015 147523 703 1178 0 147833 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 596060
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15722
/proc/meminfo: memFree=26383700/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=616924 CPUtime=1242.06 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 243901 0 0 0 120274 3932 0 0 20 0 1 0 338694670 631730176 152744 33554432000 4194304 9016284 140733830763120 140733830756536 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 154231 152744 703 1178 0 153049 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 616924
[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 15722
/proc/meminfo: memFree=26334732/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=633512 CPUtime=1302.06 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 248081 0 0 0 126085 4121 0 0 20 0 1 0 338694670 648716288 156924 33554432000 4194304 9016284 140733830763120 140733830757448 7081835 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 158378 156924 703 1178 0 157196 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 633512
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 15722
/proc/meminfo: memFree=26286868/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=651688 CPUtime=1362.04 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 255459 0 0 0 131891 4313 0 0 20 0 1 0 338694670 667328512 161508 33554432000 4194304 9016284 140733830763120 140733830757288 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 162922 161508 703 1178 0 161740 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 651688
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15723
/proc/meminfo: memFree=26230080/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=672104 CPUtime=1422.03 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 260599 0 0 0 137711 4492 0 0 20 0 1 0 338694670 688234496 166648 33554432000 4194304 9016284 140733830763120 140733830757400 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 168026 166648 703 1178 0 166844 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 672104
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15723
/proc/meminfo: memFree=26179612/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=691176 CPUtime=1482.02 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 265398 0 0 0 143526 4676 0 0 20 0 1 0 338694670 707764224 171447 33554432000 4194304 9016284 140733830763120 140733830757704 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 172794 171447 703 1178 0 171612 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 691176
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15726
/proc/meminfo: memFree=26130756/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=707352 CPUtime=1542.01 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 269475 0 0 0 149345 4856 0 0 20 0 1 0 338694670 724328448 175524 33554432000 4194304 9016284 140733830763120 140733830757448 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 176838 175524 703 1178 0 175656 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 707352
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15726
/proc/meminfo: memFree=26090340/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=722380 CPUtime=1602.01 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 273263 0 0 0 155168 5033 0 0 20 0 1 0 338694670 739717120 179312 33554432000 4194304 9016284 140733830763120 140733830756984 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 180595 179312 703 1178 0 179413 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 722380
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15726
/proc/meminfo: memFree=26042664/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=740956 CPUtime=1662 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 277941 0 0 0 160982 5218 0 0 20 0 1 0 338694670 758738944 183990 33554432000 4194304 9016284 140733830763120 140733830757448 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 185239 183990 703 1178 0 184057 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 740956
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15727
/proc/meminfo: memFree=25995076/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=756636 CPUtime=1721.99 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 281905 0 0 0 166791 5408 0 0 20 0 1 0 338694670 774795264 187948 33554432000 4194304 9016284 140733830763120 140733830757448 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 189159 187948 703 1178 0 187977 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 756636
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15727
/proc/meminfo: memFree=25938996/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=776348 CPUtime=1781.97 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 286864 0 0 0 172602 5595 0 0 20 0 1 0 338694670 794980352 192901 33554432000 4194304 9016284 140733830763120 140733830756984 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 194087 192901 703 1178 0 192905 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 776348
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15727
/proc/meminfo: memFree=25935156/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=776860 CPUtime=1791.57 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 287030 0 0 0 173530 5627 0 0 20 0 1 0 338694670 795504640 193067 33554432000 4194304 9016284 140733830763120 140733830756984 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 194215 193067 703 1178 0 193033 0
Current children cumulated CPU time (s) 1791.57
Current children cumulated vsize (KiB) 776860
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15727
/proc/meminfo: memFree=25932056/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=778844 CPUtime=1794.78 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 287495 0 0 0 173841 5637 0 0 20 0 1 0 338694670 797536256 193532 33554432000 4194304 9016284 140733830763120 140733830757176 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 194711 193532 703 1178 0 193529 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 778844
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15727
/proc/meminfo: memFree=25931684/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=778844 CPUtime=1796.37 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 287495 0 0 0 173996 5641 0 0 20 0 1 0 338694670 797536256 193532 33554432000 4194304 9016284 140733830763120 140733830757448 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 194711 193532 703 1178 0 193529 0
Current children cumulated CPU time (s) 1796.37
Current children cumulated vsize (KiB) 778844
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15727
/proc/meminfo: memFree=25931560/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=778844 CPUtime=1797.17 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 287497 0 0 0 174075 5642 0 0 20 0 1 0 338694670 797536256 193534 33554432000 4194304 9016284 140733830763120 140733830756536 6812620 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 194711 193534 705 1178 0 193529 0
Current children cumulated CPU time (s) 1797.17
Current children cumulated vsize (KiB) 778844
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15727
/proc/meminfo: memFree=25931560/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=778844 CPUtime=1797.57 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 287497 0 0 0 174115 5642 0 0 20 0 1 0 338694670 797536256 193534 33554432000 4194304 9016284 140733830763120 140733830756536 4841078 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 194711 193534 705 1178 0 193529 0
Current children cumulated CPU time (s) 1797.57
Current children cumulated vsize (KiB) 778844
[startup+1798.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15727
/proc/meminfo: memFree=25931560/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=778844 CPUtime=1797.77 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 287497 0 0 0 174135 5642 0 0 20 0 1 0 338694670 797536256 193534 33554432000 4194304 9016284 140733830763120 140733830758920 4840448 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 194711 193534 705 1178 0 193529 0
Current children cumulated CPU time (s) 1797.77
Current children cumulated vsize (KiB) 778844
[startup+1798.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15727
/proc/meminfo: memFree=25931560/32873648 swapFree=6860/6860
[pid=15672] ppid=15670 vsize=778844 CPUtime=1797.87 cores=0,2,4,6
/proc/15672/stat : 15672 (scip-2.0.1.4b_2) R 15670 15672 13307 0 -1 4202496 287497 0 0 0 174145 5642 0 0 20 0 1 0 338694670 797536256 193534 33554432000 4194304 9016284 140733830763120 140733830758920 6548912 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15672/statm: 194711 193534 705 1178 0 193529 0
Current children cumulated CPU time (s) 1797.87
Current children cumulated vsize (KiB) 778844
Child status: 0
Real time (s): 1798.28
CPU time (s): 1797.96
CPU user time (s): 1741.53
CPU system time (s): 56.4304
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 778844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1741.53
system time used= 56.4304
maximum resident set size= 774136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287502
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= 77
involuntary context switches= 1860
runsolver used 2.79458 second user time and 8.72867 second system time
The end