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 | -29 | 1797.73 | 1797.67 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_5.opb |
| MD5SUM | cdccc05ac387e7ee9cb8ab81f53ca6f8 |
| 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 | -31 |
| Best CPU time to get the best result obtained on this benchmark | 1797.67 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -31 |
| 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 | 25 |
| Maximum length of a constraint | 49 |
| 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) | 6226 |
| Sum of products size (including duplicates) | 12452 |
| Number of different products | 3113 |
| Sum of products size | 6226 |
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-3485159-1307784739.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.01/0.02 o 0
0.01/0.02 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.01/0.02 c presolving:
0.01/0.05 c (round 1) 3113 del vars, 200 del conss, 0 add conss, 3113 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12452 impls, 0 clqs
0.01/0.06 c (round 2) 3113 del vars, 200 del conss, 0 add conss, 3113 chg bounds, 0 chg sides, 0 chg coeffs, 3113 upgd conss, 18678 impls, 0 clqs
0.01/0.09 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.09 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.01/0.09 c presolving (3 rounds):
0.01/0.09 c 3113 deleted vars, 200 deleted constraints, 0 added constraints, 3113 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.09 c 18678 implications, 0 cliques
0.01/0.09 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 3113 constraints
0.01/0.09 c 3113 constraints of type <logicor>
0.01/0.09 c transformed objective value is always integral (scale: 1)
0.01/0.09 c Presolving Time: 0.08
0.01/0.09 c - non default parameters ----------------------------------------------------------------------
0.01/0.09 c # SCIP version 2.0.1.4
0.01/0.09 c
0.01/0.09 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.01/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.09 c conflict/interconss = 0
0.01/0.09 c
0.01/0.09 c # should binary conflicts be preferred?
0.01/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.09 c conflict/preferbinary = TRUE
0.01/0.09 c
0.01/0.09 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.01/0.09 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.09 c constraints/agelimit = 1
0.01/0.09 c
0.01/0.09 c # should enforcement of pseudo solution be disabled?
0.01/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.09 c constraints/disableenfops = TRUE
0.01/0.09 c
0.01/0.09 c # frequency for displaying node information lines
0.01/0.09 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.09 c display/freq = 10000
0.01/0.09 c
0.01/0.09 c # maximal time in seconds to run
0.01/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.09 c limits/time = 1797
0.01/0.09 c
0.01/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.09 c limits/memory = 13950
0.01/0.09 c
0.01/0.09 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.09 c # [type: int, range: [1,2], default: 1]
0.01/0.09 c timing/clocktype = 2
0.01/0.09 c
0.01/0.09 c # belongs reading time to solving time?
0.01/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.09 c timing/reading = TRUE
0.01/0.09 c
0.01/0.09 c # should presolving try to simplify inequalities
0.01/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.09 c constraints/linear/simplifyinequalities = TRUE
0.01/0.09 c
0.01/0.09 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.01/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.09 c constraints/indicator/addCouplingCons = TRUE
0.01/0.09 c
0.01/0.09 c # should presolving try to simplify knapsacks
0.01/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.09 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.09 c
0.01/0.09 c -----------------------------------------------------------------------------------------------
0.01/0.09 c start solving
0.01/0.09 c
0.09/0.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.10 c t 0.1s| 1 | 0 | 204 | - |6902k| 0 | 200 | 200 |3113 | 200 |3113 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.09/0.11 o -1
0.09/0.11 c R 0.1s| 1 | 0 | 204 | - |6904k| 0 | 200 | 200 |3113 | 200 |3113 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
0.09/0.14 c 0.1s| 1 | 0 | 289 | - |6912k| 0 | 190 | 200 |3113 | 200 |3120 | 7 | 0 | 0 |-9.500000e+01 |-1.000000e+00 | 98.95%
0.09/0.14 o -21
0.09/0.14 c b 0.1s| 1 | 0 | 289 | - |6917k| 0 | 190 | 200 |3113 | 200 |3120 | 7 | 0 | 0 |-9.500000e+01 |-2.100000e+01 | 77.89%
0.09/0.19 c 0.2s| 1 | 0 | 363 | - |6923k| 0 | 184 | 200 |3113 | 200 |3128 | 15 | 0 | 0 |-9.200000e+01 |-2.100000e+01 | 77.17%
0.19/0.25 c 0.3s| 1 | 0 | 465 | - |6947k| 0 | 176 | 200 |3113 | 200 |3137 | 24 | 0 | 0 |-8.800000e+01 |-2.100000e+01 | 76.14%
0.29/0.32 c 0.3s| 1 | 0 | 609 | - |6970k| 0 | 170 | 200 |3113 | 200 |3145 | 32 | 0 | 0 |-8.450000e+01 |-2.100000e+01 | 75.15%
0.29/0.38 c 0.4s| 1 | 0 | 674 | - |6989k| 0 | 167 | 200 |3113 | 200 |3155 | 42 | 0 | 0 |-8.350000e+01 |-2.100000e+01 | 74.85%
0.39/0.48 c 0.5s| 1 | 0 | 855 | - |7104k| 0 | 161 | 200 |3113 | 200 |3163 | 50 | 0 | 0 |-8.050000e+01 |-2.100000e+01 | 73.91%
0.49/0.55 c 0.5s| 1 | 0 | 972 | - |7117k| 0 | 156 | 200 |3113 | 200 |3173 | 60 | 0 | 0 |-7.800000e+01 |-2.100000e+01 | 73.08%
0.59/0.63 c 0.6s| 1 | 0 | 1086 | - |7180k| 0 | 155 | 200 |3113 | 200 |3178 | 65 | 0 | 0 |-7.733333e+01 |-2.100000e+01 | 72.84%
0.69/0.73 c 0.7s| 1 | 0 | 1432 | - |7207k| 0 | 148 | 200 |3113 | 200 |3186 | 73 | 0 | 0 |-7.400000e+01 |-2.100000e+01 | 71.62%
0.79/0.81 c 0.8s| 1 | 0 | 1560 | - |7228k| 0 | 147 | 200 |3113 | 200 |3192 | 79 | 0 | 0 |-7.350000e+01 |-2.100000e+01 | 71.43%
0.79/0.86 c 0.9s| 1 | 0 | 1663 | - |7269k| 0 | 144 | 200 |3113 | 200 | 474 | 90 | 0 | 0 |-7.200000e+01 |-2.100000e+01 | 70.83%
0.89/0.90 c 0.9s| 1 | 0 | 1868 | - |7596k| 0 | 164 | 200 |3113 | 200 | 485 | 101 | 0 | 0 |-7.020000e+01 |-2.100000e+01 | 70.09%
0.89/0.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.94 c 0.9s| 1 | 0 | 2053 | - |7825k| 0 | 135 | 200 |3113 | 200 | 534 | 150 | 0 | 0 |-6.850000e+01 |-2.100000e+01 | 69.34%
0.89/0.97 c 1.0s| 1 | 0 | 2202 | - |7914k| 0 | 166 | 200 |3113 | 200 | 552 | 168 | 0 | 0 |-6.765789e+01 |-2.100000e+01 | 68.96%
0.99/1.03 c 1.0s| 1 | 0 | 2418 | - |8159k| 0 | 161 | 200 |3113 | 200 | 766 | 382 | 0 | 0 |-6.626471e+01 |-2.100000e+01 | 68.31%
1.10/1.10 c 1.1s| 1 | 0 | 2739 | - |8610k| 0 | 146 | 200 |3113 | 200 | 813 | 429 | 0 | 0 |-6.550000e+01 |-2.100000e+01 | 67.94%
1.10/1.18 c 1.2s| 1 | 0 | 2898 | - |9905k| 0 | 154 | 200 |3113 | 200 | 639 | 450 | 0 | 0 |-6.510500e+01 |-2.100000e+01 | 67.74%
1.19/1.23 c 1.2s| 1 | 0 | 3152 | - | 10M| 0 | 153 | 200 |3113 | 200 | 663 | 474 | 0 | 0 |-6.442857e+01 |-2.100000e+01 | 67.41%
1.29/1.31 c 1.3s| 1 | 0 | 3550 | - | 11M| 0 | 171 | 200 |3113 | 200 | 696 | 507 | 0 | 0 |-6.320584e+01 |-2.100000e+01 | 66.78%
1.39/1.42 c 1.4s| 1 | 0 | 4151 | - | 12M| 0 | 129 | 200 |3113 | 200 | 827 | 638 | 0 | 0 |-6.162500e+01 |-2.100000e+01 | 65.92%
1.39/1.46 c 1.5s| 1 | 0 | 4468 | - | 12M| 0 | 158 | 200 |3113 | 200 | 851 | 662 | 0 | 0 |-6.049621e+01 |-2.100000e+01 | 65.29%
1.49/1.53 c 1.5s| 1 | 0 | 4942 | - | 13M| 0 | 163 | 200 |3113 | 200 | 930 | 741 | 0 | 0 |-5.912207e+01 |-2.100000e+01 | 64.48%
1.59/1.61 c 1.6s| 1 | 0 | 5323 | - | 14M| 0 | 149 | 200 |3113 | 200 | 885 | 821 | 0 | 0 |-5.761538e+01 |-2.100000e+01 | 63.55%
1.59/1.67 c 1.7s| 1 | 0 | 5668 | - | 14M| 0 | 169 | 200 |3113 | 200 | 900 | 836 | 0 | 0 |-5.700784e+01 |-2.100000e+01 | 63.16%
1.69/1.75 c 1.8s| 1 | 0 | 6037 | - | 14M| 0 | 162 | 200 |3113 | 200 | 935 | 871 | 0 | 0 |-5.592521e+01 |-2.100000e+01 | 62.45%
1.79/1.80 c 1.8s| 1 | 0 | 6227 | - | 15M| 0 | 170 | 200 |3113 | 200 | 950 | 886 | 0 | 0 |-5.500000e+01 |-2.100000e+01 | 61.82%
1.79/1.89 c 1.9s| 1 | 0 | 6670 | - | 15M| 0 | 173 | 200 |3113 | 200 | 969 | 905 | 0 | 0 |-5.472709e+01 |-2.100000e+01 | 61.63%
1.89/1.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.89/1.96 c 2.0s| 1 | 0 | 6775 | - | 15M| 0 | 170 | 200 |3113 | 200 | 991 | 927 | 0 | 0 |-5.448586e+01 |-2.100000e+01 | 61.46%
1.99/2.03 c 2.0s| 1 | 0 | 7020 | - | 15M| 0 | 180 | 200 |3113 | 200 | 690 | 955 | 0 | 0 |-5.394865e+01 |-2.100000e+01 | 61.07%
1.99/2.09 c 2.1s| 1 | 0 | 7274 | - | 15M| 0 | 176 | 200 |3113 | 200 | 719 | 984 | 0 | 0 |-5.367401e+01 |-2.100000e+01 | 60.87%
2.10/2.16 c 2.2s| 1 | 0 | 7624 | - | 15M| 0 | 178 | 200 |3113 | 200 | 749 |1014 | 0 | 0 |-5.331492e+01 |-2.100000e+01 | 60.61%
2.20/2.22 c 2.2s| 1 | 0 | 7788 | - | 15M| 0 | 176 | 200 |3113 | 200 | 773 |1038 | 0 | 0 |-5.300742e+01 |-2.100000e+01 | 60.38%
2.20/2.29 c 2.3s| 1 | 0 | 8001 | - | 15M| 0 | 185 | 200 |3113 | 200 | 809 |1074 | 0 | 0 |-5.266941e+01 |-2.100000e+01 | 60.13%
2.29/2.36 c 2.4s| 1 | 0 | 8206 | - | 15M| 0 | 186 | 200 |3113 | 200 | 822 |1087 | 0 | 0 |-5.228295e+01 |-2.100000e+01 | 59.83%
2.39/2.43 c 2.4s| 1 | 0 | 8384 | - | 15M| 0 | 184 | 200 |3113 | 200 | 505 |1095 | 0 | 0 |-5.200017e+01 |-2.100000e+01 | 59.62%
2.39/2.47 c 2.5s| 1 | 0 | 8578 | - | 15M| 0 | 184 | 200 |3113 | 200 | 512 |1102 | 0 | 0 |-5.175681e+01 |-2.100000e+01 | 59.43%
2.49/2.52 c 2.5s| 1 | 0 | 8818 | - | 15M| 0 | 181 | 200 |3113 | 200 | 530 |1120 | 0 | 0 |-5.137007e+01 |-2.100000e+01 | 59.12%
2.49/2.57 c 2.6s| 1 | 0 | 9100 | - | 15M| 0 | 187 | 200 |3113 | 200 | 541 |1131 | 0 | 0 |-5.105474e+01 |-2.100000e+01 | 58.87%
2.59/2.62 c 2.6s| 1 | 0 | 9267 | - | 15M| 0 | 191 | 200 |3113 | 200 | 552 |1142 | 0 | 0 |-5.089894e+01 |-2.100000e+01 | 58.74%
2.59/2.67 c 2.7s| 1 | 0 | 9488 | - | 15M| 0 | 193 | 200 |3113 | 200 | 563 |1153 | 0 | 0 |-5.073200e+01 |-2.100000e+01 | 58.61%
2.69/2.72 c 2.7s| 1 | 0 | 9626 | - | 15M| 0 | 195 | 200 |3113 | 200 | 431 |1161 | 0 | 0 |-5.056503e+01 |-2.100000e+01 | 58.47%
2.69/2.76 c 2.8s| 1 | 0 | 9803 | - | 15M| 0 | 195 | 200 |3113 | 200 | 447 |1177 | 0 | 0 |-5.028569e+01 |-2.100000e+01 | 58.24%
2.80/2.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.80/2.80 c 2.8s| 1 | 0 | 9944 | - | 15M| 0 | 194 | 200 |3113 | 200 | 456 |1186 | 0 | 0 |-5.019103e+01 |-2.100000e+01 | 58.16%
2.80/2.84 c 2.8s| 1 | 0 | 10027 | - | 15M| 0 | 195 | 200 |3113 | 200 | 465 |1195 | 0 | 0 |-5.013436e+01 |-2.100000e+01 | 58.11%
2.80/2.89 c 2.9s| 1 | 0 | 10228 | - | 15M| 0 | 196 | 200 |3113 | 200 | 473 |1203 | 0 | 0 |-4.995754e+01 |-2.100000e+01 | 57.96%
2.89/2.92 c 2.9s| 1 | 0 | 10299 | - | 15M| 0 | 196 | 200 |3113 | 200 | 484 |1214 | 0 | 0 |-4.992225e+01 |-2.100000e+01 | 57.93%
2.89/2.96 c 3.0s| 1 | 0 | 10390 | - | 15M| 0 | 196 | 200 |3113 | 200 | 395 |1226 | 0 | 0 |-4.979782e+01 |-2.100000e+01 | 57.83%
2.99/3.00 c 3.0s| 1 | 0 | 10551 | - | 15M| 0 | 196 | 200 |3113 | 200 | 407 |1238 | 0 | 0 |-4.967390e+01 |-2.100000e+01 | 57.72%
2.99/3.03 c 3.0s| 1 | 0 | 10622 | - | 15M| 0 | 199 | 200 |3113 | 200 | 418 |1249 | 0 | 0 |-4.961353e+01 |-2.100000e+01 | 57.67%
2.99/3.07 c 3.1s| 1 | 0 | 10689 | - | 15M| 0 | 196 | 200 |3113 | 200 | 427 |1258 | 0 | 0 |-4.955257e+01 |-2.100000e+01 | 57.62%
3.09/3.11 c 3.1s| 1 | 0 | 10803 | - | 15M| 0 | 195 | 200 |3113 | 200 | 435 |1266 | 0 | 0 |-4.945917e+01 |-2.100000e+01 | 57.54%
3.09/3.14 c 3.1s| 1 | 0 | 10884 | - | 15M| 0 | 197 | 200 |3113 | 200 | 442 |1273 | 0 | 0 |-4.937685e+01 |-2.100000e+01 | 57.47%
3.09/3.18 c 3.2s| 1 | 0 | 10967 | - | 15M| 0 | 198 | 200 |3113 | 200 | 401 |1283 | 0 | 0 |-4.935253e+01 |-2.100000e+01 | 57.45%
3.19/3.21 c 3.2s| 1 | 0 | 11046 | - | 15M| 0 | 198 | 200 |3113 | 200 | 408 |1290 | 0 | 0 |-4.931608e+01 |-2.100000e+01 | 57.42%
3.19/3.25 c 3.3s| 1 | 0 | 11159 | - | 15M| 0 | 199 | 200 |3113 | 200 | 417 |1299 | 0 | 0 |-4.923904e+01 |-2.100000e+01 | 57.35%
3.19/3.29 c 3.3s| 1 | 0 | 11240 | - | 15M| 0 | 199 | 200 |3113 | 200 | 427 |1309 | 0 | 0 |-4.919528e+01 |-2.100000e+01 | 57.31%
3.30/3.33 c 3.3s| 1 | 0 | 11336 | - | 15M| 0 | 199 | 200 |3113 | 200 | 435 |1317 | 0 | 0 |-4.913374e+01 |-2.100000e+01 | 57.26%
3.30/3.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.30/3.36 c 3.4s| 1 | 0 | 11383 | - | 15M| 0 | 200 | 200 |3113 | 200 | 446 |1328 | 0 | 0 |-4.909155e+01 |-2.100000e+01 | 57.22%
3.39/3.40 c 3.4s| 1 | 0 | 11464 | - | 15M| 0 | 200 | 200 |3113 | 200 | 410 |1335 | 0 | 0 |-4.904432e+01 |-2.100000e+01 | 57.18%
3.39/3.43 c 3.4s| 1 | 0 | 11517 | - | 15M| 0 | 200 | 200 |3113 | 200 | 415 |1340 | 0 | 0 |-4.901979e+01 |-2.100000e+01 | 57.16%
3.39/3.48 c 3.5s| 1 | 0 | 11724 | - | 15M| 0 | 200 | 200 |3113 | 200 | 424 |1349 | 0 | 0 |-4.895773e+01 |-2.100000e+01 | 57.11%
3.49/3.52 c 3.5s| 1 | 0 | 11864 | - | 15M| 0 | 199 | 200 |3113 | 200 | 433 |1358 | 0 | 0 |-4.887614e+01 |-2.100000e+01 | 57.03%
3.49/3.55 c 3.6s| 1 | 0 | 11909 | - | 15M| 0 | 200 | 200 |3113 | 200 | 441 |1366 | 0 | 0 |-4.884238e+01 |-2.100000e+01 | 57.00%
3.49/3.59 c 3.6s| 1 | 0 | 11962 | - | 15M| 0 | 200 | 200 |3113 | 200 | 449 |1374 | 0 | 0 |-4.882740e+01 |-2.100000e+01 | 56.99%
3.59/3.62 c 3.6s| 1 | 0 | 12019 | - | 15M| 0 | 200 | 200 |3113 | 200 | 409 |1382 | 0 | 0 |-4.880926e+01 |-2.100000e+01 | 56.98%
3.59/3.66 c 3.7s| 1 | 0 | 12081 | - | 15M| 0 | 200 | 200 |3113 | 200 | 415 |1388 | 0 | 0 |-4.879608e+01 |-2.100000e+01 | 56.96%
3.59/3.69 c 3.7s| 1 | 0 | 12107 | - | 15M| 0 | 200 | 200 |3113 | 200 | 422 |1395 | 0 | 0 |-4.879269e+01 |-2.100000e+01 | 56.96%
3.69/3.72 c 3.7s| 1 | 0 | 12127 | - | 15M| 0 | 200 | 200 |3113 | 200 | 425 |1398 | 0 | 0 |-4.879008e+01 |-2.100000e+01 | 56.96%
3.69/3.75 c 3.8s| 1 | 0 | 12136 | - | 15M| 0 | 200 | 200 |3113 | 200 | 426 |1399 | 0 | 0 |-4.878944e+01 |-2.100000e+01 | 56.96%
4.69/4.78 c 4.8s| 1 | 2 | 12136 | - | 15M| 0 | 200 | 200 |3113 | 200 | 426 |1399 | 0 | 22 |-4.878944e+01 |-2.100000e+01 | 56.96%
5.69/5.77 o -23
5.69/5.77 c * 5.8s| 31 | 22 | 13946 | 60.3 | 15M| 17 | - | 200 |3113 | 200 | 224 |1530 | 0 | 467 |-4.818406e+01 |-2.300000e+01 | 52.27%
5.99/6.07 o -24
5.99/6.07 c * 6.1s| 67 | 40 | 14946 | 42.6 | 16M| 17 | - | 200 |3113 | 200 | 241 |1903 | 0 | 837 |-4.818406e+01 |-2.400000e+01 | 50.19%
6.60/6.65 o -25
6.60/6.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.60/6.65 c * 6.7s| 162 | 81 | 17864 | 35.6 | 16M| 17 | - | 200 |3113 | 200 | 237 |2993 | 0 |1309 |-4.810446e+01 |-2.500000e+01 | 48.03%
7.19/7.26 o -26
7.19/7.26 c * 7.3s| 316 | 135 | 22341 | 32.4 | 16M| 19 | - | 200 |3113 | 200 | 235 |4473 | 0 |1521 |-4.806367e+01 |-2.600000e+01 | 45.91%
9.59/9.66 o -27
9.59/9.66 c * 9.7s| 1939 | 1075 | 77290 | 33.6 | 17M| 36 | - | 200 |3113 | 200 | 241 | 26k| 0 |1616 |-4.672178e+01 |-2.700000e+01 | 42.21%
17.50/17.52 c 17.5s| 10000 | 4974 |291772 | 28.0 | 21M| 55 | 36 | 200 |3113 | 200 | 244 | 126k| 0 |1616 |-4.534458e+01 |-2.700000e+01 | 40.46%
26.49/26.56 c 26.6s| 20000 | 9102 |529045 | 25.8 | 26M| 57 | 23 | 200 |3113 | 200 | 200 | 238k| 0 |2288 |-4.450649e+01 |-2.700000e+01 | 39.33%
34.29/34.31 c 34.3s| 30000 | 12172 |730207 | 23.9 | 30M| 63 | 14 | 200 |3113 | 200 | 219 | 346k| 0 |2788 |-4.419218e+01 |-2.700000e+01 | 38.90%
41.80/41.81 c 41.8s| 40000 | 15004 |924614 | 22.8 | 34M| 63 | - | 200 |3113 | 200 | 224 | 452k| 0 |3282 |-4.390000e+01 |-2.700000e+01 | 38.50%
48.90/48.94 c 48.9s| 50000 | 17828 | 1112k| 22.0 | 37M| 63 | - | 200 |3113 | 200 | 214 | 557k| 0 |3601 |-4.366667e+01 |-2.700000e+01 | 38.17%
53.19/53.26 o -28
53.19/53.26 c *53.3s| 56087 | 15899 | 1225k| 21.6 | 36M| 67 | - | 200 |3113 | 200 | 226 | 621k| 0 |3838 |-4.356668e+01 |-2.800000e+01 | 35.73%
56.10/56.10 c 56.1s| 60000 | 16832 | 1298k| 21.4 | 37M| 68 | 13 | 200 |3113 | 200 | 212 | 663k| 0 |3955 |-4.349298e+01 |-2.800000e+01 | 35.62%
62.79/62.88 c 62.9s| 70000 | 19004 | 1475k| 20.9 | 40M| 75 | - | 200 |3113 | 200 | 221 | 764k| 0 |4285 |-4.328814e+01 |-2.800000e+01 | 35.32%
69.59/69.61 c 69.6s| 80000 | 21058 | 1653k| 20.5 | 43M| 75 | 43 | 200 |3113 | 200 | 218 | 863k| 0 |4556 |-4.303774e+01 |-2.800000e+01 | 34.94%
76.19/76.22 c 76.2s| 90000 | 23120 | 1825k| 20.2 | 46M| 75 | 36 | 200 |3113 | 200 | 230 | 963k| 0 |4824 |-4.287129e+01 |-2.800000e+01 | 34.69%
82.90/82.99 c 83.0s|100000 | 25230 | 2005k| 19.9 | 49M| 75 | - | 200 |3113 | 200 | 226 |1066k| 0 |5112 |-4.269231e+01 |-2.800000e+01 | 34.41%
89.49/89.51 c 89.5s|110000 | 27214 | 2176k| 19.7 | 51M| 75 | 26 | 200 |3113 | 200 | 234 |1167k| 0 |5394 |-4.250292e+01 |-2.800000e+01 | 34.12%
96.09/96.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.09/96.16 c 96.2s|120000 | 29206 | 2350k| 19.5 | 54M| 75 | 36 | 200 |3113 | 200 | 246 |1270k| 0 |5668 |-4.239286e+01 |-2.800000e+01 | 33.95%
102.70/102.73 c 103s|130000 | 31194 | 2525k| 19.3 | 57M| 75 | - | 200 |3113 | 200 | 227 |1373k| 0 |5876 |-4.226316e+01 |-2.800000e+01 | 33.75%
108.99/109.07 c 109s|140000 | 33070 | 2691k| 19.1 | 60M| 75 | - | 200 |3113 | 200 | 228 |1473k| 0 |6125 |-4.216667e+01 |-2.800000e+01 | 33.60%
115.50/115.54 c 116s|150000 | 35092 | 2861k| 19.0 | 62M| 75 | 10 | 200 |3113 | 200 | 218 |1574k| 0 |6357 |-4.200000e+01 |-2.800000e+01 | 33.33%
121.90/121.97 c 122s|160000 | 36962 | 3030k| 18.9 | 65M| 75 | 71 | 200 |3113 | 200 | 241 |1676k| 0 |6559 |-4.197297e+01 |-2.800000e+01 | 33.29%
128.30/128.30 c 128s|170000 | 38804 | 3196k| 18.7 | 68M| 84 | - | 200 |3113 | 200 | 229 |1776k| 0 |6802 |-4.188889e+01 |-2.800000e+01 | 33.16%
134.29/134.36 c 134s|180000 | 40242 | 3354k| 18.6 | 70M| 84 | 38 | 200 |3113 | 200 | 233 |1873k| 0 |6988 |-4.182759e+01 |-2.800000e+01 | 33.06%
140.39/140.41 c 140s|190000 | 41760 | 3510k| 18.4 | 72M| 84 | 28 | 200 |3113 | 200 | 225 |1971k| 0 |7171 |-4.175000e+01 |-2.800000e+01 | 32.93%
146.40/146.43 c 146s|200000 | 43328 | 3666k| 18.3 | 74M| 84 | 60 | 200 |3113 | 200 | 264 |2066k| 0 |7346 |-4.168293e+01 |-2.800000e+01 | 32.83%
152.40/152.43 c 152s|210000 | 44918 | 3823k| 18.1 | 76M| 84 | 38 | 200 |3113 | 200 | 229 |2162k| 0 |7507 |-4.162500e+01 |-2.800000e+01 | 32.73%
158.60/158.63 c 159s|220000 | 46542 | 3984k| 18.1 | 79M| 84 | - | 200 |3113 | 200 | 226 |2259k| 0 |7685 |-4.154167e+01 |-2.800000e+01 | 32.60%
164.59/164.66 c 165s|230000 | 48154 | 4142k| 18.0 | 81M| 84 | 19 | 200 |3113 | 200 | 214 |2357k| 0 |7864 |-4.150000e+01 |-2.800000e+01 | 32.53%
170.60/170.66 c 171s|240000 | 49574 | 4298k| 17.9 | 83M| 84 | 12 | 200 |3113 | 200 | 222 |2456k| 0 |8015 |-4.143023e+01 |-2.800000e+01 | 32.42%
171.09/171.17 o -29
171.09/171.17 c * 171s|240811 | 41357 | 4310k| 17.8 | 73M| 84 | - | 200 |3113 | 200 | 250 |2464k| 0 |8039 |-4.142857e+01 |-2.900000e+01 | 30.00%
176.69/176.77 c 177s|250000 | 42512 | 4454k| 17.8 | 75M| 84 | - | 200 |3113 | 200 | 216 |2554k| 0 |8138 |-4.137037e+01 |-2.900000e+01 | 29.90%
182.61/182.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
182.61/182.67 c 183s|260000 | 43670 | 4607k| 17.7 | 76M| 84 | 54 | 200 |3113 | 200 | 226 |2651k| 0 |8312 |-4.133333e+01 |-2.900000e+01 | 29.84%
188.60/188.65 c 189s|270000 | 44930 | 4762k| 17.6 | 78M| 84 | - | 200 |3113 | 200 | 216 |2748k| 0 |8493 |-4.125000e+01 |-2.900000e+01 | 29.70%
194.71/194.74 c 195s|280000 | 46238 | 4920k| 17.5 | 80M| 84 | 16 | 200 |3113 | 200 | 200 |2846k| 0 |8651 |-4.118519e+01 |-2.900000e+01 | 29.59%
200.69/200.73 c 201s|290000 | 47478 | 5076k| 17.5 | 82M| 84 | 27 | 200 |3113 | 200 | 230 |2945k| 0 |8772 |-4.112500e+01 |-2.900000e+01 | 29.48%
206.50/206.58 c 207s|300000 | 48580 | 5225k| 17.4 | 84M| 84 | 46 | 200 |3113 | 200 | 223 |3040k| 0 |8955 |-4.102899e+01 |-2.900000e+01 | 29.32%
212.40/212.43 c 212s|310000 | 49798 | 5376k| 17.3 | 86M| 85 | 64 | 200 |3113 | 200 | 246 |3137k| 0 |9128 |-4.100000e+01 |-2.900000e+01 | 29.27%
218.20/218.22 c 218s|320000 | 50876 | 5526k| 17.2 | 87M| 85 | - | 200 |3113 | 200 | 226 |3235k| 0 |9267 |-4.100000e+01 |-2.900000e+01 | 29.27%
224.20/224.22 c 224s|330000 | 52238 | 5682k| 17.2 | 89M| 85 | 32 | 200 |3113 | 200 | 232 |3334k| 0 |9407 |-4.095652e+01 |-2.900000e+01 | 29.19%
230.10/230.11 c 230s|340000 | 53420 | 5833k| 17.1 | 91M| 85 | - | 200 |3113 | 200 | 240 |3431k| 0 |9580 |-4.086538e+01 |-2.900000e+01 | 29.04%
235.90/235.91 c 236s|350000 | 54594 | 5983k| 17.1 | 93M| 85 | - | 200 |3113 | 200 | 237 |3530k| 0 |9679 |-4.079167e+01 |-2.900000e+01 | 28.91%
241.70/241.73 c 242s|360000 | 55738 | 6133k| 17.0 | 95M| 85 | 21 | 200 |3113 | 200 | 215 |3626k| 0 |9841 |-4.075000e+01 |-2.900000e+01 | 28.83%
247.51/247.51 c 248s|370000 | 56920 | 6283k| 16.9 | 96M| 85 | 9 | 200 |3113 | 200 | 208 |3724k| 0 |9942 |-4.066667e+01 |-2.900000e+01 | 28.69%
253.20/253.29 c 253s|380000 | 57988 | 6431k| 16.9 | 98M| 85 | 44 | 200 |3113 | 200 | 218 |3822k| 0 | 10k|-4.063636e+01 |-2.900000e+01 | 28.64%
258.90/258.93 c 259s|390000 | 58996 | 6575k| 16.8 | 100M| 85 | 31 | 200 |3113 | 200 | 200 |3916k| 0 | 10k|-4.058333e+01 |-2.900000e+01 | 28.54%
264.60/264.69 c 265s|400000 | 60116 | 6723k| 16.8 | 101M| 85 | 33 | 200 |3113 | 200 | 215 |4012k| 0 | 10k|-4.050000e+01 |-2.900000e+01 | 28.40%
270.30/270.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
270.30/270.35 c 270s|410000 | 61188 | 6868k| 16.7 | 103M| 85 | 55 | 200 |3113 | 200 | 228 |4106k| 0 | 10k|-4.050000e+01 |-2.900000e+01 | 28.40%
276.20/276.28 c 276s|420000 | 62342 | 7022k| 16.7 | 105M| 85 | 4 | 200 |3113 | 200 | 219 |4204k| 0 | 10k|-4.045455e+01 |-2.900000e+01 | 28.31%
282.00/282.00 c 282s|430000 | 63340 | 7169k| 16.6 | 106M| 85 | 22 | 200 |3113 | 200 | 216 |4301k| 0 | 10k|-4.040000e+01 |-2.900000e+01 | 28.22%
287.60/287.67 c 288s|440000 | 64422 | 7314k| 16.6 | 108M| 85 | - | 200 |3113 | 200 | 240 |4397k| 0 | 10k|-4.033333e+01 |-2.900000e+01 | 28.10%
293.30/293.38 c 293s|450000 | 65402 | 7459k| 16.5 | 110M| 85 | 8 | 200 |3113 | 200 | 200 |4493k| 0 | 10k|-4.030000e+01 |-2.900000e+01 | 28.04%
299.00/299.08 c 299s|460000 | 66404 | 7605k| 16.5 | 111M| 85 | 30 | 200 |3113 | 200 | 217 |4589k| 0 | 11k|-4.025000e+01 |-2.900000e+01 | 27.95%
304.61/304.69 c 305s|470000 | 67406 | 7747k| 16.5 | 113M| 85 | 20 | 200 |3113 | 200 | 220 |4681k| 0 | 11k|-4.020000e+01 |-2.900000e+01 | 27.86%
310.30/310.36 c 310s|480000 | 68418 | 7892k| 16.4 | 114M| 85 | - | 200 |3113 | 200 | 248 |4777k| 0 | 11k|-4.014286e+01 |-2.900000e+01 | 27.76%
315.90/315.91 c 316s|490000 | 69398 | 8033k| 16.4 | 116M| 85 | - | 200 |3113 | 200 | 249 |4870k| 0 | 11k|-4.009524e+01 |-2.900000e+01 | 27.67%
321.51/321.54 c 322s|500000 | 70362 | 8175k| 16.3 | 117M| 85 | - | 200 |3113 | 200 | 233 |4963k| 0 | 11k|-4.000000e+01 |-2.900000e+01 | 27.50%
327.20/327.23 c 327s|510000 | 71396 | 8321k| 16.3 | 119M| 85 | 45 | 200 |3113 | 200 | 200 |5057k| 0 | 11k|-4.000000e+01 |-2.900000e+01 | 27.50%
332.71/332.71 c 333s|520000 | 72368 | 8460k| 16.2 | 120M| 85 | 63 | 200 |3113 | 200 | 217 |5148k| 0 | 11k|-4.000000e+01 |-2.900000e+01 | 27.50%
338.30/338.36 c 338s|530000 | 73400 | 8605k| 16.2 | 122M| 85 | 7 | 200 |3113 | 200 | 218 |5245k| 0 | 11k|-4.000000e+01 |-2.900000e+01 | 27.50%
343.90/343.98 c 344s|540000 | 74376 | 8747k| 16.2 | 124M| 85 | - | 200 |3113 | 200 | 227 |5339k| 0 | 12k|-3.993939e+01 |-2.900000e+01 | 27.39%
349.51/349.58 c 350s|550000 | 75408 | 8890k| 16.1 | 125M| 85 | - | 200 |3113 | 200 | 219 |5433k| 0 | 12k|-3.987500e+01 |-2.900000e+01 | 27.27%
355.10/355.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
355.10/355.16 c 355s|560000 | 76362 | 9032k| 16.1 | 127M| 85 | 6 | 200 |3113 | 200 | 217 |5527k| 0 | 12k|-3.983333e+01 |-2.900000e+01 | 27.20%
360.61/360.68 c 361s|570000 | 77266 | 9172k| 16.1 | 128M| 85 | - | 200 |3113 | 200 | 217 |5619k| 0 | 12k|-3.978261e+01 |-2.900000e+01 | 27.10%
366.21/366.22 c 366s|580000 | 78220 | 9312k| 16.0 | 130M| 85 | 19 | 200 |3113 | 200 | 213 |5714k| 0 | 12k|-3.975000e+01 |-2.900000e+01 | 27.04%
371.60/371.62 c 372s|590000 | 79104 | 9448k| 16.0 | 131M| 85 | - | 200 |3113 | 200 | 235 |5806k| 0 | 12k|-3.970000e+01 |-2.900000e+01 | 26.95%
377.01/377.03 c 377s|600000 | 79992 | 9584k| 16.0 | 132M| 85 | 15 | 200 |3113 | 200 | 246 |5899k| 0 | 12k|-3.966667e+01 |-2.900000e+01 | 26.89%
382.50/382.51 c 383s|610000 | 80972 | 9723k| 15.9 | 134M| 85 | 6 | 200 |3113 | 200 | 217 |5993k| 0 | 12k|-3.964286e+01 |-2.900000e+01 | 26.85%
388.00/388.01 c 388s|620000 | 81860 | 9861k| 15.9 | 135M| 85 | 28 | 200 |3113 | 200 | 218 |6085k| 0 | 12k|-3.960000e+01 |-2.900000e+01 | 26.77%
393.50/393.55 c 394s|630000 | 82782 | 10002k| 15.9 | 137M| 85 | 44 | 200 |3113 | 200 | 227 |6179k| 0 | 12k|-3.954545e+01 |-2.900000e+01 | 26.67%
399.00/399.04 c 399s|640000 | 83696 | 10139k| 15.8 | 138M| 87 | - | 200 |3113 | 200 | 213 |6271k| 0 | 13k|-3.950000e+01 |-2.900000e+01 | 26.58%
404.50/404.55 c 405s|650000 | 84606 | 10278k| 15.8 | 140M| 87 | - | 200 |3113 | 200 | 246 |6366k| 0 | 13k|-3.950000e+01 |-2.900000e+01 | 26.58%
409.90/409.94 c 410s|660000 | 85386 | 10412k| 15.8 | 141M| 87 | 42 | 200 |3113 | 200 | 249 |6459k| 0 | 13k|-3.950000e+01 |-2.900000e+01 | 26.58%
415.30/415.36 c 415s|670000 | 86252 | 10549k| 15.7 | 142M| 89 | - | 200 |3113 | 200 | 249 |6552k| 0 | 13k|-3.945000e+01 |-2.900000e+01 | 26.49%
420.70/420.74 c 421s|680000 | 86964 | 10683k| 15.7 | 143M| 89 | - | 200 |3113 | 200 | 216 |6644k| 0 | 13k|-3.940000e+01 |-2.900000e+01 | 26.40%
426.11/426.13 c 426s|690000 | 87730 | 10817k| 15.7 | 145M| 89 | - | 200 |3113 | 200 | 228 |6737k| 0 | 13k|-3.936364e+01 |-2.900000e+01 | 26.33%
431.50/431.56 c 432s|700000 | 88578 | 10951k| 15.6 | 146M| 89 | 22 | 200 |3113 | 200 | 200 |6828k| 0 | 13k|-3.933333e+01 |-2.900000e+01 | 26.27%
437.01/437.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
437.01/437.00 c 437s|710000 | 89404 | 11087k| 15.6 | 147M| 89 | - | 200 |3113 | 200 | 219 |6921k| 0 | 13k|-3.930000e+01 |-2.900000e+01 | 26.21%
442.41/442.43 c 442s|720000 | 90168 | 11223k| 15.6 | 149M| 89 | - | 200 |3113 | 200 | 221 |7014k| 0 | 13k|-3.925000e+01 |-2.900000e+01 | 26.11%
447.71/447.71 c 448s|730000 | 90900 | 11354k| 15.5 | 150M| 89 | 40 | 200 |3113 | 200 | 240 |7106k| 0 | 13k|-3.924000e+01 |-2.900000e+01 | 26.10%
453.10/453.15 c 453s|740000 | 91754 | 11490k| 15.5 | 151M| 89 | 5 | 200 |3113 | 200 | 215 |7199k| 0 | 13k|-3.920000e+01 |-2.900000e+01 | 26.02%
458.50/458.53 c 459s|750000 | 92542 | 11624k| 15.5 | 152M| 89 | 45 | 200 |3113 | 200 | 226 |7288k| 0 | 14k|-3.916667e+01 |-2.900000e+01 | 25.96%
464.01/464.08 c 464s|760000 | 93436 | 11762k| 15.5 | 154M| 89 | 6 | 200 |3113 | 200 | 214 |7381k| 0 | 14k|-3.911364e+01 |-2.900000e+01 | 25.86%
469.51/469.53 c 470s|770000 | 94270 | 11899k| 15.4 | 155M| 89 | - | 200 |3113 | 200 | 232 |7474k| 0 | 14k|-3.906250e+01 |-2.900000e+01 | 25.76%
474.80/474.87 c 475s|780000 | 95022 | 12031k| 15.4 | 156M| 89 | - | 200 |3113 | 200 | 220 |7564k| 0 | 14k|-3.900000e+01 |-2.900000e+01 | 25.64%
480.20/480.24 c 480s|790000 | 95778 | 12165k| 15.4 | 158M| 89 | 45 | 200 |3113 | 200 | 215 |7657k| 0 | 14k|-3.900000e+01 |-2.900000e+01 | 25.64%
485.60/485.63 c 486s|800000 | 96666 | 12299k| 15.4 | 159M| 89 | 63 | 200 |3113 | 200 | 250 |7749k| 0 | 14k|-3.900000e+01 |-2.900000e+01 | 25.64%
491.00/491.08 c 491s|810000 | 97462 | 12436k| 15.3 | 160M| 89 | - | 200 |3113 | 200 | 248 |7842k| 0 | 14k|-3.900000e+01 |-2.900000e+01 | 25.64%
496.31/496.38 c 496s|820000 | 98214 | 12568k| 15.3 | 162M| 89 | 4 | 200 |3113 | 200 | 217 |7934k| 0 | 14k|-3.900000e+01 |-2.900000e+01 | 25.64%
501.61/501.66 c 502s|830000 | 98980 | 12700k| 15.3 | 163M| 89 | - | 200 |3113 | 200 | 210 |8024k| 0 | 14k|-3.900000e+01 |-2.900000e+01 | 25.64%
506.91/506.96 c 507s|840000 | 99696 | 12831k| 15.3 | 164M| 92 | 49 | 200 |3113 | 200 | 257 |8115k| 0 | 14k|-3.900000e+01 |-2.900000e+01 | 25.64%
512.21/512.23 c 512s|850000 |100310 | 12961k| 15.2 | 165M| 92 | - | 200 |3113 | 200 | 212 |8204k| 0 | 14k|-3.892593e+01 |-2.900000e+01 | 25.50%
517.40/517.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
517.40/517.49 c 517s|860000 |100956 | 13091k| 15.2 | 166M| 92 | - | 200 |3113 | 200 | 251 |8293k| 0 | 15k|-3.887500e+01 |-2.900000e+01 | 25.40%
522.80/522.81 c 523s|870000 |101694 | 13222k| 15.2 | 167M| 98 | 21 | 200 |3113 | 200 | 200 |8383k| 0 | 15k|-3.885000e+01 |-2.900000e+01 | 25.35%
528.01/528.06 c 528s|880000 |102442 | 13353k| 15.2 | 168M| 98 | 48 | 200 |3113 | 200 | 214 |8473k| 0 | 15k|-3.881818e+01 |-2.900000e+01 | 25.29%
533.21/533.27 c 533s|890000 |103100 | 13481k| 15.1 | 170M| 98 | - | 200 |3113 | 200 | 251 |8561k| 0 | 15k|-3.878378e+01 |-2.900000e+01 | 25.23%
538.61/538.60 c 539s|900000 |103742 | 13612k| 15.1 | 171M| 98 | 28 | 200 |3113 | 200 | 216 |8653k| 0 | 15k|-3.875000e+01 |-2.900000e+01 | 25.16%
543.81/543.82 c 544s|910000 |104408 | 13741k| 15.1 | 172M| 98 | - | 200 |3113 | 200 | 218 |8742k| 0 | 15k|-3.875000e+01 |-2.900000e+01 | 25.16%
549.01/549.04 c 549s|920000 |105066 | 13870k| 15.1 | 173M| 98 | 41 | 200 |3113 | 200 | 215 |8831k| 0 | 15k|-3.870000e+01 |-2.900000e+01 | 25.06%
554.21/554.26 c 554s|930000 |105752 | 13998k| 15.0 | 174M| 98 | 42 | 200 |3113 | 200 | 247 |8920k| 0 | 15k|-3.866667e+01 |-2.900000e+01 | 25.00%
559.51/559.50 c 559s|940000 |106360 | 14127k| 15.0 | 175M| 98 | - | 200 |3113 | 200 | 232 |9010k| 0 | 15k|-3.866667e+01 |-2.900000e+01 | 25.00%
564.61/564.66 c 565s|950000 |106938 | 14252k| 15.0 | 176M| 98 | 22 | 200 |3113 | 200 | 214 |9096k| 0 | 15k|-3.862500e+01 |-2.900000e+01 | 24.92%
569.82/569.86 c 570s|960000 |107544 | 14380k| 15.0 | 177M| 98 | 46 | 200 |3113 | 200 | 264 |9185k| 0 | 15k|-3.860000e+01 |-2.900000e+01 | 24.87%
575.01/575.10 c 575s|970000 |108126 | 14508k| 14.9 | 178M| 98 | 14 | 200 |3113 | 200 | 213 |9275k| 0 | 15k|-3.856250e+01 |-2.900000e+01 | 24.80%
580.32/580.34 c 580s|980000 |108758 | 14636k| 14.9 | 179M| 98 | 53 | 200 |3113 | 200 | 255 |9363k| 0 | 16k|-3.850000e+01 |-2.900000e+01 | 24.68%
585.52/585.51 c 586s|990000 |109354 | 14763k| 14.9 | 180M| 98 | - | 200 |3113 | 200 | 215 |9452k| 0 | 16k|-3.850000e+01 |-2.900000e+01 | 24.68%
590.71/590.72 c 591s| 1000k|110024 | 14891k| 14.9 | 181M| 98 | 28 | 200 |3113 | 200 | 200 |9540k| 0 | 16k|-3.850000e+01 |-2.900000e+01 | 24.68%
595.91/595.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
595.91/595.92 c 596s| 1010k|110698 | 15019k| 14.9 | 182M| 98 | 14 | 200 |3113 | 200 | 224 |9627k| 0 | 16k|-3.850000e+01 |-2.900000e+01 | 24.68%
601.11/601.10 c 601s| 1020k|111236 | 15145k| 14.8 | 183M| 98 | - | 200 |3113 | 200 | 213 |9716k| 0 | 16k|-3.850000e+01 |-2.900000e+01 | 24.68%
606.12/606.15 c 606s| 1030k|111736 | 15267k| 14.8 | 184M| 98 | 57 | 200 |3113 | 200 | 222 |9804k| 0 | 16k|-3.850000e+01 |-2.900000e+01 | 24.68%
611.21/611.28 c 611s| 1040k|112372 | 15391k| 14.8 | 185M| 98 | - | 200 |3113 | 200 | 236 |9891k| 0 | 16k|-3.850000e+01 |-2.900000e+01 | 24.68%
616.31/616.36 c 616s| 1050k|112904 | 15515k| 14.8 | 186M| 98 | - | 200 |3113 | 200 | 223 |9981k| 0 | 16k|-3.843478e+01 |-2.900000e+01 | 24.55%
621.52/621.59 c 622s| 1060k|113484 | 15642k| 14.7 | 187M| 98 | 41 | 200 |3113 | 200 | 236 | 10M| 0 | 16k|-3.840000e+01 |-2.900000e+01 | 24.48%
626.71/626.75 c 627s| 1070k|114018 | 15768k| 14.7 | 188M| 98 | 47 | 200 |3113 | 200 | 214 | 10M| 0 | 16k|-3.837500e+01 |-2.900000e+01 | 24.43%
631.82/631.80 c 632s| 1080k|114524 | 15889k| 14.7 | 189M| 98 | 35 | 200 |3113 | 200 | 200 | 10M| 0 | 16k|-3.833333e+01 |-2.900000e+01 | 24.35%
636.92/636.98 c 637s| 1090k|115200 | 16016k| 14.7 | 190M| 98 | - | 200 |3113 | 200 | 257 | 10M| 0 | 16k|-3.833333e+01 |-2.900000e+01 | 24.35%
642.02/642.08 c 642s| 1100k|115756 | 16140k| 14.7 | 191M| 98 | - | 200 |3113 | 200 | 233 | 10M| 0 | 16k|-3.831579e+01 |-2.900000e+01 | 24.31%
647.11/647.18 c 647s| 1110k|116258 | 16263k| 14.6 | 192M| 98 | 12 | 200 |3113 | 200 | 226 | 10M| 0 | 16k|-3.827500e+01 |-2.900000e+01 | 24.23%
652.32/652.32 c 652s| 1120k|116748 | 16387k| 14.6 | 192M| 98 | - | 200 |3113 | 200 | 240 | 10M| 0 | 17k|-3.825000e+01 |-2.900000e+01 | 24.18%
657.32/657.39 c 657s| 1130k|117350 | 16510k| 14.6 | 193M| 98 | - | 200 |3113 | 200 | 234 | 10M| 0 | 17k|-3.825000e+01 |-2.900000e+01 | 24.18%
662.51/662.50 c 662s| 1140k|117900 | 16633k| 14.6 | 194M| 98 | - | 200 |3113 | 200 | 226 | 10M| 0 | 17k|-3.821429e+01 |-2.900000e+01 | 24.11%
667.51/667.58 c 668s| 1150k|118364 | 16754k| 14.6 | 195M| 98 | - | 200 |3113 | 200 | 223 | 10M| 0 | 17k|-3.819178e+01 |-2.900000e+01 | 24.07%
672.61/672.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
672.61/672.66 c 673s| 1160k|118944 | 16877k| 14.5 | 196M| 98 | 41 | 200 |3113 | 200 | 217 | 10M| 0 | 17k|-3.816667e+01 |-2.900000e+01 | 24.02%
677.81/677.80 c 678s| 1170k|119548 | 17003k| 14.5 | 197M| 98 | 21 | 200 |3113 | 200 | 214 | 11M| 0 | 17k|-3.813043e+01 |-2.900000e+01 | 23.95%
682.82/682.90 c 683s| 1180k|120072 | 17125k| 14.5 | 198M| 98 | 32 | 200 |3113 | 200 | 216 | 11M| 0 | 17k|-3.809091e+01 |-2.900000e+01 | 23.87%
687.92/687.96 c 688s| 1190k|120506 | 17247k| 14.5 | 199M| 98 | - | 200 |3113 | 200 | 223 | 11M| 0 | 17k|-3.804808e+01 |-2.900000e+01 | 23.78%
693.11/693.11 c 693s| 1200k|121072 | 17373k| 14.5 | 200M| 98 | - | 200 |3113 | 200 | 231 | 11M| 0 | 17k|-3.800000e+01 |-2.900000e+01 | 23.68%
698.22/698.26 c 698s| 1210k|121568 | 17496k| 14.4 | 201M| 98 | 30 | 200 |3113 | 200 | 224 | 11M| 0 | 17k|-3.800000e+01 |-2.900000e+01 | 23.68%
703.32/703.34 c 703s| 1220k|122120 | 17618k| 14.4 | 202M| 98 | 59 | 200 |3113 | 200 | 229 | 11M| 0 | 17k|-3.800000e+01 |-2.900000e+01 | 23.68%
708.42/708.41 c 708s| 1230k|122644 | 17741k| 14.4 | 202M| 98 | - | 200 |3113 | 200 | 281 | 11M| 0 | 17k|-3.800000e+01 |-2.900000e+01 | 23.68%
713.51/713.52 c 714s| 1240k|123148 | 17863k| 14.4 | 203M| 100 | 19 | 200 |3113 | 200 | 214 | 11M| 0 | 17k|-3.800000e+01 |-2.900000e+01 | 23.68%
718.52/718.55 c 719s| 1250k|123622 | 17984k| 14.4 | 204M| 100 | - | 200 |3113 | 200 | 237 | 11M| 0 | 17k|-3.800000e+01 |-2.900000e+01 | 23.68%
723.52/723.57 c 724s| 1260k|124146 | 18104k| 14.4 | 205M| 100 | 54 | 200 |3113 | 200 | 200 | 11M| 0 | 17k|-3.800000e+01 |-2.900000e+01 | 23.68%
728.52/728.56 c 729s| 1270k|124604 | 18222k| 14.3 | 206M| 100 | 37 | 200 |3113 | 200 | 215 | 11M| 0 | 18k|-3.800000e+01 |-2.900000e+01 | 23.68%
733.51/733.56 c 734s| 1280k|125026 | 18342k| 14.3 | 207M| 100 | - | 200 |3113 | 200 | 216 | 11M| 0 | 18k|-3.800000e+01 |-2.900000e+01 | 23.68%
738.61/738.66 c 739s| 1290k|125582 | 18465k| 14.3 | 207M| 100 | - | 200 |3113 | 200 | 212 | 12M| 0 | 18k|-3.800000e+01 |-2.900000e+01 | 23.68%
743.72/743.70 c 744s| 1300k|126098 | 18587k| 14.3 | 208M| 100 | - | 200 |3113 | 200 | 248 | 12M| 0 | 18k|-3.800000e+01 |-2.900000e+01 | 23.68%
748.71/748.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
748.71/748.77 c 749s| 1310k|126618 | 18708k| 14.3 | 209M| 100 | 43 | 200 |3113 | 200 | 226 | 12M| 0 | 18k|-3.800000e+01 |-2.900000e+01 | 23.68%
753.81/753.89 c 754s| 1320k|127074 | 18830k| 14.3 | 210M| 100 | - | 200 |3113 | 200 | 217 | 12M| 0 | 18k|-3.794444e+01 |-2.900000e+01 | 23.57%
758.81/758.89 c 759s| 1330k|127462 | 18949k| 14.2 | 211M| 100 | 53 | 200 |3113 | 200 | 222 | 12M| 0 | 18k|-3.790909e+01 |-2.900000e+01 | 23.50%
763.82/763.86 c 764s| 1340k|127892 | 19067k| 14.2 | 211M| 100 | 43 | 200 |3113 | 200 | 214 | 12M| 0 | 18k|-3.787500e+01 |-2.900000e+01 | 23.43%
768.82/768.85 c 769s| 1350k|128362 | 19186k| 14.2 | 212M| 100 | 20 | 200 |3113 | 200 | 219 | 12M| 0 | 18k|-3.785714e+01 |-2.900000e+01 | 23.40%
773.92/773.92 c 774s| 1360k|128820 | 19307k| 14.2 | 213M| 100 | - | 200 |3113 | 200 | 241 | 12M| 0 | 18k|-3.783333e+01 |-2.900000e+01 | 23.35%
778.92/778.95 c 779s| 1370k|129270 | 19427k| 14.2 | 214M| 100 | - | 200 |3113 | 200 | 231 | 12M| 0 | 18k|-3.783333e+01 |-2.900000e+01 | 23.35%
783.92/783.93 c 784s| 1380k|129674 | 19545k| 14.2 | 215M| 100 | - | 200 |3113 | 200 | 235 | 12M| 0 | 18k|-3.780000e+01 |-2.900000e+01 | 23.28%
788.82/788.85 c 789s| 1390k|130062 | 19661k| 14.1 | 215M| 100 | 38 | 200 |3113 | 200 | 229 | 12M| 0 | 18k|-3.780000e+01 |-2.900000e+01 | 23.28%
793.72/793.77 c 794s| 1400k|130378 | 19777k| 14.1 | 216M| 100 | - | 200 |3113 | 200 | 247 | 12M| 0 | 18k|-3.776316e+01 |-2.900000e+01 | 23.21%
798.72/798.70 c 799s| 1410k|130870 | 19894k| 14.1 | 217M| 100 | 5 | 200 |3113 | 200 | 211 | 13M| 0 | 18k|-3.775000e+01 |-2.900000e+01 | 23.18%
803.61/803.62 c 804s| 1420k|131300 | 20011k| 14.1 | 217M| 100 | 59 | 200 |3113 | 200 | 237 | 13M| 0 | 18k|-3.775000e+01 |-2.900000e+01 | 23.18%
808.62/808.60 c 809s| 1430k|131704 | 20128k| 14.1 | 218M| 100 | - | 200 |3113 | 200 | 234 | 13M| 0 | 19k|-3.775000e+01 |-2.900000e+01 | 23.18%
813.52/813.51 c 814s| 1440k|132098 | 20244k| 14.0 | 219M| 100 | 61 | 200 |3113 | 200 | 230 | 13M| 0 | 19k|-3.771429e+01 |-2.900000e+01 | 23.11%
818.52/818.51 c 819s| 1450k|132540 | 20363k| 14.0 | 220M| 100 | - | 200 |3113 | 200 | 266 | 13M| 0 | 19k|-3.768750e+01 |-2.900000e+01 | 23.05%
823.42/823.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
823.42/823.45 c 823s| 1460k|132930 | 20479k| 14.0 | 220M| 100 | - | 200 |3113 | 200 | 224 | 13M| 0 | 19k|-3.766667e+01 |-2.900000e+01 | 23.01%
828.42/828.44 c 828s| 1470k|133352 | 20598k| 14.0 | 221M| 100 | - | 200 |3113 | 200 | 225 | 13M| 0 | 19k|-3.766667e+01 |-2.900000e+01 | 23.01%
833.32/833.36 c 833s| 1480k|133798 | 20714k| 14.0 | 222M| 100 | - | 200 |3113 | 200 | 217 | 13M| 0 | 19k|-3.766667e+01 |-2.900000e+01 | 23.01%
838.23/838.23 c 838s| 1490k|134198 | 20828k| 14.0 | 223M| 100 | - | 200 |3113 | 200 | 244 | 13M| 0 | 19k|-3.766667e+01 |-2.900000e+01 | 23.01%
843.12/843.19 c 843s| 1500k|134642 | 20944k| 14.0 | 223M| 100 | - | 200 |3113 | 200 | 212 | 13M| 0 | 19k|-3.762500e+01 |-2.900000e+01 | 22.92%
848.22/848.22 c 848s| 1510k|135090 | 21063k| 13.9 | 224M| 100 | 5 | 200 |3113 | 200 | 221 | 13M| 0 | 19k|-3.760000e+01 |-2.900000e+01 | 22.87%
853.12/853.14 c 853s| 1520k|135462 | 21179k| 13.9 | 225M| 100 | 6 | 200 |3113 | 200 | 216 | 13M| 0 | 19k|-3.758333e+01 |-2.900000e+01 | 22.84%
858.12/858.11 c 858s| 1530k|135848 | 21296k| 13.9 | 226M| 100 | 51 | 200 |3113 | 200 | 218 | 14M| 0 | 19k|-3.755556e+01 |-2.900000e+01 | 22.78%
862.92/862.99 c 863s| 1540k|136162 | 21409k| 13.9 | 226M| 100 | - | 200 |3113 | 200 | 223 | 14M| 0 | 19k|-3.750000e+01 |-2.900000e+01 | 22.67%
867.92/867.93 c 868s| 1550k|136528 | 21526k| 13.9 | 227M| 100 | 55 | 200 |3113 | 200 | 256 | 14M| 0 | 19k|-3.750000e+01 |-2.900000e+01 | 22.67%
872.82/872.85 c 873s| 1560k|136928 | 21642k| 13.9 | 227M| 100 | 28 | 200 |3113 | 200 | 235 | 14M| 0 | 19k|-3.750000e+01 |-2.900000e+01 | 22.67%
877.73/877.74 c 878s| 1570k|137376 | 21758k| 13.9 | 228M| 100 | 40 | 200 |3113 | 200 | 231 | 14M| 0 | 19k|-3.750000e+01 |-2.900000e+01 | 22.67%
882.52/882.58 c 883s| 1580k|137836 | 21871k| 13.8 | 229M| 100 | - | 200 |3113 | 200 | 220 | 14M| 0 | 19k|-3.750000e+01 |-2.900000e+01 | 22.67%
887.42/887.46 c 887s| 1590k|138228 | 21985k| 13.8 | 230M| 100 | 11 | 200 |3113 | 200 | 215 | 14M| 0 | 19k|-3.750000e+01 |-2.900000e+01 | 22.67%
892.32/892.31 c 892s| 1600k|138664 | 22098k| 13.8 | 230M| 100 | - | 200 |3113 | 200 | 226 | 14M| 0 | 20k|-3.750000e+01 |-2.900000e+01 | 22.67%
897.22/897.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
897.22/897.22 c 897s| 1610k|139028 | 22213k| 13.8 | 231M| 100 | - | 200 |3113 | 200 | 247 | 14M| 0 | 20k|-3.750000e+01 |-2.900000e+01 | 22.67%
902.12/902.10 c 902s| 1620k|139452 | 22329k| 13.8 | 232M| 101 | 46 | 200 |3113 | 200 | 257 | 14M| 0 | 20k|-3.750000e+01 |-2.900000e+01 | 22.67%
906.92/906.94 c 907s| 1630k|139838 | 22443k| 13.8 | 233M| 106 | 45 | 200 |3113 | 200 | 248 | 14M| 0 | 20k|-3.750000e+01 |-2.900000e+01 | 22.67%
911.83/911.83 c 912s| 1640k|140236 | 22559k| 13.7 | 233M| 106 | 14 | 200 |3113 | 200 | 200 | 14M| 0 | 20k|-3.750000e+01 |-2.900000e+01 | 22.67%
916.72/916.72 c 917s| 1650k|140598 | 22674k| 13.7 | 234M| 106 | 48 | 200 |3113 | 200 | 220 | 15M| 0 | 20k|-3.750000e+01 |-2.900000e+01 | 22.67%
921.62/921.62 c 922s| 1660k|140998 | 22789k| 13.7 | 235M| 106 | 53 | 200 |3113 | 200 | 244 | 15M| 0 | 20k|-3.750000e+01 |-2.900000e+01 | 22.67%
926.43/926.45 c 926s| 1670k|141368 | 22902k| 13.7 | 235M| 106 | - | 200 |3113 | 200 | 233 | 15M| 0 | 20k|-3.744444e+01 |-2.900000e+01 | 22.55%
931.33/931.34 c 931s| 1680k|141744 | 23016k| 13.7 | 236M| 106 | - | 200 |3113 | 200 | 236 | 15M| 0 | 20k|-3.741892e+01 |-2.900000e+01 | 22.50%
936.13/936.18 c 936s| 1690k|142122 | 23130k| 13.7 | 237M| 108 | - | 200 |3113 | 200 | 228 | 15M| 0 | 20k|-3.740000e+01 |-2.900000e+01 | 22.46%
941.02/941.04 c 941s| 1700k|142522 | 23245k| 13.7 | 237M| 108 | 42 | 200 |3113 | 200 | 247 | 15M| 0 | 20k|-3.738462e+01 |-2.900000e+01 | 22.43%
945.82/945.89 c 946s| 1710k|142822 | 23358k| 13.7 | 238M| 108 | 28 | 200 |3113 | 200 | 239 | 15M| 0 | 20k|-3.736364e+01 |-2.900000e+01 | 22.38%
950.72/950.72 c 951s| 1720k|143144 | 23472k| 13.6 | 239M| 108 | 31 | 200 |3113 | 200 | 217 | 15M| 0 | 20k|-3.733333e+01 |-2.900000e+01 | 22.32%
955.53/955.53 c 956s| 1730k|143518 | 23584k| 13.6 | 239M| 108 | 29 | 200 |3113 | 200 | 200 | 15M| 0 | 20k|-3.733333e+01 |-2.900000e+01 | 22.32%
960.23/960.28 c 960s| 1740k|143844 | 23695k| 13.6 | 240M| 108 | - | 200 |3113 | 200 | 232 | 15M| 0 | 20k|-3.733333e+01 |-2.900000e+01 | 22.32%
965.12/965.15 c 965s| 1750k|144206 | 23810k| 13.6 | 240M| 108 | 44 | 200 |3113 | 200 | 248 | 15M| 0 | 20k|-3.733333e+01 |-2.900000e+01 | 22.32%
969.92/969.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
969.92/969.95 c 970s| 1760k|144566 | 23922k| 13.6 | 241M| 108 | 18 | 200 |3113 | 200 | 213 | 15M| 0 | 20k|-3.733333e+01 |-2.900000e+01 | 22.32%
974.72/974.76 c 975s| 1770k|144882 | 24033k| 13.6 | 242M| 108 | - | 200 |3113 | 200 | 227 | 15M| 0 | 20k|-3.730000e+01 |-2.900000e+01 | 22.25%
979.63/979.62 c 980s| 1780k|145218 | 24145k| 13.6 | 242M| 108 | - | 200 |3113 | 200 | 243 | 16M| 0 | 21k|-3.726923e+01 |-2.900000e+01 | 22.19%
984.42/984.48 c 984s| 1790k|145574 | 24260k| 13.5 | 243M| 108 | 16 | 200 |3113 | 200 | 220 | 16M| 0 | 21k|-3.725000e+01 |-2.900000e+01 | 22.15%
989.33/989.33 c 989s| 1800k|145894 | 24373k| 13.5 | 244M| 108 | - | 200 |3113 | 200 | 240 | 16M| 0 | 21k|-3.725000e+01 |-2.900000e+01 | 22.15%
994.03/994.09 c 994s| 1810k|146196 | 24483k| 13.5 | 244M| 108 | - | 200 |3113 | 200 | 235 | 16M| 0 | 21k|-3.725000e+01 |-2.900000e+01 | 22.15%
998.83/998.82 c 999s| 1820k|146560 | 24591k| 13.5 | 245M| 108 | 26 | 200 |3113 | 200 | 229 | 16M| 0 | 21k|-3.725000e+01 |-2.900000e+01 | 22.15%
1003.62/1003.63 c 1004s| 1830k|146826 | 24703k| 13.5 | 245M| 108 | 3 | 200 |3113 | 200 | 223 | 16M| 0 | 21k|-3.721429e+01 |-2.900000e+01 | 22.07%
1008.42/1008.49 c 1008s| 1840k|147186 | 24816k| 13.5 | 246M| 108 | - | 200 |3113 | 200 | 241 | 16M| 0 | 21k|-3.720000e+01 |-2.900000e+01 | 22.04%
1013.32/1013.31 c 1013s| 1850k|147558 | 24928k| 13.5 | 247M| 108 | 37 | 200 |3113 | 200 | 211 | 16M| 0 | 21k|-3.718182e+01 |-2.900000e+01 | 22.00%
1018.03/1018.08 c 1018s| 1860k|147866 | 25039k| 13.5 | 247M| 108 | - | 200 |3113 | 200 | 244 | 16M| 0 | 21k|-3.716667e+01 |-2.900000e+01 | 21.97%
1022.82/1022.87 c 1023s| 1870k|148154 | 25150k| 13.4 | 248M| 108 | 21 | 200 |3113 | 200 | 213 | 16M| 0 | 21k|-3.715385e+01 |-2.900000e+01 | 21.95%
1027.73/1027.71 c 1028s| 1880k|148508 | 25261k| 13.4 | 248M| 108 | - | 200 |3113 | 200 | 229 | 16M| 0 | 21k|-3.712500e+01 |-2.900000e+01 | 21.89%
1032.53/1032.51 c 1033s| 1890k|148860 | 25374k| 13.4 | 249M| 108 | - | 200 |3113 | 200 | 262 | 16M| 0 | 21k|-3.711538e+01 |-2.900000e+01 | 21.87%
1037.33/1037.33 c 1037s| 1900k|149180 | 25486k| 13.4 | 250M| 108 | - | 200 |3113 | 200 | 214 | 17M| 0 | 21k|-3.710000e+01 |-2.900000e+01 | 21.83%
1042.13/1042.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1042.13/1042.17 c 1042s| 1910k|149450 | 25598k| 13.4 | 250M| 108 | - | 200 |3113 | 200 | 227 | 17M| 0 | 21k|-3.706667e+01 |-2.900000e+01 | 21.76%
1047.03/1047.00 c 1047s| 1920k|149848 | 25711k| 13.4 | 251M| 108 | 59 | 200 |3113 | 200 | 234 | 17M| 0 | 21k|-3.700000e+01 |-2.900000e+01 | 21.62%
1051.82/1051.89 c 1052s| 1930k|150274 | 25826k| 13.4 | 252M| 108 | - | 200 |3113 | 200 | 214 | 17M| 0 | 21k|-3.700000e+01 |-2.900000e+01 | 21.62%
1056.73/1056.72 c 1057s| 1940k|150604 | 25938k| 13.4 | 252M| 108 | 4 | 200 |3113 | 200 | 214 | 17M| 0 | 21k|-3.700000e+01 |-2.900000e+01 | 21.62%
1061.53/1061.52 c 1062s| 1950k|151030 | 26052k| 13.4 | 253M| 108 | - | 200 |3113 | 200 | 233 | 17M| 0 | 21k|-3.700000e+01 |-2.900000e+01 | 21.62%
1066.23/1066.22 c 1066s| 1960k|151422 | 26162k| 13.3 | 254M| 108 | 30 | 200 |3113 | 200 | 213 | 17M| 0 | 21k|-3.700000e+01 |-2.900000e+01 | 21.62%
1071.03/1071.03 c 1071s| 1970k|151684 | 26273k| 13.3 | 254M| 108 | - | 200 |3113 | 200 | 228 | 17M| 0 | 21k|-3.700000e+01 |-2.900000e+01 | 21.62%
1075.84/1075.83 c 1076s| 1980k|152046 | 26385k| 13.3 | 255M| 108 | - | 200 |3113 | 200 | 224 | 17M| 0 | 22k|-3.700000e+01 |-2.900000e+01 | 21.62%
1080.63/1080.60 c 1081s| 1990k|152334 | 26496k| 13.3 | 255M| 108 | 53 | 200 |3113 | 200 | 215 | 17M| 0 | 22k|-3.700000e+01 |-2.900000e+01 | 21.62%
1085.43/1085.46 c 1085s| 2000k|152674 | 26608k| 13.3 | 256M| 108 | 53 | 200 |3113 | 200 | 240 | 17M| 0 | 22k|-3.700000e+01 |-2.900000e+01 | 21.62%
1090.13/1090.17 c 1090s| 2010k|152948 | 26717k| 13.3 | 256M| 108 | 58 | 200 |3113 | 200 | 215 | 17M| 0 | 22k|-3.700000e+01 |-2.900000e+01 | 21.62%
1094.83/1094.89 c 1095s| 2020k|153234 | 26826k| 13.3 | 257M| 108 | 40 | 200 |3113 | 200 | 230 | 17M| 0 | 22k|-3.700000e+01 |-2.900000e+01 | 21.62%
1099.63/1099.67 c 1100s| 2030k|153568 | 26937k| 13.3 | 258M| 108 | - | 200 |3113 | 200 | 252 | 18M| 0 | 22k|-3.700000e+01 |-2.900000e+01 | 21.62%
1104.43/1104.47 c 1104s| 2040k|153922 | 27048k| 13.3 | 258M| 108 | - | 200 |3113 | 200 | 214 | 18M| 0 | 22k|-3.700000e+01 |-2.900000e+01 | 21.62%
1109.13/1109.17 c 1109s| 2050k|154310 | 27157k| 13.2 | 259M| 108 | - | 200 |3113 | 200 | 233 | 18M| 0 | 22k|-3.700000e+01 |-2.900000e+01 | 21.62%
1113.93/1113.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1113.93/1113.92 c 1114s| 2060k|154606 | 27267k| 13.2 | 260M| 108 | 32 | 200 |3113 | 200 | 200 | 18M| 0 | 22k|-3.700000e+01 |-2.900000e+01 | 21.62%
1118.63/1118.69 c 1119s| 2070k|154908 | 27378k| 13.2 | 260M| 108 | 66 | 200 |3113 | 200 | 253 | 18M| 0 | 22k|-3.700000e+01 |-2.900000e+01 | 21.62%
1123.43/1123.41 c 1123s| 2080k|155202 | 27487k| 13.2 | 261M| 108 | - | 200 |3113 | 200 | 221 | 18M| 0 | 22k|-3.700000e+01 |-2.900000e+01 | 21.62%
1128.12/1128.14 c 1128s| 2090k|155468 | 27597k| 13.2 | 261M| 108 | 54 | 200 |3113 | 200 | 215 | 18M| 0 | 22k|-3.700000e+01 |-2.900000e+01 | 21.62%
1132.93/1132.92 c 1133s| 2100k|155780 | 27707k| 13.2 | 262M| 108 | 40 | 200 |3113 | 200 | 226 | 18M| 0 | 22k|-3.700000e+01 |-2.900000e+01 | 21.62%
1137.63/1137.61 c 1138s| 2110k|156136 | 27816k| 13.2 | 262M| 108 | 57 | 200 |3113 | 200 | 265 | 18M| 0 | 22k|-3.700000e+01 |-2.900000e+01 | 21.62%
1142.43/1142.42 c 1142s| 2120k|156482 | 27928k| 13.2 | 263M| 108 | - | 200 |3113 | 200 | 251 | 18M| 0 | 22k|-3.700000e+01 |-2.900000e+01 | 21.62%
1147.13/1147.12 c 1147s| 2130k|156810 | 28037k| 13.2 | 264M| 108 | - | 200 |3113 | 200 | 247 | 18M| 0 | 22k|-3.700000e+01 |-2.900000e+01 | 21.62%
1151.93/1151.93 c 1152s| 2140k|157228 | 28150k| 13.1 | 264M| 108 | 36 | 200 |3113 | 200 | 215 | 18M| 0 | 22k|-3.700000e+01 |-2.900000e+01 | 21.62%
1156.73/1156.70 c 1157s| 2150k|157552 | 28260k| 13.1 | 265M| 108 | 38 | 200 |3113 | 200 | 226 | 18M| 0 | 22k|-3.700000e+01 |-2.900000e+01 | 21.62%
1161.43/1161.41 c 1161s| 2160k|157864 | 28369k| 13.1 | 266M| 108 | 45 | 200 |3113 | 200 | 219 | 19M| 0 | 22k|-3.700000e+01 |-2.900000e+01 | 21.62%
1166.13/1166.15 c 1166s| 2170k|158182 | 28479k| 13.1 | 266M| 108 | - | 200 |3113 | 200 | 226 | 19M| 0 | 22k|-3.700000e+01 |-2.900000e+01 | 21.62%
1170.93/1170.92 c 1171s| 2180k|158526 | 28589k| 13.1 | 267M| 108 | - | 200 |3113 | 200 | 250 | 19M| 0 | 22k|-3.700000e+01 |-2.900000e+01 | 21.62%
1175.63/1175.70 c 1176s| 2190k|158802 | 28699k| 13.1 | 267M| 108 | 6 | 200 |3113 | 200 | 212 | 19M| 0 | 23k|-3.694737e+01 |-2.900000e+01 | 21.51%
1180.43/1180.43 c 1180s| 2200k|159134 | 28809k| 13.1 | 268M| 108 | 62 | 200 |3113 | 200 | 227 | 19M| 0 | 23k|-3.691667e+01 |-2.900000e+01 | 21.44%
1185.14/1185.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1185.14/1185.10 c 1185s| 2210k|159362 | 28914k| 13.1 | 268M| 108 | - | 200 |3113 | 200 | 267 | 19M| 0 | 23k|-3.688889e+01 |-2.900000e+01 | 21.39%
1189.83/1189.86 c 1190s| 2220k|159658 | 29024k| 13.1 | 269M| 108 | 49 | 200 |3113 | 200 | 258 | 19M| 0 | 23k|-3.687500e+01 |-2.900000e+01 | 21.36%
1194.64/1194.60 c 1195s| 2230k|159986 | 29134k| 13.1 | 270M| 108 | - | 200 |3113 | 200 | 243 | 19M| 0 | 23k|-3.685714e+01 |-2.900000e+01 | 21.32%
1199.33/1199.38 c 1199s| 2240k|160300 | 29244k| 13.1 | 270M| 108 | 46 | 200 |3113 | 200 | 242 | 19M| 0 | 23k|-3.684211e+01 |-2.900000e+01 | 21.29%
1204.13/1204.10 c 1204s| 2250k|160624 | 29352k| 13.0 | 271M| 108 | - | 200 |3113 | 200 | 231 | 19M| 0 | 23k|-3.683333e+01 |-2.900000e+01 | 21.27%
1208.84/1208.81 c 1209s| 2260k|160858 | 29459k| 13.0 | 271M| 108 | 9 | 200 |3113 | 200 | 200 | 19M| 0 | 23k|-3.683333e+01 |-2.900000e+01 | 21.27%
1213.53/1213.56 c 1214s| 2270k|161130 | 29569k| 13.0 | 272M| 108 | - | 200 |3113 | 200 | 243 | 19M| 0 | 23k|-3.681818e+01 |-2.900000e+01 | 21.23%
1218.23/1218.29 c 1218s| 2280k|161390 | 29678k| 13.0 | 272M| 108 | - | 200 |3113 | 200 | 245 | 19M| 0 | 23k|-3.680000e+01 |-2.900000e+01 | 21.20%
1223.03/1223.05 c 1223s| 2290k|161716 | 29787k| 13.0 | 273M| 108 | 44 | 200 |3113 | 200 | 243 | 20M| 0 | 23k|-3.680000e+01 |-2.900000e+01 | 21.20%
1227.73/1227.71 c 1228s| 2300k|161988 | 29893k| 13.0 | 273M| 108 | - | 200 |3113 | 200 | 233 | 20M| 0 | 23k|-3.677778e+01 |-2.900000e+01 | 21.15%
1232.43/1232.45 c 1232s| 2310k|162274 | 30003k| 13.0 | 274M| 108 | - | 200 |3113 | 200 | 252 | 20M| 0 | 23k|-3.675000e+01 |-2.900000e+01 | 21.09%
1237.04/1237.07 c 1237s| 2320k|162562 | 30108k| 13.0 | 274M| 108 | 48 | 200 |3113 | 200 | 247 | 20M| 0 | 23k|-3.675000e+01 |-2.900000e+01 | 21.09%
1241.73/1241.73 c 1242s| 2330k|162858 | 30216k| 13.0 | 275M| 108 | 17 | 200 |3113 | 200 | 223 | 20M| 0 | 23k|-3.675000e+01 |-2.900000e+01 | 21.09%
1246.43/1246.43 c 1246s| 2340k|163178 | 30323k| 13.0 | 276M| 108 | - | 200 |3113 | 200 | 246 | 20M| 0 | 23k|-3.675000e+01 |-2.900000e+01 | 21.09%
1251.03/1251.08 c 1251s| 2350k|163492 | 30430k| 12.9 | 276M| 108 | - | 200 |3113 | 200 | 263 | 20M| 0 | 23k|-3.675000e+01 |-2.900000e+01 | 21.09%
1255.73/1255.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1255.73/1255.75 c 1256s| 2360k|163746 | 30538k| 12.9 | 277M| 108 | 72 | 200 |3113 | 200 | 265 | 20M| 0 | 23k|-3.675000e+01 |-2.900000e+01 | 21.09%
1260.54/1260.54 c 1261s| 2370k|164032 | 30648k| 12.9 | 277M| 108 | - | 200 |3113 | 200 | 229 | 20M| 0 | 23k|-3.672727e+01 |-2.900000e+01 | 21.04%
1265.13/1265.13 c 1265s| 2380k|164310 | 30752k| 12.9 | 278M| 108 | 63 | 200 |3113 | 200 | 259 | 20M| 0 | 23k|-3.671429e+01 |-2.900000e+01 | 21.01%
1269.83/1269.85 c 1270s| 2390k|164600 | 30860k| 12.9 | 278M| 108 | - | 200 |3113 | 200 | 224 | 20M| 0 | 23k|-3.669231e+01 |-2.900000e+01 | 20.96%
1274.43/1274.50 c 1274s| 2400k|164882 | 30966k| 12.9 | 279M| 108 | - | 200 |3113 | 200 | 234 | 20M| 0 | 23k|-3.666667e+01 |-2.900000e+01 | 20.91%
1279.23/1279.21 c 1279s| 2410k|165206 | 31074k| 12.9 | 279M| 108 | 6 | 200 |3113 | 200 | 220 | 20M| 0 | 23k|-3.666667e+01 |-2.900000e+01 | 20.91%
1283.83/1283.89 c 1284s| 2420k|165470 | 31181k| 12.9 | 280M| 108 | 32 | 200 |3113 | 200 | 219 | 21M| 0 | 24k|-3.666667e+01 |-2.900000e+01 | 20.91%
1288.43/1288.47 c 1288s| 2430k|165720 | 31284k| 12.9 | 280M| 109 | - | 200 |3113 | 200 | 228 | 21M| 0 | 24k|-3.666667e+01 |-2.900000e+01 | 20.91%
1293.13/1293.13 c 1293s| 2440k|165974 | 31391k| 12.9 | 281M| 109 | - | 200 |3113 | 200 | 237 | 21M| 0 | 24k|-3.666667e+01 |-2.900000e+01 | 20.91%
1297.74/1297.77 c 1298s| 2450k|166156 | 31496k| 12.9 | 281M| 109 | 13 | 200 |3113 | 200 | 215 | 21M| 0 | 24k|-3.666667e+01 |-2.900000e+01 | 20.91%
1302.44/1302.45 c 1302s| 2460k|166478 | 31604k| 12.8 | 282M| 109 | - | 200 |3113 | 200 | 231 | 21M| 0 | 24k|-3.666667e+01 |-2.900000e+01 | 20.91%
1307.13/1307.14 c 1307s| 2470k|166768 | 31710k| 12.8 | 283M| 109 | 11 | 200 |3113 | 200 | 226 | 21M| 0 | 24k|-3.666667e+01 |-2.900000e+01 | 20.91%
1311.74/1311.79 c 1312s| 2480k|167052 | 31816k| 12.8 | 283M| 109 | 22 | 200 |3113 | 200 | 214 | 21M| 0 | 24k|-3.663636e+01 |-2.900000e+01 | 20.84%
1316.44/1316.49 c 1316s| 2490k|167386 | 31924k| 12.8 | 284M| 109 | 52 | 200 |3113 | 200 | 233 | 21M| 0 | 24k|-3.662500e+01 |-2.900000e+01 | 20.82%
1321.23/1321.24 c 1321s| 2500k|167642 | 32033k| 12.8 | 284M| 109 | 48 | 200 |3113 | 200 | 225 | 21M| 0 | 24k|-3.660000e+01 |-2.900000e+01 | 20.77%
1325.84/1325.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1325.84/1325.89 c 1326s| 2510k|167898 | 32139k| 12.8 | 285M| 109 | - | 200 |3113 | 200 | 224 | 21M| 0 | 24k|-3.660000e+01 |-2.900000e+01 | 20.77%
1330.53/1330.54 c 1331s| 2520k|168202 | 32243k| 12.8 | 285M| 109 | 47 | 200 |3113 | 200 | 231 | 21M| 0 | 24k|-3.658824e+01 |-2.900000e+01 | 20.74%
1335.13/1335.16 c 1335s| 2530k|168382 | 32347k| 12.8 | 286M| 109 | - | 200 |3113 | 200 | 216 | 21M| 0 | 24k|-3.657143e+01 |-2.900000e+01 | 20.70%
1339.84/1339.89 c 1340s| 2540k|168622 | 32456k| 12.8 | 286M| 109 | 29 | 200 |3113 | 200 | 219 | 21M| 0 | 24k|-3.655556e+01 |-2.900000e+01 | 20.67%
1344.53/1344.56 c 1345s| 2550k|168866 | 32561k| 12.8 | 287M| 109 | - | 200 |3113 | 200 | 230 | 22M| 0 | 24k|-3.653333e+01 |-2.900000e+01 | 20.62%
1349.23/1349.20 c 1349s| 2560k|169172 | 32668k| 12.8 | 287M| 109 | 19 | 200 |3113 | 200 | 237 | 22M| 0 | 24k|-3.650000e+01 |-2.900000e+01 | 20.55%
1353.83/1353.86 c 1354s| 2570k|169420 | 32773k| 12.7 | 288M| 109 | 46 | 200 |3113 | 200 | 229 | 22M| 0 | 24k|-3.650000e+01 |-2.900000e+01 | 20.55%
1358.33/1358.40 c 1358s| 2580k|169644 | 32876k| 12.7 | 288M| 109 | 28 | 200 |3113 | 200 | 216 | 22M| 0 | 24k|-3.650000e+01 |-2.900000e+01 | 20.55%
1363.04/1363.03 c 1363s| 2590k|169874 | 32980k| 12.7 | 289M| 109 | - | 200 |3113 | 200 | 237 | 22M| 0 | 24k|-3.650000e+01 |-2.900000e+01 | 20.55%
1367.54/1367.58 c 1368s| 2600k|170150 | 33083k| 12.7 | 289M| 109 | - | 200 |3113 | 200 | 244 | 22M| 0 | 24k|-3.650000e+01 |-2.900000e+01 | 20.55%
1372.14/1372.16 c 1372s| 2610k|170432 | 33188k| 12.7 | 290M| 109 | 27 | 200 |3113 | 200 | 215 | 22M| 0 | 24k|-3.650000e+01 |-2.900000e+01 | 20.55%
1376.84/1376.84 c 1377s| 2620k|170722 | 33295k| 12.7 | 290M| 109 | - | 200 |3113 | 200 | 258 | 22M| 0 | 24k|-3.650000e+01 |-2.900000e+01 | 20.55%
1381.43/1381.45 c 1381s| 2630k|170922 | 33399k| 12.7 | 291M| 109 | 52 | 200 |3113 | 200 | 244 | 22M| 0 | 24k|-3.650000e+01 |-2.900000e+01 | 20.55%
1386.04/1386.06 c 1386s| 2640k|171178 | 33504k| 12.7 | 291M| 109 | - | 200 |3113 | 200 | 228 | 22M| 0 | 24k|-3.650000e+01 |-2.900000e+01 | 20.55%
1390.64/1390.67 c 1391s| 2650k|171442 | 33609k| 12.7 | 292M| 109 | 42 | 200 |3113 | 200 | 257 | 22M| 0 | 24k|-3.650000e+01 |-2.900000e+01 | 20.55%
1395.34/1395.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1395.34/1395.35 c 1395s| 2660k|171776 | 33716k| 12.7 | 292M| 109 | 30 | 200 |3113 | 200 | 219 | 22M| 0 | 25k|-3.650000e+01 |-2.900000e+01 | 20.55%
1399.94/1399.92 c 1400s| 2670k|172058 | 33819k| 12.7 | 293M| 109 | 5 | 200 |3113 | 200 | 223 | 22M| 0 | 25k|-3.650000e+01 |-2.900000e+01 | 20.55%
1404.54/1404.55 c 1405s| 2680k|172266 | 33925k| 12.7 | 293M| 109 | - | 200 |3113 | 200 | 241 | 22M| 0 | 25k|-3.650000e+01 |-2.900000e+01 | 20.55%
1409.24/1409.20 c 1409s| 2690k|172576 | 34030k| 12.6 | 294M| 109 | 33 | 200 |3113 | 200 | 214 | 23M| 0 | 25k|-3.650000e+01 |-2.900000e+01 | 20.55%
1413.84/1413.82 c 1414s| 2700k|172862 | 34135k| 12.6 | 294M| 109 | - | 200 |3113 | 200 | 231 | 23M| 0 | 25k|-3.650000e+01 |-2.900000e+01 | 20.55%
1418.44/1418.43 c 1418s| 2710k|173116 | 34238k| 12.6 | 295M| 109 | - | 200 |3113 | 200 | 216 | 23M| 0 | 25k|-3.650000e+01 |-2.900000e+01 | 20.55%
1422.94/1422.95 c 1423s| 2720k|173292 | 34338k| 12.6 | 295M| 109 | 57 | 200 |3113 | 200 | 211 | 23M| 0 | 25k|-3.650000e+01 |-2.900000e+01 | 20.55%
1427.54/1427.54 c 1428s| 2730k|173532 | 34443k| 12.6 | 296M| 109 | - | 200 |3113 | 200 | 258 | 23M| 0 | 25k|-3.650000e+01 |-2.900000e+01 | 20.55%
1432.14/1432.10 c 1432s| 2740k|173776 | 34545k| 12.6 | 296M| 109 | 43 | 200 |3113 | 200 | 224 | 23M| 0 | 25k|-3.650000e+01 |-2.900000e+01 | 20.55%
1436.65/1436.63 c 1437s| 2750k|173940 | 34647k| 12.6 | 296M| 109 | - | 200 |3113 | 200 | 235 | 23M| 0 | 25k|-3.650000e+01 |-2.900000e+01 | 20.55%
1441.14/1441.18 c 1441s| 2760k|174138 | 34749k| 12.6 | 297M| 109 | - | 200 |3113 | 200 | 227 | 23M| 0 | 25k|-3.650000e+01 |-2.900000e+01 | 20.55%
1445.74/1445.74 c 1446s| 2770k|174340 | 34851k| 12.6 | 297M| 109 | - | 200 |3113 | 200 | 232 | 23M| 0 | 25k|-3.650000e+01 |-2.900000e+01 | 20.55%
1450.44/1450.40 c 1450s| 2780k|174592 | 34957k| 12.6 | 298M| 109 | - | 200 |3113 | 200 | 228 | 23M| 0 | 25k|-3.650000e+01 |-2.900000e+01 | 20.55%
1455.04/1455.03 c 1455s| 2790k|174898 | 35062k| 12.6 | 298M| 109 | - | 200 |3113 | 200 | 249 | 23M| 0 | 25k|-3.648315e+01 |-2.900000e+01 | 20.51%
1459.65/1459.66 c 1460s| 2800k|175072 | 35167k| 12.6 | 299M| 109 | - | 200 |3113 | 200 | 225 | 23M| 0 | 25k|-3.644444e+01 |-2.900000e+01 | 20.43%
1464.24/1464.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1464.24/1464.28 c 1464s| 2810k|175232 | 35271k| 12.5 | 299M| 109 | - | 200 |3113 | 200 | 227 | 23M| 0 | 25k|-3.642857e+01 |-2.900000e+01 | 20.39%
1468.95/1468.92 c 1469s| 2820k|175454 | 35376k| 12.5 | 300M| 109 | - | 200 |3113 | 200 | 231 | 24M| 0 | 25k|-3.640000e+01 |-2.900000e+01 | 20.33%
1473.54/1473.52 c 1474s| 2830k|175702 | 35480k| 12.5 | 300M| 109 | 46 | 200 |3113 | 200 | 212 | 24M| 0 | 25k|-3.640000e+01 |-2.900000e+01 | 20.33%
1478.14/1478.14 c 1478s| 2840k|175954 | 35584k| 12.5 | 300M| 109 | - | 200 |3113 | 200 | 200 | 24M| 0 | 25k|-3.637500e+01 |-2.900000e+01 | 20.27%
1482.64/1482.68 c 1483s| 2850k|176160 | 35685k| 12.5 | 301M| 109 | 11 | 200 |3113 | 200 | 240 | 24M| 0 | 25k|-3.636842e+01 |-2.900000e+01 | 20.26%
1487.34/1487.33 c 1487s| 2860k|176360 | 35790k| 12.5 | 301M| 109 | 5 | 200 |3113 | 200 | 244 | 24M| 0 | 25k|-3.633333e+01 |-2.900000e+01 | 20.18%
1491.94/1491.94 c 1492s| 2870k|176600 | 35895k| 12.5 | 302M| 109 | 50 | 200 |3113 | 200 | 215 | 24M| 0 | 25k|-3.633333e+01 |-2.900000e+01 | 20.18%
1496.54/1496.55 c 1497s| 2880k|176852 | 35999k| 12.5 | 302M| 109 | - | 200 |3113 | 200 | 230 | 24M| 0 | 25k|-3.633333e+01 |-2.900000e+01 | 20.18%
1501.14/1501.19 c 1501s| 2890k|177120 | 36105k| 12.5 | 303M| 109 | - | 200 |3113 | 200 | 226 | 24M| 0 | 26k|-3.633333e+01 |-2.900000e+01 | 20.18%
1505.85/1505.81 c 1506s| 2900k|177340 | 36209k| 12.5 | 303M| 109 | 20 | 200 |3113 | 200 | 226 | 24M| 0 | 26k|-3.633333e+01 |-2.900000e+01 | 20.18%
1510.35/1510.37 c 1510s| 2910k|177554 | 36311k| 12.5 | 304M| 109 | 25 | 200 |3113 | 200 | 220 | 24M| 0 | 26k|-3.633333e+01 |-2.900000e+01 | 20.18%
1514.95/1514.92 c 1515s| 2920k|177744 | 36413k| 12.5 | 304M| 109 | 32 | 200 |3113 | 200 | 220 | 24M| 0 | 26k|-3.633333e+01 |-2.900000e+01 | 20.18%
1519.45/1519.44 c 1519s| 2930k|177918 | 36513k| 12.5 | 304M| 109 | 18 | 200 |3113 | 200 | 215 | 24M| 0 | 26k|-3.633333e+01 |-2.900000e+01 | 20.18%
1524.04/1524.05 c 1524s| 2940k|178144 | 36616k| 12.5 | 305M| 109 | - | 200 |3113 | 200 | 249 | 24M| 0 | 26k|-3.630000e+01 |-2.900000e+01 | 20.11%
1528.65/1528.67 c 1529s| 2950k|178334 | 36720k| 12.4 | 305M| 109 | 49 | 200 |3113 | 200 | 247 | 24M| 0 | 26k|-3.628571e+01 |-2.900000e+01 | 20.08%
1533.14/1533.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1533.14/1533.19 c 1533s| 2960k|178544 | 36821k| 12.4 | 306M| 109 | - | 200 |3113 | 200 | 260 | 25M| 0 | 26k|-3.625000e+01 |-2.900000e+01 | 20.00%
1537.75/1537.80 c 1538s| 2970k|178772 | 36924k| 12.4 | 306M| 109 | 28 | 200 |3113 | 200 | 230 | 25M| 0 | 26k|-3.625000e+01 |-2.900000e+01 | 20.00%
1542.34/1542.38 c 1542s| 2980k|179026 | 37028k| 12.4 | 307M| 109 | 54 | 200 |3113 | 200 | 240 | 25M| 0 | 26k|-3.625000e+01 |-2.900000e+01 | 20.00%
1546.94/1546.98 c 1547s| 2990k|179238 | 37131k| 12.4 | 307M| 109 | 49 | 200 |3113 | 200 | 218 | 25M| 0 | 26k|-3.625000e+01 |-2.900000e+01 | 20.00%
1551.65/1551.64 c 1552s| 3000k|179498 | 37237k| 12.4 | 308M| 109 | - | 200 |3113 | 200 | 244 | 25M| 0 | 26k|-3.625000e+01 |-2.900000e+01 | 20.00%
1556.14/1556.15 c 1556s| 3010k|179710 | 37337k| 12.4 | 308M| 109 | - | 200 |3113 | 200 | 240 | 25M| 0 | 26k|-3.625000e+01 |-2.900000e+01 | 20.00%
1560.74/1560.71 c 1561s| 3020k|179892 | 37438k| 12.4 | 308M| 109 | 36 | 200 |3113 | 200 | 231 | 25M| 0 | 26k|-3.625000e+01 |-2.900000e+01 | 20.00%
1565.25/1565.28 c 1565s| 3030k|180108 | 37540k| 12.4 | 309M| 109 | 53 | 200 |3113 | 200 | 231 | 25M| 0 | 26k|-3.622222e+01 |-2.900000e+01 | 19.94%
1569.75/1569.78 c 1570s| 3040k|180256 | 37639k| 12.4 | 309M| 109 | - | 200 |3113 | 200 | 210 | 25M| 0 | 26k|-3.620000e+01 |-2.900000e+01 | 19.89%
1574.44/1574.40 c 1574s| 3050k|180520 | 37744k| 12.4 | 310M| 109 | 36 | 200 |3113 | 200 | 237 | 25M| 0 | 26k|-3.620000e+01 |-2.900000e+01 | 19.89%
1579.04/1579.03 c 1579s| 3060k|180782 | 37847k| 12.4 | 310M| 109 | 32 | 200 |3113 | 200 | 232 | 25M| 0 | 26k|-3.618750e+01 |-2.900000e+01 | 19.86%
1583.64/1583.66 c 1584s| 3070k|181042 | 37953k| 12.4 | 311M| 109 | 17 | 200 |3113 | 200 | 225 | 25M| 0 | 26k|-3.616667e+01 |-2.900000e+01 | 19.82%
1588.14/1588.10 c 1588s| 3080k|181200 | 38051k| 12.4 | 311M| 109 | 36 | 200 |3113 | 200 | 236 | 25M| 0 | 26k|-3.616667e+01 |-2.900000e+01 | 19.82%
1592.54/1592.57 c 1593s| 3090k|181358 | 38150k| 12.3 | 311M| 109 | - | 200 |3113 | 200 | 248 | 25M| 0 | 26k|-3.616667e+01 |-2.900000e+01 | 19.82%
1597.15/1597.13 c 1597s| 3100k|181574 | 38252k| 12.3 | 312M| 109 | - | 200 |3113 | 200 | 247 | 26M| 0 | 26k|-3.615385e+01 |-2.900000e+01 | 19.79%
1601.74/1601.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1601.74/1601.75 c 1602s| 3110k|181788 | 38356k| 12.3 | 312M| 109 | 10 | 200 |3113 | 200 | 233 | 26M| 0 | 26k|-3.614286e+01 |-2.900000e+01 | 19.76%
1606.34/1606.35 c 1606s| 3120k|182056 | 38460k| 12.3 | 313M| 109 | 22 | 200 |3113 | 200 | 234 | 26M| 0 | 26k|-3.612500e+01 |-2.900000e+01 | 19.72%
1610.84/1610.82 c 1611s| 3130k|182194 | 38558k| 12.3 | 313M| 109 | 39 | 200 |3113 | 200 | 227 | 26M| 0 | 26k|-3.611111e+01 |-2.900000e+01 | 19.69%
1615.35/1615.34 c 1615s| 3140k|182290 | 38656k| 12.3 | 313M| 109 | 10 | 200 |3113 | 200 | 227 | 26M| 0 | 26k|-3.610000e+01 |-2.900000e+01 | 19.67%
1619.95/1619.92 c 1620s| 3150k|182494 | 38758k| 12.3 | 314M| 109 | 55 | 200 |3113 | 200 | 218 | 26M| 0 | 27k|-3.607143e+01 |-2.900000e+01 | 19.60%
1624.45/1624.45 c 1624s| 3160k|182648 | 38857k| 12.3 | 314M| 109 | - | 200 |3113 | 200 | 235 | 26M| 0 | 27k|-3.604545e+01 |-2.900000e+01 | 19.55%
1629.05/1629.02 c 1629s| 3170k|182802 | 38959k| 12.3 | 315M| 109 | 47 | 200 |3113 | 200 | 244 | 26M| 0 | 27k|-3.600000e+01 |-2.900000e+01 | 19.44%
1633.64/1633.63 c 1634s| 3180k|182982 | 39063k| 12.3 | 315M| 109 | 53 | 200 |3113 | 200 | 248 | 26M| 0 | 27k|-3.600000e+01 |-2.900000e+01 | 19.44%
1638.25/1638.28 c 1638s| 3190k|183246 | 39167k| 12.3 | 315M| 109 | 50 | 200 |3113 | 200 | 222 | 26M| 0 | 27k|-3.600000e+01 |-2.900000e+01 | 19.44%
1642.85/1642.82 c 1643s| 3200k|183448 | 39270k| 12.3 | 316M| 109 | - | 200 |3113 | 200 | 232 | 26M| 0 | 27k|-3.600000e+01 |-2.900000e+01 | 19.44%
1647.35/1647.31 c 1647s| 3210k|183572 | 39369k| 12.3 | 316M| 109 | - | 200 |3113 | 200 | 231 | 26M| 0 | 27k|-3.600000e+01 |-2.900000e+01 | 19.44%
1651.85/1651.80 c 1652s| 3220k|183770 | 39471k| 12.3 | 317M| 109 | - | 200 |3113 | 200 | 236 | 26M| 0 | 27k|-3.600000e+01 |-2.900000e+01 | 19.44%
1656.35/1656.34 c 1656s| 3230k|183940 | 39573k| 12.2 | 317M| 109 | 38 | 200 |3113 | 200 | 214 | 26M| 0 | 27k|-3.600000e+01 |-2.900000e+01 | 19.44%
1660.84/1660.87 c 1661s| 3240k|184126 | 39675k| 12.2 | 317M| 109 | 42 | 200 |3113 | 200 | 225 | 27M| 0 | 27k|-3.600000e+01 |-2.900000e+01 | 19.44%
1665.46/1665.43 c 1665s| 3250k|184334 | 39778k| 12.2 | 318M| 109 | - | 200 |3113 | 200 | 237 | 27M| 0 | 27k|-3.600000e+01 |-2.900000e+01 | 19.44%
1669.95/1669.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1669.95/1669.99 c 1670s| 3260k|184522 | 39880k| 12.2 | 318M| 109 | 49 | 200 |3113 | 200 | 262 | 27M| 0 | 27k|-3.600000e+01 |-2.900000e+01 | 19.44%
1674.54/1674.51 c 1675s| 3270k|184710 | 39981k| 12.2 | 319M| 109 | - | 200 |3113 | 200 | 214 | 27M| 0 | 27k|-3.600000e+01 |-2.900000e+01 | 19.44%
1679.05/1679.03 c 1679s| 3280k|184890 | 40081k| 12.2 | 319M| 109 | 39 | 200 |3113 | 200 | 215 | 27M| 0 | 27k|-3.600000e+01 |-2.900000e+01 | 19.44%
1683.55/1683.55 c 1684s| 3290k|185114 | 40183k| 12.2 | 319M| 109 | - | 200 |3113 | 200 | 237 | 27M| 0 | 27k|-3.600000e+01 |-2.900000e+01 | 19.44%
1688.05/1688.08 c 1688s| 3300k|185212 | 40283k| 12.2 | 320M| 109 | 56 | 200 |3113 | 200 | 218 | 27M| 0 | 27k|-3.600000e+01 |-2.900000e+01 | 19.44%
1692.65/1692.62 c 1693s| 3310k|185422 | 40385k| 12.2 | 320M| 109 | 42 | 200 |3113 | 200 | 230 | 27M| 0 | 27k|-3.600000e+01 |-2.900000e+01 | 19.44%
1697.15/1697.16 c 1697s| 3320k|185650 | 40487k| 12.2 | 321M| 109 | - | 200 |3113 | 200 | 217 | 27M| 0 | 27k|-3.600000e+01 |-2.900000e+01 | 19.44%
1701.65/1701.70 c 1702s| 3330k|185840 | 40588k| 12.2 | 321M| 109 | - | 200 |3113 | 200 | 236 | 27M| 0 | 27k|-3.600000e+01 |-2.900000e+01 | 19.44%
1706.25/1706.24 c 1706s| 3340k|186014 | 40689k| 12.2 | 321M| 109 | - | 200 |3113 | 200 | 244 | 27M| 0 | 27k|-3.600000e+01 |-2.900000e+01 | 19.44%
1710.85/1710.80 c 1711s| 3350k|186218 | 40791k| 12.2 | 322M| 109 | - | 200 |3113 | 200 | 244 | 27M| 0 | 27k|-3.600000e+01 |-2.900000e+01 | 19.44%
1715.35/1715.32 c 1715s| 3360k|186416 | 40892k| 12.2 | 322M| 109 | - | 200 |3113 | 200 | 239 | 27M| 0 | 27k|-3.600000e+01 |-2.900000e+01 | 19.44%
1719.84/1719.83 c 1720s| 3370k|186656 | 40993k| 12.2 | 323M| 109 | - | 200 |3113 | 200 | 227 | 27M| 0 | 27k|-3.600000e+01 |-2.900000e+01 | 19.44%
1724.35/1724.32 c 1724s| 3380k|186834 | 41093k| 12.2 | 323M| 109 | - | 200 |3113 | 200 | 252 | 28M| 0 | 27k|-3.600000e+01 |-2.900000e+01 | 19.44%
1728.85/1728.83 c 1729s| 3390k|187010 | 41194k| 12.1 | 323M| 109 | - | 200 |3113 | 200 | 239 | 28M| 0 | 27k|-3.600000e+01 |-2.900000e+01 | 19.44%
1733.24/1733.28 c 1733s| 3400k|187242 | 41294k| 12.1 | 324M| 109 | 28 | 200 |3113 | 200 | 232 | 28M| 0 | 27k|-3.600000e+01 |-2.900000e+01 | 19.44%
1737.84/1737.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1737.84/1737.83 c 1738s| 3410k|187514 | 41396k| 12.1 | 324M| 109 | - | 200 |3113 | 200 | 229 | 28M| 0 | 28k|-3.600000e+01 |-2.900000e+01 | 19.44%
1742.35/1742.38 c 1742s| 3420k|187714 | 41498k| 12.1 | 325M| 109 | - | 200 |3113 | 200 | 246 | 28M| 0 | 28k|-3.600000e+01 |-2.900000e+01 | 19.44%
1747.05/1747.00 c 1747s| 3430k|188022 | 41603k| 12.1 | 325M| 109 | 43 | 200 |3113 | 200 | 223 | 28M| 0 | 28k|-3.600000e+01 |-2.900000e+01 | 19.44%
1751.55/1751.52 c 1752s| 3440k|188226 | 41706k| 12.1 | 326M| 109 | 32 | 200 |3113 | 200 | 214 | 28M| 0 | 28k|-3.600000e+01 |-2.900000e+01 | 19.44%
1755.95/1755.95 c 1756s| 3450k|188438 | 41803k| 12.1 | 326M| 109 | - | 200 |3113 | 200 | 242 | 28M| 0 | 28k|-3.600000e+01 |-2.900000e+01 | 19.44%
1760.45/1760.44 c 1760s| 3460k|188642 | 41904k| 12.1 | 327M| 109 | 53 | 200 |3113 | 200 | 223 | 28M| 0 | 28k|-3.600000e+01 |-2.900000e+01 | 19.44%
1765.05/1765.00 c 1765s| 3470k|188842 | 42007k| 12.1 | 327M| 109 | 3 | 200 |3113 | 200 | 223 | 28M| 0 | 28k|-3.600000e+01 |-2.900000e+01 | 19.44%
1769.45/1769.41 c 1769s| 3480k|189012 | 42105k| 12.1 | 327M| 109 | - | 200 |3113 | 200 | 216 | 28M| 0 | 28k|-3.600000e+01 |-2.900000e+01 | 19.44%
1773.95/1773.93 c 1774s| 3490k|189242 | 42206k| 12.1 | 328M| 109 | 38 | 200 |3113 | 200 | 224 | 28M| 0 | 28k|-3.600000e+01 |-2.900000e+01 | 19.44%
1778.35/1778.38 c 1778s| 3500k|189428 | 42306k| 12.1 | 328M| 109 | 49 | 200 |3113 | 200 | 233 | 28M| 0 | 28k|-3.600000e+01 |-2.900000e+01 | 19.44%
1782.85/1782.88 c 1783s| 3510k|189594 | 42406k| 12.1 | 329M| 109 | 36 | 200 |3113 | 200 | 214 | 28M| 0 | 28k|-3.600000e+01 |-2.900000e+01 | 19.44%
1787.35/1787.33 c 1787s| 3520k|189834 | 42506k| 12.1 | 329M| 109 | 56 | 200 |3113 | 200 | 254 | 29M| 0 | 28k|-3.600000e+01 |-2.900000e+01 | 19.44%
1791.96/1791.97 c 1792s| 3530k|190108 | 42612k| 12.1 | 330M| 109 | - | 200 |3113 | 200 | 247 | 29M| 0 | 28k|-3.600000e+01 |-2.900000e+01 | 19.44%
1796.45/1796.48 c 1796s| 3540k|190270 | 42713k| 12.1 | 330M| 109 | - | 200 |3113 | 200 | 222 | 29M| 0 | 28k|-3.600000e+01 |-2.900000e+01 | 19.44%
1797.05/1797.00 c
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Solving Time (sec) : 1797.00
1797.05/1797.00 c Solving Nodes : 3541131
1797.05/1797.00 c Primal Bound : -2.90000000000000e+01 (559 solutions)
1797.05/1797.00 c Dual Bound : -3.60000000000000e+01
1797.05/1797.00 c Gap : 19.44 %
1797.05/1797.00 s SATISFIABLE
1797.05/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
1797.05/1797.00 v -x178 -x177 -x176 x175 x174 x173 x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 x159 -x158 x157
1797.05/1797.00 v x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 x148 -x147 -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 x138 -x137 -x136 -x135
1797.05/1797.00 v -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114
1797.05/1797.00 v -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91
1797.05/1797.00 v -x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66
1797.05/1797.00 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 -x40
1797.05/1797.00 v -x39 -x38 -x37 x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15
1797.05/1797.00 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Total Time : 1797.00
1797.05/1797.00 c solving : 1797.00
1797.05/1797.00 c presolving : 0.08 (included in solving)
1797.05/1797.00 c reading : 0.01 (included in solving)
1797.05/1797.00 c Original Problem :
1797.05/1797.00 c Problem name : HOME/instance-3485159-1307784739.opb
1797.05/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.00 c Constraints : 200 initial, 200 maximal
1797.05/1797.00 c Presolved Problem :
1797.05/1797.00 c Problem name : t_HOME/instance-3485159-1307784739.opb
1797.05/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.00 c Constraints : 3113 initial, 3113 maximal
1797.05/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.05/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c probing : 0.02 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c and : 0.03 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c linear : 0.01 3113 0 0 3113 0 200 0 0 0
1797.05/1797.00 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c root node : - 0 - - 0 - - - - -
1797.05/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.05/1797.00 c integral : 0 0 0 2933115 0 681029 0 236 1933 0 0 3743582
1797.05/1797.00 c logicor : 3113 70 3551147 1060288 0 681025 0 14 19958245 29177222 0 0
1797.05/1797.00 c countsols : 0 0 0 7 0 554 0 0 0 0 0 0
1797.05/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.05/1797.00 c integral : 38.03 0.00 0.00 37.86 0.00 0.17 0.00
1797.05/1797.00 c logicor : 149.89 0.03 67.98 46.93 0.00 34.96 0.00
1797.05/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.05/1797.00 c vbounds : 0 0 0 0
1797.05/1797.00 c rootredcost : 7 0 0 0
1797.05/1797.00 c pseudoobj : 5705363 0 0 0
1797.05/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.05/1797.00 c vbounds : 0.87 0.87 0.00
1797.05/1797.00 c rootredcost : 0.94 0.94 0.00
1797.05/1797.00 c pseudoobj : 23.86 23.86 0.00
1797.05/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.05/1797.00 c propagation : 0.00 14 0 0 0.0 0 0.0 -
1797.05/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.00 c applied globally : - - - 0 0.0 - - -
1797.05/1797.00 c applied locally : - - - 0 0.0 - - -
1797.05/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.05/1797.00 c cut pool : 0.08 69 - - 183 - (maximal pool size: 3455)
1797.05/1797.00 c redcost : 14.61 3138622 0 367682 0 0
1797.05/1797.00 c impliedbounds : 0.01 70 0 0 1573 0
1797.05/1797.00 c intobj : 0.00 0 0 0 0 0
1797.05/1797.00 c gomory : 1.75 70 0 0 11474 0
1797.05/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.05/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.05/1797.00 c strongcg : 0.35 20 0 0 8935 0
1797.05/1797.00 c cmir : 0.06 10 0 0 0 0
1797.05/1797.00 c flowcover : 0.05 10 0 0 0 0
1797.05/1797.00 c clique : 0.18 70 0 0 584 0
1797.05/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.05/1797.00 c mcf : 0.00 1 0 0 0 0
1797.05/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.05/1797.00 c rapidlearning : 0.00 0 0 0 0 0
1797.05/1797.00 c Pricers : Time Calls Vars
1797.05/1797.00 c problem variables: 0.00 0 0
1797.05/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.05/1797.00 c relpscost : 36.49 1872827 236 1933 0 0 3743582
1797.05/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.05/1797.00 c inference : 0.00 0 0 0 0 0 0
1797.05/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.05/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.05/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.00 c random : 0.00 0 0 0 0 0 0
1797.05/1797.00 c Primal Heuristics : Time Calls Found
1797.05/1797.00 c LP solutions : 0.02 - 7
1797.05/1797.00 c pseudo solutions : 0.00 - 0
1797.05/1797.00 c feaspump : 0.08 0 0
1797.05/1797.00 c oneopt : 0.82 9 1
1797.05/1797.00 c crossover : 1.06 33 0
1797.05/1797.00 c coefdiving : 0.30 293 2
1797.05/1797.00 c linesearchdiving : 0.31 293 3
1797.05/1797.00 c guideddiving : 0.33 293 3
1797.05/1797.00 c fracdiving : 0.34 293 3
1797.05/1797.00 c pscostdiving : 0.30 293 4
1797.05/1797.00 c veclendiving : 0.27 293 3
1797.05/1797.00 c objpscostdiving : 0.16 147 1
1797.05/1797.00 c rootsoldiving : 0.33 147 2
1797.05/1797.00 c trivial : 0.00 2 1
1797.05/1797.00 c shiftandpropagate: 0.00 0 0
1797.05/1797.00 c simplerounding : 45.70 1875122 516
1797.05/1797.00 c zirounding : 0.64 1000 11
1797.05/1797.00 c rounding : 4.04 66374 1
1797.05/1797.00 c shifting : 0.66 8568 1
1797.05/1797.00 c intshifting : 0.04 0 0
1797.05/1797.00 c twoopt : 0.00 0 0
1797.05/1797.00 c fixandinfer : 0.00 0 0
1797.05/1797.00 c clique : 0.00 0 0
1797.05/1797.00 c intdiving : 0.00 0 0
1797.05/1797.00 c actconsdiving : 0.00 0 0
1797.05/1797.00 c octane : 0.00 0 0
1797.05/1797.00 c rens : 0.00 0 0
1797.05/1797.00 c rins : 0.00 0 0
1797.05/1797.00 c localbranching : 0.00 0 0
1797.05/1797.00 c mutation : 0.00 0 0
1797.05/1797.00 c dins : 0.00 0 0
1797.05/1797.00 c vbounds : 0.00 0 0
1797.05/1797.00 c undercover : 0.00 0 0
1797.05/1797.00 c subnlp : 0.49 0 0
1797.05/1797.00 c trysol : 0.71 0 0
1797.05/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.05/1797.00 c primal LP : 37.35 0 0 0.00 0.00
1797.05/1797.00 c dual LP : 1105.30 4607326 42696127 9.27 38628.55
1797.05/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.05/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.05/1797.00 c diving/probing LP: 1.12 5571 29126 5.23 25953.47
1797.05/1797.00 c strong branching : 16.71 28449 433426 15.24 25941.58
1797.05/1797.00 c (at root node) : - 22 15644 711.09 -
1797.05/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.05/1797.00 c B&B Tree :
1797.05/1797.00 c number of runs : 1
1797.05/1797.00 c nodes : 3541131
1797.05/1797.00 c nodes (total) : 3541131
1797.05/1797.00 c nodes left : 190301
1797.05/1797.00 c max depth : 109
1797.05/1797.00 c max depth (total): 109
1797.05/1797.00 c backtracks : 412018 (11.6%)
1797.05/1797.00 c delayed cutoffs : 0
1797.05/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.05/1797.00 c avg switch length: 5.27
1797.05/1797.00 c switching time : 144.40
1797.05/1797.00 c Solution :
1797.05/1797.00 c Solutions found : 559 (10 improvements)
1797.05/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1797.05/1797.00 c Primal Bound : -2.90000000000000e+01 (in run 1, after 240811 nodes, 171.15 seconds, depth 48, found by <relaxation>)
1797.05/1797.00 c Dual Bound : -3.60000000000000e+01
1797.05/1797.00 c Gap : 19.44 %
1797.05/1797.00 c Root Dual Bound : -4.87894434812784e+01
1797.05/1797.00 c Root Iterations : 12136
1797.65/1797.66 c Time complete: 1797.72.
OK -29
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-3485159-1307784739/watcher-3485159-1307784739 -o /tmp/evaluation-result-3485159-1307784739/solver-3485159-1307784739 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485159-1307784739.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: 1.77 1.94 1.85 2/174 1854 /proc/meminfo: memFree=31520372/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=6720 CPUtime=0 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 828 0 0 0 0 0 0 0 25 0 1 0 890074349 6881280 782 33554432000 4194304 8979876 140735657044272 18446744073709551615 7841099 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1854/statm: 1680 783 316 1169 0 507 0 [startup+0.0196659 s] /proc/loadavg: 1.77 1.94 1.85 2/174 1854 /proc/meminfo: memFree=31520372/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=20392 CPUtime=0.01 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 3852 0 0 0 1 0 0 0 25 0 1 0 890074349 20881408 3806 33554432000 4194304 8979876 140735657044272 18446744073709551615 4934064 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 5098 3806 456 1169 0 3925 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 20392 [startup+0.100659 s] /proc/loadavg: 1.77 1.94 1.85 2/174 1854 /proc/meminfo: memFree=31520372/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=30504 CPUtime=0.09 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 6789 0 0 0 9 0 0 0 25 0 1 0 890074349 31236096 6486 33554432000 4194304 8979876 140735657044272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 7626 6486 616 1169 0 6453 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 30504 [startup+0.300609 s] /proc/loadavg: 1.77 1.94 1.85 2/174 1854 /proc/meminfo: memFree=31520372/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=33036 CPUtime=0.29 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 7498 0 0 0 28 1 0 0 25 0 1 0 890074349 33828864 7148 33554432000 4194304 8979876 140735657044272 18446744073709551615 6440719 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 8259 7148 657 1169 0 7086 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 33036 [startup+0.700535 s] /proc/loadavg: 1.77 1.94 1.85 2/174 1854 /proc/meminfo: memFree=31520372/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=39252 CPUtime=0.69 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 8988 0 0 0 67 2 0 0 25 0 1 0 890074349 40194048 8634 33554432000 4194304 8979876 140735657044272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 9813 8634 654 1169 0 8640 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 39252 [startup+1.50039 s] /proc/loadavg: 1.77 1.94 1.85 3/175 1855 /proc/meminfo: memFree=31484180/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=49928 CPUtime=1.49 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 11742 0 0 0 145 4 0 0 25 0 1 0 890074349 51126272 11361 33554432000 4194304 8979876 140735657044272 18446744073709551615 6413097 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 12482 11361 662 1169 0 11309 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49928 [startup+3.1011 s] /proc/loadavg: 1.78 1.94 1.85 3/175 1855 /proc/meminfo: memFree=31468680/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=55744 CPUtime=3.09 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 13249 0 0 0 302 7 0 0 25 0 1 0 890074349 57081856 12859 33554432000 4194304 8979876 140735657044272 18446744073709551615 6412748 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 13936 12859 679 1169 0 12763 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 55744 [startup+6.30051 s] /proc/loadavg: 1.78 1.94 1.85 3/175 1855 /proc/meminfo: memFree=31459032/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=56768 CPUtime=6.29 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 14078 0 0 0 604 25 0 0 25 0 1 0 890074349 58130432 13205 33554432000 4194304 8979876 140735657044272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 14192 13205 695 1169 0 13019 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 56768 [startup+12.7003 s] /proc/loadavg: 1.90 1.96 1.86 3/175 1855 /proc/meminfo: memFree=31442044/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=57680 CPUtime=12.69 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 26135 0 0 0 1187 82 0 0 25 0 1 0 890074349 59064320 13467 33554432000 4194304 8979876 140735657044272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 14420 13467 701 1169 0 13247 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 57680 [startup+25.5009 s] /proc/loadavg: 1.91 1.96 1.86 3/175 1856 /proc/meminfo: memFree=31426484/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=66472 CPUtime=25.49 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 33971 0 0 0 2355 194 0 0 25 0 1 0 890074349 68067328 15602 33554432000 4194304 8979876 140735657044272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 16618 15602 701 1169 0 15445 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 66472 [startup+51.1002 s] /proc/loadavg: 1.94 1.96 1.86 3/175 1856 /proc/meminfo: memFree=31411916/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=81480 CPUtime=51.09 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 39646 0 0 0 4681 428 0 0 25 0 1 0 890074349 83435520 19384 33554432000 4194304 8979876 140735657044272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 20370 19384 701 1169 0 19197 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 81480 [startup+102.307 s] /proc/loadavg: 1.97 1.97 1.87 3/175 1858 /proc/meminfo: memFree=31389876/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=103836 CPUtime=102.3 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 62834 0 0 0 9333 897 0 0 25 0 1 0 890074349 106328064 25011 33554432000 4194304 8979876 140735657044272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 25959 25011 701 1169 0 24786 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 103836 [startup+162.301 s] /proc/loadavg: 1.99 1.97 1.87 3/175 1859 /proc/meminfo: memFree=31365064/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=124768 CPUtime=162.29 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 70032 0 0 0 14798 1431 0 0 25 0 1 0 890074349 127762432 30308 33554432000 4194304 8979876 140735657044272 18446744073709551615 4355545 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 31192 30308 701 1169 0 30019 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 124768 [startup+222.3 s] /proc/loadavg: 1.99 1.97 1.88 3/175 1861 /proc/meminfo: memFree=31354972/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=134352 CPUtime=222.29 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 86672 0 0 0 20258 1971 0 0 25 0 1 0 890074349 137576448 32757 33554432000 4194304 8979876 140735657044272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 33588 32757 701 1169 0 32415 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 134352 [startup+282.3 s] /proc/loadavg: 1.99 1.97 1.88 3/175 1862 /proc/meminfo: memFree=31340512/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=151564 CPUtime=282.3 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 92902 0 0 0 25719 2511 0 0 25 0 1 0 890074349 155201536 37094 33554432000 4194304 8979876 140735657044272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 37891 37094 701 1169 0 36718 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 151564 [startup+342.3 s] /proc/loadavg: 1.99 1.97 1.89 3/175 1864 /proc/meminfo: memFree=31323704/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=170016 CPUtime=342.31 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 98947 0 0 0 31185 3046 0 0 25 0 1 0 890074349 174096384 41237 33554432000 4194304 8979876 140735657044272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 42504 41237 701 1169 0 41331 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 170016 [startup+402.301 s] /proc/loadavg: 1.99 1.97 1.90 3/175 1866 /proc/meminfo: memFree=31304408/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=184904 CPUtime=402.31 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 102697 0 0 0 36645 3586 0 0 25 0 1 0 890074349 189341696 44987 33554432000 4194304 8979876 140735657044272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 46226 44987 701 1169 0 45053 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 184904 [startup+462.301 s] /proc/loadavg: 1.99 1.97 1.90 3/175 1867 /proc/meminfo: memFree=31288444/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=200124 CPUtime=462.31 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 108446 0 0 0 42109 4122 0 0 25 0 1 0 890074349 204926976 48818 33554432000 4194304 8979876 140735657044272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 50031 48818 701 1169 0 48858 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 200124 [startup+522.301 s] /proc/loadavg: 1.99 1.97 1.91 3/175 1869 /proc/meminfo: memFree=31264560/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=215344 CPUtime=522.31 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 112281 0 0 0 47572 4659 0 0 25 0 1 0 890074349 220512256 52653 33554432000 4194304 8979876 140735657044272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 53836 52653 701 1169 0 52663 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 215344 [startup+582.301 s] /proc/loadavg: 2.06 1.99 1.91 3/175 1870 /proc/meminfo: memFree=31249968/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=228520 CPUtime=582.31 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 115621 0 0 0 53039 5192 0 0 25 0 1 0 890074349 234004480 55993 33554432000 4194304 8979876 140735657044272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 57130 55993 701 1169 0 55957 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 228520 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=31120360/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=305712 CPUtime=1122.33 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 139178 0 0 0 102365 9868 0 0 25 0 1 0 890074349 313049088 75475 33554432000 4194304 8979876 140735657044272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 76428 75475 701 1169 0 75255 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 305712 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.92 3/175 1886 /proc/meminfo: memFree=31106652/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=312944 CPUtime=1182.33 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 140987 0 0 0 107842 10391 0 0 25 0 1 0 890074349 320454656 77284 33554432000 4194304 8979876 140735657044272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 78236 77284 701 1169 0 77063 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 312944 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.92 3/175 1888 /proc/meminfo: memFree=31084388/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=320176 CPUtime=1242.33 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 142812 0 0 0 113309 10924 0 0 25 0 1 0 890074349 327860224 79109 33554432000 4194304 8979876 140735657044272 18446744073709551615 4355469 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 80044 79109 701 1169 0 78871 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 320176 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.92 3/175 1890 /proc/meminfo: memFree=31069444/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=327668 CPUtime=1302.34 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 144694 0 0 0 118792 11442 0 0 25 0 1 0 890074349 335532032 80991 33554432000 4194304 8979876 140735657044272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 81917 80991 701 1169 0 80744 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 327668 [startup+1362.3 s] /proc/loadavg: 2.04 2.01 1.93 3/175 1891 /proc/meminfo: memFree=31054632/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=331700 CPUtime=1362.34 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 145714 0 0 0 124265 11969 0 0 25 0 1 0 890074349 339660800 82011 33554432000 4194304 8979876 140735657044272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 82925 82011 701 1169 0 81752 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 331700 [startup+1422.31 s] /proc/loadavg: 2.01 2.01 1.93 3/175 1893 /proc/meminfo: memFree=31044780/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=339328 CPUtime=1422.35 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 147645 0 0 0 129737 12498 0 0 25 0 1 0 890074349 347471872 83942 33554432000 4194304 8979876 140735657044272 18446744073709551615 4304262 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 84832 83942 701 1169 0 83659 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 339328 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.93 3/175 1894 /proc/meminfo: memFree=31031708/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=345012 CPUtime=1482.34 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 149075 0 0 0 135209 13025 0 0 25 0 1 0 890074349 353292288 85372 33554432000 4194304 8979876 140735657044272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 86253 85372 701 1169 0 85080 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 345012 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.93 3/175 1896 /proc/meminfo: memFree=31012804/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=350908 CPUtime=1542.34 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 150564 0 0 0 140687 13547 0 0 25 0 1 0 890074349 359329792 86861 33554432000 4194304 8979876 140735657044272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 87727 86861 701 1169 0 86554 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 350908 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.93 3/175 1898 /proc/meminfo: memFree=30999336/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=356396 CPUtime=1602.35 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 151945 0 0 0 146164 14071 0 0 25 0 1 0 890074349 364949504 88242 33554432000 4194304 8979876 140735657044272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 89099 88242 701 1169 0 87926 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 356396 [startup+1662.3 s] /proc/loadavg: 2.05 2.01 1.93 3/175 1899 /proc/meminfo: memFree=30983028/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=363692 CPUtime=1662.34 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 153783 0 0 0 151636 14598 0 0 25 0 1 0 890074349 372420608 90080 33554432000 4194304 8979876 140735657044272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 90923 90080 701 1169 0 89750 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 363692 [startup+1722.3 s] /proc/loadavg: 2.02 2.01 1.93 3/175 1901 /proc/meminfo: memFree=30972804/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=368940 CPUtime=1722.35 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 157007 0 0 0 157118 15117 0 0 25 0 1 0 890074349 377794560 91397 33554432000 4194304 8979876 140735657044272 18446744073709551615 18446744073699065939 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 92235 91397 701 1169 0 91062 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 368940 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.93 3/175 1911 /proc/meminfo: memFree=30955532/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=373916 CPUtime=1782.35 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 158259 0 0 0 162599 15636 0 0 25 0 1 0 890074349 382889984 92649 33554432000 4194304 8979876 140735657044272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 93479 92649 701 1169 0 92306 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 373916 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 1.93 3/175 1911 /proc/meminfo: memFree=30954912/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=374300 CPUtime=1785.55 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 158356 0 0 0 162890 15665 0 0 25 0 1 0 890074349 383283200 92746 33554432000 4194304 8979876 140735657044272 18446744073709551615 6547142 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 93575 92746 701 1169 0 92402 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (KiB) 374300 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.93 3/175 1912 /proc/meminfo: memFree=30954412/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=374300 CPUtime=1791.96 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 158357 0 0 0 163478 15718 0 0 25 0 1 0 890074349 383283200 92747 33554432000 4194304 8979876 140735657044272 18446744073709551615 6546882 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 93575 92747 701 1169 0 92402 0 Current children cumulated CPU time (s) 1791.96 Current children cumulated vsize (KiB) 374300 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 1.93 3/175 1912 /proc/meminfo: memFree=30954408/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=374300 CPUtime=1795.15 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 158357 0 0 0 163768 15747 0 0 25 0 1 0 890074349 383283200 92747 33554432000 4194304 8979876 140735657044272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 93575 92747 701 1169 0 92402 0 Current children cumulated CPU time (s) 1795.15 Current children cumulated vsize (KiB) 374300 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 1.93 3/175 1950 /proc/meminfo: memFree=31152356/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=374300 CPUtime=1796.76 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 158359 0 0 0 163914 15762 0 0 25 0 1 0 890074349 383283200 92749 33554432000 4194304 8979876 140735657044272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/1854/statm: 93575 92749 701 1169 0 92402 0 Current children cumulated CPU time (s) 1796.76 Current children cumulated vsize (KiB) 374300 [startup+1797.1 s] /proc/loadavg: 2.00 2.00 1.93 3/175 1950 /proc/meminfo: memFree=31152356/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=374300 CPUtime=1797.15 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 158362 0 0 0 163951 15764 0 0 18 0 1 0 890074349 383283200 92752 33554432000 4194304 8979876 140735657044272 18446744073709551615 6778247 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1854/statm: 93575 92752 704 1169 0 92402 0 Current children cumulated CPU time (s) 1797.15 Current children cumulated vsize (KiB) 374300 [startup+1797.5 s] /proc/loadavg: 2.00 2.00 1.93 3/175 1950 /proc/meminfo: memFree=31125072/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=374300 CPUtime=1797.55 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 158362 0 0 0 163991 15764 0 0 18 0 1 0 890074349 383283200 92752 33554432000 4194304 8979876 140735657044272 18446744073709551615 6778271 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1854/statm: 93575 92752 704 1169 0 92402 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (KiB) 374300 [startup+1797.6 s] /proc/loadavg: 2.00 2.00 1.93 3/175 1950 /proc/meminfo: memFree=31125072/32951124 swapFree=67064368/67111528 [pid=1854] ppid=1852 vsize=374300 CPUtime=1797.65 cores=1,3,5,7 /proc/1854/stat : 1854 (scip-2.0.1.4_2.) R 1852 1854 1656 0 -1 4202496 158362 0 0 0 164001 15764 0 0 18 0 1 0 890074349 383283200 92752 33554432000 4194304 8979876 140735657044272 18446744073709551615 4841377 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1854/statm: 93575 92752 704 1169 0 92402 0 Current children cumulated CPU time (s) 1797.65 Current children cumulated vsize (KiB) 374300 Child status: 0 Real time (s): 1797.67 CPU time (s): 1797.73 CPU user time (s): 1640.07 CPU system time (s): 157.658 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 374300 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1640.07 system time used= 157.658 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 158367 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= 2486 runsolver used 2.47462 second user time and 5.72313 second system time The end
Begin job on node105 at 2011-06-11 11:32:19 IDJOB=3485159 IDBENCH=48205 IDSOLVER=1977 FILE ID=node105/3485159-1307784739 RUNJOBID= node105-1307784737-1675 PBS_JOBID= 13550907 Free space on /tmp= 74060 MiB SOLVER NAME= SCIP spx 2 2011-06-10 (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_5.opb COMMAND LINE= HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3485159-1307784739/watcher-3485159-1307784739 -o /tmp/evaluation-result-3485159-1307784739/solver-3485159-1307784739 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485159-1307784739.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cdccc05ac387e7ee9cb8ab81f53ca6f8 RANDOM SEED=119082038 node105.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.825 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.65 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.825 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 : 5226.15 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.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 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.825 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 : 5410.70 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.825 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.74 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.825 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.825 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: 31520924 kB Buffers: 281364 kB Cached: 806700 kB SwapCached: 20132 kB Active: 555168 kB Inactive: 648020 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31520924 kB SwapTotal: 67111528 kB SwapFree: 67064368 kB Dirty: 34392 kB Writeback: 0 kB AnonPages: 112564 kB Mapped: 13056 kB Slab: 161908 kB PageTables: 4608 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 268716 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74040 MiB End job on node105 at 2011-06-11 12:02:17