15.41/15.52 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4530034-1752261616.opb
15.41/15.52 c Solving mode: decision
15.41/15.52 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
15.41/15.52 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
15.41/15.52 c original problem has 2793 variables (2793 bin, 0 int, 0 impl, 0 cont) and 3760 constraints
15.41/15.52 c presolving:
15.41/15.52 c (round 1, fast) 537 del vars, 1151 del conss, 0 add conss, 325 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1105 clqs
15.41/15.52 c (round 2, fast) 659 del vars, 1737 del conss, 0 add conss, 425 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1448 clqs
15.41/15.52 c (round 3, medium) 1098 del vars, 1737 del conss, 0 add conss, 425 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 573 clqs
15.41/15.52 c (round 4, fast) 1098 del vars, 2615 del conss, 0 add conss, 425 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 573 clqs
15.41/15.52 c (round 5, exhaustive) 1098 del vars, 2615 del conss, 0 add conss, 425 chg bounds, 0 chg sides, 0 chg coeffs, 364 upgd conss, 0 impls, 573 clqs
15.41/15.52 c (round 6, fast) 1099 del vars, 2615 del conss, 0 add conss, 425 chg bounds, 2 chg sides, 81 chg coeffs, 364 upgd conss, 0 impls, 555 clqs
15.41/15.52 c (round 7, exhaustive) 1099 del vars, 2978 del conss, 121 add conss, 425 chg bounds, 2 chg sides, 81 chg coeffs, 364 upgd conss, 0 impls, 556 clqs
15.41/15.52 c (round 8, exhaustive) 1099 del vars, 2978 del conss, 121 add conss, 425 chg bounds, 2 chg sides, 81 chg coeffs, 365 upgd conss, 0 impls, 556 clqs
15.41/15.52 c (0.1s) probing: 1000/1714 (58.3%) - 8 fixings, 0 aggregations, 1590 implications, 0 bound changes
15.41/15.52 c (0.2s) probing cycle finished: starting next cycle
15.41/15.52 c (round 9, exhaustive) 1116 del vars, 2978 del conss, 121 add conss, 425 chg bounds, 2 chg sides, 81 chg coeffs, 365 upgd conss, 0 impls, 3505 clqs
15.41/15.52 c (round 10, fast) 1121 del vars, 2981 del conss, 121 add conss, 427 chg bounds, 2 chg sides, 81 chg coeffs, 365 upgd conss, 0 impls, 3351 clqs
15.41/15.52 c (round 11, fast) 1128 del vars, 2985 del conss, 121 add conss, 430 chg bounds, 2 chg sides, 81 chg coeffs, 365 upgd conss, 0 impls, 3103 clqs
15.41/15.52 c (round 12, fast) 1130 del vars, 2986 del conss, 121 add conss, 431 chg bounds, 2 chg sides, 81 chg coeffs, 365 upgd conss, 0 impls, 3020 clqs
15.41/15.52 c (round 13, fast) 1134 del vars, 2988 del conss, 121 add conss, 433 chg bounds, 2 chg sides, 81 chg coeffs, 365 upgd conss, 0 impls, 2858 clqs
15.41/15.52 c (round 14, fast) 1140 del vars, 2991 del conss, 121 add conss, 436 chg bounds, 2 chg sides, 81 chg coeffs, 365 upgd conss, 0 impls, 2615 clqs
15.41/15.52 c (round 15, fast) 1142 del vars, 2992 del conss, 121 add conss, 437 chg bounds, 2 chg sides, 81 chg coeffs, 365 upgd conss, 0 impls, 2534 clqs
15.41/15.52 c (round 16, fast) 1144 del vars, 2993 del conss, 121 add conss, 438 chg bounds, 2 chg sides, 81 chg coeffs, 365 upgd conss, 0 impls, 2453 clqs
15.41/15.52 c (round 17, fast) 1149 del vars, 2995 del conss, 121 add conss, 440 chg bounds, 2 chg sides, 81 chg coeffs, 365 upgd conss, 0 impls, 2207 clqs
15.41/15.52 c (round 18, fast) 1153 del vars, 2997 del conss, 121 add conss, 441 chg bounds, 2 chg sides, 81 chg coeffs, 365 upgd conss, 0 impls, 2123 clqs
15.41/15.52 c (round 19, fast) 1154 del vars, 2998 del conss, 121 add conss, 441 chg bounds, 2 chg sides, 81 chg coeffs, 365 upgd conss, 0 impls, 2120 clqs
15.41/15.52 c (0.3s) probing: 1000/1697 (58.9%) - 15 fixings, 20 aggregations, 4386 implications, 0 bound changes
15.41/15.52 c (0.3s) probing: 1227/1697 (72.3%) - 15 fixings, 20 aggregations, 4472 implications, 0 bound changes
15.41/15.52 c (0.3s) probing aborted: 1000/1000 successive useless probings
15.41/15.52 c (round 20, exhaustive) 1172 del vars, 2998 del conss, 121 add conss, 441 chg bounds, 2 chg sides, 81 chg coeffs, 365 upgd conss, 0 impls, 2466 clqs
15.41/15.52 c (round 21, exhaustive) 1172 del vars, 2998 del conss, 121 add conss, 441 chg bounds, 2 chg sides, 81 chg coeffs, 366 upgd conss, 0 impls, 2467 clqs
15.41/15.52 c (0.3s) probing: 1281/1697 (75.5%) - 15 fixings, 20 aggregations, 4474 implications, 0 bound changes
15.41/15.52 c (0.3s) probing aborted: 50/50 successive totally useless probings
15.41/15.52 c (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
15.41/15.52 c (0.3s) no symmetry present (symcode time: 0.00)
15.41/15.52 c presolving (22 rounds: 22 fast, 8 medium, 7 exhaustive):
15.41/15.52 c 1172 deleted vars, 2998 deleted constraints, 121 added constraints, 441 tightened bounds, 0 added holes, 2 changed sides, 81 changed coefficients
15.41/15.52 c 0 implications, 2469 cliques
15.41/15.52 c presolved problem has 1642 variables (1642 bin, 0 int, 0 impl, 0 cont) and 871 constraints
15.41/15.52 c 1 constraints of type <knapsack>
15.41/15.52 c 1 constraints of type <setppc>
15.41/15.52 c 110 constraints of type <and>
15.41/15.52 c 759 constraints of type <linear>
15.41/15.52 c transformed objective value is always integral (scale: 1)
15.41/15.52 c Presolving Time: 0.27
15.41/15.52 c
15.41/15.52 c (node 1) unresolved numerical troubles in LP 2 -- using pseudo solution instead (loop 1)
15.41/15.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.41/15.52 c 0.3s| 1 | 2 | 244 | - | 22M | 0 |1642 | 875 | 981 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
15.41/15.52 c (node 22) numerical troubles in LP 42 -- unresolved
15.41/15.52 c (node 23) numerical troubles in LP 47 -- unresolved
15.41/15.52 c (node 24) numerical troubles in LP 52 -- unresolved
15.41/15.52 c (node 25) numerical troubles in LP 57 -- unresolved
15.41/15.52 c (node 28) numerical troubles in LP 66 -- unresolved
15.41/15.52 c (node 29) numerical troubles in LP 71 -- unresolved
15.41/15.52 c (node 35) numerical troubles in LP 96 -- unresolved
15.41/15.52 c (node 69) numerical troubles in LP 169 -- unresolved
15.41/15.52 c (node 70) numerical troubles in LP 174 -- unresolved
15.41/15.52 c (node 71) numerical troubles in LP 179 -- unresolved
15.41/15.52 c (node 74) numerical troubles in LP 190 -- unresolved -- further messages will be suppressed (use display/verblevel=5 to see all)
15.41/15.52 c 5.0s| 100 | 50 |147855 |1491.0 | 23M | 39 |1642 | 877 | 982 | 105 | 1 | 5 | 0 | 0.000000e+00 | -- | Inf | 74.79%
15.41/15.52 c 10.2s| 200 | 90 |317752 |1595.5 | 23M | 49 |1642 | 879 | 0 | 205 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf | 74.79%
15.41/15.52 c 11.0s| 300 | 126 |361281 |1207.5 | 23M | 54 |1642 | 881 |1082 | 205 | 0 | 9 | 0 | 0.000000e+00 | -- | Inf | 74.79%
15.41/15.52 c 11.6s| 400 | 198 |393396 | 985.3 | 23M | 61 |1642 | 898 |1082 | 205 | 0 | 26 | 0 | 0.000000e+00 | -- | Inf | 74.79%
15.41/15.52 c 11.9s| 500 | 253 |412200 | 825.6 | 23M | 61 |1642 | 917 |1082 | 205 | 0 | 45 | 0 | 0.000000e+00 | -- | Inf | 74.79%
15.41/15.52 c 12.2s| 600 | 286 |426046 | 710.9 | 24M | 63 |1642 | 966 |1082 | 205 | 0 | 94 | 0 | 0.000000e+00 | -- | Inf | 74.79%
15.41/15.52 c 12.5s| 700 | 314 |447580 | 640.0 | 24M | 63 |1642 | 977 |1082 | 205 | 0 | 105 | 0 | 0.000000e+00 | -- | Inf | 74.79%
15.41/15.52 c 12.8s| 800 | 344 |463486 | 579.8 | 24M | 63 |1642 |1028 |1082 | 205 | 0 | 156 | 0 | 0.000000e+00 | -- | Inf | 74.79%
15.41/15.52 c 13.1s| 900 | 382 |479204 | 532.8 | 25M | 63 |1642 |1042 | 0 | 205 | 0 | 170 | 0 | 0.000000e+00 | -- | Inf | 74.79%
15.41/15.52 c 13.5s| 1000 | 385 |501317 | 501.6 | 26M | 63 |1642 |1087 |1082 | 205 | 0 | 215 | 0 | 0.000000e+00 | -- | Inf | 74.79%
15.41/15.52 c 13.8s| 1100 | 374 |515426 | 468.8 | 26M | 63 |1642 |1171 |1082 | 205 | 0 | 299 | 0 | 0.000000e+00 | -- | Inf | 74.79%
15.41/15.52 c 14.3s| 1200 | 421 |545586 | 454.8 | 27M | 63 |1642 |1210 | 0 | 205 | 0 | 339 | 0 | 0.000000e+00 | -- | Inf | 74.79%
15.41/15.52 c 14.8s| 1300 | 445 |575257 | 442.7 | 27M | 63 |1642 |1225 | 0 | 205 | 0 | 354 | 0 | 0.000000e+00 | -- | Inf | 74.79%
15.41/15.52 c 15.1s| 1400 | 460 |590689 | 422.0 | 27M | 63 |1642 |1303 | 0 | 205 | 0 | 432 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
38.54/38.78 c 15.4s| 1500 | 464 |604397 | 403.0 | 27M | 63 |1642 |1367 | 0 | 205 | 0 | 496 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 15.6s| 1600 | 434 |615997 | 385.1 | 28M | 63 |1642 |1447 | 0 | 205 | 0 | 576 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 16.1s| 1700 | 438 |635084 | 373.7 | 28M | 63 |1642 |1495 | 0 | 205 | 0 | 624 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 16.4s| 1800 | 458 |651631 | 362.1 | 28M | 63 |1642 |1559 |1082 | 205 | 0 | 688 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 16.8s| 1900 | 464 |669905 | 352.6 | 28M | 63 |1642 |1641 | 0 | 205 | 0 | 771 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 17.0s| 2000 | 459 |683433 | 341.8 | 29M | 63 |1642 |1727 |1082 | 205 | 0 | 859 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 17.3s| 2100 | 453 |697129 | 332.0 | 29M | 63 |1642 |1799 | 0 | 205 | 0 | 932 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 17.6s| 2200 | 424 |708688 | 322.2 | 29M | 63 |1642 |2044 | 0 | 205 | 0 |1182 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 17.8s| 2300 | 365 |717780 | 312.1 | 30M | 63 |1642 |2294 |1082 | 205 | 0 |1443 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 18.1s| 2400 | 351 |729512 | 304.0 | 30M | 63 |1642 |2397 |1082 | 205 | 0 |1555 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 18.3s| 2500 | 285 |736308 | 294.5 | 30M | 63 |1642 |2548 |1082 | 205 | 0 |1745 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 18.7s| 2600 | 210 |751126 | 288.9 | 30M | 63 |1642 |2743 | 0 | 205 | 0 |1983 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 18.9s| 2700 | 127 |758117 | 280.8 | 30M | 63 |1642 |2916 | 0 | 205 | 0 |2210 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 19.3s| 2800 | 124 |776024 | 277.2 | 31M | 63 |1642 |2972 |1082 | 205 | 0 |2324 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 20.2s| 2900 | 214 |822343 | 283.6 | 31M | 63 |1642 |2942 |1082 | 205 | 0 |2324 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
38.54/38.78 c 20.7s| 3000 | 307 |855569 | 285.2 | 31M | 63 |1642 |2912 |1082 | 205 | 0 |2334 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 21.1s| 3100 | 378 |882637 | 284.7 | 31M | 63 |1642 |2860 |1082 | 205 | 0 |2339 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 21.6s| 3200 | 460 |912689 | 285.2 | 31M | 63 |1642 |2798 |1082 | 205 | 0 |2357 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 22.1s| 3300 | 523 |939253 | 284.6 | 31M | 63 |1642 |2732 | 0 | 205 | 0 |2389 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 23.0s| 3400 | 575 |982405 | 289.0 | 31M | 63 |1642 |2639 |1080 | 205 | 0 |2393 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 23.5s| 3500 | 665 | 1016k| 290.4 | 31M | 63 |1642 |2510 |1082 | 205 | 0 |2393 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 24.2s| 3600 | 749 | 1055k| 293.1 | 32M | 63 |1642 |2309 |1082 | 205 | 0 |2396 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 24.7s| 3700 | 835 | 1089k| 294.4 | 32M | 63 |1642 |2137 |1082 | 205 | 0 |2401 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 25.2s| 3800 | 913 | 1120k| 294.9 | 32M | 63 |1642 |1987 |1082 | 205 | 0 |2401 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 25.8s| 3900 | 980 | 1156k| 296.7 | 32M | 63 |1642 |1857 | 0 | 205 | 0 |2418 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 26.4s| 4000 | 1037 | 1191k| 297.9 | 32M | 63 |1642 |1692 |1082 | 205 | 0 |2430 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 26.9s| 4100 | 1089 | 1221k| 297.9 | 32M | 63 |1642 |1574 |1082 | 205 | 0 |2451 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 27.4s| 4200 | 1153 | 1251k| 298.0 | 32M | 63 |1642 |1474 |1082 | 205 | 0 |2462 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 27.8s| 4300 | 1202 | 1277k| 297.2 | 32M | 63 |1642 |1398 |1082 | 205 | 0 |2495 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 28.2s| 4400 | 1252 | 1302k| 296.0 | 32M | 63 |1642 |1333 |1082 | 205 | 0 |2531 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
38.54/38.78 c 28.7s| 4500 | 1305 | 1331k| 295.8 | 33M | 63 |1642 |1288 |1082 | 205 | 0 |2534 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 29.1s| 4600 | 1340 | 1353k| 294.3 | 33M | 63 |1642 |1276 |1082 | 205 | 0 |2563 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 29.4s| 4700 | 1380 | 1377k| 293.0 | 33M | 63 |1642 |1268 |1082 | 205 | 0 |2587 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 29.8s| 4800 | 1415 | 1399k| 291.6 | 33M | 63 |1642 |1251 | 0 | 205 | 0 |2624 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 30.4s| 4900 | 1439 | 1429k| 291.7 | 33M | 63 |1642 |1290 |1082 | 205 | 0 |2695 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 31.0s| 5000 | 1516 | 1462k| 292.6 | 33M | 63 |1642 |1273 |1082 | 205 | 0 |2704 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 31.4s| 5100 | 1580 | 1492k| 292.7 | 33M | 63 |1642 |1258 |1082 | 205 | 0 |2711 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 32.0s| 5200 | 1643 | 1525k| 293.4 | 33M | 63 |1642 |1252 |1082 | 205 | 0 |2721 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 32.4s| 5300 | 1707 | 1555k| 293.6 | 33M | 63 |1642 |1242 | 0 | 205 | 0 |2721 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 33.1s| 5400 | 1767 | 1594k| 295.3 | 34M | 63 |1642 |1243 |1082 | 205 | 0 |2733 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 33.7s| 5500 | 1814 | 1630k| 296.4 | 34M | 63 |1642 |1239 |1082 | 205 | 0 |2756 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 34.1s| 5600 | 1854 | 1654k| 295.5 | 34M | 63 |1642 |1233 |1082 | 205 | 0 |2757 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 34.5s| 5700 | 1889 | 1682k| 295.2 | 34M | 63 |1642 |1224 |1082 | 205 | 0 |2764 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 34.9s| 5800 | 1933 | 1707k| 294.3 | 34M | 63 |1642 |1220 |1082 | 205 | 0 |2769 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 35.3s| 5900 | 1979 | 1734k| 294.0 | 34M | 63 |1642 |1222 | 0 | 205 | 0 |2779 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
38.54/38.78 c 35.7s| 6000 | 2002 | 1754k| 292.5 | 35M | 63 |1642 |1212 | 0 | 205 | 0 |2781 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 36.0s| 6100 | 2034 | 1777k| 291.4 | 35M | 63 |1642 |1201 |1082 | 205 | 0 |2781 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 36.5s| 6200 | 2073 | 1805k| 291.2 | 35M | 63 |1642 |1205 |1082 | 205 | 0 |2791 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 36.9s| 6300 | 2110 | 1830k| 290.6 | 35M | 63 |1642 |1198 |1082 | 205 | 0 |2794 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 37.3s| 6400 | 2146 | 1854k| 289.7 | 35M | 63 |1642 |1191 |1082 | 205 | 0 |2796 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 37.9s| 6500 | 2157 | 1885k| 290.1 | 35M | 63 |1642 |1210 | 0 | 205 | 0 |2824 | 0 | 0.000000e+00 | -- | Inf | 74.79%
38.54/38.78 c 38.3s| 6600 | 2181 | 1907k| 289.0 | 35M | 63 |1642 |1222 | 0 | 205 | 0 |2841 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 38.6s| 6700 | 2218 | 1929k| 288.1 | 36M | 63 |1642 |1239 |1082 | 205 | 0 |2869 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 39.0s| 6800 | 2253 | 1952k| 287.1 | 36M | 63 |1642 |1249 |1082 | 205 | 0 |2885 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 39.3s| 6900 | 2271 | 1971k| 285.8 | 36M | 63 |1642 |1268 |1082 | 205 | 0 |2909 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 39.7s| 7000 | 2264 | 1993k| 284.8 | 36M | 63 |1642 |1293 | 0 | 205 | 0 |2939 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 40.2s| 7100 | 2277 | 2018k| 284.3 | 36M | 63 |1642 |1288 |1082 | 205 | 0 |2945 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 40.5s| 7200 | 2298 | 2038k| 283.1 | 36M | 63 |1642 |1282 | 0 | 205 | 0 |2956 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 40.9s| 7300 | 2292 | 2055k| 281.6 | 36M | 63 |1642 |1305 | 0 | 205 | 0 |2984 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 41.3s| 7400 | 2314 | 2077k| 280.8 | 36M | 63 |1642 |1310 |1082 | 205 | 0 |3001 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
60.07/60.30 c 41.6s| 7500 | 2334 | 2095k| 279.4 | 36M | 63 |1642 |1313 | 0 | 205 | 0 |3016 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 41.8s| 7600 | 2339 | 2111k| 277.8 | 36M | 63 |1642 |1328 |1082 | 205 | 0 |3043 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 42.1s| 7700 | 2365 | 2129k| 276.5 | 37M | 63 |1642 |1328 |1082 | 205 | 0 |3055 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 42.5s| 7800 | 2378 | 2149k| 275.6 | 37M | 63 |1642 |1324 | 0 | 205 | 0 |3068 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 42.8s| 7900 | 2395 | 2165k| 274.1 | 37M | 63 |1642 |1344 |1082 | 205 | 0 |3111 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 43.1s| 8000 | 2395 | 2179k| 272.4 | 37M | 63 |1642 |1357 | 0 | 205 | 0 |3140 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 43.3s| 8100 | 2386 | 2192k| 270.6 | 37M | 63 |1642 |1386 |1082 | 205 | 0 |3197 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 43.6s| 8200 | 2308 | 2205k| 268.9 | 37M | 63 |1642 |1463 |1080 | 205 | 0 |3296 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 44.2s| 8300 | 2336 | 2231k| 268.9 | 37M | 63 |1642 |1482 |1082 | 205 | 0 |3329 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 44.6s| 8400 | 2402 | 2261k| 269.3 | 37M | 63 |1642 |1455 |1082 | 205 | 0 |3331 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 45.1s| 8500 | 2460 | 2290k| 269.5 | 38M | 63 |1642 |1429 |1082 | 205 | 0 |3331 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 45.6s| 8600 | 2520 | 2324k| 270.3 | 38M | 63 |1642 |1407 | 0 | 205 | 0 |3331 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 46.1s| 8700 | 2574 | 2359k| 271.2 | 38M | 63 |1642 |1384 |1082 | 205 | 0 |3332 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 46.5s| 8800 | 2624 | 2385k| 271.0 | 38M | 63 |1642 |1384 |1082 | 205 | 0 |3338 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 47.0s| 8900 | 2667 | 2412k| 271.1 | 38M | 63 |1642 |1384 |1082 | 205 | 0 |3342 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
60.07/60.30 c 47.5s| 9000 | 2715 | 2441k| 271.2 | 38M | 63 |1642 |1381 |1082 | 205 | 0 |3342 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 48.1s| 9100 | 2755 | 2472k| 271.7 | 38M | 63 |1642 |1381 | 0 | 205 | 0 |3347 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 48.6s| 9200 | 2797 | 2500k| 271.8 | 38M | 63 |1642 |1380 |1082 | 205 | 0 |3359 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 48.9s| 9300 | 2830 | 2524k| 271.4 | 39M | 63 |1642 |1382 | 0 | 205 | 0 |3370 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 49.3s| 9400 | 2868 | 2550k| 271.3 | 39M | 63 |1642 |1380 |1082 | 205 | 0 |3370 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 49.7s| 9500 | 2910 | 2576k| 271.2 | 39M | 63 |1642 |1379 |1082 | 205 | 0 |3370 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 50.3s| 9600 | 2957 | 2608k| 271.7 | 39M | 63 |1642 |1370 |1082 | 205 | 0 |3381 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 50.7s| 9700 | 2988 | 2633k| 271.5 | 39M | 63 |1642 |1379 | 0 | 205 | 0 |3394 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 51.4s| 9800 | 3014 | 2663k| 271.8 | 39M | 63 |1642 |1393 | 0 | 205 | 0 |3414 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 51.7s| 9900 | 3049 | 2689k| 271.7 | 39M | 63 |1642 |1394 |1082 | 205 | 0 |3420 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 52.4s| 10000 | 3089 | 2724k| 272.5 | 40M | 63 |1642 |1398 |1082 | 205 | 0 |3429 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 52.8s| 10100 | 3141 | 2751k| 272.4 | 40M | 63 |1642 |1394 |1082 | 205 | 0 |3435 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 53.2s| 10200 | 3166 | 2776k| 272.2 | 40M | 63 |1642 |1398 |1082 | 205 | 0 |3446 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 53.6s| 10300 | 3196 | 2800k| 271.9 | 40M | 63 |1642 |1394 |1082 | 205 | 0 |3450 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 54.0s| 10400 | 3218 | 2822k| 271.4 | 41M | 63 |1642 |1393 | 0 | 205 | 0 |3462 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
60.07/60.30 c 54.3s| 10500 | 3243 | 2845k| 271.0 | 41M | 63 |1642 |1398 | 0 | 205 | 0 |3471 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 54.7s| 10600 | 3267 | 2867k| 270.6 | 41M | 63 |1642 |1388 |1082 | 205 | 0 |3476 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 55.0s| 10700 | 3283 | 2890k| 270.1 | 41M | 63 |1642 |1398 |1082 | 205 | 0 |3491 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 55.5s| 10800 | 3311 | 2918k| 270.3 | 41M | 63 |1642 |1402 |1082 | 205 | 0 |3499 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 55.9s| 10900 | 3342 | 2944k| 270.1 | 42M | 63 |1642 |1427 |1082 | 205 | 0 |3537 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 56.3s| 11000 | 3375 | 2969k| 269.9 | 42M | 63 |1642 |1459 | 0 | 205 | 0 |3579 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 56.7s| 11100 | 3413 | 2995k| 269.9 | 42M | 63 |1642 |1454 | 0 | 205 | 0 |3585 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 57.2s| 11200 | 3437 | 3021k| 269.8 | 42M | 63 |1642 |1467 |1082 | 205 | 0 |3606 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 57.6s| 11300 | 3454 | 3045k| 269.5 | 42M | 63 |1642 |1470 |1082 | 205 | 0 |3616 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 58.0s| 11400 | 3478 | 3069k| 269.2 | 43M | 63 |1642 |1471 | 0 | 205 | 0 |3626 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 58.3s| 11500 | 3491 | 3090k| 268.8 | 43M | 63 |1642 |1471 | 0 | 205 | 0 |3635 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 58.6s| 11600 | 3498 | 3110k| 268.1 | 43M | 63 |1642 |1476 |1082 | 205 | 0 |3649 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 59.0s| 11700 | 3503 | 3131k| 267.6 | 43M | 63 |1642 |1495 | 0 | 205 | 0 |3681 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 59.3s| 11800 | 3512 | 3152k| 267.1 | 43M | 63 |1642 |1489 | 0 | 205 | 0 |3681 | 0 | 0.000000e+00 | -- | Inf | 74.79%
60.07/60.30 c 59.7s| 11900 | 3534 | 3174k| 266.7 | 44M | 63 |1642 |1502 |1082 | 205 | 0 |3696 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
80.11/80.48 c 60.1s| 12000 | 3561 | 3202k| 266.9 | 44M | 63 |1642 |1494 |1082 | 205 | 0 |3700 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 60.7s| 12100 | 3586 | 3234k| 267.3 | 44M | 63 |1642 |1501 | 0 | 205 | 0 |3715 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 61.1s| 12200 | 3605 | 3256k| 266.9 | 44M | 63 |1642 |1495 | 0 | 205 | 0 |3725 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 61.5s| 12300 | 3625 | 3280k| 266.7 | 44M | 63 |1642 |1504 | 0 | 205 | 0 |3742 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 61.8s| 12400 | 3646 | 3302k| 266.4 | 44M | 63 |1642 |1516 | 0 | 205 | 0 |3760 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 62.2s| 12500 | 3669 | 3328k| 266.3 | 44M | 63 |1642 |1530 |1082 | 205 | 0 |3790 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 62.7s| 12600 | 3685 | 3351k| 266.0 | 44M | 63 |1642 |1535 |1082 | 205 | 0 |3809 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 63.1s| 12700 | 3707 | 3375k| 265.8 | 44M | 63 |1642 |1557 |1082 | 205 | 0 |3842 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 63.5s| 12800 | 3710 | 3395k| 265.2 | 44M | 63 |1642 |1606 | 0 | 205 | 0 |3895 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 63.8s| 12900 | 3713 | 3415k| 264.7 | 45M | 63 |1642 |1632 | 0 | 205 | 0 |3936 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 64.1s| 13000 | 3722 | 3435k| 264.3 | 45M | 63 |1642 |1639 |1082 | 205 | 0 |3958 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 64.6s| 13100 | 3740 | 3463k| 264.4 | 45M | 63 |1642 |1636 |1082 | 205 | 0 |3971 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 65.0s| 13200 | 3761 | 3486k| 264.1 | 45M | 63 |1642 |1629 |1082 | 205 | 0 |3983 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 65.5s| 13300 | 3772 | 3512k| 264.1 | 45M | 63 |1642 |1680 | 0 | 205 | 0 |4044 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 65.9s| 13400 | 3783 | 3534k| 263.8 | 45M | 63 |1642 |1685 | 0 | 205 | 0 |4071 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
80.11/80.48 c 66.4s| 13500 | 3805 | 3559k| 263.7 | 45M | 63 |1642 |1689 |1082 | 205 | 0 |4085 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 66.7s| 13600 | 3811 | 3580k| 263.3 | 45M | 63 |1642 |1694 |1082 | 205 | 0 |4118 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 67.3s| 13700 | 3795 | 3606k| 263.3 | 46M | 63 |1642 |1700 | 0 | 205 | 0 |4130 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 67.7s| 13800 | 3797 | 3628k| 263.0 | 46M | 63 |1642 |1729 |1082 | 205 | 0 |4170 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 68.1s| 13900 | 3799 | 3649k| 262.5 | 46M | 63 |1642 |1745 |1082 | 205 | 0 |4193 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 68.4s| 14000 | 3802 | 3668k| 262.0 | 46M | 63 |1642 |1749 | 0 | 205 | 0 |4205 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 68.7s| 14100 | 3791 | 3684k| 261.3 | 46M | 63 |1642 |1760 | 0 | 205 | 0 |4227 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 69.1s| 14200 | 3796 | 3705k| 261.0 | 46M | 63 |1642 |1773 |1082 | 205 | 0 |4269 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 69.5s| 14300 | 3815 | 3727k| 260.7 | 46M | 63 |1642 |1771 | 0 | 205 | 0 |4289 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 69.9s| 14400 | 3831 | 3751k| 260.6 | 46M | 63 |1642 |1737 | 0 | 205 | 0 |4289 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 70.6s| 14500 | 3820 | 3782k| 260.8 | 46M | 63 |1642 |1735 |1082 | 205 | 0 |4318 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 70.9s| 14600 | 3809 | 3799k| 260.3 | 46M | 63 |1642 |1736 | 0 | 205 | 0 |4340 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 71.2s| 14700 | 3821 | 3819k| 259.8 | 46M | 63 |1642 |1726 |1082 | 205 | 0 |4365 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 71.6s| 14800 | 3845 | 3838k| 259.4 | 46M | 63 |1642 |1698 |1082 | 205 | 0 |4367 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 72.0s| 14900 | 3867 | 3860k| 259.1 | 46M | 63 |1642 |1697 | 0 | 205 | 0 |4392 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
80.11/80.48 c 72.3s| 15000 | 3863 | 3877k| 258.5 | 46M | 63 |1642 |1716 |1082 | 205 | 0 |4423 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 72.6s| 15100 | 3855 | 3892k| 257.8 | 46M | 63 |1642 |1714 |1082 | 205 | 0 |4446 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 73.0s| 15200 | 3858 | 3911k| 257.4 | 46M | 63 |1642 |1735 | 0 | 205 | 0 |4488 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 73.3s| 15300 | 3875 | 3928k| 256.8 | 46M | 63 |1642 |1741 |1082 | 205 | 0 |4511 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 73.6s| 15400 | 3873 | 3944k| 256.1 | 47M | 63 |1642 |1747 | 0 | 205 | 0 |4536 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 73.8s| 15500 | 3866 | 3957k| 255.3 | 47M | 63 |1642 |1751 | 0 | 205 | 0 |4549 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 74.1s| 15600 | 3858 | 3970k| 254.5 | 47M | 63 |1642 |1774 |1082 | 205 | 0 |4588 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 74.4s| 15700 | 3862 | 3987k| 254.0 | 47M | 63 |1642 |1808 | 0 | 205 | 0 |4643 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 74.7s| 15800 | 3858 | 4002k| 253.3 | 47M | 63 |1642 |1823 |1082 | 205 | 0 |4679 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 74.9s| 15900 | 3844 | 4016k| 252.6 | 47M | 63 |1642 |1848 |1082 | 205 | 0 |4725 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 75.2s| 16000 | 3842 | 4029k| 251.9 | 47M | 63 |1642 |1870 | 0 | 205 | 0 |4766 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 75.5s| 16100 | 3830 | 4044k| 251.2 | 47M | 63 |1642 |1927 | 0 | 205 | 0 |4833 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 75.8s| 16200 | 3810 | 4056k| 250.4 | 47M | 63 |1642 |1956 |1082 | 205 | 0 |4879 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 76.0s| 16300 | 3783 | 4069k| 249.6 | 47M | 63 |1642 |1976 | 0 | 205 | 0 |4909 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 76.3s| 16400 | 3726 | 4084k| 249.1 | 47M | 63 |1642 |2015 |1081 | 205 | 0 |4963 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
80.11/80.48 c 76.9s| 16500 | 3787 | 4117k| 249.6 | 48M | 63 |1642 |2014 |1082 | 205 | 0 |4987 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 77.4s| 16600 | 3853 | 4150k| 250.0 | 48M | 63 |1642 |1984 | 0 | 205 | 0 |4987 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 77.9s| 16700 | 3926 | 4186k| 250.7 | 48M | 63 |1642 |1953 |1082 | 205 | 0 |4987 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 78.4s| 16800 | 3975 | 4216k| 251.0 | 48M | 63 |1642 |1923 | 0 | 205 | 0 |4993 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 78.8s| 16900 | 4033 | 4247k| 251.3 | 48M | 63 |1642 |1876 |1082 | 205 | 0 |4993 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 79.4s| 17000 | 4103 | 4281k| 251.9 | 48M | 63 |1642 |1856 |1082 | 205 | 0 |5003 | 0 | 0.000000e+00 | -- | Inf | 74.79%
80.11/80.48 c 79.9s| 17100 | 4165 | 4313k| 252.3 | 49M | 63 |1642 |1816 |1082 | 205 | 0 |5003 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 80.3s| 17200 | 4213 | 4342k| 252.5 | 49M | 63 |1642 |1792 |1082 | 205 | 0 |5008 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 80.7s| 17300 | 4247 | 4368k| 252.5 | 49M | 63 |1642 |1779 | 0 | 205 | 0 |5020 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 81.1s| 17400 | 4281 | 4395k| 252.6 | 49M | 63 |1642 |1763 | 0 | 205 | 0 |5023 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 81.5s| 17500 | 4310 | 4420k| 252.6 | 49M | 63 |1642 |1758 | 0 | 205 | 0 |5032 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 82.0s| 17600 | 4339 | 4447k| 252.7 | 50M | 63 |1642 |1768 |1082 | 205 | 0 |5054 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 82.4s| 17700 | 4365 | 4472k| 252.7 | 50M | 63 |1642 |1757 |1082 | 205 | 0 |5061 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 82.9s| 17800 | 4389 | 4501k| 252.9 | 51M | 63 |1642 |1756 |1082 | 205 | 0 |5079 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 83.3s| 17900 | 4429 | 4528k| 253.0 | 51M | 63 |1642 |1746 |1082 | 205 | 0 |5079 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
104.64/105.00 c 83.7s| 18000 | 4453 | 4553k| 253.0 | 51M | 63 |1642 |1730 |1082 | 205 | 0 |5079 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 84.1s| 18100 | 4489 | 4579k| 253.0 | 51M | 63 |1642 |1740 |1082 | 205 | 0 |5095 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 84.8s| 18200 | 4528 | 4612k| 253.4 | 52M | 63 |1642 |1738 |1082 | 205 | 0 |5105 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 85.2s| 18300 | 4554 | 4637k| 253.4 | 52M | 63 |1642 |1726 | 0 | 205 | 0 |5105 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 85.8s| 18400 | 4583 | 4673k| 254.0 | 52M | 63 |1642 |1735 |1082 | 205 | 0 |5116 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 86.2s| 18500 | 4616 | 4699k| 254.0 | 53M | 63 |1642 |1718 |1082 | 205 | 0 |5116 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 86.7s| 18600 | 4638 | 4725k| 254.1 | 53M | 63 |1642 |1736 | 0 | 205 | 0 |5143 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 87.1s| 18700 | 4659 | 4750k| 254.0 | 53M | 63 |1642 |1739 |1082 | 205 | 0 |5156 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 87.5s| 18800 | 4669 | 4776k| 254.1 | 53M | 63 |1642 |1738 | 0 | 205 | 0 |5171 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 87.9s| 18900 | 4689 | 4800k| 254.0 | 53M | 63 |1642 |1743 | 0 | 205 | 0 |5183 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 88.3s| 19000 | 4706 | 4826k| 254.0 | 53M | 63 |1642 |1748 |1082 | 205 | 0 |5197 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 88.7s| 19100 | 4725 | 4850k| 254.0 | 53M | 63 |1642 |1757 |1082 | 205 | 0 |5216 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 89.1s| 19200 | 4740 | 4873k| 253.8 | 53M | 63 |1642 |1754 | 0 | 205 | 0 |5220 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 89.6s| 19300 | 4767 | 4903k| 254.1 | 54M | 63 |1642 |1765 |1082 | 205 | 0 |5237 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 90.0s| 19400 | 4780 | 4926k| 253.9 | 54M | 63 |1642 |1761 |1082 | 205 | 0 |5246 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
104.64/105.00 c 90.6s| 19500 | 4797 | 4958k| 254.3 | 54M | 63 |1642 |1762 |1082 | 205 | 0 |5259 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 91.0s| 19600 | 4816 | 4982k| 254.2 | 54M | 63 |1642 |1768 |1082 | 205 | 0 |5280 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 91.4s| 19700 | 4840 | 5007k| 254.2 | 54M | 63 |1642 |1754 |1082 | 205 | 0 |5280 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 91.8s| 19800 | 4855 | 5029k| 254.0 | 54M | 63 |1642 |1753 | 0 | 205 | 0 |5284 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 92.1s| 19900 | 4879 | 5054k| 254.0 | 54M | 63 |1642 |1748 |1082 | 205 | 0 |5294 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 92.5s| 20000 | 4901 | 5077k| 253.9 | 54M | 63 |1642 |1745 | 0 | 205 | 0 |5304 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 93.0s| 20100 | 4938 | 5107k| 254.1 | 54M | 63 |1642 |1734 |1082 | 205 | 0 |5307 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 93.4s| 20200 | 4952 | 5131k| 254.0 | 54M | 63 |1642 |1746 | 0 | 205 | 0 |5328 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 93.8s| 20300 | 4964 | 5157k| 254.0 | 54M | 63 |1642 |1789 | 0 | 205 | 0 |5378 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 94.2s| 20400 | 4961 | 5179k| 253.9 | 54M | 63 |1642 |1807 |1082 | 205 | 0 |5412 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 94.8s| 20500 | 4967 | 5208k| 254.1 | 54M | 63 |1642 |1803 |1082 | 205 | 0 |5424 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 95.2s| 20600 | 4959 | 5228k| 253.8 | 55M | 63 |1642 |1826 |1082 | 205 | 0 |5457 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 95.5s| 20700 | 4952 | 5247k| 253.5 | 55M | 63 |1642 |1831 | 0 | 205 | 0 |5472 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 96.0s| 20800 | 4956 | 5273k| 253.5 | 55M | 63 |1642 |1835 | 0 | 205 | 0 |5498 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 96.5s| 20900 | 4959 | 5298k| 253.5 | 55M | 63 |1642 |1836 |1082 | 205 | 0 |5519 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
104.64/105.00 c 96.9s| 21000 | 4965 | 5323k| 253.5 | 55M | 63 |1642 |1825 |1082 | 205 | 0 |5530 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 97.3s| 21100 | 4972 | 5344k| 253.3 | 55M | 63 |1642 |1823 |1082 | 205 | 0 |5546 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 97.9s| 21200 | 4990 | 5375k| 253.6 | 55M | 63 |1642 |1827 |1082 | 205 | 0 |5566 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 98.5s| 21300 | 4993 | 5407k| 253.9 | 55M | 63 |1642 |1841 |1082 | 205 | 0 |5598 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 99.1s| 21400 | 5010 | 5437k| 254.1 | 55M | 63 |1642 |1837 | 0 | 205 | 0 |5614 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 99.5s| 21500 | 5024 | 5464k| 254.1 | 56M | 63 |1642 |1826 |1082 | 205 | 0 |5632 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 99.9s| 21600 | 5007 | 5486k| 254.0 | 56M | 63 |1642 |1836 | 0 | 205 | 0 |5661 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 100s| 21700 | 4993 | 5512k| 254.0 | 56M | 63 |1642 |1859 | 0 | 205 | 0 |5693 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 101s| 21800 | 4968 | 5543k| 254.3 | 57M | 63 |1642 |1868 |1158 | 405 | 0 |5718 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 102s| 21900 | 4944 | 5566k| 254.2 | 57M | 63 |1642 |1909 |1158 | 405 | 0 |5771 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 102s| 22000 | 4926 | 5589k| 254.1 | 57M | 63 |1642 |1936 | 0 | 405 | 0 |5816 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 103s| 22100 | 4930 | 5614k| 254.1 | 57M | 63 |1642 |1920 | 0 | 405 | 0 |5823 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 103s| 22200 | 4915 | 5637k| 253.9 | 57M | 63 |1642 |1912 | 0 | 505 | 0 |5857 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 104s| 22300 | 4909 | 5660k| 253.8 | 57M | 63 |1642 |1891 |1168 | 505 | 0 |5861 | 0 | 0.000000e+00 | -- | Inf | 74.79%
104.64/105.00 c 104s| 22400 | 4904 | 5681k| 253.6 | 57M | 63 |1642 |1887 |1168 | 505 | 0 |5878 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
134.25/134.77 c 105s| 22500 | 4905 | 5710k| 253.8 | 57M | 63 |1642 |1913 | 0 | 505 | 0 |5921 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 105s| 22600 | 4915 | 5739k| 254.0 | 57M | 63 |1642 |1933 | 0 | 505 | 0 |5954 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 106s| 22700 | 4913 | 5772k| 254.3 | 58M | 63 |1642 |1946 |1168 | 505 | 0 |5995 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 107s| 22800 | 4882 | 5809k| 254.8 | 58M | 63 |1642 |1971 | 0 | 505 | 0 |6036 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 107s| 22900 | 4855 | 5828k| 254.5 | 58M | 63 |1642 |1990 |1168 | 505 | 0 |6071 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 108s| 23000 | 4844 | 5860k| 254.8 | 58M | 63 |1642 |2017 |1168 | 505 | 0 |6119 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 109s| 23100 | 4831 | 5886k| 254.8 | 58M | 63 |1642 |2052 | 0 | 505 | 0 |6174 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 110s| 23200 | 4849 | 5930k| 255.6 | 58M | 63 |1642 |2062 | 0 | 505 | 0 |6194 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 110s| 23300 | 4841 | 5967k| 256.1 | 58M | 63 |1642 |2082 |1082 | 505 | 0 |6241 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 111s| 23400 | 4826 | 5988k| 255.9 | 58M | 63 |1642 |2090 |1082 | 505 | 0 |6285 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 111s| 23500 | 4832 | 6019k| 256.2 | 58M | 63 |1642 |2106 | 0 | 505 | 0 |6329 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 112s| 23600 | 4777 | 6033k| 255.7 | 58M | 63 |1642 |2150 | 0 | 505 | 0 |6412 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 112s| 23700 | 4738 | 6051k| 255.3 | 58M | 63 |1642 |2153 |1168 | 505 | 0 |6450 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 113s| 23800 | 4722 | 6072k| 255.1 | 58M | 63 |1642 |2180 |1168 | 505 | 0 |6500 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 113s| 23900 | 4687 | 6089k| 254.8 | 58M | 63 |1642 |2183 |1168 | 505 | 0 |6539 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
134.25/134.77 c 113s| 24000 | 4662 | 6110k| 254.6 | 58M | 63 |1642 |2202 | 0 | 505 | 0 |6594 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 114s| 24100 | 4634 | 6136k| 254.6 | 58M | 63 |1642 |2233 | 0 | 505 | 0 |6661 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 114s| 24200 | 4604 | 6154k| 254.3 | 58M | 63 |1642 |2273 |1168 | 505 | 0 |6726 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 115s| 24300 | 4606 | 6179k| 254.3 | 58M | 63 |1642 |2263 |1168 | 505 | 0 |6742 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 115s| 24400 | 4568 | 6193k| 253.8 | 58M | 63 |1642 |2292 | 0 | 505 | 0 |6808 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 116s| 24500 | 4558 | 6215k| 253.7 | 58M | 63 |1642 |2316 | 0 | 505 | 0 |6875 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 116s| 24600 | 4524 | 6229k| 253.3 | 58M | 63 |1642 |2325 |1168 | 505 | 0 |6911 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 116s| 24700 | 4523 | 6247k| 252.9 | 58M | 63 |1642 |2331 | 0 | 505 | 0 |6948 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 117s| 24800 | 4496 | 6266k| 252.7 | 58M | 63 |1642 |2375 |1168 | 505 | 0 |7028 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 117s| 24900 | 4498 | 6284k| 252.4 | 59M | 63 |1642 |2389 | 0 | 505 | 0 |7061 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 117s| 25000 | 4500 | 6301k| 252.1 | 59M | 63 |1642 |2443 |1168 | 505 | 0 |7129 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 118s| 25100 | 4490 | 6317k| 251.7 | 59M | 63 |1642 |2456 |1168 | 505 | 0 |7153 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 118s| 25200 | 4472 | 6340k| 251.6 | 59M | 63 |1642 |2479 |1168 | 505 | 0 |7195 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 119s| 25300 | 4464 | 6358k| 251.3 | 59M | 63 |1642 |2473 | 0 | 505 | 0 |7204 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 119s| 25400 | 4460 | 6377k| 251.1 | 59M | 63 |1642 |2487 | 0 | 505 | 0 |7253 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
134.25/134.77 c 119s| 25500 | 4441 | 6389k| 250.6 | 59M | 63 |1642 |2499 | 0 | 505 | 0 |7281 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 120s| 25600 | 4406 | 6401k| 250.1 | 59M | 63 |1642 |2522 |1168 | 505 | 0 |7325 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 120s| 25700 | 4372 | 6416k| 249.7 | 59M | 63 |1642 |2538 |1168 | 505 | 0 |7366 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 120s| 25800 | 4331 | 6430k| 249.2 | 59M | 63 |1642 |2685 | 0 | 505 | 0 |7524 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 121s| 25900 | 4263 | 6463k| 249.5 | 60M | 63 |1642 |2755 |1168 | 505 | 0 |7632 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 122s| 26000 | 4305 | 6519k| 250.7 | 60M | 63 |1642 |2724 |1168 | 505 | 0 |7645 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 123s| 26100 | 4335 | 6568k| 251.7 | 60M | 63 |1642 |2707 | 0 | 505 | 0 |7673 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 125s| 26200 | 4367 | 6621k| 252.7 | 60M | 63 |1642 |2707 |1168 | 505 | 0 |7713 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 125s| 26300 | 4395 | 6655k| 253.1 | 60M | 63 |1642 |2717 |1168 | 505 | 0 |7744 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 126s| 26400 | 4413 | 6696k| 253.7 | 60M | 63 |1642 |2707 | 0 | 505 | 0 |7769 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 127s| 26500 | 4432 | 6748k| 254.7 | 60M | 63 |1642 |2725 |1168 | 505 | 0 |7827 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 128s| 26600 | 4461 | 6780k| 254.9 | 60M | 63 |1642 |2727 |1168 | 505 | 0 |7855 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 128s| 26700 | 4487 | 6810k| 255.1 | 60M | 63 |1642 |2725 |1168 | 505 | 0 |7890 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 129s| 26800 | 4506 | 6847k| 255.5 | 60M | 63 |1642 |2683 |1168 | 505 | 0 |7915 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 130s| 26900 | 4512 | 6883k| 255.9 | 60M | 63 |1642 |2688 |1168 | 505 | 0 |7963 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
134.25/134.77 c 130s| 27000 | 4530 | 6914k| 256.1 | 60M | 63 |1642 |2686 | 0 | 505 | 0 |8001 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 131s| 27100 | 4547 | 6947k| 256.4 | 60M | 63 |1642 |2669 |1168 | 505 | 0 |8026 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 131s| 27200 | 4569 | 6981k| 256.7 | 60M | 63 |1642 |2665 |1168 | 505 | 0 |8042 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 132s| 27300 | 4588 | 7017k| 257.1 | 60M | 63 |1642 |2651 | 0 | 505 | 0 |8052 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 133s| 27400 | 4615 | 7046k| 257.2 | 60M | 63 |1642 |2633 | 0 | 505 | 0 |8065 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 133s| 27500 | 4640 | 7080k| 257.5 | 60M | 63 |1642 |2606 |1168 | 505 | 0 |8083 | 0 | 0.000000e+00 | -- | Inf | 74.79%
134.25/134.77 c 134s| 27600 | 4651 | 7109k| 257.6 | 60M | 63 |1642 |2573 |1168 | 505 | 0 |8102 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 135s| 27700 | 4681 | 7154k| 258.3 | 61M | 63 |1642 |2534 |1165 | 705 | 1 |8117 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 135s| 27800 | 4694 | 7189k| 258.6 | 61M | 63 |1642 |2513 |1182 | 805 | 0 |8132 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 136s| 27900 | 4698 | 7226k| 259.0 | 61M | 63 |1642 |2537 |1300 | 805 | 0 |8178 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 137s| 28000 | 4708 | 7272k| 259.7 | 61M | 63 |1642 |2563 |1300 | 805 | 0 |8221 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 138s| 28100 | 4726 | 7299k| 259.8 | 61M | 63 |1642 |2555 |1300 | 805 | 0 |8231 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 138s| 28200 | 4712 | 7325k| 259.8 | 61M | 63 |1642 |2560 |1300 | 805 | 0 |8250 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 139s| 28300 | 4712 | 7357k| 260.0 | 61M | 63 |1642 |2559 |1300 | 805 | 0 |8275 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 140s| 28400 | 4718 | 7388k| 260.2 | 63M | 63 |1642 |2561 |1455 | 905 | 0 |8301 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
176.95/177.53 c 140s| 28500 | 4722 | 7419k| 260.3 | 63M | 63 |1642 |2544 | 0 | 905 | 0 |8326 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 142s| 28600 | 4724 | 7460k| 260.9 | 63M | 63 |1642 |2524 |1455 | 905 | 0 |8338 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 142s| 28700 | 4725 | 7487k| 260.9 | 64M | 63 |1642 |2514 | 0 | 905 | 0 |8355 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 143s| 28800 | 4729 | 7522k| 261.2 | 64M | 63 |1642 |2482 |1455 | 905 | 0 |8362 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 144s| 28900 | 4744 | 7550k| 261.3 | 64M | 63 |1642 |2466 |1455 | 905 | 0 |8373 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 144s| 29000 | 4750 | 7582k| 261.5 | 64M | 63 |1642 |2447 | 0 | 905 | 0 |8411 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 145s| 29100 | 4761 | 7613k| 261.6 | 65M | 63 |1642 |2434 | 0 | 905 | 0 |8433 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 146s| 29200 | 4763 | 7649k| 262.0 | 65M | 63 |1642 |2412 |1455 | 905 | 0 |8472 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 146s| 29300 | 4785 | 7682k| 262.2 | 65M | 63 |1642 |2407 |1455 | 905 | 0 |8492 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 147s| 29400 | 4764 | 7710k| 262.3 | 65M | 63 |1642 |2421 | 0 | 905 | 0 |8525 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 148s| 29500 | 4754 | 7736k| 262.3 | 65M | 63 |1642 |2432 |1455 | 905 | 0 |8550 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 148s| 29600 | 4746 | 7756k| 262.0 | 65M | 63 |1642 |2416 | 0 | 905 | 0 |8550 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 149s| 29700 | 4742 | 7780k| 262.0 | 65M | 63 |1642 |2418 |1455 | 905 | 0 |8572 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 149s| 29800 | 4723 | 7798k| 261.7 | 65M | 63 |1642 |2400 | 0 | 905 | 0 |8574 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 150s| 29900 | 4722 | 7822k| 261.6 | 65M | 63 |1642 |2404 | 0 | 905 | 0 |8586 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
176.95/177.53 c 150s| 30000 | 4717 | 7852k| 261.8 | 65M | 63 |1642 |2384 |1455 | 905 | 0 |8590 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 151s| 30100 | 4732 | 7891k| 262.2 | 65M | 63 |1642 |2386 |1455 | 905 | 0 |8612 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 152s| 30200 | 4749 | 7921k| 262.3 | 65M | 63 |1642 |2382 |1455 | 905 | 0 |8628 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 153s| 30300 | 4747 | 7966k| 262.9 | 66M | 63 |1642 |2418 |1455 | 905 | 0 |8685 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 154s| 30400 | 4751 | 8004k| 263.3 | 66M | 63 |1642 |2446 |1455 | 905 | 0 |8723 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 155s| 30500 | 4741 | 8034k| 263.4 | 66M | 63 |1642 |2448 | 0 | 905 | 0 |8750 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 156s| 30600 | 4737 | 8068k| 263.7 | 66M | 63 |1642 |2447 |1455 | 905 | 0 |8777 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 156s| 30700 | 4736 | 8098k| 263.8 | 66M | 63 |1642 |2447 | 0 | 905 | 0 |8799 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 157s| 30800 | 4752 | 8129k| 263.9 | 66M | 63 |1642 |2459 | 0 | 905 | 0 |8822 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 158s| 30900 | 4746 | 8166k| 264.3 | 66M | 63 |1642 |2478 |1455 | 905 | 0 |8862 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 159s| 31000 | 4738 | 8199k| 264.5 | 66M | 63 |1642 |2509 |1455 | 905 | 0 |8918 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 159s| 31100 | 4723 | 8219k| 264.3 | 66M | 63 |1642 |2514 | 0 | 905 | 0 |8941 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 160s| 31200 | 4714 | 8246k| 264.3 | 67M | 63 |1642 |2527 | 0 | 905 | 0 |8959 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 160s| 31300 | 4704 | 8266k| 264.1 | 67M | 63 |1642 |2532 | 0 | 905 | 0 |8976 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 161s| 31400 | 4684 | 8292k| 264.1 | 67M | 63 |1642 |2519 |1455 | 905 | 0 |9012 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
176.95/177.53 c 163s| 31500 | 4660 | 8344k| 264.9 | 67M | 63 |1642 |2539 |1161 | 986 | 0 |9056 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 164s| 31600 | 4646 | 8375k| 265.0 | 68M | 63 |1642 |2550 |1321 |1382 | 0 |9100 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 164s| 31700 | 4632 | 8399k| 265.0 | 68M | 63 |1642 |2564 |1515 |1382 | 0 |9143 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 165s| 31800 | 4592 | 8428k| 265.0 | 68M | 63 |1642 |2544 | 0 |1382 | 0 |9164 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 166s| 31900 | 4575 | 8460k| 265.2 | 68M | 63 |1642 |2586 |1576 |1382 | 0 |9231 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 167s| 32000 | 4540 | 8497k| 265.6 | 68M | 63 |1642 |2641 | 0 |1382 | 0 |9316 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 168s| 32100 | 4461 | 8535k| 265.9 | 68M | 63 |1642 |2639 | 0 |1382 | 0 |9398 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 169s| 32200 | 4404 | 8576k| 266.4 | 68M | 63 |1642 |2645 | 0 |1382 | 0 |9461 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 170s| 32300 | 4318 | 8606k| 266.5 | 68M | 63 |1642 |2676 |1576 |1382 | 0 |9554 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 172s| 32400 | 4239 | 8656k| 267.2 | 69M | 63 |1642 |2737 | 0 |1460 | 0 |9679 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 173s| 32500 | 4109 | 8674k| 266.9 | 69M | 63 |1642 |2809 |1652 |1460 | 0 |9810 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 173s| 32600 | 3996 | 8683k| 266.4 | 69M | 63 |1642 |2916 | 0 |1460 | 0 |9990 | 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 175s| 32700 | 3901 | 8727k| 266.9 | 69M | 63 |1642 |3032 | 0 |1460 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 176s| 32800 | 3792 | 8760k| 267.1 | 69M | 63 |1642 |3183 | 0 |1460 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf | 74.79%
176.95/177.53 c 177s| 32900 | 3781 | 8797k| 267.4 | 70M | 63 |1642 |3289 |1266 |1673 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
274.69/275.52 c 177s| 33000 | 3775 | 8824k| 267.4 | 70M | 63 |1642 |3329 |1266 |1673 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 180s| 33100 | 3750 | 8890k| 268.6 | 70M | 63 |1642 |3375 | 0 |1673 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 181s| 33200 | 3732 | 8936k| 269.2 | 70M | 63 |1642 |3391 |1760 |1673 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 183s| 33300 | 3708 | 8981k| 269.7 | 71M | 63 |1642 |3391 | 0 |1673 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 185s| 33400 | 3696 | 9032k| 270.4 | 71M | 63 |1642 |3437 |1760 |1673 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 187s| 33500 | 3672 | 9088k| 271.3 | 71M | 63 |1642 |3499 | 0 |1673 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 188s| 33600 | 3599 | 9114k| 271.3 | 71M | 63 |1642 |3646 | 0 |1673 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 189s| 33700 | 3533 | 9162k| 271.9 | 71M | 63 |1642 |3746 |1136 |1729 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 190s| 33800 | 3528 | 9203k| 272.3 | 72M | 63 |1642 |3718 |1136 |1729 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 191s| 33900 | 3535 | 9231k| 272.3 | 72M | 63 |1642 |3684 |1136 |1729 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 191s| 34000 | 3537 | 9262k| 272.4 | 72M | 63 |1642 |3701 | 0 |1729 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 192s| 34100 | 3502 | 9292k| 272.5 | 72M | 63 |1642 |3652 | 0 |1831 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 193s| 34200 | 3493 | 9318k| 272.5 | 72M | 63 |1642 |3558 | 0 |1831 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 194s| 34300 | 3434 | 9355k| 272.8 | 72M | 63 |1642 |3406 | 0 |1831 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 195s| 34400 | 3382 | 9382k| 272.7 | 72M | 63 |1642 |3291 | 0 |1831 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
274.69/275.52 c 196s| 34500 | 3309 | 9415k| 272.9 | 72M | 63 |1642 |3273 |1167 |1831 | 1 | 11k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 197s| 34600 | 3251 | 9435k| 272.7 | 72M | 63 |1642 |3292 |1848 |1926 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 197s| 34700 | 3087 | 9455k| 272.5 | 72M | 63 |1642 |3356 | 0 |1926 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 198s| 34800 | 2987 | 9482k| 272.5 | 73M | 63 |1642 |3379 |1848 |1926 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 200s| 34900 | 2772 | 9518k| 272.7 | 73M | 63 |1642 |3479 | 0 |1981 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 201s| 35000 | 2596 | 9549k| 272.8 | 73M | 63 |1642 |3646 |1900 |1981 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 203s| 35100 | 2559 | 9606k| 273.7 | 73M | 63 |1642 |3768 |1947 |1981 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 204s| 35200 | 2552 | 9647k| 274.1 | 73M | 63 |1642 |3824 |1947 |1981 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 206s| 35300 | 2531 | 9699k| 274.8 | 74M | 63 |1642 |3854 | 0 |1981 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 208s| 35400 | 2470 | 9748k| 275.4 | 74M | 63 |1642 |3964 | 0 |1981 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 211s| 35500 | 2443 | 9822k| 276.7 | 74M | 63 |1642 |3958 |1947 |1981 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 216s| 35600 | 2402 | 9936k| 279.1 | 74M | 63 |1642 |3974 |1947 |1981 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 218s| 35700 | 2410 | 10012k| 280.5 | 74M | 63 |1642 |4013 |1947 |1981 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 220s| 35800 | 2358 | 10066k| 281.2 | 74M | 63 |1642 |4060 | 0 |1981 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 223s| 35900 | 2349 | 10147k| 282.7 | 74M | 63 |1642 |4106 |1947 |1981 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
274.69/275.52 c 224s| 36000 | 2311 | 10197k| 283.3 | 75M | 63 |1642 |4118 |1947 |1981 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 226s| 36100 | 2278 | 10255k| 284.1 | 75M | 63 |1642 |4118 |1947 |1981 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 228s| 36200 | 2240 | 10311k| 284.8 | 75M | 63 |1642 |4158 |1947 |1981 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 232s| 36300 | 2142 | 10400k| 286.5 | 75M | 63 |1642 |4223 | 0 |1981 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 235s| 36400 | 2069 | 10460k| 287.4 | 75M | 63 |1642 |4336 |1947 |1981 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 240s| 36500 | 2046 | 10542k| 288.8 | 76M | 63 |1642 |4369 | 0 |2056 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 240s| 36600 | 2050 | 10581k| 289.1 | 76M | 63 |1642 |4398 |1687 |2300 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 243s| 36700 | 1672 | 10646k| 290.1 | 76M | 63 |1642 |4302 | 0 |2300 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 244s| 36800 | 1661 | 10698k| 290.7 | 76M | 63 |1642 |4281 | 0 |2300 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 246s| 36900 | 1656 | 10750k| 291.4 | 76M | 63 |1642 |4283 |1875 |2409 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 248s| 37000 | 1604 | 10787k| 291.6 | 76M | 63 |1642 |4294 | 0 |2409 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 249s| 37100 | 1531 | 10825k| 291.8 | 77M | 63 |1642 |4362 | 0 |2409 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 253s| 37200 | 1411 | 10899k| 293.0 | 77M | 63 |1642 |4354 |1999 |2409 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 255s| 37300 | 1353 | 10956k| 293.8 | 77M | 63 |1642 |4389 | 0 |2409 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 257s| 37400 | 1267 | 11009k| 294.4 | 77M | 63 |1642 |4479 | 0 |2409 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
274.69/275.52 c 262s| 37500 | 1261 | 11097k| 295.9 | 77M | 63 |1642 |4541 | 0 |2409 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 263s| 37600 | 1195 | 11133k| 296.1 | 77M | 63 |1642 |4586 | 0 |2409 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 264s| 37700 | 937 | 11167k| 296.2 | 77M | 63 |1642 |4675 | 0 |2409 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 267s| 37800 | 649 | 11217k| 296.8 | 77M | 63 |1642 |4697 | 0 |2409 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 269s| 37900 | 561 | 11272k| 297.4 | 78M | 63 |1642 |4713 |2039 |2409 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 271s| 38000 | 515 | 11324k| 298.0 | 78M | 63 |1642 |4795 |2040 |2409 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf | 74.79%
274.69/275.52 c 273s| 38100 | 308 | 11366k| 298.3 | 78M | 63 |1642 |4854 |2071 |2409 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf | 74.79%
314.40/315.35 c 275s| 38200 | 171 | 11428k| 299.2 | 78M | 63 |1642 |4894 | 0 |2409 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf | 74.79%
314.40/315.35 c 313s| 38300 | 125 | 11860k| 309.7 | 78M | 63 |1642 |4872 |2071 |2471 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf | 74.79%
314.40/315.35 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
314.40/315.35 c (run 1, node 38340) performing user restart
314.40/315.35 c
314.40/315.35 c (restart) converted 329 cuts from the global cut pool into linear constraints
314.40/315.35 c
314.40/315.35 c presolving:
314.40/315.35 c (round 1, fast) 1 del vars, 889 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2470 clqs
314.40/315.35 c (round 2, exhaustive) 2 del vars, 890 del conss, 1 add conss, 0 chg bounds, 1 chg sides, 2 chg coeffs, 329 upgd conss, 0 impls, 2438 clqs
314.40/315.35 c (round 3, fast) 2 del vars, 897 del conss, 1 add conss, 0 chg bounds, 1 chg sides, 2 chg coeffs, 329 upgd conss, 0 impls, 2438 clqs
314.40/315.35 c (round 4, exhaustive) 2 del vars, 900 del conss, 2 add conss, 0 chg bounds, 1 chg sides, 2 chg coeffs, 329 upgd conss, 0 impls, 2438 clqs
314.40/315.35 c (round 5, exhaustive) 2 del vars, 1639 del conss, 2 add conss, 0 chg bounds, 1 chg sides, 2160 chg coeffs, 329 upgd conss, 0 impls, 2438 clqs
314.40/315.35 c (round 6, exhaustive) 2 del vars, 1699 del conss, 2 add conss, 0 chg bounds, 1 chg sides, 2168 chg coeffs, 329 upgd conss, 0 impls, 2438 clqs
314.40/315.35 c presolving (7 rounds: 7 fast, 5 medium, 5 exhaustive):
314.40/315.35 c 2 deleted vars, 1699 deleted constraints, 2 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 2172 changed coefficients
314.40/315.35 c 0 implications, 2438 cliques
314.40/315.35 c presolved problem has 1640 variables (1640 bin, 0 int, 0 impl, 0 cont) and 3455 constraints
314.40/315.35 c 22 constraints of type <knapsack>
314.40/315.35 c 290 constraints of type <setppc>
314.40/315.35 c 111 constraints of type <and>
314.40/315.35 c 775 constraints of type <linear>
314.40/315.35 c 2257 constraints of type <logicor>
314.40/315.35 c transformed objective value is always integral (scale: 1)
314.40/315.35 c Presolving Time: 0.40
314.40/315.35 c
314.40/315.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
314.40/315.35 c 315s| 1 | 0 | 11888k| - | 85M | 0 |1640 |3457 |1310 | 0 | 0 | 17k| 0 | cutoff | -- | 0.00%| unknown
314.40/315.35 c 315s| 1 | 0 | 11888k| - | 85M | 0 |1640 |3457 |1310 | 0 | 0 | 17k| 0 | cutoff | -- | 0.00%| unknown
314.40/315.35 c
314.40/315.35 c SCIP Status : problem is solved [infeasible]
314.40/315.35 c Solving Time (sec) : 315.19
314.40/315.35 c Solving Nodes : 1 (total of 38341 nodes in 2 runs)
314.40/315.35 c Primal Bound : +1.00000000000000e+20 (0 solutions)
314.40/315.35 c Dual Bound : +1.00000000000000e+20
314.40/315.35 c Gap : 0.00 %
314.40/315.35 c SCIP found the problem to be infeasible.
314.40/315.35 s UNSATISFIABLE
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (32040 MiB free)
memory of node 1: 64465 MiB (59477 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530034-1752261616/watcher-4530034-1752261616 -o /tmp/evaluation-result-4530034-1752261616/solver-4530034-1752261616 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1752256628-132453 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530034-1752261616.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=133942, runsolver pid=133939
[startup+0.100067 s]*
/proc/loadavg: 4.12 4.15 4.11 5/270 133947
/proc/meminfo: memFree=93705216/131250000 swapFree=33010160/33010684
[pid=133942] ppid=133939 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/133942/stat : 133942 (scip-naps-1.00a) S 133939 133942 132442 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 141839197 4292608 736 18446744073709551615 94469926744064 94469927638597 140724825332560 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94469927877648 94469927925392 94469935628288 140724825336219 140724825336318 140724825336318 140724825341922 0
/proc/133942/statm: 1048 736 672 219 0 110 0
[pid=133947] ppid=133942 vsize=1186968 memory=31924 CPUtime=0.06 cores=4,6
/proc/133947/stat : 133947 (python3) R 133942 133942 132442 0 -1 4194304 3728 0 0 0 5 1 0 0 20 0 1 0 141839199 1215455232 7981 18446744073709551615 94089842688000 94089842688377 140723728304576 0 0 0 0 16781312 2 0 0 0 17 6 0 0 0 0 0 94089842699672 94089842700292 94089869869056 140723728308559 140723728308768 140723728308768 140723728314343 0
/proc/133947/statm: 296742 7981 4885 1 0 268764 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1191160 KiB
Current children cumulated memory: 34868 KiB
[startup+0.205881 s]*
/proc/loadavg: 4.12 4.15 4.11 5/270 133947
/proc/meminfo: memFree=93681024/131250000 swapFree=33010160/33010684
[pid=133942] ppid=133939 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/133942/stat : 133942 (scip-naps-1.00a) S 133939 133942 132442 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 141839197 4292608 736 18446744073709551615 94469926744064 94469927638597 140724825332560 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94469927877648 94469927925392 94469935628288 140724825336219 140724825336318 140724825336318 140724825341922 0
/proc/133942/statm: 1048 736 672 219 0 110 0
[pid=133947] ppid=133942 vsize=1212984 memory=65588 CPUtime=0.16 cores=4,6
/proc/133947/stat : 133947 (python3) R 133942 133942 132442 0 -1 4194304 9320 0 0 0 14 2 0 0 20 0 1 0 141839199 1242095616 16397 18446744073709551615 94089842688000 94089842688377 140723728304576 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94089842699672 94089842700292 94089869869056 140723728308559 140723728308768 140723728308768 140723728314343 0
/proc/133947/statm: 303246 16397 7957 1 0 274604 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1217176 KiB
Current children cumulated memory: 68532 KiB
[startup+0.305769 s]*
/proc/loadavg: 4.12 4.15 4.11 5/270 133947
/proc/meminfo: memFree=93681024/131250000 swapFree=33010160/33010684
[pid=133942] ppid=133939 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/133942/stat : 133942 (scip-naps-1.00a) S 133939 133942 132442 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 141839197 4292608 736 18446744073709551615 94469926744064 94469927638597 140724825332560 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94469927877648 94469927925392 94469935628288 140724825336219 140724825336318 140724825336318 140724825341922 0
/proc/133942/statm: 1048 736 672 219 0 110 0
[pid=133947] ppid=133942 vsize=1213948 memory=66612 CPUtime=0.26 cores=4,6
/proc/133947/stat : 133947 (python3) R 133942 133942 132442 0 -1 4194304 9591 0 0 0 24 2 0 0 20 0 1 0 141839199 1243082752 16653 18446744073709551615 94089842688000 94089842688377 140723728304576 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94089842699672 94089842700292 94089869869056 140723728308559 140723728308768 140723728308768 140723728314343 0
/proc/133947/statm: 303487 16653 7957 1 0 274845 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1218140 KiB
Current children cumulated memory: 69556 KiB
[startup+0.700216 s]
/proc/loadavg: 4.12 4.15 4.11 5/270 133947
/proc/meminfo: memFree=93681024/131250000 swapFree=33010160/33010684
[pid=133942] ppid=133939 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/133942/stat : 133942 (scip-naps-1.00a) S 133939 133942 132442 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 141839197 4292608 736 18446744073709551615 94469926744064 94469927638597 140724825332560 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94469927877648 94469927925392 94469935628288 140724825336219 140724825336318 140724825336318 140724825341922 0
/proc/133942/statm: 1048 736 672 219 0 110 0
[pid=133947] ppid=133942 vsize=1221372 memory=72372 CPUtime=0.65 cores=4,6
/proc/133947/stat : 133947 (python3) R 133942 133942 132442 0 -1 4194304 10751 0 0 0 63 2 0 0 20 0 1 0 141839199 1250684928 18093 18446744073709551615 94089842688000 94089842688377 140723728304576 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94089842699672 94089842700292 94089869869056 140723728308559 140723728308768 140723728308768 140723728314343 0
/proc/133947/statm: 305343 18093 8245 1 0 276701 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1225564 KiB
Current children cumulated memory: 75316 KiB
[startup+1.50021 s]
/proc/loadavg: 4.12 4.15 4.11 5/270 133947
/proc/meminfo: memFree=93681276/131250000 swapFree=33010160/33010684
[pid=133942] ppid=133939 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/133942/stat : 133942 (scip-naps-1.00a) S 133939 133942 132442 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 141839197 4292608 736 18446744073709551615 94469926744064 94469927638597 140724825332560 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94469927877648 94469927925392 94469935628288 140724825336219 140724825336318 140724825336318 140724825341922 0
/proc/133942/statm: 1048 736 672 219 0 110 0
[pid=133947] ppid=133942 vsize=1221536 memory=72372 CPUtime=1.45 cores=4,6
/proc/133947/stat : 133947 (python3) R 133942 133942 132442 0 -1 4194304 10767 0 0 0 143 2 0 0 20 0 1 0 141839199 1250852864 18093 18446744073709551615 94089842688000 94089842688377 140723728304576 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94089842699672 94089842700292 94089869869056 140723728308559 140723728308768 140723728308768 140723728314343 0
/proc/133947/statm: 305384 18093 8245 1 0 276742 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1225728 KiB
Current children cumulated memory: 75316 KiB
[startup+3.10578 s]
/proc/loadavg: 4.11 4.15 4.11 5/270 133947
/proc/meminfo: memFree=93609188/131250000 swapFree=33010160/33010684
[pid=133942] ppid=133939 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/133942/stat : 133942 (scip-naps-1.00a) S 133939 133942 132442 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 141839197 4292608 736 18446744073709551615 94469926744064 94469927638597 140724825332560 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94469927877648 94469927925392 94469935628288 140724825336219 140724825336318 140724825336318 140724825341922 0
/proc/133942/statm: 1048 736 672 219 0 110 0
[pid=133947] ppid=133942 vsize=1221676 memory=72756 CPUtime=3.05 cores=4,6
/proc/133947/stat : 133947 (python3) R 133942 133942 132442 0 -1 4194304 10817 0 0 0 303 2 0 0 20 0 1 0 141839199 1250996224 18189 18446744073709551615 94089842688000 94089842688377 140723728304576 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94089842699672 94089842700292 94089869869056 140723728308559 140723728308768 140723728308768 140723728314343 0
/proc/133947/statm: 305419 18189 8277 1 0 276777 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1225868 KiB
Current children cumulated memory: 75700 KiB
[startup+6.30021 s]
/proc/loadavg: 4.11 4.15 4.11 5/270 133947
/proc/meminfo: memFree=93487416/131250000 swapFree=33010160/33010684
[pid=133942] ppid=133939 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/133942/stat : 133942 (scip-naps-1.00a) S 133939 133942 132442 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 141839197 4292608 736 18446744073709551615 94469926744064 94469927638597 140724825332560 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94469927877648 94469927925392 94469935628288 140724825336219 140724825336318 140724825336318 140724825341922 0
/proc/133942/statm: 1048 736 672 219 0 110 0
[pid=133947] ppid=133942 vsize=1222972 memory=73908 CPUtime=6.24 cores=4,6
/proc/133947/stat : 133947 (python3) R 133942 133942 132442 0 -1 4194304 11131 0 0 0 621 3 0 0 20 0 1 0 141839199 1252323328 18477 18446744073709551615 94089842688000 94089842688377 140723728304576 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94089842699672 94089842700292 94089869869056 140723728308559 140723728308768 140723728308768 140723728314343 0
/proc/133947/statm: 305743 18477 8277 1 0 277101 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1227164 KiB
Current children cumulated memory: 76852 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.16 4.12 5/270 133947
/proc/meminfo: memFree=91252144/131250000 swapFree=33010160/33010684
[pid=133942] ppid=133939 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/133942/stat : 133942 (scip-naps-1.00a) S 133939 133942 132442 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 141839197 4292608 736 18446744073709551615 94469926744064 94469927638597 140724825332560 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94469927877648 94469927925392 94469935628288 140724825336219 140724825336318 140724825336318 140724825341922 0
/proc/133942/statm: 1048 736 672 219 0 110 0
[pid=133947] ppid=133942 vsize=1224800 memory=75828 CPUtime=12.62 cores=4,6
/proc/133947/stat : 133947 (python3) R 133942 133942 132442 0 -1 4194304 11601 0 0 0 1259 3 0 0 20 0 1 0 141839199 1254195200 18957 18446744073709551615 94089842688000 94089842688377 140723728304576 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94089842699672 94089842700292 94089869869056 140723728308559 140723728308768 140723728308768 140723728314343 0
/proc/133947/statm: 306200 18957 8277 1 0 277558 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1228992 KiB
Current children cumulated memory: 78772 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.16 4.12 5/270 133948
/proc/meminfo: memFree=91992840/131250000 swapFree=33010160/33010684
[pid=133942] ppid=133939 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/133942/stat : 133942 (scip-naps-1.00a) S 133939 133942 132442 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 141839197 4292608 736 18446744073709551615 94469926744064 94469927638597 140724825332560 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94469927877648 94469927925392 94469935628288 140724825336219 140724825336318 140724825336318 140724825341922 0
/proc/133942/statm: 1048 736 672 219 0 110 0
[pid=133947] ppid=133942 vsize=1232652 memory=83764 CPUtime=25.38 cores=4,6
/proc/133947/stat : 133947 (python3) R 133942 133942 132442 0 -1 4194304 13587 0 0 0 2534 4 0 0 20 0 1 0 141839199 1262235648 20941 18446744073709551615 94089842688000 94089842688377 140723728304576 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94089842699672 94089842700292 94089869869056 140723728308559 140723728308768 140723728308768 140723728314343 0
/proc/133947/statm: 308163 20941 8277 1 0 279521 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1236844 KiB
Current children cumulated memory: 86708 KiB
[startup+51.1057 s]
/proc/loadavg: 4.09 4.14 4.11 5/269 133948
/proc/meminfo: memFree=92081784/131250000 swapFree=33010160/33010684
[pid=133942] ppid=133939 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/133942/stat : 133942 (scip-naps-1.00a) S 133939 133942 132442 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 141839197 4292608 736 18446744073709551615 94469926744064 94469927638597 140724825332560 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94469927877648 94469927925392 94469935628288 140724825336219 140724825336318 140724825336318 140724825341922 0
/proc/133942/statm: 1048 736 672 219 0 110 0
[pid=133947] ppid=133942 vsize=1239756 memory=90804 CPUtime=50.91 cores=4,6
/proc/133947/stat : 133947 (python3) R 133942 133942 132442 0 -1 4194304 15352 0 0 0 5087 4 0 0 20 0 1 0 141839199 1269510144 22701 18446744073709551615 94089842688000 94089842688377 140723728304576 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94089842699672 94089842700292 94089869869056 140723728308559 140723728308768 140723728308768 140723728314343 0
/proc/133947/statm: 309939 22701 8277 1 0 281297 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1243948 KiB
Current children cumulated memory: 93748 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/271 133956
/proc/meminfo: memFree=92068892/131250000 swapFree=33010160/33010684
[pid=133942] ppid=133939 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/133942/stat : 133942 (scip-naps-1.00a) S 133939 133942 132442 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 141839197 4292608 736 18446744073709551615 94469926744064 94469927638597 140724825332560 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94469927877648 94469927925392 94469935628288 140724825336219 140724825336318 140724825336318 140724825341922 0
/proc/133942/statm: 1048 736 672 219 0 110 0
[pid=133947] ppid=133942 vsize=1257700 memory=108340 CPUtime=101.94 cores=4,6
/proc/133947/stat : 133947 (python3) R 133942 133942 132442 0 -1 4194304 19734 0 0 0 10188 6 0 0 20 0 1 0 141839199 1287884800 27085 18446744073709551615 94089842688000 94089842688377 140723728304576 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94089842699672 94089842700292 94089869869056 140723728308559 140723728308768 140723728308768 140723728314343 0
/proc/133947/statm: 314425 27085 8277 1 0 285783 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1261892 KiB
Current children cumulated memory: 111284 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/272 133959
/proc/meminfo: memFree=88260892/131250000 swapFree=33010160/33010684
[pid=133942] ppid=133939 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/133942/stat : 133942 (scip-naps-1.00a) S 133939 133942 132442 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 141839197 4292608 736 18446744073709551615 94469926744064 94469927638597 140724825332560 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94469927877648 94469927925392 94469935628288 140724825336219 140724825336318 140724825336318 140724825341922 0
/proc/133942/statm: 1048 736 672 219 0 110 0
[pid=133947] ppid=133942 vsize=1267112 memory=117812 CPUtime=161.78 cores=4,6
/proc/133947/stat : 133947 (python3) R 133942 133942 132442 0 -1 4194304 22109 0 0 0 16171 7 0 0 20 0 1 0 141839199 1297522688 29453 18446744073709551615 94089842688000 94089842688377 140723728304576 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94089842699672 94089842700292 94089869869056 140723728308559 140723728308768 140723728308768 140723728314343 0
/proc/133947/statm: 316778 29453 8277 1 0 288136 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1271304 KiB
Current children cumulated memory: 120756 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/272 133961
/proc/meminfo: memFree=86823552/131250000 swapFree=33010160/33010684
[pid=133942] ppid=133939 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/133942/stat : 133942 (scip-naps-1.00a) S 133939 133942 132442 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 141839197 4292608 736 18446744073709551615 94469926744064 94469927638597 140724825332560 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94469927877648 94469927925392 94469935628288 140724825336219 140724825336318 140724825336318 140724825341922 0
/proc/133942/statm: 1048 736 672 219 0 110 0
[pid=133947] ppid=133942 vsize=1275736 memory=126004 CPUtime=221.63 cores=4,6
/proc/133947/stat : 133947 (python3) R 133942 133942 132442 0 -1 4194304 24169 0 0 0 22155 8 0 0 20 0 1 0 141839199 1306353664 31501 18446744073709551615 94089842688000 94089842688377 140723728304576 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94089842699672 94089842700292 94089869869056 140723728308559 140723728308768 140723728308768 140723728314343 0
/proc/133947/statm: 318934 31501 8277 1 0 290292 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 1279928 KiB
Current children cumulated memory: 128948 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.14 4.11 5/271 134012
/proc/meminfo: memFree=116067380/131250000 swapFree=33010160/33010684
[pid=133942] ppid=133939 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/133942/stat : 133942 (scip-naps-1.00a) S 133939 133942 132442 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 141839197 4292608 736 18446744073709551615 94469926744064 94469927638597 140724825332560 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94469927877648 94469927925392 94469935628288 140724825336219 140724825336318 140724825336318 140724825341922 0
/proc/133942/statm: 1048 736 672 219 0 110 0
[pid=133947] ppid=133942 vsize=1279616 memory=129972 CPUtime=281.47 cores=4,6
/proc/133947/stat : 133947 (python3) R 133942 133942 132442 0 -1 4194304 25185 0 0 0 28137 10 0 0 20 0 1 0 141839199 1310326784 32493 18446744073709551615 94089842688000 94089842688377 140723728304576 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94089842699672 94089842700292 94089869869056 140723728308559 140723728308768 140723728308768 140723728314343 0
/proc/133947/statm: 319904 32493 8277 1 0 291262 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 1283808 KiB
Current children cumulated memory: 132916 KiB
[startup+315.389 s]
# the end of solver process 133942 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=314.372 s, system=0.123833 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+294.4 s]
/proc/loadavg: 4.12 4.14 4.10 5/271 134013
/proc/meminfo: memFree=116067216/131250000 swapFree=33010160/33010684
[pid=133942] ppid=133939 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/133942/stat : 133942 (scip-naps-1.00a) S 133939 133942 132442 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 141839197 4292608 736 18446744073709551615 94469926744064 94469927638597 140724825332560 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94469927877648 94469927925392 94469935628288 140724825336219 140724825336318 140724825336318 140724825341922 0
/proc/133942/statm: 1048 736 672 219 0 110 0
[pid=133947] ppid=133942 vsize=1279752 memory=129972 CPUtime=293.54 cores=4,6
/proc/133947/stat : 133947 (python3) R 133942 133942 132442 0 -1 4194304 25188 0 0 0 29344 10 0 0 20 0 1 0 141839199 1310466048 32493 18446744073709551615 94089842688000 94089842688377 140723728304576 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94089842699672 94089842700292 94089869869056 140723728308559 140723728308768 140723728308768 140723728314343 0
/proc/133947/statm: 319938 32493 8277 1 0 291296 0
Current children cumulated CPU time: 293.54 s
Current children cumulated vsize: 1283944 KiB
Current children cumulated memory: 132916 KiB
[startup+307.2 s]
/proc/loadavg: 4.09 4.13 4.10 5/271 134013
/proc/meminfo: memFree=116043092/131250000 swapFree=33010160/33010684
[pid=133942] ppid=133939 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/133942/stat : 133942 (scip-naps-1.00a) S 133939 133942 132442 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 141839197 4292608 736 18446744073709551615 94469926744064 94469927638597 140724825332560 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94469927877648 94469927925392 94469935628288 140724825336219 140724825336318 140724825336318 140724825341922 0
/proc/133942/statm: 1048 736 672 219 0 110 0
[pid=133947] ppid=133942 vsize=1300536 memory=149408 CPUtime=306.31 cores=4,6
/proc/133947/stat : 133947 (python3) R 133942 133942 132442 0 -1 4194304 31067 0 0 0 30620 11 0 0 20 0 1 0 141839199 1331748864 37352 18446744073709551615 94089842688000 94089842688377 140723728304576 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94089842699672 94089842700292 94089869869056 140723728308559 140723728308768 140723728308768 140723728314343 0
/proc/133947/statm: 325134 37352 8277 1 0 296492 0
Current children cumulated CPU time: 306.31 s
Current children cumulated vsize: 1304728 KiB
Current children cumulated memory: 152352 KiB
[startup+310.4 s]
/proc/loadavg: 4.09 4.13 4.10 5/271 134013
/proc/meminfo: memFree=116043116/131250000 swapFree=33010160/33010684
[pid=133942] ppid=133939 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/133942/stat : 133942 (scip-naps-1.00a) S 133939 133942 132442 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 141839197 4292608 736 18446744073709551615 94469926744064 94469927638597 140724825332560 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94469927877648 94469927925392 94469935628288 140724825336219 140724825336318 140724825336318 140724825341922 0
/proc/133942/statm: 1048 736 672 219 0 110 0
[pid=133947] ppid=133942 vsize=1300536 memory=149408 CPUtime=309.51 cores=4,6
/proc/133947/stat : 133947 (python3) R 133942 133942 132442 0 -1 4194304 31067 0 0 0 30940 11 0 0 20 0 1 0 141839199 1331748864 37352 18446744073709551615 94089842688000 94089842688377 140723728304576 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94089842699672 94089842700292 94089869869056 140723728308559 140723728308768 140723728308768 140723728314343 0
/proc/133947/statm: 325134 37352 8277 1 0 296492 0
Current children cumulated CPU time: 309.51 s
Current children cumulated vsize: 1304728 KiB
Current children cumulated memory: 152352 KiB
[startup+313.6 s]
/proc/loadavg: 4.08 4.13 4.10 5/271 134013
/proc/meminfo: memFree=116043124/131250000 swapFree=33010160/33010684
[pid=133942] ppid=133939 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/133942/stat : 133942 (scip-naps-1.00a) S 133939 133942 132442 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 141839197 4292608 736 18446744073709551615 94469926744064 94469927638597 140724825332560 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94469927877648 94469927925392 94469935628288 140724825336219 140724825336318 140724825336318 140724825341922 0
/proc/133942/statm: 1048 736 672 219 0 110 0
[pid=133947] ppid=133942 vsize=1300536 memory=149408 CPUtime=312.7 cores=4,6
/proc/133947/stat : 133947 (python3) R 133942 133942 132442 0 -1 4194304 31067 0 0 0 31259 11 0 0 20 0 1 0 141839199 1331748864 37352 18446744073709551615 94089842688000 94089842688377 140723728304576 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94089842699672 94089842700292 94089869869056 140723728308559 140723728308768 140723728308768 140723728314343 0
/proc/133947/statm: 325134 37352 8277 1 0 296492 0
Current children cumulated CPU time: 312.7 s
Current children cumulated vsize: 1304728 KiB
Current children cumulated memory: 152352 KiB
[startup+314.4 s]
/proc/loadavg: 4.08 4.13 4.10 5/271 134013
/proc/meminfo: memFree=116043124/131250000 swapFree=33010160/33010684
[pid=133942] ppid=133939 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/133942/stat : 133942 (scip-naps-1.00a) S 133939 133942 132442 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 141839197 4292608 736 18446744073709551615 94469926744064 94469927638597 140724825332560 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94469927877648 94469927925392 94469935628288 140724825336219 140724825336318 140724825336318 140724825341922 0
/proc/133942/statm: 1048 736 672 219 0 110 0
[pid=133947] ppid=133942 vsize=1300536 memory=149408 CPUtime=313.5 cores=4,6
/proc/133947/stat : 133947 (python3) R 133942 133942 132442 0 -1 4194304 31067 0 0 0 31339 11 0 0 20 0 1 0 141839199 1331748864 37352 18446744073709551615 94089842688000 94089842688377 140723728304576 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94089842699672 94089842700292 94089869869056 140723728308559 140723728308768 140723728308768 140723728314343 0
/proc/133947/statm: 325134 37352 8277 1 0 296492 0
Current children cumulated CPU time: 313.5 s
Current children cumulated vsize: 1304728 KiB
Current children cumulated memory: 152352 KiB
[startup+314.8 s]
/proc/loadavg: 4.08 4.13 4.10 5/271 134013
/proc/meminfo: memFree=116043124/131250000 swapFree=33010160/33010684
[pid=133942] ppid=133939 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/133942/stat : 133942 (scip-naps-1.00a) S 133939 133942 132442 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 141839197 4292608 736 18446744073709551615 94469926744064 94469927638597 140724825332560 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94469927877648 94469927925392 94469935628288 140724825336219 140724825336318 140724825336318 140724825341922 0
/proc/133942/statm: 1048 736 672 219 0 110 0
[pid=133947] ppid=133942 vsize=1300536 memory=149408 CPUtime=313.9 cores=4,6
/proc/133947/stat : 133947 (python3) R 133942 133942 132442 0 -1 4194304 31067 0 0 0 31379 11 0 0 20 0 1 0 141839199 1331748864 37352 18446744073709551615 94089842688000 94089842688377 140723728304576 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94089842699672 94089842700292 94089869869056 140723728308559 140723728308768 140723728308768 140723728314343 0
/proc/133947/statm: 325134 37352 8277 1 0 296492 0
Current children cumulated CPU time: 313.9 s
Current children cumulated vsize: 1304728 KiB
Current children cumulated memory: 152352 KiB
[startup+315.2 s]
/proc/loadavg: 4.08 4.13 4.10 5/271 134013
/proc/meminfo: memFree=116043124/131250000 swapFree=33010160/33010684
[pid=133942] ppid=133939 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/133942/stat : 133942 (scip-naps-1.00a) S 133939 133942 132442 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 141839197 4292608 736 18446744073709551615 94469926744064 94469927638597 140724825332560 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94469927877648 94469927925392 94469935628288 140724825336219 140724825336318 140724825336318 140724825341922 0
/proc/133942/statm: 1048 736 672 219 0 110 0
[pid=133947] ppid=133942 vsize=1300536 memory=149536 CPUtime=314.3 cores=4,6
/proc/133947/stat : 133947 (python3) R 133942 133942 132442 0 -1 4194304 31106 0 0 0 31419 11 0 0 20 0 1 0 141839199 1331748864 37384 18446744073709551615 94089842688000 94089842688377 140723728304576 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94089842699672 94089842700292 94089869869056 140723728308559 140723728308768 140723728308768 140723728314343 0
/proc/133947/statm: 325134 37384 8277 1 0 296492 0
Current children cumulated CPU time: 314.3 s
Current children cumulated vsize: 1304728 KiB
Current children cumulated memory: 152480 KiB
[startup+315.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/271 134013
/proc/meminfo: memFree=116043124/131250000 swapFree=33010160/33010684
[pid=133942] ppid=133939 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/133942/stat : 133942 (scip-naps-1.00a) S 133939 133942 132442 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 141839197 4292608 736 18446744073709551615 94469926744064 94469927638597 140724825332560 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94469927877648 94469927925392 94469935628288 140724825336219 140724825336318 140724825336318 140724825341922 0
/proc/133942/statm: 1048 736 672 219 0 110 0
[pid=133947] ppid=133942 vsize=1300536 memory=149536 CPUtime=314.4 cores=4,6
/proc/133947/stat : 133947 (python3) R 133942 133942 132442 0 -1 4194304 31106 0 0 0 31429 11 0 0 20 0 1 0 141839199 1331748864 37384 18446744073709551615 94089842688000 94089842688377 140723728304576 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94089842699672 94089842700292 94089869869056 140723728308559 140723728308768 140723728308768 140723728314343 0
/proc/133947/statm: 325134 37384 8277 1 0 296492 0
Current children cumulated CPU time: 314.4 s
Current children cumulated vsize: 1304728 KiB
Current children cumulated memory: 152480 KiB
Child status: 0
Real time (s): 315.389
CPU time (s): 314.495
CPU user time (s): 314.372
CPU system time (s): 0.123833
CPU usage (%): 99.7167
Max. virtual memory (cumulated for all children) (KiB): 1309164
Max. memory (cumulated for all children) (KiB): 156340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 314.372
system time used= 0.123833
maximum resident set size= 153524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31743
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 334
involuntary context switches= 471
# summary of solver processes directly reported to runsolver:
# pid: 133942
# total CPU time (s): 314.495
# total CPU user time (s): 314.372
# total CPU system time (s): 0.123833
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.602206 second user time and 1.50838 second system time
The end