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.75 | 1797.78 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_3.opb |
| MD5SUM | 1b4456ec5e57b53956abc30521c99789 |
| 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 | -29 |
| Best CPU time to get the best result obtained on this benchmark | 1797.75 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -30 |
| 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 | 45 |
| 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) | 6216 |
| Sum of products size (including duplicates) | 12432 |
| Number of different products | 3108 |
| Sum of products size | 6216 |
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-3485166-1307784849.opb>
0.00/0.00 c original problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.02 o 0
0.00/0.02 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.02 c presolving:
0.00/0.05 c (round 1) 3108 del vars, 200 del conss, 0 add conss, 3108 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12432 impls, 0 clqs
0.00/0.06 c (round 2) 3108 del vars, 200 del conss, 0 add conss, 3108 chg bounds, 0 chg sides, 0 chg coeffs, 3108 upgd conss, 18648 impls, 0 clqs
0.00/0.09 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.09 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.00/0.09 c presolving (3 rounds):
0.00/0.09 c 3108 deleted vars, 200 deleted constraints, 0 added constraints, 3108 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.09 c 18648 implications, 0 cliques
0.00/0.09 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 3108 constraints
0.00/0.09 c 3108 constraints of type <logicor>
0.00/0.09 c transformed objective value is always integral (scale: 1)
0.00/0.09 c Presolving Time: 0.08
0.00/0.09 c - non default parameters ----------------------------------------------------------------------
0.00/0.09 c # SCIP version 2.0.1.4
0.00/0.09 c
0.00/0.09 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.09 c conflict/interconss = 0
0.00/0.09 c
0.00/0.09 c # should binary conflicts be preferred?
0.00/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09 c conflict/preferbinary = TRUE
0.00/0.09 c
0.00/0.09 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.09 c constraints/agelimit = 1
0.00/0.09 c
0.00/0.09 c # should enforcement of pseudo solution be disabled?
0.00/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09 c constraints/disableenfops = TRUE
0.00/0.09 c
0.00/0.09 c # frequency for displaying node information lines
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.09 c display/freq = 10000
0.00/0.09 c
0.00/0.09 c # maximal time in seconds to run
0.00/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.09 c limits/time = 1797
0.00/0.09 c
0.00/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.09 c limits/memory = 13950
0.00/0.09 c
0.00/0.09 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.09 c # [type: int, range: [1,2], default: 1]
0.00/0.09 c timing/clocktype = 2
0.00/0.09 c
0.00/0.09 c # belongs reading time to solving time?
0.00/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09 c timing/reading = TRUE
0.00/0.09 c
0.00/0.09 c # should presolving try to simplify inequalities
0.00/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09 c constraints/linear/simplifyinequalities = TRUE
0.00/0.09 c
0.00/0.09 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09 c constraints/indicator/addCouplingCons = TRUE
0.00/0.09 c
0.00/0.09 c # should presolving try to simplify knapsacks
0.00/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.09 c
0.00/0.09 c -----------------------------------------------------------------------------------------------
0.00/0.09 c start solving
0.00/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 | 202 | - |6889k| 0 | 200 | 200 |3108 | 200 |3108 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.09/0.10 o -1
0.09/0.10 c R 0.1s| 1 | 0 | 202 | - |6892k| 0 | 200 | 200 |3108 | 200 |3108 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
0.09/0.14 c 0.1s| 1 | 0 | 293 | - |6901k| 0 | 189 | 200 |3108 | 200 |3117 | 9 | 0 | 0 |-9.450000e+01 |-1.000000e+00 | 98.94%
0.09/0.14 o -18
0.09/0.14 c b 0.1s| 1 | 0 | 293 | - |6907k| 0 | 189 | 200 |3108 | 200 |3117 | 9 | 0 | 0 |-9.450000e+01 |-1.800000e+01 | 80.95%
0.09/0.20 c 0.2s| 1 | 0 | 405 | - |6913k| 0 | 183 | 200 |3108 | 200 |3125 | 17 | 0 | 0 |-9.150000e+01 |-1.800000e+01 | 80.33%
0.19/0.28 c 0.3s| 1 | 0 | 605 | - |6927k| 0 | 177 | 200 |3108 | 200 |3132 | 24 | 0 | 0 |-8.850000e+01 |-1.800000e+01 | 79.66%
0.29/0.34 c 0.3s| 1 | 0 | 741 | - |6937k| 0 | 172 | 200 |3108 | 200 |3141 | 33 | 0 | 0 |-8.600000e+01 |-1.800000e+01 | 79.07%
0.39/0.40 c 0.4s| 1 | 0 | 801 | - |6952k| 0 | 169 | 200 |3108 | 200 |3147 | 39 | 0 | 0 |-8.450000e+01 |-1.800000e+01 | 78.70%
0.39/0.46 c 0.5s| 1 | 0 | 899 | - |6966k| 0 | 165 | 200 |3108 | 200 |3156 | 48 | 0 | 0 |-8.250000e+01 |-1.800000e+01 | 78.18%
0.49/0.54 c 0.5s| 1 | 0 | 1018 | - |7060k| 0 | 168 | 200 |3108 | 200 |3163 | 55 | 0 | 0 |-8.175000e+01 |-1.800000e+01 | 77.98%
0.59/0.64 c 0.6s| 1 | 0 | 1242 | - |7165k| 0 | 157 | 200 |3108 | 200 |3172 | 64 | 0 | 0 |-7.850000e+01 |-1.800000e+01 | 77.07%
0.69/0.71 c 0.7s| 1 | 0 | 1391 | - |7181k| 0 | 152 | 200 |3108 | 200 |3180 | 72 | 0 | 0 |-7.600000e+01 |-1.800000e+01 | 76.32%
0.79/0.82 c 0.8s| 1 | 0 | 1762 | - |7206k| 0 | 160 | 200 |3108 | 200 |3188 | 80 | 0 | 0 |-7.465385e+01 |-1.800000e+01 | 75.89%
0.79/0.89 c 0.9s| 1 | 0 | 1879 | - |7357k| 0 | 162 | 200 |3108 | 200 | 486 | 91 | 0 | 0 |-7.385000e+01 |-1.800000e+01 | 75.63%
0.89/0.92 c 0.9s| 1 | 0 | 2086 | - |7718k| 0 | 158 | 200 |3108 | 200 | 494 | 99 | 0 | 0 |-7.286111e+01 |-1.800000e+01 | 75.30%
0.89/0.96 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.96 c 1.0s| 1 | 0 | 2264 | - |7989k| 0 | 156 | 200 |3108 | 200 | 532 | 137 | 0 | 0 |-7.170000e+01 |-1.800000e+01 | 74.90%
1.00/1.01 c 1.0s| 1 | 0 | 2607 | - |8069k| 0 | 160 | 200 |3108 | 200 | 582 | 187 | 0 | 0 |-7.093750e+01 |-1.800000e+01 | 74.63%
1.00/1.06 c 1.1s| 1 | 0 | 2796 | - |8536k| 0 | 149 | 200 |3108 | 200 | 602 | 207 | 0 | 0 |-6.983333e+01 |-1.800000e+01 | 74.22%
1.00/1.10 c 1.1s| 1 | 0 | 2890 | - |8806k| 0 | 136 | 200 |3108 | 200 | 621 | 226 | 0 | 0 |-6.900000e+01 |-1.800000e+01 | 73.91%
1.10/1.15 c 1.1s| 1 | 0 | 3117 | - |8901k| 0 | 168 | 200 |3108 | 200 | 507 | 250 | 0 | 0 |-6.798250e+01 |-1.800000e+01 | 73.52%
1.19/1.22 c 1.2s| 1 | 0 | 3391 | - |9858k| 0 | 155 | 200 |3108 | 200 | 784 | 527 | 0 | 0 |-6.641667e+01 |-1.800000e+01 | 72.90%
1.19/1.27 c 1.3s| 1 | 0 | 3605 | - |9980k| 0 | 154 | 200 |3108 | 200 | 824 | 567 | 0 | 0 |-6.450000e+01 |-1.800000e+01 | 72.09%
1.29/1.35 c 1.4s| 1 | 0 | 4035 | - | 10M| 0 | 167 | 200 |3108 | 200 | 852 | 595 | 0 | 0 |-6.364181e+01 |-1.800000e+01 | 71.72%
1.39/1.42 c 1.4s| 1 | 0 | 4340 | - | 10M| 0 | 152 | 200 |3108 | 200 | 972 | 715 | 0 | 0 |-6.252885e+01 |-1.800000e+01 | 71.21%
1.39/1.48 c 1.5s| 1 | 0 | 4729 | - | 11M| 0 | 169 | 200 |3108 | 200 |1000 | 743 | 0 | 0 |-6.138954e+01 |-1.800000e+01 | 70.68%
1.49/1.56 c 1.6s| 1 | 0 | 5015 | - | 11M| 0 | 169 | 200 |3108 | 200 | 920 | 796 | 0 | 0 |-6.032368e+01 |-1.800000e+01 | 70.16%
1.59/1.63 c 1.6s| 1 | 0 | 5364 | - | 13M| 0 | 165 | 200 |3108 | 200 | 955 | 831 | 0 | 0 |-5.922727e+01 |-1.800000e+01 | 69.61%
1.69/1.71 c 1.7s| 1 | 0 | 5862 | - | 14M| 0 | 162 | 200 |3108 | 200 | 986 | 862 | 0 | 0 |-5.828963e+01 |-1.800000e+01 | 69.12%
1.69/1.80 c 1.8s| 1 | 0 | 6221 | - | 15M| 0 | 180 | 200 |3108 | 200 | 997 | 873 | 0 | 0 |-5.729491e+01 |-1.800000e+01 | 68.58%
1.89/1.90 c 1.9s| 1 | 0 | 6710 | - | 15M| 0 | 176 | 200 |3108 | 200 |1049 | 925 | 0 | 0 |-5.662639e+01 |-1.800000e+01 | 68.21%
1.99/2.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.99/2.00 c 2.0s| 1 | 0 | 7263 | - | 15M| 0 | 182 | 200 |3108 | 200 |1066 | 942 | 0 | 0 |-5.599511e+01 |-1.800000e+01 | 67.85%
2.09/2.11 c 2.1s| 1 | 0 | 7760 | - | 15M| 0 | 179 | 200 |3108 | 200 | 700 | 964 | 0 | 0 |-5.548003e+01 |-1.800000e+01 | 67.56%
2.09/2.17 c 2.2s| 1 | 0 | 7963 | - | 15M| 0 | 182 | 200 |3108 | 200 | 715 | 979 | 0 | 0 |-5.476297e+01 |-1.800000e+01 | 67.13%
2.19/2.23 c 2.2s| 1 | 0 | 8263 | - | 15M| 0 | 177 | 200 |3108 | 200 | 738 |1002 | 0 | 0 |-5.405063e+01 |-1.800000e+01 | 66.70%
2.29/2.30 c 2.3s| 1 | 0 | 8500 | - | 15M| 0 | 184 | 200 |3108 | 200 | 775 |1039 | 0 | 0 |-5.350434e+01 |-1.800000e+01 | 66.36%
2.29/2.37 c 2.4s| 1 | 0 | 8838 | - | 15M| 0 | 185 | 200 |3108 | 200 | 799 |1063 | 0 | 0 |-5.320490e+01 |-1.800000e+01 | 66.17%
2.39/2.44 c 2.4s| 1 | 0 | 9076 | - | 15M| 0 | 182 | 200 |3108 | 200 | 811 |1075 | 0 | 0 |-5.288758e+01 |-1.800000e+01 | 65.97%
2.49/2.51 c 2.5s| 1 | 0 | 9207 | - | 15M| 0 | 184 | 200 |3108 | 200 | 567 |1089 | 0 | 0 |-5.264681e+01 |-1.800000e+01 | 65.81%
2.49/2.55 c 2.6s| 1 | 0 | 9339 | - | 15M| 0 | 189 | 200 |3108 | 200 | 587 |1109 | 0 | 0 |-5.237478e+01 |-1.800000e+01 | 65.63%
2.59/2.60 c 2.6s| 1 | 0 | 9434 | - | 15M| 0 | 192 | 200 |3108 | 200 | 609 |1131 | 0 | 0 |-5.221919e+01 |-1.800000e+01 | 65.53%
2.59/2.65 c 2.7s| 1 | 0 | 9568 | - | 15M| 0 | 192 | 200 |3108 | 200 | 626 |1148 | 0 | 0 |-5.210030e+01 |-1.800000e+01 | 65.45%
2.69/2.70 c 2.7s| 1 | 0 | 9634 | - | 15M| 0 | 194 | 200 |3108 | 200 | 637 |1159 | 0 | 0 |-5.201134e+01 |-1.800000e+01 | 65.39%
2.69/2.75 c 2.7s| 1 | 0 | 9759 | - | 15M| 0 | 190 | 200 |3108 | 200 | 650 |1172 | 0 | 0 |-5.188802e+01 |-1.800000e+01 | 65.31%
2.79/2.80 c 2.8s| 1 | 0 | 9870 | - | 15M| 0 | 196 | 200 |3108 | 200 | 520 |1181 | 0 | 0 |-5.176166e+01 |-1.800000e+01 | 65.23%
2.79/2.84 c 2.8s| 1 | 0 | 9965 | - | 15M| 0 | 195 | 200 |3108 | 200 | 529 |1190 | 0 | 0 |-5.158734e+01 |-1.800000e+01 | 65.11%
2.79/2.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.79/2.88 c 2.9s| 1 | 0 | 10066 | - | 15M| 0 | 197 | 200 |3108 | 200 | 537 |1198 | 0 | 0 |-5.148732e+01 |-1.800000e+01 | 65.04%
2.89/2.93 c 2.9s| 1 | 0 | 10211 | - | 15M| 0 | 195 | 200 |3108 | 200 | 553 |1214 | 0 | 0 |-5.133121e+01 |-1.800000e+01 | 64.93%
2.89/2.98 c 3.0s| 1 | 0 | 10311 | - | 15M| 0 | 195 | 200 |3108 | 200 | 564 |1225 | 0 | 0 |-5.124217e+01 |-1.800000e+01 | 64.87%
2.99/3.02 c 3.0s| 1 | 0 | 10478 | - | 15M| 0 | 195 | 200 |3108 | 200 | 574 |1235 | 0 | 0 |-5.108995e+01 |-1.800000e+01 | 64.77%
2.99/3.07 c 3.1s| 1 | 0 | 10625 | - | 15M| 0 | 198 | 200 |3108 | 200 | 472 |1241 | 0 | 0 |-5.101616e+01 |-1.800000e+01 | 64.72%
3.09/3.12 c 3.1s| 1 | 0 | 10754 | - | 15M| 0 | 199 | 200 |3108 | 200 | 482 |1251 | 0 | 0 |-5.091721e+01 |-1.800000e+01 | 64.65%
3.09/3.16 c 3.2s| 1 | 0 | 10906 | - | 15M| 0 | 196 | 200 |3108 | 200 | 495 |1264 | 0 | 0 |-5.073639e+01 |-1.800000e+01 | 64.52%
3.20/3.20 c 3.2s| 1 | 0 | 11031 | - | 15M| 0 | 198 | 200 |3108 | 200 | 503 |1272 | 0 | 0 |-5.057967e+01 |-1.800000e+01 | 64.41%
3.20/3.25 c 3.3s| 1 | 0 | 11237 | - | 15M| 0 | 199 | 200 |3108 | 200 | 518 |1287 | 0 | 0 |-5.038065e+01 |-1.800000e+01 | 64.27%
3.30/3.30 c 3.3s| 1 | 0 | 11436 | - | 15M| 0 | 198 | 200 |3108 | 200 | 526 |1295 | 0 | 0 |-5.025147e+01 |-1.800000e+01 | 64.18%
3.30/3.35 c 3.3s| 1 | 0 | 11502 | - | 15M| 0 | 199 | 200 |3108 | 200 | 483 |1302 | 0 | 0 |-5.020966e+01 |-1.800000e+01 | 64.15%
3.30/3.39 c 3.4s| 1 | 0 | 11648 | - | 15M| 0 | 199 | 200 |3108 | 200 | 492 |1311 | 0 | 0 |-5.009118e+01 |-1.800000e+01 | 64.07%
3.39/3.43 c 3.4s| 1 | 0 | 11755 | - | 15M| 0 | 199 | 200 |3108 | 200 | 502 |1321 | 0 | 0 |-5.003604e+01 |-1.800000e+01 | 64.03%
3.39/3.47 c 3.5s| 1 | 0 | 11841 | - | 15M| 0 | 198 | 200 |3108 | 200 | 512 |1331 | 0 | 0 |-4.997070e+01 |-1.800000e+01 | 63.98%
3.49/3.51 c 3.5s| 1 | 0 | 11888 | - | 15M| 0 | 199 | 200 |3108 | 200 | 518 |1337 | 0 | 0 |-4.994500e+01 |-1.800000e+01 | 63.96%
3.49/3.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.49/3.56 c 3.6s| 1 | 0 | 12066 | - | 15M| 0 | 200 | 200 |3108 | 200 | 529 |1348 | 0 | 0 |-4.986280e+01 |-1.800000e+01 | 63.90%
3.59/3.61 c 3.6s| 1 | 0 | 12182 | - | 15M| 0 | 199 | 200 |3108 | 200 | 485 |1354 | 0 | 0 |-4.983678e+01 |-1.800000e+01 | 63.88%
3.59/3.65 c 3.7s| 1 | 0 | 12297 | - | 15M| 0 | 200 | 200 |3108 | 200 | 496 |1365 | 0 | 0 |-4.980496e+01 |-1.800000e+01 | 63.86%
3.59/3.69 c 3.7s| 1 | 0 | 12375 | - | 15M| 0 | 200 | 200 |3108 | 200 | 504 |1373 | 0 | 0 |-4.978039e+01 |-1.800000e+01 | 63.84%
3.69/3.73 c 3.7s| 1 | 0 | 12447 | - | 15M| 0 | 200 | 200 |3108 | 200 | 513 |1382 | 0 | 0 |-4.975822e+01 |-1.800000e+01 | 63.83%
3.69/3.77 c 3.8s| 1 | 0 | 12470 | - | 15M| 0 | 200 | 200 |3108 | 200 | 521 |1390 | 0 | 0 |-4.975607e+01 |-1.800000e+01 | 63.82%
3.79/3.81 c 3.8s| 1 | 0 | 12500 | - | 15M| 0 | 200 | 200 |3108 | 200 | 526 |1395 | 0 | 0 |-4.975394e+01 |-1.800000e+01 | 63.82%
3.79/3.85 c 3.8s| 1 | 0 | 12506 | - | 15M| 0 | 200 | 200 |3108 | 200 | 469 |1396 | 0 | 0 |-4.975377e+01 |-1.800000e+01 | 63.82%
4.69/4.75 c 4.7s| 1 | 2 | 12506 | - | 15M| 0 | 200 | 200 |3108 | 200 | 469 |1396 | 0 | 19 |-4.975377e+01 |-1.800000e+01 | 63.82%
5.50/5.53 o -19
5.50/5.53 c z 5.5s| 15 | 16 | 13412 | 64.7 | 15M| 14 | 15 | 200 |3108 | 200 | 239 |1488 | 0 | 263 |-4.949530e+01 |-1.900000e+01 | 61.61%
5.50/5.53 o -20
5.50/5.53 c * 5.5s| 16 | 15 | 13415 | 60.6 | 15M| 15 | - | 200 |3108 | 200 | 239 |1488 | 0 | 263 |-4.949530e+01 |-2.000000e+01 | 59.59%
5.50/5.53 o -21
5.50/5.53 c * 5.5s| 17 | 14 | 13416 | 56.9 | 15M| 15 | - | 200 |3108 | 200 | 239 |1488 | 0 | 263 |-4.949530e+01 |-2.100000e+01 | 57.57%
5.59/5.69 o -22
5.59/5.69 c z 5.7s| 27 | 23 | 13969 | 56.3 | 15M| 15 | 13 | 200 |3108 | 200 | 233 |1553 | 0 | 392 |-4.949530e+01 |-2.200000e+01 | 55.55%
5.59/5.69 o -23
5.59/5.69 c * 5.7s| 28 | 21 | 13972 | 54.3 | 15M| 15 | - | 200 |3108 | 200 | 229 |1553 | 0 | 392 |-4.949530e+01 |-2.300000e+01 | 53.53%
6.29/6.37 o -25
6.29/6.37 c * 6.4s| 82 | 46 | 15827 | 41.0 | 15M| 17 | - | 200 |3108 | 200 | 237 |2010 | 0 | 976 |-4.949530e+01 |-2.500000e+01 | 49.49%
6.39/6.46 o -26
6.39/6.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.39/6.46 c * 6.5s| 115 | 53 | 16477 | 34.8 | 15M| 19 | - | 200 |3108 | 200 | 235 |2317 | 0 |1102 |-4.949530e+01 |-2.600000e+01 | 47.47%
13.59/13.66 o -27
13.59/13.66 c *13.7s| 5283 | 2818 |187806 | 33.2 | 18M| 38 | - | 200 |3108 | 200 | 221 | 65k| 0 |1606 |-4.712121e+01 |-2.700000e+01 | 42.70%
18.49/18.55 c 18.6s| 10000 | 5057 |316944 | 30.4 | 21M| 49 | 31 | 200 |3108 | 200 | 246 | 119k| 0 |1721 |-4.641004e+01 |-2.700000e+01 | 41.82%
27.09/27.19 c 27.2s| 20000 | 8665 |538379 | 26.3 | 25M| 52 | - | 200 |3108 | 200 | 243 | 224k| 0 |2286 |-4.568767e+01 |-2.700000e+01 | 40.90%
35.09/35.20 c 35.2s| 30000 | 11943 |745328 | 24.4 | 29M| 52 | - | 200 |3108 | 200 | 244 | 331k| 0 |2770 |-4.532143e+01 |-2.700000e+01 | 40.43%
36.79/36.88 o -29
36.79/36.88 c *36.9s| 32168 | 8247 |789372 | 24.2 | 26M| 52 | - | 200 |3108 | 200 | 230 | 354k| 0 |2873 |-4.525882e+01 |-2.900000e+01 | 35.92%
42.59/42.61 c 42.6s| 40000 | 9913 |937489 | 23.1 | 28M| 55 | 45 | 200 |3108 | 200 | 232 | 438k| 0 |3163 |-4.505342e+01 |-2.900000e+01 | 35.63%
49.79/49.83 c 49.8s| 50000 | 12043 | 1124k| 22.2 | 31M| 55 | - | 200 |3108 | 200 | 234 | 544k| 0 |3556 |-4.481818e+01 |-2.900000e+01 | 35.29%
56.99/57.03 c 57.0s| 60000 | 14133 | 1314k| 21.7 | 34M| 58 | 37 | 200 |3108 | 200 | 200 | 652k| 0 |3837 |-4.464141e+01 |-2.900000e+01 | 35.04%
64.09/64.16 c 64.2s| 70000 | 16127 | 1501k| 21.3 | 37M| 58 | 6 | 200 |3108 | 200 | 200 | 761k| 0 |4186 |-4.446354e+01 |-2.900000e+01 | 34.78%
70.80/70.89 c 70.9s| 80000 | 17939 | 1676k| 20.8 | 40M| 64 | 58 | 200 |3108 | 200 | 242 | 865k| 0 |4406 |-4.426923e+01 |-2.900000e+01 | 34.49%
77.39/77.43 c 77.4s| 90000 | 19455 | 1845k| 20.4 | 42M| 64 | 27 | 200 |3108 | 200 | 200 | 968k| 0 |4699 |-4.414444e+01 |-2.900000e+01 | 34.31%
84.19/84.26 c 84.3s|100000 | 21067 | 2015k| 20.0 | 44M| 64 | 50 | 200 |3108 | 200 | 221 |1072k| 0 |4960 |-4.402128e+01 |-2.900000e+01 | 34.12%
90.99/91.04 c 91.0s|110000 | 22583 | 2177k| 19.7 | 46M| 64 | 16 | 200 |3108 | 200 | 200 |1174k| 0 |5161 |-4.392308e+01 |-2.900000e+01 | 33.98%
97.99/98.03 c 98.0s|120000 | 24175 | 2344k| 19.4 | 49M| 64 | 22 | 200 |3108 | 200 | 214 |1276k| 0 |5424 |-4.381725e+01 |-2.900000e+01 | 33.82%
104.79/104.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.79/104.85 c 105s|130000 | 25759 | 2507k| 19.2 | 51M| 64 | - | 200 |3108 | 200 | 226 |1375k| 0 |5607 |-4.370655e+01 |-2.900000e+01 | 33.65%
111.99/112.04 c 112s|140000 | 27421 | 2678k| 19.0 | 54M| 64 | - | 200 |3108 | 200 | 225 |1482k| 0 |5890 |-4.361905e+01 |-2.900000e+01 | 33.52%
118.79/118.87 c 119s|150000 | 28989 | 2842k| 18.9 | 56M| 64 | 50 | 200 |3108 | 200 | 238 |1587k| 0 |6073 |-4.352941e+01 |-2.900000e+01 | 33.38%
125.69/125.77 c 126s|160000 | 30615 | 3007k| 18.7 | 58M| 69 | - | 200 |3108 | 200 | 233 |1690k| 0 |6250 |-4.346591e+01 |-2.900000e+01 | 33.28%
132.60/132.61 c 133s|170000 | 32195 | 3172k| 18.6 | 60M| 69 | 37 | 200 |3108 | 200 | 225 |1795k| 0 |6435 |-4.339344e+01 |-2.900000e+01 | 33.17%
139.28/139.30 c 139s|180000 | 33795 | 3334k| 18.5 | 63M| 69 | - | 200 |3108 | 200 | 226 |1896k| 0 |6647 |-4.332215e+01 |-2.900000e+01 | 33.06%
146.08/146.15 c 146s|190000 | 35345 | 3499k| 18.4 | 65M| 69 | - | 200 |3108 | 200 | 232 |1997k| 0 |6875 |-4.323423e+01 |-2.900000e+01 | 32.92%
152.89/152.96 c 153s|200000 | 36879 | 3663k| 18.3 | 67M| 73 | - | 200 |3108 | 200 | 217 |2096k| 0 |7066 |-4.314286e+01 |-2.900000e+01 | 32.78%
159.59/159.67 c 160s|210000 | 38313 | 3823k| 18.1 | 70M| 73 | - | 200 |3108 | 200 | 225 |2194k| 0 |7228 |-4.306993e+01 |-2.900000e+01 | 32.67%
166.38/166.48 c 166s|220000 | 39809 | 3988k| 18.1 | 72M| 73 | - | 200 |3108 | 200 | 233 |2296k| 0 |7375 |-4.300000e+01 |-2.900000e+01 | 32.56%
172.78/172.83 c 173s|230000 | 41325 | 4151k| 18.0 | 74M| 73 | 23 | 200 |3108 | 200 | 217 |2394k| 0 |7546 |-4.291667e+01 |-2.900000e+01 | 32.43%
178.78/178.88 c 179s|240000 | 42705 | 4310k| 17.9 | 76M| 78 | 51 | 200 |3108 | 200 | 254 |2493k| 0 |7681 |-4.284211e+01 |-2.900000e+01 | 32.31%
185.19/185.20 c 185s|250000 | 44227 | 4475k| 17.9 | 78M| 78 | - | 200 |3108 | 200 | 216 |2592k| 0 |7850 |-4.275000e+01 |-2.900000e+01 | 32.16%
191.30/191.34 c 191s|260000 | 45715 | 4636k| 17.8 | 80M| 78 | - | 200 |3108 | 200 | 253 |2694k| 0 |8017 |-4.266667e+01 |-2.900000e+01 | 32.03%
197.48/197.58 c 198s|270000 | 47265 | 4799k| 17.7 | 83M| 78 | - | 200 |3108 | 200 | 231 |2795k| 0 |8130 |-4.260000e+01 |-2.900000e+01 | 31.92%
203.49/203.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
203.49/203.54 c 204s|280000 | 48643 | 4954k| 17.6 | 85M| 78 | 6 | 200 |3108 | 200 | 200 |2892k| 0 |8267 |-4.252874e+01 |-2.900000e+01 | 31.81%
209.59/209.69 c 210s|290000 | 50161 | 5114k| 17.6 | 87M| 78 | - | 200 |3108 | 200 | 219 |2994k| 0 |8449 |-4.248837e+01 |-2.900000e+01 | 31.75%
215.79/215.83 c 216s|300000 | 51579 | 5273k| 17.5 | 89M| 78 | 8 | 200 |3108 | 200 | 221 |3096k| 0 |8578 |-4.240541e+01 |-2.900000e+01 | 31.61%
221.79/221.82 c 222s|310000 | 52925 | 5428k| 17.5 | 91M| 78 | - | 200 |3108 | 200 | 230 |3194k| 0 |8702 |-4.234167e+01 |-2.900000e+01 | 31.51%
227.79/227.81 c 228s|320000 | 54245 | 5584k| 17.4 | 93M| 78 | - | 200 |3108 | 200 | 229 |3292k| 0 |8879 |-4.230000e+01 |-2.900000e+01 | 31.44%
233.69/233.75 c 234s|330000 | 55425 | 5738k| 17.4 | 95M| 87 | 5 | 200 |3108 | 200 | 215 |3389k| 0 |9019 |-4.225000e+01 |-2.900000e+01 | 31.36%
239.58/239.61 c 240s|340000 | 56637 | 5891k| 17.3 | 97M| 87 | - | 200 |3108 | 200 | 229 |3487k| 0 |9128 |-4.220000e+01 |-2.900000e+01 | 31.28%
245.38/245.42 c 245s|350000 | 57807 | 6040k| 17.2 | 98M| 87 | 42 | 200 |3108 | 200 | 231 |3588k| 0 |9297 |-4.213235e+01 |-2.900000e+01 | 31.17%
251.09/251.17 c 251s|360000 | 58929 | 6189k| 17.2 | 100M| 87 | - | 200 |3108 | 200 | 235 |3687k| 0 |9419 |-4.208000e+01 |-2.900000e+01 | 31.08%
256.89/256.95 c 257s|370000 | 60015 | 6337k| 17.1 | 102M| 87 | - | 200 |3108 | 200 | 225 |3786k| 0 |9567 |-4.200000e+01 |-2.900000e+01 | 30.95%
262.79/262.83 c 263s|380000 | 61175 | 6490k| 17.0 | 104M| 87 | 20 | 200 |3108 | 200 | 200 |3885k| 0 |9664 |-4.200000e+01 |-2.900000e+01 | 30.95%
268.59/268.67 c 269s|390000 | 62419 | 6641k| 17.0 | 105M| 87 | - | 200 |3108 | 200 | 216 |3983k| 0 |9834 |-4.198529e+01 |-2.900000e+01 | 30.93%
274.18/274.27 c 274s|400000 | 63523 | 6785k| 16.9 | 107M| 87 | 39 | 200 |3108 | 200 | 217 |4080k| 0 |9919 |-4.193443e+01 |-2.900000e+01 | 30.84%
280.09/280.14 c 280s|410000 | 64665 | 6935k| 16.9 | 109M| 87 | - | 200 |3108 | 200 | 265 |4179k| 0 | 10k|-4.187500e+01 |-2.900000e+01 | 30.75%
285.90/285.91 c 286s|420000 | 65773 | 7085k| 16.8 | 110M| 87 | - | 200 |3108 | 200 | 241 |4275k| 0 | 10k|-4.183333e+01 |-2.900000e+01 | 30.68%
291.69/291.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
291.69/291.77 c 292s|430000 | 66915 | 7235k| 16.8 | 112M| 87 | 4 | 200 |3108 | 200 | 200 |4374k| 0 | 10k|-4.180000e+01 |-2.900000e+01 | 30.62%
297.59/297.68 c 298s|440000 | 68133 | 7389k| 16.8 | 114M| 87 | 38 | 200 |3108 | 200 | 218 |4474k| 0 | 10k|-4.175000e+01 |-2.900000e+01 | 30.54%
303.39/303.46 c 303s|450000 | 69317 | 7538k| 16.7 | 116M| 87 | - | 200 |3108 | 200 | 232 |4570k| 0 | 10k|-4.170690e+01 |-2.900000e+01 | 30.47%
309.19/309.20 c 309s|460000 | 70423 | 7686k| 16.7 | 118M| 87 | - | 200 |3108 | 200 | 221 |4667k| 0 | 10k|-4.166667e+01 |-2.900000e+01 | 30.40%
314.79/314.90 c 315s|470000 | 71571 | 7831k| 16.6 | 119M| 87 | 24 | 200 |3108 | 200 | 214 |4764k| 0 | 10k|-4.162500e+01 |-2.900000e+01 | 30.33%
320.59/320.64 c 321s|480000 | 72609 | 7979k| 16.6 | 121M| 87 | 19 | 200 |3108 | 200 | 211 |4862k| 0 | 10k|-4.157798e+01 |-2.900000e+01 | 30.25%
326.29/326.31 c 326s|490000 | 73663 | 8125k| 16.6 | 122M| 87 | - | 200 |3108 | 200 | 222 |4957k| 0 | 10k|-4.154331e+01 |-2.900000e+01 | 30.19%
331.99/332.01 c 332s|500000 | 74731 | 8273k| 16.5 | 124M| 87 | - | 200 |3108 | 200 | 247 |5054k| 0 | 11k|-4.150000e+01 |-2.900000e+01 | 30.12%
337.60/337.67 c 338s|510000 | 75837 | 8419k| 16.5 | 126M| 87 | 16 | 200 |3108 | 200 | 221 |5153k| 0 | 11k|-4.150000e+01 |-2.900000e+01 | 30.12%
343.29/343.35 c 343s|520000 | 76791 | 8563k| 16.4 | 127M| 87 | - | 200 |3108 | 200 | 244 |5250k| 0 | 11k|-4.144444e+01 |-2.900000e+01 | 30.03%
348.99/349.05 c 349s|530000 | 77879 | 8709k| 16.4 | 129M| 87 | 5 | 200 |3108 | 200 | 218 |5348k| 0 | 11k|-4.140196e+01 |-2.900000e+01 | 29.96%
354.59/354.69 c 355s|540000 | 78949 | 8853k| 16.4 | 131M| 87 | - | 200 |3108 | 200 | 236 |5444k| 0 | 11k|-4.135616e+01 |-2.900000e+01 | 29.88%
360.29/360.33 c 360s|550000 | 80019 | 8997k| 16.3 | 132M| 87 | - | 200 |3108 | 200 | 231 |5539k| 0 | 11k|-4.133333e+01 |-2.900000e+01 | 29.84%
365.99/366.04 c 366s|560000 | 81097 | 9143k| 16.3 | 134M| 87 | - | 200 |3108 | 200 | 222 |5636k| 0 | 11k|-4.128571e+01 |-2.900000e+01 | 29.76%
371.59/371.62 c 372s|570000 | 82185 | 9286k| 16.3 | 135M| 87 | 39 | 200 |3108 | 200 | 200 |5733k| 0 | 11k|-4.125000e+01 |-2.900000e+01 | 29.70%
377.20/377.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
377.20/377.24 c 377s|580000 | 83281 | 9431k| 16.2 | 137M| 87 | - | 200 |3108 | 200 | 234 |5832k| 0 | 11k|-4.122222e+01 |-2.900000e+01 | 29.65%
382.80/382.87 c 383s|590000 | 84341 | 9575k| 16.2 | 139M| 87 | 12 | 200 |3108 | 200 | 200 |5931k| 0 | 11k|-4.118220e+01 |-2.900000e+01 | 29.58%
388.39/388.48 c 388s|600000 | 85369 | 9718k| 16.2 | 140M| 87 | 21 | 200 |3108 | 200 | 232 |6028k| 0 | 12k|-4.115054e+01 |-2.900000e+01 | 29.53%
394.09/394.16 c 394s|610000 | 86393 | 9863k| 16.1 | 142M| 87 | 9 | 200 |3108 | 200 | 200 |6125k| 0 | 12k|-4.110345e+01 |-2.900000e+01 | 29.45%
399.59/399.65 c 400s|620000 | 87373 | 10002k| 16.1 | 143M| 87 | 49 | 200 |3108 | 200 | 237 |6222k| 0 | 12k|-4.107042e+01 |-2.900000e+01 | 29.39%
405.80/405.83 c 406s|630000 | 88437 | 10148k| 16.1 | 145M| 87 | - | 200 |3108 | 200 | 227 |6320k| 0 | 12k|-4.100000e+01 |-2.900000e+01 | 29.27%
411.99/412.02 c 412s|640000 | 89523 | 10295k| 16.1 | 147M| 87 | 22 | 200 |3108 | 200 | 250 |6421k| 0 | 12k|-4.100000e+01 |-2.900000e+01 | 29.27%
418.08/418.14 c 418s|650000 | 90699 | 10440k| 16.0 | 148M| 87 | - | 200 |3108 | 200 | 215 |6519k| 0 | 12k|-4.100000e+01 |-2.900000e+01 | 29.27%
424.29/424.34 c 424s|660000 | 91801 | 10587k| 16.0 | 150M| 87 | - | 200 |3108 | 200 | 224 |6618k| 0 | 12k|-4.100000e+01 |-2.900000e+01 | 29.27%
430.49/430.52 c 431s|670000 | 92799 | 10732k| 16.0 | 152M| 87 | 12 | 200 |3108 | 200 | 215 |6714k| 0 | 12k|-4.094444e+01 |-2.900000e+01 | 29.17%
436.49/436.54 c 437s|680000 | 93703 | 10872k| 16.0 | 153M| 87 | - | 200 |3108 | 200 | 231 |6809k| 0 | 12k|-4.089873e+01 |-2.900000e+01 | 29.09%
442.49/442.54 c 443s|690000 | 94637 | 11012k| 15.9 | 154M| 87 | - | 200 |3108 | 200 | 241 |6905k| 0 | 12k|-4.085000e+01 |-2.900000e+01 | 29.01%
448.49/448.59 c 449s|700000 | 95609 | 11154k| 15.9 | 156M| 87 | - | 200 |3108 | 200 | 221 |7001k| 0 | 13k|-4.083333e+01 |-2.900000e+01 | 28.98%
454.69/454.70 c 455s|710000 | 96653 | 11296k| 15.9 | 158M| 87 | - | 200 |3108 | 200 | 229 |7096k| 0 | 13k|-4.080000e+01 |-2.900000e+01 | 28.92%
460.79/460.85 c 461s|720000 | 97731 | 11440k| 15.9 | 159M| 87 | - | 200 |3108 | 200 | 241 |7192k| 0 | 13k|-4.076000e+01 |-2.900000e+01 | 28.85%
466.79/466.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
466.79/466.86 c 467s|730000 | 98707 | 11580k| 15.8 | 161M| 87 | 22 | 200 |3108 | 200 | 212 |7291k| 0 | 13k|-4.075000e+01 |-2.900000e+01 | 28.83%
472.89/472.92 c 473s|740000 | 99685 | 11722k| 15.8 | 162M| 87 | - | 200 |3108 | 200 | 253 |7386k| 0 | 13k|-4.071429e+01 |-2.900000e+01 | 28.77%
478.78/478.89 c 479s|750000 |100591 | 11860k| 15.8 | 164M| 87 | 3 | 200 |3108 | 200 | 217 |7483k| 0 | 13k|-4.067857e+01 |-2.900000e+01 | 28.71%
484.79/484.84 c 485s|760000 |101521 | 11999k| 15.8 | 165M| 87 | 9 | 200 |3108 | 200 | 200 |7580k| 0 | 13k|-4.066667e+01 |-2.900000e+01 | 28.69%
490.89/490.99 c 491s|770000 |102575 | 12145k| 15.8 | 167M| 87 | - | 200 |3108 | 200 | 214 |7678k| 0 | 13k|-4.064286e+01 |-2.900000e+01 | 28.65%
497.10/497.12 c 497s|780000 |103571 | 12289k| 15.7 | 168M| 87 | 12 | 200 |3108 | 200 | 200 |7777k| 0 | 13k|-4.060000e+01 |-2.900000e+01 | 28.57%
503.09/503.15 c 503s|790000 |104567 | 12429k| 15.7 | 170M| 90 | 38 | 200 |3108 | 200 | 221 |7873k| 0 | 13k|-4.056863e+01 |-2.900000e+01 | 28.52%
509.09/509.11 c 509s|800000 |105425 | 12568k| 15.7 | 171M| 90 | - | 200 |3108 | 200 | 230 |7968k| 0 | 13k|-4.052874e+01 |-2.900000e+01 | 28.45%
514.99/515.07 c 515s|810000 |106373 | 12707k| 15.7 | 172M| 90 | - | 200 |3108 | 200 | 213 |8063k| 0 | 13k|-4.050000e+01 |-2.900000e+01 | 28.40%
520.99/521.02 c 521s|820000 |107397 | 12845k| 15.7 | 174M| 90 | 41 | 200 |3108 | 200 | 234 |8159k| 0 | 14k|-4.050000e+01 |-2.900000e+01 | 28.40%
526.90/526.97 c 527s|830000 |108321 | 12984k| 15.6 | 175M| 90 | - | 200 |3108 | 200 | 221 |8253k| 0 | 14k|-4.050000e+01 |-2.900000e+01 | 28.40%
532.88/532.95 c 533s|840000 |109139 | 13120k| 15.6 | 177M| 90 | 37 | 200 |3108 | 200 | 242 |8350k| 0 | 14k|-4.046429e+01 |-2.900000e+01 | 28.33%
538.90/538.94 c 539s|850000 |110045 | 13259k| 15.6 | 178M| 90 | 16 | 200 |3108 | 200 | 220 |8448k| 0 | 14k|-4.042857e+01 |-2.900000e+01 | 28.27%
544.89/544.95 c 545s|860000 |110931 | 13399k| 15.6 | 179M| 91 | 5 | 200 |3108 | 200 | 200 |8545k| 0 | 14k|-4.040000e+01 |-2.900000e+01 | 28.22%
550.89/550.92 c 551s|870000 |111757 | 13537k| 15.5 | 181M| 91 | 8 | 200 |3108 | 200 | 200 |8639k| 0 | 14k|-4.036486e+01 |-2.900000e+01 | 28.16%
556.69/556.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
556.69/556.78 c 557s|880000 |112553 | 13672k| 15.5 | 182M| 91 | 36 | 200 |3108 | 200 | 241 |8736k| 0 | 14k|-4.033333e+01 |-2.900000e+01 | 28.10%
562.69/562.77 c 563s|890000 |113427 | 13810k| 15.5 | 183M| 91 | 8 | 200 |3108 | 200 | 216 |8833k| 0 | 14k|-4.033333e+01 |-2.900000e+01 | 28.10%
568.59/568.60 c 569s|900000 |114169 | 13944k| 15.5 | 185M| 91 | 14 | 200 |3108 | 200 | 217 |8925k| 0 | 14k|-4.029412e+01 |-2.900000e+01 | 28.03%
574.59/574.65 c 575s|910000 |115029 | 14084k| 15.5 | 186M| 91 | 53 | 200 |3108 | 200 | 242 |9020k| 0 | 14k|-4.025000e+01 |-2.900000e+01 | 27.95%
580.39/580.50 c 580s|920000 |115785 | 14218k| 15.4 | 187M| 91 | - | 200 |3108 | 200 | 216 |9116k| 0 | 14k|-4.025000e+01 |-2.900000e+01 | 27.95%
586.20/586.26 c 586s|930000 |116505 | 14352k| 15.4 | 188M| 91 | - | 200 |3108 | 200 | 234 |9210k| 0 | 14k|-4.021771e+01 |-2.900000e+01 | 27.89%
592.09/592.17 c 592s|940000 |117333 | 14488k| 15.4 | 190M| 91 | - | 200 |3108 | 200 | 228 |9304k| 0 | 15k|-4.018519e+01 |-2.900000e+01 | 27.83%
598.09/598.11 c 598s|950000 |118145 | 14624k| 15.4 | 191M| 91 | - | 200 |3108 | 200 | 250 |9401k| 0 | 15k|-4.016667e+01 |-2.900000e+01 | 27.80%
603.90/603.96 c 604s|960000 |118909 | 14758k| 15.4 | 192M| 91 | 14 | 200 |3108 | 200 | 200 |9494k| 0 | 15k|-4.013333e+01 |-2.900000e+01 | 27.74%
609.79/609.80 c 610s|970000 |119741 | 14893k| 15.3 | 193M| 91 | 40 | 200 |3108 | 200 | 212 |9590k| 0 | 15k|-4.010000e+01 |-2.900000e+01 | 27.68%
615.59/615.67 c 616s|980000 |120509 | 15028k| 15.3 | 195M| 91 | 33 | 200 |3108 | 200 | 231 |9684k| 0 | 15k|-4.006250e+01 |-2.900000e+01 | 27.61%
621.49/621.51 c 622s|990000 |121337 | 15163k| 15.3 | 196M| 91 | 10 | 200 |3108 | 200 | 215 |9780k| 0 | 15k|-4.001370e+01 |-2.900000e+01 | 27.52%
627.39/627.41 c 627s| 1000k|122225 | 15300k| 15.3 | 197M| 91 | 48 | 200 |3108 | 200 | 212 |9876k| 0 | 15k|-4.000000e+01 |-2.900000e+01 | 27.50%
633.18/633.26 c 633s| 1010k|122941 | 15435k| 15.3 | 198M| 91 | - | 200 |3108 | 200 | 216 |9973k| 0 | 15k|-4.000000e+01 |-2.900000e+01 | 27.50%
639.10/639.11 c 639s| 1020k|123741 | 15570k| 15.3 | 200M| 91 | 22 | 200 |3108 | 200 | 200 | 10M| 0 | 15k|-4.000000e+01 |-2.900000e+01 | 27.50%
644.99/645.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
644.99/645.02 c 645s| 1030k|124571 | 15705k| 15.2 | 201M| 91 | - | 200 |3108 | 200 | 243 | 10M| 0 | 15k|-4.000000e+01 |-2.900000e+01 | 27.50%
650.89/650.95 c 651s| 1040k|125361 | 15840k| 15.2 | 202M| 91 | 80 | 200 |3108 | 200 | 264 | 10M| 0 | 15k|-4.000000e+01 |-2.900000e+01 | 27.50%
656.79/656.89 c 657s| 1050k|126219 | 15977k| 15.2 | 204M| 91 | 16 | 200 |3108 | 200 | 200 | 10M| 0 | 15k|-4.000000e+01 |-2.900000e+01 | 27.50%
662.69/662.70 c 663s| 1060k|127005 | 16112k| 15.2 | 205M| 91 | - | 200 |3108 | 200 | 215 | 10M| 0 | 15k|-4.000000e+01 |-2.900000e+01 | 27.50%
668.39/668.40 c 668s| 1070k|127761 | 16244k| 15.2 | 206M| 91 | 18 | 200 |3108 | 200 | 211 | 10M| 0 | 16k|-3.993182e+01 |-2.900000e+01 | 27.38%
674.09/674.19 c 674s| 1080k|128563 | 16376k| 15.2 | 207M| 91 | 23 | 200 |3108 | 200 | 213 | 10M| 0 | 16k|-3.989286e+01 |-2.900000e+01 | 27.31%
679.99/680.09 c 680s| 1090k|129383 | 16512k| 15.1 | 209M| 91 | 52 | 200 |3108 | 200 | 245 | 10M| 0 | 16k|-3.986667e+01 |-2.900000e+01 | 27.26%
685.79/685.84 c 686s| 1100k|130107 | 16642k| 15.1 | 210M| 91 | 28 | 200 |3108 | 200 | 223 | 10M| 0 | 16k|-3.983333e+01 |-2.900000e+01 | 27.20%
691.59/691.66 c 692s| 1110k|130931 | 16777k| 15.1 | 211M| 94 | 40 | 200 |3108 | 200 | 223 | 10M| 0 | 16k|-3.981818e+01 |-2.900000e+01 | 27.17%
697.39/697.47 c 697s| 1120k|131713 | 16909k| 15.1 | 212M| 94 | - | 200 |3108 | 200 | 212 | 11M| 0 | 16k|-3.979167e+01 |-2.900000e+01 | 27.12%
703.29/703.34 c 703s| 1130k|132461 | 17043k| 15.1 | 213M| 94 | 54 | 200 |3108 | 200 | 256 | 11M| 0 | 16k|-3.975000e+01 |-2.900000e+01 | 27.04%
709.09/709.10 c 709s| 1140k|133207 | 17175k| 15.1 | 215M| 94 | 9 | 200 |3108 | 200 | 224 | 11M| 0 | 16k|-3.975000e+01 |-2.900000e+01 | 27.04%
714.69/714.74 c 715s| 1150k|133849 | 17304k| 15.0 | 216M| 94 | 22 | 200 |3108 | 200 | 200 | 11M| 0 | 16k|-3.975000e+01 |-2.900000e+01 | 27.04%
720.49/720.55 c 721s| 1160k|134607 | 17437k| 15.0 | 217M| 94 | - | 200 |3108 | 200 | 232 | 11M| 0 | 16k|-3.972222e+01 |-2.900000e+01 | 26.99%
726.29/726.36 c 726s| 1170k|135343 | 17571k| 15.0 | 218M| 94 | - | 200 |3108 | 200 | 238 | 11M| 0 | 16k|-3.970000e+01 |-2.900000e+01 | 26.95%
731.99/732.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
731.99/732.10 c 732s| 1180k|136083 | 17701k| 15.0 | 219M| 94 | 55 | 200 |3108 | 200 | 252 | 11M| 0 | 16k|-3.966667e+01 |-2.900000e+01 | 26.89%
737.69/737.77 c 738s| 1190k|136827 | 17831k| 15.0 | 221M| 94 | - | 200 |3108 | 200 | 263 | 11M| 0 | 16k|-3.966667e+01 |-2.900000e+01 | 26.89%
743.39/743.49 c 743s| 1200k|137571 | 17961k| 15.0 | 222M| 94 | 59 | 200 |3108 | 200 | 240 | 11M| 0 | 17k|-3.965217e+01 |-2.900000e+01 | 26.86%
749.19/749.22 c 749s| 1210k|138301 | 18092k| 14.9 | 223M| 94 | 55 | 200 |3108 | 200 | 227 | 11M| 0 | 17k|-3.961538e+01 |-2.900000e+01 | 26.80%
754.99/755.00 c 755s| 1220k|138997 | 18225k| 14.9 | 224M| 94 | 27 | 200 |3108 | 200 | 216 | 11M| 0 | 17k|-3.960000e+01 |-2.900000e+01 | 26.77%
760.79/760.86 c 761s| 1230k|139777 | 18360k| 14.9 | 225M| 94 | 6 | 200 |3108 | 200 | 200 | 12M| 0 | 17k|-3.956250e+01 |-2.900000e+01 | 26.70%
766.49/766.56 c 767s| 1240k|140493 | 18490k| 14.9 | 226M| 94 | 46 | 200 |3108 | 200 | 259 | 12M| 0 | 17k|-3.952174e+01 |-2.900000e+01 | 26.62%
772.19/772.24 c 772s| 1250k|141195 | 18619k| 14.9 | 227M| 94 | - | 200 |3108 | 200 | 247 | 12M| 0 | 17k|-3.950000e+01 |-2.900000e+01 | 26.58%
777.89/777.96 c 778s| 1260k|141855 | 18749k| 14.9 | 229M| 94 | - | 200 |3108 | 200 | 234 | 12M| 0 | 17k|-3.950000e+01 |-2.900000e+01 | 26.58%
783.58/783.67 c 784s| 1270k|142571 | 18879k| 14.9 | 230M| 94 | 53 | 200 |3108 | 200 | 220 | 12M| 0 | 17k|-3.950000e+01 |-2.900000e+01 | 26.58%
789.28/789.36 c 789s| 1280k|143343 | 19011k| 14.8 | 231M| 94 | 50 | 200 |3108 | 200 | 208 | 12M| 0 | 17k|-3.950000e+01 |-2.900000e+01 | 26.58%
795.09/795.16 c 795s| 1290k|144049 | 19141k| 14.8 | 232M| 94 | - | 200 |3108 | 200 | 216 | 12M| 0 | 17k|-3.950000e+01 |-2.900000e+01 | 26.58%
800.79/800.88 c 801s| 1300k|144789 | 19272k| 14.8 | 233M| 94 | 15 | 200 |3108 | 200 | 200 | 12M| 0 | 17k|-3.945455e+01 |-2.900000e+01 | 26.50%
806.49/806.57 c 807s| 1310k|145445 | 19402k| 14.8 | 234M| 94 | 20 | 200 |3108 | 200 | 226 | 12M| 0 | 17k|-3.942857e+01 |-2.900000e+01 | 26.45%
812.19/812.25 c 812s| 1320k|146227 | 19531k| 14.8 | 235M| 94 | 44 | 200 |3108 | 200 | 251 | 12M| 0 | 17k|-3.940000e+01 |-2.900000e+01 | 26.40%
817.89/817.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
817.89/817.99 c 818s| 1330k|146833 | 19661k| 14.8 | 236M| 98 | - | 200 |3108 | 200 | 232 | 12M| 0 | 17k|-3.937500e+01 |-2.900000e+01 | 26.35%
823.59/823.64 c 824s| 1340k|147443 | 19789k| 14.8 | 237M| 99 | 58 | 200 |3108 | 200 | 234 | 13M| 0 | 17k|-3.934921e+01 |-2.900000e+01 | 26.30%
829.19/829.23 c 829s| 1350k|148119 | 19917k| 14.7 | 239M| 99 | 8 | 200 |3108 | 200 | 224 | 13M| 0 | 18k|-3.933333e+01 |-2.900000e+01 | 26.27%
834.90/834.95 c 835s| 1360k|148823 | 20045k| 14.7 | 240M| 99 | - | 200 |3108 | 200 | 231 | 13M| 0 | 18k|-3.933333e+01 |-2.900000e+01 | 26.27%
840.59/840.69 c 841s| 1370k|149479 | 20172k| 14.7 | 241M| 99 | - | 200 |3108 | 200 | 213 | 13M| 0 | 18k|-3.929412e+01 |-2.900000e+01 | 26.20%
846.39/846.40 c 846s| 1380k|150119 | 20301k| 14.7 | 242M| 99 | 42 | 200 |3108 | 200 | 200 | 13M| 0 | 18k|-3.925000e+01 |-2.900000e+01 | 26.11%
851.98/852.01 c 852s| 1390k|150805 | 20429k| 14.7 | 243M| 99 | 43 | 200 |3108 | 200 | 212 | 13M| 0 | 18k|-3.925000e+01 |-2.900000e+01 | 26.11%
857.59/857.68 c 858s| 1400k|151495 | 20557k| 14.7 | 244M| 99 | - | 200 |3108 | 200 | 216 | 13M| 0 | 18k|-3.924324e+01 |-2.900000e+01 | 26.10%
863.29/863.39 c 863s| 1410k|152275 | 20687k| 14.7 | 245M| 99 | - | 200 |3108 | 200 | 221 | 13M| 0 | 18k|-3.920000e+01 |-2.900000e+01 | 26.02%
868.89/868.98 c 869s| 1420k|152899 | 20813k| 14.6 | 246M| 99 | - | 200 |3108 | 200 | 229 | 13M| 0 | 18k|-3.918182e+01 |-2.900000e+01 | 25.99%
874.59/874.63 c 875s| 1430k|153577 | 20940k| 14.6 | 247M| 99 | 48 | 200 |3108 | 200 | 211 | 13M| 0 | 18k|-3.916667e+01 |-2.900000e+01 | 25.96%
880.28/880.34 c 880s| 1440k|154245 | 21067k| 14.6 | 248M| 99 | 4 | 200 |3108 | 200 | 215 | 14M| 0 | 18k|-3.913043e+01 |-2.900000e+01 | 25.89%
885.89/885.99 c 886s| 1450k|154871 | 21196k| 14.6 | 249M| 99 | - | 200 |3108 | 200 | 215 | 14M| 0 | 18k|-3.911111e+01 |-2.900000e+01 | 25.85%
891.58/891.60 c 892s| 1460k|155419 | 21322k| 14.6 | 250M| 99 | 43 | 200 |3108 | 200 | 215 | 14M| 0 | 18k|-3.907692e+01 |-2.900000e+01 | 25.79%
897.18/897.21 c 897s| 1470k|156071 | 21448k| 14.6 | 251M| 99 | - | 200 |3108 | 200 | 213 | 14M| 0 | 18k|-3.903448e+01 |-2.900000e+01 | 25.71%
902.78/902.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
902.78/902.82 c 903s| 1480k|156683 | 21576k| 14.6 | 252M| 99 | - | 200 |3108 | 200 | 200 | 14M| 0 | 18k|-3.900000e+01 |-2.900000e+01 | 25.64%
908.28/908.36 c 908s| 1490k|157333 | 21702k| 14.6 | 253M| 99 | 63 | 200 |3108 | 200 | 223 | 14M| 0 | 18k|-3.900000e+01 |-2.900000e+01 | 25.64%
913.99/914.02 c 914s| 1500k|157987 | 21830k| 14.5 | 254M| 99 | 6 | 200 |3108 | 200 | 233 | 14M| 0 | 18k|-3.900000e+01 |-2.900000e+01 | 25.64%
919.58/919.67 c 920s| 1510k|158595 | 21957k| 14.5 | 255M| 99 | 55 | 200 |3108 | 200 | 244 | 14M| 0 | 18k|-3.900000e+01 |-2.900000e+01 | 25.64%
925.28/925.32 c 925s| 1520k|159283 | 22085k| 14.5 | 257M| 99 | - | 200 |3108 | 200 | 217 | 14M| 0 | 19k|-3.900000e+01 |-2.900000e+01 | 25.64%
930.88/930.95 c 931s| 1530k|159985 | 22213k| 14.5 | 258M| 99 | - | 200 |3108 | 200 | 214 | 14M| 0 | 19k|-3.900000e+01 |-2.900000e+01 | 25.64%
936.58/936.61 c 937s| 1540k|160563 | 22341k| 14.5 | 259M| 99 | 18 | 200 |3108 | 200 | 200 | 14M| 0 | 19k|-3.900000e+01 |-2.900000e+01 | 25.64%
942.28/942.30 c 942s| 1550k|161235 | 22470k| 14.5 | 260M| 99 | 56 | 200 |3108 | 200 | 257 | 15M| 0 | 19k|-3.900000e+01 |-2.900000e+01 | 25.64%
947.78/947.90 c 948s| 1560k|161791 | 22595k| 14.5 | 261M| 99 | - | 200 |3108 | 200 | 214 | 15M| 0 | 19k|-3.900000e+01 |-2.900000e+01 | 25.64%
953.59/953.61 c 954s| 1570k|162429 | 22724k| 14.5 | 262M| 103 | - | 200 |3108 | 200 | 224 | 15M| 0 | 19k|-3.900000e+01 |-2.900000e+01 | 25.64%
959.18/959.21 c 959s| 1580k|163121 | 22849k| 14.5 | 263M| 103 | 24 | 200 |3108 | 200 | 214 | 15M| 0 | 19k|-3.900000e+01 |-2.900000e+01 | 25.64%
964.68/964.77 c 965s| 1590k|163741 | 22974k| 14.4 | 264M| 103 | 26 | 200 |3108 | 200 | 230 | 15M| 0 | 19k|-3.893750e+01 |-2.900000e+01 | 25.52%
970.27/970.34 c 970s| 1600k|164273 | 23098k| 14.4 | 265M| 103 | 58 | 200 |3108 | 200 | 226 | 15M| 0 | 19k|-3.890909e+01 |-2.900000e+01 | 25.47%
975.78/975.88 c 976s| 1610k|164851 | 23221k| 14.4 | 266M| 103 | - | 200 |3108 | 200 | 231 | 15M| 0 | 19k|-3.887500e+01 |-2.900000e+01 | 25.40%
981.37/981.44 c 981s| 1620k|165517 | 23346k| 14.4 | 267M| 103 | 30 | 200 |3108 | 200 | 241 | 15M| 0 | 19k|-3.885714e+01 |-2.900000e+01 | 25.37%
986.98/987.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
986.98/987.02 c 987s| 1630k|165999 | 23470k| 14.4 | 267M| 103 | - | 200 |3108 | 200 | 235 | 15M| 0 | 19k|-3.883333e+01 |-2.900000e+01 | 25.32%
992.48/992.53 c 993s| 1640k|166607 | 23591k| 14.4 | 268M| 103 | - | 200 |3108 | 200 | 219 | 15M| 0 | 19k|-3.883333e+01 |-2.900000e+01 | 25.32%
998.07/998.13 c 998s| 1650k|167177 | 23714k| 14.4 | 269M| 103 | 24 | 200 |3108 | 200 | 218 | 15M| 0 | 19k|-3.880000e+01 |-2.900000e+01 | 25.26%
1003.48/1003.56 c 1004s| 1660k|167639 | 23835k| 14.4 | 270M| 103 | 44 | 200 |3108 | 200 | 218 | 16M| 0 | 19k|-3.880000e+01 |-2.900000e+01 | 25.26%
1008.97/1009.05 c 1009s| 1670k|168169 | 23959k| 14.3 | 271M| 103 | - | 200 |3108 | 200 | 232 | 16M| 0 | 19k|-3.876923e+01 |-2.900000e+01 | 25.20%
1014.48/1014.57 c 1015s| 1680k|168743 | 24081k| 14.3 | 272M| 103 | 29 | 200 |3108 | 200 | 227 | 16M| 0 | 19k|-3.875000e+01 |-2.900000e+01 | 25.16%
1019.97/1020.06 c 1020s| 1690k|169311 | 24207k| 14.3 | 273M| 103 | - | 200 |3108 | 200 | 246 | 16M| 0 | 20k|-3.875000e+01 |-2.900000e+01 | 25.16%
1025.47/1025.56 c 1026s| 1700k|169843 | 24327k| 14.3 | 274M| 103 | - | 200 |3108 | 200 | 212 | 16M| 0 | 20k|-3.875000e+01 |-2.900000e+01 | 25.16%
1031.08/1031.17 c 1031s| 1710k|170315 | 24450k| 14.3 | 275M| 103 | 44 | 200 |3108 | 200 | 256 | 16M| 0 | 20k|-3.871605e+01 |-2.900000e+01 | 25.10%
1036.68/1036.74 c 1037s| 1720k|170851 | 24574k| 14.3 | 275M| 103 | 6 | 200 |3108 | 200 | 228 | 16M| 0 | 20k|-3.870000e+01 |-2.900000e+01 | 25.06%
1042.18/1042.22 c 1042s| 1730k|171411 | 24697k| 14.3 | 276M| 103 | 20 | 200 |3108 | 200 | 200 | 16M| 0 | 20k|-3.866667e+01 |-2.900000e+01 | 25.00%
1047.68/1047.76 c 1048s| 1740k|171961 | 24821k| 14.3 | 277M| 103 | - | 200 |3108 | 200 | 235 | 16M| 0 | 20k|-3.866667e+01 |-2.900000e+01 | 25.00%
1053.18/1053.25 c 1053s| 1750k|172513 | 24943k| 14.2 | 278M| 103 | - | 200 |3108 | 200 | 241 | 16M| 0 | 20k|-3.866667e+01 |-2.900000e+01 | 25.00%
1058.78/1058.82 c 1059s| 1760k|173017 | 25067k| 14.2 | 279M| 103 | 6 | 200 |3108 | 200 | 200 | 16M| 0 | 20k|-3.865217e+01 |-2.900000e+01 | 24.97%
1064.38/1064.44 c 1064s| 1770k|173483 | 25192k| 14.2 | 280M| 103 | - | 200 |3108 | 200 | 241 | 17M| 0 | 20k|-3.862500e+01 |-2.900000e+01 | 24.92%
1069.88/1069.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1069.88/1069.98 c 1070s| 1780k|174067 | 25314k| 14.2 | 281M| 103 | - | 200 |3108 | 200 | 236 | 17M| 0 | 20k|-3.860345e+01 |-2.900000e+01 | 24.88%
1075.38/1075.46 c 1075s| 1790k|174631 | 25435k| 14.2 | 282M| 103 | 61 | 200 |3108 | 200 | 217 | 17M| 0 | 20k|-3.859091e+01 |-2.900000e+01 | 24.85%
1080.88/1080.97 c 1081s| 1800k|175237 | 25557k| 14.2 | 283M| 103 | - | 200 |3108 | 200 | 215 | 17M| 0 | 20k|-3.857143e+01 |-2.900000e+01 | 24.81%
1086.27/1086.39 c 1086s| 1810k|175743 | 25677k| 14.2 | 284M| 103 | 36 | 200 |3108 | 200 | 219 | 17M| 0 | 20k|-3.853846e+01 |-2.900000e+01 | 24.75%
1091.88/1091.94 c 1092s| 1820k|176297 | 25800k| 14.2 | 284M| 103 | 55 | 200 |3108 | 200 | 244 | 17M| 0 | 20k|-3.850000e+01 |-2.900000e+01 | 24.68%
1097.28/1097.36 c 1097s| 1830k|176755 | 25919k| 14.2 | 285M| 103 | - | 200 |3108 | 200 | 229 | 17M| 0 | 20k|-3.850000e+01 |-2.900000e+01 | 24.68%
1102.78/1102.82 c 1103s| 1840k|177329 | 26037k| 14.1 | 286M| 103 | - | 200 |3108 | 200 | 244 | 17M| 0 | 20k|-3.850000e+01 |-2.900000e+01 | 24.68%
1108.18/1108.22 c 1108s| 1850k|177781 | 26156k| 14.1 | 287M| 103 | - | 200 |3108 | 200 | 242 | 17M| 0 | 20k|-3.850000e+01 |-2.900000e+01 | 24.68%
1113.68/1113.73 c 1114s| 1860k|178311 | 26279k| 14.1 | 288M| 103 | - | 200 |3108 | 200 | 221 | 17M| 0 | 20k|-3.850000e+01 |-2.900000e+01 | 24.68%
1119.08/1119.11 c 1119s| 1870k|178757 | 26397k| 14.1 | 289M| 103 | 15 | 200 |3108 | 200 | 216 | 17M| 0 | 20k|-3.850000e+01 |-2.900000e+01 | 24.68%
1124.48/1124.52 c 1125s| 1880k|179225 | 26516k| 14.1 | 289M| 103 | 46 | 200 |3108 | 200 | 271 | 18M| 0 | 21k|-3.850000e+01 |-2.900000e+01 | 24.68%
1129.98/1130.05 c 1130s| 1890k|179717 | 26636k| 14.1 | 290M| 103 | - | 200 |3108 | 200 | 213 | 18M| 0 | 21k|-3.850000e+01 |-2.900000e+01 | 24.68%
1135.48/1135.55 c 1136s| 1900k|180251 | 26757k| 14.1 | 291M| 103 | - | 200 |3108 | 200 | 210 | 18M| 0 | 21k|-3.850000e+01 |-2.900000e+01 | 24.68%
1140.98/1141.03 c 1141s| 1910k|180715 | 26877k| 14.1 | 292M| 103 | - | 200 |3108 | 200 | 244 | 18M| 0 | 21k|-3.847368e+01 |-2.900000e+01 | 24.62%
1146.38/1146.47 c 1146s| 1920k|181191 | 26998k| 14.1 | 293M| 103 | 6 | 200 |3108 | 200 | 219 | 18M| 0 | 21k|-3.844444e+01 |-2.900000e+01 | 24.57%
1151.78/1151.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1151.78/1151.88 c 1152s| 1930k|181593 | 27117k| 14.0 | 293M| 103 | 47 | 200 |3108 | 200 | 200 | 18M| 0 | 21k|-3.842857e+01 |-2.900000e+01 | 24.54%
1157.28/1157.30 c 1157s| 1940k|182021 | 27235k| 14.0 | 294M| 103 | 8 | 200 |3108 | 200 | 212 | 18M| 0 | 21k|-3.840000e+01 |-2.900000e+01 | 24.48%
1162.69/1162.75 c 1163s| 1950k|182501 | 27354k| 14.0 | 295M| 103 | 26 | 200 |3108 | 200 | 253 | 18M| 0 | 21k|-3.840000e+01 |-2.900000e+01 | 24.48%
1168.08/1168.17 c 1168s| 1960k|182989 | 27472k| 14.0 | 296M| 103 | 13 | 200 |3108 | 200 | 233 | 18M| 0 | 21k|-3.837500e+01 |-2.900000e+01 | 24.43%
1173.37/1173.48 c 1173s| 1970k|183475 | 27590k| 14.0 | 297M| 103 | 8 | 200 |3108 | 200 | 216 | 18M| 0 | 21k|-3.835714e+01 |-2.900000e+01 | 24.39%
1178.88/1178.90 c 1179s| 1980k|183907 | 27710k| 14.0 | 297M| 103 | 45 | 200 |3108 | 200 | 212 | 18M| 0 | 21k|-3.833333e+01 |-2.900000e+01 | 24.35%
1184.18/1184.29 c 1184s| 1990k|184357 | 27829k| 14.0 | 298M| 103 | - | 200 |3108 | 200 | 241 | 18M| 0 | 21k|-3.833333e+01 |-2.900000e+01 | 24.35%
1189.58/1189.67 c 1190s| 2000k|184811 | 27947k| 14.0 | 299M| 103 | 28 | 200 |3108 | 200 | 220 | 19M| 0 | 21k|-3.833333e+01 |-2.900000e+01 | 24.35%
1195.08/1195.16 c 1195s| 2010k|185279 | 28066k| 14.0 | 300M| 103 | - | 200 |3108 | 200 | 251 | 19M| 0 | 21k|-3.833333e+01 |-2.900000e+01 | 24.35%
1200.57/1200.64 c 1201s| 2020k|185787 | 28187k| 13.9 | 301M| 103 | 28 | 200 |3108 | 200 | 218 | 19M| 0 | 21k|-3.830000e+01 |-2.900000e+01 | 24.28%
1205.88/1205.95 c 1206s| 2030k|186229 | 28304k| 13.9 | 301M| 103 | 16 | 200 |3108 | 200 | 231 | 19M| 0 | 21k|-3.828571e+01 |-2.900000e+01 | 24.25%
1211.18/1211.27 c 1211s| 2040k|186615 | 28420k| 13.9 | 302M| 103 | 29 | 200 |3108 | 200 | 217 | 19M| 0 | 21k|-3.825000e+01 |-2.900000e+01 | 24.18%
1216.59/1216.65 c 1217s| 2050k|187089 | 28538k| 13.9 | 303M| 103 | 40 | 200 |3108 | 200 | 230 | 19M| 0 | 21k|-3.825000e+01 |-2.900000e+01 | 24.18%
1221.99/1222.06 c 1222s| 2060k|187543 | 28654k| 13.9 | 304M| 103 | 24 | 200 |3108 | 200 | 208 | 19M| 0 | 21k|-3.825000e+01 |-2.900000e+01 | 24.18%
1227.37/1227.50 c 1227s| 2070k|188001 | 28772k| 13.9 | 304M| 103 | 42 | 200 |3108 | 200 | 230 | 19M| 0 | 21k|-3.825000e+01 |-2.900000e+01 | 24.18%
1232.78/1232.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1232.78/1232.83 c 1233s| 2080k|188517 | 28888k| 13.9 | 305M| 103 | 38 | 200 |3108 | 200 | 241 | 19M| 0 | 22k|-3.822222e+01 |-2.900000e+01 | 24.13%
1237.97/1238.10 c 1238s| 2090k|188969 | 29006k| 13.9 | 306M| 103 | 33 | 200 |3108 | 200 | 232 | 19M| 0 | 22k|-3.820000e+01 |-2.900000e+01 | 24.08%
1243.37/1243.40 c 1243s| 2100k|189345 | 29122k| 13.9 | 307M| 103 | 48 | 200 |3108 | 200 | 211 | 19M| 0 | 22k|-3.819048e+01 |-2.900000e+01 | 24.06%
1248.67/1248.79 c 1249s| 2110k|189755 | 29239k| 13.9 | 307M| 103 | 12 | 200 |3108 | 200 | 215 | 20M| 0 | 22k|-3.816667e+01 |-2.900000e+01 | 24.02%
1254.27/1254.31 c 1254s| 2120k|190153 | 29359k| 13.8 | 308M| 103 | - | 200 |3108 | 200 | 225 | 20M| 0 | 22k|-3.816667e+01 |-2.900000e+01 | 24.02%
1259.57/1259.69 c 1260s| 2130k|190501 | 29476k| 13.8 | 309M| 103 | 53 | 200 |3108 | 200 | 237 | 20M| 0 | 22k|-3.814286e+01 |-2.900000e+01 | 23.97%
1264.88/1265.00 c 1265s| 2140k|190945 | 29592k| 13.8 | 310M| 103 | 49 | 200 |3108 | 200 | 232 | 20M| 0 | 22k|-3.812500e+01 |-2.900000e+01 | 23.93%
1270.27/1270.34 c 1270s| 2150k|191321 | 29709k| 13.8 | 310M| 103 | 20 | 200 |3108 | 200 | 229 | 20M| 0 | 22k|-3.810000e+01 |-2.900000e+01 | 23.88%
1275.68/1275.75 c 1276s| 2160k|191791 | 29826k| 13.8 | 311M| 103 | - | 200 |3108 | 200 | 226 | 20M| 0 | 22k|-3.808333e+01 |-2.900000e+01 | 23.85%
1281.07/1281.18 c 1281s| 2170k|192209 | 29943k| 13.8 | 312M| 103 | 33 | 200 |3108 | 200 | 222 | 20M| 0 | 22k|-3.805882e+01 |-2.900000e+01 | 23.80%
1286.57/1286.66 c 1287s| 2180k|192599 | 30061k| 13.8 | 312M| 103 | - | 200 |3108 | 200 | 213 | 20M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1292.08/1292.13 c 1292s| 2190k|193087 | 30181k| 13.8 | 313M| 103 | - | 200 |3108 | 200 | 256 | 20M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1297.47/1297.55 c 1298s| 2200k|193477 | 30299k| 13.8 | 314M| 103 | - | 200 |3108 | 200 | 256 | 20M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1302.78/1302.85 c 1303s| 2210k|193811 | 30414k| 13.8 | 315M| 103 | - | 200 |3108 | 200 | 234 | 20M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1308.17/1308.23 c 1308s| 2220k|194283 | 30534k| 13.7 | 315M| 103 | - | 200 |3108 | 200 | 248 | 20M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1313.68/1313.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1313.68/1313.75 c 1314s| 2230k|194801 | 30654k| 13.7 | 316M| 103 | 47 | 200 |3108 | 200 | 200 | 21M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1318.97/1319.06 c 1319s| 2240k|195207 | 30771k| 13.7 | 317M| 103 | 30 | 200 |3108 | 200 | 200 | 21M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1324.38/1324.49 c 1324s| 2250k|195591 | 30889k| 13.7 | 318M| 103 | - | 200 |3108 | 200 | 235 | 21M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1329.78/1329.90 c 1330s| 2260k|196011 | 31007k| 13.7 | 318M| 103 | 3 | 200 |3108 | 200 | 225 | 21M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1335.07/1335.18 c 1335s| 2270k|196367 | 31121k| 13.7 | 319M| 103 | - | 200 |3108 | 200 | 239 | 21M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1340.48/1340.57 c 1341s| 2280k|196783 | 31238k| 13.7 | 320M| 103 | - | 200 |3108 | 200 | 233 | 21M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1345.97/1346.02 c 1346s| 2290k|197171 | 31353k| 13.7 | 320M| 103 | - | 200 |3108 | 200 | 238 | 21M| 0 | 22k|-3.800000e+01 |-2.900000e+01 | 23.68%
1351.27/1351.31 c 1351s| 2300k|197521 | 31468k| 13.7 | 321M| 103 | - | 200 |3108 | 200 | 231 | 21M| 0 | 23k|-3.800000e+01 |-2.900000e+01 | 23.68%
1356.47/1356.52 c 1357s| 2310k|197829 | 31580k| 13.7 | 322M| 103 | - | 200 |3108 | 200 | 212 | 21M| 0 | 23k|-3.800000e+01 |-2.900000e+01 | 23.68%
1361.67/1361.70 c 1362s| 2320k|198191 | 31696k| 13.7 | 322M| 103 | - | 200 |3108 | 200 | 235 | 21M| 0 | 23k|-3.800000e+01 |-2.900000e+01 | 23.68%
1366.86/1366.98 c 1367s| 2330k|198589 | 31811k| 13.6 | 323M| 103 | 4 | 200 |3108 | 200 | 211 | 21M| 0 | 23k|-3.800000e+01 |-2.900000e+01 | 23.68%
1372.36/1372.43 c 1372s| 2340k|199021 | 31927k| 13.6 | 324M| 103 | - | 200 |3108 | 200 | 241 | 22M| 0 | 23k|-3.800000e+01 |-2.900000e+01 | 23.68%
1377.76/1377.83 c 1378s| 2350k|199451 | 32044k| 13.6 | 324M| 103 | - | 200 |3108 | 200 | 238 | 22M| 0 | 23k|-3.800000e+01 |-2.900000e+01 | 23.68%
1383.07/1383.18 c 1383s| 2360k|199893 | 32162k| 13.6 | 325M| 103 | - | 200 |3108 | 200 | 217 | 22M| 0 | 23k|-3.800000e+01 |-2.900000e+01 | 23.68%
1388.37/1388.44 c 1388s| 2370k|200275 | 32276k| 13.6 | 326M| 103 | 4 | 200 |3108 | 200 | 217 | 22M| 0 | 23k|-3.797500e+01 |-2.900000e+01 | 23.63%
1393.57/1393.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1393.57/1393.67 c 1394s| 2380k|200643 | 32390k| 13.6 | 327M| 103 | - | 200 |3108 | 200 | 247 | 22M| 0 | 23k|-3.794118e+01 |-2.900000e+01 | 23.57%
1398.86/1398.96 c 1399s| 2390k|200999 | 32505k| 13.6 | 327M| 103 | - | 200 |3108 | 200 | 221 | 22M| 0 | 23k|-3.791667e+01 |-2.900000e+01 | 23.52%
1404.17/1404.26 c 1404s| 2400k|201337 | 32618k| 13.6 | 328M| 103 | 21 | 200 |3108 | 200 | 200 | 22M| 0 | 23k|-3.790000e+01 |-2.900000e+01 | 23.48%
1409.47/1409.52 c 1410s| 2410k|201691 | 32732k| 13.6 | 328M| 103 | - | 200 |3108 | 200 | 222 | 22M| 0 | 23k|-3.788372e+01 |-2.900000e+01 | 23.45%
1414.77/1414.80 c 1415s| 2420k|202049 | 32846k| 13.6 | 329M| 103 | - | 200 |3108 | 200 | 224 | 22M| 0 | 23k|-3.787500e+01 |-2.900000e+01 | 23.43%
1419.97/1420.05 c 1420s| 2430k|202347 | 32960k| 13.6 | 330M| 103 | - | 200 |3108 | 200 | 234 | 22M| 0 | 23k|-3.785714e+01 |-2.900000e+01 | 23.40%
1425.26/1425.37 c 1425s| 2440k|202631 | 33071k| 13.5 | 330M| 103 | - | 200 |3108 | 200 | 233 | 22M| 0 | 23k|-3.784000e+01 |-2.900000e+01 | 23.36%
1430.46/1430.56 c 1431s| 2450k|202991 | 33182k| 13.5 | 331M| 103 | - | 200 |3108 | 200 | 248 | 22M| 0 | 23k|-3.783333e+01 |-2.900000e+01 | 23.35%
1435.76/1435.86 c 1436s| 2460k|203365 | 33296k| 13.5 | 332M| 103 | 15 | 200 |3108 | 200 | 227 | 23M| 0 | 23k|-3.783333e+01 |-2.900000e+01 | 23.35%
1441.06/1441.18 c 1441s| 2470k|203775 | 33411k| 13.5 | 332M| 103 | 34 | 200 |3108 | 200 | 243 | 23M| 0 | 23k|-3.780303e+01 |-2.900000e+01 | 23.29%
1446.37/1446.41 c 1446s| 2480k|204151 | 33524k| 13.5 | 333M| 103 | 45 | 200 |3108 | 200 | 211 | 23M| 0 | 23k|-3.780000e+01 |-2.900000e+01 | 23.28%
1451.67/1451.70 c 1452s| 2490k|204489 | 33635k| 13.5 | 334M| 103 | 32 | 200 |3108 | 200 | 200 | 23M| 0 | 23k|-3.778571e+01 |-2.900000e+01 | 23.25%
1456.86/1456.99 c 1457s| 2500k|204787 | 33748k| 13.5 | 334M| 103 | - | 200 |3108 | 200 | 232 | 23M| 0 | 23k|-3.776923e+01 |-2.900000e+01 | 23.22%
1462.16/1462.25 c 1462s| 2510k|205179 | 33861k| 13.5 | 335M| 103 | 6 | 200 |3108 | 200 | 200 | 23M| 0 | 24k|-3.775000e+01 |-2.900000e+01 | 23.18%
1467.37/1467.45 c 1467s| 2520k|205529 | 33973k| 13.5 | 336M| 103 | - | 200 |3108 | 200 | 215 | 23M| 0 | 24k|-3.775000e+01 |-2.900000e+01 | 23.18%
1472.46/1472.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1472.46/1472.55 c 1473s| 2530k|205805 | 34081k| 13.5 | 336M| 103 | 50 | 200 |3108 | 200 | 200 | 23M| 0 | 24k|-3.775000e+01 |-2.900000e+01 | 23.18%
1477.66/1477.72 c 1478s| 2540k|206119 | 34188k| 13.5 | 337M| 103 | - | 200 |3108 | 200 | 257 | 23M| 0 | 24k|-3.775000e+01 |-2.900000e+01 | 23.18%
1482.86/1482.99 c 1483s| 2550k|206417 | 34301k| 13.4 | 337M| 103 | - | 200 |3108 | 200 | 240 | 23M| 0 | 24k|-3.775000e+01 |-2.900000e+01 | 23.18%
1488.16/1488.22 c 1488s| 2560k|206727 | 34413k| 13.4 | 338M| 103 | 11 | 200 |3108 | 200 | 215 | 23M| 0 | 24k|-3.772727e+01 |-2.900000e+01 | 23.13%
1493.36/1493.47 c 1493s| 2570k|207087 | 34526k| 13.4 | 338M| 103 | 24 | 200 |3108 | 200 | 234 | 23M| 0 | 24k|-3.771429e+01 |-2.900000e+01 | 23.11%
1498.76/1498.85 c 1499s| 2580k|207497 | 34642k| 13.4 | 339M| 103 | - | 200 |3108 | 200 | 240 | 24M| 0 | 24k|-3.769767e+01 |-2.900000e+01 | 23.07%
1504.06/1504.14 c 1504s| 2590k|207807 | 34754k| 13.4 | 340M| 103 | - | 200 |3108 | 200 | 216 | 24M| 0 | 24k|-3.766667e+01 |-2.900000e+01 | 23.01%
1509.46/1509.51 c 1510s| 2600k|208213 | 34869k| 13.4 | 340M| 103 | 9 | 200 |3108 | 200 | 219 | 24M| 0 | 24k|-3.766667e+01 |-2.900000e+01 | 23.01%
1514.76/1514.84 c 1515s| 2610k|208647 | 34985k| 13.4 | 341M| 103 | 46 | 200 |3108 | 200 | 252 | 24M| 0 | 24k|-3.766667e+01 |-2.900000e+01 | 23.01%
1520.07/1520.12 c 1520s| 2620k|209047 | 35099k| 13.4 | 342M| 103 | - | 200 |3108 | 200 | 243 | 24M| 0 | 24k|-3.766667e+01 |-2.900000e+01 | 23.01%
1525.26/1525.32 c 1525s| 2630k|209355 | 35210k| 13.4 | 342M| 103 | 25 | 200 |3108 | 200 | 225 | 24M| 0 | 24k|-3.766667e+01 |-2.900000e+01 | 23.01%
1530.46/1530.56 c 1531s| 2640k|209653 | 35320k| 13.4 | 343M| 103 | - | 200 |3108 | 200 | 226 | 24M| 0 | 24k|-3.766667e+01 |-2.900000e+01 | 23.01%
1535.76/1535.87 c 1536s| 2650k|209989 | 35431k| 13.4 | 344M| 103 | 13 | 200 |3108 | 200 | 200 | 24M| 0 | 24k|-3.766667e+01 |-2.900000e+01 | 23.01%
1541.07/1541.10 c 1541s| 2660k|210299 | 35544k| 13.4 | 344M| 103 | - | 200 |3108 | 200 | 233 | 24M| 0 | 24k|-3.763830e+01 |-2.900000e+01 | 22.95%
1546.27/1546.33 c 1546s| 2670k|210609 | 35656k| 13.3 | 345M| 103 | 47 | 200 |3108 | 200 | 217 | 24M| 0 | 24k|-3.762500e+01 |-2.900000e+01 | 22.92%
1551.36/1551.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1551.36/1551.49 c 1551s| 2680k|210915 | 35765k| 13.3 | 345M| 103 | - | 200 |3108 | 200 | 263 | 24M| 0 | 24k|-3.760000e+01 |-2.900000e+01 | 22.87%
1556.76/1556.83 c 1557s| 2690k|211345 | 35879k| 13.3 | 346M| 103 | 52 | 200 |3108 | 200 | 224 | 24M| 0 | 24k|-3.760000e+01 |-2.900000e+01 | 22.87%
1562.07/1562.17 c 1562s| 2700k|211645 | 35991k| 13.3 | 347M| 103 | 42 | 200 |3108 | 200 | 232 | 25M| 0 | 24k|-3.758824e+01 |-2.900000e+01 | 22.85%
1567.26/1567.35 c 1567s| 2710k|211909 | 36102k| 13.3 | 347M| 103 | - | 200 |3108 | 200 | 213 | 25M| 0 | 24k|-3.757143e+01 |-2.900000e+01 | 22.81%
1572.56/1572.62 c 1573s| 2720k|212261 | 36214k| 13.3 | 348M| 103 | 29 | 200 |3108 | 200 | 213 | 25M| 0 | 24k|-3.755556e+01 |-2.900000e+01 | 22.78%
1577.66/1577.74 c 1578s| 2730k|212557 | 36323k| 13.3 | 348M| 103 | 49 | 200 |3108 | 200 | 211 | 25M| 0 | 24k|-3.754286e+01 |-2.900000e+01 | 22.75%
1583.07/1583.10 c 1583s| 2740k|212887 | 36436k| 13.3 | 349M| 103 | 17 | 200 |3108 | 200 | 229 | 25M| 0 | 24k|-3.750000e+01 |-2.900000e+01 | 22.67%
1588.37/1588.41 c 1588s| 2750k|213171 | 36548k| 13.3 | 350M| 103 | 8 | 200 |3108 | 200 | 200 | 25M| 0 | 24k|-3.750000e+01 |-2.900000e+01 | 22.67%
1593.57/1593.61 c 1594s| 2760k|213533 | 36659k| 13.3 | 350M| 103 | - | 200 |3108 | 200 | 228 | 25M| 0 | 25k|-3.750000e+01 |-2.900000e+01 | 22.67%
1598.76/1598.80 c 1599s| 2770k|213797 | 36771k| 13.3 | 351M| 103 | - | 200 |3108 | 200 | 230 | 25M| 0 | 25k|-3.750000e+01 |-2.900000e+01 | 22.67%
1603.87/1603.95 c 1604s| 2780k|214171 | 36881k| 13.3 | 351M| 103 | - | 200 |3108 | 200 | 220 | 25M| 0 | 25k|-3.750000e+01 |-2.900000e+01 | 22.67%
1609.17/1609.21 c 1609s| 2790k|214517 | 36992k| 13.3 | 352M| 103 | 5 | 200 |3108 | 200 | 215 | 25M| 0 | 25k|-3.750000e+01 |-2.900000e+01 | 22.67%
1614.36/1614.45 c 1614s| 2800k|214853 | 37104k| 13.2 | 353M| 103 | - | 200 |3108 | 200 | 234 | 25M| 0 | 25k|-3.750000e+01 |-2.900000e+01 | 22.67%
1619.56/1619.66 c 1620s| 2810k|215181 | 37216k| 13.2 | 353M| 103 | - | 200 |3108 | 200 | 200 | 25M| 0 | 25k|-3.750000e+01 |-2.900000e+01 | 22.67%
1624.67/1624.79 c 1625s| 2820k|215475 | 37325k| 13.2 | 354M| 103 | 14 | 200 |3108 | 200 | 216 | 26M| 0 | 25k|-3.750000e+01 |-2.900000e+01 | 22.67%
1629.77/1629.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1629.77/1629.88 c 1630s| 2830k|215769 | 37433k| 13.2 | 354M| 103 | 44 | 200 |3108 | 200 | 222 | 26M| 0 | 25k|-3.750000e+01 |-2.900000e+01 | 22.67%
1635.06/1635.15 c 1635s| 2840k|216087 | 37542k| 13.2 | 355M| 103 | - | 200 |3108 | 200 | 225 | 26M| 0 | 25k|-3.750000e+01 |-2.900000e+01 | 22.67%
1640.17/1640.27 c 1640s| 2850k|216423 | 37651k| 13.2 | 355M| 103 | - | 200 |3108 | 200 | 255 | 26M| 0 | 25k|-3.750000e+01 |-2.900000e+01 | 22.67%
1645.27/1645.39 c 1645s| 2860k|216733 | 37759k| 13.2 | 356M| 103 | 46 | 200 |3108 | 200 | 215 | 26M| 0 | 25k|-3.750000e+01 |-2.900000e+01 | 22.67%
1650.37/1650.47 c 1650s| 2870k|216973 | 37867k| 13.2 | 357M| 103 | - | 200 |3108 | 200 | 245 | 26M| 0 | 25k|-3.750000e+01 |-2.900000e+01 | 22.67%
1655.56/1655.67 c 1656s| 2880k|217239 | 37979k| 13.2 | 357M| 103 | 47 | 200 |3108 | 200 | 234 | 26M| 0 | 25k|-3.750000e+01 |-2.900000e+01 | 22.67%
1660.76/1660.84 c 1661s| 2890k|217461 | 38086k| 13.2 | 358M| 103 | 40 | 200 |3108 | 200 | 215 | 26M| 0 | 25k|-3.750000e+01 |-2.900000e+01 | 22.67%
1665.86/1665.96 c 1666s| 2900k|217733 | 38195k| 13.2 | 358M| 103 | - | 200 |3108 | 200 | 239 | 26M| 0 | 25k|-3.750000e+01 |-2.900000e+01 | 22.67%
1671.06/1671.16 c 1671s| 2910k|218093 | 38306k| 13.2 | 359M| 103 | 55 | 200 |3108 | 200 | 255 | 26M| 0 | 25k|-3.750000e+01 |-2.900000e+01 | 22.67%
1676.16/1676.21 c 1676s| 2920k|218393 | 38413k| 13.2 | 359M| 103 | - | 200 |3108 | 200 | 223 | 26M| 0 | 25k|-3.746667e+01 |-2.900000e+01 | 22.60%
1681.26/1681.30 c 1681s| 2930k|218683 | 38521k| 13.1 | 360M| 103 | 36 | 200 |3108 | 200 | 233 | 26M| 0 | 25k|-3.744444e+01 |-2.900000e+01 | 22.55%
1686.46/1686.51 c 1687s| 2940k|218993 | 38630k| 13.1 | 360M| 103 | 13 | 200 |3108 | 200 | 217 | 27M| 0 | 25k|-3.742857e+01 |-2.900000e+01 | 22.52%
1691.56/1691.61 c 1692s| 2950k|219333 | 38739k| 13.1 | 361M| 103 | 10 | 200 |3108 | 200 | 224 | 27M| 0 | 25k|-3.741667e+01 |-2.900000e+01 | 22.49%
1696.66/1696.72 c 1697s| 2960k|219583 | 38847k| 13.1 | 362M| 103 | 24 | 200 |3108 | 200 | 216 | 27M| 0 | 25k|-3.740000e+01 |-2.900000e+01 | 22.46%
1701.77/1701.89 c 1702s| 2970k|219915 | 38956k| 13.1 | 362M| 103 | - | 200 |3108 | 200 | 235 | 27M| 0 | 25k|-3.740000e+01 |-2.900000e+01 | 22.46%
1707.07/1707.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1707.07/1707.14 c 1707s| 2980k|220249 | 39065k| 13.1 | 363M| 103 | 7 | 200 |3108 | 200 | 212 | 27M| 0 | 25k|-3.738462e+01 |-2.900000e+01 | 22.43%
1712.16/1712.28 c 1712s| 2990k|220491 | 39173k| 13.1 | 363M| 103 | 18 | 200 |3108 | 200 | 230 | 27M| 0 | 25k|-3.737500e+01 |-2.900000e+01 | 22.41%
1717.26/1717.33 c 1717s| 3000k|220759 | 39280k| 13.1 | 364M| 103 | 8 | 200 |3108 | 200 | 215 | 27M| 0 | 25k|-3.736364e+01 |-2.900000e+01 | 22.38%
1722.26/1722.38 c 1722s| 3010k|221021 | 39387k| 13.1 | 364M| 103 | 26 | 200 |3108 | 200 | 231 | 27M| 0 | 25k|-3.733333e+01 |-2.900000e+01 | 22.32%
1727.56/1727.61 c 1728s| 3020k|221395 | 39498k| 13.1 | 365M| 103 | 16 | 200 |3108 | 200 | 230 | 27M| 0 | 26k|-3.733333e+01 |-2.900000e+01 | 22.32%
1732.76/1732.81 c 1733s| 3030k|221661 | 39606k| 13.1 | 365M| 103 | 14 | 200 |3108 | 200 | 234 | 27M| 0 | 26k|-3.733333e+01 |-2.900000e+01 | 22.32%
1737.86/1737.96 c 1738s| 3040k|221993 | 39716k| 13.1 | 366M| 103 | 26 | 200 |3108 | 200 | 210 | 27M| 0 | 26k|-3.733333e+01 |-2.900000e+01 | 22.32%
1742.96/1743.04 c 1743s| 3050k|222297 | 39823k| 13.1 | 367M| 103 | - | 200 |3108 | 200 | 234 | 27M| 0 | 26k|-3.733333e+01 |-2.900000e+01 | 22.32%
1748.06/1748.15 c 1748s| 3060k|222571 | 39930k| 13.0 | 367M| 103 | - | 200 |3108 | 200 | 245 | 28M| 0 | 26k|-3.733333e+01 |-2.900000e+01 | 22.32%
1753.37/1753.42 c 1753s| 3070k|222887 | 40041k| 13.0 | 368M| 103 | 56 | 200 |3108 | 200 | 245 | 28M| 0 | 26k|-3.732000e+01 |-2.900000e+01 | 22.29%
1758.46/1758.55 c 1759s| 3080k|223107 | 40147k| 13.0 | 368M| 103 | - | 200 |3108 | 200 | 230 | 28M| 0 | 26k|-3.730000e+01 |-2.900000e+01 | 22.25%
1763.56/1763.67 c 1764s| 3090k|223411 | 40257k| 13.0 | 369M| 103 | 38 | 200 |3108 | 200 | 229 | 28M| 0 | 26k|-3.728571e+01 |-2.900000e+01 | 22.22%
1768.77/1768.82 c 1769s| 3100k|223679 | 40365k| 13.0 | 369M| 103 | - | 200 |3108 | 200 | 239 | 28M| 0 | 26k|-3.727273e+01 |-2.900000e+01 | 22.20%
1773.86/1773.94 c 1774s| 3110k|223943 | 40473k| 13.0 | 370M| 103 | 10 | 200 |3108 | 200 | 232 | 28M| 0 | 26k|-3.725000e+01 |-2.900000e+01 | 22.15%
1779.07/1779.17 c 1779s| 3120k|224235 | 40581k| 13.0 | 370M| 103 | - | 200 |3108 | 200 | 232 | 28M| 0 | 26k|-3.725000e+01 |-2.900000e+01 | 22.15%
1784.17/1784.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1784.17/1784.22 c 1784s| 3130k|224551 | 40688k| 13.0 | 371M| 103 | - | 200 |3108 | 200 | 228 | 28M| 0 | 26k|-3.725000e+01 |-2.900000e+01 | 22.15%
1789.26/1789.32 c 1789s| 3140k|224797 | 40795k| 13.0 | 371M| 103 | - | 200 |3108 | 200 | 226 | 28M| 0 | 26k|-3.725000e+01 |-2.900000e+01 | 22.15%
1794.36/1794.43 c 1794s| 3150k|225069 | 40903k| 13.0 | 372M| 103 | - | 200 |3108 | 200 | 230 | 28M| 0 | 26k|-3.725000e+01 |-2.900000e+01 | 22.15%
1796.96/1797.00 c
1796.96/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.96/1797.00 c Solving Time (sec) : 1797.00
1796.96/1797.00 c Solving Nodes : 3155020
1796.96/1797.00 c Primal Bound : -2.90000000000000e+01 (576 solutions)
1796.96/1797.00 c Dual Bound : -3.72500000000000e+01
1796.96/1797.00 c Gap : 22.15 %
1796.96/1797.00 s SATISFIABLE
1796.96/1797.00 v -x200 x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 -x189 x188 -x187 x186 x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178
1796.96/1797.00 v -x177 x176 x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 x167 x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157
1796.96/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
1796.96/1797.00 v -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114
1796.96/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
1796.96/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
1796.96/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
1796.96/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
1796.96/1797.00 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 -x2 -x1
1796.96/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.96/1797.00 c Total Time : 1797.00
1796.96/1797.00 c solving : 1797.00
1796.96/1797.00 c presolving : 0.08 (included in solving)
1796.96/1797.00 c reading : 0.01 (included in solving)
1796.96/1797.00 c Original Problem :
1796.96/1797.00 c Problem name : HOME/instance-3485166-1307784849.opb
1796.96/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.96/1797.00 c Constraints : 200 initial, 200 maximal
1796.96/1797.00 c Presolved Problem :
1796.96/1797.00 c Problem name : t_HOME/instance-3485166-1307784849.opb
1796.96/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.96/1797.00 c Constraints : 3108 initial, 3108 maximal
1796.96/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.96/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.96/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1796.96/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.96/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.96/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.96/1797.00 c probing : 0.02 0 0 0 0 0 0 0 0 0
1796.96/1797.00 c and : 0.03 0 0 0 0 0 0 0 0 0
1796.96/1797.00 c linear : 0.01 3108 0 0 3108 0 200 0 0 0
1796.96/1797.00 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1796.96/1797.00 c root node : - 0 - - 0 - - - - -
1796.96/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.96/1797.00 c integral : 0 0 0 2652301 0 721053 0 224 1564 0 0 3385052
1796.96/1797.00 c logicor : 3108 66 3166472 958847 0 721049 137 20 18215514 28766289 0 0
1796.96/1797.00 c countsols : 0 0 0 7 0 571 0 0 0 0 0 0
1796.96/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.96/1797.00 c integral : 38.13 0.00 0.00 37.95 0.00 0.19 0.00
1796.96/1797.00 c logicor : 146.09 0.03 66.23 47.98 0.00 31.85 0.00
1796.96/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.96/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.96/1797.00 c vbounds : 0 0 0 0
1796.96/1797.00 c rootredcost : 9 0 0 0
1796.96/1797.00 c pseudoobj : 5133022 2 1 13
1796.96/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1796.96/1797.00 c vbounds : 0.84 0.84 0.00
1796.96/1797.00 c rootredcost : 0.92 0.92 0.00
1796.96/1797.00 c pseudoobj : 23.50 23.50 0.00
1796.96/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.96/1797.00 c propagation : 0.00 20 0 0 0.0 0 0.0 -
1796.96/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.96/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.96/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.96/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.96/1797.00 c applied globally : - - - 0 0.0 - - -
1796.96/1797.00 c applied locally : - - - 0 0.0 - - -
1796.96/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.96/1797.00 c cut pool : 0.07 65 - - 189 - (maximal pool size: 3102)
1796.96/1797.00 c redcost : 14.43 2848230 0 365837 0 0
1796.96/1797.00 c impliedbounds : 0.01 66 0 0 1427 0
1796.96/1797.00 c intobj : 0.00 0 0 0 0 0
1796.96/1797.00 c gomory : 1.84 66 0 0 11673 0
1796.96/1797.00 c cgmip : 0.00 0 0 0 0 0
1796.96/1797.00 c closecuts : 0.00 0 0 0 0 0
1796.96/1797.00 c strongcg : 0.31 20 0 0 8753 0
1796.96/1797.00 c cmir : 0.06 10 0 0 0 0
1796.96/1797.00 c flowcover : 0.05 10 0 0 0 0
1796.96/1797.00 c clique : 0.15 66 0 0 576 0
1796.96/1797.00 c zerohalf : 0.00 0 0 0 0 0
1796.96/1797.00 c mcf : 0.00 1 0 0 0 0
1796.96/1797.00 c oddcycle : 0.00 0 0 0 0 0
1796.96/1797.00 c rapidlearning : 0.00 0 0 0 0 0
1796.96/1797.00 c Pricers : Time Calls Vars
1796.96/1797.00 c problem variables: 0.00 0 0
1796.96/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.96/1797.00 c relpscost : 36.60 1693454 224 1564 0 0 3385052
1796.96/1797.00 c pscost : 0.00 0 0 0 0 0 0
1796.96/1797.00 c inference : 0.00 1 0 0 0 0 2
1796.96/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1796.96/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1796.96/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1796.96/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1796.96/1797.00 c random : 0.00 0 0 0 0 0 0
1796.96/1797.00 c Primal Heuristics : Time Calls Found
1796.96/1797.00 c LP solutions : 0.01 - 7
1796.96/1797.00 c pseudo solutions : 0.00 - 0
1796.96/1797.00 c feaspump : 0.07 0 0
1796.96/1797.00 c oneopt : 0.77 10 1
1796.96/1797.00 c crossover : 0.89 24 0
1796.96/1797.00 c linesearchdiving : 0.43 387 6
1796.96/1797.00 c fracdiving : 0.45 387 12
1796.96/1797.00 c coefdiving : 0.40 387 7
1796.96/1797.00 c pscostdiving : 0.40 387 3
1796.96/1797.00 c veclendiving : 0.36 387 3
1796.96/1797.00 c guideddiving : 0.43 387 1
1796.96/1797.00 c objpscostdiving : 0.25 194 6
1796.96/1797.00 c rootsoldiving : 0.45 194 2
1796.96/1797.00 c trivial : 0.00 2 1
1796.96/1797.00 c shiftandpropagate: 0.00 0 0
1796.96/1797.00 c simplerounding : 41.63 1695894 515
1796.96/1797.00 c zirounding : 0.62 1000 10
1796.96/1797.00 c rounding : 4.02 62974 1
1796.96/1797.00 c shifting : 0.64 8116 1
1796.96/1797.00 c intshifting : 0.04 0 0
1796.96/1797.00 c twoopt : 0.00 0 0
1796.96/1797.00 c fixandinfer : 0.00 0 0
1796.96/1797.00 c clique : 0.00 0 0
1796.96/1797.00 c intdiving : 0.00 0 0
1796.96/1797.00 c actconsdiving : 0.00 0 0
1796.96/1797.00 c octane : 0.00 0 0
1796.96/1797.00 c rens : 0.00 0 0
1796.96/1797.00 c rins : 0.00 0 0
1796.96/1797.00 c localbranching : 0.00 0 0
1796.96/1797.00 c mutation : 0.00 0 0
1796.96/1797.00 c dins : 0.00 0 0
1796.96/1797.00 c vbounds : 0.00 0 0
1796.96/1797.00 c undercover : 0.00 0 0
1796.96/1797.00 c subnlp : 0.47 0 0
1796.96/1797.00 c trysol : 0.70 0 0
1796.96/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1796.96/1797.00 c primal LP : 38.25 0 0 0.00 0.00
1796.96/1797.00 c dual LP : 1122.90 4119835 40912772 9.93 36434.83
1796.96/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.96/1797.00 c barrier LP : 0.00 0 0 0.00 -
1796.96/1797.00 c diving/probing LP: 1.68 7658 44475 5.81 26489.68
1796.96/1797.00 c strong branching : 17.51 26550 447527 16.86 25555.32
1796.96/1797.00 c (at root node) : - 19 13158 692.53 -
1796.96/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.96/1797.00 c B&B Tree :
1796.96/1797.00 c number of runs : 1
1796.96/1797.00 c nodes : 3155020
1796.96/1797.00 c nodes (total) : 3155020
1796.96/1797.00 c nodes left : 225217
1796.96/1797.00 c max depth : 103
1796.96/1797.00 c max depth (total): 103
1796.96/1797.00 c backtracks : 367142 (11.6%)
1796.96/1797.00 c delayed cutoffs : 0
1796.96/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.96/1797.00 c avg switch length: 5.06
1796.96/1797.00 c switching time : 142.38
1796.96/1797.00 c Solution :
1796.96/1797.00 c Solutions found : 576 (12 improvements)
1796.96/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1796.96/1797.00 c Primal Bound : -2.90000000000000e+01 (in run 1, after 32168 nodes, 36.87 seconds, depth 46, found by <relaxation>)
1796.96/1797.00 c Dual Bound : -3.72500000000000e+01
1796.96/1797.00 c Gap : 22.15 %
1796.96/1797.00 c Root Dual Bound : -4.97537699833094e+01
1796.96/1797.00 c Root Iterations : 12506
1797.66/1797.77 c Time complete: 1797.74.
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-3485166-1307784849/watcher-3485166-1307784849 -o /tmp/evaluation-result-3485166-1307784849/solver-3485166-1307784849 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485166-1307784849.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 1.99 1.68 2/177 23987 /proc/meminfo: memFree=31005268/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=10104 CPUtime=0 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 1517 0 0 0 0 0 0 0 25 0 1 0 9229685 10346496 1471 33554432000 4194304 8979876 140734919512128 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/23987/statm: 2526 1471 367 1169 0 1353 0 [startup+0.010278 s] /proc/loadavg: 2.00 1.99 1.68 2/177 23987 /proc/meminfo: memFree=31005268/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=12880 CPUtime=0 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 2015 0 0 0 0 0 0 0 25 0 1 0 9229685 13189120 1970 33554432000 4194304 8979876 140734919512128 18446744073709551615 7836189 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/23987/statm: 3220 1990 411 1169 0 2047 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12880 [startup+0.100255 s] /proc/loadavg: 2.00 1.99 1.68 2/177 23987 /proc/meminfo: memFree=31005268/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=30596 CPUtime=0.09 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 6788 0 0 0 9 0 0 0 25 0 1 0 9229685 31330304 6483 33554432000 4194304 8979876 140734919512128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/23987/statm: 7649 6483 616 1169 0 6476 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 30596 [startup+0.300228 s] /proc/loadavg: 2.00 1.99 1.68 2/177 23987 /proc/meminfo: memFree=31005268/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=33036 CPUtime=0.29 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 7447 0 0 0 29 0 0 0 25 0 1 0 9229685 33828864 7085 33554432000 4194304 8979876 140734919512128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/23987/statm: 8259 7085 653 1169 0 7086 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 33036 [startup+0.701155 s] /proc/loadavg: 2.00 1.99 1.68 2/177 23987 /proc/meminfo: memFree=31005268/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=38108 CPUtime=0.69 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 8785 0 0 0 68 1 0 0 25 0 1 0 9229685 39022592 8404 33554432000 4194304 8979876 140734919512128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/23987/statm: 9527 8404 654 1169 0 8354 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 38108 [startup+1.5009 s] /proc/loadavg: 2.00 1.99 1.68 4/178 23988 /proc/meminfo: memFree=30972176/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=48484 CPUtime=1.49 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 11399 0 0 0 146 3 0 0 25 0 1 0 9229685 49647616 11005 33554432000 4194304 8979876 140734919512128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/23987/statm: 12121 11005 656 1169 0 10948 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 48484 [startup+3.10073 s] /proc/loadavg: 2.00 1.99 1.68 3/178 23988 /proc/meminfo: memFree=30958164/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=53184 CPUtime=3.09 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 12665 0 0 0 303 6 0 0 25 0 1 0 9229685 54460416 12263 33554432000 4194304 8979876 140734919512128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/23987/statm: 13296 12263 656 1169 0 12123 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 53184 [startup+6.30117 s] /proc/loadavg: 2.00 1.99 1.68 3/178 23988 /proc/meminfo: memFree=30954812/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=55072 CPUtime=6.29 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 13662 0 0 0 615 14 0 0 25 0 1 0 9229685 56393728 12780 33554432000 4194304 8979876 140734919512128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/23987/statm: 13768 12780 675 1169 0 12595 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 55072 [startup+12.701 s] /proc/loadavg: 2.00 1.99 1.69 3/178 23988 /proc/meminfo: memFree=30949396/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=65356 CPUtime=12.69 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 21799 0 0 0 1229 40 0 0 25 0 1 0 9229685 66924544 15024 33554432000 4194304 8979876 140734919512128 18446744073709551615 4445284 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/23987/statm: 16339 15024 700 1169 0 15166 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 65356 [startup+25.5008 s] /proc/loadavg: 2.00 1.99 1.69 3/178 23989 /proc/meminfo: memFree=30935896/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=63268 CPUtime=25.49 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 33954 0 0 0 2460 89 0 0 25 0 1 0 9229685 64786432 14793 33554432000 4194304 8979876 140734919512128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/23987/statm: 15817 14793 701 1169 0 14644 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 63268 [startup+51.1002 s] /proc/loadavg: 2.00 1.99 1.70 3/178 23990 /proc/meminfo: memFree=30910948/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=72016 CPUtime=51.09 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 51950 0 0 0 4924 185 0 0 25 0 1 0 9229685 73744384 17091 33554432000 4194304 8979876 140734919512128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/23987/statm: 18004 17091 701 1169 0 16831 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 72016 [startup+102.306 s] /proc/loadavg: 2.00 1.99 1.71 3/178 23991 /proc/meminfo: memFree=30865012/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=92548 CPUtime=102.3 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 60834 0 0 0 9878 352 0 0 25 0 1 0 9229685 94769152 22190 33554432000 4194304 8979876 140734919512128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23987/statm: 23137 22190 701 1169 0 21964 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 92548 [startup+162.301 s] /proc/loadavg: 2.06 2.00 1.73 3/178 23992 /proc/meminfo: memFree=30825112/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=115724 CPUtime=162.28 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 68570 0 0 0 15705 523 0 0 25 0 1 0 9229685 118501376 28029 33554432000 4194304 8979876 140734919512128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23987/statm: 28931 28029 701 1169 0 27758 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 115724 [startup+222.301 s] /proc/loadavg: 2.02 2.00 1.75 3/178 23994 /proc/meminfo: memFree=30783376/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=136724 CPUtime=222.29 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 75787 0 0 0 21486 743 0 0 25 0 1 0 9229685 140005376 33354 33554432000 4194304 8979876 140734919512128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/23987/statm: 34181 33354 701 1169 0 33008 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 136724 [startup+282.3 s] /proc/loadavg: 2.01 2.00 1.76 3/178 23996 /proc/meminfo: memFree=30759864/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=154296 CPUtime=282.29 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 80190 0 0 0 27270 959 0 0 25 0 1 0 9229685 157999104 37757 33554432000 4194304 8979876 140734919512128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/23987/statm: 38574 37757 701 1169 0 37401 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 154296 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.77 3/178 23998 /proc/meminfo: memFree=30723820/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=171576 CPUtime=342.29 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 85962 0 0 0 33060 1169 0 0 25 0 1 0 9229685 175693824 41622 33554432000 4194304 8979876 140734919512128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/23987/statm: 42894 41622 701 1169 0 41721 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 171576 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.78 3/178 23999 /proc/meminfo: memFree=30689516/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=190896 CPUtime=402.28 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 90829 0 0 0 38848 1380 0 0 25 0 1 0 9229685 195477504 46489 33554432000 4194304 8979876 140734919512128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23987/statm: 47724 46489 701 1169 0 46551 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 190896 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.79 3/178 24000 /proc/meminfo: memFree=30658556/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=205232 CPUtime=462.29 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 94455 0 0 0 44678 1551 0 0 25 0 1 0 9229685 210157568 50115 33554432000 4194304 8979876 140734919512128 18446744073709551615 4318880 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23987/statm: 51308 50115 701 1169 0 50135 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 205232 [startup+522.301 s] /proc/loadavg: 2.00 2.00 1.80 3/178 24002 /proc/meminfo: memFree=30628348/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=219336 CPUtime=522.28 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 98075 0 0 0 50509 1719 0 0 25 0 1 0 9229685 224600064 53735 33554432000 4194304 8979876 140734919512128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23987/statm: 54834 53735 701 1169 0 53661 0 Current children cumulated CPU time (s) 522.28 Current children cumulated vsize (KiB) 219336 [startup+582.3 s] /proc/loadavg: 2.00 2.00 1.82 3/178 24004 /proc/meminfo: memFree=30593812/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=235940 CPUtime=582.29 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 104383 0 0 0 56343 1886 0 0 25 0 1 0 9229685 241602560 57883 33554432000 4194304 8979876 140734919512128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23987/statm: 58985 57883 701 1169 0 57812 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 235940 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=30422328/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=322148 CPUtime=1062.28 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 128316 0 0 0 103007 3221 0 0 25 0 1 0 9229685 329879552 79648 33554432000 4194304 8979876 140734919512128 18446744073709551615 4983838 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23987/statm: 80537 79648 701 1169 0 79364 0 Current children cumulated CPU time (s) 1062.28 Current children cumulated vsize (KiB) 322148 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.88 3/178 24018 /proc/meminfo: memFree=30411096/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=334160 CPUtime=1122.28 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 131330 0 0 0 108843 3385 0 0 25 0 1 0 9229685 342179840 82662 33554432000 4194304 8979876 140734919512128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23987/statm: 83540 82662 701 1169 0 82367 0 Current children cumulated CPU time (s) 1122.28 Current children cumulated vsize (KiB) 334160 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.88 3/178 24020 /proc/meminfo: memFree=30403948/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=340168 CPUtime=1182.28 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 132864 0 0 0 114686 3542 0 0 25 0 1 0 9229685 348332032 84196 33554432000 4194304 8979876 140734919512128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23987/statm: 85042 84196 701 1169 0 83869 0 Current children cumulated CPU time (s) 1182.28 Current children cumulated vsize (KiB) 340168 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.89 3/178 24022 /proc/meminfo: memFree=30392476/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=350728 CPUtime=1242.28 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 135524 0 0 0 120521 3707 0 0 25 0 1 0 9229685 359145472 86855 33554432000 4194304 8979876 140734919512128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23987/statm: 87682 86855 701 1169 0 86509 0 Current children cumulated CPU time (s) 1242.28 Current children cumulated vsize (KiB) 350728 [startup+1302.3 s] /proc/loadavg: 2.04 2.01 1.90 3/178 24023 /proc/meminfo: memFree=30384088/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=358556 CPUtime=1302.28 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 137506 0 0 0 126354 3874 0 0 25 0 1 0 9229685 367161344 88837 33554432000 4194304 8979876 140734919512128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23987/statm: 89639 88837 701 1169 0 88466 0 Current children cumulated CPU time (s) 1302.28 Current children cumulated vsize (KiB) 358556 [startup+1362.3 s] /proc/loadavg: 2.01 2.01 1.90 3/178 24027 /proc/meminfo: memFree=30373716/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=372044 CPUtime=1362.27 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 139864 0 0 0 132191 4036 0 0 25 0 1 0 9229685 380973056 91195 33554432000 4194304 8979876 140734919512128 18446744073709551615 7047806 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23987/statm: 93011 91195 701 1169 0 91838 0 Current children cumulated CPU time (s) 1362.27 Current children cumulated vsize (KiB) 372044 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.91 3/178 24029 /proc/meminfo: memFree=30366736/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=378728 CPUtime=1422.27 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 141547 0 0 0 138034 4193 0 0 25 0 1 0 9229685 387817472 92878 33554432000 4194304 8979876 140734919512128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23987/statm: 94682 92878 701 1169 0 93509 0 Current children cumulated CPU time (s) 1422.27 Current children cumulated vsize (KiB) 378728 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.91 3/178 24031 /proc/meminfo: memFree=30356492/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=387560 CPUtime=1482.26 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 143774 0 0 0 143872 4354 0 0 25 0 1 0 9229685 396861440 95104 33554432000 4194304 8979876 140734919512128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23987/statm: 96890 95104 701 1169 0 95717 0 Current children cumulated CPU time (s) 1482.26 Current children cumulated vsize (KiB) 387560 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.91 3/178 24033 /proc/meminfo: memFree=30348476/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=392936 CPUtime=1542.26 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 145140 0 0 0 149710 4516 0 0 25 0 1 0 9229685 402366464 96470 33554432000 4194304 8979876 140734919512128 18446744073709551615 4654020 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23987/statm: 98234 96470 701 1169 0 97061 0 Current children cumulated CPU time (s) 1542.26 Current children cumulated vsize (KiB) 392936 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.91 3/178 24034 /proc/meminfo: memFree=30336980/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=401016 CPUtime=1602.26 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 147180 0 0 0 155548 4678 0 0 25 0 1 0 9229685 410640384 98510 33554432000 4194304 8979876 140734919512128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23987/statm: 100254 98510 701 1169 0 99081 0 Current children cumulated CPU time (s) 1602.26 Current children cumulated vsize (KiB) 401016 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.91 3/178 24044 /proc/meminfo: memFree=30327628/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=406568 CPUtime=1662.27 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 148577 0 0 0 161383 4844 0 0 25 0 1 0 9229685 416325632 99907 33554432000 4194304 8979876 140734919512128 18446744073709551615 6629625 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23987/statm: 101642 99907 701 1169 0 100469 0 Current children cumulated CPU time (s) 1662.27 Current children cumulated vsize (KiB) 406568 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.91 3/178 24046 /proc/meminfo: memFree=30314892/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=414632 CPUtime=1722.26 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 150598 0 0 0 167222 5004 0 0 25 0 1 0 9229685 424583168 101928 33554432000 4194304 8979876 140734919512128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23987/statm: 103658 101928 701 1169 0 102485 0 Current children cumulated CPU time (s) 1722.26 Current children cumulated vsize (KiB) 414632 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.91 3/178 24048 /proc/meminfo: memFree=30302908/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=421608 CPUtime=1782.26 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 152359 0 0 0 173058 5168 0 0 25 0 1 0 9229685 431726592 103689 33554432000 4194304 8979876 140734919512128 18446744073709551615 6492464 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23987/statm: 105402 103689 701 1169 0 104229 0 Current children cumulated CPU time (s) 1782.26 Current children cumulated vsize (KiB) 421608 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 1.91 3/178 24048 /proc/meminfo: memFree=30302764/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=421608 CPUtime=1785.46 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 152359 0 0 0 173367 5179 0 0 25 0 1 0 9229685 431726592 103689 33554432000 4194304 8979876 140734919512128 18446744073709551615 4810596 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23987/statm: 105402 103689 701 1169 0 104229 0 Current children cumulated CPU time (s) 1785.46 Current children cumulated vsize (KiB) 421608 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.91 3/178 24048 /proc/meminfo: memFree=30302144/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=422120 CPUtime=1791.87 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 152482 0 0 0 173993 5194 0 0 25 0 1 0 9229685 432250880 103812 33554432000 4194304 8979876 140734919512128 18446744073709551615 4341481 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23987/statm: 105530 103812 701 1169 0 104357 0 Current children cumulated CPU time (s) 1791.87 Current children cumulated vsize (KiB) 422120 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 1.91 3/178 24048 /proc/meminfo: memFree=30301644/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=422568 CPUtime=1795.07 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 152590 0 0 0 174305 5202 0 0 25 0 1 0 9229685 432709632 103920 33554432000 4194304 8979876 140734919512128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23987/statm: 105642 103920 701 1169 0 104469 0 Current children cumulated CPU time (s) 1795.07 Current children cumulated vsize (KiB) 422568 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 1.91 3/178 24086 /proc/meminfo: memFree=30557240/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=422568 CPUtime=1796.67 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 152600 0 0 0 174461 5206 0 0 25 0 1 0 9229685 432709632 103930 33554432000 4194304 8979876 140734919512128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23987/statm: 105642 103930 701 1169 0 104469 0 Current children cumulated CPU time (s) 1796.67 Current children cumulated vsize (KiB) 422568 [startup+1797.5 s] /proc/loadavg: 2.00 2.00 1.91 3/178 24086 /proc/meminfo: memFree=30556220/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=422568 CPUtime=1797.46 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 152603 0 0 0 174540 5206 0 0 18 0 1 0 9229685 432709632 103933 33554432000 4194304 8979876 140734919512128 18446744073709551615 4841377 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23987/statm: 105642 103933 704 1169 0 104469 0 Current children cumulated CPU time (s) 1797.46 Current children cumulated vsize (KiB) 422568 [startup+1797.7 s] /proc/loadavg: 2.00 2.00 1.91 3/178 24086 /proc/meminfo: memFree=30556220/32950928 swapFree=67111528/67111528 [pid=23987] ppid=23985 vsize=422568 CPUtime=1797.66 cores=0,2,4,6 /proc/23987/stat : 23987 (scip-2.0.1.4_2.) R 23985 23987 23627 0 -1 4202496 152603 0 0 0 174560 5206 0 0 18 0 1 0 9229685 432709632 103933 33554432000 4194304 8979876 140734919512128 18446744073709551615 4897609 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23987/statm: 105642 103933 704 1169 0 104469 0 Current children cumulated CPU time (s) 1797.66 Current children cumulated vsize (KiB) 422568 Child status: 0 Real time (s): 1797.78 CPU time (s): 1797.75 CPU user time (s): 1745.67 CPU system time (s): 52.0801 CPU usage (%): 99.9984 Max. virtual memory (cumulated for all children) (KiB): 422568 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1745.67 system time used= 52.0801 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 152608 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= 4 involuntary context switches= 7487 runsolver used 2.68659 second user time and 5.49516 second system time The end
Begin job on node124 at 2011-06-11 11:34:09 IDJOB=3485166 IDBENCH=48212 IDSOLVER=1977 FILE ID=node124/3485166-1307784849 RUNJOBID= node124-1307783027-23645 PBS_JOBID= 13550886 Free space on /tmp= 73828 MiB SOLVER NAME= SCIP spx 2 2011-06-10 (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_3.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-3485166-1307784849/watcher-3485166-1307784849 -o /tmp/evaluation-result-3485166-1307784849/solver-3485166-1307784849 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485166-1307784849.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1b4456ec5e57b53956abc30521c99789 RANDOM SEED=2052119968 node124.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.71 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31005944 kB Buffers: 113828 kB Cached: 1569668 kB SwapCached: 0 kB Active: 757636 kB Inactive: 1024544 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31005944 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 33592 kB Writeback: 0 kB AnonPages: 98932 kB Mapped: 18668 kB Slab: 101168 kB PageTables: 3988 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 240864 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73808 MiB End job on node124 at 2011-06-11 12:04:07