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-3737285-1338726288.opb>
0.00/0.01 c original problem has 1464 variables (1464 bin, 0 int, 0 impl, 0 cont) and 1664 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 o 0
0.00/0.02 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.02 c presolving:
0.00/0.04 c (round 1) 1264 del vars, 400 del conss, 0 add conss, 1264 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5056 impls, 0 clqs
0.00/0.04 c (round 2) 1264 del vars, 400 del conss, 0 add conss, 1264 chg bounds, 0 chg sides, 0 chg coeffs, 1264 upgd conss, 5056 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 1264 deleted vars, 400 deleted constraints, 0 added constraints, 1264 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 7582 implications, 0 cliques
0.00/0.05 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 1264 constraints
0.00/0.05 c 1264 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 | 227 | - |4637k| 0 | 200 | 200 |1264 | 200 |1264 | 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 | 227 | - |4639k| 0 | 200 | 200 |1264 | 200 |1264 | 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 | 227 | - |4641k| 0 | 200 | 200 |1264 | 200 |1264 | 0 | 0 | 0 |-1.000000e+02 |-2.000000e+00 | 98.00%
0.09/0.11 o -33
0.09/0.11 c y 0.1s| 1 | 0 | 227 | - |4885k| 0 | 200 | 200 |1264 | 200 |1264 | 0 | 0 | 0 |-1.000000e+02 |-3.300000e+01 | 67.00%
0.09/0.12 c 0.1s| 1 | 0 | 284 | - |4650k| 0 | 192 | 200 |1264 | 200 |1274 | 10 | 0 | 0 |-9.600000e+01 |-3.300000e+01 | 65.62%
0.09/0.14 c 0.1s| 1 | 0 | 385 | - |4658k| 0 | 189 | 200 |1264 | 200 |1283 | 19 | 0 | 0 |-9.450000e+01 |-3.300000e+01 | 65.08%
0.09/0.17 c 0.2s| 1 | 0 | 419 | - |4665k| 0 | 185 | 200 |1264 | 200 |1290 | 26 | 0 | 0 |-9.250000e+01 |-3.300000e+01 | 64.32%
0.19/0.21 c 0.2s| 1 | 0 | 562 | - |4685k| 0 | 187 | 200 |1264 | 200 |1298 | 34 | 0 | 0 |-9.100000e+01 |-3.300000e+01 | 63.74%
0.19/0.25 c 0.2s| 1 | 0 | 703 | - |4784k| 0 | 179 | 200 |1264 | 200 |1310 | 46 | 0 | 0 |-8.850000e+01 |-3.300000e+01 | 62.71%
0.29/0.30 c 0.3s| 1 | 0 | 917 | - |4916k| 0 | 180 | 200 |1264 | 200 |1319 | 55 | 0 | 0 |-8.725000e+01 |-3.300000e+01 | 62.18%
0.29/0.34 c 0.3s| 1 | 0 | 1053 | - |4958k| 0 | 173 | 200 |1264 | 200 |1327 | 63 | 0 | 0 |-8.650000e+01 |-3.300000e+01 | 61.85%
0.29/0.39 c 0.4s| 1 | 0 | 1218 | - |5020k| 0 | 174 | 200 |1264 | 200 |1335 | 71 | 0 | 0 |-8.475000e+01 |-3.300000e+01 | 61.06%
0.39/0.43 c 0.4s| 1 | 0 | 1331 | - |5150k| 0 | 164 | 200 |1264 | 200 |1348 | 84 | 0 | 0 |-8.200000e+01 |-3.300000e+01 | 59.76%
0.39/0.47 c 0.5s| 1 | 0 | 1438 | - |5177k| 0 | 168 | 200 |1264 | 200 |1358 | 94 | 0 | 0 |-8.100000e+01 |-3.300000e+01 | 59.26%
0.49/0.55 c 0.5s| 1 | 0 | 1758 | - |5801k| 0 | 178 | 200 |1264 | 200 | 428 | 104 | 0 | 0 |-8.056250e+01 |-3.300000e+01 | 59.04%
0.49/0.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.58 c 0.6s| 1 | 0 | 1948 | - |5856k| 0 | 193 | 200 |1264 | 200 | 435 | 111 | 0 | 0 |-8.026966e+01 |-3.300000e+01 | 58.89%
0.58/0.66 c 0.7s| 1 | 0 | 2366 | - |6424k| 0 | 189 | 200 |1264 | 200 | 535 | 211 | 0 | 0 |-7.951353e+01 |-3.300000e+01 | 58.50%
0.69/0.72 c 0.7s| 1 | 0 | 2741 | - |6617k| 0 | 195 | 200 |1264 | 200 | 581 | 257 | 0 | 0 |-7.806164e+01 |-3.300000e+01 | 57.73%
0.79/0.80 c 0.8s| 1 | 0 | 3023 | - |7632k| 0 | 195 | 200 |1264 | 200 | 648 | 324 | 0 | 0 |-7.700000e+01 |-3.300000e+01 | 57.14%
0.89/0.92 c 0.9s| 1 | 0 | 3844 | - |8898k| 0 | 192 | 200 |1264 | 200 | 707 | 383 | 0 | 0 |-7.605556e+01 |-3.300000e+01 | 56.61%
0.89/0.98 c 1.0s| 1 | 0 | 4097 | - |9006k| 0 | 196 | 200 |1264 | 200 | 604 | 407 | 0 | 0 |-7.511965e+01 |-3.300000e+01 | 56.07%
0.98/1.08 c 1.1s| 1 | 0 | 4305 | - | 10M| 0 | 194 | 200 |1264 | 200 | 638 | 441 | 0 | 0 |-7.418343e+01 |-3.300000e+01 | 55.52%
1.09/1.17 c 1.2s| 1 | 0 | 4587 | - | 11M| 0 | 192 | 200 |1264 | 200 | 660 | 463 | 0 | 0 |-7.362470e+01 |-3.300000e+01 | 55.18%
1.20/1.25 c 1.3s| 1 | 0 | 4838 | - | 12M| 0 | 196 | 200 |1264 | 200 | 678 | 481 | 0 | 0 |-7.331979e+01 |-3.300000e+01 | 54.99%
1.29/1.31 c 1.3s| 1 | 0 | 5010 | - | 12M| 0 | 197 | 200 |1264 | 200 | 701 | 504 | 0 | 0 |-7.304592e+01 |-3.300000e+01 | 54.82%
1.29/1.36 c 1.4s| 1 | 0 | 5216 | - | 12M| 0 | 197 | 200 |1264 | 200 | 723 | 526 | 0 | 0 |-7.275184e+01 |-3.300000e+01 | 54.64%
1.39/1.42 c 1.4s| 1 | 0 | 5458 | - | 12M| 0 | 198 | 200 |1264 | 200 | 588 | 541 | 0 | 0 |-7.219427e+01 |-3.300000e+01 | 54.29%
1.39/1.46 c 1.5s| 1 | 0 | 5636 | - | 12M| 0 | 198 | 200 |1264 | 200 | 602 | 555 | 0 | 0 |-7.190289e+01 |-3.300000e+01 | 54.10%
1.49/1.51 c 1.5s| 1 | 0 | 5768 | - | 12M| 0 | 200 | 200 |1264 | 200 | 619 | 572 | 0 | 0 |-7.165485e+01 |-3.300000e+01 | 53.95%
1.49/1.56 c 1.6s| 1 | 0 | 6026 | - | 12M| 0 | 198 | 200 |1264 | 200 | 632 | 585 | 0 | 0 |-7.142493e+01 |-3.300000e+01 | 53.80%
1.59/1.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.59/1.60 c 1.6s| 1 | 0 | 6101 | - | 12M| 0 | 198 | 200 |1264 | 200 | 642 | 595 | 0 | 0 |-7.137731e+01 |-3.300000e+01 | 53.77%
1.59/1.65 c 1.6s| 1 | 0 | 6247 | - | 12M| 0 | 200 | 200 |1264 | 200 | 655 | 608 | 0 | 0 |-7.103401e+01 |-3.300000e+01 | 53.54%
1.69/1.70 c 1.7s| 1 | 0 | 6347 | - | 12M| 0 | 197 | 200 |1264 | 200 | 441 | 615 | 0 | 0 |-7.083709e+01 |-3.300000e+01 | 53.41%
1.69/1.73 c 1.7s| 1 | 0 | 6421 | - | 13M| 0 | 198 | 200 |1264 | 200 | 450 | 624 | 0 | 0 |-7.074325e+01 |-3.300000e+01 | 53.35%
1.69/1.76 c 1.8s| 1 | 0 | 6464 | - | 13M| 0 | 198 | 200 |1264 | 200 | 462 | 636 | 0 | 0 |-7.070528e+01 |-3.300000e+01 | 53.33%
1.69/1.79 c 1.8s| 1 | 0 | 6506 | - | 13M| 0 | 198 | 200 |1264 | 200 | 470 | 644 | 0 | 0 |-7.068522e+01 |-3.300000e+01 | 53.31%
1.78/1.82 c 1.8s| 1 | 0 | 6525 | - | 13M| 0 | 198 | 200 |1264 | 200 | 476 | 650 | 0 | 0 |-7.068028e+01 |-3.300000e+01 | 53.31%
1.78/1.85 c 1.8s| 1 | 0 | 6527 | - | 13M| 0 | 198 | 200 |1264 | 200 | 478 | 652 | 0 | 0 |-7.068017e+01 |-3.300000e+01 | 53.31%
2.30/2.33 c 2.3s| 1 | 2 | 6527 | - | 13M| 0 | 198 | 200 |1264 | 200 | 478 | 652 | 0 | 15 |-7.068017e+01 |-3.300000e+01 | 53.31%
2.69/2.78 o -46
2.69/2.78 c * 2.8s| 27 | 26 | 7731 | 46.3 | 13M| 16 | - | 200 |1264 | 200 | 278 | 917 | 0 | 438 |-7.036385e+01 |-4.600000e+01 | 34.63%
21.09/21.11 o -47
21.09/21.11 c *21.1s| 9515 | 9165 |457547 | 47.4 | 27M| 37 | - | 200 |1264 | 200 | 267 | 204k| 0 |2714 |-6.700000e+01 |-4.700000e+01 | 29.85%
21.89/21.95 c 22.0s| 10000 | 9612 |477736 | 47.1 | 27M| 37 | 34 | 200 |1264 | 200 | 200 | 214k| 0 |2817 |-6.700000e+01 |-4.700000e+01 | 29.85%
35.09/35.12 c 35.1s| 20000 | 17846 |825836 | 41.0 | 39M| 41 | 38 | 200 |1264 | 200 | 253 | 395k| 0 |3888 |-6.570000e+01 |-4.700000e+01 | 28.46%
46.79/46.80 o -48
46.79/46.80 c *46.8s| 29927 | 23424 | 1136k| 37.8 | 49M| 42 | - | 200 |1264 | 200 | 262 | 560k| 0 |4659 |-6.500000e+01 |-4.800000e+01 | 26.15%
46.79/46.82 o -50
46.79/46.82 c *46.8s| 29932 | 19287 | 1136k| 37.7 | 44M| 42 | - | 200 |1264 | 200 | 255 | 560k| 0 |4659 |-6.500000e+01 |-5.000000e+01 | 23.08%
46.79/46.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.79/46.88 c 46.9s| 30000 | 19319 | 1137k| 37.7 | 44M| 42 | 13 | 200 |1264 | 200 | 225 | 561k| 0 |4674 |-6.500000e+01 |-5.000000e+01 | 23.08%
56.58/56.61 c 56.6s| 40000 | 23959 | 1395k| 34.7 | 52M| 43 | 65 | 200 |1264 | 200 | 246 | 713k| 0 |5302 |-6.457895e+01 |-5.000000e+01 | 22.58%
65.38/65.46 c 65.5s| 50000 | 28211 | 1630k| 32.5 | 59M| 46 | 55 | 200 |1264 | 200 | 263 | 851k| 0 |5772 |-6.420000e+01 |-5.000000e+01 | 22.12%
74.18/74.23 c 74.2s| 60000 | 32001 | 1863k| 31.0 | 65M| 46 | 60 | 200 |1264 | 200 | 273 | 994k| 0 |6283 |-6.400000e+01 |-5.000000e+01 | 21.88%
82.28/82.39 c 82.4s| 70000 | 35331 | 2078k| 29.6 | 71M| 52 | 78 | 200 |1264 | 200 | 270 |1124k| 0 |6706 |-6.388889e+01 |-5.000000e+01 | 21.74%
89.98/90.03 c 90.0s| 80000 | 38357 | 2275k| 28.4 | 77M| 52 | - | 200 |1264 | 200 | 277 |1247k| 0 |7061 |-6.370000e+01 |-5.000000e+01 | 21.51%
97.87/97.91 c 97.9s| 90000 | 41501 | 2481k| 27.5 | 82M| 52 | - | 200 |1264 | 200 | 242 |1373k| 0 |7429 |-6.357143e+01 |-5.000000e+01 | 21.35%
105.36/105.48 c 105s|100000 | 44415 | 2682k| 26.8 | 87M| 52 | 53 | 200 |1264 | 200 | 289 |1499k| 0 |7761 |-6.350000e+01 |-5.000000e+01 | 21.26%
112.86/112.95 c 113s|110000 | 47371 | 2881k| 26.1 | 93M| 52 | - | 200 |1264 | 200 | 272 |1621k| 0 |8078 |-6.333333e+01 |-5.000000e+01 | 21.05%
120.26/120.38 c 120s|120000 | 50153 | 3077k| 25.6 | 98M| 52 | - | 200 |1264 | 200 | 273 |1741k| 0 |8386 |-6.325000e+01 |-5.000000e+01 | 20.95%
127.56/127.65 c 128s|130000 | 52793 | 3269k| 25.1 | 102M| 53 | - | 200 |1264 | 200 | 260 |1859k| 0 |8652 |-6.310000e+01 |-5.000000e+01 | 20.76%
135.04/135.13 c 135s|140000 | 55719 | 3467k| 24.7 | 108M| 53 | - | 200 |1264 | 200 | 257 |1978k| 0 |8906 |-6.300000e+01 |-5.000000e+01 | 20.63%
142.54/142.61 c 143s|150000 | 58455 | 3665k| 24.4 | 113M| 53 | - | 200 |1264 | 200 | 259 |2099k| 0 |9202 |-6.300000e+01 |-5.000000e+01 | 20.63%
150.05/150.13 c 150s|160000 | 61497 | 3867k| 24.1 | 118M| 53 | 11 | 200 |1264 | 200 | 261 |2221k| 0 |9443 |-6.300000e+01 |-5.000000e+01 | 20.63%
157.25/157.35 c 157s|170000 | 64097 | 4057k| 23.8 | 123M| 57 | 73 | 200 |1264 | 200 | 272 |2339k| 0 |9711 |-6.285714e+01 |-5.000000e+01 | 20.45%
164.64/164.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
164.64/164.72 c 165s|180000 | 66877 | 4253k| 23.6 | 128M| 57 | 10 | 200 |1264 | 200 | 283 |2460k| 0 |9956 |-6.275000e+01 |-5.000000e+01 | 20.32%
171.84/171.97 c 172s|190000 | 69603 | 4445k| 23.4 | 133M| 57 | - | 200 |1264 | 200 | 250 |2578k| 0 | 10k|-6.266667e+01 |-5.000000e+01 | 20.21%
179.13/179.21 c 179s|200000 | 72283 | 4636k| 23.2 | 137M| 57 | - | 200 |1264 | 200 | 285 |2696k| 0 | 10k|-6.257143e+01 |-5.000000e+01 | 20.09%
186.33/186.44 c 186s|210000 | 74837 | 4828k| 23.0 | 142M| 57 | - | 200 |1264 | 200 | 265 |2816k| 0 | 10k|-6.250000e+01 |-5.000000e+01 | 20.00%
193.43/193.57 c 194s|220000 | 77335 | 5018k| 22.8 | 147M| 57 | - | 200 |1264 | 200 | 265 |2936k| 0 | 10k|-6.250000e+01 |-5.000000e+01 | 20.00%
200.72/200.83 c 201s|230000 | 79849 | 5213k| 22.6 | 151M| 57 | - | 200 |1264 | 200 | 272 |3057k| 0 | 11k|-6.240000e+01 |-5.000000e+01 | 19.87%
207.72/207.90 c 208s|240000 | 82227 | 5398k| 22.5 | 156M| 57 | 51 | 200 |1264 | 200 | 251 |3175k| 0 | 11k|-6.233333e+01 |-5.000000e+01 | 19.79%
214.82/214.92 c 215s|250000 | 84383 | 5583k| 22.3 | 160M| 57 | 68 | 200 |1264 | 200 | 281 |3293k| 0 | 11k|-6.225000e+01 |-5.000000e+01 | 19.68%
221.72/221.82 c 222s|260000 | 86653 | 5766k| 22.2 | 164M| 62 | 14 | 200 |1264 | 200 | 218 |3408k| 0 | 11k|-6.222222e+01 |-5.000000e+01 | 19.64%
228.32/228.45 c 228s|270000 | 88531 | 5938k| 22.0 | 168M| 62 | - | 200 |1264 | 200 | 270 |3518k| 0 | 11k|-6.215000e+01 |-5.000000e+01 | 19.55%
234.92/235.02 c 235s|280000 | 90231 | 6105k| 21.8 | 171M| 62 | 78 | 200 |1264 | 200 | 255 |3630k| 0 | 11k|-6.200000e+01 |-5.000000e+01 | 19.35%
241.51/241.61 c 242s|290000 | 92153 | 6279k| 21.6 | 175M| 62 | 50 | 200 |1264 | 200 | 257 |3743k| 0 | 12k|-6.200000e+01 |-5.000000e+01 | 19.35%
248.12/248.23 c 248s|300000 | 93953 | 6453k| 21.5 | 178M| 62 | 7 | 200 |1264 | 200 | 259 |3858k| 0 | 12k|-6.200000e+01 |-5.000000e+01 | 19.35%
254.71/254.84 c 255s|310000 | 95739 | 6623k| 21.3 | 182M| 62 | 76 | 200 |1264 | 200 | 268 |3970k| 0 | 12k|-6.200000e+01 |-5.000000e+01 | 19.35%
261.21/261.37 c 261s|320000 | 97407 | 6793k| 21.2 | 185M| 62 | - | 200 |1264 | 200 | 273 |4082k| 0 | 12k|-6.200000e+01 |-5.000000e+01 | 19.35%
267.92/268.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
267.92/268.04 c 268s|330000 | 99329 | 6966k| 21.1 | 189M| 62 | 62 | 200 |1264 | 200 | 245 |4195k| 0 | 12k|-6.200000e+01 |-5.000000e+01 | 19.35%
274.61/274.70 c 275s|340000 |101159 | 7138k| 21.0 | 193M| 62 | 68 | 200 |1264 | 200 | 268 |4307k| 0 | 13k|-6.200000e+01 |-5.000000e+01 | 19.35%
281.11/281.25 c 281s|350000 |102889 | 7308k| 20.9 | 196M| 62 | - | 200 |1264 | 200 | 243 |4420k| 0 | 13k|-6.200000e+01 |-5.000000e+01 | 19.35%
287.71/287.85 c 288s|360000 |104669 | 7478k| 20.8 | 199M| 62 | 38 | 200 |1264 | 200 | 244 |4530k| 0 | 13k|-6.187500e+01 |-5.000000e+01 | 19.19%
293.91/294.07 o -51
293.91/294.07 c * 294s|369334 | 81889 | 7640k| 20.7 | 164M| 62 | - | 200 |1264 | 200 | 265 |4632k| 0 | 13k|-6.183333e+01 |-5.100000e+01 | 17.52%
294.21/294.30 o -52
294.21/294.30 c C 294s|369534 | 63812 | 7643k| 20.7 | 135M| 62 | 94 | 200 |1264 | 200 | 266 |4635k| 0 | 13k|-6.183333e+01 |-5.200000e+01 | 15.90%
294.51/294.63 c 295s|370000 | 63844 | 7651k| 20.7 | 135M| 62 | - | 200 |1264 | 200 | 269 |4640k| 0 | 13k|-6.183333e+01 |-5.200000e+01 | 15.90%
300.81/300.96 c 301s|380000 | 64798 | 7811k| 20.5 | 137M| 62 | 42 | 200 |1264 | 200 | 223 |4758k| 0 | 13k|-6.175000e+01 |-5.200000e+01 | 15.79%
307.21/307.30 c 307s|390000 | 65750 | 7970k| 20.4 | 139M| 62 | - | 200 |1264 | 200 | 277 |4874k| 0 | 13k|-6.175000e+01 |-5.200000e+01 | 15.79%
313.51/313.65 c 314s|400000 | 66822 | 8132k| 20.3 | 142M| 62 | - | 200 |1264 | 200 | 243 |4989k| 0 | 13k|-6.166667e+01 |-5.200000e+01 | 15.68%
319.81/319.91 c 320s|410000 | 67778 | 8291k| 20.2 | 144M| 62 | 26 | 200 |1264 | 200 | 220 |5102k| 0 | 13k|-6.166667e+01 |-5.200000e+01 | 15.68%
326.00/326.14 c 326s|420000 | 68806 | 8451k| 20.1 | 146M| 62 | - | 200 |1264 | 200 | 239 |5219k| 0 | 14k|-6.160000e+01 |-5.200000e+01 | 15.58%
332.20/332.35 c 332s|430000 | 69724 | 8608k| 20.0 | 148M| 62 | - | 200 |1264 | 200 | 278 |5333k| 0 | 14k|-6.155556e+01 |-5.200000e+01 | 15.52%
338.40/338.57 c 339s|440000 | 70784 | 8767k| 19.9 | 151M| 62 | 30 | 200 |1264 | 200 | 227 |5448k| 0 | 14k|-6.150000e+01 |-5.200000e+01 | 15.45%
344.60/344.78 c 345s|450000 | 71782 | 8923k| 19.8 | 153M| 62 | 79 | 200 |1264 | 200 | 297 |5562k| 0 | 14k|-6.150000e+01 |-5.200000e+01 | 15.45%
350.81/351.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
350.81/351.00 c 351s|460000 | 72812 | 9082k| 19.7 | 155M| 62 | 7 | 200 |1264 | 200 | 245 |5679k| 0 | 14k|-6.150000e+01 |-5.200000e+01 | 15.45%
357.00/357.14 c 357s|470000 | 73728 | 9237k| 19.6 | 157M| 62 | 22 | 200 |1264 | 200 | 220 |5794k| 0 | 14k|-6.150000e+01 |-5.200000e+01 | 15.45%
363.10/363.21 c 363s|480000 | 74558 | 9391k| 19.6 | 159M| 62 | - | 200 |1264 | 200 | 262 |5910k| 0 | 14k|-6.150000e+01 |-5.200000e+01 | 15.45%
369.30/369.43 c 369s|490000 | 75590 | 9549k| 19.5 | 162M| 62 | 62 | 200 |1264 | 200 | 229 |6023k| 0 | 15k|-6.150000e+01 |-5.200000e+01 | 15.45%
375.60/375.75 c 376s|500000 | 76484 | 9709k| 19.4 | 164M| 62 | - | 200 |1264 | 200 | 248 |6140k| 0 | 15k|-6.140000e+01 |-5.200000e+01 | 15.31%
381.80/381.90 c 382s|510000 | 77320 | 9866k| 19.3 | 166M| 62 | 34 | 200 |1264 | 200 | 252 |6254k| 0 | 15k|-6.133333e+01 |-5.200000e+01 | 15.22%
387.79/387.97 c 388s|520000 | 78228 | 10019k| 19.3 | 168M| 62 | - | 200 |1264 | 200 | 268 |6366k| 0 | 15k|-6.133333e+01 |-5.200000e+01 | 15.22%
394.00/394.13 c 394s|530000 | 79206 | 10175k| 19.2 | 170M| 62 | - | 200 |1264 | 200 | 274 |6480k| 0 | 15k|-6.125714e+01 |-5.200000e+01 | 15.11%
400.09/400.25 c 400s|540000 | 80212 | 10328k| 19.1 | 172M| 62 | 108 | 200 |1264 | 200 | 295 |6589k| 0 | 15k|-6.125000e+01 |-5.200000e+01 | 15.10%
406.19/406.37 c 406s|550000 | 81034 | 10483k| 19.0 | 174M| 62 | 80 | 200 |1264 | 200 | 269 |6705k| 0 | 15k|-6.122222e+01 |-5.200000e+01 | 15.06%
412.29/412.45 c 412s|560000 | 81964 | 10636k| 19.0 | 176M| 62 | 18 | 200 |1264 | 200 | 225 |6814k| 0 | 15k|-6.116667e+01 |-5.200000e+01 | 14.99%
418.49/418.60 c 419s|570000 | 82924 | 10790k| 18.9 | 178M| 62 | 9 | 200 |1264 | 200 | 230 |6925k| 0 | 16k|-6.110000e+01 |-5.200000e+01 | 14.89%
424.69/424.87 c 425s|580000 | 83810 | 10948k| 18.9 | 180M| 62 | 22 | 200 |1264 | 200 | 264 |7038k| 0 | 16k|-6.100000e+01 |-5.200000e+01 | 14.75%
430.79/430.91 c 431s|590000 | 84640 | 11099k| 18.8 | 182M| 62 | - | 200 |1264 | 200 | 250 |7150k| 0 | 16k|-6.100000e+01 |-5.200000e+01 | 14.75%
436.89/437.09 c 437s|600000 | 85576 | 11256k| 18.7 | 184M| 62 | - | 200 |1264 | 200 | 255 |7262k| 0 | 16k|-6.100000e+01 |-5.200000e+01 | 14.75%
443.08/443.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
443.08/443.26 c 443s|610000 | 86472 | 11412k| 18.7 | 186M| 62 | 44 | 200 |1264 | 200 | 255 |7381k| 0 | 16k|-6.100000e+01 |-5.200000e+01 | 14.75%
449.18/449.31 c 449s|620000 | 87262 | 11562k| 18.6 | 188M| 62 | - | 200 |1264 | 200 | 283 |7491k| 0 | 16k|-6.100000e+01 |-5.200000e+01 | 14.75%
455.18/455.38 c 455s|630000 | 88184 | 11714k| 18.6 | 190M| 62 | 10 | 200 |1264 | 200 | 266 |7598k| 0 | 16k|-6.100000e+01 |-5.200000e+01 | 14.75%
461.39/461.54 c 462s|640000 | 89032 | 11869k| 18.5 | 192M| 62 | - | 200 |1264 | 200 | 274 |7710k| 0 | 16k|-6.100000e+01 |-5.200000e+01 | 14.75%
467.49/467.66 c 468s|650000 | 89954 | 12025k| 18.5 | 194M| 62 | - | 200 |1264 | 200 | 268 |7823k| 0 | 16k|-6.100000e+01 |-5.200000e+01 | 14.75%
473.58/473.71 c 474s|660000 | 90682 | 12176k| 18.4 | 196M| 62 | 37 | 200 |1264 | 200 | 223 |7935k| 0 | 17k|-6.100000e+01 |-5.200000e+01 | 14.75%
479.59/479.77 c 480s|670000 | 91668 | 12327k| 18.4 | 198M| 62 | 9 | 200 |1264 | 200 | 219 |8042k| 0 | 17k|-6.100000e+01 |-5.200000e+01 | 14.75%
485.57/485.78 c 486s|680000 | 92534 | 12477k| 18.3 | 200M| 62 | - | 200 |1264 | 200 | 286 |8152k| 0 | 17k|-6.100000e+01 |-5.200000e+01 | 14.75%
491.58/491.72 c 492s|690000 | 93216 | 12625k| 18.3 | 202M| 62 | - | 200 |1264 | 200 | 250 |8264k| 0 | 17k|-6.091667e+01 |-5.200000e+01 | 14.64%
497.47/497.65 c 498s|700000 | 93874 | 12772k| 18.2 | 203M| 62 | - | 200 |1264 | 200 | 300 |8374k| 0 | 17k|-6.085714e+01 |-5.200000e+01 | 14.55%
503.47/503.60 c 504s|710000 | 94738 | 12921k| 18.2 | 205M| 62 | - | 200 |1264 | 200 | 244 |8482k| 0 | 17k|-6.083333e+01 |-5.200000e+01 | 14.52%
509.48/509.66 c 510s|720000 | 95586 | 13073k| 18.1 | 207M| 62 | - | 200 |1264 | 200 | 256 |8592k| 0 | 17k|-6.076923e+01 |-5.200000e+01 | 14.43%
515.47/515.61 c 516s|730000 | 96378 | 13225k| 18.1 | 209M| 62 | 12 | 200 |1264 | 200 | 267 |8705k| 0 | 17k|-6.075000e+01 |-5.200000e+01 | 14.40%
521.47/521.62 c 522s|740000 | 97220 | 13375k| 18.1 | 211M| 62 | 24 | 200 |1264 | 200 | 252 |8812k| 0 | 17k|-6.075000e+01 |-5.200000e+01 | 14.40%
527.27/527.44 c 527s|750000 | 97922 | 13518k| 18.0 | 213M| 62 | 17 | 200 |1264 | 200 | 232 |8922k| 0 | 18k|-6.068750e+01 |-5.200000e+01 | 14.32%
533.27/533.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
533.27/533.47 c 533s|760000 | 98712 | 13669k| 18.0 | 215M| 62 | 20 | 200 |1264 | 200 | 232 |9032k| 0 | 18k|-6.066667e+01 |-5.200000e+01 | 14.29%
539.17/539.31 c 539s|770000 | 99486 | 13813k| 17.9 | 216M| 62 | 66 | 200 |1264 | 200 | 265 |9139k| 0 | 18k|-6.066667e+01 |-5.200000e+01 | 14.29%
544.87/545.10 c 545s|780000 |100120 | 13955k| 17.9 | 218M| 62 | - | 200 |1264 | 200 | 249 |9246k| 0 | 18k|-6.066667e+01 |-5.200000e+01 | 14.29%
550.97/551.16 c 551s|790000 |101006 | 14106k| 17.8 | 220M| 62 | - | 200 |1264 | 200 | 260 |9355k| 0 | 18k|-6.062500e+01 |-5.200000e+01 | 14.23%
556.87/557.04 c 557s|800000 |101800 | 14252k| 17.8 | 222M| 62 | 32 | 200 |1264 | 200 | 238 |9463k| 0 | 18k|-6.057143e+01 |-5.200000e+01 | 14.15%
562.67/562.87 c 563s|810000 |102492 | 14396k| 17.8 | 223M| 62 | - | 200 |1264 | 200 | 258 |9570k| 0 | 18k|-6.050000e+01 |-5.200000e+01 | 14.05%
568.67/568.81 c 569s|820000 |103282 | 14543k| 17.7 | 225M| 62 | - | 200 |1264 | 200 | 272 |9677k| 0 | 18k|-6.050000e+01 |-5.200000e+01 | 14.05%
574.46/574.69 c 575s|830000 |103996 | 14690k| 17.7 | 227M| 62 | 18 | 200 |1264 | 200 | 222 |9789k| 0 | 18k|-6.050000e+01 |-5.200000e+01 | 14.05%
580.46/580.66 c 581s|840000 |104814 | 14840k| 17.7 | 229M| 62 | - | 200 |1264 | 200 | 254 |9899k| 0 | 18k|-6.050000e+01 |-5.200000e+01 | 14.05%
586.26/586.48 c 586s|850000 |105526 | 14981k| 17.6 | 230M| 62 | - | 200 |1264 | 200 | 268 | 10M| 0 | 18k|-6.050000e+01 |-5.200000e+01 | 14.05%
592.15/592.31 c 592s|860000 |106170 | 15126k| 17.6 | 232M| 62 | 24 | 200 |1264 | 200 | 230 | 10M| 0 | 19k|-6.050000e+01 |-5.200000e+01 | 14.05%
597.95/598.19 c 598s|870000 |106826 | 15272k| 17.5 | 233M| 62 | - | 200 |1264 | 200 | 244 | 10M| 0 | 19k|-6.050000e+01 |-5.200000e+01 | 14.05%
603.76/603.95 c 604s|880000 |107546 | 15414k| 17.5 | 235M| 62 | 44 | 200 |1264 | 200 | 219 | 10M| 0 | 19k|-6.050000e+01 |-5.200000e+01 | 14.05%
609.65/609.84 c 610s|890000 |108180 | 15559k| 17.5 | 237M| 62 | 109 | 200 |1264 | 200 | 273 | 10M| 0 | 19k|-6.050000e+01 |-5.200000e+01 | 14.05%
615.55/615.74 c 616s|900000 |108880 | 15703k| 17.4 | 238M| 62 | 27 | 200 |1264 | 200 | 241 | 10M| 0 | 19k|-6.044444e+01 |-5.200000e+01 | 13.97%
621.35/621.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
621.35/621.57 c 622s|910000 |109542 | 15845k| 17.4 | 240M| 62 | - | 200 |1264 | 200 | 269 | 10M| 0 | 19k|-6.040000e+01 |-5.200000e+01 | 13.91%
627.35/627.51 c 628s|920000 |110252 | 15992k| 17.4 | 241M| 62 | 87 | 200 |1264 | 200 | 258 | 10M| 0 | 19k|-6.035526e+01 |-5.200000e+01 | 13.84%
633.15/633.34 c 633s|930000 |110918 | 16134k| 17.3 | 243M| 62 | 86 | 200 |1264 | 200 | 270 | 10M| 0 | 19k|-6.033333e+01 |-5.200000e+01 | 13.81%
638.95/639.20 c 639s|940000 |111528 | 16279k| 17.3 | 245M| 62 | - | 200 |1264 | 200 | 262 | 10M| 0 | 19k|-6.033333e+01 |-5.200000e+01 | 13.81%
644.75/644.99 c 645s|950000 |112198 | 16421k| 17.3 | 246M| 62 | - | 200 |1264 | 200 | 261 | 11M| 0 | 19k|-6.033333e+01 |-5.200000e+01 | 13.81%
650.54/650.77 c 651s|960000 |112810 | 16562k| 17.2 | 248M| 62 | - | 200 |1264 | 200 | 261 | 11M| 0 | 19k|-6.025000e+01 |-5.200000e+01 | 13.69%
656.44/656.61 c 657s|970000 |113484 | 16706k| 17.2 | 249M| 62 | - | 200 |1264 | 200 | 267 | 11M| 0 | 20k|-6.025000e+01 |-5.200000e+01 | 13.69%
662.15/662.37 c 662s|980000 |114150 | 16847k| 17.2 | 251M| 62 | - | 200 |1264 | 200 | 280 | 11M| 0 | 20k|-6.025000e+01 |-5.200000e+01 | 13.69%
667.94/668.18 c 668s|990000 |114822 | 16990k| 17.2 | 252M| 62 | - | 200 |1264 | 200 | 268 | 11M| 0 | 20k|-6.020000e+01 |-5.200000e+01 | 13.62%
673.74/673.91 c 674s| 1000k|115518 | 17129k| 17.1 | 254M| 62 | 39 | 200 |1264 | 200 | 253 | 11M| 0 | 20k|-6.018182e+01 |-5.200000e+01 | 13.60%
679.34/679.57 c 680s| 1010k|116064 | 17268k| 17.1 | 255M| 62 | 16 | 200 |1264 | 200 | 248 | 11M| 0 | 20k|-6.016667e+01 |-5.200000e+01 | 13.57%
685.15/685.33 c 685s| 1020k|116684 | 17408k| 17.1 | 257M| 62 | - | 200 |1264 | 200 | 297 | 11M| 0 | 20k|-6.012500e+01 |-5.200000e+01 | 13.51%
690.84/691.03 c 691s| 1030k|117276 | 17546k| 17.0 | 258M| 62 | - | 200 |1264 | 200 | 265 | 11M| 0 | 20k|-6.005882e+01 |-5.200000e+01 | 13.42%
696.64/696.87 c 697s| 1040k|117924 | 17690k| 17.0 | 260M| 62 | 10 | 200 |1264 | 200 | 219 | 12M| 0 | 20k|-6.000000e+01 |-5.200000e+01 | 13.33%
702.44/702.67 c 703s| 1050k|118490 | 17832k| 17.0 | 261M| 63 | 79 | 200 |1264 | 200 | 260 | 12M| 0 | 20k|-6.000000e+01 |-5.200000e+01 | 13.33%
708.34/708.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
708.34/708.56 c 709s| 1060k|119208 | 17978k| 17.0 | 263M| 63 | 18 | 200 |1264 | 200 | 263 | 12M| 0 | 20k|-6.000000e+01 |-5.200000e+01 | 13.33%
714.13/714.31 c 714s| 1070k|119774 | 18119k| 16.9 | 264M| 63 | 39 | 200 |1264 | 200 | 285 | 12M| 0 | 20k|-6.000000e+01 |-5.200000e+01 | 13.33%
719.83/720.05 c 720s| 1080k|120376 | 18258k| 16.9 | 266M| 63 | - | 200 |1264 | 200 | 274 | 12M| 0 | 20k|-6.000000e+01 |-5.200000e+01 | 13.33%
725.53/725.71 c 726s| 1090k|120908 | 18397k| 16.9 | 267M| 63 | 38 | 200 |1264 | 200 | 248 | 12M| 0 | 21k|-6.000000e+01 |-5.200000e+01 | 13.33%
731.23/731.42 c 731s| 1100k|121586 | 18538k| 16.8 | 269M| 63 | 9 | 200 |1264 | 200 | 253 | 12M| 0 | 21k|-6.000000e+01 |-5.200000e+01 | 13.33%
736.94/737.18 c 737s| 1110k|122330 | 18679k| 16.8 | 270M| 63 | - | 200 |1264 | 200 | 243 | 12M| 0 | 21k|-6.000000e+01 |-5.200000e+01 | 13.33%
742.73/742.94 c 743s| 1120k|123076 | 18819k| 16.8 | 272M| 63 | - | 200 |1264 | 200 | 254 | 12M| 0 | 21k|-6.000000e+01 |-5.200000e+01 | 13.33%
748.43/748.69 c 749s| 1130k|123716 | 18959k| 16.8 | 273M| 66 | - | 200 |1264 | 200 | 251 | 13M| 0 | 21k|-6.000000e+01 |-5.200000e+01 | 13.33%
754.22/754.43 c 754s| 1140k|124292 | 19101k| 16.7 | 275M| 66 | - | 200 |1264 | 200 | 248 | 13M| 0 | 21k|-6.000000e+01 |-5.200000e+01 | 13.33%
759.93/760.11 c 760s| 1150k|125078 | 19240k| 16.7 | 277M| 66 | 64 | 200 |1264 | 200 | 268 | 13M| 0 | 21k|-6.000000e+01 |-5.200000e+01 | 13.33%
765.53/765.79 c 766s| 1160k|125702 | 19378k| 16.7 | 278M| 66 | - | 200 |1264 | 200 | 272 | 13M| 0 | 21k|-6.000000e+01 |-5.200000e+01 | 13.33%
771.23/771.48 c 771s| 1170k|126374 | 19517k| 16.7 | 280M| 66 | - | 200 |1264 | 200 | 227 | 13M| 0 | 21k|-6.000000e+01 |-5.200000e+01 | 13.33%
776.93/777.18 c 777s| 1180k|127096 | 19656k| 16.7 | 281M| 66 | 43 | 200 |1264 | 200 | 246 | 13M| 0 | 21k|-6.000000e+01 |-5.200000e+01 | 13.33%
782.72/782.97 c 783s| 1190k|127680 | 19798k| 16.6 | 283M| 66 | 103 | 200 |1264 | 200 | 278 | 13M| 0 | 21k|-6.000000e+01 |-5.200000e+01 | 13.33%
788.63/788.89 c 789s| 1200k|128500 | 19946k| 16.6 | 284M| 66 | - | 200 |1264 | 200 | 282 | 13M| 0 | 21k|-6.000000e+01 |-5.200000e+01 | 13.33%
794.52/794.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
794.52/794.70 c 795s| 1210k|129142 | 20087k| 16.6 | 286M| 66 | - | 200 |1264 | 200 | 273 | 13M| 0 | 22k|-6.000000e+01 |-5.200000e+01 | 13.33%
800.42/800.66 c 801s| 1220k|129936 | 20233k| 16.6 | 288M| 66 | 46 | 200 |1264 | 200 | 233 | 13M| 0 | 22k|-5.994667e+01 |-5.200000e+01 | 13.26%
806.02/806.24 c 806s| 1230k|130470 | 20368k| 16.6 | 289M| 66 | 14 | 200 |1264 | 200 | 259 | 14M| 0 | 22k|-5.988889e+01 |-5.200000e+01 | 13.17%
811.72/811.99 c 812s| 1240k|131162 | 20509k| 16.5 | 291M| 66 | 43 | 200 |1264 | 200 | 241 | 14M| 0 | 22k|-5.985714e+01 |-5.200000e+01 | 13.13%
817.42/817.61 c 818s| 1250k|131646 | 20643k| 16.5 | 292M| 66 | 14 | 200 |1264 | 200 | 229 | 14M| 0 | 22k|-5.983333e+01 |-5.200000e+01 | 13.09%
823.02/823.25 c 823s| 1260k|132278 | 20780k| 16.5 | 293M| 66 | - | 200 |1264 | 200 | 241 | 14M| 0 | 22k|-5.980000e+01 |-5.200000e+01 | 13.04%
828.71/828.92 c 829s| 1270k|132856 | 20916k| 16.5 | 295M| 66 | - | 200 |1264 | 200 | 261 | 14M| 0 | 22k|-5.980000e+01 |-5.200000e+01 | 13.04%
834.41/834.61 c 835s| 1280k|133554 | 21053k| 16.4 | 296M| 66 | - | 200 |1264 | 200 | 247 | 14M| 0 | 22k|-5.975000e+01 |-5.200000e+01 | 12.97%
840.01/840.29 c 840s| 1290k|134140 | 21192k| 16.4 | 298M| 66 | - | 200 |1264 | 200 | 249 | 14M| 0 | 22k|-5.975000e+01 |-5.200000e+01 | 12.97%
845.61/845.85 c 846s| 1300k|134678 | 21326k| 16.4 | 299M| 66 | - | 200 |1264 | 200 | 265 | 14M| 0 | 22k|-5.975000e+01 |-5.200000e+01 | 12.97%
851.22/851.47 c 851s| 1310k|135280 | 21462k| 16.4 | 301M| 66 | 14 | 200 |1264 | 200 | 237 | 14M| 0 | 22k|-5.975000e+01 |-5.200000e+01 | 12.97%
857.11/857.30 c 857s| 1320k|135974 | 21604k| 16.4 | 302M| 66 | - | 200 |1264 | 200 | 259 | 15M| 0 | 22k|-5.971429e+01 |-5.200000e+01 | 12.92%
862.71/862.99 c 863s| 1330k|136452 | 21742k| 16.3 | 303M| 66 | - | 200 |1264 | 200 | 265 | 15M| 0 | 22k|-5.966667e+01 |-5.200000e+01 | 12.85%
868.41/868.61 c 869s| 1340k|136986 | 21875k| 16.3 | 305M| 66 | 11 | 200 |1264 | 200 | 223 | 15M| 0 | 23k|-5.966667e+01 |-5.200000e+01 | 12.85%
874.01/874.20 c 874s| 1350k|137586 | 22010k| 16.3 | 306M| 66 | 51 | 200 |1264 | 200 | 256 | 15M| 0 | 23k|-5.966667e+01 |-5.200000e+01 | 12.85%
879.61/879.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
879.61/879.86 c 880s| 1360k|138098 | 22147k| 16.3 | 307M| 66 | - | 200 |1264 | 200 | 264 | 15M| 0 | 23k|-5.966667e+01 |-5.200000e+01 | 12.85%
885.21/885.44 c 885s| 1370k|138674 | 22282k| 16.3 | 309M| 66 | - | 200 |1264 | 200 | 266 | 15M| 0 | 23k|-5.966667e+01 |-5.200000e+01 | 12.85%
890.81/891.04 c 891s| 1380k|139196 | 22416k| 16.2 | 310M| 66 | 62 | 200 |1264 | 200 | 275 | 15M| 0 | 23k|-5.966667e+01 |-5.200000e+01 | 12.85%
896.41/896.68 c 897s| 1390k|139682 | 22552k| 16.2 | 311M| 66 | - | 200 |1264 | 200 | 292 | 15M| 0 | 23k|-5.962500e+01 |-5.200000e+01 | 12.79%
902.11/902.31 c 902s| 1400k|140190 | 22687k| 16.2 | 312M| 66 | - | 200 |1264 | 200 | 253 | 15M| 0 | 23k|-5.960000e+01 |-5.200000e+01 | 12.75%
907.61/907.86 c 908s| 1410k|140696 | 22820k| 16.2 | 314M| 66 | 35 | 200 |1264 | 200 | 250 | 15M| 0 | 23k|-5.957143e+01 |-5.200000e+01 | 12.71%
913.20/913.43 c 913s| 1420k|141236 | 22954k| 16.2 | 315M| 66 | - | 200 |1264 | 200 | 281 | 16M| 0 | 23k|-5.954545e+01 |-5.200000e+01 | 12.67%
918.90/919.12 c 919s| 1430k|141854 | 23091k| 16.1 | 316M| 66 | - | 200 |1264 | 200 | 273 | 16M| 0 | 23k|-5.950000e+01 |-5.200000e+01 | 12.61%
924.50/924.75 c 925s| 1440k|142416 | 23228k| 16.1 | 318M| 66 | 26 | 200 |1264 | 200 | 226 | 16M| 0 | 23k|-5.950000e+01 |-5.200000e+01 | 12.61%
930.10/930.35 c 930s| 1450k|142960 | 23365k| 16.1 | 319M| 66 | - | 200 |1264 | 200 | 262 | 16M| 0 | 23k|-5.950000e+01 |-5.200000e+01 | 12.61%
935.70/935.98 c 936s| 1460k|143506 | 23502k| 16.1 | 320M| 66 | 14 | 200 |1264 | 200 | 249 | 16M| 0 | 23k|-5.950000e+01 |-5.200000e+01 | 12.61%
941.30/941.57 c 942s| 1470k|144042 | 23635k| 16.1 | 322M| 66 | - | 200 |1264 | 200 | 269 | 16M| 0 | 23k|-5.950000e+01 |-5.200000e+01 | 12.61%
946.80/947.09 c 947s| 1480k|144494 | 23768k| 16.1 | 323M| 66 | - | 200 |1264 | 200 | 240 | 16M| 0 | 24k|-5.950000e+01 |-5.200000e+01 | 12.61%
952.30/952.55 c 953s| 1490k|144962 | 23900k| 16.0 | 324M| 66 | - | 200 |1264 | 200 | 275 | 16M| 0 | 24k|-5.950000e+01 |-5.200000e+01 | 12.61%
957.79/958.09 c 958s| 1500k|145378 | 24031k| 16.0 | 325M| 66 | 29 | 200 |1264 | 200 | 257 | 16M| 0 | 24k|-5.950000e+01 |-5.200000e+01 | 12.61%
963.29/963.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
963.29/963.60 c 964s| 1510k|145814 | 24162k| 16.0 | 326M| 66 | 30 | 200 |1264 | 200 | 236 | 16M| 0 | 24k|-5.950000e+01 |-5.200000e+01 | 12.61%
968.90/969.14 c 969s| 1520k|146316 | 24294k| 16.0 | 327M| 66 | 74 | 200 |1264 | 200 | 265 | 17M| 0 | 24k|-5.950000e+01 |-5.200000e+01 | 12.61%
974.29/974.55 c 975s| 1530k|146722 | 24423k| 16.0 | 328M| 66 | 33 | 200 |1264 | 200 | 226 | 17M| 0 | 24k|-5.950000e+01 |-5.200000e+01 | 12.61%
979.69/979.92 c 980s| 1540k|147148 | 24549k| 15.9 | 329M| 66 | - | 200 |1264 | 200 | 280 | 17M| 0 | 24k|-5.950000e+01 |-5.200000e+01 | 12.61%
985.09/985.37 c 985s| 1550k|147664 | 24679k| 15.9 | 331M| 66 | - | 200 |1264 | 200 | 266 | 17M| 0 | 24k|-5.950000e+01 |-5.200000e+01 | 12.61%
990.69/990.96 c 991s| 1560k|148228 | 24814k| 15.9 | 332M| 66 | - | 200 |1264 | 200 | 272 | 17M| 0 | 24k|-5.950000e+01 |-5.200000e+01 | 12.61%
996.09/996.35 c 996s| 1570k|148700 | 24942k| 15.9 | 333M| 66 | 66 | 200 |1264 | 200 | 299 | 17M| 0 | 24k|-5.950000e+01 |-5.200000e+01 | 12.61%
1001.68/1001.90 c 1002s| 1580k|149220 | 25074k| 15.9 | 334M| 66 | 18 | 200 |1264 | 200 | 218 | 17M| 0 | 24k|-5.950000e+01 |-5.200000e+01 | 12.61%
1007.29/1007.54 c 1008s| 1590k|149640 | 25208k| 15.9 | 336M| 66 | 64 | 200 |1264 | 200 | 276 | 17M| 0 | 24k|-5.942857e+01 |-5.200000e+01 | 12.50%
1012.78/1013.09 c 1013s| 1600k|150098 | 25339k| 15.8 | 337M| 66 | 35 | 200 |1264 | 200 | 239 | 17M| 0 | 24k|-5.940000e+01 |-5.200000e+01 | 12.46%
1018.38/1018.65 c 1019s| 1610k|150682 | 25473k| 15.8 | 338M| 66 | - | 200 |1264 | 200 | 265 | 17M| 0 | 24k|-5.937500e+01 |-5.200000e+01 | 12.42%
1023.88/1024.16 c 1024s| 1620k|151142 | 25604k| 15.8 | 339M| 66 | - | 200 |1264 | 200 | 253 | 18M| 0 | 24k|-5.933333e+01 |-5.200000e+01 | 12.36%
1029.37/1029.70 c 1030s| 1630k|151572 | 25735k| 15.8 | 340M| 66 | 49 | 200 |1264 | 200 | 253 | 18M| 0 | 25k|-5.933333e+01 |-5.200000e+01 | 12.36%
1034.97/1035.23 c 1035s| 1640k|151942 | 25865k| 15.8 | 341M| 66 | - | 200 |1264 | 200 | 239 | 18M| 0 | 25k|-5.933333e+01 |-5.200000e+01 | 12.36%
1040.47/1040.72 c 1041s| 1650k|152336 | 25995k| 15.8 | 342M| 66 | - | 200 |1264 | 200 | 242 | 18M| 0 | 25k|-5.933333e+01 |-5.200000e+01 | 12.36%
1045.87/1046.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1045.87/1046.18 c 1046s| 1660k|152848 | 26124k| 15.7 | 343M| 66 | - | 200 |1264 | 200 | 257 | 18M| 0 | 25k|-5.933333e+01 |-5.200000e+01 | 12.36%
1051.48/1051.71 c 1052s| 1670k|153362 | 26255k| 15.7 | 345M| 66 | - | 200 |1264 | 200 | 251 | 18M| 0 | 25k|-5.928571e+01 |-5.200000e+01 | 12.29%
1056.88/1057.20 c 1057s| 1680k|153846 | 26385k| 15.7 | 346M| 66 | 65 | 200 |1264 | 200 | 258 | 18M| 0 | 25k|-5.925000e+01 |-5.200000e+01 | 12.24%
1062.47/1062.73 c 1063s| 1690k|154302 | 26517k| 15.7 | 347M| 66 | - | 200 |1264 | 200 | 247 | 18M| 0 | 25k|-5.925000e+01 |-5.200000e+01 | 12.24%
1067.87/1068.14 c 1068s| 1700k|154686 | 26644k| 15.7 | 348M| 66 | - | 200 |1264 | 200 | 257 | 18M| 0 | 25k|-5.925000e+01 |-5.200000e+01 | 12.24%
1073.37/1073.64 c 1074s| 1710k|155214 | 26776k| 15.7 | 349M| 66 | - | 200 |1264 | 200 | 274 | 18M| 0 | 25k|-5.925000e+01 |-5.200000e+01 | 12.24%
1078.77/1079.08 c 1079s| 1720k|155566 | 26904k| 15.6 | 350M| 66 | - | 200 |1264 | 200 | 272 | 19M| 0 | 25k|-5.923077e+01 |-5.200000e+01 | 12.21%
1084.26/1084.55 c 1085s| 1730k|156006 | 27033k| 15.6 | 351M| 66 | 74 | 200 |1264 | 200 | 304 | 19M| 0 | 25k|-5.920000e+01 |-5.200000e+01 | 12.16%
1089.77/1090.01 c 1090s| 1740k|156380 | 27162k| 15.6 | 352M| 66 | - | 200 |1264 | 200 | 269 | 19M| 0 | 25k|-5.916667e+01 |-5.200000e+01 | 12.11%
1095.16/1095.41 c 1095s| 1750k|156770 | 27289k| 15.6 | 353M| 66 | 22 | 200 |1264 | 200 | 243 | 19M| 0 | 25k|-5.916667e+01 |-5.200000e+01 | 12.11%
1100.56/1100.83 c 1101s| 1760k|157198 | 27419k| 15.6 | 354M| 66 | - | 200 |1264 | 200 | 279 | 19M| 0 | 25k|-5.915000e+01 |-5.200000e+01 | 12.09%
1106.06/1106.30 c 1106s| 1770k|157642 | 27545k| 15.6 | 356M| 66 | 22 | 200 |1264 | 200 | 240 | 19M| 0 | 25k|-5.912500e+01 |-5.200000e+01 | 12.05%
1111.46/1111.78 c 1112s| 1780k|158042 | 27674k| 15.5 | 357M| 66 | 42 | 200 |1264 | 200 | 239 | 19M| 0 | 25k|-5.909091e+01 |-5.200000e+01 | 12.00%
1116.96/1117.20 c 1117s| 1790k|158346 | 27801k| 15.5 | 357M| 69 | 78 | 200 |1264 | 200 | 277 | 19M| 0 | 26k|-5.903125e+01 |-5.200000e+01 | 11.91%
1122.35/1122.65 c 1123s| 1800k|158692 | 27928k| 15.5 | 358M| 69 | 37 | 200 |1264 | 200 | 222 | 19M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1127.86/1128.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1127.86/1128.10 c 1128s| 1810k|159054 | 28053k| 15.5 | 359M| 69 | - | 200 |1264 | 200 | 260 | 19M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1133.35/1133.60 c 1134s| 1820k|159554 | 28185k| 15.5 | 361M| 69 | - | 200 |1264 | 200 | 257 | 20M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1138.75/1139.06 c 1139s| 1830k|159966 | 28313k| 15.5 | 362M| 69 | 25 | 200 |1264 | 200 | 224 | 20M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1144.15/1144.49 c 1144s| 1840k|160364 | 28441k| 15.5 | 363M| 69 | 28 | 200 |1264 | 200 | 250 | 20M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1149.65/1149.98 c 1150s| 1850k|160806 | 28570k| 15.4 | 364M| 69 | 5 | 200 |1264 | 200 | 239 | 20M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1155.25/1155.51 c 1156s| 1860k|161256 | 28701k| 15.4 | 365M| 69 | 64 | 200 |1264 | 200 | 248 | 20M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1160.65/1160.93 c 1161s| 1870k|161678 | 28829k| 15.4 | 366M| 69 | - | 200 |1264 | 200 | 272 | 20M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1166.05/1166.38 c 1166s| 1880k|162300 | 28959k| 15.4 | 367M| 69 | - | 200 |1264 | 200 | 264 | 20M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1171.55/1171.82 c 1172s| 1890k|162698 | 29088k| 15.4 | 368M| 69 | - | 200 |1264 | 200 | 270 | 20M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1177.05/1177.35 c 1177s| 1900k|163102 | 29218k| 15.4 | 369M| 69 | 74 | 200 |1264 | 200 | 267 | 20M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1182.45/1182.74 c 1183s| 1910k|163576 | 29346k| 15.4 | 371M| 69 | 10 | 200 |1264 | 200 | 257 | 20M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1187.85/1188.17 c 1188s| 1920k|163968 | 29473k| 15.3 | 372M| 69 | - | 200 |1264 | 200 | 281 | 21M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1193.25/1193.54 c 1194s| 1930k|164302 | 29599k| 15.3 | 372M| 69 | 14 | 200 |1264 | 200 | 221 | 21M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1198.75/1199.07 c 1199s| 1940k|164658 | 29729k| 15.3 | 373M| 69 | - | 200 |1264 | 200 | 260 | 21M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1204.15/1204.46 c 1204s| 1950k|165120 | 29857k| 15.3 | 375M| 69 | - | 200 |1264 | 200 | 258 | 21M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1209.64/1209.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1209.64/1209.91 c 1210s| 1960k|165576 | 29985k| 15.3 | 376M| 69 | - | 200 |1264 | 200 | 267 | 21M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1214.94/1215.28 c 1215s| 1970k|165962 | 30110k| 15.3 | 377M| 71 | - | 200 |1264 | 200 | 282 | 21M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1220.24/1220.58 c 1221s| 1980k|166172 | 30231k| 15.3 | 377M| 71 | - | 200 |1264 | 200 | 248 | 21M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1225.64/1225.92 c 1226s| 1990k|166502 | 30357k| 15.3 | 378M| 71 | 27 | 200 |1264 | 200 | 249 | 21M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1230.93/1231.23 c 1231s| 2000k|166750 | 30480k| 15.2 | 379M| 71 | 58 | 200 |1264 | 200 | 230 | 21M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1236.24/1236.57 c 1237s| 2010k|167108 | 30606k| 15.2 | 380M| 71 | - | 200 |1264 | 200 | 244 | 21M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1241.65/1241.93 c 1242s| 2020k|167456 | 30733k| 15.2 | 381M| 71 | 84 | 200 |1264 | 200 | 291 | 22M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1247.03/1247.31 c 1247s| 2030k|167742 | 30859k| 15.2 | 382M| 71 | - | 200 |1264 | 200 | 268 | 22M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1252.44/1252.70 c 1253s| 2040k|168014 | 30985k| 15.2 | 382M| 71 | 46 | 200 |1264 | 200 | 240 | 22M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1257.53/1257.89 c 1258s| 2050k|168280 | 31104k| 15.2 | 383M| 71 | - | 200 |1264 | 200 | 266 | 22M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1262.94/1263.28 c 1263s| 2060k|168654 | 31232k| 15.2 | 384M| 71 | 63 | 200 |1264 | 200 | 255 | 22M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1268.44/1268.77 c 1269s| 2070k|169052 | 31359k| 15.1 | 385M| 71 | 98 | 200 |1264 | 200 | 267 | 22M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1273.83/1274.14 c 1274s| 2080k|169352 | 31485k| 15.1 | 386M| 71 | - | 200 |1264 | 200 | 243 | 22M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1279.23/1279.52 c 1280s| 2090k|169702 | 31614k| 15.1 | 387M| 71 | - | 200 |1264 | 200 | 252 | 22M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1284.53/1284.85 c 1285s| 2100k|170074 | 31737k| 15.1 | 388M| 71 | 93 | 200 |1264 | 200 | 271 | 22M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1289.93/1290.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1289.93/1290.22 c 1290s| 2110k|170460 | 31864k| 15.1 | 389M| 71 | - | 200 |1264 | 200 | 244 | 22M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1295.23/1295.52 c 1296s| 2120k|170768 | 31987k| 15.1 | 389M| 71 | - | 200 |1264 | 200 | 254 | 23M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1300.53/1300.86 c 1301s| 2130k|171038 | 32109k| 15.1 | 390M| 71 | - | 200 |1264 | 200 | 258 | 23M| 0 | 28k|-5.893750e+01 |-5.200000e+01 | 11.77%
1305.93/1306.21 c 1306s| 2140k|171308 | 32234k| 15.1 | 391M| 71 | - | 200 |1264 | 200 | 264 | 23M| 0 | 28k|-5.890000e+01 |-5.200000e+01 | 11.71%
1311.33/1311.64 c 1312s| 2150k|171622 | 32358k| 15.0 | 392M| 71 | - | 200 |1264 | 200 | 252 | 23M| 0 | 28k|-5.887500e+01 |-5.200000e+01 | 11.68%
1316.63/1316.95 c 1317s| 2160k|171916 | 32481k| 15.0 | 393M| 71 | - | 200 |1264 | 200 | 284 | 23M| 0 | 28k|-5.885714e+01 |-5.200000e+01 | 11.65%
1322.03/1322.31 c 1322s| 2170k|172268 | 32607k| 15.0 | 394M| 71 | - | 200 |1264 | 200 | 269 | 23M| 0 | 28k|-5.883333e+01 |-5.200000e+01 | 11.61%
1327.33/1327.60 c 1328s| 2180k|172544 | 32729k| 15.0 | 394M| 71 | - | 200 |1264 | 200 | 265 | 23M| 0 | 28k|-5.883333e+01 |-5.200000e+01 | 11.61%
1332.62/1332.92 c 1333s| 2190k|172794 | 32852k| 15.0 | 395M| 71 | 92 | 200 |1264 | 200 | 273 | 23M| 0 | 28k|-5.882353e+01 |-5.200000e+01 | 11.60%
1337.82/1338.17 c 1338s| 2200k|173082 | 32974k| 15.0 | 396M| 71 | 16 | 200 |1264 | 200 | 240 | 23M| 0 | 28k|-5.880000e+01 |-5.200000e+01 | 11.56%
1343.12/1343.43 c 1343s| 2210k|173418 | 33096k| 15.0 | 397M| 71 | 14 | 200 |1264 | 200 | 245 | 23M| 0 | 28k|-5.880000e+01 |-5.200000e+01 | 11.56%
1348.43/1348.79 c 1349s| 2220k|173664 | 33220k| 15.0 | 397M| 71 | - | 200 |1264 | 200 | 248 | 23M| 0 | 28k|-5.877778e+01 |-5.200000e+01 | 11.53%
1353.72/1354.03 c 1354s| 2230k|173984 | 33342k| 14.9 | 398M| 71 | - | 200 |1264 | 200 | 279 | 24M| 0 | 28k|-5.875000e+01 |-5.200000e+01 | 11.49%
1358.92/1359.21 c 1359s| 2240k|174216 | 33460k| 14.9 | 399M| 71 | - | 200 |1264 | 200 | 264 | 24M| 0 | 28k|-5.875000e+01 |-5.200000e+01 | 11.49%
1364.12/1364.41 c 1364s| 2250k|174464 | 33580k| 14.9 | 400M| 71 | - | 200 |1264 | 200 | 235 | 24M| 0 | 28k|-5.875000e+01 |-5.200000e+01 | 11.49%
1369.23/1369.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1369.23/1369.56 c 1370s| 2260k|174722 | 33697k| 14.9 | 400M| 71 | - | 200 |1264 | 200 | 289 | 24M| 0 | 28k|-5.875000e+01 |-5.200000e+01 | 11.49%
1374.42/1374.71 c 1375s| 2270k|174976 | 33814k| 14.9 | 401M| 71 | 30 | 200 |1264 | 200 | 259 | 24M| 0 | 28k|-5.875000e+01 |-5.200000e+01 | 11.49%
1379.62/1379.95 c 1380s| 2280k|175210 | 33934k| 14.9 | 402M| 71 | - | 200 |1264 | 200 | 267 | 24M| 0 | 28k|-5.875000e+01 |-5.200000e+01 | 11.49%
1384.92/1385.21 c 1385s| 2290k|175406 | 34056k| 14.9 | 402M| 71 | - | 200 |1264 | 200 | 263 | 24M| 0 | 28k|-5.875000e+01 |-5.200000e+01 | 11.49%
1390.22/1390.56 c 1391s| 2300k|175692 | 34181k| 14.9 | 403M| 71 | 9 | 200 |1264 | 200 | 240 | 24M| 0 | 28k|-5.871429e+01 |-5.200000e+01 | 11.44%
1395.41/1395.77 c 1396s| 2310k|175988 | 34301k| 14.8 | 404M| 71 | 30 | 200 |1264 | 200 | 239 | 24M| 0 | 28k|-5.870000e+01 |-5.200000e+01 | 11.41%
1400.71/1401.04 c 1401s| 2320k|176270 | 34422k| 14.8 | 405M| 71 | - | 200 |1264 | 200 | 250 | 24M| 0 | 29k|-5.866667e+01 |-5.200000e+01 | 11.36%
1405.91/1406.24 c 1406s| 2330k|176450 | 34541k| 14.8 | 405M| 71 | - | 200 |1264 | 200 | 257 | 25M| 0 | 29k|-5.866667e+01 |-5.200000e+01 | 11.36%
1411.11/1411.46 c 1411s| 2340k|176670 | 34661k| 14.8 | 406M| 71 | - | 200 |1264 | 200 | 242 | 25M| 0 | 29k|-5.866667e+01 |-5.200000e+01 | 11.36%
1416.41/1416.74 c 1417s| 2350k|176960 | 34784k| 14.8 | 407M| 71 | - | 200 |1264 | 200 | 259 | 25M| 0 | 29k|-5.866667e+01 |-5.200000e+01 | 11.36%
1421.61/1421.95 c 1422s| 2360k|177274 | 34904k| 14.8 | 408M| 71 | - | 200 |1264 | 200 | 264 | 25M| 0 | 29k|-5.866667e+01 |-5.200000e+01 | 11.36%
1426.81/1427.15 c 1427s| 2370k|177566 | 35024k| 14.8 | 408M| 71 | - | 200 |1264 | 200 | 275 | 25M| 0 | 29k|-5.866667e+01 |-5.200000e+01 | 11.36%
1432.10/1432.43 c 1432s| 2380k|177890 | 35147k| 14.8 | 409M| 71 | - | 200 |1264 | 200 | 273 | 25M| 0 | 29k|-5.866667e+01 |-5.200000e+01 | 11.36%
1437.31/1437.67 c 1438s| 2390k|178270 | 35269k| 14.8 | 410M| 71 | 88 | 200 |1264 | 200 | 256 | 25M| 0 | 29k|-5.866667e+01 |-5.200000e+01 | 11.36%
1442.61/1442.92 c 1443s| 2400k|178622 | 35391k| 14.7 | 411M| 71 | 47 | 200 |1264 | 200 | 267 | 25M| 0 | 29k|-5.866667e+01 |-5.200000e+01 | 11.36%
1447.91/1448.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1447.91/1448.25 c 1448s| 2410k|178958 | 35513k| 14.7 | 412M| 71 | 37 | 200 |1264 | 200 | 246 | 25M| 0 | 29k|-5.866667e+01 |-5.200000e+01 | 11.36%
1453.21/1453.51 c 1454s| 2420k|179198 | 35635k| 14.7 | 412M| 71 | 34 | 200 |1264 | 200 | 270 | 25M| 0 | 29k|-5.862500e+01 |-5.200000e+01 | 11.30%
1458.31/1458.62 c 1459s| 2430k|179432 | 35749k| 14.7 | 413M| 71 | 36 | 200 |1264 | 200 | 254 | 25M| 0 | 29k|-5.860000e+01 |-5.200000e+01 | 11.26%
1463.50/1463.83 c 1464s| 2440k|179624 | 35868k| 14.7 | 414M| 71 | - | 200 |1264 | 200 | 265 | 26M| 0 | 29k|-5.860000e+01 |-5.200000e+01 | 11.26%
1468.61/1468.92 c 1469s| 2450k|179810 | 35983k| 14.7 | 414M| 71 | - | 200 |1264 | 200 | 266 | 26M| 0 | 29k|-5.860000e+01 |-5.200000e+01 | 11.26%
1473.71/1474.08 c 1474s| 2460k|179958 | 36099k| 14.7 | 415M| 71 | - | 200 |1264 | 200 | 285 | 26M| 0 | 29k|-5.857143e+01 |-5.200000e+01 | 11.22%
1478.90/1479.24 c 1479s| 2470k|180194 | 36216k| 14.7 | 416M| 71 | 18 | 200 |1264 | 200 | 253 | 26M| 0 | 29k|-5.855000e+01 |-5.200000e+01 | 11.19%
1484.10/1484.40 c 1484s| 2480k|180426 | 36333k| 14.6 | 416M| 71 | 19 | 200 |1264 | 200 | 260 | 26M| 0 | 29k|-5.850000e+01 |-5.200000e+01 | 11.11%
1489.20/1489.58 c 1490s| 2490k|180714 | 36452k| 14.6 | 417M| 71 | - | 200 |1264 | 200 | 271 | 26M| 0 | 29k|-5.850000e+01 |-5.200000e+01 | 11.11%
1494.30/1494.68 c 1495s| 2500k|180920 | 36569k| 14.6 | 418M| 71 | 8 | 200 |1264 | 200 | 258 | 26M| 0 | 29k|-5.850000e+01 |-5.200000e+01 | 11.11%
1499.60/1499.96 c 1500s| 2510k|181160 | 36690k| 14.6 | 418M| 71 | 14 | 200 |1264 | 200 | 244 | 26M| 0 | 29k|-5.850000e+01 |-5.200000e+01 | 11.11%
1504.79/1505.17 c 1505s| 2520k|181406 | 36811k| 14.6 | 419M| 71 | 14 | 200 |1264 | 200 | 264 | 26M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1510.00/1510.31 c 1510s| 2530k|181610 | 36928k| 14.6 | 420M| 71 | - | 200 |1264 | 200 | 264 | 26M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1514.99/1515.38 c 1515s| 2540k|181802 | 37043k| 14.6 | 420M| 71 | 41 | 200 |1264 | 200 | 253 | 26M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1520.19/1520.54 c 1521s| 2550k|182070 | 37161k| 14.6 | 421M| 71 | 16 | 200 |1264 | 200 | 260 | 27M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1525.39/1525.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1525.39/1525.73 c 1526s| 2560k|182308 | 37282k| 14.6 | 421M| 71 | 21 | 200 |1264 | 200 | 244 | 27M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1530.59/1530.90 c 1531s| 2570k|182516 | 37400k| 14.6 | 422M| 71 | 67 | 200 |1264 | 200 | 259 | 27M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1535.69/1536.05 c 1536s| 2580k|182788 | 37517k| 14.5 | 423M| 71 | - | 200 |1264 | 200 | 266 | 27M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1540.99/1541.31 c 1541s| 2590k|183090 | 37637k| 14.5 | 424M| 71 | - | 200 |1264 | 200 | 256 | 27M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1545.99/1546.35 c 1546s| 2600k|183296 | 37751k| 14.5 | 424M| 71 | 11 | 200 |1264 | 200 | 268 | 27M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1550.98/1551.39 c 1551s| 2610k|183510 | 37865k| 14.5 | 425M| 71 | 36 | 200 |1264 | 200 | 225 | 27M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1556.19/1556.57 c 1557s| 2620k|183736 | 37982k| 14.5 | 426M| 71 | 22 | 200 |1264 | 200 | 242 | 27M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1561.28/1561.65 c 1562s| 2630k|183938 | 38097k| 14.5 | 426M| 71 | - | 200 |1264 | 200 | 284 | 27M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1566.48/1566.81 c 1567s| 2640k|184124 | 38215k| 14.5 | 427M| 71 | - | 200 |1264 | 200 | 271 | 27M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1571.58/1571.97 c 1572s| 2650k|184380 | 38334k| 14.5 | 427M| 71 | 25 | 200 |1264 | 200 | 240 | 28M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1576.58/1576.99 c 1577s| 2660k|184582 | 38446k| 14.5 | 428M| 73 | 17 | 200 |1264 | 200 | 236 | 28M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1581.78/1582.15 c 1582s| 2670k|184800 | 38564k| 14.4 | 429M| 73 | 19 | 200 |1264 | 200 | 242 | 28M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1586.88/1587.22 c 1587s| 2680k|185030 | 38679k| 14.4 | 429M| 73 | 28 | 200 |1264 | 200 | 252 | 28M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1591.98/1592.32 c 1592s| 2690k|185190 | 38794k| 14.4 | 430M| 73 | 33 | 200 |1264 | 200 | 253 | 28M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1596.98/1597.36 c 1597s| 2700k|185332 | 38907k| 14.4 | 430M| 73 | - | 200 |1264 | 200 | 264 | 28M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1602.28/1602.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1602.28/1602.60 c 1603s| 2710k|185598 | 39028k| 14.4 | 431M| 73 | - | 200 |1264 | 200 | 269 | 28M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1607.28/1607.69 c 1608s| 2720k|185776 | 39144k| 14.4 | 432M| 73 | 34 | 200 |1264 | 200 | 254 | 28M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1612.38/1612.72 c 1613s| 2730k|185946 | 39257k| 14.4 | 432M| 73 | - | 200 |1264 | 200 | 259 | 28M| 0 | 31k|-5.850000e+01 |-5.200000e+01 | 11.11%
1617.48/1617.81 c 1618s| 2740k|186146 | 39372k| 14.4 | 433M| 73 | - | 200 |1264 | 200 | 290 | 28M| 0 | 31k|-5.850000e+01 |-5.200000e+01 | 11.11%
1622.57/1622.95 c 1623s| 2750k|186394 | 39488k| 14.4 | 434M| 73 | 39 | 200 |1264 | 200 | 263 | 28M| 0 | 31k|-5.850000e+01 |-5.200000e+01 | 11.11%
1627.67/1628.01 c 1628s| 2760k|186626 | 39602k| 14.3 | 434M| 73 | 49 | 200 |1264 | 200 | 269 | 29M| 0 | 31k|-5.850000e+01 |-5.200000e+01 | 11.11%
1632.77/1633.13 c 1633s| 2770k|186844 | 39720k| 14.3 | 435M| 73 | - | 200 |1264 | 200 | 278 | 29M| 0 | 31k|-5.850000e+01 |-5.200000e+01 | 11.11%
1637.97/1638.35 c 1638s| 2780k|187092 | 39839k| 14.3 | 436M| 73 | 16 | 200 |1264 | 200 | 250 | 29M| 0 | 31k|-5.850000e+01 |-5.200000e+01 | 11.11%
1643.17/1643.54 c 1644s| 2790k|187328 | 39960k| 14.3 | 436M| 73 | - | 200 |1264 | 200 | 256 | 29M| 0 | 31k|-5.847368e+01 |-5.200000e+01 | 11.07%
1648.26/1648.63 c 1649s| 2800k|187544 | 40074k| 14.3 | 437M| 73 | - | 200 |1264 | 200 | 306 | 29M| 0 | 31k|-5.842857e+01 |-5.200000e+01 | 11.00%
1653.37/1653.70 c 1654s| 2810k|187724 | 40189k| 14.3 | 437M| 73 | 45 | 200 |1264 | 200 | 233 | 29M| 0 | 31k|-5.841667e+01 |-5.200000e+01 | 10.98%
1658.57/1658.92 c 1659s| 2820k|187948 | 40309k| 14.3 | 438M| 73 | 12 | 200 |1264 | 200 | 244 | 29M| 0 | 31k|-5.840000e+01 |-5.200000e+01 | 10.96%
1663.67/1664.08 c 1664s| 2830k|188146 | 40425k| 14.3 | 439M| 73 | - | 200 |1264 | 200 | 251 | 29M| 0 | 31k|-5.840000e+01 |-5.200000e+01 | 10.96%
1668.77/1669.19 c 1669s| 2840k|188312 | 40539k| 14.3 | 439M| 73 | 20 | 200 |1264 | 200 | 259 | 29M| 0 | 31k|-5.837500e+01 |-5.200000e+01 | 10.92%
1673.97/1674.35 c 1674s| 2850k|188454 | 40655k| 14.3 | 440M| 73 | - | 200 |1264 | 200 | 268 | 29M| 0 | 31k|-5.834884e+01 |-5.200000e+01 | 10.88%
1679.06/1679.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1679.06/1679.48 c 1679s| 2860k|188714 | 40772k| 14.3 | 440M| 73 | - | 200 |1264 | 200 | 273 | 29M| 0 | 31k|-5.833333e+01 |-5.200000e+01 | 10.86%
1684.36/1684.74 c 1685s| 2870k|188894 | 40890k| 14.2 | 441M| 73 | - | 200 |1264 | 200 | 297 | 30M| 0 | 31k|-5.833333e+01 |-5.200000e+01 | 10.86%
1689.46/1689.89 c 1690s| 2880k|189032 | 41008k| 14.2 | 441M| 73 | - | 200 |1264 | 200 | 242 | 30M| 0 | 31k|-5.833333e+01 |-5.200000e+01 | 10.86%
1694.56/1694.99 c 1695s| 2890k|189186 | 41123k| 14.2 | 442M| 73 | - | 200 |1264 | 200 | 266 | 30M| 0 | 31k|-5.833333e+01 |-5.200000e+01 | 10.86%
1699.76/1700.11 c 1700s| 2900k|189330 | 41238k| 14.2 | 442M| 73 | - | 200 |1264 | 200 | 286 | 30M| 0 | 31k|-5.833333e+01 |-5.200000e+01 | 10.86%
1704.86/1705.23 c 1705s| 2910k|189520 | 41354k| 14.2 | 443M| 73 | - | 200 |1264 | 200 | 260 | 30M| 0 | 31k|-5.833333e+01 |-5.200000e+01 | 10.86%
1709.96/1710.33 c 1710s| 2920k|189620 | 41467k| 14.2 | 443M| 73 | 65 | 200 |1264 | 200 | 250 | 30M| 0 | 31k|-5.833333e+01 |-5.200000e+01 | 10.86%
1715.06/1715.47 c 1715s| 2930k|189816 | 41585k| 14.2 | 444M| 73 | 60 | 200 |1264 | 200 | 267 | 30M| 0 | 31k|-5.833333e+01 |-5.200000e+01 | 10.86%
1720.17/1720.56 c 1721s| 2940k|189954 | 41697k| 14.2 | 445M| 73 | - | 200 |1264 | 200 | 302 | 30M| 0 | 32k|-5.833333e+01 |-5.200000e+01 | 10.86%
1725.35/1725.76 c 1726s| 2950k|190128 | 41816k| 14.2 | 445M| 73 | 18 | 200 |1264 | 200 | 266 | 30M| 0 | 32k|-5.832143e+01 |-5.200000e+01 | 10.84%
1730.45/1730.89 c 1731s| 2960k|190304 | 41930k| 14.2 | 446M| 73 | 46 | 200 |1264 | 200 | 244 | 30M| 0 | 32k|-5.830000e+01 |-5.200000e+01 | 10.81%
1735.65/1736.00 c 1736s| 2970k|190480 | 42046k| 14.2 | 446M| 73 | - | 200 |1264 | 200 | 284 | 30M| 0 | 32k|-5.826667e+01 |-5.200000e+01 | 10.76%
1740.65/1741.02 c 1741s| 2980k|190646 | 42158k| 14.1 | 447M| 73 | - | 200 |1264 | 200 | 274 | 31M| 0 | 32k|-5.825000e+01 |-5.200000e+01 | 10.73%
1745.66/1746.02 c 1746s| 2990k|190794 | 42269k| 14.1 | 447M| 73 | - | 200 |1264 | 200 | 273 | 31M| 0 | 32k|-5.825000e+01 |-5.200000e+01 | 10.73%
1750.76/1751.14 c 1751s| 3000k|190954 | 42385k| 14.1 | 448M| 73 | - | 200 |1264 | 200 | 242 | 31M| 0 | 32k|-5.825000e+01 |-5.200000e+01 | 10.73%
1755.75/1756.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1755.75/1756.16 c 1756s| 3010k|191172 | 42497k| 14.1 | 448M| 73 | 50 | 200 |1264 | 200 | 236 | 31M| 0 | 32k|-5.825000e+01 |-5.200000e+01 | 10.73%
1760.75/1761.16 c 1761s| 3020k|191334 | 42607k| 14.1 | 449M| 73 | 22 | 200 |1264 | 200 | 245 | 31M| 0 | 32k|-5.825000e+01 |-5.200000e+01 | 10.73%
1765.85/1766.28 c 1766s| 3030k|191532 | 42722k| 14.1 | 449M| 73 | - | 200 |1264 | 200 | 275 | 31M| 0 | 32k|-5.825000e+01 |-5.200000e+01 | 10.73%
1771.05/1771.44 c 1771s| 3040k|191750 | 42838k| 14.1 | 450M| 73 | 103 | 200 |1264 | 200 | 271 | 31M| 0 | 32k|-5.825000e+01 |-5.200000e+01 | 10.73%
1776.05/1776.46 c 1776s| 3050k|191842 | 42950k| 14.1 | 450M| 73 | - | 200 |1264 | 200 | 282 | 31M| 0 | 32k|-5.825000e+01 |-5.200000e+01 | 10.73%
1781.15/1781.52 c 1782s| 3060k|192054 | 43063k| 14.1 | 451M| 73 | 8 | 200 |1264 | 200 | 246 | 31M| 0 | 32k|-5.821429e+01 |-5.200000e+01 | 10.67%
1786.15/1786.54 c 1787s| 3070k|192200 | 43173k| 14.1 | 452M| 73 | - | 200 |1264 | 200 | 226 | 31M| 0 | 32k|-5.820000e+01 |-5.200000e+01 | 10.65%
1791.35/1791.70 c 1792s| 3080k|192402 | 43290k| 14.1 | 452M| 73 | - | 200 |1264 | 200 | 240 | 31M| 0 | 32k|-5.820000e+01 |-5.200000e+01 | 10.65%
1796.35/1796.77 c 1797s| 3090k|192534 | 43403k| 14.0 | 453M| 73 | - | 200 |1264 | 200 | 260 | 32M| 0 | 32k|-5.816667e+01 |-5.200000e+01 | 10.60%
1796.64/1797.00 c
1796.64/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.64/1797.00 c Solving Time (sec) : 1797.00
1796.64/1797.00 c Solving Nodes : 3090491
1796.64/1797.00 c Primal Bound : -5.20000000000000e+01 (724 solutions)
1796.64/1797.00 c Dual Bound : -5.81666666666667e+01
1796.64/1797.00 c Gap : 10.60 %
1796.64/1797.00 s SATISFIABLE
1796.64/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.64/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 x155
1796.64/1797.00 v x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 x134
1796.64/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.64/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.64/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.64/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.64/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 -x10
1796.64/1797.00 v -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 -x1
1796.64/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.64/1797.00 c Total Time : 1797.00
1796.64/1797.00 c solving : 1797.00
1796.64/1797.00 c presolving : 0.04 (included in solving)
1796.64/1797.00 c reading : 0.01 (included in solving)
1796.64/1797.00 c Original Problem :
1796.64/1797.00 c Problem name : HOME/instance-3737285-1338726288.opb
1796.64/1797.00 c Variables : 1464 (1464 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.64/1797.00 c Constraints : 1664 initial, 1664 maximal
1796.64/1797.00 c Presolved Problem :
1796.64/1797.00 c Problem name : t_HOME/instance-3737285-1338726288.opb
1796.64/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.64/1797.00 c Constraints : 1264 initial, 1264 maximal
1796.64/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.64/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.00 c probing : 0.01 0 0 0 0 0 0 0 0 0
1796.64/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.00 c and : 0.02 0 0 0 0 0 0 0 0 0
1796.64/1797.00 c linear : 0.00 1264 0 0 1264 0 200 0 0 0
1796.64/1797.00 c pseudoboolean : 0.00 0 0 0 0 0 200 0 0 0
1796.64/1797.00 c root node : - 0 - - 0 - - - - -
1796.64/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.64/1797.00 c integral : 0 0 0 2674941 0 938395 0 253 1650 0 0 3332048
1796.64/1797.00 c setppc : 1264 35 5126994 1007999 1 938391 0 43 13461896 32068175 0 0
1796.64/1797.00 c countsols : 0 0 0 5 1 721 0 0 0 0 0 0
1796.64/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.64/1797.00 c integral : 42.88 0.00 0.00 42.68 0.00 0.19 0.00
1796.64/1797.00 c setppc : 77.75 0.01 38.45 26.86 0.00 12.43 0.00
1796.64/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.64/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.64/1797.00 c vbounds : 0 0 0 0
1796.64/1797.00 c rootredcost : 6 0 0 0
1796.64/1797.00 c pseudoobj : 5128724 0 0 0
1796.64/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1796.64/1797.00 c vbounds : 0.75 0.75 0.00
1796.64/1797.00 c rootredcost : 0.84 0.84 0.00
1796.64/1797.00 c pseudoobj : 23.58 23.58 0.00
1796.64/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.64/1797.00 c propagation : 0.00 43 0 0 0.0 0 0.0 -
1796.64/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.64/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.64/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.64/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.64/1797.00 c applied globally : - - - 0 0.0 - - -
1796.64/1797.00 c applied locally : - - - 0 0.0 - - -
1796.64/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.64/1797.00 c cut pool : 0.03 34 - - 54 - (maximal pool size: 2629)
1796.64/1797.00 c redcost : 11.91 2909261 0 452002 0 0
1796.64/1797.00 c impliedbounds : 0.00 35 0 0 738 0
1796.64/1797.00 c intobj : 0.00 0 0 0 0 0
1796.64/1797.00 c gomory : 0.75 35 0 0 7852 0
1796.64/1797.00 c cgmip : 0.00 0 0 0 0 0
1796.64/1797.00 c closecuts : 0.00 0 0 0 0 0
1796.64/1797.00 c strongcg : 0.32 20 0 0 8322 0
1796.64/1797.00 c cmir : 0.03 10 0 0 0 0
1796.64/1797.00 c flowcover : 0.02 10 0 0 0 0
1796.64/1797.00 c clique : 0.04 35 0 0 241 0
1796.64/1797.00 c zerohalf : 0.00 0 0 0 0 0
1796.64/1797.00 c mcf : 0.00 1 0 0 0 0
1796.64/1797.00 c oddcycle : 0.00 0 0 0 0 0
1796.64/1797.00 c rapidlearning : 0.03 1 0 0 0 0
1796.64/1797.00 c Pricers : Time Calls Vars
1796.64/1797.00 c problem variables: 0.00 0 0
1796.64/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.64/1797.00 c relpscost : 41.69 1666942 253 1650 0 0 3332048
1796.64/1797.00 c pscost : 0.00 0 0 0 0 0 0
1796.64/1797.00 c inference : 0.00 1 0 0 0 0 2
1796.64/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1796.64/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1796.64/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1796.64/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1796.64/1797.00 c random : 0.00 0 0 0 0 0 0
1796.64/1797.00 c Primal Heuristics : Time Calls Found
1796.64/1797.00 c LP solutions : 0.10 - 5
1796.64/1797.00 c pseudo solutions : 0.00 - 0
1796.64/1797.00 c feaspump : 0.07 0 0
1796.64/1797.00 c oneopt : 0.54 7 0
1796.64/1797.00 c crossover : 1.22 17 7
1796.64/1797.00 c pscostdiving : 1.75 1744 52
1796.64/1797.00 c linesearchdiving : 1.83 1744 32
1796.64/1797.00 c guideddiving : 1.94 1744 24
1796.64/1797.00 c coefdiving : 1.80 1745 52
1796.64/1797.00 c fracdiving : 1.90 1745 24
1796.64/1797.00 c veclendiving : 1.83 1745 54
1796.64/1797.00 c objpscostdiving : 0.89 873 22
1796.64/1797.00 c rootsoldiving : 0.88 873 1
1796.64/1797.00 c trivial : 0.00 2 1
1796.64/1797.00 c shiftandpropagate: 0.00 0 0
1796.64/1797.00 c simplerounding : 22.25 1679275 447
1796.64/1797.00 c zirounding : 0.53 1000 0
1796.64/1797.00 c rounding : 5.66 62628 1
1796.64/1797.00 c shifting : 1.82 19546 1
1796.64/1797.00 c intshifting : 0.03 0 0
1796.64/1797.00 c twoopt : 0.00 0 0
1796.64/1797.00 c fixandinfer : 0.00 0 0
1796.64/1797.00 c clique : 0.00 0 0
1796.64/1797.00 c intdiving : 0.00 0 0
1796.64/1797.00 c actconsdiving : 0.00 0 0
1796.64/1797.00 c octane : 0.00 0 0
1796.64/1797.00 c rens : 0.01 0 0
1796.64/1797.00 c rins : 0.00 0 0
1796.64/1797.00 c localbranching : 0.00 0 0
1796.64/1797.00 c mutation : 0.00 0 0
1796.64/1797.00 c dins : 0.00 0 0
1796.64/1797.00 c vbounds : 0.00 0 0
1796.64/1797.00 c undercover : 0.01 1 0
1796.64/1797.00 c subnlp : 0.43 0 0
1796.64/1797.00 c trysol : 0.59 0 0
1796.64/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1796.64/1797.00 c primal LP : 34.97 0 0 0.00 0.00
1796.64/1797.00 c dual LP : 1240.60 4120401 43198031 10.48 34820.17
1796.64/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.64/1797.00 c barrier LP : 0.00 0 0 0.00 -
1796.64/1797.00 c diving/probing LP: 8.59 35117 210999 6.01 24572.05
1796.64/1797.00 c strong branching : 19.80 32677 431444 13.20 21790.38
1796.64/1797.00 c (at root node) : - 15 7543 502.87 -
1796.64/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.64/1797.00 c B&B Tree :
1796.64/1797.00 c number of runs : 1
1796.64/1797.00 c nodes : 3090491
1796.64/1797.00 c nodes (total) : 3090491
1796.64/1797.00 c nodes left : 192547
1796.64/1797.00 c max depth : 73
1796.64/1797.00 c max depth (total): 73
1796.64/1797.00 c backtracks : 450964 (14.6%)
1796.64/1797.00 c delayed cutoffs : 0
1796.64/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.64/1797.00 c avg switch length: 5.10
1796.64/1797.00 c switching time : 107.58
1796.64/1797.00 c Solution :
1796.64/1797.00 c Solutions found : 724 (10 improvements)
1796.64/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1796.64/1797.00 c Primal Bound : -5.20000000000000e+01 (in run 1, after 369534 nodes, 294.23 seconds, depth 32, found by <crossover>)
1796.64/1797.00 c Dual Bound : -5.81666666666667e+01
1796.64/1797.00 c Gap : 10.60 %
1796.64/1797.00 c Root Dual Bound : -7.06801690960276e+01
1796.64/1797.00 c Root Iterations : 6527
1797.64/1798.08 c Time complete: 1797.72.
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-3737285-1338726288/watcher-3737285-1338726288 -o /tmp/evaluation-result-3737285-1338726288/solver-3737285-1338726288 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3737285-1338726288.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.01 2.00 3/174 30284
/proc/meminfo: memFree=27717836/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=9588 CPUtime=0 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 1518 0 0 0 0 0 0 0 20 0 1 0 338754301 9818112 1472 33554432000 4194304 9016284 140737190069680 140735979202536 7824814 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 2397 1472 311 1178 0 1215 0
[startup+0.103826 s]
/proc/loadavg: 2.01 2.01 2.00 3/174 30284
/proc/meminfo: memFree=27717836/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=35656 CPUtime=0.09 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 10153 0 0 0 8 1 0 0 20 0 1 0 338754301 36511744 7645 33554432000 4194304 9016284 140737190069680 140735979202536 7870559 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 8914 7670 672 1178 0 7732 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35656
[startup+0.200363 s]
/proc/loadavg: 2.01 2.01 2.00 3/174 30284
/proc/meminfo: memFree=27717836/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=28016 CPUtime=0.19 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 11367 0 0 0 17 2 0 0 20 0 1 0 338754301 28688384 5872 33554432000 4194304 9016284 140737190069680 140735979202536 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 7004 5872 688 1178 0 5822 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28016
[startup+0.300302 s]
/proc/loadavg: 2.01 2.01 2.00 3/174 30284
/proc/meminfo: memFree=27717836/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=29420 CPUtime=0.29 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 11739 0 0 0 26 3 0 0 20 0 1 0 338754301 30126080 6244 33554432000 4194304 9016284 140737190069680 140735979202536 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 7355 6244 688 1178 0 6173 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29420
[startup+0.700279 s]
/proc/loadavg: 2.01 2.01 2.00 3/174 30284
/proc/meminfo: memFree=27717836/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=37260 CPUtime=0.69 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 13717 0 0 0 65 4 0 0 20 0 1 0 338754301 38154240 8220 33554432000 4194304 9016284 140737190069680 140737190064792 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 9315 8220 691 1178 0 8133 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37260
[startup+1.50028 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 30285
/proc/meminfo: memFree=27679000/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=46488 CPUtime=1.49 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 16019 0 0 0 144 5 0 0 20 0 1 0 338754301 47603712 10522 33554432000 4194304 9016284 140737190069680 140737190064792 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 11622 10522 691 1178 0 10440 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46488
[startup+3.10023 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 30285
/proc/meminfo: memFree=27675652/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=46716 CPUtime=3.08 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 17855 0 0 0 300 8 0 0 20 0 1 0 338754301 47837184 10690 33554432000 4194304 9016284 140737190069680 140737190063432 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 11679 10690 699 1178 0 10497 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 46716
[startup+6.30023 s]
/proc/loadavg: 2.09 2.02 2.01 3/175 30285
/proc/meminfo: memFree=27675016/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=48216 CPUtime=6.29 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 19913 0 0 0 613 16 0 0 20 0 1 0 338754301 49373184 10996 33554432000 4194304 9016284 140737190069680 140737190063848 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 12054 10996 699 1178 0 10872 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48216
[startup+12.7002 s]
/proc/loadavg: 2.08 2.02 2.00 3/175 30285
/proc/meminfo: memFree=27668980/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=51152 CPUtime=12.68 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 25285 0 0 0 1232 36 0 0 20 0 1 0 338754301 52379648 11794 33554432000 4194304 9016284 140737190069680 140737190063048 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 12788 11794 703 1178 0 11606 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 51152
[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 30285
/proc/meminfo: memFree=27649308/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=62396 CPUtime=25.48 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 46576 0 0 0 2469 79 0 0 20 0 1 0 338754301 63893504 14642 33554432000 4194304 9016284 140737190069680 140737190063544 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 15599 14642 703 1178 0 14417 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 62396
[startup+51.1003 s]
/proc/loadavg: 2.04 2.02 2.00 3/175 30285
/proc/meminfo: memFree=27611024/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=83032 CPUtime=51.08 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 64399 0 0 0 4953 155 0 0 20 0 1 0 338754301 85024768 19846 33554432000 4194304 9016284 140737190069680 140737190064008 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 20758 19846 703 1178 0 19576 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 83032
[startup+102.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 30285
/proc/meminfo: memFree=27554148/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=119624 CPUtime=102.27 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 80677 0 0 0 9929 298 0 0 20 0 1 0 338754301 122494976 29158 33554432000 4194304 9016284 140737190069680 140737190063848 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 29906 29158 703 1178 0 28724 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 119624
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 30285
/proc/meminfo: memFree=27484116/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=160904 CPUtime=162.25 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 93403 0 0 0 15747 478 0 0 20 0 1 0 338754301 164765696 39083 33554432000 4194304 9016284 140737190069680 140737190063448 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 40226 39083 703 1178 0 39044 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 160904
[startup+222.307 s]
/proc/loadavg: 2.03 2.02 2.00 3/175 30286
/proc/meminfo: memFree=27409796/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=202796 CPUtime=222.23 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 105688 0 0 0 21566 657 0 0 20 0 1 0 338754301 207663104 49593 33554432000 4194304 9016284 140737190069680 140737190063848 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 50699 49593 703 1178 0 49517 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 202796
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 30286
/proc/meminfo: memFree=27352012/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=230264 CPUtime=282.21 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 112654 0 0 0 27397 824 0 0 20 0 1 0 338754301 235790336 56559 33554432000 4194304 9016284 140737190069680 140737190064008 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 57566 56559 703 1178 0 56384 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 230264
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 30289
/proc/meminfo: memFree=27313192/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=238548 CPUtime=342.2 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 134616 0 0 0 33215 1005 0 0 20 0 1 0 338754301 244273152 58715 33554432000 4194304 9016284 140737190069680 140737190063544 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 59637 58715 703 1178 0 58455 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 238548
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30289
/proc/meminfo: memFree=27283068/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=240636 CPUtime=402.2 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 137883 0 0 0 39041 1179 0 0 20 0 1 0 338754301 246411264 59225 33554432000 4194304 9016284 140737190069680 140737190063544 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 60159 59225 703 1178 0 58977 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 240636
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30365
/proc/meminfo: memFree=27778008/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=245016 CPUtime=462.18 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 141721 0 0 0 44867 1351 0 0 20 0 1 0 338754301 250896384 60319 33554432000 4194304 9016284 140737190069680 140737190064008 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 61254 60319 703 1178 0 60072 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 245016
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30366
/proc/meminfo: memFree=27753128/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=252368 CPUtime=522.17 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 143497 0 0 0 50696 1521 0 0 20 0 1 0 338754301 258424832 62095 33554432000 4194304 9016284 140737190069680 140737190064008 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 63092 62095 703 1178 0 61910 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 252368
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30366
/proc/meminfo: memFree=27721240/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=267280 CPUtime=582.16 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 149971 0 0 0 56528 1688 0 0 20 0 1 0 338754301 273694720 65791 33554432000 4194304 9016284 140737190069680 140737190063448 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 66820 65791 703 1178 0 65638 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 267280
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27591196/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=382888 CPUtime=1062.06 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 180858 0 0 0 103186 3020 0 0 20 0 1 0 338754301 392077312 94898 33554432000 4194304 9016284 140737190069680 140737190063848 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 95722 94898 703 1178 0 94540 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 382888
[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 30371
/proc/meminfo: memFree=27563656/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=395100 CPUtime=1122.06 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 183916 0 0 0 109023 3183 0 0 20 0 1 0 338754301 404582400 97956 33554432000 4194304 9016284 140737190069680 140737190063592 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 98775 97956 703 1178 0 97593 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 395100
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 30371
/proc/meminfo: memFree=27552676/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=406044 CPUtime=1182.05 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 186670 0 0 0 114859 3346 0 0 20 0 1 0 338754301 415789056 100710 33554432000 4194304 9016284 140737190069680 140737190064008 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 101511 100710 703 1178 0 100329 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 406044
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30371
/proc/meminfo: memFree=27542508/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=415424 CPUtime=1242.03 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 190824 0 0 0 120700 3503 0 0 20 0 1 0 338754301 425394176 103142 33554432000 4194304 9016284 140737190069680 140737190064264 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 103856 103142 703 1178 0 102674 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 415424
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30371
/proc/meminfo: memFree=27530852/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=427612 CPUtime=1302.02 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 193817 0 0 0 126530 3672 0 0 20 0 1 0 338754301 437874688 106135 33554432000 4194304 9016284 140737190069680 140737190063096 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 106903 106135 703 1178 0 105721 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 427612
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30371
/proc/meminfo: memFree=27522420/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=435868 CPUtime=1362.02 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 195895 0 0 0 132362 3840 0 0 20 0 1 0 338754301 446328832 108213 33554432000 4194304 9016284 140737190069680 140737190063592 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 108967 108213 703 1178 0 107785 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 435868
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30372
/proc/meminfo: memFree=27514432/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=444124 CPUtime=1422.01 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 197968 0 0 0 138204 3997 0 0 20 0 1 0 338754301 454782976 110286 33554432000 4194304 9016284 140737190069680 140737190064008 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 111031 110286 703 1178 0 109849 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 444124
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30372
/proc/meminfo: memFree=27497844/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=453632 CPUtime=1482 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 200362 0 0 0 144044 4156 0 0 20 0 1 0 338754301 464519168 112679 33554432000 4194304 9016284 140737190069680 140737190063912 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 113408 112679 703 1178 0 112226 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 453632
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30375
/proc/meminfo: memFree=27492200/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=458816 CPUtime=1541.99 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 201664 0 0 0 149876 4323 0 0 20 0 1 0 338754301 469827584 113986 33554432000 4194304 9016284 140737190069680 140737190063640 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 114704 113986 703 1178 0 113522 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 458816
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30375
/proc/meminfo: memFree=27485760/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=466524 CPUtime=1601.97 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 203596 0 0 0 155711 4486 0 0 20 0 1 0 338754301 477720576 115918 33554432000 4194304 9016284 140737190069680 140737190064008 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 116631 115918 703 1178 0 115449 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 466524
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30375
/proc/meminfo: memFree=27478068/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=473052 CPUtime=1661.97 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 205238 0 0 0 161550 4647 0 0 20 0 1 0 338754301 484405248 117560 33554432000 4194304 9016284 140737190069680 140737190063592 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 118263 117560 703 1178 0 117081 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 473052
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 30375
/proc/meminfo: memFree=27472488/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=478684 CPUtime=1721.96 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 206654 0 0 0 167387 4809 0 0 20 0 1 0 338754301 490172416 118976 33554432000 4194304 9016284 140737190069680 140737190063544 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 119671 118976 703 1178 0 118489 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 478684
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 30376
/proc/meminfo: memFree=27465296/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=485260 CPUtime=1781.95 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 208309 0 0 0 173227 4968 0 0 20 0 1 0 338754301 496906240 120631 33554432000 4194304 9016284 140737190069680 140737190063848 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 121315 120631 703 1178 0 120133 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 485260
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 30376
/proc/meminfo: memFree=27465296/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=485516 CPUtime=1785.24 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 208384 0 0 0 173548 4976 0 0 20 0 1 0 338754301 497168384 120706 33554432000 4194304 9016284 140737190069680 140737190064008 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 121379 120706 703 1178 0 120197 0
Current children cumulated CPU time (s) 1785.24
Current children cumulated vsize (KiB) 485516
[startup+1792.01 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 30376
/proc/meminfo: memFree=27464552/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=486348 CPUtime=1791.65 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 208586 0 0 0 174171 4994 0 0 20 0 1 0 338754301 498020352 120908 33554432000 4194304 9016284 140737190069680 140737190063544 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 121587 120908 703 1178 0 120405 0
Current children cumulated CPU time (s) 1791.65
Current children cumulated vsize (KiB) 486348
[startup+1795.2 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 30376
/proc/meminfo: memFree=27464552/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=486348 CPUtime=1794.85 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 208589 0 0 0 174482 5003 0 0 20 0 1 0 338754301 498020352 120911 33554432000 4194304 9016284 140737190069680 140737190063848 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 121587 120911 703 1178 0 120405 0
Current children cumulated CPU time (s) 1794.85
Current children cumulated vsize (KiB) 486348
[startup+1796.8 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 30376
/proc/meminfo: memFree=27459032/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=486348 CPUtime=1796.45 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 208592 0 0 0 174638 5007 0 0 20 0 1 0 338754301 498020352 120914 33554432000 4194304 9016284 140737190069680 140737190064008 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 121587 120914 703 1178 0 120405 0
Current children cumulated CPU time (s) 1796.45
Current children cumulated vsize (KiB) 486348
[startup+1797.6 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 30376
/proc/meminfo: memFree=27458908/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=486348 CPUtime=1797.24 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 208594 0 0 0 174717 5007 0 0 20 0 1 0 338754301 498020352 120916 33554432000 4194304 9016284 140737190069680 140737190064008 4330109 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 121587 120916 705 1178 0 120405 0
Current children cumulated CPU time (s) 1797.24
Current children cumulated vsize (KiB) 486348
[startup+1798 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 30376
/proc/meminfo: memFree=27458908/32873852 swapFree=7624/7624
[pid=30284] ppid=30282 vsize=486348 CPUtime=1797.64 cores=1,3,5,7
/proc/30284/stat : 30284 (scip-2.0.1.4b_2) R 30282 30284 29314 0 -1 4202496 208594 0 0 0 174757 5007 0 0 20 0 1 0 338754301 498020352 120916 33554432000 4194304 9016284 140737190069680 140737190065480 6812643 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30284/statm: 121587 120916 705 1178 0 120405 0
Current children cumulated CPU time (s) 1797.64
Current children cumulated vsize (KiB) 486348
Child status: 0
Real time (s): 1798.08
CPU time (s): 1797.74
CPU user time (s): 1747.65
CPU system time (s): 50.0874
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 486348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1747.65
system time used= 50.0874
maximum resident set size= 483664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 208599
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= 91
involuntary context switches= 1842
runsolver used 2.6106 second user time and 7.2239 second system time
The end