Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed | OPT | 2 | 30.7413 | 30.7463 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=29-P1=2-P2=59-P3=2-P4=47-P5=53-P6=37-P7=53-P8=53-B.opb |
| MD5SUM | 546a5ced30808b0bb71d4cd4eb43d066 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 0.048992 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 2 |
| Optimality of the best value was proved | YES |
| Number of variables | 144 |
| Total number of constraints | 17 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 17 |
| Minimum length of a constraint | 6 |
| Maximum length of a constraint | 48 |
| Number of terms in the objective function | 6 |
| Biggest coefficient in the objective function | 32 |
| Number of bits for the biggest coefficient in the objective function | 6 |
| Sum of the numbers in the objective function | 63 |
| Number of bits of the sum of numbers in the objective function | 6 |
| Biggest number in a constraint | 2048 |
| Number of bits of the biggest number in a constraint | 12 |
| Biggest sum of numbers in a constraint | 8064 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 288 |
| Sum of products size (including duplicates) | 576 |
| Number of different products | 288 |
| Sum of products size | 576 |
0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3693831-1338035252.opb>
0.00/0.00 c original problem has 144 variables (144 bin, 0 int, 0 impl, 0 cont) and 17 constraints
0.00/0.00 c problem read in 0.00
0.00/0.00 c presolving:
0.00/0.02 c (round 1) 9 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 36 chg coeffs, 0 upgd conss, 1912 impls, 0 clqs
0.00/0.02 c (round 2) 9 del vars, 0 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 36 chg coeffs, 10 upgd conss, 1931 impls, 0 clqs
0.00/0.02 c (round 3) 10 del vars, 0 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 36 chg coeffs, 15 upgd conss, 1971 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 51/422 (12.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.03 c presolving (4 rounds):
0.00/0.03 c 10 deleted vars, 0 deleted constraints, 0 added constraints, 1 tightened bounds, 0 added holes, 0 changed sides, 36 changed coefficients
0.00/0.03 c 1971 implications, 0 cliques
0.00/0.03 c presolved problem has 422 variables (422 bin, 0 int, 0 impl, 0 cont) and 305 constraints
0.00/0.03 c 3 constraints of type <setppc>
0.00/0.03 c 285 constraints of type <and>
0.00/0.03 c 8 constraints of type <linear>
0.00/0.03 c 9 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.03
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 2.1.1.4
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1797
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 13950
0.00/0.03 c
0.00/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
0.00/0.03 c
0.00/0.03 c # belongs reading time to solving time?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c timing/reading = TRUE
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.04 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.04 c 0.0s| 1 | 0 | 16 | - |1728k| 0 | 4 | 422 | 322 | 422 | 590 | 0 | 17 | 0 | 2.000000e+00 | -- | Inf
0.03/0.07 c 0.1s| 1 | 0 | 242 | - |1825k| 0 | 10 | 422 | 346 | 422 | 598 | 8 | 41 | 0 | 2.000000e+00 | -- | Inf
0.03/0.08 c 0.1s| 1 | 0 | 260 | - |1867k| 0 | 19 | 422 | 346 | 422 | 605 | 15 | 41 | 0 | 2.000000e+00 | -- | Inf
0.03/0.09 c 0.1s| 1 | 0 | 285 | - |1914k| 0 | 35 | 422 | 346 | 422 | 630 | 40 | 41 | 0 | 2.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 352 | - |1949k| 0 | 58 | 422 | 346 | 422 | 654 | 64 | 41 | 0 | 2.000000e+00 | -- | Inf
0.09/0.15 c 0.1s| 1 | 0 | 398 | - |2022k| 0 | 89 | 422 | 346 | 422 | 675 | 85 | 41 | 0 | 2.000000e+00 | -- | Inf
0.19/0.21 c 0.2s| 1 | 0 | 432 | - |2089k| 0 | 87 | 422 | 346 | 422 | 757 | 167 | 41 | 0 | 2.000000e+00 | -- | Inf
0.39/0.46 c 0.5s| 1 | 2 | 432 | - |2089k| 0 | 87 | 422 | 346 | 422 | 757 | 167 | 41 | 33 | 2.000000e+00 | -- | Inf
1.29/1.34 c 1.3s| 100 | 33 | 1747 | 13.3 |2069k| 28 | 63 | 422 | 445 | 422 | 233 | 489 | 140 | 656 | 2.000000e+00 | -- | Inf
1.39/1.45 c 1.5s| 200 | 94 | 2477 | 10.3 |2179k| 59 | 10 | 422 | 517 | 422 | 287 | 606 | 212 | 722 | 2.000000e+00 | -- | Inf
1.49/1.54 c 1.5s| 300 | 99 | 2930 | 8.4 |2287k| 60 | 28 | 422 | 639 | 422 | 262 | 710 | 334 | 785 | 2.000000e+00 | -- | Inf
1.59/1.61 c 1.6s| 400 | 140 | 3284 | 7.1 |2374k| 60 | 27 | 422 | 734 | 422 | 271 | 790 | 429 | 802 | 2.000000e+00 | -- | Inf
1.59/1.67 c 1.7s| 500 | 135 | 3609 | 6.4 |2441k| 60 | - | 422 | 873 | 0 | 0 | 848 | 568 | 802 | 2.000000e+00 | -- | Inf
1.69/1.74 c 1.7s| 600 | 161 | 4065 | 6.1 |2503k| 60 | - | 422 | 945 | 0 | 0 | 933 | 640 | 817 | 2.000000e+00 | -- | Inf
1.79/1.83 c 1.8s| 700 | 189 | 4704 | 6.1 |2576k| 60 | 26 | 422 |1031 | 422 | 269 |1067 | 726 | 821 | 2.000000e+00 | -- | Inf
1.79/1.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.79/1.90 c 1.9s| 800 | 173 | 5115 | 5.9 |2625k| 60 | 31 | 422 |1152 | 422 | 268 |1136 | 847 | 829 | 2.000000e+00 | -- | Inf
1.89/1.96 c 2.0s| 900 | 192 | 5572 | 5.7 |2687k| 60 | 29 | 422 |1252 | 422 | 266 |1212 | 947 | 829 | 2.000000e+00 | -- | Inf
1.99/2.03 c 2.0s| 1000 | 173 | 6064 | 5.6 |2743k| 60 | 56 | 422 |1362 | 422 | 262 |1293 |1062 | 832 | 2.000000e+00 | -- | Inf
2.09/2.12 c 2.1s| 1100 | 195 | 6921 | 5.9 |2833k| 60 | 30 | 422 |1460 | 422 | 262 |1452 |1172 | 834 | 2.000000e+00 | -- | Inf
2.20/2.21 c 2.2s| 1200 | 178 | 7846 | 6.2 |2888k| 60 | 34 | 422 |1572 | 422 | 248 |1597 |1301 | 834 | 2.000000e+00 | -- | Inf
2.20/2.29 c 2.3s| 1300 | 183 | 8623 | 6.3 |2925k| 60 | 25 | 422 |1651 | 422 | 267 |1695 |1400 | 834 | 2.000000e+00 | -- | Inf
2.29/2.37 c 2.4s| 1400 | 215 | 9377 | 6.4 |2985k| 60 | 31 | 422 |1738 | 422 | 270 |1817 |1504 | 834 | 2.000000e+00 | -- | Inf
2.39/2.46 c 2.5s| 1500 | 223 | 10079 | 6.4 |3047k| 60 | 32 | 422 |1830 | 422 | 270 |1935 |1604 | 851 | 2.000000e+00 | -- | Inf
2.49/2.53 c 2.5s| 1600 | 250 | 10647 | 6.4 |3120k| 60 | 30 | 422 |1922 | 422 | 266 |2052 |1709 | 851 | 2.000000e+00 | -- | Inf
2.59/2.61 c 2.6s| 1700 | 253 | 11189 | 6.3 |3190k| 60 | - | 422 |2043 | 0 | 0 |2149 |1842 | 851 | 2.000000e+00 | -- | Inf
2.59/2.68 c 2.7s| 1800 | 243 | 11687 | 6.3 |3235k| 60 | 32 | 422 |2128 | 422 | 271 |2231 |1965 | 851 | 2.000000e+00 | -- | Inf
2.69/2.76 c 2.8s| 1900 | 234 | 12516 | 6.4 |3280k| 60 | 36 | 422 |2209 | 422 | 278 |2367 |2095 | 851 | 2.000000e+00 | -- | Inf
2.79/2.83 c 2.8s| 2000 | 239 | 13125 | 6.3 |3340k| 60 | - | 422 |2298 | 0 | 0 |2461 |2219 | 851 | 2.000000e+00 | -- | Inf
2.89/2.92 c 2.9s| 2100 | 233 | 13787 | 6.4 |3309k| 60 | 31 | 422 |2207 | 422 | 273 |2596 |2315 | 857 | 2.000000e+00 | -- | Inf
2.89/2.99 c 3.0s| 2200 | 235 | 14310 | 6.3 |3365k| 60 | - | 422 |2303 | 0 | 0 |2707 |2475 | 857 | 2.000000e+00 | -- | Inf
2.99/3.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.99/3.06 c 3.1s| 2300 | 237 | 14761 | 6.2 |3366k| 60 | 41 | 422 |2272 | 422 | 268 |2802 |2580 | 857 | 2.000000e+00 | -- | Inf
3.09/3.14 c 3.1s| 2400 | 236 | 15388 | 6.2 |3384k| 60 | 54 | 422 |2313 | 422 | 267 |2917 |2713 | 857 | 2.000000e+00 | -- | Inf
3.20/3.21 c 3.2s| 2500 | 231 | 16012 | 6.2 |3367k| 60 | 39 | 422 |2268 | 422 | 263 |3004 |2805 | 857 | 2.000000e+00 | -- | Inf
3.20/3.30 c 3.3s| 2600 | 260 | 16957 | 6.4 |3373k| 60 | - | 422 |2209 | 0 | 0 |3170 |2896 | 857 | 2.000000e+00 | -- | Inf
3.29/3.38 c 3.4s| 2700 | 275 | 17771 | 6.4 |3400k| 60 | - | 422 |2153 | 422 | 268 |3321 |2985 | 862 | 2.000000e+00 | -- | Inf
3.39/3.46 c 3.5s| 2800 | 294 | 18303 | 6.4 |3479k| 60 | 37 | 422 |2245 | 422 | 271 |3474 |3127 | 863 | 2.000000e+00 | -- | Inf
3.49/3.53 c 3.5s| 2900 | 307 | 18916 | 6.4 |3517k| 60 | - | 422 |2283 | 0 | 0 |3592 |3227 | 863 | 2.000000e+00 | -- | Inf
3.59/3.61 c 3.6s| 3000 | 314 | 19626 | 6.4 |3561k| 60 | 46 | 422 |2356 | 422 | 284 |3663 |3316 | 863 | 2.000000e+00 | -- | Inf
3.59/3.68 c 3.7s| 3100 | 314 | 20466 | 6.5 |3535k| 60 | 37 | 422 |2281 | 422 | 268 |3742 |3423 | 863 | 2.000000e+00 | -- | Inf
3.69/3.77 c 3.8s| 3200 | 312 | 21376 | 6.5 |3499k| 60 | 38 | 422 |2160 | 422 | 277 |3894 |3520 | 863 | 2.000000e+00 | -- | Inf
3.79/3.83 c 3.8s| 3300 | 345 | 21907 | 6.5 |3575k| 60 | 55 | 422 |2240 | 422 | 280 |4020 |3634 | 863 | 2.000000e+00 | -- | Inf
3.89/3.97 c 3.9s| 3400 | 366 | 22534 | 6.5 |3629k| 60 | 44 | 422 |2322 | 422 | 294 |4178 |3748 | 863 | 2.000000e+00 | -- | Inf
3.89/3.98 c 4.0s| 3500 | 369 | 23047 | 6.5 |3642k| 60 | 71 | 422 |2270 | 422 | 249 |4298 |3884 | 867 | 2.000000e+00 | -- | Inf
3.99/4.05 c 4.1s| 3600 | 393 | 23681 | 6.5 |3686k| 60 | 30 | 422 |2306 | 422 | 277 |4411 |3991 | 870 | 2.000000e+00 | -- | Inf
4.09/4.13 c 4.1s| 3700 | 428 | 24408 | 6.5 |3727k| 60 | 43 | 422 |2333 | 422 | 276 |4517 |4068 | 870 | 2.000000e+00 | -- | Inf
4.19/4.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.19/4.20 c 4.2s| 3800 | 446 | 24804 | 6.4 |3783k| 60 | 35 | 422 |2429 | 422 | 273 |4631 |4183 | 870 | 2.000000e+00 | -- | Inf
4.19/4.26 c 4.3s| 3900 | 439 | 25205 | 6.4 |3827k| 60 | 35 | 422 |2519 | 422 | 275 |4721 |4288 | 870 | 2.000000e+00 | -- | Inf
4.30/4.34 c 4.3s| 4000 | 435 | 25759 | 6.3 |3810k| 60 | 34 | 422 |2415 | 422 | 263 |4844 |4406 | 870 | 2.000000e+00 | -- | Inf
4.39/4.41 c 4.4s| 4100 | 426 | 26305 | 6.3 |3761k| 60 | 32 | 422 |2272 | 422 | 275 |4935 |4519 | 870 | 2.000000e+00 | -- | Inf
4.39/4.48 c 4.5s| 4200 | 425 | 26902 | 6.3 |3780k| 60 | - | 422 |2296 | 0 | 0 |5020 |4624 | 870 | 2.000000e+00 | -- | Inf
4.49/4.55 c 4.5s| 4300 | 440 | 27424 | 6.3 |3828k| 60 | 40 | 422 |2361 | 422 | 259 |5139 |4745 | 870 | 2.000000e+00 | -- | Inf
4.59/4.63 c 4.6s| 4400 | 440 | 28259 | 6.3 |3873k| 60 | 37 | 422 |2456 | 422 | 272 |5264 |4927 | 870 | 2.000000e+00 | -- | Inf
4.59/4.69 c 4.7s| 4500 | 427 | 28700 | 6.3 |3863k| 60 | - | 422 |2450 | 422 | 266 |5300 |5066 | 870 | 2.000000e+00 | -- | Inf
4.69/4.76 c 4.8s| 4600 | 437 | 29368 | 6.3 |3861k| 60 | 29 | 422 |2396 | 422 | 266 |5388 |5180 | 870 | 2.000000e+00 | -- | Inf
4.79/4.83 c 4.8s| 4700 | 448 | 30127 | 6.3 |3915k| 60 | 34 | 422 |2500 | 422 | 268 |5501 |5315 | 870 | 2.000000e+00 | -- | Inf
4.89/4.90 c 4.9s| 4800 | 465 | 30653 | 6.3 |3964k| 60 | - | 422 |2568 | 0 | 0 |5606 |5420 | 870 | 2.000000e+00 | -- | Inf
4.89/4.97 c 5.0s| 4900 | 456 | 31245 | 6.3 |3978k| 60 | - | 422 |2605 | 0 | 0 |5714 |5527 | 870 | 2.000000e+00 | -- | Inf
4.99/5.05 c 5.1s| 5000 | 462 | 31859 | 6.3 |3984k| 60 | 53 | 422 |2610 | 422 | 264 |5820 |5630 | 870 | 2.000000e+00 | -- | Inf
5.09/5.13 c 5.1s| 5100 | 476 | 32618 | 6.3 |4029k| 60 | 32 | 422 |2669 | 422 | 268 |5964 |5785 | 870 | 2.000000e+00 | -- | Inf
5.09/5.19 c 5.2s| 5200 | 480 | 33085 | 6.3 |4066k| 60 | 29 | 422 |2743 | 422 | 283 |6027 |5875 | 870 | 2.000000e+00 | -- | Inf
5.19/5.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.19/5.26 c 5.3s| 5300 | 461 | 33550 | 6.2 |4084k| 60 | - | 422 |2828 | 0 | 0 |6134 |5996 | 870 | 2.000000e+00 | -- | Inf
5.29/5.33 c 5.3s| 5400 | 446 | 34092 | 6.2 |4038k| 60 | 47 | 422 |2730 | 422 | 279 |6219 |6083 | 870 | 2.000000e+00 | -- | Inf
5.29/5.39 c 5.4s| 5500 | 446 | 34481 | 6.2 |4068k| 60 | 40 | 422 |2769 | 422 | 265 |6278 |6193 | 870 | 2.000000e+00 | -- | Inf
5.39/5.44 c 5.4s| 5600 | 464 | 34817 | 6.1 |4120k| 60 | 40 | 422 |2842 | 422 | 274 |6354 |6305 | 870 | 2.000000e+00 | -- | Inf
5.50/5.51 c 5.5s| 5700 | 472 | 35408 | 6.1 |4165k| 60 | 48 | 422 |2914 | 422 | 270 |6424 |6419 | 870 | 2.000000e+00 | -- | Inf
5.50/5.58 c 5.6s| 5800 | 454 | 35851 | 6.1 |4162k| 60 | - | 422 |2893 | 0 | 0 |6517 |6521 | 870 | 2.000000e+00 | -- | Inf
5.59/5.64 c 5.6s| 5900 | 465 | 36171 | 6.1 |4197k| 60 | 34 | 422 |2933 | 422 | 269 |6593 |6631 | 870 | 2.000000e+00 | -- | Inf
5.69/5.72 c 5.7s| 6000 | 457 | 36766 | 6.1 |4199k| 60 | 46 | 422 |2950 | 422 | 266 |6732 |6746 | 870 | 2.000000e+00 | -- | Inf
5.69/5.79 c 5.8s| 6100 | 493 | 37287 | 6.0 |4266k| 60 | 42 | 422 |3019 | 422 | 256 |6861 |6841 | 870 | 2.000000e+00 | -- | Inf
5.79/5.87 c 5.9s| 6200 | 490 | 37953 | 6.1 |4284k| 60 | 36 | 422 |3013 | 422 | 273 |6966 |6975 | 870 | 2.000000e+00 | -- | Inf
5.89/5.94 c 5.9s| 6300 | 494 | 38660 | 6.1 |4314k| 60 | 34 | 422 |3051 | 422 | 265 |7072 |7083 | 870 | 2.000000e+00 | -- | Inf
5.99/6.03 c 6.0s| 6400 | 466 | 39476 | 6.1 |4303k| 60 | 38 | 422 |3047 | 422 | 266 |7197 |7248 | 870 | 2.000000e+00 | -- | Inf
6.09/6.10 c 6.1s| 6500 | 475 | 40041 | 6.1 |4318k| 60 | - | 422 |3046 | 0 | 0 |7322 |7362 | 870 | 2.000000e+00 | -- | Inf
6.19/6.20 c 6.2s| 6600 | 482 | 41121 | 6.2 |4294k| 60 | 41 | 422 |2966 | 422 | 277 |7487 |7445 | 870 | 2.000000e+00 | -- | Inf
6.19/6.26 c 6.3s| 6700 | 514 | 41786 | 6.2 |4353k| 60 | 54 | 422 |3030 | 422 | 277 |7586 |7532 | 870 | 2.000000e+00 | -- | Inf
6.29/6.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.29/6.34 c 6.3s| 6800 | 541 | 42390 | 6.2 |4411k| 60 | - | 422 |3073 | 0 | 0 |7722 |7641 | 870 | 2.000000e+00 | -- | Inf
6.39/6.41 c 6.4s| 6900 | 589 | 42923 | 6.2 |4484k| 60 | - | 422 |3130 | 0 | 0 |7849 |7735 | 870 | 2.000000e+00 | -- | Inf
6.39/6.47 c 6.5s| 7000 | 589 | 43251 | 6.1 |4524k| 60 | 42 | 422 |3209 | 422 | 284 |7923 |7848 | 870 | 2.000000e+00 | -- | Inf
6.49/6.53 c 6.5s| 7100 | 599 | 43662 | 6.1 |4580k| 60 | - | 422 |3305 | 0 | 0 |8009 |7972 | 870 | 2.000000e+00 | -- | Inf
6.49/6.59 c 6.6s| 7200 | 603 | 44021 | 6.1 |4595k| 60 | - | 422 |3344 | 0 | 0 |8070 |8078 | 870 | 2.000000e+00 | -- | Inf
6.59/6.65 c 6.7s| 7300 | 615 | 44379 | 6.0 |4654k| 60 | 39 | 422 |3446 | 422 | 275 |8143 |8200 | 870 | 2.000000e+00 | -- | Inf
6.69/6.71 c 6.7s| 7400 | 593 | 44789 | 6.0 |4638k| 60 | 40 | 422 |3434 | 422 | 275 |8200 |8324 | 870 | 2.000000e+00 | -- | Inf
6.69/6.77 c 6.8s| 7500 | 565 | 45116 | 6.0 |4648k| 60 | 39 | 422 |3490 | 422 | 285 |8260 |8477 | 870 | 2.000000e+00 | -- | Inf
6.79/6.85 c 6.8s| 7600 | 537 | 45649 | 6.0 |4608k| 60 | 36 | 422 |3477 | 422 | 272 |8352 |8604 | 870 | 2.000000e+00 | -- | Inf
6.89/6.91 c 6.9s| 7700 | 558 | 46064 | 5.9 |4671k| 60 | - | 422 |3568 | 0 | 0 |8449 |8729 | 870 | 2.000000e+00 | -- | Inf
6.89/6.98 c 7.0s| 7800 | 555 | 46622 | 5.9 |4705k| 60 | - | 422 |3654 | 0 | 0 |8566 |8846 | 870 | 2.000000e+00 | -- | Inf
6.98/7.04 c 7.0s| 7900 | 569 | 46994 | 5.9 |4775k| 60 | 40 | 422 |3787 | 422 | 281 |8671 |8998 | 870 | 2.000000e+00 | -- | Inf
7.09/7.12 c 7.1s| 8000 | 559 | 47772 | 5.9 |4763k| 60 | 39 | 422 |3739 | 422 | 280 |8804 |9144 | 870 | 2.000000e+00 | -- | Inf
7.09/7.18 c 7.2s| 8100 | 543 | 48193 | 5.9 |4740k| 60 | - | 422 |3656 | 0 | 0 |8855 |9269 | 870 | 2.000000e+00 | -- | Inf
7.19/7.27 c 7.3s| 8200 | 572 | 48981 | 5.9 |4758k| 60 | 44 | 422 |3565 | 422 | 273 |8990 |9388 | 878 | 2.000000e+00 | -- | Inf
7.29/7.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.29/7.34 c 7.3s| 8300 | 593 | 49696 | 5.9 |4805k| 60 | - | 422 |3623 | 0 | 0 |9098 |9523 | 881 | 2.000000e+00 | -- | Inf
7.39/7.42 c 7.4s| 8400 | 615 | 50481 | 6.0 |4846k| 60 | 42 | 422 |3653 | 422 | 268 |9205 |9633 | 884 | 2.000000e+00 | -- | Inf
7.39/7.48 c 7.5s| 8500 | 623 | 50993 | 5.9 |4891k| 60 | - | 422 |3730 | 0 | 0 |9298 |9761 | 884 | 2.000000e+00 | -- | Inf
7.48/7.55 c 7.6s| 8600 | 632 | 51686 | 6.0 |4919k| 60 | - | 422 |3757 | 0 | 0 |9392 |9874 | 884 | 2.000000e+00 | -- | Inf
7.60/7.62 c 7.6s| 8700 | 640 | 52405 | 6.0 |4945k| 60 | 41 | 422 |3804 | 422 | 263 |9488 |9977 | 884 | 2.000000e+00 | -- | Inf
7.60/7.70 c 7.7s| 8800 | 656 | 53288 | 6.0 |4983k| 60 | 43 | 422 |3852 | 422 | 268 |9584 | 10k| 884 | 2.000000e+00 | -- | Inf
7.69/7.77 c 7.8s| 8900 | 671 | 54111 | 6.0 |5025k| 60 | - | 422 |3888 | 0 | 0 |9673 | 10k| 884 | 2.000000e+00 | -- | Inf
7.79/7.85 c 7.9s| 9000 | 672 | 54967 | 6.1 |5049k| 60 | 27 | 422 |3921 | 422 | 259 |9774 | 10k| 884 | 2.000000e+00 | -- | Inf
7.89/7.93 c 7.9s| 9100 | 669 | 55767 | 6.1 |5070k| 60 | - | 422 |3933 | 0 | 0 |9874 | 10k| 884 | 2.000000e+00 | -- | Inf
7.98/8.00 c 8.0s| 9200 | 682 | 56426 | 6.1 |5092k| 60 | 43 | 422 |3946 | 422 | 258 |9970 | 10k| 884 | 2.000000e+00 | -- | Inf
7.98/8.08 c 8.1s| 9300 | 660 | 57235 | 6.1 |5072k| 60 | 46 | 422 |3882 | 422 | 278 | 10k| 10k| 884 | 2.000000e+00 | -- | Inf
8.09/8.16 c 8.2s| 9400 | 609 | 58014 | 6.1 |4964k| 60 | 40 | 422 |3761 | 422 | 273 | 10k| 10k| 884 | 2.000000e+00 | -- | Inf
8.19/8.24 c 8.2s| 9500 | 612 | 59082 | 6.2 |5000k| 60 | - | 422 |3836 | 0 | 0 | 10k| 10k| 884 | 2.000000e+00 | -- | Inf
8.29/8.31 c 8.3s| 9600 | 628 | 59687 | 6.2 |5068k| 60 | 41 | 422 |3974 | 422 | 272 | 10k| 10k| 884 | 2.000000e+00 | -- | Inf
8.29/8.39 c 8.4s| 9700 | 637 | 60476 | 6.2 |5122k| 60 | - | 422 |4082 | 0 | 0 | 10k| 11k| 884 | 2.000000e+00 | -- | Inf
8.39/8.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.39/8.46 c 8.5s| 9800 | 618 | 61406 | 6.2 |5125k| 60 | 38 | 422 |4142 | 422 | 259 | 10k| 11k| 884 | 2.000000e+00 | -- | Inf
8.49/8.54 c 8.5s| 9900 | 617 | 62153 | 6.2 |5176k| 60 | - | 422 |4257 | 0 | 0 | 10k| 11k| 884 | 2.000000e+00 | -- | Inf
8.59/8.62 c 8.6s| 10000 | 609 | 63098 | 6.3 |5205k| 60 | 31 | 422 |4336 | 422 | 261 | 10k| 11k| 884 | 2.000000e+00 | -- | Inf
8.69/8.71 c 8.7s| 10100 | 621 | 63803 | 6.3 |5152k| 60 | - | 422 |4097 | 0 | 0 | 10k| 11k| 896 | 2.000000e+00 | -- | Inf
8.69/8.79 c 8.8s| 10200 | 632 | 64447 | 6.3 |5091k| 60 | 44 | 422 |3871 | 422 | 278 | 11k| 11k| 896 | 2.000000e+00 | -- | Inf
8.79/8.86 c 8.9s| 10300 | 641 | 64995 | 6.3 |5088k| 60 | 45 | 422 |3802 | 422 | 283 | 11k| 11k| 896 | 2.000000e+00 | -- | Inf
8.89/8.94 c 8.9s| 10400 | 637 | 65447 | 6.3 |5069k| 60 | 60 | 422 |3704 | 422 | 277 | 11k| 11k| 896 | 2.000000e+00 | -- | Inf
8.99/9.00 c 9.0s| 10500 | 636 | 65803 | 6.2 |5084k| 60 | 55 | 422 |3725 | 422 | 279 | 11k| 12k| 896 | 2.000000e+00 | -- | Inf
8.99/9.07 c 9.1s| 10600 | 632 | 66207 | 6.2 |5084k| 60 | 46 | 422 |3709 | 422 | 285 | 11k| 12k| 896 | 2.000000e+00 | -- | Inf
9.09/9.13 c 9.1s| 10700 | 631 | 66565 | 6.2 |5088k| 60 | 43 | 422 |3673 | 422 | 283 | 11k| 12k| 896 | 2.000000e+00 | -- | Inf
9.19/9.22 c 9.2s| 10800 | 633 | 67217 | 6.2 |5100k| 60 | - | 422 |3689 | 0 | 0 | 11k| 12k| 896 | 2.000000e+00 | -- | Inf
9.19/9.28 c 9.3s| 10900 | 636 | 67754 | 6.2 |5118k| 60 | 45 | 422 |3746 | 422 | 267 | 11k| 12k| 896 | 2.000000e+00 | -- | Inf
9.29/9.36 c 9.4s| 11000 | 638 | 68358 | 6.2 |5161k| 60 | 53 | 422 |3844 | 422 | 285 | 11k| 12k| 896 | 2.000000e+00 | -- | Inf
9.39/9.43 c 9.4s| 11100 | 640 | 68894 | 6.2 |5187k| 60 | - | 422 |3904 | 0 | 0 | 11k| 12k| 896 | 2.000000e+00 | -- | Inf
9.49/9.51 c 9.5s| 11200 | 623 | 69636 | 6.2 |5129k| 60 | 43 | 422 |3863 | 422 | 261 | 12k| 12k| 896 | 2.000000e+00 | -- | Inf
9.49/9.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.49/9.59 c 9.6s| 11300 | 638 | 70415 | 6.2 |5144k| 60 | 34 | 422 |3809 | 422 | 263 | 12k| 12k| 896 | 2.000000e+00 | -- | Inf
9.59/9.65 c 9.7s| 11400 | 643 | 70835 | 6.2 |5148k| 60 | 47 | 422 |3815 | 422 | 273 | 12k| 13k| 896 | 2.000000e+00 | -- | Inf
9.69/9.73 c 9.7s| 11500 | 633 | 71432 | 6.2 |5141k| 60 | 51 | 422 |3810 | 422 | 272 | 12k| 13k| 896 | 2.000000e+00 | -- | Inf
9.80/9.81 c 9.8s| 11600 | 606 | 72116 | 6.2 |4985k| 60 | 47 | 422 |3473 | 422 | 272 | 12k| 13k| 896 | 2.000000e+00 | -- | Inf
9.80/9.89 c 9.9s| 11700 | 601 | 72724 | 6.2 |4956k| 60 | 37 | 422 |3388 | 422 | 276 | 12k| 13k| 896 | 2.000000e+00 | -- | Inf
9.89/9.99 c 10.0s| 11800 | 593 | 73581 | 6.2 |4833k| 60 | 47 | 422 |2964 | 422 | 252 | 12k| 13k| 896 | 2.000000e+00 | -- | Inf
9.98/10.06 c 10.1s| 11900 | 612 | 74197 | 6.2 |4876k| 60 | - | 422 |2990 | 0 | 0 | 13k| 13k| 896 | 2.000000e+00 | -- | Inf
10.09/10.13 c 10.1s| 12000 | 617 | 74800 | 6.2 |4921k| 60 | 50 | 422 |3063 | 422 | 257 | 13k| 13k| 896 | 2.000000e+00 | -- | Inf
10.19/10.21 c 10.2s| 12100 | 596 | 75540 | 6.2 |4866k| 60 | 47 | 422 |2969 | 422 | 262 | 13k| 13k| 896 | 2.000000e+00 | -- | Inf
10.19/10.29 c 10.3s| 12200 | 600 | 76156 | 6.2 |4868k| 60 | 69 | 422 |2895 | 422 | 242 | 13k| 13k| 897 | 2.000000e+00 | -- | Inf
10.29/10.36 c 10.4s| 12300 | 639 | 76879 | 6.2 |4969k| 60 | 22 | 422 |2955 | 422 | 292 | 13k| 14k| 903 | 2.000000e+00 | -- | Inf
10.39/10.46 c 10.5s| 12400 | 691 | 78015 | 6.3 |5105k| 63 | 8 | 422 |3038 | 422 | 309 | 13k| 14k| 945 | 2.000000e+00 | -- | Inf
10.49/10.58 c 10.6s| 12500 | 760 | 79362 | 6.3 |5190k| 63 | 19 | 422 |3041 | 422 | 303 | 14k| 14k| 981 | 2.000000e+00 | -- | Inf
10.59/10.66 c 10.7s| 12600 | 805 | 80254 | 6.3 |5301k| 69 | 5 | 422 |3149 | 422 | 308 | 14k| 14k|1002 | 2.000000e+00 | -- | Inf
10.69/10.75 c 10.7s| 12700 | 869 | 81384 | 6.4 |5384k| 69 | 62 | 422 |3139 | 422 | 221 | 14k| 14k|1009 | 2.000000e+00 | -- | Inf
10.79/10.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.79/10.86 c 10.9s| 12800 | 948 | 82530 | 6.4 |5516k| 69 | 8 | 422 |3203 | 422 | 297 | 14k| 14k|1046 | 2.000000e+00 | -- | Inf
10.90/10.93 c 10.9s| 12900 | 997 | 83093 | 6.4 |5611k| 69 | 2 | 422 |3286 | 422 | 313 | 15k| 14k|1055 | 2.000000e+00 | -- | Inf
10.90/10.99 c 11.0s| 13000 | 1012 | 83705 | 6.4 |5673k| 69 | 4 | 422 |3374 | 422 | 294 | 15k| 14k|1059 | 2.000000e+00 | -- | Inf
10.99/11.06 c 11.1s| 13100 | 1044 | 84249 | 6.4 |5726k| 69 | 6 | 422 |3411 | 422 | 309 | 15k| 14k|1064 | 2.000000e+00 | -- | Inf
11.09/11.14 c 11.1s| 13200 | 1095 | 85354 | 6.4 |5803k| 69 | 11 | 422 |3452 | 422 | 321 | 15k| 14k|1065 | 2.000000e+00 | -- | Inf
11.19/11.22 c 11.2s| 13300 | 1162 | 86250 | 6.5 |5880k| 69 | 6 | 422 |3464 | 422 | 301 | 15k| 14k|1072 | 2.000000e+00 | -- | Inf
11.29/11.30 c 11.3s| 13400 | 1230 | 87150 | 6.5 |5961k| 69 | - | 422 |3480 | 0 | 0 | 16k| 14k|1078 | 2.000000e+00 | -- | Inf
11.29/11.38 c 11.4s| 13500 | 1264 | 88065 | 6.5 |6018k| 69 | 28 | 422 |3455 | 422 | 278 | 16k| 15k|1078 | 2.000000e+00 | -- | Inf
11.39/11.47 c 11.5s| 13600 | 1328 | 89043 | 6.5 |6091k| 69 | 26 | 422 |3457 | 422 | 311 | 16k| 15k|1087 | 2.000000e+00 | -- | Inf
11.49/11.53 c 11.5s| 13700 | 1358 | 89539 | 6.5 |6151k| 69 | 4 | 422 |3524 | 422 | 323 | 16k| 15k|1090 | 2.000000e+00 | -- | Inf
11.59/11.61 c 11.6s| 13800 | 1409 | 90516 | 6.5 |6200k| 69 | 18 | 422 |3494 | 422 | 313 | 16k| 15k|1090 | 2.000000e+00 | -- | Inf
11.59/11.69 c 11.7s| 13900 | 1464 | 91661 | 6.6 |6251k| 69 | 20 | 422 |3462 | 422 | 338 | 17k| 15k|1093 | 2.000000e+00 | -- | Inf
11.69/11.76 c 11.8s| 14000 | 1509 | 92392 | 6.6 |6313k| 69 | 9 | 422 |3485 | 422 | 327 | 17k| 15k|1093 | 2.000000e+00 | -- | Inf
11.79/11.83 c 11.8s| 14100 | 1564 | 93024 | 6.6 |6382k| 69 | 10 | 422 |3512 | 422 | 273 | 17k| 15k|1099 | 2.000000e+00 | -- | Inf
11.79/11.89 c 11.9s| 14200 | 1609 | 93491 | 6.6 |6451k| 69 | 9 | 422 |3581 | 422 | 273 | 17k| 15k|1099 | 2.000000e+00 | -- | Inf
11.89/11.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.89/11.97 c 12.0s| 14300 | 1652 | 94292 | 6.6 |6495k| 69 | 27 | 422 |3542 | 422 | 276 | 17k| 15k|1099 | 2.000000e+00 | -- | Inf
11.99/12.06 c 12.1s| 14400 | 1716 | 95255 | 6.6 |6477k| 69 | - | 422 |3375 | 0 | 0 | 17k| 15k|1104 | 2.000000e+00 | -- | Inf
12.10/12.15 c 12.1s| 14500 | 1766 | 96195 | 6.6 |6482k| 69 | 25 | 422 |3225 | 422 | 302 | 18k| 15k|1104 | 2.000000e+00 | -- | Inf
12.19/12.24 c 12.2s| 14600 | 1793 | 97239 | 6.6 |6448k| 69 | 28 | 422 |3061 | 422 | 283 | 18k| 15k|1107 | 2.000000e+00 | -- | Inf
12.29/12.33 c 12.3s| 14700 | 1837 | 98216 | 6.7 |6412k| 69 | 41 | 422 |2853 | 422 | 304 | 18k| 15k|1107 | 2.000000e+00 | -- | Inf
12.39/12.44 c 12.4s| 14800 | 1899 | 99648 | 6.7 |6395k| 69 | 54 | 422 |2683 | 422 | 278 | 18k| 15k|1110 | 2.000000e+00 | -- | Inf
12.49/12.53 c 12.5s| 14900 | 1933 |100517 | 6.7 |6344k| 69 | - | 422 |2539 | 0 | 0 | 18k| 16k|1111 | 2.000000e+00 | -- | Inf
12.59/12.62 c 12.6s| 15000 | 1991 |101653 | 6.7 |6349k| 69 | 26 | 422 |2417 | 422 | 266 | 19k| 16k|1111 | 2.000000e+00 | -- | Inf
12.69/12.74 c 12.7s| 15100 | 2048 |102997 | 6.8 |6350k| 69 | 39 | 422 |2323 | 422 | 251 | 19k| 16k|1122 | 2.000000e+00 | -- | Inf
12.79/12.84 c 12.8s| 15200 | 2116 |104070 | 6.8 |6416k| 69 | 45 | 422 |2252 | 422 | 252 | 19k| 16k|1130 | 2.000000e+00 | -- | Inf
12.89/12.92 c 12.9s| 15300 | 2170 |104978 | 6.8 |6414k| 69 | 24 | 422 |2142 | 422 | 291 | 19k| 16k|1134 | 2.000000e+00 | -- | Inf
12.99/13.02 c 13.0s| 15400 | 2225 |106148 | 6.9 |6415k| 69 | 76 | 422 |2040 | 422 | 232 | 20k| 16k|1142 | 2.000000e+00 | -- | Inf
13.09/13.11 c 13.1s| 15500 | 2278 |107190 | 6.9 |6424k| 69 | 53 | 422 |1949 | 422 | 288 | 20k| 16k|1142 | 2.000000e+00 | -- | Inf
13.09/13.19 c 13.2s| 15600 | 2324 |108140 | 6.9 |6411k| 69 | 40 | 422 |1875 | 422 | 267 | 20k| 16k|1146 | 2.000000e+00 | -- | Inf
13.19/13.29 c 13.3s| 15700 | 2350 |109297 | 6.9 |6355k| 69 | 48 | 422 |1815 | 422 | 256 | 20k| 16k|1147 | 2.000000e+00 | -- | Inf
13.29/13.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.29/13.38 c 13.4s| 15800 | 2382 |110303 | 7.0 |6374k| 69 | - | 422 |1812 | 0 | 0 | 20k| 16k|1148 | 2.000000e+00 | -- | Inf
13.39/13.48 c 13.5s| 15900 | 2422 |111576 | 7.0 |6397k| 69 | 51 | 422 |1776 | 422 | 289 | 21k| 16k|1155 | 2.000000e+00 | -- | Inf
13.49/13.58 c 13.6s| 16000 | 2454 |112809 | 7.0 |6393k| 69 | 52 | 422 |1746 | 422 | 280 | 21k| 16k|1156 | 2.000000e+00 | -- | Inf
13.59/13.68 c 13.7s| 16100 | 2472 |114024 | 7.1 |6377k| 69 | 38 | 422 |1717 | 422 | 257 | 21k| 16k|1156 | 2.000000e+00 | -- | Inf
13.69/13.76 c 13.8s| 16200 | 2506 |115166 | 7.1 |6388k| 69 | 46 | 422 |1743 | 422 | 246 | 21k| 17k|1159 | 2.000000e+00 | -- | Inf
13.79/13.86 c 13.9s| 16300 | 2552 |116252 | 7.1 |6405k| 69 | 39 | 422 |1687 | 422 | 270 | 21k| 17k|1173 | 2.000000e+00 | -- | Inf
13.89/13.96 c 14.0s| 16400 | 2615 |117810 | 7.2 |6462k| 69 | - | 422 |1684 | 0 | 0 | 22k| 17k|1174 | 2.000000e+00 | -- | Inf
13.99/14.06 c 14.1s| 16500 | 2649 |118987 | 7.2 |6415k| 69 | 48 | 422 |1662 | 422 | 272 | 22k| 17k|1179 | 2.000000e+00 | -- | Inf
14.09/14.15 c 14.2s| 16600 | 2680 |120081 | 7.2 |6421k| 69 | 58 | 422 |1628 | 422 | 271 | 22k| 17k|1180 | 2.000000e+00 | -- | Inf
14.20/14.23 c 14.2s| 16700 | 2720 |120934 | 7.2 |6433k| 69 | 34 | 422 |1571 | 422 | 270 | 22k| 17k|1181 | 2.000000e+00 | -- | Inf
14.29/14.32 c 14.3s| 16800 | 2773 |122010 | 7.2 |6467k| 69 | 54 | 422 |1540 | 422 | 289 | 22k| 17k|1181 | 2.000000e+00 | -- | Inf
14.39/14.41 c 14.4s| 16900 | 2830 |123042 | 7.3 |6495k| 69 | 38 | 422 |1485 | 422 | 265 | 23k| 17k|1183 | 2.000000e+00 | -- | Inf
14.49/14.50 c 14.5s| 17000 | 2890 |123836 | 7.3 |6553k| 69 | 44 | 422 |1480 | 422 | 268 | 23k| 17k|1200 | 2.000000e+00 | -- | Inf
14.49/14.58 c 14.6s| 17100 | 2947 |124686 | 7.3 |6616k| 69 | - | 422 |1469 | 0 | 0 | 23k| 17k|1204 | 2.000000e+00 | -- | Inf
14.58/14.66 c 14.7s| 17200 | 2990 |125499 | 7.3 |6671k| 69 | 24 | 422 |1509 | 422 | 334 | 23k| 17k|1217 | 2.000000e+00 | -- | Inf
14.69/14.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.69/14.74 c 14.7s| 17300 | 3061 |126591 | 7.3 |6727k| 69 | 28 | 422 |1474 | 422 | 289 | 23k| 17k|1219 | 2.000000e+00 | -- | Inf
14.78/14.84 c 14.8s| 17400 | 3129 |127914 | 7.3 |6776k| 69 | 49 | 422 |1431 | 422 | 253 | 24k| 17k|1219 | 2.000000e+00 | -- | Inf
14.89/14.94 c 14.9s| 17500 | 3191 |129193 | 7.4 |6826k| 69 | 61 | 422 |1406 | 422 | 249 | 24k| 17k|1225 | 2.000000e+00 | -- | Inf
14.99/15.00 c 15.0s| 17600 | 3201 |129617 | 7.3 |6865k| 69 | - | 422 |1476 | 0 | 0 | 24k| 18k|1228 | 2.000000e+00 | -- | Inf
14.99/15.06 c 15.1s| 17700 | 3247 |130111 | 7.3 |6913k| 69 | 40 | 422 |1488 | 422 | 276 | 24k| 18k|1228 | 2.000000e+00 | -- | Inf
15.08/15.13 c 15.1s| 17800 | 3300 |131033 | 7.3 |6997k| 69 | 44 | 422 |1561 | 422 | 279 | 24k| 18k|1229 | 2.000000e+00 | -- | Inf
15.19/15.20 c 15.2s| 17900 | 3330 |131618 | 7.3 |7054k| 69 | 22 | 422 |1592 | 422 | 274 | 25k| 18k|1229 | 2.000000e+00 | -- | Inf
15.19/15.25 c 15.3s| 18000 | 3358 |132121 | 7.3 |7115k| 69 | - | 422 |1668 | 0 | 0 | 25k| 18k|1229 | 2.000000e+00 | -- | Inf
15.29/15.32 c 15.3s| 18100 | 3384 |132735 | 7.3 |7160k| 69 | 26 | 422 |1705 | 422 | 277 | 25k| 18k|1229 | 2.000000e+00 | -- | Inf
15.29/15.39 c 15.4s| 18200 | 3412 |133321 | 7.3 |7202k| 69 | 44 | 422 |1706 | 422 | 285 | 25k| 18k|1240 | 2.000000e+00 | -- | Inf
15.40/15.48 c 15.5s| 18300 | 3459 |134324 | 7.3 |7230k| 69 | 35 | 422 |1654 | 422 | 243 | 25k| 18k|1246 | 2.000000e+00 | -- | Inf
15.49/15.54 c 15.5s| 18400 | 3507 |134998 | 7.3 |7281k| 69 | 32 | 422 |1649 | 422 | 243 | 25k| 18k|1247 | 2.000000e+00 | -- | Inf
15.59/15.62 c 15.6s| 18500 | 3566 |135784 | 7.3 |7328k| 69 | 17 | 422 |1632 | 422 | 247 | 25k| 18k|1248 | 2.000000e+00 | -- | Inf
15.59/15.68 c 15.7s| 18600 | 3625 |136256 | 7.3 |7400k| 69 | 24 | 422 |1658 | 422 | 262 | 25k| 18k|1248 | 2.000000e+00 | -- | Inf
15.69/15.73 c 15.7s| 18700 | 3660 |136693 | 7.3 |7467k| 69 | - | 422 |1727 | 0 | 0 | 26k| 18k|1248 | 2.000000e+00 | -- | Inf
15.69/15.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.69/15.79 c 15.8s| 18800 | 3694 |137171 | 7.3 |7537k| 69 | 19 | 422 |1804 | 422 | 244 | 26k| 19k|1248 | 2.000000e+00 | -- | Inf
15.79/15.85 c 15.9s| 18900 | 3723 |137637 | 7.3 |7597k| 69 | 19 | 422 |1878 | 422 | 260 | 26k| 19k|1248 | 2.000000e+00 | -- | Inf
15.89/15.93 c 15.9s| 19000 | 3759 |138319 | 7.3 |7655k| 69 | - | 422 |1945 | 0 | 0 | 26k| 19k|1248 | 2.000000e+00 | -- | Inf
15.99/16.00 c 16.0s| 19100 | 3793 |139049 | 7.3 |7696k| 69 | 14 | 422 |1959 | 422 | 281 | 26k| 19k|1251 | 2.000000e+00 | -- | Inf
15.99/16.09 c 16.1s| 19200 | 3828 |140038 | 7.3 |7720k| 69 | 27 | 422 |1890 | 422 | 275 | 26k| 19k|1268 | 2.000000e+00 | -- | Inf
16.09/16.17 c 16.2s| 19300 | 3835 |140653 | 7.3 |7736k| 69 | 55 | 422 |1878 | 422 | 261 | 27k| 19k|1278 | 2.000000e+00 | -- | Inf
16.19/16.27 c 16.3s| 19400 | 3842 |141497 | 7.3 |7764k| 69 | - | 422 |1888 | 0 | 0 | 27k| 19k|1313 | 2.000000e+00 | -- | Inf
16.29/16.37 c 16.4s| 19500 | 3890 |142632 | 7.3 |7831k| 69 | 51 | 422 |1874 | 422 | 249 | 27k| 19k|1339 | 2.000000e+00 | -- | Inf
16.39/16.45 c 16.5s| 19600 | 3965 |143502 | 7.3 |7922k| 69 | 12 | 422 |1923 | 422 | 316 | 27k| 19k|1353 | 2.000000e+00 | -- | Inf
16.49/16.51 c 16.5s| 19700 | 4017 |144060 | 7.3 |8013k| 71 | 10 | 422 |2028 | 422 | 311 | 27k| 19k|1362 | 2.000000e+00 | -- | Inf
16.49/16.58 c 16.6s| 19800 | 4033 |144683 | 7.3 |8094k| 74 | 8 | 422 |2159 | 422 | 283 | 28k| 20k|1379 | 2.000000e+00 | -- | Inf
16.59/16.66 c 16.7s| 19900 | 4058 |145444 | 7.3 |8155k| 74 | 9 | 422 |2229 | 422 | 290 | 28k| 20k|1395 | 2.000000e+00 | -- | Inf
16.69/16.74 c 16.7s| 20000 | 4066 |146266 | 7.3 |8213k| 74 | 31 | 422 |2281 | 422 | 265 | 28k| 20k|1415 | 2.000000e+00 | -- | Inf
16.79/16.81 c 16.8s| 20100 | 4118 |146933 | 7.3 |8282k| 74 | 36 | 422 |2292 | 422 | 248 | 28k| 20k|1415 | 2.000000e+00 | -- | Inf
16.88/16.92 c 16.9s| 20200 | 4181 |147993 | 7.3 |8357k| 74 | 30 | 422 |2300 | 422 | 281 | 28k| 20k|1434 | 2.000000e+00 | -- | Inf
16.88/16.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.88/16.98 c 17.0s| 20300 | 4224 |148487 | 7.3 |8417k| 74 | 54 | 422 |2338 | 422 | 269 | 29k| 20k|1434 | 2.000000e+00 | -- | Inf
16.99/17.06 c 17.1s| 20400 | 4304 |149091 | 7.3 |8481k| 74 | 15 | 422 |2302 | 422 | 262 | 29k| 20k|1434 | 2.000000e+00 | -- | Inf
17.09/17.12 c 17.1s| 20500 | 4337 |149548 | 7.3 |8515k| 74 | - | 422 |2256 | 0 | 0 | 29k| 20k|1435 | 2.000000e+00 | -- | Inf
17.09/17.19 c 17.2s| 20600 | 4384 |150240 | 7.3 |8590k| 74 | 30 | 422 |2352 | 422 | 296 | 29k| 20k|1440 | 2.000000e+00 | -- | Inf
17.19/17.25 c 17.2s| 20700 | 4398 |150650 | 7.3 |8642k| 74 | 21 | 422 |2438 | 422 | 269 | 29k| 20k|1441 | 2.000000e+00 | -- | Inf
17.29/17.31 c 17.3s| 20800 | 4439 |151077 | 7.2 |8708k| 74 | 17 | 422 |2475 | 422 | 287 | 29k| 20k|1442 | 2.000000e+00 | -- | Inf
17.29/17.38 c 17.4s| 20900 | 4476 |151660 | 7.2 |8749k| 74 | 50 | 422 |2467 | 422 | 227 | 30k| 21k|1444 | 2.000000e+00 | -- | Inf
17.39/17.47 c 17.5s| 21000 | 4527 |152430 | 7.2 |8780k| 74 | 20 | 422 |2381 | 422 | 255 | 30k| 21k|1453 | 2.000000e+00 | -- | Inf
17.49/17.54 c 17.5s| 21100 | 4582 |152990 | 7.2 |8826k| 74 | 33 | 422 |2335 | 422 | 262 | 30k| 21k|1454 | 2.000000e+00 | -- | Inf
17.60/17.63 c 17.6s| 21200 | 4625 |153726 | 7.2 |8866k| 74 | - | 422 |2297 | 0 | 0 | 30k| 21k|1458 | 2.000000e+00 | -- | Inf
17.69/17.70 c 17.7s| 21300 | 4688 |154366 | 7.2 |8927k| 74 | 38 | 422 |2287 | 422 | 300 | 30k| 21k|1458 | 2.000000e+00 | -- | Inf
17.69/17.76 c 17.8s| 21400 | 4723 |154795 | 7.2 |8998k| 74 | 39 | 422 |2392 | 422 | 288 | 30k| 21k|1458 | 2.000000e+00 | -- | Inf
17.79/17.82 c 17.8s| 21500 | 4742 |155088 | 7.2 |9051k| 74 | 42 | 422 |2478 | 422 | 304 | 31k| 21k|1458 | 2.000000e+00 | -- | Inf
17.79/17.88 c 17.9s| 21600 | 4781 |155501 | 7.2 |9125k| 74 | 40 | 422 |2568 | 422 | 315 | 31k| 21k|1458 | 2.000000e+00 | -- | Inf
17.89/17.94 c 17.9s| 21700 | 4809 |155782 | 7.2 |9188k| 74 | 43 | 422 |2660 | 422 | 303 | 31k| 21k|1458 | 2.000000e+00 | -- | Inf
17.99/18.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.99/18.00 c 18.0s| 21800 | 4825 |156090 | 7.1 |9278k| 74 | 44 | 422 |2807 | 422 | 304 | 31k| 22k|1458 | 2.000000e+00 | -- | Inf
17.99/18.06 c 18.1s| 21900 | 4837 |156470 | 7.1 |9325k| 74 | - | 422 |2832 | 0 | 0 | 31k| 22k|1458 | 2.000000e+00 | -- | Inf
18.09/18.12 c 18.1s| 22000 | 4847 |156850 | 7.1 |9376k| 74 | 21 | 422 |2912 | 422 | 276 | 31k| 22k|1458 | 2.000000e+00 | -- | Inf
18.19/18.21 c 18.2s| 22100 | 4895 |157552 | 7.1 |9426k| 74 | - | 422 |2863 | 0 | 0 | 31k| 22k|1458 | 2.000000e+00 | -- | Inf
18.19/18.29 c 18.3s| 22200 | 4934 |158134 | 7.1 |9445k| 74 | 40 | 422 |2764 | 422 | 244 | 32k| 22k|1458 | 2.000000e+00 | -- | Inf
18.29/18.36 c 18.4s| 22300 | 4986 |158876 | 7.1 |9476k| 74 | 29 | 422 |2691 | 422 | 275 | 32k| 22k|1461 | 2.000000e+00 | -- | Inf
18.39/18.44 c 18.4s| 22400 | 5044 |159404 | 7.1 |9530k| 74 | 34 | 422 |2679 | 422 | 283 | 32k| 22k|1467 | 2.000000e+00 | -- | Inf
18.39/18.49 c 18.5s| 22500 | 5084 |159779 | 7.1 |9593k| 74 | - | 422 |2709 | 0 | 0 | 32k| 22k|1468 | 2.000000e+00 | -- | Inf
18.49/18.56 c 18.6s| 22600 | 5084 |160184 | 7.1 |9631k| 74 | - | 422 |2734 | 0 | 0 | 32k| 22k|1468 | 2.000000e+00 | -- | Inf
18.59/18.63 c 18.6s| 22700 | 5107 |160542 | 7.1 |9693k| 74 | 32 | 422 |2824 | 422 | 295 | 32k| 23k|1469 | 2.000000e+00 | -- | Inf
18.59/18.69 c 18.7s| 22800 | 5115 |160846 | 7.0 |9750k| 74 | 37 | 422 |2901 | 422 | 278 | 32k| 23k|1469 | 2.000000e+00 | -- | Inf
18.69/18.76 c 18.8s| 22900 | 5128 |161382 | 7.0 |9768k| 74 | 53 | 422 |2856 | 422 | 276 | 32k| 23k|1469 | 2.000000e+00 | -- | Inf
18.79/18.84 c 18.8s| 23000 | 5152 |161942 | 7.0 |9765k| 74 | - | 422 |2733 | 0 | 0 | 33k| 23k|1471 | 2.000000e+00 | -- | Inf
18.89/18.92 c 18.9s| 23100 | 5188 |162616 | 7.0 |9817k| 74 | - | 422 |2756 | 0 | 0 | 33k| 23k|1490 | 2.000000e+00 | -- | Inf
18.89/18.99 c 19.0s| 23200 | 5223 |163041 | 7.0 |9856k| 74 | 30 | 422 |2746 | 422 | 297 | 33k| 23k|1495 | 2.000000e+00 | -- | Inf
18.99/19.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.99/19.07 c 19.1s| 23300 | 5244 |163708 | 7.0 |9895k| 74 | 14 | 422 |2762 | 422 | 259 | 33k| 23k|1496 | 2.000000e+00 | -- | Inf
19.09/19.15 c 19.1s| 23400 | 5279 |164261 | 7.0 |9949k| 74 | 57 | 422 |2785 | 422 | 247 | 33k| 23k|1496 | 2.000000e+00 | -- | Inf
19.19/19.21 c 19.2s| 23500 | 5312 |164815 | 7.0 | 10M| 74 | 10 | 422 |2855 | 422 | 274 | 33k| 23k|1498 | 2.000000e+00 | -- | Inf
19.19/19.27 c 19.3s| 23600 | 5332 |165132 | 7.0 | 10M| 74 | - | 422 |2947 | 0 | 0 | 33k| 23k|1498 | 2.000000e+00 | -- | Inf
19.28/19.33 c 19.3s| 23700 | 5332 |165493 | 7.0 | 10M| 74 | 5 | 422 |3031 | 422 | 282 | 34k| 24k|1498 | 2.000000e+00 | -- | Inf
19.39/19.40 c 19.4s| 23800 | 5365 |165969 | 7.0 | 10M| 74 | 38 | 422 |2978 | 422 | 282 | 34k| 24k|1498 | 2.000000e+00 | -- | Inf
19.39/19.47 c 19.5s| 23900 | 5394 |166398 | 6.9 | 10M| 74 | 22 | 422 |2952 | 422 | 279 | 34k| 24k|1498 | 2.000000e+00 | -- | Inf
19.49/19.54 c 19.5s| 24000 | 5408 |166763 | 6.9 | 10M| 74 | - | 422 |2916 | 0 | 0 | 34k| 24k|1498 | 2.000000e+00 | -- | Inf
19.49/19.59 c 19.6s| 24100 | 5423 |167108 | 6.9 | 10M| 74 | - | 422 |3002 | 0 | 0 | 34k| 24k|1498 | 2.000000e+00 | -- | Inf
19.59/19.68 c 19.7s| 24200 | 5454 |167812 | 6.9 | 10M| 74 | 13 | 422 |3024 | 422 | 263 | 34k| 24k|1505 | 2.000000e+00 | -- | Inf
19.69/19.74 c 19.7s| 24300 | 5478 |168262 | 6.9 | 10M| 74 | - | 422 |2995 | 0 | 0 | 34k| 24k|1505 | 2.000000e+00 | -- | Inf
19.79/19.80 c 19.8s| 24400 | 5512 |168665 | 6.9 | 10M| 74 | 41 | 422 |3012 | 422 | 297 | 35k| 24k|1505 | 2.000000e+00 | -- | Inf
19.79/19.86 c 19.9s| 24500 | 5546 |169116 | 6.9 | 10M| 74 | 40 | 422 |3024 | 422 | 257 | 35k| 24k|1505 | 2.000000e+00 | -- | Inf
19.89/19.94 c 19.9s| 24600 | 5588 |169727 | 6.9 | 10M| 74 | 31 | 422 |2994 | 422 | 256 | 35k| 24k|1510 | 2.000000e+00 | -- | Inf
19.99/20.01 c 20.0s| 24700 | 5632 |170232 | 6.9 | 10M| 74 | 7 | 422 |2909 | 422 | 271 | 35k| 24k|1516 | 2.000000e+00 | -- | Inf
19.99/20.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.99/20.07 c 20.1s| 24800 | 5645 |170604 | 6.9 | 10M| 74 | 58 | 422 |2926 | 422 | 286 | 35k| 25k|1517 | 2.000000e+00 | -- | Inf
20.09/20.13 c 20.1s| 24900 | 5682 |171005 | 6.9 | 10M| 74 | 4 | 422 |2907 | 422 | 272 | 35k| 25k|1518 | 2.000000e+00 | -- | Inf
20.19/20.20 c 20.2s| 25000 | 5703 |171495 | 6.8 | 10M| 74 | 17 | 422 |2926 | 422 | 261 | 35k| 25k|1519 | 2.000000e+00 | -- | Inf
20.19/20.27 c 20.3s| 25100 | 5720 |172030 | 6.8 | 10M| 74 | 29 | 422 |2830 | 422 | 254 | 35k| 25k|1523 | 2.000000e+00 | -- | Inf
20.29/20.34 c 20.3s| 25200 | 5765 |172518 | 6.8 | 10M| 74 | 11 | 422 |2788 | 422 | 277 | 36k| 25k|1524 | 2.000000e+00 | -- | Inf
20.38/20.45 c 20.5s| 25300 | 5795 |173726 | 6.8 | 10M| 74 | 33 | 422 |2650 | 422 | 268 | 36k| 25k|1538 | 2.000000e+00 | -- | Inf
20.49/20.54 c 20.5s| 25400 | 5856 |174614 | 6.9 | 10M| 74 | 45 | 422 |2540 | 422 | 256 | 36k| 25k|1540 | 2.000000e+00 | -- | Inf
20.59/20.62 c 20.6s| 25500 | 5903 |175325 | 6.9 | 10M| 74 | - | 422 |2538 | 0 | 0 | 36k| 25k|1541 | 2.000000e+00 | -- | Inf
20.59/20.69 c 20.7s| 25600 | 5917 |175797 | 6.9 | 10M| 74 | 16 | 422 |2577 | 422 | 262 | 36k| 25k|1541 | 2.000000e+00 | -- | Inf
20.69/20.78 c 20.8s| 25700 | 5962 |176556 | 6.9 | 10M| 74 | 25 | 422 |2507 | 422 | 287 | 37k| 25k|1541 | 2.000000e+00 | -- | Inf
20.79/20.85 c 20.9s| 25800 | 6003 |177298 | 6.9 | 10M| 74 | - | 422 |2488 | 0 | 0 | 37k| 25k|1541 | 2.000000e+00 | -- | Inf
20.89/20.93 c 20.9s| 25900 | 6032 |177909 | 6.9 | 10M| 74 | - | 422 |2422 | 0 | 0 | 37k| 25k|1541 | 2.000000e+00 | -- | Inf
20.89/20.99 c 21.0s| 26000 | 6072 |178441 | 6.8 | 10M| 74 | 11 | 422 |2423 | 422 | 259 | 37k| 26k|1543 | 2.000000e+00 | -- | Inf
20.99/21.05 c 21.0s| 26100 | 6095 |178788 | 6.8 | 10M| 74 | 20 | 422 |2443 | 422 | 243 | 37k| 26k|1543 | 2.000000e+00 | -- | Inf
21.08/21.10 c 21.1s| 26200 | 6113 |179054 | 6.8 | 11M| 74 | - | 422 |2516 | 0 | 0 | 37k| 26k|1544 | 2.000000e+00 | -- | Inf
21.08/21.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.08/21.18 c 21.2s| 26300 | 6134 |179732 | 6.8 | 11M| 74 | 37 | 422 |2474 | 422 | 305 | 38k| 26k|1544 | 2.000000e+00 | -- | Inf
21.19/21.24 c 21.2s| 26400 | 6178 |180219 | 6.8 | 11M| 74 | - | 422 |2466 | 0 | 0 | 38k| 26k|1545 | 2.000000e+00 | -- | Inf
21.28/21.32 c 21.3s| 26500 | 6222 |180912 | 6.8 | 11M| 74 | 27 | 422 |2444 | 422 | 265 | 38k| 26k|1553 | 2.000000e+00 | -- | Inf
21.28/21.38 c 21.4s| 26600 | 6269 |181388 | 6.8 | 11M| 74 | - | 422 |2401 | 0 | 0 | 38k| 26k|1557 | 2.000000e+00 | -- | Inf
21.39/21.44 c 21.4s| 26700 | 6291 |181940 | 6.8 | 11M| 74 | - | 422 |2399 | 0 | 0 | 38k| 26k|1558 | 2.000000e+00 | -- | Inf
21.48/21.51 c 21.5s| 26800 | 6305 |182370 | 6.8 | 11M| 74 | 24 | 422 |2416 | 422 | 231 | 38k| 26k|1559 | 2.000000e+00 | -- | Inf
21.48/21.57 c 21.6s| 26900 | 6347 |182776 | 6.8 | 11M| 74 | - | 422 |2385 | 0 | 0 | 38k| 26k|1559 | 2.000000e+00 | -- | Inf
21.59/21.64 c 21.6s| 27000 | 6349 |183305 | 6.8 | 11M| 74 | - | 422 |2379 | 0 | 0 | 38k| 27k|1571 | 2.000000e+00 | -- | Inf
21.69/21.70 c 21.7s| 27100 | 6352 |183646 | 6.8 | 11M| 74 | 6 | 422 |2472 | 422 | 265 | 38k| 27k|1571 | 2.000000e+00 | -- | Inf
21.69/21.77 c 21.8s| 27200 | 6358 |184071 | 6.8 | 11M| 74 | 13 | 422 |2477 | 422 | 255 | 39k| 27k|1571 | 2.000000e+00 | -- | Inf
21.79/21.82 c 21.8s| 27300 | 6370 |184562 | 6.7 | 11M| 74 | 26 | 422 |2508 | 422 | 255 | 39k| 27k|1571 | 2.000000e+00 | -- | Inf
21.79/21.89 c 21.9s| 27400 | 6386 |185133 | 6.7 | 11M| 74 | - | 422 |2480 | 0 | 0 | 39k| 27k|1571 | 2.000000e+00 | -- | Inf
21.89/21.96 c 22.0s| 27500 | 6413 |185647 | 6.7 | 11M| 74 | 41 | 422 |2470 | 422 | 241 | 39k| 27k|1572 | 2.000000e+00 | -- | Inf
21.99/22.04 c 22.0s| 27600 | 6450 |186430 | 6.7 | 11M| 74 | - | 422 |2469 | 0 | 0 | 39k| 27k|1572 | 2.000000e+00 | -- | Inf
22.09/22.10 c 22.1s| 27700 | 6475 |186823 | 6.7 | 11M| 74 | - | 422 |2524 | 0 | 0 | 39k| 27k|1572 | 2.000000e+00 | -- | Inf
22.09/22.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.09/22.16 c 22.2s| 27800 | 6492 |187183 | 6.7 | 11M| 74 | 13 | 422 |2553 | 422 | 273 | 40k| 27k|1572 | 2.000000e+00 | -- | Inf
22.18/22.23 c 22.2s| 27900 | 6545 |187825 | 6.7 | 11M| 74 | - | 422 |2570 | 0 | 0 | 40k| 27k|1572 | 2.000000e+00 | -- | Inf
22.29/22.30 c 22.3s| 28000 | 6576 |188343 | 6.7 | 11M| 74 | 24 | 422 |2551 | 422 | 275 | 40k| 27k|1572 | 2.000000e+00 | -- | Inf
22.29/22.37 c 22.4s| 28100 | 6608 |188880 | 6.7 | 11M| 74 | 43 | 422 |2515 | 422 | 277 | 40k| 28k|1572 | 2.000000e+00 | -- | Inf
22.38/22.43 c 22.4s| 28200 | 6636 |189394 | 6.7 | 11M| 74 | 14 | 422 |2507 | 422 | 272 | 40k| 28k|1572 | 2.000000e+00 | -- | Inf
22.49/22.50 c 22.5s| 28300 | 6664 |190024 | 6.7 | 11M| 74 | 44 | 422 |2485 | 422 | 259 | 40k| 28k|1572 | 2.000000e+00 | -- | Inf
22.49/22.59 c 22.6s| 28400 | 6709 |190671 | 6.7 | 11M| 74 | 50 | 422 |2493 | 422 | 276 | 41k| 28k|1581 | 2.000000e+00 | -- | Inf
22.59/22.66 c 22.7s| 28500 | 6759 |191292 | 6.7 | 11M| 74 | 42 | 422 |2511 | 422 | 272 | 41k| 28k|1582 | 2.000000e+00 | -- | Inf
22.69/22.73 c 22.7s| 28600 | 6804 |191793 | 6.7 | 11M| 74 | - | 422 |2486 | 0 | 0 | 41k| 28k|1585 | 2.000000e+00 | -- | Inf
22.78/22.80 c 22.8s| 28700 | 6847 |192280 | 6.7 | 12M| 74 | 39 | 422 |2552 | 422 | 254 | 41k| 28k|1585 | 2.000000e+00 | -- | Inf
22.78/22.87 c 22.9s| 28800 | 6875 |192704 | 6.7 | 12M| 74 | 44 | 422 |2628 | 422 | 269 | 41k| 28k|1585 | 2.000000e+00 | -- | Inf
22.89/22.94 c 22.9s| 28900 | 6936 |193284 | 6.7 | 12M| 74 | 49 | 422 |2656 | 422 | 264 | 41k| 28k|1586 | 2.000000e+00 | -- | Inf
22.89/22.99 c 23.0s| 29000 | 6974 |193666 | 6.7 | 12M| 74 | 17 | 422 |2602 | 422 | 267 | 41k| 28k|1587 | 2.000000e+00 | -- | Inf
22.99/23.05 c 23.1s| 29100 | 7016 |194157 | 6.7 | 12M| 74 | 25 | 422 |2596 | 422 | 278 | 42k| 28k|1589 | 2.000000e+00 | -- | Inf
23.09/23.13 c 23.1s| 29200 | 7051 |194756 | 6.7 | 12M| 74 | 26 | 422 |2534 | 422 | 284 | 42k| 29k|1590 | 2.000000e+00 | -- | Inf
23.09/23.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.09/23.19 c 23.2s| 29300 | 7087 |195075 | 6.6 | 12M| 74 | 22 | 422 |2569 | 422 | 266 | 42k| 29k|1594 | 2.000000e+00 | -- | Inf
23.19/23.25 c 23.3s| 29400 | 7123 |195596 | 6.6 | 12M| 74 | 29 | 422 |2512 | 422 | 256 | 42k| 29k|1594 | 2.000000e+00 | -- | Inf
23.29/23.33 c 23.3s| 29500 | 7166 |196247 | 6.6 | 12M| 74 | 19 | 422 |2477 | 422 | 275 | 42k| 29k|1596 | 2.000000e+00 | -- | Inf
23.29/23.39 c 23.4s| 29600 | 7206 |196671 | 6.6 | 12M| 74 | 26 | 422 |2521 | 422 | 265 | 42k| 29k|1597 | 2.000000e+00 | -- | Inf
23.39/23.44 c 23.4s| 29700 | 7238 |197052 | 6.6 | 12M| 74 | 26 | 422 |2607 | 422 | 259 | 42k| 29k|1597 | 2.000000e+00 | -- | Inf
23.49/23.50 c 23.5s| 29800 | 7253 |197384 | 6.6 | 12M| 74 | 13 | 422 |2674 | 422 | 264 | 42k| 29k|1597 | 2.000000e+00 | -- | Inf
23.49/23.57 c 23.6s| 29900 | 7262 |197820 | 6.6 | 12M| 74 | 34 | 422 |2667 | 422 | 240 | 43k| 29k|1597 | 2.000000e+00 | -- | Inf
23.59/23.64 c 23.6s| 30000 | 7321 |198331 | 6.6 | 12M| 74 | 11 | 422 |2651 | 422 | 268 | 43k| 29k|1597 | 2.000000e+00 | -- | Inf
23.69/23.71 c 23.7s| 30100 | 7386 |198891 | 6.6 | 12M| 74 | 35 | 422 |2613 | 422 | 263 | 43k| 29k|1597 | 2.000000e+00 | -- | Inf
23.69/23.78 c 23.8s| 30200 | 7424 |199425 | 6.6 | 12M| 74 | 39 | 422 |2651 | 422 | 266 | 43k| 29k|1597 | 2.000000e+00 | -- | Inf
23.79/23.84 c 23.8s| 30300 | 7478 |199918 | 6.6 | 12M| 74 | - | 422 |2691 | 0 | 0 | 43k| 30k|1597 | 2.000000e+00 | -- | Inf
23.89/23.92 c 23.9s| 30400 | 7523 |200724 | 6.6 | 12M| 74 | - | 422 |2742 | 0 | 0 | 43k| 30k|1607 | 2.000000e+00 | -- | Inf
23.89/23.99 c 24.0s| 30500 | 7582 |201349 | 6.6 | 13M| 74 | 36 | 422 |2741 | 422 | 262 | 43k| 30k|1610 | 2.000000e+00 | -- | Inf
23.99/24.05 c 24.1s| 30600 | 7623 |201871 | 6.6 | 13M| 74 | - | 422 |2758 | 0 | 0 | 43k| 30k|1612 | 2.000000e+00 | -- | Inf
24.09/24.12 c 24.1s| 30700 | 7680 |202421 | 6.6 | 13M| 74 | 54 | 422 |2771 | 422 | 273 | 44k| 30k|1612 | 2.000000e+00 | -- | Inf
24.09/24.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.09/24.18 c 24.2s| 30800 | 7725 |202920 | 6.6 | 13M| 74 | 39 | 422 |2823 | 422 | 257 | 44k| 30k|1613 | 2.000000e+00 | -- | Inf
24.19/24.23 c 24.2s| 30900 | 7752 |203336 | 6.6 | 13M| 74 | 38 | 422 |2914 | 422 | 261 | 44k| 30k|1613 | 2.000000e+00 | -- | Inf
24.29/24.30 c 24.3s| 31000 | 7794 |203979 | 6.6 | 13M| 74 | 36 | 422 |2933 | 422 | 260 | 44k| 30k|1613 | 2.000000e+00 | -- | Inf
24.29/24.36 c 24.4s| 31100 | 7810 |204489 | 6.6 | 13M| 74 | 35 | 422 |2957 | 422 | 252 | 44k| 30k|1614 | 2.000000e+00 | -- | Inf
24.39/24.44 c 24.4s| 31200 | 7836 |204988 | 6.6 | 13M| 74 | - | 422 |2964 | 0 | 0 | 44k| 30k|1620 | 2.000000e+00 | -- | Inf
24.48/24.50 c 24.5s| 31300 | 7837 |205326 | 6.5 | 13M| 74 | 20 | 422 |2905 | 422 | 271 | 44k| 31k|1620 | 2.000000e+00 | -- | Inf
24.48/24.56 c 24.6s| 31400 | 7870 |205796 | 6.5 | 13M| 74 | 45 | 422 |2810 | 422 | 255 | 44k| 31k|1620 | 2.000000e+00 | -- | Inf
24.59/24.64 c 24.6s| 31500 | 7909 |206568 | 6.5 | 13M| 74 | 57 | 422 |2856 | 422 | 252 | 45k| 31k|1620 | 2.000000e+00 | -- | Inf
24.69/24.71 c 24.7s| 31600 | 7946 |207086 | 6.5 | 13M| 74 | 47 | 422 |2863 | 422 | 256 | 45k| 31k|1620 | 2.000000e+00 | -- | Inf
24.69/24.78 c 24.8s| 31700 | 7965 |207644 | 6.5 | 13M| 74 | 26 | 422 |2683 | 422 | 234 | 45k| 31k|1622 | 2.000000e+00 | -- | Inf
24.78/24.85 c 24.9s| 31800 | 8001 |208253 | 6.5 | 13M| 74 | 45 | 422 |2627 | 422 | 271 | 45k| 31k|1622 | 2.000000e+00 | -- | Inf
24.89/24.93 c 24.9s| 31900 | 8033 |208835 | 6.5 | 13M| 74 | - | 422 |2590 | 0 | 0 | 45k| 31k|1622 | 2.000000e+00 | -- | Inf
24.89/24.98 c 25.0s| 32000 | 8054 |209205 | 6.5 | 13M| 74 | 17 | 422 |2663 | 422 | 273 | 45k| 31k|1622 | 2.000000e+00 | -- | Inf
24.99/25.06 c 25.1s| 32100 | 8096 |209851 | 6.5 | 13M| 74 | 40 | 422 |2614 | 422 | 274 | 46k| 31k|1622 | 2.000000e+00 | -- | Inf
25.08/25.13 c 25.1s| 32200 | 8117 |210295 | 6.5 | 13M| 74 | 47 | 422 |2615 | 422 | 280 | 46k| 31k|1628 | 2.000000e+00 | -- | Inf
25.08/25.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.08/25.20 c 25.2s| 32300 | 8114 |210810 | 6.5 | 13M| 74 | 22 | 422 |2576 | 422 | 265 | 46k| 32k|1628 | 2.000000e+00 | -- | Inf
25.19/25.28 c 25.3s| 32400 | 8152 |211325 | 6.5 | 13M| 74 | - | 422 |2568 | 0 | 0 | 46k| 32k|1638 | 2.000000e+00 | -- | Inf
25.29/25.36 c 25.4s| 32500 | 8187 |212148 | 6.5 | 13M| 74 | 16 | 422 |2531 | 422 | 267 | 46k| 32k|1643 | 2.000000e+00 | -- | Inf
25.39/25.43 c 25.4s| 32600 | 8220 |212656 | 6.5 | 13M| 74 | - | 422 |2536 | 0 | 0 | 46k| 32k|1647 | 2.000000e+00 | -- | Inf
25.49/25.51 c 25.5s| 32700 | 8247 |213311 | 6.5 | 13M| 74 | 60 | 422 |2500 | 422 | 283 | 46k| 32k|1655 | 2.000000e+00 | -- | Inf
25.49/25.57 c 25.6s| 32800 | 8280 |213820 | 6.5 | 13M| 74 | 14 | 422 |2511 | 422 | 264 | 47k| 32k|1657 | 2.000000e+00 | -- | Inf
25.58/25.62 c 25.6s| 32900 | 8301 |214240 | 6.5 | 14M| 74 | - | 422 |2615 | 0 | 0 | 47k| 32k|1657 | 2.000000e+00 | -- | Inf
25.58/25.68 c 25.7s| 33000 | 8321 |214639 | 6.5 | 14M| 74 | 24 | 422 |2672 | 422 | 254 | 47k| 32k|1657 | 2.000000e+00 | -- | Inf
25.69/25.74 c 25.7s| 33100 | 8328 |215036 | 6.5 | 14M| 74 | 13 | 422 |2799 | 422 | 264 | 47k| 32k|1657 | 2.000000e+00 | -- | Inf
25.79/25.80 c 25.8s| 33200 | 8331 |215534 | 6.5 | 14M| 74 | 19 | 422 |2847 | 422 | 260 | 47k| 33k|1657 | 2.000000e+00 | -- | Inf
25.79/25.86 c 25.9s| 33300 | 8353 |216085 | 6.5 | 14M| 74 | 14 | 422 |2907 | 422 | 273 | 47k| 33k|1657 | 2.000000e+00 | -- | Inf
25.89/25.93 c 25.9s| 33400 | 8349 |216728 | 6.5 | 14M| 74 | 51 | 422 |2985 | 422 | 292 | 47k| 33k|1658 | 2.000000e+00 | -- | Inf
25.99/26.01 c 26.0s| 33500 | 8395 |217472 | 6.5 | 14M| 74 | 39 | 422 |2897 | 422 | 267 | 47k| 33k|1671 | 2.000000e+00 | -- | Inf
25.99/26.07 c 26.1s| 33600 | 8442 |217894 | 6.5 | 14M| 74 | 43 | 422 |2883 | 422 | 249 | 48k| 33k|1671 | 2.000000e+00 | -- | Inf
26.09/26.14 c 26.1s| 33700 | 8457 |218381 | 6.5 | 14M| 74 | 14 | 422 |2800 | 422 | 265 | 48k| 33k|1671 | 2.000000e+00 | -- | Inf
26.19/26.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.19/26.20 c 26.2s| 33800 | 8465 |218775 | 6.5 | 14M| 74 | 12 | 422 |2852 | 422 | 277 | 48k| 33k|1671 | 2.000000e+00 | -- | Inf
26.19/26.27 c 26.3s| 33900 | 8481 |219310 | 6.5 | 14M| 74 | - | 422 |2771 | 0 | 0 | 48k| 33k|1673 | 2.000000e+00 | -- | Inf
26.29/26.36 c 26.4s| 34000 | 8505 |220050 | 6.5 | 14M| 74 | 19 | 422 |2713 | 422 | 285 | 48k| 33k|1682 | 2.000000e+00 | -- | Inf
26.40/26.44 c 26.4s| 34100 | 8531 |220728 | 6.5 | 14M| 74 | 41 | 422 |2668 | 422 | 278 | 48k| 34k|1682 | 2.000000e+00 | -- | Inf
26.49/26.50 c 26.5s| 34200 | 8556 |221240 | 6.5 | 14M| 74 | - | 422 |2722 | 0 | 0 | 48k| 34k|1682 | 2.000000e+00 | -- | Inf
26.49/26.58 c 26.6s| 34300 | 8579 |221782 | 6.5 | 14M| 74 | 19 | 422 |2648 | 422 | 271 | 49k| 34k|1694 | 2.000000e+00 | -- | Inf
26.59/26.64 c 26.6s| 34400 | 8624 |222173 | 6.4 | 14M| 74 | 26 | 422 |2622 | 422 | 275 | 49k| 34k|1694 | 2.000000e+00 | -- | Inf
26.69/26.72 c 26.7s| 34500 | 8656 |222802 | 6.4 | 14M| 74 | 14 | 422 |2577 | 422 | 265 | 49k| 34k|1694 | 2.000000e+00 | -- | Inf
26.69/26.78 c 26.8s| 34600 | 8680 |223346 | 6.4 | 14M| 74 | 29 | 422 |2534 | 422 | 272 | 49k| 34k|1697 | 2.000000e+00 | -- | Inf
26.79/26.84 c 26.8s| 34700 | 8705 |223757 | 6.4 | 14M| 74 | - | 422 |2571 | 0 | 0 | 49k| 34k|1697 | 2.000000e+00 | -- | Inf
26.89/26.94 c 26.9s| 34800 | 8714 |224540 | 6.4 | 14M| 74 | 40 | 422 |2454 | 422 | 256 | 49k| 34k|1708 | 2.000000e+00 | -- | Inf
26.99/27.01 c 27.0s| 34900 | 8745 |225290 | 6.4 | 14M| 74 | 36 | 422 |2429 | 422 | 281 | 49k| 34k|1708 | 2.000000e+00 | -- | Inf
26.99/27.08 c 27.1s| 35000 | 8780 |225786 | 6.4 | 14M| 74 | - | 422 |2396 | 0 | 0 | 50k| 34k|1708 | 2.000000e+00 | -- | Inf
27.09/27.15 c 27.2s| 35100 | 8838 |226310 | 6.4 | 14M| 74 | 47 | 422 |2407 | 422 | 266 | 50k| 35k|1717 | 2.000000e+00 | -- | Inf
27.18/27.22 c 27.2s| 35200 | 8841 |226818 | 6.4 | 14M| 74 | 39 | 422 |2419 | 422 | 274 | 50k| 35k|1724 | 2.000000e+00 | -- | Inf
27.18/27.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.18/27.29 c 27.3s| 35300 | 8846 |227254 | 6.4 | 14M| 74 | 36 | 422 |2378 | 422 | 269 | 50k| 35k|1726 | 2.000000e+00 | -- | Inf
27.29/27.34 c 27.3s| 35400 | 8872 |227586 | 6.4 | 14M| 74 | - | 422 |2490 | 0 | 0 | 50k| 35k|1726 | 2.000000e+00 | -- | Inf
27.29/27.40 c 27.4s| 35500 | 8885 |228024 | 6.4 | 15M| 74 | - | 422 |2554 | 0 | 0 | 50k| 35k|1727 | 2.000000e+00 | -- | Inf
27.39/27.47 c 27.5s| 35600 | 8916 |228619 | 6.4 | 15M| 74 | - | 422 |2614 | 422 | 274 | 50k| 35k|1729 | 2.000000e+00 | -- | Inf
27.49/27.53 c 27.5s| 35700 | 8964 |229021 | 6.4 | 15M| 74 | 33 | 422 |2643 | 422 | 269 | 50k| 35k|1732 | 2.000000e+00 | -- | Inf
27.58/27.60 c 27.6s| 35800 | 8998 |229697 | 6.4 | 15M| 74 | - | 422 |2622 | 0 | 0 | 50k| 35k|1733 | 2.000000e+00 | -- | Inf
27.58/27.68 c 27.7s| 35900 | 9027 |230212 | 6.4 | 15M| 74 | 49 | 422 |2581 | 422 | 264 | 51k| 35k|1742 | 2.000000e+00 | -- | Inf
27.69/27.74 c 27.7s| 36000 | 9050 |230609 | 6.4 | 15M| 74 | - | 422 |2704 | 0 | 0 | 51k| 36k|1742 | 2.000000e+00 | -- | Inf
27.79/27.81 c 27.8s| 36100 | 9088 |231164 | 6.4 | 15M| 74 | 32 | 422 |2715 | 422 | 262 | 51k| 36k|1742 | 2.000000e+00 | -- | Inf
27.79/27.89 c 27.9s| 36200 | 9131 |231834 | 6.4 | 15M| 74 | 12 | 422 |2604 | 422 | 274 | 51k| 36k|1744 | 2.000000e+00 | -- | Inf
27.88/27.96 c 28.0s| 36300 | 9164 |232383 | 6.4 | 15M| 74 | 15 | 422 |2589 | 422 | 269 | 51k| 36k|1752 | 2.000000e+00 | -- | Inf
27.99/28.03 c 28.0s| 36400 | 9203 |232950 | 6.4 | 15M| 74 | 35 | 422 |2560 | 422 | 264 | 51k| 36k|1752 | 2.000000e+00 | -- | Inf
27.99/28.09 c 28.1s| 36500 | 9226 |233616 | 6.4 | 15M| 74 | 42 | 422 |2568 | 422 | 265 | 51k| 36k|1752 | 2.000000e+00 | -- | Inf
28.08/28.16 c 28.2s| 36600 | 9235 |234082 | 6.4 | 15M| 74 | - | 422 |2604 | 0 | 0 | 51k| 36k|1752 | 2.000000e+00 | -- | Inf
28.19/28.23 c 28.2s| 36700 | 9250 |234634 | 6.4 | 15M| 74 | 34 | 422 |2593 | 422 | 260 | 52k| 36k|1752 | 2.000000e+00 | -- | Inf
28.29/28.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.29/28.32 c 28.3s| 36800 | 9274 |235475 | 6.4 | 15M| 74 | 32 | 422 |2551 | 422 | 287 | 52k| 36k|1753 | 2.000000e+00 | -- | Inf
28.29/28.38 c 28.4s| 36900 | 9288 |235867 | 6.4 | 15M| 74 | - | 422 |2544 | 0 | 0 | 52k| 36k|1754 | 2.000000e+00 | -- | Inf
28.39/28.45 c 28.5s| 37000 | 9320 |236444 | 6.4 | 15M| 74 | 29 | 422 |2578 | 422 | 249 | 52k| 36k|1754 | 2.000000e+00 | -- | Inf
28.49/28.51 c 28.5s| 37100 | 9335 |236952 | 6.4 | 15M| 74 | 31 | 422 |2661 | 422 | 244 | 52k| 37k|1754 | 2.000000e+00 | -- | Inf
28.49/28.58 c 28.6s| 37200 | 9350 |237592 | 6.4 | 15M| 74 | 31 | 422 |2741 | 422 | 249 | 52k| 37k|1754 | 2.000000e+00 | -- | Inf
28.59/28.64 c 28.6s| 37300 | 9375 |238057 | 6.4 | 15M| 74 | 38 | 422 |2856 | 422 | 255 | 53k| 37k|1754 | 2.000000e+00 | -- | Inf
28.68/28.71 c 28.7s| 37400 | 9388 |238543 | 6.4 | 15M| 74 | 37 | 422 |2901 | 422 | 276 | 53k| 37k|1763 | 2.000000e+00 | -- | Inf
28.68/28.79 c 28.8s| 37500 | 9433 |239194 | 6.4 | 15M| 74 | 44 | 422 |2824 | 422 | 265 | 53k| 37k|1768 | 2.000000e+00 | -- | Inf
28.79/28.87 c 28.9s| 37600 | 9479 |239846 | 6.4 | 16M| 74 | - | 422 |2873 | 0 | 0 | 53k| 37k|1786 | 2.000000e+00 | -- | Inf
28.88/28.95 c 29.0s| 37700 | 9514 |240806 | 6.4 | 16M| 74 | 14 | 422 |2945 | 422 | 262 | 53k| 37k|1791 | 2.000000e+00 | -- | Inf
28.99/29.03 c 29.0s| 37800 | 9558 |241633 | 6.4 | 16M| 74 | 47 | 422 |2925 | 422 | 239 | 53k| 37k|1796 | 2.000000e+00 | -- | Inf
29.08/29.11 c 29.1s| 37900 | 9594 |242355 | 6.4 | 16M| 74 | 35 | 422 |2963 | 422 | 275 | 54k| 38k|1799 | 2.000000e+00 | -- | Inf
29.08/29.17 c 29.2s| 38000 | 9614 |242832 | 6.4 | 16M| 74 | 41 | 422 |2947 | 422 | 256 | 54k| 38k|1802 | 2.000000e+00 | -- | Inf
29.19/29.24 c 29.2s| 38100 | 9633 |243318 | 6.4 | 16M| 74 | 44 | 422 |2976 | 422 | 249 | 54k| 38k|1805 | 2.000000e+00 | -- | Inf
29.28/29.34 c 29.3s| 38200 | 9672 |244078 | 6.4 | 16M| 74 | - | 422 |2952 | 0 | 0 | 54k| 38k|1823 | 2.000000e+00 | -- | Inf
29.39/29.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.39/29.40 c 29.4s| 38300 | 9676 |244469 | 6.4 | 16M| 74 | 14 | 422 |2951 | 422 | 285 | 54k| 38k|1825 | 2.000000e+00 | -- | Inf
29.39/29.47 c 29.5s| 38400 | 9686 |244940 | 6.4 | 16M| 74 | - | 422 |2927 | 0 | 0 | 54k| 38k|1825 | 2.000000e+00 | -- | Inf
29.49/29.54 c 29.5s| 38500 | 9723 |245671 | 6.4 | 16M| 74 | 15 | 422 |2879 | 422 | 272 | 54k| 38k|1828 | 2.000000e+00 | -- | Inf
29.59/29.61 c 29.6s| 38600 | 9756 |246230 | 6.4 | 16M| 74 | 22 | 422 |2878 | 422 | 282 | 55k| 38k|1828 | 2.000000e+00 | -- | Inf
29.59/29.69 c 29.7s| 38700 | 9811 |246941 | 6.4 | 16M| 74 | 20 | 422 |2907 | 422 | 282 | 55k| 38k|1849 | 2.000000e+00 | -- | Inf
29.69/29.76 c 29.8s| 38800 | 9845 |247482 | 6.4 | 16M| 74 | - | 422 |2966 | 0 | 0 | 55k| 38k|1859 | 2.000000e+00 | -- | Inf
29.78/29.82 c 29.8s| 38900 | 9874 |247963 | 6.4 | 16M| 74 | - | 422 |3099 | 0 | 0 | 55k| 39k|1859 | 2.000000e+00 | -- | Inf
29.78/29.89 c 29.9s| 39000 | 9899 |248424 | 6.4 | 16M| 74 | 26 | 422 |3099 | 422 | 281 | 55k| 39k|1859 | 2.000000e+00 | -- | Inf
29.89/29.96 c 30.0s| 39100 | 9927 |249062 | 6.4 | 16M| 74 | 25 | 422 |3199 | 422 | 273 | 55k| 39k|1864 | 2.000000e+00 | -- | Inf
29.98/30.04 c 30.0s| 39200 | 9952 |249673 | 6.4 | 16M| 74 | 36 | 422 |3229 | 422 | 279 | 55k| 39k|1864 | 2.000000e+00 | -- | Inf
30.09/30.10 c 30.1s| 39300 | 10017 |250259 | 6.4 | 16M| 74 | 45 | 422 |3235 | 422 | 243 | 56k| 39k|1864 | 2.000000e+00 | -- | Inf
30.09/30.17 c 30.2s| 39400 | 10073 |250863 | 6.4 | 16M| 74 | - | 422 |3270 | 0 | 0 | 56k| 39k|1864 | 2.000000e+00 | -- | Inf
30.18/30.24 c 30.2s| 39500 | 10110 |251442 | 6.4 | 17M| 74 | 25 | 422 |3257 | 422 | 273 | 56k| 39k|1864 | 2.000000e+00 | -- | Inf
30.28/30.31 c 30.3s| 39600 | 10180 |252253 | 6.4 | 17M| 74 | - | 422 |3284 | 422 | 337 | 56k| 39k|1872 | 2.000000e+00 | -- | Inf
30.28/30.39 c 30.4s| 39700 | 10232 |253146 | 6.4 | 17M| 74 | - | 422 |3363 | 0 | 0 | 56k| 39k|1886 | 2.000000e+00 | -- | Inf
30.38/30.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.38/30.47 c 30.5s| 39800 | 10290 |254218 | 6.4 | 17M| 74 | 14 | 422 |3428 | 422 | 309 | 57k| 39k|1886 | 2.000000e+00 | -- | Inf
30.49/30.55 c 30.6s| 39900 | 10336 |255185 | 6.4 | 17M| 74 | 19 | 422 |3521 | 422 | 310 | 57k| 39k|1895 | 2.000000e+00 | -- | Inf
30.49/30.57 o 3
30.49/30.57 c *30.6s| 39921 | 9647 |255366 | 6.4 | 16M| 74 | - | 422 |3546 | 422 | 310 | 57k| 39k|1899 | 2.000000e+00 | 3.000000e+00 | 50.00%
30.58/30.62 c 30.6s| 40000 | 9661 |255750 | 6.4 | 16M| 74 | - | 422 |3463 | 0 | 0 | 57k| 40k|1899 | 2.000000e+00 | 3.000000e+00 | 50.00%
30.58/30.69 c 30.7s| 40100 | 9692 |256430 | 6.4 | 16M| 74 | 11 | 422 |3602 | 422 | 310 | 57k| 40k|1899 | 2.000000e+00 | 3.000000e+00 | 50.00%
30.69/30.72 o 2
30.69/30.72 c *30.7s| 40124 | 0 |256524 | 6.4 |4680k| 74 | - | 422 |3618 | 422 | 306 | 57k| 40k|1899 | 2.000000e+00 | 2.000000e+00 | 0.00%
30.69/30.73 c
30.69/30.73 c SCIP Status : problem is solved [optimal solution found]
30.69/30.73 c Solving Time (sec) : 30.73
30.69/30.73 c Solving Nodes : 40124
30.69/30.73 c Primal Bound : +2.00000000000000e+00 (2 solutions)
30.69/30.73 c Dual Bound : +2.00000000000000e+00
30.69/30.73 c Gap : 0.00 %
30.69/30.73 s OPTIMUM FOUND
30.69/30.73 v -x144 x143 -x142 -x141 x140 x139 -x138 x137 -x136 x135 -x134 -x133 -x96 x95 -x94 x93 -x92 -x91 -x132 -x131 -x130 x129 -x128 x127
30.69/30.73 v x90 x89 -x88 x87 -x86 -x85 x126 -x125 x124 -x123 x122 -x121 -x84 -x83 x82 x81 -x80 -x79 -x120 -x119 -x118 -x117 -x116 -x115
30.69/30.73 v x78 x77 x76 x75 -x74 -x73 -x114 -x113 -x112 x111 -x110 -x109 -x72 -x71 -x70 x69 -x68 -x67 -x108 -x107 -x106 -x105 -x104 x103
30.69/30.73 v -x66 x65 -x64 x63 -x62 -x61 -x102 -x101 -x100 -x99 -x98 -x97 -x60 -x59 -x58 x57 -x56 -x55 x54 x53 x52 x51 -x50 x49 -x48 x47
30.69/30.73 v x46 -x45 -x44 x43 -x42 x41 x40 x39 x38 x37 x36 -x35 x34 x33 -x32 x31 -x30 -x29 x28 x27 x26 x25 -x24 -x23 x22 x21 -x20 x19 -x18
30.69/30.73 v x17 -x16 x15 -x14 x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 x2 -x1
30.69/30.73 c SCIP Status : problem is solved [optimal solution found]
30.69/30.73 c Total Time : 30.73
30.69/30.73 c solving : 30.73
30.69/30.73 c presolving : 0.03 (included in solving)
30.69/30.73 c reading : 0.00 (included in solving)
30.69/30.73 c copying : 0.01 (2 #copies) (minimal 0.00, maximal 0.00, average 0.00)
30.69/30.73 c Original Problem :
30.69/30.73 c Problem name : HOME/instance-3693831-1338035252.opb
30.69/30.73 c Variables : 144 (144 binary, 0 integer, 0 implicit integer, 0 continuous)
30.69/30.73 c Constraints : 17 initial, 17 maximal
30.69/30.73 c Objective sense : minimize
30.69/30.73 c Presolved Problem :
30.69/30.73 c Problem name : t_HOME/instance-3693831-1338035252.opb
30.69/30.73 c Variables : 422 (422 binary, 0 integer, 0 implicit integer, 0 continuous)
30.69/30.73 c Constraints : 305 initial, 4380 maximal
30.69/30.73 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
30.69/30.73 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
30.69/30.73 c trivial : 0.00 0.00 1 0 0 0 0 0 0 0 0
30.69/30.73 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
30.69/30.73 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
30.69/30.73 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
30.69/30.73 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
30.69/30.73 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
30.69/30.73 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
30.69/30.73 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
30.69/30.73 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
30.69/30.73 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
30.69/30.73 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
30.69/30.73 c and : 0.02 0.00 0 0 0 0 0 0 0 0 0
30.69/30.73 c linear : 0.00 0.00 1 8 0 0 0 0 0 0 36
30.69/30.73 c logicor : 0.00 0.00 0 0 0 1 0 0 0 0 0
30.69/30.73 c root node : - - 81 - - 81 - - - - -
30.69/30.73 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
30.69/30.73 c integral : 0 0 0 0 30690 0 13 0 1 330 0 0 61156
30.69/30.73 c setppc : 3 3 6 71101 0 0 10 307 1 436 0 0 0
30.69/30.73 c and : 285 285 58422 135206 2 0 9 780514 1426 192031 57566 0 0
30.69/30.73 c linear : 8 8 6 133780 2 0 1 160076 13563 96112 0 0 0
30.69/30.73 c logicor : 9+ 4084 6 74450 2 0 0 68214 1914 34906 35 0 0
30.69/30.73 c countsols : 0 0 0 0 2 0 2 0 0 0 0 0 0
30.69/30.73 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
30.69/30.73 c integral : 1.91 0.00 0.00 0.00 1.91 0.00 0.00 0.00
30.69/30.73 c setppc : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00
30.69/30.73 c and : 2.04 0.00 1.21 0.62 0.00 0.00 0.00 0.21
30.69/30.73 c linear : 1.84 0.00 0.00 1.56 0.00 0.00 0.00 0.28
30.69/30.73 c logicor : 1.20 0.00 0.00 1.13 0.00 0.00 0.00 0.07
30.69/30.73 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
30.69/30.73 c Propagators : #Propagate #ResProp Cutoffs DomReds
30.69/30.73 c rootredcost : 1 0 0 5
30.69/30.73 c pseudoobj : 165797 0 0 1
30.69/30.73 c vbounds : 0 0 0 0
30.69/30.73 c redcost : 58878 0 0 2
30.69/30.73 c probing : 0 0 0 0
30.69/30.73 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
30.69/30.73 c rootredcost : 0.04 0.00 0.00 0.04 0.00
30.69/30.73 c pseudoobj : 0.13 0.00 0.00 0.13 0.00
30.69/30.73 c vbounds : 0.03 0.00 0.00 0.03 0.00
30.69/30.73 c redcost : 0.37 0.00 0.00 0.37 0.00
30.69/30.73 c probing : 0.00 0.00 0.00 0.00 0.00
30.69/30.73 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
30.69/30.73 c propagation : 1.34 16904 16896 161720 38.6 1376 21.6 -
30.69/30.73 c infeasible LP : 0.01 50 46 472 39.1 9 20.4 0
30.69/30.73 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
30.69/30.73 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
30.69/30.73 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
30.69/30.73 c applied globally : - - - 40296 22.7 - - -
30.69/30.73 c applied locally : - - - 0 0.0 - - -
30.69/30.73 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
30.69/30.73 c cut pool : 0.00 5 - - 18 - (maximal pool size: 212)
30.69/30.73 c closecuts : 0.00 0.00 0 0 0 0 0
30.69/30.73 c impliedbounds : 0.00 0.00 6 0 0 108 0
30.69/30.73 c intobj : 0.00 0.00 0 0 0 0 0
30.69/30.73 c gomory : 0.05 0.00 6 0 0 62 0
30.69/30.73 c cgmip : 0.00 0.00 0 0 0 0 0
30.69/30.73 c strongcg : 0.03 0.00 6 0 0 104 0
30.69/30.73 c cmir : 0.01 0.00 6 0 0 61 0
30.69/30.73 c flowcover : 0.03 0.00 6 0 0 116 0
30.69/30.73 c clique : 0.00 0.00 6 0 0 0 0
30.69/30.73 c zerohalf : 0.00 0.00 0 0 0 0 0
30.69/30.73 c mcf : 0.00 0.00 1 0 0 0 0
30.69/30.73 c oddcycle : 0.00 0.00 0 0 0 0 0
30.69/30.73 c rapidlearning : 0.00 0.00 0 0 0 0 0
30.69/30.73 c Pricers : ExecTime SetupTime Calls Vars
30.69/30.73 c problem variables: 0.00 - 0 0
30.69/30.73 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
30.69/30.73 c relpscost : 1.88 0.00 30687 1 330 0 0 61154
30.69/30.73 c pscost : 0.00 0.00 0 0 0 0 0 0
30.69/30.73 c inference : 0.00 0.00 1 0 0 0 0 2
30.69/30.73 c mostinf : 0.00 0.00 0 0 0 0 0 0
30.69/30.73 c leastinf : 0.00 0.00 0 0 0 0 0 0
30.69/30.73 c fullstrong : 0.00 0.00 0 0 0 0 0 0
30.69/30.73 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
30.69/30.73 c random : 0.00 0.00 0 0 0 0 0 0
30.69/30.73 c Primal Heuristics : ExecTime SetupTime Calls Found
30.69/30.73 c LP solutions : 0.02 - - 2
30.69/30.73 c pseudo solutions : 0.00 - - 0
30.69/30.73 c crossover : 0.01 0.00 0 0
30.69/30.73 c intshifting : 0.00 0.00 0 0
30.69/30.73 c oneopt : 0.03 0.00 1 0
30.69/30.73 c guideddiving : 0.00 0.00 2 0
30.69/30.73 c coefdiving : 0.01 0.00 3 0
30.69/30.73 c pscostdiving : 0.02 0.00 3 0
30.69/30.73 c fracdiving : 0.01 0.00 3 0
30.69/30.73 c veclendiving : 0.01 0.00 3 0
30.69/30.73 c linesearchdiving : 0.01 0.00 3 0
30.69/30.73 c objpscostdiving : 0.00 0.00 2 0
30.69/30.73 c rootsoldiving : 0.02 0.00 2 0
30.69/30.73 c feaspump : 0.01 0.00 2 0
30.69/30.73 c smallcard : 0.00 0.00 0 0
30.69/30.73 c trivial : 0.00 0.00 2 0
30.69/30.73 c shiftandpropagate: 0.00 0.00 1 0
30.69/30.73 c simplerounding : 0.01 0.00 0 0
30.69/30.73 c zirounding : 0.25 0.00 0 0
30.69/30.73 c rounding : 0.14 0.00 3368 0
30.69/30.73 c shifting : 0.56 0.00 983 0
30.69/30.73 c twoopt : 0.00 0.00 0 0
30.69/30.73 c indtwoopt : 0.00 0.00 0 0
30.69/30.73 c indoneopt : 0.03 0.00 0 0
30.69/30.73 c fixandinfer : 0.00 0.00 0 0
30.69/30.73 c clique : 0.00 0.00 0 0
30.69/30.73 c indcoefdiving : 0.00 0.00 0 0
30.69/30.73 c indrounding : 0.00 0.00 0 0
30.69/30.73 c nlpdiving : 0.00 0.00 0 0
30.69/30.73 c intdiving : 0.00 0.00 0 0
30.69/30.73 c actconsdiving : 0.00 0.00 0 0
30.69/30.73 c octane : 0.00 0.00 0 0
30.69/30.73 c rens : 0.01 0.00 1 0
30.69/30.73 c rins : 0.00 0.00 0 0
30.69/30.73 c localbranching : 0.00 0.00 0 0
30.69/30.73 c mutation : 0.00 0.00 0 0
30.69/30.73 c dins : 0.00 0.00 0 0
30.69/30.73 c vbounds : 0.00 0.00 0 0
30.69/30.73 c undercover : 0.03 0.00 1 0
30.69/30.73 c subnlp : 0.01 0.00 0 0
30.69/30.73 c trysol : 0.02 0.00 0 0
30.69/30.73 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
30.69/30.73 c primal LP : 0.64 3904 0 0.00 0.00 0.63 3904
30.69/30.73 c dual LP : 14.24 58926 255462 4.35 17941.81 0.02 195
30.69/30.73 c lex dual LP : 0.00 0 0 0.00 -
30.69/30.73 c barrier LP : 0.00 0 0 0.00 - 0.00 0
30.69/30.73 c diving/probing LP: 0.05 244 1062 4.35 22924.99
30.69/30.73 c strong branching : 1.60 1899 32078 16.89 20028.18
30.69/30.73 c (at root node) : - 33 3583 108.58 -
30.69/30.73 c conflict analysis: 0.00 0 0 0.00 -
30.69/30.73 c B&B Tree :
30.69/30.73 c number of runs : 1
30.69/30.73 c nodes : 40124
30.69/30.73 c nodes (total) : 40124
30.69/30.73 c nodes left : 0
30.69/30.73 c max depth : 74
30.69/30.73 c max depth (total): 74
30.69/30.73 c backtracks : 8339 (20.8%)
30.69/30.73 c delayed cutoffs : 10643
30.69/30.73 c repropagations : 24809 (106232 domain reductions, 7544 cutoffs)
30.69/30.73 c avg switch length: 4.89
30.69/30.73 c switching time : 2.29
30.69/30.73 c Solution :
30.69/30.73 c Solutions found : 2 (2 improvements)
30.69/30.73 c First Solution : +3.00000000000000e+00 (in run 1, after 39921 nodes, 30.57 seconds, depth 61, found by <relaxation>)
30.69/30.73 c Primal Bound : +2.00000000000000e+00 (in run 1, after 40124 nodes, 30.70 seconds, depth 63, found by <relaxation>)
30.69/30.73 c Dual Bound : +2.00000000000000e+00
30.69/30.73 c Gap : 0.00 %
30.69/30.73 c Root Dual Bound : +2.00000000000000e+00
30.69/30.73 c Root Iterations : 432
30.69/30.74 c Time complete: 30.73.
OK 2
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3693831-1338035252/watcher-3693831-1338035252 -o /tmp/evaluation-result-3693831-1338035252/solver-3693831-1338035252 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693831-1338035252.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.97 2.01 2.00 3/176 400 /proc/meminfo: memFree=28462236/32873844 swapFree=7384/7384 [pid=400] ppid=398 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/400/stat : 400 (scip-2.1.1.4sfi) R 398 400 31024 0 -1 4202496 900 0 0 0 0 0 0 0 20 0 1 0 269650610 9371648 855 33554432000 4194304 10169799 140735591513392 140736527717288 8844157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/400/statm: 2288 864 387 1459 0 820 0 [startup+0.0455101 s] /proc/loadavg: 1.97 2.01 2.00 3/176 400 /proc/meminfo: memFree=28462236/32873844 swapFree=7384/7384 [pid=400] ppid=398 vsize=22152 CPUtime=0.03 cores=1,3,5,7 /proc/400/stat : 400 (scip-2.1.1.4sfi) R 398 400 31024 0 -1 4202496 4596 0 0 0 2 1 0 0 20 0 1 0 269650610 22683648 4286 33554432000 4194304 10169799 140735591513392 140735591511976 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/400/statm: 5538 4286 786 1459 0 4070 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 22152 [startup+0.100287 s] /proc/loadavg: 1.97 2.01 2.00 3/176 400 /proc/meminfo: memFree=28462236/32873844 swapFree=7384/7384 [pid=400] ppid=398 vsize=31044 CPUtime=0.09 cores=1,3,5,7 /proc/400/stat : 400 (scip-2.1.1.4sfi) R 398 400 31024 0 -1 4202496 7742 0 0 0 7 2 0 0 20 0 1 0 269650610 31789056 6647 33554432000 4194304 10169799 140735591513392 140735591511976 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/400/statm: 7761 6647 858 1459 0 6293 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 31044 [startup+0.300296 s] /proc/loadavg: 1.97 2.01 2.00 3/176 400 /proc/meminfo: memFree=28462236/32873844 swapFree=7384/7384 [pid=400] ppid=398 vsize=36316 CPUtime=0.29 cores=1,3,5,7 /proc/400/stat : 400 (scip-2.1.1.4sfi) R 398 400 31024 0 -1 4202496 8491 0 0 0 27 2 0 0 20 0 1 0 269650610 37187584 7907 33554432000 4194304 10169799 140735591513392 140735591511976 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/400/statm: 9079 7907 860 1459 0 7611 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36316 [startup+0.700266 s] /proc/loadavg: 1.97 2.01 2.00 3/176 400 /proc/meminfo: memFree=28462236/32873844 swapFree=7384/7384 [pid=400] ppid=398 vsize=36316 CPUtime=0.69 cores=1,3,5,7 /proc/400/stat : 400 (scip-2.1.1.4sfi) R 398 400 31024 0 -1 4202496 8494 0 0 0 66 3 0 0 20 0 1 0 269650610 37187584 7910 33554432000 4194304 10169799 140735591513392 140735591508088 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/400/statm: 9079 7910 861 1459 0 7611 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 36316 [startup+1.50028 s] /proc/loadavg: 1.97 2.01 2.00 3/177 401 /proc/meminfo: memFree=28434140/32873844 swapFree=7384/7384 [pid=400] ppid=398 vsize=36344 CPUtime=1.49 cores=1,3,5,7 /proc/400/stat : 400 (scip-2.1.1.4sfi) R 398 400 31024 0 -1 4202496 8495 0 0 0 144 5 0 0 20 0 1 0 269650610 37216256 7911 33554432000 4194304 10169799 140735591513392 140735591508088 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/400/statm: 9086 7911 862 1459 0 7618 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36344 [startup+3.10027 s] /proc/loadavg: 1.97 2.01 2.00 3/177 401 /proc/meminfo: memFree=28433768/32873844 swapFree=7384/7384 [pid=400] ppid=398 vsize=36344 CPUtime=3.09 cores=1,3,5,7 /proc/400/stat : 400 (scip-2.1.1.4sfi) R 398 400 31024 0 -1 4202496 8496 0 0 0 298 11 0 0 20 0 1 0 269650610 37216256 7912 33554432000 4194304 10169799 140735591513392 140735591511912 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/400/statm: 9086 7912 862 1459 0 7618 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 36344 [startup+6.30028 s] /proc/loadavg: 1.97 2.01 2.00 3/177 401 /proc/meminfo: memFree=28431304/32873844 swapFree=7384/7384 [pid=400] ppid=398 vsize=36344 CPUtime=6.29 cores=1,3,5,7 /proc/400/stat : 400 (scip-2.1.1.4sfi) R 398 400 31024 0 -1 4202496 8497 0 0 0 604 25 0 0 20 0 1 0 269650610 37216256 7913 33554432000 4194304 10169799 140735591513392 140735591509912 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/400/statm: 9086 7913 862 1459 0 7618 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 36344 [startup+12.7003 s] /proc/loadavg: 1.97 2.01 2.00 3/177 401 /proc/meminfo: memFree=28431336/32873844 swapFree=7384/7384 [pid=400] ppid=398 vsize=36384 CPUtime=12.69 cores=1,3,5,7 /proc/400/stat : 400 (scip-2.1.1.4sfi) R 398 400 31024 0 -1 4202496 8502 0 0 0 1217 52 0 0 20 0 1 0 269650610 37257216 7918 33554432000 4194304 10169799 140735591513392 140735591511080 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/400/statm: 9096 7918 862 1459 0 7628 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 36384 [startup+25.5003 s] /proc/loadavg: 1.98 2.00 2.00 3/177 401 /proc/meminfo: memFree=28425244/32873844 swapFree=7384/7384 [pid=400] ppid=398 vsize=42980 CPUtime=25.49 cores=1,3,5,7 /proc/400/stat : 400 (scip-2.1.1.4sfi) R 398 400 31024 0 -1 4202496 10134 0 0 0 2439 110 0 0 20 0 1 0 269650610 44011520 9550 33554432000 4194304 10169799 140735591513392 140735591509912 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/400/statm: 10745 9550 862 1459 0 9277 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 42980 Solver just ended. Dumping a history of the last processes samples [startup+28.7003 s] /proc/loadavg: 1.98 2.00 2.00 3/177 401 /proc/meminfo: memFree=28422516/32873844 swapFree=7384/7384 [pid=400] ppid=398 vsize=45376 CPUtime=28.68 cores=1,3,5,7 /proc/400/stat : 400 (scip-2.1.1.4sfi) R 398 400 31024 0 -1 4202496 10797 0 0 0 2743 125 0 0 20 0 1 0 269650610 46465024 10204 33554432000 4194304 10169799 140735591513392 140735591509912 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/400/statm: 11344 10204 862 1459 0 9876 0 Current children cumulated CPU time (s) 28.68 Current children cumulated vsize (KiB) 45376 [startup+29.5003 s] /proc/loadavg: 1.98 2.00 2.00 3/177 401 /proc/meminfo: memFree=28422516/32873844 swapFree=7384/7384 [pid=400] ppid=398 vsize=46184 CPUtime=29.49 cores=1,3,5,7 /proc/400/stat : 400 (scip-2.1.1.4sfi) R 398 400 31024 0 -1 4202496 10939 0 0 0 2820 129 0 0 20 0 1 0 269650610 47292416 10346 33554432000 4194304 10169799 140735591513392 140735591509912 4897849 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/400/statm: 11546 10346 862 1459 0 10078 0 Current children cumulated CPU time (s) 29.49 Current children cumulated vsize (KiB) 46184 [startup+30.3003 s] /proc/loadavg: 1.98 2.00 2.00 3/177 401 /proc/meminfo: memFree=28421524/32873844 swapFree=7384/7384 [pid=400] ppid=398 vsize=47208 CPUtime=30.28 cores=1,3,5,7 /proc/400/stat : 400 (scip-2.1.1.4sfi) R 398 400 31024 0 -1 4202496 11180 0 0 0 2895 133 0 0 20 0 1 0 269650610 48340992 10587 33554432000 4194304 10169799 140735591513392 140735591508184 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/400/statm: 11802 10587 862 1459 0 10334 0 Current children cumulated CPU time (s) 30.28 Current children cumulated vsize (KiB) 47208 [startup+30.7003 s] /proc/loadavg: 1.98 2.00 2.00 3/177 401 /proc/meminfo: memFree=28419416/32873844 swapFree=7384/7384 [pid=400] ppid=398 vsize=48460 CPUtime=30.69 cores=1,3,5,7 /proc/400/stat : 400 (scip-2.1.1.4sfi) R 398 400 31024 0 -1 4202496 11491 0 0 0 2934 135 0 0 20 0 1 0 269650610 49623040 10898 33554432000 4194304 10169799 140735591513392 140735591509704 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/400/statm: 12115 10898 862 1459 0 10647 0 Current children cumulated CPU time (s) 30.69 Current children cumulated vsize (KiB) 48460 Child status: 0 Real time (s): 30.7463 CPU time (s): 30.7413 CPU user time (s): 29.3855 CPU system time (s): 1.35579 CPU usage (%): 99.9838 Max. virtual memory (cumulated for all children) (KiB): 48460 getrusage(RUSAGE_CHILDREN,...) data: user time used= 29.3855 system time used= 1.35579 maximum resident set size= 43600 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11495 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= 3 involuntary context switches= 33 runsolver used 0.040993 second user time and 0.143978 second system time The end
Begin job on node136 at 2012-05-26 14:27:32 IDJOB=3693831 IDBENCH=48041 IDSOLVER=2272 FILE ID=node136/3693831-1338035252 RUNJOBID= node136-1338028239-32008 PBS_JOBID= 14624338 Free space on /tmp= 71656 MiB SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=6-P0=29-P1=2-P2=59-P3=2-P4=47-P5=53-P6=37-P7=53-P8=53-B.opb COMMAND LINE= HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3693831-1338035252/watcher-3693831-1338035252 -o /tmp/evaluation-result-3693831-1338035252/solver-3693831-1338035252 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693831-1338035252.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 546a5ced30808b0bb71d4cd4eb43d066 RANDOM SEED=1224125785 node136.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28462872 kB Buffers: 323428 kB Cached: 2339488 kB SwapCached: 24460 kB Active: 1714224 kB Inactive: 1923452 kB Active(anon): 949456 kB Inactive(anon): 25096 kB Active(file): 764768 kB Inactive(file): 1898356 kB Unevictable: 7384 kB Mlocked: 7384 kB SwapTotal: 67108856 kB SwapFree: 67079072 kB Dirty: 13648 kB Writeback: 0 kB AnonPages: 956004 kB Mapped: 13048 kB Shmem: 0 kB Slab: 633340 kB SReclaimable: 74712 kB SUnreclaim: 558628 kB KernelStack: 1480 kB PageTables: 6164 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1085220 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 108544 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71644 MiB End job on node136 at 2012-05-26 14:28:02