Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx 2 2011-06-10 (fixed) | SAT | -52 | 1797.67 | 1797.63 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_5.opb |
| MD5SUM | 2585c1015aa6228da840b6f61adc6732 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -52 |
| Best CPU time to get the best result obtained on this benchmark | 1797.67 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -52 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 200 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 200 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 22 |
| Number of terms in the objective function | 200 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 2528 |
| Sum of products size (including duplicates) | 5056 |
| Number of different products | 1264 |
| Sum of products size | 2528 |
0.00/0.00 c SCIP version 2.0.1.4 [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-3485165-1307784846.opb>
0.00/0.00 c original problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.00/0.00 c problem read
0.00/0.00 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.03/0.03 c (round 1) 1264 del vars, 200 del conss, 0 add conss, 1264 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5056 impls, 0 clqs
0.03/0.04 c (round 2) 1264 del vars, 200 del conss, 0 add conss, 1264 chg bounds, 0 chg sides, 0 chg coeffs, 1264 upgd conss, 7584 impls, 0 clqs
0.03/0.05 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.03/0.05 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.03/0.05 c presolving (3 rounds):
0.03/0.05 c 1264 deleted vars, 200 deleted constraints, 0 added constraints, 1264 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.03/0.05 c 7584 implications, 0 cliques
0.03/0.05 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 1264 constraints
0.03/0.05 c 1264 constraints of type <logicor>
0.03/0.05 c transformed objective value is always integral (scale: 1)
0.03/0.05 c Presolving Time: 0.05
0.03/0.05 c - non default parameters ----------------------------------------------------------------------
0.03/0.05 c # SCIP version 2.0.1.4
0.03/0.05 c
0.03/0.05 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.03/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.05 c conflict/interconss = 0
0.03/0.05 c
0.03/0.05 c # should binary conflicts be preferred?
0.03/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.05 c conflict/preferbinary = TRUE
0.03/0.05 c
0.03/0.05 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.03/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.03/0.05 c constraints/agelimit = 1
0.03/0.05 c
0.03/0.05 c # should enforcement of pseudo solution be disabled?
0.03/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.05 c constraints/disableenfops = TRUE
0.03/0.05 c
0.03/0.05 c # frequency for displaying node information lines
0.03/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.03/0.05 c display/freq = 10000
0.03/0.05 c
0.03/0.05 c # maximal time in seconds to run
0.03/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.05 c limits/time = 1797
0.03/0.05 c
0.03/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.03/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.05 c limits/memory = 13950
0.03/0.05 c
0.03/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.03/0.05 c # [type: int, range: [1,2], default: 1]
0.03/0.05 c timing/clocktype = 2
0.03/0.05 c
0.03/0.05 c # belongs reading time to solving time?
0.03/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.05 c timing/reading = TRUE
0.03/0.05 c
0.03/0.05 c # should presolving try to simplify inequalities
0.03/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.05 c constraints/linear/simplifyinequalities = TRUE
0.03/0.05 c
0.03/0.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.03/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.05 c constraints/indicator/addCouplingCons = TRUE
0.03/0.05 c
0.03/0.05 c # should presolving try to simplify knapsacks
0.03/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.03/0.05 c
0.03/0.05 c -----------------------------------------------------------------------------------------------
0.03/0.05 c start solving
0.03/0.05 c
0.03/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.03/0.06 c t 0.1s| 1 | 0 | 227 | - |3263k| 0 | 200 | 200 |1264 | 200 |1264 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.03/0.06 o -1
0.03/0.06 c R 0.1s| 1 | 0 | 227 | - |3265k| 0 | 200 | 200 |1264 | 200 |1264 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
0.03/0.06 o -2
0.03/0.06 c s 0.1s| 1 | 0 | 227 | - |3267k| 0 | 200 | 200 |1264 | 200 |1264 | 0 | 0 | 0 |-1.000000e+02 |-2.000000e+00 | 98.00%
0.03/0.08 c 0.1s| 1 | 0 | 298 | - |3273k| 0 | 193 | 200 |1264 | 200 |1273 | 9 | 0 | 0 |-9.650000e+01 |-2.000000e+00 | 97.93%
0.03/0.08 o -35
0.03/0.08 c b 0.1s| 1 | 0 | 298 | - |3279k| 0 | 193 | 200 |1264 | 200 |1273 | 9 | 0 | 0 |-9.650000e+01 |-3.500000e+01 | 63.73%
0.09/0.10 c 0.1s| 1 | 0 | 358 | - |3292k| 0 | 189 | 200 |1264 | 200 |1282 | 18 | 0 | 0 |-9.450000e+01 |-3.500000e+01 | 62.96%
0.09/0.12 c 0.1s| 1 | 0 | 443 | - |3312k| 0 | 185 | 200 |1264 | 200 |1293 | 29 | 0 | 0 |-9.250000e+01 |-3.500000e+01 | 62.16%
0.09/0.15 c 0.2s| 1 | 0 | 527 | - |3323k| 0 | 180 | 200 |1264 | 200 |1303 | 39 | 0 | 0 |-9.000000e+01 |-3.500000e+01 | 61.11%
0.19/0.20 c 0.2s| 1 | 0 | 719 | - |3449k| 0 | 176 | 200 |1264 | 200 |1314 | 50 | 0 | 0 |-8.800000e+01 |-3.500000e+01 | 60.23%
0.19/0.25 c 0.3s| 1 | 0 | 1018 | - |3466k| 0 | 172 | 200 |1264 | 200 |1326 | 62 | 0 | 0 |-8.600000e+01 |-3.500000e+01 | 59.30%
0.19/0.28 c 0.3s| 1 | 0 | 1045 | - |3473k| 0 | 171 | 200 |1264 | 200 |1333 | 69 | 0 | 0 |-8.550000e+01 |-3.500000e+01 | 59.06%
0.29/0.34 c 0.3s| 1 | 0 | 1187 | - |3583k| 0 | 169 | 200 |1264 | 200 |1341 | 77 | 0 | 0 |-8.450000e+01 |-3.500000e+01 | 58.58%
0.29/0.38 c 0.4s| 1 | 0 | 1243 | - |3592k| 0 | 166 | 200 |1264 | 200 |1349 | 85 | 0 | 0 |-8.300000e+01 |-3.500000e+01 | 57.83%
0.39/0.46 c 0.5s| 1 | 0 | 1836 | - |3673k| 0 | 169 | 200 |1264 | 200 |1361 | 97 | 0 | 0 |-8.075000e+01 |-3.500000e+01 | 56.66%
0.49/0.50 c 0.5s| 1 | 0 | 1974 | - |3709k| 0 | 164 | 200 |1264 | 200 | 398 | 105 | 0 | 0 |-8.025000e+01 |-3.500000e+01 | 56.39%
0.49/0.53 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.53 c 0.5s| 1 | 0 | 2060 | - |4208k| 0 | 187 | 200 |1264 | 200 | 405 | 112 | 0 | 0 |-7.961839e+01 |-3.500000e+01 | 56.04%
0.49/0.58 c 0.6s| 1 | 0 | 2138 | - |4634k| 0 | 159 | 200 |1264 | 200 | 539 | 246 | 0 | 0 |-7.900000e+01 |-3.500000e+01 | 55.70%
0.59/0.61 c 0.6s| 1 | 0 | 2274 | - |4928k| 0 | 170 | 200 |1264 | 200 | 555 | 262 | 0 | 0 |-7.800000e+01 |-3.500000e+01 | 55.13%
0.59/0.66 c 0.7s| 1 | 0 | 2520 | - |5302k| 0 | 191 | 200 |1264 | 200 | 600 | 307 | 0 | 0 |-7.702778e+01 |-3.500000e+01 | 54.56%
0.69/0.72 c 0.7s| 1 | 0 | 2748 | - |5769k| 0 | 190 | 200 |1264 | 200 | 632 | 339 | 0 | 0 |-7.616071e+01 |-3.500000e+01 | 54.04%
0.69/0.79 c 0.8s| 1 | 0 | 3002 | - |6296k| 0 | 198 | 200 |1264 | 200 | 539 | 373 | 0 | 0 |-7.539554e+01 |-3.500000e+01 | 53.58%
0.79/0.88 c 0.9s| 1 | 0 | 3253 | - |8008k| 0 | 194 | 200 |1264 | 200 | 573 | 407 | 0 | 0 |-7.481050e+01 |-3.500000e+01 | 53.22%
0.89/0.97 c 1.0s| 1 | 0 | 3525 | - |9601k| 0 | 194 | 200 |1264 | 200 | 624 | 458 | 0 | 0 |-7.417164e+01 |-3.500000e+01 | 52.81%
1.00/1.05 c 1.1s| 1 | 0 | 3780 | - | 10M| 0 | 200 | 200 |1264 | 200 | 643 | 477 | 0 | 0 |-7.372817e+01 |-3.500000e+01 | 52.53%
1.10/1.11 c 1.1s| 1 | 0 | 4046 | - | 10M| 0 | 199 | 200 |1264 | 200 | 666 | 500 | 0 | 0 |-7.294904e+01 |-3.500000e+01 | 52.02%
1.10/1.16 c 1.2s| 1 | 0 | 4218 | - | 11M| 0 | 197 | 200 |1264 | 200 | 684 | 518 | 0 | 0 |-7.262269e+01 |-3.500000e+01 | 51.81%
1.19/1.21 c 1.2s| 1 | 0 | 4500 | - | 11M| 0 | 198 | 200 |1264 | 200 | 539 | 533 | 0 | 0 |-7.217756e+01 |-3.500000e+01 | 51.51%
1.19/1.26 c 1.3s| 1 | 0 | 4717 | - | 11M| 0 | 199 | 200 |1264 | 200 | 551 | 545 | 0 | 0 |-7.195407e+01 |-3.500000e+01 | 51.36%
1.29/1.30 c 1.3s| 1 | 0 | 4864 | - | 11M| 0 | 200 | 200 |1264 | 200 | 571 | 565 | 0 | 0 |-7.172208e+01 |-3.500000e+01 | 51.20%
1.29/1.35 c 1.3s| 1 | 0 | 5199 | - | 11M| 0 | 200 | 200 |1264 | 200 | 588 | 582 | 0 | 0 |-7.127336e+01 |-3.500000e+01 | 50.89%
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 | 5409 | - | 11M| 0 | 199 | 200 |1264 | 200 | 598 | 592 | 0 | 0 |-7.102804e+01 |-3.500000e+01 | 50.72%
1.39/1.44 c 1.4s| 1 | 0 | 5533 | - | 11M| 0 | 198 | 200 |1264 | 200 | 611 | 605 | 0 | 0 |-7.079612e+01 |-3.500000e+01 | 50.56%
1.39/1.48 c 1.5s| 1 | 0 | 5619 | - | 11M| 0 | 198 | 200 |1264 | 200 | 432 | 615 | 0 | 0 |-7.074410e+01 |-3.500000e+01 | 50.53%
1.49/1.51 c 1.5s| 1 | 0 | 5651 | - | 11M| 0 | 200 | 200 |1264 | 200 | 444 | 627 | 0 | 0 |-7.072829e+01 |-3.500000e+01 | 50.51%
1.49/1.54 c 1.5s| 1 | 0 | 5724 | - | 11M| 0 | 200 | 200 |1264 | 200 | 456 | 639 | 0 | 0 |-7.070216e+01 |-3.500000e+01 | 50.50%
1.49/1.57 c 1.6s| 1 | 0 | 5752 | - | 11M| 0 | 199 | 200 |1264 | 200 | 458 | 641 | 0 | 0 |-7.069581e+01 |-3.500000e+01 | 50.49%
1.49/1.59 c 1.6s| 1 | 0 | 5763 | - | 11M| 0 | 200 | 200 |1264 | 200 | 463 | 646 | 0 | 0 |-7.069461e+01 |-3.500000e+01 | 50.49%
1.59/1.62 c 1.6s| 1 | 0 | 5767 | - | 11M| 0 | 200 | 200 |1264 | 200 | 465 | 648 | 0 | 0 |-7.069422e+01 |-3.500000e+01 | 50.49%
2.89/2.98 c 3.0s| 1 | 2 | 5767 | - | 11M| 0 | 200 | 200 |1264 | 200 | 465 | 648 | 0 | 40 |-7.069422e+01 |-3.500000e+01 | 50.49%
3.19/3.26 o -36
3.19/3.26 c R 3.3s| 19 | 18 | 6501 | 40.8 | 11M| 18 | 29 | 200 |1264 | 200 | 300 | 903 | 0 | 382 |-7.034502e+01 |-3.600000e+01 | 48.82%
3.19/3.26 o -37
3.19/3.26 c R 3.3s| 20 | 19 | 6511 | 39.2 | 11M| 19 | 17 | 200 |1264 | 200 | 302 | 908 | 0 | 391 |-7.034502e+01 |-3.700000e+01 | 47.40%
3.19/3.27 o -42
3.19/3.27 c c 3.3s| 20 | 19 | 6514 | 39.3 | 11M| 19 | - | 200 |1264 | 200 | 302 | 908 | 0 | 403 |-7.034502e+01 |-4.200000e+01 | 40.29%
3.99/4.04 o -43
3.99/4.04 c R 4.0s| 124 | 119 | 9511 | 30.4 | 11M| 19 | 22 | 200 |1264 | 200 | 272 |2101 | 0 |1362 |-7.034502e+01 |-4.300000e+01 | 38.87%
3.99/4.04 o -45
3.99/4.04 c * 4.0s| 126 | 107 | 9528 | 30.1 | 11M| 20 | - | 200 |1264 | 200 | 277 |2106 | 0 |1362 |-7.034502e+01 |-4.500000e+01 | 36.03%
4.19/4.29 o -46
4.19/4.29 c * 4.3s| 229 | 163 | 11836 | 26.6 | 11M| 23 | - | 200 |1264 | 200 | 258 |3174 | 0 |1494 |-7.034502e+01 |-4.600000e+01 | 34.61%
4.19/4.29 o -47
4.19/4.29 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.29 c * 4.3s| 231 | 150 | 11840 | 26.4 | 11M| 23 | - | 200 |1264 | 200 | 258 |3174 | 0 |1494 |-7.034502e+01 |-4.700000e+01 | 33.19%
20.80/20.90 c 20.9s| 10000 | 9281 |444759 | 43.9 | 19M| 36 | 79 | 200 |1264 | 200 | 278 | 200k| 0 |2366 |-6.778378e+01 |-4.700000e+01 | 30.66%
29.99/30.07 o -49
29.99/30.07 c l30.1s| 16224 | 13117 |690274 | 42.2 | 23M| 42 | - | 200 |1264 | 200 | 261 | 320k| 0 |3103 |-6.730000e+01 |-4.900000e+01 | 27.19%
34.59/34.62 c 34.6s| 20000 | 15535 |812259 | 40.3 | 25M| 44 | 92 | 200 |1264 | 200 | 274 | 386k| 0 |3426 |-6.700000e+01 |-4.900000e+01 | 26.87%
46.69/46.76 c 46.8s| 30000 | 22057 | 1143k| 37.9 | 31M| 45 | 90 | 200 |1264 | 200 | 255 | 564k| 0 |4215 |-6.660000e+01 |-4.900000e+01 | 26.43%
56.99/57.05 c 57.1s| 40000 | 27243 | 1426k| 35.5 | 36M| 53 | 32 | 200 |1264 | 200 | 226 | 724k| 0 |4828 |-6.633333e+01 |-4.900000e+01 | 26.13%
66.89/66.96 c 67.0s| 50000 | 32183 | 1697k| 33.8 | 41M| 53 | 86 | 200 |1264 | 200 | 275 | 881k| 0 |5432 |-6.600000e+01 |-4.900000e+01 | 25.76%
76.59/76.69 c 76.7s| 60000 | 37119 | 1966k| 32.7 | 46M| 53 | 30 | 200 |1264 | 200 | 260 |1038k| 0 |5876 |-6.572727e+01 |-4.900000e+01 | 25.45%
86.20/86.22 c 86.2s| 70000 | 41793 | 2227k| 31.7 | 50M| 53 | 77 | 200 |1264 | 200 | 271 |1192k| 0 |6349 |-6.550000e+01 |-4.900000e+01 | 25.19%
95.40/95.47 c 95.5s| 80000 | 46229 | 2483k| 31.0 | 55M| 53 | - | 200 |1264 | 200 | 227 |1348k| 0 |6776 |-6.512500e+01 |-4.900000e+01 | 24.76%
104.49/104.57 c 105s| 90000 | 50547 | 2731k| 30.3 | 59M| 53 | - | 200 |1264 | 200 | 235 |1496k| 0 |7160 |-6.500000e+01 |-4.900000e+01 | 24.62%
113.30/113.36 c 113s|100000 | 54523 | 2973k| 29.7 | 63M| 53 | 3 | 200 |1264 | 200 | 221 |1640k| 0 |7516 |-6.476471e+01 |-4.900000e+01 | 24.34%
122.09/122.16 c 122s|110000 | 58555 | 3214k| 29.2 | 67M| 53 | 9 | 200 |1264 | 200 | 200 |1786k| 0 |7886 |-6.450000e+01 |-4.900000e+01 | 24.03%
130.69/130.75 c 131s|120000 | 62267 | 3447k| 28.7 | 71M| 53 | 56 | 200 |1264 | 200 | 253 |1927k| 0 |8234 |-6.433333e+01 |-4.900000e+01 | 23.83%
136.30/136.32 o -50
136.30/136.32 c * 136s|126450 | 54189 | 3598k| 28.4 | 65M| 53 | - | 200 |1264 | 200 | 278 |2015k| 0 |8404 |-6.422222e+01 |-5.000000e+01 | 22.15%
139.19/139.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
139.19/139.24 c 139s|130000 | 55257 | 3675k| 28.2 | 66M| 53 | - | 200 |1264 | 200 | 257 |2063k| 0 |8502 |-6.408333e+01 |-5.000000e+01 | 21.98%
147.40/147.45 c 147s|140000 | 58329 | 3896k| 27.8 | 69M| 53 | - | 200 |1264 | 200 | 261 |2200k| 0 |8792 |-6.400000e+01 |-5.000000e+01 | 21.88%
155.69/155.74 c 156s|150000 | 61395 | 4119k| 27.4 | 73M| 53 | 68 | 200 |1264 | 200 | 270 |2338k| 0 |9100 |-6.385714e+01 |-5.000000e+01 | 21.70%
163.50/163.57 c 164s|160000 | 64251 | 4327k| 27.0 | 76M| 53 | - | 200 |1264 | 200 | 244 |2466k| 0 |9330 |-6.366667e+01 |-5.000000e+01 | 21.47%
171.50/171.60 c 172s|170000 | 67189 | 4540k| 26.7 | 79M| 56 | - | 200 |1264 | 200 | 263 |2599k| 0 |9622 |-6.357143e+01 |-5.000000e+01 | 21.35%
179.39/179.44 c 179s|180000 | 69991 | 4749k| 26.4 | 82M| 56 | 90 | 200 |1264 | 200 | 262 |2731k| 0 |9857 |-6.350000e+01 |-5.000000e+01 | 21.26%
187.09/187.16 c 187s|190000 | 72687 | 4953k| 26.0 | 85M| 56 | - | 200 |1264 | 200 | 236 |2861k| 0 | 10k|-6.340000e+01 |-5.000000e+01 | 21.14%
194.80/194.87 c 195s|200000 | 75205 | 5157k| 25.8 | 88M| 56 | - | 200 |1264 | 200 | 274 |2989k| 0 | 10k|-6.328571e+01 |-5.000000e+01 | 20.99%
202.70/202.74 c 203s|210000 | 78021 | 5367k| 25.5 | 91M| 56 | 95 | 200 |1264 | 200 | 278 |3116k| 0 | 10k|-6.316667e+01 |-5.000000e+01 | 20.84%
209.79/209.81 o -51
209.79/209.81 c * 210s|219379 | 65017 | 5552k| 25.3 | 79M| 56 | - | 200 |1264 | 200 | 265 |3230k| 0 | 10k|-6.303125e+01 |-5.100000e+01 | 19.09%
210.30/210.31 c 210s|220000 | 65150 | 5564k| 25.3 | 80M| 56 | 22 | 200 |1264 | 200 | 248 |3239k| 0 | 10k|-6.300000e+01 |-5.100000e+01 | 19.05%
217.70/217.78 c 218s|230000 | 67292 | 5762k| 25.0 | 82M| 56 | - | 200 |1264 | 200 | 278 |3368k| 0 | 10k|-6.300000e+01 |-5.100000e+01 | 19.05%
225.10/225.10 c 225s|240000 | 69264 | 5955k| 24.8 | 84M| 56 | - | 200 |1264 | 200 | 259 |3498k| 0 | 11k|-6.300000e+01 |-5.100000e+01 | 19.05%
232.50/232.57 c 233s|250000 | 71208 | 6149k| 24.6 | 87M| 56 | - | 200 |1264 | 200 | 248 |3627k| 0 | 11k|-6.300000e+01 |-5.100000e+01 | 19.05%
240.09/240.10 c 240s|260000 | 73208 | 6348k| 24.4 | 89M| 56 | 44 | 200 |1264 | 200 | 243 |3756k| 0 | 11k|-6.300000e+01 |-5.100000e+01 | 19.05%
247.41/247.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
247.41/247.40 c 247s|270000 | 75128 | 6539k| 24.2 | 91M| 56 | 14 | 200 |1264 | 200 | 241 |3882k| 0 | 11k|-6.283333e+01 |-5.100000e+01 | 18.83%
254.70/254.76 c 255s|280000 | 77116 | 6732k| 24.0 | 94M| 56 | 61 | 200 |1264 | 200 | 238 |4008k| 0 | 11k|-6.275000e+01 |-5.100000e+01 | 18.73%
261.99/262.01 c 262s|290000 | 78948 | 6921k| 23.8 | 96M| 56 | 15 | 200 |1264 | 200 | 238 |4135k| 0 | 12k|-6.266667e+01 |-5.100000e+01 | 18.62%
269.29/269.36 c 269s|300000 | 80796 | 7114k| 23.7 | 98M| 56 | 74 | 200 |1264 | 200 | 262 |4264k| 0 | 12k|-6.260000e+01 |-5.100000e+01 | 18.53%
276.50/276.51 c 277s|310000 | 82556 | 7299k| 23.5 | 100M| 56 | 40 | 200 |1264 | 200 | 237 |4386k| 0 | 12k|-6.250000e+01 |-5.100000e+01 | 18.40%
283.70/283.71 c 284s|320000 | 84410 | 7486k| 23.4 | 102M| 56 | - | 200 |1264 | 200 | 281 |4508k| 0 | 12k|-6.250000e+01 |-5.100000e+01 | 18.40%
290.70/290.77 c 291s|330000 | 86052 | 7669k| 23.2 | 104M| 56 | 16 | 200 |1264 | 200 | 227 |4633k| 0 | 12k|-6.250000e+01 |-5.100000e+01 | 18.40%
298.11/298.10 c 298s|340000 | 88008 | 7862k| 23.1 | 107M| 57 | - | 200 |1264 | 200 | 261 |4760k| 0 | 13k|-6.244444e+01 |-5.100000e+01 | 18.33%
305.09/305.16 c 305s|350000 | 89730 | 8044k| 23.0 | 109M| 57 | 96 | 200 |1264 | 200 | 274 |4883k| 0 | 13k|-6.233333e+01 |-5.100000e+01 | 18.18%
312.31/312.32 c 312s|360000 | 91554 | 8230k| 22.8 | 111M| 57 | - | 200 |1264 | 200 | 274 |5006k| 0 | 13k|-6.233333e+01 |-5.100000e+01 | 18.18%
319.40/319.48 c 319s|370000 | 93250 | 8417k| 22.7 | 113M| 57 | - | 200 |1264 | 200 | 288 |5132k| 0 | 13k|-6.225000e+01 |-5.100000e+01 | 18.07%
326.60/326.62 c 327s|380000 | 94960 | 8602k| 22.6 | 115M| 57 | 69 | 200 |1264 | 200 | 243 |5255k| 0 | 13k|-6.220000e+01 |-5.100000e+01 | 18.01%
333.50/333.59 c 334s|390000 | 96516 | 8781k| 22.5 | 117M| 57 | - | 200 |1264 | 200 | 239 |5376k| 0 | 13k|-6.214286e+01 |-5.100000e+01 | 17.93%
340.60/340.65 c 341s|400000 | 98076 | 8963k| 22.4 | 119M| 57 | - | 200 |1264 | 200 | 275 |5501k| 0 | 13k|-6.200000e+01 |-5.100000e+01 | 17.74%
347.60/347.65 c 348s|410000 | 99620 | 9144k| 22.3 | 121M| 57 | 8 | 200 |1264 | 200 | 242 |5624k| 0 | 14k|-6.200000e+01 |-5.100000e+01 | 17.74%
354.60/354.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
354.60/354.69 c 355s|420000 |101268 | 9324k| 22.2 | 123M| 57 | 5 | 200 |1264 | 200 | 251 |5747k| 0 | 14k|-6.200000e+01 |-5.100000e+01 | 17.74%
361.70/361.76 c 362s|430000 |102898 | 9506k| 22.1 | 125M| 58 | 17 | 200 |1264 | 200 | 222 |5869k| 0 | 14k|-6.200000e+01 |-5.100000e+01 | 17.74%
368.60/368.64 c 369s|440000 |104536 | 9683k| 22.0 | 126M| 58 | 44 | 200 |1264 | 200 | 200 |5987k| 0 | 14k|-6.200000e+01 |-5.100000e+01 | 17.74%
375.50/375.55 c 376s|450000 |106104 | 9862k| 21.9 | 128M| 58 | - | 200 |1264 | 200 | 241 |6107k| 0 | 14k|-6.200000e+01 |-5.100000e+01 | 17.74%
382.60/382.66 c 383s|460000 |107726 | 10047k| 21.8 | 130M| 59 | 22 | 200 |1264 | 200 | 240 |6231k| 0 | 14k|-6.200000e+01 |-5.100000e+01 | 17.74%
389.70/389.73 c 390s|470000 |109402 | 10231k| 21.8 | 132M| 59 | 42 | 200 |1264 | 200 | 268 |6351k| 0 | 14k|-6.200000e+01 |-5.100000e+01 | 17.74%
396.70/396.74 c 397s|480000 |110932 | 10409k| 21.7 | 134M| 59 | - | 200 |1264 | 200 | 266 |6472k| 0 | 15k|-6.188889e+01 |-5.100000e+01 | 17.59%
403.61/403.63 c 404s|490000 |112430 | 10584k| 21.6 | 136M| 59 | - | 200 |1264 | 200 | 266 |6591k| 0 | 15k|-6.183333e+01 |-5.100000e+01 | 17.52%
410.50/410.57 c 411s|500000 |114038 | 10764k| 21.5 | 138M| 59 | - | 200 |1264 | 200 | 264 |6713k| 0 | 15k|-6.180000e+01 |-5.100000e+01 | 17.48%
417.40/417.40 c 417s|510000 |115404 | 10938k| 21.4 | 140M| 59 | - | 200 |1264 | 200 | 278 |6834k| 0 | 15k|-6.175000e+01 |-5.100000e+01 | 17.41%
424.20/424.26 c 424s|520000 |116962 | 11115k| 21.4 | 142M| 59 | - | 200 |1264 | 200 | 252 |6958k| 0 | 15k|-6.175000e+01 |-5.100000e+01 | 17.41%
431.11/431.17 c 431s|530000 |118540 | 11294k| 21.3 | 144M| 59 | 62 | 200 |1264 | 200 | 260 |7081k| 0 | 15k|-6.166667e+01 |-5.100000e+01 | 17.30%
438.11/438.14 c 438s|540000 |120108 | 11473k| 21.2 | 146M| 59 | - | 200 |1264 | 200 | 261 |7201k| 0 | 15k|-6.166667e+01 |-5.100000e+01 | 17.30%
445.11/445.14 c 445s|550000 |121680 | 11655k| 21.2 | 147M| 59 | 40 | 200 |1264 | 200 | 242 |7325k| 0 | 16k|-6.162500e+01 |-5.100000e+01 | 17.24%
452.01/452.05 c 452s|560000 |123156 | 11832k| 21.1 | 149M| 59 | 24 | 200 |1264 | 200 | 236 |7445k| 0 | 16k|-6.158333e+01 |-5.100000e+01 | 17.19%
458.80/458.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
458.80/458.81 c 459s|570000 |124554 | 12004k| 21.1 | 151M| 59 | - | 200 |1264 | 200 | 258 |7564k| 0 | 16k|-6.150000e+01 |-5.100000e+01 | 17.07%
465.71/465.74 c 466s|580000 |126032 | 12184k| 21.0 | 153M| 59 | 9 | 200 |1264 | 200 | 253 |7688k| 0 | 16k|-6.150000e+01 |-5.100000e+01 | 17.07%
472.50/472.51 c 473s|590000 |127534 | 12357k| 20.9 | 155M| 61 | 19 | 200 |1264 | 200 | 222 |7807k| 0 | 16k|-6.150000e+01 |-5.100000e+01 | 17.07%
479.00/479.06 c 479s|600000 |128812 | 12523k| 20.9 | 156M| 61 | 81 | 200 |1264 | 200 | 259 |7924k| 0 | 16k|-6.150000e+01 |-5.100000e+01 | 17.07%
485.70/485.75 c 486s|610000 |129998 | 12695k| 20.8 | 158M| 61 | - | 200 |1264 | 200 | 243 |8043k| 0 | 16k|-6.150000e+01 |-5.100000e+01 | 17.07%
492.10/492.13 c 492s|620000 |131206 | 12857k| 20.7 | 159M| 61 | - | 200 |1264 | 200 | 252 |8159k| 0 | 16k|-6.150000e+01 |-5.100000e+01 | 17.07%
498.80/498.80 c 499s|630000 |132492 | 13026k| 20.7 | 161M| 61 | - | 200 |1264 | 200 | 249 |8273k| 0 | 17k|-6.147917e+01 |-5.100000e+01 | 17.05%
505.30/505.31 c 505s|640000 |133592 | 13190k| 20.6 | 162M| 61 | 80 | 200 |1264 | 200 | 252 |8390k| 0 | 17k|-6.140000e+01 |-5.100000e+01 | 16.94%
511.80/511.81 c 512s|650000 |134632 | 13353k| 20.5 | 164M| 61 | 62 | 200 |1264 | 200 | 241 |8509k| 0 | 17k|-6.135714e+01 |-5.100000e+01 | 16.88%
518.21/518.28 c 518s|660000 |135610 | 13516k| 20.5 | 165M| 61 | 79 | 200 |1264 | 200 | 238 |8625k| 0 | 17k|-6.133333e+01 |-5.100000e+01 | 16.85%
524.80/524.80 c 525s|670000 |136654 | 13680k| 20.4 | 166M| 61 | - | 200 |1264 | 200 | 264 |8743k| 0 | 17k|-6.133333e+01 |-5.100000e+01 | 16.85%
531.31/531.38 c 531s|680000 |137922 | 13847k| 20.4 | 168M| 61 | - | 200 |1264 | 200 | 273 |8861k| 0 | 17k|-6.128205e+01 |-5.100000e+01 | 16.78%
537.91/537.95 c 538s|690000 |139100 | 14013k| 20.3 | 169M| 61 | - | 200 |1264 | 200 | 280 |8975k| 0 | 17k|-6.125000e+01 |-5.100000e+01 | 16.73%
544.51/544.53 c 545s|700000 |140312 | 14181k| 20.3 | 171M| 61 | 27 | 200 |1264 | 200 | 225 |9095k| 0 | 17k|-6.125000e+01 |-5.100000e+01 | 16.73%
551.01/551.09 c 551s|710000 |141496 | 14346k| 20.2 | 172M| 61 | - | 200 |1264 | 200 | 290 |9210k| 0 | 17k|-6.120000e+01 |-5.100000e+01 | 16.67%
557.50/557.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
557.50/557.53 c 558s|720000 |142582 | 14509k| 20.1 | 174M| 62 | 19 | 200 |1264 | 200 | 223 |9326k| 0 | 18k|-6.116667e+01 |-5.100000e+01 | 16.62%
563.90/563.98 c 564s|730000 |143680 | 14672k| 20.1 | 175M| 62 | 54 | 200 |1264 | 200 | 249 |9443k| 0 | 18k|-6.112500e+01 |-5.100000e+01 | 16.56%
570.50/570.54 c 571s|740000 |144802 | 14839k| 20.0 | 177M| 62 | 87 | 200 |1264 | 200 | 271 |9559k| 0 | 18k|-6.107692e+01 |-5.100000e+01 | 16.50%
577.00/577.04 c 577s|750000 |145958 | 15002k| 20.0 | 178M| 62 | 8 | 200 |1264 | 200 | 237 |9674k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
583.40/583.48 c 583s|760000 |147122 | 15163k| 19.9 | 180M| 62 | 69 | 200 |1264 | 200 | 246 |9786k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
590.11/590.15 c 590s|770000 |148488 | 15334k| 19.9 | 181M| 62 | 18 | 200 |1264 | 200 | 252 |9903k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
596.60/596.65 c 597s|780000 |149624 | 15499k| 19.9 | 183M| 62 | - | 200 |1264 | 200 | 249 | 10M| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
603.11/603.16 c 603s|790000 |150802 | 15664k| 19.8 | 184M| 62 | 18 | 200 |1264 | 200 | 229 | 10M| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
609.51/609.57 c 610s|800000 |151974 | 15826k| 19.8 | 186M| 63 | 50 | 200 |1264 | 200 | 253 | 10M| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
615.80/615.86 c 616s|810000 |152996 | 15985k| 19.7 | 187M| 63 | 77 | 200 |1264 | 200 | 278 | 10M| 0 | 19k|-6.100000e+01 |-5.100000e+01 | 16.39%
622.41/622.45 c 622s|820000 |154112 | 16152k| 19.7 | 188M| 63 | 56 | 200 |1264 | 200 | 242 | 10M| 0 | 19k|-6.100000e+01 |-5.100000e+01 | 16.39%
628.61/628.68 c 629s|830000 |155108 | 16307k| 19.6 | 190M| 63 | 32 | 200 |1264 | 200 | 242 | 10M| 0 | 19k|-6.100000e+01 |-5.100000e+01 | 16.39%
635.01/635.06 c 635s|840000 |156096 | 16468k| 19.6 | 191M| 63 | 20 | 200 |1264 | 200 | 225 | 10M| 0 | 19k|-6.100000e+01 |-5.100000e+01 | 16.39%
641.60/641.60 c 642s|850000 |157376 | 16633k| 19.6 | 193M| 63 | - | 200 |1264 | 200 | 280 | 10M| 0 | 19k|-6.100000e+01 |-5.100000e+01 | 16.39%
647.91/647.94 c 648s|860000 |158456 | 16792k| 19.5 | 194M| 63 | 16 | 200 |1264 | 200 | 227 | 10M| 0 | 19k|-6.100000e+01 |-5.100000e+01 | 16.39%
654.41/654.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
654.41/654.41 c 654s|870000 |159576 | 16955k| 19.5 | 195M| 65 | 36 | 200 |1264 | 200 | 244 | 11M| 0 | 19k|-6.100000e+01 |-5.100000e+01 | 16.39%
660.80/660.88 c 661s|880000 |160740 | 17118k| 19.4 | 197M| 65 | - | 200 |1264 | 200 | 251 | 11M| 0 | 19k|-6.100000e+01 |-5.100000e+01 | 16.39%
667.40/667.42 c 667s|890000 |161896 | 17283k| 19.4 | 198M| 65 | - | 200 |1264 | 200 | 249 | 11M| 0 | 19k|-6.100000e+01 |-5.100000e+01 | 16.39%
673.91/673.93 c 674s|900000 |163066 | 17446k| 19.4 | 200M| 65 | - | 200 |1264 | 200 | 265 | 11M| 0 | 19k|-6.090000e+01 |-5.100000e+01 | 16.26%
680.21/680.29 c 680s|910000 |164128 | 17605k| 19.3 | 201M| 65 | - | 200 |1264 | 200 | 245 | 11M| 0 | 20k|-6.087273e+01 |-5.100000e+01 | 16.22%
686.61/686.68 c 687s|920000 |165108 | 17765k| 19.3 | 203M| 65 | - | 200 |1264 | 200 | 257 | 11M| 0 | 20k|-6.083333e+01 |-5.100000e+01 | 16.16%
692.91/692.99 c 693s|930000 |166194 | 17923k| 19.3 | 204M| 65 | - | 200 |1264 | 200 | 251 | 11M| 0 | 20k|-6.080000e+01 |-5.100000e+01 | 16.12%
699.31/699.37 c 699s|940000 |167212 | 18083k| 19.2 | 205M| 65 | 52 | 200 |1264 | 200 | 252 | 11M| 0 | 20k|-6.077778e+01 |-5.100000e+01 | 16.09%
705.61/705.68 c 706s|950000 |168168 | 18241k| 19.2 | 207M| 65 | 5 | 200 |1264 | 200 | 252 | 11M| 0 | 20k|-6.075000e+01 |-5.100000e+01 | 16.05%
711.91/711.94 c 712s|960000 |169348 | 18399k| 19.2 | 208M| 65 | - | 200 |1264 | 200 | 263 | 12M| 0 | 20k|-6.075000e+01 |-5.100000e+01 | 16.05%
718.31/718.37 c 718s|970000 |170382 | 18561k| 19.1 | 209M| 65 | 14 | 200 |1264 | 200 | 230 | 12M| 0 | 20k|-6.073333e+01 |-5.100000e+01 | 16.03%
724.71/724.74 c 725s|980000 |171472 | 18720k| 19.1 | 211M| 65 | - | 200 |1264 | 200 | 266 | 12M| 0 | 20k|-6.066667e+01 |-5.100000e+01 | 15.93%
731.01/731.03 c 731s|990000 |172532 | 18877k| 19.1 | 212M| 65 | - | 200 |1264 | 200 | 251 | 12M| 0 | 20k|-6.066667e+01 |-5.100000e+01 | 15.93%
737.31/737.30 c 737s| 1000k|173620 | 19035k| 19.0 | 213M| 65 | 68 | 200 |1264 | 200 | 293 | 12M| 0 | 20k|-6.066667e+01 |-5.100000e+01 | 15.93%
743.61/743.66 c 744s| 1010k|174702 | 19195k| 19.0 | 215M| 72 | 57 | 200 |1264 | 200 | 246 | 12M| 0 | 21k|-6.066667e+01 |-5.100000e+01 | 15.93%
749.81/749.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
749.81/749.85 c 750s| 1020k|175760 | 19351k| 19.0 | 216M| 72 | 74 | 200 |1264 | 200 | 278 | 12M| 0 | 21k|-6.066667e+01 |-5.100000e+01 | 15.93%
756.11/756.12 c 756s| 1030k|176742 | 19507k| 18.9 | 217M| 72 | 78 | 200 |1264 | 200 | 282 | 12M| 0 | 21k|-6.060000e+01 |-5.100000e+01 | 15.84%
762.21/762.24 c 762s| 1040k|177654 | 19659k| 18.9 | 219M| 72 | - | 200 |1264 | 200 | 260 | 12M| 0 | 21k|-6.060000e+01 |-5.100000e+01 | 15.84%
768.41/768.40 c 768s| 1050k|178428 | 19810k| 18.9 | 220M| 72 | 3 | 200 |1264 | 200 | 241 | 13M| 0 | 21k|-6.054545e+01 |-5.100000e+01 | 15.77%
774.81/774.80 c 775s| 1060k|179468 | 19971k| 18.8 | 221M| 72 | - | 200 |1264 | 200 | 274 | 13M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
781.02/781.01 c 781s| 1070k|180486 | 20127k| 18.8 | 222M| 72 | 41 | 200 |1264 | 200 | 267 | 13M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
787.11/787.19 c 787s| 1080k|181502 | 20282k| 18.8 | 224M| 72 | - | 200 |1264 | 200 | 246 | 13M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
793.41/793.41 c 793s| 1090k|182472 | 20438k| 18.7 | 225M| 72 | - | 200 |1264 | 200 | 256 | 13M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
799.51/799.57 c 800s| 1100k|183446 | 20591k| 18.7 | 226M| 72 | 81 | 200 |1264 | 200 | 269 | 13M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
805.81/805.84 c 806s| 1110k|184450 | 20749k| 18.7 | 227M| 72 | - | 200 |1264 | 200 | 270 | 13M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
811.81/811.87 c 812s| 1120k|185364 | 20898k| 18.7 | 229M| 72 | 22 | 200 |1264 | 200 | 245 | 13M| 0 | 22k|-6.050000e+01 |-5.100000e+01 | 15.70%
818.01/818.05 c 818s| 1130k|186400 | 21052k| 18.6 | 230M| 72 | - | 200 |1264 | 200 | 250 | 13M| 0 | 22k|-6.050000e+01 |-5.100000e+01 | 15.70%
824.21/824.29 c 824s| 1140k|187236 | 21207k| 18.6 | 231M| 72 | - | 200 |1264 | 200 | 285 | 14M| 0 | 22k|-6.050000e+01 |-5.100000e+01 | 15.70%
830.31/830.36 c 830s| 1150k|188028 | 21357k| 18.6 | 232M| 72 | - | 200 |1264 | 200 | 266 | 14M| 0 | 22k|-6.050000e+01 |-5.100000e+01 | 15.70%
836.51/836.50 c 836s| 1160k|189052 | 21509k| 18.5 | 233M| 72 | 54 | 200 |1264 | 200 | 252 | 14M| 0 | 22k|-6.050000e+01 |-5.100000e+01 | 15.70%
842.62/842.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
842.62/842.66 c 843s| 1170k|190062 | 21663k| 18.5 | 235M| 72 | - | 200 |1264 | 200 | 239 | 14M| 0 | 22k|-6.044444e+01 |-5.100000e+01 | 15.62%
848.81/848.83 c 849s| 1180k|190966 | 21816k| 18.5 | 236M| 72 | - | 200 |1264 | 200 | 260 | 14M| 0 | 22k|-6.041071e+01 |-5.100000e+01 | 15.58%
854.91/854.96 c 855s| 1190k|191742 | 21967k| 18.5 | 237M| 72 | 54 | 200 |1264 | 200 | 300 | 14M| 0 | 22k|-6.040000e+01 |-5.100000e+01 | 15.56%
861.11/861.17 c 861s| 1200k|192662 | 22121k| 18.4 | 238M| 72 | - | 200 |1264 | 200 | 301 | 14M| 0 | 22k|-6.035000e+01 |-5.100000e+01 | 15.49%
867.31/867.38 c 867s| 1210k|193588 | 22274k| 18.4 | 239M| 72 | - | 200 |1264 | 200 | 285 | 14M| 0 | 22k|-6.033333e+01 |-5.100000e+01 | 15.47%
873.51/873.56 c 874s| 1220k|194488 | 22428k| 18.4 | 240M| 72 | - | 200 |1264 | 200 | 270 | 14M| 0 | 22k|-6.033333e+01 |-5.100000e+01 | 15.47%
879.71/879.75 c 880s| 1230k|195390 | 22582k| 18.4 | 242M| 72 | - | 200 |1264 | 200 | 237 | 15M| 0 | 22k|-6.033333e+01 |-5.100000e+01 | 15.47%
885.91/885.95 c 886s| 1240k|196362 | 22735k| 18.3 | 243M| 72 | - | 200 |1264 | 200 | 255 | 15M| 0 | 23k|-6.033333e+01 |-5.100000e+01 | 15.47%
891.92/891.98 c 892s| 1250k|197212 | 22884k| 18.3 | 244M| 72 | 47 | 200 |1264 | 200 | 260 | 15M| 0 | 23k|-6.028571e+01 |-5.100000e+01 | 15.40%
898.01/898.09 c 898s| 1260k|198066 | 23034k| 18.3 | 245M| 72 | 72 | 200 |1264 | 200 | 247 | 15M| 0 | 23k|-6.025000e+01 |-5.100000e+01 | 15.35%
904.12/904.15 c 904s| 1270k|198922 | 23184k| 18.3 | 246M| 72 | 17 | 200 |1264 | 200 | 253 | 15M| 0 | 23k|-6.025000e+01 |-5.100000e+01 | 15.35%
910.12/910.16 c 910s| 1280k|199744 | 23332k| 18.2 | 247M| 72 | - | 200 |1264 | 200 | 277 | 15M| 0 | 23k|-6.025000e+01 |-5.100000e+01 | 15.35%
916.32/916.30 c 916s| 1290k|200522 | 23483k| 18.2 | 248M| 72 | 53 | 200 |1264 | 200 | 247 | 15M| 0 | 23k|-6.021429e+01 |-5.100000e+01 | 15.30%
922.41/922.44 c 922s| 1300k|201296 | 23633k| 18.2 | 250M| 72 | - | 200 |1264 | 200 | 283 | 15M| 0 | 23k|-6.018182e+01 |-5.100000e+01 | 15.26%
928.42/928.47 c 928s| 1310k|202142 | 23781k| 18.1 | 251M| 72 | - | 200 |1264 | 200 | 252 | 15M| 0 | 23k|-6.016667e+01 |-5.100000e+01 | 15.24%
934.42/934.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
934.42/934.41 c 934s| 1320k|202938 | 23926k| 18.1 | 252M| 72 | - | 200 |1264 | 200 | 278 | 16M| 0 | 23k|-6.012500e+01 |-5.100000e+01 | 15.18%
940.42/940.47 c 940s| 1330k|203700 | 24076k| 18.1 | 253M| 72 | 62 | 200 |1264 | 200 | 249 | 16M| 0 | 23k|-6.010000e+01 |-5.100000e+01 | 15.14%
946.42/946.46 c 946s| 1340k|204418 | 24224k| 18.1 | 254M| 72 | - | 200 |1264 | 200 | 255 | 16M| 0 | 23k|-6.004167e+01 |-5.100000e+01 | 15.06%
952.52/952.54 c 953s| 1350k|205136 | 24371k| 18.0 | 255M| 72 | 39 | 200 |1264 | 200 | 241 | 16M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
958.71/958.71 c 959s| 1360k|205938 | 24524k| 18.0 | 256M| 72 | - | 200 |1264 | 200 | 264 | 16M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
964.82/964.81 c 965s| 1370k|206834 | 24675k| 18.0 | 257M| 72 | - | 200 |1264 | 200 | 290 | 16M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
971.02/971.00 c 971s| 1380k|207608 | 24828k| 18.0 | 258M| 72 | - | 200 |1264 | 200 | 274 | 16M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
977.01/977.06 c 977s| 1390k|208330 | 24979k| 18.0 | 259M| 72 | - | 200 |1264 | 200 | 259 | 16M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
983.11/983.14 c 983s| 1400k|209016 | 25129k| 17.9 | 260M| 72 | 51 | 200 |1264 | 200 | 285 | 16M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
989.21/989.20 c 989s| 1410k|209860 | 25279k| 17.9 | 261M| 72 | 68 | 200 |1264 | 200 | 240 | 17M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
995.32/995.34 c 995s| 1420k|210700 | 25432k| 17.9 | 262M| 72 | - | 200 |1264 | 200 | 270 | 17M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
998.01/998.09 o -52
998.01/998.09 c * 998s| 1424k|161186 | 25497k| 17.9 | 204M| 72 | - | 200 |1264 | 200 | 261 | 17M| 0 | 24k|-6.000000e+01 |-5.200000e+01 | 13.33%
1001.41/1001.46 c 1001s| 1430k|161475 | 25578k| 17.9 | 204M| 72 | - | 200 |1264 | 200 | 271 | 17M| 0 | 24k|-6.000000e+01 |-5.200000e+01 | 13.33%
1007.22/1007.27 c 1007s| 1440k|161895 | 25720k| 17.9 | 205M| 72 | 87 | 200 |1264 | 200 | 271 | 17M| 0 | 24k|-6.000000e+01 |-5.200000e+01 | 13.33%
1013.21/1013.22 c 1013s| 1450k|162331 | 25865k| 17.8 | 206M| 72 | 35 | 200 |1264 | 200 | 226 | 17M| 0 | 24k|-6.000000e+01 |-5.200000e+01 | 13.33%
1019.11/1019.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1019.11/1019.17 c 1019s| 1460k|162847 | 26011k| 17.8 | 207M| 72 | 55 | 200 |1264 | 200 | 238 | 17M| 0 | 24k|-6.000000e+01 |-5.200000e+01 | 13.33%
1025.12/1025.15 c 1025s| 1470k|163363 | 26158k| 17.8 | 207M| 72 | 21 | 200 |1264 | 200 | 244 | 17M| 0 | 24k|-6.000000e+01 |-5.200000e+01 | 13.33%
1031.02/1031.03 c 1031s| 1480k|163759 | 26300k| 17.8 | 208M| 72 | 35 | 200 |1264 | 200 | 240 | 17M| 0 | 24k|-6.000000e+01 |-5.200000e+01 | 13.33%
1036.91/1036.91 c 1037s| 1490k|164193 | 26443k| 17.7 | 209M| 72 | 24 | 200 |1264 | 200 | 236 | 17M| 0 | 24k|-6.000000e+01 |-5.200000e+01 | 13.33%
1042.72/1042.73 c 1043s| 1500k|164719 | 26584k| 17.7 | 210M| 72 | - | 200 |1264 | 200 | 257 | 18M| 0 | 25k|-6.000000e+01 |-5.200000e+01 | 13.33%
1048.62/1048.63 c 1049s| 1510k|165213 | 26729k| 17.7 | 210M| 72 | 71 | 200 |1264 | 200 | 247 | 18M| 0 | 25k|-6.000000e+01 |-5.200000e+01 | 13.33%
1054.42/1054.49 c 1054s| 1520k|165575 | 26871k| 17.7 | 211M| 72 | 24 | 200 |1264 | 200 | 248 | 18M| 0 | 25k|-6.000000e+01 |-5.200000e+01 | 13.33%
1060.21/1060.29 c 1060s| 1530k|166017 | 27011k| 17.7 | 212M| 72 | - | 200 |1264 | 200 | 271 | 18M| 0 | 25k|-6.000000e+01 |-5.200000e+01 | 13.33%
1066.21/1066.28 c 1066s| 1540k|166455 | 27159k| 17.6 | 212M| 72 | 60 | 200 |1264 | 200 | 250 | 18M| 0 | 25k|-6.000000e+01 |-5.200000e+01 | 13.33%
1072.32/1072.32 c 1072s| 1550k|167017 | 27307k| 17.6 | 213M| 72 | 78 | 200 |1264 | 200 | 253 | 18M| 0 | 25k|-6.000000e+01 |-5.200000e+01 | 13.33%
1078.22/1078.27 c 1078s| 1560k|167589 | 27452k| 17.6 | 214M| 72 | - | 200 |1264 | 200 | 278 | 18M| 0 | 25k|-6.000000e+01 |-5.200000e+01 | 13.33%
1084.12/1084.13 c 1084s| 1570k|168063 | 27594k| 17.6 | 215M| 72 | - | 200 |1264 | 200 | 241 | 18M| 0 | 25k|-6.000000e+01 |-5.200000e+01 | 13.33%
1090.13/1090.13 c 1090s| 1580k|168573 | 27740k| 17.6 | 215M| 72 | 39 | 200 |1264 | 200 | 264 | 18M| 0 | 25k|-6.000000e+01 |-5.200000e+01 | 13.33%
1095.92/1095.97 c 1096s| 1590k|169019 | 27881k| 17.5 | 216M| 72 | 10 | 200 |1264 | 200 | 244 | 19M| 0 | 25k|-6.000000e+01 |-5.200000e+01 | 13.33%
1101.92/1101.91 c 1102s| 1600k|169469 | 28025k| 17.5 | 217M| 72 | - | 200 |1264 | 200 | 263 | 19M| 0 | 25k|-6.000000e+01 |-5.200000e+01 | 13.33%
1107.62/1107.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1107.62/1107.65 c 1108s| 1610k|169901 | 28162k| 17.5 | 217M| 72 | - | 200 |1264 | 200 | 246 | 19M| 0 | 25k|-5.992105e+01 |-5.200000e+01 | 13.22%
1113.52/1113.59 c 1114s| 1620k|170517 | 28305k| 17.5 | 218M| 72 | - | 200 |1264 | 200 | 247 | 19M| 0 | 25k|-5.988889e+01 |-5.200000e+01 | 13.17%
1119.42/1119.45 c 1119s| 1630k|170983 | 28445k| 17.4 | 219M| 72 | 76 | 200 |1264 | 200 | 270 | 19M| 0 | 25k|-5.985714e+01 |-5.200000e+01 | 13.13%
1125.12/1125.17 c 1125s| 1640k|171395 | 28582k| 17.4 | 220M| 72 | - | 200 |1264 | 200 | 254 | 19M| 0 | 26k|-5.983333e+01 |-5.200000e+01 | 13.09%
1130.91/1130.91 c 1131s| 1650k|171923 | 28720k| 17.4 | 220M| 72 | - | 200 |1264 | 200 | 259 | 19M| 0 | 26k|-5.983333e+01 |-5.200000e+01 | 13.09%
1136.72/1136.76 c 1137s| 1660k|172401 | 28862k| 17.4 | 221M| 72 | - | 200 |1264 | 200 | 232 | 19M| 0 | 26k|-5.980000e+01 |-5.200000e+01 | 13.04%
1142.52/1142.53 c 1143s| 1670k|172857 | 28999k| 17.4 | 222M| 72 | - | 200 |1264 | 200 | 256 | 19M| 0 | 26k|-5.980000e+01 |-5.200000e+01 | 13.04%
1148.22/1148.27 c 1148s| 1680k|173239 | 29138k| 17.3 | 222M| 72 | 14 | 200 |1264 | 200 | 257 | 20M| 0 | 26k|-5.976471e+01 |-5.200000e+01 | 12.99%
1154.11/1154.10 c 1154s| 1690k|173609 | 29278k| 17.3 | 223M| 72 | - | 200 |1264 | 200 | 252 | 20M| 0 | 26k|-5.975000e+01 |-5.200000e+01 | 12.97%
1159.92/1159.96 c 1160s| 1700k|174075 | 29420k| 17.3 | 224M| 72 | - | 200 |1264 | 200 | 265 | 20M| 0 | 26k|-5.975000e+01 |-5.200000e+01 | 12.97%
1165.72/1165.73 c 1166s| 1710k|174649 | 29560k| 17.3 | 225M| 72 | - | 200 |1264 | 200 | 293 | 20M| 0 | 26k|-5.975000e+01 |-5.200000e+01 | 12.97%
1171.62/1171.62 c 1172s| 1720k|175075 | 29702k| 17.3 | 225M| 72 | - | 200 |1264 | 200 | 247 | 20M| 0 | 26k|-5.975000e+01 |-5.200000e+01 | 12.97%
1177.32/1177.37 c 1177s| 1730k|175559 | 29842k| 17.2 | 226M| 72 | 15 | 200 |1264 | 200 | 238 | 20M| 0 | 26k|-5.975000e+01 |-5.200000e+01 | 12.97%
1183.12/1183.10 c 1183s| 1740k|175905 | 29980k| 17.2 | 227M| 72 | 88 | 200 |1264 | 200 | 294 | 20M| 0 | 26k|-5.971429e+01 |-5.200000e+01 | 12.92%
1188.92/1188.95 c 1189s| 1750k|176307 | 30120k| 17.2 | 227M| 72 | - | 200 |1264 | 200 | 288 | 20M| 0 | 26k|-5.969231e+01 |-5.200000e+01 | 12.89%
1194.72/1194.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1194.72/1194.79 c 1195s| 1760k|176663 | 30261k| 17.2 | 228M| 72 | 89 | 200 |1264 | 200 | 259 | 20M| 0 | 26k|-5.966667e+01 |-5.200000e+01 | 12.85%
1200.62/1200.62 c 1201s| 1770k|177079 | 30403k| 17.2 | 228M| 72 | - | 200 |1264 | 200 | 280 | 20M| 0 | 26k|-5.966667e+01 |-5.200000e+01 | 12.85%
1206.42/1206.42 c 1206s| 1780k|177491 | 30543k| 17.2 | 229M| 72 | - | 200 |1264 | 200 | 265 | 21M| 0 | 27k|-5.966667e+01 |-5.200000e+01 | 12.85%
1212.33/1212.34 c 1212s| 1790k|177905 | 30687k| 17.1 | 230M| 72 | 17 | 200 |1264 | 200 | 224 | 21M| 0 | 27k|-5.966667e+01 |-5.200000e+01 | 12.85%
1218.12/1218.11 c 1218s| 1800k|178329 | 30825k| 17.1 | 230M| 72 | - | 200 |1264 | 200 | 248 | 21M| 0 | 27k|-5.966667e+01 |-5.200000e+01 | 12.85%
1223.82/1223.80 c 1224s| 1810k|178783 | 30961k| 17.1 | 231M| 72 | 52 | 200 |1264 | 200 | 259 | 21M| 0 | 27k|-5.966667e+01 |-5.200000e+01 | 12.85%
1229.72/1229.74 c 1230s| 1820k|179221 | 31104k| 17.1 | 232M| 72 | - | 200 |1264 | 200 | 259 | 21M| 0 | 27k|-5.964286e+01 |-5.200000e+01 | 12.81%
1235.52/1235.56 c 1236s| 1830k|179699 | 31244k| 17.1 | 232M| 72 | 51 | 200 |1264 | 200 | 239 | 21M| 0 | 27k|-5.961905e+01 |-5.200000e+01 | 12.78%
1241.32/1241.39 c 1241s| 1840k|180135 | 31383k| 17.1 | 233M| 72 | 36 | 200 |1264 | 200 | 250 | 21M| 0 | 27k|-5.960000e+01 |-5.200000e+01 | 12.75%
1247.13/1247.15 c 1247s| 1850k|180575 | 31521k| 17.0 | 234M| 72 | - | 200 |1264 | 200 | 295 | 21M| 0 | 27k|-5.957143e+01 |-5.200000e+01 | 12.71%
1252.83/1252.88 c 1253s| 1860k|180907 | 31657k| 17.0 | 234M| 72 | - | 200 |1264 | 200 | 281 | 21M| 0 | 27k|-5.953125e+01 |-5.200000e+01 | 12.65%
1258.62/1258.67 c 1259s| 1870k|181375 | 31797k| 17.0 | 235M| 72 | - | 200 |1264 | 200 | 262 | 22M| 0 | 27k|-5.950000e+01 |-5.200000e+01 | 12.61%
1264.42/1264.43 c 1264s| 1880k|181681 | 31932k| 17.0 | 236M| 72 | 47 | 200 |1264 | 200 | 253 | 22M| 0 | 27k|-5.950000e+01 |-5.200000e+01 | 12.61%
1270.12/1270.12 c 1270s| 1890k|182101 | 32068k| 17.0 | 236M| 72 | - | 200 |1264 | 200 | 261 | 22M| 0 | 27k|-5.950000e+01 |-5.200000e+01 | 12.61%
1275.82/1275.90 c 1276s| 1900k|182523 | 32210k| 16.9 | 237M| 72 | - | 200 |1264 | 200 | 267 | 22M| 0 | 27k|-5.950000e+01 |-5.200000e+01 | 12.61%
1281.63/1281.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1281.63/1281.63 c 1282s| 1910k|183007 | 32347k| 16.9 | 238M| 72 | 25 | 200 |1264 | 200 | 255 | 22M| 0 | 27k|-5.950000e+01 |-5.200000e+01 | 12.61%
1287.42/1287.41 c 1287s| 1920k|183471 | 32487k| 16.9 | 238M| 72 | 69 | 200 |1264 | 200 | 240 | 22M| 0 | 27k|-5.950000e+01 |-5.200000e+01 | 12.61%
1293.13/1293.11 c 1293s| 1930k|183907 | 32624k| 16.9 | 239M| 72 | - | 200 |1264 | 200 | 282 | 22M| 0 | 28k|-5.950000e+01 |-5.200000e+01 | 12.61%
1298.83/1298.86 c 1299s| 1940k|184407 | 32761k| 16.9 | 240M| 72 | - | 200 |1264 | 200 | 285 | 22M| 0 | 28k|-5.950000e+01 |-5.200000e+01 | 12.61%
1304.42/1304.50 c 1305s| 1950k|184753 | 32894k| 16.9 | 240M| 72 | 71 | 200 |1264 | 200 | 253 | 22M| 0 | 28k|-5.950000e+01 |-5.200000e+01 | 12.61%
1310.12/1310.12 c 1310s| 1960k|185113 | 33027k| 16.8 | 241M| 72 | 32 | 200 |1264 | 200 | 262 | 23M| 0 | 28k|-5.950000e+01 |-5.200000e+01 | 12.61%
1315.82/1315.84 c 1316s| 1970k|185465 | 33164k| 16.8 | 241M| 72 | - | 200 |1264 | 200 | 258 | 23M| 0 | 28k|-5.950000e+01 |-5.200000e+01 | 12.61%
1321.52/1321.53 c 1322s| 1980k|185917 | 33300k| 16.8 | 242M| 72 | 80 | 200 |1264 | 200 | 264 | 23M| 0 | 28k|-5.950000e+01 |-5.200000e+01 | 12.61%
1327.03/1327.09 c 1327s| 1990k|186231 | 33431k| 16.8 | 243M| 72 | 18 | 200 |1264 | 200 | 260 | 23M| 0 | 28k|-5.950000e+01 |-5.200000e+01 | 12.61%
1332.72/1332.71 c 1333s| 2000k|186581 | 33566k| 16.8 | 243M| 72 | - | 200 |1264 | 200 | 255 | 23M| 0 | 28k|-5.950000e+01 |-5.200000e+01 | 12.61%
1338.42/1338.44 c 1338s| 2010k|187007 | 33703k| 16.8 | 244M| 72 | 90 | 200 |1264 | 200 | 286 | 23M| 0 | 28k|-5.950000e+01 |-5.200000e+01 | 12.61%
1344.02/1344.00 c 1344s| 2020k|187333 | 33835k| 16.7 | 244M| 72 | - | 200 |1264 | 200 | 254 | 23M| 0 | 28k|-5.950000e+01 |-5.200000e+01 | 12.61%
1349.52/1349.56 c 1350s| 2030k|187583 | 33967k| 16.7 | 245M| 72 | 100 | 200 |1264 | 200 | 264 | 23M| 0 | 28k|-5.950000e+01 |-5.200000e+01 | 12.61%
1355.23/1355.22 c 1355s| 2040k|187877 | 34102k| 16.7 | 245M| 72 | - | 200 |1264 | 200 | 253 | 23M| 0 | 28k|-5.950000e+01 |-5.200000e+01 | 12.61%
1360.92/1360.99 c 1361s| 2050k|188325 | 34239k| 16.7 | 246M| 72 | - | 200 |1264 | 200 | 252 | 24M| 0 | 28k|-5.950000e+01 |-5.200000e+01 | 12.61%
1366.63/1366.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1366.63/1366.67 c 1367s| 2060k|188705 | 34375k| 16.7 | 247M| 72 | 31 | 200 |1264 | 200 | 265 | 24M| 0 | 28k|-5.950000e+01 |-5.200000e+01 | 12.61%
1372.33/1372.35 c 1372s| 2070k|189107 | 34509k| 16.7 | 247M| 72 | 30 | 200 |1264 | 200 | 224 | 24M| 0 | 28k|-5.943750e+01 |-5.200000e+01 | 12.51%
1378.03/1378.06 c 1378s| 2080k|189503 | 34645k| 16.7 | 248M| 72 | - | 200 |1264 | 200 | 256 | 24M| 0 | 28k|-5.941379e+01 |-5.200000e+01 | 12.48%
1383.63/1383.69 c 1384s| 2090k|189805 | 34779k| 16.6 | 248M| 72 | 90 | 200 |1264 | 200 | 282 | 24M| 0 | 28k|-5.940000e+01 |-5.200000e+01 | 12.46%
1389.42/1389.40 c 1389s| 2100k|190101 | 34912k| 16.6 | 249M| 72 | - | 200 |1264 | 200 | 252 | 24M| 0 | 29k|-5.937500e+01 |-5.200000e+01 | 12.42%
1395.03/1395.08 c 1395s| 2110k|190439 | 35047k| 16.6 | 249M| 72 | 11 | 200 |1264 | 200 | 227 | 24M| 0 | 29k|-5.935714e+01 |-5.200000e+01 | 12.39%
1400.72/1400.72 c 1401s| 2120k|190773 | 35180k| 16.6 | 250M| 72 | - | 200 |1264 | 200 | 265 | 24M| 0 | 29k|-5.933333e+01 |-5.200000e+01 | 12.36%
1406.42/1406.46 c 1406s| 2130k|191095 | 35315k| 16.6 | 251M| 72 | 11 | 200 |1264 | 200 | 223 | 24M| 0 | 29k|-5.933333e+01 |-5.200000e+01 | 12.36%
1412.12/1412.18 c 1412s| 2140k|191451 | 35450k| 16.6 | 251M| 72 | 55 | 200 |1264 | 200 | 240 | 24M| 0 | 29k|-5.933333e+01 |-5.200000e+01 | 12.36%
1417.83/1417.85 c 1418s| 2150k|191933 | 35586k| 16.5 | 252M| 72 | - | 200 |1264 | 200 | 263 | 25M| 0 | 29k|-5.933333e+01 |-5.200000e+01 | 12.36%
1423.43/1423.48 c 1423s| 2160k|192127 | 35718k| 16.5 | 252M| 72 | 34 | 200 |1264 | 200 | 250 | 25M| 0 | 29k|-5.933333e+01 |-5.200000e+01 | 12.36%
1429.12/1429.17 c 1429s| 2170k|192475 | 35854k| 16.5 | 253M| 72 | - | 200 |1264 | 200 | 239 | 25M| 0 | 29k|-5.933333e+01 |-5.200000e+01 | 12.36%
1434.82/1434.86 c 1435s| 2180k|192889 | 35988k| 16.5 | 253M| 72 | - | 200 |1264 | 200 | 228 | 25M| 0 | 29k|-5.931250e+01 |-5.200000e+01 | 12.33%
1440.43/1440.49 c 1440s| 2190k|193153 | 36120k| 16.5 | 254M| 72 | 99 | 200 |1264 | 200 | 240 | 25M| 0 | 29k|-5.928571e+01 |-5.200000e+01 | 12.29%
1446.22/1446.20 c 1446s| 2200k|193521 | 36256k| 16.5 | 255M| 72 | 59 | 200 |1264 | 200 | 240 | 25M| 0 | 29k|-5.925000e+01 |-5.200000e+01 | 12.24%
1451.72/1451.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1451.72/1451.72 c 1452s| 2210k|193827 | 36387k| 16.5 | 255M| 72 | - | 200 |1264 | 200 | 250 | 25M| 0 | 29k|-5.925000e+01 |-5.200000e+01 | 12.24%
1457.32/1457.34 c 1457s| 2220k|194225 | 36521k| 16.4 | 256M| 72 | - | 200 |1264 | 200 | 265 | 25M| 0 | 29k|-5.925000e+01 |-5.200000e+01 | 12.24%
1462.93/1462.96 c 1463s| 2230k|194513 | 36655k| 16.4 | 256M| 72 | - | 200 |1264 | 200 | 232 | 25M| 0 | 29k|-5.925000e+01 |-5.200000e+01 | 12.24%
1468.62/1468.62 c 1469s| 2240k|194859 | 36790k| 16.4 | 257M| 72 | - | 200 |1264 | 200 | 280 | 26M| 0 | 29k|-5.925000e+01 |-5.200000e+01 | 12.24%
1474.23/1474.24 c 1474s| 2250k|195147 | 36921k| 16.4 | 257M| 72 | 29 | 200 |1264 | 200 | 257 | 26M| 0 | 29k|-5.925000e+01 |-5.200000e+01 | 12.24%
1479.73/1479.78 c 1480s| 2260k|195439 | 37051k| 16.4 | 258M| 72 | 10 | 200 |1264 | 200 | 226 | 26M| 0 | 29k|-5.920000e+01 |-5.200000e+01 | 12.16%
1485.32/1485.30 c 1485s| 2270k|195715 | 37179k| 16.4 | 258M| 72 | - | 200 |1264 | 200 | 242 | 26M| 0 | 30k|-5.920000e+01 |-5.200000e+01 | 12.16%
1490.83/1490.86 c 1491s| 2280k|196055 | 37309k| 16.4 | 259M| 72 | 70 | 200 |1264 | 200 | 259 | 26M| 0 | 30k|-5.916667e+01 |-5.200000e+01 | 12.11%
1496.42/1496.40 c 1496s| 2290k|196479 | 37441k| 16.3 | 259M| 72 | - | 200 |1264 | 200 | 272 | 26M| 0 | 30k|-5.916667e+01 |-5.200000e+01 | 12.11%
1502.03/1502.00 c 1502s| 2300k|196745 | 37571k| 16.3 | 260M| 72 | 7 | 200 |1264 | 200 | 227 | 26M| 0 | 30k|-5.914286e+01 |-5.200000e+01 | 12.08%
1507.63/1507.60 c 1508s| 2310k|197073 | 37703k| 16.3 | 260M| 72 | 28 | 200 |1264 | 200 | 278 | 26M| 0 | 30k|-5.912500e+01 |-5.200000e+01 | 12.05%
1513.03/1513.09 c 1513s| 2320k|197323 | 37832k| 16.3 | 261M| 72 | 73 | 200 |1264 | 200 | 226 | 26M| 0 | 30k|-5.910000e+01 |-5.200000e+01 | 12.01%
1518.63/1518.67 c 1519s| 2330k|197621 | 37963k| 16.3 | 261M| 72 | - | 200 |1264 | 200 | 290 | 26M| 0 | 30k|-5.906250e+01 |-5.200000e+01 | 11.96%
1524.12/1524.13 c 1524s| 2340k|197849 | 38090k| 16.3 | 262M| 72 | - | 200 |1264 | 200 | 254 | 27M| 0 | 30k|-5.900000e+01 |-5.200000e+01 | 11.86%
1529.83/1529.83 c 1530s| 2350k|198173 | 38224k| 16.3 | 262M| 72 | 6 | 200 |1264 | 200 | 245 | 27M| 0 | 30k|-5.900000e+01 |-5.200000e+01 | 11.86%
1535.32/1535.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1535.32/1535.38 c 1535s| 2360k|198445 | 38355k| 16.3 | 263M| 72 | 9 | 200 |1264 | 200 | 258 | 27M| 0 | 30k|-5.900000e+01 |-5.200000e+01 | 11.86%
1541.03/1541.05 c 1541s| 2370k|198791 | 38491k| 16.2 | 263M| 72 | 59 | 200 |1264 | 200 | 233 | 27M| 0 | 30k|-5.900000e+01 |-5.200000e+01 | 11.86%
1546.73/1546.72 c 1547s| 2380k|199101 | 38624k| 16.2 | 264M| 72 | - | 200 |1264 | 200 | 264 | 27M| 0 | 30k|-5.900000e+01 |-5.200000e+01 | 11.86%
1552.22/1552.24 c 1552s| 2390k|199337 | 38754k| 16.2 | 264M| 72 | - | 200 |1264 | 200 | 250 | 27M| 0 | 30k|-5.900000e+01 |-5.200000e+01 | 11.86%
1557.93/1557.91 c 1558s| 2400k|199629 | 38887k| 16.2 | 265M| 72 | 28 | 200 |1264 | 200 | 254 | 27M| 0 | 30k|-5.900000e+01 |-5.200000e+01 | 11.86%
1563.43/1563.43 c 1563s| 2410k|199841 | 39016k| 16.2 | 265M| 72 | 20 | 200 |1264 | 200 | 246 | 27M| 0 | 30k|-5.900000e+01 |-5.200000e+01 | 11.86%
1569.03/1569.01 c 1569s| 2420k|200015 | 39147k| 16.2 | 265M| 72 | 99 | 200 |1264 | 200 | 295 | 27M| 0 | 30k|-5.900000e+01 |-5.200000e+01 | 11.86%
1574.53/1574.59 c 1575s| 2430k|200351 | 39279k| 16.2 | 266M| 72 | - | 200 |1264 | 200 | 271 | 28M| 0 | 30k|-5.900000e+01 |-5.200000e+01 | 11.86%
1580.12/1580.17 c 1580s| 2440k|200555 | 39409k| 16.1 | 266M| 72 | 41 | 200 |1264 | 200 | 264 | 28M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1585.63/1585.69 c 1586s| 2450k|200831 | 39539k| 16.1 | 267M| 72 | 82 | 200 |1264 | 200 | 262 | 28M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1591.23/1591.22 c 1591s| 2460k|201153 | 39668k| 16.1 | 267M| 72 | 90 | 200 |1264 | 200 | 253 | 28M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1596.83/1596.85 c 1597s| 2470k|201451 | 39801k| 16.1 | 268M| 72 | - | 200 |1264 | 200 | 258 | 28M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1602.33/1602.36 c 1602s| 2480k|201683 | 39929k| 16.1 | 268M| 72 | - | 200 |1264 | 200 | 262 | 28M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1607.93/1607.92 c 1608s| 2490k|201925 | 40059k| 16.1 | 269M| 72 | 14 | 200 |1264 | 200 | 264 | 28M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1613.43/1613.46 c 1613s| 2500k|202163 | 40189k| 16.1 | 269M| 72 | - | 200 |1264 | 200 | 260 | 28M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1619.03/1619.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1619.03/1619.08 c 1619s| 2510k|202485 | 40323k| 16.1 | 270M| 72 | 21 | 200 |1264 | 200 | 253 | 28M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1624.64/1624.64 c 1625s| 2520k|202817 | 40454k| 16.1 | 270M| 72 | 22 | 200 |1264 | 200 | 242 | 28M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1630.24/1630.22 c 1630s| 2530k|203141 | 40585k| 16.0 | 271M| 72 | 36 | 200 |1264 | 200 | 247 | 29M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1635.63/1635.69 c 1636s| 2540k|203463 | 40712k| 16.0 | 271M| 72 | 52 | 200 |1264 | 200 | 243 | 29M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1641.14/1641.19 c 1641s| 2550k|203777 | 40839k| 16.0 | 272M| 72 | - | 200 |1264 | 200 | 274 | 29M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1646.74/1646.74 c 1647s| 2560k|204053 | 40970k| 16.0 | 272M| 72 | 42 | 200 |1264 | 200 | 272 | 29M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1652.24/1652.28 c 1652s| 2570k|204305 | 41099k| 16.0 | 273M| 72 | - | 200 |1264 | 200 | 270 | 29M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1657.83/1657.83 c 1658s| 2580k|204617 | 41229k| 16.0 | 273M| 72 | - | 200 |1264 | 200 | 261 | 29M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1663.33/1663.35 c 1663s| 2590k|204921 | 41358k| 16.0 | 274M| 72 | 57 | 200 |1264 | 200 | 270 | 29M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1668.83/1668.83 c 1669s| 2600k|205259 | 41485k| 16.0 | 274M| 72 | 24 | 200 |1264 | 200 | 248 | 29M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1674.43/1674.44 c 1674s| 2610k|205603 | 41617k| 15.9 | 275M| 72 | 70 | 200 |1264 | 200 | 255 | 29M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1679.94/1679.92 c 1680s| 2620k|205871 | 41746k| 15.9 | 275M| 72 | - | 200 |1264 | 200 | 256 | 29M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1685.44/1685.44 c 1685s| 2630k|206141 | 41874k| 15.9 | 276M| 72 | - | 200 |1264 | 200 | 259 | 30M| 0 | 32k|-5.900000e+01 |-5.200000e+01 | 11.86%
1690.94/1690.95 c 1691s| 2640k|206415 | 42004k| 15.9 | 276M| 72 | 16 | 200 |1264 | 200 | 223 | 30M| 0 | 32k|-5.900000e+01 |-5.200000e+01 | 11.86%
1696.54/1696.52 c 1697s| 2650k|206625 | 42134k| 15.9 | 277M| 72 | 14 | 200 |1264 | 200 | 235 | 30M| 0 | 32k|-5.900000e+01 |-5.200000e+01 | 11.86%
1702.03/1702.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1702.03/1702.00 c 1702s| 2660k|206809 | 42263k| 15.9 | 277M| 72 | - | 200 |1264 | 200 | 256 | 30M| 0 | 32k|-5.900000e+01 |-5.200000e+01 | 11.86%
1707.53/1707.50 c 1708s| 2670k|207033 | 42391k| 15.9 | 277M| 72 | 56 | 200 |1264 | 200 | 242 | 30M| 0 | 32k|-5.900000e+01 |-5.200000e+01 | 11.86%
1713.03/1713.04 c 1713s| 2680k|207327 | 42520k| 15.9 | 278M| 72 | 90 | 200 |1264 | 200 | 277 | 30M| 0 | 32k|-5.900000e+01 |-5.200000e+01 | 11.86%
1718.73/1718.71 c 1719s| 2690k|207623 | 42654k| 15.9 | 278M| 72 | 14 | 200 |1264 | 200 | 252 | 30M| 0 | 32k|-5.900000e+01 |-5.200000e+01 | 11.86%
1724.34/1724.31 c 1724s| 2700k|207973 | 42785k| 15.8 | 279M| 72 | 83 | 200 |1264 | 200 | 265 | 30M| 0 | 32k|-5.900000e+01 |-5.200000e+01 | 11.86%
1729.84/1729.84 c 1730s| 2710k|208203 | 42915k| 15.8 | 279M| 72 | - | 200 |1264 | 200 | 261 | 30M| 0 | 32k|-5.900000e+01 |-5.200000e+01 | 11.86%
1735.33/1735.34 c 1735s| 2720k|208463 | 43042k| 15.8 | 280M| 72 | - | 200 |1264 | 200 | 265 | 31M| 0 | 32k|-5.900000e+01 |-5.200000e+01 | 11.86%
1740.83/1740.88 c 1741s| 2730k|208725 | 43173k| 15.8 | 280M| 72 | - | 200 |1264 | 200 | 298 | 31M| 0 | 32k|-5.900000e+01 |-5.200000e+01 | 11.86%
1746.44/1746.49 c 1746s| 2740k|208979 | 43304k| 15.8 | 281M| 72 | 34 | 200 |1264 | 200 | 242 | 31M| 0 | 32k|-5.900000e+01 |-5.200000e+01 | 11.86%
1752.14/1752.11 c 1752s| 2750k|209191 | 43435k| 15.8 | 281M| 72 | - | 200 |1264 | 200 | 232 | 31M| 0 | 32k|-5.894444e+01 |-5.200000e+01 | 11.78%
1757.54/1757.53 c 1758s| 2760k|209411 | 43561k| 15.8 | 282M| 72 | 84 | 200 |1264 | 200 | 266 | 31M| 0 | 32k|-5.891667e+01 |-5.200000e+01 | 11.74%
1763.03/1763.05 c 1763s| 2770k|209719 | 43688k| 15.8 | 282M| 72 | - | 200 |1264 | 200 | 237 | 31M| 0 | 32k|-5.888889e+01 |-5.200000e+01 | 11.70%
1768.53/1768.56 c 1769s| 2780k|210005 | 43816k| 15.8 | 282M| 72 | - | 200 |1264 | 200 | 253 | 31M| 0 | 32k|-5.887500e+01 |-5.200000e+01 | 11.68%
1774.04/1774.06 c 1774s| 2790k|210299 | 43943k| 15.7 | 283M| 72 | - | 200 |1264 | 200 | 300 | 31M| 0 | 32k|-5.885714e+01 |-5.200000e+01 | 11.65%
1779.34/1779.39 c 1779s| 2800k|210483 | 44066k| 15.7 | 283M| 72 | - | 200 |1264 | 200 | 264 | 31M| 0 | 32k|-5.883333e+01 |-5.200000e+01 | 11.61%
1784.84/1784.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1784.84/1784.90 c 1785s| 2810k|210777 | 44194k| 15.7 | 284M| 72 | 49 | 200 |1264 | 200 | 262 | 31M| 0 | 32k|-5.883333e+01 |-5.200000e+01 | 11.61%
1790.23/1790.28 c 1790s| 2820k|211015 | 44319k| 15.7 | 284M| 72 | - | 200 |1264 | 200 | 261 | 32M| 0 | 32k|-5.883333e+01 |-5.200000e+01 | 11.61%
1795.74/1795.71 c 1796s| 2830k|211187 | 44444k| 15.7 | 285M| 72 | 4 | 200 |1264 | 200 | 237 | 32M| 0 | 33k|-5.883333e+01 |-5.200000e+01 | 11.61%
1797.04/1797.00 c
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Solving Time (sec) : 1797.00
1797.04/1797.00 c Solving Nodes : 2832457
1797.04/1797.00 c Primal Bound : -5.20000000000000e+01 (537 solutions)
1797.04/1797.00 c Dual Bound : -5.88181818181818e+01
1797.04/1797.00 c Gap : 11.59 %
1797.04/1797.00 s SATISFIABLE
1797.04/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 -x177
1797.04/1797.00 v -x176 -x175 x174 -x173 -x172 -x171 -x170 x169 x168 -x167 x166 -x165 -x164 -x163 x162 -x161 x160 -x159 x158 -x157 -x156 x155
1797.04/1797.00 v -x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134
1797.04/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.04/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 -x88
1797.04/1797.00 v x87 -x86 -x85 -x84 -x83 -x82 -x81 x80 x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 x68 x67 x66 -x65 -x64 -x63 -x62
1797.04/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.04/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
1797.04/1797.00 v -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Total Time : 1797.00
1797.04/1797.00 c solving : 1797.00
1797.04/1797.00 c presolving : 0.05 (included in solving)
1797.04/1797.00 c reading : 0.00 (included in solving)
1797.04/1797.00 c Original Problem :
1797.04/1797.00 c Problem name : HOME/instance-3485165-1307784846.opb
1797.04/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 200 initial, 200 maximal
1797.04/1797.00 c Presolved Problem :
1797.04/1797.00 c Problem name : t_HOME/instance-3485165-1307784846.opb
1797.04/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 1264 initial, 1264 maximal
1797.04/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.04/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c and : 0.02 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c linear : 0.00 1264 0 0 1264 0 200 0 0 0
1797.04/1797.00 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c root node : - 0 - - 0 - - - - -
1797.04/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c integral : 0 0 0 2536559 0 885898 0 192 1521 0 0 3121288
1797.04/1797.00 c logicor : 1264 35 2886673 975110 0 885894 0 52 12887855 32147298 0 0
1797.04/1797.00 c countsols : 0 0 0 6 0 533 0 0 0 0 0 0
1797.04/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.04/1797.00 c integral : 43.19 0.00 0.00 42.97 0.00 0.22 0.00
1797.04/1797.00 c logicor : 79.71 0.00 28.03 39.96 0.00 11.72 0.00
1797.04/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.04/1797.00 c vbounds : 0 0 0 0
1797.04/1797.00 c rootredcost : 11 0 0 0
1797.04/1797.00 c pseudoobj : 4745235 0 0 0
1797.04/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.00 c vbounds : 0.72 0.72 0.00
1797.04/1797.00 c rootredcost : 0.79 0.79 0.00
1797.04/1797.00 c pseudoobj : 21.46 21.46 0.00
1797.04/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.00 c propagation : 0.00 52 0 0 0.0 0 0.0 -
1797.04/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.00 c applied globally : - - - 0 0.0 - - -
1797.04/1797.00 c applied locally : - - - 0 0.0 - - -
1797.04/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.04/1797.00 c cut pool : 0.02 34 - - 105 - (maximal pool size: 2522)
1797.04/1797.00 c redcost : 11.10 2747364 0 417508 0 0
1797.04/1797.00 c impliedbounds : 0.00 35 0 0 746 0
1797.04/1797.00 c intobj : 0.00 0 0 0 0 0
1797.04/1797.00 c gomory : 0.68 35 0 0 8704 0
1797.04/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.04/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.04/1797.00 c strongcg : 0.28 20 0 0 8075 0
1797.04/1797.00 c cmir : 0.03 10 0 0 0 0
1797.04/1797.00 c flowcover : 0.02 10 0 0 0 0
1797.04/1797.00 c clique : 0.04 35 0 0 241 0
1797.04/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.04/1797.00 c mcf : 0.00 1 0 0 0 0
1797.04/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.04/1797.00 c rapidlearning : 0.00 0 0 0 0 0
1797.04/1797.00 c Pricers : Time Calls Vars
1797.04/1797.00 c problem variables: 0.00 0 0
1797.04/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c relpscost : 41.81 1561449 192 1521 0 0 3121288
1797.04/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.00 c inference : 0.00 2 0 0 0 0 4
1797.04/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.04/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.04/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.00 c random : 0.00 0 0 0 0 0 0
1797.04/1797.00 c Primal Heuristics : Time Calls Found
1797.04/1797.00 c LP solutions : 0.17 - 6
1797.04/1797.00 c pseudo solutions : 0.00 - 0
1797.04/1797.00 c feaspump : 0.07 0 0
1797.04/1797.00 c oneopt : 0.65 12 1
1797.04/1797.00 c crossover : 0.78 8 1
1797.04/1797.00 c guideddiving : 1.98 1928 5
1797.04/1797.00 c veclendiving : 1.95 1928 19
1797.04/1797.00 c coefdiving : 1.83 1929 24
1797.04/1797.00 c pscostdiving : 1.86 1929 32
1797.04/1797.00 c fracdiving : 2.01 1929 15
1797.04/1797.00 c linesearchdiving : 1.94 1929 15
1797.04/1797.00 c objpscostdiving : 0.97 965 7
1797.04/1797.00 c rootsoldiving : 0.92 965 0
1797.04/1797.00 c trivial : 0.00 2 1
1797.04/1797.00 c shiftandpropagate: 0.00 0 0
1797.04/1797.00 c simplerounding : 21.15 1574703 405
1797.04/1797.00 c zirounding : 0.52 1000 1
1797.04/1797.00 c rounding : 9.92 116331 4
1797.04/1797.00 c shifting : 1.77 18878 1
1797.04/1797.00 c intshifting : 0.03 0 0
1797.04/1797.00 c twoopt : 0.00 0 0
1797.04/1797.00 c fixandinfer : 0.00 0 0
1797.04/1797.00 c clique : 0.00 0 0
1797.04/1797.00 c intdiving : 0.00 0 0
1797.04/1797.00 c actconsdiving : 0.00 0 0
1797.04/1797.00 c octane : 0.00 0 0
1797.04/1797.00 c rens : 0.00 0 0
1797.04/1797.00 c rins : 0.00 0 0
1797.04/1797.00 c localbranching : 0.00 0 0
1797.04/1797.00 c mutation : 0.00 0 0
1797.04/1797.00 c dins : 0.00 0 0
1797.04/1797.00 c vbounds : 0.00 0 0
1797.04/1797.00 c undercover : 0.00 0 0
1797.04/1797.00 c subnlp : 0.39 0 0
1797.04/1797.00 c trysol : 0.60 0 0
1797.04/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.04/1797.00 c primal LP : 38.60 0 0 0.00 0.00
1797.04/1797.00 c dual LP : 1241.97 3830881 44248931 11.55 35628.13
1797.04/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.04/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.04/1797.00 c diving/probing LP: 9.13 37809 225094 5.95 24665.04
1797.04/1797.00 c strong branching : 21.19 33005 465932 14.12 21990.31
1797.04/1797.00 c (at root node) : - 40 23003 575.08 -
1797.04/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.04/1797.00 c B&B Tree :
1797.04/1797.00 c number of runs : 1
1797.04/1797.00 c nodes : 2832457
1797.04/1797.00 c nodes (total) : 2832457
1797.04/1797.00 c nodes left : 211218
1797.04/1797.00 c max depth : 72
1797.04/1797.00 c max depth (total): 72
1797.04/1797.00 c backtracks : 408759 (14.4%)
1797.04/1797.00 c delayed cutoffs : 0
1797.04/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.04/1797.00 c avg switch length: 5.20
1797.04/1797.00 c switching time : 104.42
1797.04/1797.00 c Solution :
1797.04/1797.00 c Solutions found : 537 (15 improvements)
1797.04/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1797.04/1797.00 c Primal Bound : -5.20000000000000e+01 (in run 1, after 1424393 nodes, 997.96 seconds, depth 35, found by <relaxation>)
1797.04/1797.00 c Dual Bound : -5.88181818181818e+01
1797.04/1797.00 c Gap : 11.59 %
1797.04/1797.00 c Root Dual Bound : -7.06942201827244e+01
1797.04/1797.00 c Root Iterations : 5767
1797.64/1797.62 c Time complete: 1797.66.
OK -52
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-3485165-1307784846/watcher-3485165-1307784846 -o /tmp/evaluation-result-3485165-1307784846/solver-3485165-1307784846 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485165-1307784846.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.00 1.99 1.68 2/177 23949 /proc/meminfo: memFree=30942120/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=9976 CPUtime=0 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 1515 0 0 0 0 0 0 0 25 0 1 0 9229448 10215424 1469 33554432000 4194304 8979876 140734684660960 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/23949/statm: 2494 1469 367 1169 0 1321 0 [startup+0.0382 s] /proc/loadavg: 2.00 1.99 1.68 2/177 23949 /proc/meminfo: memFree=30942120/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=18924 CPUtime=0.03 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 3781 0 0 0 3 0 0 0 25 0 1 0 9229448 19378176 3478 33554432000 4194304 8979876 140734684660960 18446744073709551615 5308133 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 4731 3478 499 1169 0 3558 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 18924 [startup+0.100188 s] /proc/loadavg: 2.00 1.99 1.68 2/177 23949 /proc/meminfo: memFree=30942120/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=23216 CPUtime=0.09 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 5016 0 0 0 9 0 0 0 25 0 1 0 9229448 23773184 4687 33554432000 4194304 8979876 140734684660960 18446744073709551615 6258293 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 5804 4687 657 1169 0 4631 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23216 [startup+0.300212 s] /proc/loadavg: 2.00 1.99 1.68 2/177 23949 /proc/meminfo: memFree=30942120/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=25272 CPUtime=0.29 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 5575 0 0 0 28 1 0 0 25 0 1 0 9229448 25878528 5240 33554432000 4194304 8979876 140734684660960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 6318 5240 655 1169 0 5145 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25272 [startup+0.701144 s] /proc/loadavg: 2.00 1.99 1.68 2/177 23949 /proc/meminfo: memFree=30942120/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=31620 CPUtime=0.69 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 7121 0 0 0 66 3 0 0 25 0 1 0 9229448 32378880 6780 33554432000 4194304 8979876 140734684660960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 7905 6780 656 1169 0 6732 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31620 [startup+1.501 s] /proc/loadavg: 2.00 1.99 1.68 3/178 23950 /proc/meminfo: memFree=30909152/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=42772 CPUtime=1.49 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 9853 0 0 0 143 6 0 0 25 0 1 0 9229448 43798528 9512 33554432000 4194304 8979876 140734684660960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 10693 9512 656 1169 0 9520 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42772 [startup+3.10072 s] /proc/loadavg: 2.00 1.99 1.68 3/175 23957 /proc/meminfo: memFree=31004640/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=42496 CPUtime=3.09 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 10738 0 0 0 293 16 0 0 25 0 1 0 9229448 43515904 9614 33554432000 4194304 8979876 140734684660960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 10624 9614 676 1169 0 9451 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 42496 [startup+6.30016 s] /proc/loadavg: 2.00 1.99 1.68 3/178 23988 /proc/meminfo: memFree=30958288/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=43344 CPUtime=6.29 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 13222 0 0 0 583 46 0 0 25 0 1 0 9229448 44384256 9844 33554432000 4194304 8979876 140734684660960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 10836 9844 707 1169 0 9663 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 43344 [startup+12.701 s] /proc/loadavg: 2.00 1.99 1.69 3/178 23988 /proc/meminfo: memFree=30953340/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=48300 CPUtime=12.69 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 16491 0 0 0 1151 118 0 0 25 0 1 0 9229448 49459200 11099 33554432000 4194304 8979876 140734684660960 18446744073709551615 4349805 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 12075 11099 708 1169 0 10902 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 48300 [startup+25.5007 s] /proc/loadavg: 2.00 1.99 1.69 3/178 23988 /proc/meminfo: memFree=30938376/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=55660 CPUtime=25.49 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 20935 0 0 0 2273 276 0 0 25 0 1 0 9229448 56995840 12900 33554432000 4194304 8979876 140734684660960 18446744073709551615 6587186 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 13915 12900 709 1169 0 12742 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 55660 [startup+51.1003 s] /proc/loadavg: 2.00 1.99 1.70 3/178 23990 /proc/meminfo: memFree=30913432/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=68628 CPUtime=51.09 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 33110 0 0 0 4515 594 0 0 25 0 1 0 9229448 70275072 16174 33554432000 4194304 8979876 140734684660960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 17157 16174 709 1169 0 15984 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 68628 [startup+102.306 s] /proc/loadavg: 2.00 1.99 1.71 3/178 23991 /proc/meminfo: memFree=30868236/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=95028 CPUtime=102.3 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 41623 0 0 0 9029 1201 0 0 25 0 1 0 9229448 97308672 22874 33554432000 4194304 8979876 140734684660960 18446744073709551615 7057370 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 23757 22874 709 1169 0 22584 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 95028 [startup+162.301 s] /proc/loadavg: 2.06 2.00 1.73 3/178 23992 /proc/meminfo: memFree=30825984/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=112276 CPUtime=162.29 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 54291 0 0 0 14355 1874 0 0 25 0 1 0 9229448 114970624 27254 33554432000 4194304 8979876 140734684660960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 28069 27254 709 1169 0 26896 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 112276 [startup+222.301 s] /proc/loadavg: 2.02 2.00 1.75 3/178 23994 /proc/meminfo: memFree=30784000/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=133884 CPUtime=222.3 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 65523 0 0 0 19637 2593 0 0 25 0 1 0 9229448 137097216 32282 33554432000 4194304 8979876 140734684660960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 33471 32282 709 1169 0 32298 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 133884 [startup+282.3 s] /proc/loadavg: 2.01 2.00 1.76 3/178 23996 /proc/meminfo: memFree=30762968/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=139956 CPUtime=282.3 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 68740 0 0 0 24923 3307 0 0 25 0 1 0 9229448 143314944 33732 33554432000 4194304 8979876 140734684660960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 34989 33732 709 1169 0 33816 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 139956 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.77 3/178 23998 /proc/meminfo: memFree=30724688/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=159828 CPUtime=342.3 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 74608 0 0 0 30217 4013 0 0 25 0 1 0 9229448 163663872 38741 33554432000 4194304 8979876 140734684660960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 39957 38741 709 1169 0 38784 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 159828 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.78 3/178 23998 /proc/meminfo: memFree=30689892/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=175376 CPUtime=402.3 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 79409 0 0 0 35507 4723 0 0 25 0 1 0 9229448 179585024 42670 33554432000 4194304 8979876 140734684660960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 43844 42670 709 1169 0 42671 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 175376 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.79 3/178 24000 /proc/meminfo: memFree=30661168/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=190072 CPUtime=462.3 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 83169 0 0 0 40860 5370 0 0 25 0 1 0 9229448 194633728 46430 33554432000 4194304 8979876 140734684660960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 47518 46430 709 1169 0 46345 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 190072 [startup+522.301 s] /proc/loadavg: 2.00 2.00 1.80 3/178 24002 /proc/meminfo: memFree=30628476/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=206988 CPUtime=522.3 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 88253 0 0 0 46206 6024 0 0 25 0 1 0 9229448 211955712 50678 33554432000 4194304 8979876 140734684660960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 51747 50678 709 1169 0 50574 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 206988 [startup+582.3 s] /proc/loadavg: 2.00 2.00 1.82 3/178 24004 /proc/meminfo: memFree=30594064/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=224644 CPUtime=582.3 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 92698 0 0 0 51561 6669 0 0 25 0 1 0 9229448 230035456 55123 33554432000 4194304 8979876 140734684660960 18446744073709551615 7164572 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 56161 55123 709 1169 0 54988 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 224644 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=30413084/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=309692 CPUtime=1122.32 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 123992 0 0 0 99810 12422 0 0 25 0 1 0 9229448 317124608 75692 33554432000 4194304 8979876 140734684660960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 77423 75692 709 1169 0 76250 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 309692 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.88 3/178 24020 /proc/meminfo: memFree=30404940/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=309692 CPUtime=1182.32 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 123992 0 0 0 105170 13062 0 0 25 0 1 0 9229448 317124608 75692 33554432000 4194304 8979876 140734684660960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 77423 75692 709 1169 0 76250 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 309692 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.89 3/178 24022 /proc/meminfo: memFree=30393348/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=310528 CPUtime=1242.32 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 126209 0 0 0 110540 13692 0 0 25 0 1 0 9229448 317980672 75929 33554432000 4194304 8979876 140734684660960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 77632 75929 709 1169 0 76459 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 310528 [startup+1302.3 s] /proc/loadavg: 2.04 2.01 1.90 3/178 24023 /proc/meminfo: memFree=30384088/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=310528 CPUtime=1302.33 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 126209 0 0 0 115923 14310 0 0 25 0 1 0 9229448 317980672 75929 33554432000 4194304 8979876 140734684660960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 77632 75929 709 1169 0 76459 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 310528 [startup+1362.3 s] /proc/loadavg: 2.01 2.01 1.90 4/179 24027 /proc/meminfo: memFree=30354872/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=310528 CPUtime=1362.32 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 126209 0 0 0 121300 14932 0 0 25 0 1 0 9229448 317980672 75929 33554432000 4194304 8979876 140734684660960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 77632 75929 709 1169 0 76459 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 310528 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.91 3/178 24029 /proc/meminfo: memFree=30367112/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=310528 CPUtime=1422.34 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 126209 0 0 0 126687 15547 0 0 25 0 1 0 9229448 317980672 75929 33554432000 4194304 8979876 140734684660960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 77632 75929 709 1169 0 76459 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 310528 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.91 3/178 24031 /proc/meminfo: memFree=30357240/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=312124 CPUtime=1482.33 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 127461 0 0 0 132065 16168 0 0 25 0 1 0 9229448 319614976 76300 33554432000 4194304 8979876 140734684660960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 78031 76300 709 1169 0 76858 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 312124 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.91 3/178 24033 /proc/meminfo: memFree=30348480/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=315260 CPUtime=1542.33 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 128175 0 0 0 137439 16794 0 0 25 0 1 0 9229448 322826240 77014 33554432000 4194304 8979876 140734684660960 18446744073709551615 4978004 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 78815 77014 709 1169 0 77642 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 315260 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.91 3/178 24033 /proc/meminfo: memFree=30337108/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=318464 CPUtime=1602.33 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 128967 0 0 0 142823 17410 0 0 25 0 1 0 9229448 326107136 77806 33554432000 4194304 8979876 140734684660960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 79616 77806 709 1169 0 78443 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 318464 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.91 3/178 24044 /proc/meminfo: memFree=30327888/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=322048 CPUtime=1662.33 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 129872 0 0 0 148207 18026 0 0 25 0 1 0 9229448 329777152 78711 33554432000 4194304 8979876 140734684660960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 80512 78711 709 1169 0 79339 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 322048 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.91 3/178 24046 /proc/meminfo: memFree=30316756/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=325760 CPUtime=1722.33 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 130812 0 0 0 153575 18658 0 0 25 0 1 0 9229448 333578240 79651 33554432000 4194304 8979876 140734684660960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 81440 79651 709 1169 0 80267 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 325760 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.91 3/178 24048 /proc/meminfo: memFree=30303284/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=330496 CPUtime=1782.34 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 131979 0 0 0 158977 19257 0 0 25 0 1 0 9229448 338427904 80818 33554432000 4194304 8979876 140734684660960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 82624 80818 709 1169 0 81451 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 330496 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 1.91 3/178 24048 /proc/meminfo: memFree=30302784/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=331008 CPUtime=1785.53 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 132107 0 0 0 159259 19294 0 0 25 0 1 0 9229448 338952192 80946 33554432000 4194304 8979876 140734684660960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 82752 80946 709 1169 0 81579 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (KiB) 331008 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.91 3/178 24048 /proc/meminfo: memFree=30302516/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=331164 CPUtime=1791.95 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 132149 0 0 0 159837 19358 0 0 25 0 1 0 9229448 339111936 80988 33554432000 4194304 8979876 140734684660960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 82791 80988 709 1169 0 81618 0 Current children cumulated CPU time (s) 1791.95 Current children cumulated vsize (KiB) 331164 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 1.91 3/178 24048 /proc/meminfo: memFree=30302020/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=331164 CPUtime=1795.14 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 132150 0 0 0 160123 19391 0 0 25 0 1 0 9229448 339111936 80989 33554432000 4194304 8979876 140734684660960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 82791 80989 709 1169 0 81618 0 Current children cumulated CPU time (s) 1795.14 Current children cumulated vsize (KiB) 331164 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 1.91 3/178 24048 /proc/meminfo: memFree=30301768/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=331164 CPUtime=1796.73 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 132150 0 0 0 160267 19406 0 0 25 0 1 0 9229448 339111936 80989 33554432000 4194304 8979876 140734684660960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23949/statm: 82791 80989 709 1169 0 81618 0 Current children cumulated CPU time (s) 1796.73 Current children cumulated vsize (KiB) 331164 [startup+1797.1 s] /proc/loadavg: 2.00 2.00 1.91 3/178 24048 /proc/meminfo: memFree=30301768/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=331164 CPUtime=1797.14 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 132153 0 0 0 160304 19410 0 0 25 0 1 0 9229448 339111936 80992 33554432000 4194304 8979876 140734684660960 18446744073709551615 4897609 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/23949/statm: 82791 80992 712 1169 0 81618 0 Current children cumulated CPU time (s) 1797.14 Current children cumulated vsize (KiB) 331164 [startup+1797.5 s] /proc/loadavg: 2.00 2.00 1.91 3/178 24048 /proc/meminfo: memFree=30301644/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=331164 CPUtime=1797.54 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 132153 0 0 0 160344 19410 0 0 25 0 1 0 9229448 339111936 80992 33554432000 4194304 8979876 140734684660960 18446744073709551615 4840918 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/23949/statm: 82791 80992 712 1169 0 81618 0 Current children cumulated CPU time (s) 1797.54 Current children cumulated vsize (KiB) 331164 [startup+1797.6 s] /proc/loadavg: 2.00 2.00 1.91 3/178 24048 /proc/meminfo: memFree=30301644/32950928 swapFree=67111528/67111528 [pid=23949] ppid=23947 vsize=331164 CPUtime=1797.64 cores=1,3,5,7 /proc/23949/stat : 23949 (scip-2.0.1.4_2.) R 23947 23949 23627 0 -1 4202496 132153 0 0 0 160354 19410 0 0 25 0 1 0 9229448 339111936 80992 33554432000 4194304 8979876 140734684660960 18446744073709551615 4841377 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/23949/statm: 82791 80992 712 1169 0 81618 0 Current children cumulated CPU time (s) 1797.64 Current children cumulated vsize (KiB) 331164 Child status: 0 Real time (s): 1797.63 CPU time (s): 1797.67 CPU user time (s): 1603.56 CPU system time (s): 194.114 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 331164 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1603.56 system time used= 194.114 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 132158 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 4327 runsolver used 2.43763 second user time and 5.74613 second system time The end
Begin job on node124 at 2011-06-11 11:34:06 IDJOB=3485165 IDBENCH=48211 IDSOLVER=1977 FILE ID=node124/3485165-1307784846 RUNJOBID= node124-1307783027-23646 PBS_JOBID= 13550886 Free space on /tmp= 73828 MiB SOLVER NAME= SCIP spx 2 2011-06-10 (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_5.opb COMMAND LINE= HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3485165-1307784846/watcher-3485165-1307784846 -o /tmp/evaluation-result-3485165-1307784846/solver-3485165-1307784846 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485165-1307784846.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2585c1015aa6228da840b6f61adc6732 RANDOM SEED=758440806 node124.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.71 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30942548 kB Buffers: 113744 kB Cached: 1569632 kB SwapCached: 0 kB Active: 821744 kB Inactive: 1024536 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30942548 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 16896 kB Writeback: 0 kB AnonPages: 162524 kB Mapped: 19236 kB Slab: 100804 kB PageTables: 3580 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 307252 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73808 MiB End job on node124 at 2011-06-11 12:04:04