Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver | OPTIMUM | 1294.3 | 1294.28 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl--soft-66-100-0.wbo |
| MD5SUM | 11b5382626eb4b4626e558a03fc2298b |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 5 |
| Best CPU time to get the best result obtained on this benchmark | 0.002998 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 237 |
| Total number of constraints | 197 |
| Number of soft constraints | 68 |
| Number of constraints which are clauses | 123 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 74 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 19 |
| Top cost | 3132 |
| Min constraint cost | 1 |
| Max constraint cost | 95 |
| Sum of constraints costs | 3131 |
| Biggest number in a constraint | 772 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 2305 |
| Number of bits of the biggest sum of numbers | 12 |
| 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 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
0.00/0.00 c Copyright (c) 2002-2010 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-2705166-1278574761.wbo>
0.00/0.00 c original problem has 373 variables (305 bin, 0 int, 68 impl, 0 cont) and 266 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c presolving:
0.00/0.01 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 39 chg sides, 78 chg coeffs, 0 upgd conss, 150 impls, 0 clqs
0.00/0.01 c (round 2) 0 del vars, 1 del conss, 68 chg bounds, 39 chg sides, 78 chg coeffs, 0 upgd conss, 150 impls, 0 clqs
0.00/0.01 c (round 3) 0 del vars, 1 del conss, 68 chg bounds, 39 chg sides, 78 chg coeffs, 129 upgd conss, 266 impls, 0 clqs
0.00/0.01 c (round 4) 0 del vars, 1 del conss, 68 chg bounds, 39 chg sides, 79 chg coeffs, 130 upgd conss, 290 impls, 0 clqs
0.00/0.01 c (round 5) 0 del vars, 2 del conss, 68 chg bounds, 41 chg sides, 85 chg coeffs, 130 upgd conss, 290 impls, 1 clqs
0.00/0.01 c (0.0s) probing: 178/305 (58.4%) - 0 fixings, 0 aggregations, 2 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.01 c presolving (6 rounds):
0.00/0.01 c 0 deleted vars, 2 deleted constraints, 68 tightened bounds, 0 added holes, 41 changed sides, 85 changed coefficients
0.00/0.01 c 298 implications, 1 cliques
0.00/0.01 c presolved problem has 373 variables (305 bin, 0 int, 68 impl, 0 cont) and 266 constraints
0.00/0.02 c 1 constraints of type <varbound>
0.00/0.02 c 54 constraints of type <knapsack>
0.00/0.02 c 50 constraints of type <setppc>
0.00/0.02 c 67 constraints of type <linear>
0.00/0.02 c 68 constraints of type <indicator>
0.00/0.02 c 26 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.3
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1790
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.02 c # [type: int, range: [1,2], default: 1]
0.00/0.02 c timing/clocktype = 2
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/indicator/addCouplingCons = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 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.02 c 0.0s| 1 | 0 | 24 | - |1533k| 0 | 23 | 373 | 266 | 373 | 130 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 64 | - |1601k| 0 | 45 | 373 | 283 | 373 | 173 | 43 | 0 | 0 | 0.000000e+00 | -- | Inf
0.04/0.05 c 0.1s| 1 | 0 | 98 | - |1665k| 0 | 42 | 373 | 283 | 373 | 209 | 79 | 0 | 0 | 0.000000e+00 | -- | Inf
0.04/0.06 c 0.1s| 1 | 0 | 118 | - |1716k| 0 | 37 | 373 | 283 | 373 | 233 | 103 | 0 | 0 | 0.000000e+00 | -- | Inf
0.04/0.06 o 3074
0.04/0.06 c y 0.1s| 1 | 0 | 118 | - |1721k| 0 | 37 | 373 | 283 | 373 | 233 | 103 | 0 | 0 | 0.000000e+00 | 3.074000e+03 | Inf
0.04/0.07 c 0.1s| 1 | 0 | 143 | - |1754k| 0 | 46 | 373 | 283 | 373 | 248 | 118 | 0 | 0 | 0.000000e+00 | 3.074000e+03 | Inf
0.04/0.08 c 0.1s| 1 | 0 | 210 | - |1785k| 0 | 45 | 373 | 283 | 373 | 261 | 131 | 0 | 0 | 0.000000e+00 | 3.074000e+03 | Inf
0.04/0.09 c 0.1s| 1 | 0 | 232 | - |1809k| 0 | 37 | 373 | 283 | 373 | 269 | 139 | 0 | 0 | 0.000000e+00 | 3.074000e+03 | Inf
0.09/0.12 c 0.1s| 1 | 2 | 232 | - |1814k| 0 | 37 | 373 | 283 | 373 | 269 | 139 | 0 | 17 | 0.000000e+00 | 3.074000e+03 | Inf
0.39/0.43 o 93
0.39/0.43 c * 0.4s| 553 | 142 | 793 | 1.0 |2173k| 85 | - | 373 | 287 | 373 | 218 | 147 | 4 | 337 | 0.000000e+00 | 9.300000e+01 | Inf
0.59/0.62 o 92
0.59/0.62 c * 0.6s| 905 | 485 | 1611 | 1.5 |2627k| 85 | - | 373 | 287 | 373 | 217 | 147 | 8 | 487 | 0.000000e+00 | 9.200000e+01 | Inf
0.59/0.62 o 91
0.59/0.62 c z 0.6s| 906 | 483 | 1614 | 1.5 |2630k| 85 | - | 373 | 287 | 373 | 217 | 147 | 8 | 487 | 0.000000e+00 | 9.100000e+01 | Inf
4.40/4.44 c 4.4s| 10000 | 9506 | 30465 | 3.0 | 11M| 85 | 0 | 373 | 350 | 373 | 219 | 348 | 92 | 810 | 0.000000e+00 | 9.100000e+01 | Inf
7.99/8.01 c 8.0s| 20000 | 20036 | 52481 | 2.6 | 22M| 85 | 0 | 373 | 324 | 373 | 217 | 588 | 105 | 890 | 0.000000e+00 | 9.100000e+01 | Inf
11.49/11.51 c 11.5s| 30000 | 30572 | 76429 | 2.5 | 33M| 85 | 0 | 373 | 318 | 373 | 217 | 964 | 105 |1002 | 0.000000e+00 | 9.100000e+01 | Inf
14.89/14.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.89/14.94 c 14.9s| 40000 | 41347 | 95162 | 2.4 | 45M| 85 | 5 | 373 | 316 | 373 | 217 | 964 | 106 |1131 | 0.000000e+00 | 9.100000e+01 | Inf
18.39/18.49 c 18.5s| 50000 | 51964 |115385 | 2.3 | 56M| 85 | 1 | 373 | 305 | 373 | 219 |1089 | 107 |1433 | 0.000000e+00 | 9.100000e+01 | Inf
22.19/22.26 c 22.3s| 60000 | 62162 |137801 | 2.3 | 66M| 85 | 1 | 373 | 312 | 373 | 217 |1496 | 126 |1654 | 0.000000e+00 | 9.100000e+01 | Inf
25.89/25.91 c 25.9s| 70000 | 72269 |158370 | 2.3 | 76M| 85 | 6 | 373 | 300 | 373 | 219 |2110 | 129 |1837 | 0.000000e+00 | 9.100000e+01 | Inf
29.29/29.34 c 29.3s| 80000 | 82295 |181403 | 2.3 | 84M| 85 | 0 | 373 | 310 | 373 | 217 |2176 | 154 |1955 | 0.000000e+00 | 9.100000e+01 | Inf
32.79/32.81 c 32.8s| 90000 | 92445 |203832 | 2.3 | 94M| 85 | 6 | 373 | 311 | 373 | 218 |2531 | 161 |2062 | 0.000000e+00 | 9.100000e+01 | Inf
36.30/36.36 c 36.4s|100000 |102473 |228748 | 2.3 | 103M| 85 | 0 | 373 | 316 | 373 | 217 |3046 | 175 |2232 | 0.000000e+00 | 9.100000e+01 | Inf
39.00/39.08 o 90
39.00/39.08 c o39.1s|108357 |110890 |244804 | 2.3 | 111M| 85 | 0 | 373 | 333 | 373 | 217 |3050 | 197 |2440 | 0.000000e+00 | 9.000000e+01 | Inf
39.60/39.68 c 39.7s|110000 |112526 |248459 | 2.3 | 112M| 85 | 1 | 373 | 334 | 373 | 217 |3050 | 200 |2489 | 0.000000e+00 | 9.000000e+01 | Inf
42.69/42.71 c 42.7s|120000 |122537 |256198 | 2.1 | 120M| 85 | 0 | 373 | 315 | 373 | 218 |3112 | 204 |2598 | 0.000000e+00 | 9.000000e+01 | Inf
45.59/45.66 c 45.7s|130000 |132545 |263792 | 2.0 | 127M| 85 | 3 | 373 | 313 | 373 | 218 |3349 | 204 |2618 | 0.000000e+00 | 9.000000e+01 | Inf
48.79/48.83 c 48.8s|140000 |142545 |274822 | 2.0 | 135M| 85 | 0 | 373 | 313 | 373 | 218 |3550 | 204 |2639 | 0.000000e+00 | 9.000000e+01 | Inf
51.60/51.61 c 51.6s|150000 |152557 |279665 | 1.9 | 142M| 85 | 0 | 373 | 313 | 373 | 218 |3553 | 204 |2642 | 0.000000e+00 | 9.000000e+01 | Inf
54.79/54.81 c 54.8s|160000 |162561 |291898 | 1.8 | 150M| 85 | 0 | 373 | 313 | 373 | 218 |3766 | 204 |2667 | 0.000000e+00 | 9.000000e+01 | Inf
58.00/58.06 c 58.1s|170000 |172573 |304354 | 1.8 | 158M| 85 | 0 | 373 | 311 | 373 | 218 |4027 | 205 |2716 | 0.000000e+00 | 9.000000e+01 | Inf
60.59/60.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.59/60.62 c 60.6s|180000 |182605 |305461 | 1.7 | 165M| 85 | 0 | 373 | 311 | 373 | 218 |4027 | 205 |2716 | 0.000000e+00 | 9.000000e+01 | Inf
63.09/63.18 c 63.2s|190000 |192637 |306453 | 1.6 | 171M| 85 | 0 | 373 | 311 | 373 | 218 |4027 | 205 |2716 | 0.000000e+00 | 9.000000e+01 | Inf
66.39/66.46 c 66.5s|200000 |202637 |319396 | 1.6 | 179M| 85 | 1 | 373 | 311 | 373 | 218 |4341 | 205 |2738 | 0.000000e+00 | 9.000000e+01 | Inf
69.60/69.61 c 69.6s|210000 |212637 |330158 | 1.6 | 187M| 85 | 0 | 373 | 310 | 373 | 218 |4523 | 205 |2749 | 0.000000e+00 | 9.000000e+01 | Inf
72.09/72.18 c 72.2s|220000 |222669 |331197 | 1.5 | 194M| 85 | 0 | 373 | 310 | 373 | 218 |4523 | 205 |2753 | 0.000000e+00 | 9.000000e+01 | Inf
74.70/74.74 c 74.7s|230000 |232701 |332122 | 1.4 | 200M| 85 | 0 | 373 | 310 | 373 | 218 |4523 | 205 |2753 | 0.000000e+00 | 9.000000e+01 | Inf
77.19/77.26 c 77.3s|240000 |242701 |333008 | 1.4 | 207M| 85 | 0 | 373 | 310 | 373 | 218 |4523 | 205 |2753 | 0.000000e+00 | 9.000000e+01 | Inf
79.79/79.81 c 79.8s|250000 |252718 |333993 | 1.3 | 213M| 85 | 0 | 373 | 310 | 373 | 217 |4523 | 205 |2753 | 0.000000e+00 | 9.000000e+01 | Inf
82.29/82.39 c 82.4s|260000 |262765 |335391 | 1.3 | 220M| 85 | 0 | 373 | 310 | 373 | 218 |4524 | 205 |2753 | 0.000000e+00 | 9.000000e+01 | Inf
85.60/85.68 c 85.7s|270000 |272765 |347921 | 1.3 | 228M| 85 | 1 | 373 | 310 | 373 | 218 |4761 | 205 |2803 | 0.000000e+00 | 9.000000e+01 | Inf
88.99/89.07 c 89.1s|280000 |282765 |360998 | 1.3 | 236M| 85 | 1 | 373 | 310 | 373 | 218 |5085 | 205 |2830 | 0.000000e+00 | 9.000000e+01 | Inf
92.40/92.42 c 92.4s|290000 |292765 |374201 | 1.3 | 244M| 85 | 1 | 373 | 310 | 373 | 218 |5350 | 205 |2850 | 0.000000e+00 | 9.000000e+01 | Inf
95.29/95.37 c 95.4s|300000 |302765 |382039 | 1.3 | 251M| 85 | 0 | 373 | 310 | 373 | 218 |5367 | 205 |2865 | 0.000000e+00 | 9.000000e+01 | Inf
98.19/98.24 c 98.2s|310000 |312767 |388208 | 1.3 | 259M| 85 | 0 | 373 | 310 | 373 | 218 |5374 | 205 |2875 | 0.000000e+00 | 9.000000e+01 | Inf
100.80/100.83 c 101s|320000 |322771 |389163 | 1.2 | 265M| 85 | 0 | 373 | 310 | 373 | 218 |5374 | 205 |2878 | 0.000000e+00 | 9.000000e+01 | Inf
103.30/103.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.30/103.35 c 103s|330000 |332772 |389276 | 1.2 | 271M| 85 | 0 | 373 | 310 | 373 | 218 |5374 | 205 |2878 | 0.000000e+00 | 9.000000e+01 | Inf
105.90/105.92 c 106s|340000 |342775 |390222 | 1.1 | 278M| 85 | 0 | 373 | 310 | 373 | 218 |5382 | 205 |2881 | 0.000000e+00 | 9.000000e+01 | Inf
108.39/108.47 c 108s|350000 |352780 |390801 | 1.1 | 284M| 85 | 0 | 373 | 310 | 373 | 218 |5382 | 205 |2881 | 0.000000e+00 | 9.000000e+01 | Inf
112.20/112.29 c 112s|360000 |362780 |399701 | 1.1 | 293M| 85 | 1 | 373 | 310 | 373 | 218 |5382 | 205 |2889 | 0.000000e+00 | 9.000000e+01 | Inf
116.10/116.15 c 116s|370000 |372780 |408674 | 1.1 | 302M| 85 | 0 | 373 | 310 | 373 | 218 |5382 | 205 |2889 | 0.000000e+00 | 9.000000e+01 | Inf
119.19/119.24 c 119s|380000 |382780 |413136 | 1.1 | 310M| 85 | 0 | 373 | 310 | 373 | 218 |5415 | 205 |2903 | 0.000000e+00 | 9.000000e+01 | Inf
121.69/121.74 c 122s|390000 |392780 |413802 | 1.1 | 316M| 85 | 0 | 373 | 310 | 373 | 218 |5417 | 205 |2907 | 0.000000e+00 | 9.000000e+01 | Inf
124.39/124.47 c 124s|400000 |402780 |416048 | 1.0 | 323M| 85 | 0 | 373 | 310 | 373 | 218 |5417 | 205 |2929 | 0.000000e+00 | 9.000000e+01 | Inf
127.29/127.37 c 127s|410000 |412780 |421088 | 1.0 | 330M| 85 | 0 | 373 | 310 | 373 | 218 |5499 | 205 |2950 | 0.000000e+00 | 9.000000e+01 | Inf
130.80/130.81 c 131s|420000 |422780 |434953 | 1.0 | 338M| 85 | 0 | 373 | 310 | 373 | 218 |6041 | 205 |2974 | 0.000000e+00 | 9.000000e+01 | Inf
134.09/134.17 c 134s|430000 |432780 |447968 | 1.0 | 346M| 85 | 0 | 373 | 310 | 373 | 218 |6574 | 205 |2998 | 0.000000e+00 | 9.000000e+01 | Inf
137.40/137.44 c 137s|440000 |442780 |459472 | 1.0 | 354M| 85 | 0 | 373 | 310 | 373 | 218 |7045 | 205 |3008 | 0.000000e+00 | 9.000000e+01 | Inf
140.70/140.72 c 141s|450000 |452780 |471290 | 1.0 | 362M| 85 | 0 | 373 | 310 | 373 | 218 |7541 | 205 |3019 | 0.000000e+00 | 9.000000e+01 | Inf
144.00/144.01 c 144s|460000 |462780 |483432 | 1.1 | 369M| 85 | 0 | 373 | 310 | 373 | 217 |8042 | 205 |3028 | 0.000000e+00 | 9.000000e+01 | Inf
147.19/147.30 c 147s|470000 |472780 |495133 | 1.1 | 377M| 85 | 0 | 373 | 310 | 373 | 218 |8558 | 205 |3036 | 0.000000e+00 | 9.000000e+01 | Inf
150.50/150.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
150.50/150.53 c 151s|480000 |482776 |507862 | 1.1 | 385M| 85 | 0 | 373 | 312 | 373 | 218 |8764 | 207 |3046 | 0.000000e+00 | 9.000000e+01 | Inf
153.69/153.78 c 154s|490000 |492776 |521121 | 1.1 | 393M| 85 | 0 | 373 | 312 | 373 | 218 |8767 | 207 |3055 | 0.000000e+00 | 9.000000e+01 | Inf
156.99/157.03 c 157s|500000 |502776 |534565 | 1.1 | 402M| 85 | 0 | 373 | 312 | 373 | 218 |8767 | 207 |3061 | 0.000000e+00 | 9.000000e+01 | Inf
160.19/160.28 c 160s|510000 |512776 |547975 | 1.1 | 410M| 85 | 0 | 373 | 312 | 373 | 217 |8767 | 207 |3067 | 0.000000e+00 | 9.000000e+01 | Inf
163.40/163.45 c 163s|520000 |522776 |560806 | 1.1 | 419M| 85 | 0 | 373 | 312 | 373 | 218 |8767 | 207 |3076 | 0.000000e+00 | 9.000000e+01 | Inf
165.99/166.09 c 166s|530000 |532776 |562416 | 1.1 | 425M| 85 | 0 | 373 | 312 | 373 | 218 |8768 | 207 |3076 | 0.000000e+00 | 9.000000e+01 | Inf
169.09/169.19 c 169s|540000 |542776 |571885 | 1.1 | 433M| 85 | 0 | 373 | 312 | 373 | 218 |8768 | 207 |3082 | 0.000000e+00 | 9.000000e+01 | Inf
171.79/171.84 c 172s|550000 |552776 |573492 | 1.0 | 440M| 85 | 0 | 373 | 312 | 373 | 217 |8768 | 207 |3082 | 0.000000e+00 | 9.000000e+01 | Inf
174.39/174.41 c 174s|560000 |562776 |573993 | 1.0 | 446M| 85 | 0 | 373 | 312 | 373 | 218 |8768 | 207 |3082 | 0.000000e+00 | 9.000000e+01 | Inf
177.00/177.06 c 177s|570000 |572776 |575555 | 1.0 | 453M| 85 | 0 | 373 | 312 | 373 | 218 |8768 | 207 |3082 | 0.000000e+00 | 9.000000e+01 | Inf
180.40/180.44 c 180s|580000 |582776 |588287 | 1.0 | 461M| 85 | 0 | 373 | 312 | 373 | 218 |9008 | 207 |3112 | 0.000000e+00 | 9.000000e+01 | Inf
183.70/183.75 c 184s|590000 |592776 |601975 | 1.0 | 469M| 85 | 0 | 373 | 312 | 373 | 218 |9218 | 207 |3123 | 0.000000e+00 | 9.000000e+01 | Inf
186.60/186.69 c 187s|600000 |602776 |608981 | 1.0 | 477M| 85 | 0 | 373 | 312 | 373 | 218 |9258 | 207 |3134 | 0.000000e+00 | 9.000000e+01 | Inf
189.20/189.24 c 189s|610000 |612776 |609124 | 1.0 | 484M| 85 | 0 | 373 | 312 | 373 | 217 |9258 | 207 |3134 | 0.000000e+00 | 9.000000e+01 | Inf
191.69/191.78 c 192s|620000 |622776 |609351 | 1.0 | 490M| 85 | 0 | 373 | 312 | 373 | 218 |9258 | 207 |3134 | 0.000000e+00 | 9.000000e+01 | Inf
194.30/194.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
194.30/194.33 c 194s|630000 |632776 |609669 | 1.0 | 497M| 85 | 0 | 373 | 312 | 373 | 218 |9258 | 207 |3134 | 0.000000e+00 | 9.000000e+01 | Inf
197.39/197.46 c 197s|640000 |642776 |619571 | 1.0 | 504M| 85 | 0 | 373 | 312 | 373 | 218 |9664 | 207 |3148 | 0.000000e+00 | 9.000000e+01 | Inf
200.70/200.72 c 201s|650000 |652776 |633297 | 1.0 | 512M| 85 | 0 | 373 | 312 | 373 | 217 |9664 | 207 |3154 | 0.000000e+00 | 9.000000e+01 | Inf
204.19/204.20 c 204s|660000 |662776 |647931 | 1.0 | 521M| 85 | 0 | 373 | 312 | 373 | 217 |9844 | 207 |3168 | 0.000000e+00 | 9.000000e+01 | Inf
207.40/207.48 c 207s|670000 |672776 |660916 | 1.0 | 529M| 85 | 0 | 373 | 312 | 373 | 218 |9951 | 207 |3175 | 0.000000e+00 | 9.000000e+01 | Inf
210.79/210.88 c 211s|680000 |682776 |676176 | 1.0 | 538M| 85 | 0 | 373 | 312 | 373 | 218 | 10k| 207 |3187 | 0.000000e+00 | 9.000000e+01 | Inf
214.19/214.25 c 214s|690000 |692776 |690252 | 1.0 | 546M| 85 | 0 | 373 | 312 | 373 | 218 | 10k| 207 |3199 | 0.000000e+00 | 9.000000e+01 | Inf
217.60/217.62 c 218s|700000 |702776 |704339 | 1.0 | 554M| 85 | 1 | 373 | 312 | 373 | 218 | 10k| 207 |3207 | 0.000000e+00 | 9.000000e+01 | Inf
221.00/221.05 c 221s|710000 |712776 |717430 | 1.0 | 563M| 85 | 0 | 373 | 312 | 373 | 218 | 10k| 207 |3243 | 0.000000e+00 | 9.000000e+01 | Inf
224.30/224.34 c 224s|720000 |722776 |729673 | 1.0 | 571M| 85 | 0 | 373 | 312 | 373 | 217 | 11k| 207 |3251 | 0.000000e+00 | 9.000000e+01 | Inf
226.89/226.95 c 227s|730000 |732776 |730206 | 1.0 | 577M| 85 | 0 | 373 | 312 | 373 | 218 | 11k| 207 |3251 | 0.000000e+00 | 9.000000e+01 | Inf
229.49/229.55 c 230s|740000 |742776 |730754 | 1.0 | 584M| 85 | 0 | 373 | 312 | 373 | 218 | 11k| 207 |3254 | 0.000000e+00 | 9.000000e+01 | Inf
232.10/232.18 c 232s|750000 |752776 |731596 | 1.0 | 590M| 85 | 0 | 373 | 312 | 373 | 218 | 11k| 207 |3254 | 0.000000e+00 | 9.000000e+01 | Inf
234.80/234.83 c 235s|760000 |762776 |732865 | 1.0 | 597M| 85 | 0 | 373 | 312 | 373 | 218 | 11k| 207 |3254 | 0.000000e+00 | 9.000000e+01 | Inf
237.50/237.54 c 238s|770000 |772776 |735015 | 1.0 | 604M| 85 | 0 | 373 | 312 | 373 | 218 | 11k| 207 |3254 | 0.000000e+00 | 9.000000e+01 | Inf
240.30/240.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
240.30/240.35 c 240s|780000 |782776 |738541 | 0.9 | 611M| 85 | 0 | 373 | 312 | 373 | 218 | 11k| 207 |3257 | 0.000000e+00 | 9.000000e+01 | Inf
243.00/243.02 c 243s|790000 |792776 |740201 | 0.9 | 618M| 85 | 0 | 373 | 312 | 373 | 217 | 11k| 207 |3257 | 0.000000e+00 | 9.000000e+01 | Inf
246.00/246.05 c 246s|800000 |802776 |747868 | 0.9 | 625M| 85 | 0 | 373 | 312 | 373 | 218 | 11k| 207 |3260 | 0.000000e+00 | 9.000000e+01 | Inf
249.30/249.33 c 249s|810000 |812776 |759821 | 0.9 | 634M| 85 | 0 | 373 | 312 | 373 | 218 | 11k| 207 |3266 | 0.000000e+00 | 9.000000e+01 | Inf
252.70/252.78 c 253s|820000 |822776 |774733 | 0.9 | 642M| 85 | 0 | 373 | 312 | 373 | 218 | 11k| 207 |3275 | 0.000000e+00 | 9.000000e+01 | Inf
256.20/256.23 c 256s|830000 |832776 |789451 | 1.0 | 651M| 85 | 0 | 373 | 312 | 373 | 218 | 11k| 207 |3281 | 0.000000e+00 | 9.000000e+01 | Inf
259.60/259.68 c 260s|840000 |842776 |804107 | 1.0 | 659M| 85 | 0 | 373 | 312 | 373 | 218 | 11k| 207 |3287 | 0.000000e+00 | 9.000000e+01 | Inf
263.10/263.11 c 263s|850000 |852776 |818319 | 1.0 | 668M| 85 | 3 | 373 | 312 | 373 | 218 | 11k| 207 |3296 | 0.000000e+00 | 9.000000e+01 | Inf
266.39/266.48 c 266s|860000 |862776 |832192 | 1.0 | 677M| 85 | 0 | 373 | 312 | 373 | 218 | 11k| 207 |3302 | 0.000000e+00 | 9.000000e+01 | Inf
269.80/269.89 c 270s|870000 |872776 |846534 | 1.0 | 685M| 85 | 0 | 373 | 312 | 373 | 218 | 11k| 207 |3338 | 0.000000e+00 | 9.000000e+01 | Inf
273.69/273.74 c 274s|880000 |882776 |858383 | 1.0 | 695M| 85 | 0 | 373 | 312 | 373 | 218 | 11k| 207 |3430 | 0.000000e+00 | 9.000000e+01 | Inf
277.59/277.67 c 278s|890000 |892776 |869441 | 1.0 | 704M| 85 | 0 | 373 | 312 | 373 | 218 | 11k| 207 |3432 | 0.000000e+00 | 9.000000e+01 | Inf
281.30/281.37 c 281s|900000 |902776 |882995 | 1.0 | 713M| 85 | 0 | 373 | 312 | 373 | 218 | 11k| 207 |3598 | 0.000000e+00 | 9.000000e+01 | Inf
284.50/284.59 c 285s|910000 |912776 |896668 | 1.0 | 721M| 85 | 0 | 373 | 311 | 373 | 218 | 11k| 207 |3650 | 0.000000e+00 | 9.000000e+01 | Inf
287.89/287.91 c 288s|920000 |922776 |914652 | 1.0 | 730M| 85 | 0 | 373 | 311 | 373 | 218 | 11k| 207 |3669 | 0.000000e+00 | 9.000000e+01 | Inf
291.20/291.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
291.20/291.20 c 291s|930000 |932776 |931889 | 1.0 | 738M| 85 | 0 | 373 | 311 | 373 | 218 | 11k| 207 |3685 | 0.000000e+00 | 9.000000e+01 | Inf
294.70/294.71 c 295s|940000 |942776 |944494 | 1.0 | 747M| 85 | 0 | 373 | 311 | 373 | 218 | 11k| 207 |3723 | 0.000000e+00 | 9.000000e+01 | Inf
298.10/298.11 c 298s|950000 |952776 |959322 | 1.0 | 755M| 85 | 0 | 373 | 311 | 373 | 218 | 11k| 207 |3739 | 0.000000e+00 | 9.000000e+01 | Inf
301.30/301.39 c 301s|960000 |962776 |972648 | 1.0 | 764M| 85 | 0 | 373 | 311 | 373 | 218 | 11k| 207 |3753 | 0.000000e+00 | 9.000000e+01 | Inf
303.89/303.95 c 304s|970000 |972776 |973168 | 1.0 | 770M| 85 | 0 | 373 | 311 | 373 | 218 | 11k| 207 |3753 | 0.000000e+00 | 9.000000e+01 | Inf
306.39/306.49 c 306s|980000 |982776 |973609 | 1.0 | 776M| 85 | 0 | 373 | 311 | 373 | 218 | 11k| 207 |3753 | 0.000000e+00 | 9.000000e+01 | Inf
309.69/309.71 c 310s|990000 |992776 |984956 | 1.0 | 784M| 85 | 1 | 373 | 311 | 373 | 218 | 11k| 207 |3811 | 0.000000e+00 | 9.000000e+01 | Inf
313.10/313.13 c 313s| 1000k| 1002k|999039 | 1.0 | 792M| 85 | 0 | 373 | 311 | 373 | 217 | 11k| 207 |3858 | 0.000000e+00 | 9.000000e+01 | Inf
316.99/317.01 c 317s| 1010k| 1012k| 1012k| 1.0 | 802M| 85 | 0 | 373 | 303 | 373 | 218 | 11k| 208 |4190 | 0.000000e+00 | 9.000000e+01 | Inf
320.80/320.81 c 321s| 1020k| 1022k| 1029k| 1.0 | 811M| 85 | 0 | 373 | 302 | 373 | 218 | 12k| 211 |4428 | 0.000000e+00 | 9.000000e+01 | Inf
324.29/324.35 c 324s| 1030k| 1032k| 1037k| 1.0 | 819M| 85 | 2 | 373 | 296 | 373 | 217 | 12k| 211 |4525 | 0.000000e+00 | 9.000000e+01 | Inf
328.09/328.20 c 328s| 1040k| 1042k| 1051k| 1.0 | 828M| 85 | 3 | 373 | 298 | 373 | 218 | 13k| 217 |4787 | 0.000000e+00 | 9.000000e+01 | Inf
331.69/331.70 c 332s| 1050k| 1052k| 1066k| 1.0 | 837M| 85 | 0 | 373 | 297 | 373 | 218 | 13k| 217 |4807 | 0.000000e+00 | 9.000000e+01 | Inf
335.00/335.06 c 335s| 1060k| 1062k| 1079k| 1.0 | 846M| 85 | 0 | 373 | 297 | 373 | 217 | 13k| 217 |4916 | 0.000000e+00 | 9.000000e+01 | Inf
338.29/338.30 c 338s| 1070k| 1072k| 1089k| 1.0 | 854M| 85 | 0 | 373 | 299 | 373 | 217 | 13k| 219 |4928 | 0.000000e+00 | 9.000000e+01 | Inf
341.60/341.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
341.60/341.66 c 342s| 1080k| 1082k| 1104k| 1.0 | 863M| 85 | 0 | 373 | 298 | 373 | 218 | 13k| 219 |4933 | 0.000000e+00 | 9.000000e+01 | Inf
344.99/345.05 c 345s| 1090k| 1092k| 1118k| 1.0 | 871M| 85 | 0 | 373 | 298 | 373 | 218 | 13k| 219 |4969 | 0.000000e+00 | 9.000000e+01 | Inf
348.30/348.37 c 348s| 1100k| 1102k| 1131k| 1.0 | 880M| 85 | 2 | 373 | 298 | 373 | 217 | 13k| 219 |5014 | 0.000000e+00 | 9.000000e+01 | Inf
351.70/351.74 c 352s| 1110k| 1112k| 1146k| 1.0 | 888M| 85 | 0 | 373 | 298 | 373 | 217 | 13k| 219 |5024 | 0.000000e+00 | 9.000000e+01 | Inf
355.10/355.11 c 355s| 1120k| 1122k| 1159k| 1.0 | 897M| 85 | 0 | 373 | 298 | 373 | 217 | 13k| 219 |5101 | 0.000000e+00 | 9.000000e+01 | Inf
358.51/358.53 c 359s| 1130k| 1132k| 1174k| 1.0 | 906M| 85 | 0 | 373 | 297 | 373 | 218 | 13k| 219 |5133 | 0.000000e+00 | 9.000000e+01 | Inf
361.90/361.98 c 362s| 1140k| 1142k| 1189k| 1.0 | 915M| 85 | 1 | 373 | 297 | 373 | 218 | 13k| 219 |5147 | 0.000000e+00 | 9.000000e+01 | Inf
365.40/365.43 c 365s| 1150k| 1152k| 1204k| 1.0 | 924M| 85 | 0 | 373 | 297 | 373 | 218 | 13k| 219 |5153 | 0.000000e+00 | 9.000000e+01 | Inf
368.90/368.93 c 369s| 1160k| 1162k| 1220k| 1.1 | 933M| 85 | 2 | 373 | 297 | 373 | 217 | 13k| 219 |5273 | 0.000000e+00 | 9.000000e+01 | Inf
372.50/372.57 c 373s| 1170k| 1172k| 1236k| 1.1 | 942M| 85 | 2 | 373 | 297 | 373 | 218 | 13k| 219 |5538 | 0.000000e+00 | 9.000000e+01 | Inf
376.10/376.16 c 376s| 1180k| 1182k| 1253k| 1.1 | 951M| 85 | 0 | 373 | 297 | 373 | 218 | 13k| 219 |5691 | 0.000000e+00 | 9.000000e+01 | Inf
379.70/379.71 c 380s| 1190k| 1192k| 1268k| 1.1 | 960M| 85 | 0 | 373 | 299 | 373 | 218 | 13k| 224 |5861 | 0.000000e+00 | 9.000000e+01 | Inf
383.00/383.03 c 383s| 1200k| 1202k| 1279k| 1.1 | 969M| 85 | 0 | 373 | 297 | 373 | 217 | 13k| 227 |5980 | 0.000000e+00 | 9.000000e+01 | Inf
386.40/386.45 c 386s| 1210k| 1212k| 1296k| 1.1 | 977M| 85 | 0 | 373 | 298 | 373 | 218 | 13k| 230 |6034 | 0.000000e+00 | 9.000000e+01 | Inf
389.99/390.09 c 390s| 1220k| 1222k| 1315k| 1.1 | 986M| 85 | 0 | 373 | 298 | 373 | 218 | 13k| 230 |6177 | 0.000000e+00 | 9.000000e+01 | Inf
393.60/393.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
393.60/393.62 c 394s| 1230k| 1232k| 1331k| 1.1 | 995M| 85 | 0 | 373 | 298 | 373 | 217 | 13k| 230 |6187 | 0.000000e+00 | 9.000000e+01 | Inf
397.11/397.10 c 397s| 1240k| 1242k| 1347k| 1.1 |1004M| 85 | 0 | 373 | 298 | 373 | 218 | 13k| 230 |6188 | 0.000000e+00 | 9.000000e+01 | Inf
400.60/400.64 c 401s| 1250k| 1252k| 1365k| 1.1 |1013M| 85 | 1 | 373 | 297 | 373 | 218 | 13k| 230 |6188 | 0.000000e+00 | 9.000000e+01 | Inf
404.30/404.39 c 404s| 1260k| 1262k| 1383k| 1.1 |1022M| 85 | 0 | 373 | 297 | 373 | 218 | 13k| 231 |6259 | 0.000000e+00 | 9.000000e+01 | Inf
407.79/407.84 c 408s| 1270k| 1272k| 1400k| 1.1 |1031M| 85 | 1 | 373 | 297 | 373 | 218 | 13k| 231 |6266 | 0.000000e+00 | 9.000000e+01 | Inf
411.31/411.31 c 411s| 1280k| 1282k| 1417k| 1.1 |1040M| 85 | 0 | 373 | 296 | 373 | 218 | 13k| 231 |6286 | 0.000000e+00 | 9.000000e+01 | Inf
414.80/414.80 c 415s| 1290k| 1292k| 1434k| 1.1 |1049M| 85 | 1 | 373 | 294 | 373 | 217 | 13k| 231 |6303 | 0.000000e+00 | 9.000000e+01 | Inf
418.09/418.16 c 418s| 1300k| 1302k| 1451k| 1.1 |1058M| 85 | 0 | 373 | 291 | 373 | 218 | 13k| 232 |6318 | 0.000000e+00 | 9.000000e+01 | Inf
421.60/421.60 c 422s| 1310k| 1312k| 1466k| 1.1 |1067M| 85 | 0 | 373 | 294 | 373 | 218 | 13k| 235 |6357 | 0.000000e+00 | 9.000000e+01 | Inf
425.10/425.18 c 425s| 1320k| 1322k| 1483k| 1.1 |1076M| 85 | 1 | 373 | 287 | 373 | 217 | 13k| 236 |6547 | 0.000000e+00 | 9.000000e+01 | Inf
428.80/428.80 c 429s| 1330k| 1332k| 1498k| 1.1 |1084M| 85 | 3 | 373 | 287 | 373 | 217 | 13k| 236 |6569 | 0.000000e+00 | 9.000000e+01 | Inf
432.31/432.32 c 432s| 1340k| 1342k| 1514k| 1.1 |1093M| 85 | 0 | 373 | 287 | 373 | 218 | 13k| 236 |6593 | 0.000000e+00 | 9.000000e+01 | Inf
435.79/435.89 c 436s| 1350k| 1352k| 1531k| 1.1 |1103M| 85 | 1 | 373 | 287 | 373 | 217 | 13k| 236 |6613 | 0.000000e+00 | 9.000000e+01 | Inf
439.30/439.34 c 439s| 1360k| 1362k| 1548k| 1.1 |1112M| 85 | 0 | 373 | 287 | 373 | 217 | 13k| 236 |6627 | 0.000000e+00 | 9.000000e+01 | Inf
442.80/442.83 c 443s| 1370k| 1372k| 1564k| 1.1 |1121M| 85 | 0 | 373 | 287 | 373 | 217 | 13k| 236 |6652 | 0.000000e+00 | 9.000000e+01 | Inf
446.30/446.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
446.30/446.35 c 446s| 1380k| 1382k| 1580k| 1.1 |1130M| 85 | 0 | 373 | 287 | 373 | 217 | 13k| 236 |6676 | 0.000000e+00 | 9.000000e+01 | Inf
449.80/449.88 c 450s| 1390k| 1392k| 1597k| 1.1 |1140M| 85 | 3 | 373 | 287 | 373 | 218 | 13k| 236 |6694 | 0.000000e+00 | 9.000000e+01 | Inf
453.40/453.41 c 453s| 1400k| 1402k| 1613k| 1.2 |1149M| 85 | 4 | 373 | 287 | 373 | 217 | 13k| 236 |6714 | 0.000000e+00 | 9.000000e+01 | Inf
456.90/456.94 c 457s| 1410k| 1412k| 1629k| 1.2 |1158M| 85 | 0 | 373 | 287 | 373 | 217 | 13k| 236 |6735 | 0.000000e+00 | 9.000000e+01 | Inf
460.40/460.49 c 460s| 1420k| 1422k| 1644k| 1.2 |1166M| 85 | 0 | 373 | 304 | 373 | 218 | 13k| 261 |7055 | 0.000000e+00 | 9.000000e+01 | Inf
464.11/464.15 c 464s| 1430k| 1432k| 1666k| 1.2 |1175M| 85 | 1 | 373 | 308 | 373 | 217 | 14k| 265 |7089 | 0.000000e+00 | 9.000000e+01 | Inf
467.50/467.53 c 468s| 1440k| 1442k| 1678k| 1.2 |1183M| 85 | 0 | 373 | 304 | 373 | 217 | 14k| 265 |7115 | 0.000000e+00 | 9.000000e+01 | Inf
470.39/470.43 c 470s| 1450k| 1452k| 1681k| 1.2 |1191M| 85 | 0 | 373 | 304 | 373 | 218 | 14k| 265 |7116 | 0.000000e+00 | 9.000000e+01 | Inf
473.30/473.35 c 473s| 1460k| 1462k| 1685k| 1.2 |1198M| 85 | 0 | 373 | 303 | 373 | 218 | 14k| 265 |7116 | 0.000000e+00 | 9.000000e+01 | Inf
476.20/476.30 c 476s| 1470k| 1472k| 1689k| 1.1 |1205M| 85 | 0 | 373 | 303 | 373 | 217 | 14k| 267 |7126 | 0.000000e+00 | 9.000000e+01 | Inf
479.10/479.14 c 479s| 1480k| 1482k| 1692k| 1.1 |1213M| 85 | 0 | 373 | 304 | 373 | 217 | 14k| 271 |7148 | 0.000000e+00 | 9.000000e+01 | Inf
482.10/482.11 c 482s| 1490k| 1492k| 1699k| 1.1 |1220M| 85 | 3 | 373 | 306 | 373 | 217 | 14k| 275 |7217 | 0.000000e+00 | 9.000000e+01 | Inf
485.50/485.51 c 486s| 1500k| 1502k| 1713k| 1.1 |1229M| 85 | 0 | 373 | 291 | 373 | 217 | 14k| 277 |7236 | 0.000000e+00 | 9.000000e+01 | Inf
488.50/488.58 c 489s| 1510k| 1512k| 1722k| 1.1 |1237M| 85 | 0 | 373 | 289 | 373 | 217 | 14k| 278 |7307 | 0.000000e+00 | 9.000000e+01 | Inf
492.00/492.03 c 492s| 1520k| 1522k| 1737k| 1.1 |1246M| 85 | 1 | 373 | 289 | 373 | 217 | 14k| 278 |7355 | 0.000000e+00 | 9.000000e+01 | Inf
495.40/495.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
495.40/495.47 c 495s| 1530k| 1532k| 1751k| 1.1 |1255M| 85 | 0 | 373 | 292 | 373 | 217 | 14k| 282 |7420 | 0.000000e+00 | 9.000000e+01 | Inf
498.70/498.74 c 499s| 1540k| 1542k| 1763k| 1.1 |1263M| 85 | 0 | 373 | 295 | 373 | 218 | 14k| 285 |7479 | 0.000000e+00 | 9.000000e+01 | Inf
501.40/501.41 c 501s| 1550k| 1552k| 1764k| 1.1 |1270M| 85 | 0 | 373 | 296 | 373 | 217 | 14k| 286 |7480 | 0.000000e+00 | 9.000000e+01 | Inf
504.10/504.12 c 504s| 1560k| 1562k| 1765k| 1.1 |1276M| 85 | 0 | 373 | 296 | 373 | 217 | 14k| 286 |7484 | 0.000000e+00 | 9.000000e+01 | Inf
507.80/507.87 c 508s| 1570k| 1572k| 1782k| 1.1 |1285M| 85 | 0 | 373 | 306 | 373 | 218 | 14k| 299 |7572 | 0.000000e+00 | 9.000000e+01 | Inf
511.60/511.69 c 512s| 1580k| 1582k| 1797k| 1.1 |1294M| 85 | 0 | 373 | 304 | 373 | 217 | 15k| 299 |7594 | 0.000000e+00 | 9.000000e+01 | Inf
514.70/514.79 c 515s| 1590k| 1592k| 1805k| 1.1 |1303M| 85 | 0 | 373 | 304 | 373 | 217 | 15k| 302 |7659 | 0.000000e+00 | 9.000000e+01 | Inf
517.89/517.95 c 518s| 1600k| 1603k| 1817k| 1.1 |1311M| 85 | 0 | 373 | 314 | 373 | 217 | 15k| 316 |7832 | 0.000000e+00 | 9.000000e+01 | Inf
520.50/520.52 c 521s| 1610k| 1613k| 1817k| 1.1 |1317M| 85 | 0 | 373 | 313 | 373 | 218 | 15k| 316 |7832 | 0.000000e+00 | 9.000000e+01 | Inf
523.00/523.03 c 523s| 1620k| 1623k| 1817k| 1.1 |1324M| 85 | 0 | 373 | 312 | 373 | 218 | 15k| 316 |7832 | 0.000000e+00 | 9.000000e+01 | Inf
525.50/525.55 c 526s| 1630k| 1633k| 1818k| 1.1 |1330M| 85 | 0 | 373 | 312 | 373 | 218 | 15k| 316 |7832 | 0.000000e+00 | 9.000000e+01 | Inf
528.60/528.67 c 529s| 1640k| 1643k| 1828k| 1.1 |1338M| 85 | 0 | 373 | 310 | 373 | 218 | 15k| 316 |7837 | 0.000000e+00 | 9.000000e+01 | Inf
532.40/532.41 c 532s| 1650k| 1653k| 1847k| 1.1 |1349M| 85 | 0 | 373 | 309 | 373 | 218 | 15k| 328 |8209 | 0.000000e+00 | 9.000000e+01 | Inf
536.09/536.10 c 536s| 1660k| 1663k| 1866k| 1.1 |1360M| 85 | 0 | 373 | 306 | 373 | 218 | 15k| 333 |8545 | 0.000000e+00 | 9.000000e+01 | Inf
539.60/539.67 c 540s| 1670k| 1673k| 1881k| 1.1 |1369M| 85 | 0 | 373 | 321 | 373 | 218 | 15k| 356 |8922 | 0.000000e+00 | 9.000000e+01 | Inf
543.60/543.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
543.60/543.61 c 544s| 1680k| 1683k| 1901k| 1.1 |1378M| 85 | 0 | 373 | 323 | 373 | 217 | 16k| 366 |9148 | 0.000000e+00 | 9.000000e+01 | Inf
547.40/547.47 c 547s| 1690k| 1693k| 1920k| 1.1 |1387M| 85 | 0 | 373 | 316 | 373 | 218 | 16k| 368 |9519 | 0.000000e+00 | 9.000000e+01 | Inf
550.80/550.88 c 551s| 1700k| 1703k| 1933k| 1.1 |1396M| 85 | 0 | 373 | 316 | 373 | 217 | 16k| 368 |9519 | 0.000000e+00 | 9.000000e+01 | Inf
554.40/554.45 c 554s| 1710k| 1713k| 1949k| 1.1 |1405M| 85 | 0 | 373 | 315 | 373 | 217 | 16k| 370 |9539 | 0.000000e+00 | 9.000000e+01 | Inf
557.40/557.42 c 557s| 1720k| 1723k| 1952k| 1.1 |1413M| 85 | 0 | 373 | 315 | 373 | 218 | 16k| 371 |9545 | 0.000000e+00 | 9.000000e+01 | Inf
560.30/560.36 c 560s| 1730k| 1733k| 1953k| 1.1 |1420M| 85 | 0 | 373 | 317 | 373 | 218 | 16k| 375 |9546 | 0.000000e+00 | 9.000000e+01 | Inf
563.30/563.34 c 563s| 1740k| 1743k| 1955k| 1.1 |1427M| 85 | 0 | 373 | 317 | 373 | 217 | 16k| 375 |9550 | 0.000000e+00 | 9.000000e+01 | Inf
566.30/566.38 c 566s| 1750k| 1753k| 1959k| 1.1 |1435M| 85 | 0 | 373 | 316 | 373 | 218 | 16k| 376 |9550 | 0.000000e+00 | 9.000000e+01 | Inf
570.00/570.05 c 570s| 1760k| 1763k| 1973k| 1.1 |1443M| 85 | 1 | 373 | 318 | 373 | 217 | 16k| 388 |9588 | 0.000000e+00 | 9.000000e+01 | Inf
573.60/573.63 c 574s| 1770k| 1773k| 1987k| 1.1 |1452M| 85 | 1 | 373 | 313 | 373 | 217 | 16k| 389 |9624 | 0.000000e+00 | 9.000000e+01 | Inf
577.10/577.10 c 577s| 1780k| 1783k| 2001k| 1.1 |1462M| 85 | 1 | 373 | 313 | 373 | 217 | 16k| 395 |9624 | 0.000000e+00 | 9.000000e+01 | Inf
580.60/580.67 c 581s| 1790k| 1793k| 2017k| 1.1 |1471M| 85 | 1 | 373 | 312 | 373 | 218 | 16k| 395 |9637 | 0.000000e+00 | 9.000000e+01 | Inf
584.40/584.43 c 584s| 1800k| 1803k| 2032k| 1.1 |1480M| 85 | 0 | 373 | 311 | 373 | 217 | 17k| 395 |9641 | 0.000000e+00 | 9.000000e+01 | Inf
587.90/587.94 c 588s| 1810k| 1813k| 2048k| 1.1 |1489M| 85 | 0 | 373 | 310 | 373 | 217 | 17k| 395 |9643 | 0.000000e+00 | 9.000000e+01 | Inf
591.61/591.64 c 592s| 1820k| 1823k| 2064k| 1.1 |1499M| 85 | 0 | 373 | 310 | 373 | 217 | 18k| 395 |9650 | 0.000000e+00 | 9.000000e+01 | Inf
595.20/595.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
595.20/595.20 c 595s| 1830k| 1833k| 2077k| 1.1 |1508M| 85 | 0 | 373 | 310 | 373 | 217 | 18k| 396 |9685 | 0.000000e+00 | 9.000000e+01 | Inf
598.80/598.81 c 599s| 1840k| 1843k| 2092k| 1.1 |1517M| 85 | 0 | 373 | 309 | 373 | 217 | 18k| 396 |9712 | 0.000000e+00 | 9.000000e+01 | Inf
601.80/601.89 c 602s| 1850k| 1853k| 2096k| 1.1 |1524M| 85 | 0 | 373 | 309 | 373 | 217 | 18k| 397 |9718 | 0.000000e+00 | 9.000000e+01 | Inf
602.30/602.39 o 89
602.30/602.39 c * 602s| 1851k| 1854k| 2097k| 1.1 |1526M| 85 | - | 373 | 309 | 373 | 219 | 18k| 397 |9725 | 0.000000e+00 | 8.900000e+01 | Inf
605.10/605.11 c 605s| 1860k| 1862k| 2104k| 1.1 |1533M| 85 | 0 | 373 | 304 | 373 | 218 | 18k| 397 |9753 | 0.000000e+00 | 8.900000e+01 | Inf
608.70/608.72 c 609s| 1870k| 1872k| 2120k| 1.1 |1542M| 85 | 1 | 373 | 305 | 373 | 217 | 18k| 398 |9766 | 0.000000e+00 | 8.900000e+01 | Inf
612.31/612.39 c 612s| 1880k| 1882k| 2134k| 1.1 |1551M| 85 | 0 | 373 | 306 | 373 | 217 | 18k| 402 |9770 | 0.000000e+00 | 8.900000e+01 | Inf
615.91/615.95 c 616s| 1890k| 1892k| 2148k| 1.1 |1560M| 85 | 0 | 373 | 308 | 373 | 218 | 18k| 405 |9839 | 0.000000e+00 | 8.900000e+01 | Inf
619.70/619.77 c 620s| 1900k| 1902k| 2164k| 1.1 |1569M| 85 | 0 | 373 | 307 | 373 | 218 | 19k| 405 |9845 | 0.000000e+00 | 8.900000e+01 | Inf
623.30/623.37 c 623s| 1910k| 1912k| 2179k| 1.1 |1578M| 85 | 0 | 373 | 306 | 373 | 217 | 19k| 405 |9873 | 0.000000e+00 | 8.900000e+01 | Inf
626.81/626.82 c 627s| 1920k| 1922k| 2192k| 1.1 |1587M| 85 | 0 | 373 | 310 | 373 | 218 | 19k| 409 |9909 | 0.000000e+00 | 8.900000e+01 | Inf
630.40/630.44 c 630s| 1930k| 1932k| 2206k| 1.1 |1595M| 85 | 0 | 373 | 309 | 373 | 218 | 20k| 411 |9929 | 0.000000e+00 | 8.900000e+01 | Inf
634.01/634.05 c 634s| 1940k| 1942k| 2220k| 1.1 |1604M| 85 | 1 | 373 | 308 | 373 | 218 | 20k| 411 |9952 | 0.000000e+00 | 8.900000e+01 | Inf
637.60/637.69 c 638s| 1950k| 1952k| 2235k| 1.1 |1613M| 85 | 0 | 373 | 307 | 373 | 218 | 21k| 416 |9985 | 0.000000e+00 | 8.900000e+01 | Inf
641.00/641.09 c 641s| 1960k| 1962k| 2248k| 1.1 |1621M| 85 | 0 | 373 | 306 | 373 | 218 | 21k| 416 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
644.51/644.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
644.51/644.54 c 645s| 1970k| 1972k| 2260k| 1.1 |1630M| 85 | 0 | 373 | 307 | 373 | 217 | 21k| 419 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
648.41/648.45 c 648s| 1980k| 1982k| 2271k| 1.1 |1639M| 85 | 0 | 373 | 306 | 373 | 217 | 21k| 420 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
652.50/652.55 c 653s| 1990k| 1993k| 2284k| 1.1 |1649M| 85 | 0 | 373 | 325 | 373 | 218 | 21k| 439 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
656.10/656.12 c 656s| 2000k| 2002k| 2295k| 1.1 |1659M| 85 | 0 | 373 | 644 | 373 | 218 | 21k| 758 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
659.90/659.90 c 660s| 2010k| 2012k| 2309k| 1.1 |1671M| 85 | 0 | 373 | 726 | 373 | 218 | 21k| 846 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
663.90/663.92 c 664s| 2020k| 2022k| 2325k| 1.2 |1682M| 85 | 1 | 373 | 318 | 373 | 217 | 21k| 858 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
666.90/666.95 c 667s| 2030k| 2032k| 2329k| 1.1 |1689M| 85 | 0 | 373 | 318 | 373 | 217 | 21k| 858 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
670.20/670.20 c 670s| 2040k| 2042k| 2337k| 1.1 |1697M| 85 | 0 | 373 | 307 | 373 | 217 | 21k| 871 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
673.40/673.41 c 673s| 2050k| 2052k| 2346k| 1.1 |1705M| 85 | 0 | 373 | 310 | 373 | 218 | 21k| 874 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
676.60/676.68 c 677s| 2060k| 2062k| 2354k| 1.1 |1713M| 85 | 0 | 373 | 312 | 373 | 217 | 21k| 876 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
679.80/679.82 c 680s| 2070k| 2072k| 2360k| 1.1 |1721M| 85 | 0 | 373 | 312 | 373 | 218 | 21k| 876 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
682.90/682.92 c 683s| 2080k| 2082k| 2366k| 1.1 |1728M| 85 | 0 | 373 | 312 | 373 | 218 | 21k| 876 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
685.90/685.97 c 686s| 2090k| 2092k| 2371k| 1.1 |1736M| 85 | 0 | 373 | 312 | 373 | 218 | 21k| 876 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
688.90/688.95 c 689s| 2100k| 2102k| 2375k| 1.1 |1743M| 85 | 0 | 373 | 312 | 373 | 218 | 21k| 876 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
692.00/692.06 c 692s| 2110k| 2112k| 2382k| 1.1 |1751M| 85 | 0 | 373 | 312 | 373 | 218 | 21k| 876 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
694.90/694.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
694.90/694.95 c 695s| 2120k| 2122k| 2384k| 1.1 |1758M| 85 | 0 | 373 | 312 | 373 | 218 | 21k| 876 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
697.70/697.79 c 698s| 2130k| 2132k| 2385k| 1.1 |1765M| 85 | 0 | 373 | 312 | 373 | 218 | 21k| 876 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
701.00/701.04 c 701s| 2140k| 2142k| 2392k| 1.1 |1774M| 85 | 0 | 373 | 312 | 373 | 217 | 21k| 876 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
704.20/704.27 c 704s| 2150k| 2152k| 2401k| 1.1 |1782M| 85 | 0 | 373 | 310 | 373 | 217 | 21k| 876 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
707.50/707.53 c 708s| 2160k| 2162k| 2411k| 1.1 |1791M| 85 | 0 | 373 | 310 | 373 | 217 | 21k| 876 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
710.61/710.69 c 711s| 2170k| 2172k| 2419k| 1.1 |1799M| 85 | 0 | 373 | 310 | 373 | 217 | 21k| 876 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
713.61/713.65 c 714s| 2180k| 2182k| 2424k| 1.1 |1806M| 85 | 0 | 373 | 310 | 373 | 218 | 21k| 877 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
716.50/716.53 c 717s| 2190k| 2192k| 2427k| 1.1 |1813M| 85 | 0 | 373 | 310 | 373 | 217 | 21k| 877 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
719.30/719.38 c 719s| 2200k| 2202k| 2428k| 1.1 |1821M| 85 | 0 | 373 | 310 | 373 | 217 | 21k| 877 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
722.20/722.23 c 722s| 2210k| 2212k| 2430k| 1.1 |1828M| 85 | 0 | 373 | 310 | 373 | 217 | 21k| 877 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
725.40/725.47 c 725s| 2220k| 2222k| 2436k| 1.1 |1836M| 85 | 1 | 373 | 311 | 373 | 217 | 21k| 878 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
728.80/728.82 c 729s| 2230k| 2233k| 2443k| 1.1 |1844M| 85 | 0 | 373 | 312 | 373 | 217 | 21k| 879 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
732.20/732.23 c 732s| 2240k| 2243k| 2451k| 1.1 |1853M| 85 | 0 | 373 | 312 | 373 | 217 | 21k| 879 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
735.60/735.66 c 736s| 2250k| 2254k| 2459k| 1.1 |1861M| 85 | 0 | 373 | 312 | 373 | 217 | 21k| 879 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
739.00/739.08 c 739s| 2260k| 2265k| 2466k| 1.1 |1869M| 85 | 0 | 373 | 313 | 373 | 217 | 21k| 881 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
742.70/742.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
742.70/742.70 c 743s| 2270k| 2275k| 2475k| 1.1 |1878M| 85 | 0 | 373 | 313 | 373 | 217 | 21k| 881 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
746.21/746.27 c 746s| 2280k| 2286k| 2484k| 1.1 |1886M| 85 | 0 | 373 | 310 | 373 | 217 | 21k| 881 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
749.40/749.49 c 749s| 2290k| 2296k| 2490k| 1.1 |1894M| 85 | 0 | 373 | 310 | 373 | 217 | 21k| 881 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
752.70/752.78 c 753s| 2300k| 2306k| 2498k| 1.1 |1903M| 85 | 0 | 373 | 310 | 373 | 218 | 21k| 881 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
755.71/755.77 c 756s| 2310k| 2316k| 2504k| 1.1 |1911M| 85 | 0 | 373 | 313 | 373 | 218 | 21k| 884 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
759.01/759.06 c 759s| 2320k| 2326k| 2512k| 1.1 |1919M| 85 | 0 | 373 | 310 | 373 | 217 | 21k| 884 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
762.31/762.31 c 762s| 2330k| 2336k| 2518k| 1.1 |1927M| 85 | 0 | 373 | 310 | 373 | 217 | 21k| 884 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
765.41/765.46 c 765s| 2340k| 2346k| 2522k| 1.1 |1935M| 85 | 0 | 373 | 312 | 373 | 217 | 21k| 886 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
768.30/768.30 c 768s| 2350k| 2356k| 2525k| 1.1 |1943M| 85 | 0 | 373 | 312 | 373 | 218 | 21k| 886 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
771.01/771.01 c 771s| 2360k| 2366k| 2529k| 1.1 |1951M| 85 | 0 | 373 | 312 | 373 | 218 | 21k| 886 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
773.60/773.65 c 774s| 2370k| 2376k| 2532k| 1.1 |1959M| 85 | 0 | 373 | 312 | 373 | 217 | 21k| 886 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
776.81/776.88 c 777s| 2380k| 2386k| 2538k| 1.1 |1967M| 85 | 0 | 373 | 315 | 373 | 217 | 21k| 889 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
780.00/780.08 c 780s| 2390k| 2396k| 2543k| 1.1 |1975M| 85 | 0 | 373 | 315 | 373 | 217 | 21k| 890 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
783.21/783.24 c 783s| 2400k| 2406k| 2548k| 1.1 |1982M| 85 | 0 | 373 | 315 | 373 | 217 | 21k| 890 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
786.31/786.37 c 786s| 2410k| 2416k| 2553k| 1.1 |1990M| 85 | 0 | 373 | 315 | 373 | 217 | 21k| 890 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
789.50/789.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
789.50/789.55 c 790s| 2420k| 2426k| 2559k| 1.1 |1998M| 85 | 0 | 373 | 316 | 373 | 217 | 21k| 892 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
792.70/792.71 c 793s| 2430k| 2436k| 2564k| 1.1 |2006M| 85 | 0 | 373 | 316 | 373 | 217 | 21k| 892 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
795.70/795.70 c 796s| 2440k| 2446k| 2567k| 1.1 |2013M| 85 | 0 | 373 | 315 | 373 | 218 | 21k| 892 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
798.61/798.65 c 799s| 2450k| 2456k| 2570k| 1.0 |2021M| 85 | 0 | 373 | 315 | 373 | 218 | 21k| 892 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
801.50/801.59 c 802s| 2460k| 2466k| 2573k| 1.0 |2028M| 85 | 0 | 373 | 315 | 373 | 218 | 21k| 892 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
804.51/804.59 c 805s| 2470k| 2476k| 2576k| 1.0 |2036M| 85 | 0 | 373 | 315 | 373 | 217 | 21k| 892 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
807.50/807.55 c 808s| 2480k| 2486k| 2579k| 1.0 |2043M| 85 | 0 | 373 | 315 | 373 | 218 | 21k| 892 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
810.50/810.58 c 811s| 2490k| 2496k| 2583k| 1.0 |2051M| 85 | 0 | 373 | 315 | 373 | 218 | 21k| 892 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
813.51/813.54 c 814s| 2500k| 2506k| 2586k| 1.0 |2058M| 85 | 0 | 373 | 315 | 373 | 217 | 21k| 892 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
816.40/816.45 c 816s| 2510k| 2516k| 2588k| 1.0 |2065M| 85 | 0 | 373 | 315 | 373 | 218 | 21k| 892 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
819.31/819.39 c 819s| 2520k| 2526k| 2591k| 1.0 |2073M| 85 | 0 | 373 | 315 | 373 | 218 | 21k| 892 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
822.30/822.38 c 822s| 2530k| 2536k| 2594k| 1.0 |2080M| 85 | 0 | 373 | 315 | 373 | 218 | 21k| 892 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
825.40/825.48 c 825s| 2540k| 2546k| 2599k| 1.0 |2088M| 85 | 0 | 373 | 315 | 373 | 217 | 21k| 892 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
828.90/828.94 c 829s| 2550k| 2556k| 2606k| 1.0 |2096M| 85 | 0 | 373 | 315 | 373 | 217 | 21k| 893 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
832.31/832.36 c 832s| 2560k| 2566k| 2614k| 1.0 |2105M| 85 | 0 | 373 | 313 | 373 | 217 | 21k| 893 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
835.51/835.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
835.51/835.53 c 836s| 2570k| 2576k| 2623k| 1.0 |2113M| 85 | 0 | 373 | 313 | 373 | 218 | 21k| 893 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
838.71/838.75 c 839s| 2580k| 2586k| 2632k| 1.0 |2121M| 85 | 0 | 373 | 313 | 373 | 217 | 21k| 893 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
841.90/841.91 c 842s| 2590k| 2596k| 2641k| 1.0 |2129M| 85 | 0 | 373 | 313 | 373 | 217 | 21k| 893 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
845.10/845.12 c 845s| 2600k| 2606k| 2650k| 1.0 |2137M| 85 | 1 | 373 | 312 | 373 | 218 | 21k| 893 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
848.31/848.36 c 848s| 2610k| 2616k| 2659k| 1.0 |2145M| 85 | 0 | 373 | 312 | 373 | 218 | 21k| 893 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
851.51/851.57 c 852s| 2620k| 2626k| 2667k| 1.0 |2153M| 85 | 0 | 373 | 312 | 373 | 217 | 21k| 893 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
854.71/854.72 c 855s| 2630k| 2636k| 2675k| 1.0 |2161M| 85 | 1 | 373 | 312 | 373 | 218 | 21k| 893 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
858.01/858.03 c 858s| 2640k| 2646k| 2685k| 1.0 |2170M| 85 | 0 | 373 | 311 | 373 | 218 | 21k| 894 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
861.40/861.42 c 861s| 2650k| 2656k| 2700k| 1.0 |2179M| 85 | 0 | 373 | 311 | 373 | 218 | 21k| 894 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
864.80/864.80 c 865s| 2660k| 2666k| 2714k| 1.0 |2189M| 85 | 1 | 373 | 311 | 373 | 218 | 21k| 894 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
868.20/868.23 c 868s| 2670k| 2676k| 2730k| 1.0 |2198M| 85 | 0 | 373 | 311 | 373 | 217 | 21k| 894 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
871.41/871.45 c 871s| 2680k| 2686k| 2738k| 1.0 |2206M| 85 | 1 | 373 | 310 | 373 | 217 | 21k| 900 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
874.90/874.90 c 875s| 2690k| 2696k| 2750k| 1.0 |2215M| 85 | 0 | 373 | 310 | 373 | 218 | 21k| 900 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
878.31/878.40 c 878s| 2700k| 2706k| 2764k| 1.0 |2224M| 85 | 0 | 373 | 309 | 373 | 218 | 21k| 900 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
881.90/881.90 c 882s| 2710k| 2716k| 2777k| 1.0 |2233M| 85 | 0 | 373 | 308 | 373 | 218 | 21k| 900 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
885.31/885.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
885.31/885.35 c 885s| 2720k| 2726k| 2791k| 1.0 |2241M| 85 | 1 | 373 | 308 | 373 | 218 | 21k| 900 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
888.71/888.74 c 889s| 2730k| 2736k| 2807k| 1.0 |2250M| 85 | 1 | 373 | 307 | 373 | 218 | 21k| 900 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
892.20/892.22 c 892s| 2740k| 2746k| 2820k| 1.0 |2259M| 85 | 1 | 373 | 307 | 373 | 219 | 21k| 900 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
895.70/895.77 c 896s| 2750k| 2756k| 2834k| 1.0 |2268M| 85 | 0 | 373 | 307 | 373 | 218 | 21k| 900 | 10k| 0.000000e+00 | 8.900000e+01 | Inf
899.11/899.19 c 899s| 2760k| 2766k| 2848k| 1.0 |2276M| 85 | 0 | 373 | 306 | 373 | 218 | 21k| 900 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
902.80/902.85 c 903s| 2770k| 2776k| 2863k| 1.0 |2286M| 85 | 0 | 373 | 306 | 373 | 217 | 21k| 900 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
906.20/906.25 c 906s| 2780k| 2786k| 2880k| 1.0 |2295M| 85 | 1 | 373 | 306 | 373 | 218 | 21k| 900 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
910.01/910.04 c 910s| 2790k| 2796k| 2896k| 1.0 |2305M| 85 | 0 | 373 | 306 | 373 | 218 | 21k| 900 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
913.70/913.71 c 914s| 2800k| 2806k| 2910k| 1.0 |2314M| 85 | 1 | 373 | 305 | 373 | 219 | 21k| 900 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
917.31/917.34 c 917s| 2810k| 2816k| 2925k| 1.0 |2323M| 85 | 1 | 373 | 305 | 373 | 218 | 21k| 900 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
920.90/920.97 c 921s| 2820k| 2826k| 2940k| 1.0 |2332M| 85 | 0 | 373 | 305 | 373 | 218 | 21k| 901 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
924.20/924.24 c 924s| 2830k| 2836k| 2954k| 1.0 |2340M| 85 | 0 | 373 | 306 | 373 | 218 | 21k| 902 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
927.31/927.37 c 927s| 2840k| 2846k| 2965k| 1.0 |2348M| 85 | 0 | 373 | 306 | 373 | 219 | 21k| 903 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
930.51/930.52 c 931s| 2850k| 2856k| 2976k| 1.0 |2357M| 85 | 0 | 373 | 305 | 373 | 217 | 21k| 903 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
933.70/933.78 c 934s| 2860k| 2866k| 2988k| 1.0 |2365M| 85 | 1 | 373 | 304 | 373 | 218 | 22k| 903 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
937.11/937.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
937.11/937.18 c 937s| 2870k| 2876k| 3002k| 1.0 |2373M| 85 | 0 | 373 | 304 | 373 | 217 | 22k| 903 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
940.51/940.54 c 941s| 2880k| 2886k| 3016k| 1.0 |2382M| 85 | 0 | 373 | 303 | 373 | 218 | 22k| 903 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
943.81/943.89 c 944s| 2890k| 2896k| 3030k| 1.0 |2390M| 85 | 0 | 373 | 303 | 373 | 218 | 22k| 903 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
947.21/947.21 c 947s| 2900k| 2906k| 3043k| 1.0 |2399M| 85 | 0 | 373 | 303 | 373 | 217 | 22k| 903 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
950.71/950.76 c 951s| 2910k| 2916k| 3056k| 1.1 |2407M| 85 | 0 | 373 | 304 | 373 | 218 | 22k| 904 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
954.21/954.21 c 954s| 2920k| 2926k| 3068k| 1.1 |2416M| 85 | 0 | 373 | 304 | 373 | 219 | 22k| 904 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
957.51/957.56 c 958s| 2930k| 2936k| 3080k| 1.1 |2424M| 85 | 0 | 373 | 303 | 373 | 219 | 22k| 904 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
960.81/960.80 c 961s| 2940k| 2946k| 3090k| 1.1 |2433M| 85 | 0 | 373 | 303 | 373 | 219 | 22k| 904 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
964.20/964.26 c 964s| 2950k| 2956k| 3102k| 1.1 |2441M| 85 | 0 | 373 | 302 | 373 | 217 | 22k| 904 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
967.41/967.49 c 967s| 2960k| 2966k| 3113k| 1.1 |2450M| 85 | 0 | 373 | 302 | 373 | 219 | 22k| 904 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
970.80/970.82 c 971s| 2970k| 2976k| 3124k| 1.1 |2458M| 85 | 0 | 373 | 302 | 373 | 217 | 22k| 904 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
974.21/974.22 c 974s| 2980k| 2986k| 3135k| 1.1 |2467M| 85 | 0 | 373 | 302 | 373 | 217 | 22k| 904 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
977.61/977.66 c 978s| 2990k| 2996k| 3147k| 1.1 |2476M| 85 | 0 | 373 | 302 | 373 | 219 | 22k| 904 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
981.01/981.06 c 981s| 3000k| 3006k| 3158k| 1.1 |2485M| 85 | 0 | 373 | 302 | 373 | 218 | 22k| 904 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
984.41/984.41 c 984s| 3010k| 3016k| 3170k| 1.1 |2493M| 85 | 1 | 373 | 301 | 373 | 219 | 22k| 904 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
987.71/987.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
987.71/987.71 c 988s| 3020k| 3026k| 3180k| 1.1 |2502M| 85 | 0 | 373 | 301 | 373 | 219 | 22k| 904 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
991.11/991.16 c 991s| 3030k| 3036k| 3193k| 1.1 |2510M| 85 | 0 | 373 | 301 | 373 | 218 | 22k| 904 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
994.31/994.36 c 994s| 3040k| 3046k| 3204k| 1.1 |2518M| 85 | 0 | 373 | 302 | 373 | 218 | 22k| 905 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
997.51/997.55 c 998s| 3050k| 3056k| 3216k| 1.1 |2527M| 85 | 0 | 373 | 302 | 373 | 219 | 22k| 905 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1000.80/1000.82 c 1001s| 3060k| 3066k| 3229k| 1.1 |2535M| 85 | 1 | 373 | 302 | 373 | 219 | 22k| 905 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1004.11/1004.15 c 1004s| 3070k| 3076k| 3244k| 1.1 |2543M| 85 | 0 | 373 | 302 | 373 | 218 | 22k| 905 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1007.41/1007.42 c 1007s| 3080k| 3086k| 3255k| 1.1 |2552M| 85 | 0 | 373 | 302 | 373 | 218 | 22k| 905 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1010.71/1010.79 c 1011s| 3090k| 3096k| 3270k| 1.1 |2560M| 85 | 0 | 373 | 302 | 373 | 217 | 22k| 905 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1014.21/1014.25 c 1014s| 3100k| 3106k| 3285k| 1.1 |2569M| 85 | 0 | 373 | 302 | 373 | 219 | 22k| 905 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1017.41/1017.49 c 1017s| 3110k| 3116k| 3296k| 1.1 |2577M| 85 | 0 | 373 | 302 | 373 | 219 | 22k| 905 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1020.50/1020.58 c 1021s| 3120k| 3126k| 3305k| 1.1 |2585M| 85 | 0 | 373 | 302 | 373 | 219 | 22k| 905 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1023.51/1023.58 c 1024s| 3130k| 3136k| 3314k| 1.1 |2593M| 85 | 1 | 373 | 302 | 373 | 219 | 22k| 905 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1026.91/1026.95 c 1027s| 3140k| 3146k| 3326k| 1.1 |2602M| 85 | 3 | 373 | 302 | 373 | 218 | 22k| 905 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1030.41/1030.47 c 1030s| 3150k| 3156k| 3339k| 1.1 |2611M| 85 | 0 | 373 | 302 | 373 | 218 | 22k| 905 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1033.61/1033.68 c 1034s| 3160k| 3166k| 3350k| 1.1 |2619M| 85 | 0 | 373 | 302 | 373 | 217 | 22k| 905 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1036.91/1036.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1036.91/1036.98 c 1037s| 3170k| 3176k| 3361k| 1.1 |2627M| 85 | 0 | 373 | 302 | 373 | 218 | 22k| 905 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1040.31/1040.35 c 1040s| 3180k| 3186k| 3373k| 1.1 |2636M| 85 | 0 | 373 | 302 | 373 | 218 | 22k| 905 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1043.61/1043.65 c 1044s| 3190k| 3196k| 3385k| 1.1 |2644M| 85 | 0 | 373 | 302 | 373 | 218 | 22k| 905 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1046.71/1046.73 c 1047s| 3200k| 3206k| 3396k| 1.1 |2652M| 85 | 0 | 373 | 302 | 373 | 219 | 22k| 905 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1050.01/1050.09 c 1050s| 3210k| 3216k| 3412k| 1.1 |2661M| 85 | 0 | 373 | 301 | 373 | 218 | 22k| 905 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1053.21/1053.29 c 1053s| 3220k| 3226k| 3424k| 1.1 |2669M| 85 | 0 | 373 | 301 | 373 | 219 | 22k| 905 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1056.61/1056.61 c 1057s| 3230k| 3236k| 3438k| 1.1 |2677M| 85 | 0 | 373 | 301 | 373 | 218 | 22k| 905 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1059.90/1059.96 c 1060s| 3240k| 3246k| 3452k| 1.1 |2685M| 85 | 0 | 373 | 301 | 373 | 218 | 22k| 905 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1063.21/1063.27 c 1063s| 3250k| 3256k| 3466k| 1.1 |2694M| 85 | 3 | 373 | 300 | 373 | 218 | 22k| 905 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1066.61/1066.64 c 1067s| 3260k| 3266k| 3480k| 1.1 |2702M| 85 | 0 | 373 | 300 | 373 | 217 | 22k| 905 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1070.01/1070.07 c 1070s| 3270k| 3276k| 3493k| 1.1 |2711M| 85 | 3 | 373 | 300 | 373 | 217 | 22k| 905 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1073.51/1073.58 c 1074s| 3280k| 3286k| 3507k| 1.1 |2719M| 85 | 1 | 373 | 300 | 373 | 218 | 22k| 905 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1077.01/1077.01 c 1077s| 3290k| 3296k| 3522k| 1.1 |2728M| 85 | 0 | 373 | 300 | 373 | 218 | 22k| 905 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1080.40/1080.48 c 1080s| 3300k| 3306k| 3536k| 1.1 |2736M| 85 | 0 | 373 | 301 | 373 | 217 | 22k| 906 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1083.91/1083.95 c 1084s| 3310k| 3316k| 3550k| 1.1 |2745M| 85 | 0 | 373 | 301 | 373 | 218 | 22k| 906 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1087.41/1087.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1087.41/1087.40 c 1087s| 3320k| 3326k| 3563k| 1.1 |2754M| 85 | 0 | 373 | 301 | 373 | 219 | 22k| 906 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1090.61/1090.63 c 1091s| 3330k| 3336k| 3576k| 1.1 |2763M| 85 | 0 | 373 | 300 | 373 | 217 | 22k| 906 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1093.80/1093.82 c 1094s| 3340k| 3346k| 3586k| 1.1 |2771M| 85 | 0 | 373 | 299 | 373 | 219 | 22k| 906 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1097.01/1097.02 c 1097s| 3350k| 3356k| 3597k| 1.1 |2779M| 85 | 0 | 373 | 299 | 373 | 219 | 22k| 906 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1100.41/1100.45 c 1100s| 3360k| 3366k| 3611k| 1.1 |2788M| 85 | 0 | 373 | 298 | 373 | 218 | 22k| 906 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1103.81/1103.82 c 1104s| 3370k| 3376k| 3622k| 1.1 |2797M| 85 | 0 | 373 | 298 | 373 | 219 | 22k| 906 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1107.00/1107.01 c 1107s| 3380k| 3386k| 3634k| 1.1 |2805M| 85 | 0 | 373 | 298 | 373 | 219 | 22k| 906 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1110.30/1110.37 c 1110s| 3390k| 3396k| 3645k| 1.1 |2813M| 85 | 0 | 373 | 298 | 373 | 218 | 22k| 906 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1113.80/1113.88 c 1114s| 3400k| 3406k| 3658k| 1.1 |2822M| 85 | 1 | 373 | 298 | 373 | 217 | 23k| 906 | 11k| 0.000000e+00 | 8.900000e+01 | Inf
1117.21/1117.20 c 1117s| 3410k| 3416k| 3672k| 1.1 |2831M| 85 | 0 | 373 | 298 | 373 | 219 | 23k| 906 | 12k| 0.000000e+00 | 8.900000e+01 | Inf
1120.60/1120.69 c 1121s| 3420k| 3426k| 3684k| 1.1 |2839M| 85 | 0 | 373 | 298 | 373 | 219 | 23k| 906 | 12k| 0.000000e+00 | 8.900000e+01 | Inf
1124.01/1124.10 c 1124s| 3430k| 3436k| 3696k| 1.1 |2848M| 85 | 0 | 373 | 298 | 373 | 218 | 23k| 906 | 12k| 0.000000e+00 | 8.900000e+01 | Inf
1127.51/1127.54 c 1128s| 3440k| 3446k| 3708k| 1.1 |2857M| 85 | 0 | 373 | 298 | 373 | 219 | 23k| 906 | 12k| 0.000000e+00 | 8.900000e+01 | Inf
1130.71/1130.71 c 1131s| 3450k| 3456k| 3718k| 1.1 |2865M| 85 | 0 | 373 | 298 | 373 | 219 | 23k| 906 | 12k| 0.000000e+00 | 8.900000e+01 | Inf
1131.82/1131.89 c (node 3453749) switching to memory saving mode (mem: 2736.0M/3420.0M)
1136.31/1136.39 o 57
1136.31/1136.39 c *1136s| 3453k| 1437k| 3722k| 1.1 |1047M| 103 | - | 373 | 298 | 373 | 218 | 23k| 906 | 12k| 0.000000e+00 | 5.700000e+01 | Inf
1136.31/1136.39 c (node 3453814) switching to standard mode (mem: 998.7M/3420.0M)
1138.41/1138.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1138.41/1138.41 c 1138s| 3460k| 1443k| 3728k| 1.1 |1050M| 103 | 0 | 373 | 262 | 373 | 218 | 23k| 908 | 12k| 0.000000e+00 | 5.700000e+01 | Inf
1141.21/1141.22 c 1141s| 3470k| 1453k| 3737k| 1.1 |1055M| 103 | 0 | 373 | 260 | 373 | 218 | 23k| 908 | 12k| 0.000000e+00 | 5.700000e+01 | Inf
1144.11/1144.16 c 1144s| 3480k| 1463k| 3746k| 1.1 |1061M| 103 | 0 | 373 | 259 | 373 | 218 | 23k| 908 | 12k| 0.000000e+00 | 5.700000e+01 | Inf
1146.91/1146.97 c 1147s| 3490k| 1473k| 3756k| 1.1 |1066M| 103 | 0 | 373 | 259 | 373 | 218 | 23k| 909 | 12k| 0.000000e+00 | 5.700000e+01 | Inf
1149.61/1149.69 c 1150s| 3500k| 1483k| 3764k| 1.1 |1071M| 103 | 0 | 373 | 259 | 373 | 218 | 23k| 909 | 12k| 0.000000e+00 | 5.700000e+01 | Inf
1152.41/1152.43 c 1152s| 3510k| 1493k| 3773k| 1.1 |1076M| 103 | 0 | 373 | 259 | 373 | 218 | 23k| 909 | 12k| 0.000000e+00 | 5.700000e+01 | Inf
1155.31/1155.34 c 1155s| 3520k| 1503k| 3783k| 1.1 |1081M| 103 | 0 | 373 | 259 | 373 | 217 | 23k| 909 | 12k| 0.000000e+00 | 5.700000e+01 | Inf
1158.11/1158.11 c 1158s| 3530k| 1513k| 3792k| 1.1 |1086M| 103 | 0 | 373 | 259 | 373 | 218 | 23k| 909 | 12k| 0.000000e+00 | 5.700000e+01 | Inf
1160.81/1160.83 c 1161s| 3540k| 1523k| 3800k| 1.1 |1091M| 103 | 0 | 373 | 259 | 373 | 218 | 23k| 909 | 12k| 0.000000e+00 | 5.700000e+01 | Inf
1163.61/1163.67 c 1164s| 3550k| 1533k| 3809k| 1.1 |1096M| 103 | 0 | 373 | 261 | 373 | 218 | 23k| 911 | 12k| 0.000000e+00 | 5.700000e+01 | Inf
1166.51/1166.51 c 1167s| 3560k| 1543k| 3819k| 1.1 |1101M| 103 | 0 | 373 | 261 | 373 | 218 | 23k| 911 | 12k| 0.000000e+00 | 5.700000e+01 | Inf
1169.31/1169.35 c 1169s| 3570k| 1553k| 3828k| 1.1 |1107M| 103 | 0 | 373 | 264 | 373 | 218 | 23k| 914 | 12k| 0.000000e+00 | 5.700000e+01 | Inf
1172.20/1172.20 c 1172s| 3580k| 1563k| 3838k| 1.1 |1112M| 103 | 0 | 373 | 265 | 373 | 218 | 23k| 915 | 12k| 0.000000e+00 | 5.700000e+01 | Inf
1175.61/1175.60 c 1176s| 3590k| 1573k| 3857k| 1.1 |1117M| 103 | 0 | 373 | 264 | 373 | 218 | 23k| 916 | 12k| 0.000000e+00 | 5.700000e+01 | Inf
1178.51/1178.55 c 1179s| 3600k| 1583k| 3868k| 1.1 |1123M| 103 | 0 | 373 | 263 | 373 | 218 | 23k| 916 | 12k| 0.000000e+00 | 5.700000e+01 | Inf
1181.41/1181.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1181.41/1181.50 c 1181s| 3610k| 1593k| 3879k| 1.1 |1128M| 103 | 0 | 373 | 262 | 373 | 218 | 23k| 916 | 12k| 0.000000e+00 | 5.700000e+01 | Inf
1184.31/1184.33 c 1184s| 3620k| 1602k| 3889k| 1.1 |1133M| 103 | 0 | 373 | 262 | 373 | 218 | 23k| 916 | 12k| 0.000000e+00 | 5.700000e+01 | Inf
1187.21/1187.23 c 1187s| 3630k| 1612k| 3899k| 1.1 |1138M| 103 | 0 | 373 | 263 | 373 | 217 | 23k| 917 | 12k| 0.000000e+00 | 5.700000e+01 | Inf
1190.01/1190.05 c 1190s| 3640k| 1622k| 3909k| 1.1 |1143M| 103 | 0 | 373 | 262 | 373 | 218 | 23k| 917 | 12k| 0.000000e+00 | 5.700000e+01 | Inf
1192.71/1192.79 c 1193s| 3650k| 1632k| 3918k| 1.1 |1148M| 103 | 0 | 373 | 262 | 373 | 218 | 23k| 917 | 12k| 0.000000e+00 | 5.700000e+01 | Inf
1195.61/1195.68 c 1196s| 3660k| 1642k| 3928k| 1.1 |1153M| 103 | 0 | 373 | 262 | 373 | 218 | 23k| 918 | 12k| 0.000000e+00 | 5.700000e+01 | Inf
1198.81/1198.83 c 1199s| 3670k| 1652k| 3944k| 1.1 |1159M| 103 | 0 | 373 | 261 | 373 | 217 | 23k| 918 | 12k| 0.000000e+00 | 5.700000e+01 | Inf
1201.71/1201.75 c 1202s| 3680k| 1662k| 3955k| 1.1 |1164M| 103 | 0 | 373 | 262 | 373 | 218 | 23k| 919 | 12k| 0.000000e+00 | 5.700000e+01 | Inf
1204.52/1204.54 c 1205s| 3690k| 1672k| 3964k| 1.1 |1169M| 103 | 0 | 373 | 262 | 373 | 218 | 23k| 919 | 12k| 0.000000e+00 | 5.700000e+01 | Inf
1207.41/1207.49 c 1207s| 3700k| 1682k| 3976k| 1.1 |1175M| 103 | 0 | 373 | 262 | 373 | 218 | 23k| 919 | 12k| 0.000000e+00 | 5.700000e+01 | Inf
1210.41/1210.46 c 1210s| 3710k| 1692k| 3986k| 1.1 |1181M| 103 | 0 | 373 | 262 | 373 | 218 | 23k| 919 | 12k| 0.000000e+00 | 5.700000e+01 | Inf
1213.41/1213.49 c 1213s| 3720k| 1702k| 3998k| 1.1 |1187M| 103 | 0 | 373 | 262 | 373 | 218 | 23k| 919 | 13k| 0.000000e+00 | 5.700000e+01 | Inf
1216.41/1216.45 c 1216s| 3730k| 1712k| 4010k| 1.1 |1192M| 103 | 0 | 373 | 262 | 373 | 218 | 23k| 919 | 13k| 0.000000e+00 | 5.700000e+01 | Inf
1219.41/1219.41 c 1219s| 3740k| 1722k| 4022k| 1.1 |1197M| 103 | 0 | 373 | 262 | 373 | 218 | 23k| 919 | 13k| 0.000000e+00 | 5.700000e+01 | Inf
1222.31/1222.30 c 1222s| 3750k| 1732k| 4032k| 1.1 |1202M| 103 | 0 | 373 | 262 | 373 | 217 | 23k| 919 | 13k| 0.000000e+00 | 5.700000e+01 | Inf
1225.11/1225.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1225.11/1225.12 c 1225s| 3760k| 1742k| 4042k| 1.1 |1207M| 103 | 0 | 373 | 264 | 373 | 218 | 23k| 921 | 13k| 0.000000e+00 | 5.700000e+01 | Inf
1227.81/1227.88 c 1228s| 3770k| 1752k| 4051k| 1.1 |1213M| 103 | 0 | 373 | 264 | 373 | 218 | 23k| 921 | 13k| 0.000000e+00 | 5.700000e+01 | Inf
1230.61/1230.67 c 1231s| 3780k| 1762k| 4060k| 1.1 |1218M| 103 | 0 | 373 | 264 | 373 | 218 | 23k| 921 | 13k| 0.000000e+00 | 5.700000e+01 | Inf
1233.41/1233.40 c 1233s| 3790k| 1772k| 4069k| 1.1 |1223M| 103 | 0 | 373 | 264 | 373 | 218 | 23k| 921 | 13k| 0.000000e+00 | 5.700000e+01 | Inf
1236.01/1236.09 c 1236s| 3800k| 1782k| 4077k| 1.1 |1228M| 103 | 1 | 373 | 264 | 373 | 218 | 23k| 921 | 13k| 0.000000e+00 | 5.700000e+01 | Inf
1238.81/1238.82 c 1239s| 3810k| 1792k| 4084k| 1.1 |1233M| 103 | 1 | 373 | 264 | 373 | 217 | 23k| 921 | 13k| 0.000000e+00 | 5.700000e+01 | Inf
1241.71/1241.78 c 1242s| 3820k| 1802k| 4096k| 1.1 |1239M| 103 | 0 | 373 | 263 | 373 | 218 | 23k| 921 | 13k| 0.000000e+00 | 5.700000e+01 | Inf
1244.51/1244.54 c 1245s| 3830k| 1812k| 4105k| 1.1 |1244M| 103 | 0 | 373 | 263 | 373 | 218 | 23k| 921 | 13k| 0.000000e+00 | 5.700000e+01 | Inf
1247.21/1247.21 c 1247s| 3840k| 1822k| 4113k| 1.1 |1249M| 103 | 0 | 373 | 263 | 373 | 218 | 23k| 921 | 13k| 0.000000e+00 | 5.700000e+01 | Inf
1250.01/1250.03 c 1250s| 3850k| 1832k| 4123k| 1.1 |1254M| 103 | 1 | 373 | 263 | 373 | 218 | 23k| 921 | 13k| 0.000000e+00 | 5.700000e+01 | Inf
1252.91/1252.91 c 1253s| 3860k| 1842k| 4132k| 1.1 |1259M| 103 | 0 | 373 | 263 | 373 | 218 | 23k| 921 | 13k| 0.000000e+00 | 5.700000e+01 | Inf
1255.72/1255.76 c 1256s| 3870k| 1852k| 4141k| 1.1 |1265M| 103 | 0 | 373 | 263 | 373 | 218 | 23k| 921 | 13k| 0.000000e+00 | 5.700000e+01 | Inf
1258.42/1258.49 c 1258s| 3880k| 1862k| 4149k| 1.1 |1270M| 103 | 1 | 373 | 263 | 373 | 218 | 23k| 921 | 13k| 0.000000e+00 | 5.700000e+01 | Inf
1261.31/1261.35 c 1261s| 3890k| 1872k| 4157k| 1.1 |1276M| 103 | 1 | 373 | 263 | 373 | 218 | 23k| 921 | 13k| 0.000000e+00 | 5.700000e+01 | Inf
1264.21/1264.21 c 1264s| 3900k| 1882k| 4167k| 1.1 |1281M| 103 | 0 | 373 | 263 | 373 | 218 | 23k| 921 | 13k| 0.000000e+00 | 5.700000e+01 | Inf
1267.01/1267.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1267.01/1267.08 c 1267s| 3910k| 1892k| 4175k| 1.1 |1287M| 103 | 0 | 373 | 262 | 373 | 219 | 23k| 921 | 13k| 0.000000e+00 | 5.700000e+01 | Inf
1270.01/1270.05 c 1270s| 3920k| 1902k| 4184k| 1.1 |1292M| 103 | 0 | 373 | 261 | 373 | 219 | 23k| 921 | 13k| 0.000000e+00 | 5.700000e+01 | Inf
1273.01/1273.04 c 1273s| 3930k| 1912k| 4192k| 1.1 |1298M| 103 | 0 | 373 | 261 | 373 | 219 | 23k| 921 | 13k| 0.000000e+00 | 5.700000e+01 | Inf
1275.91/1275.99 c 1276s| 3940k| 1922k| 4201k| 1.1 |1303M| 103 | 0 | 373 | 260 | 373 | 218 | 23k| 921 | 13k| 0.000000e+00 | 5.700000e+01 | Inf
1278.91/1278.94 c 1279s| 3950k| 1932k| 4209k| 1.1 |1308M| 103 | 0 | 373 | 260 | 373 | 219 | 23k| 921 | 13k| 0.000000e+00 | 5.700000e+01 | Inf
1281.91/1281.90 c 1282s| 3960k| 1942k| 4217k| 1.1 |1313M| 103 | 1 | 373 | 259 | 373 | 219 | 23k| 921 | 13k| 0.000000e+00 | 5.700000e+01 | Inf
1284.81/1284.83 c 1285s| 3970k| 1952k| 4225k| 1.1 |1318M| 103 | 0 | 373 | 259 | 373 | 218 | 23k| 921 | 13k| 0.000000e+00 | 5.700000e+01 | Inf
1287.62/1287.62 c 1288s| 3980k| 1962k| 4232k| 1.1 |1324M| 103 | 0 | 373 | 259 | 373 | 219 | 23k| 922 | 13k| 0.000000e+00 | 5.700000e+01 | Inf
1292.01/1292.01 o 5
1292.01/1292.01 c *1292s| 3983k|511254 | 4234k| 1.1 | 310M| 103 | - | 373 | 259 | 373 | 222 | 23k| 922 | 13k| 0.000000e+00 | 5.000000e+00 | Inf
1294.11/1294.18 c
1294.11/1294.18 c SCIP Status : problem is solved [optimal solution found]
1294.11/1294.18 c Solving Time (sec) : 1294.17
1294.11/1294.18 c Solving Nodes : 3983516
1294.11/1294.18 c Primal Bound : +5.00000000000000e+00 (517 solutions)
1294.11/1294.18 c Dual Bound : +5.00000000000000e+00
1294.11/1294.18 c Gap : 0.00 %
1294.11/1294.18 s OPTIMUM FOUND
1294.11/1294.18 v -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216
1294.11/1294.18 v -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 x205 -x204 -x203 x202 x201 -x200 -x199 -x198 -x197 x196 -x195
1294.11/1294.18 v x194 x193 x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 x177 x176 -x175 -x174 -x173
1294.11/1294.18 v -x172 -x171 x170 x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 x157 x156 -x155 -x154 -x153 -x152 -x151
1294.11/1294.18 v x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130
1294.11/1294.18 v -x129 x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109
1294.11/1294.18 v -x108 -x107 -x106 -x105 -x104 -x103 -x102 x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85
1294.11/1294.18 v x84 -x83 -x82 x81 -x80 x79 x78 x77 x76 x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 x63 -x62 -x61 x60 -x59 -x58
1294.11/1294.18 v x57 -x56 -x55 x54 -x53 x52 -x51 x50 x49 -x48 -x47 -x46 x45 -x44 x43 -x42 -x41 -x40 -x39 x38 -x37 x36 -x35 -x34 x33 -x32 -x31
1294.11/1294.18 v x30 -x29 -x28 -x27 -x26 x25 -x24 x23 -x22 -x21 x20 -x19 x18 x17 x16 x15 x14 x13 x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1
1294.11/1294.18 c SCIP Status : problem is solved [optimal solution found]
1294.11/1294.18 c Solving Time : 1294.17
1294.11/1294.18 c Original Problem :
1294.11/1294.18 c Problem name : HOME/instance-2705166-1278574761.wbo
1294.11/1294.18 c Variables : 373 (305 binary, 0 integer, 68 implicit integer, 0 continuous)
1294.11/1294.18 c Constraints : 266 initial, 266 maximal
1294.11/1294.18 c Presolved Problem :
1294.11/1294.18 c Problem name : t_HOME/instance-2705166-1278574761.wbo
1294.11/1294.18 c Variables : 373 (305 binary, 0 integer, 68 implicit integer, 0 continuous)
1294.11/1294.18 c Constraints : 266 initial, 735 maximal
1294.11/1294.18 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1294.11/1294.18 c trivial : 0.00 0 0 0 0 0 0 0 0
1294.11/1294.18 c dualfix : 0.00 0 0 0 0 0 0 0 0
1294.11/1294.18 c boundshift : 0.00 0 0 0 0 0 0 0 0
1294.11/1294.18 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1294.11/1294.18 c implics : 0.00 0 0 0 0 0 0 0 0
1294.11/1294.18 c probing : 0.01 0 0 0 0 0 0 0 0
1294.11/1294.18 c varbound : 0.00 0 0 0 0 0 0 0 0
1294.11/1294.18 c knapsack : 0.00 0 0 0 0 0 0 2 7
1294.11/1294.18 c setppc : 0.00 0 0 0 0 0 1 0 0
1294.11/1294.18 c linear : 0.00 0 0 0 68 0 1 39 78
1294.11/1294.18 c indicator : 0.00 0 0 0 0 0 0 0 0
1294.11/1294.18 c logicor : 0.00 0 0 0 0 0 0 0 0
1294.11/1294.18 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1294.11/1294.18 c root node : - 185 - - 185 - - - -
1294.11/1294.18 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1294.11/1294.18 c integral : 0 0 0 4009677 0 0 5287 0 0 1645800
1294.11/1294.18 c varbound : 1 6 1879793 847452 0 0 116869 1 0 0
1294.11/1294.18 c knapsack : 54 6 7803819 3181491 0 187 1098517 148 0 0
1294.11/1294.18 c setppc : 50 6 7803632 3181491 0 3 2078478 0 0 0
1294.11/1294.18 c linear : 67+ 7 7803629 3181491 0 54 1380299 23295 0 0
1294.11/1294.18 c indicator : 68 0 7803487 3181489 0 73 8993800 0 0 0
1294.11/1294.18 c logicor : 26+ 6 1719957 3159758 0 511 367422 0 0 0
1294.11/1294.18 c bounddisjunction : 0+ 0 196591 0 0 3 57809 0 0 0
1294.11/1294.18 c countsols : 0 0 0 3159758 0 0 0 0 0 0
1294.11/1294.18 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1294.11/1294.18 c integral : 8.29 0.00 0.00 8.29 0.00
1294.11/1294.18 c varbound : 0.83 0.00 0.67 0.16 0.00
1294.11/1294.18 c knapsack : 21.77 0.00 18.94 2.83 0.00
1294.11/1294.18 c setppc : 8.40 0.00 6.35 2.05 0.00
1294.11/1294.18 c linear : 29.06 0.00 11.37 17.70 0.00
1294.11/1294.18 c indicator : 22.47 0.08 13.10 9.29 0.00
1294.11/1294.18 c logicor : 3.13 0.00 1.45 1.69 0.00
1294.11/1294.18 c bounddisjunction : 0.24 0.00 0.24 0.00 0.00
1294.11/1294.18 c countsols : 0.38 0.00 0.00 0.38 0.00
1294.11/1294.18 c Propagators : Time Calls Cutoffs DomReds
1294.11/1294.18 c vbounds : 4.00 914404 0 241114
1294.11/1294.18 c rootredcost : 1.18 8 0 63
1294.11/1294.18 c pseudoobj : 21.96 7803488 25 7981024
1294.11/1294.18 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1294.11/1294.18 c propagation : 0.01 783 706 1114 16.1 21 15.1 -
1294.11/1294.18 c infeasible LP : 0.00 103 99 110 3.5 0 0.0 0
1294.11/1294.18 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1294.11/1294.18 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1294.11/1294.18 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1294.11/1294.18 c applied globally : - - - 923 15.0 - - -
1294.11/1294.18 c applied locally : - - - 0 0.0 - - -
1294.11/1294.18 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1294.11/1294.18 c cut pool : 0.00 5 - - 49 - (maximal pool size: 354)
1294.11/1294.18 c redcost : 34.50 4295173 0 646106 0 0
1294.11/1294.18 c impliedbounds : 0.00 6 0 0 4 0
1294.11/1294.18 c intobj : 0.00 0 0 0 0 0
1294.11/1294.18 c cgmip : 0.00 0 0 0 0 0
1294.11/1294.18 c gomory : 0.00 6 0 0 139 0
1294.11/1294.18 c strongcg : 0.00 6 0 0 139 0
1294.11/1294.18 c cmir : 0.01 6 0 0 110 0
1294.11/1294.18 c flowcover : 0.02 6 0 0 206 0
1294.11/1294.18 c clique : 0.00 6 0 0 0 0
1294.11/1294.18 c zerohalf : 0.00 0 0 0 0 0
1294.11/1294.18 c mcf : 0.00 1 0 0 0 0
1294.11/1294.18 c rapidlearning : 0.02 1 0 0 0 17
1294.11/1294.18 c Pricers : Time Calls Vars
1294.11/1294.18 c problem variables: 0.00 0 0
1294.11/1294.18 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1294.11/1294.18 c relpscost : 7.00 828186 0 5287 0 0 1645800
1294.11/1294.18 c pscost : 0.00 0 0 0 0 0 0
1294.11/1294.18 c inference : 62.15 3159753 0 0 0 0 6329366
1294.11/1294.18 c mostinf : 0.00 0 0 0 0 0 0
1294.11/1294.18 c leastinf : 0.00 0 0 0 0 0 0
1294.11/1294.18 c fullstrong : 0.00 0 0 0 0 0 0
1294.11/1294.18 c allfullstrong : 0.00 0 0 0 0 0 0
1294.11/1294.18 c random : 0.00 0 0 0 0 0 0
1294.11/1294.18 c Primal Heuristics : Time Calls Found
1294.11/1294.18 c LP solutions : 7.58 - 5
1294.11/1294.18 c pseudo solutions : 0.00 - 0
1294.11/1294.18 c oneopt : 0.88 7 0
1294.11/1294.18 c feaspump : 0.06 1 0
1294.11/1294.18 c crossover : 1.17 42 1
1294.11/1294.18 c guideddiving : 25.80 303171 0
1294.11/1294.18 c veclendiving : 29.75 303172 0
1294.11/1294.18 c linesearchdiving : 27.59 303172 0
1294.11/1294.18 c coefdiving : 25.91 303172 0
1294.11/1294.18 c pscostdiving : 27.42 303172 0
1294.11/1294.18 c fracdiving : 28.89 303172 0
1294.11/1294.18 c objpscostdiving : 13.51 173915 1
1294.11/1294.18 c rootsoldiving : 14.25 177008 0
1294.11/1294.18 c trivial : 0.00 2 0
1294.11/1294.18 c simplerounding : 1.76 826337 0
1294.11/1294.18 c zirounding : 0.80 1000 1
1294.11/1294.18 c rounding : 1.10 12736 0
1294.11/1294.18 c shifting : 0.48 3939 0
1294.11/1294.18 c intshifting : 0.07 0 0
1294.11/1294.18 c twoopt : 0.00 0 0
1294.11/1294.18 c fixandinfer : 0.00 0 0
1294.11/1294.18 c intdiving : 0.00 0 0
1294.11/1294.18 c actconsdiving : 0.00 0 0
1294.11/1294.18 c octane : 0.00 0 0
1294.11/1294.18 c rens : 0.01 1 0
1294.11/1294.18 c rins : 0.00 0 0
1294.11/1294.18 c localbranching : 0.00 0 0
1294.11/1294.18 c mutation : 0.00 0 0
1294.11/1294.18 c dins : 0.00 0 0
1294.11/1294.18 c undercover : 0.00 0 0
1294.11/1294.18 c nlp : 0.54 0 0
1294.11/1294.18 c trysol : 1.43 333788 509
1294.11/1294.18 c LP : Time Calls Iterations Iter/call Iter/sec
1294.11/1294.18 c primal LP : 0.00 0 0 0.00 -
1294.11/1294.18 c dual LP : 563.07 1224383 4092276 3.34 7267.76
1294.11/1294.18 c lex dual LP : 0.00 0 0 0.00 -
1294.11/1294.18 c barrier LP : 0.00 0 0 0.00 -
1294.11/1294.18 c diving/probing LP: 24.41 108851 141746 1.30 5807.24
1294.11/1294.18 c strong branching : 4.26 13173 59183 4.49 13901.68
1294.11/1294.18 c (at root node) : - 17 864 50.82 -
1294.11/1294.18 c conflict analysis: 0.00 0 0 0.00 -
1294.11/1294.18 c B&B Tree :
1294.11/1294.18 c number of runs : 1
1294.11/1294.18 c nodes : 3983516
1294.11/1294.18 c nodes (total) : 3983516
1294.11/1294.18 c nodes left : 0
1294.11/1294.18 c max depth : 103
1294.11/1294.18 c max depth (total): 103
1294.11/1294.18 c backtracks : 328126 (8.2%)
1294.11/1294.18 c delayed cutoffs : 512366
1294.11/1294.18 c repropagations : 118893 (48798 domain reductions, 20 cutoffs)
1294.11/1294.18 c avg switch length: 3.54
1294.11/1294.18 c switching time : 73.68
1294.11/1294.18 c Solution :
1294.11/1294.18 c Solutions found : 517 (8 improvements)
1294.11/1294.18 c First Solution : +3.07400000000000e+03 (in run 1, after 1 nodes, 0.06 seconds, depth 0, found by <trysol>)
1294.11/1294.18 c Primal Bound : +5.00000000000000e+00 (in run 1, after 3983516 nodes, 1288.55 seconds, depth 98, found by <relaxation>)
1294.11/1294.18 c Dual Bound : +5.00000000000000e+00
1294.11/1294.18 c Gap : 0.00 %
1294.11/1294.18 c Root Dual Bound : +0.00000000000000e+00
1294.11/1294.18 c Root Iterations : 232
1294.21/1294.28 c Time complete: 1294.29.
OK 5
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705166-1278574761/watcher-2705166-1278574761 -o /tmp/evaluation-result-2705166-1278574761/solver-2705166-1278574761 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705166-1278574761.wbo -t 1800 -m 3800 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.72 1.93 1.66 4/178 21476 /proc/meminfo: memFree=28944024/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=12556 CPUtime=0 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 1973 0 0 0 0 0 0 0 25 0 1 0 25689626 12857344 1892 4089446400 4194304 10345943 140733256214208 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21476/statm: 3139 1892 429 1502 0 1632 0 [startup+0.055315 s] /proc/loadavg: 1.72 1.93 1.66 4/178 21476 /proc/meminfo: memFree=28944024/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=28480 CPUtime=0.04 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 5887 0 0 0 4 0 0 0 25 0 1 0 25689626 29163520 5453 4089446400 4194304 10345943 140733256214208 18446744073709551615 5834311 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 7120 5453 762 1502 0 5613 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 28480 [startup+0.100316 s] /proc/loadavg: 1.72 1.93 1.66 4/178 21476 /proc/meminfo: memFree=28944024/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=28480 CPUtime=0.09 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 6321 0 0 0 9 0 0 0 25 0 1 0 25689626 29163520 5887 4089446400 4194304 10345943 140733256214208 18446744073709551615 4288140 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 7120 5887 766 1502 0 5613 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28480 [startup+0.300262 s] /proc/loadavg: 1.72 1.93 1.66 4/178 21476 /proc/meminfo: memFree=28944024/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=29176 CPUtime=0.29 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 6360 0 0 0 28 1 0 0 25 0 1 0 25689626 29876224 5926 4089446400 4194304 10345943 140733256214208 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 7294 5926 786 1502 0 5787 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29176 [startup+0.700198 s] /proc/loadavg: 1.72 1.93 1.66 4/178 21476 /proc/meminfo: memFree=28944024/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=29176 CPUtime=0.69 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 6615 0 0 0 68 1 0 0 25 0 1 0 25689626 29876224 6181 4089446400 4194304 10345943 140733256214208 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 7294 6181 791 1502 0 5787 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29176 [startup+1.50106 s] /proc/loadavg: 1.74 1.94 1.66 3/179 21477 /proc/meminfo: memFree=28921572/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=27204 CPUtime=1.49 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 6915 0 0 0 147 2 0 0 25 0 1 0 25689626 27856896 5709 4089446400 4194304 10345943 140733256214208 18446744073709551615 6119491 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 6801 5709 792 1502 0 5294 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27204 [startup+3.10079 s] /proc/loadavg: 1.74 1.94 1.66 3/179 21477 /proc/meminfo: memFree=28922316/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=29108 CPUtime=3.09 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 8977 0 0 0 305 4 0 0 25 0 1 0 25689626 29806592 6053 4089446400 4194304 10345943 140733256214208 18446744073709551615 6847612 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 7277 6053 792 1502 0 5770 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 29108 [startup+6.30026 s] /proc/loadavg: 1.74 1.94 1.66 3/179 21477 /proc/meminfo: memFree=28913924/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=39376 CPUtime=6.29 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 12915 0 0 0 623 6 0 0 25 0 1 0 25689626 40321024 8517 4089446400 4194304 10345943 140733256214208 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 9844 8517 801 1502 0 8337 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 39376 [startup+12.7002 s] /proc/loadavg: 1.78 1.94 1.67 3/179 21477 /proc/meminfo: memFree=28890752/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=64812 CPUtime=12.69 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 20545 0 0 0 1258 11 0 0 25 0 1 0 25689626 66367488 14516 4089446400 4194304 10345943 140733256214208 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 16203 14516 801 1502 0 14696 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 64812 [startup+25.501 s] /proc/loadavg: 1.81 1.94 1.67 3/179 21477 /proc/meminfo: memFree=28837328/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=108200 CPUtime=25.49 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 32871 0 0 0 2528 21 0 0 25 0 1 0 25689626 110796800 25077 4089446400 4194304 10345943 140733256214208 18446744073709551615 4556742 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 27050 25077 801 1502 0 25543 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 108200 [startup+51.1007 s] /proc/loadavg: 1.88 1.94 1.68 3/179 21478 /proc/meminfo: memFree=28764328/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=174904 CPUtime=51.1 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 63037 0 0 0 5071 39 0 0 25 0 1 0 25689626 179101696 42135 4089446400 4194304 10345943 140733256214208 18446744073709551615 4966014 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 43726 42135 804 1502 0 42219 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 174904 [startup+102.306 s] /proc/loadavg: 1.95 1.95 1.69 3/179 21479 /proc/meminfo: memFree=28627448/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=304608 CPUtime=102.29 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 99794 0 0 0 10161 68 0 0 25 0 1 0 25689626 311918592 74211 4089446400 4194304 10345943 140733256214208 18446744073709551615 6528260 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 76152 74211 804 1502 0 74645 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 304608 [startup+162.301 s] /proc/loadavg: 1.98 1.95 1.71 3/179 21481 /proc/meminfo: memFree=28472764/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=462732 CPUtime=162.3 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 137412 0 0 0 16126 104 0 0 25 0 1 0 25689626 473837568 111824 4089446400 4194304 10345943 140733256214208 18446744073709551615 6215357 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 115683 111824 804 1502 0 114176 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 462732 [startup+222.301 s] /proc/loadavg: 1.99 1.96 1.73 3/179 21483 /proc/meminfo: memFree=28314476/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=615824 CPUtime=222.3 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 177452 0 0 0 22091 139 0 0 25 0 1 0 25689626 630603776 150339 4089446400 4194304 10345943 140733256214208 18446744073709551615 7523551 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 153956 150339 804 1502 0 152449 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 615824 [startup+282.301 s] /proc/loadavg: 1.99 1.97 1.74 3/179 21484 /proc/meminfo: memFree=28164252/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=764224 CPUtime=282.29 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 214667 0 0 0 28059 170 0 0 25 0 1 0 25689626 782565376 187539 4089446400 4194304 10345943 140733256214208 18446744073709551615 6853988 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 191056 187539 804 1502 0 189549 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 764224 [startup+342.301 s] /proc/loadavg: 1.99 1.97 1.75 3/179 21486 /proc/meminfo: memFree=28011292/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=929864 CPUtime=342.29 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 253085 0 0 0 34023 206 0 0 25 0 1 0 25689626 952180736 225195 4089446400 4194304 10345943 140733256214208 18446744073709551615 6715455 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 232466 225195 804 1502 0 230959 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 929864 [startup+402.301 s] /proc/loadavg: 1.99 1.97 1.76 3/179 21487 /proc/meminfo: memFree=27858596/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=1079396 CPUtime=402.3 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 291065 0 0 0 39985 245 0 0 25 0 1 0 25689626 1105301504 263167 4089446400 4194304 10345943 140733256214208 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 269849 263167 804 1502 0 268342 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 1079396 [startup+462.301 s] /proc/loadavg: 1.99 1.97 1.77 3/179 21489 /proc/meminfo: memFree=27696224/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=1235016 CPUtime=462.3 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 330047 0 0 0 45947 283 0 0 25 0 1 0 25689626 1264656384 302131 4089446400 4194304 10345943 140733256214208 18446744073709551615 6777168 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 308754 302131 804 1502 0 307247 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 1235016 [startup+522.301 s] /proc/loadavg: 2.04 1.99 1.79 4/179 21491 /proc/meminfo: memFree=27536708/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=1387640 CPUtime=522.3 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 368548 0 0 0 51916 314 0 0 25 0 1 0 25689626 1420943360 340603 4089446400 4194304 10345943 140733256214208 18446744073709551615 6119446 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 346910 340603 804 1502 0 345403 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 1387640 [startup+582.301 s] /proc/loadavg: 2.01 1.99 1.80 3/179 21492 /proc/meminfo: memFree=27378420/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=1541616 CPUtime=582.3 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 409012 0 0 0 57880 350 0 0 25 0 1 0 25689626 1578614784 379536 4089446400 4194304 10345943 140733256214208 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 385404 379536 804 1502 0 383897 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1541616 [startup+642.301 s] /proc/loadavg: 2.08 2.00 1.82 3/179 21494 /proc/meminfo: memFree=27228808/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=1687072 CPUtime=642.3 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 459551 0 0 0 63839 391 0 0 25 0 1 0 25689626 1727561728 416491 4089446400 4194304 10345943 140733256214208 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 421768 416491 804 1502 0 420261 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 1687072 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27076232/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=1871632 CPUtime=702.3 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 499182 0 0 0 69803 427 0 0 25 0 1 0 25689626 1916551168 454590 4089446400 4194304 10345943 140733256214208 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 467908 454590 804 1502 0 466401 0 Current children cumulated CPU time (s) 702.3 Current children cumulated vsize (KiB) 1871632 [startup+762.306 s] /proc/loadavg: 2.01 2.00 1.83 3/179 21497 /proc/meminfo: memFree=26919048/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=2026320 CPUtime=762.31 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 539786 0 0 0 75767 464 0 0 25 0 1 0 25689626 2074951680 493649 4089446400 4194304 10345943 140733256214208 18446744073709551615 9104874 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 506580 493649 804 1502 0 505073 0 Current children cumulated CPU time (s) 762.31 Current children cumulated vsize (KiB) 2026320 [startup+822.3 s] /proc/loadavg: 2.00 2.00 1.84 3/179 21499 /proc/meminfo: memFree=26768704/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=2178276 CPUtime=822.3 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 577932 0 0 0 81738 492 0 0 25 0 1 0 25689626 2230554624 531767 4089446400 4194304 10345943 140733256214208 18446744073709551615 6368405 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 544569 531767 804 1502 0 543062 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 2178276 [startup+882.3 s] /proc/loadavg: 2.00 2.00 1.84 3/179 21500 /proc/meminfo: memFree=26612896/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=2329724 CPUtime=882.31 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 617028 0 0 0 87702 529 0 0 25 0 1 0 25689626 2385637376 570092 4089446400 4194304 10345943 140733256214208 18446744073709551615 6803441 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 582431 570092 804 1502 0 580924 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 2329724 [startup+942.3 s] /proc/loadavg: 2.00 2.00 1.85 3/179 21502 /proc/meminfo: memFree=26456576/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=2484996 CPUtime=942.3 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 655987 0 0 0 93666 564 0 0 25 0 1 0 25689626 2544635904 609036 4089446400 4194304 10345943 140733256214208 18446744073709551615 6551104 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 621249 609036 804 1502 0 619742 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 2484996 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.85 3/179 21503 /proc/meminfo: memFree=26301648/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=2638148 CPUtime=1002.31 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 694660 0 0 0 99630 601 0 0 25 0 1 0 25689626 2701463552 647686 4089446400 4194304 10345943 140733256214208 18446744073709551615 6119529 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 659537 647686 804 1502 0 658030 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 2638148 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.86 3/179 21505 /proc/meminfo: memFree=26149556/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=2789608 CPUtime=1062.31 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 732505 0 0 0 105590 641 0 0 25 0 1 0 25689626 2856558592 685495 4089446400 4194304 10345943 140733256214208 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 697402 685495 804 1502 0 695895 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 2789608 [startup+1122.3 s] /proc/loadavg: 2.05 2.01 1.87 3/179 21507 /proc/meminfo: memFree=25996344/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=2941496 CPUtime=1122.31 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 770738 0 0 0 111551 680 0 0 25 0 1 0 25689626 3012091904 723720 4089446400 4194304 10345943 140733256214208 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 735374 723720 804 1502 0 733867 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 2941496 [startup+1182.3 s] /proc/loadavg: 2.02 2.01 1.88 3/179 21508 /proc/meminfo: memFree=25995404/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=2932908 CPUtime=1182.31 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 797064 0 0 0 117519 712 0 0 25 0 1 0 25689626 3003297792 723006 4089446400 4194304 10345943 140733256214208 18446744073709551615 4602268 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 733227 723006 804 1502 0 731720 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 2932908 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.88 3/179 21510 /proc/meminfo: memFree=25989504/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=2932908 CPUtime=1242.32 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 797904 0 0 0 123485 747 0 0 25 0 1 0 25689626 3003297792 723846 4089446400 4194304 10345943 140733256214208 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 733227 723846 804 1502 0 731720 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 2932908 Solver just ended. Dumping a history of the last processes samples [startup+1254.3 s] /proc/loadavg: 2.08 2.02 1.89 3/179 21510 /proc/meminfo: memFree=25988876/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=2932908 CPUtime=1254.31 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 798072 0 0 0 124679 752 0 0 25 0 1 0 25689626 3003297792 724014 4089446400 4194304 10345943 140733256214208 18446744073709551615 7794977 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 733227 724014 804 1502 0 731720 0 Current children cumulated CPU time (s) 1254.31 Current children cumulated vsize (KiB) 2932908 [startup+1279.9 s] /proc/loadavg: 2.05 2.02 1.89 3/179 21511 /proc/meminfo: memFree=25987600/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=2932908 CPUtime=1279.91 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 798417 0 0 0 127225 766 0 0 25 0 1 0 25689626 3003297792 724359 4089446400 4194304 10345943 140733256214208 18446744073709551615 6307239 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 733227 724359 804 1502 0 731720 0 Current children cumulated CPU time (s) 1279.91 Current children cumulated vsize (KiB) 2932908 [startup+1286.3 s] /proc/loadavg: 2.05 2.01 1.89 3/179 21511 /proc/meminfo: memFree=25986976/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=2932908 CPUtime=1286.31 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 798503 0 0 0 127861 770 0 0 25 0 1 0 25689626 3003297792 724445 4089446400 4194304 10345943 140733256214208 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 733227 724445 804 1502 0 731720 0 Current children cumulated CPU time (s) 1286.31 Current children cumulated vsize (KiB) 2932908 [startup+1289.5 s] /proc/loadavg: 2.05 2.01 1.89 3/179 21511 /proc/meminfo: memFree=25986848/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=2932908 CPUtime=1289.51 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 798536 0 0 0 128180 771 0 0 25 0 1 0 25689626 3003297792 724478 4089446400 4194304 10345943 140733256214208 18446744073709551615 4221203 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 733227 724478 804 1502 0 731720 0 Current children cumulated CPU time (s) 1289.51 Current children cumulated vsize (KiB) 2932908 [startup+1292.7 s] /proc/loadavg: 2.04 2.01 1.89 3/179 21511 /proc/meminfo: memFree=25986720/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=2932908 CPUtime=1292.71 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 798536 0 0 0 128500 771 0 0 25 0 1 0 25689626 3003297792 724478 4089446400 4194304 10345943 140733256214208 18446744073709551615 6324933 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 733227 724478 804 1502 0 731720 0 Current children cumulated CPU time (s) 1292.71 Current children cumulated vsize (KiB) 2932908 [startup+1293.5 s] /proc/loadavg: 2.04 2.01 1.89 3/179 21511 /proc/meminfo: memFree=25986596/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=2932908 CPUtime=1293.52 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 798536 0 0 0 128581 771 0 0 25 0 1 0 25689626 3003297792 724478 4089446400 4194304 10345943 140733256214208 18446744073709551615 5591573 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 733227 724478 804 1502 0 731720 0 Current children cumulated CPU time (s) 1293.52 Current children cumulated vsize (KiB) 2932908 [startup+1293.9 s] /proc/loadavg: 2.04 2.01 1.89 3/179 21511 /proc/meminfo: memFree=25986596/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=2932908 CPUtime=1293.91 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 798536 0 0 0 128620 771 0 0 25 0 1 0 25689626 3003297792 724478 4089446400 4194304 10345943 140733256214208 18446744073709551615 5591667 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 733227 724478 804 1502 0 731720 0 Current children cumulated CPU time (s) 1293.91 Current children cumulated vsize (KiB) 2932908 [startup+1294.1 s] /proc/loadavg: 2.04 2.01 1.89 3/179 21511 /proc/meminfo: memFree=25986596/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=2932908 CPUtime=1294.11 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 798536 0 0 0 128640 771 0 0 25 0 1 0 25689626 3003297792 724478 4089446400 4194304 10345943 140733256214208 18446744073709551615 6325130 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21476/statm: 733227 724478 804 1502 0 731720 0 Current children cumulated CPU time (s) 1294.11 Current children cumulated vsize (KiB) 2932908 [startup+1294.2 s] /proc/loadavg: 2.04 2.01 1.89 3/179 21511 /proc/meminfo: memFree=25986596/32951124 swapFree=67111528/67111528 [pid=21476] ppid=21474 vsize=2765304 CPUtime=1294.21 /proc/21476/stat : 21476 (pbscip.linux.x8) R 21474 21476 21168 0 -1 4202496 798537 0 0 0 128649 772 0 0 18 0 1 0 25689626 2831671296 604171 4089446400 4194304 10345943 140733256214208 18446744073709551615 9366586 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21476/statm: 691326 603678 805 1502 0 689819 0 Current children cumulated CPU time (s) 1294.21 Current children cumulated vsize (KiB) 2765304 Child status: 0 Real time (s): 1294.28 CPU time (s): 1294.3 CPU user time (s): 1286.49 CPU system time (s): 7.81081 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 3031228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1286.49 system time used= 7.81081 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 798540 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= 2 involuntary context switches= 1174 runsolver used 2.13068 second user time and 4.25235 second system time The end
Begin job on node118 at 2010-07-08 09:39:21 IDJOB=2705166 IDBENCH=79058 IDSOLVER=1214 FILE ID=node118/2705166-1278574761 PBS_JOBID= 11240218 Free space on /tmp= 73548 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl--soft-66-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705166-1278574761/watcher-2705166-1278574761 -o /tmp/evaluation-result-2705166-1278574761/solver-2705166-1278574761 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705166-1278574761.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 11b5382626eb4b4626e558a03fc2298b RANDOM SEED=376466021 node118.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.818 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.63 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.818 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.818 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.75 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.818 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 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.818 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.72 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.818 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.818 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.76 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.818 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.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28944552 kB Buffers: 153032 kB Cached: 3605328 kB SwapCached: 0 kB Active: 1295248 kB Inactive: 2559984 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28944552 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 25852 kB Writeback: 0 kB AnonPages: 97672 kB Mapped: 17884 kB Slab: 86940 kB PageTables: 4956 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 244296 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73532 MiB End job on node118 at 2010-07-08 10:00:55