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.0.1.4b with SoPlex 1.5.0.4 | SAT (TO) | 15360 | 1800.05 | 1800.04 |
| Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos5.opb |
| MD5SUM | 687e90f40c46b53feec9c54ee9b43fa6 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 15360 |
| Best CPU time to get the best result obtained on this benchmark | 1798.1 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 15360 |
| Optimality of the best value was proved | NO |
| Number of variables | 163 |
| Total number of constraints | 73 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 3 |
| Number of constraints which are nor clauses,nor cardinality constraints | 70 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 102 |
| Number of terms in the objective function | 163 |
| Biggest coefficient in the objective function | 1024 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 74742 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 8192 |
| Number of bits of the biggest number in a constraint | 14 |
| Biggest sum of numbers in a constraint | 74742 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3451006-1307075629.opb>
0.00/0.00 c original problem has 163 variables (163 bin, 0 int, 0 impl, 0 cont) and 73 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 10 chg sides, 10 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 10 chg sides, 10 chg coeffs, 73 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 3) 0 del vars, 10 del conss, 100 add conss, 0 chg bounds, 110 chg sides, 210 chg coeffs, 73 upgd conss, 200 impls, 0 clqs
0.00/0.04 c (0.0s) probing: 101/163 (62.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (4 rounds):
0.00/0.04 c 0 deleted vars, 10 deleted constraints, 100 added constraints, 0 tightened bounds, 0 added holes, 110 changed sides, 210 changed coefficients
0.00/0.04 c 200 implications, 0 cliques
0.00/0.04 c presolved problem has 163 variables (163 bin, 0 int, 0 impl, 0 cont) and 163 constraints
0.00/0.04 c 63 constraints of type <knapsack>
0.00/0.04 c 100 constraints of type <setppc>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.03
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 2.0.1.5
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1800
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 13950
0.00/0.04 c
0.00/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.04 c # [type: int, range: [1,2], default: 1]
0.00/0.04 c timing/clocktype = 2
0.00/0.04 c
0.00/0.04 c # belongs reading time to solving time?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c timing/reading = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/indicator/addCouplingCons = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.05 o 20480
0.00/0.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.05 c T 0.0s| 1 | 0 | 0 | - |1691k| 0 | - | 163 | 163 | 163 | 163 | 0 | 0 | 0 | -- | 2.048000e+04 | Inf
0.00/0.05 c 0.0s| 1 | 0 | 89 | - |1638k| 0 | 36 | 163 | 163 | 163 | 163 | 0 | 0 | 0 | 1.331200e+04 | 2.048000e+04 | 53.85%
0.00/0.05 o 19456
0.00/0.05 c R 0.0s| 1 | 0 | 89 | - |1641k| 0 | 36 | 163 | 163 | 163 | 163 | 0 | 0 | 0 | 1.331200e+04 | 1.945600e+04 | 46.15%
0.00/0.05 o 17408
0.00/0.05 c b 0.1s| 1 | 0 | 89 | - |1645k| 0 | 36 | 163 | 163 | 163 | 163 | 0 | 0 | 0 | 1.331200e+04 | 1.740800e+04 | 30.77%
0.49/0.56 o 16384
0.49/0.56 c E 0.6s| 1 | 0 | 89 | - |1695k| 0 | 36 | 163 | 203 | 163 | 163 | 0 | 0 | 0 | 1.331200e+04 | 1.638400e+04 | 23.08%
0.49/0.57 c 0.6s| 1 | 0 | 89 | - |1695k| 0 | 36 | 163 | 203 | 163 | 163 | 0 | 0 | 0 | 1.331200e+04 | 1.638400e+04 | 23.08%
0.59/0.65 c 0.6s| 1 | 2 | 89 | - |1696k| 0 | 36 | 163 | 203 | 163 | 163 | 0 | 0 | 10 | 1.331200e+04 | 1.638400e+04 | 23.08%
2.39/2.40 o 16384
2.39/2.40 c z 2.4s| 227 | 228 | 10597 | 46.5 |2031k| 29 | 31 | 163 | 207 | 163 | 163 | 0 | 4 | 529 | 1.408000e+04 | 1.638400e+04 | 16.36%
18.48/18.57 o 15872
18.48/18.57 c p18.6s| 8038 | 7249 |430750 | 53.6 |5140k| 37 | - | 163 | 254 | 163 | 163 | 0 | 78 |2058 | 1.420800e+04 | 1.587200e+04 | 11.71%
22.87/22.94 c 22.9s| 10000 | 8863 |533930 | 53.4 |6050k| 37 | 8 | 163 | 220 | 163 | 163 | 0 | 90 |2331 | 1.420800e+04 | 1.587200e+04 | 11.71%
23.17/23.26 o 15360
23.17/23.26 c v23.3s| 10194 | 8252 |542319 | 53.2 |5765k| 37 | - | 163 | 219 | 163 | 163 | 0 | 91 |2359 | 1.420800e+04 | 1.536000e+04 | 8.11%
39.17/39.23 c 39.2s| 20000 | 14736 |957773 | 47.9 |9913k| 37 | 13 | 163 | 199 | 163 | 163 | 0 | 130 |3574 | 1.420800e+04 | 1.536000e+04 | 8.11%
53.97/54.00 c 54.0s| 30000 | 21262 | 1352k| 45.1 | 14M| 37 | 22 | 163 | 184 | 163 | 163 | 0 | 160 |4523 | 1.425067e+04 | 1.536000e+04 | 7.78%
65.99/66.09 c 66.1s| 40000 | 27492 | 1662k| 41.6 | 18M| 37 | 12 | 163 | 180 | 163 | 163 | 0 | 178 |5265 | 1.430400e+04 | 1.536000e+04 | 7.38%
76.89/77.01 c 77.0s| 50000 | 33778 | 1938k| 38.8 | 22M| 37 | 22 | 163 | 173 | 163 | 163 | 0 | 192 |5819 | 1.433600e+04 | 1.536000e+04 | 7.14%
87.89/87.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
87.89/87.95 c 87.9s| 60000 | 39998 | 2213k| 36.9 | 26M| 38 | - | 163 | 172 | 163 | 163 | 0 | 206 |6409 | 1.433600e+04 | 1.536000e+04 | 7.14%
98.18/98.23 c 98.2s| 70000 | 46118 | 2469k| 35.3 | 30M| 39 | 18 | 163 | 174 | 163 | 163 | 0 | 219 |6836 | 1.433600e+04 | 1.536000e+04 | 7.14%
108.47/108.54 c 109s| 80000 | 52198 | 2727k| 34.1 | 34M| 41 | 13 | 163 | 172 | 163 | 163 | 0 | 233 |7325 | 1.433600e+04 | 1.536000e+04 | 7.14%
117.88/117.97 c 118s| 90000 | 57458 | 2962k| 32.9 | 37M| 41 | 5 | 163 | 174 | 163 | 163 | 0 | 247 |7708 | 1.433600e+04 | 1.536000e+04 | 7.14%
127.38/127.43 c 127s|100000 | 62818 | 3201k| 32.0 | 41M| 41 | 20 | 163 | 173 | 163 | 163 | 0 | 260 |8156 | 1.433600e+04 | 1.536000e+04 | 7.14%
136.39/136.46 c 136s|110000 | 67722 | 3424k| 31.1 | 44M| 41 | 16 | 163 | 170 | 163 | 163 | 0 | 272 |8622 | 1.433600e+04 | 1.536000e+04 | 7.14%
144.98/145.05 c 145s|120000 | 72738 | 3640k| 30.3 | 48M| 44 | 24 | 163 | 170 | 163 | 163 | 0 | 279 |8897 | 1.433600e+04 | 1.536000e+04 | 7.14%
154.08/154.12 c 154s|130000 | 77810 | 3867k| 29.7 | 51M| 44 | 19 | 163 | 173 | 163 | 163 | 0 | 295 |9349 | 1.433600e+04 | 1.536000e+04 | 7.14%
162.88/162.91 c 163s|140000 | 82708 | 4087k| 29.2 | 54M| 44 | 19 | 163 | 181 | 163 | 163 | 0 | 314 |9654 | 1.433600e+04 | 1.536000e+04 | 7.14%
171.68/171.77 c 172s|150000 | 87392 | 4306k| 28.7 | 58M| 44 | 8 | 163 | 175 | 163 | 163 | 0 | 333 |9898 | 1.433600e+04 | 1.536000e+04 | 7.14%
180.58/180.60 c 181s|160000 | 92212 | 4527k| 28.3 | 61M| 44 | - | 163 | 181 | 163 | 163 | 0 | 359 | 10k| 1.433600e+04 | 1.536000e+04 | 7.14%
189.48/189.56 c 190s|170000 | 97196 | 4752k| 28.0 | 64M| 44 | 27 | 163 | 174 | 163 | 163 | 0 | 371 | 10k| 1.433600e+04 | 1.536000e+04 | 7.14%
198.48/198.55 c 199s|180000 |102308 | 4976k| 27.6 | 68M| 44 | - | 163 | 167 | 163 | 163 | 0 | 378 | 10k| 1.433600e+04 | 1.536000e+04 | 7.14%
207.90/207.92 c 208s|190000 |107976 | 5213k| 27.4 | 71M| 44 | 26 | 163 | 176 | 163 | 163 | 0 | 392 | 11k| 1.433600e+04 | 1.536000e+04 | 7.14%
216.48/216.55 c 217s|200000 |112866 | 5426k| 27.1 | 75M| 44 | 26 | 163 | 178 | 163 | 163 | 0 | 408 | 11k| 1.433600e+04 | 1.536000e+04 | 7.14%
225.28/225.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
225.28/225.40 c 225s|210000 |118174 | 5649k| 26.9 | 78M| 44 | - | 163 | 176 | 163 | 163 | 0 | 422 | 11k| 1.433600e+04 | 1.536000e+04 | 7.14%
233.98/234.10 c 234s|220000 |122498 | 5846k| 26.6 | 81M| 44 | 24 | 163 | 167 | 163 | 163 | 0 | 435 | 11k| 1.437257e+04 | 1.536000e+04 | 6.87%
241.78/241.81 c 242s|230000 |126018 | 6029k| 26.2 | 84M| 44 | - | 163 | 169 | 163 | 163 | 0 | 455 | 12k| 1.437867e+04 | 1.536000e+04 | 6.82%
249.48/249.55 c 250s|240000 |129600 | 6216k| 25.9 | 87M| 44 | 21 | 163 | 171 | 163 | 163 | 0 | 473 | 12k| 1.438720e+04 | 1.536000e+04 | 6.76%
257.18/257.30 c 257s|250000 |133114 | 6404k| 25.6 | 90M| 44 | 18 | 163 | 182 | 163 | 163 | 0 | 498 | 12k| 1.440000e+04 | 1.536000e+04 | 6.67%
264.78/264.86 c 265s|260000 |136470 | 6587k| 25.3 | 93M| 44 | - | 163 | 174 | 163 | 163 | 0 | 520 | 12k| 1.440000e+04 | 1.536000e+04 | 6.67%
272.28/272.32 c 272s|270000 |139776 | 6764k| 25.1 | 95M| 44 | - | 163 | 172 | 163 | 163 | 0 | 531 | 12k| 1.440914e+04 | 1.536000e+04 | 6.60%
279.58/279.68 c 280s|280000 |142884 | 6941k| 24.8 | 98M| 44 | 7 | 163 | 178 | 163 | 163 | 0 | 557 | 13k| 1.442133e+04 | 1.536000e+04 | 6.51%
286.88/286.95 c 287s|290000 |145892 | 7116k| 24.5 | 100M| 44 | - | 163 | 181 | 163 | 163 | 0 | 584 | 13k| 1.442133e+04 | 1.536000e+04 | 6.51%
294.19/294.25 c 294s|300000 |149032 | 7288k| 24.3 | 103M| 44 | 7 | 163 | 176 | 163 | 163 | 0 | 610 | 13k| 1.443200e+04 | 1.536000e+04 | 6.43%
301.29/301.37 c 301s|310000 |151992 | 7456k| 24.1 | 106M| 44 | - | 163 | 169 | 163 | 163 | 0 | 628 | 13k| 1.443840e+04 | 1.536000e+04 | 6.38%
308.48/308.53 c 309s|320000 |154886 | 7630k| 23.8 | 108M| 44 | - | 163 | 168 | 163 | 163 | 0 | 638 | 13k| 1.444571e+04 | 1.536000e+04 | 6.33%
315.28/315.35 c 315s|330000 |157658 | 7789k| 23.6 | 110M| 44 | - | 163 | 169 | 163 | 163 | 0 | 649 | 14k| 1.446400e+04 | 1.536000e+04 | 6.19%
321.88/321.96 c 322s|340000 |160290 | 7940k| 23.4 | 113M| 44 | 19 | 163 | 168 | 163 | 163 | 0 | 659 | 14k| 1.446400e+04 | 1.536000e+04 | 6.19%
328.68/328.72 c 329s|350000 |163104 | 8095k| 23.1 | 115M| 44 | 15 | 163 | 165 | 163 | 163 | 0 | 663 | 14k| 1.446400e+04 | 1.536000e+04 | 6.19%
335.28/335.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
335.28/335.40 c 335s|360000 |165766 | 8249k| 22.9 | 118M| 44 | - | 163 | 177 | 163 | 163 | 0 | 688 | 14k| 1.446400e+04 | 1.536000e+04 | 6.19%
341.99/342.03 c 342s|370000 |168410 | 8403k| 22.7 | 120M| 44 | 21 | 163 | 169 | 163 | 163 | 0 | 703 | 14k| 1.446400e+04 | 1.536000e+04 | 6.19%
348.79/348.87 c 349s|380000 |171062 | 8557k| 22.5 | 122M| 44 | 13 | 163 | 169 | 163 | 163 | 0 | 717 | 14k| 1.448229e+04 | 1.536000e+04 | 6.06%
355.38/355.43 c 355s|390000 |173522 | 8708k| 22.3 | 124M| 44 | 16 | 163 | 181 | 163 | 163 | 0 | 743 | 15k| 1.448960e+04 | 1.536000e+04 | 6.01%
361.90/361.98 c 362s|400000 |175934 | 8854k| 22.1 | 127M| 44 | - | 163 | 169 | 163 | 163 | 0 | 765 | 15k| 1.448960e+04 | 1.536000e+04 | 6.01%
368.50/368.51 c 369s|410000 |178334 | 9004k| 22.0 | 129M| 44 | 14 | 163 | 177 | 163 | 163 | 0 | 794 | 15k| 1.450667e+04 | 1.536000e+04 | 5.88%
375.10/375.18 c 375s|420000 |180736 | 9157k| 21.8 | 131M| 44 | 22 | 163 | 166 | 163 | 163 | 0 | 802 | 15k| 1.450667e+04 | 1.536000e+04 | 5.88%
381.70/381.76 c 382s|430000 |183050 | 9308k| 21.6 | 133M| 44 | - | 163 | 175 | 163 | 163 | 0 | 824 | 15k| 1.450667e+04 | 1.536000e+04 | 5.88%
388.08/388.21 c 388s|440000 |185210 | 9457k| 21.5 | 135M| 44 | 13 | 163 | 171 | 163 | 163 | 0 | 841 | 15k| 1.450667e+04 | 1.536000e+04 | 5.88%
394.38/394.44 c 394s|450000 |187456 | 9600k| 21.3 | 137M| 44 | - | 163 | 178 | 163 | 163 | 0 | 866 | 15k| 1.450667e+04 | 1.536000e+04 | 5.88%
400.78/400.90 c 401s|460000 |189694 | 9749k| 21.2 | 139M| 44 | - | 163 | 182 | 163 | 163 | 0 | 891 | 16k| 1.450667e+04 | 1.536000e+04 | 5.88%
407.38/407.44 c 407s|470000 |191904 | 9900k| 21.1 | 141M| 44 | 25 | 163 | 176 | 163 | 163 | 0 | 904 | 16k| 1.450667e+04 | 1.536000e+04 | 5.88%
413.68/413.79 c 414s|480000 |194054 | 10047k| 20.9 | 143M| 44 | 13 | 163 | 172 | 163 | 163 | 0 | 917 | 16k| 1.452800e+04 | 1.536000e+04 | 5.73%
419.78/419.82 c 420s|490000 |196142 | 10182k| 20.8 | 145M| 44 | - | 163 | 175 | 163 | 163 | 0 | 929 | 16k| 1.452800e+04 | 1.536000e+04 | 5.73%
426.19/426.22 c 426s|500000 |198382 | 10325k| 20.7 | 147M| 44 | 11 | 163 | 169 | 163 | 163 | 0 | 940 | 16k| 1.452800e+04 | 1.536000e+04 | 5.73%
432.30/432.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
432.30/432.35 c 432s|510000 |200446 | 10463k| 20.5 | 149M| 44 | - | 163 | 164 | 163 | 163 | 0 | 949 | 16k| 1.452800e+04 | 1.536000e+04 | 5.73%
438.19/438.29 c 438s|520000 |202428 | 10596k| 20.4 | 151M| 44 | 14 | 163 | 169 | 163 | 163 | 0 | 966 | 16k| 1.454080e+04 | 1.536000e+04 | 5.63%
444.19/444.21 c 444s|530000 |204406 | 10729k| 20.2 | 153M| 44 | - | 163 | 166 | 163 | 163 | 0 | 970 | 16k| 1.454080e+04 | 1.536000e+04 | 5.63%
450.18/450.24 c 450s|540000 |206336 | 10864k| 20.1 | 155M| 44 | - | 163 | 167 | 163 | 163 | 0 | 988 | 17k| 1.454080e+04 | 1.536000e+04 | 5.63%
455.99/456.03 c 456s|550000 |208124 | 10991k| 20.0 | 157M| 44 | - | 163 | 170 | 163 | 163 | 0 |1000 | 17k| 1.454933e+04 | 1.536000e+04 | 5.57%
461.89/461.96 c 462s|560000 |209984 | 11123k| 19.9 | 159M| 44 | - | 163 | 168 | 163 | 163 | 0 |1013 | 17k| 1.455543e+04 | 1.536000e+04 | 5.53%
467.68/467.75 c 468s|570000 |211834 | 11251k| 19.7 | 161M| 44 | 7 | 163 | 170 | 163 | 163 | 0 |1040 | 17k| 1.457694e+04 | 1.536000e+04 | 5.37%
473.89/473.97 c 474s|580000 |213836 | 11389k| 19.6 | 162M| 44 | 17 | 163 | 171 | 163 | 163 | 0 |1054 | 17k| 1.459200e+04 | 1.536000e+04 | 5.26%
480.09/480.19 c 480s|590000 |215850 | 11532k| 19.5 | 164M| 44 | - | 163 | 176 | 163 | 163 | 0 |1070 | 17k| 1.459200e+04 | 1.536000e+04 | 5.26%
486.20/486.25 c 486s|600000 |217710 | 11671k| 19.5 | 166M| 44 | 15 | 163 | 178 | 163 | 163 | 0 |1088 | 17k| 1.459200e+04 | 1.536000e+04 | 5.26%
492.29/492.35 c 492s|610000 |219520 | 11813k| 19.4 | 168M| 44 | 15 | 163 | 175 | 163 | 163 | 0 |1102 | 17k| 1.459200e+04 | 1.536000e+04 | 5.26%
498.39/498.46 c 498s|620000 |221444 | 11955k| 19.3 | 170M| 44 | 19 | 163 | 170 | 163 | 163 | 0 |1126 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
504.29/504.31 c 504s|630000 |223058 | 12089k| 19.2 | 172M| 44 | 29 | 163 | 171 | 163 | 163 | 0 |1136 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
510.49/510.51 c 511s|640000 |225004 | 12234k| 19.1 | 173M| 44 | - | 163 | 171 | 163 | 163 | 0 |1147 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
516.49/516.57 c 517s|650000 |226932 | 12376k| 19.0 | 175M| 44 | 22 | 163 | 169 | 163 | 163 | 0 |1165 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
522.39/522.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
522.39/522.43 c 522s|660000 |228806 | 12509k| 19.0 | 177M| 44 | 12 | 163 | 173 | 163 | 163 | 0 |1182 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
528.18/528.23 c 528s|670000 |230576 | 12640k| 18.9 | 179M| 44 | - | 163 | 167 | 163 | 163 | 0 |1193 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
534.19/534.22 c 534s|680000 |232426 | 12776k| 18.8 | 181M| 44 | - | 163 | 172 | 163 | 163 | 0 |1205 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
540.38/540.45 c 540s|690000 |234378 | 12925k| 18.7 | 183M| 44 | 18 | 163 | 170 | 163 | 163 | 0 |1215 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
546.60/546.63 c 547s|700000 |236360 | 13069k| 18.7 | 184M| 44 | - | 163 | 172 | 163 | 163 | 0 |1222 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
552.39/552.49 c 552s|710000 |238122 | 13201k| 18.6 | 186M| 44 | - | 163 | 165 | 163 | 163 | 0 |1224 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
558.18/558.25 c 558s|720000 |239780 | 13331k| 18.5 | 188M| 44 | 12 | 163 | 164 | 163 | 163 | 0 |1226 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
564.08/564.11 c 564s|730000 |241560 | 13462k| 18.4 | 190M| 44 | 16 | 163 | 163 | 163 | 163 | 0 |1238 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
569.89/569.95 c 570s|740000 |243348 | 13592k| 18.4 | 191M| 44 | 16 | 163 | 164 | 163 | 163 | 0 |1248 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
575.89/575.98 c 576s|750000 |245238 | 13731k| 18.3 | 193M| 44 | - | 163 | 163 | 163 | 163 | 0 |1251 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
582.09/582.14 c 582s|760000 |247180 | 13874k| 18.3 | 195M| 44 | - | 163 | 173 | 163 | 163 | 0 |1265 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
588.19/588.20 c 588s|770000 |248978 | 14011k| 18.2 | 197M| 44 | - | 163 | 172 | 163 | 163 | 0 |1275 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
594.19/594.23 c 594s|780000 |250776 | 14149k| 18.1 | 199M| 44 | 15 | 163 | 167 | 163 | 163 | 0 |1277 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
600.39/600.48 c 600s|790000 |252636 | 14293k| 18.1 | 200M| 44 | - | 163 | 172 | 163 | 163 | 0 |1287 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
606.39/606.45 c 606s|800000 |254390 | 14431k| 18.0 | 202M| 44 | 12 | 163 | 173 | 163 | 163 | 0 |1300 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
612.18/612.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
612.18/612.28 c 612s|810000 |256260 | 14565k| 18.0 | 204M| 44 | 13 | 163 | 175 | 163 | 163 | 0 |1310 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
618.20/618.25 c 618s|820000 |258204 | 14699k| 17.9 | 206M| 44 | - | 163 | 168 | 163 | 163 | 0 |1321 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
624.49/624.53 c 625s|830000 |260338 | 14843k| 17.9 | 208M| 44 | 14 | 163 | 169 | 163 | 163 | 0 |1327 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
630.89/630.95 c 631s|840000 |262798 | 14993k| 17.8 | 210M| 44 | 16 | 163 | 170 | 163 | 163 | 0 |1337 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
636.69/636.72 c 637s|850000 |264424 | 15121k| 17.8 | 212M| 44 | 16 | 163 | 167 | 163 | 163 | 0 |1342 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
642.99/643.05 c 643s|860000 |266520 | 15268k| 17.8 | 214M| 44 | - | 163 | 165 | 163 | 163 | 0 |1350 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
648.90/648.95 c 649s|870000 |268408 | 15403k| 17.7 | 215M| 44 | - | 163 | 167 | 163 | 163 | 0 |1358 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
654.51/654.56 c 655s|880000 |270026 | 15526k| 17.6 | 217M| 44 | 13 | 163 | 165 | 163 | 163 | 0 |1363 | 20k| 1.461760e+04 | 1.536000e+04 | 5.08%
659.79/659.87 c 660s|890000 |271142 | 15640k| 17.6 | 218M| 44 | - | 163 | 168 | 163 | 163 | 0 |1370 | 20k| 1.462400e+04 | 1.536000e+04 | 5.03%
664.99/665.09 c 665s|900000 |272352 | 15753k| 17.5 | 220M| 44 | 13 | 163 | 166 | 163 | 163 | 0 |1372 | 21k| 1.463138e+04 | 1.536000e+04 | 4.98%
670.19/670.25 c 670s|910000 |273326 | 15862k| 17.4 | 221M| 44 | 10 | 163 | 167 | 163 | 163 | 0 |1376 | 21k| 1.463467e+04 | 1.536000e+04 | 4.96%
675.41/675.45 c 675s|920000 |274316 | 15973k| 17.4 | 222M| 44 | 18 | 163 | 163 | 163 | 163 | 0 |1376 | 21k| 1.464320e+04 | 1.536000e+04 | 4.90%
680.59/680.68 c 681s|930000 |275412 | 16086k| 17.3 | 224M| 44 | 11 | 163 | 164 | 163 | 163 | 0 |1377 | 21k| 1.464320e+04 | 1.536000e+04 | 4.90%
685.79/685.85 c 686s|940000 |276466 | 16195k| 17.2 | 225M| 44 | - | 163 | 163 | 163 | 163 | 0 |1378 | 21k| 1.464320e+04 | 1.536000e+04 | 4.90%
690.99/691.01 c 691s|950000 |277452 | 16304k| 17.2 | 226M| 44 | 11 | 163 | 164 | 163 | 163 | 0 |1380 | 21k| 1.464320e+04 | 1.536000e+04 | 4.90%
696.09/696.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
696.09/696.17 c 696s|960000 |278414 | 16412k| 17.1 | 228M| 44 | 18 | 163 | 163 | 163 | 163 | 0 |1382 | 21k| 1.465224e+04 | 1.536000e+04 | 4.83%
701.29/701.34 c 701s|970000 |279436 | 16524k| 17.0 | 229M| 44 | 15 | 163 | 164 | 163 | 163 | 0 |1384 | 21k| 1.465600e+04 | 1.536000e+04 | 4.80%
706.49/706.52 c 707s|980000 |280494 | 16634k| 17.0 | 230M| 44 | 18 | 163 | 163 | 163 | 163 | 0 |1387 | 21k| 1.465600e+04 | 1.536000e+04 | 4.80%
711.71/711.72 c 712s|990000 |281438 | 16746k| 16.9 | 232M| 44 | - | 163 | 164 | 163 | 163 | 0 |1389 | 21k| 1.466027e+04 | 1.536000e+04 | 4.77%
716.80/716.86 c 717s| 1000k|282434 | 16854k| 16.9 | 233M| 44 | 12 | 163 | 163 | 163 | 163 | 0 |1389 | 21k| 1.466880e+04 | 1.536000e+04 | 4.71%
721.89/721.97 c 722s| 1010k|283316 | 16961k| 16.8 | 234M| 44 | - | 163 | 163 | 163 | 163 | 0 |1389 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
727.00/727.06 c 727s| 1020k|284160 | 17072k| 16.7 | 235M| 44 | - | 163 | 164 | 163 | 163 | 0 |1394 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
732.09/732.17 c 732s| 1030k|285000 | 17178k| 16.7 | 236M| 44 | - | 163 | 163 | 163 | 163 | 0 |1395 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
737.09/737.14 c 737s| 1040k|285832 | 17283k| 16.6 | 238M| 44 | - | 163 | 166 | 163 | 163 | 0 |1398 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
742.19/742.23 c 742s| 1050k|286720 | 17389k| 16.6 | 239M| 44 | 14 | 163 | 164 | 163 | 163 | 0 |1401 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
747.19/747.23 c 747s| 1060k|287534 | 17495k| 16.5 | 240M| 44 | - | 163 | 163 | 163 | 163 | 0 |1401 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
752.41/752.46 c 752s| 1070k|288522 | 17603k| 16.5 | 241M| 44 | 18 | 163 | 165 | 163 | 163 | 0 |1404 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
757.49/757.53 c 758s| 1080k|289458 | 17709k| 16.4 | 242M| 44 | - | 163 | 165 | 163 | 163 | 0 |1406 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
762.39/762.49 c 762s| 1090k|290210 | 17813k| 16.3 | 243M| 44 | - | 163 | 163 | 163 | 163 | 0 |1406 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
767.49/767.54 c 768s| 1100k|291070 | 17921k| 16.3 | 245M| 44 | 11 | 163 | 163 | 163 | 163 | 0 |1410 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
772.59/772.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
772.59/772.67 c 773s| 1110k|292026 | 18030k| 16.2 | 246M| 44 | 12 | 163 | 169 | 163 | 163 | 0 |1421 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
777.60/777.61 c 778s| 1120k|292836 | 18133k| 16.2 | 247M| 44 | - | 163 | 166 | 163 | 163 | 0 |1424 | 23k| 1.467733e+04 | 1.536000e+04 | 4.65%
782.40/782.47 c 782s| 1130k|293452 | 18236k| 16.1 | 248M| 44 | 21 | 163 | 163 | 163 | 163 | 0 |1425 | 23k| 1.469440e+04 | 1.536000e+04 | 4.53%
787.40/787.41 c 787s| 1140k|294188 | 18339k| 16.1 | 249M| 44 | 11 | 163 | 165 | 163 | 163 | 0 |1427 | 23k| 1.469440e+04 | 1.536000e+04 | 4.53%
792.19/792.28 c 792s| 1150k|294822 | 18443k| 16.0 | 250M| 44 | 23 | 163 | 163 | 163 | 163 | 0 |1430 | 23k| 1.469867e+04 | 1.536000e+04 | 4.50%
797.09/797.12 c 797s| 1160k|295414 | 18543k| 16.0 | 251M| 44 | 17 | 163 | 163 | 163 | 163 | 0 |1430 | 23k| 1.470171e+04 | 1.536000e+04 | 4.48%
801.99/802.07 c 802s| 1170k|296106 | 18647k| 15.9 | 252M| 44 | 21 | 163 | 163 | 163 | 163 | 0 |1442 | 23k| 1.470836e+04 | 1.536000e+04 | 4.43%
807.09/807.13 c 807s| 1180k|296804 | 18754k| 15.9 | 253M| 44 | 20 | 163 | 163 | 163 | 163 | 0 |1444 | 23k| 1.472000e+04 | 1.536000e+04 | 4.35%
812.09/812.19 c 812s| 1190k|297612 | 18862k| 15.9 | 254M| 44 | - | 163 | 163 | 163 | 163 | 0 |1444 | 23k| 1.472000e+04 | 1.536000e+04 | 4.35%
817.31/817.32 c 817s| 1200k|298550 | 18976k| 15.8 | 256M| 44 | - | 163 | 167 | 163 | 163 | 0 |1448 | 23k| 1.472000e+04 | 1.536000e+04 | 4.35%
822.19/822.28 c 822s| 1210k|299216 | 19081k| 15.8 | 257M| 44 | - | 163 | 163 | 163 | 163 | 0 |1451 | 23k| 1.472000e+04 | 1.536000e+04 | 4.35%
827.21/827.28 c 827s| 1220k|300044 | 19187k| 15.7 | 258M| 44 | 16 | 163 | 164 | 163 | 163 | 0 |1453 | 23k| 1.472000e+04 | 1.536000e+04 | 4.35%
831.99/832.08 c 832s| 1230k|300688 | 19286k| 15.7 | 259M| 44 | - | 163 | 163 | 163 | 163 | 0 |1453 | 23k| 1.472000e+04 | 1.536000e+04 | 4.35%
837.00/837.06 c 837s| 1240k|301640 | 19396k| 15.6 | 260M| 44 | - | 163 | 167 | 163 | 163 | 0 |1459 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
842.20/842.26 c 842s| 1250k|302706 | 19508k| 15.6 | 261M| 44 | 21 | 163 | 168 | 163 | 163 | 0 |1466 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
847.20/847.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
847.20/847.20 c 847s| 1260k|303632 | 19612k| 15.6 | 263M| 44 | 17 | 163 | 166 | 163 | 163 | 0 |1469 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
852.20/852.21 c 852s| 1270k|304380 | 19719k| 15.5 | 264M| 44 | 11 | 163 | 164 | 163 | 163 | 0 |1470 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
857.00/857.05 c 857s| 1280k|304990 | 19821k| 15.5 | 265M| 44 | - | 163 | 164 | 163 | 163 | 0 |1471 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
861.90/861.93 c 862s| 1290k|305610 | 19925k| 15.4 | 266M| 44 | 16 | 163 | 166 | 163 | 163 | 0 |1476 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
866.81/866.84 c 867s| 1300k|306260 | 20027k| 15.4 | 267M| 44 | - | 163 | 164 | 163 | 163 | 0 |1476 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
871.60/871.69 c 872s| 1310k|306862 | 20128k| 15.4 | 268M| 44 | - | 163 | 165 | 163 | 163 | 0 |1480 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
876.72/876.72 c 877s| 1320k|307620 | 20233k| 15.3 | 269M| 44 | 13 | 163 | 163 | 163 | 163 | 0 |1482 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
881.60/881.61 c 882s| 1330k|308280 | 20337k| 15.3 | 270M| 44 | - | 163 | 163 | 163 | 163 | 0 |1483 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
886.51/886.61 c 887s| 1340k|309152 | 20446k| 15.3 | 271M| 44 | 13 | 163 | 167 | 163 | 163 | 0 |1487 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
891.59/891.68 c 892s| 1350k|309806 | 20552k| 15.2 | 272M| 44 | - | 163 | 165 | 163 | 163 | 0 |1487 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
896.70/896.74 c 897s| 1360k|310530 | 20660k| 15.2 | 273M| 44 | 21 | 163 | 165 | 163 | 163 | 0 |1489 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
901.80/901.83 c 902s| 1370k|311326 | 20769k| 15.2 | 274M| 44 | 34 | 163 | 165 | 163 | 163 | 0 |1490 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
906.70/906.72 c 907s| 1380k|311942 | 20873k| 15.1 | 275M| 44 | 16 | 163 | 165 | 163 | 163 | 0 |1492 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
911.69/911.75 c 912s| 1390k|312844 | 20980k| 15.1 | 276M| 44 | - | 163 | 165 | 163 | 163 | 0 |1500 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
916.89/916.98 c 917s| 1400k|313898 | 21093k| 15.1 | 278M| 44 | 20 | 163 | 169 | 163 | 163 | 0 |1512 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
921.90/921.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
921.90/921.95 c 922s| 1410k|314656 | 21199k| 15.0 | 279M| 44 | 19 | 163 | 164 | 163 | 163 | 0 |1517 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
926.80/926.80 c 927s| 1420k|315304 | 21303k| 15.0 | 280M| 44 | - | 163 | 163 | 163 | 163 | 0 |1517 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
931.71/931.75 c 932s| 1430k|315968 | 21406k| 15.0 | 281M| 44 | - | 163 | 164 | 163 | 163 | 0 |1523 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
936.60/936.61 c 937s| 1440k|316636 | 21508k| 14.9 | 282M| 44 | - | 163 | 165 | 163 | 163 | 0 |1527 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
941.62/941.68 c 942s| 1450k|317402 | 21617k| 14.9 | 283M| 44 | - | 163 | 164 | 163 | 163 | 0 |1533 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
946.60/946.67 c 947s| 1460k|318260 | 21723k| 14.9 | 284M| 44 | 11 | 163 | 165 | 163 | 163 | 0 |1537 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
951.90/951.93 c 952s| 1470k|319202 | 21837k| 14.9 | 285M| 44 | 24 | 163 | 163 | 163 | 163 | 0 |1542 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
956.91/956.92 c 957s| 1480k|319962 | 21944k| 14.8 | 286M| 44 | 22 | 163 | 169 | 163 | 163 | 0 |1550 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
962.20/962.26 c 962s| 1490k|320972 | 22059k| 14.8 | 287M| 44 | 11 | 163 | 167 | 163 | 163 | 0 |1561 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
967.20/967.20 c 967s| 1500k|321496 | 22160k| 14.8 | 288M| 44 | - | 163 | 165 | 163 | 163 | 0 |1564 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
971.90/971.95 c 972s| 1510k|321938 | 22258k| 14.7 | 289M| 44 | 12 | 163 | 164 | 163 | 163 | 0 |1565 | 26k| 1.473422e+04 | 1.536000e+04 | 4.25%
976.50/976.56 c 977s| 1520k|322296 | 22351k| 14.7 | 290M| 44 | 17 | 163 | 165 | 163 | 163 | 0 |1566 | 26k| 1.474133e+04 | 1.536000e+04 | 4.20%
981.21/981.29 c 981s| 1530k|322488 | 22447k| 14.7 | 291M| 44 | 19 | 163 | 163 | 163 | 163 | 0 |1566 | 26k| 1.474560e+04 | 1.536000e+04 | 4.17%
985.90/985.93 c 986s| 1540k|322678 | 22542k| 14.6 | 291M| 44 | - | 163 | 163 | 163 | 163 | 0 |1568 | 26k| 1.474560e+04 | 1.536000e+04 | 4.17%
990.70/990.73 c 991s| 1550k|323006 | 22638k| 14.6 | 292M| 44 | 6 | 163 | 167 | 163 | 163 | 0 |1576 | 26k| 1.474560e+04 | 1.536000e+04 | 4.17%
995.40/995.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
995.40/995.46 c 995s| 1560k|323288 | 22733k| 14.6 | 293M| 44 | 23 | 163 | 163 | 163 | 163 | 0 |1576 | 26k| 1.475200e+04 | 1.536000e+04 | 4.12%
1000.00/1000.08 c 1000s| 1570k|323424 | 22826k| 14.5 | 293M| 44 | - | 163 | 166 | 163 | 163 | 0 |1580 | 26k| 1.476267e+04 | 1.536000e+04 | 4.05%
1004.80/1004.84 c 1005s| 1580k|323696 | 22925k| 14.5 | 294M| 44 | 13 | 163 | 165 | 163 | 163 | 0 |1583 | 26k| 1.476267e+04 | 1.536000e+04 | 4.05%
1009.49/1009.56 c 1010s| 1590k|323824 | 23021k| 14.5 | 295M| 44 | 21 | 163 | 167 | 163 | 163 | 0 |1586 | 26k| 1.476267e+04 | 1.536000e+04 | 4.05%
1014.21/1014.23 c 1014s| 1600k|324038 | 23112k| 14.4 | 295M| 44 | - | 163 | 167 | 163 | 163 | 0 |1586 | 26k| 1.476267e+04 | 1.536000e+04 | 4.05%
1018.80/1018.87 c 1019s| 1610k|324068 | 23206k| 14.4 | 296M| 44 | 22 | 163 | 163 | 163 | 163 | 0 |1588 | 27k| 1.476267e+04 | 1.536000e+04 | 4.05%
1023.40/1023.42 c 1023s| 1620k|324158 | 23296k| 14.4 | 296M| 44 | - | 163 | 164 | 163 | 163 | 0 |1589 | 27k| 1.476267e+04 | 1.536000e+04 | 4.05%
1028.10/1028.13 c 1028s| 1630k|324444 | 23392k| 14.4 | 297M| 44 | 13 | 163 | 163 | 163 | 163 | 0 |1590 | 27k| 1.476800e+04 | 1.536000e+04 | 4.01%
1032.50/1032.59 c 1033s| 1640k|324468 | 23480k| 14.3 | 298M| 44 | - | 163 | 163 | 163 | 163 | 0 |1594 | 27k| 1.477486e+04 | 1.536000e+04 | 3.96%
1037.20/1037.29 c 1037s| 1650k|324808 | 23579k| 14.3 | 298M| 44 | - | 163 | 163 | 163 | 163 | 0 |1595 | 27k| 1.477486e+04 | 1.536000e+04 | 3.96%
1042.00/1042.09 c 1042s| 1660k|325040 | 23678k| 14.3 | 299M| 44 | 15 | 163 | 164 | 163 | 163 | 0 |1601 | 27k| 1.478400e+04 | 1.536000e+04 | 3.90%
1046.80/1046.80 c 1047s| 1670k|325170 | 23773k| 14.2 | 300M| 44 | - | 163 | 165 | 163 | 163 | 0 |1607 | 27k| 1.478400e+04 | 1.536000e+04 | 3.90%
1051.40/1051.45 c 1051s| 1680k|325314 | 23866k| 14.2 | 300M| 44 | 15 | 163 | 163 | 163 | 163 | 0 |1607 | 27k| 1.478400e+04 | 1.536000e+04 | 3.90%
1055.91/1055.96 c 1056s| 1690k|325362 | 23957k| 14.2 | 301M| 44 | - | 163 | 163 | 163 | 163 | 0 |1607 | 27k| 1.478400e+04 | 1.536000e+04 | 3.90%
1060.50/1060.57 c 1061s| 1700k|325398 | 24051k| 14.1 | 301M| 44 | 18 | 163 | 163 | 163 | 163 | 0 |1608 | 27k| 1.479111e+04 | 1.536000e+04 | 3.85%
1065.10/1065.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1065.10/1065.18 c 1065s| 1710k|325494 | 24145k| 14.1 | 302M| 44 | - | 163 | 163 | 163 | 163 | 0 |1608 | 27k| 1.479680e+04 | 1.536000e+04 | 3.81%
1069.80/1069.81 c 1070s| 1720k|325722 | 24241k| 14.1 | 303M| 44 | 16 | 163 | 163 | 163 | 163 | 0 |1610 | 27k| 1.479680e+04 | 1.536000e+04 | 3.81%
1074.50/1074.55 c 1075s| 1730k|325944 | 24338k| 14.1 | 303M| 44 | 10 | 163 | 163 | 163 | 163 | 0 |1612 | 28k| 1.480533e+04 | 1.536000e+04 | 3.75%
1079.12/1079.14 c 1079s| 1740k|325962 | 24433k| 14.0 | 304M| 44 | 27 | 163 | 163 | 163 | 163 | 0 |1613 | 28k| 1.480862e+04 | 1.536000e+04 | 3.72%
1083.60/1083.61 c 1084s| 1750k|325764 | 24521k| 14.0 | 304M| 44 | 16 | 163 | 163 | 163 | 163 | 0 |1618 | 28k| 1.481600e+04 | 1.536000e+04 | 3.67%
1088.10/1088.13 c 1088s| 1760k|325768 | 24611k| 14.0 | 305M| 44 | - | 163 | 164 | 163 | 163 | 0 |1619 | 28k| 1.483337e+04 | 1.536000e+04 | 3.55%
1093.00/1093.01 c 1093s| 1770k|326254 | 24713k| 14.0 | 306M| 44 | - | 163 | 166 | 163 | 163 | 0 |1621 | 28k| 1.484800e+04 | 1.536000e+04 | 3.45%
1097.90/1097.90 c 1098s| 1780k|326792 | 24822k| 13.9 | 306M| 44 | - | 163 | 165 | 163 | 163 | 0 |1628 | 28k| 1.484800e+04 | 1.536000e+04 | 3.45%
1102.70/1102.76 c 1103s| 1790k|327062 | 24928k| 13.9 | 307M| 44 | 16 | 163 | 165 | 163 | 163 | 0 |1635 | 28k| 1.484800e+04 | 1.536000e+04 | 3.45%
1107.30/1107.38 c 1107s| 1800k|327256 | 25025k| 13.9 | 307M| 44 | 23 | 163 | 164 | 163 | 163 | 0 |1635 | 28k| 1.484800e+04 | 1.536000e+04 | 3.45%
1112.30/1112.30 c 1112s| 1810k|327622 | 25136k| 13.9 | 308M| 44 | 15 | 163 | 163 | 163 | 163 | 0 |1636 | 28k| 1.484800e+04 | 1.536000e+04 | 3.45%
1117.00/1117.07 c 1117s| 1820k|328074 | 25239k| 13.9 | 309M| 44 | - | 163 | 163 | 163 | 163 | 0 |1641 | 28k| 1.484800e+04 | 1.536000e+04 | 3.45%
1121.60/1121.64 c 1122s| 1830k|328300 | 25334k| 13.8 | 309M| 44 | - | 163 | 168 | 163 | 163 | 0 |1648 | 28k| 1.484800e+04 | 1.536000e+04 | 3.45%
1126.31/1126.34 c 1126s| 1840k|328466 | 25436k| 13.8 | 310M| 44 | 14 | 163 | 163 | 163 | 163 | 0 |1648 | 28k| 1.484800e+04 | 1.536000e+04 | 3.45%
1131.51/1131.56 c 1132s| 1850k|329460 | 25554k| 13.8 | 311M| 44 | 6 | 163 | 163 | 163 | 163 | 0 |1652 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1136.21/1136.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1136.21/1136.25 c 1136s| 1860k|329738 | 25651k| 13.8 | 312M| 44 | 18 | 163 | 163 | 163 | 163 | 0 |1652 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1140.80/1140.88 c 1141s| 1870k|330060 | 25750k| 13.8 | 312M| 44 | 13 | 163 | 164 | 163 | 163 | 0 |1654 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1145.61/1145.65 c 1146s| 1880k|330428 | 25852k| 13.8 | 313M| 44 | 13 | 163 | 163 | 163 | 163 | 0 |1662 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1150.30/1150.39 c 1150s| 1890k|330674 | 25954k| 13.7 | 314M| 44 | - | 163 | 163 | 163 | 163 | 0 |1663 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1154.91/1154.99 c 1155s| 1900k|330930 | 26052k| 13.7 | 314M| 44 | - | 163 | 163 | 163 | 163 | 0 |1666 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1159.60/1159.68 c 1160s| 1910k|331404 | 26151k| 13.7 | 315M| 44 | 15 | 163 | 163 | 163 | 163 | 0 |1667 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1164.20/1164.27 c 1164s| 1920k|331472 | 26245k| 13.7 | 316M| 44 | - | 163 | 163 | 163 | 163 | 0 |1669 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1168.81/1168.88 c 1169s| 1930k|331712 | 26345k| 13.7 | 316M| 44 | 13 | 163 | 163 | 163 | 163 | 0 |1674 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1173.40/1173.49 c 1173s| 1940k|331916 | 26441k| 13.6 | 317M| 44 | - | 163 | 166 | 163 | 163 | 0 |1677 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1178.12/1178.16 c 1178s| 1950k|332054 | 26541k| 13.6 | 317M| 44 | - | 163 | 164 | 163 | 163 | 0 |1680 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1183.00/1183.03 c 1183s| 1960k|332534 | 26643k| 13.6 | 318M| 44 | - | 163 | 166 | 163 | 163 | 0 |1686 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1187.50/1187.52 c 1188s| 1970k|332700 | 26737k| 13.6 | 319M| 44 | - | 163 | 166 | 163 | 163 | 0 |1689 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1192.10/1192.11 c 1192s| 1980k|332788 | 26831k| 13.6 | 319M| 44 | - | 163 | 165 | 163 | 163 | 0 |1692 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1196.90/1196.95 c 1197s| 1990k|333304 | 26934k| 13.5 | 320M| 44 | 15 | 163 | 166 | 163 | 163 | 0 |1697 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1201.60/1201.65 c 1202s| 2000k|333716 | 27036k| 13.5 | 320M| 44 | 10 | 163 | 166 | 163 | 163 | 0 |1701 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1206.72/1206.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1206.72/1206.72 c 1207s| 2010k|334648 | 27149k| 13.5 | 322M| 44 | 19 | 163 | 164 | 163 | 163 | 0 |1703 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1211.50/1211.58 c 1212s| 2020k|335406 | 27256k| 13.5 | 322M| 44 | 7 | 163 | 163 | 163 | 163 | 0 |1706 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1216.21/1216.24 c 1216s| 2030k|335672 | 27356k| 13.5 | 323M| 44 | - | 163 | 168 | 163 | 163 | 0 |1712 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1220.70/1220.79 c 1221s| 2040k|335862 | 27450k| 13.5 | 324M| 44 | - | 163 | 164 | 163 | 163 | 0 |1713 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1225.42/1225.43 c 1225s| 2050k|336168 | 27548k| 13.4 | 324M| 44 | - | 163 | 163 | 163 | 163 | 0 |1715 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1229.90/1229.96 c 1230s| 2060k|336410 | 27643k| 13.4 | 325M| 44 | - | 163 | 163 | 163 | 163 | 0 |1715 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1234.50/1234.54 c 1235s| 2070k|336526 | 27739k| 13.4 | 325M| 44 | 13 | 163 | 163 | 163 | 163 | 0 |1718 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1239.10/1239.15 c 1239s| 2080k|336600 | 27834k| 13.4 | 326M| 44 | 14 | 163 | 165 | 163 | 163 | 0 |1722 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1244.12/1244.16 c 1244s| 2090k|337216 | 27943k| 13.4 | 327M| 44 | 11 | 163 | 166 | 163 | 163 | 0 |1726 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1249.00/1249.00 c 1249s| 2100k|337702 | 28047k| 13.4 | 327M| 44 | - | 163 | 166 | 163 | 163 | 0 |1731 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1253.61/1253.66 c 1254s| 2110k|338160 | 28147k| 13.3 | 328M| 44 | - | 163 | 165 | 163 | 163 | 0 |1733 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1258.20/1258.29 c 1258s| 2120k|338442 | 28243k| 13.3 | 329M| 44 | - | 163 | 168 | 163 | 163 | 0 |1742 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1263.00/1263.01 c 1263s| 2130k|338798 | 28341k| 13.3 | 329M| 44 | - | 163 | 166 | 163 | 163 | 0 |1744 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1267.60/1267.69 c 1268s| 2140k|339120 | 28440k| 13.3 | 330M| 44 | - | 163 | 163 | 163 | 163 | 0 |1744 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1272.30/1272.38 c 1272s| 2150k|339356 | 28541k| 13.3 | 331M| 44 | - | 163 | 163 | 163 | 163 | 0 |1746 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1277.12/1277.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1277.12/1277.13 c 1277s| 2160k|339664 | 28646k| 13.3 | 331M| 44 | - | 163 | 167 | 163 | 163 | 0 |1757 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1282.10/1282.19 c 1282s| 2170k|340170 | 28757k| 13.3 | 332M| 44 | - | 163 | 168 | 163 | 163 | 0 |1762 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1287.11/1287.15 c 1287s| 2180k|341022 | 28868k| 13.2 | 333M| 44 | - | 163 | 167 | 163 | 163 | 0 |1767 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1292.00/1292.02 c 1292s| 2190k|341798 | 28975k| 13.2 | 334M| 44 | - | 163 | 164 | 163 | 163 | 0 |1768 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1297.01/1297.00 c 1297s| 2200k|342678 | 29083k| 13.2 | 335M| 44 | - | 163 | 166 | 163 | 163 | 0 |1771 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1301.80/1301.88 c 1302s| 2210k|343422 | 29190k| 13.2 | 336M| 44 | 16 | 163 | 166 | 163 | 163 | 0 |1774 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1306.60/1306.61 c 1307s| 2220k|343958 | 29293k| 13.2 | 337M| 44 | 13 | 163 | 164 | 163 | 163 | 0 |1775 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1311.50/1311.52 c 1312s| 2230k|344774 | 29402k| 13.2 | 338M| 44 | - | 163 | 163 | 163 | 163 | 0 |1778 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1316.30/1316.39 c 1316s| 2240k|345624 | 29511k| 13.2 | 339M| 44 | 13 | 163 | 166 | 163 | 163 | 0 |1784 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1321.01/1321.10 c 1321s| 2250k|345884 | 29610k| 13.2 | 339M| 44 | 23 | 163 | 164 | 163 | 163 | 0 |1790 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1325.90/1325.96 c 1326s| 2260k|346280 | 29714k| 13.1 | 340M| 44 | 17 | 163 | 170 | 163 | 163 | 0 |1803 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1330.60/1330.64 c 1331s| 2270k|346620 | 29812k| 13.1 | 341M| 44 | - | 163 | 166 | 163 | 163 | 0 |1804 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1335.60/1335.69 c 1336s| 2280k|347326 | 29925k| 13.1 | 342M| 44 | - | 163 | 167 | 163 | 163 | 0 |1809 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1340.50/1340.55 c 1341s| 2290k|348094 | 30029k| 13.1 | 342M| 44 | 10 | 163 | 166 | 163 | 163 | 0 |1814 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1345.21/1345.26 c 1345s| 2300k|348454 | 30129k| 13.1 | 343M| 44 | - | 163 | 163 | 163 | 163 | 0 |1815 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1350.21/1350.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1350.21/1350.23 c 1350s| 2310k|349352 | 30237k| 13.1 | 344M| 44 | - | 163 | 166 | 163 | 163 | 0 |1821 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1355.12/1355.21 c 1355s| 2320k|350256 | 30346k| 13.1 | 345M| 44 | - | 163 | 165 | 163 | 163 | 0 |1825 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1360.31/1360.39 c 1360s| 2330k|351412 | 30460k| 13.1 | 346M| 44 | - | 163 | 163 | 163 | 163 | 0 |1832 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1365.20/1365.27 c 1365s| 2340k|352026 | 30567k| 13.1 | 347M| 44 | 17 | 163 | 165 | 163 | 163 | 0 |1837 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1370.20/1370.22 c 1370s| 2350k|352526 | 30677k| 13.1 | 348M| 44 | - | 163 | 169 | 163 | 163 | 0 |1843 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1375.02/1375.03 c 1375s| 2360k|353278 | 30784k| 13.0 | 349M| 44 | 11 | 163 | 167 | 163 | 163 | 0 |1848 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1379.81/1379.83 c 1380s| 2370k|353754 | 30889k| 13.0 | 350M| 44 | 17 | 163 | 166 | 163 | 163 | 0 |1855 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1385.30/1385.38 c 1385s| 2380k|355086 | 31022k| 13.0 | 351M| 44 | 9 | 163 | 174 | 163 | 163 | 0 |1867 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1390.51/1390.57 c 1391s| 2390k|356324 | 31138k| 13.0 | 352M| 44 | - | 163 | 172 | 163 | 163 | 0 |1873 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1395.41/1395.48 c 1395s| 2400k|356898 | 31249k| 13.0 | 353M| 44 | 15 | 163 | 166 | 163 | 163 | 0 |1875 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1400.41/1400.44 c 1400s| 2410k|357558 | 31361k| 13.0 | 354M| 44 | - | 163 | 165 | 163 | 163 | 0 |1876 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1405.40/1405.42 c 1405s| 2420k|358170 | 31473k| 13.0 | 355M| 44 | - | 163 | 166 | 163 | 163 | 0 |1880 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1410.01/1410.08 c 1410s| 2430k|358536 | 31574k| 13.0 | 355M| 44 | - | 163 | 166 | 163 | 163 | 0 |1884 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1415.00/1415.09 c 1415s| 2440k|359364 | 31688k| 13.0 | 356M| 44 | - | 163 | 165 | 163 | 163 | 0 |1886 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1419.80/1419.88 c 1420s| 2450k|359736 | 31796k| 13.0 | 357M| 44 | 15 | 163 | 169 | 163 | 163 | 0 |1891 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1424.71/1424.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1424.71/1424.70 c 1425s| 2460k|360056 | 31903k| 13.0 | 358M| 44 | 16 | 163 | 170 | 163 | 163 | 0 |1893 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1429.61/1429.62 c 1430s| 2470k|360708 | 32009k| 13.0 | 358M| 44 | 17 | 163 | 165 | 163 | 163 | 0 |1899 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1434.11/1434.10 c 1434s| 2480k|360770 | 32102k| 12.9 | 359M| 44 | - | 163 | 163 | 163 | 163 | 0 |1900 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1438.91/1438.98 c 1439s| 2490k|361298 | 32210k| 12.9 | 359M| 44 | 8 | 163 | 164 | 163 | 163 | 0 |1902 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1444.01/1444.09 c 1444s| 2500k|362072 | 32326k| 12.9 | 360M| 44 | 16 | 163 | 167 | 163 | 163 | 0 |1909 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1449.11/1449.11 c 1449s| 2510k|362896 | 32438k| 12.9 | 361M| 44 | - | 163 | 167 | 163 | 163 | 0 |1911 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1453.60/1453.63 c 1454s| 2520k|362854 | 32536k| 12.9 | 362M| 44 | 14 | 163 | 165 | 163 | 163 | 0 |1913 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1458.21/1458.23 c 1458s| 2530k|362890 | 32632k| 12.9 | 362M| 44 | - | 163 | 163 | 163 | 163 | 0 |1915 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1462.81/1462.89 c 1463s| 2540k|362884 | 32729k| 12.9 | 362M| 44 | 15 | 163 | 168 | 163 | 163 | 0 |1920 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1467.71/1467.75 c 1468s| 2550k|363428 | 32836k| 12.9 | 363M| 44 | 23 | 163 | 164 | 163 | 163 | 0 |1921 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1472.21/1472.29 c 1472s| 2560k|363378 | 32931k| 12.9 | 363M| 44 | - | 163 | 164 | 163 | 163 | 0 |1925 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1476.71/1476.78 c 1477s| 2570k|363460 | 33027k| 12.9 | 364M| 44 | - | 163 | 163 | 163 | 163 | 0 |1925 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1481.31/1481.36 c 1481s| 2580k|363464 | 33123k| 12.8 | 364M| 44 | 17 | 163 | 165 | 163 | 163 | 0 |1927 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1485.90/1485.96 c 1486s| 2590k|363610 | 33222k| 12.8 | 365M| 44 | - | 163 | 165 | 163 | 163 | 0 |1930 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1490.71/1490.76 c 1491s| 2600k|363674 | 33331k| 12.8 | 365M| 44 | - | 163 | 164 | 163 | 163 | 0 |1931 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1495.31/1495.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1495.31/1495.32 c 1495s| 2610k|364022 | 33431k| 12.8 | 366M| 44 | 16 | 163 | 164 | 163 | 163 | 0 |1931 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1499.91/1499.98 c 1500s| 2620k|364310 | 33531k| 12.8 | 366M| 44 | 18 | 163 | 164 | 163 | 163 | 0 |1933 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1504.71/1504.76 c 1505s| 2630k|364554 | 33634k| 12.8 | 367M| 44 | - | 163 | 164 | 163 | 163 | 0 |1934 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1509.60/1509.63 c 1510s| 2640k|365042 | 33740k| 12.8 | 367M| 44 | 16 | 163 | 166 | 163 | 163 | 0 |1937 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1514.00/1514.01 c 1514s| 2650k|364776 | 33830k| 12.8 | 368M| 44 | 15 | 163 | 164 | 163 | 163 | 0 |1939 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1518.80/1518.86 c 1519s| 2660k|365198 | 33937k| 12.8 | 368M| 44 | 11 | 163 | 166 | 163 | 163 | 0 |1943 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1523.61/1523.63 c 1524s| 2670k|365438 | 34040k| 12.7 | 369M| 44 | - | 163 | 164 | 163 | 163 | 0 |1945 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1528.10/1528.16 c 1528s| 2680k|365560 | 34136k| 12.7 | 369M| 44 | - | 163 | 164 | 163 | 163 | 0 |1946 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1532.90/1532.97 c 1533s| 2690k|365822 | 34240k| 12.7 | 370M| 44 | - | 163 | 167 | 163 | 163 | 0 |1951 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1537.51/1537.59 c 1538s| 2700k|365920 | 34337k| 12.7 | 370M| 44 | - | 163 | 164 | 163 | 163 | 0 |1951 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1542.12/1542.13 c 1542s| 2710k|365814 | 34434k| 12.7 | 371M| 44 | 14 | 163 | 165 | 163 | 163 | 0 |1954 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1546.80/1546.85 c 1547s| 2720k|366248 | 34541k| 12.7 | 371M| 44 | 12 | 163 | 165 | 163 | 163 | 0 |1957 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1551.70/1551.72 c 1552s| 2730k|366904 | 34649k| 12.7 | 372M| 44 | 10 | 163 | 167 | 163 | 163 | 0 |1962 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1556.61/1556.62 c 1557s| 2740k|367428 | 34757k| 12.7 | 373M| 44 | - | 163 | 169 | 163 | 163 | 0 |1966 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1561.31/1561.39 c 1561s| 2750k|367758 | 34860k| 12.7 | 373M| 44 | 12 | 163 | 169 | 163 | 163 | 0 |1973 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1565.90/1565.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1565.90/1565.94 c 1566s| 2760k|367794 | 34957k| 12.7 | 374M| 44 | - | 163 | 164 | 163 | 163 | 0 |1976 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1570.61/1570.69 c 1571s| 2770k|367990 | 35059k| 12.7 | 374M| 44 | - | 163 | 164 | 163 | 163 | 0 |1979 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1575.00/1575.09 c 1575s| 2780k|367724 | 35149k| 12.6 | 374M| 44 | - | 163 | 164 | 163 | 163 | 0 |1981 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1579.62/1579.65 c 1580s| 2790k|367774 | 35249k| 12.6 | 375M| 44 | - | 163 | 163 | 163 | 163 | 0 |1981 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1584.50/1584.57 c 1585s| 2800k|368278 | 35354k| 12.6 | 375M| 44 | - | 163 | 163 | 163 | 163 | 0 |1984 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1589.10/1589.18 c 1589s| 2810k|368666 | 35455k| 12.6 | 376M| 44 | 14 | 163 | 164 | 163 | 163 | 0 |1991 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1593.61/1593.68 c 1594s| 2820k|368686 | 35550k| 12.6 | 376M| 44 | - | 163 | 163 | 163 | 163 | 0 |1992 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1598.32/1598.38 c 1598s| 2830k|368986 | 35654k| 12.6 | 377M| 44 | - | 163 | 164 | 163 | 163 | 0 |1997 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1603.61/1603.65 c 1604s| 2840k|370234 | 35775k| 12.6 | 378M| 44 | 13 | 163 | 164 | 163 | 163 | 0 |1997 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1608.81/1608.85 c 1609s| 2850k|371084 | 35898k| 12.6 | 379M| 44 | - | 163 | 171 | 163 | 163 | 0 |2009 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1613.31/1613.34 c 1613s| 2860k|371108 | 35993k| 12.6 | 379M| 44 | 16 | 163 | 164 | 163 | 163 | 0 |2009 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1617.91/1617.94 c 1618s| 2870k|371198 | 36093k| 12.6 | 380M| 44 | 22 | 163 | 164 | 163 | 163 | 0 |2010 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1622.42/1622.51 c 1623s| 2880k|370994 | 36191k| 12.6 | 380M| 44 | - | 163 | 163 | 163 | 163 | 0 |2010 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1627.11/1627.10 c 1627s| 2890k|371202 | 36288k| 12.6 | 380M| 44 | - | 163 | 163 | 163 | 163 | 0 |2010 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1632.11/1632.11 c 1632s| 2900k|371982 | 36395k| 12.6 | 381M| 44 | - | 163 | 165 | 163 | 163 | 0 |2015 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1637.21/1637.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1637.21/1637.24 c 1637s| 2910k|372862 | 36507k| 12.5 | 382M| 44 | - | 163 | 164 | 163 | 163 | 0 |2021 | 37k| 1.484800e+04 | 1.536000e+04 | 3.45%
1642.22/1642.22 c 1642s| 2920k|373760 | 36614k| 12.5 | 383M| 44 | - | 163 | 164 | 163 | 163 | 0 |2022 | 37k| 1.484800e+04 | 1.536000e+04 | 3.45%
1647.21/1647.21 c 1647s| 2930k|374314 | 36726k| 12.5 | 384M| 44 | 18 | 163 | 163 | 163 | 163 | 0 |2031 | 37k| 1.484800e+04 | 1.536000e+04 | 3.45%
1651.91/1651.97 c 1652s| 2940k|374730 | 36826k| 12.5 | 385M| 44 | - | 163 | 164 | 163 | 163 | 0 |2034 | 37k| 1.484800e+04 | 1.536000e+04 | 3.45%
1656.62/1656.63 c 1657s| 2950k|374794 | 36924k| 12.5 | 385M| 44 | 14 | 163 | 165 | 163 | 163 | 0 |2035 | 37k| 1.484800e+04 | 1.536000e+04 | 3.45%
1661.61/1661.64 c 1662s| 2960k|375144 | 37033k| 12.5 | 386M| 44 | 10 | 163 | 164 | 163 | 163 | 0 |2036 | 37k| 1.484800e+04 | 1.536000e+04 | 3.45%
1666.81/1666.82 c 1667s| 2970k|375936 | 37151k| 12.5 | 386M| 44 | - | 163 | 166 | 163 | 163 | 0 |2038 | 37k| 1.484800e+04 | 1.536000e+04 | 3.45%
1671.61/1671.61 c 1672s| 2980k|376452 | 37258k| 12.5 | 387M| 44 | - | 163 | 165 | 163 | 163 | 0 |2041 | 37k| 1.484800e+04 | 1.536000e+04 | 3.45%
1676.42/1676.48 c 1676s| 2990k|376796 | 37361k| 12.5 | 388M| 44 | - | 163 | 164 | 163 | 163 | 0 |2042 | 37k| 1.484800e+04 | 1.536000e+04 | 3.45%
1681.21/1681.21 c 1681s| 3000k|376836 | 37462k| 12.5 | 388M| 44 | 14 | 163 | 164 | 163 | 163 | 0 |2043 | 37k| 1.484800e+04 | 1.536000e+04 | 3.45%
1686.01/1686.01 c 1686s| 3010k|377126 | 37565k| 12.5 | 389M| 44 | 20 | 163 | 165 | 163 | 163 | 0 |2048 | 37k| 1.484800e+04 | 1.536000e+04 | 3.45%
1690.62/1690.64 c 1691s| 3020k|377382 | 37664k| 12.5 | 389M| 44 | 12 | 163 | 164 | 163 | 163 | 0 |2049 | 37k| 1.484800e+04 | 1.536000e+04 | 3.45%
1695.21/1695.27 c 1695s| 3030k|377372 | 37759k| 12.5 | 389M| 44 | - | 163 | 163 | 163 | 163 | 0 |2049 | 37k| 1.487127e+04 | 1.536000e+04 | 3.29%
1699.60/1699.64 c 1700s| 3040k|376678 | 37844k| 12.4 | 389M| 44 | - | 163 | 164 | 163 | 163 | 0 |2052 | 37k| 1.488213e+04 | 1.536000e+04 | 3.21%
1703.82/1703.87 c 1704s| 3050k|375774 | 37925k| 12.4 | 389M| 44 | 12 | 163 | 163 | 163 | 163 | 0 |2053 | 38k| 1.489067e+04 | 1.536000e+04 | 3.15%
1708.11/1708.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1708.11/1708.11 c 1708s| 3060k|374858 | 38007k| 12.4 | 388M| 44 | 13 | 163 | 163 | 163 | 163 | 0 |2053 | 38k| 1.489455e+04 | 1.536000e+04 | 3.12%
1712.31/1712.36 c 1712s| 3070k|374046 | 38089k| 12.4 | 388M| 44 | 18 | 163 | 163 | 163 | 163 | 0 |2053 | 38k| 1.489920e+04 | 1.536000e+04 | 3.09%
1716.51/1716.54 c 1717s| 3080k|373162 | 38169k| 12.4 | 388M| 44 | - | 163 | 163 | 163 | 163 | 0 |2053 | 38k| 1.489920e+04 | 1.536000e+04 | 3.09%
1720.91/1720.94 c 1721s| 3090k|372416 | 38255k| 12.4 | 387M| 44 | 21 | 163 | 164 | 163 | 163 | 0 |2056 | 38k| 1.490708e+04 | 1.536000e+04 | 3.04%
1725.11/1725.18 c 1725s| 3100k|371388 | 38336k| 12.4 | 387M| 44 | 12 | 163 | 163 | 163 | 163 | 0 |2056 | 38k| 1.491200e+04 | 1.536000e+04 | 3.00%
1729.41/1729.43 c 1729s| 3110k|370558 | 38421k| 12.4 | 387M| 44 | - | 163 | 163 | 163 | 163 | 0 |2056 | 38k| 1.491200e+04 | 1.536000e+04 | 3.00%
1733.62/1733.64 c 1734s| 3120k|369558 | 38502k| 12.3 | 386M| 44 | - | 163 | 163 | 163 | 163 | 0 |2056 | 38k| 1.491200e+04 | 1.536000e+04 | 3.00%
1737.81/1737.80 c 1738s| 3130k|368524 | 38582k| 12.3 | 386M| 44 | - | 163 | 163 | 163 | 163 | 0 |2057 | 38k| 1.492114e+04 | 1.536000e+04 | 2.94%
1742.01/1742.06 c 1742s| 3140k|367592 | 38664k| 12.3 | 385M| 44 | 11 | 163 | 165 | 163 | 163 | 0 |2059 | 38k| 1.492480e+04 | 1.536000e+04 | 2.92%
1746.21/1746.28 c 1746s| 3150k|366700 | 38747k| 12.3 | 385M| 44 | 12 | 163 | 163 | 163 | 163 | 0 |2059 | 38k| 1.493333e+04 | 1.536000e+04 | 2.86%
1750.51/1750.52 c 1751s| 3160k|365832 | 38828k| 12.3 | 384M| 44 | - | 163 | 163 | 163 | 163 | 0 |2059 | 38k| 1.493333e+04 | 1.536000e+04 | 2.86%
1754.81/1754.82 c 1755s| 3170k|364984 | 38911k| 12.3 | 384M| 44 | 11 | 163 | 164 | 163 | 163 | 0 |2060 | 38k| 1.493333e+04 | 1.536000e+04 | 2.86%
1759.11/1759.10 c 1759s| 3180k|364098 | 38995k| 12.3 | 384M| 44 | 15 | 163 | 163 | 163 | 163 | 0 |2060 | 38k| 1.493333e+04 | 1.536000e+04 | 2.86%
1763.22/1763.28 c 1763s| 3190k|363220 | 39076k| 12.2 | 383M| 44 | 17 | 163 | 163 | 163 | 163 | 0 |2060 | 38k| 1.493333e+04 | 1.536000e+04 | 2.86%
1767.62/1767.66 c 1768s| 3200k|362448 | 39163k| 12.2 | 383M| 44 | 6 | 163 | 163 | 163 | 163 | 0 |2060 | 38k| 1.493333e+04 | 1.536000e+04 | 2.86%
1771.91/1772.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1771.91/1772.00 c 1772s| 3210k|361744 | 39249k| 12.2 | 383M| 44 | - | 163 | 163 | 163 | 163 | 0 |2060 | 38k| 1.493333e+04 | 1.536000e+04 | 2.86%
1776.21/1776.24 c 1776s| 3220k|360688 | 39329k| 12.2 | 382M| 44 | 12 | 163 | 163 | 163 | 163 | 0 |2060 | 39k| 1.493333e+04 | 1.536000e+04 | 2.86%
1780.41/1780.47 c 1780s| 3230k|359800 | 39410k| 12.2 | 382M| 44 | - | 163 | 165 | 163 | 163 | 0 |2062 | 39k| 1.493333e+04 | 1.536000e+04 | 2.86%
1784.71/1784.78 c 1785s| 3240k|359096 | 39495k| 12.2 | 381M| 44 | - | 163 | 166 | 163 | 163 | 0 |2069 | 39k| 1.494109e+04 | 1.536000e+04 | 2.80%
1789.01/1789.02 c 1789s| 3250k|358158 | 39578k| 12.2 | 381M| 44 | - | 163 | 163 | 163 | 163 | 0 |2071 | 39k| 1.495040e+04 | 1.536000e+04 | 2.74%
1793.11/1793.10 c 1793s| 3260k|357184 | 39656k| 12.2 | 380M| 44 | - | 163 | 163 | 163 | 163 | 0 |2071 | 39k| 1.495040e+04 | 1.536000e+04 | 2.74%
1797.21/1797.27 c 1797s| 3270k|356082 | 39737k| 12.2 | 380M| 44 | - | 163 | 163 | 163 | 163 | 0 |2071 | 39k| 1.495040e+04 | 1.536000e+04 | 2.74%
1800.01/1800.00 c
1800.01/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.01/1800.00 c Solving Time (sec) : 1800.00
1800.01/1800.00 c Solving Nodes : 3276345
1800.01/1800.00 c Primal Bound : +1.53600000000000e+04 (356 solutions)
1800.01/1800.00 c Dual Bound : +1.49504000000000e+04
1800.01/1800.00 c Gap : 2.74 %
1800.01/1800.00 s SATISFIABLE
1800.01/1800.00 v -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139
1800.01/1800.00 v -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119
1800.01/1800.00 v -x118 -x117 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96
1800.01/1800.00 v -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71
1800.01/1800.00 v x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x44
1800.01/1800.00 v -x43 -x42 -x41 -x40 -x39 x38 -x37 -x36 -x35 -x33 x32 x31 -x30 x29 -x28 -x27 -x26 -x25 -x24 -x22 -x21 x20 -x19 x18 -x17 x16
1800.01/1800.00 v -x15 -x14 -x13 -x11 x10 -x9 -x8 x7 x6 -x5 -x4 -x3 x2 -x163 -x162 x161 -x116 -x45 -x34 -x23 -x12 x1
1800.01/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.01/1800.00 c Total Time : 1800.00
1800.01/1800.00 c solving : 1800.00
1800.01/1800.00 c presolving : 0.03 (included in solving)
1800.01/1800.00 c reading : 0.01 (included in solving)
1800.01/1800.00 c Original Problem :
1800.01/1800.00 c Problem name : HOME/instance-3451006-1307075629.opb
1800.01/1800.00 c Variables : 163 (163 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.00 c Constraints : 73 initial, 73 maximal
1800.01/1800.00 c Presolved Problem :
1800.01/1800.00 c Problem name : t_HOME/instance-3451006-1307075629.opb
1800.01/1800.00 c Variables : 163 (163 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.00 c Constraints : 163 initial, 256 maximal
1800.01/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.01/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.00 c probing : 0.02 0 0 0 0 0 0 0 0 0
1800.01/1800.00 c knapsack : 0.01 0 0 0 0 0 10 100 100 200
1800.01/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.00 c linear : 0.00 0 0 0 0 0 0 0 10 10
1800.01/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.00 c root node : - 0 - - 0 - - - - -
1800.01/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.01/1800.00 c integral : 0 0 0 1828194 0 362 0 1 13628 0 0 3633380
1800.01/1800.00 c knapsack : 63 1 5026421 0 2 359 502 1907 10033 0 0 0
1800.01/1800.00 c setppc : 100 1 4845837 0 2 358 531 0 0 0 0 0
1800.01/1800.00 c linear : 0+ 1 13093 0 0 0 0 0 0 0 0 0
1800.01/1800.00 c logicor : 0+ 0 364732 0 0 0 0 0 0 0 0 0
1800.01/1800.00 c countsols : 0 0 0 0 2 358 0 0 0 0 0 0
1800.01/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.01/1800.00 c integral : 31.81 0.00 0.00 31.81 0.00 0.00 0.00
1800.01/1800.00 c knapsack : 219.72 0.03 219.68 0.00 0.00 0.01 0.00
1800.01/1800.00 c setppc : 5.34 0.00 5.34 0.00 0.00 0.00 0.00
1800.01/1800.00 c linear : 0.02 0.00 0.02 0.00 0.00 0.00 0.00
1800.01/1800.00 c logicor : 0.36 0.00 0.36 0.00 0.00 0.00 0.00
1800.01/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.01/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.01/1800.00 c vbounds : 0 0 0 0
1800.01/1800.00 c rootredcost : 2 0 0 0
1800.01/1800.00 c pseudoobj : 5026965 24169 207 0
1800.01/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.01/1800.00 c vbounds : 0.96 0.96 0.00
1800.01/1800.00 c rootredcost : 1.25 1.25 0.00
1800.01/1800.00 c pseudoobj : 19.98 19.92 0.06
1800.01/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.00 c propagation : 0.08 2114 2071 2216 35.0 0 0.0 -
1800.01/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.00 c applied globally : - - - 1043 27.0 - - -
1800.01/1800.00 c applied locally : - - - 1028 40.6 - - -
1800.01/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.00 c redcost : 17.65 2571124 0 3931300 0 0
1800.01/1800.00 c impliedbounds : 0.00 2 0 0 0 0
1800.01/1800.00 c intobj : 0.00 0 0 0 0 0
1800.01/1800.00 c gomory : 0.00 2 0 0 0 0
1800.01/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.01/1800.00 c strongcg : 0.00 2 0 0 0 0
1800.01/1800.00 c cmir : 0.00 2 0 0 0 0
1800.01/1800.00 c flowcover : 0.09 2 0 0 0 0
1800.01/1800.00 c clique : 0.00 1 0 0 0 0
1800.01/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.00 c mcf : 0.00 1 0 0 0 0
1800.01/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.01/1800.00 c rapidlearning : 0.03 1 0 0 0 40
1800.01/1800.00 c Pricers : Time Calls Vars
1800.01/1800.00 c problem variables: 0.00 0 0
1800.01/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.00 c relpscost : 30.81 1828194 1 13628 0 0 3633380
1800.01/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.01 c inference : 0.00 2 0 0 0 0 4
1800.01/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.01 c random : 0.00 0 0 0 0 0 0
1800.01/1800.01 c Primal Heuristics : Time Calls Found
1800.01/1800.01 c LP solutions : 0.00 - 0
1800.01/1800.01 c pseudo solutions : 0.00 - 0
1800.01/1800.01 c feaspump : 0.05 0 0
1800.01/1800.01 c oneopt : 0.71 6 1
1800.01/1800.01 c crossover : 2.55 17 4
1800.01/1800.01 c objpscostdiving : 8.92 720 7
1800.01/1800.01 c rootsoldiving : 9.36 1589 2
1800.01/1800.01 c linesearchdiving : 21.33 7875 1
1800.01/1800.01 c fracdiving : 47.24 7875 6
1800.01/1800.01 c guideddiving : 56.20 7875 0
1800.01/1800.01 c veclendiving : 28.23 7875 4
1800.01/1800.01 c coefdiving : 41.06 7876 14
1800.01/1800.01 c pscostdiving : 47.21 7876 24
1800.01/1800.01 c trivial : 0.00 2 0
1800.01/1800.01 c shiftandpropagate: 0.01 1 1
1800.01/1800.01 c simplerounding : 4.61 1828194 5
1800.01/1800.01 c zirounding : 1.03 12801 256
1800.01/1800.01 c rounding : 2.22 65493 1
1800.01/1800.01 c shifting : 1.21 31155 29
1800.01/1800.01 c intshifting : 0.05 0 0
1800.01/1800.01 c twoopt : 0.00 0 0
1800.01/1800.01 c fixandinfer : 0.00 0 0
1800.01/1800.01 c clique : 0.00 0 0
1800.01/1800.01 c intdiving : 0.00 0 0
1800.01/1800.01 c actconsdiving : 0.00 0 0
1800.01/1800.01 c octane : 0.00 0 0
1800.01/1800.01 c rens : 0.40 1 1
1800.01/1800.01 c rins : 0.00 0 0
1800.01/1800.01 c localbranching : 0.00 0 0
1800.01/1800.01 c mutation : 0.00 0 0
1800.01/1800.01 c dins : 0.00 0 0
1800.01/1800.01 c vbounds : 0.00 0 0
1800.01/1800.01 c undercover : 0.00 0 0
1800.01/1800.01 c subnlp : 0.48 0 0
1800.01/1800.01 c trysol : 0.68 0 0
1800.01/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.01 c dual LP : 1053.50 3287848 34021722 10.35 32293.87
1800.01/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.01 c diving/probing LP: 181.73 969328 5770193 5.95 31752.28
1800.01/1800.01 c strong branching : 17.40 39412 348944 8.85 20059.10
1800.01/1800.01 c (at root node) : - 10 594 59.40 -
1800.01/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.01 c B&B Tree :
1800.01/1800.01 c number of runs : 1
1800.01/1800.01 c nodes : 3276345
1800.01/1800.01 c nodes (total) : 3276345
1800.01/1800.01 c nodes left : 355503
1800.01/1800.01 c max depth : 44
1800.01/1800.01 c max depth (total): 44
1800.01/1800.01 c backtracks : 684124 (20.9%)
1800.01/1800.01 c delayed cutoffs : 0
1800.01/1800.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.01/1800.01 c avg switch length: 7.43
1800.01/1800.01 c switching time : 77.59
1800.01/1800.01 c Solution :
1800.01/1800.01 c Solutions found : 356 (7 improvements)
1800.01/1800.01 c First Solution : +2.04800000000000e+04 (in run 1, after 1 nodes, 0.05 seconds, depth 56, found by <shiftandpropagate>)
1800.01/1800.01 c Primal Bound : +1.53600000000000e+04 (in run 1, after 10194 nodes, 23.26 seconds, depth 27, found by <veclendiving>)
1800.01/1800.01 c Dual Bound : +1.49504000000000e+04
1800.01/1800.01 c Gap : 2.74 %
1800.01/1800.01 c Root Dual Bound : +1.33120000000000e+04
1800.01/1800.01 c Root Iterations : 89
OK 15360
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3451006-1307075629/watcher-3451006-1307075629 -o /tmp/evaluation-result-3451006-1307075629/solver-3451006-1307075629 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451006-1307075629.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.01 2.05 2.01 2/453 14818 /proc/meminfo: memFree=31671348/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=15636 CPUtime=0 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 2815 0 0 0 0 0 0 0 25 0 1 0 819160756 16011264 2767 33554432000 4194304 9163163 140733776501264 18446744073709551615 8013829 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14818/statm: 3909 2790 427 1214 0 2691 0 [startup+0.0935589 s] /proc/loadavg: 2.01 2.05 2.01 2/453 14818 /proc/meminfo: memFree=31671348/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=23356 CPUtime=0.08 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 5015 0 0 0 8 0 0 0 25 0 1 0 819160756 23916544 4686 33554432000 4194304 9163163 140733776501264 18446744073709551615 5102433 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14818/statm: 5839 4686 672 1214 0 4621 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 23356 [startup+0.100556 s] /proc/loadavg: 2.01 2.05 2.01 2/453 14818 /proc/meminfo: memFree=31671348/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=23356 CPUtime=0.09 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 5015 0 0 0 9 0 0 0 25 0 1 0 819160756 23916544 4686 33554432000 4194304 9163163 140733776501264 18446744073709551615 5102413 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14818/statm: 5839 4686 672 1214 0 4621 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23356 [startup+0.300517 s] /proc/loadavg: 2.01 2.05 2.01 2/453 14818 /proc/meminfo: memFree=31671348/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=38248 CPUtime=0.29 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 9138 0 0 0 28 1 0 0 25 0 1 0 819160756 39165952 8098 33554432000 4194304 9163163 140733776501264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14818/statm: 9562 8098 722 1214 0 8344 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 38248 [startup+0.700411 s] /proc/loadavg: 2.01 2.05 2.01 2/453 14818 /proc/meminfo: memFree=31671348/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=34888 CPUtime=0.69 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 9206 0 0 0 67 2 0 0 25 0 1 0 819160756 35725312 7616 33554432000 4194304 9163163 140733776501264 18446744073709551615 7225144 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14818/statm: 8722 7616 726 1214 0 7504 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 34888 [startup+1.50034 s] /proc/loadavg: 2.01 2.05 2.01 3/454 14819 /proc/meminfo: memFree=31648524/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=34888 CPUtime=1.49 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 9206 0 0 0 145 4 0 0 25 0 1 0 819160756 35725312 7616 33554432000 4194304 9163163 140733776501264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14818/statm: 8722 7616 726 1214 0 7504 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34888 [startup+3.10098 s] /proc/loadavg: 2.01 2.05 2.01 3/454 14820 /proc/meminfo: memFree=31641084/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=34888 CPUtime=3.08 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 9969 0 0 0 300 8 0 0 25 0 1 0 819160756 35725312 7626 33554432000 4194304 9163163 140733776501264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14818/statm: 8722 7626 726 1214 0 7504 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 34888 [startup+6.30046 s] /proc/loadavg: 2.01 2.05 2.01 3/454 14820 /proc/meminfo: memFree=31642456/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=34888 CPUtime=6.29 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 9976 0 0 0 612 17 0 0 25 0 1 0 819160756 35725312 7633 33554432000 4194304 9163163 140733776501264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14818/statm: 8722 7633 726 1214 0 7504 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34888 [startup+12.7003 s] /proc/loadavg: 2.00 2.04 2.01 3/454 14820 /proc/meminfo: memFree=31641864/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=34888 CPUtime=12.67 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 11303 0 0 0 1235 32 0 0 25 0 1 0 819160756 35725312 7645 33554432000 4194304 9163163 140733776501264 18446744073709551615 5924913 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14818/statm: 8722 7645 726 1214 0 7504 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 34888 [startup+25.501 s] /proc/loadavg: 2.00 2.04 2.01 3/454 14820 /proc/meminfo: memFree=31641360/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=34888 CPUtime=25.48 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 13201 0 0 0 2480 68 0 0 25 0 1 0 819160756 35725312 7658 33554432000 4194304 9163163 140733776501264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14818/statm: 8722 7658 726 1214 0 7504 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 34888 [startup+51.1003 s] /proc/loadavg: 2.00 2.04 2.00 3/454 14821 /proc/meminfo: memFree=31642096/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=38316 CPUtime=51.08 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 25750 0 0 0 4966 142 0 0 25 0 1 0 819160756 39235584 8460 33554432000 4194304 9163163 140733776501264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14818/statm: 9579 8460 727 1214 0 8361 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 38316 [startup+102.317 s] /proc/loadavg: 2.00 2.03 2.00 3/454 14822 /proc/meminfo: memFree=31610012/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=58412 CPUtime=102.29 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 39452 0 0 0 9942 287 0 0 25 0 1 0 819160756 59813888 13596 33554432000 4194304 9163163 140733776501264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14818/statm: 14603 13596 727 1214 0 13385 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 58412 [startup+162.301 s] /proc/loadavg: 2.00 2.02 2.00 3/454 14824 /proc/meminfo: memFree=31572012/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=86308 CPUtime=162.28 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 48999 0 0 0 15770 458 0 0 25 0 1 0 819160756 88379392 20224 33554432000 4194304 9163163 140733776501264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14818/statm: 21577 20224 727 1214 0 20359 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 86308 [startup+222.3 s] /proc/loadavg: 2.00 2.02 2.00 3/454 14825 /proc/meminfo: memFree=31549408/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=109536 CPUtime=222.28 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 54929 0 0 0 21604 624 0 0 25 0 1 0 819160756 112164864 26154 33554432000 4194304 9163163 140733776501264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14818/statm: 27384 26154 727 1214 0 26166 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 109536 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.00 3/454 14827 /proc/meminfo: memFree=31521328/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=130812 CPUtime=282.28 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 66185 0 0 0 27433 795 0 0 25 0 1 0 819160756 133951488 31541 33554432000 4194304 9163163 140733776501264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14818/statm: 32703 31541 727 1214 0 31485 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 130812 [startup+342.3 s] /proc/loadavg: 2.11 2.04 2.01 3/454 14829 /proc/meminfo: memFree=31491384/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=153900 CPUtime=342.29 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 72087 0 0 0 33276 953 0 0 25 0 1 0 819160756 157593600 37439 33554432000 4194304 9163163 140733776501264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14818/statm: 38475 37439 727 1214 0 37257 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 153900 [startup+402.3 s] /proc/loadavg: 2.14 2.06 2.01 3/454 14830 /proc/meminfo: memFree=31474320/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=172004 CPUtime=402.29 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 76688 0 0 0 39120 1109 0 0 25 0 1 0 819160756 176132096 42040 33554432000 4194304 9163163 140733776501264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14818/statm: 43001 42040 727 1214 0 41783 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 172004 [startup+462.301 s] /proc/loadavg: 2.08 2.06 2.01 3/454 14832 /proc/meminfo: memFree=31447724/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=196832 CPUtime=462.28 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 81970 0 0 0 44965 1263 0 0 25 0 1 0 819160756 201555968 47314 33554432000 4194304 9163163 140733776501264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14818/statm: 49208 47314 727 1214 0 47990 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 196832 [startup+522.301 s] /proc/loadavg: 2.03 2.05 2.01 3/454 14833 /proc/meminfo: memFree=31427456/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=212204 CPUtime=522.29 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 88726 0 0 0 50806 1423 0 0 25 0 1 0 819160756 217296896 51218 33554432000 4194304 9163163 140733776501264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14818/statm: 53051 51218 727 1214 0 51833 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 212204 [startup+582.301 s] /proc/loadavg: 2.06 2.05 2.01 3/454 14835 /proc/meminfo: memFree=31401480/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=232888 CPUtime=582.29 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 93953 0 0 0 56642 1587 0 0 25 0 1 0 819160756 238477312 56445 33554432000 4194304 9163163 140733776501264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14818/statm: 58222 56445 727 1214 0 57004 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 232888 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.02 2.00 3/454 14841 /proc/meminfo: memFree=31332784/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=291592 CPUtime=822.29 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 108866 0 0 0 80031 2198 0 0 25 0 1 0 819160756 298590208 71342 33554432000 4194304 9163163 140733776501264 18446744073709551615 8045061 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14818/statm: 72898 71342 727 1214 0 71680 0 Current children cumulated CPU time (s) 822.29 Current children cumulated vsize (KiB) 291592 [startup+882.3 s] /proc/loadavg: 2.20 2.06 2.01 3/454 14843 /proc/meminfo: memFree=31314388/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=308560 CPUtime=882.29 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 113143 0 0 0 85876 2353 0 0 25 0 1 0 819160756 315965440 75619 33554432000 4194304 9163163 140733776501264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14818/statm: 77140 75619 727 1214 0 75922 0 Current children cumulated CPU time (s) 882.29 Current children cumulated vsize (KiB) 308560 [startup+942.3 s] /proc/loadavg: 2.32 2.11 2.03 3/454 14845 /proc/meminfo: memFree=31301764/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=320872 CPUtime=942.3 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 119081 0 0 0 91723 2507 0 0 25 0 1 0 819160756 328572928 78731 33554432000 4194304 9163163 140733776501264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14818/statm: 80218 78731 727 1214 0 79000 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 320872 [startup+1002.3 s] /proc/loadavg: 2.23 2.12 2.03 3/454 14846 /proc/meminfo: memFree=31287924/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=328168 CPUtime=1002.3 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 120933 0 0 0 97580 2650 0 0 25 0 1 0 819160756 336044032 80583 33554432000 4194304 9163163 140733776501264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14818/statm: 82042 80583 727 1214 0 80824 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 328168 [startup+1062.3 s] /proc/loadavg: 2.09 2.10 2.03 3/454 14848 /proc/meminfo: memFree=31273216/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=337640 CPUtime=1062.3 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 123338 0 0 0 103436 2794 0 0 25 0 1 0 819160756 345743360 82985 33554432000 4194304 9163163 140733776501264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14818/statm: 84410 82985 727 1214 0 83192 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 337640 [startup+1122.3 s] /proc/loadavg: 2.09 2.10 2.03 3/454 14849 /proc/meminfo: memFree=31272168/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=343808 CPUtime=1122.3 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 124873 0 0 0 109284 2946 0 0 25 0 1 0 819160756 352059392 84520 33554432000 4194304 9163163 140733776501264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14818/statm: 85952 84520 727 1214 0 84734 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 343808 [startup+1182.3 s] /proc/loadavg: 2.04 2.08 2.03 3/454 14851 /proc/meminfo: memFree=31253640/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=352340 CPUtime=1182.3 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 126988 0 0 0 115131 3099 0 0 25 0 1 0 819160756 360796160 86635 33554432000 4194304 9163163 140733776501264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14818/statm: 88085 86635 727 1214 0 86867 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 352340 [startup+1242.3 s] /proc/loadavg: 2.01 2.06 2.02 3/454 14853 /proc/meminfo: memFree=31242432/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=361144 CPUtime=1242.3 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 129268 0 0 0 120975 3255 0 0 25 0 1 0 819160756 369811456 88915 33554432000 4194304 9163163 140733776501264 18446744073709551615 5957350 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14818/statm: 90286 88915 727 1214 0 89068 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 361144 [startup+1302.3 s] /proc/loadavg: 2.00 2.05 2.01 3/454 14854 /proc/meminfo: memFree=31232948/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=372104 CPUtime=1302.31 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 132008 0 0 0 126821 3410 0 0 25 0 1 0 819160756 381034496 91655 33554432000 4194304 9163163 140733776501264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14818/statm: 93026 91655 727 1214 0 91808 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 372104 [startup+1362.3 s] /proc/loadavg: 2.04 2.05 2.01 3/454 14884 /proc/meminfo: memFree=31563584/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=379372 CPUtime=1362.31 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 133834 0 0 0 132670 3561 0 0 25 0 1 0 819160756 388476928 93481 33554432000 4194304 9163163 140733776501264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14818/statm: 94843 93481 727 1214 0 93625 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 379372 [startup+1422.32 s] /proc/loadavg: 2.01 2.04 2.01 3/454 14885 /proc/meminfo: memFree=31550620/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=391140 CPUtime=1422.32 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 136810 0 0 0 138518 3714 0 0 25 0 1 0 819160756 400527360 96456 33554432000 4194304 9163163 140733776501264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14818/statm: 97785 96456 727 1214 0 96567 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 391140 [startup+1482.3 s] /proc/loadavg: 2.00 2.03 2.00 3/454 14887 /proc/meminfo: memFree=31543240/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=397476 CPUtime=1482.31 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 138430 0 0 0 144357 3874 0 0 25 0 1 0 819160756 407015424 98076 33554432000 4194304 9163163 140733776501264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14818/statm: 99369 98076 727 1214 0 98151 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 397476 [startup+1542.3 s] /proc/loadavg: 2.14 2.07 2.01 3/454 14889 /proc/meminfo: memFree=31535992/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=405412 CPUtime=1542.3 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 140404 0 0 0 150206 4024 0 0 25 0 1 0 819160756 415141888 100050 33554432000 4194304 9163163 140733776501264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14818/statm: 101353 100050 727 1214 0 100135 0 Current children cumulated CPU time (s) 1542.3 Current children cumulated vsize (KiB) 405412 [startup+1602.3 s] /proc/loadavg: 2.05 2.05 2.01 3/454 14890 /proc/meminfo: memFree=31529124/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=411880 CPUtime=1602.3 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 142028 0 0 0 156050 4180 0 0 25 0 1 0 819160756 421765120 101674 33554432000 4194304 9163163 140733776501264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14818/statm: 102970 101674 727 1214 0 101752 0 Current children cumulated CPU time (s) 1602.3 Current children cumulated vsize (KiB) 411880 [startup+1662.3 s] /proc/loadavg: 2.14 2.07 2.01 3/454 14901 /proc/meminfo: memFree=31520720/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=418664 CPUtime=1662.31 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 143772 0 0 0 161891 4340 0 0 25 0 1 0 819160756 428711936 103418 33554432000 4194304 9163163 140733776501264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14818/statm: 104666 103418 727 1214 0 103448 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 418664 [startup+1722.3 s] /proc/loadavg: 2.05 2.06 2.01 3/454 14902 /proc/meminfo: memFree=31515928/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=422312 CPUtime=1722.3 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 147557 0 0 0 167738 4492 0 0 25 0 1 0 819160756 432447488 104387 33554432000 4194304 9163163 140733776501264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14818/statm: 105578 104387 727 1214 0 104360 0 Current children cumulated CPU time (s) 1722.3 Current children cumulated vsize (KiB) 422312 [startup+1782.3 s] /proc/loadavg: 2.02 2.04 2.00 3/454 14904 /proc/meminfo: memFree=31514644/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=422312 CPUtime=1782.31 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 147572 0 0 0 173597 4634 0 0 25 0 1 0 819160756 432447488 104402 33554432000 4194304 9163163 140733776501264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14818/statm: 105578 104402 727 1214 0 104360 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 422312 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.04 2.00 3/454 14904 /proc/meminfo: memFree=31515616/32951124 swapFree=55639044/67111528 [pid=14818] ppid=14816 vsize=422312 CPUtime=1800.02 cores=0,2,4,6 /proc/14818/stat : 14818 (scip-2.0.1.4b.l) R 14816 14818 12722 0 -1 4202496 147577 0 0 0 175326 4676 0 0 25 0 1 0 819160756 432447488 104407 33554432000 4194304 9163163 140733776501264 18446744073709551615 6923145 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/14818/statm: 105578 104407 731 1214 0 104360 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 422312 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.04 CPU time (s): 1800.05 CPU user time (s): 1753.27 CPU system time (s): 46.7839 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 422312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1753.27 system time used= 46.7839 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 147577 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 2357 runsolver used 8.61369 second user time and 17.6133 second system time The end
Begin job on node133 at 2011-06-03 06:33:49 IDJOB=3451006 IDBENCH=1848 IDSOLVER=1948 FILE ID=node133/3451006-1307075629 RUNJOBID= node133-1307066901-13751 PBS_JOBID= 13497853 Free space on /tmp= 73968 MiB SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb COMMAND LINE= HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3451006-1307075629/watcher-3451006-1307075629 -o /tmp/evaluation-result-3451006-1307075629/solver-3451006-1307075629 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451006-1307075629.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 687e90f40c46b53feec9c54ee9b43fa6 RANDOM SEED=397437370 node133.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 6741.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31671380 kB Buffers: 262572 kB Cached: 433052 kB SwapCached: 10584 kB Active: 608840 kB Inactive: 397556 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31671380 kB SwapTotal: 67111528 kB SwapFree: 55639044 kB Dirty: 12316 kB Writeback: 0 kB AnonPages: 308048 kB Mapped: 15564 kB Slab: 151804 kB PageTables: 53884 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 115199964 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73956 MiB End job on node133 at 2011-06-03 07:03:51