Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed | SAT | -33 | 1796.84 | 1797.13 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_1.opb |
| MD5SUM | 4142356c9f50acd7c9005938f6b31a6d |
| 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 | -33 |
| Best CPU time to get the best result obtained on this benchmark | 1796.84 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -32 |
| Optimality of the best value was proved | NO |
| Number of variables | 400 |
| Total number of constraints | 601 |
| Number of constraints which are clauses | 200 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 401 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 400 |
| 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 | 400 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 12408 |
| Sum of products size (including duplicates) | 24816 |
| Number of different products | 6204 |
| Sum of products size | 12408 |
0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3692583-1338037247.opb>
0.00/0.03 c original problem has 6604 variables (400 bin, 0 int, 6204 impl, 0 cont) and 7205 constraints
0.00/0.03 c problem read in 0.03
0.00/0.06 o 0
0.00/0.07 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.07 c presolving:
0.08/0.16 c (round 1) 0 del vars, 7004 del conss, 400 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 25216 impls, 399 clqs
0.08/0.18 c (round 2) 6204 del vars, 7004 del conss, 400 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 600 upgd conss, 25216 impls, 0 clqs
0.08/0.19 c (0.2s) probing: 51/400 (12.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.08/0.19 c (0.2s) probing aborted: 50/50 successive totally useless probings
0.18/0.20 c presolving (3 rounds):
0.18/0.20 c 6204 deleted vars, 7004 deleted constraints, 400 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.18/0.20 c 25216 implications, 0 cliques
0.18/0.20 c presolved problem has 400 variables (400 bin, 0 int, 0 impl, 0 cont) and 601 constraints
0.18/0.20 c 400 constraints of type <knapsack>
0.18/0.20 c 200 constraints of type <setppc>
0.18/0.20 c 1 constraints of type <linear>
0.18/0.20 c transformed objective value is always integral (scale: 1)
0.18/0.20 c Presolving Time: 0.14
0.18/0.20 c - non default parameters ----------------------------------------------------------------------
0.18/0.20 c # SCIP version 2.1.1.4
0.18/0.20 c
0.18/0.20 c # maximal time in seconds to run
0.18/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.18/0.20 c limits/time = 1797
0.18/0.20 c
0.18/0.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.18/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.18/0.20 c limits/memory = 13950
0.18/0.20 c
0.18/0.20 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.18/0.20 c # [type: int, range: [1,2], default: 1]
0.18/0.20 c timing/clocktype = 2
0.18/0.20 c
0.18/0.20 c # belongs reading time to solving time?
0.18/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.18/0.20 c timing/reading = TRUE
0.18/0.20 c
0.18/0.20 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.18/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.18/0.20 c separating/rapidlearning/freq = 0
0.18/0.20 c
0.18/0.20 c -----------------------------------------------------------------------------------------------
0.18/0.20 c start solving
0.18/0.20 c
0.88/0.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.88/0.99 c t 1.0s| 1 | 0 | 4149 | - | 17M| 0 | 400 | 400 | 601 | 400 | 601 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | Inf
0.88/0.99 o -1
0.88/0.99 c R 1.0s| 1 | 0 | 4149 | - | 17M| 0 | 400 | 400 | 601 | 400 | 601 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 |9900.00%
2.68/2.71 o -22
2.68/2.71 c F 2.7s| 1 | 0 | 7681 | - | 17M| 0 | 0 | 400 | 601 | 400 | 601 | 0 | 0 | 0 |-1.000000e+02 |-2.200000e+01 | 354.55%
2.68/2.75 c 2.7s| 1 | 0 | 7681 | - | 17M| 0 | 400 | 400 | 601 | 400 | 601 | 0 | 0 | 0 |-1.000000e+02 |-2.200000e+01 | 354.55%
8.38/8.48 c 8.5s| 1 | 2 | 7681 | - | 17M| 0 | 400 | 400 | 601 | 400 | 601 | 0 | 0 | 21 |-1.000000e+02 |-2.200000e+01 | 354.55%
39.87/39.96 o -26
39.87/39.96 c c40.0s| 16 | 17 | 9363 | 347.6 | 18M| 15 | - | 400 | 601 | 400 | 601 | 0 | 0 | 255 |-9.907099e+01 |-2.600000e+01 | 281.04%
52.78/52.81 o -29
52.78/52.81 c f52.8s| 40 | 41 | 14566 | 267.1 | 17M| 15 | - | 400 | 601 | 400 | 601 | 0 | 0 | 616 |-9.907099e+01 |-2.900000e+01 | 241.62%
87.77/87.80 c 87.8s| 100 | 101 | 33274 | 294.2 | 18M| 19 | 114 | 400 | 611 | 400 | 601 | 0 | 10 |1329 |-9.886564e+01 |-2.900000e+01 | 240.92%
89.37/89.40 o -31
89.37/89.40 c f89.4s| 136 | 137 | 38492 | 254.4 | 18M| 19 | - | 400 | 611 | 400 | 601 | 0 | 10 |1332 |-9.864304e+01 |-3.100000e+01 | 218.20%
93.76/93.82 c 93.8s| 200 | 201 | 47917 | 219.9 | 18M| 28 | 101 | 400 | 614 | 400 | 601 | 0 | 13 |1381 |-9.864304e+01 |-3.100000e+01 | 218.20%
97.67/97.79 c 97.8s| 300 | 301 | 62097 | 193.8 | 18M| 28 | 127 | 400 | 621 | 400 | 601 | 0 | 20 |1397 |-9.842413e+01 |-3.100000e+01 | 217.50%
101.47/101.56 c 102s| 400 | 401 | 75349 | 178.4 | 18M| 28 | 164 | 400 | 623 | 400 | 601 | 0 | 22 |1397 |-9.820354e+01 |-3.100000e+01 | 216.79%
107.37/107.40 c 107s| 500 | 501 | 94197 | 180.5 | 18M| 28 | 202 | 400 | 629 | 400 | 601 | 0 | 28 |1397 |-9.757452e+01 |-3.100000e+01 | 214.76%
115.86/115.97 o -32
115.86/115.97 c l 116s| 536 | 537 |109367 | 196.7 | 18M| 28 | - | 400 | 629 | 400 | 601 | 0 | 28 |1397 |-9.614431e+01 |-3.200000e+01 | 200.45%
132.26/132.37 c 132s| 600 | 601 |128880 | 208.2 | 18M| 35 | 322 | 400 | 629 | 400 | 601 | 0 | 29 |1440 |-9.323145e+01 |-3.200000e+01 | 191.35%
140.36/140.40 o -33
140.36/140.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
140.36/140.40 c l 140s| 654 | 655 |144621 | 215.1 | 19M| 37 | - | 400 | 633 | 400 | 601 | 0 | 33 |1440 |-9.298650e+01 |-3.300000e+01 | 181.78%
146.56/146.66 c 147s| 700 | 701 |156256 | 217.6 | 19M| 37 | 357 | 400 | 633 | 400 | 601 | 0 | 33 |1440 |-9.292433e+01 |-3.300000e+01 | 181.59%
158.56/158.61 c 159s| 800 | 801 |180593 | 220.8 | 19M| 53 | 266 | 400 | 641 | 400 | 601 | 0 | 41 |1440 |-9.275242e+01 |-3.300000e+01 | 181.07%
167.95/168.04 c 168s| 900 | 901 |204208 | 222.5 | 19M| 54 | 350 | 400 | 641 | 400 | 601 | 0 | 41 |1450 |-9.261151e+01 |-3.300000e+01 | 180.64%
177.26/177.35 c 177s| 1000 | 1001 |225509 | 221.6 | 19M| 54 | 222 | 400 | 641 | 400 | 601 | 0 | 42 |1450 |-9.261151e+01 |-3.300000e+01 | 180.64%
185.55/185.65 c 186s| 1100 | 1101 |249956 | 223.7 | 19M| 54 | 293 | 400 | 641 | 400 | 601 | 0 | 42 |1450 |-9.261151e+01 |-3.300000e+01 | 180.64%
193.75/193.88 c 194s| 1200 | 1201 |269858 | 221.6 | 19M| 58 | 346 | 400 | 641 | 400 | 601 | 0 | 42 |1463 |-9.261151e+01 |-3.300000e+01 | 180.64%
199.55/199.69 c 200s| 1300 | 1301 |286995 | 217.7 | 19M| 73 | 333 | 400 | 646 | 400 | 601 | 0 | 49 |1463 |-9.258715e+01 |-3.300000e+01 | 180.57%
203.84/203.94 c 204s| 1400 | 1401 |299973 | 211.5 | 19M| 84 | 145 | 400 | 646 | 400 | 601 | 0 | 49 |1463 |-9.258715e+01 |-3.300000e+01 | 180.57%
208.04/208.17 c 208s| 1500 | 1501 |314374 | 207.0 | 20M| 84 | 156 | 400 | 646 | 400 | 601 | 0 | 49 |1463 |-9.243243e+01 |-3.300000e+01 | 180.10%
213.75/213.82 c 214s| 1600 | 1601 |333861 | 206.2 | 20M| 84 | 147 | 400 | 646 | 400 | 601 | 0 | 49 |1478 |-9.226044e+01 |-3.300000e+01 | 179.58%
218.14/218.27 c 218s| 1700 | 1701 |348410 | 202.6 | 20M| 84 | 135 | 400 | 646 | 400 | 601 | 0 | 49 |1478 |-9.200182e+01 |-3.300000e+01 | 178.79%
222.84/222.99 c 223s| 1800 | 1801 |363572 | 199.8 | 20M| 84 | 358 | 400 | 646 | 400 | 601 | 0 | 49 |1478 |-9.186723e+01 |-3.300000e+01 | 178.39%
228.45/228.56 c 229s| 1900 | 1901 |380769 | 198.3 | 20M| 84 | 318 | 400 | 656 | 400 | 601 | 0 | 59 |1494 |-9.162074e+01 |-3.300000e+01 | 177.64%
232.84/232.97 c 233s| 2000 | 2001 |398759 | 197.4 | 20M| 84 | 295 | 400 | 656 | 400 | 601 | 0 | 59 |1494 |-9.147174e+01 |-3.300000e+01 | 177.19%
237.65/237.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
237.65/237.74 c 238s| 2100 | 2101 |413328 | 194.9 | 20M| 84 | 278 | 400 | 656 | 400 | 601 | 0 | 59 |1497 |-9.146318e+01 |-3.300000e+01 | 177.16%
242.65/242.70 c 243s| 2200 | 2201 |434621 | 195.8 | 20M| 84 | 234 | 400 | 656 | 400 | 601 | 0 | 59 |1497 |-9.136122e+01 |-3.300000e+01 | 176.85%
247.25/247.40 c 247s| 2300 | 2301 |451061 | 194.4 | 20M| 84 | 235 | 400 | 656 | 400 | 601 | 0 | 59 |1497 |-9.134842e+01 |-3.300000e+01 | 176.81%
251.54/251.64 c 252s| 2400 | 2401 |467564 | 193.2 | 21M| 84 | 161 | 400 | 656 | 400 | 601 | 0 | 59 |1497 |-9.085845e+01 |-3.300000e+01 | 175.33%
255.74/255.89 c 256s| 2500 | 2501 |481663 | 191.1 | 21M| 84 | 157 | 400 | 658 | 400 | 601 | 0 | 61 |1497 |-9.084177e+01 |-3.300000e+01 | 175.28%
259.94/260.06 c 260s| 2600 | 2601 |496855 | 189.6 | 21M| 84 | 136 | 400 | 658 | 400 | 601 | 0 | 61 |1497 |-9.074903e+01 |-3.300000e+01 | 175.00%
263.94/264.08 c 264s| 2700 | 2701 |511207 | 187.9 | 21M| 84 | 353 | 400 | 658 | 400 | 601 | 0 | 61 |1497 |-9.063245e+01 |-3.300000e+01 | 174.64%
268.44/268.51 c 269s| 2800 | 2801 |528201 | 187.2 | 21M| 84 | 328 | 400 | 658 | 400 | 601 | 0 | 61 |1497 |-9.054972e+01 |-3.300000e+01 | 174.39%
272.44/272.50 c 272s| 2900 | 2901 |543192 | 185.9 | 21M| 84 | 265 | 400 | 659 | 400 | 601 | 0 | 62 |1497 |-9.053680e+01 |-3.300000e+01 | 174.35%
276.64/276.78 c 277s| 3000 | 3001 |562150 | 186.1 | 21M| 84 | 239 | 400 | 672 | 400 | 601 | 0 | 76 |1497 |-9.045326e+01 |-3.300000e+01 | 174.10%
281.04/281.11 c 281s| 3100 | 3101 |576820 | 184.8 | 21M| 84 | 201 | 400 | 672 | 400 | 601 | 0 | 76 |1497 |-9.044449e+01 |-3.300000e+01 | 174.07%
284.93/285.03 c 285s| 3200 | 3201 |591143 | 183.5 | 22M| 84 | 216 | 400 | 675 | 400 | 601 | 0 | 79 |1497 |-9.028071e+01 |-3.300000e+01 | 173.58%
289.14/289.28 c 289s| 3300 | 3301 |607173 | 182.8 | 22M| 84 | 186 | 400 | 675 | 400 | 601 | 0 | 79 |1497 |-9.019202e+01 |-3.300000e+01 | 173.31%
293.64/293.71 c 294s| 3400 | 3401 |623486 | 182.2 | 22M| 84 | 130 | 400 | 675 | 400 | 601 | 0 | 79 |1497 |-9.019202e+01 |-3.300000e+01 | 173.31%
298.23/298.34 c 298s| 3500 | 3501 |640473 | 181.9 | 22M| 84 | 155 | 400 | 675 | 400 | 601 | 0 | 80 |1497 |-9.015101e+01 |-3.300000e+01 | 173.18%
302.94/303.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
302.94/303.02 c 303s| 3600 | 3601 |657022 | 181.4 | 22M| 84 | 348 | 400 | 683 | 400 | 601 | 0 | 90 |1497 |-8.990307e+01 |-3.300000e+01 | 172.43%
307.33/307.46 c 307s| 3700 | 3701 |674393 | 181.2 | 22M| 84 | 316 | 400 | 680 | 400 | 601 | 0 | 90 |1497 |-8.982411e+01 |-3.300000e+01 | 172.19%
311.53/311.68 c 312s| 3800 | 3801 |687673 | 179.9 | 22M| 84 | 282 | 400 | 680 | 400 | 601 | 0 | 91 |1497 |-8.966967e+01 |-3.300000e+01 | 171.73%
315.93/316.06 c 316s| 3900 | 3901 |702174 | 179.0 | 22M| 84 | 254 | 400 | 681 | 400 | 601 | 0 | 92 |1497 |-8.964359e+01 |-3.300000e+01 | 171.65%
320.53/320.69 c 321s| 4000 | 4001 |716450 | 178.1 | 22M| 84 | 235 | 400 | 681 | 400 | 601 | 0 | 92 |1497 |-8.961738e+01 |-3.300000e+01 | 171.57%
325.33/325.44 c 325s| 4100 | 4101 |731053 | 177.3 | 23M| 84 | 226 | 400 | 681 | 400 | 601 | 0 | 92 |1497 |-8.949689e+01 |-3.300000e+01 | 171.20%
330.13/330.29 c 330s| 4200 | 4201 |747253 | 177.0 | 23M| 84 | 186 | 400 | 688 | 400 | 601 | 0 | 99 |1501 |-8.947030e+01 |-3.300000e+01 | 171.12%
334.93/335.03 c 335s| 4300 | 4301 |760708 | 176.0 | 23M| 84 | 169 | 400 | 688 | 400 | 601 | 0 | 99 |1501 |-8.945936e+01 |-3.300000e+01 | 171.09%
339.52/339.65 c 340s| 4400 | 4401 |778697 | 176.1 | 23M| 84 | 165 | 400 | 688 | 400 | 601 | 0 | 99 |1501 |-8.945851e+01 |-3.300000e+01 | 171.09%
344.53/344.64 c 345s| 4500 | 4501 |794032 | 175.6 | 23M| 84 | 345 | 400 | 688 | 400 | 601 | 0 | 99 |1511 |-8.919841e+01 |-3.300000e+01 | 170.30%
348.63/348.75 c 349s| 4600 | 4601 |806161 | 174.4 | 23M| 84 | 300 | 400 | 688 | 400 | 601 | 0 | 99 |1512 |-8.908739e+01 |-3.300000e+01 | 169.96%
352.53/352.60 c 353s| 4700 | 4701 |819002 | 173.4 | 23M| 84 | 277 | 400 | 688 | 400 | 601 | 0 | 99 |1512 |-8.897619e+01 |-3.300000e+01 | 169.62%
356.23/356.36 c 356s| 4800 | 4801 |834079 | 172.9 | 23M| 84 | 242 | 400 | 709 | 400 | 601 | 0 | 120 |1512 |-8.897102e+01 |-3.300000e+01 | 169.61%
360.93/361.00 c 361s| 4900 | 4901 |849001 | 172.5 | 23M| 84 | 240 | 400 | 717 | 400 | 601 | 0 | 128 |1527 |-8.892806e+01 |-3.300000e+01 | 169.48%
365.03/365.10 c 365s| 5000 | 5001 |865951 | 172.4 | 24M| 84 | 185 | 400 | 725 | 400 | 601 | 0 | 136 |1530 |-8.888507e+01 |-3.300000e+01 | 169.35%
368.62/368.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
368.62/368.72 c 369s| 5100 | 5101 |878907 | 171.6 | 24M| 84 | 143 | 400 | 725 | 400 | 601 | 0 | 136 |1530 |-8.887897e+01 |-3.300000e+01 | 169.33%
372.93/373.03 c 373s| 5200 | 5201 |892128 | 170.8 | 24M| 84 | 162 | 400 | 725 | 400 | 601 | 0 | 136 |1539 |-8.886841e+01 |-3.300000e+01 | 169.30%
377.02/377.14 c 377s| 5300 | 5301 |905518 | 170.1 | 24M| 84 | 135 | 400 | 725 | 400 | 601 | 0 | 136 |1541 |-8.880213e+01 |-3.300000e+01 | 169.10%
381.12/381.26 c 381s| 5400 | 5401 |918269 | 169.3 | 24M| 84 | 332 | 400 | 725 | 400 | 601 | 0 | 136 |1541 |-8.862364e+01 |-3.300000e+01 | 168.56%
384.92/385.08 c 385s| 5500 | 5501 |930447 | 168.4 | 24M| 84 | 317 | 400 | 725 | 400 | 601 | 0 | 136 |1541 |-8.859754e+01 |-3.300000e+01 | 168.48%
389.73/389.87 c 390s| 5600 | 5601 |947628 | 168.5 | 24M| 84 | 269 | 400 | 729 | 400 | 601 | 0 | 140 |1556 |-8.857948e+01 |-3.300000e+01 | 168.42%
393.32/393.48 c 393s| 5700 | 5701 |959726 | 167.7 | 24M| 84 | 248 | 400 | 729 | 400 | 601 | 0 | 140 |1556 |-8.856640e+01 |-3.300000e+01 | 168.38%
397.12/397.20 c 397s| 5800 | 5801 |972653 | 167.0 | 24M| 84 | 221 | 400 | 729 | 400 | 601 | 0 | 140 |1556 |-8.854909e+01 |-3.300000e+01 | 168.33%
401.42/401.54 c 402s| 5900 | 5901 |985735 | 166.4 | 25M| 84 | 203 | 400 | 729 | 400 | 601 | 0 | 140 |1575 |-8.854080e+01 |-3.300000e+01 | 168.31%
405.12/405.28 c 405s| 6000 | 6001 | 1000k| 166.2 | 25M| 84 | 181 | 400 | 729 | 400 | 601 | 0 | 140 |1575 |-8.850806e+01 |-3.300000e+01 | 168.21%
409.12/409.26 c 409s| 6100 | 6101 | 1015k| 165.9 | 25M| 84 | 138 | 400 | 735 | 400 | 601 | 0 | 148 |1575 |-8.849655e+01 |-3.300000e+01 | 168.17%
412.82/412.93 c 413s| 6200 | 6201 | 1028k| 165.3 | 25M| 84 | 156 | 400 | 741 | 400 | 601 | 0 | 154 |1576 |-8.848579e+01 |-3.300000e+01 | 168.14%
417.42/417.50 c 417s| 6300 | 6301 | 1042k| 164.9 | 25M| 84 | 331 | 400 | 745 | 400 | 601 | 0 | 158 |1596 |-8.843775e+01 |-3.300000e+01 | 167.99%
421.02/421.14 c 421s| 6400 | 6401 | 1057k| 164.6 | 25M| 84 | 291 | 400 | 745 | 400 | 601 | 0 | 159 |1596 |-8.837873e+01 |-3.300000e+01 | 167.81%
424.42/424.60 c 425s| 6500 | 6501 | 1070k| 164.0 | 25M| 84 | 276 | 400 | 745 | 400 | 601 | 0 | 159 |1596 |-8.833960e+01 |-3.300000e+01 | 167.70%
428.92/429.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
428.92/429.02 c 429s| 6600 | 6601 | 1083k| 163.6 | 25M| 84 | 251 | 400 | 745 | 400 | 601 | 0 | 159 |1616 |-8.830537e+01 |-3.300000e+01 | 167.59%
433.01/433.12 c 433s| 6700 | 6701 | 1099k| 163.5 | 26M| 84 | 228 | 400 | 744 | 400 | 601 | 0 | 160 |1616 |-8.827467e+01 |-3.300000e+01 | 167.50%
436.62/436.71 c 437s| 6800 | 6801 | 1113k| 163.2 | 26M| 84 | 186 | 400 | 762 | 400 | 601 | 0 | 178 |1616 |-8.825913e+01 |-3.300000e+01 | 167.45%
440.11/440.27 c 440s| 6900 | 6901 | 1127k| 162.9 | 26M| 84 | 200 | 400 | 762 | 400 | 601 | 0 | 178 |1616 |-8.825804e+01 |-3.300000e+01 | 167.45%
444.32/444.42 c 444s| 7000 | 7001 | 1140k| 162.3 | 26M| 84 | 150 | 400 | 762 | 400 | 601 | 0 | 178 |1643 |-8.825527e+01 |-3.300000e+01 | 167.44%
447.71/447.84 c 448s| 7100 | 7101 | 1152k| 161.8 | 26M| 84 | 127 | 400 | 762 | 400 | 601 | 0 | 178 |1643 |-8.814612e+01 |-3.300000e+01 | 167.11%
451.01/451.14 c 451s| 7200 | 7201 | 1165k| 161.3 | 26M| 84 | 333 | 400 | 762 | 400 | 601 | 0 | 178 |1643 |-8.811485e+01 |-3.300000e+01 | 167.01%
454.91/455.01 c 455s| 7300 | 7301 | 1179k| 161.1 | 26M| 84 | 277 | 400 | 765 | 400 | 601 | 0 | 181 |1643 |-8.810805e+01 |-3.300000e+01 | 166.99%
459.11/459.28 c 459s| 7400 | 7401 | 1193k| 160.7 | 26M| 84 | 278 | 400 | 765 | 400 | 601 | 0 | 181 |1670 |-8.806198e+01 |-3.300000e+01 | 166.85%
462.61/462.74 c 463s| 7500 | 7501 | 1207k| 160.5 | 26M| 84 | 233 | 400 | 765 | 400 | 601 | 0 | 181 |1670 |-8.805173e+01 |-3.300000e+01 | 166.82%
465.91/466.09 c 466s| 7600 | 7601 | 1222k| 160.3 | 27M| 84 | 220 | 400 | 789 | 400 | 601 | 0 | 205 |1670 |-8.804340e+01 |-3.300000e+01 | 166.80%
470.81/470.90 c 471s| 7700 | 7701 | 1235k| 160.0 | 27M| 84 | 200 | 400 | 789 | 400 | 601 | 0 | 205 |1685 |-8.798896e+01 |-3.300000e+01 | 166.63%
474.81/474.93 c 475s| 7800 | 7801 | 1248k| 159.5 | 27M| 84 | 190 | 400 | 789 | 400 | 601 | 0 | 205 |1694 |-8.790519e+01 |-3.300000e+01 | 166.38%
478.51/478.66 c 479s| 7900 | 7901 | 1260k| 159.1 | 27M| 84 | 157 | 400 | 789 | 400 | 601 | 0 | 205 |1696 |-8.784853e+01 |-3.300000e+01 | 166.21%
482.71/482.83 c 483s| 8000 | 8001 | 1276k| 159.1 | 27M| 84 | 133 | 400 | 788 | 400 | 601 | 0 | 205 |1696 |-8.779318e+01 |-3.300000e+01 | 166.04%
486.51/486.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
486.51/486.66 c 487s| 8100 | 8101 | 1289k| 158.7 | 27M| 84 | 336 | 400 | 788 | 400 | 601 | 0 | 205 |1711 |-8.777221e+01 |-3.300000e+01 | 165.98%
490.70/490.80 c 491s| 8200 | 8201 | 1303k| 158.5 | 27M| 84 | 302 | 400 | 799 | 400 | 601 | 0 | 216 |1719 |-8.775579e+01 |-3.300000e+01 | 165.93%
494.51/494.61 c 495s| 8300 | 8301 | 1317k| 158.2 | 27M| 84 | 265 | 400 | 803 | 400 | 601 | 0 | 220 |1719 |-8.775579e+01 |-3.300000e+01 | 165.93%
497.80/497.94 c 498s| 8400 | 8401 | 1329k| 157.8 | 28M| 84 | 245 | 400 | 803 | 400 | 601 | 0 | 220 |1719 |-8.771859e+01 |-3.300000e+01 | 165.81%
502.81/502.90 c 503s| 8500 | 8501 | 1345k| 157.9 | 28M| 84 | 219 | 400 | 803 | 400 | 601 | 0 | 220 |1743 |-8.769830e+01 |-3.300000e+01 | 165.75%
506.50/506.67 c 507s| 8600 | 8601 | 1358k| 157.6 | 28M| 84 | 218 | 400 | 803 | 400 | 601 | 0 | 220 |1745 |-8.769548e+01 |-3.300000e+01 | 165.74%
509.90/510.08 c 510s| 8700 | 8701 | 1371k| 157.1 | 28M| 84 | 161 | 400 | 802 | 400 | 601 | 0 | 220 |1745 |-8.768732e+01 |-3.300000e+01 | 165.72%
513.40/513.57 c 514s| 8800 | 8801 | 1384k| 156.8 | 28M| 84 | 147 | 400 | 805 | 400 | 601 | 0 | 223 |1745 |-8.767225e+01 |-3.300000e+01 | 165.67%
517.51/517.67 c 518s| 8900 | 8901 | 1396k| 156.5 | 28M| 84 | 134 | 400 | 803 | 400 | 601 | 0 | 223 |1769 |-8.765358e+01 |-3.300000e+01 | 165.62%
521.60/521.71 c 522s| 9000 | 9001 | 1410k| 156.3 | 28M| 84 | 335 | 400 | 801 | 400 | 601 | 0 | 223 |1777 |-8.759981e+01 |-3.300000e+01 | 165.45%
525.30/525.44 c 525s| 9100 | 9101 | 1422k| 155.9 | 28M| 84 | 301 | 400 | 801 | 400 | 601 | 0 | 223 |1777 |-8.754628e+01 |-3.300000e+01 | 165.29%
529.40/529.54 c 530s| 9200 | 9201 | 1439k| 156.0 | 28M| 84 | 247 | 400 | 809 | 400 | 601 | 0 | 231 |1778 |-8.753540e+01 |-3.300000e+01 | 165.26%
533.60/533.75 c 534s| 9300 | 9301 | 1452k| 155.7 | 29M| 84 | 232 | 400 | 809 | 400 | 601 | 0 | 231 |1804 |-8.750857e+01 |-3.300000e+01 | 165.18%
536.90/537.03 c 537s| 9400 | 9401 | 1463k| 155.3 | 29M| 84 | 225 | 400 | 809 | 400 | 601 | 0 | 231 |1809 |-8.748025e+01 |-3.300000e+01 | 165.09%
540.09/540.26 c 540s| 9500 | 9501 | 1475k| 154.9 | 29M| 84 | 204 | 400 | 814 | 400 | 601 | 0 | 236 |1809 |-8.743582e+01 |-3.300000e+01 | 164.96%
543.80/543.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
543.80/543.98 c 544s| 9600 | 9601 | 1489k| 154.7 | 29M| 84 | 171 | 400 | 814 | 400 | 601 | 0 | 236 |1813 |-8.742365e+01 |-3.300000e+01 | 164.92%
547.90/548.02 c 548s| 9700 | 9701 | 1505k| 154.8 | 29M| 84 | 134 | 400 | 814 | 400 | 601 | 0 | 236 |1821 |-8.738768e+01 |-3.300000e+01 | 164.81%
551.90/552.08 c 552s| 9800 | 9801 | 1517k| 154.4 | 29M| 84 | 134 | 400 | 814 | 400 | 601 | 0 | 236 |1836 |-8.738570e+01 |-3.300000e+01 | 164.81%
555.10/555.27 c 555s| 9900 | 9901 | 1529k| 154.1 | 29M| 84 | 313 | 400 | 814 | 400 | 601 | 0 | 236 |1836 |-8.736591e+01 |-3.300000e+01 | 164.75%
558.19/558.39 c 558s| 10000 | 10001 | 1541k| 153.7 | 29M| 84 | 289 | 400 | 814 | 400 | 601 | 0 | 236 |1836 |-8.736298e+01 |-3.300000e+01 | 164.74%
562.09/562.21 c 562s| 10100 | 10101 | 1554k| 153.6 | 29M| 84 | 280 | 400 | 821 | 400 | 601 | 0 | 243 |1836 |-8.735652e+01 |-3.300000e+01 | 164.72%
567.30/567.43 c 567s| 10200 | 10201 | 1568k| 153.4 | 30M| 84 | 244 | 400 | 821 | 400 | 601 | 0 | 243 |1877 |-8.734652e+01 |-3.300000e+01 | 164.69%
570.80/570.91 c 571s| 10300 | 10301 | 1581k| 153.1 | 30M| 84 | 201 | 400 | 820 | 400 | 601 | 0 | 243 |1879 |-8.730481e+01 |-3.300000e+01 | 164.56%
574.29/574.44 c 574s| 10400 | 10401 | 1594k| 152.9 | 30M| 84 | 204 | 400 | 820 | 400 | 601 | 0 | 243 |1879 |-8.728689e+01 |-3.300000e+01 | 164.51%
577.89/578.00 c 578s| 10500 | 10501 | 1606k| 152.6 | 30M| 84 | 190 | 400 | 820 | 400 | 601 | 0 | 243 |1879 |-8.725386e+01 |-3.300000e+01 | 164.41%
582.40/582.59 c 583s| 10600 | 10601 | 1622k| 152.7 | 30M| 84 | 166 | 400 | 823 | 400 | 601 | 0 | 246 |1902 |-8.724785e+01 |-3.300000e+01 | 164.39%
586.40/586.57 c 587s| 10700 | 10701 | 1637k| 152.6 | 30M| 84 | 138 | 400 | 822 | 400 | 601 | 0 | 246 |1913 |-8.724752e+01 |-3.300000e+01 | 164.39%
589.89/590.02 c 590s| 10800 | 10801 | 1651k| 152.6 | 30M| 84 | 333 | 400 | 822 | 400 | 601 | 0 | 246 |1913 |-8.722953e+01 |-3.300000e+01 | 164.33%
593.19/593.33 c 593s| 10900 | 10901 | 1663k| 152.2 | 30M| 84 | 304 | 400 | 822 | 400 | 601 | 0 | 247 |1913 |-8.721407e+01 |-3.300000e+01 | 164.29%
596.79/596.94 c 597s| 11000 | 11001 | 1676k| 152.0 | 31M| 84 | 273 | 400 | 822 | 400 | 601 | 0 | 247 |1926 |-8.718680e+01 |-3.300000e+01 | 164.20%
600.58/600.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
600.58/600.79 c 601s| 11100 | 11101 | 1688k| 151.7 | 31M| 84 | 227 | 400 | 829 | 400 | 601 | 0 | 255 |1943 |-8.718647e+01 |-3.300000e+01 | 164.20%
604.19/604.34 c 604s| 11200 | 11201 | 1702k| 151.6 | 31M| 84 | 203 | 400 | 829 | 400 | 601 | 0 | 255 |1943 |-8.717371e+01 |-3.300000e+01 | 164.16%
607.69/607.87 c 608s| 11300 | 11301 | 1715k| 151.4 | 31M| 84 | 190 | 400 | 829 | 400 | 601 | 0 | 255 |1943 |-8.713607e+01 |-3.300000e+01 | 164.05%
610.89/611.07 c 611s| 11400 | 11401 | 1728k| 151.3 | 31M| 84 | 176 | 400 | 829 | 400 | 601 | 0 | 255 |1943 |-8.711281e+01 |-3.300000e+01 | 163.98%
614.79/614.95 c 615s| 11500 | 11501 | 1741k| 151.1 | 31M| 84 | 120 | 400 | 829 | 400 | 601 | 0 | 255 |1975 |-8.709768e+01 |-3.300000e+01 | 163.93%
618.28/618.48 c 618s| 11600 | 11601 | 1757k| 151.1 | 31M| 84 | 113 | 400 | 833 | 400 | 601 | 0 | 259 |1977 |-8.709504e+01 |-3.300000e+01 | 163.92%
622.28/622.47 c 622s| 11700 | 11701 | 1769k| 150.9 | 31M| 84 | 327 | 400 | 833 | 400 | 601 | 0 | 259 |1984 |-8.704940e+01 |-3.300000e+01 | 163.79%
625.48/625.68 c 626s| 11800 | 11801 | 1780k| 150.6 | 31M| 84 | 297 | 400 | 832 | 400 | 601 | 0 | 259 |1984 |-8.701075e+01 |-3.300000e+01 | 163.67%
629.68/629.86 c 630s| 11900 | 11901 | 1793k| 150.4 | 32M| 84 | 260 | 400 | 831 | 400 | 601 | 0 | 259 |2005 |-8.700706e+01 |-3.300000e+01 | 163.66%
633.88/634.08 c 634s| 12000 | 12001 | 1806k| 150.2 | 32M| 84 | 226 | 400 | 837 | 400 | 601 | 0 | 265 |2018 |-8.700135e+01 |-3.300000e+01 | 163.64%
637.79/637.99 c 638s| 12100 | 12101 | 1819k| 150.0 | 32M| 84 | 201 | 400 | 836 | 400 | 601 | 0 | 265 |2023 |-8.697745e+01 |-3.300000e+01 | 163.57%
642.09/642.25 c 642s| 12200 | 12201 | 1835k| 150.1 | 32M| 84 | 200 | 400 | 834 | 400 | 601 | 0 | 267 |2036 |-8.695862e+01 |-3.300000e+01 | 163.51%
645.59/645.76 c 646s| 12300 | 12301 | 1849k| 150.0 | 32M| 84 | 142 | 400 | 833 | 400 | 601 | 0 | 267 |2036 |-8.695265e+01 |-3.300000e+01 | 163.49%
649.79/649.94 c 650s| 12400 | 12401 | 1861k| 149.8 | 32M| 84 | 183 | 400 | 833 | 400 | 601 | 0 | 267 |2056 |-8.694748e+01 |-3.300000e+01 | 163.48%
653.38/653.55 c 654s| 12500 | 12501 | 1873k| 149.5 | 32M| 84 | 136 | 400 | 833 | 400 | 601 | 0 | 267 |2064 |-8.694126e+01 |-3.300000e+01 | 163.46%
656.98/657.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
656.98/657.13 c 657s| 12600 | 12601 | 1886k| 149.4 | 32M| 84 | 326 | 400 | 836 | 400 | 601 | 0 | 271 |2064 |-8.692130e+01 |-3.300000e+01 | 163.40%
660.68/660.88 c 661s| 12700 | 12701 | 1902k| 149.5 | 32M| 84 | 291 | 400 | 835 | 400 | 601 | 0 | 271 |2065 |-8.691549e+01 |-3.300000e+01 | 163.38%
664.48/664.69 c 665s| 12800 | 12801 | 1914k| 149.3 | 33M| 84 | 241 | 400 | 834 | 400 | 601 | 0 | 271 |2078 |-8.690004e+01 |-3.300000e+01 | 163.33%
668.78/668.97 c 669s| 12900 | 12901 | 1929k| 149.2 | 33M| 84 | 256 | 400 | 852 | 400 | 601 | 0 | 290 |2101 |-8.687673e+01 |-3.300000e+01 | 163.26%
672.48/672.64 c 673s| 13000 | 13001 | 1943k| 149.2 | 33M| 84 | 191 | 400 | 852 | 400 | 601 | 0 | 290 |2103 |-8.687328e+01 |-3.300000e+01 | 163.25%
676.08/676.22 c 676s| 13100 | 13101 | 1957k| 149.1 | 33M| 84 | 205 | 400 | 846 | 400 | 601 | 0 | 290 |2105 |-8.686647e+01 |-3.300000e+01 | 163.23%
679.48/679.65 c 680s| 13200 | 13201 | 1974k| 149.3 | 33M| 84 | 165 | 400 | 889 | 400 | 601 | 0 | 333 |2105 |-8.685758e+01 |-3.300000e+01 | 163.20%
683.48/683.64 c 684s| 13300 | 13301 | 1987k| 149.2 | 33M| 84 | 155 | 400 | 899 | 400 | 601 | 0 | 346 |2125 |-8.684949e+01 |-3.300000e+01 | 163.18%
687.88/688.02 c 688s| 13400 | 13401 | 2002k| 149.2 | 33M| 84 | 132 | 400 | 898 | 400 | 601 | 0 | 346 |2143 |-8.679445e+01 |-3.300000e+01 | 163.01%
692.08/692.22 c 692s| 13500 | 13501 | 2017k| 149.1 | 33M| 84 | 329 | 400 | 893 | 400 | 601 | 0 | 347 |2143 |-8.677625e+01 |-3.300000e+01 | 162.96%
695.87/696.02 c 696s| 13600 | 13601 | 2032k| 149.1 | 34M| 84 | 279 | 400 | 896 | 400 | 601 | 0 | 350 |2143 |-8.675677e+01 |-3.300000e+01 | 162.90%
699.67/699.82 c 700s| 13700 | 13701 | 2047k| 149.1 | 34M| 84 | 275 | 400 | 895 | 400 | 601 | 0 | 350 |2144 |-8.675132e+01 |-3.300000e+01 | 162.88%
703.97/704.11 c 704s| 13800 | 13801 | 2060k| 149.0 | 34M| 84 | 242 | 400 | 895 | 400 | 601 | 0 | 350 |2172 |-8.674918e+01 |-3.300000e+01 | 162.88%
707.57/707.72 c 708s| 13900 | 13901 | 2074k| 148.9 | 34M| 84 | 225 | 400 | 905 | 400 | 601 | 0 | 361 |2174 |-8.673446e+01 |-3.300000e+01 | 162.83%
711.17/711.30 c 711s| 14000 | 14001 | 2086k| 148.8 | 34M| 84 | 175 | 400 | 902 | 400 | 601 | 0 | 361 |2174 |-8.672788e+01 |-3.300000e+01 | 162.81%
714.78/714.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
714.78/714.92 c 715s| 14100 | 14101 | 2100k| 148.7 | 34M| 84 | 172 | 400 | 903 | 400 | 601 | 0 | 366 |2174 |-8.670343e+01 |-3.300000e+01 | 162.74%
718.67/718.89 c 719s| 14200 | 14201 | 2115k| 148.7 | 34M| 84 | 136 | 400 | 900 | 400 | 601 | 0 | 366 |2187 |-8.670270e+01 |-3.300000e+01 | 162.74%
722.77/722.99 c 723s| 14300 | 14301 | 2128k| 148.5 | 34M| 84 | 152 | 400 | 896 | 400 | 601 | 0 | 366 |2213 |-8.669311e+01 |-3.300000e+01 | 162.71%
726.57/726.79 c 727s| 14400 | 14401 | 2141k| 148.4 | 35M| 84 | 328 | 400 | 895 | 400 | 601 | 0 | 366 |2213 |-8.666835e+01 |-3.300000e+01 | 162.63%
730.97/731.19 c 731s| 14500 | 14501 | 2159k| 148.7 | 35M| 84 | 304 | 400 | 903 | 400 | 601 | 0 | 374 |2213 |-8.666423e+01 |-3.300000e+01 | 162.62%
734.97/735.14 c 735s| 14600 | 14601 | 2173k| 148.6 | 35M| 84 | 277 | 400 | 905 | 400 | 601 | 0 | 378 |2213 |-8.664766e+01 |-3.300000e+01 | 162.57%
739.67/739.83 c 740s| 14700 | 14701 | 2186k| 148.5 | 35M| 84 | 240 | 400 | 905 | 400 | 601 | 0 | 378 |2244 |-8.663619e+01 |-3.300000e+01 | 162.53%
743.48/743.66 c 744s| 14800 | 14801 | 2200k| 148.4 | 35M| 84 | 201 | 400 | 902 | 400 | 601 | 0 | 378 |2253 |-8.660861e+01 |-3.300000e+01 | 162.45%
746.87/747.04 c 747s| 14900 | 14901 | 2213k| 148.3 | 35M| 84 | 181 | 400 | 901 | 400 | 601 | 0 | 378 |2253 |-8.660755e+01 |-3.300000e+01 | 162.45%
750.17/750.36 c 750s| 15000 | 15001 | 2227k| 148.2 | 35M| 84 | 156 | 400 | 906 | 400 | 601 | 0 | 384 |2253 |-8.660749e+01 |-3.300000e+01 | 162.45%
753.27/753.50 c 753s| 15100 | 15101 | 2239k| 148.1 | 35M| 84 | 138 | 400 | 906 | 400 | 601 | 0 | 384 |2254 |-8.660368e+01 |-3.300000e+01 | 162.44%
757.47/757.61 c 758s| 15200 | 15201 | 2253k| 148.0 | 35M| 84 | 124 | 400 | 905 | 400 | 601 | 0 | 384 |2284 |-8.660296e+01 |-3.300000e+01 | 162.43%
760.86/761.00 c 761s| 15300 | 15301 | 2266k| 147.9 | 36M| 84 | 328 | 400 | 911 | 400 | 601 | 0 | 391 |2290 |-8.658259e+01 |-3.300000e+01 | 162.37%
764.46/764.60 c 765s| 15400 | 15401 | 2283k| 148.0 | 36M| 84 | 288 | 400 | 921 | 400 | 601 | 0 | 403 |2291 |-8.658223e+01 |-3.300000e+01 | 162.37%
767.47/767.60 c 768s| 15500 | 15501 | 2298k| 148.0 | 36M| 84 | 227 | 400 | 924 | 400 | 601 | 0 | 407 |2291 |-8.658156e+01 |-3.300000e+01 | 162.37%
770.97/771.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
770.97/771.19 c 771s| 15600 | 15601 | 2313k| 148.0 | 36M| 84 | 227 | 400 | 921 | 400 | 601 | 0 | 407 |2300 |-8.657205e+01 |-3.300000e+01 | 162.34%
775.06/775.27 c 775s| 15700 | 15701 | 2326k| 147.9 | 36M| 84 | 212 | 400 | 920 | 400 | 601 | 0 | 407 |2317 |-8.656228e+01 |-3.300000e+01 | 162.31%
778.67/778.87 c 779s| 15800 | 15801 | 2341k| 147.9 | 36M| 84 | 197 | 400 | 936 | 400 | 601 | 0 | 425 |2317 |-8.655511e+01 |-3.300000e+01 | 162.29%
782.16/782.37 c 782s| 15900 | 15901 | 2354k| 147.8 | 36M| 84 | 190 | 400 | 929 | 400 | 601 | 0 | 425 |2317 |-8.655132e+01 |-3.300000e+01 | 162.28%
785.66/785.83 c 786s| 16000 | 16001 | 2367k| 147.7 | 36M| 84 | 142 | 400 | 928 | 400 | 601 | 0 | 425 |2317 |-8.655132e+01 |-3.300000e+01 | 162.28%
789.67/789.83 c 790s| 16100 | 16101 | 2382k| 147.7 | 37M| 84 | 125 | 400 | 929 | 400 | 601 | 0 | 428 |2340 |-8.651865e+01 |-3.300000e+01 | 162.18%
794.06/794.22 c 794s| 16200 | 16201 | 2396k| 147.7 | 37M| 84 | 317 | 400 | 928 | 400 | 601 | 0 | 428 |2353 |-8.648803e+01 |-3.300000e+01 | 162.08%
797.26/797.47 c 797s| 16300 | 16301 | 2410k| 147.7 | 37M| 84 | 295 | 400 | 926 | 400 | 601 | 0 | 428 |2353 |-8.646434e+01 |-3.300000e+01 | 162.01%
800.76/800.97 c 801s| 16400 | 16401 | 2424k| 147.6 | 37M| 84 | 247 | 400 | 927 | 400 | 601 | 0 | 436 |2353 |-8.646385e+01 |-3.300000e+01 | 162.01%
803.86/804.07 c 804s| 16500 | 16501 | 2436k| 147.4 | 37M| 84 | 243 | 400 | 926 | 400 | 601 | 0 | 436 |2353 |-8.646159e+01 |-3.300000e+01 | 162.00%
807.96/808.13 c 808s| 16600 | 16601 | 2450k| 147.4 | 37M| 84 | 226 | 400 | 924 | 400 | 601 | 0 | 436 |2380 |-8.644672e+01 |-3.300000e+01 | 161.96%
811.66/811.83 c 812s| 16700 | 16701 | 2463k| 147.3 | 37M| 84 | 181 | 400 | 924 | 400 | 601 | 0 | 436 |2392 |-8.643536e+01 |-3.300000e+01 | 161.93%
815.15/815.37 c 815s| 16800 | 16801 | 2478k| 147.3 | 37M| 84 | 176 | 400 | 934 | 400 | 601 | 0 | 446 |2392 |-8.642785e+01 |-3.300000e+01 | 161.90%
818.85/819.01 c 819s| 16900 | 16901 | 2493k| 147.3 | 37M| 84 | 164 | 400 | 932 | 400 | 601 | 0 | 446 |2395 |-8.641660e+01 |-3.300000e+01 | 161.87%
822.66/822.86 c 823s| 17000 | 17001 | 2508k| 147.3 | 38M| 84 | 119 | 400 | 936 | 400 | 601 | 0 | 452 |2399 |-8.640879e+01 |-3.300000e+01 | 161.84%
827.35/827.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
827.35/827.54 c 828s| 17100 | 17101 | 2521k| 147.2 | 38M| 84 | 327 | 400 | 932 | 400 | 601 | 0 | 452 |2419 |-8.639575e+01 |-3.300000e+01 | 161.81%
831.85/832.03 c 832s| 17200 | 17201 | 2535k| 147.2 | 38M| 84 | 292 | 400 | 939 | 400 | 601 | 0 | 460 |2433 |-8.639430e+01 |-3.300000e+01 | 161.80%
835.25/835.43 c 835s| 17300 | 17301 | 2549k| 147.1 | 38M| 84 | 268 | 400 | 935 | 400 | 601 | 0 | 460 |2435 |-8.638604e+01 |-3.300000e+01 | 161.78%
838.75/838.91 c 839s| 17400 | 17401 | 2561k| 147.0 | 38M| 84 | 230 | 400 | 935 | 400 | 601 | 0 | 460 |2435 |-8.636295e+01 |-3.300000e+01 | 161.71%
842.15/842.32 c 842s| 17500 | 17501 | 2575k| 146.9 | 38M| 84 | 192 | 400 | 934 | 400 | 601 | 0 | 460 |2435 |-8.636116e+01 |-3.300000e+01 | 161.70%
845.66/845.84 c 846s| 17600 | 17601 | 2588k| 146.8 | 38M| 84 | 165 | 400 | 938 | 400 | 601 | 0 | 467 |2451 |-8.635955e+01 |-3.300000e+01 | 161.70%
850.05/850.27 c 850s| 17700 | 17701 | 2601k| 146.7 | 38M| 84 | 170 | 400 | 934 | 400 | 601 | 0 | 467 |2474 |-8.634956e+01 |-3.300000e+01 | 161.67%
853.95/854.12 c 854s| 17800 | 17801 | 2618k| 146.9 | 39M| 84 | 155 | 400 | 932 | 400 | 601 | 0 | 467 |2474 |-8.634716e+01 |-3.300000e+01 | 161.66%
857.65/857.80 c 858s| 17900 | 17901 | 2636k| 147.0 | 39M| 84 | 137 | 400 | 936 | 400 | 601 | 0 | 473 |2474 |-8.634286e+01 |-3.300000e+01 | 161.65%
861.16/861.35 c 861s| 18000 | 18001 | 2648k| 146.9 | 39M| 84 | 313 | 400 | 932 | 400 | 601 | 0 | 473 |2474 |-8.632931e+01 |-3.300000e+01 | 161.60%
864.75/864.90 c 865s| 18100 | 18101 | 2661k| 146.8 | 39M| 84 | 288 | 400 | 930 | 400 | 601 | 0 | 473 |2475 |-8.631207e+01 |-3.300000e+01 | 161.55%
869.34/869.57 c 870s| 18200 | 18201 | 2677k| 146.9 | 39M| 84 | 257 | 400 | 930 | 400 | 601 | 0 | 473 |2505 |-8.629788e+01 |-3.300000e+01 | 161.51%
872.84/873.04 c 873s| 18300 | 18301 | 2689k| 146.7 | 39M| 84 | 207 | 400 | 928 | 400 | 601 | 0 | 473 |2516 |-8.628585e+01 |-3.300000e+01 | 161.47%
876.34/876.50 c 876s| 18400 | 18401 | 2703k| 146.7 | 39M| 84 | 214 | 400 | 932 | 400 | 601 | 0 | 480 |2516 |-8.628333e+01 |-3.300000e+01 | 161.46%
879.75/880.00 c 880s| 18500 | 18501 | 2718k| 146.8 | 39M| 84 | 206 | 400 | 930 | 400 | 601 | 0 | 480 |2516 |-8.628333e+01 |-3.300000e+01 | 161.46%
882.84/883.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
882.84/883.03 c 883s| 18600 | 18601 | 2731k| 146.6 | 39M| 84 | 141 | 400 | 928 | 400 | 601 | 0 | 480 |2516 |-8.628184e+01 |-3.300000e+01 | 161.46%
886.84/887.02 c 887s| 18700 | 18701 | 2747k| 146.7 | 40M| 84 | 140 | 400 | 924 | 400 | 601 | 0 | 481 |2546 |-8.627857e+01 |-3.300000e+01 | 161.45%
890.94/891.13 c 891s| 18800 | 18801 | 2761k| 146.7 | 40M| 84 | 143 | 400 | 933 | 400 | 601 | 0 | 491 |2557 |-8.625293e+01 |-3.300000e+01 | 161.37%
894.34/894.59 c 895s| 18900 | 18901 | 2773k| 146.5 | 40M| 84 | 318 | 400 | 931 | 400 | 601 | 0 | 492 |2561 |-8.623054e+01 |-3.300000e+01 | 161.30%
897.64/897.88 c 898s| 19000 | 19001 | 2785k| 146.4 | 40M| 84 | 299 | 400 | 929 | 400 | 601 | 0 | 492 |2562 |-8.621133e+01 |-3.300000e+01 | 161.25%
901.44/901.60 c 902s| 19100 | 19101 | 2798k| 146.3 | 40M| 84 | 280 | 400 | 928 | 400 | 601 | 0 | 492 |2565 |-8.620322e+01 |-3.300000e+01 | 161.22%
905.34/905.55 c 906s| 19200 | 19201 | 2815k| 146.4 | 40M| 84 | 247 | 400 | 931 | 400 | 601 | 0 | 499 |2565 |-8.619826e+01 |-3.300000e+01 | 161.21%
909.45/909.64 c 910s| 19300 | 19301 | 2827k| 146.3 | 40M| 84 | 206 | 400 | 928 | 400 | 601 | 0 | 499 |2591 |-8.619721e+01 |-3.300000e+01 | 161.20%
913.74/913.91 c 914s| 19400 | 19401 | 2843k| 146.4 | 40M| 84 | 182 | 400 | 928 | 400 | 601 | 0 | 499 |2603 |-8.617063e+01 |-3.300000e+01 | 161.12%
917.15/917.37 c 917s| 19500 | 19501 | 2856k| 146.3 | 40M| 84 | 148 | 400 | 935 | 400 | 601 | 0 | 507 |2608 |-8.616992e+01 |-3.300000e+01 | 161.12%
920.64/920.89 c 921s| 19600 | 19601 | 2869k| 146.2 | 41M| 84 | 133 | 400 | 931 | 400 | 601 | 0 | 507 |2608 |-8.616651e+01 |-3.300000e+01 | 161.11%
924.34/924.52 c 925s| 19700 | 19701 | 2884k| 146.2 | 41M| 84 | 126 | 400 | 929 | 400 | 601 | 0 | 507 |2608 |-8.615809e+01 |-3.300000e+01 | 161.09%
927.94/928.12 c 928s| 19800 | 19801 | 2896k| 146.1 | 41M| 84 | 315 | 400 | 925 | 400 | 601 | 0 | 507 |2630 |-8.614794e+01 |-3.300000e+01 | 161.05%
931.44/931.70 c 932s| 19900 | 19901 | 2909k| 146.0 | 41M| 84 | 294 | 400 | 929 | 400 | 601 | 0 | 514 |2646 |-8.614646e+01 |-3.300000e+01 | 161.05%
934.84/935.02 c 935s| 20000 | 20001 | 2921k| 145.9 | 41M| 84 | 254 | 400 | 928 | 400 | 601 | 0 | 514 |2646 |-8.613999e+01 |-3.300000e+01 | 161.03%
937.94/938.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
937.94/938.16 c 938s| 20100 | 20101 | 2933k| 145.8 | 41M| 84 | 229 | 400 | 925 | 400 | 601 | 0 | 514 |2646 |-8.613703e+01 |-3.300000e+01 | 161.02%
941.14/941.38 c 941s| 20200 | 20201 | 2947k| 145.7 | 41M| 84 | 217 | 400 | 922 | 400 | 601 | 0 | 515 |2646 |-8.612784e+01 |-3.300000e+01 | 160.99%
944.33/944.59 c 945s| 20300 | 20301 | 2960k| 145.6 | 41M| 84 | 170 | 400 | 929 | 400 | 601 | 0 | 525 |2646 |-8.610341e+01 |-3.300000e+01 | 160.92%
948.53/948.71 c 949s| 20400 | 20401 | 2974k| 145.6 | 41M| 84 | 164 | 400 | 936 | 400 | 601 | 0 | 535 |2665 |-8.610001e+01 |-3.300000e+01 | 160.91%
951.73/951.99 c 952s| 20500 | 20501 | 2986k| 145.5 | 42M| 84 | 149 | 400 | 933 | 400 | 601 | 0 | 535 |2668 |-8.609844e+01 |-3.300000e+01 | 160.90%
955.23/955.45 c 955s| 20600 | 20601 | 3000k| 145.4 | 42M| 84 | 96 | 400 | 929 | 400 | 601 | 0 | 535 |2670 |-8.605029e+01 |-3.300000e+01 | 160.76%
959.04/959.21 c 959s| 20700 | 20701 | 3014k| 145.5 | 42M| 84 | 327 | 400 | 927 | 400 | 601 | 0 | 540 |2670 |-8.601789e+01 |-3.300000e+01 | 160.66%
962.13/962.38 c 962s| 20800 | 20801 | 3026k| 145.3 | 42M| 84 | 306 | 400 | 924 | 400 | 601 | 0 | 540 |2672 |-8.600527e+01 |-3.300000e+01 | 160.62%
966.43/966.64 c 967s| 20900 | 20901 | 3040k| 145.3 | 42M| 84 | 253 | 400 | 921 | 400 | 601 | 0 | 540 |2685 |-8.599755e+01 |-3.300000e+01 | 160.60%
970.63/970.81 c 971s| 21000 | 21001 | 3053k| 145.2 | 42M| 84 | 231 | 400 | 919 | 400 | 601 | 0 | 540 |2698 |-8.598720e+01 |-3.300000e+01 | 160.57%
974.13/974.38 c 974s| 21100 | 21101 | 3067k| 145.2 | 42M| 84 | 215 | 400 | 924 | 400 | 601 | 0 | 547 |2700 |-8.598198e+01 |-3.300000e+01 | 160.55%
977.33/977.59 c 978s| 21200 | 21201 | 3079k| 145.1 | 42M| 84 | 187 | 400 | 921 | 400 | 601 | 0 | 547 |2700 |-8.595723e+01 |-3.300000e+01 | 160.48%
980.53/980.79 c 981s| 21300 | 21301 | 3092k| 145.0 | 42M| 84 | 130 | 400 | 919 | 400 | 601 | 0 | 547 |2700 |-8.593984e+01 |-3.300000e+01 | 160.42%
983.83/984.09 c 984s| 21400 | 21401 | 3105k| 144.9 | 43M| 84 | 128 | 400 | 915 | 400 | 601 | 0 | 547 |2704 |-8.593984e+01 |-3.300000e+01 | 160.42%
987.53/987.78 c 988s| 21500 | 21501 | 3118k| 144.8 | 43M| 84 | 124 | 400 | 913 | 400 | 601 | 0 | 547 |2725 |-8.593713e+01 |-3.300000e+01 | 160.42%
990.73/991.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
990.73/991.00 c 991s| 21600 | 21601 | 3131k| 144.8 | 43M| 84 | 311 | 400 | 917 | 400 | 601 | 0 | 553 |2734 |-8.593275e+01 |-3.300000e+01 | 160.40%
994.13/994.35 c 994s| 21700 | 21701 | 3144k| 144.7 | 43M| 84 | 294 | 400 | 917 | 400 | 601 | 0 | 553 |2734 |-8.593020e+01 |-3.300000e+01 | 160.39%
999.02/999.29 c 999s| 21800 | 21801 | 3168k| 145.1 | 43M| 85 | 250 | 400 | 910 | 400 | 601 | 0 | 558 |2734 |-8.592419e+01 |-3.300000e+01 | 160.38%
1002.82/1003.05 c 1003s| 21900 | 21901 | 3183k| 145.2 | 43M| 85 | 252 | 400 | 917 | 400 | 601 | 0 | 570 |2734 |-8.592234e+01 |-3.300000e+01 | 160.37%
1006.92/1007.18 c 1007s| 22000 | 22001 | 3197k| 145.2 | 43M| 85 | 226 | 400 | 918 | 400 | 601 | 0 | 574 |2752 |-8.589837e+01 |-3.300000e+01 | 160.30%
1010.52/1010.77 c 1011s| 22100 | 22101 | 3210k| 145.1 | 43M| 85 | 163 | 400 | 916 | 400 | 601 | 0 | 574 |2758 |-8.586726e+01 |-3.300000e+01 | 160.20%
1013.63/1013.87 c 1014s| 22200 | 22201 | 3222k| 145.0 | 44M| 85 | 159 | 400 | 915 | 400 | 601 | 0 | 574 |2758 |-8.586604e+01 |-3.300000e+01 | 160.20%
1016.72/1016.93 c 1017s| 22300 | 22301 | 3233k| 144.8 | 44M| 85 | 161 | 400 | 914 | 400 | 601 | 0 | 575 |2758 |-8.585195e+01 |-3.300000e+01 | 160.16%
1020.12/1020.34 c 1020s| 22400 | 22401 | 3248k| 144.8 | 44M| 85 | 139 | 400 | 911 | 400 | 601 | 0 | 575 |2758 |-8.584899e+01 |-3.300000e+01 | 160.15%
1023.72/1023.98 c 1024s| 22500 | 22501 | 3261k| 144.8 | 44M| 85 | 326 | 400 | 916 | 400 | 601 | 0 | 583 |2774 |-8.579426e+01 |-3.300000e+01 | 159.98%
1027.33/1027.55 c 1028s| 22600 | 22601 | 3274k| 144.7 | 44M| 85 | 283 | 400 | 912 | 400 | 601 | 0 | 583 |2789 |-8.577984e+01 |-3.300000e+01 | 159.94%
1030.82/1031.07 c 1031s| 22700 | 22701 | 3289k| 144.7 | 44M| 85 | 236 | 400 | 909 | 400 | 601 | 0 | 583 |2789 |-8.577726e+01 |-3.300000e+01 | 159.93%
1034.52/1034.70 c 1035s| 22800 | 22801 | 3304k| 144.8 | 44M| 85 | 244 | 400 | 908 | 400 | 601 | 0 | 584 |2789 |-8.576507e+01 |-3.300000e+01 | 159.89%
1037.92/1038.14 c 1038s| 22900 | 22901 | 3319k| 144.8 | 44M| 85 | 200 | 400 | 912 | 400 | 601 | 0 | 589 |2789 |-8.575664e+01 |-3.300000e+01 | 159.87%
1042.02/1042.25 c 1042s| 23000 | 23001 | 3333k| 144.7 | 44M| 85 | 156 | 400 | 911 | 400 | 601 | 0 | 589 |2808 |-8.574571e+01 |-3.300000e+01 | 159.84%
1045.83/1046.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1045.83/1046.02 c 1046s| 23100 | 23101 | 3347k| 144.8 | 45M| 85 | 141 | 400 | 909 | 400 | 601 | 0 | 589 |2821 |-8.574113e+01 |-3.300000e+01 | 159.82%
1049.52/1049.78 c 1050s| 23200 | 23201 | 3361k| 144.7 | 45M| 85 | 147 | 400 | 913 | 400 | 601 | 0 | 594 |2828 |-8.572992e+01 |-3.300000e+01 | 159.79%
1053.11/1053.39 c 1053s| 23300 | 23301 | 3374k| 144.7 | 45M| 85 | 120 | 400 | 912 | 400 | 601 | 0 | 594 |2830 |-8.570981e+01 |-3.300000e+01 | 159.73%
1056.51/1056.73 c 1057s| 23400 | 23401 | 3388k| 144.6 | 45M| 85 | 323 | 400 | 912 | 400 | 601 | 0 | 595 |2831 |-8.569977e+01 |-3.300000e+01 | 159.70%
1059.92/1060.18 c 1060s| 23500 | 23501 | 3402k| 144.6 | 45M| 85 | 288 | 400 | 918 | 400 | 601 | 0 | 601 |2831 |-8.569470e+01 |-3.300000e+01 | 159.68%
1064.31/1064.51 c 1065s| 23600 | 23601 | 3416k| 144.6 | 45M| 85 | 265 | 400 | 912 | 400 | 601 | 0 | 602 |2849 |-8.569237e+01 |-3.300000e+01 | 159.67%
1068.12/1068.36 c 1068s| 23700 | 23701 | 3430k| 144.6 | 45M| 85 | 203 | 400 | 911 | 400 | 601 | 0 | 602 |2866 |-8.568123e+01 |-3.300000e+01 | 159.64%
1071.41/1071.65 c 1072s| 23800 | 23801 | 3444k| 144.5 | 45M| 85 | 211 | 400 | 914 | 400 | 601 | 0 | 606 |2866 |-8.566773e+01 |-3.300000e+01 | 159.60%
1074.72/1074.98 c 1075s| 23900 | 23901 | 3458k| 144.5 | 46M| 85 | 156 | 400 | 914 | 400 | 601 | 0 | 606 |2866 |-8.566523e+01 |-3.300000e+01 | 159.59%
1078.01/1078.25 c 1078s| 24000 | 24001 | 3471k| 144.5 | 46M| 85 | 158 | 400 | 913 | 400 | 601 | 0 | 606 |2866 |-8.565749e+01 |-3.300000e+01 | 159.57%
1081.11/1081.32 c 1081s| 24100 | 24101 | 3482k| 144.4 | 46M| 85 | 125 | 400 | 912 | 400 | 601 | 0 | 606 |2866 |-8.563328e+01 |-3.300000e+01 | 159.49%
1085.61/1085.81 c 1086s| 24200 | 24201 | 3498k| 144.4 | 46M| 85 | 123 | 400 | 911 | 400 | 601 | 0 | 606 |2896 |-8.562607e+01 |-3.300000e+01 | 159.47%
1089.61/1089.81 c 1090s| 24300 | 24301 | 3513k| 144.4 | 46M| 85 | 323 | 400 | 921 | 400 | 601 | 0 | 619 |2912 |-8.561848e+01 |-3.300000e+01 | 159.45%
1093.41/1093.66 c 1094s| 24400 | 24401 | 3526k| 144.4 | 46M| 85 | 283 | 400 | 921 | 400 | 601 | 0 | 619 |2918 |-8.561460e+01 |-3.300000e+01 | 159.44%
1097.31/1097.55 c 1098s| 24500 | 24501 | 3539k| 144.3 | 46M| 85 | 249 | 400 | 927 | 400 | 601 | 0 | 625 |2934 |-8.560462e+01 |-3.300000e+01 | 159.41%
1100.60/1100.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1100.60/1100.89 c 1101s| 24600 | 24601 | 3552k| 144.2 | 46M| 85 | 226 | 400 | 926 | 400 | 601 | 0 | 625 |2934 |-8.560462e+01 |-3.300000e+01 | 159.41%
1104.21/1104.43 c 1104s| 24700 | 24701 | 3567k| 144.3 | 46M| 85 | 200 | 400 | 923 | 400 | 601 | 0 | 625 |2934 |-8.559730e+01 |-3.300000e+01 | 159.39%
1107.41/1107.63 c 1108s| 24800 | 24801 | 3580k| 144.2 | 47M| 85 | 165 | 400 | 922 | 400 | 601 | 0 | 625 |2934 |-8.555718e+01 |-3.300000e+01 | 159.26%
1110.71/1110.95 c 1111s| 24900 | 24901 | 3593k| 144.2 | 47M| 85 | 178 | 400 | 925 | 400 | 601 | 0 | 628 |2951 |-8.555233e+01 |-3.300000e+01 | 159.25%
1114.40/1114.65 c 1115s| 25000 | 25001 | 3605k| 144.1 | 47M| 85 | 131 | 400 | 924 | 400 | 601 | 0 | 628 |2971 |-8.555182e+01 |-3.300000e+01 | 159.25%
1118.31/1118.50 c 1118s| 25100 | 25101 | 3620k| 144.1 | 47M| 85 | 128 | 400 | 923 | 400 | 601 | 0 | 628 |2972 |-8.554508e+01 |-3.300000e+01 | 159.23%
1122.00/1122.25 c 1122s| 25200 | 25201 | 3635k| 144.1 | 47M| 85 | 314 | 400 | 919 | 400 | 601 | 0 | 628 |2975 |-8.551989e+01 |-3.300000e+01 | 159.15%
1125.11/1125.38 c 1125s| 25300 | 25301 | 3650k| 144.1 | 47M| 85 | 292 | 400 | 925 | 400 | 601 | 0 | 635 |2975 |-8.551398e+01 |-3.300000e+01 | 159.13%
1128.21/1128.45 c 1128s| 25400 | 25401 | 3662k| 144.1 | 47M| 85 | 243 | 400 | 923 | 400 | 601 | 0 | 635 |2975 |-8.551271e+01 |-3.300000e+01 | 159.13%
1132.40/1132.61 c 1133s| 25500 | 25501 | 3675k| 144.0 | 47M| 85 | 208 | 400 | 922 | 400 | 601 | 0 | 635 |3001 |-8.551178e+01 |-3.300000e+01 | 159.13%
1136.01/1136.22 c 1136s| 25600 | 25601 | 3688k| 143.9 | 48M| 85 | 227 | 400 | 918 | 400 | 601 | 0 | 635 |3012 |-8.550702e+01 |-3.300000e+01 | 159.11%
1139.30/1139.53 c 1140s| 25700 | 25701 | 3701k| 143.9 | 48M| 85 | 202 | 400 | 924 | 400 | 601 | 0 | 642 |3016 |-8.550571e+01 |-3.300000e+01 | 159.11%
1143.00/1143.26 c 1143s| 25800 | 25801 | 3715k| 143.9 | 48M| 85 | 164 | 400 | 920 | 400 | 601 | 0 | 642 |3019 |-8.549532e+01 |-3.300000e+01 | 159.08%
1146.50/1146.73 c 1147s| 25900 | 25901 | 3728k| 143.8 | 48M| 85 | 138 | 400 | 916 | 400 | 601 | 0 | 642 |3022 |-8.549296e+01 |-3.300000e+01 | 159.07%
1150.00/1150.25 c 1150s| 26000 | 26001 | 3744k| 143.8 | 48M| 85 | 120 | 400 | 918 | 400 | 601 | 0 | 646 |3022 |-8.549153e+01 |-3.300000e+01 | 159.07%
1153.50/1153.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1153.50/1153.73 c 1154s| 26100 | 26101 | 3758k| 143.9 | 48M| 85 | 321 | 400 | 925 | 400 | 601 | 0 | 653 |3032 |-8.548383e+01 |-3.300000e+01 | 159.04%
1158.10/1158.38 c 1158s| 26200 | 26201 | 3774k| 143.9 | 48M| 85 | 282 | 400 | 933 | 400 | 601 | 0 | 662 |3054 |-8.547295e+01 |-3.300000e+01 | 159.01%
1161.79/1162.03 c 1162s| 26300 | 26301 | 3789k| 143.9 | 48M| 85 | 239 | 400 | 927 | 400 | 601 | 0 | 662 |3057 |-8.547237e+01 |-3.300000e+01 | 159.01%
1164.99/1165.23 c 1165s| 26400 | 26401 | 3802k| 143.9 | 48M| 85 | 244 | 400 | 924 | 400 | 601 | 0 | 662 |3057 |-8.546641e+01 |-3.300000e+01 | 158.99%
1168.40/1168.66 c 1169s| 26500 | 26501 | 3817k| 143.9 | 49M| 85 | 200 | 400 | 923 | 400 | 601 | 0 | 663 |3057 |-8.546581e+01 |-3.300000e+01 | 158.99%
1171.70/1172.00 c 1172s| 26600 | 26601 | 3831k| 143.9 | 49M| 85 | 178 | 400 | 921 | 400 | 601 | 0 | 664 |3058 |-8.546072e+01 |-3.300000e+01 | 158.97%
1176.20/1176.44 c 1176s| 26700 | 26701 | 3847k| 143.9 | 49M| 85 | 157 | 400 | 918 | 400 | 601 | 0 | 664 |3083 |-8.545928e+01 |-3.300000e+01 | 158.97%
1179.89/1180.15 c 1180s| 26800 | 26801 | 3859k| 143.9 | 49M| 85 | 153 | 400 | 920 | 400 | 601 | 0 | 668 |3096 |-8.545863e+01 |-3.300000e+01 | 158.97%
1183.40/1183.63 c 1184s| 26900 | 26901 | 3873k| 143.8 | 49M| 85 | 120 | 400 | 918 | 400 | 601 | 0 | 668 |3097 |-8.545706e+01 |-3.300000e+01 | 158.96%
1186.89/1187.17 c 1187s| 27000 | 27001 | 3887k| 143.8 | 49M| 85 | 323 | 400 | 916 | 400 | 601 | 0 | 668 |3098 |-8.545426e+01 |-3.300000e+01 | 158.95%
1190.19/1190.42 c 1190s| 27100 | 27101 | 3901k| 143.8 | 49M| 85 | 289 | 400 | 913 | 400 | 601 | 0 | 668 |3098 |-8.543164e+01 |-3.300000e+01 | 158.88%
1193.59/1193.87 c 1194s| 27200 | 27201 | 3913k| 143.7 | 49M| 85 | 262 | 400 | 915 | 400 | 601 | 0 | 672 |3105 |-8.542996e+01 |-3.300000e+01 | 158.88%
1197.60/1197.85 c 1198s| 27300 | 27301 | 3930k| 143.8 | 50M| 85 | 215 | 400 | 922 | 400 | 601 | 0 | 682 |3114 |-8.542716e+01 |-3.300000e+01 | 158.87%
1201.40/1201.60 c 1202s| 27400 | 27401 | 3943k| 143.8 | 50M| 85 | 223 | 400 | 928 | 400 | 601 | 0 | 692 |3129 |-8.541911e+01 |-3.300000e+01 | 158.85%
1204.89/1205.17 c 1205s| 27500 | 27501 | 3956k| 143.7 | 50M| 85 | 151 | 400 | 922 | 400 | 601 | 0 | 692 |3149 |-8.541545e+01 |-3.300000e+01 | 158.83%
1208.60/1208.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1208.60/1208.86 c 1209s| 27600 | 27601 | 3971k| 143.8 | 50M| 85 | 159 | 400 | 915 | 400 | 601 | 0 | 692 |3154 |-8.541418e+01 |-3.300000e+01 | 158.83%
1211.59/1211.83 c 1212s| 27700 | 27701 | 3984k| 143.7 | 50M| 85 | 163 | 400 | 909 | 400 | 601 | 0 | 692 |3154 |-8.540583e+01 |-3.300000e+01 | 158.81%
1214.89/1215.10 c 1215s| 27800 | 27801 | 3998k| 143.7 | 50M| 85 | 115 | 400 | 907 | 400 | 601 | 0 | 692 |3154 |-8.539749e+01 |-3.300000e+01 | 158.78%
1218.09/1218.39 c 1218s| 27900 | 27901 | 4012k| 143.7 | 50M| 85 | 323 | 400 | 908 | 400 | 601 | 0 | 695 |3154 |-8.538820e+01 |-3.300000e+01 | 158.75%
1221.69/1221.97 c 1222s| 28000 | 28001 | 4026k| 143.7 | 50M| 85 | 291 | 400 | 907 | 400 | 601 | 0 | 696 |3170 |-8.538738e+01 |-3.300000e+01 | 158.75%
1224.69/1224.94 c 1225s| 28100 | 28101 | 4036k| 143.5 | 51M| 85 | 238 | 400 | 906 | 400 | 601 | 0 | 696 |3185 |-8.537191e+01 |-3.300000e+01 | 158.70%
1227.19/1227.46 c 1227s| 28200 | 28201 | 4046k| 143.3 | 51M| 85 | 212 | 400 | 904 | 400 | 601 | 0 | 696 |3192 |-8.536973e+01 |-3.300000e+01 | 158.70%
1230.79/1231.06 c 1231s| 28300 | 28301 | 4062k| 143.4 | 51M| 85 | 206 | 400 | 906 | 400 | 601 | 0 | 701 |3192 |-8.536650e+01 |-3.300000e+01 | 158.69%
1234.19/1234.49 c 1234s| 28400 | 28401 | 4079k| 143.5 | 51M| 85 | 175 | 400 | 903 | 400 | 601 | 0 | 701 |3192 |-8.536293e+01 |-3.300000e+01 | 158.68%
1238.48/1238.78 c 1239s| 28500 | 28501 | 4100k| 143.7 | 51M| 85 | 158 | 400 | 902 | 400 | 601 | 0 | 701 |3192 |-8.536289e+01 |-3.300000e+01 | 158.68%
1242.29/1242.50 c 1242s| 28600 | 28601 | 4114k| 143.7 | 51M| 85 | 151 | 400 | 906 | 400 | 601 | 0 | 707 |3192 |-8.536207e+01 |-3.300000e+01 | 158.67%
1245.29/1245.57 c 1246s| 28700 | 28701 | 4125k| 143.6 | 51M| 85 | 121 | 400 | 905 | 400 | 601 | 0 | 707 |3205 |-8.535878e+01 |-3.300000e+01 | 158.66%
1249.39/1249.62 c 1250s| 28800 | 28801 | 4140k| 143.6 | 51M| 85 | 314 | 400 | 900 | 400 | 601 | 0 | 707 |3222 |-8.534305e+01 |-3.300000e+01 | 158.62%
1257.58/1257.88 c 1258s| 28900 | 28901 | 4154k| 143.6 | 51M| 85 | 292 | 400 | 898 | 400 | 601 | 0 | 707 |3223 |-8.533685e+01 |-3.300000e+01 | 158.60%
1261.28/1261.56 c 1262s| 29000 | 29001 | 4169k| 143.6 | 52M| 85 | 250 | 400 | 900 | 400 | 601 | 0 | 712 |3224 |-8.533522e+01 |-3.300000e+01 | 158.59%
1264.69/1264.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1264.69/1264.91 c 1265s| 29100 | 29101 | 4182k| 143.6 | 52M| 85 | 244 | 400 | 897 | 400 | 601 | 0 | 712 |3224 |-8.532619e+01 |-3.300000e+01 | 158.56%
1267.68/1267.93 c 1268s| 29200 | 29201 | 4194k| 143.5 | 52M| 85 | 220 | 400 | 895 | 400 | 601 | 0 | 712 |3224 |-8.531739e+01 |-3.300000e+01 | 158.54%
1271.58/1271.89 c 1272s| 29300 | 29301 | 4208k| 143.5 | 52M| 85 | 175 | 400 | 890 | 400 | 601 | 0 | 712 |3245 |-8.531327e+01 |-3.300000e+01 | 158.53%
1275.38/1275.61 c 1276s| 29400 | 29401 | 4222k| 143.5 | 52M| 85 | 155 | 400 | 887 | 400 | 601 | 0 | 712 |3256 |-8.530657e+01 |-3.300000e+01 | 158.50%
1278.98/1279.22 c 1279s| 29500 | 29501 | 4237k| 143.5 | 52M| 85 | 146 | 400 | 905 | 400 | 601 | 0 | 732 |3268 |-8.528452e+01 |-3.300000e+01 | 158.44%
1282.29/1282.57 c 1283s| 29600 | 29601 | 4250k| 143.5 | 52M| 85 | 132 | 400 | 905 | 400 | 601 | 0 | 732 |3269 |-8.527626e+01 |-3.300000e+01 | 158.41%
1285.48/1285.80 c 1286s| 29700 | 29701 | 4266k| 143.5 | 52M| 85 | 320 | 400 | 902 | 400 | 601 | 0 | 732 |3269 |-8.527066e+01 |-3.300000e+01 | 158.40%
1288.99/1289.21 c 1289s| 29800 | 29801 | 4279k| 143.5 | 53M| 85 | 274 | 400 | 899 | 400 | 601 | 0 | 732 |3269 |-8.527039e+01 |-3.300000e+01 | 158.40%
1292.07/1292.34 c 1292s| 29900 | 29901 | 4292k| 143.4 | 53M| 85 | 261 | 400 | 903 | 400 | 601 | 0 | 737 |3269 |-8.526860e+01 |-3.300000e+01 | 158.39%
1295.38/1295.65 c 1296s| 30000 | 30001 | 4304k| 143.4 | 53M| 85 | 213 | 400 | 900 | 400 | 601 | 0 | 737 |3286 |-8.526816e+01 |-3.300000e+01 | 158.39%
1299.28/1299.54 c 1300s| 30100 | 30101 | 4319k| 143.4 | 53M| 85 | 213 | 400 | 894 | 400 | 601 | 0 | 737 |3302 |-8.526151e+01 |-3.300000e+01 | 158.37%
1302.78/1303.04 c 1303s| 30200 | 30201 | 4332k| 143.3 | 53M| 85 | 160 | 400 | 890 | 400 | 601 | 0 | 737 |3303 |-8.524934e+01 |-3.300000e+01 | 158.33%
1306.27/1306.55 c 1307s| 30300 | 30301 | 4347k| 143.4 | 53M| 85 | 126 | 400 | 892 | 400 | 601 | 0 | 745 |3303 |-8.524658e+01 |-3.300000e+01 | 158.32%
1309.78/1310.03 c 1310s| 30400 | 30401 | 4360k| 143.3 | 53M| 85 | 134 | 400 | 890 | 400 | 601 | 0 | 745 |3313 |-8.523571e+01 |-3.300000e+01 | 158.29%
1313.38/1313.63 c 1314s| 30500 | 30501 | 4375k| 143.3 | 53M| 85 | 133 | 400 | 887 | 400 | 601 | 0 | 745 |3313 |-8.523041e+01 |-3.300000e+01 | 158.27%
1316.97/1317.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1316.97/1317.28 c 1317s| 30600 | 30601 | 4389k| 143.3 | 53M| 85 | 321 | 400 | 887 | 400 | 601 | 0 | 745 |3330 |-8.522225e+01 |-3.300000e+01 | 158.25%
1320.97/1321.28 c 1321s| 30700 | 30701 | 4403k| 143.3 | 54M| 85 | 294 | 400 | 905 | 400 | 601 | 0 | 766 |3345 |-8.520715e+01 |-3.300000e+01 | 158.20%
1324.87/1325.13 c 1325s| 30800 | 30801 | 4418k| 143.3 | 54M| 85 | 261 | 400 | 908 | 400 | 601 | 0 | 772 |3348 |-8.519942e+01 |-3.300000e+01 | 158.18%
1328.27/1328.53 c 1329s| 30900 | 30901 | 4433k| 143.4 | 54M| 85 | 203 | 400 | 905 | 400 | 601 | 0 | 772 |3348 |-8.519251e+01 |-3.300000e+01 | 158.16%
1331.88/1332.19 c 1332s| 31000 | 31001 | 4451k| 143.5 | 54M| 85 | 190 | 400 | 901 | 400 | 601 | 0 | 772 |3348 |-8.518767e+01 |-3.300000e+01 | 158.14%
1335.47/1335.74 c 1336s| 31100 | 31101 | 4466k| 143.5 | 54M| 85 | 196 | 400 | 902 | 400 | 601 | 0 | 776 |3348 |-8.518472e+01 |-3.300000e+01 | 158.14%
1338.87/1339.15 c 1339s| 31200 | 31201 | 4479k| 143.5 | 54M| 85 | 137 | 400 | 898 | 400 | 601 | 0 | 776 |3356 |-8.518108e+01 |-3.300000e+01 | 158.12%
1342.37/1342.69 c 1343s| 31300 | 31301 | 4493k| 143.4 | 54M| 85 | 153 | 400 | 893 | 400 | 601 | 0 | 776 |3374 |-8.517605e+01 |-3.300000e+01 | 158.11%
1345.67/1345.96 c 1346s| 31400 | 31401 | 4505k| 143.4 | 54M| 85 | 127 | 400 | 891 | 400 | 601 | 0 | 776 |3378 |-8.517214e+01 |-3.300000e+01 | 158.10%
1348.97/1349.28 c 1349s| 31500 | 31501 | 4519k| 143.3 | 54M| 85 | 311 | 400 | 894 | 400 | 601 | 0 | 781 |3381 |-8.516519e+01 |-3.300000e+01 | 158.08%
1352.07/1352.39 c 1352s| 31600 | 31601 | 4532k| 143.3 | 55M| 85 | 279 | 400 | 890 | 400 | 601 | 0 | 781 |3383 |-8.515731e+01 |-3.300000e+01 | 158.05%
1355.47/1355.75 c 1356s| 31700 | 31701 | 4546k| 143.3 | 55M| 85 | 255 | 400 | 887 | 400 | 601 | 0 | 781 |3384 |-8.515654e+01 |-3.300000e+01 | 158.05%
1358.47/1358.74 c 1359s| 31800 | 31801 | 4558k| 143.2 | 55M| 85 | 195 | 400 | 886 | 400 | 601 | 0 | 781 |3384 |-8.515600e+01 |-3.300000e+01 | 158.05%
1362.47/1362.76 c 1363s| 31900 | 31901 | 4573k| 143.3 | 55M| 85 | 186 | 400 | 876 | 400 | 601 | 0 | 781 |3408 |-8.513429e+01 |-3.300000e+01 | 157.98%
1366.17/1366.40 c 1366s| 32000 | 32001 | 4587k| 143.2 | 55M| 85 | 177 | 400 | 879 | 400 | 601 | 0 | 786 |3418 |-8.513123e+01 |-3.300000e+01 | 157.97%
1369.66/1369.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1369.66/1369.93 c 1370s| 32100 | 32101 | 4601k| 143.2 | 55M| 85 | 159 | 400 | 877 | 400 | 601 | 0 | 786 |3418 |-8.512501e+01 |-3.300000e+01 | 157.95%
1373.26/1373.59 c 1374s| 32200 | 32201 | 4618k| 143.3 | 55M| 85 | 148 | 400 | 868 | 400 | 601 | 0 | 786 |3419 |-8.511827e+01 |-3.300000e+01 | 157.93%
1376.66/1376.96 c 1377s| 32300 | 32301 | 4632k| 143.3 | 55M| 85 | 115 | 400 | 867 | 400 | 601 | 0 | 786 |3419 |-8.511593e+01 |-3.300000e+01 | 157.93%
1379.86/1380.11 c 1380s| 32400 | 32401 | 4645k| 143.2 | 56M| 85 | 322 | 400 | 865 | 400 | 601 | 0 | 786 |3419 |-8.510849e+01 |-3.300000e+01 | 157.90%
1383.47/1383.71 c 1384s| 32500 | 32501 | 4659k| 143.3 | 56M| 85 | 277 | 400 | 869 | 400 | 601 | 0 | 791 |3431 |-8.509772e+01 |-3.300000e+01 | 157.87%
1386.87/1387.18 c 1387s| 32600 | 32601 | 4670k| 143.2 | 56M| 85 | 264 | 400 | 866 | 400 | 601 | 0 | 791 |3452 |-8.507609e+01 |-3.300000e+01 | 157.81%
1390.26/1390.51 c 1391s| 32700 | 32701 | 4684k| 143.1 | 56M| 85 | 231 | 400 | 865 | 400 | 601 | 0 | 791 |3459 |-8.507186e+01 |-3.300000e+01 | 157.79%
1393.47/1393.74 c 1394s| 32800 | 32801 | 4698k| 143.1 | 56M| 85 | 185 | 400 | 865 | 400 | 601 | 0 | 792 |3461 |-8.507186e+01 |-3.300000e+01 | 157.79%
1396.46/1396.75 c 1397s| 32900 | 32901 | 4711k| 143.1 | 56M| 85 | 153 | 400 | 864 | 400 | 601 | 0 | 792 |3462 |-8.506823e+01 |-3.300000e+01 | 157.78%
1399.56/1399.81 c 1400s| 33000 | 33001 | 4723k| 143.0 | 56M| 85 | 150 | 400 | 864 | 400 | 601 | 0 | 792 |3462 |-8.506668e+01 |-3.300000e+01 | 157.78%
1403.06/1403.30 c 1403s| 33100 | 33101 | 4739k| 143.1 | 56M| 85 | 143 | 400 | 864 | 400 | 601 | 0 | 792 |3462 |-8.505458e+01 |-3.300000e+01 | 157.74%
1406.46/1406.70 c 1407s| 33200 | 33201 | 4752k| 143.0 | 56M| 85 | 126 | 400 | 865 | 400 | 601 | 0 | 796 |3475 |-8.505071e+01 |-3.300000e+01 | 157.73%
1409.76/1410.09 c 1410s| 33300 | 33301 | 4763k| 142.9 | 57M| 85 | 320 | 400 | 859 | 400 | 601 | 0 | 796 |3493 |-8.503828e+01 |-3.300000e+01 | 157.69%
1413.66/1413.94 c 1414s| 33400 | 33401 | 4777k| 142.9 | 57M| 85 | 288 | 400 | 858 | 400 | 601 | 0 | 796 |3510 |-8.502220e+01 |-3.300000e+01 | 157.64%
1416.96/1417.27 c 1417s| 33500 | 33501 | 4792k| 142.9 | 57M| 85 | 259 | 400 | 858 | 400 | 601 | 0 | 797 |3511 |-8.502120e+01 |-3.300000e+01 | 157.64%
1420.06/1420.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1420.06/1420.38 c 1420s| 33600 | 33601 | 4805k| 142.9 | 57M| 85 | 209 | 400 | 853 | 400 | 601 | 0 | 797 |3512 |-8.501720e+01 |-3.300000e+01 | 157.63%
1423.56/1423.83 c 1424s| 33700 | 33701 | 4821k| 142.9 | 57M| 85 | 201 | 400 | 858 | 400 | 601 | 0 | 805 |3512 |-8.501167e+01 |-3.300000e+01 | 157.61%
1426.86/1427.13 c 1427s| 33800 | 33801 | 4834k| 142.9 | 57M| 85 | 182 | 400 | 858 | 400 | 601 | 0 | 805 |3512 |-8.501167e+01 |-3.300000e+01 | 157.61%
1430.06/1430.37 c 1430s| 33900 | 33901 | 4844k| 142.8 | 57M| 85 | 163 | 400 | 856 | 400 | 601 | 0 | 805 |3527 |-8.501097e+01 |-3.300000e+01 | 157.61%
1434.46/1434.73 c 1435s| 34000 | 34001 | 4862k| 142.9 | 57M| 85 | 137 | 400 | 856 | 400 | 601 | 0 | 805 |3538 |-8.501018e+01 |-3.300000e+01 | 157.61%
1438.26/1438.55 c 1439s| 34100 | 34101 | 4876k| 142.9 | 57M| 85 | 127 | 400 | 862 | 400 | 601 | 0 | 815 |3550 |-8.500870e+01 |-3.300000e+01 | 157.60%
1441.76/1442.08 c 1442s| 34200 | 34201 | 4888k| 142.8 | 58M| 85 | 311 | 400 | 859 | 400 | 601 | 0 | 815 |3555 |-8.500181e+01 |-3.300000e+01 | 157.58%
1444.55/1444.84 c 1445s| 34300 | 34301 | 4900k| 142.8 | 58M| 85 | 273 | 400 | 857 | 400 | 601 | 0 | 815 |3555 |-8.499316e+01 |-3.300000e+01 | 157.56%
1447.75/1448.10 c 1448s| 34400 | 34401 | 4912k| 142.7 | 58M| 85 | 237 | 400 | 856 | 400 | 601 | 0 | 815 |3556 |-8.499237e+01 |-3.300000e+01 | 157.55%
1450.75/1451.02 c 1451s| 34500 | 34501 | 4924k| 142.6 | 58M| 85 | 237 | 400 | 851 | 400 | 601 | 0 | 816 |3556 |-8.498946e+01 |-3.300000e+01 | 157.54%
1454.05/1454.36 c 1454s| 34600 | 34601 | 4938k| 142.6 | 58M| 85 | 186 | 400 | 856 | 400 | 601 | 0 | 824 |3556 |-8.498349e+01 |-3.300000e+01 | 157.53%
1457.95/1458.23 c 1458s| 34700 | 34701 | 4952k| 142.6 | 58M| 85 | 174 | 400 | 853 | 400 | 601 | 0 | 824 |3570 |-8.497510e+01 |-3.300000e+01 | 157.50%
1462.15/1462.40 c 1462s| 34800 | 34801 | 4967k| 142.6 | 58M| 85 | 153 | 400 | 850 | 400 | 601 | 0 | 824 |3589 |-8.497249e+01 |-3.300000e+01 | 157.49%
1464.96/1465.26 c 1465s| 34900 | 34901 | 4979k| 142.6 | 58M| 85 | 148 | 400 | 849 | 400 | 601 | 0 | 824 |3591 |-8.497124e+01 |-3.300000e+01 | 157.49%
1468.45/1468.70 c 1469s| 35000 | 35001 | 4993k| 142.5 | 59M| 85 | 128 | 400 | 852 | 400 | 601 | 0 | 828 |3591 |-8.496711e+01 |-3.300000e+01 | 157.48%
1471.35/1471.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1471.35/1471.65 c 1472s| 35100 | 35101 | 5004k| 142.5 | 59M| 85 | 321 | 400 | 850 | 400 | 601 | 0 | 828 |3591 |-8.496218e+01 |-3.300000e+01 | 157.46%
1474.45/1474.77 c 1475s| 35200 | 35201 | 5018k| 142.5 | 59M| 85 | 264 | 400 | 850 | 400 | 601 | 0 | 828 |3591 |-8.496218e+01 |-3.300000e+01 | 157.46%
1477.55/1477.88 c 1478s| 35300 | 35301 | 5031k| 142.4 | 59M| 85 | 240 | 400 | 850 | 400 | 601 | 0 | 828 |3591 |-8.496072e+01 |-3.300000e+01 | 157.46%
1481.24/1481.58 c 1482s| 35400 | 35401 | 5046k| 142.5 | 59M| 85 | 212 | 400 | 859 | 400 | 601 | 0 | 837 |3613 |-8.495938e+01 |-3.300000e+01 | 157.45%
1484.54/1484.88 c 1485s| 35500 | 35501 | 5059k| 142.4 | 59M| 85 | 163 | 400 | 859 | 400 | 601 | 0 | 837 |3623 |-8.495440e+01 |-3.300000e+01 | 157.44%
1487.85/1488.10 c 1488s| 35600 | 35601 | 5072k| 142.4 | 59M| 85 | 181 | 400 | 858 | 400 | 601 | 0 | 837 |3623 |-8.495045e+01 |-3.300000e+01 | 157.43%
1491.35/1491.68 c 1492s| 35700 | 35701 | 5088k| 142.4 | 59M| 85 | 148 | 400 | 856 | 400 | 601 | 0 | 837 |3624 |-8.494425e+01 |-3.300000e+01 | 157.41%
1494.65/1494.94 c 1495s| 35800 | 35801 | 5101k| 142.4 | 59M| 85 | 147 | 400 | 855 | 400 | 601 | 0 | 837 |3625 |-8.494146e+01 |-3.300000e+01 | 157.40%
1497.85/1498.19 c 1498s| 35900 | 35901 | 5114k| 142.4 | 60M| 85 | 120 | 400 | 861 | 400 | 601 | 0 | 843 |3625 |-8.494029e+01 |-3.300000e+01 | 157.39%
1501.05/1501.37 c 1501s| 36000 | 36001 | 5127k| 142.3 | 60M| 85 | 318 | 400 | 861 | 400 | 601 | 0 | 843 |3627 |-8.492497e+01 |-3.300000e+01 | 157.35%
1504.84/1505.11 c 1505s| 36100 | 36101 | 5139k| 142.3 | 60M| 85 | 287 | 400 | 859 | 400 | 601 | 0 | 843 |3652 |-8.491813e+01 |-3.300000e+01 | 157.33%
1508.05/1508.34 c 1508s| 36200 | 36201 | 5153k| 142.2 | 60M| 85 | 256 | 400 | 867 | 400 | 601 | 0 | 852 |3659 |-8.491799e+01 |-3.300000e+01 | 157.33%
1511.55/1511.82 c 1512s| 36300 | 36301 | 5167k| 142.3 | 60M| 85 | 215 | 400 | 863 | 400 | 601 | 0 | 853 |3660 |-8.491353e+01 |-3.300000e+01 | 157.31%
1514.44/1514.75 c 1515s| 36400 | 36401 | 5179k| 142.2 | 60M| 85 | 179 | 400 | 861 | 400 | 601 | 0 | 853 |3663 |-8.490997e+01 |-3.300000e+01 | 157.30%
1517.94/1518.24 c 1518s| 36500 | 36501 | 5194k| 142.2 | 60M| 85 | 148 | 400 | 861 | 400 | 601 | 0 | 853 |3663 |-8.490641e+01 |-3.300000e+01 | 157.29%
1521.15/1521.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1521.15/1521.49 c 1521s| 36600 | 36601 | 5207k| 142.2 | 60M| 85 | 133 | 400 | 859 | 400 | 601 | 0 | 853 |3665 |-8.490413e+01 |-3.300000e+01 | 157.29%
1524.64/1524.90 c 1525s| 36700 | 36701 | 5221k| 142.2 | 61M| 85 | 146 | 400 | 858 | 400 | 601 | 0 | 853 |3674 |-8.490275e+01 |-3.300000e+01 | 157.28%
1528.35/1528.64 c 1529s| 36800 | 36801 | 5236k| 142.2 | 61M| 85 | 138 | 400 | 859 | 400 | 601 | 0 | 858 |3691 |-8.489808e+01 |-3.300000e+01 | 157.27%
1532.54/1532.83 c 1533s| 36900 | 36901 | 5252k| 142.2 | 61M| 85 | 313 | 400 | 857 | 400 | 601 | 0 | 859 |3703 |-8.488309e+01 |-3.300000e+01 | 157.22%
1535.74/1536.00 c 1536s| 37000 | 37001 | 5264k| 142.2 | 61M| 85 | 297 | 400 | 855 | 400 | 601 | 0 | 859 |3713 |-8.488067e+01 |-3.300000e+01 | 157.21%
1539.24/1539.51 c 1540s| 37100 | 37101 | 5277k| 142.2 | 61M| 85 | 253 | 400 | 852 | 400 | 601 | 0 | 859 |3717 |-8.487837e+01 |-3.300000e+01 | 157.21%
1542.53/1542.88 c 1543s| 37200 | 37201 | 5290k| 142.1 | 61M| 85 | 217 | 400 | 857 | 400 | 601 | 0 | 865 |3717 |-8.487499e+01 |-3.300000e+01 | 157.20%
1546.04/1546.30 c 1546s| 37300 | 37301 | 5304k| 142.1 | 61M| 85 | 204 | 400 | 855 | 400 | 601 | 0 | 865 |3717 |-8.487411e+01 |-3.300000e+01 | 157.19%
1549.14/1549.47 c 1549s| 37400 | 37401 | 5316k| 142.1 | 61M| 85 | 191 | 400 | 855 | 400 | 601 | 0 | 865 |3718 |-8.487243e+01 |-3.300000e+01 | 157.19%
1552.34/1552.66 c 1553s| 37500 | 37501 | 5328k| 142.0 | 61M| 92 | 213 | 400 | 854 | 400 | 601 | 0 | 865 |3729 |-8.487022e+01 |-3.300000e+01 | 157.18%
1554.93/1555.20 c 1555s| 37600 | 37601 | 5340k| 141.9 | 62M| 103 | 273 | 400 | 853 | 400 | 601 | 0 | 866 |3739 |-8.487022e+01 |-3.300000e+01 | 157.18%
1557.54/1557.84 c 1558s| 37700 | 37701 | 5353k| 141.9 | 62M| 106 | 265 | 400 | 871 | 400 | 601 | 0 | 884 |3745 |-8.486836e+01 |-3.300000e+01 | 157.18%
1560.24/1560.54 c 1561s| 37800 | 37801 | 5366k| 141.9 | 62M| 108 | 229 | 400 | 871 | 400 | 601 | 0 | 884 |3747 |-8.486593e+01 |-3.300000e+01 | 157.17%
1563.04/1563.38 c 1563s| 37900 | 37901 | 5379k| 141.8 | 62M| 108 | 222 | 400 | 871 | 400 | 601 | 0 | 884 |3747 |-8.486212e+01 |-3.300000e+01 | 157.16%
1565.84/1566.15 c 1566s| 38000 | 38001 | 5392k| 141.8 | 62M| 108 | 182 | 400 | 875 | 400 | 601 | 0 | 889 |3747 |-8.485968e+01 |-3.300000e+01 | 157.15%
1568.54/1568.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1568.54/1568.83 c 1569s| 38100 | 38101 | 5404k| 141.7 | 62M| 108 | 179 | 400 | 874 | 400 | 601 | 0 | 890 |3747 |-8.485755e+01 |-3.300000e+01 | 157.14%
1571.23/1571.54 c 1572s| 38200 | 38201 | 5416k| 141.7 | 62M| 108 | 132 | 400 | 874 | 400 | 601 | 0 | 890 |3747 |-8.485010e+01 |-3.300000e+01 | 157.12%
1574.14/1574.41 c 1574s| 38300 | 38301 | 5429k| 141.7 | 62M| 108 | 118 | 400 | 871 | 400 | 601 | 0 | 890 |3767 |-8.484795e+01 |-3.300000e+01 | 157.12%
1577.04/1577.37 c 1577s| 38400 | 38401 | 5442k| 141.6 | 63M| 108 | 129 | 400 | 871 | 400 | 601 | 0 | 890 |3781 |-8.484596e+01 |-3.300000e+01 | 157.11%
1579.64/1579.90 c 1580s| 38500 | 38501 | 5455k| 141.6 | 63M| 108 | 108 | 400 | 902 | 400 | 601 | 0 | 921 |3781 |-8.484596e+01 |-3.300000e+01 | 157.11%
1582.43/1582.73 c 1583s| 38600 | 38601 | 5468k| 141.6 | 63M| 108 | 310 | 400 | 907 | 400 | 601 | 0 | 928 |3781 |-8.484034e+01 |-3.300000e+01 | 157.09%
1585.43/1585.77 c 1586s| 38700 | 38701 | 5480k| 141.5 | 63M| 108 | 287 | 400 | 909 | 400 | 601 | 0 | 930 |3787 |-8.482391e+01 |-3.300000e+01 | 157.04%
1588.04/1588.40 c 1588s| 38800 | 38801 | 5491k| 141.4 | 63M| 108 | 261 | 400 | 908 | 400 | 601 | 0 | 930 |3793 |-8.482286e+01 |-3.300000e+01 | 157.04%
1590.83/1591.18 c 1591s| 38900 | 38901 | 5504k| 141.4 | 63M| 108 | 229 | 400 | 906 | 400 | 601 | 0 | 930 |3793 |-8.481795e+01 |-3.300000e+01 | 157.02%
1593.03/1593.31 c 1593s| 39000 | 39001 | 5514k| 141.3 | 63M| 108 | 182 | 400 | 905 | 400 | 601 | 0 | 930 |3793 |-8.480650e+01 |-3.300000e+01 | 156.99%
1595.53/1595.86 c 1596s| 39100 | 39101 | 5525k| 141.2 | 63M| 108 | 170 | 400 | 908 | 400 | 601 | 0 | 935 |3809 |-8.480362e+01 |-3.300000e+01 | 156.98%
1598.53/1598.84 c 1599s| 39200 | 39201 | 5538k| 141.2 | 64M| 108 | 177 | 400 | 906 | 400 | 601 | 0 | 935 |3818 |-8.480112e+01 |-3.300000e+01 | 156.97%
1601.33/1601.69 c 1602s| 39300 | 39301 | 5549k| 141.1 | 64M| 108 | 159 | 400 | 905 | 400 | 601 | 0 | 935 |3820 |-8.480066e+01 |-3.300000e+01 | 156.97%
1604.03/1604.32 c 1604s| 39400 | 39401 | 5560k| 141.0 | 64M| 108 | 158 | 400 | 903 | 400 | 601 | 0 | 935 |3820 |-8.479439e+01 |-3.300000e+01 | 156.95%
1606.53/1606.89 c 1607s| 39500 | 39501 | 5572k| 141.0 | 64M| 108 | 110 | 400 | 902 | 400 | 601 | 0 | 935 |3820 |-8.478867e+01 |-3.300000e+01 | 156.94%
1609.23/1609.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1609.23/1609.58 c 1610s| 39600 | 39601 | 5585k| 140.9 | 64M| 108 | 110 | 400 | 909 | 400 | 601 | 0 | 943 |3820 |-8.478867e+01 |-3.300000e+01 | 156.94%
1611.83/1612.17 c 1612s| 39700 | 39701 | 5597k| 140.9 | 64M| 108 | 316 | 400 | 907 | 400 | 601 | 0 | 943 |3820 |-8.477929e+01 |-3.300000e+01 | 156.91%
1614.63/1614.95 c 1615s| 39800 | 39801 | 5609k| 140.8 | 64M| 108 | 277 | 400 | 905 | 400 | 601 | 0 | 943 |3829 |-8.477917e+01 |-3.300000e+01 | 156.91%
1617.53/1617.80 c 1618s| 39900 | 39901 | 5623k| 140.8 | 64M| 108 | 269 | 400 | 907 | 400 | 601 | 0 | 948 |3839 |-8.477676e+01 |-3.300000e+01 | 156.90%
1620.33/1620.69 c 1621s| 40000 | 40001 | 5633k| 140.7 | 65M| 108 | 222 | 400 | 906 | 400 | 601 | 0 | 948 |3853 |-8.477377e+01 |-3.300000e+01 | 156.89%
1622.52/1622.86 c 1623s| 40100 | 40101 | 5643k| 140.6 | 65M| 108 | 180 | 400 | 905 | 400 | 601 | 0 | 949 |3853 |-8.477213e+01 |-3.300000e+01 | 156.89%
1624.73/1625.03 c 1625s| 40200 | 40201 | 5652k| 140.5 | 65M| 108 | 185 | 400 | 905 | 400 | 601 | 0 | 949 |3853 |-8.477083e+01 |-3.300000e+01 | 156.88%
1627.13/1627.47 c 1627s| 40300 | 40301 | 5664k| 140.5 | 65M| 108 | 162 | 400 | 908 | 400 | 601 | 0 | 955 |3854 |-8.476551e+01 |-3.300000e+01 | 156.87%
1629.53/1629.83 c 1630s| 40400 | 40401 | 5675k| 140.4 | 65M| 108 | 143 | 400 | 906 | 400 | 601 | 0 | 955 |3854 |-8.475460e+01 |-3.300000e+01 | 156.83%
1631.72/1632.06 c 1632s| 40500 | 40501 | 5686k| 140.3 | 65M| 108 | 127 | 400 | 906 | 400 | 601 | 0 | 959 |3854 |-8.475446e+01 |-3.300000e+01 | 156.83%
1634.53/1634.87 c 1635s| 40600 | 40601 | 5699k| 140.3 | 65M| 108 | 136 | 400 | 904 | 400 | 601 | 0 | 963 |3865 |-8.475104e+01 |-3.300000e+01 | 156.82%
1637.63/1637.95 c 1638s| 40700 | 40701 | 5711k| 140.2 | 65M| 108 | 117 | 400 | 901 | 400 | 601 | 0 | 963 |3876 |-8.475104e+01 |-3.300000e+01 | 156.82%
1641.03/1641.32 c 1641s| 40800 | 40801 | 5727k| 140.3 | 66M| 108 | 306 | 400 | 900 | 400 | 601 | 0 | 963 |3884 |-8.475092e+01 |-3.300000e+01 | 156.82%
1644.42/1644.79 c 1645s| 40900 | 40901 | 5746k| 140.4 | 66M| 108 | 278 | 400 | 905 | 400 | 601 | 0 | 968 |3884 |-8.474853e+01 |-3.300000e+01 | 156.81%
1647.32/1647.65 c 1648s| 41000 | 41001 | 5762k| 140.5 | 66M| 108 | 257 | 400 | 911 | 400 | 601 | 0 | 978 |3884 |-8.474748e+01 |-3.300000e+01 | 156.81%
1649.73/1650.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1649.73/1650.07 c 1650s| 41100 | 41101 | 5773k| 140.4 | 66M| 108 | 199 | 400 | 910 | 400 | 601 | 0 | 978 |3884 |-8.473738e+01 |-3.300000e+01 | 156.78%
1652.42/1652.78 c 1653s| 41200 | 41201 | 5786k| 140.3 | 66M| 108 | 199 | 400 | 914 | 400 | 601 | 0 | 984 |3890 |-8.473366e+01 |-3.300000e+01 | 156.77%
1655.13/1655.48 c 1655s| 41300 | 41301 | 5799k| 140.3 | 66M| 108 | 193 | 400 | 913 | 400 | 601 | 0 | 984 |3890 |-8.473324e+01 |-3.300000e+01 | 156.77%
1658.62/1658.98 c 1659s| 41400 | 41401 | 5811k| 140.3 | 66M| 108 | 175 | 400 | 912 | 400 | 601 | 0 | 984 |3908 |-8.473052e+01 |-3.300000e+01 | 156.76%
1661.72/1662.07 c 1662s| 41500 | 41501 | 5821k| 140.2 | 66M| 108 | 140 | 400 | 910 | 400 | 601 | 0 | 985 |3919 |-8.472808e+01 |-3.300000e+01 | 156.75%
1664.42/1664.75 c 1665s| 41600 | 41601 | 5835k| 140.2 | 67M| 108 | 133 | 400 | 914 | 400 | 601 | 0 | 990 |3919 |-8.471920e+01 |-3.300000e+01 | 156.72%
1667.02/1667.36 c 1667s| 41700 | 41701 | 5848k| 140.2 | 67M| 108 | 125 | 400 | 913 | 400 | 601 | 0 | 990 |3921 |-8.471213e+01 |-3.300000e+01 | 156.70%
1669.82/1670.18 c 1670s| 41800 | 41801 | 5862k| 140.1 | 67M| 108 | 115 | 400 | 912 | 400 | 601 | 0 | 990 |3921 |-8.471213e+01 |-3.300000e+01 | 156.70%
1672.32/1672.66 c 1673s| 41900 | 41901 | 5873k| 140.1 | 67M| 108 | 311 | 400 | 911 | 400 | 601 | 0 | 990 |3921 |-8.470735e+01 |-3.300000e+01 | 156.69%
1674.82/1675.16 c 1675s| 42000 | 42001 | 5885k| 140.0 | 67M| 108 | 283 | 400 | 921 | 400 | 601 | 0 |1001 |3921 |-8.470628e+01 |-3.300000e+01 | 156.69%
1677.61/1677.99 c 1678s| 42100 | 42101 | 5897k| 140.0 | 67M| 108 | 226 | 400 | 919 | 400 | 601 | 0 |1001 |3930 |-8.469288e+01 |-3.300000e+01 | 156.65%
1680.32/1680.67 c 1681s| 42200 | 42201 | 5909k| 139.9 | 67M| 108 | 228 | 400 | 919 | 400 | 601 | 0 |1001 |3940 |-8.468934e+01 |-3.300000e+01 | 156.63%
1683.22/1683.56 c 1684s| 42300 | 42301 | 5920k| 139.9 | 67M| 108 | 193 | 400 | 918 | 400 | 601 | 0 |1001 |3955 |-8.468769e+01 |-3.300000e+01 | 156.63%
1685.82/1686.14 c 1686s| 42400 | 42401 | 5930k| 139.8 | 67M| 108 | 178 | 400 | 918 | 400 | 601 | 0 |1001 |3964 |-8.468320e+01 |-3.300000e+01 | 156.62%
1688.12/1688.46 c 1688s| 42500 | 42501 | 5941k| 139.7 | 68M| 108 | 172 | 400 | 919 | 400 | 601 | 0 |1003 |3965 |-8.466809e+01 |-3.300000e+01 | 156.57%
1690.51/1690.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1690.51/1690.84 c 1691s| 42600 | 42601 | 5954k| 139.7 | 68M| 108 | 148 | 400 | 919 | 400 | 601 | 0 |1005 |3965 |-8.466507e+01 |-3.300000e+01 | 156.56%
1692.82/1693.16 c 1693s| 42700 | 42701 | 5965k| 139.6 | 68M| 108 | 150 | 400 | 919 | 400 | 601 | 0 |1005 |3965 |-8.465633e+01 |-3.300000e+01 | 156.53%
1695.12/1695.47 c 1695s| 42800 | 42801 | 5978k| 139.6 | 68M| 108 | 124 | 400 | 941 | 400 | 601 | 0 |1030 |3965 |-8.464863e+01 |-3.300000e+01 | 156.51%
1697.61/1697.93 c 1698s| 42900 | 42901 | 5990k| 139.5 | 68M| 108 | 127 | 400 | 940 | 400 | 601 | 0 |1030 |3965 |-8.464863e+01 |-3.300000e+01 | 156.51%
1701.11/1701.42 c 1701s| 43000 | 43001 | 6007k| 139.6 | 68M| 108 | 307 | 400 | 942 | 400 | 601 | 0 |1032 |3981 |-8.464539e+01 |-3.300000e+01 | 156.50%
1704.52/1704.90 c 1705s| 43100 | 43101 | 6020k| 139.6 | 68M| 108 | 289 | 400 | 941 | 400 | 601 | 0 |1034 |3993 |-8.464194e+01 |-3.300000e+01 | 156.49%
1707.31/1707.62 c 1708s| 43200 | 43201 | 6031k| 139.5 | 68M| 108 | 260 | 400 | 938 | 400 | 601 | 0 |1034 |3997 |-8.463906e+01 |-3.300000e+01 | 156.48%
1709.72/1710.03 c 1710s| 43300 | 43301 | 6043k| 139.5 | 69M| 108 | 203 | 400 | 959 | 400 | 601 | 0 |1056 |3997 |-8.463732e+01 |-3.300000e+01 | 156.48%
1712.32/1712.68 c 1713s| 43400 | 43401 | 6057k| 139.5 | 69M| 108 | 181 | 400 | 957 | 400 | 601 | 0 |1056 |3997 |-8.463728e+01 |-3.300000e+01 | 156.48%
1714.81/1715.11 c 1715s| 43500 | 43501 | 6069k| 139.4 | 69M| 108 | 197 | 400 | 955 | 400 | 601 | 0 |1056 |3997 |-8.463177e+01 |-3.300000e+01 | 156.46%
1717.11/1717.46 c 1717s| 43600 | 43601 | 6083k| 139.4 | 69M| 108 | 153 | 400 | 960 | 400 | 601 | 0 |1062 |3997 |-8.462962e+01 |-3.300000e+01 | 156.45%
1719.62/1719.91 c 1720s| 43700 | 43701 | 6095k| 139.4 | 69M| 108 | 142 | 400 | 957 | 400 | 601 | 0 |1062 |4002 |-8.462889e+01 |-3.300000e+01 | 156.45%
1722.41/1722.75 c 1723s| 43800 | 43801 | 6106k| 139.3 | 69M| 108 | 143 | 400 | 956 | 400 | 601 | 0 |1062 |4020 |-8.462581e+01 |-3.300000e+01 | 156.44%
1725.21/1725.51 c 1726s| 43900 | 43901 | 6119k| 139.3 | 69M| 108 | 109 | 400 | 959 | 400 | 601 | 0 |1066 |4029 |-8.462445e+01 |-3.300000e+01 | 156.44%
1727.81/1728.16 c 1728s| 44000 | 44001 | 6131k| 139.3 | 69M| 108 | 109 | 400 | 952 | 400 | 601 | 0 |1067 |4034 |-8.462445e+01 |-3.300000e+01 | 156.44%
1730.51/1730.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1730.51/1730.80 c 1731s| 44100 | 44101 | 6143k| 139.2 | 70M| 108 | 311 | 400 | 949 | 400 | 601 | 0 |1067 |4035 |-8.462226e+01 |-3.300000e+01 | 156.43%
1733.51/1733.88 c 1734s| 44200 | 44201 | 6155k| 139.2 | 70M| 108 | 290 | 400 | 949 | 400 | 601 | 0 |1072 |4046 |-8.461597e+01 |-3.300000e+01 | 156.41%
1736.11/1736.47 c 1736s| 44300 | 44301 | 6166k| 139.1 | 70M| 108 | 257 | 400 | 949 | 400 | 601 | 0 |1072 |4046 |-8.461227e+01 |-3.300000e+01 | 156.40%
1738.61/1738.90 c 1739s| 44400 | 44401 | 6178k| 139.1 | 70M| 108 | 211 | 400 | 948 | 400 | 601 | 0 |1072 |4046 |-8.461074e+01 |-3.300000e+01 | 156.40%
1741.40/1741.78 c 1742s| 44500 | 44501 | 6190k| 139.0 | 70M| 108 | 227 | 400 | 942 | 400 | 601 | 0 |1072 |4049 |-8.460459e+01 |-3.300000e+01 | 156.38%
1744.61/1744.96 c 1745s| 44600 | 44601 | 6205k| 139.1 | 70M| 108 | 144 | 400 | 938 | 400 | 601 | 0 |1072 |4062 |-8.459414e+01 |-3.300000e+01 | 156.35%
1747.40/1747.71 c 1748s| 44700 | 44701 | 6219k| 139.0 | 70M| 108 | 160 | 400 | 945 | 400 | 601 | 0 |1080 |4065 |-8.459274e+01 |-3.300000e+01 | 156.34%
1750.31/1750.64 c 1751s| 44800 | 44801 | 6229k| 139.0 | 70M| 108 | 141 | 400 | 944 | 400 | 601 | 0 |1080 |4080 |-8.458663e+01 |-3.300000e+01 | 156.32%
1752.81/1753.13 c 1753s| 44900 | 44901 | 6240k| 138.9 | 71M| 108 | 117 | 400 | 944 | 400 | 601 | 0 |1080 |4090 |-8.458382e+01 |-3.300000e+01 | 156.31%
1755.40/1755.73 c 1756s| 45000 | 45001 | 6252k| 138.9 | 71M| 108 | 140 | 400 | 952 | 400 | 601 | 0 |1091 |4093 |-8.458290e+01 |-3.300000e+01 | 156.31%
1757.71/1758.05 c 1758s| 45100 | 45101 | 6264k| 138.8 | 71M| 108 | 86 | 400 | 951 | 400 | 601 | 0 |1091 |4093 |-8.458290e+01 |-3.300000e+01 | 156.31%
1760.20/1760.50 c 1760s| 45200 | 45201 | 6277k| 138.8 | 71M| 108 | 304 | 400 | 955 | 400 | 601 | 0 |1097 |4094 |-8.457961e+01 |-3.300000e+01 | 156.30%
1762.61/1762.91 c 1763s| 45300 | 45301 | 6288k| 138.7 | 71M| 108 | 278 | 400 | 955 | 400 | 601 | 0 |1097 |4094 |-8.457284e+01 |-3.300000e+01 | 156.28%
1765.00/1765.36 c 1765s| 45400 | 45401 | 6300k| 138.7 | 71M| 108 | 230 | 400 | 955 | 400 | 601 | 0 |1097 |4094 |-8.455439e+01 |-3.300000e+01 | 156.23%
1767.60/1767.92 c 1768s| 45500 | 45501 | 6312k| 138.6 | 71M| 108 | 198 | 400 | 958 | 400 | 601 | 0 |1100 |4105 |-8.455163e+01 |-3.300000e+01 | 156.22%
1770.41/1770.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1770.41/1770.72 c 1771s| 45600 | 45601 | 6323k| 138.6 | 71M| 108 | 180 | 400 | 954 | 400 | 601 | 0 |1100 |4119 |-8.454871e+01 |-3.300000e+01 | 156.21%
1772.90/1773.24 c 1773s| 45700 | 45701 | 6334k| 138.5 | 72M| 108 | 186 | 400 | 952 | 400 | 601 | 0 |1100 |4124 |-8.454804e+01 |-3.300000e+01 | 156.21%
1775.50/1775.87 c 1776s| 45800 | 45801 | 6347k| 138.5 | 72M| 108 | 136 | 400 | 948 | 400 | 601 | 0 |1100 |4124 |-8.454486e+01 |-3.300000e+01 | 156.20%
1777.90/1778.24 c 1778s| 45900 | 45901 | 6358k| 138.4 | 72M| 108 | 165 | 400 | 951 | 400 | 601 | 0 |1105 |4124 |-8.454243e+01 |-3.300000e+01 | 156.19%
1780.61/1780.98 c 1781s| 46000 | 46001 | 6370k| 138.4 | 72M| 108 | 133 | 400 | 947 | 400 | 601 | 0 |1105 |4131 |-8.454116e+01 |-3.300000e+01 | 156.19%
1783.00/1783.32 c 1783s| 46100 | 46101 | 6381k| 138.3 | 72M| 108 | 138 | 400 | 945 | 400 | 601 | 0 |1105 |4131 |-8.453969e+01 |-3.300000e+01 | 156.18%
1786.01/1786.31 c 1786s| 46200 | 46201 | 6393k| 138.3 | 72M| 108 | 115 | 400 | 944 | 400 | 601 | 0 |1105 |4131 |-8.453969e+01 |-3.300000e+01 | 156.18%
1788.40/1788.79 c 1789s| 46300 | 46301 | 6406k| 138.3 | 72M| 108 | 321 | 400 | 944 | 400 | 601 | 0 |1110 |4135 |-8.453940e+01 |-3.300000e+01 | 156.18%
1791.61/1791.95 c 1792s| 46400 | 46401 | 6417k| 138.2 | 72M| 108 | 290 | 400 | 944 | 400 | 601 | 0 |1110 |4150 |-8.453618e+01 |-3.300000e+01 | 156.17%
1794.70/1795.08 c 1795s| 46500 | 46501 | 6433k| 138.3 | 73M| 108 | 235 | 400 | 950 | 400 | 601 | 0 |1117 |4160 |-8.453199e+01 |-3.300000e+01 | 156.16%
1796.70/1797.01 c
1796.70/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.01 c Solving Time (sec) : 1797.00
1796.70/1797.01 c Solving Nodes : 46574
1796.70/1797.01 c Primal Bound : -3.30000000000000e+01 (498 solutions)
1796.70/1797.01 c Dual Bound : -8.45266953996623e+01
1796.70/1797.01 c Gap : 156.14 %
1796.70/1797.01 s SATISFIABLE
1796.70/1797.01 v -x375 x317 x361 -x286 -x342 -x224 -x249 -x359 -x390 -x297 -x299 -x251 -x256 -x319 -x273 -x231 -x360 -x348 -x240 -x382 -x334 -x332
1796.70/1797.01 v -x269 -x237 -x362 -x217 x321 x349 -x278 x239 -x398 -x265 x343 x391 -x300 x264 -x370 -x339 -x377 -x207 -x392 -x353 -x234 x238
1796.70/1797.01 v x352 x233 -x388 -x315 -x229 -x356 x322 -x206 -x395 -x380 -x345 x289 -x221 -x246 -x219 -x350 -x309 -x304 -x272 -x329 -x225
1796.70/1797.01 v x284 -x366 x354 -x335 -x312 -x208 -x276 -x372 -x232 -x220 x245 x290 -x242 -x253 -x318 -x303 -x298 -x204 -x344 -x310 -x267 -x266
1796.70/1797.01 v -x255 -x236 -x396 -x295 -x213 -x340 -x261 -x333 -x400 x355 -x252 -x389 -x277 -x209 -x288 x351 -x244 -x365 -x386 -x367 x347
1796.70/1797.01 v -x323 -x294 -x271 -x254 -x248 -x226 -x218 -x216 -x215 -x346 -x258 -x314 -x247 -x328 -x326 -x306 -x282 -x397 -x274 -x357 x381
1796.70/1797.01 v -x292 -x214 -x202 -x307 -x305 -x302 x301 -x296 -x279 -x210 -x205 x371 -x325 x399 -x338 x385 x320 x374 -x243 -x257 -x270 -x259
1796.70/1797.01 v -x223 -x203 -x330 -x268 x324 -x263 -x331 -x201 -x393 -x379 -x376 x358 -x313 -x311 -x308 -x285 -x283 x281 -x280 -x275 -x262
1796.70/1797.01 v -x241 -x235 -x211 -x383 -x230 -x368 -x369 -x212 -x337 -x373 -x227 -x341 -x327 x364 -x260 -x291 -x228 -x363 -x222 -x250 x293 -x387
1796.70/1797.01 v -x336 -x394 -x316 -x378 x287 -x384 x200 -x199 -x198 x197 x196 -x195 x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 x186
1796.70/1797.01 v -x185 -x184 -x183 x182 -x181 x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168 -x167 -x166 -x165 -x164
1796.70/1797.01 v x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143
1796.70/1797.01 v x142 x141 -x140 -x139 -x138 x137 -x136 -x135 x134 x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121
1796.70/1797.01 v -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 x109 -x108 x107 -x106 x105 x104 -x103 -x102 -x101 -x100 x99
1796.70/1797.01 v -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 x74 -x73
1796.70/1797.01 v -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 x48
1796.70/1797.01 v -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22
1796.70/1797.01 v -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1796.70/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.01 c Total Time : 1797.00
1796.70/1797.01 c solving : 1797.00
1796.70/1797.01 c presolving : 0.14 (included in solving)
1796.70/1797.01 c reading : 0.03 (included in solving)
1796.70/1797.01 c copying : 0.07 (10 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.70/1797.01 c Original Problem :
1796.70/1797.01 c Problem name : HOME/instance-3692583-1338037247.opb
1796.70/1797.01 c Variables : 6604 (400 binary, 0 integer, 6204 implicit integer, 0 continuous)
1796.70/1797.01 c Constraints : 7205 initial, 7205 maximal
1796.70/1797.01 c Objective sense : minimize
1796.70/1797.01 c Presolved Problem :
1796.70/1797.01 c Problem name : t_HOME/instance-3692583-1338037247.opb
1796.70/1797.01 c Variables : 400 (400 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.01 c Constraints : 601 initial, 961 maximal
1796.70/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c dualfix : 0.01 0.00 6204 0 0 0 0 0 0 0 0
1796.70/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c probing : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c knapsack : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c linear : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c pseudoboolean : 0.02 0.00 0 0 0 0 0 7004 400 0 0
1796.70/1797.01 c root node : - - 0 - - 0 - - - - -
1796.70/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.01 c integral : 0 0 0 0 46574 0 504 0 0 0 0 0 93148
1796.70/1797.01 c knapsack : 400 400 2 618284 0 0 498 11807 64 388562 0 0 0
1796.70/1797.01 c setppc : 200 200 2 577498 0 0 497 707 0 32388 0 0 0
1796.70/1797.01 c linear : 1 1 2 618218 0 0 497 0 381 0 0 0 0
1796.70/1797.01 c logicor : 0+ 360 0 59481 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c countsols : 0 0 0 0 0 0 502 0 0 0 0 0 0
1796.70/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.01 c integral : 162.26 0.00 0.00 0.00 162.26 0.00 0.00 0.00
1796.70/1797.01 c knapsack : 4.87 0.00 0.01 4.71 0.00 0.00 0.15 0.01
1796.70/1797.01 c setppc : 0.78 0.00 0.00 0.77 0.00 0.00 0.01 0.00
1796.70/1797.01 c linear : 0.72 0.00 0.01 0.70 0.00 0.00 0.00 0.00
1796.70/1797.01 c logicor : 0.21 0.00 0.00 0.21 0.00 0.00 0.00 0.00
1796.70/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.01 c rootredcost : 5 0 0 0
1796.70/1797.01 c pseudoobj : 664834 128 74 0
1796.70/1797.01 c vbounds : 0 0 0 0
1796.70/1797.01 c redcost : 46575 0 0 0
1796.70/1797.01 c probing : 0 0 0 0
1796.70/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.01 c rootredcost : 0.20 0.00 0.00 0.20 0.00
1796.70/1797.01 c pseudoobj : 0.60 0.00 0.00 0.59 0.00
1796.70/1797.01 c vbounds : 0.16 0.00 0.00 0.16 0.00
1796.70/1797.01 c redcost : 0.57 0.00 0.00 0.57 0.00
1796.70/1797.01 c probing : 0.01 0.00 0.01 0.00 0.00
1796.70/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.01 c propagation : 0.03 64 64 1167 130.1 0 0.0 -
1796.70/1797.01 c infeasible LP : 0.08 1235 1221 3070 34.3 0 0.0 0
1796.70/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.01 c applied globally : - - - 1069 11.7 - - -
1796.70/1797.01 c applied locally : - - - 48 74.9 - - -
1796.70/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1796.70/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c impliedbounds : 0.00 0.00 2 0 0 0 0
1796.70/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c gomory : 0.05 0.00 2 0 0 0 0
1796.70/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c strongcg : 0.05 0.00 2 0 0 0 0
1796.70/1797.01 c cmir : 0.00 0.00 2 0 0 0 0
1796.70/1797.01 c flowcover : 0.00 0.00 2 0 0 0 0
1796.70/1797.01 c clique : 0.00 0.00 1 0 0 0 0
1796.70/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c mcf : 0.00 0.00 1 0 0 0 0
1796.70/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c rapidlearning : 1.14 0.00 1 0 0 0 0
1796.70/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.01 c problem variables: 0.00 - 0 0
1796.70/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.01 c relpscost : 162.22 0.00 46574 0 0 0 0 93148
1796.70/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c inference : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.01 c LP solutions : 0.00 - - 0
1796.70/1797.01 c pseudo solutions : 0.00 - - 0
1796.70/1797.01 c oneopt : 0.02 0.00 6 0
1796.70/1797.01 c crossover : 6.07 0.00 7 2
1796.70/1797.01 c pscostdiving : 115.49 0.00 860 0
1796.70/1797.01 c smallcard : 0.00 0.00 0 0
1796.70/1797.01 c trivial : 0.01 0.00 2 1
1796.70/1797.01 c shiftandpropagate: 0.00 0.00 0 0
1796.70/1797.01 c simplerounding : 0.01 0.00 0 0
1796.70/1797.01 c zirounding : 4.12 0.00 0 0
1796.70/1797.01 c rounding : 23.42 0.00 9975 1
1796.70/1797.01 c shifting : 17.24 0.00 4659 437
1796.70/1797.01 c intshifting : 0.00 0.00 0 0
1796.70/1797.01 c twoopt : 0.00 0.00 0 0
1796.70/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.01 c indoneopt : 0.03 0.00 0 0
1796.70/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.01 c feaspump : 0.54 0.00 1 1
1796.70/1797.01 c clique : 0.00 0.00 0 0
1796.70/1797.01 c coefdiving : 130.49 0.00 861 1
1796.70/1797.01 c indrounding : 0.00 0.00 0 0
1796.70/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.01 c fracdiving : 60.24 0.00 710 2
1796.70/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.01 c veclendiving : 19.29 0.00 148 0
1796.70/1797.01 c intdiving : 0.00 0.00 0 0
1796.70/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.01 c objpscostdiving : 21.78 0.00 99 17
1796.70/1797.01 c rootsoldiving : 11.39 0.00 187 34
1796.70/1797.01 c linesearchdiving : 63.13 0.00 754 2
1796.70/1797.01 c guideddiving : 40.81 0.00 578 0
1796.70/1797.01 c octane : 0.00 0.00 0 0
1796.70/1797.01 c rens : 0.01 0.00 0 0
1796.70/1797.01 c rins : 0.00 0.00 0 0
1796.70/1797.01 c localbranching : 0.00 0.00 0 0
1796.70/1797.01 c mutation : 0.00 0.00 0 0
1796.70/1797.01 c dins : 0.00 0.00 0 0
1796.70/1797.01 c vbounds : 0.00 0.00 0 0
1796.70/1797.01 c undercover : 0.00 0.00 0 0
1796.70/1797.01 c subnlp : 0.01 0.00 0 0
1796.70/1797.01 c trysol : 0.02 0.00 0 0
1796.70/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.01 c primal LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.01 c dual LP : 1108.40 46861 4633560 99.49 4180.40 0.64 287
1796.70/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.01 c diving/probing LP: 407.73 489942 1808314 3.69 4435.06
1796.70/1797.01 c strong branching : 159.97 4163 182152 43.75 1138.68
1796.70/1797.01 c (at root node) : - 21 8844 421.14 -
1796.70/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.01 c B&B Tree :
1796.70/1797.01 c number of runs : 1
1796.70/1797.01 c nodes : 46574
1796.70/1797.01 c nodes (total) : 46574
1796.70/1797.01 c nodes left : 46575
1796.70/1797.01 c max depth : 108
1796.70/1797.01 c max depth (total): 108
1796.70/1797.01 c backtracks : 5046 (10.8%)
1796.70/1797.01 c delayed cutoffs : 0
1796.70/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.70/1797.01 c avg switch length: 4.06
1796.70/1797.01 c switching time : 2.34
1796.70/1797.01 c Solution :
1796.70/1797.01 c Solutions found : 498 (8 improvements)
1796.70/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.05 seconds, depth 0, found by <trivial>)
1796.70/1797.01 c Primal Bound : -3.30000000000000e+01 (in run 1, after 654 nodes, 140.39 seconds, depth 212, found by <linesearchdiving>)
1796.70/1797.01 c Dual Bound : -8.45266953996623e+01
1796.70/1797.01 c Gap : 156.14 %
1796.70/1797.01 c Root Dual Bound : -1.00000000000000e+02
1796.70/1797.01 c Root Iterations : 4149
1796.80/1797.12 c Time complete: 1796.83.
OK -33
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3692583-1338037247/watcher-3692583-1338037247 -o /tmp/evaluation-result-3692583-1338037247/solver-3692583-1338037247 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692583-1338037247.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: 1.94 2.00 1.99 3/177 7722 /proc/meminfo: memFree=27649944/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=11812 CPUtime=0 cores=0,2,4,6 /proc/7722/stat : 7722 (runsolver) D 7720 7722 5668 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 269852007 12095488 50 33554432000 4194304 5436572 140736259987456 140736259983752 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0 /proc/7722/statm: 2953 50 31 304 0 2645 0 [startup+0.0742291 s] /proc/loadavg: 1.94 2.00 1.99 3/177 7722 /proc/meminfo: memFree=27649944/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=36056 CPUtime=0.06 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 7818 0 0 0 5 1 0 0 20 0 1 0 269852007 36921344 7517 33554432000 4194304 10219143 140735417994944 140736259983640 6004208 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 9014 7521 564 1471 0 7534 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 36056 [startup+0.100312 s] /proc/loadavg: 1.94 2.00 1.99 3/177 7722 /proc/meminfo: memFree=27649944/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=39396 CPUtime=0.08 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 8665 0 0 0 7 1 0 0 20 0 1 0 269852007 40341504 8362 33554432000 4194304 10219143 140735417994944 140736259983640 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 9849 8362 566 1471 0 8369 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 39396 [startup+0.300263 s] /proc/loadavg: 1.94 2.00 1.99 3/177 7722 /proc/meminfo: memFree=27649944/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=47508 CPUtime=0.28 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 10951 0 0 0 24 4 0 0 20 0 1 0 269852007 48648192 10608 33554432000 4194304 10219143 140735417994944 140736259983640 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 11877 10608 773 1471 0 10397 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 47508 [startup+0.700223 s] /proc/loadavg: 1.94 2.00 1.99 3/177 7722 /proc/meminfo: memFree=27649944/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=49100 CPUtime=0.68 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 11355 0 0 0 63 5 0 0 20 0 1 0 269852007 50278400 10988 33554432000 4194304 10219143 140735417994944 140735417988248 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 12275 10988 773 1471 0 10795 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 49100 [startup+1.50022 s] /proc/loadavg: 1.94 2.00 1.99 3/178 7723 /proc/meminfo: memFree=27608148/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=65872 CPUtime=1.48 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 15437 0 0 0 141 7 0 0 20 0 1 0 269852007 67452928 15014 33554432000 4194304 10219143 140735417994944 140735417988248 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 16468 15014 830 1471 0 14988 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 65872 [startup+3.10022 s] /proc/loadavg: 1.94 2.00 1.99 3/178 7723 /proc/meminfo: memFree=27592888/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=50344 CPUtime=3.09 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 17364 0 0 0 299 10 0 0 20 0 1 0 269852007 51552256 11448 33554432000 4194304 10219143 140735417994944 140735417987032 8098746 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 12586 11448 854 1471 0 11106 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 50344 [startup+6.30022 s] /proc/loadavg: 1.94 2.00 1.99 3/178 7723 /proc/meminfo: memFree=27606040/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=50344 CPUtime=6.28 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 17422 0 0 0 618 10 0 0 20 0 1 0 269852007 51552256 11506 33554432000 4194304 10219143 140735417994944 140735417988120 8099249 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 12586 11506 854 1471 0 11106 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 50344 [startup+12.7002 s] /proc/loadavg: 1.95 2.00 1.99 3/178 7723 /proc/meminfo: memFree=27604104/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=50440 CPUtime=12.69 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 18159 0 0 0 1257 12 0 0 20 0 1 0 269852007 51650560 11511 33554432000 4194304 10219143 140735417994944 140735417988488 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 12610 11511 854 1471 0 11130 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 50440 [startup+25.5002 s] /proc/loadavg: 1.96 2.00 1.99 3/178 7746 /proc/meminfo: memFree=27601416/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=50688 CPUtime=25.48 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 18251 0 0 0 2533 15 0 0 20 0 1 0 269852007 51904512 11603 33554432000 4194304 10219143 140735417994944 140735417988120 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 12672 11603 854 1471 0 11192 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 50688 [startup+51.1002 s] /proc/loadavg: 1.97 2.00 1.99 3/178 7746 /proc/meminfo: memFree=27597876/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=50688 CPUtime=51.08 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 18251 0 0 0 5089 19 0 0 20 0 1 0 269852007 51904512 11603 33554432000 4194304 10219143 140735417994944 140735417988072 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 12672 11603 854 1471 0 11192 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 50688 [startup+102.306 s] /proc/loadavg: 1.99 2.00 1.99 3/176 7746 /proc/meminfo: memFree=27572164/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=68288 CPUtime=102.28 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 23004 0 0 0 10191 37 0 0 20 0 1 0 269852007 69926912 15810 33554432000 4194304 10219143 140735417994944 140735417988296 8099239 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 17072 15810 861 1471 0 15592 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 68288 [startup+162.3 s] /proc/loadavg: 1.99 2.00 1.99 3/177 7747 /proc/meminfo: memFree=27560772/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=68288 CPUtime=162.26 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 23020 0 0 0 16165 61 0 0 20 0 1 0 269852007 69926912 16324 33554432000 4194304 10219143 140735417994944 140735417987384 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 17072 16324 861 1471 0 15592 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 68288 [startup+222.3 s] /proc/loadavg: 1.99 2.00 1.99 3/177 7748 /proc/meminfo: memFree=27549124/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=68288 CPUtime=222.25 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 23021 0 0 0 22130 95 0 0 20 0 1 0 269852007 69926912 16325 33554432000 4194304 10219143 140735417994944 140735417988120 8099197 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 17072 16325 861 1471 0 15592 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 68288 [startup+282.3 s] /proc/loadavg: 1.99 2.00 1.99 3/177 7748 /proc/meminfo: memFree=27540888/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=68288 CPUtime=282.23 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 23023 0 0 0 28093 130 0 0 20 0 1 0 269852007 69926912 16327 33554432000 4194304 10219143 140735417994944 140735417988248 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 17072 16327 861 1471 0 15592 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 68288 [startup+342.3 s] /proc/loadavg: 2.06 2.02 2.00 3/177 7748 /proc/meminfo: memFree=27529624/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=68332 CPUtime=342.23 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 23855 0 0 0 34057 166 0 0 20 0 1 0 269852007 69971968 16381 33554432000 4194304 10219143 140735417994944 140735417988296 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 17083 16381 865 1471 0 15603 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 68332 [startup+402.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 7748 /proc/meminfo: memFree=27518892/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=69636 CPUtime=402.22 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 24130 0 0 0 40020 202 0 0 20 0 1 0 269852007 71307264 16656 33554432000 4194304 10219143 140735417994944 140735417987864 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 17409 16656 865 1471 0 15929 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 69636 [startup+462.3 s] /proc/loadavg: 2.06 2.02 2.00 3/177 7748 /proc/meminfo: memFree=27509260/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=67308 CPUtime=462.21 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 25306 0 0 0 45984 237 0 0 20 0 1 0 269852007 68923392 16128 33554432000 4194304 10219143 140735417994944 140735417988200 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 16827 16128 865 1471 0 15347 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 67308 [startup+522.3 s] /proc/loadavg: 2.07 2.03 2.00 3/177 7749 /proc/meminfo: memFree=27496636/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=67308 CPUtime=522.2 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 25307 0 0 0 51948 272 0 0 20 0 1 0 269852007 68923392 16129 33554432000 4194304 10219143 140735417994944 140735417988264 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 16827 16129 865 1471 0 15347 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 67308 [startup+582.3 s] /proc/loadavg: 2.08 2.04 2.00 3/178 7752 /proc/meminfo: memFree=27482144/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=67308 CPUtime=582.2 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 28041 0 0 0 57911 309 0 0 20 0 1 0 269852007 68923392 16131 33554432000 4194304 10219143 140735417994944 140735417988248 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 16827 16131 865 1471 0 15347 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 67308 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27673932/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=79976 CPUtime=1062.12 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 38089 0 0 0 105608 604 0 0 20 0 1 0 269852007 81895424 19267 33554432000 4194304 10219143 140735417994944 140735417987976 8077267 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 19994 19267 865 1471 0 18514 0 Current children cumulated CPU time (s) 1062.12 Current children cumulated vsize (KiB) 79976 [startup+1122.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 7792 /proc/meminfo: memFree=27668520/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=82612 CPUtime=1122.1 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 38662 0 0 0 111575 635 0 0 20 0 1 0 269852007 84594688 19840 33554432000 4194304 10219143 140735417994944 140735417988200 8099197 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 20653 19840 865 1471 0 19173 0 Current children cumulated CPU time (s) 1122.1 Current children cumulated vsize (KiB) 82612 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.00 3/178 7795 /proc/meminfo: memFree=27663820/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=82900 CPUtime=1182.09 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 38781 0 0 0 117537 672 0 0 20 0 1 0 269852007 84889600 19957 33554432000 4194304 10219143 140735417994944 140735417988280 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 20725 19957 865 1471 0 19245 0 Current children cumulated CPU time (s) 1182.09 Current children cumulated vsize (KiB) 82900 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 7795 /proc/meminfo: memFree=27656684/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=88396 CPUtime=1242.09 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 40162 0 0 0 123500 709 0 0 20 0 1 0 269852007 90517504 21336 33554432000 4194304 10219143 140735417994944 140735417987928 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 22099 21336 865 1471 0 20619 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 88396 [startup+1302.3 s] /proc/loadavg: 2.07 2.02 2.00 3/177 7795 /proc/meminfo: memFree=27646932/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=91808 CPUtime=1302.08 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 45212 0 0 0 129455 753 0 0 20 0 1 0 269852007 94011392 22226 33554432000 4194304 10219143 140735417994944 140735417987880 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 22952 22226 865 1471 0 21472 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 91808 [startup+1362.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 7795 /proc/meminfo: memFree=27644000/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=93284 CPUtime=1362.06 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 45587 0 0 0 135412 794 0 0 20 0 1 0 269852007 95522816 22599 33554432000 4194304 10219143 140735417994944 140735417989992 8098494 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 23321 22599 865 1471 0 21841 0 Current children cumulated CPU time (s) 1362.06 Current children cumulated vsize (KiB) 93284 [startup+1422.31 s] /proc/loadavg: 2.05 2.02 2.00 3/177 7796 /proc/meminfo: memFree=27636788/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=96484 CPUtime=1422.07 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 46375 0 0 0 141373 834 0 0 20 0 1 0 269852007 98799616 23387 33554432000 4194304 10219143 140735417994944 140735417988248 8091444 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 24121 23387 865 1471 0 22641 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 96484 [startup+1482.3 s] /proc/loadavg: 2.02 2.02 2.00 3/177 7796 /proc/meminfo: memFree=27629388/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=99444 CPUtime=1482.04 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 47149 0 0 0 147333 871 0 0 20 0 1 0 269852007 101830656 24159 33554432000 4194304 10219143 140735417994944 140735417988200 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 24861 24159 865 1471 0 23381 0 Current children cumulated CPU time (s) 1482.04 Current children cumulated vsize (KiB) 99444 [startup+1542.3 s] /proc/loadavg: 2.04 2.02 2.00 3/177 7796 /proc/meminfo: memFree=27627448/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=100820 CPUtime=1542.04 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 47456 0 0 0 153295 909 0 0 20 0 1 0 269852007 103239680 24466 33554432000 4194304 10219143 140735417994944 140735417988584 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 25205 24466 865 1471 0 23725 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 100820 [startup+1602.3 s] /proc/loadavg: 2.01 2.02 2.00 3/177 7796 /proc/meminfo: memFree=27625948/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=100820 CPUtime=1602.03 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 47487 0 0 0 159257 946 0 0 20 0 1 0 269852007 103239680 24497 33554432000 4194304 10219143 140735417994944 140735417988248 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 25205 24497 865 1471 0 23725 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 100820 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 7796 /proc/meminfo: memFree=27619848/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=106864 CPUtime=1662.02 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 49631 0 0 0 165219 983 0 0 20 0 1 0 269852007 109428736 26005 33554432000 4194304 10219143 140735417994944 140735417988072 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 26716 26005 865 1471 0 25236 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 106864 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 7797 /proc/meminfo: memFree=27613388/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=109084 CPUtime=1722.01 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 50191 0 0 0 171177 1024 0 0 20 0 1 0 269852007 111702016 26565 33554432000 4194304 10219143 140735417994944 140735417988296 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 27271 26565 865 1471 0 25791 0 Current children cumulated CPU time (s) 1722.01 Current children cumulated vsize (KiB) 109084 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 7800 /proc/meminfo: memFree=27608832/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=109508 CPUtime=1782 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 50317 0 0 0 177138 1062 0 0 20 0 1 0 269852007 112136192 26690 33554432000 4194304 10219143 140735417994944 140735417991528 8090833 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 27377 26690 865 1471 0 25897 0 Current children cumulated CPU time (s) 1782 Current children cumulated vsize (KiB) 109508 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 2.00 3/178 7800 /proc/meminfo: memFree=27608084/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=109508 CPUtime=1785.2 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 50318 0 0 0 177456 1064 0 0 20 0 1 0 269852007 112136192 26691 33554432000 4194304 10219143 140735417994944 140735417990984 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 27377 26691 865 1471 0 25897 0 Current children cumulated CPU time (s) 1785.2 Current children cumulated vsize (KiB) 109508 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/178 7800 /proc/meminfo: memFree=27608088/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=109508 CPUtime=1791.61 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 50318 0 0 0 178093 1068 0 0 20 0 1 0 269852007 112136192 26691 33554432000 4194304 10219143 140735417994944 140735417988248 8100745 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 27377 26691 865 1471 0 25897 0 Current children cumulated CPU time (s) 1791.61 Current children cumulated vsize (KiB) 109508 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/178 7800 /proc/meminfo: memFree=27608216/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=109508 CPUtime=1794.8 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 50318 0 0 0 178410 1070 0 0 20 0 1 0 269852007 112136192 26691 33554432000 4194304 10219143 140735417994944 140735417988120 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 27377 26691 865 1471 0 25897 0 Current children cumulated CPU time (s) 1794.8 Current children cumulated vsize (KiB) 109508 [startup+1795.9 s] /proc/loadavg: 2.00 2.00 2.00 3/178 7800 /proc/meminfo: memFree=27608216/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=109508 CPUtime=1795.6 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 50318 0 0 0 178489 1071 0 0 20 0 1 0 269852007 112136192 26691 33554432000 4194304 10219143 140735417994944 140735417988200 8100277 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 27377 26691 865 1471 0 25897 0 Current children cumulated CPU time (s) 1795.6 Current children cumulated vsize (KiB) 109508 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/178 7800 /proc/meminfo: memFree=27608216/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=109812 CPUtime=1796.4 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 50927 0 0 0 178569 1071 0 0 20 0 1 0 269852007 112447488 26689 33554432000 4194304 10219143 140735417994944 140735417988200 8099239 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 27453 26689 865 1471 0 25973 0 Current children cumulated CPU time (s) 1796.4 Current children cumulated vsize (KiB) 109812 [startup+1797.1 s] /proc/loadavg: 2.00 2.00 2.00 3/178 7800 /proc/meminfo: memFree=27608216/32873648 swapFree=6336/6336 [pid=7722] ppid=7720 vsize=109620 CPUtime=1796.8 cores=0,2,4,6 /proc/7722/stat : 7722 (scip-2.1.1.4exp) R 7720 7722 5668 0 -1 4202496 51539 0 0 0 178608 1072 0 0 20 0 1 0 269852007 112250880 26693 33554432000 4194304 10219143 140735417994944 140735417988200 7589217 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/7722/statm: 27405 26693 867 1471 0 25925 0 Current children cumulated CPU time (s) 1796.8 Current children cumulated vsize (KiB) 109620 Child status: 0 Real time (s): 1797.13 CPU time (s): 1796.84 CPU user time (s): 1786.11 CPU system time (s): 10.7254 CPU usage (%): 99.9838 Max. virtual memory (cumulated for all children) (KiB): 109812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.11 system time used= 10.7254 maximum resident set size= 106772 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51541 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= 30 involuntary context switches= 1847 runsolver used 2.6176 second user time and 7.2059 second system time The end
Begin job on node112 at 2012-05-26 15:00:47 IDJOB=3692583 IDBENCH=48239 IDSOLVER=2271 FILE ID=node112/3692583-1338037247 RUNJOBID= node112-1338029191-7006 PBS_JOBID= 14624359 Free space on /tmp= 71580 MiB SOLVER NAME= SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_1.opb COMMAND LINE= HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3692583-1338037247/watcher-3692583-1338037247 -o /tmp/evaluation-result-3692583-1338037247/solver-3692583-1338037247 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692583-1338037247.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4142356c9f50acd7c9005938f6b31a6d RANDOM SEED=827373638 node112.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.763 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.763 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.763 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.763 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 27650216 kB Buffers: 243224 kB Cached: 4060168 kB SwapCached: 0 kB Active: 775504 kB Inactive: 3676340 kB Active(anon): 150784 kB Inactive(anon): 0 kB Active(file): 624720 kB Inactive(file): 3676340 kB Unevictable: 6336 kB Mlocked: 6336 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 13632 kB Writeback: 0 kB AnonPages: 153780 kB Mapped: 17748 kB Shmem: 200 kB Slab: 635516 kB SReclaimable: 79708 kB SUnreclaim: 555808 kB KernelStack: 1472 kB PageTables: 4608 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 263900 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 100352 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71564 MiB End job on node112 at 2012-05-26 15:30:45