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-3488604-1307784423.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.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) 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.00/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.00/0.05 c (0.0s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.05 c presolving (3 rounds):
0.00/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.00/0.05 c 7444 implications, 0 cliques
0.00/0.05 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 1241 constraints
0.00/0.05 c 1241 constraints of type <setppc>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.04
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 2.0.1.5
0.00/0.05 c
0.00/0.05 c # frequency for displaying node information lines
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05 c display/freq = 10000
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1797
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 13950
0.00/0.05 c
0.00/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.05 c # [type: int, range: [1,2], default: 1]
0.00/0.05 c timing/clocktype = 2
0.00/0.05 c
0.00/0.05 c # belongs reading time to solving time?
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c timing/reading = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/indicator/addCouplingCons = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/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.00/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.00/0.06 o -1
0.00/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.00/0.06 o -2
0.00/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.19/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.29/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.29/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.60 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.69/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.69/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 0.9s| 1 | 0 | 3375 | - |7376k| 0 | 194 | 200 |1241 | 200 | 542 | 384 | 0 | 0 |-7.317054e+01 |-3.300000e+01 | 54.90%
0.99/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%
0.99/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.31 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.58/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.58/1.65 c 1.7s| 1 | 0 | 5913 | - | 11M| 0 | 195 | 200 |1241 | 200 | 358 | 630 | 0 | 0 |-6.933148e+01 |-3.300000e+01 | 52.40%
2.10/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.39/3.47 o -34
3.39/3.47 c R 3.5s| 140 | 139 | 11293 | 38.7 | 11M| 16 | 34 | 200 |1241 | 200 | 257 |2306 | 0 |1504 |-6.894863e+01 |-3.400000e+01 | 50.69%
3.59/3.60 o -40
3.59/3.60 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.59/3.61 o -41
3.59/3.61 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.63 o -42
3.59/3.63 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.77 o -43
3.69/3.77 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.19/4.21 o -45
4.19/4.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.19/4.21 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.49/20.55 c 20.5s| 10000 | 9806 |466835 | 46.1 | 25M| 37 | 94 | 200 |1241 | 200 | 252 | 200k| 0 |2639 |-6.680000e+01 |-4.500000e+01 | 32.63%
28.50/28.59 o -48
28.50/28.59 c *28.6s| 15119 | 13926 |689271 | 45.2 | 31M| 38 | - | 200 |1241 | 200 | 260 | 306k| 0 |3324 |-6.633333e+01 |-4.800000e+01 | 27.64%
36.19/36.23 c 36.2s| 20000 | 18353 |892674 | 44.3 | 37M| 38 | 63 | 200 |1241 | 200 | 239 | 406k| 0 |3818 |-6.600000e+01 |-4.800000e+01 | 27.27%
51.18/51.21 c 51.2s| 30000 | 27155 | 1283k| 42.6 | 50M| 38 | 11 | 200 |1241 | 200 | 239 | 607k| 0 |4637 |-6.536364e+01 |-4.800000e+01 | 26.56%
63.58/63.66 c 63.7s| 40000 | 34555 | 1619k| 40.3 | 61M| 49 | - | 200 |1241 | 200 | 263 | 786k| 0 |5384 |-6.480000e+01 |-4.800000e+01 | 25.93%
74.98/75.08 c 75.1s| 50000 | 41745 | 1940k| 38.7 | 71M| 49 | 105 | 200 |1241 | 200 | 274 | 959k| 0 |5958 |-6.445455e+01 |-4.800000e+01 | 25.53%
86.38/86.43 c 86.4s| 60000 | 48157 | 2238k| 37.2 | 81M| 49 | 34 | 200 |1241 | 200 | 250 |1121k| 0 |6445 |-6.400000e+01 |-4.800000e+01 | 25.00%
97.68/97.79 c 97.8s| 70000 | 54565 | 2531k| 36.1 | 90M| 49 | 13 | 200 |1241 | 200 | 197 |1280k| 0 |6899 |-6.395833e+01 |-4.800000e+01 | 24.95%
108.49/108.57 c 109s| 80000 | 60769 | 2810k| 35.1 | 100M| 49 | 58 | 200 |1241 | 200 | 238 |1429k| 0 |7347 |-6.366667e+01 |-4.800000e+01 | 24.61%
119.08/119.10 c 119s| 90000 | 66733 | 3086k| 34.2 | 109M| 49 | - | 200 |1241 | 200 | 254 |1575k| 0 |7704 |-6.350000e+01 |-4.800000e+01 | 24.41%
129.28/129.34 c 129s|100000 | 72341 | 3348k| 33.4 | 117M| 49 | 30 | 200 |1241 | 200 | 250 |1718k| 0 |8045 |-6.337500e+01 |-4.800000e+01 | 24.26%
139.28/139.35 c 139s|110000 | 77931 | 3608k| 32.8 | 126M| 49 | 51 | 200 |1241 | 200 | 249 |1859k| 0 |8387 |-6.325000e+01 |-4.800000e+01 | 24.11%
149.49/149.51 c 150s|120000 | 83455 | 3866k| 32.2 | 134M| 49 | 51 | 200 |1241 | 200 | 243 |1996k| 0 |8733 |-6.300000e+01 |-4.800000e+01 | 23.81%
155.89/155.91 o -49
155.89/155.91 c * 156s|126266 | 75619 | 4030k| 31.9 | 126M| 49 | - | 200 |1241 | 200 | 245 |2081k| 0 |8930 |-6.300000e+01 |-4.900000e+01 | 22.22%
159.58/159.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
159.58/159.61 c 160s|130000 | 77459 | 4125k| 31.7 | 129M| 49 | - | 200 |1241 | 200 | 255 |2134k| 0 |9032 |-6.300000e+01 |-4.900000e+01 | 22.22%
168.99/169.00 c 169s|140000 | 81951 | 4363k| 31.1 | 137M| 49 | - | 200 |1241 | 200 | 251 |2265k| 0 |9303 |-6.300000e+01 |-4.900000e+01 | 22.22%
178.29/178.32 c 178s|150000 | 86741 | 4604k| 30.7 | 144M| 49 | 63 | 200 |1241 | 200 | 236 |2395k| 0 |9544 |-6.287500e+01 |-4.900000e+01 | 22.07%
187.48/187.58 c 188s|160000 | 91247 | 4839k| 30.2 | 151M| 49 | 33 | 200 |1241 | 200 | 243 |2525k| 0 |9842 |-6.275000e+01 |-4.900000e+01 | 21.91%
196.09/196.18 c 196s|170000 | 95709 | 5075k| 29.8 | 158M| 49 | 103 | 200 |1241 | 200 | 284 |2654k| 0 | 10k|-6.266667e+01 |-4.900000e+01 | 21.81%
204.59/204.62 c 205s|180000 |100213 | 5309k| 29.5 | 165M| 49 | 41 | 200 |1241 | 200 | 244 |2782k| 0 | 10k|-6.250000e+01 |-4.900000e+01 | 21.60%
212.78/212.83 c 213s|190000 |104475 | 5535k| 29.1 | 172M| 49 | 77 | 200 |1241 | 200 | 263 |2908k| 0 | 10k|-6.250000e+01 |-4.900000e+01 | 21.60%
220.89/220.96 c 221s|200000 |108681 | 5761k| 28.8 | 179M| 49 | 65 | 200 |1241 | 200 | 261 |3037k| 0 | 10k|-6.250000e+01 |-4.900000e+01 | 21.60%
229.09/229.17 c 229s|210000 |112695 | 5988k| 28.5 | 185M| 49 | 96 | 200 |1241 | 200 | 269 |3165k| 0 | 11k|-6.240000e+01 |-4.900000e+01 | 21.47%
237.18/237.22 c 237s|220000 |116763 | 6209k| 28.2 | 192M| 49 | 92 | 200 |1241 | 200 | 300 |3289k| 0 | 11k|-6.233333e+01 |-4.900000e+01 | 21.39%
245.08/245.19 c 245s|230000 |120641 | 6428k| 27.9 | 198M| 49 | - | 200 |1241 | 200 | 267 |3412k| 0 | 11k|-6.225000e+01 |-4.900000e+01 | 21.29%
252.99/253.09 c 253s|240000 |124751 | 6645k| 27.7 | 204M| 49 | 37 | 200 |1241 | 200 | 239 |3535k| 0 | 11k|-6.222222e+01 |-4.900000e+01 | 21.25%
261.18/261.22 c 261s|250000 |129121 | 6868k| 27.4 | 211M| 49 | 42 | 200 |1241 | 200 | 256 |3659k| 0 | 11k|-6.214286e+01 |-4.900000e+01 | 21.15%
268.89/268.92 c 269s|260000 |132795 | 7077k| 27.2 | 217M| 52 | 33 | 200 |1241 | 200 | 257 |3779k| 0 | 12k|-6.200000e+01 |-4.900000e+01 | 20.97%
276.38/276.42 c 276s|270000 |136139 | 7282k| 27.0 | 222M| 53 | 98 | 200 |1241 | 200 | 274 |3899k| 0 | 12k|-6.200000e+01 |-4.900000e+01 | 20.97%
283.59/283.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
283.59/283.68 c 284s|280000 |139321 | 7480k| 26.7 | 228M| 53 | 89 | 200 |1241 | 200 | 257 |4018k| 0 | 12k|-6.200000e+01 |-4.900000e+01 | 20.97%
290.99/291.05 c 291s|290000 |142537 | 7681k| 26.5 | 233M| 53 | - | 200 |1241 | 200 | 247 |4137k| 0 | 12k|-6.200000e+01 |-4.900000e+01 | 20.97%
298.19/298.25 c 298s|300000 |145627 | 7877k| 26.2 | 238M| 53 | 71 | 200 |1241 | 200 | 267 |4254k| 0 | 12k|-6.200000e+01 |-4.900000e+01 | 20.97%
305.39/305.41 c 305s|310000 |148641 | 8071k| 26.0 | 243M| 53 | - | 200 |1241 | 200 | 258 |4370k| 0 | 13k|-6.200000e+01 |-4.900000e+01 | 20.97%
312.49/312.55 c 313s|320000 |151563 | 8264k| 25.8 | 248M| 53 | - | 200 |1241 | 200 | 262 |4486k| 0 | 13k|-6.200000e+01 |-4.900000e+01 | 20.97%
319.69/319.74 c 320s|330000 |154653 | 8460k| 25.6 | 254M| 53 | 78 | 200 |1241 | 200 | 256 |4605k| 0 | 13k|-6.200000e+01 |-4.900000e+01 | 20.97%
326.88/326.90 c 327s|340000 |157837 | 8655k| 25.4 | 259M| 53 | 42 | 200 |1241 | 200 | 219 |4721k| 0 | 13k|-6.200000e+01 |-4.900000e+01 | 20.97%
333.79/333.81 c 334s|350000 |160717 | 8840k| 25.2 | 264M| 53 | 84 | 200 |1241 | 200 | 281 |4833k| 0 | 13k|-6.188889e+01 |-4.900000e+01 | 20.83%
340.99/341.00 c 341s|360000 |163979 | 9034k| 25.1 | 269M| 53 | 70 | 200 |1241 | 200 | 247 |4947k| 0 | 13k|-6.183333e+01 |-4.900000e+01 | 20.75%
347.99/348.08 c 348s|370000 |166971 | 9225k| 24.9 | 274M| 53 | - | 200 |1241 | 200 | 249 |5062k| 0 | 14k|-6.178571e+01 |-4.900000e+01 | 20.69%
355.09/355.16 c 355s|380000 |170129 | 9418k| 24.8 | 279M| 53 | - | 200 |1241 | 200 | 286 |5178k| 0 | 14k|-6.175000e+01 |-4.900000e+01 | 20.65%
362.09/362.12 c 362s|390000 |173059 | 9605k| 24.6 | 284M| 53 | - | 200 |1241 | 200 | 250 |5289k| 0 | 14k|-6.173333e+01 |-4.900000e+01 | 20.63%
368.98/369.07 c 369s|400000 |175879 | 9794k| 24.5 | 289M| 53 | 14 | 200 |1241 | 200 | 239 |5402k| 0 | 14k|-6.166667e+01 |-4.900000e+01 | 20.54%
375.99/376.09 c 376s|410000 |178989 | 9985k| 24.3 | 294M| 53 | 49 | 200 |1241 | 200 | 238 |5517k| 0 | 14k|-6.166667e+01 |-4.900000e+01 | 20.54%
382.99/383.00 c 383s|420000 |181769 | 10172k| 24.2 | 299M| 53 | 55 | 200 |1241 | 200 | 254 |5632k| 0 | 14k|-6.166667e+01 |-4.900000e+01 | 20.54%
389.99/390.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
389.99/390.05 c 390s|430000 |184671 | 10365k| 24.1 | 304M| 55 | 22 | 200 |1241 | 200 | 250 |5747k| 0 | 14k|-6.160000e+01 |-4.900000e+01 | 20.45%
397.10/397.11 c 397s|440000 |187675 | 10557k| 24.0 | 309M| 55 | 85 | 200 |1241 | 200 | 238 |5863k| 0 | 15k|-6.157143e+01 |-4.900000e+01 | 20.42%
404.09/404.18 c 404s|450000 |190525 | 10749k| 23.9 | 314M| 55 | 42 | 200 |1241 | 200 | 241 |5979k| 0 | 15k|-6.150000e+01 |-4.900000e+01 | 20.33%
411.09/411.12 c 411s|460000 |193335 | 10939k| 23.8 | 319M| 55 | - | 200 |1241 | 200 | 284 |6095k| 0 | 15k|-6.150000e+01 |-4.900000e+01 | 20.33%
418.00/418.05 o -50
418.00/418.05 c * 418s|469903 |154797 | 11123k| 23.7 | 268M| 55 | - | 200 |1241 | 200 | 259 |6208k| 0 | 15k|-6.150000e+01 |-5.000000e+01 | 18.70%
418.09/418.13 c 418s|470000 |154802 | 11125k| 23.7 | 268M| 55 | - | 200 |1241 | 200 | 258 |6210k| 0 | 15k|-6.150000e+01 |-5.000000e+01 | 18.70%
419.29/419.38 o -51
419.29/419.38 c * 419s|471717 |123302 | 11155k| 23.6 | 224M| 55 | - | 200 |1241 | 200 | 266 |6229k| 0 | 15k|-6.150000e+01 |-5.100000e+01 | 17.07%
424.89/424.95 c 425s|480000 |124833 | 11303k| 23.5 | 227M| 55 | 19 | 200 |1241 | 200 | 218 |6328k| 0 | 15k|-6.150000e+01 |-5.100000e+01 | 17.07%
431.59/431.61 c 432s|490000 |126589 | 11481k| 23.4 | 230M| 57 | 8 | 200 |1241 | 200 | 219 |6447k| 0 | 15k|-6.150000e+01 |-5.100000e+01 | 17.07%
437.99/438.05 c 438s|500000 |128151 | 11653k| 23.3 | 233M| 57 | - | 200 |1241 | 200 | 280 |6569k| 0 | 15k|-6.150000e+01 |-5.100000e+01 | 17.07%
444.49/444.56 c 445s|510000 |130011 | 11828k| 23.2 | 237M| 57 | 42 | 200 |1241 | 200 | 243 |6686k| 0 | 16k|-6.150000e+01 |-5.100000e+01 | 17.07%
451.00/451.09 c 451s|520000 |131675 | 11999k| 23.1 | 240M| 57 | 45 | 200 |1241 | 200 | 242 |6803k| 0 | 16k|-6.141667e+01 |-5.100000e+01 | 16.96%
457.69/457.72 c 458s|530000 |133301 | 12175k| 23.0 | 243M| 57 | 21 | 200 |1241 | 200 | 242 |6926k| 0 | 16k|-6.137500e+01 |-5.100000e+01 | 16.90%
464.29/464.31 c 464s|540000 |135063 | 12351k| 22.9 | 247M| 57 | 32 | 200 |1241 | 200 | 225 |7044k| 0 | 16k|-6.133333e+01 |-5.100000e+01 | 16.85%
470.89/470.91 c 471s|550000 |136639 | 12525k| 22.8 | 250M| 57 | 60 | 200 |1241 | 200 | 267 |7164k| 0 | 16k|-6.133333e+01 |-5.100000e+01 | 16.85%
477.40/477.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
477.40/477.44 c 477s|560000 |138313 | 12698k| 22.7 | 253M| 57 | 57 | 200 |1241 | 200 | 244 |7281k| 0 | 16k|-6.133333e+01 |-5.100000e+01 | 16.85%
483.90/483.97 c 484s|570000 |139903 | 12870k| 22.6 | 256M| 57 | - | 200 |1241 | 200 | 237 |7403k| 0 | 16k|-6.125000e+01 |-5.100000e+01 | 16.73%
490.39/490.46 c 490s|580000 |141495 | 13041k| 22.5 | 259M| 57 | - | 200 |1241 | 200 | 275 |7521k| 0 | 16k|-6.125000e+01 |-5.100000e+01 | 16.73%
497.00/497.10 c 497s|590000 |143063 | 13218k| 22.4 | 262M| 57 | - | 200 |1241 | 200 | 234 |7647k| 0 | 17k|-6.125000e+01 |-5.100000e+01 | 16.73%
503.59/503.64 c 504s|600000 |144685 | 13391k| 22.3 | 266M| 57 | 29 | 200 |1241 | 200 | 248 |7769k| 0 | 17k|-6.120000e+01 |-5.100000e+01 | 16.67%
510.09/510.10 c 510s|610000 |146375 | 13562k| 22.2 | 269M| 57 | - | 200 |1241 | 200 | 271 |7885k| 0 | 17k|-6.115000e+01 |-5.100000e+01 | 16.60%
516.59/516.64 c 517s|620000 |148041 | 13735k| 22.1 | 272M| 57 | 75 | 200 |1241 | 200 | 244 |8004k| 0 | 17k|-6.109091e+01 |-5.100000e+01 | 16.52%
522.99/523.07 c 523s|630000 |149543 | 13904k| 22.1 | 275M| 57 | 26 | 200 |1241 | 200 | 242 |8121k| 0 | 17k|-6.100000e+01 |-5.100000e+01 | 16.39%
529.49/529.59 c 530s|640000 |151149 | 14077k| 22.0 | 278M| 57 | 27 | 200 |1241 | 200 | 244 |8239k| 0 | 17k|-6.100000e+01 |-5.100000e+01 | 16.39%
536.09/536.11 c 536s|650000 |152719 | 14249k| 21.9 | 281M| 57 | - | 200 |1241 | 200 | 259 |8356k| 0 | 17k|-6.100000e+01 |-5.100000e+01 | 16.39%
542.49/542.53 c 543s|660000 |154235 | 14420k| 21.8 | 284M| 57 | 80 | 200 |1241 | 200 | 283 |8473k| 0 | 17k|-6.100000e+01 |-5.100000e+01 | 16.39%
548.80/548.84 c 549s|670000 |155793 | 14586k| 21.8 | 288M| 57 | - | 200 |1241 | 200 | 271 |8591k| 0 | 17k|-6.100000e+01 |-5.100000e+01 | 16.39%
555.19/555.27 c 555s|680000 |157405 | 14758k| 21.7 | 291M| 57 | - | 200 |1241 | 200 | 272 |8710k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
561.59/561.63 c 562s|690000 |159011 | 14927k| 21.6 | 294M| 57 | 11 | 200 |1241 | 200 | 226 |8827k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
568.00/568.04 c 568s|700000 |160515 | 15097k| 21.6 | 297M| 57 | 109 | 200 |1241 | 200 | 273 |8946k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
574.39/574.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
574.39/574.49 c 574s|710000 |161947 | 15268k| 21.5 | 300M| 57 | 21 | 200 |1241 | 200 | 224 |9069k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
581.00/581.01 c 581s|720000 |163403 | 15441k| 21.4 | 303M| 57 | - | 200 |1241 | 200 | 271 |9190k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
587.50/587.50 c 587s|730000 |164933 | 15615k| 21.4 | 306M| 57 | 57 | 200 |1241 | 200 | 251 |9309k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
593.90/593.94 c 594s|740000 |166625 | 15788k| 21.3 | 309M| 57 | 117 | 200 |1241 | 200 | 285 |9429k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
600.40/600.46 c 600s|750000 |168147 | 15960k| 21.3 | 312M| 57 | - | 200 |1241 | 200 | 285 |9550k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
606.89/606.92 c 607s|760000 |169751 | 16130k| 21.2 | 315M| 57 | - | 200 |1241 | 200 | 289 |9667k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
613.49/613.51 c 614s|770000 |171437 | 16304k| 21.2 | 318M| 57 | - | 200 |1241 | 200 | 246 |9783k| 0 | 19k|-6.100000e+01 |-5.100000e+01 | 16.39%
619.79/619.87 c 620s|780000 |172823 | 16470k| 21.1 | 321M| 57 | 34 | 200 |1241 | 200 | 224 |9899k| 0 | 19k|-6.097059e+01 |-5.100000e+01 | 16.35%
626.09/626.19 c 626s|790000 |174209 | 16637k| 21.1 | 324M| 57 | 96 | 200 |1241 | 200 | 242 | 10M| 0 | 19k|-6.090000e+01 |-5.100000e+01 | 16.26%
632.40/632.50 c 632s|800000 |175713 | 16802k| 21.0 | 327M| 57 | - | 200 |1241 | 200 | 248 | 10M| 0 | 19k|-6.085714e+01 |-5.100000e+01 | 16.20%
638.80/638.87 c 639s|810000 |177223 | 16969k| 20.9 | 330M| 57 | 6 | 200 |1241 | 200 | 242 | 10M| 0 | 19k|-6.083333e+01 |-5.100000e+01 | 16.16%
645.19/645.24 c 645s|820000 |178801 | 17136k| 20.9 | 333M| 57 | - | 200 |1241 | 200 | 270 | 10M| 0 | 19k|-6.080000e+01 |-5.100000e+01 | 16.12%
651.39/651.48 c 651s|830000 |180215 | 17299k| 20.8 | 336M| 57 | 37 | 200 |1241 | 200 | 230 | 10M| 0 | 19k|-6.077778e+01 |-5.100000e+01 | 16.09%
657.70/657.79 c 658s|840000 |181667 | 17465k| 20.8 | 339M| 57 | - | 200 |1241 | 200 | 260 | 10M| 0 | 19k|-6.075000e+01 |-5.100000e+01 | 16.05%
664.00/664.01 c 664s|850000 |183205 | 17629k| 20.7 | 342M| 57 | - | 200 |1241 | 200 | 279 | 10M| 0 | 19k|-6.075000e+01 |-5.100000e+01 | 16.05%
670.30/670.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
670.30/670.33 c 670s|860000 |184677 | 17795k| 20.7 | 345M| 57 | - | 200 |1241 | 200 | 238 | 10M| 0 | 19k|-6.075000e+01 |-5.100000e+01 | 16.05%
676.50/676.59 c 677s|870000 |185997 | 17959k| 20.6 | 347M| 57 | 29 | 200 |1241 | 200 | 243 | 10M| 0 | 20k|-6.070000e+01 |-5.100000e+01 | 15.98%
682.80/682.80 c 683s|880000 |187389 | 18121k| 20.6 | 350M| 57 | - | 200 |1241 | 200 | 276 | 11M| 0 | 20k|-6.066667e+01 |-5.100000e+01 | 15.93%
689.10/689.18 c 689s|890000 |188811 | 18290k| 20.5 | 353M| 57 | 59 | 200 |1241 | 200 | 238 | 11M| 0 | 20k|-6.066667e+01 |-5.100000e+01 | 15.93%
695.50/695.55 c 696s|900000 |190269 | 18458k| 20.5 | 356M| 57 | 68 | 200 |1241 | 200 | 248 | 11M| 0 | 20k|-6.066667e+01 |-5.100000e+01 | 15.93%
701.71/701.80 c 702s|910000 |191621 | 18622k| 20.5 | 358M| 57 | 55 | 200 |1241 | 200 | 219 | 11M| 0 | 20k|-6.066667e+01 |-5.100000e+01 | 15.93%
707.89/707.95 c 708s|920000 |192989 | 18783k| 20.4 | 361M| 57 | - | 200 |1241 | 200 | 237 | 11M| 0 | 20k|-6.066667e+01 |-5.100000e+01 | 15.93%
714.20/714.25 c 714s|930000 |194355 | 18948k| 20.4 | 364M| 57 | 83 | 200 |1241 | 200 | 248 | 11M| 0 | 20k|-6.060000e+01 |-5.100000e+01 | 15.84%
720.60/720.63 c 721s|940000 |195875 | 19115k| 20.3 | 367M| 57 | 38 | 200 |1241 | 200 | 250 | 11M| 0 | 20k|-6.057143e+01 |-5.100000e+01 | 15.80%
726.80/726.85 c 727s|950000 |197207 | 19278k| 20.3 | 369M| 57 | - | 200 |1241 | 200 | 277 | 11M| 0 | 20k|-6.050000e+01 |-5.100000e+01 | 15.70%
732.79/732.89 c 733s|960000 |198531 | 19434k| 20.2 | 372M| 57 | 26 | 200 |1241 | 200 | 239 | 11M| 0 | 20k|-6.050000e+01 |-5.100000e+01 | 15.70%
738.90/738.93 c 739s|970000 |199705 | 19592k| 20.2 | 375M| 57 | - | 200 |1241 | 200 | 239 | 12M| 0 | 20k|-6.050000e+01 |-5.100000e+01 | 15.70%
745.20/745.29 c 745s|980000 |201259 | 19759k| 20.2 | 378M| 57 | 98 | 200 |1241 | 200 | 295 | 12M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
751.49/751.59 c 752s|990000 |202755 | 19927k| 20.1 | 380M| 57 | 43 | 200 |1241 | 200 | 239 | 12M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
757.81/757.87 c 758s| 1000k|204099 | 20092k| 20.1 | 383M| 57 | - | 200 |1241 | 200 | 248 | 12M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
764.00/764.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
764.00/764.05 c 764s| 1010k|205429 | 20255k| 20.0 | 386M| 57 | - | 200 |1241 | 200 | 277 | 12M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
770.20/770.21 c 770s| 1020k|206673 | 20416k| 20.0 | 388M| 57 | 68 | 200 |1241 | 200 | 262 | 12M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
776.30/776.34 c 776s| 1030k|207953 | 20576k| 20.0 | 391M| 57 | - | 200 |1241 | 200 | 281 | 12M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
782.40/782.49 c 782s| 1040k|209245 | 20737k| 19.9 | 393M| 57 | 12 | 200 |1241 | 200 | 237 | 12M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
788.61/788.66 c 789s| 1050k|210651 | 20898k| 19.9 | 396M| 57 | - | 200 |1241 | 200 | 255 | 13M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
794.70/794.77 c 795s| 1060k|211797 | 21058k| 19.9 | 399M| 57 | 87 | 200 |1241 | 200 | 276 | 13M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
800.89/800.96 c 801s| 1070k|213197 | 21224k| 19.8 | 401M| 57 | - | 200 |1241 | 200 | 265 | 13M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
807.10/807.16 c 807s| 1080k|214607 | 21386k| 19.8 | 404M| 57 | 32 | 200 |1241 | 200 | 241 | 13M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
813.20/813.27 c 813s| 1090k|215877 | 21544k| 19.8 | 407M| 57 | 52 | 200 |1241 | 200 | 239 | 13M| 0 | 21k|-6.044444e+01 |-5.100000e+01 | 15.63%
819.20/819.24 c 819s| 1100k|216949 | 21699k| 19.7 | 409M| 60 | - | 200 |1241 | 200 | 256 | 13M| 0 | 22k|-6.040000e+01 |-5.100000e+01 | 15.56%
825.20/825.21 c 825s| 1110k|218011 | 21852k| 19.7 | 411M| 60 | - | 200 |1241 | 200 | 238 | 13M| 0 | 22k|-6.038889e+01 |-5.100000e+01 | 15.55%
831.20/831.20 c 831s| 1120k|219083 | 22007k| 19.6 | 413M| 60 | - | 200 |1241 | 200 | 260 | 13M| 0 | 22k|-6.033333e+01 |-5.100000e+01 | 15.47%
837.11/837.14 c 837s| 1130k|220055 | 22159k| 19.6 | 415M| 60 | 16 | 200 |1241 | 200 | 223 | 13M| 0 | 22k|-6.033333e+01 |-5.100000e+01 | 15.47%
843.10/843.11 c 843s| 1140k|221135 | 22314k| 19.6 | 418M| 60 | 10 | 200 |1241 | 200 | 248 | 14M| 0 | 22k|-6.033333e+01 |-5.100000e+01 | 15.47%
849.11/849.16 c 849s| 1150k|222287 | 22471k| 19.5 | 420M| 60 | 72 | 200 |1241 | 200 | 261 | 14M| 0 | 22k|-6.033333e+01 |-5.100000e+01 | 15.47%
855.10/855.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
855.10/855.19 c 855s| 1160k|223455 | 22628k| 19.5 | 422M| 60 | - | 200 |1241 | 200 | 270 | 14M| 0 | 22k|-6.033333e+01 |-5.100000e+01 | 15.47%
861.10/861.20 c 861s| 1170k|224625 | 22782k| 19.5 | 425M| 60 | - | 200 |1241 | 200 | 260 | 14M| 0 | 22k|-6.028571e+01 |-5.100000e+01 | 15.40%
867.00/867.04 c 867s| 1180k|225741 | 22931k| 19.4 | 427M| 60 | - | 200 |1241 | 200 | 273 | 14M| 0 | 22k|-6.025000e+01 |-5.100000e+01 | 15.35%
873.00/873.04 c 873s| 1190k|226797 | 23088k| 19.4 | 429M| 60 | 45 | 200 |1241 | 200 | 245 | 14M| 0 | 22k|-6.025000e+01 |-5.100000e+01 | 15.35%
879.00/879.05 c 879s| 1200k|227893 | 23243k| 19.4 | 432M| 60 | - | 200 |1241 | 200 | 271 | 14M| 0 | 22k|-6.025000e+01 |-5.100000e+01 | 15.35%
884.90/884.93 c 885s| 1210k|228869 | 23393k| 19.3 | 434M| 60 | - | 200 |1241 | 200 | 256 | 14M| 0 | 22k|-6.025000e+01 |-5.100000e+01 | 15.35%
890.80/890.88 c 891s| 1220k|229801 | 23544k| 19.3 | 436M| 60 | 10 | 200 |1241 | 200 | 242 | 14M| 0 | 23k|-6.020000e+01 |-5.100000e+01 | 15.28%
896.91/896.93 c 897s| 1230k|230913 | 23700k| 19.3 | 438M| 60 | 24 | 200 |1241 | 200 | 223 | 15M| 0 | 23k|-6.018182e+01 |-5.100000e+01 | 15.26%
902.80/902.86 c 903s| 1240k|231837 | 23852k| 19.2 | 440M| 60 | - | 200 |1241 | 200 | 273 | 15M| 0 | 23k|-6.016667e+01 |-5.100000e+01 | 15.24%
908.60/908.65 c 909s| 1250k|232857 | 24003k| 19.2 | 442M| 60 | - | 200 |1241 | 200 | 265 | 15M| 0 | 23k|-6.014286e+01 |-5.100000e+01 | 15.20%
914.50/914.57 c 915s| 1260k|233835 | 24155k| 19.2 | 444M| 60 | - | 200 |1241 | 200 | 240 | 15M| 0 | 23k|-6.011111e+01 |-5.100000e+01 | 15.16%
920.30/920.39 c 920s| 1270k|234783 | 24303k| 19.1 | 446M| 60 | 80 | 200 |1241 | 200 | 242 | 15M| 0 | 23k|-6.006250e+01 |-5.100000e+01 | 15.09%
926.20/926.24 c 926s| 1280k|235685 | 24454k| 19.1 | 448M| 60 | - | 200 |1241 | 200 | 245 | 15M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
932.21/932.20 c 932s| 1290k|236833 | 24607k| 19.1 | 450M| 63 | 44 | 200 |1241 | 200 | 277 | 15M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
938.21/938.24 c 938s| 1300k|237849 | 24762k| 19.0 | 453M| 63 | 26 | 200 |1241 | 200 | 230 | 15M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
944.10/944.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
944.10/944.12 c 944s| 1310k|238841 | 24912k| 19.0 | 455M| 63 | 97 | 200 |1241 | 200 | 277 | 15M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
950.00/950.00 c 950s| 1320k|239847 | 25063k| 19.0 | 457M| 63 | 96 | 200 |1241 | 200 | 249 | 16M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
955.91/955.97 c 956s| 1330k|240823 | 25219k| 19.0 | 459M| 63 | 34 | 200 |1241 | 200 | 232 | 16M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
961.70/961.77 c 962s| 1340k|241591 | 25366k| 18.9 | 461M| 63 | 58 | 200 |1241 | 200 | 243 | 16M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
967.70/967.73 c 968s| 1350k|242629 | 25519k| 18.9 | 463M| 63 | 35 | 200 |1241 | 200 | 218 | 16M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
973.61/973.68 c 974s| 1360k|243733 | 25674k| 18.9 | 465M| 63 | 48 | 200 |1241 | 200 | 248 | 16M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
979.41/979.49 c 979s| 1370k|244715 | 25825k| 18.8 | 467M| 63 | - | 200 |1241 | 200 | 246 | 16M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
985.31/985.39 c 985s| 1380k|245765 | 25977k| 18.8 | 469M| 63 | - | 200 |1241 | 200 | 281 | 16M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
991.11/991.18 c 991s| 1390k|246867 | 26128k| 18.8 | 471M| 63 | - | 200 |1241 | 200 | 245 | 16M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
997.10/997.12 c 997s| 1400k|247799 | 26281k| 18.8 | 473M| 63 | - | 200 |1241 | 200 | 233 | 16M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
1003.01/1003.01 c 1003s| 1410k|248879 | 26432k| 18.7 | 476M| 63 | 72 | 200 |1241 | 200 | 287 | 17M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
1008.81/1008.86 c 1009s| 1420k|249849 | 26583k| 18.7 | 478M| 63 | 51 | 200 |1241 | 200 | 243 | 17M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
1014.61/1014.60 c 1015s| 1430k|250833 | 26730k| 18.7 | 480M| 63 | - | 200 |1241 | 200 | 251 | 17M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
1020.51/1020.52 c 1021s| 1440k|252031 | 26882k| 18.7 | 482M| 63 | - | 200 |1241 | 200 | 229 | 17M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
1026.31/1026.37 c 1026s| 1450k|252939 | 27033k| 18.6 | 484M| 63 | 50 | 200 |1241 | 200 | 276 | 17M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
1032.21/1032.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1032.21/1032.21 c 1032s| 1460k|254007 | 27183k| 18.6 | 486M| 63 | - | 200 |1241 | 200 | 233 | 17M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
1037.90/1037.93 c 1038s| 1470k|254871 | 27330k| 18.6 | 488M| 63 | 43 | 200 |1241 | 200 | 262 | 17M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1043.70/1043.72 c 1044s| 1480k|255919 | 27478k| 18.6 | 490M| 63 | - | 200 |1241 | 200 | 262 | 17M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1049.51/1049.59 c 1050s| 1490k|257009 | 27629k| 18.5 | 492M| 63 | 34 | 200 |1241 | 200 | 229 | 17M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1055.41/1055.43 c 1055s| 1500k|258033 | 27778k| 18.5 | 495M| 63 | 20 | 200 |1241 | 200 | 245 | 18M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1061.21/1061.28 c 1061s| 1510k|259093 | 27930k| 18.5 | 497M| 63 | 32 | 200 |1241 | 200 | 252 | 18M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1067.02/1067.09 c 1067s| 1520k|260147 | 28079k| 18.5 | 499M| 63 | - | 200 |1241 | 200 | 252 | 18M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1073.01/1073.01 c 1073s| 1530k|261081 | 28231k| 18.4 | 501M| 63 | - | 200 |1241 | 200 | 241 | 18M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1078.91/1078.97 c 1079s| 1540k|262153 | 28384k| 18.4 | 503M| 63 | 75 | 200 |1241 | 200 | 270 | 18M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1084.90/1084.94 c 1085s| 1550k|263221 | 28538k| 18.4 | 505M| 63 | 24 | 200 |1241 | 200 | 218 | 18M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1090.71/1090.74 c 1091s| 1560k|264185 | 28686k| 18.4 | 507M| 63 | 102 | 200 |1241 | 200 | 265 | 18M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1096.61/1096.66 c 1097s| 1570k|265101 | 28838k| 18.4 | 509M| 63 | 93 | 200 |1241 | 200 | 257 | 18M| 0 | 25k|-5.995833e+01 |-5.100000e+01 | 14.94%
1102.51/1102.50 c 1102s| 1580k|266131 | 28988k| 18.3 | 511M| 63 | - | 200 |1241 | 200 | 274 | 18M| 0 | 25k|-5.990566e+01 |-5.100000e+01 | 14.87%
1108.31/1108.36 c 1108s| 1590k|267047 | 29138k| 18.3 | 513M| 63 | - | 200 |1241 | 200 | 271 | 19M| 0 | 25k|-5.987500e+01 |-5.100000e+01 | 14.82%
1114.22/1114.26 c 1114s| 1600k|268045 | 29289k| 18.3 | 515M| 63 | 13 | 200 |1241 | 200 | 219 | 19M| 0 | 25k|-5.986667e+01 |-5.100000e+01 | 14.81%
1119.91/1119.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1119.91/1119.95 c 1120s| 1610k|268881 | 29434k| 18.3 | 517M| 63 | - | 200 |1241 | 200 | 257 | 19M| 0 | 25k|-5.983333e+01 |-5.100000e+01 | 14.76%
1125.61/1125.67 c 1126s| 1620k|269827 | 29581k| 18.3 | 519M| 63 | - | 200 |1241 | 200 | 270 | 19M| 0 | 25k|-5.983333e+01 |-5.100000e+01 | 14.76%
1131.41/1131.41 c 1131s| 1630k|270731 | 29726k| 18.2 | 521M| 63 | 65 | 200 |1241 | 200 | 266 | 19M| 0 | 26k|-5.983333e+01 |-5.100000e+01 | 14.76%
1137.11/1137.18 c 1137s| 1640k|271681 | 29873k| 18.2 | 523M| 63 | 10 | 200 |1241 | 200 | 257 | 19M| 0 | 26k|-5.980000e+01 |-5.100000e+01 | 14.72%
1143.01/1143.01 c 1143s| 1650k|272619 | 30022k| 18.2 | 525M| 63 | 96 | 200 |1241 | 200 | 272 | 19M| 0 | 26k|-5.980000e+01 |-5.100000e+01 | 14.72%
1148.71/1148.78 c 1149s| 1660k|273513 | 30168k| 18.2 | 527M| 63 | 4 | 200 |1241 | 200 | 253 | 19M| 0 | 26k|-5.975000e+01 |-5.100000e+01 | 14.64%
1154.51/1154.54 c 1155s| 1670k|274549 | 30316k| 18.1 | 529M| 63 | - | 200 |1241 | 200 | 264 | 19M| 0 | 26k|-5.975000e+01 |-5.100000e+01 | 14.64%
1160.21/1160.29 c 1160s| 1680k|275465 | 30462k| 18.1 | 531M| 63 | - | 200 |1241 | 200 | 279 | 19M| 0 | 26k|-5.975000e+01 |-5.100000e+01 | 14.64%
1166.11/1166.12 c 1166s| 1690k|276425 | 30611k| 18.1 | 533M| 63 | 55 | 200 |1241 | 200 | 241 | 20M| 0 | 26k|-5.975000e+01 |-5.100000e+01 | 14.64%
1171.81/1171.86 c 1172s| 1700k|277427 | 30756k| 18.1 | 535M| 63 | - | 200 |1241 | 200 | 241 | 20M| 0 | 26k|-5.975000e+01 |-5.100000e+01 | 14.64%
1177.61/1177.68 c 1178s| 1710k|278447 | 30905k| 18.1 | 537M| 63 | 95 | 200 |1241 | 200 | 274 | 20M| 0 | 26k|-5.975000e+01 |-5.100000e+01 | 14.64%
1183.31/1183.35 c 1183s| 1720k|279279 | 31048k| 18.0 | 539M| 63 | 7 | 200 |1241 | 200 | 218 | 20M| 0 | 26k|-5.975000e+01 |-5.100000e+01 | 14.64%
1189.01/1189.09 c 1189s| 1730k|280053 | 31193k| 18.0 | 541M| 63 | - | 200 |1241 | 200 | 245 | 20M| 0 | 26k|-5.970000e+01 |-5.100000e+01 | 14.57%
1194.81/1194.80 c 1195s| 1740k|280883 | 31338k| 18.0 | 543M| 63 | 30 | 200 |1241 | 200 | 255 | 20M| 0 | 26k|-5.966667e+01 |-5.100000e+01 | 14.53%
1200.51/1200.54 c 1201s| 1750k|281781 | 31484k| 18.0 | 545M| 63 | - | 200 |1241 | 200 | 257 | 20M| 0 | 26k|-5.966667e+01 |-5.100000e+01 | 14.53%
1206.21/1206.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1206.21/1206.28 c 1206s| 1760k|282727 | 31630k| 18.0 | 546M| 63 | 10 | 200 |1241 | 200 | 248 | 20M| 0 | 26k|-5.966667e+01 |-5.100000e+01 | 14.53%
1212.01/1212.05 c 1212s| 1770k|283525 | 31777k| 17.9 | 548M| 63 | 58 | 200 |1241 | 200 | 243 | 20M| 0 | 26k|-5.966667e+01 |-5.100000e+01 | 14.53%
1217.91/1217.90 c 1218s| 1780k|284537 | 31926k| 17.9 | 550M| 65 | 94 | 200 |1241 | 200 | 248 | 21M| 0 | 27k|-5.966667e+01 |-5.100000e+01 | 14.53%
1223.61/1223.62 c 1224s| 1790k|285387 | 32070k| 17.9 | 552M| 65 | - | 200 |1241 | 200 | 257 | 21M| 0 | 27k|-5.966667e+01 |-5.100000e+01 | 14.53%
1229.41/1229.42 c 1229s| 1800k|286295 | 32217k| 17.9 | 554M| 65 | - | 200 |1241 | 200 | 239 | 21M| 0 | 27k|-5.966667e+01 |-5.100000e+01 | 14.53%
1235.21/1235.21 c 1235s| 1810k|287189 | 32366k| 17.9 | 556M| 65 | - | 200 |1241 | 200 | 280 | 21M| 0 | 27k|-5.966667e+01 |-5.100000e+01 | 14.53%
1240.91/1240.99 c 1241s| 1820k|288121 | 32514k| 17.9 | 558M| 65 | - | 200 |1241 | 200 | 275 | 21M| 0 | 27k|-5.966667e+01 |-5.100000e+01 | 14.53%
1246.81/1246.82 c 1247s| 1830k|288933 | 32662k| 17.8 | 560M| 65 | - | 200 |1241 | 200 | 281 | 21M| 0 | 27k|-5.962500e+01 |-5.100000e+01 | 14.47%
1252.51/1252.58 c 1253s| 1840k|289817 | 32807k| 17.8 | 562M| 65 | 48 | 200 |1241 | 200 | 244 | 21M| 0 | 27k|-5.960000e+01 |-5.100000e+01 | 14.43%
1258.31/1258.31 c 1258s| 1850k|290641 | 32952k| 17.8 | 564M| 65 | 19 | 200 |1241 | 200 | 228 | 21M| 0 | 27k|-5.960000e+01 |-5.100000e+01 | 14.43%
1264.11/1264.11 c 1264s| 1860k|291469 | 33098k| 17.8 | 565M| 65 | 70 | 200 |1241 | 200 | 251 | 21M| 0 | 27k|-5.958333e+01 |-5.100000e+01 | 14.41%
1269.81/1269.82 c 1270s| 1870k|292335 | 33241k| 17.8 | 567M| 65 | 38 | 200 |1241 | 200 | 248 | 22M| 0 | 27k|-5.955556e+01 |-5.100000e+01 | 14.37%
1275.52/1275.56 c 1276s| 1880k|293207 | 33387k| 17.8 | 569M| 65 | 73 | 200 |1241 | 200 | 259 | 22M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1281.31/1281.33 c 1281s| 1890k|294155 | 33532k| 17.7 | 571M| 65 | - | 200 |1241 | 200 | 247 | 22M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1286.91/1286.97 c 1287s| 1900k|295063 | 33673k| 17.7 | 573M| 65 | 69 | 200 |1241 | 200 | 259 | 22M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1292.71/1292.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1292.71/1292.70 c 1293s| 1910k|296143 | 33817k| 17.7 | 575M| 65 | - | 200 |1241 | 200 | 243 | 22M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1298.31/1298.35 c 1298s| 1920k|296917 | 33959k| 17.7 | 577M| 65 | 87 | 200 |1241 | 200 | 265 | 22M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1304.02/1304.02 c 1304s| 1930k|297755 | 34101k| 17.7 | 579M| 65 | 20 | 200 |1241 | 200 | 225 | 22M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1309.71/1309.77 c 1310s| 1940k|298575 | 34248k| 17.7 | 580M| 65 | - | 200 |1241 | 200 | 265 | 22M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1315.41/1315.47 c 1315s| 1950k|299497 | 34391k| 17.6 | 582M| 65 | 14 | 200 |1241 | 200 | 261 | 22M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1321.02/1321.08 c 1321s| 1960k|300303 | 34531k| 17.6 | 584M| 65 | - | 200 |1241 | 200 | 281 | 22M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1326.72/1326.71 c 1327s| 1970k|301089 | 34673k| 17.6 | 586M| 65 | 40 | 200 |1241 | 200 | 224 | 23M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1332.31/1332.39 c 1332s| 1980k|301893 | 34813k| 17.6 | 587M| 65 | - | 200 |1241 | 200 | 254 | 23M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1338.12/1338.15 c 1338s| 1990k|302641 | 34961k| 17.6 | 589M| 65 | - | 200 |1241 | 200 | 294 | 23M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1343.82/1343.80 c 1344s| 2000k|303447 | 35104k| 17.5 | 591M| 65 | 18 | 200 |1241 | 200 | 240 | 23M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1349.51/1349.53 c 1350s| 2010k|304277 | 35250k| 17.5 | 593M| 65 | 81 | 200 |1241 | 200 | 234 | 23M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1355.12/1355.19 c 1355s| 2020k|305063 | 35393k| 17.5 | 594M| 65 | 40 | 200 |1241 | 200 | 242 | 23M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1360.81/1360.84 c 1361s| 2030k|305793 | 35536k| 17.5 | 596M| 65 | 22 | 200 |1241 | 200 | 235 | 23M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1366.52/1366.56 c 1367s| 2040k|306747 | 35682k| 17.5 | 598M| 65 | 37 | 200 |1241 | 200 | 236 | 23M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1372.32/1372.30 c 1372s| 2050k|307649 | 35829k| 17.5 | 600M| 65 | - | 200 |1241 | 200 | 272 | 23M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1378.01/1378.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1378.01/1378.04 c 1378s| 2060k|308631 | 35975k| 17.5 | 602M| 65 | 59 | 200 |1241 | 200 | 250 | 24M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1383.72/1383.70 c 1384s| 2070k|309521 | 36119k| 17.4 | 604M| 65 | - | 200 |1241 | 200 | 240 | 24M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1389.32/1389.39 c 1389s| 2080k|310527 | 36266k| 17.4 | 606M| 65 | 34 | 200 |1241 | 200 | 240 | 24M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1394.91/1394.99 c 1395s| 2090k|311389 | 36405k| 17.4 | 607M| 65 | 24 | 200 |1241 | 200 | 245 | 24M| 0 | 29k|-5.950000e+01 |-5.100000e+01 | 14.29%
1400.81/1400.84 c 1401s| 2100k|312377 | 36556k| 17.4 | 609M| 65 | - | 200 |1241 | 200 | 274 | 24M| 0 | 29k|-5.950000e+01 |-5.100000e+01 | 14.29%
1406.51/1406.53 c 1407s| 2110k|313269 | 36702k| 17.4 | 611M| 65 | - | 200 |1241 | 200 | 263 | 24M| 0 | 29k|-5.950000e+01 |-5.100000e+01 | 14.29%
1412.21/1412.22 c 1412s| 2120k|314185 | 36844k| 17.4 | 613M| 65 | - | 200 |1241 | 200 | 263 | 24M| 0 | 29k|-5.950000e+01 |-5.100000e+01 | 14.29%
1417.92/1417.93 c 1418s| 2130k|315077 | 36987k| 17.4 | 615M| 65 | 74 | 200 |1241 | 200 | 276 | 24M| 0 | 29k|-5.946296e+01 |-5.100000e+01 | 14.23%
1423.62/1423.63 c 1424s| 2140k|315929 | 37130k| 17.3 | 617M| 65 | 52 | 200 |1241 | 200 | 258 | 24M| 0 | 29k|-5.942857e+01 |-5.100000e+01 | 14.18%
1429.32/1429.31 c 1429s| 2150k|316723 | 37273k| 17.3 | 619M| 65 | 20 | 200 |1241 | 200 | 247 | 25M| 0 | 29k|-5.940000e+01 |-5.100000e+01 | 14.14%
1434.92/1434.99 c 1435s| 2160k|317581 | 37417k| 17.3 | 620M| 65 | - | 200 |1241 | 200 | 233 | 25M| 0 | 29k|-5.940000e+01 |-5.100000e+01 | 14.14%
1440.62/1440.66 c 1441s| 2170k|318319 | 37557k| 17.3 | 622M| 65 | - | 200 |1241 | 200 | 258 | 25M| 0 | 29k|-5.937500e+01 |-5.100000e+01 | 14.11%
1446.32/1446.35 c 1446s| 2180k|319085 | 37699k| 17.3 | 624M| 65 | 63 | 200 |1241 | 200 | 255 | 25M| 0 | 29k|-5.935000e+01 |-5.100000e+01 | 14.07%
1451.92/1451.98 c 1452s| 2190k|319815 | 37841k| 17.3 | 625M| 65 | - | 200 |1241 | 200 | 258 | 25M| 0 | 29k|-5.933333e+01 |-5.100000e+01 | 14.04%
1457.53/1457.53 c 1458s| 2200k|320613 | 37978k| 17.3 | 627M| 65 | - | 200 |1241 | 200 | 241 | 25M| 0 | 29k|-5.933333e+01 |-5.100000e+01 | 14.04%
1463.12/1463.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1463.12/1463.18 c 1463s| 2210k|321475 | 38120k| 17.2 | 629M| 66 | - | 200 |1241 | 200 | 253 | 25M| 0 | 29k|-5.933333e+01 |-5.100000e+01 | 14.04%
1468.82/1468.89 c 1469s| 2220k|322319 | 38264k| 17.2 | 631M| 66 | - | 200 |1241 | 200 | 234 | 25M| 0 | 29k|-5.933333e+01 |-5.100000e+01 | 14.04%
1474.42/1474.47 c 1474s| 2230k|323109 | 38405k| 17.2 | 632M| 66 | 56 | 200 |1241 | 200 | 241 | 25M| 0 | 29k|-5.933333e+01 |-5.100000e+01 | 14.04%
1480.12/1480.18 c 1480s| 2240k|323905 | 38547k| 17.2 | 634M| 66 | - | 200 |1241 | 200 | 236 | 25M| 0 | 29k|-5.933333e+01 |-5.100000e+01 | 14.04%
1485.72/1485.79 c 1486s| 2250k|324623 | 38686k| 17.2 | 636M| 66 | 47 | 200 |1241 | 200 | 247 | 26M| 0 | 29k|-5.933333e+01 |-5.100000e+01 | 14.04%
1491.42/1491.42 c 1491s| 2260k|325375 | 38827k| 17.2 | 637M| 66 | 98 | 200 |1241 | 200 | 288 | 26M| 0 | 30k|-5.933333e+01 |-5.100000e+01 | 14.04%
1496.91/1496.97 c 1497s| 2270k|326099 | 38963k| 17.2 | 639M| 66 | - | 200 |1241 | 200 | 259 | 26M| 0 | 30k|-5.930000e+01 |-5.100000e+01 | 14.00%
1502.63/1502.64 c 1503s| 2280k|326779 | 39104k| 17.1 | 640M| 66 | 19 | 200 |1241 | 200 | 250 | 26M| 0 | 30k|-5.928000e+01 |-5.100000e+01 | 13.97%
1508.32/1508.37 c 1508s| 2290k|327625 | 39249k| 17.1 | 642M| 66 | - | 200 |1241 | 200 | 258 | 26M| 0 | 30k|-5.925000e+01 |-5.100000e+01 | 13.92%
1514.02/1514.04 c 1514s| 2300k|328379 | 39389k| 17.1 | 644M| 66 | 16 | 200 |1241 | 200 | 257 | 26M| 0 | 30k|-5.925000e+01 |-5.100000e+01 | 13.92%
1519.62/1519.60 c 1520s| 2310k|329121 | 39527k| 17.1 | 645M| 66 | 22 | 200 |1241 | 200 | 245 | 26M| 0 | 30k|-5.925000e+01 |-5.100000e+01 | 13.92%
1525.12/1525.14 c 1525s| 2320k|329949 | 39666k| 17.1 | 647M| 66 | - | 200 |1241 | 200 | 258 | 26M| 0 | 30k|-5.925000e+01 |-5.100000e+01 | 13.92%
1530.72/1530.79 c 1531s| 2330k|330697 | 39806k| 17.1 | 649M| 66 | - | 200 |1241 | 200 | 248 | 26M| 0 | 30k|-5.925000e+01 |-5.100000e+01 | 13.92%
1536.42/1536.49 c 1536s| 2340k|331475 | 39947k| 17.1 | 650M| 66 | - | 200 |1241 | 200 | 247 | 27M| 0 | 30k|-5.925000e+01 |-5.100000e+01 | 13.92%
1542.02/1542.05 c 1542s| 2350k|332175 | 40086k| 17.1 | 652M| 66 | 88 | 200 |1241 | 200 | 265 | 27M| 0 | 30k|-5.925000e+01 |-5.100000e+01 | 13.92%
1547.63/1547.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1547.63/1547.68 c 1548s| 2360k|332915 | 40227k| 17.0 | 654M| 66 | 10 | 200 |1241 | 200 | 234 | 27M| 0 | 30k|-5.922222e+01 |-5.100000e+01 | 13.88%
1553.42/1553.48 c 1553s| 2370k|333709 | 40372k| 17.0 | 655M| 66 | - | 200 |1241 | 200 | 252 | 27M| 0 | 30k|-5.920000e+01 |-5.100000e+01 | 13.85%
1559.22/1559.23 c 1559s| 2380k|334485 | 40517k| 17.0 | 657M| 66 | - | 200 |1241 | 200 | 307 | 27M| 0 | 30k|-5.920000e+01 |-5.100000e+01 | 13.85%
1564.72/1564.78 c 1565s| 2390k|335245 | 40653k| 17.0 | 659M| 66 | 90 | 200 |1241 | 200 | 242 | 27M| 0 | 30k|-5.916667e+01 |-5.100000e+01 | 13.80%
1570.32/1570.37 c 1570s| 2400k|335919 | 40791k| 17.0 | 660M| 66 | - | 200 |1241 | 200 | 244 | 27M| 0 | 30k|-5.916667e+01 |-5.100000e+01 | 13.80%
1575.92/1575.98 c 1576s| 2410k|336689 | 40930k| 17.0 | 662M| 66 | 82 | 200 |1241 | 200 | 275 | 27M| 0 | 30k|-5.916667e+01 |-5.100000e+01 | 13.80%
1581.62/1581.63 c 1582s| 2420k|337491 | 41071k| 17.0 | 664M| 66 | 86 | 200 |1241 | 200 | 287 | 27M| 0 | 30k|-5.915385e+01 |-5.100000e+01 | 13.78%
1587.23/1587.23 c 1587s| 2430k|338205 | 41210k| 17.0 | 665M| 66 | - | 200 |1241 | 200 | 254 | 27M| 0 | 30k|-5.912500e+01 |-5.100000e+01 | 13.74%
1592.83/1592.80 c 1593s| 2440k|339057 | 41347k| 16.9 | 667M| 66 | - | 200 |1241 | 200 | 258 | 28M| 0 | 31k|-5.912000e+01 |-5.100000e+01 | 13.73%
1598.33/1598.38 c 1598s| 2450k|339661 | 41485k| 16.9 | 668M| 66 | - | 200 |1241 | 200 | 276 | 28M| 0 | 31k|-5.909524e+01 |-5.100000e+01 | 13.70%
1603.92/1603.94 c 1604s| 2460k|340383 | 41621k| 16.9 | 670M| 66 | - | 200 |1241 | 200 | 251 | 28M| 0 | 31k|-5.905882e+01 |-5.100000e+01 | 13.65%
1609.52/1609.54 c 1610s| 2470k|341053 | 41759k| 16.9 | 671M| 66 | - | 200 |1241 | 200 | 265 | 28M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1615.12/1615.17 c 1615s| 2480k|341743 | 41899k| 16.9 | 673M| 66 | 8 | 200 |1241 | 200 | 225 | 28M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1620.83/1620.80 c 1621s| 2490k|342477 | 42040k| 16.9 | 674M| 66 | 85 | 200 |1241 | 200 | 293 | 28M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1626.42/1626.47 c 1626s| 2500k|343211 | 42182k| 16.9 | 676M| 66 | 48 | 200 |1241 | 200 | 238 | 28M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1632.12/1632.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1632.12/1632.17 c 1632s| 2510k|343927 | 42326k| 16.9 | 678M| 66 | 33 | 200 |1241 | 200 | 224 | 28M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1637.83/1637.85 c 1638s| 2520k|344779 | 42468k| 16.9 | 679M| 66 | 55 | 200 |1241 | 200 | 258 | 28M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1643.43/1643.42 c 1643s| 2530k|345407 | 42606k| 16.8 | 681M| 66 | 61 | 200 |1241 | 200 | 267 | 29M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1648.93/1648.95 c 1649s| 2540k|346067 | 42743k| 16.8 | 682M| 66 | - | 200 |1241 | 200 | 243 | 29M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1654.62/1654.64 c 1655s| 2550k|346811 | 42886k| 16.8 | 684M| 66 | - | 200 |1241 | 200 | 282 | 29M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1660.32/1660.37 c 1660s| 2560k|347673 | 43032k| 16.8 | 686M| 66 | 51 | 200 |1241 | 200 | 220 | 29M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1666.02/1666.02 c 1666s| 2570k|348427 | 43175k| 16.8 | 688M| 66 | 96 | 200 |1241 | 200 | 249 | 29M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1671.52/1671.51 c 1672s| 2580k|349139 | 43311k| 16.8 | 689M| 66 | - | 200 |1241 | 200 | 270 | 29M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1677.13/1677.19 c 1677s| 2590k|350049 | 43454k| 16.8 | 691M| 66 | - | 200 |1241 | 200 | 288 | 29M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1682.72/1682.78 c 1683s| 2600k|350747 | 43593k| 16.8 | 693M| 66 | - | 200 |1241 | 200 | 275 | 29M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1688.43/1688.42 c 1688s| 2610k|351479 | 43733k| 16.8 | 694M| 66 | 8 | 200 |1241 | 200 | 244 | 29M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1694.03/1694.03 c 1694s| 2620k|352291 | 43871k| 16.7 | 696M| 66 | - | 200 |1241 | 200 | 302 | 29M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1699.53/1699.53 c 1700s| 2630k|353169 | 44009k| 16.7 | 698M| 66 | - | 200 |1241 | 200 | 275 | 30M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1705.03/1705.04 c 1705s| 2640k|353921 | 44146k| 16.7 | 699M| 66 | - | 200 |1241 | 200 | 242 | 30M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1710.83/1710.84 c 1711s| 2650k|354799 | 44293k| 16.7 | 701M| 66 | 28 | 200 |1241 | 200 | 261 | 30M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1716.23/1716.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1716.23/1716.29 c 1716s| 2660k|355471 | 44428k| 16.7 | 703M| 66 | - | 200 |1241 | 200 | 262 | 30M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1721.82/1721.89 c 1722s| 2670k|356199 | 44566k| 16.7 | 704M| 66 | 24 | 200 |1241 | 200 | 237 | 30M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1727.32/1727.38 c 1727s| 2680k|356919 | 44702k| 16.7 | 706M| 66 | 81 | 200 |1241 | 200 | 269 | 30M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1732.93/1732.95 c 1733s| 2690k|357715 | 44842k| 16.7 | 707M| 66 | - | 200 |1241 | 200 | 258 | 30M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1738.53/1738.58 c 1739s| 2700k|358487 | 44981k| 16.7 | 709M| 66 | - | 200 |1241 | 200 | 253 | 30M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1744.22/1744.25 c 1744s| 2710k|359225 | 45121k| 16.6 | 711M| 66 | 36 | 200 |1241 | 200 | 244 | 30M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1749.72/1749.78 c 1750s| 2720k|359887 | 45260k| 16.6 | 712M| 66 | 18 | 200 |1241 | 200 | 220 | 31M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1755.53/1755.55 c 1756s| 2730k|360875 | 45407k| 16.6 | 714M| 66 | - | 200 |1241 | 200 | 257 | 31M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1761.22/1761.20 c 1761s| 2740k|361603 | 45548k| 16.6 | 716M| 66 | 104 | 200 |1241 | 200 | 253 | 31M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1766.72/1766.72 c 1767s| 2750k|362337 | 45686k| 16.6 | 717M| 66 | 17 | 200 |1241 | 200 | 252 | 31M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1772.22/1772.29 c 1772s| 2760k|363197 | 45823k| 16.6 | 719M| 66 | - | 200 |1241 | 200 | 247 | 31M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1777.82/1777.89 c 1778s| 2770k|364019 | 45962k| 16.6 | 721M| 66 | 83 | 200 |1241 | 200 | 284 | 31M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1783.43/1783.48 c 1783s| 2780k|364749 | 46102k| 16.6 | 722M| 66 | - | 200 |1241 | 200 | 248 | 31M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1789.02/1789.10 c 1789s| 2790k|365447 | 46240k| 16.6 | 724M| 66 | - | 200 |1241 | 200 | 259 | 31M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1794.63/1794.63 c 1795s| 2800k|366195 | 46375k| 16.6 | 726M| 66 | 40 | 200 |1241 | 200 | 221 | 31M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1797.02/1797.00 c
1797.02/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.02/1797.00 c Solving Time (sec) : 1797.00
1797.02/1797.00 c Solving Nodes : 2804328
1797.02/1797.00 c Primal Bound : -5.10000000000000e+01 (597 solutions)
1797.02/1797.00 c Dual Bound : -5.90000000000000e+01
1797.02/1797.00 c Gap : 13.56 %
1797.02/1797.00 s SATISFIABLE
1797.02/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
1797.02/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
1797.02/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
1797.02/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
1797.02/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
1797.02/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
1797.02/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
1797.02/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
1797.02/1797.00 v -x10 -x9 -x8 -x7 -x6 -x5 x4 -x3 x2 -x1
1797.02/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.02/1797.00 c Total Time : 1797.00
1797.02/1797.00 c solving : 1797.00
1797.02/1797.00 c presolving : 0.04 (included in solving)
1797.02/1797.00 c reading : 0.01 (included in solving)
1797.02/1797.00 c Original Problem :
1797.02/1797.00 c Problem name : HOME/instance-3488604-1307784423.opb
1797.02/1797.00 c Variables : 1441 (1441 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.00 c Constraints : 1641 initial, 1641 maximal
1797.02/1797.00 c Presolved Problem :
1797.02/1797.00 c Problem name : t_HOME/instance-3488604-1307784423.opb
1797.02/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.00 c Constraints : 1241 initial, 1241 maximal
1797.02/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.02/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c probing : 0.01 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c and : 0.02 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c linear : 0.00 1241 0 0 1241 0 200 0 0 0
1797.02/1797.00 c pseudoboolean : 0.00 0 0 0 0 0 200 0 0 0
1797.02/1797.00 c root node : - 0 - - 0 - - - - -
1797.02/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.02/1797.00 c integral : 0 0 0 2607578 0 904272 0 203 1262 0 0 3256328
1797.02/1797.00 c setppc : 1241 36 4813790 978667 2 904268 0 42 12834524 31892073 0 0
1797.02/1797.00 c countsols : 0 0 0 7 2 592 0 0 0 0 0 0
1797.02/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.02/1797.00 c integral : 42.68 0.00 0.00 42.48 0.00 0.20 0.00
1797.02/1797.00 c setppc : 76.64 0.01 38.45 28.91 0.00 9.27 0.00
1797.02/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.02/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.02/1797.00 c vbounds : 0 0 0 0
1797.02/1797.00 c rootredcost : 10 0 0 0
1797.02/1797.00 c pseudoobj : 4815302 0 0 0
1797.02/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.02/1797.00 c vbounds : 0.87 0.87 0.00
1797.02/1797.00 c rootredcost : 0.87 0.87 0.00
1797.02/1797.00 c pseudoobj : 22.53 22.53 0.00
1797.02/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.02/1797.00 c propagation : 0.00 42 0 0 0.0 0 0.0 -
1797.02/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.02/1797.00 c applied globally : - - - 0 0.0 - - -
1797.02/1797.00 c applied locally : - - - 0 0.0 - - -
1797.02/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.02/1797.00 c cut pool : 0.02 35 - - 88 - (maximal pool size: 2189)
1797.02/1797.00 c redcost : 11.77 2798979 0 375683 0 0
1797.02/1797.00 c impliedbounds : 0.00 36 0 0 707 0
1797.02/1797.00 c intobj : 0.00 0 0 0 0 0
1797.02/1797.00 c gomory : 0.69 36 0 0 10372 0
1797.02/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.02/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.02/1797.00 c strongcg : 0.26 20 0 0 7787 0
1797.02/1797.00 c cmir : 0.03 10 0 0 0 0
1797.02/1797.00 c flowcover : 0.03 10 0 0 0 0
1797.02/1797.00 c clique : 0.04 36 0 0 239 0
1797.02/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.02/1797.00 c mcf : 0.00 1 0 0 0 0
1797.02/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.02/1797.00 c rapidlearning : 0.02 1 0 0 0 0
1797.02/1797.00 c Pricers : Time Calls Vars
1797.02/1797.00 c problem variables: 0.00 0 0
1797.02/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.02/1797.00 c relpscost : 41.40 1628911 203 1262 0 0 3256328
1797.02/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.02/1797.00 c inference : 0.00 2 0 0 0 0 4
1797.02/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.02/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.02/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.02/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.02/1797.00 c random : 0.00 0 0 0 0 0 0
1797.02/1797.00 c Primal Heuristics : Time Calls Found
1797.02/1797.00 c LP solutions : 0.22 - 7
1797.02/1797.00 c pseudo solutions : 0.00 - 0
1797.02/1797.00 c oneopt : 0.64 11 0
1797.02/1797.00 c crossover : 1.05 13 4
1797.02/1797.00 c guideddiving : 4.71 4333 20
1797.02/1797.00 c coefdiving : 4.22 4333 33
1797.02/1797.00 c veclendiving : 4.48 4333 47
1797.02/1797.00 c pscostdiving : 4.28 4333 30
1797.02/1797.00 c objpscostdiving : 2.10 2167 32
1797.02/1797.00 c rootsoldiving : 2.11 2167 0
1797.02/1797.00 c linesearchdiving : 4.40 4334 31
1797.02/1797.00 c fracdiving : 4.63 4334 23
1797.02/1797.00 c trivial : 0.00 2 1
1797.02/1797.00 c shiftandpropagate: 0.00 0 0
1797.02/1797.00 c simplerounding : 18.85 1638952 364
1797.02/1797.00 c zirounding : 0.51 1000 1
1797.02/1797.00 c rounding : 7.66 85591 2
1797.02/1797.00 c shifting : 1.81 19267 1
1797.02/1797.00 c intshifting : 0.04 0 0
1797.02/1797.00 c twoopt : 0.00 0 0
1797.02/1797.00 c fixandinfer : 0.00 0 0
1797.02/1797.00 c feaspump : 0.06 0 0
1797.02/1797.00 c clique : 0.00 0 0
1797.02/1797.00 c intdiving : 0.00 0 0
1797.02/1797.00 c actconsdiving : 0.00 0 0
1797.02/1797.00 c octane : 0.00 0 0
1797.02/1797.00 c rens : 0.01 0 0
1797.02/1797.00 c rins : 0.00 0 0
1797.02/1797.00 c localbranching : 0.00 0 0
1797.02/1797.00 c mutation : 0.00 0 0
1797.02/1797.00 c dins : 0.00 0 0
1797.02/1797.00 c vbounds : 0.00 0 0
1797.02/1797.00 c undercover : 0.01 1 0
1797.02/1797.00 c subnlp : 0.45 0 0
1797.02/1797.00 c trysol : 0.68 0 0
1797.02/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.02/1797.00 c primal LP : 42.84 0 0 0.00 0.00
1797.02/1797.00 c dual LP : 1218.86 3800284 45910605 12.08 37666.96
1797.02/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.02/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.02/1797.00 c diving/probing LP: 20.86 87594 524228 5.98 25136.47
1797.02/1797.00 c strong branching : 19.57 33014 452456 13.70 23122.35
1797.02/1797.00 c (at root node) : - 30 9057 301.90 -
1797.02/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.02/1797.00 c B&B Tree :
1797.02/1797.00 c number of runs : 1
1797.02/1797.00 c nodes : 2804328
1797.02/1797.00 c nodes (total) : 2804328
1797.02/1797.00 c nodes left : 366503
1797.02/1797.00 c max depth : 66
1797.02/1797.00 c max depth (total): 66
1797.02/1797.00 c backtracks : 426927 (15.2%)
1797.02/1797.00 c delayed cutoffs : 0
1797.02/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.02/1797.00 c avg switch length: 5.26
1797.02/1797.00 c switching time : 119.05
1797.02/1797.00 c Solution :
1797.02/1797.00 c Solutions found : 597 (14 improvements)
1797.02/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1797.02/1797.00 c Primal Bound : -5.10000000000000e+01 (in run 1, after 471717 nodes, 419.28 seconds, depth 53, found by <relaxation>)
1797.02/1797.00 c Dual Bound : -5.90000000000000e+01
1797.02/1797.00 c Gap : 13.56 %
1797.02/1797.00 c Root Dual Bound : -6.93314752162609e+01
1797.02/1797.00 c Root Iterations : 5913
1798.43/1798.41 c Time complete: 1798.44.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3488604-1307784423/watcher-3488604-1307784423 -o /tmp/evaluation-result-3488604-1307784423/solver-3488604-1307784423 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488604-1307784423.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: 1.84 1.97 2.01 5/176 22474
/proc/meminfo: memFree=31689260/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=12216 CPUtime=0 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 2109 0 0 0 0 0 0 0 25 0 1 0 890041108 12509184 2063 33554432000 4194304 9016284 140733353443536 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22473/statm: 3140 2074 348 1178 0 1958 0
[startup+0.074828 s]
/proc/loadavg: 1.84 1.97 2.01 5/176 22474
/proc/meminfo: memFree=31689260/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=36824 CPUtime=0.06 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 8097 0 0 0 6 0 0 0 25 0 1 0 890041108 37707776 7772 33554432000 4194304 9016284 140733353443536 18446744073709551615 4447394 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22473/statm: 9206 7772 645 1178 0 8024 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 36824
[startup+0.100817 s]
/proc/loadavg: 1.84 1.97 2.01 5/176 22474
/proc/meminfo: memFree=31689260/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=38812 CPUtime=0.09 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 10810 0 0 0 8 1 0 0 25 0 1 0 890041108 39743488 8311 33554432000 4194304 9016284 140733353443536 18446744073709551615 4445973 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22473/statm: 9703 8311 685 1178 0 8521 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38812
[startup+0.300782 s]
/proc/loadavg: 1.84 1.97 2.01 5/176 22474
/proc/meminfo: memFree=31689260/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=35764 CPUtime=0.29 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 13349 0 0 0 28 1 0 0 25 0 1 0 890041108 36622336 7835 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22473/statm: 8941 7835 688 1178 0 7759 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35764
[startup+0.70076 s]
/proc/loadavg: 1.84 1.97 2.01 5/176 22474
/proc/meminfo: memFree=31689260/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=40792 CPUtime=0.69 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 14622 0 0 0 66 3 0 0 25 0 1 0 890041108 41771008 9097 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22473/statm: 10198 9097 690 1178 0 9016 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40792
[startup+1.50062 s]
/proc/loadavg: 1.86 1.97 2.01 4/178 22476
/proc/meminfo: memFree=31557604/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=49552 CPUtime=1.49 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 16779 0 0 0 145 4 0 0 25 0 1 0 890041108 50741248 11254 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22473/statm: 12388 11254 691 1178 0 11206 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49552
[startup+3.10039 s]
/proc/loadavg: 1.86 1.97 2.01 4/178 22476
/proc/meminfo: memFree=31547168/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=49580 CPUtime=3.09 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 18416 0 0 0 302 7 0 0 25 0 1 0 890041108 50769920 11346 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22473/statm: 12395 11346 697 1178 0 11213 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49580
[startup+6.30071 s]
/proc/loadavg: 1.86 1.97 2.01 4/178 22476
/proc/meminfo: memFree=31538748/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=50508 CPUtime=6.29 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 21401 0 0 0 607 22 0 0 25 0 1 0 890041108 51720192 11572 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22473/statm: 12627 11572 703 1178 0 11445 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50508
[startup+12.7006 s]
/proc/loadavg: 1.88 1.97 2.01 4/178 22476
/proc/meminfo: memFree=31502924/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=54116 CPUtime=12.69 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 32427 0 0 0 1222 47 0 0 25 0 1 0 890041108 55414784 12466 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22473/statm: 13529 12466 703 1178 0 12347 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54116
[startup+25.5004 s]
/proc/loadavg: 1.90 1.97 2.01 4/178 22476
/proc/meminfo: memFree=31482656/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=65016 CPUtime=25.49 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 36940 0 0 0 2457 92 0 0 25 0 1 0 890041108 66576384 15229 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22473/statm: 16254 15229 703 1178 0 15072 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 65016
[startup+51.1008 s]
/proc/loadavg: 1.93 1.97 2.01 4/178 22477
/proc/meminfo: memFree=31414520/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=86572 CPUtime=51.09 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 56811 0 0 0 4936 173 0 0 25 0 1 0 890041108 88649728 20645 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22473/statm: 21643 20645 703 1178 0 20461 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 86572
[startup+102.307 s]
/proc/loadavg: 1.97 1.97 2.00 4/178 22478
/proc/meminfo: memFree=31358964/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=132060 CPUtime=102.29 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 71825 0 0 0 9879 350 0 0 25 0 1 0 890041108 135229440 32127 33554432000 4194304 9016284 140733353443536 18446744073709551615 4679568 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22473/statm: 33015 32127 703 1178 0 31833 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 132060
[startup+162.301 s]
/proc/loadavg: 1.99 1.97 2.00 4/178 22480
/proc/meminfo: memFree=31310536/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=180956 CPUtime=162.29 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 95365 0 0 0 15699 530 0 0 25 0 1 0 890041108 185298944 44054 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22473/statm: 45239 44054 703 1178 0 44057 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 180956
[startup+222.3 s]
/proc/loadavg: 1.99 1.97 2.00 4/178 22482
/proc/meminfo: memFree=31272164/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=220068 CPUtime=222.28 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 110436 0 0 0 21478 750 0 0 25 0 1 0 890041108 225349632 53822 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22473/statm: 55017 53822 703 1178 0 53835 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 220068
[startup+282.301 s]
/proc/loadavg: 1.99 1.97 2.00 4/178 22483
/proc/meminfo: memFree=31225464/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=266712 CPUtime=282.29 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 125013 0 0 0 27226 1003 0 0 25 0 1 0 890041108 273113088 65604 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22473/statm: 66678 65604 703 1178 0 65496 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 266712
[startup+342.301 s]
/proc/loadavg: 1.99 1.97 2.00 4/178 22485
/proc/meminfo: memFree=31182252/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=309072 CPUtime=342.28 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 137455 0 0 0 32974 1254 0 0 25 0 1 0 890041108 316489728 76296 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22473/statm: 77268 76296 703 1178 0 76086 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 309072
[startup+402.3 s]
/proc/loadavg: 1.99 1.97 2.00 4/178 22486
/proc/meminfo: memFree=31139660/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=351480 CPUtime=402.29 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 148162 0 0 0 38720 1509 0 0 25 0 1 0 890041108 359915520 86996 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22473/statm: 87870 86996 703 1178 0 86688 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 351480
[startup+462.301 s]
/proc/loadavg: 2.15 2.01 2.01 4/178 22488
/proc/meminfo: memFree=31121988/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=364608 CPUtime=462.29 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 173901 0 0 0 44478 1751 0 0 25 0 1 0 890041108 373358592 90391 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22473/statm: 91152 90391 703 1178 0 89970 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 364608
[startup+522.301 s]
/proc/loadavg: 2.06 2.00 2.00 4/178 22490
/proc/meminfo: memFree=31121796/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=365632 CPUtime=522.29 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 175842 0 0 0 50245 1984 0 0 25 0 1 0 890041108 374407168 90572 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22473/statm: 91408 90572 703 1178 0 90226 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 365632
[startup+582.301 s]
/proc/loadavg: 2.02 2.00 2.00 4/178 22491
/proc/meminfo: memFree=31115536/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=371632 CPUtime=582.29 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 179086 0 0 0 56015 2214 0 0 25 0 1 0 890041108 380551168 92052 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22473/statm: 92908 92052 703 1178 0 91726 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 371632
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30918988/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=562768 CPUtime=1122.31 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 230711 0 0 0 107939 4292 0 0 25 0 1 0 890041108 576274432 139097 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22473/statm: 140692 139097 703 1178 0 139510 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 562768
[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 4/178 22507
/proc/meminfo: memFree=30897352/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=581456 CPUtime=1182.31 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 235457 0 0 0 113707 4524 0 0 25 0 1 0 890041108 595410944 143843 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22473/statm: 145364 143843 703 1178 0 144182 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 581456
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/178 22509
/proc/meminfo: memFree=30873848/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=600336 CPUtime=1242.31 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 240179 0 0 0 119476 4755 0 0 25 0 1 0 890041108 614744064 148565 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22473/statm: 150084 148565 703 1178 0 148902 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 600336
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 22510
/proc/meminfo: memFree=30847728/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=621584 CPUtime=1302.32 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 245532 0 0 0 125239 4993 0 0 25 0 1 0 890041108 636502016 153918 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22473/statm: 155396 153918 703 1178 0 154214 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 621584
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 22512
/proc/meminfo: memFree=30826340/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=635868 CPUtime=1362.31 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 249130 0 0 0 131005 5226 0 0 25 0 1 0 890041108 651128832 157516 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22473/statm: 158967 157516 703 1178 0 157785 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 635868
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 22514
/proc/meminfo: memFree=30796508/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=659164 CPUtime=1422.32 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 257821 0 0 0 136765 5467 0 0 25 0 1 0 890041108 674983936 163413 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22473/statm: 164791 163413 703 1178 0 163609 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 659164
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 22515
/proc/meminfo: memFree=30773864/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=676444 CPUtime=1482.31 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 262140 0 0 0 142540 5691 0 0 25 0 1 0 890041108 692678656 167732 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22473/statm: 169111 167732 703 1178 0 167929 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 676444
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 22517
/proc/meminfo: memFree=30752464/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=691804 CPUtime=1542.32 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 266045 0 0 0 148311 5921 0 0 25 0 1 0 890041108 708407296 171637 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22473/statm: 172951 171637 703 1178 0 171769 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 691804
[startup+1602.3 s]
/proc/loadavg: 2.11 2.03 2.01 4/178 22518
/proc/meminfo: memFree=30726604/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=710284 CPUtime=1602.32 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 270663 0 0 0 154088 6144 0 0 25 0 1 0 890041108 727330816 176255 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22473/statm: 177571 176255 703 1178 0 176389 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 710284
[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 2.00 4/178 22520
/proc/meminfo: memFree=30707556/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=724304 CPUtime=1662.32 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 274197 0 0 0 159861 6371 0 0 25 0 1 0 890041108 741687296 179789 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22473/statm: 181076 179789 703 1178 0 179894 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 724304
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 4/178 22522
/proc/meminfo: memFree=30685020/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=741456 CPUtime=1722.33 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 278551 0 0 0 165637 6596 0 0 25 0 1 0 890041108 759250944 184143 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22473/statm: 185364 184143 703 1178 0 184182 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 741456
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/178 22523
/proc/meminfo: memFree=30663112/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=756624 CPUtime=1782.32 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 282385 0 0 0 171413 6819 0 0 25 0 1 0 890041108 774782976 187977 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22473/statm: 189156 187977 703 1178 0 187974 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 756624
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 2.00 4/178 22523
/proc/meminfo: memFree=30660248/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=758608 CPUtime=1791.94 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 282844 0 0 0 172331 6863 0 0 25 0 1 0 890041108 776814592 188436 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22473/statm: 189652 188436 703 1178 0 188470 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 758608
[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 2.00 4/178 22524
/proc/meminfo: memFree=30658760/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=760016 CPUtime=1795.13 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 283197 0 0 0 172641 6872 0 0 25 0 1 0 890041108 778256384 188789 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22473/statm: 190004 188789 703 1178 0 188822 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 760016
[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 2.00 4/178 22524
/proc/meminfo: memFree=30658880/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=760464 CPUtime=1796.73 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 283309 0 0 0 172796 6877 0 0 25 0 1 0 890041108 778715136 188901 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22473/statm: 190116 188901 703 1178 0 188934 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 760464
[startup+1797.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 22524
/proc/meminfo: memFree=30932812/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=760464 CPUtime=1797.53 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 283311 0 0 0 172875 6878 0 0 18 0 1 0 890041108 778715136 188903 33554432000 4194304 9016284 140733353443536 18446744073709551615 4897769 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/22473/statm: 190116 188903 705 1178 0 188934 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 760464
[startup+1797.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 22524
/proc/meminfo: memFree=30932812/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=760464 CPUtime=1797.93 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 283311 0 0 0 172915 6878 0 0 19 0 1 0 890041108 778715136 188903 33554432000 4194304 9016284 140733353443536 18446744073709551615 6548932 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/22473/statm: 190116 188903 705 1178 0 188934 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 760464
[startup+1798.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 22524
/proc/meminfo: memFree=30932812/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=760464 CPUtime=1798.33 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 283311 0 0 0 172955 6878 0 0 19 0 1 0 890041108 778715136 188903 33554432000 4194304 9016284 140733353443536 18446744073709551615 6812833 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/22473/statm: 190116 188903 705 1178 0 188934 0
Current children cumulated CPU time (s) 1798.33
Current children cumulated vsize (KiB) 760464
[startup+1798.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 22562
/proc/meminfo: memFree=31382124/32950928 swapFree=67048868/67111528
[pid=22473] ppid=22469 vsize=188280 CPUtime=1798.43 cores=0,2,4,6
/proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 283311 0 0 0 172963 6880 0 0 19 0 1 0 890041108 192798720 28823 33554432000 4194304 9016284 140733353443536 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/22473/statm: 47070 28823 705 1178 0 45888 0
Current children cumulated CPU time (s) 1798.43
Current children cumulated vsize (KiB) 188280
Child status: 0
Real time (s): 1798.41
CPU time (s): 1798.44
CPU user time (s): 1729.63
CPU system time (s): 68.8105
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 760464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1729.63
system time used= 68.8105
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283316
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= 7
involuntary context switches= 5578
runsolver used 2.68959 second user time and 6.88595 second system time
The end