25.47/25.65 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4499179-1751393728.opb
25.47/25.65 c Solving mode: optimization
25.47/25.65 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
25.47/25.65 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
25.47/25.65 c original problem has 3216 variables (3216 bin, 0 int, 0 impl, 0 cont) and 3658 constraints
25.47/25.65 c presolving:
25.47/25.65 c (round 1, fast) 6 del vars, 1 del conss, 0 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 447 clqs
25.47/25.65 c (round 2, fast) 6 del vars, 3211 del conss, 0 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 447 clqs
25.47/25.65 c (round 3, exhaustive) 6 del vars, 3211 del conss, 0 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 447 upgd conss, 0 impls, 447 clqs
25.47/25.65 c (0.1s) probing: 51/3210 (1.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
25.47/25.65 c (0.1s) probing aborted: 50/50 successive totally useless probings
25.47/25.65 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
25.47/25.65 c (0.7s) symmetry computation finished: 428 generators found (max: 1500, log10 of symmetry group size: 140.0) (symcode time: 0.64)
25.47/25.65 c dynamic symmetry handling statistics:
25.47/25.65 c orbitopal reduction: no components
25.47/25.65 c orbital reduction: no components
25.47/25.65 c lexicographic reduction: no permutations
25.47/25.65 c handled 1 out of 1 symmetry components
25.47/25.65 c (round 4, exhaustive) 392 del vars, 3211 del conss, 383 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 447 upgd conss, 0 impls, 428 clqs
25.47/25.65 c (round 5, medium) 612 del vars, 3211 del conss, 383 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 447 upgd conss, 0 impls, 402 clqs
25.47/25.65 c (round 6, medium) 680 del vars, 3211 del conss, 383 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 447 upgd conss, 0 impls, 399 clqs
25.47/25.65 c (round 7, medium) 695 del vars, 3211 del conss, 383 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 447 upgd conss, 0 impls, 399 clqs
25.47/25.65 c (round 8, medium) 736 del vars, 3211 del conss, 383 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 447 upgd conss, 0 impls, 399 clqs
25.47/25.65 c (round 9, medium) 749 del vars, 3211 del conss, 383 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 447 upgd conss, 0 impls, 399 clqs
25.47/25.65 c (1.0s) probing: 1000/3210 (31.2%) - 0 fixings, 0 aggregations, 35130 implications, 0 bound changes
25.47/25.65 c (1.1s) probing: 1203/3210 (37.5%) - 0 fixings, 0 aggregations, 42067 implications, 0 bound changes
25.47/25.65 c (1.1s) probing aborted: 50/50 successive totally useless probings
25.47/25.65 c presolving (10 rounds: 10 fast, 8 medium, 3 exhaustive):
25.47/25.65 c 750 deleted vars, 3211 deleted constraints, 383 added constraints, 6 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
25.47/25.65 c 0 implications, 31998 cliques
25.47/25.65 c presolved problem has 2466 variables (2466 bin, 0 int, 0 impl, 0 cont) and 830 constraints
25.47/25.65 c 384 constraints of type <knapsack>
25.47/25.65 c 63 constraints of type <setppc>
25.47/25.65 c 383 constraints of type <orbitope>
25.47/25.65 c transformed objective value is always integral (scale: 1)
25.47/25.65 c Presolving Time: 1.10
25.47/25.65 c
25.47/25.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
25.47/25.65 c 1.3s| 1 | 0 | 584 | - | 74M | 0 |2466 | 886 | 447 | 0 | 0 | 55 | 0 | 6.000000e+00 | -- | Inf | unknown
25.47/25.65 c 1.4s| 1 | 0 | 1086 | - | 77M | 0 |2466 | 886 | 460 | 13 | 1 | 55 | 0 | 6.000000e+00 | -- | Inf | unknown
25.47/25.65 c 1.5s| 1 | 0 | 1174 | - | 79M | 0 |2466 | 886 | 478 | 31 | 2 | 55 | 0 | 6.000000e+00 | -- | Inf | unknown
25.47/25.65 c 1.5s| 1 | 0 | 1321 | - | 81M | 0 |2466 | 886 | 495 | 48 | 3 | 55 | 0 | 6.000000e+00 | -- | Inf | unknown
25.47/25.65 c 1.6s| 1 | 0 | 1413 | - | 83M | 0 |2466 | 888 | 511 | 64 | 4 | 57 | 0 | 6.000000e+00 | -- | Inf | unknown
25.47/25.65 c 1.7s| 1 | 0 | 1987 | - | 84M | 0 |2466 | 888 | 531 | 84 | 5 | 57 | 0 | 6.000000e+00 | -- | Inf | unknown
25.47/25.65 c 1.7s| 1 | 0 | 2182 | - | 87M | 0 |2466 | 889 | 550 | 103 | 6 | 58 | 0 | 6.000000e+00 | -- | Inf | unknown
25.47/25.65 c 1.8s| 1 | 0 | 2285 | - | 89M | 0 |2466 | 889 | 569 | 122 | 7 | 58 | 0 | 6.000000e+00 | -- | Inf | unknown
25.47/25.65 c 1.8s| 1 | 0 | 2345 | - | 90M | 0 |2466 | 890 | 584 | 137 | 8 | 59 | 0 | 6.000000e+00 | -- | Inf | unknown
25.47/25.65 c 1.9s| 1 | 0 | 2464 | - | 92M | 0 |2466 | 890 | 603 | 156 | 9 | 59 | 0 | 6.000000e+00 | -- | Inf | unknown
25.47/25.65 c 2.0s| 1 | 0 | 2882 | - | 94M | 0 |2466 | 891 | 620 | 173 | 10 | 60 | 0 | 6.000000e+00 | -- | Inf | unknown
25.47/25.65 c 2.0s| 1 | 0 | 3012 | - | 94M | 0 |2466 | 892 | 640 | 193 | 11 | 61 | 0 | 6.000000e+00 | -- | Inf | unknown
25.47/25.65 c 2.3s| 1 | 2 | 4807 | - | 95M | 0 |2466 | 930 | 640 | 193 | 11 | 99 | 11 | 6.000000e+00 | -- | Inf | unknown
25.47/25.65 c 5.8s| 100 | 63 | 39427 | 367.8 | 98M | 30 |2466 |1323 | 499 | 394 | 0 | 494 | 11 | 6.000000e+00 | -- | Inf | unknown
25.47/25.65 c 7.4s| 200 | 92 | 60038 | 286.6 | 99M | 39 |2466 |1491 | 497 | 583 | 1 | 668 | 11 | 6.000000e+00 | -- | Inf | unknown
25.47/25.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
25.47/25.65 c 8.9s| 300 | 102 | 80686 | 259.8 | 100M | 39 |2466 |1693 | 490 | 730 | 0 | 879 | 11 | 6.000000e+00 | -- | Inf | unknown
25.47/25.65 c 10.6s| 400 | 101 | 98396 | 239.1 | 101M | 40 |2466 |1888 | 475 | 921 | 1 |1149 | 11 | 6.000000e+00 | -- | Inf | unknown
25.47/25.65 c 11.6s| 500 | 146 |109185 | 212.8 | 102M | 40 |2466 |1953 | 510 |1088 | 1 |1236 | 11 | 6.000000e+00 | -- | Inf | unknown
25.47/25.65 c 12.6s| 600 | 170 |120358 | 195.9 | 103M | 40 |2466 |2004 | 474 |1269 | 1 |1411 | 11 | 6.000000e+00 | -- | Inf | unknown
25.47/25.65 c 13.5s| 700 | 189 |130615 | 182.6 | 104M | 40 |2466 |2054 | 486 |1385 | 1 |1485 | 11 | 6.000000e+00 | -- | Inf | unknown
25.47/25.65 c 14.8s| 800 | 222 |143133 | 175.4 | 104M | 40 |2466 |2157 | 501 |1627 | 2 |1721 | 11 | 6.000000e+00 | -- | Inf | unknown
25.47/25.65 c 15.8s| 900 | 269 |153177 | 167.0 | 105M | 40 |2466 |2258 | 506 |1806 | 1 |1923 | 11 | 6.000000e+00 | -- | Inf | unknown
25.47/25.65 c 16.6s| 1000 | 307 |160219 | 157.4 | 105M | 40 |2466 |2431 | 506 |1922 | 1 |2137 | 11 | 6.000000e+00 | -- | Inf | unknown
25.47/25.65 c 17.4s| 1100 | 343 |169798 | 151.8 | 106M | 40 |2466 |2581 | 507 |1992 | 1 |2317 | 11 | 6.000000e+00 | -- | Inf | unknown
25.47/25.65 c 18.4s| 1200 | 378 |179971 | 147.6 | 107M | 40 |2466 |2754 | 490 |2105 | 1 |2567 | 11 | 6.000000e+00 | -- | Inf | unknown
25.47/25.65 c 19.6s| 1300 | 421 |198469 | 150.5 | 107M | 40 |2466 |2914 | 508 |2200 | 0 |2832 | 11 | 6.000000e+00 | -- | Inf | unknown
25.47/25.65 c 20.5s| 1400 | 455 |206469 | 145.4 | 107M | 40 |2466 |3033 | 465 |2366 | 1 |3054 | 11 | 6.000000e+00 | -- | Inf | unknown
25.47/25.65 c 21.6s| 1500 | 509 |216112 | 142.2 | 108M | 40 |2466 |3102 | 475 |2508 | 1 |3265 | 11 | 6.000000e+00 | -- | Inf | unknown
25.47/25.65 c 22.4s| 1600 | 550 |223958 | 138.2 | 108M | 40 |2466 |3234 | 493 |2716 | 1 |3478 | 11 | 6.000000e+00 | -- | Inf | unknown
25.47/25.65 c 23.6s| 1700 | 606 |234992 | 136.5 | 109M | 40 |2466 |3274 | 489 |2895 | 1 |3654 | 11 | 6.000000e+00 | -- | Inf | unknown
25.47/25.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
25.47/25.65 c 24.3s| 1800 | 638 |240459 | 132.0 | 109M | 40 |2466 |3362 | 475 |3066 | 1 |3800 | 11 | 6.000000e+00 | -- | Inf | unknown
76.24/76.59 c 25.5s| 1900 | 670 |253601 | 132.0 | 110M | 40 |2466 |3486 | 498 |3276 | 1 |4013 | 11 | 6.000000e+00 | -- | Inf | unknown
76.24/76.59 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
76.24/76.59 c (run 1, node 1938) performing user restart
76.24/76.59 c
76.24/76.59 c (restart) converted 17 cuts from the global cut pool into linear constraints
76.24/76.59 c
76.24/76.59 c presolving:
76.24/76.59 c (round 1, fast) 0 del vars, 52 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 2 chg coeffs, 0 upgd conss, 0 impls, 32011 clqs
76.24/76.59 c (round 2, exhaustive) 0 del vars, 52 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 2 chg coeffs, 17 upgd conss, 0 impls, 32011 clqs
76.24/76.59 c (round 3, exhaustive) 0 del vars, 322 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 207 chg coeffs, 17 upgd conss, 0 impls, 32011 clqs
76.24/76.59 c (round 4, exhaustive) 0 del vars, 329 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 207 chg coeffs, 17 upgd conss, 0 impls, 32011 clqs
76.24/76.59 c (round 5, exhaustive) 0 del vars, 329 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 283 chg coeffs, 17 upgd conss, 0 impls, 32011 clqs
76.24/76.59 c presolving (6 rounds: 6 fast, 5 medium, 5 exhaustive):
76.24/76.59 c 0 deleted vars, 330 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 283 changed coefficients
76.24/76.59 c 0 implications, 32011 cliques
76.24/76.59 c presolved problem has 2466 variables (2466 bin, 0 int, 0 impl, 0 cont) and 3155 constraints
76.24/76.59 c 399 constraints of type <knapsack>
76.24/76.59 c 79 constraints of type <setppc>
76.24/76.59 c 14 constraints of type <linear>
76.24/76.59 c 383 constraints of type <orbitope>
76.24/76.59 c 2280 constraints of type <logicor>
76.24/76.59 c transformed objective value is always integral (scale: 1)
76.24/76.59 c Presolving Time: 1.91
76.24/76.59 c
76.24/76.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
76.24/76.59 c 26.7s| 1 | 0 |258039 | - | 124M | 0 |2466 |3157 | 464 | 0 | 0 |4074 | 11 | 6.000000e+00 | -- | Inf | unknown
76.24/76.59 c 27.0s| 1 | 0 |258081 | - | 124M | 0 |2466 |3157 | 481 | 17 | 1 |4074 | 11 | 6.000000e+00 | -- | Inf | unknown
76.24/76.59 c 27.1s| 1 | 0 |258133 | - | 125M | 0 |2466 |3162 | 501 | 37 | 2 |4079 | 11 | 6.000000e+00 | -- | Inf | unknown
76.24/76.59 c 27.1s| 1 | 0 |258182 | - | 126M | 0 |2466 |3163 | 517 | 53 | 3 |4080 | 11 | 6.000000e+00 | -- | Inf | unknown
76.24/76.59 c 27.2s| 1 | 0 |258235 | - | 126M | 0 |2466 |3167 | 538 | 74 | 4 |4084 | 11 | 6.000000e+00 | -- | Inf | unknown
76.24/76.59 c 27.3s| 1 | 0 |258293 | - | 126M | 0 |2466 |3170 | 553 | 89 | 5 |4087 | 11 | 6.000000e+00 | -- | Inf | unknown
76.24/76.59 c 27.3s| 1 | 0 |258400 | - | 126M | 0 |2466 |3170 | 574 | 110 | 6 |4088 | 11 | 6.000000e+00 | -- | Inf | unknown
76.24/76.59 c 27.4s| 1 | 0 |258466 | - | 126M | 0 |2466 |3170 | 590 | 126 | 7 |4088 | 11 | 6.000000e+00 | -- | Inf | unknown
76.24/76.59 c 27.5s| 1 | 0 |258550 | - | 127M | 0 |2466 |3170 | 606 | 142 | 8 |4089 | 11 | 6.000000e+00 | -- | Inf | unknown
76.24/76.59 c 27.6s| 1 | 0 |258699 | - | 127M | 0 |2466 |3167 | 626 | 162 | 9 |4090 | 11 | 6.000000e+00 | -- | Inf | unknown
76.24/76.59 c 27.6s| 1 | 0 |258777 | - | 129M | 0 |2466 |3160 | 631 | 179 | 10 |4092 | 11 | 6.000000e+00 | -- | Inf | unknown
76.24/76.59 c 27.8s| 1 | 0 |260015 | - | 129M | 0 |2466 |3143 | 654 | 202 | 11 |4097 | 11 | 6.000000e+00 | -- | Inf | unknown
76.24/76.59 c 28.7s| 1 | 2 |264848 | - | 129M | 0 |2466 |3127 | 654 | 202 | 11 |4144 | 22 | 6.000000e+00 | -- | Inf | unknown
76.24/76.59 c 31.1s| 100 | 61 |282777 | 136.1 | 129M | 42 |2466 |3186 | 569 | 336 | 1 |4280 | 22 | 6.000000e+00 | -- | Inf | 3.91%
76.24/76.59 c 32.5s| 200 | 83 |296216 | 136.0 | 131M | 50 |2466 |3239 | 591 | 518 | 0 |4340 | 22 | 6.000000e+00 | -- | Inf | 3.91%
76.24/76.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
76.24/76.59 c 33.7s| 300 | 89 |308673 | 135.5 | 132M | 54 |2466 |3299 | 574 | 657 | 0 |4412 | 22 | 6.000000e+00 | -- | Inf | 3.91%
76.24/76.59 c 35.1s| 400 | 109 |323718 | 136.1 | 132M | 54 |2466 |3301 | 586 | 872 | 1 |4425 | 22 | 6.000000e+00 | -- | Inf | 3.91%
76.24/76.59 c 36.9s| 500 | 122 |342636 | 138.3 | 132M | 54 |2466 |3314 | 569 |1037 | 1 |4464 | 22 | 6.000000e+00 | -- | Inf | 3.91%
76.24/76.59 c 38.6s| 600 | 133 |359385 | 139.4 | 132M | 54 |2466 |3324 | 578 |1244 | 0 |4498 | 22 | 6.000000e+00 | -- | Inf | 3.91%
76.24/76.59 c 39.9s| 700 | 149 |372991 | 139.3 | 132M | 54 |2466 |3354 | 588 |1464 | 1 |4556 | 22 | 6.000000e+00 | -- | Inf | 3.91%
76.24/76.59 c 41.7s| 800 | 164 |390226 | 140.5 | 132M | 54 |2466 |3358 | 564 |1662 | 1 |4581 | 22 | 6.000000e+00 | -- | Inf | 3.91%
76.24/76.59 c 42.9s| 900 | 172 |400901 | 139.3 | 132M | 54 |2466 |3370 | 584 |1852 | 2 |4609 | 22 | 6.000000e+00 | -- | Inf | 3.91%
76.24/76.59 c 44.5s| 1000 | 187 |415731 | 139.6 | 132M | 54 |2466 |3402 | 570 |2072 | 1 |4669 | 22 | 6.000000e+00 | -- | Inf | 3.91%
76.24/76.59 c 45.8s| 1100 | 216 |431241 | 140.1 | 133M | 54 |2466 |3420 | 572 |2181 | 1 |4721 | 22 | 6.000000e+00 | -- | Inf | 3.91%
76.24/76.59 c 47.4s| 1200 | 209 |445771 | 140.3 | 133M | 54 |2466 |3450 | 586 |2354 | 1 |4780 | 22 | 6.000000e+00 | -- | Inf | 3.91%
76.24/76.59 c 49.1s| 1300 | 211 |462217 | 141.1 | 133M | 54 |2466 |3472 | 576 |2576 | 1 |4825 | 22 | 6.000000e+00 | -- | Inf | 3.91%
76.24/76.59 c 51.2s| 1400 | 240 |485526 | 143.8 | 133M | 54 |2466 |3494 | 564 |2793 | 0 |4887 | 22 | 6.000000e+00 | -- | Inf | 3.91%
76.24/76.59 c 52.6s| 1500 | 251 |498872 | 143.5 | 133M | 54 |2466 |3496 | 567 |2920 | 1 |4931 | 22 | 6.000000e+00 | -- | Inf | 3.91%
76.24/76.59 c 54.6s| 1600 | 266 |519702 | 145.3 | 133M | 54 |2466 |3515 | 601 |3102 | 0 |4985 | 22 | 6.000000e+00 | -- | Inf | 3.91%
76.24/76.59 c 56.4s| 1700 | 280 |539302 | 146.7 | 133M | 54 |2466 |3537 | 604 |3283 | 1 |5030 | 22 | 6.000000e+00 | -- | Inf | 3.91%
76.24/76.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
76.24/76.59 c 57.7s| 1800 | 300 |559008 | 148.1 | 133M | 54 |2466 |3559 | 587 |3451 | 0 |5063 | 22 | 6.000000e+00 | -- | Inf | 3.91%
76.24/76.59 c 59.2s| 1900 | 305 |574741 | 148.3 | 133M | 54 |2466 |3567 | 579 |3618 | 0 |5077 | 22 | 6.000000e+00 | -- | Inf | 3.91%
76.24/76.59 c 61.3s| 2000 | 325 |596510 | 150.1 | 134M | 54 |2466 |3605 | 584 |3916 | 0 |5141 | 22 | 6.000000e+00 | -- | Inf | 3.91%
76.24/76.59 c 62.9s| 2100 | 338 |612523 | 150.3 | 134M | 54 |2466 |3610 | 587 |4100 | 1 |5159 | 22 | 6.000000e+00 | -- | Inf | 3.91%
76.24/76.59 c 64.0s| 2200 | 339 |624246 | 149.5 | 134M | 54 |2466 |3610 | 573 |4218 | 1 |5185 | 22 | 6.000000e+00 | -- | Inf | 3.91%
76.24/76.59 c 66.4s| 2300 | 332 |645681 | 151.1 | 134M | 54 |2466 |3603 | 591 |4445 | 0 |5213 | 22 | 6.000000e+00 | -- | Inf | 3.91%
76.24/76.59 c 67.8s| 2400 | 333 |660447 | 151.0 | 134M | 54 |2466 |3626 | 573 |4566 | 0 |5266 | 22 | 6.000000e+00 | -- | Inf | 3.91%
76.24/76.59 c 69.6s| 2500 | 349 |678191 | 151.6 | 134M | 54 |2466 |3655 | 591 |4777 | 0 |5322 | 22 | 6.000000e+00 | -- | Inf | 3.91%
76.24/76.59 c 71.7s| 2600 | 375 |702056 | 153.5 | 134M | 54 |2466 |3666 | 561 |5008 | 0 |5377 | 22 | 6.000000e+00 | -- | Inf | 3.91%
76.24/76.59 c 73.5s| 2700 | 387 |717972 | 153.6 | 134M | 54 |2466 |3676 | 568 |5187 | 2 |5439 | 22 | 6.000000e+00 | -- | Inf | 3.91%
76.24/76.59 c 75.1s| 2800 | 397 |735628 | 154.1 | 134M | 54 |2466 |3673 | 593 |5330 | 1 |5461 | 22 | 6.000000e+00 | -- | Inf | 3.91%
184.75/185.34 c 76.4s| 2900 | 412 |748444 | 153.6 | 134M | 54 |2466 |3682 | 612 |5440 | 1 |5485 | 22 | 6.000000e+00 | -- | Inf | 3.91%
184.75/185.34 c 77.9s| 3000 | 416 |763159 | 153.4 | 135M | 54 |2466 |3670 | 567 |5621 | 1 |5518 | 22 | 6.000000e+00 | -- | Inf | 3.91%
184.75/185.34 c 79.3s| 3100 | 423 |776807 | 153.1 | 135M | 54 |2466 |3697 | 598 |5760 | 2 |5568 | 22 | 6.000000e+00 | -- | Inf | 3.91%
184.75/185.34 c 80.8s| 3200 | 441 |792587 | 153.2 | 135M | 54 |2466 |3695 | 585 |5924 | 1 |5579 | 22 | 6.000000e+00 | -- | Inf | 3.91%
184.75/185.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
184.75/185.34 c 82.3s| 3300 | 452 |808912 | 153.4 | 135M | 54 |2466 |3712 | 595 |6153 | 0 |5609 | 22 | 6.000000e+00 | -- | Inf | 3.91%
184.75/185.34 c 84.1s| 3400 | 458 |826937 | 153.9 | 135M | 54 |2466 |3714 | 588 |6338 | 0 |5642 | 22 | 6.000000e+00 | -- | Inf | 3.91%
184.75/185.34 c 85.1s| 3500 | 465 |836186 | 152.8 | 135M | 54 |2466 |3761 | 586 |6428 | 0 |5705 | 22 | 6.000000e+00 | -- | Inf | 3.91%
184.75/185.34 c 86.4s| 3600 | 476 |849203 | 152.4 | 135M | 54 |2466 |3769 | 580 |6573 | 1 |5753 | 22 | 6.000000e+00 | -- | Inf | 3.91%
184.75/185.34 c 88.4s| 3700 | 478 |870775 | 153.5 | 135M | 54 |2466 |3759 | 588 |6775 | 1 |5771 | 22 | 6.000000e+00 | -- | Inf | 3.91%
184.75/185.34 c 89.5s| 3800 | 484 |882075 | 152.8 | 135M | 54 |2466 |3757 | 0 |6900 | 0 |5789 | 22 | 6.000000e+00 | -- | Inf | 3.91%
184.75/185.34 c 91.5s| 3900 | 488 |902263 | 153.6 | 135M | 54 |2466 |3745 | 583 |7030 | 1 |5813 | 22 | 6.000000e+00 | -- | Inf | 3.91%
184.75/185.34 c 92.7s| 4000 | 488 |912744 | 152.8 | 135M | 54 |2466 |3793 | 583 |7193 | 0 |5875 | 22 | 6.000000e+00 | -- | Inf | 3.91%
184.75/185.34 c 94.4s| 4100 | 494 |929855 | 153.1 | 136M | 54 |2466 |3768 | 585 |7375 | 1 |5902 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 96.2s| 4200 | 506 |949102 | 153.7 | 136M | 54 |2466 |3774 | 597 |7612 | 0 |5947 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 97.8s| 4300 | 501 |966594 | 154.1 | 136M | 54 |2466 |3759 | 593 |7752 | 1 |5986 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 99.3s| 4400 | 508 |982150 | 154.1 | 136M | 54 |2466 |3752 | 564 |7922 | 1 |6008 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 101s| 4500 | 515 | 1006k| 155.5 | 136M | 54 |2466 |3781 | 584 |8048 | 1 |6043 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 103s| 4600 | 515 | 1021k| 155.4 | 136M | 54 |2466 |3802 | 606 |8169 | 1 |6073 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 105s| 4700 | 509 | 1040k| 156.0 | 136M | 54 |2466 |3807 | 585 |8269 | 1 |6116 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
184.75/185.34 c 106s| 4800 | 504 | 1053k| 155.5 | 136M | 54 |2466 |3780 | 562 |8390 | 1 |6139 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 107s| 4900 | 518 | 1069k| 155.6 | 137M | 54 |2466 |3775 | 590 |8630 | 0 |6166 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 109s| 5000 | 522 | 1083k| 155.4 | 137M | 54 |2466 |3783 | 580 |8734 | 0 |6202 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 111s| 5100 | 522 | 1108k| 156.7 | 137M | 54 |2466 |3758 | 603 |8943 | 1 |6239 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 113s| 5200 | 528 | 1128k| 157.3 | 137M | 54 |2466 |3726 | 577 |9139 | 1 |6269 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 115s| 5300 | 529 | 1149k| 158.0 | 137M | 54 |2466 |3724 | 597 |9396 | 0 |6315 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 117s| 5400 | 549 | 1165k| 158.1 | 137M | 54 |2466 |3720 | 0 |9641 | 0 |6330 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 118s| 5500 | 553 | 1181k| 158.1 | 137M | 54 |2466 |3713 | 581 |9770 | 1 |6352 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 120s| 5600 | 565 | 1195k| 157.8 | 137M | 54 |2466 |3684 | 585 |9901 | 1 |6391 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 122s| 5700 | 573 | 1213k| 158.2 | 137M | 54 |2466 |3669 | 567 | 10k| 1 |6419 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 123s| 5800 | 591 | 1237k| 159.2 | 137M | 54 |2466 |3752 | 595 | 10k| 1 |6529 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 125s| 5900 | 598 | 1260k| 160.1 | 138M | 54 |2466 |3792 | 608 | 10k| 1 |6588 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 128s| 6000 | 612 | 1293k| 162.3 | 138M | 54 |2466 |3831 | 589 | 10k| 1 |6645 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 130s| 6100 | 612 | 1324k| 164.1 | 138M | 54 |2466 |3874 | 606 | 10k| 1 |6693 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 133s| 6200 | 611 | 1361k| 166.6 | 138M | 54 |2466 |3879 | 619 | 11k| 1 |6758 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
184.75/185.34 c 136s| 6300 | 605 | 1393k| 168.5 | 138M | 54 |2466 |3918 | 602 | 11k| 0 |6850 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 138s| 6400 | 619 | 1427k| 170.6 | 138M | 54 |2466 |3956 | 615 | 11k| 1 |6913 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 141s| 6500 | 613 | 1462k| 172.6 | 138M | 54 |2466 |3960 | 605 | 11k| 1 |6980 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 144s| 6600 | 613 | 1505k| 175.7 | 138M | 54 |2466 |3993 | 610 | 12k| 0 |7072 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 148s| 6700 | 607 | 1545k| 178.2 | 139M | 54 |2466 |4010 | 590 | 12k| 1 |7158 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 151s| 6800 | 608 | 1590k| 181.4 | 140M | 54 |2466 |4069 | 597 | 12k| 0 |7241 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 154s| 6900 | 619 | 1631k| 183.9 | 140M | 54 |2466 |4053 | 607 | 12k| 0 |7295 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 158s| 7000 | 615 | 1673k| 186.7 | 140M | 54 |2466 |4070 | 596 | 13k| 0 |7322 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 161s| 7100 | 629 | 1704k| 187.9 | 140M | 54 |2466 |4049 | 585 | 13k| 1 |7338 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 163s| 7200 | 625 | 1731k| 188.9 | 140M | 54 |2466 |4068 | 591 | 13k| 0 |7373 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 166s| 7300 | 620 | 1765k| 190.5 | 140M | 54 |2466 |4051 | 576 | 13k| 1 |7395 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 168s| 7400 | 627 | 1790k| 191.2 | 140M | 54 |2466 |4045 | 565 | 13k| 0 |7420 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 170s| 7500 | 633 | 1814k| 191.7 | 140M | 54 |2466 |4056 | 582 | 13k| 0 |7452 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 172s| 7600 | 638 | 1837k| 192.1 | 140M | 54 |2466 |4088 | 578 | 13k| 1 |7490 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 174s| 7700 | 634 | 1864k| 192.9 | 140M | 54 |2466 |4129 | 588 | 13k| 0 |7534 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
184.75/185.34 c 177s| 7800 | 622 | 1894k| 194.0 | 140M | 54 |2466 |4074 | 571 | 14k| 0 |7588 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 179s| 7900 | 627 | 1914k| 194.1 | 140M | 54 |2466 |4062 | 594 | 14k| 1 |7631 | 22 | 6.000000e+00 | -- | Inf | 3.92%
184.75/185.34 c 182s| 8000 | 629 | 1950k| 195.8 | 140M | 54 |2466 |4059 | 577 | 14k| 0 |7673 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 185s| 8100 | 620 | 1990k| 197.7 | 140M | 54 |2466 |4009 | 676 | 14k| 0 |7698 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 187s| 8200 | 644 | 2016k| 198.4 | 140M | 54 |2466 |3948 | 591 | 14k| 1 |7717 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 190s| 8300 | 653 | 2043k| 199.1 | 140M | 54 |2466 |3952 | 592 | 14k| 0 |7738 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 192s| 8400 | 666 | 2070k| 199.8 | 140M | 54 |2466 |3973 | 611 | 14k| 1 |7766 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 194s| 8500 | 676 | 2095k| 200.3 | 141M | 54 |2466 |3987 | 598 | 14k| 1 |7789 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 195s| 8600 | 679 | 2107k| 199.4 | 141M | 54 |2466 |4010 | 594 | 15k| 1 |7815 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 198s| 8700 | 666 | 2138k| 200.5 | 141M | 54 |2466 |4019 | 594 | 15k| 0 |7852 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 200s| 8800 | 665 | 2156k| 200.3 | 141M | 54 |2466 |4023 | 594 | 15k| 1 |7883 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 201s| 8900 | 672 | 2169k| 199.7 | 141M | 54 |2466 |4032 | 609 | 15k| 1 |7905 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 202s| 9000 | 666 | 2181k| 199.0 | 141M | 54 |2466 |3991 | 609 | 15k| 1 |7932 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 204s| 9100 | 669 | 2204k| 199.2 | 141M | 54 |2466 |3930 | 617 | 15k| 1 |7959 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 206s| 9200 | 693 | 2224k| 199.3 | 141M | 54 |2466 |3915 | 591 | 15k| 0 |7991 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
286.97/287.85 c 208s| 9300 | 725 | 2246k| 199.5 | 141M | 54 |2466 |3924 | 602 | 16k| 0 |8056 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 210s| 9400 | 745 | 2267k| 199.5 | 141M | 54 |2466 |3927 | 596 | 16k| 0 |8081 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 212s| 9500 | 751 | 2282k| 199.1 | 141M | 54 |2466 |3936 | 592 | 16k| 1 |8108 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 213s| 9600 | 762 | 2296k| 198.6 | 142M | 54 |2466 |3948 | 598 | 16k| 1 |8147 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 215s| 9700 | 761 | 2314k| 198.4 | 142M | 54 |2466 |3923 | 617 | 16k| 1 |8162 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 216s| 9800 | 775 | 2328k| 197.9 | 142M | 54 |2466 |3915 | 603 | 16k| 1 |8221 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 218s| 9900 | 788 | 2346k| 197.8 | 142M | 54 |2466 |3902 | 615 | 16k| 0 |8294 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 220s| 10000 | 784 | 2361k| 197.3 | 142M | 54 |2466 |3862 | 599 | 17k| 1 |8351 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 222s| 10100 | 785 | 2380k| 197.3 | 142M | 54 |2466 |3794 | 600 | 17k| 1 |8396 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 223s| 10200 | 790 | 2395k| 196.9 | 142M | 54 |2466 |3728 | 582 | 17k| 1 |8432 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 226s| 10300 | 777 | 2418k| 197.2 | 142M | 54 |2466 |3692 | 641 | 17k| 0 |8479 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 227s| 10400 | 766 | 2436k| 197.0 | 142M | 54 |2466 |3622 | 606 | 17k| 1 |8514 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 229s| 10500 | 779 | 2465k| 197.8 | 142M | 54 |2466 |3413 | 596 | 17k| 0 |8544 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 231s| 10600 | 778 | 2485k| 197.8 | 143M | 54 |2466 |3411 | 614 | 18k| 1 |8594 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 233s| 10700 | 781 | 2502k| 197.6 | 143M | 54 |2466 |3404 | 607 | 18k| 1 |8643 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
286.97/287.85 c 234s| 10800 | 795 | 2517k| 197.2 | 143M | 54 |2466 |3403 | 600 | 18k| 0 |8654 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 236s| 10900 | 806 | 2529k| 196.6 | 143M | 54 |2466 |3408 | 581 | 18k| 1 |8669 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 237s| 11000 | 811 | 2542k| 196.1 | 143M | 54 |2466 |3411 | 575 | 18k| 1 |8677 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 238s| 11100 | 816 | 2550k| 195.2 | 143M | 54 |2466 |3428 | 583 | 18k| 1 |8694 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 240s| 11200 | 812 | 2574k| 195.5 | 143M | 54 |2466 |3438 | 608 | 18k| 0 |8740 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 243s| 11300 | 823 | 2601k| 196.1 | 143M | 54 |2466 |3427 | 612 | 18k| 1 |8789 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 246s| 11400 | 804 | 2635k| 197.2 | 143M | 54 |2466 |3331 | 605 | 19k| 1 |8814 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 248s| 11500 | 819 | 2653k| 197.0 | 143M | 54 |2466 |3317 | 592 | 19k| 1 |8855 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 250s| 11600 | 834 | 2668k| 196.7 | 143M | 54 |2466 |3344 | 590 | 19k| 1 |8907 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 251s| 11700 | 845 | 2685k| 196.5 | 143M | 54 |2466 |3340 | 0 | 19k| 0 |8920 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 253s| 11800 | 846 | 2699k| 196.1 | 143M | 54 |2466 |3341 | 602 | 19k| 1 |8935 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 255s| 11900 | 857 | 2716k| 195.9 | 143M | 54 |2466 |3372 | 590 | 19k| 2 |8996 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 257s| 12000 | 867 | 2740k| 196.2 | 143M | 54 |2466 |3373 | 590 | 19k| 1 |9019 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 259s| 12100 | 861 | 2762k| 196.4 | 143M | 54 |2466 |3401 | 673 | 20k| 2 |9086 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 262s| 12200 | 862 | 2789k| 196.9 | 143M | 54 |2466 |3358 | 620 | 20k| 2 |9160 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
286.97/287.85 c 263s| 12300 | 859 | 2805k| 196.6 | 143M | 54 |2466 |3350 | 596 | 20k| 0 |9187 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 270s| 12400 | 805 | 2868k| 199.7 | 143M | 54 |2466 |3166 | 610 | 20k| 1 |9251 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 272s| 12500 | 814 | 2886k| 199.6 | 143M | 54 |2466 |3155 | 602 | 20k| 0 |9287 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 273s| 12600 | 811 | 2904k| 199.4 | 143M | 54 |2466 |3133 | 617 | 20k| 1 |9314 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 275s| 12700 | 800 | 2923k| 199.3 | 143M | 54 |2466 |3125 | 642 | 20k| 0 |9344 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 277s| 12800 | 818 | 2943k| 199.4 | 143M | 54 |2466 |3135 | 605 | 20k| 0 |9378 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 280s| 12900 | 812 | 2965k| 199.5 | 143M | 54 |2466 |3138 | 612 | 21k| 1 |9408 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 281s| 13000 | 828 | 2981k| 199.3 | 143M | 54 |2466 |3137 | 601 | 21k| 0 |9418 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 283s| 13100 | 841 | 3000k| 199.2 | 143M | 54 |2466 |3099 | 585 | 21k| 0 |9452 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 285s| 13200 | 849 | 3017k| 199.0 | 143M | 54 |2466 |3111 | 598 | 21k| 0 |9477 | 22 | 6.000000e+00 | -- | Inf | 3.92%
286.97/287.85 c 286s| 13300 | 864 | 3028k| 198.4 | 144M | 54 |2466 |3179 | 586 | 21k| 1 |9562 | 22 | 6.000000e+00 | -- | Inf | 3.92%
403.66/404.89 c 288s| 13400 | 874 | 3047k| 198.3 | 144M | 54 |2466 |3212 | 590 | 22k| 0 |9602 | 22 | 6.000000e+00 | -- | Inf | 3.92%
403.66/404.89 c 289s| 13500 | 882 | 3063k| 198.1 | 144M | 54 |2466 |3238 | 588 | 22k| 0 |9640 | 22 | 6.000000e+00 | -- | Inf | 3.92%
403.66/404.89 c 291s| 13600 | 888 | 3077k| 197.7 | 144M | 54 |2466 |3262 | 595 | 22k| 0 |9667 | 22 | 6.000000e+00 | -- | Inf | 3.92%
403.66/404.89 c 292s| 13700 | 890 | 3090k| 197.3 | 144M | 54 |2466 |3246 | 610 | 22k| 1 |9679 | 22 | 6.000000e+00 | -- | Inf | 3.92%
403.66/404.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
403.66/404.89 c 294s| 13800 | 894 | 3111k| 197.3 | 144M | 54 |2466 |3212 | 606 | 22k| 0 |9721 | 22 | 6.000000e+00 | -- | Inf | 3.92%
403.66/404.89 c 296s| 13900 | 901 | 3129k| 197.3 | 144M | 54 |2466 |3175 | 592 | 22k| 0 |9773 | 22 | 6.000000e+00 | -- | Inf | 3.92%
403.66/404.89 c 297s| 14000 | 907 | 3144k| 196.9 | 144M | 54 |2466 |3195 | 585 | 22k| 1 |9837 | 22 | 6.000000e+00 | -- | Inf | 3.92%
403.66/404.89 c 299s| 14100 | 915 | 3158k| 196.6 | 144M | 54 |2466 |3221 | 611 | 22k| 1 |9878 | 22 | 6.000000e+00 | -- | Inf | 3.92%
403.66/404.89 c 300s| 14200 | 933 | 3171k| 196.2 | 144M | 54 |2466 |3221 | 0 | 23k| 0 |9946 | 22 | 6.000000e+00 | -- | Inf | 3.92%
403.66/404.89 c 301s| 14300 | 943 | 3183k| 195.7 | 144M | 54 |2466 |3226 | 564 | 23k| 0 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.92%
403.66/404.89 c 303s| 14400 | 929 | 3195k| 195.3 | 144M | 54 |2466 |3154 | 591 | 23k| 0 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.92%
403.66/404.89 c 304s| 14500 | 939 | 3210k| 195.0 | 144M | 54 |2466 |3176 | 603 | 23k| 0 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.92%
403.66/404.89 c 306s| 14600 | 945 | 3229k| 194.9 | 144M | 54 |2466 |3184 | 584 | 23k| 1 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.92%
403.66/404.89 c 308s| 14700 | 934 | 3248k| 194.9 | 144M | 54 |2466 |3195 | 611 | 23k| 1 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.92%
403.66/404.89 c 310s| 14800 | 938 | 3269k| 195.0 | 144M | 54 |2466 |3213 | 591 | 23k| 0 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.92%
403.66/404.89 c 312s| 14900 | 923 | 3292k| 195.2 | 144M | 54 |2466 |3164 | 639 | 24k| 1 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.92%
403.66/404.89 c 314s| 15000 | 933 | 3309k| 195.1 | 144M | 54 |2466 |3148 | 594 | 24k| 1 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.92%
403.66/404.89 c 318s| 15100 | 904 | 3346k| 196.1 | 144M | 54 |2466 |3104 | 846 | 24k| 0 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.92%
403.66/404.89 c 322s| 15200 | 914 | 3390k| 197.5 | 144M | 54 |2466 |3062 | 571 | 24k| 1 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.92%
403.66/404.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
403.66/404.89 c 324s| 15300 | 924 | 3406k| 197.3 | 144M | 54 |2466 |3079 | 591 | 24k| 1 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.92%
403.66/404.89 c 327s| 15400 | 901 | 3447k| 198.5 | 144M | 54 |2466 |3013 | 596 | 24k| 1 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.92%
403.66/404.89 c 331s| 15500 | 897 | 3480k| 199.3 | 145M | 54 |2466 |2983 | 578 | 24k| 1 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.93%
403.66/404.89 c 333s| 15600 | 904 | 3501k| 199.4 | 145M | 54 |2466 |2979 | 592 | 24k| 0 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.93%
403.66/404.89 c 342s| 15700 | 819 | 3584k| 202.9 | 145M | 54 |2466 |2956 | 621 | 25k| 1 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.93%
403.66/404.89 c 346s| 15800 | 854 | 3615k| 203.5 | 145M | 54 |2466 |3024 | 649 | 25k| 1 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.93%
403.66/404.89 c 349s| 15900 | 853 | 3645k| 204.1 | 145M | 54 |2466 |3100 | 676 | 25k| 1 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.93%
403.66/404.89 c 352s| 16000 | 832 | 3669k| 204.3 | 145M | 54 |2466 |3067 | 599 | 25k| 0 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.93%
403.66/404.89 c 354s| 16100 | 823 | 3689k| 204.2 | 145M | 54 |2466 |3072 | 571 | 25k| 0 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
403.66/404.89 c 356s| 16200 | 823 | 3709k| 204.2 | 145M | 54 |2466 |3078 | 612 | 25k| 1 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
403.66/404.89 c 357s| 16300 | 830 | 3726k| 204.0 | 145M | 54 |2466 |3079 | 571 | 25k| 1 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
403.66/404.89 c 363s| 16400 | 798 | 3784k| 206.1 | 145M | 54 |2466 |3076 | 697 | 26k| 1 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
403.66/404.89 c 366s| 16500 | 831 | 3813k| 206.6 | 146M | 54 |2466 |3095 | 589 | 26k| 1 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
403.66/404.89 c 368s| 16600 | 833 | 3833k| 206.5 | 146M | 54 |2466 |3136 | 599 | 26k| 0 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
403.66/404.89 c 370s| 16700 | 843 | 3852k| 206.4 | 146M | 54 |2466 |3195 | 603 | 26k| 0 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
403.66/404.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
403.66/404.89 c 373s| 16800 | 828 | 3875k| 206.6 | 146M | 54 |2466 |3217 | 591 | 26k| 1 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
403.66/404.89 c 375s| 16900 | 835 | 3889k| 206.2 | 146M | 54 |2466 |3212 | 609 | 26k| 1 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
403.66/404.89 c 377s| 17000 | 830 | 3910k| 206.2 | 146M | 54 |2466 |3187 | 0 | 27k| 0 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
403.66/404.89 c 378s| 17100 | 850 | 3923k| 205.8 | 146M | 54 |2466 |3193 | 606 | 27k| 1 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
403.66/404.89 c 380s| 17200 | 850 | 3942k| 205.7 | 146M | 54 |2466 |3212 | 611 | 27k| 1 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
403.66/404.89 c 382s| 17300 | 850 | 3962k| 205.7 | 146M | 54 |2466 |3194 | 588 | 27k| 1 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
403.66/404.89 c 384s| 17400 | 845 | 3981k| 205.6 | 146M | 54 |2466 |3186 | 642 | 27k| 2 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
403.66/404.89 c 386s| 17500 | 848 | 3998k| 205.4 | 146M | 54 |2466 |3174 | 569 | 27k| 1 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
403.66/404.89 c 388s| 17600 | 841 | 4016k| 205.3 | 146M | 54 |2466 |3160 | 605 | 28k| 1 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
403.66/404.89 c 389s| 17700 | 843 | 4034k| 205.2 | 146M | 54 |2466 |3173 | 608 | 28k| 1 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
403.66/404.89 c 391s| 17800 | 856 | 4051k| 205.0 | 146M | 54 |2466 |3174 | 596 | 28k| 0 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
403.66/404.89 c 392s| 17900 | 874 | 4062k| 204.5 | 146M | 54 |2466 |3165 | 588 | 28k| 0 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
403.66/404.89 c 394s| 18000 | 896 | 4086k| 204.7 | 146M | 54 |2466 |3176 | 586 | 28k| 1 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
403.66/404.89 c 396s| 18100 | 909 | 4098k| 204.3 | 146M | 54 |2466 |3180 | 591 | 28k| 1 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
403.66/404.89 c 397s| 18200 | 925 | 4115k| 204.1 | 146M | 54 |2466 |3181 | 615 | 28k| 0 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
403.66/404.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
403.66/404.89 c 399s| 18300 | 937 | 4128k| 203.7 | 146M | 54 |2466 |3186 | 596 | 29k| 1 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
403.66/404.89 c 400s| 18400 | 937 | 4146k| 203.6 | 146M | 54 |2466 |3168 | 586 | 29k| 1 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
403.66/404.89 c 402s| 18500 | 935 | 4164k| 203.5 | 146M | 54 |2466 |3167 | 600 | 29k| 0 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
503.97/505.49 c 405s| 18600 | 927 | 4188k| 203.7 | 146M | 54 |2466 |3148 | 589 | 29k| 1 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.93%
503.97/505.49 c 406s| 18700 | 940 | 4204k| 203.5 | 146M | 54 |2466 |3145 | 605 | 29k| 0 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.93%
503.97/505.49 c 409s| 18800 | 941 | 4226k| 203.6 | 147M | 54 |2466 |3142 | 711 | 29k| 0 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.93%
503.97/505.49 c 411s| 18900 | 942 | 4242k| 203.3 | 147M | 54 |2466 |3163 | 602 | 29k| 1 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.93%
503.97/505.49 c 413s| 19000 | 955 | 4260k| 203.2 | 147M | 54 |2466 |3132 | 584 | 30k| 1 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.94%
503.97/505.49 c 414s| 19100 | 959 | 4274k| 202.9 | 147M | 54 |2466 |3154 | 597 | 30k| 0 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.94%
503.97/505.49 c 417s| 19200 | 977 | 4296k| 203.0 | 147M | 54 |2466 |3166 | 710 | 30k| 1 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.94%
503.97/505.49 c 419s| 19300 | 986 | 4317k| 203.0 | 147M | 54 |2466 |3141 | 589 | 30k| 1 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.94%
503.97/505.49 c 421s| 19400 | 991 | 4336k| 203.0 | 147M | 54 |2466 |3164 | 711 | 30k| 1 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.94%
503.97/505.49 c 422s| 19500 | 1006 | 4351k| 202.7 | 147M | 54 |2466 |3149 | 587 | 30k| 0 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.94%
503.97/505.49 c 425s| 19600 | 1005 | 4373k| 202.8 | 147M | 54 |2466 |3110 | 604 | 30k| 1 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.94%
503.97/505.49 c 427s| 19700 | 1001 | 4396k| 202.9 | 147M | 54 |2466 |3120 | 0 | 31k| 0 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.95%
503.97/505.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
503.97/505.49 c 429s| 19800 | 1010 | 4412k| 202.7 | 147M | 54 |2466 |3163 | 592 | 31k| 1 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.95%
503.97/505.49 c 430s| 19900 | 1013 | 4428k| 202.5 | 147M | 54 |2466 |3183 | 586 | 31k| 0 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.95%
503.97/505.49 c 432s| 20000 | 1020 | 4445k| 202.4 | 147M | 54 |2466 |3196 | 595 | 31k| 1 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.95%
503.97/505.49 c 434s| 20100 | 1028 | 4460k| 202.1 | 147M | 54 |2466 |3197 | 596 | 31k| 1 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.95%
503.97/505.49 c 436s| 20200 | 1009 | 4482k| 202.2 | 147M | 54 |2466 |3159 | 608 | 31k| 1 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.95%
503.97/505.49 c 439s| 20300 | 992 | 4512k| 202.7 | 147M | 54 |2466 |3160 | 738 | 31k| 1 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.95%
503.97/505.49 c 441s| 20400 | 995 | 4533k| 202.7 | 148M | 54 |2466 |3193 | 610 | 32k| 1 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.95%
503.97/505.49 c 443s| 20500 | 991 | 4545k| 202.4 | 148M | 54 |2466 |3225 | 620 | 32k| 0 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.95%
503.97/505.49 c 444s| 20600 | 996 | 4554k| 201.8 | 148M | 54 |2466 |3247 | 582 | 32k| 0 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.95%
503.97/505.49 c 447s| 20700 | 977 | 4591k| 202.6 | 148M | 54 |2466 |3223 | 636 | 32k| 0 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.95%
503.97/505.49 c 450s| 20800 | 976 | 4611k| 202.6 | 148M | 54 |2466 |3240 | 0 | 32k| 0 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.95%
503.97/505.49 c 452s| 20900 | 979 | 4632k| 202.6 | 148M | 54 |2466 |3179 | 597 | 32k| 1 | 13k| 22 | 6.000000e+00 | -- | Inf | 3.97%
503.97/505.49 c 454s| 21000 | 981 | 4653k| 202.6 | 148M | 54 |2466 |3187 | 595 | 32k| 0 | 13k| 22 | 6.000000e+00 | -- | Inf | 3.97%
503.97/505.49 c 455s| 21100 | 984 | 4667k| 202.4 | 148M | 54 |2466 |3224 | 629 | 33k| 0 | 13k| 22 | 6.000000e+00 | -- | Inf | 3.97%
503.97/505.49 c 458s| 21200 | 969 | 4688k| 202.4 | 148M | 54 |2466 |3209 | 561 | 33k| 1 | 13k| 22 | 6.000000e+00 | -- | Inf | 3.97%
503.97/505.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
503.97/505.49 c 460s| 21300 | 988 | 4703k| 202.2 | 148M | 54 |2466 |3285 | 578 | 33k| 0 | 13k| 22 | 6.000000e+00 | -- | Inf | 3.98%
503.97/505.49 c 462s| 21400 | 990 | 4723k| 202.2 | 148M | 54 |2466 |3370 | 586 | 33k| 0 | 13k| 22 | 6.000000e+00 | -- | Inf | 3.98%
503.97/505.49 c 465s| 21500 | 1011 | 4743k| 202.2 | 148M | 54 |2466 |3380 | 616 | 33k| 1 | 13k| 22 | 6.000000e+00 | -- | Inf | 3.98%
503.97/505.49 c 466s| 21600 | 1011 | 4759k| 202.0 | 148M | 54 |2466 |3391 | 619 | 33k| 0 | 13k| 22 | 6.000000e+00 | -- | Inf | 3.98%
503.97/505.49 c 468s| 21700 | 1013 | 4776k| 201.8 | 148M | 54 |2466 |3399 | 603 | 33k| 1 | 13k| 22 | 6.000000e+00 | -- | Inf | 3.98%
503.97/505.49 c 470s| 21800 | 1028 | 4790k| 201.6 | 148M | 54 |2466 |3470 | 580 | 34k| 1 | 13k| 22 | 6.000000e+00 | -- | Inf | 3.98%
503.97/505.49 c 473s| 21900 | 1025 | 4824k| 202.2 | 148M | 54 |2466 |3449 | 606 | 34k| 0 | 13k| 22 | 6.000000e+00 | -- | Inf | 3.98%
503.97/505.49 c 475s| 22000 | 1036 | 4844k| 202.2 | 148M | 54 |2466 |3457 | 617 | 34k| 0 | 13k| 22 | 6.000000e+00 | -- | Inf | 3.98%
503.97/505.49 c 476s| 22100 | 1069 | 4863k| 202.1 | 149M | 54 |2466 |3426 | 564 | 34k| 1 | 13k| 22 | 6.000000e+00 | -- | Inf | 3.98%
503.97/505.49 c 478s| 22200 | 1075 | 4877k| 201.8 | 149M | 54 |2466 |3479 | 547 | 34k| 1 | 14k| 22 | 6.000000e+00 | -- | Inf | 3.98%
503.97/505.49 c 480s| 22300 | 1107 | 4897k| 201.8 | 149M | 54 |2466 |3516 | 567 | 34k| 1 | 14k| 22 | 6.000000e+00 | -- | Inf | 3.98%
503.97/505.49 c 482s| 22400 | 1111 | 4916k| 201.8 | 149M | 54 |2466 |3575 | 568 | 34k| 1 | 14k| 22 | 6.000000e+00 | -- | Inf | 3.98%
503.97/505.49 c 483s| 22500 | 1110 | 4931k| 201.6 | 149M | 54 |2466 |3626 | 587 | 35k| 0 | 14k| 22 | 6.000000e+00 | -- | Inf | 3.98%
503.97/505.49 c 485s| 22600 | 1106 | 4947k| 201.4 | 149M | 54 |2466 |3642 | 621 | 35k| 0 | 14k| 22 | 6.000000e+00 | -- | Inf | 3.98%
503.97/505.49 c 486s| 22700 | 1108 | 4963k| 201.2 | 149M | 54 |2466 |3663 | 568 | 35k| 0 | 14k| 22 | 6.000000e+00 | -- | Inf | 3.98%
503.97/505.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
503.97/505.49 c 488s| 22800 | 1111 | 4979k| 201.1 | 149M | 54 |2466 |3687 | 575 | 35k| 1 | 14k| 22 | 6.000000e+00 | -- | Inf | 3.98%
503.97/505.49 c 489s| 22900 | 1123 | 4994k| 200.9 | 149M | 54 |2466 |3661 | 575 | 35k| 1 | 14k| 22 | 6.000000e+00 | -- | Inf | 3.98%
503.97/505.49 c 491s| 23000 | 1137 | 5008k| 200.6 | 150M | 54 |2466 |3713 | 568 | 35k| 0 | 14k| 22 | 6.000000e+00 | -- | Inf | 3.98%
503.97/505.49 c 492s| 23100 | 1132 | 5024k| 200.5 | 150M | 54 |2466 |3751 | 589 | 35k| 0 | 14k| 22 | 6.000000e+00 | -- | Inf | 3.98%
503.97/505.49 c 494s| 23200 | 1138 | 5037k| 200.2 | 150M | 54 |2466 |3748 | 581 | 35k| 1 | 14k| 22 | 6.000000e+00 | -- | Inf | 3.98%
503.97/505.49 c 495s| 23300 | 1139 | 5052k| 200.0 | 150M | 54 |2466 |3773 | 567 | 35k| 1 | 14k| 22 | 6.000000e+00 | -- | Inf | 3.98%
503.97/505.49 c 497s| 23400 | 1150 | 5069k| 199.9 | 150M | 54 |2466 |3788 | 599 | 36k| 1 | 14k| 22 | 6.000000e+00 | -- | Inf | 3.98%
503.97/505.49 c 498s| 23500 | 1158 | 5084k| 199.7 | 150M | 54 |2466 |3792 | 571 | 36k| 0 | 14k| 22 | 6.000000e+00 | -- | Inf | 3.98%
503.97/505.49 c 500s| 23600 | 1190 | 5104k| 199.7 | 150M | 54 |2466 |3819 | 584 | 36k| 1 | 14k| 22 | 6.000000e+00 | -- | Inf | 3.99%
503.97/505.49 c 502s| 23700 | 1200 | 5125k| 199.7 | 150M | 54 |2466 |3820 | 572 | 36k| 0 | 14k| 22 | 6.000000e+00 | -- | Inf | 3.99%
503.97/505.49 c 504s| 23800 | 1201 | 5142k| 199.6 | 150M | 54 |2466 |3854 | 581 | 36k| 1 | 15k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 505s| 23900 | 1199 | 5156k| 199.3 | 150M | 54 |2466 |3899 | 579 | 36k| 0 | 15k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 507s| 24000 | 1215 | 5174k| 199.3 | 150M | 54 |2466 |3901 | 580 | 36k| 1 | 15k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 509s| 24100 | 1207 | 5189k| 199.1 | 150M | 54 |2466 |3928 | 0 | 36k| 0 | 15k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 510s| 24200 | 1210 | 5207k| 199.0 | 150M | 54 |2466 |3978 | 587 | 37k| 1 | 15k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
593.22/594.97 c 513s| 24300 | 1209 | 5226k| 199.0 | 150M | 54 |2466 |3985 | 570 | 37k| 1 | 15k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 514s| 24400 | 1212 | 5243k| 198.9 | 150M | 54 |2466 |4037 | 568 | 37k| 1 | 15k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 516s| 24500 | 1210 | 5261k| 198.8 | 150M | 54 |2466 |3995 | 580 | 37k| 0 | 15k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 518s| 24600 | 1224 | 5277k| 198.7 | 150M | 54 |2466 |3941 | 588 | 37k| 1 | 15k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 519s| 24700 | 1226 | 5291k| 198.5 | 150M | 54 |2466 |3968 | 579 | 37k| 1 | 15k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 521s| 24800 | 1233 | 5310k| 198.4 | 150M | 54 |2466 |3963 | 592 | 37k| 0 | 15k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 523s| 24900 | 1237 | 5331k| 198.4 | 150M | 54 |2466 |3965 | 716 | 38k| 1 | 15k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 526s| 25000 | 1241 | 5356k| 198.7 | 150M | 54 |2466 |4026 | 717 | 38k| 2 | 15k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 531s| 25100 | 1207 | 5401k| 199.6 | 152M | 54 |2466 |3848 | 601 | 38k| 1 | 15k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 532s| 25200 | 1220 | 5417k| 199.4 | 152M | 54 |2466 |3797 | 576 | 38k| 1 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 534s| 25300 | 1223 | 5438k| 199.5 | 152M | 54 |2466 |3862 | 620 | 38k| 1 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 536s| 25400 | 1211 | 5455k| 199.4 | 152M | 54 |2466 |3833 | 599 | 38k| 0 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 537s| 25500 | 1229 | 5470k| 199.2 | 152M | 54 |2466 |3791 | 584 | 38k| 0 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 540s| 25600 | 1214 | 5491k| 199.2 | 152M | 54 |2466 |3795 | 610 | 38k| 0 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 541s| 25700 | 1215 | 5507k| 199.1 | 152M | 54 |2466 |3777 | 610 | 38k| 0 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
593.22/594.97 c 543s| 25800 | 1211 | 5524k| 199.0 | 152M | 54 |2466 |3774 | 607 | 39k| 1 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 546s| 25900 | 1221 | 5548k| 199.1 | 152M | 54 |2466 |3681 | 641 | 39k| 1 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 547s| 26000 | 1230 | 5564k| 199.0 | 152M | 54 |2466 |3678 | 608 | 39k| 1 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 550s| 26100 | 1232 | 5584k| 199.0 | 152M | 54 |2466 |3628 | 698 | 39k| 0 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 552s| 26200 | 1237 | 5601k| 198.9 | 152M | 54 |2466 |3663 | 602 | 39k| 1 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 553s| 26300 | 1242 | 5619k| 198.8 | 152M | 54 |2466 |3682 | 608 | 39k| 1 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 555s| 26400 | 1236 | 5633k| 198.6 | 152M | 54 |2466 |3724 | 609 | 40k| 0 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 558s| 26500 | 1231 | 5653k| 198.6 | 152M | 54 |2466 |3737 | 607 | 40k| 1 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 560s| 26600 | 1226 | 5675k| 198.7 | 152M | 54 |2466 |3727 | 609 | 40k| 0 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 561s| 26700 | 1228 | 5690k| 198.5 | 152M | 54 |2466 |3709 | 573 | 40k| 0 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 563s| 26800 | 1245 | 5713k| 198.6 | 152M | 54 |2466 |3715 | 594 | 40k| 0 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 565s| 26900 | 1236 | 5732k| 198.6 | 152M | 54 |2466 |3724 | 612 | 40k| 0 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 567s| 27000 | 1242 | 5749k| 198.5 | 152M | 54 |2466 |3675 | 578 | 40k| 0 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 569s| 27100 | 1253 | 5762k| 198.3 | 153M | 54 |2466 |3669 | 568 | 40k| 0 | 17k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 570s| 27200 | 1258 | 5770k| 197.9 | 153M | 54 |2466 |3811 | 569 | 41k| 0 | 17k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
593.22/594.97 c 571s| 27300 | 1259 | 5781k| 197.6 | 153M | 54 |2466 |3942 | 577 | 41k| 1 | 17k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 572s| 27400 | 1263 | 5791k| 197.2 | 153M | 54 |2466 |3975 | 579 | 41k| 1 | 17k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 573s| 27500 | 1259 | 5806k| 197.1 | 153M | 54 |2466 |3931 | 570 | 41k| 0 | 17k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 575s| 27600 | 1270 | 5821k| 196.9 | 153M | 54 |2466 |3891 | 588 | 41k| 0 | 17k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 576s| 27700 | 1276 | 5834k| 196.7 | 153M | 54 |2466 |3958 | 583 | 41k| 1 | 17k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 577s| 27800 | 1298 | 5847k| 196.5 | 153M | 54 |2466 |3996 | 578 | 41k| 1 | 17k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 578s| 27900 | 1309 | 5859k| 196.2 | 153M | 54 |2466 |3953 | 575 | 41k| 1 | 17k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 580s| 28000 | 1327 | 5872k| 196.0 | 153M | 54 |2466 |3970 | 570 | 41k| 1 | 18k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 581s| 28100 | 1350 | 5887k| 195.8 | 153M | 54 |2466 |3987 | 567 | 42k| 1 | 18k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 583s| 28200 | 1368 | 5902k| 195.7 | 153M | 54 |2466 |4036 | 577 | 42k| 1 | 18k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 584s| 28300 | 1380 | 5915k| 195.4 | 153M | 54 |2466 |4078 | 572 | 42k| 1 | 18k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 586s| 28400 | 1383 | 5934k| 195.4 | 153M | 54 |2466 |4035 | 577 | 42k| 0 | 18k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 587s| 28500 | 1390 | 5948k| 195.3 | 153M | 54 |2466 |4060 | 577 | 42k| 0 | 18k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 589s| 28600 | 1391 | 5963k| 195.1 | 153M | 54 |2466 |4146 | 575 | 42k| 1 | 18k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c 590s| 28700 | 1390 | 5974k| 194.8 | 153M | 54 |2466 |4246 | 594 | 42k| 2 | 18k| 22 | 6.000000e+00 | -- | Inf | 3.99%
593.22/594.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
593.22/594.97 c 591s| 28800 | 1398 | 5984k| 194.5 | 154M | 54 |2466 |4189 | 578 | 42k| 1 | 18k| 22 | 6.000000e+00 | -- | Inf | 4.00%
593.22/594.97 c 592s| 28900 | 1402 | 5997k| 194.3 | 154M | 54 |2466 |4240 | 595 | 43k| 1 | 19k| 22 | 6.000000e+00 | -- | Inf | 4.00%
593.22/594.97 c 593s| 29000 | 1405 | 6010k| 194.1 | 154M | 54 |2466 |4247 | 581 | 43k| 1 | 19k| 22 | 6.000000e+00 | -- | Inf | 4.00%
696.54/698.53 c 595s| 29100 | 1403 | 6029k| 194.1 | 154M | 54 |2466 |4191 | 554 | 43k| 1 | 19k| 22 | 6.000000e+00 | -- | Inf | 4.00%
696.54/698.53 c 596s| 29200 | 1422 | 6051k| 194.2 | 154M | 54 |2466 |4265 | 584 | 43k| 1 | 19k| 22 | 6.000000e+00 | -- | Inf | 4.00%
696.54/698.53 c 598s| 29300 | 1417 | 6064k| 194.0 | 154M | 54 |2466 |4295 | 580 | 43k| 1 | 19k| 22 | 6.000000e+00 | -- | Inf | 4.00%
696.54/698.53 c 599s| 29400 | 1418 | 6080k| 193.8 | 154M | 54 |2466 |4247 | 589 | 43k| 0 | 19k| 22 | 6.000000e+00 | -- | Inf | 4.00%
696.54/698.53 c 603s| 29500 | 1396 | 6112k| 194.3 | 154M | 54 |2466 |4048 | 586 | 43k| 0 | 19k| 22 | 6.000000e+00 | -- | Inf | 4.00%
696.54/698.53 c 604s| 29600 | 1399 | 6126k| 194.1 | 154M | 54 |2466 |4048 | 579 | 43k| 0 | 19k| 22 | 6.000000e+00 | -- | Inf | 4.00%
696.54/698.53 c 607s| 29700 | 1398 | 6147k| 194.1 | 154M | 54 |2466 |3999 | 568 | 44k| 1 | 19k| 22 | 6.000000e+00 | -- | Inf | 4.00%
696.54/698.53 c 609s| 29800 | 1395 | 6167k| 194.1 | 154M | 54 |2466 |3963 | 607 | 44k| 0 | 19k| 22 | 6.000000e+00 | -- | Inf | 4.00%
696.54/698.53 c 611s| 29900 | 1385 | 6192k| 194.3 | 154M | 54 |2466 |3870 | 594 | 44k| 1 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.00%
696.54/698.53 c 614s| 30000 | 1396 | 6214k| 194.4 | 154M | 54 |2466 |3790 | 579 | 44k| 0 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.00%
696.54/698.53 c 615s| 30100 | 1413 | 6228k| 194.2 | 154M | 54 |2466 |3812 | 597 | 44k| 0 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.00%
696.54/698.53 c 617s| 30200 | 1432 | 6246k| 194.2 | 155M | 54 |2466 |3837 | 589 | 44k| 1 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.00%
696.54/698.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
696.54/698.53 c 618s| 30300 | 1432 | 6266k| 194.2 | 155M | 54 |2466 |3875 | 607 | 44k| 1 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.00%
696.54/698.53 c 621s| 30400 | 1435 | 6291k| 194.4 | 155M | 54 |2466 |3923 | 599 | 45k| 0 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.00%
696.54/698.53 c 623s| 30500 | 1431 | 6312k| 194.4 | 155M | 54 |2466 |3941 | 596 | 45k| 1 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.00%
696.54/698.53 c 624s| 30600 | 1425 | 6328k| 194.3 | 155M | 54 |2466 |3944 | 578 | 45k| 1 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.00%
696.54/698.53 c 626s| 30700 | 1442 | 6346k| 194.3 | 155M | 54 |2466 |3935 | 593 | 45k| 0 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.00%
696.54/698.53 c 628s| 30800 | 1443 | 6368k| 194.4 | 155M | 54 |2466 |3934 | 593 | 45k| 1 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.00%
696.54/698.53 c 630s| 30900 | 1447 | 6385k| 194.3 | 155M | 54 |2466 |3822 | 634 | 45k| 1 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.00%
696.54/698.53 c 632s| 31000 | 1445 | 6403k| 194.2 | 155M | 54 |2466 |3874 | 602 | 45k| 0 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.00%
696.54/698.53 c 635s| 31100 | 1448 | 6426k| 194.4 | 155M | 54 |2466 |3814 | 623 | 46k| 1 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.00%
696.54/698.53 c 637s| 31200 | 1452 | 6444k| 194.3 | 155M | 54 |2466 |3732 | 585 | 46k| 0 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.01%
696.54/698.53 c 639s| 31300 | 1462 | 6464k| 194.3 | 155M | 54 |2466 |3709 | 574 | 46k| 1 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.01%
696.54/698.53 c 641s| 31400 | 1457 | 6485k| 194.4 | 155M | 54 |2466 |3688 | 584 | 46k| 0 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.01%
696.54/698.53 c 643s| 31500 | 1448 | 6503k| 194.3 | 155M | 54 |2466 |3702 | 600 | 46k| 1 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.01%
696.54/698.53 c 645s| 31600 | 1460 | 6521k| 194.3 | 155M | 54 |2466 |3679 | 596 | 46k| 0 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.01%
696.54/698.53 c 647s| 31700 | 1472 | 6543k| 194.4 | 156M | 54 |2466 |3663 | 596 | 46k| 0 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.01%
696.54/698.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
696.54/698.53 c 649s| 31800 | 1468 | 6562k| 194.4 | 156M | 54 |2466 |3650 | 603 | 47k| 0 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.01%
696.54/698.53 c 651s| 31900 | 1484 | 6584k| 194.4 | 156M | 54 |2466 |3652 | 596 | 47k| 1 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.01%
696.54/698.53 c 653s| 32000 | 1485 | 6600k| 194.3 | 156M | 54 |2466 |3646 | 576 | 47k| 1 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.01%
696.54/698.53 c 655s| 32100 | 1473 | 6618k| 194.3 | 156M | 54 |2466 |3651 | 696 | 47k| 1 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.01%
696.54/698.53 c 657s| 32200 | 1476 | 6638k| 194.3 | 156M | 54 |2466 |3647 | 604 | 47k| 1 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.01%
696.54/698.53 c 659s| 32300 | 1482 | 6658k| 194.3 | 156M | 54 |2466 |3613 | 593 | 47k| 1 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.01%
696.54/698.53 c 661s| 32400 | 1494 | 6677k| 194.3 | 156M | 54 |2466 |3602 | 616 | 47k| 1 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.01%
696.54/698.53 c 662s| 32500 | 1504 | 6690k| 194.1 | 156M | 54 |2466 |3604 | 595 | 48k| 1 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.01%
696.54/698.53 c 664s| 32600 | 1498 | 6707k| 194.1 | 156M | 54 |2466 |3619 | 607 | 48k| 1 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.01%
696.54/698.53 c 666s| 32700 | 1509 | 6724k| 194.0 | 156M | 54 |2466 |3626 | 598 | 48k| 0 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.01%
696.54/698.53 c 667s| 32800 | 1504 | 6740k| 193.9 | 156M | 54 |2466 |3583 | 613 | 48k| 1 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.02%
696.54/698.53 c 670s| 32900 | 1495 | 6767k| 194.1 | 156M | 54 |2466 |3564 | 588 | 48k| 1 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.03%
696.54/698.53 c 672s| 33000 | 1486 | 6792k| 194.3 | 156M | 54 |2466 |3596 | 612 | 48k| 1 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.03%
696.54/698.53 c 674s| 33100 | 1491 | 6804k| 194.0 | 156M | 54 |2466 |3582 | 600 | 48k| 1 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.03%
696.54/698.53 c 675s| 33200 | 1502 | 6815k| 193.8 | 156M | 54 |2466 |3623 | 584 | 48k| 0 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.03%
696.54/698.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
696.54/698.53 c 676s| 33300 | 1509 | 6828k| 193.6 | 156M | 54 |2466 |3627 | 594 | 48k| 1 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.03%
696.54/698.53 c 677s| 33400 | 1508 | 6843k| 193.5 | 156M | 54 |2466 |3642 | 596 | 49k| 1 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.03%
696.54/698.53 c 679s| 33500 | 1511 | 6862k| 193.5 | 156M | 54 |2466 |3629 | 591 | 49k| 1 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.03%
696.54/698.53 c 682s| 33600 | 1506 | 6886k| 193.6 | 156M | 54 |2466 |3592 | 567 | 49k| 1 | 22k| 22 | 6.000000e+00 | -- | Inf | 4.03%
696.54/698.53 c 684s| 33700 | 1517 | 6903k| 193.6 | 156M | 54 |2466 |3561 | 579 | 49k| 1 | 22k| 22 | 6.000000e+00 | -- | Inf | 4.04%
696.54/698.53 c 686s| 33800 | 1512 | 6930k| 193.8 | 156M | 54 |2466 |3549 | 612 | 49k| 1 | 22k| 22 | 6.000000e+00 | -- | Inf | 4.04%
696.54/698.53 c 688s| 33900 | 1522 | 6945k| 193.6 | 156M | 54 |2466 |3552 | 588 | 49k| 0 | 22k| 22 | 6.000000e+00 | -- | Inf | 4.04%
696.54/698.53 c 690s| 34000 | 1520 | 6965k| 193.7 | 156M | 54 |2466 |3533 | 619 | 49k| 1 | 22k| 22 | 6.000000e+00 | -- | Inf | 4.04%
696.54/698.53 c 692s| 34100 | 1519 | 6983k| 193.6 | 156M | 54 |2466 |3581 | 575 | 50k| 1 | 22k| 22 | 6.000000e+00 | -- | Inf | 4.04%
696.54/698.53 c 694s| 34200 | 1519 | 7006k| 193.7 | 156M | 54 |2466 |3550 | 608 | 50k| 0 | 22k| 22 | 6.000000e+00 | -- | Inf | 4.04%
696.54/698.53 c 696s| 34300 | 1516 | 7037k| 194.0 | 156M | 54 |2466 |3539 | 593 | 50k| 1 | 22k| 22 | 6.000000e+00 | -- | Inf | 4.04%
819.21/821.57 c 698s| 34400 | 1521 | 7052k| 193.9 | 156M | 54 |2466 |3571 | 586 | 50k| 1 | 22k| 22 | 6.000000e+00 | -- | Inf | 4.04%
819.21/821.57 c 701s| 34500 | 1499 | 7079k| 194.1 | 156M | 54 |2466 |3540 | 841 | 50k| 0 | 22k| 22 | 6.000000e+00 | -- | Inf | 4.04%
819.21/821.57 c 705s| 34600 | 1461 | 7114k| 194.6 | 156M | 54 |2466 |3434 | 592 | 50k| 1 | 22k| 22 | 6.000000e+00 | -- | Inf | 4.04%
819.21/821.57 c 707s| 34700 | 1457 | 7129k| 194.4 | 156M | 54 |2466 |3435 | 587 | 50k| 1 | 22k| 22 | 6.000000e+00 | -- | Inf | 4.04%
819.21/821.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
819.21/821.57 c 709s| 34800 | 1460 | 7150k| 194.5 | 156M | 54 |2466 |3446 | 583 | 50k| 1 | 22k| 22 | 6.000000e+00 | -- | Inf | 4.04%
819.21/821.57 c 711s| 34900 | 1462 | 7170k| 194.5 | 156M | 54 |2466 |3456 | 732 | 50k| 1 | 22k| 22 | 6.000000e+00 | -- | Inf | 4.04%
819.21/821.57 c 713s| 35000 | 1468 | 7185k| 194.4 | 156M | 54 |2466 |3508 | 584 | 51k| 1 | 23k| 22 | 6.000000e+00 | -- | Inf | 4.04%
819.21/821.57 c 714s| 35100 | 1465 | 7198k| 194.2 | 156M | 54 |2466 |3572 | 606 | 51k| 0 | 23k| 22 | 6.000000e+00 | -- | Inf | 4.04%
819.21/821.57 c 716s| 35200 | 1463 | 7214k| 194.1 | 156M | 54 |2466 |3571 | 583 | 51k| 0 | 23k| 22 | 6.000000e+00 | -- | Inf | 4.04%
819.21/821.57 c 717s| 35300 | 1462 | 7232k| 194.1 | 156M | 54 |2466 |3578 | 612 | 51k| 1 | 23k| 22 | 6.000000e+00 | -- | Inf | 4.04%
819.21/821.57 c 720s| 35400 | 1440 | 7260k| 194.3 | 157M | 54 |2466 |3613 | 615 | 51k| 1 | 23k| 22 | 6.000000e+00 | -- | Inf | 4.04%
819.21/821.57 c 724s| 35500 | 1431 | 7298k| 194.8 | 157M | 54 |2466 |3594 | 596 | 51k| 0 | 23k| 22 | 6.000000e+00 | -- | Inf | 4.04%
819.21/821.57 c 727s| 35600 | 1422 | 7325k| 195.0 | 157M | 54 |2466 |3534 | 586 | 51k| 1 | 23k| 22 | 6.000000e+00 | -- | Inf | 4.04%
819.21/821.57 c 731s| 35700 | 1431 | 7359k| 195.4 | 157M | 54 |2466 |3552 | 648 | 51k| 1 | 23k| 22 | 6.000000e+00 | -- | Inf | 4.05%
819.21/821.57 c 732s| 35800 | 1429 | 7380k| 195.4 | 157M | 54 |2466 |3568 | 586 | 52k| 1 | 23k| 22 | 6.000000e+00 | -- | Inf | 4.05%
819.21/821.57 c 734s| 35900 | 1431 | 7400k| 195.4 | 157M | 54 |2466 |3559 | 580 | 52k| 0 | 23k| 22 | 6.000000e+00 | -- | Inf | 4.05%
819.21/821.57 c 736s| 36000 | 1428 | 7416k| 195.4 | 157M | 54 |2466 |3585 | 580 | 52k| 1 | 23k| 22 | 6.000000e+00 | -- | Inf | 4.05%
819.21/821.57 c 740s| 36100 | 1423 | 7444k| 195.6 | 157M | 54 |2466 |3602 | 717 | 52k| 0 | 23k| 22 | 6.000000e+00 | -- | Inf | 4.05%
819.21/821.57 c 742s| 36200 | 1423 | 7461k| 195.5 | 157M | 54 |2466 |3677 | 711 | 52k| 1 | 23k| 22 | 6.000000e+00 | -- | Inf | 4.05%
819.21/821.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
819.21/821.57 c 745s| 36300 | 1431 | 7487k| 195.7 | 158M | 54 |2466 |3733 | 720 | 52k| 0 | 24k| 22 | 6.000000e+00 | -- | Inf | 4.05%
819.21/821.57 c 747s| 36400 | 1425 | 7511k| 195.8 | 158M | 54 |2466 |3806 | 585 | 52k| 1 | 24k| 22 | 6.000000e+00 | -- | Inf | 4.05%
819.21/821.57 c 750s| 36500 | 1423 | 7537k| 196.0 | 158M | 54 |2466 |3819 | 721 | 52k| 0 | 24k| 22 | 6.000000e+00 | -- | Inf | 4.05%
819.21/821.57 c 753s| 36600 | 1407 | 7569k| 196.3 | 158M | 54 |2466 |3740 | 607 | 53k| 1 | 24k| 22 | 6.000000e+00 | -- | Inf | 4.05%
819.21/821.57 c 756s| 36700 | 1404 | 7594k| 196.4 | 159M | 54 |2466 |3657 | 599 | 53k| 0 | 24k| 22 | 6.000000e+00 | -- | Inf | 4.05%
819.21/821.57 c 758s| 36800 | 1410 | 7613k| 196.4 | 159M | 54 |2466 |3727 | 591 | 53k| 1 | 24k| 22 | 6.000000e+00 | -- | Inf | 4.05%
819.21/821.57 c 760s| 36900 | 1410 | 7634k| 196.4 | 160M | 54 |2466 |3749 | 575 | 53k| 0 | 24k| 22 | 6.000000e+00 | -- | Inf | 4.05%
819.21/821.57 c 762s| 37000 | 1406 | 7652k| 196.4 | 160M | 54 |2466 |3759 | 619 | 53k| 1 | 24k| 22 | 6.000000e+00 | -- | Inf | 4.06%
819.21/821.57 c 764s| 37100 | 1399 | 7680k| 196.6 | 160M | 54 |2466 |3732 | 597 | 53k| 0 | 24k| 22 | 6.000000e+00 | -- | Inf | 4.06%
819.21/821.57 c 767s| 37200 | 1411 | 7704k| 196.7 | 160M | 54 |2466 |3759 | 604 | 53k| 1 | 24k| 22 | 6.000000e+00 | -- | Inf | 4.06%
819.21/821.57 c 770s| 37300 | 1408 | 7729k| 196.9 | 160M | 54 |2466 |3757 | 607 | 54k| 1 | 24k| 22 | 6.000000e+00 | -- | Inf | 4.06%
819.21/821.57 c 773s| 37400 | 1420 | 7756k| 197.0 | 160M | 54 |2466 |3676 | 574 | 54k| 0 | 25k| 22 | 6.000000e+00 | -- | Inf | 4.07%
819.21/821.57 c 776s| 37500 | 1442 | 7789k| 197.4 | 160M | 54 |2466 |3695 | 592 | 54k| 0 | 25k| 22 | 6.000000e+00 | -- | Inf | 4.07%
819.21/821.57 c 778s| 37600 | 1439 | 7811k| 197.4 | 160M | 54 |2466 |3689 | 597 | 54k| 0 | 25k| 22 | 6.000000e+00 | -- | Inf | 4.07%
819.21/821.57 c 781s| 37700 | 1447 | 7833k| 197.5 | 160M | 54 |2466 |3701 | 594 | 54k| 1 | 25k| 22 | 6.000000e+00 | -- | Inf | 4.07%
819.21/821.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
819.21/821.57 c 783s| 37800 | 1433 | 7855k| 197.5 | 160M | 54 |2466 |3716 | 608 | 54k| 0 | 25k| 22 | 6.000000e+00 | -- | Inf | 4.07%
819.21/821.57 c 785s| 37900 | 1447 | 7884k| 197.8 | 160M | 54 |2466 |3669 | 667 | 55k| 1 | 25k| 22 | 6.000000e+00 | -- | Inf | 4.07%
819.21/821.57 c 787s| 38000 | 1448 | 7907k| 197.8 | 160M | 54 |2466 |3746 | 701 | 55k| 1 | 25k| 22 | 6.000000e+00 | -- | Inf | 4.07%
819.21/821.57 c 790s| 38100 | 1460 | 7929k| 197.9 | 160M | 54 |2466 |3726 | 606 | 55k| 1 | 25k| 22 | 6.000000e+00 | -- | Inf | 4.07%
819.21/821.57 c 792s| 38200 | 1467 | 7951k| 198.0 | 160M | 54 |2466 |3818 | 593 | 55k| 1 | 25k| 22 | 6.000000e+00 | -- | Inf | 4.07%
819.21/821.57 c 794s| 38300 | 1467 | 7972k| 198.0 | 160M | 54 |2466 |3749 | 580 | 55k| 1 | 25k| 22 | 6.000000e+00 | -- | Inf | 4.08%
819.21/821.57 c 796s| 38400 | 1477 | 7988k| 197.9 | 160M | 54 |2466 |3744 | 598 | 55k| 0 | 25k| 22 | 6.000000e+00 | -- | Inf | 4.08%
819.21/821.57 c 798s| 38500 | 1472 | 8008k| 197.9 | 160M | 54 |2466 |3762 | 601 | 55k| 0 | 25k| 22 | 6.000000e+00 | -- | Inf | 4.08%
819.21/821.57 c 800s| 38600 | 1477 | 8028k| 197.9 | 160M | 54 |2466 |3768 | 620 | 55k| 0 | 25k| 22 | 6.000000e+00 | -- | Inf | 4.08%
819.21/821.57 c 803s| 38700 | 1489 | 8059k| 198.2 | 160M | 54 |2466 |3743 | 609 | 56k| 0 | 25k| 22 | 6.000000e+00 | -- | Inf | 4.09%
819.21/821.57 c 805s| 38800 | 1494 | 8079k| 198.2 | 160M | 54 |2466 |3730 | 590 | 56k| 1 | 26k| 22 | 6.000000e+00 | -- | Inf | 4.09%
819.21/821.57 c 806s| 38900 | 1492 | 8096k| 198.1 | 160M | 54 |2466 |3701 | 590 | 56k| 1 | 26k| 22 | 6.000000e+00 | -- | Inf | 4.09%
819.21/821.57 c 808s| 39000 | 1505 | 8115k| 198.1 | 160M | 54 |2466 |3692 | 583 | 56k| 1 | 26k| 22 | 6.000000e+00 | -- | Inf | 4.09%
819.21/821.57 c 810s| 39100 | 1500 | 8132k| 198.0 | 160M | 54 |2466 |3709 | 603 | 56k| 0 | 26k| 22 | 6.000000e+00 | -- | Inf | 4.09%
819.21/821.57 c 812s| 39200 | 1505 | 8152k| 198.0 | 160M | 54 |2466 |3666 | 594 | 56k| 1 | 26k| 22 | 6.000000e+00 | -- | Inf | 4.09%
819.21/821.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
819.21/821.57 c 815s| 39300 | 1522 | 8173k| 198.1 | 160M | 54 |2466 |3708 | 664 | 56k| 1 | 26k| 22 | 6.000000e+00 | -- | Inf | 4.09%
819.21/821.57 c 817s| 39400 | 1524 | 8191k| 198.0 | 160M | 54 |2466 |3741 | 698 | 56k| 2 | 26k| 22 | 6.000000e+00 | -- | Inf | 4.09%
819.21/821.57 c 819s| 39500 | 1527 | 8220k| 198.2 | 160M | 54 |2466 |3765 | 668 | 57k| 1 | 26k| 22 | 6.000000e+00 | -- | Inf | 4.09%
909.56/912.14 c 821s| 39600 | 1524 | 8239k| 198.2 | 160M | 54 |2466 |3788 | 0 | 57k| 0 | 26k| 22 | 6.000000e+00 | -- | Inf | 4.09%
909.56/912.14 c 823s| 39700 | 1528 | 8257k| 198.2 | 160M | 54 |2466 |3810 | 0 | 57k| 0 | 26k| 22 | 6.000000e+00 | -- | Inf | 4.09%
909.56/912.14 c 826s| 39800 | 1529 | 8277k| 198.2 | 160M | 54 |2466 |3785 | 574 | 57k| 1 | 26k| 22 | 6.000000e+00 | -- | Inf | 4.09%
909.56/912.14 c 828s| 39900 | 1525 | 8302k| 198.3 | 160M | 54 |2466 |3726 | 595 | 57k| 1 | 26k| 22 | 6.000000e+00 | -- | Inf | 4.09%
909.56/912.14 c 830s| 40000 | 1529 | 8321k| 198.3 | 160M | 54 |2466 |3725 | 592 | 57k| 1 | 26k| 22 | 6.000000e+00 | -- | Inf | 4.09%
909.56/912.14 c 832s| 40100 | 1545 | 8342k| 198.3 | 160M | 54 |2466 |3729 | 596 | 57k| 0 | 26k| 22 | 6.000000e+00 | -- | Inf | 4.09%
909.56/912.14 c 834s| 40200 | 1549 | 8360k| 198.3 | 160M | 54 |2466 |3748 | 592 | 58k| 0 | 26k| 22 | 6.000000e+00 | -- | Inf | 4.09%
909.56/912.14 c 837s| 40300 | 1537 | 8388k| 198.5 | 160M | 54 |2466 |3795 | 874 | 58k| 0 | 26k| 22 | 6.000000e+00 | -- | Inf | 4.09%
909.56/912.14 c 840s| 40400 | 1534 | 8416k| 198.7 | 160M | 54 |2466 |3794 | 575 | 58k| 0 | 27k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 843s| 40500 | 1539 | 8446k| 198.9 | 160M | 54 |2466 |3828 | 579 | 58k| 0 | 27k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 844s| 40600 | 1536 | 8459k| 198.7 | 160M | 54 |2466 |3877 | 586 | 58k| 1 | 27k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 846s| 40700 | 1539 | 8472k| 198.6 | 160M | 54 |2466 |3923 | 575 | 58k| 0 | 27k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
909.56/912.14 c 848s| 40800 | 1525 | 8498k| 198.7 | 160M | 54 |2466 |3920 | 608 | 58k| 0 | 27k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 851s| 40900 | 1535 | 8525k| 198.9 | 160M | 54 |2466 |3977 | 627 | 58k| 1 | 27k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 853s| 41000 | 1549 | 8542k| 198.8 | 160M | 54 |2466 |3968 | 599 | 58k| 0 | 27k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 855s| 41100 | 1559 | 8562k| 198.8 | 160M | 54 |2466 |3974 | 610 | 59k| 1 | 27k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 856s| 41200 | 1569 | 8579k| 198.8 | 161M | 54 |2466 |4010 | 598 | 59k| 0 | 27k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 859s| 41300 | 1555 | 8601k| 198.8 | 161M | 54 |2466 |3993 | 602 | 59k| 0 | 27k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 860s| 41400 | 1545 | 8619k| 198.8 | 161M | 54 |2466 |3999 | 592 | 59k| 0 | 27k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 864s| 41500 | 1556 | 8653k| 199.1 | 161M | 54 |2466 |3932 | 615 | 59k| 1 | 27k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 865s| 41600 | 1564 | 8669k| 199.0 | 161M | 54 |2466 |3985 | 596 | 59k| 1 | 27k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 867s| 41700 | 1563 | 8684k| 198.9 | 161M | 54 |2466 |4013 | 592 | 59k| 1 | 27k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 868s| 41800 | 1564 | 8698k| 198.8 | 161M | 54 |2466 |4059 | 568 | 59k| 1 | 28k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 870s| 41900 | 1595 | 8719k| 198.8 | 161M | 54 |2466 |3964 | 587 | 60k| 1 | 28k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 872s| 42000 | 1637 | 8741k| 198.8 | 161M | 54 |2466 |3915 | 0 | 60k| 0 | 28k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 873s| 42100 | 1661 | 8755k| 198.7 | 161M | 54 |2466 |4012 | 575 | 60k| 1 | 28k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 874s| 42200 | 1664 | 8764k| 198.4 | 161M | 54 |2466 |4053 | 577 | 60k| 0 | 28k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
909.56/912.14 c 875s| 42300 | 1666 | 8772k| 198.2 | 161M | 54 |2466 |4128 | 592 | 60k| 0 | 28k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 876s| 42400 | 1679 | 8787k| 198.1 | 161M | 54 |2466 |4121 | 584 | 60k| 1 | 28k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 878s| 42500 | 1713 | 8802k| 198.0 | 161M | 54 |2466 |4171 | 590 | 60k| 0 | 28k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 879s| 42600 | 1728 | 8817k| 197.9 | 161M | 54 |2466 |4161 | 586 | 60k| 0 | 28k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 881s| 42700 | 1749 | 8835k| 197.8 | 161M | 54 |2466 |4218 | 587 | 61k| 0 | 28k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 882s| 42800 | 1738 | 8853k| 197.8 | 161M | 54 |2466 |4245 | 0 | 61k| 0 | 29k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 884s| 42900 | 1750 | 8864k| 197.6 | 161M | 54 |2466 |4289 | 589 | 61k| 1 | 29k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 885s| 43000 | 1764 | 8880k| 197.5 | 161M | 54 |2466 |4312 | 581 | 61k| 2 | 29k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 887s| 43100 | 1799 | 8899k| 197.5 | 161M | 54 |2466 |4386 | 565 | 61k| 1 | 29k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 888s| 43200 | 1831 | 8911k| 197.3 | 161M | 54 |2466 |4434 | 584 | 61k| 1 | 29k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 889s| 43300 | 1832 | 8923k| 197.1 | 161M | 54 |2466 |4465 | 584 | 61k| 1 | 29k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 891s| 43400 | 1858 | 8944k| 197.2 | 161M | 54 |2466 |4511 | 595 | 61k| 1 | 29k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 892s| 43500 | 1870 | 8961k| 197.1 | 161M | 54 |2466 |4556 | 605 | 62k| 1 | 29k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 894s| 43600 | 1877 | 8975k| 197.0 | 161M | 54 |2466 |4615 | 593 | 62k| 1 | 29k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 895s| 43700 | 1882 | 8989k| 196.9 | 161M | 54 |2466 |4618 | 584 | 62k| 0 | 29k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
909.56/912.14 c 897s| 43800 | 1876 | 9007k| 196.8 | 161M | 54 |2466 |4659 | 594 | 62k| 1 | 29k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 898s| 43900 | 1878 | 9021k| 196.7 | 161M | 54 |2466 |4671 | 592 | 62k| 1 | 29k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 900s| 44000 | 1894 | 9040k| 196.7 | 161M | 54 |2466 |4689 | 602 | 62k| 1 | 30k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 902s| 44100 | 1909 | 9056k| 196.6 | 161M | 54 |2466 |4677 | 0 | 62k| 0 | 30k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 903s| 44200 | 1941 | 9070k| 196.5 | 163M | 54 |2466 |4615 | 591 | 62k| 0 | 30k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 904s| 44300 | 1947 | 9082k| 196.3 | 163M | 54 |2466 |4625 | 602 | 63k| 0 | 30k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 905s| 44400 | 1956 | 9091k| 196.1 | 163M | 54 |2466 |4666 | 599 | 63k| 1 | 30k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 906s| 44500 | 1974 | 9101k| 195.9 | 163M | 54 |2466 |4670 | 585 | 63k| 1 | 30k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 908s| 44600 | 1979 | 9117k| 195.8 | 163M | 54 |2466 |4696 | 593 | 63k| 1 | 30k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 910s| 44700 | 1974 | 9138k| 195.8 | 163M | 54 |2466 |4704 | 595 | 63k| 1 | 30k| 22 | 6.000000e+00 | -- | Inf | 4.10%
909.56/912.14 c 911s| 44800 | 1984 | 9149k| 195.6 | 163M | 54 |2466 |4686 | 0 | 63k| 0 | 30k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 912s| 44900 | 1980 | 9158k| 195.4 | 163M | 54 |2466 |4697 | 0 | 63k| 0 | 30k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 914s| 45000 | 1990 | 9171k| 195.3 | 163M | 54 |2466 |4710 | 593 | 64k| 2 | 30k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 915s| 45100 | 1990 | 9183k| 195.1 | 163M | 54 |2466 |4735 | 598 | 64k| 0 | 30k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 917s| 45200 | 1990 | 9202k| 195.1 | 163M | 54 |2466 |4673 | 582 | 64k| 1 | 30k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
993.22/996.06 c 918s| 45300 | 1997 | 9217k| 195.0 | 163M | 54 |2466 |4713 | 590 | 64k| 0 | 30k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 919s| 45400 | 2002 | 9231k| 194.9 | 163M | 54 |2466 |4660 | 576 | 64k| 1 | 30k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 921s| 45500 | 2014 | 9246k| 194.8 | 164M | 54 |2466 |4696 | 589 | 64k| 1 | 31k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 922s| 45600 | 2021 | 9259k| 194.7 | 164M | 54 |2466 |4712 | 590 | 64k| 1 | 31k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 924s| 45700 | 2039 | 9276k| 194.6 | 164M | 54 |2466 |4752 | 602 | 65k| 0 | 31k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 925s| 45800 | 2051 | 9290k| 194.5 | 164M | 54 |2466 |4765 | 586 | 65k| 1 | 31k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 927s| 45900 | 2039 | 9309k| 194.5 | 164M | 54 |2466 |4783 | 590 | 65k| 1 | 31k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 929s| 46000 | 2058 | 9326k| 194.4 | 164M | 54 |2466 |4803 | 594 | 65k| 1 | 31k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 931s| 46100 | 2073 | 9347k| 194.5 | 164M | 54 |2466 |4722 | 619 | 65k| 1 | 31k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 932s| 46200 | 2096 | 9363k| 194.4 | 165M | 54 |2466 |4738 | 591 | 65k| 1 | 31k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 934s| 46300 | 2092 | 9379k| 194.3 | 165M | 54 |2466 |4764 | 593 | 65k| 0 | 31k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 935s| 46400 | 2104 | 9391k| 194.2 | 165M | 54 |2466 |4714 | 606 | 65k| 0 | 31k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 937s| 46500 | 2106 | 9408k| 194.1 | 165M | 54 |2466 |4706 | 585 | 66k| 1 | 31k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 938s| 46600 | 2115 | 9421k| 194.0 | 165M | 54 |2466 |4749 | 599 | 66k| 0 | 31k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 941s| 46700 | 2088 | 9453k| 194.3 | 165M | 54 |2466 |4634 | 593 | 66k| 1 | 31k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
993.22/996.06 c 942s| 46800 | 2082 | 9464k| 194.1 | 165M | 54 |2466 |4680 | 579 | 66k| 1 | 31k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 944s| 46900 | 2084 | 9476k| 193.9 | 165M | 54 |2466 |4713 | 592 | 66k| 0 | 32k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 945s| 47000 | 2097 | 9491k| 193.8 | 165M | 54 |2466 |4706 | 600 | 66k| 1 | 32k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 947s| 47100 | 2092 | 9506k| 193.8 | 166M | 54 |2466 |4686 | 582 | 66k| 0 | 32k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 948s| 47200 | 2102 | 9524k| 193.7 | 166M | 54 |2466 |4721 | 592 | 66k| 0 | 32k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 950s| 47300 | 2114 | 9541k| 193.7 | 166M | 54 |2466 |4782 | 587 | 66k| 1 | 32k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 951s| 47400 | 2111 | 9558k| 193.6 | 166M | 54 |2466 |4778 | 596 | 67k| 1 | 32k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 953s| 47500 | 2161 | 9576k| 193.6 | 166M | 54 |2466 |4800 | 590 | 67k| 1 | 32k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 955s| 47600 | 2163 | 9597k| 193.6 | 166M | 54 |2466 |4838 | 585 | 67k| 1 | 32k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 957s| 47700 | 2196 | 9615k| 193.6 | 166M | 54 |2466 |4783 | 597 | 67k| 1 | 32k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 958s| 47800 | 2210 | 9634k| 193.6 | 166M | 54 |2466 |4801 | 590 | 67k| 0 | 32k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 960s| 47900 | 2203 | 9655k| 193.6 | 166M | 54 |2466 |4788 | 593 | 67k| 0 | 33k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 962s| 48000 | 2223 | 9673k| 193.6 | 166M | 54 |2466 |4751 | 581 | 67k| 1 | 33k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 964s| 48100 | 2211 | 9698k| 193.7 | 166M | 54 |2466 |4759 | 581 | 67k| 0 | 33k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 965s| 48200 | 2209 | 9711k| 193.6 | 166M | 54 |2466 |4765 | 594 | 68k| 1 | 33k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
993.22/996.06 c 966s| 48300 | 2228 | 9722k| 193.4 | 166M | 54 |2466 |4768 | 600 | 68k| 0 | 33k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 968s| 48400 | 2235 | 9737k| 193.3 | 166M | 54 |2466 |4762 | 603 | 68k| 1 | 33k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 969s| 48500 | 2228 | 9753k| 193.3 | 166M | 54 |2466 |4783 | 606 | 68k| 1 | 33k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 971s| 48600 | 2188 | 9771k| 193.2 | 166M | 54 |2466 |4704 | 603 | 68k| 2 | 33k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 973s| 48700 | 2201 | 9786k| 193.2 | 166M | 54 |2466 |4709 | 588 | 68k| 1 | 33k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 975s| 48800 | 2204 | 9804k| 193.1 | 166M | 54 |2466 |4646 | 579 | 68k| 1 | 33k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 976s| 48900 | 2210 | 9820k| 193.1 | 166M | 54 |2466 |4705 | 607 | 68k| 0 | 33k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 978s| 49000 | 2221 | 9836k| 193.0 | 167M | 54 |2466 |4709 | 591 | 68k| 1 | 33k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 979s| 49100 | 2222 | 9850k| 192.9 | 167M | 54 |2466 |4691 | 0 | 68k| 0 | 33k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 981s| 49200 | 2232 | 9867k| 192.9 | 167M | 54 |2466 |4708 | 568 | 69k| 1 | 33k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 983s| 49300 | 2252 | 9891k| 192.9 | 167M | 54 |2466 |4732 | 582 | 69k| 1 | 33k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 985s| 49400 | 2258 | 9908k| 192.9 | 167M | 54 |2466 |4764 | 585 | 69k| 1 | 33k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 986s| 49500 | 2254 | 9925k| 192.9 | 167M | 54 |2466 |4787 | 600 | 69k| 1 | 34k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 988s| 49600 | 2230 | 9942k| 192.8 | 167M | 54 |2466 |4812 | 593 | 69k| 0 | 34k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 990s| 49700 | 2240 | 9962k| 192.8 | 167M | 54 |2466 |4784 | 585 | 69k| 0 | 34k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
993.22/996.06 c 991s| 49800 | 2240 | 9977k| 192.7 | 167M | 54 |2466 |4786 | 604 | 69k| 1 | 34k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 993s| 49900 | 2249 | 9990k| 192.6 | 167M | 54 |2466 |4818 | 584 | 69k| 0 | 34k| 22 | 6.000000e+00 | -- | Inf | 4.10%
993.22/996.06 c 994s| 50000 | 2242 | 10008k| 192.6 | 167M | 54 |2466 |4876 | 580 | 69k| 1 | 34k| 22 | 6.000000e+00 | -- | Inf | 4.10%
997.31/1000.18 c 996s| 50100 | 2238 | 10024k| 192.5 | 167M | 54 |2466 |4901 | 592 | 70k| 1 | 34k| 22 | 6.000000e+00 | -- | Inf | 4.10%
997.31/1000.18 c 998s| 50200 | 2258 | 10044k| 192.5 | 167M | 54 |2466 |4899 | 586 | 70k| 2 | 34k| 22 | 6.000000e+00 | -- | Inf | 4.10%
997.31/1000.18 c 1000s| 50300 | 2264 | 10065k| 192.6 | 167M | 54 |2466 |4950 | 586 | 70k| 1 | 34k| 22 | 6.000000e+00 | -- | Inf | 4.10%
997.31/1000.18 c
997.31/1000.18 c SCIP Status : solving was interrupted [time limit reached]
997.31/1000.18 c Solving Time (sec) : 1000.00
997.31/1000.18 c Solving Nodes : 50308 (total of 52246 nodes in 2 runs)
997.31/1000.18 c Primal Bound : +1.00000000000000e+20 (0 solutions)
997.31/1000.18 c Dual Bound : +6.00000000000000e+00
997.31/1000.18 c Gap : infinite
997.31/1000.18 c ----------------------------------------------------------------------
997.31/1000.18 c dual bound: 6.0 -> 6
997.31/1000.18 c primal bound: 1e+20 -> 100000000000000000000
997.31/1000.18 c scip-goal-lb: 6
997.31/1000.18 c scip-goal-ub: 100000000000000000000
997.31/1000.18 c writing output to: HOME/tmpqhkcm5rj.opb
997.31/1000.18 c appending fixed variable constraints
997.31/1000.18 c scip-fixed vars: 30.41% (750/2466)
997.31/1000.18 c ----------------------------------------------------------------------
997.31/1000.18 c executing external solver: HOME/naps-1.03a6
997.31/1000.18 c ----------------------------------------------------------------------
997.31/1000.18 c command: HOME/naps-1.03a6 -goal-lb=6 -goal-ub=99999999999999999999 HOME/tmpqhkcm5rj.opb
997.31/1000.19 c NaPS 1.03a6.
997.31/1000.19 c Input file name: HOME/tmpqhkcm5rj.opb
998.58/1001.48 c single stage optimization mode
3600.09/3610.60 c
3600.09/3610.60 c *** TERMINATED *** by signal 15
3600.09/3610.60 c _____________________________________________________________________________
3600.09/3610.60 c std/band forms : 447,0
3600.09/3610.60 c 2cl/3cl ITE-codings : 218880,0
3600.09/3610.60 c BDD/srt/adr Max costs : 878,14208,0
3600.09/3610.60 c BDDraw/bin/mul/srt/adr: 384,0,0,63,0
3600.09/3610.60 c BDD nodes : 337536
3600.09/3610.60 c Es1/CC detections : 0,0
3600.09/3610.60 c CC sort : 63
3600.09/3610.60 c SAT/UNSAT calls : 0,0
3600.09/3610.60 c regenrated variables : 0
3600.09/3610.60 c eliminated fixed lits : 768
3600.09/3610.60 c goal lit flips : 0
3600.09/3610.60 c goal stages : 1
3600.09/3610.60 c goal shrink : 0
3600.09/3610.60 c goal coeff separations: 0
3600.09/3610.60 c restarts : 0
3600.09/3610.60 c conflicts : 0 (0 /sec)
3600.09/3610.60 c decisions : 0 (0 /sec)
3600.09/3610.60 c propagations : 0 (0 /sec)
3600.09/3610.60 c inspects : 0 (0 /sec)
3600.09/3610.60 c CPU time (solving tm) : 2602 s (2601 s, SAT 0 s, UNSAT 0 s)
3600.09/3610.60 c Time for Opt-base : 0.000694 s
3600.09/3610.60 c Steps for Opt-base : 0
3600.09/3610.60 c Time for BDD coding : 0.8998 s
3600.09/3610.60 c Time for srt coding : 0.004555 s
3600.09/3610.60 c _____________________________________________________________________________
3600.09/3610.60 s UNKNOWN
3600.09/3610.67 c received SIGTERM, forwarding to pbsolver...
3600.09/3610.67 c failed to send SIGTERM to pbsolver: [Errno 3] No such process
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 (41368 MiB free)
memory of node 1: 64465 MiB (63659 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499179-1751393728/watcher-4499179-1751393728 -o /tmp/evaluation-result-4499179-1751393728/solver-4499179-1751393728 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751386400-51592 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4499179-1751393728.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=54385, runsolver pid=54382
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.12 4.17 4.13 5/270 54390
/proc/meminfo: memFree=107538344/131250000 swapFree=33010684/33010684
[pid=54385] ppid=54382 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/54385/stat : 54385 (scip-naps-1.00.) S 54382 54385 51580 0 -1 4194304 254 341 0 0 0 0 0 0 20 0 1 0 54995372 4292608 736 18446744073709551615 94852312969216 94852313863749 140736346300192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94852314102800 94852314150544 94852319784960 140736346306977 140736346307074 140736346307074 140736346312676 0
/proc/54385/statm: 1048 736 672 219 0 110 0
[pid=54390] ppid=54385 vsize=1186236 memory=30824 CPUtime=0.06 cores=1,3
/proc/54390/stat : 54390 (python3) R 54385 54385 51580 0 -1 4194304 3528 0 0 0 5 1 0 0 20 0 1 0 54995374 1214705664 7706 18446744073709551615 94587902337024 94587902337401 140722104127984 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94587902348696 94587902349316 94587935752192 140722104129895 140722104130082 140722104130082 140722104135655 0
/proc/54390/statm: 296559 7706 4826 1 0 268581 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1190428 KiB
Current children cumulated memory: 33768 KiB
[startup+0.205629 s]*
/proc/loadavg: 4.12 4.17 4.13 5/270 54390
/proc/meminfo: memFree=107508756/131250000 swapFree=33010684/33010684
[pid=54385] ppid=54382 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/54385/stat : 54385 (scip-naps-1.00.) S 54382 54385 51580 0 -1 4194304 254 341 0 0 0 0 0 0 20 0 1 0 54995372 4292608 736 18446744073709551615 94852312969216 94852313863749 140736346300192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94852314102800 94852314150544 94852319784960 140736346306977 140736346307074 140736346307074 140736346312676 0
/proc/54385/statm: 1048 736 672 219 0 110 0
[pid=54390] ppid=54385 vsize=1217788 memory=70376 CPUtime=0.16 cores=1,3
/proc/54390/stat : 54390 (python3) R 54385 54385 51580 0 -1 4194304 10595 0 0 0 14 2 0 0 20 0 1 0 54995374 1247014912 17594 18446744073709551615 94587902337024 94587902337401 140722104127984 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94587902348696 94587902349316 94587935752192 140722104129895 140722104130082 140722104130082 140722104135655 0
/proc/54390/statm: 304447 17594 7898 1 0 275805 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1221980 KiB
Current children cumulated memory: 73320 KiB
[startup+0.305586 s]*
/proc/loadavg: 4.12 4.17 4.13 5/270 54390
/proc/meminfo: memFree=107500692/131250000 swapFree=33010684/33010684
[pid=54385] ppid=54382 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/54385/stat : 54385 (scip-naps-1.00.) S 54382 54385 51580 0 -1 4194304 254 341 0 0 0 0 0 0 20 0 1 0 54995372 4292608 736 18446744073709551615 94852312969216 94852313863749 140736346300192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94852314102800 94852314150544 94852319784960 140736346306977 140736346307074 140736346307074 140736346312676 0
/proc/54385/statm: 1048 736 672 219 0 110 0
[pid=54390] ppid=54385 vsize=1237036 memory=85676 CPUtime=0.25 cores=1,3
/proc/54390/stat : 54390 (python3) R 54385 54385 51580 0 -1 4194304 13909 0 0 0 23 2 0 0 20 0 1 0 54995374 1266724864 21419 18446744073709551615 94587902337024 94587902337401 140722104127984 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94587902348696 94587902349316 94587935752192 140722104129895 140722104130082 140722104130082 140722104135655 0
/proc/54390/statm: 309259 21419 7994 1 0 280617 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 1241228 KiB
Current children cumulated memory: 88620 KiB
[startup+0.700178 s]
/proc/loadavg: 4.12 4.17 4.13 5/270 54390
/proc/meminfo: memFree=107492628/131250000 swapFree=33010684/33010684
[pid=54385] ppid=54382 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/54385/stat : 54385 (scip-naps-1.00.) S 54382 54385 51580 0 -1 4194304 254 341 0 0 0 0 0 0 20 0 1 0 54995372 4292608 736 18446744073709551615 94852312969216 94852313863749 140736346300192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94852314102800 94852314150544 94852319784960 140736346306977 140736346307074 140736346307074 140736346312676 0
/proc/54385/statm: 1048 736 672 219 0 110 0
[pid=54390] ppid=54385 vsize=1240084 memory=89004 CPUtime=0.65 cores=1,3
/proc/54390/stat : 54390 (python3) R 54385 54385 51580 0 -1 4194304 14762 0 0 0 62 3 0 0 20 0 1 0 54995374 1269846016 22251 18446744073709551615 94587902337024 94587902337401 140722104127984 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94587902348696 94587902349316 94587935752192 140722104129895 140722104130082 140722104130082 140722104135655 0
/proc/54390/statm: 310021 22251 7994 1 0 281379 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1244276 KiB
Current children cumulated memory: 91948 KiB
[startup+1.50018 s]
/proc/loadavg: 4.12 4.17 4.13 5/270 54390
/proc/meminfo: memFree=107476500/131250000 swapFree=33010684/33010684
[pid=54385] ppid=54382 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/54385/stat : 54385 (scip-naps-1.00.) S 54382 54385 51580 0 -1 4194304 254 341 0 0 0 0 0 0 20 0 1 0 54995372 4292608 736 18446744073709551615 94852312969216 94852313863749 140736346300192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94852314102800 94852314150544 94852319784960 140736346306977 140736346307074 140736346307074 140736346312676 0
/proc/54385/statm: 1048 736 672 219 0 110 0
[pid=54390] ppid=54385 vsize=1276204 memory=124716 CPUtime=1.45 cores=1,3
/proc/54390/stat : 54390 (python3) R 54385 54385 51580 0 -1 4194304 23633 0 0 0 141 4 0 0 20 0 1 0 54995374 1306832896 31179 18446744073709551615 94587902337024 94587902337401 140722104127984 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94587902348696 94587902349316 94587935752192 140722104129895 140722104130082 140722104130082 140722104135655 0
/proc/54390/statm: 319051 31179 8122 1 0 290409 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1280396 KiB
Current children cumulated memory: 127660 KiB
[startup+3.10547 s]
/proc/loadavg: 4.11 4.17 4.13 5/270 54390
/proc/meminfo: memFree=107418540/131250000 swapFree=33010684/33010684
[pid=54385] ppid=54382 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/54385/stat : 54385 (scip-naps-1.00.) S 54382 54385 51580 0 -1 4194304 254 341 0 0 0 0 0 0 20 0 1 0 54995372 4292608 736 18446744073709551615 94852312969216 94852313863749 140736346300192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94852314102800 94852314150544 94852319784960 140736346306977 140736346307074 140736346307074 140736346312676 0
/proc/54385/statm: 1048 736 672 219 0 110 0
[pid=54390] ppid=54385 vsize=1311828 memory=158992 CPUtime=3.05 cores=1,3
/proc/54390/stat : 54390 (python3) R 54385 54385 51580 0 -1 4194304 34957 0 0 0 299 6 0 0 20 0 1 0 54995374 1343311872 39748 18446744073709551615 94587902337024 94587902337401 140722104127984 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94587902348696 94587902349316 94587935752192 140722104129895 140722104130082 140722104130082 140722104135655 0
/proc/54390/statm: 327957 39748 8122 1 0 299315 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1316020 KiB
Current children cumulated memory: 161936 KiB
[startup+6.30019 s]
/proc/loadavg: 4.11 4.17 4.13 5/270 54390
/proc/meminfo: memFree=107418008/131250000 swapFree=33010684/33010684
[pid=54385] ppid=54382 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/54385/stat : 54385 (scip-naps-1.00.) S 54382 54385 51580 0 -1 4194304 254 341 0 0 0 0 0 0 20 0 1 0 54995372 4292608 736 18446744073709551615 94852312969216 94852313863749 140736346300192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94852314102800 94852314150544 94852319784960 140736346306977 140736346307074 140736346307074 140736346312676 0
/proc/54385/statm: 1048 736 672 219 0 110 0
[pid=54390] ppid=54385 vsize=1318368 memory=166840 CPUtime=6.23 cores=1,3
/proc/54390/stat : 54390 (python3) R 54385 54385 51580 0 -1 4194304 39159 0 0 0 617 6 0 0 20 0 1 0 54995374 1350008832 41710 18446744073709551615 94587902337024 94587902337401 140722104127984 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94587902348696 94587902349316 94587935752192 140722104129895 140722104130082 140722104130082 140722104135655 0
/proc/54390/statm: 329592 41710 8122 1 0 300950 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 1322560 KiB
Current children cumulated memory: 169784 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.18 4.13 5/270 54390
/proc/meminfo: memFree=107418368/131250000 swapFree=33010684/33010684
[pid=54385] ppid=54382 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/54385/stat : 54385 (scip-naps-1.00.) S 54382 54385 51580 0 -1 4194304 254 341 0 0 0 0 0 0 20 0 1 0 54995372 4292608 736 18446744073709551615 94852312969216 94852313863749 140736346300192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94852314102800 94852314150544 94852319784960 140736346306977 140736346307074 140736346307074 140736346312676 0
/proc/54385/statm: 1048 736 672 219 0 110 0
[pid=54390] ppid=54385 vsize=1315684 memory=164204 CPUtime=12.61 cores=1,3
/proc/54390/stat : 54390 (python3) R 54385 54385 51580 0 -1 4194304 39175 0 0 0 1255 6 0 0 20 0 1 0 54995374 1347260416 41051 18446744073709551615 94587902337024 94587902337401 140722104127984 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94587902348696 94587902349316 94587935752192 140722104129895 140722104130082 140722104130082 140722104135655 0
/proc/54390/statm: 328921 41051 8122 1 0 300279 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1319876 KiB
Current children cumulated memory: 167148 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.17 4.13 5/270 54390
/proc/meminfo: memFree=105644988/131250000 swapFree=33010684/33010684
[pid=54385] ppid=54382 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/54385/stat : 54385 (scip-naps-1.00.) S 54382 54385 51580 0 -1 4194304 254 341 0 0 0 0 0 0 20 0 1 0 54995372 4292608 736 18446744073709551615 94852312969216 94852313863749 140736346300192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94852314102800 94852314150544 94852319784960 140736346306977 140736346307074 140736346307074 140736346312676 0
/proc/54385/statm: 1048 736 672 219 0 110 0
[pid=54390] ppid=54385 vsize=1344836 memory=193076 CPUtime=25.37 cores=1,3
/proc/54390/stat : 54390 (python3) R 54385 54385 51580 0 -1 4194304 50044 0 0 0 2528 9 0 0 20 0 1 0 54995374 1377112064 48269 18446744073709551615 94587902337024 94587902337401 140722104127984 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94587902348696 94587902349316 94587935752192 140722104129895 140722104130082 140722104130082 140722104135655 0
/proc/54390/statm: 336209 48269 8122 1 0 307567 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1349028 KiB
Current children cumulated memory: 196020 KiB
[startup+51.1054 s]
/proc/loadavg: 4.17 4.18 4.13 5/269 54391
/proc/meminfo: memFree=107386028/131250000 swapFree=33010684/33010684
[pid=54385] ppid=54382 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/54385/stat : 54385 (scip-naps-1.00.) S 54382 54385 51580 0 -1 4194304 254 341 0 0 0 0 0 0 20 0 1 0 54995372 4292608 736 18446744073709551615 94852312969216 94852313863749 140736346300192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94852314102800 94852314150544 94852319784960 140736346306977 140736346307074 140736346307074 140736346312676 0
/proc/54385/statm: 1048 736 672 219 0 110 0
[pid=54390] ppid=54385 vsize=1363332 memory=212100 CPUtime=50.91 cores=1,3
/proc/54390/stat : 54390 (python3) R 54385 54385 51580 0 -1 4194304 58773 0 0 0 5080 11 0 0 20 0 1 0 54995374 1396051968 53025 18446744073709551615 94587902337024 94587902337401 140722104127984 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94587902348696 94587902349316 94587935752192 140722104129895 140722104130082 140722104130082 140722104135655 0
/proc/54390/statm: 340833 53025 8122 1 0 312191 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1367524 KiB
Current children cumulated memory: 215044 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.16 4.13 5/269 54392
/proc/meminfo: memFree=107386932/131250000 swapFree=33010684/33010684
[pid=54385] ppid=54382 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/54385/stat : 54385 (scip-naps-1.00.) S 54382 54385 51580 0 -1 4194304 254 341 0 0 0 0 0 0 20 0 1 0 54995372 4292608 736 18446744073709551615 94852312969216 94852313863749 140736346300192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94852314102800 94852314150544 94852319784960 140736346306977 140736346307074 140736346307074 140736346312676 0
/proc/54385/statm: 1048 736 672 219 0 110 0
[pid=54390] ppid=54385 vsize=1363332 memory=212740 CPUtime=101.97 cores=1,3
/proc/54390/stat : 54390 (python3) R 54385 54385 51580 0 -1 4194304 58787 0 0 0 10186 11 0 0 20 0 1 0 54995374 1396051968 53185 18446744073709551615 94587902337024 94587902337401 140722104127984 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94587902348696 94587902349316 94587935752192 140722104129895 140722104130082 140722104130082 140722104135655 0
/proc/54390/statm: 340833 53185 8250 1 0 312191 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1367524 KiB
Current children cumulated memory: 215684 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.14 4.12 5/272 54397
/proc/meminfo: memFree=107317400/131250000 swapFree=33010684/33010684
[pid=54385] ppid=54382 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/54385/stat : 54385 (scip-naps-1.00.) S 54382 54385 51580 0 -1 4194304 254 341 0 0 0 0 0 0 20 0 1 0 54995372 4292608 736 18446744073709551615 94852312969216 94852313863749 140736346300192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94852314102800 94852314150544 94852319784960 140736346306977 140736346307074 140736346307074 140736346312676 0
/proc/54385/statm: 1048 736 672 219 0 110 0
[pid=54390] ppid=54385 vsize=1363332 memory=212740 CPUtime=161.81 cores=1,3
/proc/54390/stat : 54390 (python3) R 54385 54385 51580 0 -1 4194304 58787 0 0 0 16170 11 0 0 20 0 1 0 54995374 1396051968 53185 18446744073709551615 94587902337024 94587902337401 140722104127984 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94587902348696 94587902349316 94587935752192 140722104129895 140722104130082 140722104130082 140722104135655 0
/proc/54390/statm: 340833 53185 8250 1 0 312191 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 1367524 KiB
Current children cumulated memory: 215684 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.13 4.11 5/273 54405
/proc/meminfo: memFree=106506088/131250000 swapFree=33010684/33010684
[pid=54385] ppid=54382 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/54385/stat : 54385 (scip-naps-1.00.) S 54382 54385 51580 0 -1 4194304 254 341 0 0 0 0 0 0 20 0 1 0 54995372 4292608 736 18446744073709551615 94852312969216 94852313863749 140736346300192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94852314102800 94852314150544 94852319784960 140736346306977 140736346307074 140736346307074 140736346312676 0
/proc/54385/statm: 1048 736 672 219 0 110 0
[pid=54390] ppid=54385 vsize=1363332 memory=212740 CPUtime=221.65 cores=1,3
/proc/54390/stat : 54390 (python3) R 54385 54385 51580 0 -1 4194304 58798 0 0 0 22154 11 0 0 20 0 1 0 54995374 1396051968 53185 18446744073709551615 94587902337024 94587902337401 140722104127984 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94587902348696 94587902349316 94587935752192 140722104129895 140722104130082 140722104130082 140722104135655 0
/proc/54390/statm: 340833 53185 8250 1 0 312191 0
Current children cumulated CPU time: 221.65 s
################
# More data... #
################
[pid=54440] ppid=54390 vsize=311092 memory=303388 CPUtime=2155.77 cores=1,3
/proc/54440/stat : 54440 (naps-1.03a6) R 54390 54440 54440 0 -1 4194304 82131 0 0 0 215511 66 0 0 20 0 1 0 55095391 318558208 75847 18446744073709551615 4198400 7047149 140733068748384 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 15171584 140733068757352 140733068757491 140733068757491 140733068763081 0
/proc/54440/statm: 77773 75847 640 696 0 76934 0
Current children cumulated CPU time: 3153.16 s
Current children cumulated vsize: 1702684 KiB
Current children cumulated memory: 543328 KiB
[startup+3222.3 s]
/proc/loadavg: 2.09 2.53 3.30 3/254 54760
/proc/meminfo: memFree=128545196/131250000 swapFree=33010684/33010684
[pid=54385] ppid=54382 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/54385/stat : 54385 (scip-naps-1.00.) S 54382 54385 51580 0 -1 4194304 254 341 0 0 0 0 0 0 20 0 1 0 54995372 4292608 736 18446744073709551615 94852312969216 94852313863749 140736346300192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94852314102800 94852314150544 94852319784960 140736346306977 140736346307074 140736346307074 140736346312676 0
/proc/54385/statm: 1048 736 672 219 0 110 0
[pid=54390] ppid=54385 vsize=1387400 memory=236996 CPUtime=997.39 cores=1,3
/proc/54390/stat : 54390 (python3) S 54385 54385 51580 0 -1 4194304 102963 0 0 0 99718 21 0 0 20 0 1 0 54995374 1420697600 59249 18446744073709551615 94587902337024 94587902337401 140722104127984 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94587902348696 94587902349316 94587935752192 140722104129895 140722104130082 140722104130082 140722104135655 0
/proc/54390/statm: 346850 59249 8282 1 0 318208 0
[pid=54440] ppid=54390 vsize=343744 memory=335988 CPUtime=2215.59 cores=1,3
/proc/54440/stat : 54440 (naps-1.03a6) R 54390 54440 54440 0 -1 4194304 82629 0 0 0 221492 67 0 0 20 0 1 0 55095391 351993856 83997 18446744073709551615 4198400 7047149 140733068748384 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 15171584 140733068757352 140733068757491 140733068757491 140733068763081 0
/proc/54440/statm: 85936 83997 640 696 0 85097 0
Current children cumulated CPU time: 3212.98 s
Current children cumulated vsize: 1735336 KiB
Current children cumulated memory: 575928 KiB
[startup+3282.3 s]
/proc/loadavg: 2.15 2.46 3.23 3/254 54762
/proc/meminfo: memFree=128463748/131250000 swapFree=33010684/33010684
[pid=54385] ppid=54382 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/54385/stat : 54385 (scip-naps-1.00.) S 54382 54385 51580 0 -1 4194304 254 341 0 0 0 0 0 0 20 0 1 0 54995372 4292608 736 18446744073709551615 94852312969216 94852313863749 140736346300192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94852314102800 94852314150544 94852319784960 140736346306977 140736346307074 140736346307074 140736346312676 0
/proc/54385/statm: 1048 736 672 219 0 110 0
[pid=54390] ppid=54385 vsize=1387400 memory=236996 CPUtime=997.39 cores=1,3
/proc/54390/stat : 54390 (python3) S 54385 54385 51580 0 -1 4194304 102963 0 0 0 99718 21 0 0 20 0 1 0 54995374 1420697600 59249 18446744073709551615 94587902337024 94587902337401 140722104127984 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94587902348696 94587902349316 94587935752192 140722104129895 140722104130082 140722104130082 140722104135655 0
/proc/54390/statm: 346850 59249 8282 1 0 318208 0
[pid=54440] ppid=54390 vsize=313888 memory=306112 CPUtime=2275.4 cores=1,3
/proc/54440/stat : 54440 (naps-1.03a6) R 54390 54440 54440 0 -1 4194304 83339 0 0 0 227473 67 0 0 20 0 1 0 55095391 321421312 76528 18446744073709551615 4198400 7047149 140733068748384 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 15171584 140733068757352 140733068757491 140733068757491 140733068763081 0
/proc/54440/statm: 78472 76528 640 696 0 77633 0
Current children cumulated CPU time: 3272.79 s
Current children cumulated vsize: 1705480 KiB
Current children cumulated memory: 546052 KiB
[startup+3342.3 s]
/proc/loadavg: 2.11 2.39 3.15 3/255 54769
/proc/meminfo: memFree=128487568/131250000 swapFree=33010684/33010684
[pid=54385] ppid=54382 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/54385/stat : 54385 (scip-naps-1.00.) S 54382 54385 51580 0 -1 4194304 254 341 0 0 0 0 0 0 20 0 1 0 54995372 4292608 736 18446744073709551615 94852312969216 94852313863749 140736346300192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94852314102800 94852314150544 94852319784960 140736346306977 140736346307074 140736346307074 140736346312676 0
/proc/54385/statm: 1048 736 672 219 0 110 0
[pid=54390] ppid=54385 vsize=1387400 memory=236996 CPUtime=997.39 cores=1,3
/proc/54390/stat : 54390 (python3) S 54385 54385 51580 0 -1 4194304 102963 0 0 0 99718 21 0 0 20 0 1 0 54995374 1420697600 59249 18446744073709551615 94587902337024 94587902337401 140722104127984 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94587902348696 94587902349316 94587935752192 140722104129895 140722104130082 140722104130082 140722104135655 0
/proc/54390/statm: 346850 59249 8282 1 0 318208 0
[pid=54440] ppid=54390 vsize=281300 memory=273760 CPUtime=2335.21 cores=1,3
/proc/54440/stat : 54440 (naps-1.03a6) R 54390 54440 54440 0 -1 4194304 83976 0 0 0 233453 68 0 0 20 0 1 0 55095391 288051200 68440 18446744073709551615 4198400 7047149 140733068748384 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 15171584 140733068757352 140733068757491 140733068757491 140733068763081 0
/proc/54440/statm: 70325 68440 640 696 0 69486 0
Current children cumulated CPU time: 3332.6 s
Current children cumulated vsize: 1672892 KiB
Current children cumulated memory: 513700 KiB
[startup+3402.3 s]
/proc/loadavg: 2.09 2.34 3.09 3/255 54771
/proc/meminfo: memFree=128487744/131250000 swapFree=33010684/33010684
[pid=54385] ppid=54382 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/54385/stat : 54385 (scip-naps-1.00.) S 54382 54385 51580 0 -1 4194304 254 341 0 0 0 0 0 0 20 0 1 0 54995372 4292608 736 18446744073709551615 94852312969216 94852313863749 140736346300192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94852314102800 94852314150544 94852319784960 140736346306977 140736346307074 140736346307074 140736346312676 0
/proc/54385/statm: 1048 736 672 219 0 110 0
[pid=54390] ppid=54385 vsize=1387400 memory=236996 CPUtime=997.39 cores=1,3
/proc/54390/stat : 54390 (python3) S 54385 54385 51580 0 -1 4194304 102963 0 0 0 99718 21 0 0 20 0 1 0 54995374 1420697600 59249 18446744073709551615 94587902337024 94587902337401 140722104127984 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94587902348696 94587902349316 94587935752192 140722104129895 140722104130082 140722104130082 140722104135655 0
/proc/54390/statm: 346850 59249 8282 1 0 318208 0
[pid=54440] ppid=54390 vsize=282172 memory=274632 CPUtime=2395.03 cores=1,3
/proc/54440/stat : 54440 (naps-1.03a6) R 54390 54440 54440 0 -1 4194304 85057 0 0 0 239434 69 0 0 20 0 1 0 55095391 288944128 68658 18446744073709551615 4198400 7047149 140733068748384 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 15171584 140733068757352 140733068757491 140733068757491 140733068763081 0
/proc/54440/statm: 70543 68658 640 696 0 69704 0
Current children cumulated CPU time: 3392.42 s
Current children cumulated vsize: 1673764 KiB
Current children cumulated memory: 514572 KiB
[startup+3462.3 s]
/proc/loadavg: 2.36 2.38 3.05 3/255 54773
/proc/meminfo: memFree=128476756/131250000 swapFree=33010684/33010684
[pid=54385] ppid=54382 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/54385/stat : 54385 (scip-naps-1.00.) S 54382 54385 51580 0 -1 4194304 254 341 0 0 0 0 0 0 20 0 1 0 54995372 4292608 736 18446744073709551615 94852312969216 94852313863749 140736346300192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94852314102800 94852314150544 94852319784960 140736346306977 140736346307074 140736346307074 140736346312676 0
/proc/54385/statm: 1048 736 672 219 0 110 0
[pid=54390] ppid=54385 vsize=1387400 memory=236996 CPUtime=997.39 cores=1,3
/proc/54390/stat : 54390 (python3) S 54385 54385 51580 0 -1 4194304 102963 0 0 0 99718 21 0 0 20 0 1 0 54995374 1420697600 59249 18446744073709551615 94587902337024 94587902337401 140722104127984 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94587902348696 94587902349316 94587935752192 140722104129895 140722104130082 140722104130082 140722104135655 0
/proc/54390/statm: 346850 59249 8282 1 0 318208 0
[pid=54440] ppid=54390 vsize=281704 memory=274164 CPUtime=2454.84 cores=1,3
/proc/54440/stat : 54440 (naps-1.03a6) R 54390 54440 54440 0 -1 4194304 85887 0 0 0 245414 70 0 0 20 0 1 0 55095391 288464896 68541 18446744073709551615 4198400 7047149 140733068748384 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 15171584 140733068757352 140733068757491 140733068757491 140733068763081 0
/proc/54440/statm: 70426 68541 640 696 0 69587 0
Current children cumulated CPU time: 3452.23 s
Current children cumulated vsize: 1673296 KiB
Current children cumulated memory: 514104 KiB
[startup+3522.3 s]
/proc/loadavg: 2.19 2.32 2.99 3/256 54776
/proc/meminfo: memFree=128485668/131250000 swapFree=33010684/33010684
[pid=54385] ppid=54382 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/54385/stat : 54385 (scip-naps-1.00.) S 54382 54385 51580 0 -1 4194304 254 341 0 0 0 0 0 0 20 0 1 0 54995372 4292608 736 18446744073709551615 94852312969216 94852313863749 140736346300192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94852314102800 94852314150544 94852319784960 140736346306977 140736346307074 140736346307074 140736346312676 0
/proc/54385/statm: 1048 736 672 219 0 110 0
[pid=54390] ppid=54385 vsize=1387400 memory=236996 CPUtime=997.39 cores=1,3
/proc/54390/stat : 54390 (python3) S 54385 54385 51580 0 -1 4194304 102963 0 0 0 99718 21 0 0 20 0 1 0 54995374 1420697600 59249 18446744073709551615 94587902337024 94587902337401 140722104127984 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94587902348696 94587902349316 94587935752192 140722104129895 140722104130082 140722104130082 140722104135655 0
/proc/54390/statm: 346850 59249 8282 1 0 318208 0
[pid=54440] ppid=54390 vsize=282920 memory=275380 CPUtime=2514.66 cores=1,3
/proc/54440/stat : 54440 (naps-1.03a6) R 54390 54440 54440 0 -1 4194304 86848 0 0 0 251395 71 0 0 20 0 1 0 55095391 289710080 68845 18446744073709551615 4198400 7047149 140733068748384 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 15171584 140733068757352 140733068757491 140733068757491 140733068763081 0
/proc/54440/statm: 70730 68845 640 696 0 69891 0
Current children cumulated CPU time: 3512.05 s
Current children cumulated vsize: 1674512 KiB
Current children cumulated memory: 515320 KiB
[startup+3582.3 s]
/proc/loadavg: 2.19 2.29 2.94 3/256 54778
/proc/meminfo: memFree=128502684/131250000 swapFree=33010684/33010684
[pid=54385] ppid=54382 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/54385/stat : 54385 (scip-naps-1.00.) S 54382 54385 51580 0 -1 4194304 254 341 0 0 0 0 0 0 20 0 1 0 54995372 4292608 736 18446744073709551615 94852312969216 94852313863749 140736346300192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94852314102800 94852314150544 94852319784960 140736346306977 140736346307074 140736346307074 140736346312676 0
/proc/54385/statm: 1048 736 672 219 0 110 0
[pid=54390] ppid=54385 vsize=1387400 memory=236996 CPUtime=997.39 cores=1,3
/proc/54390/stat : 54390 (python3) S 54385 54385 51580 0 -1 4194304 102963 0 0 0 99718 21 0 0 20 0 1 0 54995374 1420697600 59249 18446744073709551615 94587902337024 94587902337401 140722104127984 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94587902348696 94587902349316 94587935752192 140722104129895 140722104130082 140722104130082 140722104135655 0
/proc/54390/statm: 346850 59249 8282 1 0 318208 0
[pid=54440] ppid=54390 vsize=281736 memory=274196 CPUtime=2574.48 cores=1,3
/proc/54440/stat : 54440 (naps-1.03a6) R 54390 54440 54440 0 -1 4194304 88006 0 0 0 257376 72 0 0 20 0 1 0 55095391 288497664 68549 18446744073709551615 4198400 7047149 140733068748384 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 15171584 140733068757352 140733068757491 140733068757491 140733068763081 0
/proc/54440/statm: 70434 68549 640 696 0 69595 0
Current children cumulated CPU time: 3571.87 s
Current children cumulated vsize: 1673328 KiB
Current children cumulated memory: 514136 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 2.11 2.27 2.90 3/255 54780
/proc/meminfo: memFree=128473108/131250000 swapFree=33010684/33010684
[pid=54385] ppid=54382 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/54385/stat : 54385 (scip-naps-1.00.) S 54382 54385 51580 0 -1 4194304 254 341 0 0 0 0 0 0 20 0 1 0 54995372 4292608 736 18446744073709551615 94852312969216 94852313863749 140736346300192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94852314102800 94852314150544 94852319784960 140736346306977 140736346307074 140736346307074 140736346312676 0
/proc/54385/statm: 1048 736 672 219 0 110 0
[pid=54390] ppid=54385 vsize=1387400 memory=236996 CPUtime=997.39 cores=1,3
/proc/54390/stat : 54390 (python3) S 54385 54385 51580 0 -1 4194304 102963 0 0 0 99718 21 0 0 20 0 1 0 54995374 1420697600 59249 18446744073709551615 94587902337024 94587902337401 140722104127984 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94587902348696 94587902349316 94587935752192 140722104129895 140722104130082 140722104130082 140722104135655 0
/proc/54390/statm: 346850 59249 8282 1 0 318208 0
[pid=54440] ppid=54390 vsize=281648 memory=274108 CPUtime=2602.7 cores=1,3
/proc/54440/stat : 54440 (naps-1.03a6) R 54390 54440 54440 0 -1 4194304 88649 0 0 0 260197 73 0 0 20 0 1 0 55095391 288407552 68527 18446744073709551615 4198400 7047149 140733068748384 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 15171584 140733068757352 140733068757491 140733068757491 140733068763081 0
/proc/54440/statm: 70412 68527 640 696 0 69573 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1673240 KiB
Current children cumulated memory: 514048 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.62 s]
# the end of solver process 54385 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.004233 s, system=0.001844 s
[startup+3610.7 s]
# the end of solver process 54390 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.23 s, system=0.985207 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.7
CPU time (s): 3600.21
CPU user time (s): 3599.23
CPU system time (s): 0.985207
CPU usage (%): 99.7097
Max. virtual memory (cumulated for all children) (KiB): 1792340
Max. memory (cumulated for all children) (KiB): 630500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.23
system time used= 0.985207
maximum resident set size= 390560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 218020
page faults= 0
swaps= 0
block input operations= 0
block output operations= 664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 406
involuntary context switches= 4945
# summary of solver processes directly reported to runsolver:
# pid: 54385,54390
# total CPU time (s): 3600.21
# total CPU user time (s): 3599.23
# total CPU system time (s): 0.985207
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.21387 second user time and 17.9668 second system time
The end