15.94/16.12 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4517015-1751232108.opb
15.94/16.12 c Solving mode: decision
15.94/16.12 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
15.94/16.12 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
15.94/16.12 c original problem has 2793 variables (2793 bin, 0 int, 0 impl, 0 cont) and 3760 constraints
15.94/16.12 c presolving:
15.94/16.12 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.94/16.12 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.94/16.12 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.94/16.12 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.94/16.12 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.94/16.12 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.94/16.12 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.94/16.12 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.94/16.12 c (0.3s) probing: 1000/1714 (58.3%) - 8 fixings, 0 aggregations, 1590 implications, 0 bound changes
15.94/16.12 c (0.4s) probing cycle finished: starting next cycle
15.94/16.12 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.94/16.12 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.94/16.12 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.94/16.12 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.94/16.12 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.94/16.12 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.94/16.12 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.94/16.12 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.94/16.12 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.94/16.12 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.94/16.12 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.94/16.12 c (0.5s) probing: 1000/1697 (58.9%) - 15 fixings, 20 aggregations, 4386 implications, 0 bound changes
15.94/16.12 c (0.5s) probing: 1227/1697 (72.3%) - 15 fixings, 20 aggregations, 4472 implications, 0 bound changes
15.94/16.12 c (0.5s) probing aborted: 1000/1000 successive useless probings
15.94/16.12 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.94/16.12 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.94/16.12 c (0.5s) probing: 1281/1697 (75.5%) - 15 fixings, 20 aggregations, 4474 implications, 0 bound changes
15.94/16.12 c (0.5s) probing aborted: 50/50 successive totally useless probings
15.94/16.12 c (0.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
15.94/16.12 c (0.5s) no symmetry present (symcode time: 0.00)
15.94/16.12 c presolving (22 rounds: 22 fast, 8 medium, 7 exhaustive):
15.94/16.12 c 1172 deleted vars, 2998 deleted constraints, 121 added constraints, 441 tightened bounds, 0 added holes, 2 changed sides, 81 changed coefficients
15.94/16.12 c 0 implications, 2469 cliques
15.94/16.12 c presolved problem has 1642 variables (1642 bin, 0 int, 0 impl, 0 cont) and 871 constraints
15.94/16.12 c 1 constraints of type <knapsack>
15.94/16.12 c 1 constraints of type <setppc>
15.94/16.12 c 110 constraints of type <and>
15.94/16.12 c 759 constraints of type <linear>
15.94/16.12 c transformed objective value is always integral (scale: 1)
15.94/16.12 c Presolving Time: 0.52
15.94/16.12 c
15.94/16.12 c (node 1) unresolved numerical troubles in LP 2 -- using pseudo solution instead (loop 1)
15.94/16.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.94/16.12 c 0.6s| 1 | 2 | 244 | - | 22M | 0 |1642 | 875 | 981 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
15.94/16.12 c (node 22) numerical troubles in LP 42 -- unresolved
15.94/16.12 c (node 23) numerical troubles in LP 47 -- unresolved
15.94/16.12 c (node 24) numerical troubles in LP 52 -- unresolved
15.94/16.12 c (node 25) numerical troubles in LP 57 -- unresolved
15.94/16.12 c (node 28) numerical troubles in LP 66 -- unresolved
15.94/16.12 c (node 29) numerical troubles in LP 71 -- unresolved
15.94/16.12 c (node 35) numerical troubles in LP 96 -- unresolved
15.94/16.12 c (node 69) numerical troubles in LP 169 -- unresolved
15.94/16.12 c (node 70) numerical troubles in LP 174 -- unresolved
15.94/16.12 c (node 71) numerical troubles in LP 179 -- unresolved
15.94/16.12 c (node 74) numerical troubles in LP 190 -- unresolved -- further messages will be suppressed (use display/verblevel=5 to see all)
15.94/16.12 c 6.1s| 100 | 50 |147855 |1491.0 | 23M | 39 |1642 | 877 | 982 | 105 | 1 | 5 | 0 | 0.000000e+00 | -- | Inf | 74.79%
15.94/16.12 c 10.9s| 200 | 90 |317752 |1595.5 | 23M | 49 |1642 | 879 | 0 | 205 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf | 74.79%
15.94/16.12 c 11.7s| 300 | 126 |361281 |1207.5 | 23M | 54 |1642 | 881 |1082 | 205 | 0 | 9 | 0 | 0.000000e+00 | -- | Inf | 74.79%
15.94/16.12 c 12.2s| 400 | 198 |393396 | 985.3 | 23M | 61 |1642 | 898 |1082 | 205 | 0 | 26 | 0 | 0.000000e+00 | -- | Inf | 74.79%
15.94/16.12 c 12.5s| 500 | 253 |412200 | 825.6 | 23M | 61 |1642 | 917 |1082 | 205 | 0 | 45 | 0 | 0.000000e+00 | -- | Inf | 74.79%
15.94/16.12 c 12.7s| 600 | 286 |426046 | 710.9 | 24M | 63 |1642 | 966 |1082 | 205 | 0 | 94 | 0 | 0.000000e+00 | -- | Inf | 74.79%
15.94/16.12 c 13.1s| 700 | 314 |447580 | 640.0 | 24M | 63 |1642 | 977 |1082 | 205 | 0 | 105 | 0 | 0.000000e+00 | -- | Inf | 74.79%
15.94/16.12 c 13.3s| 800 | 344 |463486 | 579.8 | 24M | 63 |1642 |1028 |1082 | 205 | 0 | 156 | 0 | 0.000000e+00 | -- | Inf | 74.79%
15.94/16.12 c 13.6s| 900 | 382 |479204 | 532.8 | 25M | 63 |1642 |1042 | 0 | 205 | 0 | 170 | 0 | 0.000000e+00 | -- | Inf | 74.79%
15.94/16.12 c 14.0s| 1000 | 385 |501317 | 501.6 | 26M | 63 |1642 |1087 |1082 | 205 | 0 | 215 | 0 | 0.000000e+00 | -- | Inf | 74.79%
15.94/16.12 c 14.2s| 1100 | 374 |515426 | 468.8 | 26M | 63 |1642 |1171 |1082 | 205 | 0 | 299 | 0 | 0.000000e+00 | -- | Inf | 74.79%
15.94/16.12 c 14.7s| 1200 | 421 |545586 | 454.8 | 27M | 63 |1642 |1210 | 0 | 205 | 0 | 339 | 0 | 0.000000e+00 | -- | Inf | 74.79%
15.94/16.12 c 15.2s| 1300 | 445 |575257 | 442.7 | 27M | 63 |1642 |1225 | 0 | 205 | 0 | 354 | 0 | 0.000000e+00 | -- | Inf | 74.79%
15.94/16.12 c 15.5s| 1400 | 460 |590689 | 422.0 | 27M | 63 |1642 |1303 | 0 | 205 | 0 | 432 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
35.88/36.14 c 15.7s| 1500 | 464 |604397 | 403.0 | 27M | 63 |1642 |1367 | 0 | 205 | 0 | 496 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 15.9s| 1600 | 434 |615997 | 385.1 | 28M | 63 |1642 |1447 | 0 | 205 | 0 | 576 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 16.3s| 1700 | 438 |635084 | 373.7 | 28M | 63 |1642 |1495 | 0 | 205 | 0 | 624 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 16.6s| 1800 | 458 |651631 | 362.1 | 28M | 63 |1642 |1559 |1082 | 205 | 0 | 688 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 16.9s| 1900 | 464 |669905 | 352.6 | 28M | 63 |1642 |1641 | 0 | 205 | 0 | 771 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 17.1s| 2000 | 459 |683433 | 341.8 | 29M | 63 |1642 |1727 |1082 | 205 | 0 | 859 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 17.4s| 2100 | 453 |697129 | 332.0 | 29M | 63 |1642 |1799 | 0 | 205 | 0 | 932 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 17.6s| 2200 | 424 |708688 | 322.2 | 29M | 63 |1642 |2044 | 0 | 205 | 0 |1182 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 17.8s| 2300 | 365 |717780 | 312.1 | 30M | 63 |1642 |2294 |1082 | 205 | 0 |1443 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 18.0s| 2400 | 351 |729512 | 304.0 | 30M | 63 |1642 |2397 |1082 | 205 | 0 |1555 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 18.2s| 2500 | 285 |736308 | 294.5 | 30M | 63 |1642 |2548 |1082 | 205 | 0 |1745 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 18.6s| 2600 | 210 |751126 | 288.9 | 30M | 63 |1642 |2743 | 0 | 205 | 0 |1983 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 18.7s| 2700 | 127 |758117 | 280.8 | 30M | 63 |1642 |2916 | 0 | 205 | 0 |2210 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 19.0s| 2800 | 124 |776024 | 277.2 | 31M | 63 |1642 |2972 |1082 | 205 | 0 |2324 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 19.8s| 2900 | 214 |822343 | 283.6 | 31M | 63 |1642 |2942 |1082 | 205 | 0 |2324 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
35.88/36.14 c 20.3s| 3000 | 307 |855569 | 285.2 | 31M | 63 |1642 |2912 |1082 | 205 | 0 |2334 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 20.6s| 3100 | 378 |882637 | 284.7 | 31M | 63 |1642 |2860 |1082 | 205 | 0 |2339 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 21.1s| 3200 | 460 |912689 | 285.2 | 31M | 63 |1642 |2798 |1082 | 205 | 0 |2357 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 21.4s| 3300 | 523 |939253 | 284.6 | 31M | 63 |1642 |2732 | 0 | 205 | 0 |2389 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 22.2s| 3400 | 575 |982405 | 289.0 | 31M | 63 |1642 |2639 |1080 | 205 | 0 |2393 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 22.7s| 3500 | 665 | 1016k| 290.4 | 31M | 63 |1642 |2510 |1082 | 205 | 0 |2393 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 23.3s| 3600 | 749 | 1055k| 293.1 | 32M | 63 |1642 |2309 |1082 | 205 | 0 |2396 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 23.7s| 3700 | 835 | 1089k| 294.4 | 32M | 63 |1642 |2137 |1082 | 205 | 0 |2401 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 24.1s| 3800 | 913 | 1120k| 294.9 | 32M | 63 |1642 |1987 |1082 | 205 | 0 |2401 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 24.7s| 3900 | 980 | 1156k| 296.7 | 32M | 63 |1642 |1857 | 0 | 205 | 0 |2418 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 25.2s| 4000 | 1037 | 1191k| 297.9 | 32M | 63 |1642 |1692 |1082 | 205 | 0 |2430 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 25.6s| 4100 | 1089 | 1221k| 297.9 | 32M | 63 |1642 |1574 |1082 | 205 | 0 |2451 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 26.0s| 4200 | 1153 | 1251k| 298.0 | 32M | 63 |1642 |1474 |1082 | 205 | 0 |2462 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 26.4s| 4300 | 1202 | 1277k| 297.2 | 32M | 63 |1642 |1398 |1082 | 205 | 0 |2495 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 26.7s| 4400 | 1252 | 1302k| 296.0 | 32M | 63 |1642 |1333 |1082 | 205 | 0 |2531 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
35.88/36.14 c 27.2s| 4500 | 1305 | 1331k| 295.8 | 33M | 63 |1642 |1288 |1082 | 205 | 0 |2534 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 27.5s| 4600 | 1340 | 1353k| 294.3 | 33M | 63 |1642 |1276 |1082 | 205 | 0 |2563 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 27.8s| 4700 | 1380 | 1377k| 293.0 | 33M | 63 |1642 |1268 |1082 | 205 | 0 |2587 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 28.1s| 4800 | 1415 | 1399k| 291.6 | 33M | 63 |1642 |1251 | 0 | 205 | 0 |2624 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 28.7s| 4900 | 1439 | 1429k| 291.7 | 33M | 63 |1642 |1290 |1082 | 205 | 0 |2695 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 29.1s| 5000 | 1516 | 1462k| 292.6 | 33M | 63 |1642 |1273 |1082 | 205 | 0 |2704 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 29.5s| 5100 | 1580 | 1492k| 292.7 | 33M | 63 |1642 |1258 |1082 | 205 | 0 |2711 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 29.9s| 5200 | 1643 | 1525k| 293.4 | 33M | 63 |1642 |1252 |1082 | 205 | 0 |2721 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 30.3s| 5300 | 1707 | 1555k| 293.6 | 33M | 63 |1642 |1242 | 0 | 205 | 0 |2721 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 30.9s| 5400 | 1767 | 1594k| 295.3 | 34M | 63 |1642 |1243 |1082 | 205 | 0 |2733 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 31.5s| 5500 | 1814 | 1630k| 296.4 | 34M | 63 |1642 |1239 |1082 | 205 | 0 |2756 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 31.8s| 5600 | 1854 | 1654k| 295.5 | 34M | 63 |1642 |1233 |1082 | 205 | 0 |2757 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 32.2s| 5700 | 1889 | 1682k| 295.2 | 34M | 63 |1642 |1224 |1082 | 205 | 0 |2764 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 32.5s| 5800 | 1933 | 1707k| 294.3 | 34M | 63 |1642 |1220 |1082 | 205 | 0 |2769 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 32.9s| 5900 | 1979 | 1734k| 294.0 | 34M | 63 |1642 |1222 | 0 | 205 | 0 |2779 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
35.88/36.14 c 33.2s| 6000 | 2002 | 1754k| 292.5 | 35M | 63 |1642 |1212 | 0 | 205 | 0 |2781 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 33.5s| 6100 | 2034 | 1777k| 291.4 | 35M | 63 |1642 |1201 |1082 | 205 | 0 |2781 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 33.9s| 6200 | 2073 | 1805k| 291.2 | 35M | 63 |1642 |1205 |1082 | 205 | 0 |2791 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 34.3s| 6300 | 2110 | 1830k| 290.6 | 35M | 63 |1642 |1198 |1082 | 205 | 0 |2794 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 34.6s| 6400 | 2146 | 1854k| 289.7 | 35M | 63 |1642 |1191 |1082 | 205 | 0 |2796 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 35.1s| 6500 | 2157 | 1885k| 290.1 | 35M | 63 |1642 |1210 | 0 | 205 | 0 |2824 | 0 | 0.000000e+00 | -- | Inf | 74.79%
35.88/36.14 c 35.4s| 6600 | 2181 | 1907k| 289.0 | 35M | 63 |1642 |1222 | 0 | 205 | 0 |2841 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 35.7s| 6700 | 2218 | 1929k| 288.1 | 36M | 63 |1642 |1239 |1082 | 205 | 0 |2869 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 36.0s| 6800 | 2253 | 1952k| 287.1 | 36M | 63 |1642 |1249 |1082 | 205 | 0 |2885 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 36.3s| 6900 | 2271 | 1971k| 285.8 | 36M | 63 |1642 |1268 |1082 | 205 | 0 |2909 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 36.6s| 7000 | 2264 | 1993k| 284.8 | 36M | 63 |1642 |1293 | 0 | 205 | 0 |2939 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 37.1s| 7100 | 2277 | 2018k| 284.3 | 36M | 63 |1642 |1288 |1082 | 205 | 0 |2945 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 37.4s| 7200 | 2298 | 2038k| 283.1 | 36M | 63 |1642 |1282 | 0 | 205 | 0 |2956 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 37.6s| 7300 | 2292 | 2055k| 281.6 | 36M | 63 |1642 |1305 | 0 | 205 | 0 |2984 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 38.0s| 7400 | 2314 | 2077k| 280.8 | 36M | 63 |1642 |1310 |1082 | 205 | 0 |3001 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
54.32/54.60 c 38.2s| 7500 | 2334 | 2095k| 279.4 | 36M | 63 |1642 |1313 | 0 | 205 | 0 |3016 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 38.5s| 7600 | 2339 | 2111k| 277.8 | 36M | 63 |1642 |1328 |1082 | 205 | 0 |3043 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 38.7s| 7700 | 2365 | 2129k| 276.5 | 37M | 63 |1642 |1328 |1082 | 205 | 0 |3055 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 39.0s| 7800 | 2378 | 2149k| 275.6 | 37M | 63 |1642 |1324 | 0 | 205 | 0 |3068 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 39.3s| 7900 | 2395 | 2165k| 274.1 | 37M | 63 |1642 |1344 |1082 | 205 | 0 |3111 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 39.5s| 8000 | 2395 | 2179k| 272.4 | 37M | 63 |1642 |1357 | 0 | 205 | 0 |3140 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 39.7s| 8100 | 2386 | 2192k| 270.6 | 37M | 63 |1642 |1386 |1082 | 205 | 0 |3197 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 40.0s| 8200 | 2308 | 2205k| 268.9 | 37M | 63 |1642 |1463 |1080 | 205 | 0 |3296 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 40.4s| 8300 | 2336 | 2231k| 268.9 | 37M | 63 |1642 |1482 |1082 | 205 | 0 |3329 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 40.8s| 8400 | 2402 | 2261k| 269.3 | 37M | 63 |1642 |1455 |1082 | 205 | 0 |3331 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 41.2s| 8500 | 2460 | 2290k| 269.5 | 38M | 63 |1642 |1429 |1082 | 205 | 0 |3331 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 41.6s| 8600 | 2520 | 2324k| 270.3 | 38M | 63 |1642 |1407 | 0 | 205 | 0 |3331 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 42.1s| 8700 | 2574 | 2359k| 271.2 | 38M | 63 |1642 |1384 |1082 | 205 | 0 |3332 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 42.5s| 8800 | 2624 | 2385k| 271.0 | 38M | 63 |1642 |1384 |1082 | 205 | 0 |3338 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 42.8s| 8900 | 2667 | 2412k| 271.1 | 38M | 63 |1642 |1384 |1082 | 205 | 0 |3342 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
54.32/54.60 c 43.2s| 9000 | 2715 | 2441k| 271.2 | 38M | 63 |1642 |1381 |1082 | 205 | 0 |3342 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 43.8s| 9100 | 2755 | 2472k| 271.7 | 38M | 63 |1642 |1381 | 0 | 205 | 0 |3347 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 44.2s| 9200 | 2797 | 2500k| 271.8 | 38M | 63 |1642 |1380 |1082 | 205 | 0 |3359 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 44.5s| 9300 | 2830 | 2524k| 271.4 | 39M | 63 |1642 |1382 | 0 | 205 | 0 |3370 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 44.9s| 9400 | 2868 | 2550k| 271.3 | 39M | 63 |1642 |1380 |1082 | 205 | 0 |3370 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 45.2s| 9500 | 2910 | 2576k| 271.2 | 39M | 63 |1642 |1379 |1082 | 205 | 0 |3370 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 45.7s| 9600 | 2957 | 2608k| 271.7 | 39M | 63 |1642 |1370 |1082 | 205 | 0 |3381 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 46.0s| 9700 | 2988 | 2633k| 271.5 | 39M | 63 |1642 |1379 | 0 | 205 | 0 |3394 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 46.6s| 9800 | 3014 | 2663k| 271.8 | 39M | 63 |1642 |1393 | 0 | 205 | 0 |3414 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 46.9s| 9900 | 3049 | 2689k| 271.7 | 39M | 63 |1642 |1394 |1082 | 205 | 0 |3420 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 47.5s| 10000 | 3089 | 2724k| 272.5 | 40M | 63 |1642 |1398 |1082 | 205 | 0 |3429 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 47.9s| 10100 | 3141 | 2751k| 272.4 | 40M | 63 |1642 |1394 |1082 | 205 | 0 |3435 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 48.3s| 10200 | 3166 | 2776k| 272.2 | 40M | 63 |1642 |1398 |1082 | 205 | 0 |3446 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 48.6s| 10300 | 3196 | 2800k| 271.9 | 40M | 63 |1642 |1394 |1082 | 205 | 0 |3450 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 48.9s| 10400 | 3218 | 2822k| 271.4 | 41M | 63 |1642 |1393 | 0 | 205 | 0 |3462 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
54.32/54.60 c 49.2s| 10500 | 3243 | 2845k| 271.0 | 41M | 63 |1642 |1398 | 0 | 205 | 0 |3471 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 49.5s| 10600 | 3267 | 2867k| 270.6 | 41M | 63 |1642 |1388 |1082 | 205 | 0 |3476 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 49.8s| 10700 | 3283 | 2890k| 270.1 | 41M | 63 |1642 |1398 |1082 | 205 | 0 |3491 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 50.2s| 10800 | 3311 | 2918k| 270.3 | 41M | 63 |1642 |1402 |1082 | 205 | 0 |3499 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 50.6s| 10900 | 3342 | 2944k| 270.1 | 42M | 63 |1642 |1427 |1082 | 205 | 0 |3537 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 50.9s| 11000 | 3375 | 2969k| 269.9 | 42M | 63 |1642 |1459 | 0 | 205 | 0 |3579 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 51.2s| 11100 | 3413 | 2995k| 269.9 | 42M | 63 |1642 |1454 | 0 | 205 | 0 |3585 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 51.6s| 11200 | 3437 | 3021k| 269.8 | 42M | 63 |1642 |1467 |1082 | 205 | 0 |3606 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 52.0s| 11300 | 3454 | 3045k| 269.5 | 42M | 63 |1642 |1470 |1082 | 205 | 0 |3616 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 52.3s| 11400 | 3478 | 3069k| 269.2 | 43M | 63 |1642 |1471 | 0 | 205 | 0 |3626 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 52.6s| 11500 | 3491 | 3090k| 268.8 | 43M | 63 |1642 |1471 | 0 | 205 | 0 |3635 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 52.9s| 11600 | 3498 | 3110k| 268.1 | 43M | 63 |1642 |1476 |1082 | 205 | 0 |3649 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 53.2s| 11700 | 3503 | 3131k| 267.6 | 43M | 63 |1642 |1495 | 0 | 205 | 0 |3681 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 53.5s| 11800 | 3512 | 3152k| 267.1 | 43M | 63 |1642 |1489 | 0 | 205 | 0 |3681 | 0 | 0.000000e+00 | -- | Inf | 74.79%
54.32/54.60 c 53.8s| 11900 | 3534 | 3174k| 266.7 | 44M | 63 |1642 |1502 |1082 | 205 | 0 |3696 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
71.56/71.93 c 54.2s| 12000 | 3561 | 3202k| 266.9 | 44M | 63 |1642 |1494 |1082 | 205 | 0 |3700 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 54.7s| 12100 | 3586 | 3234k| 267.3 | 44M | 63 |1642 |1501 | 0 | 205 | 0 |3715 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 55.0s| 12200 | 3605 | 3256k| 266.9 | 44M | 63 |1642 |1495 | 0 | 205 | 0 |3725 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 55.3s| 12300 | 3625 | 3280k| 266.7 | 44M | 63 |1642 |1504 | 0 | 205 | 0 |3742 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 55.6s| 12400 | 3646 | 3302k| 266.4 | 44M | 63 |1642 |1516 | 0 | 205 | 0 |3760 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 56.0s| 12500 | 3669 | 3328k| 266.3 | 44M | 63 |1642 |1530 |1082 | 205 | 0 |3790 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 56.4s| 12600 | 3685 | 3351k| 266.0 | 44M | 63 |1642 |1535 |1082 | 205 | 0 |3809 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 56.7s| 12700 | 3707 | 3375k| 265.8 | 44M | 63 |1642 |1557 |1082 | 205 | 0 |3842 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 57.0s| 12800 | 3710 | 3395k| 265.2 | 44M | 63 |1642 |1606 | 0 | 205 | 0 |3895 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 57.3s| 12900 | 3713 | 3415k| 264.7 | 45M | 63 |1642 |1632 | 0 | 205 | 0 |3936 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 57.6s| 13000 | 3722 | 3435k| 264.3 | 45M | 63 |1642 |1639 |1082 | 205 | 0 |3958 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 58.0s| 13100 | 3740 | 3463k| 264.4 | 45M | 63 |1642 |1636 |1082 | 205 | 0 |3971 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 58.3s| 13200 | 3761 | 3486k| 264.1 | 45M | 63 |1642 |1629 |1082 | 205 | 0 |3983 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 58.8s| 13300 | 3772 | 3512k| 264.1 | 45M | 63 |1642 |1680 | 0 | 205 | 0 |4044 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 59.2s| 13400 | 3783 | 3534k| 263.8 | 45M | 63 |1642 |1685 | 0 | 205 | 0 |4071 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
71.56/71.93 c 59.6s| 13500 | 3805 | 3559k| 263.7 | 45M | 63 |1642 |1689 |1082 | 205 | 0 |4085 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 59.8s| 13600 | 3811 | 3580k| 263.3 | 45M | 63 |1642 |1694 |1082 | 205 | 0 |4118 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 60.4s| 13700 | 3795 | 3606k| 263.3 | 46M | 63 |1642 |1700 | 0 | 205 | 0 |4130 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 60.7s| 13800 | 3797 | 3628k| 263.0 | 46M | 63 |1642 |1729 |1082 | 205 | 0 |4170 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 61.0s| 13900 | 3799 | 3649k| 262.5 | 46M | 63 |1642 |1745 |1082 | 205 | 0 |4193 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 61.3s| 14000 | 3802 | 3668k| 262.0 | 46M | 63 |1642 |1749 | 0 | 205 | 0 |4205 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 61.5s| 14100 | 3791 | 3684k| 261.3 | 46M | 63 |1642 |1760 | 0 | 205 | 0 |4227 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 61.9s| 14200 | 3796 | 3705k| 261.0 | 46M | 63 |1642 |1773 |1082 | 205 | 0 |4269 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 62.2s| 14300 | 3815 | 3727k| 260.7 | 46M | 63 |1642 |1771 | 0 | 205 | 0 |4289 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 62.5s| 14400 | 3831 | 3751k| 260.6 | 46M | 63 |1642 |1737 | 0 | 205 | 0 |4289 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 63.2s| 14500 | 3820 | 3782k| 260.8 | 46M | 63 |1642 |1735 |1082 | 205 | 0 |4318 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 63.4s| 14600 | 3809 | 3799k| 260.3 | 46M | 63 |1642 |1736 | 0 | 205 | 0 |4340 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 63.7s| 14700 | 3821 | 3819k| 259.8 | 46M | 63 |1642 |1726 |1082 | 205 | 0 |4365 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 64.0s| 14800 | 3845 | 3838k| 259.4 | 46M | 63 |1642 |1698 |1082 | 205 | 0 |4367 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 64.3s| 14900 | 3867 | 3860k| 259.1 | 46M | 63 |1642 |1697 | 0 | 205 | 0 |4392 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
71.56/71.93 c 64.6s| 15000 | 3863 | 3877k| 258.5 | 46M | 63 |1642 |1716 |1082 | 205 | 0 |4423 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 64.8s| 15100 | 3855 | 3892k| 257.8 | 46M | 63 |1642 |1714 |1082 | 205 | 0 |4446 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 65.2s| 15200 | 3858 | 3911k| 257.4 | 46M | 63 |1642 |1735 | 0 | 205 | 0 |4488 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 65.5s| 15300 | 3875 | 3928k| 256.8 | 46M | 63 |1642 |1741 |1082 | 205 | 0 |4511 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 65.7s| 15400 | 3873 | 3944k| 256.1 | 47M | 63 |1642 |1747 | 0 | 205 | 0 |4536 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 65.9s| 15500 | 3866 | 3957k| 255.3 | 47M | 63 |1642 |1751 | 0 | 205 | 0 |4549 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 66.1s| 15600 | 3858 | 3970k| 254.5 | 47M | 63 |1642 |1774 |1082 | 205 | 0 |4588 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 66.4s| 15700 | 3862 | 3987k| 254.0 | 47M | 63 |1642 |1808 | 0 | 205 | 0 |4643 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 66.6s| 15800 | 3858 | 4002k| 253.3 | 47M | 63 |1642 |1823 |1082 | 205 | 0 |4679 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 66.9s| 15900 | 3844 | 4016k| 252.6 | 47M | 63 |1642 |1848 |1082 | 205 | 0 |4725 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 67.1s| 16000 | 3842 | 4029k| 251.9 | 47M | 63 |1642 |1870 | 0 | 205 | 0 |4766 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 67.4s| 16100 | 3830 | 4044k| 251.2 | 47M | 63 |1642 |1927 | 0 | 205 | 0 |4833 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 67.6s| 16200 | 3810 | 4056k| 250.4 | 47M | 63 |1642 |1956 |1082 | 205 | 0 |4879 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 67.8s| 16300 | 3783 | 4069k| 249.6 | 47M | 63 |1642 |1976 | 0 | 205 | 0 |4909 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 68.1s| 16400 | 3726 | 4084k| 249.1 | 47M | 63 |1642 |2015 |1081 | 205 | 0 |4963 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
71.56/71.93 c 68.5s| 16500 | 3787 | 4117k| 249.6 | 48M | 63 |1642 |2014 |1082 | 205 | 0 |4987 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 68.9s| 16600 | 3853 | 4150k| 250.0 | 48M | 63 |1642 |1984 | 0 | 205 | 0 |4987 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 69.4s| 16700 | 3926 | 4186k| 250.7 | 48M | 63 |1642 |1953 |1082 | 205 | 0 |4987 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 69.8s| 16800 | 3975 | 4216k| 251.0 | 48M | 63 |1642 |1923 | 0 | 205 | 0 |4993 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 70.2s| 16900 | 4033 | 4247k| 251.3 | 48M | 63 |1642 |1876 |1082 | 205 | 0 |4993 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 70.7s| 17000 | 4103 | 4281k| 251.9 | 48M | 63 |1642 |1856 |1082 | 205 | 0 |5003 | 0 | 0.000000e+00 | -- | Inf | 74.79%
71.56/71.93 c 71.1s| 17100 | 4165 | 4313k| 252.3 | 49M | 63 |1642 |1816 |1082 | 205 | 0 |5003 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 71.5s| 17200 | 4213 | 4342k| 252.5 | 49M | 63 |1642 |1792 |1082 | 205 | 0 |5008 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 71.8s| 17300 | 4247 | 4368k| 252.5 | 49M | 63 |1642 |1779 | 0 | 205 | 0 |5020 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 72.2s| 17400 | 4281 | 4395k| 252.6 | 49M | 63 |1642 |1763 | 0 | 205 | 0 |5023 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 72.5s| 17500 | 4310 | 4420k| 252.6 | 49M | 63 |1642 |1758 | 0 | 205 | 0 |5032 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 72.9s| 17600 | 4339 | 4447k| 252.7 | 50M | 63 |1642 |1768 |1082 | 205 | 0 |5054 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 73.3s| 17700 | 4365 | 4472k| 252.7 | 50M | 63 |1642 |1757 |1082 | 205 | 0 |5061 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 73.7s| 17800 | 4389 | 4501k| 252.9 | 51M | 63 |1642 |1756 |1082 | 205 | 0 |5079 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 74.1s| 17900 | 4429 | 4528k| 253.0 | 51M | 63 |1642 |1746 |1082 | 205 | 0 |5079 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
92.80/93.29 c 74.4s| 18000 | 4453 | 4553k| 253.0 | 51M | 63 |1642 |1730 |1082 | 205 | 0 |5079 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 74.8s| 18100 | 4489 | 4579k| 253.0 | 51M | 63 |1642 |1740 |1082 | 205 | 0 |5095 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 75.4s| 18200 | 4528 | 4612k| 253.4 | 52M | 63 |1642 |1738 |1082 | 205 | 0 |5105 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 75.7s| 18300 | 4554 | 4637k| 253.4 | 52M | 63 |1642 |1726 | 0 | 205 | 0 |5105 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 76.3s| 18400 | 4583 | 4673k| 254.0 | 52M | 63 |1642 |1735 |1082 | 205 | 0 |5116 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 76.7s| 18500 | 4616 | 4699k| 254.0 | 53M | 63 |1642 |1718 |1082 | 205 | 0 |5116 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 77.0s| 18600 | 4638 | 4725k| 254.1 | 53M | 63 |1642 |1736 | 0 | 205 | 0 |5143 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 77.4s| 18700 | 4659 | 4750k| 254.0 | 53M | 63 |1642 |1739 |1082 | 205 | 0 |5156 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 77.8s| 18800 | 4669 | 4776k| 254.1 | 53M | 63 |1642 |1738 | 0 | 205 | 0 |5171 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 78.1s| 18900 | 4689 | 4800k| 254.0 | 53M | 63 |1642 |1743 | 0 | 205 | 0 |5183 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 78.5s| 19000 | 4706 | 4826k| 254.0 | 53M | 63 |1642 |1748 |1082 | 205 | 0 |5197 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 78.8s| 19100 | 4725 | 4850k| 254.0 | 53M | 63 |1642 |1757 |1082 | 205 | 0 |5216 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 79.1s| 19200 | 4740 | 4873k| 253.8 | 53M | 63 |1642 |1754 | 0 | 205 | 0 |5220 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 79.6s| 19300 | 4767 | 4903k| 254.1 | 54M | 63 |1642 |1765 |1082 | 205 | 0 |5237 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 79.9s| 19400 | 4780 | 4926k| 253.9 | 54M | 63 |1642 |1761 |1082 | 205 | 0 |5246 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
92.80/93.29 c 80.5s| 19500 | 4797 | 4958k| 254.3 | 54M | 63 |1642 |1762 |1082 | 205 | 0 |5259 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 80.8s| 19600 | 4816 | 4982k| 254.2 | 54M | 63 |1642 |1768 |1082 | 205 | 0 |5280 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 81.1s| 19700 | 4840 | 5007k| 254.2 | 54M | 63 |1642 |1754 |1082 | 205 | 0 |5280 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 81.4s| 19800 | 4855 | 5029k| 254.0 | 54M | 63 |1642 |1753 | 0 | 205 | 0 |5284 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 81.8s| 19900 | 4879 | 5054k| 254.0 | 54M | 63 |1642 |1748 |1082 | 205 | 0 |5294 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 82.1s| 20000 | 4901 | 5077k| 253.9 | 54M | 63 |1642 |1745 | 0 | 205 | 0 |5304 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 82.5s| 20100 | 4938 | 5107k| 254.1 | 54M | 63 |1642 |1734 |1082 | 205 | 0 |5307 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 82.8s| 20200 | 4952 | 5131k| 254.0 | 54M | 63 |1642 |1746 | 0 | 205 | 0 |5328 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 83.2s| 20300 | 4964 | 5157k| 254.0 | 54M | 63 |1642 |1789 | 0 | 205 | 0 |5378 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 83.6s| 20400 | 4961 | 5179k| 253.9 | 54M | 63 |1642 |1807 |1082 | 205 | 0 |5412 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 84.1s| 20500 | 4967 | 5208k| 254.1 | 54M | 63 |1642 |1803 |1082 | 205 | 0 |5424 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 84.4s| 20600 | 4959 | 5228k| 253.8 | 55M | 63 |1642 |1826 |1082 | 205 | 0 |5457 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 84.7s| 20700 | 4952 | 5247k| 253.5 | 55M | 63 |1642 |1831 | 0 | 205 | 0 |5472 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 85.1s| 20800 | 4956 | 5273k| 253.5 | 55M | 63 |1642 |1835 | 0 | 205 | 0 |5498 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 85.5s| 20900 | 4959 | 5298k| 253.5 | 55M | 63 |1642 |1836 |1082 | 205 | 0 |5519 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
92.80/93.29 c 85.9s| 21000 | 4965 | 5323k| 253.5 | 55M | 63 |1642 |1825 |1082 | 205 | 0 |5530 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 86.2s| 21100 | 4972 | 5344k| 253.3 | 55M | 63 |1642 |1823 |1082 | 205 | 0 |5546 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 86.7s| 21200 | 4990 | 5375k| 253.6 | 55M | 63 |1642 |1827 |1082 | 205 | 0 |5566 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 87.3s| 21300 | 4993 | 5407k| 253.9 | 55M | 63 |1642 |1841 |1082 | 205 | 0 |5598 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 87.8s| 21400 | 5010 | 5437k| 254.1 | 55M | 63 |1642 |1837 | 0 | 205 | 0 |5614 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 88.2s| 21500 | 5024 | 5464k| 254.1 | 56M | 63 |1642 |1826 |1082 | 205 | 0 |5632 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 88.5s| 21600 | 5007 | 5486k| 254.0 | 56M | 63 |1642 |1836 | 0 | 205 | 0 |5661 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 89.0s| 21700 | 4993 | 5512k| 254.0 | 56M | 63 |1642 |1859 | 0 | 205 | 0 |5693 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 89.7s| 21800 | 4968 | 5543k| 254.3 | 57M | 63 |1642 |1868 |1158 | 405 | 0 |5718 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 90.2s| 21900 | 4944 | 5566k| 254.2 | 57M | 63 |1642 |1909 |1158 | 405 | 0 |5771 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 90.7s| 22000 | 4926 | 5589k| 254.1 | 57M | 63 |1642 |1936 | 0 | 405 | 0 |5816 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 91.1s| 22100 | 4930 | 5614k| 254.1 | 57M | 63 |1642 |1920 | 0 | 405 | 0 |5823 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 91.6s| 22200 | 4915 | 5637k| 253.9 | 57M | 63 |1642 |1912 | 0 | 505 | 0 |5857 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 91.9s| 22300 | 4909 | 5660k| 253.8 | 57M | 63 |1642 |1891 |1168 | 505 | 0 |5861 | 0 | 0.000000e+00 | -- | Inf | 74.79%
92.80/93.29 c 92.2s| 22400 | 4904 | 5681k| 253.6 | 57M | 63 |1642 |1887 |1168 | 505 | 0 |5878 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
119.03/119.58 c 92.9s| 22500 | 4905 | 5710k| 253.8 | 57M | 63 |1642 |1913 | 0 | 505 | 0 |5921 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 93.4s| 22600 | 4915 | 5739k| 254.0 | 57M | 63 |1642 |1933 | 0 | 505 | 0 |5954 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 94.0s| 22700 | 4913 | 5772k| 254.3 | 58M | 63 |1642 |1946 |1168 | 505 | 0 |5995 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 94.8s| 22800 | 4882 | 5809k| 254.8 | 58M | 63 |1642 |1971 | 0 | 505 | 0 |6036 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 95.1s| 22900 | 4855 | 5828k| 254.5 | 58M | 63 |1642 |1990 |1168 | 505 | 0 |6071 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 95.9s| 23000 | 4844 | 5860k| 254.8 | 58M | 63 |1642 |2017 |1168 | 505 | 0 |6119 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 96.3s| 23100 | 4831 | 5886k| 254.8 | 58M | 63 |1642 |2052 | 0 | 505 | 0 |6174 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 97.1s| 23200 | 4849 | 5930k| 255.6 | 58M | 63 |1642 |2062 | 0 | 505 | 0 |6194 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 97.9s| 23300 | 4841 | 5967k| 256.1 | 58M | 63 |1642 |2082 |1082 | 505 | 0 |6241 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 98.2s| 23400 | 4826 | 5988k| 255.9 | 58M | 63 |1642 |2090 |1082 | 505 | 0 |6285 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 98.7s| 23500 | 4832 | 6019k| 256.2 | 58M | 63 |1642 |2106 | 0 | 505 | 0 |6329 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 99.0s| 23600 | 4777 | 6033k| 255.7 | 58M | 63 |1642 |2150 | 0 | 505 | 0 |6412 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 99.3s| 23700 | 4738 | 6051k| 255.3 | 58M | 63 |1642 |2153 |1168 | 505 | 0 |6450 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 99.7s| 23800 | 4722 | 6072k| 255.1 | 58M | 63 |1642 |2180 |1168 | 505 | 0 |6500 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 100s| 23900 | 4687 | 6089k| 254.8 | 58M | 63 |1642 |2183 |1168 | 505 | 0 |6539 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
119.03/119.58 c 100s| 24000 | 4662 | 6110k| 254.6 | 58M | 63 |1642 |2202 | 0 | 505 | 0 |6594 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 101s| 24100 | 4634 | 6136k| 254.6 | 58M | 63 |1642 |2233 | 0 | 505 | 0 |6661 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 101s| 24200 | 4604 | 6154k| 254.3 | 58M | 63 |1642 |2273 |1168 | 505 | 0 |6726 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 102s| 24300 | 4606 | 6179k| 254.3 | 58M | 63 |1642 |2263 |1168 | 505 | 0 |6742 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 102s| 24400 | 4568 | 6193k| 253.8 | 58M | 63 |1642 |2292 | 0 | 505 | 0 |6808 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 102s| 24500 | 4558 | 6215k| 253.7 | 58M | 63 |1642 |2316 | 0 | 505 | 0 |6875 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 103s| 24600 | 4524 | 6229k| 253.3 | 58M | 63 |1642 |2325 |1168 | 505 | 0 |6911 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 103s| 24700 | 4523 | 6247k| 252.9 | 58M | 63 |1642 |2331 | 0 | 505 | 0 |6948 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 103s| 24800 | 4496 | 6266k| 252.7 | 58M | 63 |1642 |2375 |1168 | 505 | 0 |7028 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 104s| 24900 | 4498 | 6284k| 252.4 | 59M | 63 |1642 |2389 | 0 | 505 | 0 |7061 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 104s| 25000 | 4500 | 6301k| 252.1 | 59M | 63 |1642 |2443 |1168 | 505 | 0 |7129 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 104s| 25100 | 4490 | 6317k| 251.7 | 59M | 63 |1642 |2456 |1168 | 505 | 0 |7153 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 105s| 25200 | 4472 | 6340k| 251.6 | 59M | 63 |1642 |2479 |1168 | 505 | 0 |7195 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 105s| 25300 | 4464 | 6358k| 251.3 | 59M | 63 |1642 |2473 | 0 | 505 | 0 |7204 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 105s| 25400 | 4460 | 6377k| 251.1 | 59M | 63 |1642 |2487 | 0 | 505 | 0 |7253 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
119.03/119.58 c 106s| 25500 | 4441 | 6389k| 250.6 | 59M | 63 |1642 |2499 | 0 | 505 | 0 |7281 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 106s| 25600 | 4406 | 6401k| 250.1 | 59M | 63 |1642 |2522 |1168 | 505 | 0 |7325 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 106s| 25700 | 4372 | 6416k| 249.7 | 59M | 63 |1642 |2538 |1168 | 505 | 0 |7366 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 106s| 25800 | 4331 | 6430k| 249.2 | 59M | 63 |1642 |2685 | 0 | 505 | 0 |7524 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 107s| 25900 | 4263 | 6463k| 249.5 | 60M | 63 |1642 |2755 |1168 | 505 | 0 |7632 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 108s| 26000 | 4305 | 6519k| 250.7 | 60M | 63 |1642 |2724 |1168 | 505 | 0 |7645 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 109s| 26100 | 4335 | 6568k| 251.7 | 60M | 63 |1642 |2707 | 0 | 505 | 0 |7673 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 110s| 26200 | 4367 | 6621k| 252.7 | 60M | 63 |1642 |2707 |1168 | 505 | 0 |7713 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 111s| 26300 | 4395 | 6655k| 253.1 | 60M | 63 |1642 |2717 |1168 | 505 | 0 |7744 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 112s| 26400 | 4413 | 6696k| 253.7 | 60M | 63 |1642 |2707 | 0 | 505 | 0 |7769 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 113s| 26500 | 4432 | 6748k| 254.7 | 60M | 63 |1642 |2725 |1168 | 505 | 0 |7827 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 113s| 26600 | 4461 | 6780k| 254.9 | 60M | 63 |1642 |2727 |1168 | 505 | 0 |7855 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 113s| 26700 | 4487 | 6810k| 255.1 | 60M | 63 |1642 |2725 |1168 | 505 | 0 |7890 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 114s| 26800 | 4506 | 6847k| 255.5 | 60M | 63 |1642 |2683 |1168 | 505 | 0 |7915 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 115s| 26900 | 4512 | 6883k| 255.9 | 60M | 63 |1642 |2688 |1168 | 505 | 0 |7963 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
119.03/119.58 c 115s| 27000 | 4530 | 6914k| 256.1 | 60M | 63 |1642 |2686 | 0 | 505 | 0 |8001 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 116s| 27100 | 4547 | 6947k| 256.4 | 60M | 63 |1642 |2669 |1168 | 505 | 0 |8026 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 116s| 27200 | 4569 | 6981k| 256.7 | 60M | 63 |1642 |2665 |1168 | 505 | 0 |8042 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 117s| 27300 | 4588 | 7017k| 257.1 | 60M | 63 |1642 |2651 | 0 | 505 | 0 |8052 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 117s| 27400 | 4615 | 7046k| 257.2 | 60M | 63 |1642 |2633 | 0 | 505 | 0 |8065 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 118s| 27500 | 4640 | 7080k| 257.5 | 60M | 63 |1642 |2606 |1168 | 505 | 0 |8083 | 0 | 0.000000e+00 | -- | Inf | 74.79%
119.03/119.58 c 118s| 27600 | 4651 | 7109k| 257.6 | 60M | 63 |1642 |2573 |1168 | 505 | 0 |8102 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 119s| 27700 | 4681 | 7154k| 258.3 | 61M | 63 |1642 |2534 |1165 | 705 | 1 |8117 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 120s| 27800 | 4694 | 7189k| 258.6 | 61M | 63 |1642 |2513 |1182 | 805 | 0 |8132 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 121s| 27900 | 4698 | 7226k| 259.0 | 61M | 63 |1642 |2537 |1300 | 805 | 0 |8178 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 122s| 28000 | 4708 | 7272k| 259.7 | 61M | 63 |1642 |2563 |1300 | 805 | 0 |8221 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 122s| 28100 | 4726 | 7299k| 259.8 | 61M | 63 |1642 |2555 |1300 | 805 | 0 |8231 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 123s| 28200 | 4712 | 7325k| 259.8 | 61M | 63 |1642 |2560 |1300 | 805 | 0 |8250 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 123s| 28300 | 4712 | 7357k| 260.0 | 61M | 63 |1642 |2559 |1300 | 805 | 0 |8275 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 124s| 28400 | 4718 | 7388k| 260.2 | 63M | 63 |1642 |2561 |1455 | 905 | 0 |8301 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
158.22/158.80 c 124s| 28500 | 4722 | 7419k| 260.3 | 63M | 63 |1642 |2544 | 0 | 905 | 0 |8326 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 125s| 28600 | 4724 | 7460k| 260.9 | 63M | 63 |1642 |2524 |1455 | 905 | 0 |8338 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 126s| 28700 | 4725 | 7487k| 260.9 | 64M | 63 |1642 |2514 | 0 | 905 | 0 |8355 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 127s| 28800 | 4729 | 7522k| 261.2 | 64M | 63 |1642 |2482 |1455 | 905 | 0 |8362 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 127s| 28900 | 4744 | 7550k| 261.3 | 64M | 63 |1642 |2466 |1455 | 905 | 0 |8373 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 128s| 29000 | 4750 | 7582k| 261.5 | 64M | 63 |1642 |2447 | 0 | 905 | 0 |8411 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 129s| 29100 | 4761 | 7613k| 261.6 | 65M | 63 |1642 |2434 | 0 | 905 | 0 |8433 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 129s| 29200 | 4763 | 7649k| 262.0 | 65M | 63 |1642 |2412 |1455 | 905 | 0 |8472 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 130s| 29300 | 4785 | 7682k| 262.2 | 65M | 63 |1642 |2407 |1455 | 905 | 0 |8492 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 131s| 29400 | 4764 | 7710k| 262.3 | 65M | 63 |1642 |2421 | 0 | 905 | 0 |8525 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 131s| 29500 | 4754 | 7736k| 262.3 | 65M | 63 |1642 |2432 |1455 | 905 | 0 |8550 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 132s| 29600 | 4746 | 7756k| 262.0 | 65M | 63 |1642 |2416 | 0 | 905 | 0 |8550 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 132s| 29700 | 4742 | 7780k| 262.0 | 65M | 63 |1642 |2418 |1455 | 905 | 0 |8572 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 132s| 29800 | 4723 | 7798k| 261.7 | 65M | 63 |1642 |2400 | 0 | 905 | 0 |8574 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 133s| 29900 | 4722 | 7822k| 261.6 | 65M | 63 |1642 |2404 | 0 | 905 | 0 |8586 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
158.22/158.80 c 133s| 30000 | 4717 | 7852k| 261.8 | 65M | 63 |1642 |2384 |1455 | 905 | 0 |8590 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 134s| 30100 | 4732 | 7891k| 262.2 | 65M | 63 |1642 |2386 |1455 | 905 | 0 |8612 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 135s| 30200 | 4749 | 7921k| 262.3 | 65M | 63 |1642 |2382 |1455 | 905 | 0 |8628 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 136s| 30300 | 4747 | 7966k| 262.9 | 66M | 63 |1642 |2418 |1455 | 905 | 0 |8685 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 137s| 30400 | 4751 | 8004k| 263.3 | 66M | 63 |1642 |2446 |1455 | 905 | 0 |8723 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 138s| 30500 | 4741 | 8034k| 263.4 | 66M | 63 |1642 |2448 | 0 | 905 | 0 |8750 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 138s| 30600 | 4737 | 8068k| 263.7 | 66M | 63 |1642 |2447 |1455 | 905 | 0 |8777 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 139s| 30700 | 4736 | 8098k| 263.8 | 66M | 63 |1642 |2447 | 0 | 905 | 0 |8799 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 140s| 30800 | 4752 | 8129k| 263.9 | 66M | 63 |1642 |2459 | 0 | 905 | 0 |8822 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 141s| 30900 | 4746 | 8166k| 264.3 | 66M | 63 |1642 |2478 |1455 | 905 | 0 |8862 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 141s| 31000 | 4738 | 8199k| 264.5 | 66M | 63 |1642 |2509 |1455 | 905 | 0 |8918 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 142s| 31100 | 4723 | 8219k| 264.3 | 66M | 63 |1642 |2514 | 0 | 905 | 0 |8941 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 142s| 31200 | 4714 | 8246k| 264.3 | 67M | 63 |1642 |2527 | 0 | 905 | 0 |8959 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 143s| 31300 | 4704 | 8266k| 264.1 | 67M | 63 |1642 |2532 | 0 | 905 | 0 |8976 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 143s| 31400 | 4684 | 8292k| 264.1 | 67M | 63 |1642 |2519 |1455 | 905 | 0 |9012 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
158.22/158.80 c 145s| 31500 | 4660 | 8344k| 264.9 | 67M | 63 |1642 |2539 |1161 | 986 | 0 |9056 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 146s| 31600 | 4646 | 8375k| 265.0 | 68M | 63 |1642 |2550 |1321 |1382 | 0 |9100 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 146s| 31700 | 4632 | 8399k| 265.0 | 68M | 63 |1642 |2564 |1515 |1382 | 0 |9143 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 147s| 31800 | 4592 | 8428k| 265.0 | 68M | 63 |1642 |2544 | 0 |1382 | 0 |9164 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 148s| 31900 | 4575 | 8460k| 265.2 | 68M | 63 |1642 |2586 |1576 |1382 | 0 |9231 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 149s| 32000 | 4540 | 8497k| 265.6 | 68M | 63 |1642 |2641 | 0 |1382 | 0 |9316 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 150s| 32100 | 4461 | 8535k| 265.9 | 68M | 63 |1642 |2639 | 0 |1382 | 0 |9398 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 151s| 32200 | 4404 | 8576k| 266.4 | 68M | 63 |1642 |2645 | 0 |1382 | 0 |9461 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 152s| 32300 | 4318 | 8606k| 266.5 | 68M | 63 |1642 |2676 |1576 |1382 | 0 |9554 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 153s| 32400 | 4239 | 8656k| 267.2 | 69M | 63 |1642 |2737 | 0 |1460 | 0 |9679 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 154s| 32500 | 4109 | 8674k| 266.9 | 69M | 63 |1642 |2809 |1652 |1460 | 0 |9810 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 154s| 32600 | 3996 | 8683k| 266.4 | 69M | 63 |1642 |2916 | 0 |1460 | 0 |9990 | 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 156s| 32700 | 3901 | 8727k| 266.9 | 69M | 63 |1642 |3032 | 0 |1460 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 157s| 32800 | 3792 | 8760k| 267.1 | 69M | 63 |1642 |3183 | 0 |1460 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf | 74.79%
158.22/158.80 c 158s| 32900 | 3781 | 8797k| 267.4 | 70M | 63 |1642 |3289 |1266 |1673 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
250.18/251.04 c 158s| 33000 | 3775 | 8824k| 267.4 | 70M | 63 |1642 |3329 |1266 |1673 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 161s| 33100 | 3750 | 8890k| 268.6 | 70M | 63 |1642 |3375 | 0 |1673 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 162s| 33200 | 3732 | 8936k| 269.2 | 70M | 63 |1642 |3391 |1760 |1673 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 164s| 33300 | 3708 | 8981k| 269.7 | 71M | 63 |1642 |3391 | 0 |1673 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 165s| 33400 | 3696 | 9032k| 270.4 | 71M | 63 |1642 |3437 |1760 |1673 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 167s| 33500 | 3672 | 9088k| 271.3 | 71M | 63 |1642 |3499 | 0 |1673 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 168s| 33600 | 3599 | 9114k| 271.3 | 71M | 63 |1642 |3646 | 0 |1673 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 170s| 33700 | 3533 | 9162k| 271.9 | 71M | 63 |1642 |3746 |1136 |1729 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 170s| 33800 | 3528 | 9203k| 272.3 | 72M | 63 |1642 |3718 |1136 |1729 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 171s| 33900 | 3535 | 9231k| 272.3 | 72M | 63 |1642 |3684 |1136 |1729 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 171s| 34000 | 3537 | 9262k| 272.4 | 72M | 63 |1642 |3701 | 0 |1729 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 172s| 34100 | 3502 | 9292k| 272.5 | 72M | 63 |1642 |3652 | 0 |1831 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 173s| 34200 | 3493 | 9318k| 272.5 | 72M | 63 |1642 |3558 | 0 |1831 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 174s| 34300 | 3434 | 9355k| 272.8 | 72M | 63 |1642 |3406 | 0 |1831 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 175s| 34400 | 3382 | 9382k| 272.7 | 72M | 63 |1642 |3291 | 0 |1831 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
250.18/251.04 c 176s| 34500 | 3309 | 9415k| 272.9 | 72M | 63 |1642 |3273 |1167 |1831 | 1 | 11k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 176s| 34600 | 3251 | 9435k| 272.7 | 72M | 63 |1642 |3292 |1848 |1926 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 177s| 34700 | 3087 | 9455k| 272.5 | 72M | 63 |1642 |3356 | 0 |1926 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 178s| 34800 | 2987 | 9482k| 272.5 | 73M | 63 |1642 |3379 |1848 |1926 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 179s| 34900 | 2772 | 9518k| 272.7 | 73M | 63 |1642 |3479 | 0 |1981 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 180s| 35000 | 2596 | 9549k| 272.8 | 73M | 63 |1642 |3646 |1900 |1981 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 182s| 35100 | 2559 | 9606k| 273.7 | 73M | 63 |1642 |3768 |1947 |1981 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 183s| 35200 | 2552 | 9647k| 274.1 | 73M | 63 |1642 |3824 |1947 |1981 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 185s| 35300 | 2531 | 9699k| 274.8 | 74M | 63 |1642 |3854 | 0 |1981 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 187s| 35400 | 2470 | 9748k| 275.4 | 74M | 63 |1642 |3964 | 0 |1981 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 190s| 35500 | 2443 | 9822k| 276.7 | 74M | 63 |1642 |3958 |1947 |1981 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 194s| 35600 | 2402 | 9936k| 279.1 | 74M | 63 |1642 |3974 |1947 |1981 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 196s| 35700 | 2410 | 10012k| 280.5 | 74M | 63 |1642 |4013 |1947 |1981 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 198s| 35800 | 2358 | 10066k| 281.2 | 74M | 63 |1642 |4060 | 0 |1981 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 201s| 35900 | 2349 | 10147k| 282.7 | 74M | 63 |1642 |4106 |1947 |1981 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
250.18/251.04 c 203s| 36000 | 2311 | 10197k| 283.3 | 75M | 63 |1642 |4118 |1947 |1981 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 204s| 36100 | 2278 | 10255k| 284.1 | 75M | 63 |1642 |4118 |1947 |1981 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 206s| 36200 | 2240 | 10311k| 284.8 | 75M | 63 |1642 |4158 |1947 |1981 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 210s| 36300 | 2142 | 10400k| 286.5 | 75M | 63 |1642 |4223 | 0 |1981 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 212s| 36400 | 2069 | 10460k| 287.4 | 75M | 63 |1642 |4336 |1947 |1981 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 217s| 36500 | 2046 | 10542k| 288.8 | 76M | 63 |1642 |4369 | 0 |2056 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 218s| 36600 | 2050 | 10581k| 289.1 | 76M | 63 |1642 |4398 |1687 |2300 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 220s| 36700 | 1672 | 10646k| 290.1 | 76M | 63 |1642 |4302 | 0 |2300 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 221s| 36800 | 1661 | 10698k| 290.7 | 76M | 63 |1642 |4281 | 0 |2300 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 223s| 36900 | 1656 | 10750k| 291.4 | 76M | 63 |1642 |4283 |1875 |2409 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 225s| 37000 | 1604 | 10787k| 291.6 | 76M | 63 |1642 |4294 | 0 |2409 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 226s| 37100 | 1531 | 10825k| 291.8 | 77M | 63 |1642 |4362 | 0 |2409 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 230s| 37200 | 1411 | 10899k| 293.0 | 77M | 63 |1642 |4354 |1999 |2409 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 232s| 37300 | 1353 | 10956k| 293.8 | 77M | 63 |1642 |4389 | 0 |2409 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 234s| 37400 | 1267 | 11009k| 294.4 | 77M | 63 |1642 |4479 | 0 |2409 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
250.18/251.04 c 238s| 37500 | 1261 | 11097k| 295.9 | 77M | 63 |1642 |4541 | 0 |2409 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 238s| 37600 | 1195 | 11133k| 296.1 | 77M | 63 |1642 |4586 | 0 |2409 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 240s| 37700 | 937 | 11167k| 296.2 | 77M | 63 |1642 |4675 | 0 |2409 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 242s| 37800 | 649 | 11217k| 296.8 | 77M | 63 |1642 |4697 | 0 |2409 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 244s| 37900 | 561 | 11272k| 297.4 | 78M | 63 |1642 |4713 |2039 |2409 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 246s| 38000 | 515 | 11324k| 298.0 | 78M | 63 |1642 |4795 |2040 |2409 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf | 74.79%
250.18/251.04 c 248s| 38100 | 308 | 11366k| 298.3 | 78M | 63 |1642 |4854 |2071 |2409 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf | 74.79%
288.27/289.27 c 251s| 38200 | 171 | 11428k| 299.2 | 78M | 63 |1642 |4894 | 0 |2409 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf | 74.79%
288.27/289.27 c 287s| 38300 | 125 | 11860k| 309.7 | 78M | 63 |1642 |4872 |2071 |2471 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf | 74.79%
288.27/289.27 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
288.27/289.27 c (run 1, node 38340) performing user restart
288.27/289.27 c
288.27/289.27 c (restart) converted 329 cuts from the global cut pool into linear constraints
288.27/289.27 c
288.27/289.27 c presolving:
288.27/289.27 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
288.27/289.27 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
288.27/289.27 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
288.27/289.27 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
288.27/289.27 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
288.27/289.27 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
288.27/289.27 c presolving (7 rounds: 7 fast, 5 medium, 5 exhaustive):
288.27/289.27 c 2 deleted vars, 1699 deleted constraints, 2 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 2172 changed coefficients
288.27/289.27 c 0 implications, 2438 cliques
288.27/289.27 c presolved problem has 1640 variables (1640 bin, 0 int, 0 impl, 0 cont) and 3455 constraints
288.27/289.27 c 22 constraints of type <knapsack>
288.27/289.27 c 290 constraints of type <setppc>
288.27/289.27 c 111 constraints of type <and>
288.27/289.27 c 775 constraints of type <linear>
288.27/289.27 c 2257 constraints of type <logicor>
288.27/289.27 c transformed objective value is always integral (scale: 1)
288.27/289.27 c Presolving Time: 0.65
288.27/289.27 c
288.27/289.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
288.27/289.27 c 289s| 1 | 0 | 11888k| - | 85M | 0 |1640 |3457 |1310 | 0 | 0 | 17k| 0 | cutoff | -- | 0.00%| unknown
288.27/289.27 c 289s| 1 | 0 | 11888k| - | 85M | 0 |1640 |3457 |1310 | 0 | 0 | 17k| 0 | cutoff | -- | 0.00%| unknown
288.27/289.27 c
288.27/289.27 c SCIP Status : problem is solved [infeasible]
288.27/289.27 c Solving Time (sec) : 288.84
288.27/289.27 c Solving Nodes : 1 (total of 38341 nodes in 2 runs)
288.27/289.27 c Primal Bound : +1.00000000000000e+20 (0 solutions)
288.27/289.27 c Dual Bound : +1.00000000000000e+20
288.27/289.27 c Gap : 0.00 %
288.27/289.27 c SCIP found the problem to be infeasible.
288.27/289.27 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: 63794 MiB (59039 MiB free)
memory of node 1: 64507 MiB (63822 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517015-1751232108/watcher-4517015-1751232108 -o /tmp/evaluation-result-4517015-1751232108/solver-4517015-1751232108 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751226828-31367 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4517015-1751232108.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
solver pid=34829, runsolver pid=34826
Current StackSize limit: 8192 KiB
[startup+0.100072 s]*
/proc/loadavg: 4.24 4.15 4.11 5/258 34834
/proc/meminfo: memFree=125809636/131382116 swapFree=33010684/33010684
[pid=34829] ppid=34826 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/34829/stat : 34829 (scip-naps-1.00.) S 34826 34829 31357 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 38890516 4292608 768 18446744073709551615 94721957355520 94721958250053 140732881703712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94721958489104 94721958536848 94721982341120 140732881709473 140732881709570 140732881709570 140732881715172 0
/proc/34829/statm: 1048 768 704 219 0 110 0
[pid=34834] ppid=34829 vsize=13120 memory=10368 CPUtime=0.05 cores=0,2
/proc/34834/stat : 34834 (python3) R 34829 34829 31357 0 -1 4194304 1573 0 0 0 4 1 0 0 20 0 1 0 38890519 13434880 2592 18446744073709551615 94875996794880 94875996795257 140733992852416 0 0 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0 94875996806552 94875996807172 94876017401856 140733992855896 140733992856098 140733992856098 140733992861671 0
/proc/34834/statm: 3280 2592 1216 1 0 1457 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 17312 KiB
Current children cumulated memory: 13440 KiB
[startup+0.213609 s]*
/proc/loadavg: 4.24 4.15 4.11 6/258 34834
/proc/meminfo: memFree=125803616/131382116 swapFree=33010684/33010684
[pid=34829] ppid=34826 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/34829/stat : 34829 (scip-naps-1.00.) S 34826 34829 31357 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 38890516 4292608 768 18446744073709551615 94721957355520 94721958250053 140732881703712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94721958489104 94721958536848 94721982341120 140732881709473 140732881709570 140732881709570 140732881715172 0
/proc/34829/statm: 1048 768 704 219 0 110 0
[pid=34834] ppid=34829 vsize=1186040 memory=30544 CPUtime=0.15 cores=0,2
/proc/34834/stat : 34834 (python3) R 34829 34829 31357 0 -1 4194304 3466 0 0 0 13 2 0 0 20 0 1 0 38890519 1214504960 7636 18446744073709551615 94875996794880 94875996795257 140733992852416 0 0 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0 94875996806552 94875996807172 94876017401856 140733992855896 140733992856098 140733992856098 140733992861671 0
/proc/34834/statm: 296510 7636 4788 1 0 268578 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 1190232 KiB
Current children cumulated memory: 33616 KiB
[startup+0.315693 s]*
/proc/loadavg: 4.24 4.15 4.11 5/258 34834
/proc/meminfo: memFree=125799584/131382116 swapFree=33010684/33010684
[pid=34829] ppid=34826 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/34829/stat : 34829 (scip-naps-1.00.) S 34826 34829 31357 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 38890516 4292608 768 18446744073709551615 94721957355520 94721958250053 140732881703712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94721958489104 94721958536848 94721982341120 140732881709473 140732881709570 140732881709570 140732881715172 0
/proc/34829/statm: 1048 768 704 219 0 110 0
[pid=34834] ppid=34829 vsize=1189536 memory=34640 CPUtime=0.23 cores=0,2
/proc/34834/stat : 34834 (python3) R 34829 34829 31357 0 -1 4194304 4293 0 0 0 20 3 0 0 20 0 1 0 38890519 1218084864 8660 18446744073709551615 94875996794880 94875996795257 140733992852416 0 0 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0 94875996806552 94875996807172 94876017401856 140733992855896 140733992856098 140733992856098 140733992861671 0
/proc/34834/statm: 297384 8660 5044 1 0 269293 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 1193728 KiB
Current children cumulated memory: 37712 KiB
[startup+0.700276 s]
/proc/loadavg: 4.24 4.15 4.11 5/258 34834
/proc/meminfo: memFree=125776840/131382116 swapFree=33010684/33010684
[pid=34829] ppid=34826 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/34829/stat : 34829 (scip-naps-1.00.) S 34826 34829 31357 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 38890516 4292608 768 18446744073709551615 94721957355520 94721958250053 140732881703712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94721958489104 94721958536848 94721982341120 140732881709473 140732881709570 140732881709570 140732881715172 0
/proc/34829/statm: 1048 768 704 219 0 110 0
[pid=34834] ppid=34829 vsize=1213900 memory=66384 CPUtime=0.57 cores=0,2
/proc/34834/stat : 34834 (python3) R 34829 34829 31357 0 -1 4194304 9540 0 0 0 52 5 0 0 20 0 1 0 38890519 1243033600 16596 18446744073709551615 94875996794880 94875996795257 140733992852416 0 0 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0 94875996806552 94875996807172 94876017401856 140733992855896 140733992856098 140733992856098 140733992861671 0
/proc/34834/statm: 303475 16596 7956 1 0 274833 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 1218092 KiB
Current children cumulated memory: 69456 KiB
[startup+1.50027 s]
/proc/loadavg: 4.24 4.15 4.11 5/258 34834
/proc/meminfo: memFree=125777324/131382116 swapFree=33010684/33010684
[pid=34829] ppid=34826 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/34829/stat : 34829 (scip-naps-1.00.) S 34826 34829 31357 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 38890516 4292608 768 18446744073709551615 94721957355520 94721958250053 140732881703712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94721958489104 94721958536848 94721982341120 140732881709473 140732881709570 140732881709570 140732881715172 0
/proc/34829/statm: 1048 768 704 219 0 110 0
[pid=34834] ppid=34829 vsize=1221344 memory=72016 CPUtime=1.37 cores=0,2
/proc/34834/stat : 34834 (python3) R 34829 34829 31357 0 -1 4194304 10694 0 0 0 131 6 0 0 20 0 1 0 38890519 1250656256 18004 18446744073709551615 94875996794880 94875996795257 140733992852416 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94875996806552 94875996807172 94876017401856 140733992855896 140733992856098 140733992856098 140733992861671 0
/proc/34834/statm: 305336 18004 8244 1 0 276694 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 1225536 KiB
Current children cumulated memory: 75088 KiB
[startup+3.11287 s]
/proc/loadavg: 4.22 4.14 4.11 5/258 34834
/proc/meminfo: memFree=125769896/131382116 swapFree=33010684/33010684
[pid=34829] ppid=34826 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/34829/stat : 34829 (scip-naps-1.00.) S 34826 34829 31357 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 38890516 4292608 768 18446744073709551615 94721957355520 94721958250053 140732881703712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94721958489104 94721958536848 94721982341120 140732881709473 140732881709570 140732881709570 140732881715172 0
/proc/34829/statm: 1048 768 704 219 0 110 0
[pid=34834] ppid=34829 vsize=1221508 memory=72144 CPUtime=2.98 cores=0,2
/proc/34834/stat : 34834 (python3) R 34829 34829 31357 0 -1 4194304 10719 0 0 0 292 6 0 0 20 0 1 0 38890519 1250824192 18036 18446744073709551615 94875996794880 94875996795257 140733992852416 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94875996806552 94875996807172 94876017401856 140733992855896 140733992856098 140733992856098 140733992861671 0
/proc/34834/statm: 305377 18036 8244 1 0 276735 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 1225700 KiB
Current children cumulated memory: 75216 KiB
[startup+6.3003 s]
/proc/loadavg: 4.22 4.14 4.11 5/258 34883
/proc/meminfo: memFree=125753880/131382116 swapFree=33010684/33010684
[pid=34829] ppid=34826 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/34829/stat : 34829 (scip-naps-1.00.) S 34826 34829 31357 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 38890516 4292608 768 18446744073709551615 94721957355520 94721958250053 140732881703712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94721958489104 94721958536848 94721982341120 140732881709473 140732881709570 140732881709570 140732881715172 0
/proc/34829/statm: 1048 768 704 219 0 110 0
[pid=34834] ppid=34829 vsize=1222780 memory=73552 CPUtime=6.15 cores=0,2
/proc/34834/stat : 34834 (python3) R 34829 34829 31357 0 -1 4194304 11064 0 0 0 609 6 0 0 20 0 1 0 38890519 1252126720 18388 18446744073709551615 94875996794880 94875996795257 140733992852416 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94875996806552 94875996807172 94876017401856 140733992855896 140733992856098 140733992856098 140733992861671 0
/proc/34834/statm: 305695 18388 8244 1 0 277053 0
Current children cumulated CPU time: 6.15 s
Current children cumulated vsize: 1226972 KiB
Current children cumulated memory: 76624 KiB
[startup+12.7003 s]
/proc/loadavg: 4.20 4.14 4.11 5/258 34883
/proc/meminfo: memFree=125825680/131382116 swapFree=33010684/33010684
[pid=34829] ppid=34826 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/34829/stat : 34829 (scip-naps-1.00.) S 34826 34829 31357 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 38890516 4292608 768 18446744073709551615 94721957355520 94721958250053 140732881703712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94721958489104 94721958536848 94721982341120 140732881709473 140732881709570 140732881709570 140732881715172 0
/proc/34829/statm: 1048 768 704 219 0 110 0
[pid=34834] ppid=34829 vsize=1224084 memory=74832 CPUtime=12.53 cores=0,2
/proc/34834/stat : 34834 (python3) R 34829 34829 31357 0 -1 4194304 11399 0 0 0 1247 6 0 0 20 0 1 0 38890519 1253462016 18708 18446744073709551615 94875996794880 94875996795257 140733992852416 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94875996806552 94875996807172 94876017401856 140733992855896 140733992856098 140733992856098 140733992861671 0
/proc/34834/statm: 306021 18708 8244 1 0 277379 0
Current children cumulated CPU time: 12.53 s
Current children cumulated vsize: 1228276 KiB
Current children cumulated memory: 77904 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.13 4.11 5/258 34883
/proc/meminfo: memFree=125810276/131382116 swapFree=33010684/33010684
[pid=34829] ppid=34826 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/34829/stat : 34829 (scip-naps-1.00.) S 34826 34829 31357 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 38890516 4292608 768 18446744073709551615 94721957355520 94721958250053 140732881703712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94721958489104 94721958536848 94721982341120 140732881709473 140732881709570 140732881709570 140732881715172 0
/proc/34829/statm: 1048 768 704 219 0 110 0
[pid=34834] ppid=34829 vsize=1232728 memory=83536 CPUtime=25.3 cores=0,2
/proc/34834/stat : 34834 (python3) R 34829 34829 31357 0 -1 4194304 13572 0 0 0 2523 7 0 0 20 0 1 0 38890519 1262313472 20884 18446744073709551615 94875996794880 94875996795257 140733992852416 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94875996806552 94875996807172 94876017401856 140733992855896 140733992856098 140733992856098 140733992861671 0
/proc/34834/statm: 308182 20884 8244 1 0 279540 0
Current children cumulated CPU time: 25.3 s
Current children cumulated vsize: 1236920 KiB
Current children cumulated memory: 86608 KiB
[startup+51.1129 s]
/proc/loadavg: 4.17 4.14 4.11 5/258 34884
/proc/meminfo: memFree=125783628/131382116 swapFree=33010684/33010684
[pid=34829] ppid=34826 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/34829/stat : 34829 (scip-naps-1.00.) S 34826 34829 31357 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 38890516 4292608 768 18446744073709551615 94721957355520 94721958250053 140732881703712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94721958489104 94721958536848 94721982341120 140732881709473 140732881709570 140732881709570 140732881715172 0
/proc/34829/statm: 1048 768 704 219 0 110 0
[pid=34834] ppid=34829 vsize=1242204 memory=92752 CPUtime=50.84 cores=0,2
/proc/34834/stat : 34834 (python3) R 34829 34829 31357 0 -1 4194304 15877 0 0 0 5076 8 0 0 20 0 1 0 38890519 1272016896 23188 18446744073709551615 94875996794880 94875996795257 140733992852416 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94875996806552 94875996807172 94876017401856 140733992855896 140733992856098 140733992856098 140733992861671 0
/proc/34834/statm: 310551 23188 8244 1 0 281909 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 1246396 KiB
Current children cumulated memory: 95824 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.13 4.11 5/259 35036
/proc/meminfo: memFree=125780340/131382116 swapFree=33010684/33010684
[pid=34829] ppid=34826 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/34829/stat : 34829 (scip-naps-1.00.) S 34826 34829 31357 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 38890516 4292608 768 18446744073709551615 94721957355520 94721958250053 140732881703712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94721958489104 94721958536848 94721982341120 140732881709473 140732881709570 140732881709570 140732881715172 0
/proc/34829/statm: 1048 768 704 219 0 110 0
[pid=34834] ppid=34829 vsize=1258644 memory=109008 CPUtime=101.87 cores=0,2
/proc/34834/stat : 34834 (python3) R 34829 34829 31357 0 -1 4194304 19952 0 0 0 10179 8 0 0 20 0 1 0 38890519 1288851456 27252 18446744073709551615 94875996794880 94875996795257 140733992852416 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94875996806552 94875996807172 94876017401856 140733992855896 140733992856098 140733992856098 140733992861671 0
/proc/34834/statm: 314661 27252 8244 1 0 286019 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 1262836 KiB
Current children cumulated memory: 112080 KiB
[startup+162.3 s]
/proc/loadavg: 4.30 4.17 4.12 5/258 35236
/proc/meminfo: memFree=125731444/131382116 swapFree=33010684/33010684
[pid=34829] ppid=34826 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/34829/stat : 34829 (scip-naps-1.00.) S 34826 34829 31357 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 38890516 4292608 768 18446744073709551615 94721957355520 94721958250053 140732881703712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94721958489104 94721958536848 94721982341120 140732881709473 140732881709570 140732881709570 140732881715172 0
/proc/34829/statm: 1048 768 704 219 0 110 0
[pid=34834] ppid=34829 vsize=1271628 memory=121552 CPUtime=161.71 cores=0,2
/proc/34834/stat : 34834 (python3) R 34829 34829 31357 0 -1 4194304 23104 0 0 0 16161 10 0 0 20 0 1 0 38890519 1302147072 30388 18446744073709551615 94875996794880 94875996795257 140733992852416 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94875996806552 94875996807172 94876017401856 140733992855896 140733992856098 140733992856098 140733992861671 0
/proc/34834/statm: 317907 30388 8244 1 0 289265 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 1275820 KiB
Current children cumulated memory: 124624 KiB
[startup+222.3 s]
/proc/loadavg: 4.52 4.27 4.16 5/257 35238
/proc/meminfo: memFree=125676408/131382116 swapFree=33010684/33010684
[pid=34829] ppid=34826 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/34829/stat : 34829 (scip-naps-1.00.) S 34826 34829 31357 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 38890516 4292608 768 18446744073709551615 94721957355520 94721958250053 140732881703712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94721958489104 94721958536848 94721982341120 140732881709473 140732881709570 140732881709570 140732881715172 0
/proc/34829/statm: 1048 768 704 219 0 110 0
[pid=34834] ppid=34829 vsize=1277768 memory=127824 CPUtime=221.54 cores=0,2
/proc/34834/stat : 34834 (python3) R 34829 34829 31357 0 -1 4194304 24670 0 0 0 22144 10 0 0 20 0 1 0 38890519 1308434432 31956 18446744073709551615 94875996794880 94875996795257 140733992852416 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94875996806552 94875996807172 94876017401856 140733992855896 140733992856098 140733992856098 140733992861671 0
/proc/34834/statm: 319442 31956 8244 1 0 290800 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 1281960 KiB
Current children cumulated memory: 130896 KiB
[startup+282.3 s]
/proc/loadavg: 4.25 4.23 4.15 5/258 35241
/proc/meminfo: memFree=125686692/131382116 swapFree=33010684/33010684
[pid=34829] ppid=34826 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/34829/stat : 34829 (scip-naps-1.00.) S 34826 34829 31357 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 38890516 4292608 768 18446744073709551615 94721957355520 94721958250053 140732881703712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94721958489104 94721958536848 94721982341120 140732881709473 140732881709570 140732881709570 140732881715172 0
/proc/34829/statm: 1048 768 704 219 0 110 0
[pid=34834] ppid=34829 vsize=1300484 memory=149088 CPUtime=281.39 cores=0,2
/proc/34834/stat : 34834 (python3) R 34829 34829 31357 0 -1 4194304 31027 0 0 0 28127 12 0 0 20 0 1 0 38890519 1331695616 37272 18446744073709551615 94875996794880 94875996795257 140733992852416 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94875996806552 94875996807172 94876017401856 140733992855896 140733992856098 140733992856098 140733992861671 0
/proc/34834/statm: 325121 37272 8244 1 0 296479 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 1304676 KiB
Current children cumulated memory: 152160 KiB
[startup+289.311 s]
# the end of solver process 34829 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=288.262 s, system=0.141292 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+284.8 s]
/proc/loadavg: 4.23 4.23 4.15 5/258 35241
/proc/meminfo: memFree=125702824/131382116 swapFree=33010684/33010684
[pid=34829] ppid=34826 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/34829/stat : 34829 (scip-naps-1.00.) S 34826 34829 31357 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 38890516 4292608 768 18446744073709551615 94721957355520 94721958250053 140732881703712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94721958489104 94721958536848 94721982341120 140732881709473 140732881709570 140732881709570 140732881715172 0
/proc/34829/statm: 1048 768 704 219 0 110 0
[pid=34834] ppid=34829 vsize=1300484 memory=149088 CPUtime=283.89 cores=0,2
/proc/34834/stat : 34834 (python3) R 34829 34829 31357 0 -1 4194304 31027 0 0 0 28377 12 0 0 20 0 1 0 38890519 1331695616 37272 18446744073709551615 94875996794880 94875996795257 140733992852416 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94875996806552 94875996807172 94876017401856 140733992855896 140733992856098 140733992856098 140733992861671 0
/proc/34834/statm: 325121 37272 8244 1 0 296479 0
Current children cumulated CPU time: 283.89 s
Current children cumulated vsize: 1304676 KiB
Current children cumulated memory: 152160 KiB
[startup+286.4 s]
/proc/loadavg: 4.23 4.23 4.15 5/258 35241
/proc/meminfo: memFree=125711016/131382116 swapFree=33010684/33010684
[pid=34829] ppid=34826 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/34829/stat : 34829 (scip-naps-1.00.) S 34826 34829 31357 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 38890516 4292608 768 18446744073709551615 94721957355520 94721958250053 140732881703712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94721958489104 94721958536848 94721982341120 140732881709473 140732881709570 140732881709570 140732881715172 0
/proc/34829/statm: 1048 768 704 219 0 110 0
[pid=34834] ppid=34829 vsize=1300484 memory=149088 CPUtime=285.48 cores=0,2
/proc/34834/stat : 34834 (python3) R 34829 34829 31357 0 -1 4194304 31027 0 0 0 28536 12 0 0 20 0 1 0 38890519 1331695616 37272 18446744073709551615 94875996794880 94875996795257 140733992852416 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94875996806552 94875996807172 94876017401856 140733992855896 140733992856098 140733992856098 140733992861671 0
/proc/34834/statm: 325121 37272 8244 1 0 296479 0
Current children cumulated CPU time: 285.48 s
Current children cumulated vsize: 1304676 KiB
Current children cumulated memory: 152160 KiB
[startup+288 s]*
/proc/loadavg: 4.21 4.23 4.15 5/258 35241
/proc/meminfo: memFree=125702824/131382116 swapFree=33010684/33010684
[pid=34829] ppid=34826 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/34829/stat : 34829 (scip-naps-1.00.) S 34826 34829 31357 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 38890516 4292608 768 18446744073709551615 94721957355520 94721958250053 140732881703712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94721958489104 94721958536848 94721982341120 140732881709473 140732881709570 140732881709570 140732881715172 0
/proc/34829/statm: 1048 768 704 219 0 110 0
[pid=34834] ppid=34829 vsize=1300484 memory=149088 CPUtime=287.09 cores=0,2
/proc/34834/stat : 34834 (python3) R 34829 34829 31357 0 -1 4194304 31027 0 0 0 28697 12 0 0 20 0 1 0 38890519 1331695616 37272 18446744073709551615 94875996794880 94875996795257 140733992852416 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94875996806552 94875996807172 94876017401856 140733992855896 140733992856098 140733992856098 140733992861671 0
/proc/34834/statm: 325121 37272 8244 1 0 296479 0
Current children cumulated CPU time: 287.09 s
Current children cumulated vsize: 1304676 KiB
Current children cumulated memory: 152160 KiB
[startup+288.8 s]
/proc/loadavg: 4.21 4.23 4.15 5/258 35241
/proc/meminfo: memFree=125702824/131382116 swapFree=33010684/33010684
[pid=34829] ppid=34826 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/34829/stat : 34829 (scip-naps-1.00.) S 34826 34829 31357 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 38890516 4292608 768 18446744073709551615 94721957355520 94721958250053 140732881703712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94721958489104 94721958536848 94721982341120 140732881709473 140732881709570 140732881709570 140732881715172 0
/proc/34829/statm: 1048 768 704 219 0 110 0
[pid=34834] ppid=34829 vsize=1300484 memory=149088 CPUtime=287.88 cores=0,2
/proc/34834/stat : 34834 (python3) R 34829 34829 31357 0 -1 4194304 31029 0 0 0 28776 12 0 0 20 0 1 0 38890519 1331695616 37272 18446744073709551615 94875996794880 94875996795257 140733992852416 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94875996806552 94875996807172 94876017401856 140733992855896 140733992856098 140733992856098 140733992861671 0
/proc/34834/statm: 325121 37272 8244 1 0 296479 0
Current children cumulated CPU time: 287.88 s
Current children cumulated vsize: 1304676 KiB
Current children cumulated memory: 152160 KiB
[startup+289.2 s]
/proc/loadavg: 4.21 4.23 4.15 5/258 35241
/proc/meminfo: memFree=125715112/131382116 swapFree=33010684/33010684
[pid=34829] ppid=34826 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/34829/stat : 34829 (scip-naps-1.00.) S 34826 34829 31357 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 38890516 4292608 768 18446744073709551615 94721957355520 94721958250053 140732881703712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94721958489104 94721958536848 94721982341120 140732881709473 140732881709570 140732881709570 140732881715172 0
/proc/34829/statm: 1048 768 704 219 0 110 0
[pid=34834] ppid=34829 vsize=1300484 memory=149216 CPUtime=288.27 cores=0,2
/proc/34834/stat : 34834 (python3) R 34829 34829 31357 0 -1 4194304 31067 0 0 0 28815 12 0 0 20 0 1 0 38890519 1331695616 37304 18446744073709551615 94875996794880 94875996795257 140733992852416 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94875996806552 94875996807172 94876017401856 140733992855896 140733992856098 140733992856098 140733992861671 0
/proc/34834/statm: 325121 37304 8244 1 0 296479 0
Current children cumulated CPU time: 288.27 s
Current children cumulated vsize: 1304676 KiB
Current children cumulated memory: 152288 KiB
[startup+289.3 s]
/proc/loadavg: 4.21 4.23 4.15 5/258 35241
/proc/meminfo: memFree=125715112/131382116 swapFree=33010684/33010684
[pid=34829] ppid=34826 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/34829/stat : 34829 (scip-naps-1.00.) S 34826 34829 31357 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 38890516 4292608 768 18446744073709551615 94721957355520 94721958250053 140732881703712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94721958489104 94721958536848 94721982341120 140732881709473 140732881709570 140732881709570 140732881715172 0
/proc/34829/statm: 1048 768 704 219 0 110 0
[pid=34834] ppid=34829 vsize=1299200 memory=149216 CPUtime=288.37 cores=0,2
/proc/34834/stat : 34834 (python3) R 34829 34829 31357 0 -1 4194304 31067 0 0 0 28825 12 0 0 20 0 1 0 38890519 1330380800 37304 18446744073709551615 94875996794880 94875996795257 140733992852416 0 0 0 0 16781312 0 0 0 0 17 0 0 0 0 0 0 94875996806552 94875996807172 94876017401856 140733992855896 140733992856098 140733992856098 140733992861671 0
/proc/34834/statm: 324800 37304 8244 1 0 296158 0
Current children cumulated CPU time: 288.37 s
Current children cumulated vsize: 1303392 KiB
Current children cumulated memory: 152288 KiB
Child status: 0
Real time (s): 289.311
CPU time (s): 288.404
CPU user time (s): 288.262
CPU system time (s): 0.141292
CPU usage (%): 99.6865
Max. virtual memory (cumulated for all children) (KiB): 1304676
Max. memory (cumulated for all children) (KiB): 152288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 288.262
system time used= 0.141292
maximum resident set size= 153168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31710
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= 691
# summary of solver processes directly reported to runsolver:
# pid: 34829
# total CPU time (s): 288.404
# total CPU user time (s): 288.262
# total CPU system time (s): 0.141292
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.47566 second user time and 2.86654 second system time
The end