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.65 | 1797.62 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_2.opb |
| MD5SUM | 5255c8da63867fe6fe080ca048384827 |
| 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.65 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -48 |
| 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 | 19 |
| 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) | 2492 |
| Sum of products size (including duplicates) | 4984 |
| Number of different products | 1246 |
| Sum of products size | 2492 |
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-3485139-1307784107.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.02/0.03 c (round 1) 1246 del vars, 200 del conss, 0 add conss, 1246 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4984 impls, 0 clqs
0.02/0.04 c (round 2) 1246 del vars, 200 del conss, 0 add conss, 1246 chg bounds, 0 chg sides, 0 chg coeffs, 1246 upgd conss, 7476 impls, 0 clqs
0.02/0.05 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.05 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.02/0.05 c presolving (3 rounds):
0.02/0.05 c 1246 deleted vars, 200 deleted constraints, 0 added constraints, 1246 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.05 c 7476 implications, 0 cliques
0.02/0.05 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 1246 constraints
0.02/0.05 c 1246 constraints of type <logicor>
0.02/0.05 c transformed objective value is always integral (scale: 1)
0.02/0.05 c Presolving Time: 0.05
0.02/0.05 c - non default parameters ----------------------------------------------------------------------
0.02/0.05 c # SCIP version 2.0.1.4
0.02/0.05 c
0.02/0.05 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.02/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.05 c conflict/interconss = 0
0.02/0.05 c
0.02/0.05 c # should binary conflicts be preferred?
0.02/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05 c conflict/preferbinary = TRUE
0.02/0.05 c
0.02/0.05 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.02/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.05 c constraints/agelimit = 1
0.02/0.05 c
0.02/0.05 c # should enforcement of pseudo solution be disabled?
0.02/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05 c constraints/disableenfops = TRUE
0.02/0.05 c
0.02/0.05 c # frequency for displaying node information lines
0.02/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.05 c display/freq = 10000
0.02/0.05 c
0.02/0.05 c # maximal time in seconds to run
0.02/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.05 c limits/time = 1797
0.02/0.05 c
0.02/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.05 c limits/memory = 13950
0.02/0.05 c
0.02/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.02/0.05 c # [type: int, range: [1,2], default: 1]
0.02/0.05 c timing/clocktype = 2
0.02/0.05 c
0.02/0.05 c # belongs reading time to solving time?
0.02/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05 c timing/reading = TRUE
0.02/0.05 c
0.02/0.05 c # should presolving try to simplify inequalities
0.02/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05 c constraints/linear/simplifyinequalities = TRUE
0.02/0.05 c
0.02/0.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.02/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05 c constraints/indicator/addCouplingCons = TRUE
0.02/0.05 c
0.02/0.05 c # should presolving try to simplify knapsacks
0.02/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.05 c
0.02/0.05 c -----------------------------------------------------------------------------------------------
0.02/0.05 c start solving
0.02/0.05 c
0.02/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.02/0.06 c t 0.1s| 1 | 0 | 216 | - |3232k| 0 | 200 | 200 |1246 | 200 |1246 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.02/0.06 o -1
0.02/0.06 c R 0.1s| 1 | 0 | 216 | - |3235k| 0 | 200 | 200 |1246 | 200 |1246 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
0.02/0.06 o -2
0.02/0.06 c s 0.1s| 1 | 0 | 216 | - |3237k| 0 | 200 | 200 |1246 | 200 |1246 | 0 | 0 | 0 |-1.000000e+02 |-2.000000e+00 | 98.00%
0.02/0.08 c 0.1s| 1 | 0 | 283 | - |3243k| 0 | 191 | 200 |1246 | 200 |1255 | 9 | 0 | 0 |-9.550000e+01 |-2.000000e+00 | 97.91%
0.02/0.08 o -37
0.02/0.08 c b 0.1s| 1 | 0 | 283 | - |3248k| 0 | 191 | 200 |1246 | 200 |1255 | 9 | 0 | 0 |-9.550000e+01 |-3.700000e+01 | 61.26%
0.09/0.10 c 0.1s| 1 | 0 | 373 | - |3254k| 0 | 186 | 200 |1246 | 200 |1263 | 17 | 0 | 0 |-9.300000e+01 |-3.700000e+01 | 60.22%
0.09/0.13 c 0.1s| 1 | 0 | 481 | - |3259k| 0 | 181 | 200 |1246 | 200 |1271 | 25 | 0 | 0 |-9.050000e+01 |-3.700000e+01 | 59.12%
0.09/0.16 c 0.2s| 1 | 0 | 581 | - |3266k| 0 | 177 | 200 |1246 | 200 |1281 | 35 | 0 | 0 |-8.850000e+01 |-3.700000e+01 | 58.19%
0.19/0.23 c 0.2s| 1 | 0 | 1209 | - |3274k| 0 | 173 | 200 |1246 | 200 |1289 | 43 | 0 | 0 |-8.650000e+01 |-3.700000e+01 | 57.23%
0.19/0.28 c 0.3s| 1 | 0 | 1418 | - |3282k| 0 | 189 | 200 |1246 | 200 |1295 | 49 | 0 | 0 |-8.550000e+01 |-3.700000e+01 | 56.73%
0.29/0.35 c 0.3s| 1 | 0 | 1686 | - |3573k| 0 | 183 | 200 |1246 | 200 |1308 | 62 | 0 | 0 |-8.408333e+01 |-3.700000e+01 | 56.00%
0.39/0.43 c 0.4s| 1 | 0 | 2142 | - |4092k| 0 | 168 | 200 |1246 | 200 |1318 | 72 | 0 | 0 |-8.350000e+01 |-3.700000e+01 | 55.69%
0.49/0.50 c 0.5s| 1 | 0 | 2458 | - |4105k| 0 | 166 | 200 |1246 | 200 |1325 | 79 | 0 | 0 |-8.300000e+01 |-3.700000e+01 | 55.42%
0.49/0.55 c 0.6s| 1 | 0 | 2590 | - |4125k| 0 | 166 | 200 |1246 | 200 |1334 | 88 | 0 | 0 |-8.175000e+01 |-3.700000e+01 | 54.74%
0.59/0.62 c 0.6s| 1 | 0 | 2849 | - |4259k| 0 | 169 | 200 |1246 | 200 | 438 | 96 | 0 | 0 |-8.050000e+01 |-3.700000e+01 | 54.04%
0.59/0.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.65 c 0.7s| 1 | 0 | 3159 | - |4305k| 0 | 183 | 200 |1246 | 200 | 448 | 106 | 0 | 0 |-7.955556e+01 |-3.700000e+01 | 53.49%
0.69/0.71 c 0.7s| 1 | 0 | 3378 | - |4376k| 0 | 179 | 200 |1246 | 200 | 538 | 196 | 0 | 0 |-7.850000e+01 |-3.700000e+01 | 52.87%
0.69/0.76 c 0.8s| 1 | 0 | 3569 | - |4542k| 0 | 167 | 200 |1246 | 200 | 565 | 223 | 0 | 0 |-7.800000e+01 |-3.700000e+01 | 52.56%
0.79/0.81 c 0.8s| 1 | 0 | 3982 | - |4581k| 0 | 189 | 200 |1246 | 200 | 589 | 247 | 0 | 0 |-7.722464e+01 |-3.700000e+01 | 52.09%
0.79/0.88 c 0.9s| 1 | 0 | 4201 | - |5352k| 0 | 178 | 200 |1246 | 200 | 639 | 297 | 0 | 0 |-7.655882e+01 |-3.700000e+01 | 51.67%
0.89/0.93 c 0.9s| 1 | 0 | 4373 | - |5909k| 0 | 161 | 200 |1246 | 200 | 508 | 306 | 0 | 0 |-7.562500e+01 |-3.700000e+01 | 51.07%
0.89/0.98 c 1.0s| 1 | 0 | 4526 | - |6674k| 0 | 182 | 200 |1246 | 200 | 515 | 313 | 0 | 0 |-7.515000e+01 |-3.700000e+01 | 50.77%
1.00/1.03 c 1.0s| 1 | 0 | 4766 | - |7278k| 0 | 190 | 200 |1246 | 200 | 534 | 332 | 0 | 0 |-7.471471e+01 |-3.700000e+01 | 50.48%
1.09/1.12 c 1.1s| 1 | 0 | 5064 | - |8696k| 0 | 188 | 200 |1246 | 200 | 586 | 384 | 0 | 0 |-7.400568e+01 |-3.700000e+01 | 50.00%
1.09/1.18 c 1.2s| 1 | 0 | 5456 | - |9164k| 0 | 196 | 200 |1246 | 200 | 630 | 428 | 0 | 0 |-7.298026e+01 |-3.700000e+01 | 49.30%
1.19/1.23 c 1.2s| 1 | 0 | 5659 | - |9870k| 0 | 197 | 200 |1246 | 200 | 655 | 453 | 0 | 0 |-7.229091e+01 |-3.700000e+01 | 48.82%
1.19/1.29 c 1.3s| 1 | 0 | 5978 | - | 10M| 0 | 199 | 200 |1246 | 200 | 539 | 471 | 0 | 0 |-7.176634e+01 |-3.700000e+01 | 48.44%
1.29/1.34 c 1.3s| 1 | 0 | 6129 | - | 10M| 0 | 198 | 200 |1246 | 200 | 558 | 490 | 0 | 0 |-7.146664e+01 |-3.700000e+01 | 48.23%
1.29/1.38 c 1.4s| 1 | 0 | 6280 | - | 10M| 0 | 195 | 200 |1246 | 200 | 579 | 511 | 0 | 0 |-7.126985e+01 |-3.700000e+01 | 48.08%
1.39/1.43 c 1.4s| 1 | 0 | 6506 | - | 10M| 0 | 198 | 200 |1246 | 200 | 592 | 524 | 0 | 0 |-7.090764e+01 |-3.700000e+01 | 47.82%
1.39/1.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.39/1.48 c 1.5s| 1 | 0 | 6751 | - | 10M| 0 | 198 | 200 |1246 | 200 | 606 | 538 | 0 | 0 |-7.055763e+01 |-3.700000e+01 | 47.56%
1.49/1.53 c 1.5s| 1 | 0 | 6972 | - | 10M| 0 | 200 | 200 |1246 | 200 | 618 | 550 | 0 | 0 |-7.015097e+01 |-3.700000e+01 | 47.26%
1.49/1.57 c 1.6s| 1 | 0 | 7099 | - | 10M| 0 | 199 | 200 |1246 | 200 | 487 | 559 | 0 | 0 |-6.999046e+01 |-3.700000e+01 | 47.14%
1.59/1.60 c 1.6s| 1 | 0 | 7118 | - | 10M| 0 | 199 | 200 |1246 | 200 | 491 | 563 | 0 | 0 |-6.998574e+01 |-3.700000e+01 | 47.13%
1.59/1.63 c 1.6s| 1 | 0 | 7125 | - | 10M| 0 | 199 | 200 |1246 | 200 | 492 | 564 | 0 | 0 |-6.998534e+01 |-3.700000e+01 | 47.13%
2.39/2.42 c 2.4s| 1 | 2 | 7125 | - | 10M| 0 | 199 | 200 |1246 | 200 | 492 | 564 | 0 | 27 |-6.998534e+01 |-3.700000e+01 | 47.13%
2.69/2.70 o -40
2.69/2.70 c * 2.7s| 18 | 17 | 7746 | 36.5 | 10M| 17 | - | 200 |1246 | 200 | 281 | 742 | 0 | 297 |-6.957293e+01 |-4.000000e+01 | 42.51%
2.69/2.71 o -41
2.69/2.71 c * 2.7s| 20 | 16 | 7760 | 33.4 | 10M| 18 | - | 200 |1246 | 200 | 281 | 747 | 0 | 340 |-6.957293e+01 |-4.100000e+01 | 41.07%
2.89/2.93 o -44
2.89/2.93 c * 2.9s| 36 | 29 | 8281 | 33.0 | 10M| 18 | - | 200 |1246 | 200 | 262 | 894 | 0 | 551 |-6.954022e+01 |-4.400000e+01 | 36.73%
3.49/3.59 o -45
3.49/3.59 c * 3.6s| 152 | 89 | 11243 | 27.3 | 10M| 22 | - | 200 |1246 | 200 | 278 |2255 | 0 |1440 |-6.949295e+01 |-4.500000e+01 | 35.25%
3.99/4.09 o -46
3.99/4.09 c z 4.1s| 481 | 244 | 19308 | 25.4 | 11M| 26 | - | 200 |1246 | 200 | 262 |6016 | 0 |1598 |-6.931482e+01 |-4.600000e+01 | 33.64%
20.29/20.30 c 20.3s| 10000 | 9227 |448657 | 44.2 | 18M| 35 | 97 | 200 |1246 | 200 | 305 | 182k| 0 |2616 |-6.700000e+01 |-4.600000e+01 | 31.34%
35.39/35.46 c 35.5s| 20000 | 18447 |860403 | 42.7 | 26M| 38 | 54 | 200 |1246 | 200 | 228 | 361k| 0 |3729 |-6.627778e+01 |-4.600000e+01 | 30.60%
36.80/36.89 o -49
36.80/36.89 c *36.9s| 20974 | 15936 |899078 | 42.5 | 25M| 38 | - | 200 |1246 | 200 | 247 | 378k| 0 |3833 |-6.620000e+01 |-4.900000e+01 | 25.98%
48.59/48.69 c 48.7s| 30000 | 22478 | 1224k| 40.6 | 30M| 43 | 43 | 200 |1246 | 200 | 220 | 535k| 0 |4540 |-6.575000e+01 |-4.900000e+01 | 25.48%
59.49/59.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.49/59.58 c 59.6s| 40000 | 28482 | 1530k| 38.1 | 36M| 43 | 83 | 200 |1246 | 200 | 253 | 691k| 0 |5226 |-6.526667e+01 |-4.900000e+01 | 24.92%
70.09/70.16 c 70.2s| 50000 | 34076 | 1827k| 36.4 | 42M| 43 | 62 | 200 |1246 | 200 | 229 | 846k| 0 |5811 |-6.500000e+01 |-4.900000e+01 | 24.62%
80.39/80.48 c 80.5s| 60000 | 39644 | 2117k| 35.2 | 47M| 44 | - | 200 |1246 | 200 | 250 | 996k| 0 |6362 |-6.469231e+01 |-4.900000e+01 | 24.26%
90.59/90.62 c 90.6s| 70000 | 45182 | 2402k| 34.2 | 52M| 44 | - | 200 |1246 | 200 | 222 |1143k| 0 |6822 |-6.450000e+01 |-4.900000e+01 | 24.03%
100.09/100.18 c 100s| 80000 | 50080 | 2671k| 33.3 | 57M| 44 | - | 200 |1246 | 200 | 261 |1287k| 0 |7189 |-6.420000e+01 |-4.900000e+01 | 23.68%
109.59/109.64 c 110s| 90000 | 54792 | 2937k| 32.6 | 61M| 44 | 34 | 200 |1246 | 200 | 249 |1429k| 0 |7639 |-6.400000e+01 |-4.900000e+01 | 23.44%
119.09/119.10 c 119s|100000 | 59448 | 3202k| 32.0 | 66M| 46 | 12 | 200 |1246 | 200 | 199 |1573k| 0 |7991 |-6.386207e+01 |-4.900000e+01 | 23.27%
128.09/128.13 c 128s|110000 | 63882 | 3457k| 31.4 | 70M| 46 | - | 200 |1246 | 200 | 218 |1711k| 0 |8323 |-6.366667e+01 |-4.900000e+01 | 23.04%
137.20/137.24 c 137s|120000 | 68184 | 3711k| 30.9 | 75M| 47 | 70 | 200 |1246 | 200 | 237 |1849k| 0 |8691 |-6.350000e+01 |-4.900000e+01 | 22.83%
146.09/146.18 c 146s|130000 | 72468 | 3961k| 30.4 | 79M| 47 | - | 200 |1246 | 200 | 244 |1987k| 0 |9037 |-6.340000e+01 |-4.900000e+01 | 22.71%
154.60/154.66 c 155s|140000 | 76230 | 4194k| 29.9 | 83M| 51 | - | 200 |1246 | 200 | 260 |2115k| 0 |9377 |-6.328571e+01 |-4.900000e+01 | 22.57%
162.39/162.46 c 162s|150000 | 79376 | 4408k| 29.3 | 86M| 52 | - | 200 |1246 | 200 | 255 |2238k| 0 |9600 |-6.320000e+01 |-4.900000e+01 | 22.47%
170.50/170.53 c 171s|160000 | 82696 | 4629k| 28.9 | 90M| 52 | 33 | 200 |1246 | 200 | 263 |2361k| 0 |9826 |-6.300000e+01 |-4.900000e+01 | 22.22%
178.40/178.42 c 178s|170000 | 85804 | 4844k| 28.5 | 93M| 57 | - | 200 |1246 | 200 | 259 |2482k| 0 | 10k|-6.300000e+01 |-4.900000e+01 | 22.22%
186.20/186.23 c 186s|180000 | 88962 | 5057k| 28.1 | 96M| 57 | 73 | 200 |1246 | 200 | 237 |2602k| 0 | 10k|-6.300000e+01 |-4.900000e+01 | 22.22%
193.90/193.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
193.90/193.93 c 194s|190000 | 92010 | 5266k| 27.7 | 99M| 57 | 33 | 200 |1246 | 200 | 222 |2721k| 0 | 10k|-6.290909e+01 |-4.900000e+01 | 22.11%
201.49/201.59 c 202s|200000 | 95044 | 5477k| 27.4 | 103M| 57 | 5 | 200 |1246 | 200 | 229 |2841k| 0 | 10k|-6.280000e+01 |-4.900000e+01 | 21.97%
209.29/209.32 c 209s|210000 | 98076 | 5688k| 27.1 | 106M| 58 | - | 200 |1246 | 200 | 253 |2959k| 0 | 11k|-6.272222e+01 |-4.900000e+01 | 21.88%
216.90/216.96 c 217s|220000 |101162 | 5896k| 26.8 | 109M| 58 | - | 200 |1246 | 200 | 249 |3077k| 0 | 11k|-6.266667e+01 |-4.900000e+01 | 21.81%
224.50/224.58 c 225s|230000 |104096 | 6103k| 26.5 | 112M| 58 | 91 | 200 |1246 | 200 | 262 |3196k| 0 | 11k|-6.257143e+01 |-4.900000e+01 | 21.69%
232.00/232.06 c 232s|240000 |106956 | 6307k| 26.3 | 115M| 58 | 58 | 200 |1246 | 200 | 218 |3313k| 0 | 11k|-6.250000e+01 |-4.900000e+01 | 21.60%
239.39/239.46 c 239s|250000 |109802 | 6508k| 26.0 | 118M| 58 | 66 | 200 |1246 | 200 | 239 |3432k| 0 | 11k|-6.250000e+01 |-4.900000e+01 | 21.60%
247.00/247.04 c 247s|260000 |112814 | 6714k| 25.8 | 122M| 58 | - | 200 |1246 | 200 | 255 |3550k| 0 | 12k|-6.240909e+01 |-4.900000e+01 | 21.49%
250.39/250.45 o -50
250.39/250.45 c * 250s|264515 | 91283 | 6806k| 25.7 | 103M| 58 | - | 200 |1246 | 200 | 258 |3604k| 0 | 12k|-6.238095e+01 |-5.000000e+01 | 19.85%
254.40/254.47 c 254s|270000 | 92488 | 6913k| 25.6 | 104M| 58 | 73 | 200 |1246 | 200 | 238 |3668k| 0 | 12k|-6.233333e+01 |-5.000000e+01 | 19.79%
261.60/261.68 c 262s|280000 | 94766 | 7105k| 25.4 | 107M| 58 | 77 | 200 |1246 | 200 | 220 |3786k| 0 | 12k|-6.230000e+01 |-5.000000e+01 | 19.74%
268.80/268.87 c 269s|290000 | 96798 | 7298k| 25.1 | 109M| 58 | - | 200 |1246 | 200 | 242 |3905k| 0 | 12k|-6.225000e+01 |-5.000000e+01 | 19.68%
275.90/275.95 c 276s|300000 | 98748 | 7485k| 24.9 | 111M| 58 | 45 | 200 |1246 | 200 | 224 |4022k| 0 | 12k|-6.218750e+01 |-5.000000e+01 | 19.60%
282.90/282.98 c 283s|310000 |100766 | 7673k| 24.7 | 114M| 58 | 69 | 200 |1246 | 200 | 262 |4138k| 0 | 13k|-6.212500e+01 |-5.000000e+01 | 19.52%
289.99/290.08 c 290s|320000 |102820 | 7863k| 24.6 | 116M| 58 | - | 200 |1246 | 200 | 245 |4255k| 0 | 13k|-6.200000e+01 |-5.000000e+01 | 19.35%
297.30/297.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
297.30/297.33 c 297s|330000 |104948 | 8059k| 24.4 | 119M| 58 | 50 | 200 |1246 | 200 | 237 |4375k| 0 | 13k|-6.200000e+01 |-5.000000e+01 | 19.35%
304.40/304.41 c 304s|340000 |107012 | 8247k| 24.2 | 121M| 58 | 17 | 200 |1246 | 200 | 215 |4489k| 0 | 13k|-6.200000e+01 |-5.000000e+01 | 19.35%
311.50/311.58 c 312s|350000 |109176 | 8441k| 24.1 | 123M| 58 | - | 200 |1246 | 200 | 249 |4608k| 0 | 13k|-6.200000e+01 |-5.000000e+01 | 19.35%
318.80/318.82 c 319s|360000 |111242 | 8637k| 24.0 | 126M| 58 | 10 | 200 |1246 | 200 | 199 |4726k| 0 | 13k|-6.200000e+01 |-5.000000e+01 | 19.35%
325.90/325.99 c 326s|370000 |113452 | 8829k| 23.8 | 128M| 58 | 40 | 200 |1246 | 200 | 236 |4842k| 0 | 14k|-6.190909e+01 |-5.000000e+01 | 19.24%
332.70/332.78 c 333s|380000 |115212 | 9009k| 23.7 | 130M| 58 | - | 200 |1246 | 200 | 243 |4953k| 0 | 14k|-6.185714e+01 |-5.000000e+01 | 19.17%
339.69/339.72 c 340s|390000 |117184 | 9193k| 23.6 | 133M| 58 | - | 200 |1246 | 200 | 287 |5066k| 0 | 14k|-6.180000e+01 |-5.000000e+01 | 19.09%
346.60/346.68 c 347s|400000 |119032 | 9379k| 23.4 | 135M| 58 | 24 | 200 |1246 | 200 | 260 |5182k| 0 | 14k|-6.177273e+01 |-5.000000e+01 | 19.06%
353.60/353.62 c 354s|410000 |121024 | 9565k| 23.3 | 137M| 58 | 26 | 200 |1246 | 200 | 247 |5296k| 0 | 14k|-6.175000e+01 |-5.000000e+01 | 19.03%
360.40/360.49 c 360s|420000 |122892 | 9746k| 23.2 | 139M| 58 | - | 200 |1246 | 200 | 270 |5406k| 0 | 14k|-6.171429e+01 |-5.000000e+01 | 18.98%
367.31/367.31 c 367s|430000 |124710 | 9929k| 23.1 | 141M| 58 | - | 200 |1246 | 200 | 251 |5519k| 0 | 14k|-6.166667e+01 |-5.000000e+01 | 18.92%
374.20/374.22 c 374s|440000 |126638 | 10113k| 23.0 | 144M| 58 | 14 | 200 |1246 | 200 | 253 |5635k| 0 | 15k|-6.166667e+01 |-5.000000e+01 | 18.92%
381.00/381.06 c 381s|450000 |128414 | 10296k| 22.9 | 146M| 58 | 51 | 200 |1246 | 200 | 241 |5748k| 0 | 15k|-6.162500e+01 |-5.000000e+01 | 18.86%
388.10/388.10 c 388s|460000 |130234 | 10482k| 22.8 | 148M| 58 | - | 200 |1246 | 200 | 243 |5861k| 0 | 15k|-6.158333e+01 |-5.000000e+01 | 18.81%
394.80/394.88 c 395s|470000 |131944 | 10662k| 22.7 | 150M| 58 | - | 200 |1246 | 200 | 261 |5973k| 0 | 15k|-6.150000e+01 |-5.000000e+01 | 18.70%
401.70/401.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
401.70/401.75 c 402s|480000 |133792 | 10843k| 22.6 | 152M| 58 | - | 200 |1246 | 200 | 274 |6086k| 0 | 15k|-6.150000e+01 |-5.000000e+01 | 18.70%
408.40/408.49 c 408s|490000 |135630 | 11025k| 22.5 | 154M| 58 | 91 | 200 |1246 | 200 | 272 |6201k| 0 | 15k|-6.150000e+01 |-5.000000e+01 | 18.70%
415.40/415.41 c 415s|500000 |137618 | 11211k| 22.4 | 157M| 58 | - | 200 |1246 | 200 | 264 |6314k| 0 | 15k|-6.150000e+01 |-5.000000e+01 | 18.70%
422.10/422.10 c 422s|510000 |139310 | 11386k| 22.3 | 159M| 58 | - | 200 |1246 | 200 | 238 |6424k| 0 | 16k|-6.150000e+01 |-5.000000e+01 | 18.70%
428.80/428.81 c 429s|520000 |141130 | 11566k| 22.2 | 161M| 58 | - | 200 |1246 | 200 | 247 |6536k| 0 | 16k|-6.143590e+01 |-5.000000e+01 | 18.61%
435.70/435.74 c 436s|530000 |143026 | 11749k| 22.2 | 163M| 58 | 31 | 200 |1246 | 200 | 219 |6647k| 0 | 16k|-6.140000e+01 |-5.000000e+01 | 18.57%
442.60/442.67 c 443s|540000 |144850 | 11935k| 22.1 | 165M| 58 | 76 | 200 |1246 | 200 | 246 |6763k| 0 | 16k|-6.135714e+01 |-5.000000e+01 | 18.51%
449.39/449.45 c 449s|550000 |146728 | 12116k| 22.0 | 167M| 58 | - | 200 |1246 | 200 | 251 |6873k| 0 | 16k|-6.133333e+01 |-5.000000e+01 | 18.48%
456.20/456.28 c 456s|560000 |148620 | 12298k| 21.9 | 169M| 58 | 41 | 200 |1246 | 200 | 242 |6985k| 0 | 16k|-6.133333e+01 |-5.000000e+01 | 18.48%
462.79/462.82 c 463s|570000 |150268 | 12471k| 21.9 | 171M| 61 | 59 | 200 |1246 | 200 | 260 |7093k| 0 | 16k|-6.128571e+01 |-5.000000e+01 | 18.41%
469.20/469.29 c 469s|580000 |151906 | 12641k| 21.8 | 173M| 61 | - | 200 |1246 | 200 | 257 |7198k| 0 | 16k|-6.125000e+01 |-5.000000e+01 | 18.37%
475.80/475.82 c 476s|590000 |153210 | 12812k| 21.7 | 175M| 61 | - | 200 |1246 | 200 | 244 |7306k| 0 | 17k|-6.125000e+01 |-5.000000e+01 | 18.37%
482.30/482.33 c 482s|600000 |154710 | 12983k| 21.6 | 177M| 61 | - | 200 |1246 | 200 | 242 |7412k| 0 | 17k|-6.120000e+01 |-5.000000e+01 | 18.30%
488.70/488.72 c 489s|610000 |155994 | 13149k| 21.5 | 178M| 61 | - | 200 |1246 | 200 | 235 |7522k| 0 | 17k|-6.117647e+01 |-5.000000e+01 | 18.27%
495.10/495.17 c 495s|620000 |157464 | 13319k| 21.5 | 180M| 61 | 30 | 200 |1246 | 200 | 237 |7630k| 0 | 17k|-6.114286e+01 |-5.000000e+01 | 18.22%
501.61/501.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
501.61/501.64 c 502s|630000 |158990 | 13488k| 21.4 | 182M| 61 | 28 | 200 |1246 | 200 | 243 |7735k| 0 | 17k|-6.110000e+01 |-5.000000e+01 | 18.17%
508.00/508.08 c 508s|640000 |160248 | 13655k| 21.3 | 184M| 61 | - | 200 |1246 | 200 | 258 |7843k| 0 | 17k|-6.103509e+01 |-5.000000e+01 | 18.08%
514.50/514.59 c 515s|650000 |161720 | 13829k| 21.3 | 185M| 61 | 56 | 200 |1246 | 200 | 254 |7952k| 0 | 17k|-6.100000e+01 |-5.000000e+01 | 18.03%
521.00/521.05 c 521s|660000 |163132 | 13998k| 21.2 | 187M| 61 | 38 | 200 |1246 | 200 | 223 |8061k| 0 | 17k|-6.100000e+01 |-5.000000e+01 | 18.03%
527.40/527.46 c 527s|670000 |164598 | 14165k| 21.1 | 189M| 61 | - | 200 |1246 | 200 | 241 |8171k| 0 | 18k|-6.100000e+01 |-5.000000e+01 | 18.03%
533.90/533.96 c 534s|680000 |166058 | 14334k| 21.1 | 191M| 61 | 22 | 200 |1246 | 200 | 217 |8278k| 0 | 18k|-6.100000e+01 |-5.000000e+01 | 18.03%
540.20/540.29 c 540s|690000 |167436 | 14499k| 21.0 | 192M| 61 | 75 | 200 |1246 | 200 | 244 |8386k| 0 | 18k|-6.100000e+01 |-5.000000e+01 | 18.03%
546.70/546.77 c 547s|700000 |168956 | 14671k| 20.9 | 194M| 61 | 65 | 200 |1246 | 200 | 270 |8497k| 0 | 18k|-6.100000e+01 |-5.000000e+01 | 18.03%
553.21/553.23 c 553s|710000 |170370 | 14842k| 20.9 | 196M| 61 | - | 200 |1246 | 200 | 253 |8608k| 0 | 18k|-6.100000e+01 |-5.000000e+01 | 18.03%
559.70/559.77 c 560s|720000 |171844 | 15015k| 20.8 | 198M| 61 | - | 200 |1246 | 200 | 275 |8721k| 0 | 18k|-6.100000e+01 |-5.000000e+01 | 18.03%
566.30/566.30 c 566s|730000 |173442 | 15186k| 20.8 | 199M| 61 | - | 200 |1246 | 200 | 244 |8830k| 0 | 18k|-6.100000e+01 |-5.000000e+01 | 18.03%
572.80/572.83 c 573s|740000 |174932 | 15359k| 20.7 | 201M| 61 | - | 200 |1246 | 200 | 277 |8939k| 0 | 18k|-6.100000e+01 |-5.000000e+01 | 18.03%
579.10/579.14 c 579s|750000 |176416 | 15523k| 20.7 | 203M| 61 | 68 | 200 |1246 | 200 | 266 |9046k| 0 | 18k|-6.100000e+01 |-5.000000e+01 | 18.03%
585.70/585.78 c 586s|760000 |177960 | 15698k| 20.6 | 205M| 61 | 44 | 200 |1246 | 200 | 223 |9156k| 0 | 19k|-6.100000e+01 |-5.000000e+01 | 18.03%
592.10/592.18 c 592s|770000 |179342 | 15864k| 20.6 | 207M| 61 | - | 200 |1246 | 200 | 242 |9264k| 0 | 19k|-6.093750e+01 |-5.000000e+01 | 17.95%
598.50/598.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
598.50/598.59 c 599s|780000 |180750 | 16031k| 20.5 | 208M| 61 | 45 | 200 |1246 | 200 | 242 |9371k| 0 | 19k|-6.090000e+01 |-5.000000e+01 | 17.90%
604.91/604.91 c 605s|790000 |182128 | 16195k| 20.5 | 210M| 61 | - | 200 |1246 | 200 | 258 |9475k| 0 | 19k|-6.087500e+01 |-5.000000e+01 | 17.86%
611.20/611.20 c 611s|800000 |183588 | 16358k| 20.4 | 212M| 61 | 25 | 200 |1246 | 200 | 238 |9583k| 0 | 19k|-6.083333e+01 |-5.000000e+01 | 17.81%
617.51/617.51 c 618s|810000 |184970 | 16524k| 20.4 | 213M| 61 | 15 | 200 |1246 | 200 | 222 |9689k| 0 | 19k|-6.083333e+01 |-5.000000e+01 | 17.81%
623.80/623.85 c 624s|820000 |186380 | 16688k| 20.3 | 215M| 61 | - | 200 |1246 | 200 | 254 |9796k| 0 | 19k|-6.080000e+01 |-5.000000e+01 | 17.76%
630.20/630.21 c 630s|830000 |187694 | 16854k| 20.3 | 217M| 62 | - | 200 |1246 | 200 | 221 |9901k| 0 | 19k|-6.076471e+01 |-5.000000e+01 | 17.72%
636.50/636.57 c 637s|840000 |189020 | 17020k| 20.3 | 218M| 62 | 101 | 200 |1246 | 200 | 261 | 10M| 0 | 19k|-6.075000e+01 |-5.000000e+01 | 17.70%
642.90/642.99 c 643s|850000 |190512 | 17189k| 20.2 | 220M| 62 | 12 | 200 |1246 | 200 | 246 | 10M| 0 | 19k|-6.075000e+01 |-5.000000e+01 | 17.70%
649.30/649.36 c 649s|860000 |191984 | 17356k| 20.2 | 222M| 62 | 94 | 200 |1246 | 200 | 238 | 10M| 0 | 19k|-6.075000e+01 |-5.000000e+01 | 17.70%
655.70/655.74 c 656s|870000 |193288 | 17521k| 20.1 | 223M| 62 | 66 | 200 |1246 | 200 | 254 | 10M| 0 | 20k|-6.070000e+01 |-5.000000e+01 | 17.63%
662.01/662.05 c 662s|880000 |194742 | 17685k| 20.1 | 225M| 62 | - | 200 |1246 | 200 | 283 | 10M| 0 | 20k|-6.066667e+01 |-5.000000e+01 | 17.58%
668.31/668.32 c 668s|890000 |196196 | 17848k| 20.0 | 227M| 62 | - | 200 |1246 | 200 | 271 | 10M| 0 | 20k|-6.066667e+01 |-5.000000e+01 | 17.58%
674.60/674.64 c 675s|900000 |197664 | 18013k| 20.0 | 229M| 62 | 23 | 200 |1246 | 200 | 253 | 10M| 0 | 20k|-6.066667e+01 |-5.000000e+01 | 17.58%
680.91/680.97 c 681s|910000 |199104 | 18177k| 20.0 | 230M| 62 | 62 | 200 |1246 | 200 | 264 | 10M| 0 | 20k|-6.066667e+01 |-5.000000e+01 | 17.58%
687.30/687.33 c 687s|920000 |200486 | 18343k| 19.9 | 232M| 62 | - | 200 |1246 | 200 | 254 | 10M| 0 | 20k|-6.062500e+01 |-5.000000e+01 | 17.53%
693.61/693.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
693.61/693.68 c 694s|930000 |201898 | 18508k| 19.9 | 234M| 62 | - | 200 |1246 | 200 | 279 | 10M| 0 | 20k|-6.060000e+01 |-5.000000e+01 | 17.49%
699.90/699.94 c 700s|940000 |203084 | 18671k| 19.9 | 235M| 62 | 30 | 200 |1246 | 200 | 237 | 11M| 0 | 20k|-6.057143e+01 |-5.000000e+01 | 17.45%
706.11/706.11 c 706s|950000 |204384 | 18831k| 19.8 | 237M| 62 | 18 | 200 |1246 | 200 | 242 | 11M| 0 | 20k|-6.052174e+01 |-5.000000e+01 | 17.39%
712.40/712.40 c 712s|960000 |205710 | 18994k| 19.8 | 238M| 62 | - | 200 |1246 | 200 | 260 | 11M| 0 | 20k|-6.050000e+01 |-5.000000e+01 | 17.36%
718.70/718.76 c 719s|970000 |207228 | 19162k| 19.7 | 240M| 62 | - | 200 |1246 | 200 | 253 | 11M| 0 | 21k|-6.050000e+01 |-5.000000e+01 | 17.36%
725.01/725.01 c 725s|980000 |208566 | 19324k| 19.7 | 242M| 62 | 62 | 200 |1246 | 200 | 242 | 11M| 0 | 21k|-6.050000e+01 |-5.000000e+01 | 17.36%
731.21/731.22 c 731s|990000 |209790 | 19485k| 19.7 | 243M| 62 | 23 | 200 |1246 | 200 | 244 | 11M| 0 | 21k|-6.050000e+01 |-5.000000e+01 | 17.36%
737.31/737.35 c 737s| 1000k|211106 | 19642k| 19.6 | 245M| 62 | 7 | 200 |1246 | 200 | 220 | 11M| 0 | 21k|-6.050000e+01 |-5.000000e+01 | 17.36%
743.61/743.69 c 744s| 1010k|212558 | 19807k| 19.6 | 247M| 62 | 6 | 200 |1246 | 200 | 234 | 11M| 0 | 21k|-6.050000e+01 |-5.000000e+01 | 17.36%
749.90/749.98 c 750s| 1020k|213930 | 19971k| 19.6 | 248M| 62 | - | 200 |1246 | 200 | 251 | 11M| 0 | 21k|-6.050000e+01 |-5.000000e+01 | 17.36%
756.20/756.28 c 756s| 1030k|215394 | 20135k| 19.5 | 250M| 62 | 53 | 200 |1246 | 200 | 221 | 12M| 0 | 21k|-6.050000e+01 |-5.000000e+01 | 17.36%
762.41/762.44 c 762s| 1040k|216620 | 20295k| 19.5 | 251M| 62 | - | 200 |1246 | 200 | 239 | 12M| 0 | 21k|-6.050000e+01 |-5.000000e+01 | 17.36%
768.50/768.54 c 769s| 1050k|217850 | 20452k| 19.5 | 253M| 62 | 18 | 200 |1246 | 200 | 251 | 12M| 0 | 21k|-6.050000e+01 |-5.000000e+01 | 17.36%
774.61/774.63 c 775s| 1060k|219034 | 20611k| 19.4 | 254M| 62 | - | 200 |1246 | 200 | 239 | 12M| 0 | 21k|-6.045455e+01 |-5.000000e+01 | 17.29%
780.81/780.88 c 781s| 1070k|220378 | 20773k| 19.4 | 256M| 62 | - | 200 |1246 | 200 | 254 | 12M| 0 | 21k|-6.041667e+01 |-5.000000e+01 | 17.24%
787.11/787.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
787.11/787.15 c 787s| 1080k|221648 | 20936k| 19.4 | 258M| 62 | 60 | 200 |1246 | 200 | 248 | 12M| 0 | 22k|-6.040000e+01 |-5.000000e+01 | 17.22%
793.41/793.40 c 793s| 1090k|222892 | 21096k| 19.3 | 259M| 62 | 22 | 200 |1246 | 200 | 241 | 12M| 0 | 22k|-6.037500e+01 |-5.000000e+01 | 17.18%
799.51/799.53 c 800s| 1100k|224138 | 21252k| 19.3 | 261M| 62 | - | 200 |1246 | 200 | 238 | 12M| 0 | 22k|-6.033333e+01 |-5.000000e+01 | 17.13%
805.61/805.65 c 806s| 1110k|225406 | 21409k| 19.3 | 262M| 62 | - | 200 |1246 | 200 | 288 | 12M| 0 | 22k|-6.033333e+01 |-5.000000e+01 | 17.13%
811.72/811.71 c 812s| 1120k|226656 | 21565k| 19.2 | 264M| 62 | 81 | 200 |1246 | 200 | 267 | 12M| 0 | 22k|-6.033333e+01 |-5.000000e+01 | 17.13%
817.90/817.94 c 818s| 1130k|228044 | 21728k| 19.2 | 265M| 62 | - | 200 |1246 | 200 | 231 | 13M| 0 | 22k|-6.033333e+01 |-5.000000e+01 | 17.13%
824.21/824.26 c 824s| 1140k|229464 | 21891k| 19.2 | 267M| 62 | 24 | 200 |1246 | 200 | 227 | 13M| 0 | 22k|-6.032143e+01 |-5.000000e+01 | 17.11%
830.31/830.39 c 830s| 1150k|230712 | 22049k| 19.2 | 269M| 62 | 25 | 200 |1246 | 200 | 221 | 13M| 0 | 22k|-6.027273e+01 |-5.000000e+01 | 17.04%
836.51/836.59 c 837s| 1160k|231968 | 22210k| 19.1 | 270M| 62 | - | 200 |1246 | 200 | 247 | 13M| 0 | 22k|-6.025000e+01 |-5.000000e+01 | 17.01%
842.91/842.91 c 843s| 1170k|233294 | 22374k| 19.1 | 272M| 62 | - | 200 |1246 | 200 | 254 | 13M| 0 | 22k|-6.025000e+01 |-5.000000e+01 | 17.01%
849.00/849.00 c 849s| 1180k|234540 | 22532k| 19.1 | 273M| 62 | - | 200 |1246 | 200 | 252 | 13M| 0 | 22k|-6.025000e+01 |-5.000000e+01 | 17.01%
855.01/855.05 c 855s| 1190k|235654 | 22687k| 19.1 | 275M| 62 | - | 200 |1246 | 200 | 244 | 13M| 0 | 23k|-6.022222e+01 |-5.000000e+01 | 16.97%
861.11/861.19 c 861s| 1200k|236672 | 22844k| 19.0 | 276M| 62 | 75 | 200 |1246 | 200 | 271 | 13M| 0 | 23k|-6.020000e+01 |-5.000000e+01 | 16.94%
867.21/867.27 c 867s| 1210k|237876 | 23000k| 19.0 | 277M| 62 | - | 200 |1246 | 200 | 260 | 13M| 0 | 23k|-6.019048e+01 |-5.000000e+01 | 16.93%
873.31/873.39 c 873s| 1220k|239116 | 23157k| 19.0 | 279M| 62 | 17 | 200 |1246 | 200 | 243 | 14M| 0 | 23k|-6.016667e+01 |-5.000000e+01 | 16.90%
879.40/879.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
879.40/879.44 c 879s| 1230k|240364 | 23313k| 18.9 | 280M| 62 | 12 | 200 |1246 | 200 | 231 | 14M| 0 | 23k|-6.014286e+01 |-5.000000e+01 | 16.86%
885.51/885.57 c 886s| 1240k|241584 | 23472k| 18.9 | 282M| 62 | 20 | 200 |1246 | 200 | 223 | 14M| 0 | 23k|-6.012500e+01 |-5.000000e+01 | 16.84%
891.61/891.65 c 892s| 1250k|242918 | 23629k| 18.9 | 284M| 65 | 84 | 200 |1246 | 200 | 274 | 14M| 0 | 23k|-6.010000e+01 |-5.000000e+01 | 16.81%
897.71/897.72 c 898s| 1260k|244076 | 23785k| 18.9 | 285M| 65 | 45 | 200 |1246 | 200 | 218 | 14M| 0 | 23k|-6.007143e+01 |-5.000000e+01 | 16.77%
903.81/903.89 c 904s| 1270k|245244 | 23944k| 18.8 | 286M| 65 | - | 200 |1246 | 200 | 263 | 14M| 0 | 23k|-6.000000e+01 |-5.000000e+01 | 16.67%
910.11/910.14 c 910s| 1280k|246452 | 24107k| 18.8 | 288M| 65 | 63 | 200 |1246 | 200 | 299 | 14M| 0 | 23k|-6.000000e+01 |-5.000000e+01 | 16.67%
916.32/916.31 c 916s| 1290k|247746 | 24266k| 18.8 | 290M| 65 | 22 | 200 |1246 | 200 | 240 | 14M| 0 | 23k|-6.000000e+01 |-5.000000e+01 | 16.67%
922.41/922.43 c 922s| 1300k|248928 | 24423k| 18.8 | 291M| 65 | 95 | 200 |1246 | 200 | 247 | 14M| 0 | 23k|-6.000000e+01 |-5.000000e+01 | 16.67%
928.61/928.61 c 929s| 1310k|250102 | 24583k| 18.8 | 292M| 65 | 34 | 200 |1246 | 200 | 259 | 14M| 0 | 23k|-6.000000e+01 |-5.000000e+01 | 16.67%
934.71/934.72 c 935s| 1320k|251172 | 24740k| 18.7 | 294M| 65 | 7 | 200 |1246 | 200 | 224 | 15M| 0 | 24k|-6.000000e+01 |-5.000000e+01 | 16.67%
940.91/940.92 c 941s| 1330k|252522 | 24902k| 18.7 | 295M| 65 | 67 | 200 |1246 | 200 | 241 | 15M| 0 | 24k|-6.000000e+01 |-5.000000e+01 | 16.67%
945.91/945.91 o -51
945.91/945.91 c * 946s| 1337k|195052 | 25028k| 18.7 | 233M| 65 | - | 200 |1246 | 200 | 248 | 15M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
947.21/947.23 c 947s| 1340k|195201 | 25060k| 18.7 | 233M| 65 | 20 | 200 |1246 | 200 | 219 | 15M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
953.21/953.24 c 953s| 1350k|196165 | 25215k| 18.7 | 234M| 65 | - | 200 |1246 | 200 | 216 | 15M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
959.31/959.31 c 959s| 1360k|197091 | 25371k| 18.7 | 235M| 65 | - | 200 |1246 | 200 | 260 | 15M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
965.31/965.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
965.31/965.35 c 965s| 1370k|197943 | 25526k| 18.6 | 236M| 65 | 66 | 200 |1246 | 200 | 240 | 15M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
971.41/971.49 c 971s| 1380k|198969 | 25683k| 18.6 | 238M| 65 | 37 | 200 |1246 | 200 | 218 | 15M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
977.32/977.37 c 977s| 1390k|199829 | 25833k| 18.6 | 239M| 65 | 80 | 200 |1246 | 200 | 275 | 15M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
983.21/983.28 c 983s| 1400k|200703 | 25983k| 18.6 | 240M| 65 | 38 | 200 |1246 | 200 | 244 | 15M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
989.21/989.20 c 989s| 1410k|201531 | 26134k| 18.5 | 241M| 65 | 92 | 200 |1246 | 200 | 281 | 15M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
995.11/995.11 c 995s| 1420k|202233 | 26284k| 18.5 | 242M| 65 | - | 200 |1246 | 200 | 251 | 16M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
1001.21/1001.23 c 1001s| 1430k|203217 | 26442k| 18.5 | 243M| 65 | - | 200 |1246 | 200 | 254 | 16M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
1007.31/1007.30 c 1007s| 1440k|204103 | 26597k| 18.5 | 245M| 65 | 86 | 200 |1246 | 200 | 242 | 16M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
1013.41/1013.41 c 1013s| 1450k|205109 | 26753k| 18.4 | 246M| 65 | 82 | 200 |1246 | 200 | 271 | 16M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1019.52/1019.50 c 1020s| 1460k|206093 | 26911k| 18.4 | 247M| 65 | 57 | 200 |1246 | 200 | 261 | 16M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1025.52/1025.53 c 1026s| 1470k|206973 | 27065k| 18.4 | 248M| 65 | 19 | 200 |1246 | 200 | 240 | 16M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1031.52/1031.53 c 1032s| 1480k|207797 | 27218k| 18.4 | 249M| 65 | 50 | 200 |1246 | 200 | 249 | 16M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1037.51/1037.53 c 1038s| 1490k|208711 | 27370k| 18.4 | 251M| 65 | 70 | 200 |1246 | 200 | 245 | 16M| 0 | 25k|-5.996774e+01 |-5.100000e+01 | 14.95%
1043.52/1043.53 c 1044s| 1500k|209519 | 27523k| 18.3 | 252M| 65 | 26 | 200 |1246 | 200 | 246 | 16M| 0 | 25k|-5.991935e+01 |-5.100000e+01 | 14.89%
1049.51/1049.56 c 1050s| 1510k|210379 | 27676k| 18.3 | 253M| 65 | 77 | 200 |1246 | 200 | 264 | 17M| 0 | 25k|-5.988889e+01 |-5.100000e+01 | 14.84%
1055.51/1055.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1055.51/1055.51 c 1056s| 1520k|211151 | 27827k| 18.3 | 254M| 65 | 6 | 200 |1246 | 200 | 256 | 17M| 0 | 25k|-5.987500e+01 |-5.100000e+01 | 14.82%
1061.31/1061.39 c 1061s| 1530k|211929 | 27976k| 18.3 | 255M| 65 | 29 | 200 |1246 | 200 | 249 | 17M| 0 | 25k|-5.985714e+01 |-5.100000e+01 | 14.80%
1067.21/1067.28 c 1067s| 1540k|212801 | 28124k| 18.3 | 256M| 65 | - | 200 |1246 | 200 | 238 | 17M| 0 | 25k|-5.983333e+01 |-5.100000e+01 | 14.76%
1073.22/1073.28 c 1073s| 1550k|213729 | 28277k| 18.2 | 257M| 65 | - | 200 |1246 | 200 | 281 | 17M| 0 | 25k|-5.983333e+01 |-5.100000e+01 | 14.76%
1079.32/1079.37 c 1079s| 1560k|214671 | 28432k| 18.2 | 259M| 65 | - | 200 |1246 | 200 | 256 | 17M| 0 | 25k|-5.980000e+01 |-5.100000e+01 | 14.72%
1085.21/1085.22 c 1085s| 1570k|215385 | 28580k| 18.2 | 260M| 65 | 68 | 200 |1246 | 200 | 254 | 17M| 0 | 25k|-5.980000e+01 |-5.100000e+01 | 14.72%
1091.12/1091.15 c 1091s| 1580k|216321 | 28732k| 18.2 | 261M| 65 | 52 | 200 |1246 | 200 | 248 | 17M| 0 | 25k|-5.977778e+01 |-5.100000e+01 | 14.68%
1097.02/1097.01 c 1097s| 1590k|216947 | 28879k| 18.2 | 262M| 65 | - | 200 |1246 | 200 | 237 | 17M| 0 | 26k|-5.975000e+01 |-5.100000e+01 | 14.64%
1102.81/1102.84 c 1103s| 1600k|217679 | 29026k| 18.1 | 263M| 65 | - | 200 |1246 | 200 | 241 | 17M| 0 | 26k|-5.975000e+01 |-5.100000e+01 | 14.64%
1108.72/1108.72 c 1109s| 1610k|218523 | 29176k| 18.1 | 264M| 65 | - | 200 |1246 | 200 | 270 | 18M| 0 | 26k|-5.975000e+01 |-5.100000e+01 | 14.64%
1114.61/1114.60 c 1115s| 1620k|219297 | 29326k| 18.1 | 265M| 65 | - | 200 |1246 | 200 | 247 | 18M| 0 | 26k|-5.975000e+01 |-5.100000e+01 | 14.64%
1120.41/1120.46 c 1120s| 1630k|220157 | 29477k| 18.1 | 266M| 65 | 7 | 200 |1246 | 200 | 222 | 18M| 0 | 26k|-5.975000e+01 |-5.100000e+01 | 14.64%
1126.22/1126.26 c 1126s| 1640k|220901 | 29622k| 18.1 | 267M| 65 | 55 | 200 |1246 | 200 | 242 | 18M| 0 | 26k|-5.972727e+01 |-5.100000e+01 | 14.61%
1132.01/1132.05 c 1132s| 1650k|221581 | 29768k| 18.0 | 268M| 65 | 27 | 200 |1246 | 200 | 223 | 18M| 0 | 26k|-5.971429e+01 |-5.100000e+01 | 14.59%
1137.82/1137.89 c 1138s| 1660k|222331 | 29916k| 18.0 | 269M| 65 | 18 | 200 |1246 | 200 | 255 | 18M| 0 | 26k|-5.968182e+01 |-5.100000e+01 | 14.55%
1143.81/1143.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1143.81/1143.90 c 1144s| 1670k|223205 | 30070k| 18.0 | 270M| 65 | 16 | 200 |1246 | 200 | 219 | 18M| 0 | 26k|-5.966667e+01 |-5.100000e+01 | 14.53%
1149.81/1149.81 c 1150s| 1680k|224029 | 30219k| 18.0 | 271M| 65 | 20 | 200 |1246 | 200 | 221 | 18M| 0 | 26k|-5.966667e+01 |-5.100000e+01 | 14.53%
1155.61/1155.69 c 1156s| 1690k|224829 | 30368k| 18.0 | 272M| 65 | 92 | 200 |1246 | 200 | 260 | 18M| 0 | 26k|-5.966667e+01 |-5.100000e+01 | 14.53%
1161.53/1161.55 c 1162s| 1700k|225703 | 30516k| 17.9 | 273M| 65 | - | 200 |1246 | 200 | 240 | 19M| 0 | 26k|-5.966667e+01 |-5.100000e+01 | 14.53%
1167.52/1167.53 c 1168s| 1710k|226675 | 30670k| 17.9 | 275M| 65 | 31 | 200 |1246 | 200 | 260 | 19M| 0 | 26k|-5.966667e+01 |-5.100000e+01 | 14.53%
1173.32/1173.37 c 1173s| 1720k|227441 | 30816k| 17.9 | 276M| 65 | - | 200 |1246 | 200 | 249 | 19M| 0 | 26k|-5.966667e+01 |-5.100000e+01 | 14.53%
1179.31/1179.36 c 1179s| 1730k|228293 | 30968k| 17.9 | 277M| 65 | - | 200 |1246 | 200 | 266 | 19M| 0 | 27k|-5.966667e+01 |-5.100000e+01 | 14.53%
1185.22/1185.29 c 1185s| 1740k|229087 | 31119k| 17.9 | 278M| 65 | 87 | 200 |1246 | 200 | 286 | 19M| 0 | 27k|-5.962500e+01 |-5.100000e+01 | 14.47%
1191.11/1191.17 c 1191s| 1750k|229785 | 31267k| 17.9 | 279M| 65 | 5 | 200 |1246 | 200 | 249 | 19M| 0 | 27k|-5.960000e+01 |-5.100000e+01 | 14.43%
1197.01/1197.00 c 1197s| 1760k|230493 | 31415k| 17.8 | 280M| 65 | - | 200 |1246 | 200 | 266 | 19M| 0 | 27k|-5.960000e+01 |-5.100000e+01 | 14.43%
1202.81/1202.81 c 1203s| 1770k|231219 | 31561k| 17.8 | 281M| 65 | - | 200 |1246 | 200 | 267 | 19M| 0 | 27k|-5.957143e+01 |-5.100000e+01 | 14.39%
1208.61/1208.62 c 1209s| 1780k|231945 | 31707k| 17.8 | 282M| 65 | 35 | 200 |1246 | 200 | 233 | 19M| 0 | 27k|-5.955556e+01 |-5.100000e+01 | 14.37%
1214.52/1214.50 c 1214s| 1790k|232741 | 31855k| 17.8 | 283M| 65 | 32 | 200 |1246 | 200 | 237 | 19M| 0 | 27k|-5.951852e+01 |-5.100000e+01 | 14.31%
1220.22/1220.23 c 1220s| 1800k|233331 | 31999k| 17.8 | 284M| 65 | - | 200 |1246 | 200 | 245 | 20M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1226.11/1226.14 c 1226s| 1810k|234095 | 32148k| 17.8 | 285M| 65 | 41 | 200 |1246 | 200 | 216 | 20M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1231.93/1231.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1231.93/1231.94 c 1232s| 1820k|234865 | 32294k| 17.7 | 286M| 65 | 41 | 200 |1246 | 200 | 221 | 20M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1237.72/1237.75 c 1238s| 1830k|235657 | 32441k| 17.7 | 287M| 65 | 75 | 200 |1246 | 200 | 260 | 20M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1243.52/1243.58 c 1244s| 1840k|236469 | 32590k| 17.7 | 288M| 65 | 11 | 200 |1246 | 200 | 224 | 20M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1249.42/1249.48 c 1249s| 1850k|237287 | 32740k| 17.7 | 289M| 65 | - | 200 |1246 | 200 | 246 | 20M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1255.32/1255.32 c 1255s| 1860k|238101 | 32888k| 17.7 | 290M| 65 | - | 200 |1246 | 200 | 256 | 20M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1261.12/1261.10 c 1261s| 1870k|238865 | 33034k| 17.7 | 291M| 65 | 26 | 200 |1246 | 200 | 239 | 20M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1267.02/1267.07 c 1267s| 1880k|239763 | 33187k| 17.6 | 292M| 65 | - | 200 |1246 | 200 | 243 | 20M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1272.82/1272.84 c 1273s| 1890k|240543 | 33332k| 17.6 | 293M| 65 | - | 200 |1246 | 200 | 267 | 21M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1278.62/1278.60 c 1279s| 1900k|241235 | 33478k| 17.6 | 294M| 65 | - | 200 |1246 | 200 | 251 | 21M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1284.32/1284.36 c 1284s| 1910k|242047 | 33622k| 17.6 | 295M| 65 | - | 200 |1246 | 200 | 250 | 21M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1290.23/1290.22 c 1290s| 1920k|242797 | 33771k| 17.6 | 296M| 65 | 78 | 200 |1246 | 200 | 265 | 21M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1296.02/1296.00 c 1296s| 1930k|243487 | 33916k| 17.6 | 297M| 65 | 16 | 200 |1246 | 200 | 244 | 21M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1301.72/1301.75 c 1302s| 1940k|244183 | 34060k| 17.6 | 298M| 65 | - | 200 |1246 | 200 | 248 | 21M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1306.51/1306.52 o -52
1306.51/1306.52 c *1307s| 1947k|183582 | 34178k| 17.5 | 229M| 65 | - | 200 |1246 | 200 | 266 | 21M| 0 | 28k|-5.950000e+01 |-5.200000e+01 | 12.61%
1307.72/1307.80 c 1308s| 1950k|183694 | 34209k| 17.5 | 229M| 65 | 85 | 200 |1246 | 200 | 272 | 21M| 0 | 28k|-5.950000e+01 |-5.200000e+01 | 12.61%
1313.51/1313.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1313.51/1313.58 c 1314s| 1960k|184204 | 34352k| 17.5 | 230M| 65 | 16 | 200 |1246 | 200 | 242 | 21M| 0 | 28k|-5.950000e+01 |-5.200000e+01 | 12.61%
1319.32/1319.37 c 1319s| 1970k|184602 | 34495k| 17.5 | 230M| 65 | - | 200 |1246 | 200 | 268 | 21M| 0 | 28k|-5.944444e+01 |-5.200000e+01 | 12.52%
1324.92/1324.98 c 1325s| 1980k|184976 | 34635k| 17.5 | 231M| 65 | - | 200 |1246 | 200 | 252 | 21M| 0 | 28k|-5.941667e+01 |-5.200000e+01 | 12.48%
1330.62/1330.69 c 1331s| 1990k|185314 | 34776k| 17.5 | 231M| 65 | 29 | 200 |1246 | 200 | 244 | 22M| 0 | 28k|-5.940000e+01 |-5.200000e+01 | 12.46%
1336.32/1336.33 c 1336s| 2000k|185786 | 34915k| 17.5 | 232M| 66 | - | 200 |1246 | 200 | 241 | 22M| 0 | 28k|-5.940000e+01 |-5.200000e+01 | 12.46%
1341.92/1341.91 c 1342s| 2010k|186034 | 35053k| 17.4 | 233M| 66 | 32 | 200 |1246 | 200 | 227 | 22M| 0 | 28k|-5.937500e+01 |-5.200000e+01 | 12.42%
1347.62/1347.68 c 1348s| 2020k|186448 | 35195k| 17.4 | 233M| 66 | 26 | 200 |1246 | 200 | 235 | 22M| 0 | 28k|-5.934783e+01 |-5.200000e+01 | 12.38%
1353.42/1353.42 c 1353s| 2030k|186828 | 35339k| 17.4 | 234M| 66 | - | 200 |1246 | 200 | 249 | 22M| 0 | 28k|-5.933333e+01 |-5.200000e+01 | 12.36%
1359.12/1359.14 c 1359s| 2040k|187182 | 35481k| 17.4 | 235M| 66 | - | 200 |1246 | 200 | 236 | 22M| 0 | 29k|-5.933333e+01 |-5.200000e+01 | 12.36%
1364.72/1364.74 c 1365s| 2050k|187548 | 35619k| 17.4 | 235M| 66 | - | 200 |1246 | 200 | 266 | 22M| 0 | 29k|-5.933333e+01 |-5.200000e+01 | 12.36%
1370.22/1370.30 c 1370s| 2060k|187912 | 35755k| 17.4 | 236M| 66 | - | 200 |1246 | 200 | 265 | 22M| 0 | 29k|-5.933333e+01 |-5.200000e+01 | 12.36%
1375.92/1375.97 c 1376s| 2070k|188276 | 35895k| 17.3 | 236M| 66 | - | 200 |1246 | 200 | 259 | 22M| 0 | 29k|-5.933333e+01 |-5.200000e+01 | 12.36%
1381.53/1381.52 c 1382s| 2080k|188578 | 36031k| 17.3 | 237M| 66 | - | 200 |1246 | 200 | 236 | 23M| 0 | 29k|-5.933333e+01 |-5.200000e+01 | 12.36%
1387.22/1387.23 c 1387s| 2090k|189006 | 36173k| 17.3 | 238M| 68 | 11 | 200 |1246 | 200 | 222 | 23M| 0 | 29k|-5.933333e+01 |-5.200000e+01 | 12.36%
1392.72/1392.77 c 1393s| 2100k|189378 | 36307k| 17.3 | 238M| 68 | 9 | 200 |1246 | 200 | 229 | 23M| 0 | 29k|-5.930000e+01 |-5.200000e+01 | 12.31%
1398.32/1398.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1398.32/1398.31 c 1398s| 2110k|189726 | 36441k| 17.3 | 239M| 68 | - | 200 |1246 | 200 | 231 | 23M| 0 | 29k|-5.928571e+01 |-5.200000e+01 | 12.29%
1403.93/1403.99 c 1404s| 2120k|190098 | 36580k| 17.3 | 239M| 68 | 24 | 200 |1246 | 200 | 221 | 23M| 0 | 29k|-5.925000e+01 |-5.200000e+01 | 12.24%
1409.63/1409.63 c 1410s| 2130k|190504 | 36720k| 17.2 | 240M| 68 | - | 200 |1246 | 200 | 262 | 23M| 0 | 29k|-5.925000e+01 |-5.200000e+01 | 12.24%
1415.23/1415.27 c 1415s| 2140k|190830 | 36860k| 17.2 | 241M| 68 | 72 | 200 |1246 | 200 | 265 | 23M| 0 | 29k|-5.925000e+01 |-5.200000e+01 | 12.24%
1420.92/1420.91 c 1421s| 2150k|191214 | 37000k| 17.2 | 241M| 68 | 70 | 200 |1246 | 200 | 244 | 23M| 0 | 29k|-5.925000e+01 |-5.200000e+01 | 12.24%
1426.53/1426.52 c 1427s| 2160k|191508 | 37138k| 17.2 | 242M| 68 | 68 | 200 |1246 | 200 | 223 | 23M| 0 | 29k|-5.925000e+01 |-5.200000e+01 | 12.24%
1432.12/1432.12 c 1432s| 2170k|191866 | 37277k| 17.2 | 242M| 68 | - | 200 |1246 | 200 | 222 | 23M| 0 | 29k|-5.925000e+01 |-5.200000e+01 | 12.24%
1437.73/1437.79 c 1438s| 2180k|192190 | 37416k| 17.2 | 243M| 68 | - | 200 |1246 | 200 | 248 | 24M| 0 | 29k|-5.922222e+01 |-5.200000e+01 | 12.20%
1443.32/1443.39 c 1443s| 2190k|192552 | 37553k| 17.1 | 244M| 68 | - | 200 |1246 | 200 | 218 | 24M| 0 | 29k|-5.920000e+01 |-5.200000e+01 | 12.16%
1449.03/1449.01 c 1449s| 2200k|192954 | 37691k| 17.1 | 244M| 68 | - | 200 |1246 | 200 | 240 | 24M| 0 | 29k|-5.920000e+01 |-5.200000e+01 | 12.16%
1454.52/1454.57 c 1455s| 2210k|193258 | 37826k| 17.1 | 245M| 68 | - | 200 |1246 | 200 | 239 | 24M| 0 | 30k|-5.917500e+01 |-5.200000e+01 | 12.13%
1460.13/1460.11 c 1460s| 2220k|193654 | 37962k| 17.1 | 245M| 68 | - | 200 |1246 | 200 | 242 | 24M| 0 | 30k|-5.916667e+01 |-5.200000e+01 | 12.11%
1465.72/1465.71 c 1466s| 2230k|193994 | 38100k| 17.1 | 246M| 68 | 64 | 200 |1246 | 200 | 244 | 24M| 0 | 30k|-5.916667e+01 |-5.200000e+01 | 12.11%
1471.32/1471.30 c 1471s| 2240k|194314 | 38237k| 17.1 | 246M| 68 | 44 | 200 |1246 | 200 | 220 | 24M| 0 | 30k|-5.914286e+01 |-5.200000e+01 | 12.08%
1476.73/1476.76 c 1477s| 2250k|194624 | 38369k| 17.0 | 247M| 68 | - | 200 |1246 | 200 | 248 | 24M| 0 | 30k|-5.912500e+01 |-5.200000e+01 | 12.05%
1482.22/1482.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1482.22/1482.28 c 1482s| 2260k|194946 | 38504k| 17.0 | 248M| 68 | 73 | 200 |1246 | 200 | 282 | 24M| 0 | 30k|-5.910000e+01 |-5.200000e+01 | 12.01%
1487.72/1487.75 c 1488s| 2270k|195206 | 38635k| 17.0 | 248M| 68 | - | 200 |1246 | 200 | 242 | 24M| 0 | 30k|-5.907692e+01 |-5.200000e+01 | 11.98%
1493.22/1493.21 c 1493s| 2280k|195570 | 38767k| 17.0 | 249M| 68 | 24 | 200 |1246 | 200 | 223 | 25M| 0 | 30k|-5.902941e+01 |-5.200000e+01 | 11.91%
1498.82/1498.85 c 1499s| 2290k|195902 | 38906k| 17.0 | 249M| 68 | 57 | 200 |1246 | 200 | 248 | 25M| 0 | 30k|-5.900000e+01 |-5.200000e+01 | 11.86%
1504.42/1504.48 c 1504s| 2300k|196222 | 39043k| 17.0 | 250M| 68 | 86 | 200 |1246 | 200 | 232 | 25M| 0 | 30k|-5.900000e+01 |-5.200000e+01 | 11.86%
1510.02/1510.09 c 1510s| 2310k|196552 | 39182k| 17.0 | 250M| 68 | - | 200 |1246 | 200 | 244 | 25M| 0 | 30k|-5.900000e+01 |-5.200000e+01 | 11.86%
1515.53/1515.55 c 1516s| 2320k|196830 | 39313k| 16.9 | 251M| 68 | - | 200 |1246 | 200 | 252 | 25M| 0 | 30k|-5.900000e+01 |-5.200000e+01 | 11.86%
1521.22/1521.22 c 1521s| 2330k|197198 | 39451k| 16.9 | 251M| 68 | - | 200 |1246 | 200 | 250 | 25M| 0 | 30k|-5.900000e+01 |-5.200000e+01 | 11.86%
1526.73/1526.75 c 1527s| 2340k|197540 | 39588k| 16.9 | 252M| 68 | 37 | 200 |1246 | 200 | 223 | 25M| 0 | 30k|-5.900000e+01 |-5.200000e+01 | 11.86%
1532.23/1532.21 c 1532s| 2350k|197804 | 39721k| 16.9 | 253M| 68 | - | 200 |1246 | 200 | 268 | 25M| 0 | 30k|-5.900000e+01 |-5.200000e+01 | 11.86%
1537.73/1537.78 c 1538s| 2360k|198152 | 39858k| 16.9 | 253M| 68 | - | 200 |1246 | 200 | 225 | 25M| 0 | 30k|-5.900000e+01 |-5.200000e+01 | 11.86%
1543.43/1543.48 c 1543s| 2370k|198616 | 40000k| 16.9 | 254M| 68 | 5 | 200 |1246 | 200 | 228 | 26M| 0 | 30k|-5.900000e+01 |-5.200000e+01 | 11.86%
1549.03/1549.02 c 1549s| 2380k|199038 | 40137k| 16.9 | 254M| 68 | - | 200 |1246 | 200 | 260 | 26M| 0 | 30k|-5.900000e+01 |-5.200000e+01 | 11.86%
1554.53/1554.59 c 1555s| 2390k|199286 | 40272k| 16.8 | 255M| 68 | - | 200 |1246 | 200 | 235 | 26M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1560.03/1560.07 c 1560s| 2400k|199544 | 40405k| 16.8 | 255M| 68 | - | 200 |1246 | 200 | 258 | 26M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1565.52/1565.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1565.52/1565.51 c 1566s| 2410k|199836 | 40538k| 16.8 | 256M| 68 | - | 200 |1246 | 200 | 254 | 26M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1571.02/1571.08 c 1571s| 2420k|200230 | 40675k| 16.8 | 256M| 68 | - | 200 |1246 | 200 | 245 | 26M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1576.53/1576.53 c 1577s| 2430k|200526 | 40807k| 16.8 | 257M| 68 | 16 | 200 |1246 | 200 | 238 | 26M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1582.03/1582.05 c 1582s| 2440k|200882 | 40941k| 16.8 | 258M| 68 | 39 | 200 |1246 | 200 | 219 | 26M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1587.42/1587.47 c 1587s| 2450k|201196 | 41072k| 16.8 | 258M| 68 | 44 | 200 |1246 | 200 | 240 | 26M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1593.03/1593.03 c 1593s| 2460k|201388 | 41208k| 16.7 | 258M| 68 | - | 200 |1246 | 200 | 291 | 26M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1598.53/1598.58 c 1599s| 2470k|201716 | 41344k| 16.7 | 259M| 68 | - | 200 |1246 | 200 | 223 | 27M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1604.02/1604.06 c 1604s| 2480k|201988 | 41478k| 16.7 | 260M| 68 | 32 | 200 |1246 | 200 | 230 | 27M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1609.72/1609.76 c 1610s| 2490k|202366 | 41619k| 16.7 | 260M| 68 | - | 200 |1246 | 200 | 288 | 27M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1615.23/1615.22 c 1615s| 2500k|202680 | 41752k| 16.7 | 261M| 68 | 14 | 200 |1246 | 200 | 226 | 27M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1620.73/1620.71 c 1621s| 2510k|203008 | 41887k| 16.7 | 261M| 68 | - | 200 |1246 | 200 | 248 | 27M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1626.12/1626.17 c 1626s| 2520k|203396 | 42019k| 16.7 | 262M| 68 | - | 200 |1246 | 200 | 263 | 27M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1631.53/1631.59 c 1632s| 2530k|203550 | 42150k| 16.7 | 262M| 68 | - | 200 |1246 | 200 | 258 | 27M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1637.13/1637.12 c 1637s| 2540k|203888 | 42285k| 16.6 | 263M| 68 | 10 | 200 |1246 | 200 | 227 | 27M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1642.63/1642.61 c 1643s| 2550k|204208 | 42419k| 16.6 | 263M| 68 | 30 | 200 |1246 | 200 | 238 | 27M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1648.03/1648.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1648.03/1648.08 c 1648s| 2560k|204466 | 42552k| 16.6 | 264M| 68 | - | 200 |1246 | 200 | 232 | 27M| 0 | 31k|-5.900000e+01 |-5.200000e+01 | 11.86%
1653.63/1653.61 c 1654s| 2570k|204816 | 42687k| 16.6 | 264M| 68 | 24 | 200 |1246 | 200 | 224 | 28M| 0 | 32k|-5.900000e+01 |-5.200000e+01 | 11.86%
1659.13/1659.12 c 1659s| 2580k|205152 | 42822k| 16.6 | 265M| 68 | 90 | 200 |1246 | 200 | 275 | 28M| 0 | 32k|-5.900000e+01 |-5.200000e+01 | 11.86%
1664.83/1664.86 c 1665s| 2590k|205534 | 42963k| 16.6 | 266M| 68 | 39 | 200 |1246 | 200 | 240 | 28M| 0 | 32k|-5.900000e+01 |-5.200000e+01 | 11.86%
1670.43/1670.47 c 1670s| 2600k|206004 | 43102k| 16.6 | 266M| 68 | - | 200 |1246 | 200 | 241 | 28M| 0 | 32k|-5.900000e+01 |-5.200000e+01 | 11.86%
1676.03/1676.04 c 1676s| 2610k|206344 | 43238k| 16.6 | 267M| 68 | 53 | 200 |1246 | 200 | 223 | 28M| 0 | 32k|-5.900000e+01 |-5.200000e+01 | 11.86%
1681.53/1681.59 c 1682s| 2620k|206644 | 43373k| 16.6 | 267M| 68 | - | 200 |1246 | 200 | 270 | 28M| 0 | 32k|-5.900000e+01 |-5.200000e+01 | 11.86%
1687.12/1687.13 c 1687s| 2630k|207024 | 43508k| 16.5 | 268M| 68 | 24 | 200 |1246 | 200 | 219 | 28M| 0 | 32k|-5.896000e+01 |-5.200000e+01 | 11.80%
1692.63/1692.62 c 1693s| 2640k|207250 | 43641k| 16.5 | 268M| 68 | - | 200 |1246 | 200 | 267 | 28M| 0 | 32k|-5.892308e+01 |-5.200000e+01 | 11.75%
1698.13/1698.12 c 1698s| 2650k|207570 | 43775k| 16.5 | 269M| 68 | 46 | 200 |1246 | 200 | 241 | 28M| 0 | 32k|-5.890000e+01 |-5.200000e+01 | 11.71%
1703.53/1703.56 c 1704s| 2660k|207904 | 43906k| 16.5 | 269M| 68 | 8 | 200 |1246 | 200 | 225 | 29M| 0 | 32k|-5.888235e+01 |-5.200000e+01 | 11.69%
1708.93/1708.97 c 1709s| 2670k|208220 | 44037k| 16.5 | 270M| 68 | - | 200 |1246 | 200 | 271 | 29M| 0 | 32k|-5.887500e+01 |-5.200000e+01 | 11.68%
1714.53/1714.50 c 1715s| 2680k|208484 | 44171k| 16.5 | 270M| 68 | - | 200 |1246 | 200 | 262 | 29M| 0 | 32k|-5.885714e+01 |-5.200000e+01 | 11.65%
1719.93/1719.98 c 1720s| 2690k|208794 | 44303k| 16.5 | 271M| 68 | 90 | 200 |1246 | 200 | 278 | 29M| 0 | 32k|-5.883333e+01 |-5.200000e+01 | 11.61%
1725.43/1725.41 c 1725s| 2700k|209038 | 44435k| 16.5 | 271M| 68 | 14 | 200 |1246 | 200 | 240 | 29M| 0 | 32k|-5.883333e+01 |-5.200000e+01 | 11.61%
1730.83/1730.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1730.83/1730.82 c 1731s| 2710k|209210 | 44565k| 16.4 | 272M| 68 | 97 | 200 |1246 | 200 | 299 | 29M| 0 | 32k|-5.883333e+01 |-5.200000e+01 | 11.61%
1736.23/1736.22 c 1736s| 2720k|209538 | 44695k| 16.4 | 272M| 68 | 48 | 200 |1246 | 200 | 259 | 29M| 0 | 32k|-5.881818e+01 |-5.200000e+01 | 11.59%
1741.63/1741.63 c 1742s| 2730k|209832 | 44825k| 16.4 | 273M| 68 | - | 200 |1246 | 200 | 261 | 29M| 0 | 32k|-5.880000e+01 |-5.200000e+01 | 11.56%
1747.13/1747.12 c 1747s| 2740k|210096 | 44957k| 16.4 | 273M| 68 | - | 200 |1246 | 200 | 225 | 29M| 0 | 32k|-5.880000e+01 |-5.200000e+01 | 11.56%
1752.53/1752.52 c 1753s| 2750k|210432 | 45085k| 16.4 | 274M| 68 | 12 | 200 |1246 | 200 | 224 | 29M| 0 | 32k|-5.877778e+01 |-5.200000e+01 | 11.53%
1757.93/1757.94 c 1758s| 2760k|210618 | 45215k| 16.4 | 274M| 68 | - | 200 |1246 | 200 | 252 | 30M| 0 | 33k|-5.876471e+01 |-5.200000e+01 | 11.51%
1763.23/1763.29 c 1763s| 2770k|210894 | 45346k| 16.4 | 275M| 68 | 38 | 200 |1246 | 200 | 218 | 30M| 0 | 33k|-5.875000e+01 |-5.200000e+01 | 11.49%
1768.63/1768.69 c 1769s| 2780k|211124 | 45475k| 16.4 | 275M| 68 | 14 | 200 |1246 | 200 | 220 | 30M| 0 | 33k|-5.875000e+01 |-5.200000e+01 | 11.49%
1774.03/1774.05 c 1774s| 2790k|211398 | 45602k| 16.3 | 276M| 68 | - | 200 |1246 | 200 | 275 | 30M| 0 | 33k|-5.875000e+01 |-5.200000e+01 | 11.49%
1779.43/1779.49 c 1779s| 2800k|211706 | 45735k| 16.3 | 276M| 68 | 40 | 200 |1246 | 200 | 228 | 30M| 0 | 33k|-5.875000e+01 |-5.200000e+01 | 11.49%
1784.83/1784.80 c 1785s| 2810k|211946 | 45862k| 16.3 | 276M| 68 | - | 200 |1246 | 200 | 247 | 30M| 0 | 33k|-5.875000e+01 |-5.200000e+01 | 11.49%
1790.13/1790.13 c 1790s| 2820k|212184 | 45990k| 16.3 | 277M| 68 | 54 | 200 |1246 | 200 | 227 | 30M| 0 | 33k|-5.875000e+01 |-5.200000e+01 | 11.49%
1795.53/1795.50 c 1795s| 2830k|212402 | 46120k| 16.3 | 277M| 68 | 75 | 200 |1246 | 200 | 221 | 30M| 0 | 33k|-5.875000e+01 |-5.200000e+01 | 11.49%
1797.03/1797.00 c
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Solving Time (sec) : 1797.00
1797.03/1797.00 c Solving Nodes : 2832769
1797.03/1797.00 c Primal Bound : -5.20000000000000e+01 (607 solutions)
1797.03/1797.00 c Dual Bound : -5.87500000000000e+01
1797.03/1797.00 c Gap : 11.49 %
1797.03/1797.00 s SATISFIABLE
1797.03/1797.00 v -x200 x199 x198 -x197 x196 x195 x194 -x193 -x192 x191 -x190 x189 x188 x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 x178
1797.03/1797.00 v -x177 -x176 x175 x174 -x173 x172 -x171 -x170 -x169 x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 x157 -x156
1797.03/1797.00 v -x155 x154 -x153 x152 -x151 -x150 -x149 -x148 x147 -x146 -x145 -x144 x143 x142 x141 -x140 x139 -x138 x137 -x136 -x135 -x134
1797.03/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.03/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.03/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.03/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
1797.03/1797.00 v -x36 -x35 -x34 -x33 x32 -x31 -x30 x29 -x28 -x27 -x26 x25 x24 -x23 x22 x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 x10
1797.03/1797.00 v -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Total Time : 1797.00
1797.03/1797.00 c solving : 1797.00
1797.03/1797.00 c presolving : 0.05 (included in solving)
1797.03/1797.00 c reading : 0.00 (included in solving)
1797.03/1797.00 c Original Problem :
1797.03/1797.00 c Problem name : HOME/instance-3485139-1307784107.opb
1797.03/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 200 initial, 200 maximal
1797.03/1797.00 c Presolved Problem :
1797.03/1797.00 c Problem name : t_HOME/instance-3485139-1307784107.opb
1797.03/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 1246 initial, 1246 maximal
1797.03/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c and : 0.02 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c linear : 0.00 1246 0 0 1246 0 200 0 0 0
1797.03/1797.00 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c root node : - 0 - - 0 - - - - -
1797.03/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c integral : 0 0 0 2574465 0 860235 0 175 1389 0 0 3191168
1797.03/1797.00 c logicor : 1246 32 2901868 978105 0 860231 0 55 13181709 30772181 0 0
1797.03/1797.00 c countsols : 0 0 0 8 0 601 0 0 0 0 0 0
1797.03/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.00 c integral : 43.29 0.00 0.00 43.07 0.00 0.21 0.00
1797.03/1797.00 c logicor : 82.64 0.00 28.82 40.33 0.00 13.49 0.00
1797.03/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.00 c vbounds : 0 0 0 0
1797.03/1797.00 c rootredcost : 9 0 0 0
1797.03/1797.00 c pseudoobj : 4819973 0 0 0
1797.03/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.00 c vbounds : 0.73 0.73 0.00
1797.03/1797.00 c rootredcost : 0.81 0.81 0.00
1797.03/1797.00 c pseudoobj : 21.66 21.66 0.00
1797.03/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.00 c propagation : 0.00 55 0 0 0.0 0 0.0 -
1797.03/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.00 c applied globally : - - - 0 0.0 - - -
1797.03/1797.00 c applied locally : - - - 0 0.0 - - -
1797.03/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.00 c cut pool : 0.02 31 - - 40 - (maximal pool size: 2247)
1797.03/1797.00 c redcost : 11.49 2798749 0 452044 0 0
1797.03/1797.00 c impliedbounds : 0.00 32 0 0 636 0
1797.03/1797.00 c intobj : 0.00 0 0 0 0 0
1797.03/1797.00 c gomory : 0.61 32 0 0 9595 0
1797.03/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.00 c strongcg : 0.27 20 0 0 8245 0
1797.03/1797.00 c cmir : 0.03 10 0 0 0 0
1797.03/1797.00 c flowcover : 0.02 10 0 0 0 0
1797.03/1797.00 c clique : 0.03 32 0 0 218 0
1797.03/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.00 c mcf : 0.00 1 0 0 0 0
1797.03/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.00 c rapidlearning : 0.00 0 0 0 0 0
1797.03/1797.00 c Pricers : Time Calls Vars
1797.03/1797.00 c problem variables: 0.00 0 0
1797.03/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c relpscost : 41.86 1596360 175 1389 0 0 3191168
1797.03/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.00 c inference : 0.00 2 0 0 0 0 4
1797.03/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c random : 0.00 0 0 0 0 0 0
1797.03/1797.00 c Primal Heuristics : Time Calls Found
1797.03/1797.00 c LP solutions : 0.35 - 8
1797.03/1797.00 c pseudo solutions : 0.00 - 0
1797.03/1797.00 c feaspump : 0.07 0 0
1797.03/1797.00 c oneopt : 0.66 11 1
1797.03/1797.00 c crossover : 0.75 3 0
1797.03/1797.00 c coefdiving : 2.63 2805 23
1797.03/1797.00 c pscostdiving : 2.63 2805 26
1797.03/1797.00 c fracdiving : 2.84 2805 17
1797.03/1797.00 c veclendiving : 2.80 2805 39
1797.03/1797.00 c linesearchdiving : 2.78 2805 17
1797.03/1797.00 c objpscostdiving : 1.49 1403 27
1797.03/1797.00 c rootsoldiving : 1.44 1403 2
1797.03/1797.00 c guideddiving : 2.94 2806 10
1797.03/1797.00 c trivial : 0.00 2 1
1797.03/1797.00 c shiftandpropagate: 0.00 0 0
1797.03/1797.00 c simplerounding : 22.89 1611269 433
1797.03/1797.00 c zirounding : 0.53 1000 1
1797.03/1797.00 c rounding : 5.74 61509 1
1797.03/1797.00 c shifting : 1.83 19177 1
1797.03/1797.00 c intshifting : 0.04 0 0
1797.03/1797.00 c twoopt : 0.00 0 0
1797.03/1797.00 c fixandinfer : 0.00 0 0
1797.03/1797.00 c clique : 0.00 0 0
1797.03/1797.00 c intdiving : 0.00 0 0
1797.03/1797.00 c actconsdiving : 0.00 0 0
1797.03/1797.00 c octane : 0.00 0 0
1797.03/1797.00 c rens : 0.00 0 0
1797.03/1797.00 c rins : 0.00 0 0
1797.03/1797.00 c localbranching : 0.00 0 0
1797.03/1797.00 c mutation : 0.00 0 0
1797.03/1797.00 c dins : 0.00 0 0
1797.03/1797.00 c vbounds : 0.00 0 0
1797.03/1797.00 c undercover : 0.00 0 0
1797.03/1797.00 c subnlp : 0.40 0 0
1797.03/1797.00 c trysol : 0.60 0 0
1797.03/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.00 c primal LP : 38.26 0 0 0.00 0.00
1797.03/1797.00 c dual LP : 1236.05 3836226 45811387 11.94 37062.63
1797.03/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.00 c diving/probing LP: 13.16 56402 345938 6.13 26282.92
1797.03/1797.00 c strong branching : 20.31 33384 476910 14.29 23484.97
1797.03/1797.00 c (at root node) : - 27 13048 483.26 -
1797.03/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.00 c B&B Tree :
1797.03/1797.00 c number of runs : 1
1797.03/1797.00 c nodes : 2832769
1797.03/1797.00 c nodes (total) : 2832769
1797.03/1797.00 c nodes left : 212469
1797.03/1797.00 c max depth : 68
1797.03/1797.00 c max depth (total): 68
1797.03/1797.00 c backtracks : 418096 (14.8%)
1797.03/1797.00 c delayed cutoffs : 0
1797.03/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.03/1797.00 c avg switch length: 5.17
1797.03/1797.00 c switching time : 105.51
1797.03/1797.00 c Solution :
1797.03/1797.00 c Solutions found : 607 (13 improvements)
1797.03/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1797.03/1797.00 c Primal Bound : -5.20000000000000e+01 (in run 1, after 1947836 nodes, 1306.35 seconds, depth 50, found by <relaxation>)
1797.03/1797.00 c Dual Bound : -5.87500000000000e+01
1797.03/1797.00 c Gap : 11.49 %
1797.03/1797.00 c Root Dual Bound : -6.99853398710047e+01
1797.03/1797.00 c Root Iterations : 7125
1797.63/1797.61 c Time complete: 1797.64.
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-3485139-1307784107/watcher-3485139-1307784107 -o /tmp/evaluation-result-3485139-1307784107/solver-3485139-1307784107 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485139-1307784107.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.07 2.03 2.01 2/178 5080 /proc/meminfo: memFree=31268348/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=9972 CPUtime=0 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 1514 0 0 0 0 0 0 0 25 0 1 0 890008902 10211328 1469 33554432000 4194304 8979876 140735734608464 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/5080/statm: 2493 1469 367 1169 0 1320 0 [startup+0.0325799 s] /proc/loadavg: 2.07 2.03 2.01 2/178 5080 /proc/meminfo: memFree=31268348/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=18916 CPUtime=0.02 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 3756 0 0 0 2 0 0 0 25 0 1 0 890008902 19369984 3454 33554432000 4194304 8979876 140735734608464 18446744073709551615 18446744073699065939 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/5080/statm: 4729 3454 480 1169 0 3556 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 18916 [startup+0.100568 s] /proc/loadavg: 2.07 2.03 2.01 2/178 5080 /proc/meminfo: memFree=31268348/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=23200 CPUtime=0.09 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 5011 0 0 0 9 0 0 0 25 0 1 0 890008902 23756800 4677 33554432000 4194304 8979876 140735734608464 18446744073709551615 6250937 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/5080/statm: 5800 4677 655 1169 0 4627 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23200 [startup+0.30054 s] /proc/loadavg: 2.07 2.03 2.01 2/178 5080 /proc/meminfo: memFree=31268348/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=25964 CPUtime=0.29 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 5728 0 0 0 27 2 0 0 25 0 1 0 890008902 26587136 5389 33554432000 4194304 8979876 140735734608464 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/5080/statm: 6491 5389 654 1169 0 5318 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25964 [startup+0.700469 s] /proc/loadavg: 2.07 2.03 2.01 2/178 5080 /proc/meminfo: memFree=31268348/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=36064 CPUtime=0.69 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 8306 0 0 0 65 4 0 0 25 0 1 0 890008902 36929536 7966 33554432000 4194304 8979876 140735734608464 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/5080/statm: 9016 7966 655 1169 0 7843 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 36064 [startup+1.50033 s] /proc/loadavg: 2.07 2.03 2.01 3/179 5081 /proc/meminfo: memFree=31236000/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=44076 CPUtime=1.49 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 10287 0 0 0 142 7 0 0 25 0 1 0 890008902 45133824 9937 33554432000 4194304 8979876 140735734608464 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/5080/statm: 11019 9937 656 1169 0 9846 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 44076 [startup+3.10104 s] /proc/loadavg: 2.15 2.04 2.01 3/179 5081 /proc/meminfo: memFree=31230048/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=43740 CPUtime=3.09 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 11077 0 0 0 289 20 0 0 25 0 1 0 890008902 44789760 9923 33554432000 4194304 8979876 140735734608464 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/5080/statm: 10935 9923 675 1169 0 9762 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 43740 [startup+6.30043 s] /proc/loadavg: 2.15 2.04 2.01 3/179 5081 /proc/meminfo: memFree=31229924/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=44692 CPUtime=6.29 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 12022 0 0 0 574 55 0 0 25 0 1 0 890008902 45764608 10079 33554432000 4194304 8979876 140735734608464 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 7 0 0 0 /proc/5080/statm: 11173 10079 680 1169 0 10000 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44692 [startup+12.7003 s] /proc/loadavg: 2.13 2.04 2.01 3/179 5081 /proc/meminfo: memFree=31224900/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=49064 CPUtime=12.69 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 17678 0 0 0 1139 130 0 0 25 0 1 0 890008902 50241536 11241 33554432000 4194304 8979876 140735734608464 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/5080/statm: 12266 11241 708 1169 0 11093 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49064 [startup+25.5011 s] /proc/loadavg: 2.10 2.04 2.01 3/179 5081 /proc/meminfo: memFree=31217524/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=56472 CPUtime=25.49 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 21397 0 0 0 2268 281 0 0 25 0 1 0 890008902 57827328 13120 33554432000 4194304 8979876 140735734608464 18446744073709551615 6783404 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/5080/statm: 14118 13120 708 1169 0 12945 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 56472 [startup+51.1005 s] /proc/loadavg: 2.07 2.03 2.01 3/179 5082 /proc/meminfo: memFree=31202736/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=68172 CPUtime=51.09 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 30767 0 0 0 4509 600 0 0 25 0 1 0 890008902 69808128 16115 33554432000 4194304 8979876 140735734608464 18446744073709551615 4925917 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/5080/statm: 17043 16115 708 1169 0 15870 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 68172 [startup+102.306 s] /proc/loadavg: 2.02 2.03 2.00 3/179 5083 /proc/meminfo: memFree=31167136/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=97712 CPUtime=102.29 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 40914 0 0 0 8994 1235 0 0 25 0 1 0 890008902 100057088 23577 33554432000 4194304 8979876 140735734608464 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/5080/statm: 24428 23577 708 1169 0 23255 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 97712 [startup+162.301 s] /proc/loadavg: 2.01 2.02 2.00 3/179 5085 /proc/meminfo: memFree=31135852/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=126708 CPUtime=162.29 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 48608 0 0 0 14242 1987 0 0 25 0 1 0 890008902 129748992 30390 33554432000 4194304 8979876 140735734608464 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/5080/statm: 31677 30390 709 1169 0 30504 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 126708 [startup+222.301 s] /proc/loadavg: 2.05 2.03 2.00 3/179 5087 /proc/meminfo: memFree=31101200/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=151848 CPUtime=222.29 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 55927 0 0 0 19517 2712 0 0 25 0 1 0 890008902 155492352 36792 33554432000 4194304 8979876 140735734608464 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/5080/statm: 37962 36792 709 1169 0 36789 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 151848 [startup+282.3 s] /proc/loadavg: 2.08 2.04 2.00 3/179 5088 /proc/meminfo: memFree=31078316/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=165048 CPUtime=282.3 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 65366 0 0 0 24804 3426 0 0 25 0 1 0 890008902 169009152 40193 33554432000 4194304 8979876 140735734608464 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0 /proc/5080/statm: 41262 40193 709 1169 0 40089 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 165048 [startup+342.301 s] /proc/loadavg: 2.11 2.04 2.01 3/179 5090 /proc/meminfo: memFree=31062252/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=175076 CPUtime=342.3 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 69562 0 0 0 30070 4160 0 0 25 0 1 0 890008902 179277824 42632 33554432000 4194304 8979876 140735734608464 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5080/statm: 43769 42632 709 1169 0 42596 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 175076 [startup+402.301 s] /proc/loadavg: 2.04 2.03 2.00 3/179 5091 /proc/meminfo: memFree=31036520/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=194588 CPUtime=402.3 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 75400 0 0 0 35347 4883 0 0 25 0 1 0 890008902 199258112 47574 33554432000 4194304 8979876 140735734608464 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5080/statm: 48647 47574 709 1169 0 47474 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 194588 [startup+462.3 s] /proc/loadavg: 2.09 2.05 2.01 3/179 5093 /proc/meminfo: memFree=31011168/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=210276 CPUtime=462.3 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 79388 0 0 0 40628 5602 0 0 25 0 1 0 890008902 215322624 51562 33554432000 4194304 8979876 140735734608464 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5080/statm: 52569 51562 709 1169 0 51396 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 210276 [startup+522.301 s] /proc/loadavg: 2.11 2.06 2.01 3/179 5095 /proc/meminfo: memFree=30987920/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=228852 CPUtime=522.3 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 84085 0 0 0 45911 6319 0 0 25 0 1 0 890008902 234344448 56259 33554432000 4194304 8979876 140735734608464 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5080/statm: 57213 56259 709 1169 0 56040 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 228852 [startup+582.301 s] /proc/loadavg: 2.04 2.05 2.00 3/179 5096 /proc/meminfo: memFree=30969884/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=246908 CPUtime=582.3 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 89550 0 0 0 51191 7039 0 0 25 0 1 0 890008902 252833792 60829 33554432000 4194304 8979876 140735734608464 18446744073709551615 6629642 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5080/statm: 61727 60829 709 1169 0 60554 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 246908 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=31142360/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=342268 CPUtime=1122.31 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 122541 0 0 0 98550 13681 0 0 25 0 1 0 890008902 350482432 83970 33554432000 4194304 8979876 140735734608464 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5080/statm: 85567 83970 709 1169 0 84394 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 342268 [startup+1182.3 s] /proc/loadavg: 1.15 1.68 1.88 2/173 5136 /proc/meminfo: memFree=31141804/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=343292 CPUtime=1182.32 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 122762 0 0 0 103598 14634 0 0 25 0 1 0 890008902 351531008 84191 33554432000 4194304 8979876 140735734608464 18446744073709551615 6741763 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5080/statm: 85823 84191 709 1169 0 84650 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 343292 [startup+1242.3 s] /proc/loadavg: 1.05 1.56 1.82 2/173 5138 /proc/meminfo: memFree=31141396/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=343292 CPUtime=1242.32 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 123688 0 0 0 108640 15592 0 0 25 0 1 0 890008902 351531008 84223 33554432000 4194304 8979876 140735734608464 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5080/statm: 85823 84223 709 1169 0 84650 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 343292 [startup+1302.3 s] /proc/loadavg: 1.10 1.46 1.77 2/173 5139 /proc/meminfo: memFree=31138132/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=347260 CPUtime=1302.32 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 124648 0 0 0 113705 16527 0 0 25 0 1 0 890008902 355594240 85183 33554432000 4194304 8979876 140735734608464 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5080/statm: 86815 85183 709 1169 0 85642 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 347260 [startup+1362.3 s] /proc/loadavg: 1.04 1.38 1.72 2/173 5141 /proc/meminfo: memFree=31136088/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=348284 CPUtime=1362.32 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 132104 0 0 0 118781 17451 0 0 25 0 1 0 890008902 356642816 85471 33554432000 4194304 8979876 140735734608464 18446744073709551615 4318895 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5080/statm: 87071 85471 709 1169 0 85898 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 348284 [startup+1422.31 s] /proc/loadavg: 1.12 1.35 1.69 2/173 5143 /proc/meminfo: memFree=31136148/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=348284 CPUtime=1422.33 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 133892 0 0 0 123846 18387 0 0 25 0 1 0 890008902 356642816 85471 33554432000 4194304 8979876 140735734608464 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5080/statm: 87071 85471 709 1169 0 85898 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 348284 [startup+1482.3 s] /proc/loadavg: 1.10 1.30 1.65 2/173 5144 /proc/meminfo: memFree=31136204/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=348284 CPUtime=1482.32 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 133892 0 0 0 128932 19300 0 0 25 0 1 0 890008902 356642816 85471 33554432000 4194304 8979876 140735734608464 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5080/statm: 87071 85471 709 1169 0 85898 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 348284 [startup+1542.3 s] /proc/loadavg: 1.16 1.27 1.61 2/173 5146 /proc/meminfo: memFree=31136016/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=348284 CPUtime=1542.33 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 134788 0 0 0 133999 20234 0 0 25 0 1 0 890008902 356642816 85471 33554432000 4194304 8979876 140735734608464 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5080/statm: 87071 85471 709 1169 0 85898 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 348284 [startup+1602.3 s] /proc/loadavg: 1.06 1.22 1.58 2/173 5147 /proc/meminfo: memFree=31135956/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=348284 CPUtime=1602.33 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 134788 0 0 0 139080 21153 0 0 25 0 1 0 890008902 356642816 85471 33554432000 4194304 8979876 140735734608464 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5080/statm: 87071 85471 709 1169 0 85898 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 348284 [startup+1662.3 s] /proc/loadavg: 1.02 1.18 1.53 2/173 5149 /proc/meminfo: memFree=31135876/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=348284 CPUtime=1662.33 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 134788 0 0 0 144170 22063 0 0 25 0 1 0 890008902 356642816 85471 33554432000 4194304 8979876 140735734608464 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5080/statm: 87071 85471 709 1169 0 85898 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 348284 [startup+1722.3 s] /proc/loadavg: 1.01 1.14 1.50 2/173 5151 /proc/meminfo: memFree=31135812/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=348284 CPUtime=1722.33 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 134788 0 0 0 149247 22986 0 0 25 0 1 0 890008902 356642816 85471 33554432000 4194304 8979876 140735734608464 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5080/statm: 87071 85471 709 1169 0 85898 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 348284 [startup+1782.3 s] /proc/loadavg: 1.00 1.11 1.46 2/173 5152 /proc/meminfo: memFree=31135612/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=348284 CPUtime=1782.33 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 135686 0 0 0 154336 23897 0 0 25 0 1 0 890008902 356642816 85471 33554432000 4194304 8979876 140735734608464 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5080/statm: 87071 85471 709 1169 0 85898 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 348284 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.11 1.46 2/173 5152 /proc/meminfo: memFree=31135488/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=348284 CPUtime=1785.53 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 135686 0 0 0 154612 23941 0 0 25 0 1 0 890008902 356642816 85471 33554432000 4194304 8979876 140735734608464 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5080/statm: 87071 85471 709 1169 0 85898 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (KiB) 348284 [startup+1791.91 s] /proc/loadavg: 1.00 1.11 1.46 2/173 5152 /proc/meminfo: memFree=31135480/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=348284 CPUtime=1791.93 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 135686 0 0 0 155152 24041 0 0 25 0 1 0 890008902 356642816 85471 33554432000 4194304 8979876 140735734608464 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5080/statm: 87071 85471 709 1169 0 85898 0 Current children cumulated CPU time (s) 1791.93 Current children cumulated vsize (KiB) 348284 [startup+1795.1 s] /proc/loadavg: 1.00 1.11 1.46 2/173 5153 /proc/meminfo: memFree=31135720/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=348284 CPUtime=1795.13 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 135686 0 0 0 155421 24092 0 0 25 0 1 0 890008902 356642816 85471 33554432000 4194304 8979876 140735734608464 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5080/statm: 87071 85471 709 1169 0 85898 0 Current children cumulated CPU time (s) 1795.13 Current children cumulated vsize (KiB) 348284 [startup+1796.7 s] /proc/loadavg: 1.00 1.11 1.46 2/173 5153 /proc/meminfo: memFree=31135720/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=348284 CPUtime=1796.73 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 135686 0 0 0 155555 24118 0 0 25 0 1 0 890008902 356642816 85471 33554432000 4194304 8979876 140735734608464 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/5080/statm: 87071 85471 709 1169 0 85898 0 Current children cumulated CPU time (s) 1796.73 Current children cumulated vsize (KiB) 348284 [startup+1797.1 s] /proc/loadavg: 1.00 1.11 1.46 2/173 5153 /proc/meminfo: memFree=31135720/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=348284 CPUtime=1797.13 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 135689 0 0 0 155592 24121 0 0 25 0 1 0 890008902 356642816 85474 33554432000 4194304 8979876 140735734608464 18446744073709551615 6778220 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5080/statm: 87071 85474 712 1169 0 85898 0 Current children cumulated CPU time (s) 1797.13 Current children cumulated vsize (KiB) 348284 [startup+1797.5 s] /proc/loadavg: 1.00 1.11 1.45 2/173 5153 /proc/meminfo: memFree=31135720/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=348284 CPUtime=1797.53 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 135689 0 0 0 155632 24121 0 0 25 0 1 0 890008902 356642816 85474 33554432000 4194304 8979876 140735734608464 18446744073709551615 6572074 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5080/statm: 87071 85474 712 1169 0 85898 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (KiB) 348284 [startup+1797.6 s] /proc/loadavg: 1.00 1.11 1.45 2/173 5153 /proc/meminfo: memFree=31135720/32951124 swapFree=67063272/67111528 [pid=5080] ppid=5078 vsize=341436 CPUtime=1797.63 cores=1,3,5,7 /proc/5080/stat : 5080 (scip-2.0.1.4_2.) R 5078 5080 965 0 -1 4202496 135689 0 0 0 155642 24121 0 0 25 0 1 0 890008902 349630464 83838 33554432000 4194304 8979876 140735734608464 18446744073709551615 6778220 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5080/statm: 85359 83838 712 1169 0 84186 0 Current children cumulated CPU time (s) 1797.63 Current children cumulated vsize (KiB) 341436 Child status: 0 Real time (s): 1797.62 CPU time (s): 1797.65 CPU user time (s): 1556.43 CPU system time (s): 241.226 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 348284 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1556.43 system time used= 241.226 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 135694 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= 5311 runsolver used 2.34464 second user time and 5.84111 second system time The end
Begin job on node132 at 2011-06-11 11:21:47 IDJOB=3485139 IDBENCH=48185 IDSOLVER=1977 FILE ID=node132/3485139-1307784107 RUNJOBID= node132-1307776371-3184 PBS_JOBID= 13550862 Free space on /tmp= 74084 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_2.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-3485139-1307784107/watcher-3485139-1307784107 -o /tmp/evaluation-result-3485139-1307784107/solver-3485139-1307784107 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485139-1307784107.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5255c8da63867fe6fe080ca048384827 RANDOM SEED=1240960115 node132.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.833 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.66 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.833 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.74 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.833 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.76 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.833 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.75 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.833 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.77 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.833 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.67 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.833 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.833 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: 32951124 kB MemFree: 31269156 kB Buffers: 271500 kB Cached: 992560 kB SwapCached: 9968 kB Active: 795328 kB Inactive: 679612 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31269156 kB SwapTotal: 67111528 kB SwapFree: 67063272 kB Dirty: 16728 kB Writeback: 0 kB AnonPages: 208300 kB Mapped: 12248 kB Slab: 143052 kB PageTables: 4344 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 369044 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74084 MiB End job on node132 at 2011-06-11 11:51:45