26.39/26.50 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4530284-1752253812.opb
26.39/26.50 c Solving mode: optimization
26.39/26.50 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
26.39/26.50 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
26.39/26.50 c original problem has 3216 variables (3216 bin, 0 int, 0 impl, 0 cont) and 3658 constraints
26.39/26.50 c presolving:
26.39/26.50 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
26.39/26.50 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
26.39/26.50 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
26.39/26.50 c (0.1s) probing: 51/3210 (1.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
26.39/26.50 c (0.1s) probing aborted: 50/50 successive totally useless probings
26.39/26.50 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
26.39/26.50 c (0.7s) symmetry computation finished: 428 generators found (max: 1500, log10 of symmetry group size: 140.0) (symcode time: 0.63)
26.39/26.50 c dynamic symmetry handling statistics:
26.39/26.50 c orbitopal reduction: no components
26.39/26.50 c orbital reduction: no components
26.39/26.50 c lexicographic reduction: no permutations
26.39/26.50 c handled 1 out of 1 symmetry components
26.39/26.50 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
26.39/26.50 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
26.39/26.50 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
26.39/26.50 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
26.39/26.50 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
26.39/26.50 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
26.39/26.50 c (1.0s) probing: 1000/3210 (31.2%) - 0 fixings, 0 aggregations, 35130 implications, 0 bound changes
26.39/26.50 c (1.1s) probing: 1203/3210 (37.5%) - 0 fixings, 0 aggregations, 42067 implications, 0 bound changes
26.39/26.50 c (1.1s) probing aborted: 50/50 successive totally useless probings
26.39/26.50 c presolving (10 rounds: 10 fast, 8 medium, 3 exhaustive):
26.39/26.50 c 750 deleted vars, 3211 deleted constraints, 383 added constraints, 6 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
26.39/26.50 c 0 implications, 31998 cliques
26.39/26.50 c presolved problem has 2466 variables (2466 bin, 0 int, 0 impl, 0 cont) and 830 constraints
26.39/26.50 c 384 constraints of type <knapsack>
26.39/26.50 c 63 constraints of type <setppc>
26.39/26.50 c 383 constraints of type <orbitope>
26.39/26.50 c transformed objective value is always integral (scale: 1)
26.39/26.50 c Presolving Time: 1.10
26.39/26.50 c
26.39/26.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
26.39/26.50 c 1.3s| 1 | 0 | 584 | - | 74M | 0 |2466 | 886 | 447 | 0 | 0 | 55 | 0 | 6.000000e+00 | -- | Inf | unknown
26.39/26.50 c 1.4s| 1 | 0 | 1086 | - | 77M | 0 |2466 | 886 | 460 | 13 | 1 | 55 | 0 | 6.000000e+00 | -- | Inf | unknown
26.39/26.50 c 1.5s| 1 | 0 | 1174 | - | 79M | 0 |2466 | 886 | 478 | 31 | 2 | 55 | 0 | 6.000000e+00 | -- | Inf | unknown
26.39/26.50 c 1.5s| 1 | 0 | 1321 | - | 81M | 0 |2466 | 886 | 495 | 48 | 3 | 55 | 0 | 6.000000e+00 | -- | Inf | unknown
26.39/26.50 c 1.6s| 1 | 0 | 1413 | - | 83M | 0 |2466 | 888 | 511 | 64 | 4 | 57 | 0 | 6.000000e+00 | -- | Inf | unknown
26.39/26.50 c 1.7s| 1 | 0 | 1987 | - | 84M | 0 |2466 | 888 | 531 | 84 | 5 | 57 | 0 | 6.000000e+00 | -- | Inf | unknown
26.39/26.50 c 1.7s| 1 | 0 | 2182 | - | 87M | 0 |2466 | 889 | 550 | 103 | 6 | 58 | 0 | 6.000000e+00 | -- | Inf | unknown
26.39/26.50 c 1.8s| 1 | 0 | 2285 | - | 89M | 0 |2466 | 889 | 569 | 122 | 7 | 58 | 0 | 6.000000e+00 | -- | Inf | unknown
26.39/26.50 c 1.9s| 1 | 0 | 2345 | - | 90M | 0 |2466 | 890 | 584 | 137 | 8 | 59 | 0 | 6.000000e+00 | -- | Inf | unknown
26.39/26.50 c 1.9s| 1 | 0 | 2464 | - | 92M | 0 |2466 | 890 | 603 | 156 | 9 | 59 | 0 | 6.000000e+00 | -- | Inf | unknown
26.39/26.50 c 2.0s| 1 | 0 | 2882 | - | 94M | 0 |2466 | 891 | 620 | 173 | 10 | 60 | 0 | 6.000000e+00 | -- | Inf | unknown
26.39/26.50 c 2.1s| 1 | 0 | 3012 | - | 94M | 0 |2466 | 892 | 640 | 193 | 11 | 61 | 0 | 6.000000e+00 | -- | Inf | unknown
26.39/26.50 c 2.3s| 1 | 2 | 4807 | - | 95M | 0 |2466 | 930 | 640 | 193 | 11 | 99 | 11 | 6.000000e+00 | -- | Inf | unknown
26.39/26.50 c 6.0s| 100 | 63 | 39427 | 367.8 | 98M | 30 |2466 |1323 | 499 | 394 | 0 | 494 | 11 | 6.000000e+00 | -- | Inf | unknown
26.39/26.50 c 7.6s| 200 | 92 | 60038 | 286.6 | 99M | 39 |2466 |1491 | 497 | 583 | 1 | 668 | 11 | 6.000000e+00 | -- | Inf | unknown
26.39/26.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
26.39/26.50 c 9.2s| 300 | 102 | 80686 | 259.8 | 100M | 39 |2466 |1693 | 490 | 730 | 0 | 879 | 11 | 6.000000e+00 | -- | Inf | unknown
26.39/26.50 c 10.9s| 400 | 101 | 98396 | 239.1 | 101M | 40 |2466 |1888 | 475 | 921 | 1 |1149 | 11 | 6.000000e+00 | -- | Inf | unknown
26.39/26.50 c 11.9s| 500 | 146 |109185 | 212.8 | 102M | 40 |2466 |1953 | 510 |1088 | 1 |1236 | 11 | 6.000000e+00 | -- | Inf | unknown
26.39/26.50 c 12.9s| 600 | 170 |120358 | 195.9 | 103M | 40 |2466 |2004 | 474 |1269 | 1 |1411 | 11 | 6.000000e+00 | -- | Inf | unknown
26.39/26.50 c 13.8s| 700 | 189 |130615 | 182.6 | 104M | 40 |2466 |2054 | 486 |1385 | 1 |1485 | 11 | 6.000000e+00 | -- | Inf | unknown
26.39/26.50 c 15.2s| 800 | 222 |143133 | 175.4 | 104M | 40 |2466 |2157 | 501 |1627 | 2 |1721 | 11 | 6.000000e+00 | -- | Inf | unknown
26.39/26.50 c 16.2s| 900 | 269 |153177 | 167.0 | 105M | 40 |2466 |2258 | 506 |1806 | 1 |1923 | 11 | 6.000000e+00 | -- | Inf | unknown
26.39/26.50 c 17.0s| 1000 | 307 |160219 | 157.4 | 105M | 40 |2466 |2431 | 506 |1922 | 1 |2137 | 11 | 6.000000e+00 | -- | Inf | unknown
26.39/26.50 c 17.9s| 1100 | 343 |169798 | 151.8 | 106M | 40 |2466 |2581 | 507 |1992 | 1 |2317 | 11 | 6.000000e+00 | -- | Inf | unknown
26.39/26.50 c 18.9s| 1200 | 378 |179971 | 147.6 | 107M | 40 |2466 |2754 | 490 |2105 | 1 |2567 | 11 | 6.000000e+00 | -- | Inf | unknown
26.39/26.50 c 20.1s| 1300 | 421 |198469 | 150.5 | 107M | 40 |2466 |2914 | 508 |2200 | 0 |2832 | 11 | 6.000000e+00 | -- | Inf | unknown
26.39/26.50 c 21.2s| 1400 | 455 |206469 | 145.4 | 107M | 40 |2466 |3033 | 465 |2366 | 1 |3054 | 11 | 6.000000e+00 | -- | Inf | unknown
26.39/26.50 c 22.3s| 1500 | 509 |216112 | 142.2 | 108M | 40 |2466 |3102 | 475 |2508 | 1 |3265 | 11 | 6.000000e+00 | -- | Inf | unknown
26.39/26.50 c 23.2s| 1600 | 550 |223958 | 138.2 | 108M | 40 |2466 |3234 | 493 |2716 | 1 |3478 | 11 | 6.000000e+00 | -- | Inf | unknown
26.39/26.50 c 24.4s| 1700 | 606 |234992 | 136.5 | 109M | 40 |2466 |3274 | 489 |2895 | 1 |3654 | 11 | 6.000000e+00 | -- | Inf | unknown
26.39/26.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
26.39/26.50 c 25.1s| 1800 | 638 |240459 | 132.0 | 109M | 40 |2466 |3362 | 475 |3066 | 1 |3800 | 11 | 6.000000e+00 | -- | Inf | unknown
78.33/78.62 c 26.4s| 1900 | 670 |253601 | 132.0 | 110M | 40 |2466 |3486 | 498 |3276 | 1 |4013 | 11 | 6.000000e+00 | -- | Inf | unknown
78.33/78.62 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
78.33/78.62 c (run 1, node 1938) performing user restart
78.33/78.62 c
78.33/78.62 c (restart) converted 17 cuts from the global cut pool into linear constraints
78.33/78.62 c
78.33/78.62 c presolving:
78.33/78.62 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
78.33/78.62 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
78.33/78.62 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
78.33/78.62 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
78.33/78.62 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
78.33/78.62 c presolving (6 rounds: 6 fast, 5 medium, 5 exhaustive):
78.33/78.62 c 0 deleted vars, 330 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 283 changed coefficients
78.33/78.62 c 0 implications, 32011 cliques
78.33/78.62 c presolved problem has 2466 variables (2466 bin, 0 int, 0 impl, 0 cont) and 3155 constraints
78.33/78.62 c 399 constraints of type <knapsack>
78.33/78.62 c 79 constraints of type <setppc>
78.33/78.62 c 14 constraints of type <linear>
78.33/78.62 c 383 constraints of type <orbitope>
78.33/78.62 c 2280 constraints of type <logicor>
78.33/78.62 c transformed objective value is always integral (scale: 1)
78.33/78.62 c Presolving Time: 1.92
78.33/78.62 c
78.33/78.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
78.33/78.62 c 27.6s| 1 | 0 |258039 | - | 124M | 0 |2466 |3157 | 464 | 0 | 0 |4074 | 11 | 6.000000e+00 | -- | Inf | unknown
78.33/78.62 c 27.9s| 1 | 0 |258081 | - | 124M | 0 |2466 |3157 | 481 | 17 | 1 |4074 | 11 | 6.000000e+00 | -- | Inf | unknown
78.33/78.62 c 28.0s| 1 | 0 |258133 | - | 125M | 0 |2466 |3162 | 501 | 37 | 2 |4079 | 11 | 6.000000e+00 | -- | Inf | unknown
78.33/78.62 c 28.0s| 1 | 0 |258182 | - | 126M | 0 |2466 |3163 | 517 | 53 | 3 |4080 | 11 | 6.000000e+00 | -- | Inf | unknown
78.33/78.62 c 28.1s| 1 | 0 |258235 | - | 126M | 0 |2466 |3167 | 538 | 74 | 4 |4084 | 11 | 6.000000e+00 | -- | Inf | unknown
78.33/78.62 c 28.2s| 1 | 0 |258293 | - | 126M | 0 |2466 |3170 | 553 | 89 | 5 |4087 | 11 | 6.000000e+00 | -- | Inf | unknown
78.33/78.62 c 28.2s| 1 | 0 |258400 | - | 126M | 0 |2466 |3170 | 574 | 110 | 6 |4088 | 11 | 6.000000e+00 | -- | Inf | unknown
78.33/78.62 c 28.3s| 1 | 0 |258466 | - | 126M | 0 |2466 |3170 | 590 | 126 | 7 |4088 | 11 | 6.000000e+00 | -- | Inf | unknown
78.33/78.62 c 28.4s| 1 | 0 |258550 | - | 127M | 0 |2466 |3170 | 606 | 142 | 8 |4089 | 11 | 6.000000e+00 | -- | Inf | unknown
78.33/78.62 c 28.5s| 1 | 0 |258699 | - | 127M | 0 |2466 |3167 | 626 | 162 | 9 |4090 | 11 | 6.000000e+00 | -- | Inf | unknown
78.33/78.62 c 28.5s| 1 | 0 |258777 | - | 129M | 0 |2466 |3160 | 631 | 179 | 10 |4092 | 11 | 6.000000e+00 | -- | Inf | unknown
78.33/78.62 c 28.7s| 1 | 0 |260015 | - | 129M | 0 |2466 |3143 | 654 | 202 | 11 |4097 | 11 | 6.000000e+00 | -- | Inf | unknown
78.33/78.62 c 29.6s| 1 | 2 |264848 | - | 129M | 0 |2466 |3127 | 654 | 202 | 11 |4144 | 22 | 6.000000e+00 | -- | Inf | unknown
78.33/78.62 c 32.1s| 100 | 61 |282777 | 136.1 | 129M | 42 |2466 |3186 | 569 | 336 | 1 |4280 | 22 | 6.000000e+00 | -- | Inf | 3.91%
78.33/78.62 c 33.5s| 200 | 83 |296216 | 136.0 | 131M | 50 |2466 |3239 | 591 | 518 | 0 |4340 | 22 | 6.000000e+00 | -- | Inf | 3.91%
78.33/78.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
78.33/78.62 c 34.7s| 300 | 89 |308673 | 135.5 | 132M | 54 |2466 |3299 | 574 | 657 | 0 |4412 | 22 | 6.000000e+00 | -- | Inf | 3.91%
78.33/78.62 c 36.2s| 400 | 109 |323718 | 136.1 | 132M | 54 |2466 |3301 | 586 | 872 | 1 |4425 | 22 | 6.000000e+00 | -- | Inf | 3.91%
78.33/78.62 c 38.1s| 500 | 122 |342636 | 138.3 | 132M | 54 |2466 |3314 | 569 |1037 | 1 |4464 | 22 | 6.000000e+00 | -- | Inf | 3.91%
78.33/78.62 c 39.7s| 600 | 133 |359385 | 139.4 | 132M | 54 |2466 |3324 | 578 |1244 | 0 |4498 | 22 | 6.000000e+00 | -- | Inf | 3.91%
78.33/78.62 c 41.1s| 700 | 149 |372991 | 139.3 | 132M | 54 |2466 |3354 | 588 |1464 | 1 |4556 | 22 | 6.000000e+00 | -- | Inf | 3.91%
78.33/78.62 c 42.9s| 800 | 164 |390226 | 140.5 | 132M | 54 |2466 |3358 | 564 |1662 | 1 |4581 | 22 | 6.000000e+00 | -- | Inf | 3.91%
78.33/78.62 c 44.1s| 900 | 172 |400901 | 139.3 | 132M | 54 |2466 |3370 | 584 |1852 | 2 |4609 | 22 | 6.000000e+00 | -- | Inf | 3.91%
78.33/78.62 c 45.7s| 1000 | 187 |415731 | 139.6 | 132M | 54 |2466 |3402 | 570 |2072 | 1 |4669 | 22 | 6.000000e+00 | -- | Inf | 3.91%
78.33/78.62 c 47.2s| 1100 | 216 |431241 | 140.1 | 133M | 54 |2466 |3420 | 572 |2181 | 1 |4721 | 22 | 6.000000e+00 | -- | Inf | 3.91%
78.33/78.62 c 48.8s| 1200 | 209 |445771 | 140.3 | 133M | 54 |2466 |3450 | 586 |2354 | 1 |4780 | 22 | 6.000000e+00 | -- | Inf | 3.91%
78.33/78.62 c 50.5s| 1300 | 211 |462217 | 141.1 | 133M | 54 |2466 |3472 | 576 |2576 | 1 |4825 | 22 | 6.000000e+00 | -- | Inf | 3.91%
78.33/78.62 c 52.7s| 1400 | 240 |485526 | 143.8 | 133M | 54 |2466 |3494 | 564 |2793 | 0 |4887 | 22 | 6.000000e+00 | -- | Inf | 3.91%
78.33/78.62 c 54.1s| 1500 | 251 |498872 | 143.5 | 133M | 54 |2466 |3496 | 567 |2920 | 1 |4931 | 22 | 6.000000e+00 | -- | Inf | 3.91%
78.33/78.62 c 56.1s| 1600 | 266 |519702 | 145.3 | 133M | 54 |2466 |3515 | 601 |3102 | 0 |4985 | 22 | 6.000000e+00 | -- | Inf | 3.91%
78.33/78.62 c 58.0s| 1700 | 280 |539302 | 146.7 | 133M | 54 |2466 |3537 | 604 |3283 | 1 |5030 | 22 | 6.000000e+00 | -- | Inf | 3.91%
78.33/78.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
78.33/78.62 c 59.2s| 1800 | 300 |559008 | 148.1 | 133M | 54 |2466 |3559 | 587 |3451 | 0 |5063 | 22 | 6.000000e+00 | -- | Inf | 3.91%
78.33/78.62 c 60.8s| 1900 | 305 |574741 | 148.3 | 133M | 54 |2466 |3567 | 579 |3618 | 0 |5077 | 22 | 6.000000e+00 | -- | Inf | 3.91%
78.33/78.62 c 62.9s| 2000 | 325 |596510 | 150.1 | 134M | 54 |2466 |3605 | 584 |3916 | 0 |5141 | 22 | 6.000000e+00 | -- | Inf | 3.91%
78.33/78.62 c 64.5s| 2100 | 338 |612523 | 150.3 | 134M | 54 |2466 |3610 | 587 |4100 | 1 |5159 | 22 | 6.000000e+00 | -- | Inf | 3.91%
78.33/78.62 c 65.7s| 2200 | 339 |624246 | 149.5 | 134M | 54 |2466 |3610 | 573 |4218 | 1 |5185 | 22 | 6.000000e+00 | -- | Inf | 3.91%
78.33/78.62 c 68.2s| 2300 | 332 |645681 | 151.1 | 134M | 54 |2466 |3603 | 591 |4445 | 0 |5213 | 22 | 6.000000e+00 | -- | Inf | 3.91%
78.33/78.62 c 69.7s| 2400 | 333 |660447 | 151.0 | 134M | 54 |2466 |3626 | 573 |4566 | 0 |5266 | 22 | 6.000000e+00 | -- | Inf | 3.91%
78.33/78.62 c 71.5s| 2500 | 349 |678191 | 151.6 | 134M | 54 |2466 |3655 | 591 |4777 | 0 |5322 | 22 | 6.000000e+00 | -- | Inf | 3.91%
78.33/78.62 c 73.7s| 2600 | 375 |702056 | 153.5 | 134M | 54 |2466 |3666 | 561 |5008 | 0 |5377 | 22 | 6.000000e+00 | -- | Inf | 3.91%
78.33/78.62 c 75.5s| 2700 | 387 |717972 | 153.6 | 134M | 54 |2466 |3676 | 568 |5187 | 2 |5439 | 22 | 6.000000e+00 | -- | Inf | 3.91%
78.33/78.62 c 77.1s| 2800 | 397 |735628 | 154.1 | 134M | 54 |2466 |3673 | 593 |5330 | 1 |5461 | 22 | 6.000000e+00 | -- | Inf | 3.91%
188.41/189.01 c 78.5s| 2900 | 412 |748444 | 153.6 | 134M | 54 |2466 |3682 | 612 |5440 | 1 |5485 | 22 | 6.000000e+00 | -- | Inf | 3.91%
188.41/189.01 c 80.0s| 3000 | 416 |763159 | 153.4 | 135M | 54 |2466 |3670 | 567 |5621 | 1 |5518 | 22 | 6.000000e+00 | -- | Inf | 3.91%
188.41/189.01 c 81.4s| 3100 | 423 |776807 | 153.1 | 135M | 54 |2466 |3697 | 598 |5760 | 2 |5568 | 22 | 6.000000e+00 | -- | Inf | 3.91%
188.41/189.01 c 83.0s| 3200 | 441 |792587 | 153.2 | 135M | 54 |2466 |3695 | 585 |5924 | 1 |5579 | 22 | 6.000000e+00 | -- | Inf | 3.91%
188.41/189.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
188.41/189.01 c 84.5s| 3300 | 452 |808912 | 153.4 | 135M | 54 |2466 |3712 | 595 |6153 | 0 |5609 | 22 | 6.000000e+00 | -- | Inf | 3.91%
188.41/189.01 c 86.3s| 3400 | 458 |826937 | 153.9 | 135M | 54 |2466 |3714 | 588 |6338 | 0 |5642 | 22 | 6.000000e+00 | -- | Inf | 3.91%
188.41/189.01 c 87.3s| 3500 | 465 |836186 | 152.8 | 135M | 54 |2466 |3761 | 586 |6428 | 0 |5705 | 22 | 6.000000e+00 | -- | Inf | 3.91%
188.41/189.01 c 88.7s| 3600 | 476 |849203 | 152.4 | 135M | 54 |2466 |3769 | 580 |6573 | 1 |5753 | 22 | 6.000000e+00 | -- | Inf | 3.91%
188.41/189.01 c 90.7s| 3700 | 478 |870775 | 153.5 | 135M | 54 |2466 |3759 | 588 |6775 | 1 |5771 | 22 | 6.000000e+00 | -- | Inf | 3.91%
188.41/189.01 c 91.9s| 3800 | 484 |882075 | 152.8 | 135M | 54 |2466 |3757 | 0 |6900 | 0 |5789 | 22 | 6.000000e+00 | -- | Inf | 3.91%
188.41/189.01 c 93.9s| 3900 | 488 |902263 | 153.6 | 135M | 54 |2466 |3745 | 583 |7030 | 1 |5813 | 22 | 6.000000e+00 | -- | Inf | 3.91%
188.41/189.01 c 95.0s| 4000 | 488 |912744 | 152.8 | 135M | 54 |2466 |3793 | 583 |7193 | 0 |5875 | 22 | 6.000000e+00 | -- | Inf | 3.91%
188.41/189.01 c 96.8s| 4100 | 494 |929855 | 153.1 | 136M | 54 |2466 |3768 | 585 |7375 | 1 |5902 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 98.6s| 4200 | 506 |949102 | 153.7 | 136M | 54 |2466 |3774 | 597 |7612 | 0 |5947 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 100s| 4300 | 501 |966594 | 154.1 | 136M | 54 |2466 |3759 | 593 |7752 | 1 |5986 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 102s| 4400 | 508 |982150 | 154.1 | 136M | 54 |2466 |3752 | 564 |7922 | 1 |6008 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 104s| 4500 | 515 | 1006k| 155.5 | 136M | 54 |2466 |3781 | 584 |8048 | 1 |6043 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 105s| 4600 | 515 | 1021k| 155.4 | 136M | 54 |2466 |3802 | 606 |8169 | 1 |6073 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 107s| 4700 | 509 | 1040k| 156.0 | 136M | 54 |2466 |3807 | 585 |8269 | 1 |6116 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
188.41/189.01 c 109s| 4800 | 504 | 1053k| 155.5 | 136M | 54 |2466 |3780 | 562 |8390 | 1 |6139 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 110s| 4900 | 518 | 1069k| 155.6 | 137M | 54 |2466 |3775 | 590 |8630 | 0 |6166 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 112s| 5000 | 522 | 1083k| 155.4 | 137M | 54 |2466 |3783 | 580 |8734 | 0 |6202 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 114s| 5100 | 522 | 1108k| 156.7 | 137M | 54 |2466 |3758 | 603 |8943 | 1 |6239 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 116s| 5200 | 528 | 1128k| 157.3 | 137M | 54 |2466 |3726 | 577 |9139 | 1 |6269 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 118s| 5300 | 529 | 1149k| 158.0 | 137M | 54 |2466 |3724 | 597 |9396 | 0 |6315 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 120s| 5400 | 549 | 1165k| 158.1 | 137M | 54 |2466 |3720 | 0 |9641 | 0 |6330 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 121s| 5500 | 553 | 1181k| 158.1 | 137M | 54 |2466 |3713 | 581 |9770 | 1 |6352 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 123s| 5600 | 565 | 1195k| 157.8 | 137M | 54 |2466 |3684 | 585 |9901 | 1 |6391 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 125s| 5700 | 573 | 1213k| 158.2 | 137M | 54 |2466 |3669 | 567 | 10k| 1 |6419 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 127s| 5800 | 591 | 1237k| 159.2 | 137M | 54 |2466 |3752 | 595 | 10k| 1 |6529 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 128s| 5900 | 598 | 1260k| 160.1 | 138M | 54 |2466 |3792 | 608 | 10k| 1 |6588 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 131s| 6000 | 612 | 1293k| 162.3 | 138M | 54 |2466 |3831 | 589 | 10k| 1 |6645 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 133s| 6100 | 612 | 1324k| 164.1 | 138M | 54 |2466 |3874 | 606 | 10k| 1 |6693 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 136s| 6200 | 611 | 1361k| 166.6 | 138M | 54 |2466 |3879 | 619 | 11k| 1 |6758 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
188.41/189.01 c 139s| 6300 | 605 | 1393k| 168.5 | 138M | 54 |2466 |3918 | 602 | 11k| 0 |6850 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 142s| 6400 | 619 | 1427k| 170.6 | 138M | 54 |2466 |3956 | 615 | 11k| 1 |6913 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 144s| 6500 | 613 | 1462k| 172.6 | 138M | 54 |2466 |3960 | 605 | 11k| 1 |6980 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 148s| 6600 | 613 | 1505k| 175.7 | 138M | 54 |2466 |3993 | 610 | 12k| 0 |7072 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 151s| 6700 | 607 | 1545k| 178.2 | 139M | 54 |2466 |4010 | 590 | 12k| 1 |7158 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 155s| 6800 | 608 | 1590k| 181.4 | 140M | 54 |2466 |4069 | 597 | 12k| 0 |7241 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 158s| 6900 | 619 | 1631k| 183.9 | 140M | 54 |2466 |4053 | 607 | 12k| 0 |7295 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 162s| 7000 | 615 | 1673k| 186.7 | 140M | 54 |2466 |4070 | 596 | 13k| 0 |7322 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 164s| 7100 | 629 | 1704k| 187.9 | 140M | 54 |2466 |4049 | 585 | 13k| 1 |7338 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 167s| 7200 | 625 | 1731k| 188.9 | 140M | 54 |2466 |4068 | 591 | 13k| 0 |7373 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 169s| 7300 | 620 | 1765k| 190.5 | 140M | 54 |2466 |4051 | 576 | 13k| 1 |7395 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 171s| 7400 | 627 | 1790k| 191.2 | 140M | 54 |2466 |4045 | 565 | 13k| 0 |7420 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 174s| 7500 | 633 | 1814k| 191.7 | 140M | 54 |2466 |4056 | 582 | 13k| 0 |7452 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 176s| 7600 | 638 | 1837k| 192.1 | 140M | 54 |2466 |4088 | 578 | 13k| 1 |7490 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 178s| 7700 | 634 | 1864k| 192.9 | 140M | 54 |2466 |4129 | 588 | 13k| 0 |7534 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
188.41/189.01 c 181s| 7800 | 622 | 1894k| 194.0 | 140M | 54 |2466 |4074 | 571 | 14k| 0 |7588 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 182s| 7900 | 627 | 1914k| 194.1 | 140M | 54 |2466 |4062 | 594 | 14k| 1 |7631 | 22 | 6.000000e+00 | -- | Inf | 3.92%
188.41/189.01 c 186s| 8000 | 629 | 1950k| 195.8 | 140M | 54 |2466 |4059 | 577 | 14k| 0 |7673 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 189s| 8100 | 620 | 1990k| 197.7 | 140M | 54 |2466 |4009 | 676 | 14k| 0 |7698 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 191s| 8200 | 644 | 2016k| 198.4 | 140M | 54 |2466 |3948 | 591 | 14k| 1 |7717 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 193s| 8300 | 653 | 2043k| 199.1 | 140M | 54 |2466 |3952 | 592 | 14k| 0 |7738 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 196s| 8400 | 666 | 2070k| 199.8 | 140M | 54 |2466 |3973 | 611 | 14k| 1 |7766 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 198s| 8500 | 676 | 2095k| 200.3 | 141M | 54 |2466 |3987 | 598 | 14k| 1 |7789 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 199s| 8600 | 679 | 2107k| 199.4 | 141M | 54 |2466 |4010 | 594 | 15k| 1 |7815 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 202s| 8700 | 666 | 2138k| 200.5 | 141M | 54 |2466 |4019 | 594 | 15k| 0 |7852 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 203s| 8800 | 665 | 2156k| 200.3 | 141M | 54 |2466 |4023 | 594 | 15k| 1 |7883 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 205s| 8900 | 672 | 2169k| 199.7 | 141M | 54 |2466 |4032 | 609 | 15k| 1 |7905 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 206s| 9000 | 666 | 2181k| 199.0 | 141M | 54 |2466 |3991 | 609 | 15k| 1 |7932 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 208s| 9100 | 669 | 2204k| 199.2 | 141M | 54 |2466 |3930 | 617 | 15k| 1 |7959 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 210s| 9200 | 693 | 2224k| 199.3 | 141M | 54 |2466 |3915 | 591 | 15k| 0 |7991 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
291.11/292.08 c 212s| 9300 | 725 | 2246k| 199.5 | 141M | 54 |2466 |3924 | 602 | 16k| 0 |8056 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 214s| 9400 | 745 | 2267k| 199.5 | 141M | 54 |2466 |3927 | 596 | 16k| 0 |8081 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 216s| 9500 | 751 | 2282k| 199.1 | 141M | 54 |2466 |3936 | 592 | 16k| 1 |8108 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 217s| 9600 | 762 | 2296k| 198.6 | 142M | 54 |2466 |3948 | 598 | 16k| 1 |8147 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 219s| 9700 | 761 | 2314k| 198.4 | 142M | 54 |2466 |3923 | 617 | 16k| 1 |8162 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 220s| 9800 | 775 | 2328k| 197.9 | 142M | 54 |2466 |3915 | 603 | 16k| 1 |8221 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 222s| 9900 | 788 | 2346k| 197.8 | 142M | 54 |2466 |3902 | 615 | 16k| 0 |8294 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 224s| 10000 | 784 | 2361k| 197.3 | 142M | 54 |2466 |3862 | 599 | 17k| 1 |8351 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 225s| 10100 | 785 | 2380k| 197.3 | 142M | 54 |2466 |3794 | 600 | 17k| 1 |8396 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 227s| 10200 | 790 | 2395k| 196.9 | 142M | 54 |2466 |3728 | 582 | 17k| 1 |8432 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 229s| 10300 | 777 | 2418k| 197.2 | 142M | 54 |2466 |3692 | 641 | 17k| 0 |8479 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 231s| 10400 | 766 | 2436k| 197.0 | 142M | 54 |2466 |3622 | 606 | 17k| 1 |8514 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 233s| 10500 | 779 | 2465k| 197.8 | 142M | 54 |2466 |3413 | 596 | 17k| 0 |8544 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 235s| 10600 | 778 | 2485k| 197.8 | 143M | 54 |2466 |3411 | 614 | 18k| 1 |8594 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 237s| 10700 | 781 | 2502k| 197.6 | 143M | 54 |2466 |3404 | 607 | 18k| 1 |8643 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
291.11/292.08 c 239s| 10800 | 795 | 2517k| 197.2 | 143M | 54 |2466 |3403 | 600 | 18k| 0 |8654 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 240s| 10900 | 806 | 2529k| 196.6 | 143M | 54 |2466 |3408 | 581 | 18k| 1 |8669 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 241s| 11000 | 811 | 2542k| 196.1 | 143M | 54 |2466 |3411 | 575 | 18k| 1 |8677 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 242s| 11100 | 816 | 2550k| 195.2 | 143M | 54 |2466 |3428 | 583 | 18k| 1 |8694 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 244s| 11200 | 812 | 2574k| 195.5 | 143M | 54 |2466 |3438 | 608 | 18k| 0 |8740 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 247s| 11300 | 823 | 2601k| 196.1 | 143M | 54 |2466 |3427 | 612 | 18k| 1 |8789 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 251s| 11400 | 804 | 2635k| 197.2 | 143M | 54 |2466 |3331 | 605 | 19k| 1 |8814 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 252s| 11500 | 819 | 2653k| 197.0 | 143M | 54 |2466 |3317 | 592 | 19k| 1 |8855 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 254s| 11600 | 834 | 2668k| 196.7 | 143M | 54 |2466 |3344 | 590 | 19k| 1 |8907 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 256s| 11700 | 845 | 2685k| 196.5 | 143M | 54 |2466 |3340 | 0 | 19k| 0 |8920 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 257s| 11800 | 846 | 2699k| 196.1 | 143M | 54 |2466 |3341 | 602 | 19k| 1 |8935 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 259s| 11900 | 857 | 2716k| 195.9 | 143M | 54 |2466 |3372 | 590 | 19k| 2 |8996 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 261s| 12000 | 867 | 2740k| 196.2 | 143M | 54 |2466 |3373 | 590 | 19k| 1 |9019 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 263s| 12100 | 861 | 2762k| 196.4 | 143M | 54 |2466 |3401 | 673 | 20k| 2 |9086 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 266s| 12200 | 862 | 2789k| 196.9 | 143M | 54 |2466 |3358 | 620 | 20k| 2 |9160 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
291.11/292.08 c 268s| 12300 | 859 | 2805k| 196.6 | 143M | 54 |2466 |3350 | 596 | 20k| 0 |9187 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 274s| 12400 | 805 | 2868k| 199.7 | 143M | 54 |2466 |3166 | 610 | 20k| 1 |9251 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 276s| 12500 | 814 | 2886k| 199.6 | 143M | 54 |2466 |3155 | 602 | 20k| 0 |9287 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 278s| 12600 | 811 | 2904k| 199.4 | 143M | 54 |2466 |3133 | 617 | 20k| 1 |9314 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 280s| 12700 | 800 | 2923k| 199.3 | 143M | 54 |2466 |3125 | 642 | 20k| 0 |9344 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 282s| 12800 | 818 | 2943k| 199.4 | 143M | 54 |2466 |3135 | 605 | 20k| 0 |9378 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 284s| 12900 | 812 | 2965k| 199.5 | 143M | 54 |2466 |3138 | 612 | 21k| 1 |9408 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 286s| 13000 | 828 | 2981k| 199.3 | 143M | 54 |2466 |3137 | 601 | 21k| 0 |9418 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 287s| 13100 | 841 | 3000k| 199.2 | 143M | 54 |2466 |3099 | 585 | 21k| 0 |9452 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 289s| 13200 | 849 | 3017k| 199.0 | 143M | 54 |2466 |3111 | 598 | 21k| 0 |9477 | 22 | 6.000000e+00 | -- | Inf | 3.92%
291.11/292.08 c 290s| 13300 | 864 | 3028k| 198.4 | 144M | 54 |2466 |3179 | 586 | 21k| 1 |9562 | 22 | 6.000000e+00 | -- | Inf | 3.92%
408.37/409.66 c 292s| 13400 | 874 | 3047k| 198.3 | 144M | 54 |2466 |3212 | 590 | 22k| 0 |9602 | 22 | 6.000000e+00 | -- | Inf | 3.92%
408.37/409.66 c 294s| 13500 | 882 | 3063k| 198.1 | 144M | 54 |2466 |3238 | 588 | 22k| 0 |9640 | 22 | 6.000000e+00 | -- | Inf | 3.92%
408.37/409.66 c 295s| 13600 | 888 | 3077k| 197.7 | 144M | 54 |2466 |3262 | 595 | 22k| 0 |9667 | 22 | 6.000000e+00 | -- | Inf | 3.92%
408.37/409.66 c 296s| 13700 | 890 | 3090k| 197.3 | 144M | 54 |2466 |3246 | 610 | 22k| 1 |9679 | 22 | 6.000000e+00 | -- | Inf | 3.92%
408.37/409.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
408.37/409.66 c 298s| 13800 | 894 | 3111k| 197.3 | 144M | 54 |2466 |3212 | 606 | 22k| 0 |9721 | 22 | 6.000000e+00 | -- | Inf | 3.92%
408.37/409.66 c 300s| 13900 | 901 | 3129k| 197.3 | 144M | 54 |2466 |3175 | 592 | 22k| 0 |9773 | 22 | 6.000000e+00 | -- | Inf | 3.92%
408.37/409.66 c 302s| 14000 | 907 | 3144k| 196.9 | 144M | 54 |2466 |3195 | 585 | 22k| 1 |9837 | 22 | 6.000000e+00 | -- | Inf | 3.92%
408.37/409.66 c 303s| 14100 | 915 | 3158k| 196.6 | 144M | 54 |2466 |3221 | 611 | 22k| 1 |9878 | 22 | 6.000000e+00 | -- | Inf | 3.92%
408.37/409.66 c 304s| 14200 | 933 | 3171k| 196.2 | 144M | 54 |2466 |3221 | 0 | 23k| 0 |9946 | 22 | 6.000000e+00 | -- | Inf | 3.92%
408.37/409.66 c 306s| 14300 | 943 | 3183k| 195.7 | 144M | 54 |2466 |3226 | 564 | 23k| 0 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.92%
408.37/409.66 c 307s| 14400 | 929 | 3195k| 195.3 | 144M | 54 |2466 |3154 | 591 | 23k| 0 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.92%
408.37/409.66 c 308s| 14500 | 939 | 3210k| 195.0 | 144M | 54 |2466 |3176 | 603 | 23k| 0 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.92%
408.37/409.66 c 310s| 14600 | 945 | 3229k| 194.9 | 144M | 54 |2466 |3184 | 584 | 23k| 1 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.92%
408.37/409.66 c 312s| 14700 | 934 | 3248k| 194.9 | 144M | 54 |2466 |3195 | 611 | 23k| 1 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.92%
408.37/409.66 c 314s| 14800 | 938 | 3269k| 195.0 | 144M | 54 |2466 |3213 | 591 | 23k| 0 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.92%
408.37/409.66 c 317s| 14900 | 923 | 3292k| 195.2 | 144M | 54 |2466 |3164 | 639 | 24k| 1 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.92%
408.37/409.66 c 318s| 15000 | 933 | 3309k| 195.1 | 144M | 54 |2466 |3148 | 594 | 24k| 1 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.92%
408.37/409.66 c 322s| 15100 | 904 | 3346k| 196.1 | 144M | 54 |2466 |3104 | 846 | 24k| 0 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.92%
408.37/409.66 c 326s| 15200 | 914 | 3390k| 197.5 | 144M | 54 |2466 |3062 | 571 | 24k| 1 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.92%
408.37/409.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
408.37/409.66 c 328s| 15300 | 924 | 3406k| 197.3 | 144M | 54 |2466 |3079 | 591 | 24k| 1 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.92%
408.37/409.66 c 332s| 15400 | 901 | 3447k| 198.5 | 144M | 54 |2466 |3013 | 596 | 24k| 1 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.92%
408.37/409.66 c 335s| 15500 | 897 | 3480k| 199.3 | 145M | 54 |2466 |2983 | 578 | 24k| 1 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.93%
408.37/409.66 c 337s| 15600 | 904 | 3501k| 199.4 | 145M | 54 |2466 |2979 | 592 | 24k| 0 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.93%
408.37/409.66 c 346s| 15700 | 819 | 3584k| 202.9 | 145M | 54 |2466 |2956 | 621 | 25k| 1 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.93%
408.37/409.66 c 350s| 15800 | 854 | 3615k| 203.5 | 145M | 54 |2466 |3024 | 649 | 25k| 1 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.93%
408.37/409.66 c 354s| 15900 | 853 | 3645k| 204.1 | 145M | 54 |2466 |3100 | 676 | 25k| 1 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.93%
408.37/409.66 c 356s| 16000 | 832 | 3669k| 204.3 | 145M | 54 |2466 |3067 | 599 | 25k| 0 | 10k| 22 | 6.000000e+00 | -- | Inf | 3.93%
408.37/409.66 c 358s| 16100 | 823 | 3689k| 204.2 | 145M | 54 |2466 |3072 | 571 | 25k| 0 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
408.37/409.66 c 360s| 16200 | 823 | 3709k| 204.2 | 145M | 54 |2466 |3078 | 612 | 25k| 1 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
408.37/409.66 c 362s| 16300 | 830 | 3726k| 204.0 | 145M | 54 |2466 |3079 | 571 | 25k| 1 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
408.37/409.66 c 368s| 16400 | 798 | 3784k| 206.1 | 145M | 54 |2466 |3076 | 697 | 26k| 1 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
408.37/409.66 c 371s| 16500 | 831 | 3813k| 206.6 | 146M | 54 |2466 |3095 | 589 | 26k| 1 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
408.37/409.66 c 373s| 16600 | 833 | 3833k| 206.5 | 146M | 54 |2466 |3136 | 599 | 26k| 0 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
408.37/409.66 c 375s| 16700 | 843 | 3852k| 206.4 | 146M | 54 |2466 |3195 | 603 | 26k| 0 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
408.37/409.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
408.37/409.66 c 378s| 16800 | 828 | 3875k| 206.6 | 146M | 54 |2466 |3217 | 591 | 26k| 1 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
408.37/409.66 c 380s| 16900 | 835 | 3889k| 206.2 | 146M | 54 |2466 |3212 | 609 | 26k| 1 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
408.37/409.66 c 382s| 17000 | 830 | 3910k| 206.2 | 146M | 54 |2466 |3187 | 0 | 27k| 0 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
408.37/409.66 c 383s| 17100 | 850 | 3923k| 205.8 | 146M | 54 |2466 |3193 | 606 | 27k| 1 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
408.37/409.66 c 385s| 17200 | 850 | 3942k| 205.7 | 146M | 54 |2466 |3212 | 611 | 27k| 1 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
408.37/409.66 c 387s| 17300 | 850 | 3962k| 205.7 | 146M | 54 |2466 |3194 | 588 | 27k| 1 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
408.37/409.66 c 389s| 17400 | 845 | 3981k| 205.6 | 146M | 54 |2466 |3186 | 642 | 27k| 2 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
408.37/409.66 c 391s| 17500 | 848 | 3998k| 205.4 | 146M | 54 |2466 |3174 | 569 | 27k| 1 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
408.37/409.66 c 393s| 17600 | 841 | 4016k| 205.3 | 146M | 54 |2466 |3160 | 605 | 28k| 1 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
408.37/409.66 c 394s| 17700 | 843 | 4034k| 205.2 | 146M | 54 |2466 |3173 | 608 | 28k| 1 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
408.37/409.66 c 396s| 17800 | 856 | 4051k| 205.0 | 146M | 54 |2466 |3174 | 596 | 28k| 0 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
408.37/409.66 c 397s| 17900 | 874 | 4062k| 204.5 | 146M | 54 |2466 |3165 | 588 | 28k| 0 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
408.37/409.66 c 399s| 18000 | 896 | 4086k| 204.7 | 146M | 54 |2466 |3176 | 586 | 28k| 1 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
408.37/409.66 c 401s| 18100 | 909 | 4098k| 204.3 | 146M | 54 |2466 |3180 | 591 | 28k| 1 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
408.37/409.66 c 402s| 18200 | 925 | 4115k| 204.1 | 146M | 54 |2466 |3181 | 615 | 28k| 0 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
408.37/409.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
408.37/409.66 c 403s| 18300 | 937 | 4128k| 203.7 | 146M | 54 |2466 |3186 | 596 | 29k| 1 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
408.37/409.66 c 405s| 18400 | 937 | 4146k| 203.6 | 146M | 54 |2466 |3168 | 586 | 29k| 1 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
408.37/409.66 c 407s| 18500 | 935 | 4164k| 203.5 | 146M | 54 |2466 |3167 | 600 | 29k| 0 | 11k| 22 | 6.000000e+00 | -- | Inf | 3.93%
507.77/509.37 c 410s| 18600 | 927 | 4188k| 203.7 | 146M | 54 |2466 |3148 | 589 | 29k| 1 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.93%
507.77/509.37 c 411s| 18700 | 940 | 4204k| 203.5 | 146M | 54 |2466 |3145 | 605 | 29k| 0 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.93%
507.77/509.37 c 414s| 18800 | 941 | 4226k| 203.6 | 147M | 54 |2466 |3142 | 711 | 29k| 0 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.93%
507.77/509.37 c 415s| 18900 | 942 | 4242k| 203.3 | 147M | 54 |2466 |3163 | 602 | 29k| 1 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.93%
507.77/509.37 c 417s| 19000 | 955 | 4260k| 203.2 | 147M | 54 |2466 |3132 | 584 | 30k| 1 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.94%
507.77/509.37 c 419s| 19100 | 959 | 4274k| 202.9 | 147M | 54 |2466 |3154 | 597 | 30k| 0 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.94%
507.77/509.37 c 421s| 19200 | 977 | 4296k| 203.0 | 147M | 54 |2466 |3166 | 710 | 30k| 1 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.94%
507.77/509.37 c 423s| 19300 | 986 | 4317k| 203.0 | 147M | 54 |2466 |3141 | 589 | 30k| 1 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.94%
507.77/509.37 c 425s| 19400 | 991 | 4336k| 203.0 | 147M | 54 |2466 |3164 | 711 | 30k| 1 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.94%
507.77/509.37 c 427s| 19500 | 1006 | 4351k| 202.7 | 147M | 54 |2466 |3149 | 587 | 30k| 0 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.94%
507.77/509.37 c 429s| 19600 | 1005 | 4373k| 202.8 | 147M | 54 |2466 |3110 | 604 | 30k| 1 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.94%
507.77/509.37 c 432s| 19700 | 1001 | 4396k| 202.9 | 147M | 54 |2466 |3120 | 0 | 31k| 0 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.95%
507.77/509.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
507.77/509.37 c 433s| 19800 | 1010 | 4412k| 202.7 | 147M | 54 |2466 |3163 | 592 | 31k| 1 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.95%
507.77/509.37 c 435s| 19900 | 1013 | 4428k| 202.5 | 147M | 54 |2466 |3183 | 586 | 31k| 0 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.95%
507.77/509.37 c 437s| 20000 | 1020 | 4445k| 202.4 | 147M | 54 |2466 |3196 | 595 | 31k| 1 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.95%
507.77/509.37 c 438s| 20100 | 1028 | 4460k| 202.1 | 147M | 54 |2466 |3197 | 596 | 31k| 1 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.95%
507.77/509.37 c 440s| 20200 | 1009 | 4482k| 202.2 | 147M | 54 |2466 |3159 | 608 | 31k| 1 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.95%
507.77/509.37 c 444s| 20300 | 992 | 4512k| 202.7 | 147M | 54 |2466 |3160 | 738 | 31k| 1 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.95%
507.77/509.37 c 446s| 20400 | 995 | 4533k| 202.7 | 148M | 54 |2466 |3193 | 610 | 32k| 1 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.95%
507.77/509.37 c 447s| 20500 | 991 | 4545k| 202.4 | 148M | 54 |2466 |3225 | 620 | 32k| 0 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.95%
507.77/509.37 c 448s| 20600 | 996 | 4554k| 201.8 | 148M | 54 |2466 |3247 | 582 | 32k| 0 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.95%
507.77/509.37 c 452s| 20700 | 977 | 4591k| 202.6 | 148M | 54 |2466 |3223 | 636 | 32k| 0 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.95%
507.77/509.37 c 454s| 20800 | 976 | 4611k| 202.6 | 148M | 54 |2466 |3240 | 0 | 32k| 0 | 12k| 22 | 6.000000e+00 | -- | Inf | 3.95%
507.77/509.37 c 456s| 20900 | 979 | 4632k| 202.6 | 148M | 54 |2466 |3179 | 597 | 32k| 1 | 13k| 22 | 6.000000e+00 | -- | Inf | 3.97%
507.77/509.37 c 458s| 21000 | 981 | 4653k| 202.6 | 148M | 54 |2466 |3187 | 595 | 32k| 0 | 13k| 22 | 6.000000e+00 | -- | Inf | 3.97%
507.77/509.37 c 460s| 21100 | 984 | 4667k| 202.4 | 148M | 54 |2466 |3224 | 629 | 33k| 0 | 13k| 22 | 6.000000e+00 | -- | Inf | 3.97%
507.77/509.37 c 462s| 21200 | 969 | 4688k| 202.4 | 148M | 54 |2466 |3209 | 561 | 33k| 1 | 13k| 22 | 6.000000e+00 | -- | Inf | 3.97%
507.77/509.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
507.77/509.37 c 465s| 21300 | 988 | 4703k| 202.2 | 148M | 54 |2466 |3285 | 578 | 33k| 0 | 13k| 22 | 6.000000e+00 | -- | Inf | 3.98%
507.77/509.37 c 467s| 21400 | 990 | 4723k| 202.2 | 148M | 54 |2466 |3370 | 586 | 33k| 0 | 13k| 22 | 6.000000e+00 | -- | Inf | 3.98%
507.77/509.37 c 469s| 21500 | 1011 | 4743k| 202.2 | 148M | 54 |2466 |3380 | 616 | 33k| 1 | 13k| 22 | 6.000000e+00 | -- | Inf | 3.98%
507.77/509.37 c 471s| 21600 | 1011 | 4759k| 202.0 | 148M | 54 |2466 |3391 | 619 | 33k| 0 | 13k| 22 | 6.000000e+00 | -- | Inf | 3.98%
507.77/509.37 c 473s| 21700 | 1013 | 4776k| 201.8 | 148M | 54 |2466 |3399 | 603 | 33k| 1 | 13k| 22 | 6.000000e+00 | -- | Inf | 3.98%
507.77/509.37 c 474s| 21800 | 1028 | 4790k| 201.6 | 148M | 54 |2466 |3470 | 580 | 34k| 1 | 13k| 22 | 6.000000e+00 | -- | Inf | 3.98%
507.77/509.37 c 477s| 21900 | 1025 | 4824k| 202.2 | 148M | 54 |2466 |3449 | 606 | 34k| 0 | 13k| 22 | 6.000000e+00 | -- | Inf | 3.98%
507.77/509.37 c 479s| 22000 | 1036 | 4844k| 202.2 | 148M | 54 |2466 |3457 | 617 | 34k| 0 | 13k| 22 | 6.000000e+00 | -- | Inf | 3.98%
507.77/509.37 c 481s| 22100 | 1069 | 4863k| 202.1 | 149M | 54 |2466 |3426 | 564 | 34k| 1 | 13k| 22 | 6.000000e+00 | -- | Inf | 3.98%
507.77/509.37 c 482s| 22200 | 1075 | 4877k| 201.8 | 149M | 54 |2466 |3479 | 547 | 34k| 1 | 14k| 22 | 6.000000e+00 | -- | Inf | 3.98%
507.77/509.37 c 484s| 22300 | 1107 | 4897k| 201.8 | 149M | 54 |2466 |3516 | 567 | 34k| 1 | 14k| 22 | 6.000000e+00 | -- | Inf | 3.98%
507.77/509.37 c 486s| 22400 | 1111 | 4916k| 201.8 | 149M | 54 |2466 |3575 | 568 | 34k| 1 | 14k| 22 | 6.000000e+00 | -- | Inf | 3.98%
507.77/509.37 c 487s| 22500 | 1110 | 4931k| 201.6 | 149M | 54 |2466 |3626 | 587 | 35k| 0 | 14k| 22 | 6.000000e+00 | -- | Inf | 3.98%
507.77/509.37 c 489s| 22600 | 1106 | 4947k| 201.4 | 149M | 54 |2466 |3642 | 621 | 35k| 0 | 14k| 22 | 6.000000e+00 | -- | Inf | 3.98%
507.77/509.37 c 491s| 22700 | 1108 | 4963k| 201.2 | 149M | 54 |2466 |3663 | 568 | 35k| 0 | 14k| 22 | 6.000000e+00 | -- | Inf | 3.98%
507.77/509.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
507.77/509.37 c 492s| 22800 | 1111 | 4979k| 201.1 | 149M | 54 |2466 |3687 | 575 | 35k| 1 | 14k| 22 | 6.000000e+00 | -- | Inf | 3.98%
507.77/509.37 c 494s| 22900 | 1123 | 4994k| 200.9 | 149M | 54 |2466 |3661 | 575 | 35k| 1 | 14k| 22 | 6.000000e+00 | -- | Inf | 3.98%
507.77/509.37 c 495s| 23000 | 1137 | 5008k| 200.6 | 150M | 54 |2466 |3713 | 568 | 35k| 0 | 14k| 22 | 6.000000e+00 | -- | Inf | 3.98%
507.77/509.37 c 497s| 23100 | 1132 | 5024k| 200.5 | 150M | 54 |2466 |3751 | 589 | 35k| 0 | 14k| 22 | 6.000000e+00 | -- | Inf | 3.98%
507.77/509.37 c 498s| 23200 | 1138 | 5037k| 200.2 | 150M | 54 |2466 |3748 | 581 | 35k| 1 | 14k| 22 | 6.000000e+00 | -- | Inf | 3.98%
507.77/509.37 c 499s| 23300 | 1139 | 5052k| 200.0 | 150M | 54 |2466 |3773 | 567 | 35k| 1 | 14k| 22 | 6.000000e+00 | -- | Inf | 3.98%
507.77/509.37 c 501s| 23400 | 1150 | 5069k| 199.9 | 150M | 54 |2466 |3788 | 599 | 36k| 1 | 14k| 22 | 6.000000e+00 | -- | Inf | 3.98%
507.77/509.37 c 502s| 23500 | 1158 | 5084k| 199.7 | 150M | 54 |2466 |3792 | 571 | 36k| 0 | 14k| 22 | 6.000000e+00 | -- | Inf | 3.98%
507.77/509.37 c 504s| 23600 | 1190 | 5104k| 199.7 | 150M | 54 |2466 |3819 | 584 | 36k| 1 | 14k| 22 | 6.000000e+00 | -- | Inf | 3.99%
507.77/509.37 c 506s| 23700 | 1200 | 5125k| 199.7 | 150M | 54 |2466 |3820 | 572 | 36k| 0 | 14k| 22 | 6.000000e+00 | -- | Inf | 3.99%
507.77/509.37 c 508s| 23800 | 1201 | 5142k| 199.6 | 150M | 54 |2466 |3854 | 581 | 36k| 1 | 15k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 509s| 23900 | 1199 | 5156k| 199.3 | 150M | 54 |2466 |3899 | 579 | 36k| 0 | 15k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 511s| 24000 | 1215 | 5174k| 199.3 | 150M | 54 |2466 |3901 | 580 | 36k| 1 | 15k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 513s| 24100 | 1207 | 5189k| 199.1 | 150M | 54 |2466 |3928 | 0 | 36k| 0 | 15k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 514s| 24200 | 1210 | 5207k| 199.0 | 150M | 54 |2466 |3978 | 587 | 37k| 1 | 15k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
596.65/598.50 c 516s| 24300 | 1209 | 5226k| 199.0 | 150M | 54 |2466 |3985 | 570 | 37k| 1 | 15k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 518s| 24400 | 1212 | 5243k| 198.9 | 150M | 54 |2466 |4037 | 568 | 37k| 1 | 15k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 520s| 24500 | 1210 | 5261k| 198.8 | 150M | 54 |2466 |3995 | 580 | 37k| 0 | 15k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 521s| 24600 | 1224 | 5277k| 198.7 | 150M | 54 |2466 |3941 | 588 | 37k| 1 | 15k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 523s| 24700 | 1226 | 5291k| 198.5 | 150M | 54 |2466 |3968 | 579 | 37k| 1 | 15k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 525s| 24800 | 1233 | 5310k| 198.4 | 150M | 54 |2466 |3963 | 592 | 37k| 0 | 15k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 527s| 24900 | 1237 | 5331k| 198.4 | 150M | 54 |2466 |3965 | 716 | 38k| 1 | 15k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 529s| 25000 | 1241 | 5356k| 198.7 | 150M | 54 |2466 |4026 | 717 | 38k| 2 | 15k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 534s| 25100 | 1207 | 5401k| 199.6 | 152M | 54 |2466 |3848 | 601 | 38k| 1 | 15k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 536s| 25200 | 1220 | 5417k| 199.4 | 152M | 54 |2466 |3797 | 576 | 38k| 1 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 537s| 25300 | 1223 | 5438k| 199.5 | 152M | 54 |2466 |3862 | 620 | 38k| 1 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 539s| 25400 | 1211 | 5455k| 199.4 | 152M | 54 |2466 |3833 | 599 | 38k| 0 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 541s| 25500 | 1229 | 5470k| 199.2 | 152M | 54 |2466 |3791 | 584 | 38k| 0 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 543s| 25600 | 1214 | 5491k| 199.2 | 152M | 54 |2466 |3795 | 610 | 38k| 0 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 544s| 25700 | 1215 | 5507k| 199.1 | 152M | 54 |2466 |3777 | 610 | 38k| 0 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
596.65/598.50 c 546s| 25800 | 1211 | 5524k| 199.0 | 152M | 54 |2466 |3774 | 607 | 39k| 1 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 549s| 25900 | 1221 | 5548k| 199.1 | 152M | 54 |2466 |3681 | 641 | 39k| 1 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 550s| 26000 | 1230 | 5564k| 199.0 | 152M | 54 |2466 |3678 | 608 | 39k| 1 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 553s| 26100 | 1232 | 5584k| 199.0 | 152M | 54 |2466 |3628 | 698 | 39k| 0 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 555s| 26200 | 1237 | 5601k| 198.9 | 152M | 54 |2466 |3663 | 602 | 39k| 1 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 556s| 26300 | 1242 | 5619k| 198.8 | 152M | 54 |2466 |3682 | 608 | 39k| 1 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 558s| 26400 | 1236 | 5633k| 198.6 | 152M | 54 |2466 |3724 | 609 | 40k| 0 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 561s| 26500 | 1231 | 5653k| 198.6 | 152M | 54 |2466 |3737 | 607 | 40k| 1 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 563s| 26600 | 1226 | 5675k| 198.7 | 152M | 54 |2466 |3727 | 609 | 40k| 0 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 564s| 26700 | 1228 | 5690k| 198.5 | 152M | 54 |2466 |3709 | 573 | 40k| 0 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 566s| 26800 | 1245 | 5713k| 198.6 | 152M | 54 |2466 |3715 | 594 | 40k| 0 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 568s| 26900 | 1236 | 5732k| 198.6 | 152M | 54 |2466 |3724 | 612 | 40k| 0 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 570s| 27000 | 1242 | 5749k| 198.5 | 152M | 54 |2466 |3675 | 578 | 40k| 0 | 16k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 572s| 27100 | 1253 | 5762k| 198.3 | 153M | 54 |2466 |3669 | 568 | 40k| 0 | 17k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 573s| 27200 | 1258 | 5770k| 197.9 | 153M | 54 |2466 |3811 | 569 | 41k| 0 | 17k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
596.65/598.50 c 574s| 27300 | 1259 | 5781k| 197.6 | 153M | 54 |2466 |3942 | 577 | 41k| 1 | 17k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 575s| 27400 | 1263 | 5791k| 197.2 | 153M | 54 |2466 |3975 | 579 | 41k| 1 | 17k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 576s| 27500 | 1259 | 5806k| 197.1 | 153M | 54 |2466 |3931 | 570 | 41k| 0 | 17k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 578s| 27600 | 1270 | 5821k| 196.9 | 153M | 54 |2466 |3891 | 588 | 41k| 0 | 17k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 579s| 27700 | 1276 | 5834k| 196.7 | 153M | 54 |2466 |3958 | 583 | 41k| 1 | 17k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 580s| 27800 | 1298 | 5847k| 196.5 | 153M | 54 |2466 |3996 | 578 | 41k| 1 | 17k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 582s| 27900 | 1309 | 5859k| 196.2 | 153M | 54 |2466 |3953 | 575 | 41k| 1 | 17k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 583s| 28000 | 1327 | 5872k| 196.0 | 153M | 54 |2466 |3970 | 570 | 41k| 1 | 18k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 584s| 28100 | 1350 | 5887k| 195.8 | 153M | 54 |2466 |3987 | 567 | 42k| 1 | 18k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 586s| 28200 | 1368 | 5902k| 195.7 | 153M | 54 |2466 |4036 | 577 | 42k| 1 | 18k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 587s| 28300 | 1380 | 5915k| 195.4 | 153M | 54 |2466 |4078 | 572 | 42k| 1 | 18k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 589s| 28400 | 1383 | 5934k| 195.4 | 153M | 54 |2466 |4035 | 577 | 42k| 0 | 18k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 590s| 28500 | 1390 | 5948k| 195.3 | 153M | 54 |2466 |4060 | 577 | 42k| 0 | 18k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 592s| 28600 | 1391 | 5963k| 195.1 | 153M | 54 |2466 |4146 | 575 | 42k| 1 | 18k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c 593s| 28700 | 1390 | 5974k| 194.8 | 153M | 54 |2466 |4246 | 594 | 42k| 2 | 18k| 22 | 6.000000e+00 | -- | Inf | 3.99%
596.65/598.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
596.65/598.50 c 594s| 28800 | 1398 | 5984k| 194.5 | 154M | 54 |2466 |4189 | 578 | 42k| 1 | 18k| 22 | 6.000000e+00 | -- | Inf | 4.00%
596.65/598.50 c 595s| 28900 | 1402 | 5997k| 194.3 | 154M | 54 |2466 |4240 | 595 | 43k| 1 | 19k| 22 | 6.000000e+00 | -- | Inf | 4.00%
596.65/598.50 c 597s| 29000 | 1405 | 6010k| 194.1 | 154M | 54 |2466 |4247 | 581 | 43k| 1 | 19k| 22 | 6.000000e+00 | -- | Inf | 4.00%
701.58/703.88 c 598s| 29100 | 1403 | 6029k| 194.1 | 154M | 54 |2466 |4191 | 554 | 43k| 1 | 19k| 22 | 6.000000e+00 | -- | Inf | 4.00%
701.58/703.88 c 600s| 29200 | 1422 | 6051k| 194.2 | 154M | 54 |2466 |4265 | 584 | 43k| 1 | 19k| 22 | 6.000000e+00 | -- | Inf | 4.00%
701.58/703.88 c 601s| 29300 | 1417 | 6064k| 194.0 | 154M | 54 |2466 |4295 | 580 | 43k| 1 | 19k| 22 | 6.000000e+00 | -- | Inf | 4.00%
701.58/703.88 c 603s| 29400 | 1418 | 6080k| 193.8 | 154M | 54 |2466 |4247 | 589 | 43k| 0 | 19k| 22 | 6.000000e+00 | -- | Inf | 4.00%
701.58/703.88 c 607s| 29500 | 1396 | 6112k| 194.3 | 154M | 54 |2466 |4048 | 586 | 43k| 0 | 19k| 22 | 6.000000e+00 | -- | Inf | 4.00%
701.58/703.88 c 608s| 29600 | 1399 | 6126k| 194.1 | 154M | 54 |2466 |4048 | 579 | 43k| 0 | 19k| 22 | 6.000000e+00 | -- | Inf | 4.00%
701.58/703.88 c 611s| 29700 | 1398 | 6147k| 194.1 | 154M | 54 |2466 |3999 | 568 | 44k| 1 | 19k| 22 | 6.000000e+00 | -- | Inf | 4.00%
701.58/703.88 c 613s| 29800 | 1395 | 6167k| 194.1 | 154M | 54 |2466 |3963 | 607 | 44k| 0 | 19k| 22 | 6.000000e+00 | -- | Inf | 4.00%
701.58/703.88 c 615s| 29900 | 1385 | 6192k| 194.3 | 154M | 54 |2466 |3870 | 594 | 44k| 1 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.00%
701.58/703.88 c 618s| 30000 | 1396 | 6214k| 194.4 | 154M | 54 |2466 |3790 | 579 | 44k| 0 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.00%
701.58/703.88 c 619s| 30100 | 1413 | 6228k| 194.2 | 154M | 54 |2466 |3812 | 597 | 44k| 0 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.00%
701.58/703.88 c 621s| 30200 | 1432 | 6246k| 194.2 | 155M | 54 |2466 |3837 | 589 | 44k| 1 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.00%
701.58/703.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
701.58/703.88 c 623s| 30300 | 1432 | 6266k| 194.2 | 155M | 54 |2466 |3875 | 607 | 44k| 1 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.00%
701.58/703.88 c 625s| 30400 | 1435 | 6291k| 194.4 | 155M | 54 |2466 |3923 | 599 | 45k| 0 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.00%
701.58/703.88 c 627s| 30500 | 1431 | 6312k| 194.4 | 155M | 54 |2466 |3941 | 596 | 45k| 1 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.00%
701.58/703.88 c 629s| 30600 | 1425 | 6328k| 194.3 | 155M | 54 |2466 |3944 | 578 | 45k| 1 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.00%
701.58/703.88 c 630s| 30700 | 1442 | 6346k| 194.3 | 155M | 54 |2466 |3935 | 593 | 45k| 0 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.00%
701.58/703.88 c 633s| 30800 | 1443 | 6368k| 194.4 | 155M | 54 |2466 |3934 | 593 | 45k| 1 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.00%
701.58/703.88 c 635s| 30900 | 1447 | 6385k| 194.3 | 155M | 54 |2466 |3822 | 634 | 45k| 1 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.00%
701.58/703.88 c 637s| 31000 | 1445 | 6403k| 194.2 | 155M | 54 |2466 |3874 | 602 | 45k| 0 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.00%
701.58/703.88 c 639s| 31100 | 1448 | 6426k| 194.4 | 155M | 54 |2466 |3814 | 623 | 46k| 1 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.00%
701.58/703.88 c 641s| 31200 | 1452 | 6444k| 194.3 | 155M | 54 |2466 |3732 | 585 | 46k| 0 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.01%
701.58/703.88 c 643s| 31300 | 1462 | 6464k| 194.3 | 155M | 54 |2466 |3709 | 574 | 46k| 1 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.01%
701.58/703.88 c 645s| 31400 | 1457 | 6485k| 194.4 | 155M | 54 |2466 |3688 | 584 | 46k| 0 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.01%
701.58/703.88 c 647s| 31500 | 1448 | 6503k| 194.3 | 155M | 54 |2466 |3702 | 600 | 46k| 1 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.01%
701.58/703.88 c 649s| 31600 | 1460 | 6521k| 194.3 | 155M | 54 |2466 |3679 | 596 | 46k| 0 | 20k| 22 | 6.000000e+00 | -- | Inf | 4.01%
701.58/703.88 c 652s| 31700 | 1472 | 6543k| 194.4 | 156M | 54 |2466 |3663 | 596 | 46k| 0 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.01%
701.58/703.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
701.58/703.88 c 654s| 31800 | 1468 | 6562k| 194.4 | 156M | 54 |2466 |3650 | 603 | 47k| 0 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.01%
701.58/703.88 c 656s| 31900 | 1484 | 6584k| 194.4 | 156M | 54 |2466 |3652 | 596 | 47k| 1 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.01%
701.58/703.88 c 658s| 32000 | 1485 | 6600k| 194.3 | 156M | 54 |2466 |3646 | 576 | 47k| 1 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.01%
701.58/703.88 c 660s| 32100 | 1473 | 6618k| 194.3 | 156M | 54 |2466 |3651 | 696 | 47k| 1 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.01%
701.58/703.88 c 662s| 32200 | 1476 | 6638k| 194.3 | 156M | 54 |2466 |3647 | 604 | 47k| 1 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.01%
701.58/703.88 c 664s| 32300 | 1482 | 6658k| 194.3 | 156M | 54 |2466 |3613 | 593 | 47k| 1 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.01%
701.58/703.88 c 666s| 32400 | 1494 | 6677k| 194.3 | 156M | 54 |2466 |3602 | 616 | 47k| 1 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.01%
701.58/703.88 c 667s| 32500 | 1504 | 6690k| 194.1 | 156M | 54 |2466 |3604 | 595 | 48k| 1 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.01%
701.58/703.88 c 669s| 32600 | 1498 | 6707k| 194.1 | 156M | 54 |2466 |3619 | 607 | 48k| 1 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.01%
701.58/703.88 c 671s| 32700 | 1509 | 6724k| 194.0 | 156M | 54 |2466 |3626 | 598 | 48k| 0 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.01%
701.58/703.88 c 672s| 32800 | 1504 | 6740k| 193.9 | 156M | 54 |2466 |3583 | 613 | 48k| 1 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.02%
701.58/703.88 c 675s| 32900 | 1495 | 6767k| 194.1 | 156M | 54 |2466 |3564 | 588 | 48k| 1 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.03%
701.58/703.88 c 677s| 33000 | 1486 | 6792k| 194.3 | 156M | 54 |2466 |3596 | 612 | 48k| 1 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.03%
701.58/703.88 c 679s| 33100 | 1491 | 6804k| 194.0 | 156M | 54 |2466 |3582 | 600 | 48k| 1 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.03%
701.58/703.88 c 680s| 33200 | 1502 | 6815k| 193.8 | 156M | 54 |2466 |3623 | 584 | 48k| 0 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.03%
701.58/703.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
701.58/703.88 c 681s| 33300 | 1509 | 6828k| 193.6 | 156M | 54 |2466 |3627 | 594 | 48k| 1 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.03%
701.58/703.88 c 683s| 33400 | 1508 | 6843k| 193.5 | 156M | 54 |2466 |3642 | 596 | 49k| 1 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.03%
701.58/703.88 c 685s| 33500 | 1511 | 6862k| 193.5 | 156M | 54 |2466 |3629 | 591 | 49k| 1 | 21k| 22 | 6.000000e+00 | -- | Inf | 4.03%
701.58/703.88 c 687s| 33600 | 1506 | 6886k| 193.6 | 156M | 54 |2466 |3592 | 567 | 49k| 1 | 22k| 22 | 6.000000e+00 | -- | Inf | 4.03%
701.58/703.88 c 689s| 33700 | 1517 | 6903k| 193.6 | 156M | 54 |2466 |3561 | 579 | 49k| 1 | 22k| 22 | 6.000000e+00 | -- | Inf | 4.04%
701.58/703.88 c 692s| 33800 | 1512 | 6930k| 193.8 | 156M | 54 |2466 |3549 | 612 | 49k| 1 | 22k| 22 | 6.000000e+00 | -- | Inf | 4.04%
701.58/703.88 c 693s| 33900 | 1522 | 6945k| 193.6 | 156M | 54 |2466 |3552 | 588 | 49k| 0 | 22k| 22 | 6.000000e+00 | -- | Inf | 4.04%
701.58/703.88 c 695s| 34000 | 1520 | 6965k| 193.7 | 156M | 54 |2466 |3533 | 619 | 49k| 1 | 22k| 22 | 6.000000e+00 | -- | Inf | 4.04%
701.58/703.88 c 697s| 34100 | 1519 | 6983k| 193.6 | 156M | 54 |2466 |3581 | 575 | 50k| 1 | 22k| 22 | 6.000000e+00 | -- | Inf | 4.04%
701.58/703.88 c 699s| 34200 | 1519 | 7006k| 193.7 | 156M | 54 |2466 |3550 | 608 | 50k| 0 | 22k| 22 | 6.000000e+00 | -- | Inf | 4.04%
701.58/703.88 c 702s| 34300 | 1516 | 7037k| 194.0 | 156M | 54 |2466 |3539 | 593 | 50k| 1 | 22k| 22 | 6.000000e+00 | -- | Inf | 4.04%
825.46/828.18 c 704s| 34400 | 1521 | 7052k| 193.9 | 156M | 54 |2466 |3571 | 586 | 50k| 1 | 22k| 22 | 6.000000e+00 | -- | Inf | 4.04%
825.46/828.18 c 706s| 34500 | 1499 | 7079k| 194.1 | 156M | 54 |2466 |3540 | 841 | 50k| 0 | 22k| 22 | 6.000000e+00 | -- | Inf | 4.04%
825.46/828.18 c 710s| 34600 | 1461 | 7114k| 194.6 | 156M | 54 |2466 |3434 | 592 | 50k| 1 | 22k| 22 | 6.000000e+00 | -- | Inf | 4.04%
825.46/828.18 c 712s| 34700 | 1457 | 7129k| 194.4 | 156M | 54 |2466 |3435 | 587 | 50k| 1 | 22k| 22 | 6.000000e+00 | -- | Inf | 4.04%
825.46/828.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
825.46/828.18 c 714s| 34800 | 1460 | 7150k| 194.5 | 156M | 54 |2466 |3446 | 583 | 50k| 1 | 22k| 22 | 6.000000e+00 | -- | Inf | 4.04%
825.46/828.18 c 716s| 34900 | 1462 | 7170k| 194.5 | 156M | 54 |2466 |3456 | 732 | 50k| 1 | 22k| 22 | 6.000000e+00 | -- | Inf | 4.04%
825.46/828.18 c 718s| 35000 | 1468 | 7185k| 194.4 | 156M | 54 |2466 |3508 | 584 | 51k| 1 | 23k| 22 | 6.000000e+00 | -- | Inf | 4.04%
825.46/828.18 c 719s| 35100 | 1465 | 7198k| 194.2 | 156M | 54 |2466 |3572 | 606 | 51k| 0 | 23k| 22 | 6.000000e+00 | -- | Inf | 4.04%
825.46/828.18 c 721s| 35200 | 1463 | 7214k| 194.1 | 156M | 54 |2466 |3571 | 583 | 51k| 0 | 23k| 22 | 6.000000e+00 | -- | Inf | 4.04%
825.46/828.18 c 723s| 35300 | 1462 | 7232k| 194.1 | 156M | 54 |2466 |3578 | 612 | 51k| 1 | 23k| 22 | 6.000000e+00 | -- | Inf | 4.04%
825.46/828.18 c 726s| 35400 | 1440 | 7260k| 194.3 | 157M | 54 |2466 |3613 | 615 | 51k| 1 | 23k| 22 | 6.000000e+00 | -- | Inf | 4.04%
825.46/828.18 c 730s| 35500 | 1431 | 7298k| 194.8 | 157M | 54 |2466 |3594 | 596 | 51k| 0 | 23k| 22 | 6.000000e+00 | -- | Inf | 4.04%
825.46/828.18 c 732s| 35600 | 1422 | 7325k| 195.0 | 157M | 54 |2466 |3534 | 586 | 51k| 1 | 23k| 22 | 6.000000e+00 | -- | Inf | 4.04%
825.46/828.18 c 736s| 35700 | 1431 | 7359k| 195.4 | 157M | 54 |2466 |3552 | 648 | 51k| 1 | 23k| 22 | 6.000000e+00 | -- | Inf | 4.05%
825.46/828.18 c 738s| 35800 | 1429 | 7380k| 195.4 | 157M | 54 |2466 |3568 | 586 | 52k| 1 | 23k| 22 | 6.000000e+00 | -- | Inf | 4.05%
825.46/828.18 c 740s| 35900 | 1431 | 7400k| 195.4 | 157M | 54 |2466 |3559 | 580 | 52k| 0 | 23k| 22 | 6.000000e+00 | -- | Inf | 4.05%
825.46/828.18 c 742s| 36000 | 1428 | 7416k| 195.4 | 157M | 54 |2466 |3585 | 580 | 52k| 1 | 23k| 22 | 6.000000e+00 | -- | Inf | 4.05%
825.46/828.18 c 745s| 36100 | 1423 | 7444k| 195.6 | 157M | 54 |2466 |3602 | 717 | 52k| 0 | 23k| 22 | 6.000000e+00 | -- | Inf | 4.05%
825.46/828.18 c 747s| 36200 | 1423 | 7461k| 195.5 | 157M | 54 |2466 |3677 | 711 | 52k| 1 | 23k| 22 | 6.000000e+00 | -- | Inf | 4.05%
825.46/828.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
825.46/828.18 c 751s| 36300 | 1431 | 7487k| 195.7 | 158M | 54 |2466 |3733 | 720 | 52k| 0 | 24k| 22 | 6.000000e+00 | -- | Inf | 4.05%
825.46/828.18 c 753s| 36400 | 1425 | 7511k| 195.8 | 158M | 54 |2466 |3806 | 585 | 52k| 1 | 24k| 22 | 6.000000e+00 | -- | Inf | 4.05%
825.46/828.18 c 756s| 36500 | 1423 | 7537k| 196.0 | 158M | 54 |2466 |3819 | 721 | 52k| 0 | 24k| 22 | 6.000000e+00 | -- | Inf | 4.05%
825.46/828.18 c 759s| 36600 | 1407 | 7569k| 196.3 | 158M | 54 |2466 |3740 | 607 | 53k| 1 | 24k| 22 | 6.000000e+00 | -- | Inf | 4.05%
825.46/828.18 c 762s| 36700 | 1404 | 7594k| 196.4 | 159M | 54 |2466 |3657 | 599 | 53k| 0 | 24k| 22 | 6.000000e+00 | -- | Inf | 4.05%
825.46/828.18 c 764s| 36800 | 1410 | 7613k| 196.4 | 159M | 54 |2466 |3727 | 591 | 53k| 1 | 24k| 22 | 6.000000e+00 | -- | Inf | 4.05%
825.46/828.18 c 766s| 36900 | 1410 | 7634k| 196.4 | 160M | 54 |2466 |3749 | 575 | 53k| 0 | 24k| 22 | 6.000000e+00 | -- | Inf | 4.05%
825.46/828.18 c 768s| 37000 | 1406 | 7652k| 196.4 | 160M | 54 |2466 |3759 | 619 | 53k| 1 | 24k| 22 | 6.000000e+00 | -- | Inf | 4.06%
825.46/828.18 c 770s| 37100 | 1399 | 7680k| 196.6 | 160M | 54 |2466 |3732 | 597 | 53k| 0 | 24k| 22 | 6.000000e+00 | -- | Inf | 4.06%
825.46/828.18 c 773s| 37200 | 1411 | 7704k| 196.7 | 160M | 54 |2466 |3759 | 604 | 53k| 1 | 24k| 22 | 6.000000e+00 | -- | Inf | 4.06%
825.46/828.18 c 776s| 37300 | 1408 | 7729k| 196.9 | 160M | 54 |2466 |3757 | 607 | 54k| 1 | 24k| 22 | 6.000000e+00 | -- | Inf | 4.06%
825.46/828.18 c 779s| 37400 | 1420 | 7756k| 197.0 | 160M | 54 |2466 |3676 | 574 | 54k| 0 | 25k| 22 | 6.000000e+00 | -- | Inf | 4.07%
825.46/828.18 c 782s| 37500 | 1442 | 7789k| 197.4 | 160M | 54 |2466 |3695 | 592 | 54k| 0 | 25k| 22 | 6.000000e+00 | -- | Inf | 4.07%
825.46/828.18 c 785s| 37600 | 1439 | 7811k| 197.4 | 160M | 54 |2466 |3689 | 597 | 54k| 0 | 25k| 22 | 6.000000e+00 | -- | Inf | 4.07%
825.46/828.18 c 787s| 37700 | 1447 | 7833k| 197.5 | 160M | 54 |2466 |3701 | 594 | 54k| 1 | 25k| 22 | 6.000000e+00 | -- | Inf | 4.07%
825.46/828.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
825.46/828.18 c 789s| 37800 | 1433 | 7855k| 197.5 | 160M | 54 |2466 |3716 | 608 | 54k| 0 | 25k| 22 | 6.000000e+00 | -- | Inf | 4.07%
825.46/828.18 c 791s| 37900 | 1447 | 7884k| 197.8 | 160M | 54 |2466 |3669 | 667 | 55k| 1 | 25k| 22 | 6.000000e+00 | -- | Inf | 4.07%
825.46/828.18 c 794s| 38000 | 1448 | 7907k| 197.8 | 160M | 54 |2466 |3746 | 701 | 55k| 1 | 25k| 22 | 6.000000e+00 | -- | Inf | 4.07%
825.46/828.18 c 796s| 38100 | 1460 | 7929k| 197.9 | 160M | 54 |2466 |3726 | 606 | 55k| 1 | 25k| 22 | 6.000000e+00 | -- | Inf | 4.07%
825.46/828.18 c 798s| 38200 | 1467 | 7951k| 198.0 | 160M | 54 |2466 |3818 | 593 | 55k| 1 | 25k| 22 | 6.000000e+00 | -- | Inf | 4.07%
825.46/828.18 c 800s| 38300 | 1467 | 7972k| 198.0 | 160M | 54 |2466 |3749 | 580 | 55k| 1 | 25k| 22 | 6.000000e+00 | -- | Inf | 4.08%
825.46/828.18 c 802s| 38400 | 1477 | 7988k| 197.9 | 160M | 54 |2466 |3744 | 598 | 55k| 0 | 25k| 22 | 6.000000e+00 | -- | Inf | 4.08%
825.46/828.18 c 804s| 38500 | 1472 | 8008k| 197.9 | 160M | 54 |2466 |3762 | 601 | 55k| 0 | 25k| 22 | 6.000000e+00 | -- | Inf | 4.08%
825.46/828.18 c 806s| 38600 | 1477 | 8028k| 197.9 | 160M | 54 |2466 |3768 | 620 | 55k| 0 | 25k| 22 | 6.000000e+00 | -- | Inf | 4.08%
825.46/828.18 c 809s| 38700 | 1489 | 8059k| 198.2 | 160M | 54 |2466 |3743 | 609 | 56k| 0 | 25k| 22 | 6.000000e+00 | -- | Inf | 4.09%
825.46/828.18 c 811s| 38800 | 1494 | 8079k| 198.2 | 160M | 54 |2466 |3730 | 590 | 56k| 1 | 26k| 22 | 6.000000e+00 | -- | Inf | 4.09%
825.46/828.18 c 813s| 38900 | 1492 | 8096k| 198.1 | 160M | 54 |2466 |3701 | 590 | 56k| 1 | 26k| 22 | 6.000000e+00 | -- | Inf | 4.09%
825.46/828.18 c 815s| 39000 | 1505 | 8115k| 198.1 | 160M | 54 |2466 |3692 | 583 | 56k| 1 | 26k| 22 | 6.000000e+00 | -- | Inf | 4.09%
825.46/828.18 c 817s| 39100 | 1500 | 8132k| 198.0 | 160M | 54 |2466 |3709 | 603 | 56k| 0 | 26k| 22 | 6.000000e+00 | -- | Inf | 4.09%
825.46/828.18 c 819s| 39200 | 1505 | 8152k| 198.0 | 160M | 54 |2466 |3666 | 594 | 56k| 1 | 26k| 22 | 6.000000e+00 | -- | Inf | 4.09%
825.46/828.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
825.46/828.18 c 821s| 39300 | 1522 | 8173k| 198.1 | 160M | 54 |2466 |3708 | 664 | 56k| 1 | 26k| 22 | 6.000000e+00 | -- | Inf | 4.09%
825.46/828.18 c 823s| 39400 | 1524 | 8191k| 198.0 | 160M | 54 |2466 |3741 | 698 | 56k| 2 | 26k| 22 | 6.000000e+00 | -- | Inf | 4.09%
825.46/828.18 c 826s| 39500 | 1527 | 8220k| 198.2 | 160M | 54 |2466 |3765 | 668 | 57k| 1 | 26k| 22 | 6.000000e+00 | -- | Inf | 4.09%
916.82/919.81 c 828s| 39600 | 1524 | 8239k| 198.2 | 160M | 54 |2466 |3788 | 0 | 57k| 0 | 26k| 22 | 6.000000e+00 | -- | Inf | 4.09%
916.82/919.81 c 830s| 39700 | 1528 | 8257k| 198.2 | 160M | 54 |2466 |3810 | 0 | 57k| 0 | 26k| 22 | 6.000000e+00 | -- | Inf | 4.09%
916.82/919.81 c 832s| 39800 | 1529 | 8277k| 198.2 | 160M | 54 |2466 |3785 | 574 | 57k| 1 | 26k| 22 | 6.000000e+00 | -- | Inf | 4.09%
916.82/919.81 c 835s| 39900 | 1525 | 8302k| 198.3 | 160M | 54 |2466 |3726 | 595 | 57k| 1 | 26k| 22 | 6.000000e+00 | -- | Inf | 4.09%
916.82/919.81 c 837s| 40000 | 1529 | 8321k| 198.3 | 160M | 54 |2466 |3725 | 592 | 57k| 1 | 26k| 22 | 6.000000e+00 | -- | Inf | 4.09%
916.82/919.81 c 839s| 40100 | 1545 | 8342k| 198.3 | 160M | 54 |2466 |3729 | 596 | 57k| 0 | 26k| 22 | 6.000000e+00 | -- | Inf | 4.09%
916.82/919.81 c 841s| 40200 | 1549 | 8360k| 198.3 | 160M | 54 |2466 |3748 | 592 | 58k| 0 | 26k| 22 | 6.000000e+00 | -- | Inf | 4.09%
916.82/919.81 c 844s| 40300 | 1537 | 8388k| 198.5 | 160M | 54 |2466 |3795 | 874 | 58k| 0 | 26k| 22 | 6.000000e+00 | -- | Inf | 4.09%
916.82/919.81 c 847s| 40400 | 1534 | 8416k| 198.7 | 160M | 54 |2466 |3794 | 575 | 58k| 0 | 27k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 850s| 40500 | 1539 | 8446k| 198.9 | 160M | 54 |2466 |3828 | 579 | 58k| 0 | 27k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 851s| 40600 | 1536 | 8459k| 198.7 | 160M | 54 |2466 |3877 | 586 | 58k| 1 | 27k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 853s| 40700 | 1539 | 8472k| 198.6 | 160M | 54 |2466 |3923 | 575 | 58k| 0 | 27k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
916.82/919.81 c 855s| 40800 | 1525 | 8498k| 198.7 | 160M | 54 |2466 |3920 | 608 | 58k| 0 | 27k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 858s| 40900 | 1535 | 8525k| 198.9 | 160M | 54 |2466 |3977 | 627 | 58k| 1 | 27k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 860s| 41000 | 1549 | 8542k| 198.8 | 160M | 54 |2466 |3968 | 599 | 58k| 0 | 27k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 862s| 41100 | 1559 | 8562k| 198.8 | 160M | 54 |2466 |3974 | 610 | 59k| 1 | 27k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 864s| 41200 | 1569 | 8579k| 198.8 | 161M | 54 |2466 |4010 | 598 | 59k| 0 | 27k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 866s| 41300 | 1555 | 8601k| 198.8 | 161M | 54 |2466 |3993 | 602 | 59k| 0 | 27k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 868s| 41400 | 1545 | 8619k| 198.8 | 161M | 54 |2466 |3999 | 592 | 59k| 0 | 27k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 871s| 41500 | 1556 | 8653k| 199.1 | 161M | 54 |2466 |3932 | 615 | 59k| 1 | 27k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 872s| 41600 | 1564 | 8669k| 199.0 | 161M | 54 |2466 |3985 | 596 | 59k| 1 | 27k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 874s| 41700 | 1563 | 8684k| 198.9 | 161M | 54 |2466 |4013 | 592 | 59k| 1 | 27k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 876s| 41800 | 1564 | 8698k| 198.8 | 161M | 54 |2466 |4059 | 568 | 59k| 1 | 28k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 877s| 41900 | 1595 | 8719k| 198.8 | 161M | 54 |2466 |3964 | 587 | 60k| 1 | 28k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 879s| 42000 | 1637 | 8741k| 198.8 | 161M | 54 |2466 |3915 | 0 | 60k| 0 | 28k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 881s| 42100 | 1661 | 8755k| 198.7 | 161M | 54 |2466 |4012 | 575 | 60k| 1 | 28k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 882s| 42200 | 1664 | 8764k| 198.4 | 161M | 54 |2466 |4053 | 577 | 60k| 0 | 28k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
916.82/919.81 c 882s| 42300 | 1666 | 8772k| 198.2 | 161M | 54 |2466 |4128 | 592 | 60k| 0 | 28k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 884s| 42400 | 1679 | 8787k| 198.1 | 161M | 54 |2466 |4121 | 584 | 60k| 1 | 28k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 885s| 42500 | 1713 | 8802k| 198.0 | 161M | 54 |2466 |4171 | 590 | 60k| 0 | 28k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 887s| 42600 | 1728 | 8817k| 197.9 | 161M | 54 |2466 |4161 | 586 | 60k| 0 | 28k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 888s| 42700 | 1749 | 8835k| 197.8 | 161M | 54 |2466 |4218 | 587 | 61k| 0 | 28k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 890s| 42800 | 1738 | 8853k| 197.8 | 161M | 54 |2466 |4245 | 0 | 61k| 0 | 29k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 891s| 42900 | 1750 | 8864k| 197.6 | 161M | 54 |2466 |4289 | 589 | 61k| 1 | 29k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 893s| 43000 | 1764 | 8880k| 197.5 | 161M | 54 |2466 |4312 | 581 | 61k| 2 | 29k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 894s| 43100 | 1799 | 8899k| 197.5 | 161M | 54 |2466 |4386 | 565 | 61k| 1 | 29k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 895s| 43200 | 1831 | 8911k| 197.3 | 161M | 54 |2466 |4434 | 584 | 61k| 1 | 29k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 897s| 43300 | 1832 | 8923k| 197.1 | 161M | 54 |2466 |4465 | 584 | 61k| 1 | 29k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 898s| 43400 | 1858 | 8944k| 197.2 | 161M | 54 |2466 |4511 | 595 | 61k| 1 | 29k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 900s| 43500 | 1870 | 8961k| 197.1 | 161M | 54 |2466 |4556 | 605 | 62k| 1 | 29k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 901s| 43600 | 1877 | 8975k| 197.0 | 161M | 54 |2466 |4615 | 593 | 62k| 1 | 29k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 903s| 43700 | 1882 | 8989k| 196.9 | 161M | 54 |2466 |4618 | 584 | 62k| 0 | 29k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
916.82/919.81 c 905s| 43800 | 1876 | 9007k| 196.8 | 161M | 54 |2466 |4659 | 594 | 62k| 1 | 29k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 906s| 43900 | 1878 | 9021k| 196.7 | 161M | 54 |2466 |4671 | 592 | 62k| 1 | 29k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 908s| 44000 | 1894 | 9040k| 196.7 | 161M | 54 |2466 |4689 | 602 | 62k| 1 | 30k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 909s| 44100 | 1909 | 9056k| 196.6 | 161M | 54 |2466 |4677 | 0 | 62k| 0 | 30k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 911s| 44200 | 1941 | 9070k| 196.5 | 163M | 54 |2466 |4615 | 591 | 62k| 0 | 30k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 912s| 44300 | 1947 | 9082k| 196.3 | 163M | 54 |2466 |4625 | 602 | 63k| 0 | 30k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 913s| 44400 | 1956 | 9091k| 196.1 | 163M | 54 |2466 |4666 | 599 | 63k| 1 | 30k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 914s| 44500 | 1974 | 9101k| 195.9 | 163M | 54 |2466 |4670 | 585 | 63k| 1 | 30k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 916s| 44600 | 1979 | 9117k| 195.8 | 163M | 54 |2466 |4696 | 593 | 63k| 1 | 30k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 918s| 44700 | 1974 | 9138k| 195.8 | 163M | 54 |2466 |4704 | 595 | 63k| 1 | 30k| 22 | 6.000000e+00 | -- | Inf | 4.10%
916.82/919.81 c 919s| 44800 | 1984 | 9149k| 195.6 | 163M | 54 |2466 |4686 | 0 | 63k| 0 | 30k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 920s| 44900 | 1980 | 9158k| 195.4 | 163M | 54 |2466 |4697 | 0 | 63k| 0 | 30k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 921s| 45000 | 1990 | 9171k| 195.3 | 163M | 54 |2466 |4710 | 593 | 64k| 2 | 30k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 922s| 45100 | 1990 | 9183k| 195.1 | 163M | 54 |2466 |4735 | 598 | 64k| 0 | 30k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 924s| 45200 | 1990 | 9202k| 195.1 | 163M | 54 |2466 |4673 | 582 | 64k| 1 | 30k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
996.84/1000.15 c 926s| 45300 | 1997 | 9217k| 195.0 | 163M | 54 |2466 |4713 | 590 | 64k| 0 | 30k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 927s| 45400 | 2002 | 9231k| 194.9 | 163M | 54 |2466 |4660 | 576 | 64k| 1 | 30k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 929s| 45500 | 2014 | 9246k| 194.8 | 164M | 54 |2466 |4696 | 589 | 64k| 1 | 31k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 930s| 45600 | 2021 | 9259k| 194.7 | 164M | 54 |2466 |4712 | 590 | 64k| 1 | 31k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 931s| 45700 | 2039 | 9276k| 194.6 | 164M | 54 |2466 |4752 | 602 | 65k| 0 | 31k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 933s| 45800 | 2051 | 9290k| 194.5 | 164M | 54 |2466 |4765 | 586 | 65k| 1 | 31k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 935s| 45900 | 2039 | 9309k| 194.5 | 164M | 54 |2466 |4783 | 590 | 65k| 1 | 31k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 936s| 46000 | 2058 | 9326k| 194.4 | 164M | 54 |2466 |4803 | 594 | 65k| 1 | 31k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 938s| 46100 | 2073 | 9347k| 194.5 | 164M | 54 |2466 |4722 | 619 | 65k| 1 | 31k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 940s| 46200 | 2096 | 9363k| 194.4 | 165M | 54 |2466 |4738 | 591 | 65k| 1 | 31k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 941s| 46300 | 2092 | 9379k| 194.3 | 165M | 54 |2466 |4764 | 593 | 65k| 0 | 31k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 943s| 46400 | 2104 | 9391k| 194.2 | 165M | 54 |2466 |4714 | 606 | 65k| 0 | 31k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 944s| 46500 | 2106 | 9408k| 194.1 | 165M | 54 |2466 |4706 | 585 | 66k| 1 | 31k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 946s| 46600 | 2115 | 9421k| 194.0 | 165M | 54 |2466 |4749 | 599 | 66k| 0 | 31k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 949s| 46700 | 2088 | 9453k| 194.3 | 165M | 54 |2466 |4634 | 593 | 66k| 1 | 31k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
996.84/1000.15 c 950s| 46800 | 2082 | 9464k| 194.1 | 165M | 54 |2466 |4680 | 579 | 66k| 1 | 31k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 951s| 46900 | 2084 | 9476k| 193.9 | 165M | 54 |2466 |4713 | 592 | 66k| 0 | 32k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 953s| 47000 | 2097 | 9491k| 193.8 | 165M | 54 |2466 |4706 | 600 | 66k| 1 | 32k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 954s| 47100 | 2092 | 9506k| 193.8 | 166M | 54 |2466 |4686 | 582 | 66k| 0 | 32k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 956s| 47200 | 2102 | 9524k| 193.7 | 166M | 54 |2466 |4721 | 592 | 66k| 0 | 32k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 957s| 47300 | 2114 | 9541k| 193.7 | 166M | 54 |2466 |4782 | 587 | 66k| 1 | 32k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 959s| 47400 | 2111 | 9558k| 193.6 | 166M | 54 |2466 |4778 | 596 | 67k| 1 | 32k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 960s| 47500 | 2161 | 9576k| 193.6 | 166M | 54 |2466 |4800 | 590 | 67k| 1 | 32k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 962s| 47600 | 2163 | 9597k| 193.6 | 166M | 54 |2466 |4838 | 585 | 67k| 1 | 32k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 964s| 47700 | 2196 | 9615k| 193.6 | 166M | 54 |2466 |4783 | 597 | 67k| 1 | 32k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 966s| 47800 | 2210 | 9634k| 193.6 | 166M | 54 |2466 |4801 | 590 | 67k| 0 | 32k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 968s| 47900 | 2203 | 9655k| 193.6 | 166M | 54 |2466 |4788 | 593 | 67k| 0 | 33k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 969s| 48000 | 2223 | 9673k| 193.6 | 166M | 54 |2466 |4751 | 581 | 67k| 1 | 33k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 972s| 48100 | 2211 | 9698k| 193.7 | 166M | 54 |2466 |4759 | 581 | 67k| 0 | 33k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 973s| 48200 | 2209 | 9711k| 193.6 | 166M | 54 |2466 |4765 | 594 | 68k| 1 | 33k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
996.84/1000.15 c 974s| 48300 | 2228 | 9722k| 193.4 | 166M | 54 |2466 |4768 | 600 | 68k| 0 | 33k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 975s| 48400 | 2235 | 9737k| 193.3 | 166M | 54 |2466 |4762 | 603 | 68k| 1 | 33k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 977s| 48500 | 2228 | 9753k| 193.3 | 166M | 54 |2466 |4783 | 606 | 68k| 1 | 33k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 979s| 48600 | 2188 | 9771k| 193.2 | 166M | 54 |2466 |4704 | 603 | 68k| 2 | 33k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 980s| 48700 | 2201 | 9786k| 193.2 | 166M | 54 |2466 |4709 | 588 | 68k| 1 | 33k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 982s| 48800 | 2204 | 9804k| 193.1 | 166M | 54 |2466 |4646 | 579 | 68k| 1 | 33k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 984s| 48900 | 2210 | 9820k| 193.1 | 166M | 54 |2466 |4705 | 607 | 68k| 0 | 33k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 985s| 49000 | 2221 | 9836k| 193.0 | 167M | 54 |2466 |4709 | 591 | 68k| 1 | 33k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 986s| 49100 | 2222 | 9850k| 192.9 | 167M | 54 |2466 |4691 | 0 | 68k| 0 | 33k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 988s| 49200 | 2232 | 9867k| 192.9 | 167M | 54 |2466 |4708 | 568 | 69k| 1 | 33k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 990s| 49300 | 2252 | 9891k| 192.9 | 167M | 54 |2466 |4732 | 582 | 69k| 1 | 33k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 992s| 49400 | 2258 | 9908k| 192.9 | 167M | 54 |2466 |4764 | 585 | 69k| 1 | 33k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 994s| 49500 | 2254 | 9925k| 192.9 | 167M | 54 |2466 |4787 | 600 | 69k| 1 | 34k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 995s| 49600 | 2230 | 9942k| 192.8 | 167M | 54 |2466 |4812 | 593 | 69k| 0 | 34k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c 997s| 49700 | 2240 | 9962k| 192.8 | 167M | 54 |2466 |4784 | 585 | 69k| 0 | 34k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
996.84/1000.15 c 999s| 49800 | 2240 | 9977k| 192.7 | 167M | 54 |2466 |4786 | 604 | 69k| 1 | 34k| 22 | 6.000000e+00 | -- | Inf | 4.10%
996.84/1000.15 c
996.84/1000.15 c SCIP Status : solving was interrupted [time limit reached]
996.84/1000.15 c Solving Time (sec) : 1000.00
996.84/1000.15 c Solving Nodes : 49893 (total of 51831 nodes in 2 runs)
996.84/1000.15 c Primal Bound : +1.00000000000000e+20 (0 solutions)
996.84/1000.15 c Dual Bound : +6.00000000000000e+00
996.84/1000.15 c Gap : infinite
996.84/1000.15 c ----------------------------------------------------------------------
996.84/1000.15 c dual bound: 6.0 -> 6
996.84/1000.15 c primal bound: 1e+20 -> 100000000000000000000
996.84/1000.15 c scip-goal-lb: 6
996.84/1000.15 c scip-goal-ub: 100000000000000000000
996.84/1000.15 c writing output to: HOME/tmpjygiqdj8.opb
996.84/1000.15 c appending fixed variable constraints
996.84/1000.15 c scip-fixed vars: 30.41% (750/2466)
996.84/1000.15 c ----------------------------------------------------------------------
996.84/1000.15 c executing external solver: HOME/naps-1.03a6
996.84/1000.15 c ----------------------------------------------------------------------
996.84/1000.15 c command: HOME/naps-1.03a6 -goal-lb=6 -goal-ub=99999999999999999999 HOME/tmpjygiqdj8.opb
996.84/1000.16 c NaPS 1.03a6.
996.84/1000.16 c Input file name: HOME/tmpjygiqdj8.opb
998.11/1001.47 c single stage optimization mode
3600.07/3611.50 c
3600.07/3611.50 c *** TERMINATED *** by signal 15
3600.07/3611.50 c s UNKNOWN
3600.07/3611.50 c _____________________________________________________________________________
3600.07/3611.50 c std/band forms : 447,0
3600.07/3611.50 c 2cl/3cl ITE-codings : 218880,0
3600.07/3611.50 c BDD/srt/adr Max costs : 878,14208,0
3600.07/3611.50 c BDDraw/bin/mul/srt/adr: 384,0,0,63,0
3600.07/3611.50 c BDD nodes : 337536
3600.07/3611.50 c Es1/CC detections : 0,0
3600.07/3611.50 c CC sort : 63
3600.07/3611.50 c SAT/UNSAT calls : 0,0
3600.07/3611.50 c regenrated variables : 0
3600.07/3611.50 c eliminated fixed lits : 768
3600.07/3611.50 c goal lit flips : 0
3600.07/3611.50 c goal stages : 1
3600.07/3611.50 c goal shrink : 0
3600.07/3611.50 c goal coeff separations: 0
3600.07/3611.50 c restarts : 0
3600.07/3611.50 c conflicts : 0 (0 /sec)
3600.07/3611.50 c decisions : 0 (0 /sec)
3600.07/3611.50 c propagations : 0 (0 /sec)
3600.07/3611.50 c inspects : 0 (0 /sec)
3600.07/3611.50 c CPU time (solving tm) : 2602 s (2601 s, SAT 0 s, UNSAT 0 s)
3600.07/3611.50 c Time for Opt-base : 0.000678 s
3600.07/3611.50 c Steps for Opt-base : 0
3600.07/3611.50 c Time for BDD coding : 0.9068 s
3600.07/3611.50 c Time for srt coding : 0.006531 s
3600.07/3611.50 c _____________________________________________________________________________
3600.07/3611.50 s UNKNOWN
3600.07/3611.57 c received SIGTERM, forwarding to pbsolver...
3600.07/3611.57 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: 63665 MiB (58206 MiB free)
memory of node 1: 64507 MiB (61614 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530284-1752253812/watcher-4530284-1752253812 -o /tmp/evaluation-result-4530284-1752253812/solver-4530284-1752253812 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752253254-111198 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530284-1752253812.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=112240, runsolver pid=112237
[startup+0.100062 s]*
/proc/loadavg: 4.11 3.69 3.17 5/269 112245
/proc/meminfo: memFree=122677420/131250000 swapFree=33010416/33010684
[pid=112240] ppid=112237 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/112240/stat : 112240 (scip-naps-1.00a) S 112237 112240 110042 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141061090 4292608 736 18446744073709551615 93992982032384 93992982926917 140722628699712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93992983165968 93992983213712 93992999645184 140722628708763 140722628708862 140722628708862 140722628714466 0
/proc/112240/statm: 1048 736 672 219 0 110 0
[pid=112245] ppid=112240 vsize=1188852 memory=33636 CPUtime=0.08 cores=0,2
/proc/112245/stat : 112245 (python3) R 112240 112240 110042 0 -1 4194304 4102 0 0 0 7 1 0 0 20 0 1 0 141061091 1217384448 8409 18446744073709551615 94600149110784 94600149111161 140724377436928 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94600149122456 94600149123076 94600173928448 140724377438558 140724377438752 140724377438752 140724377444327 0
/proc/112245/statm: 297213 8409 4989 1 0 269164 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 1193044 KiB
Current children cumulated memory: 36580 KiB
[startup+0.205731 s]*
/proc/loadavg: 4.11 3.69 3.17 5/269 112245
/proc/meminfo: memFree=122677420/131250000 swapFree=33010416/33010684
[pid=112240] ppid=112237 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/112240/stat : 112240 (scip-naps-1.00a) S 112237 112240 110042 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141061090 4292608 736 18446744073709551615 93992982032384 93992982926917 140722628699712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93992983165968 93992983213712 93992999645184 140722628708763 140722628708862 140722628708862 140722628714466 0
/proc/112240/statm: 1048 736 672 219 0 110 0
[pid=112245] ppid=112240 vsize=1222068 memory=74596 CPUtime=0.18 cores=0,2
/proc/112245/stat : 112245 (python3) R 112240 112240 110042 0 -1 4194304 11682 0 0 0 16 2 0 0 20 0 1 0 141061091 1251397632 18649 18446744073709551615 94600149110784 94600149111161 140724377436928 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94600149122456 94600149123076 94600173928448 140724377438558 140724377438752 140724377438752 140724377444327 0
/proc/112245/statm: 305517 18649 7901 1 0 276875 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 1226260 KiB
Current children cumulated memory: 77540 KiB
[startup+0.305709 s]*
/proc/loadavg: 4.11 3.69 3.17 5/269 112245
/proc/meminfo: memFree=122669608/131250000 swapFree=33010416/33010684
[pid=112240] ppid=112237 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/112240/stat : 112240 (scip-naps-1.00a) S 112237 112240 110042 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141061090 4292608 736 18446744073709551615 93992982032384 93992982926917 140722628699712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93992983165968 93992983213712 93992999645184 140722628708763 140722628708862 140722628708862 140722628714466 0
/proc/112240/statm: 1048 736 672 219 0 110 0
[pid=112245] ppid=112240 vsize=1237088 memory=83940 CPUtime=0.28 cores=0,2
/proc/112245/stat : 112245 (python3) R 112240 112240 110042 0 -1 4194304 14006 0 0 0 26 2 0 0 20 0 1 0 141061091 1266778112 20985 18446744073709551615 94600149110784 94600149111161 140724377436928 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94600149122456 94600149123076 94600173928448 140724377438558 140724377438752 140724377438752 140724377444327 0
/proc/112245/statm: 309272 20985 7965 1 0 280630 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 1241280 KiB
Current children cumulated memory: 86884 KiB
[startup+0.700213 s]
/proc/loadavg: 4.11 3.69 3.17 5/269 112245
/proc/meminfo: memFree=122669608/131250000 swapFree=33010416/33010684
[pid=112240] ppid=112237 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/112240/stat : 112240 (scip-naps-1.00a) S 112237 112240 110042 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141061090 4292608 736 18446744073709551615 93992982032384 93992982926917 140722628699712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93992983165968 93992983213712 93992999645184 140722628708763 140722628708862 140722628708862 140722628714466 0
/proc/112240/statm: 1048 736 672 219 0 110 0
[pid=112245] ppid=112240 vsize=1240136 memory=87140 CPUtime=0.67 cores=0,2
/proc/112245/stat : 112245 (python3) R 112240 112240 110042 0 -1 4194304 14810 0 0 0 65 2 0 0 20 0 1 0 141061091 1269899264 21785 18446744073709551615 94600149110784 94600149111161 140724377436928 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94600149122456 94600149123076 94600173928448 140724377438558 140724377438752 140724377438752 140724377444327 0
/proc/112245/statm: 310034 21785 7965 1 0 281392 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 1244328 KiB
Current children cumulated memory: 90084 KiB
[startup+1.5002 s]
/proc/loadavg: 4.11 3.69 3.17 5/269 112245
/proc/meminfo: memFree=122633508/131250000 swapFree=33010416/33010684
[pid=112240] ppid=112237 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/112240/stat : 112240 (scip-naps-1.00a) S 112237 112240 110042 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141061090 4292608 736 18446744073709551615 93992982032384 93992982926917 140722628699712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93992983165968 93992983213712 93992999645184 140722628708763 140722628708862 140722628708862 140722628714466 0
/proc/112240/statm: 1048 736 672 219 0 110 0
[pid=112245] ppid=112240 vsize=1277604 memory=124004 CPUtime=1.47 cores=0,2
/proc/112245/stat : 112245 (python3) R 112240 112240 110042 0 -1 4194304 23955 0 0 0 144 3 0 0 20 0 1 0 141061091 1308266496 31001 18446744073709551615 94600149110784 94600149111161 140724377436928 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94600149122456 94600149123076 94600173928448 140724377438558 140724377438752 140724377438752 140724377444327 0
/proc/112245/statm: 319401 31001 8093 1 0 290759 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 1281796 KiB
Current children cumulated memory: 126948 KiB
[startup+3.10556 s]
/proc/loadavg: 4.10 3.69 3.17 5/269 112245
/proc/meminfo: memFree=122759800/131250000 swapFree=33010416/33010684
[pid=112240] ppid=112237 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/112240/stat : 112240 (scip-naps-1.00a) S 112237 112240 110042 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141061090 4292608 736 18446744073709551615 93992982032384 93992982926917 140722628699712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93992983165968 93992983213712 93992999645184 140722628708763 140722628708862 140722628708862 140722628714466 0
/proc/112240/statm: 1048 736 672 219 0 110 0
[pid=112245] ppid=112240 vsize=1311884 memory=157120 CPUtime=3.07 cores=0,2
/proc/112245/stat : 112245 (python3) R 112240 112240 110042 0 -1 4194304 34557 0 0 0 302 5 0 0 20 0 1 0 141061091 1343369216 39280 18446744073709551615 94600149110784 94600149111161 140724377436928 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94600149122456 94600149123076 94600173928448 140724377438558 140724377438752 140724377438752 140724377444327 0
/proc/112245/statm: 327971 39280 8093 1 0 299329 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 1316076 KiB
Current children cumulated memory: 160064 KiB
[startup+6.3002 s]
/proc/loadavg: 4.10 3.69 3.17 5/269 112245
/proc/meminfo: memFree=122651632/131250000 swapFree=33010416/33010684
[pid=112240] ppid=112237 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/112240/stat : 112240 (scip-naps-1.00a) S 112237 112240 110042 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141061090 4292608 736 18446744073709551615 93992982032384 93992982926917 140722628699712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93992983165968 93992983213712 93992999645184 140722628708763 140722628708862 140722628708862 140722628714466 0
/proc/112240/statm: 1048 736 672 219 0 110 0
[pid=112245] ppid=112240 vsize=1315736 memory=162396 CPUtime=6.25 cores=0,2
/proc/112245/stat : 112245 (python3) R 112240 112240 110042 0 -1 4194304 38766 0 0 0 620 5 0 0 20 0 1 0 141061091 1347313664 40599 18446744073709551615 94600149110784 94600149111161 140724377436928 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94600149122456 94600149123076 94600173928448 140724377438558 140724377438752 140724377438752 140724377444327 0
/proc/112245/statm: 328934 40599 8093 1 0 300292 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1319928 KiB
Current children cumulated memory: 165340 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 3.70 3.18 5/269 112245
/proc/meminfo: memFree=122644504/131250000 swapFree=33010416/33010684
[pid=112240] ppid=112237 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/112240/stat : 112240 (scip-naps-1.00a) S 112237 112240 110042 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141061090 4292608 736 18446744073709551615 93992982032384 93992982926917 140722628699712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93992983165968 93992983213712 93992999645184 140722628708763 140722628708862 140722628708862 140722628714466 0
/proc/112240/statm: 1048 736 672 219 0 110 0
[pid=112245] ppid=112240 vsize=1315736 memory=162396 CPUtime=12.63 cores=0,2
/proc/112245/stat : 112245 (python3) R 112240 112240 110042 0 -1 4194304 38795 0 0 0 1258 5 0 0 20 0 1 0 141061091 1347313664 40599 18446744073709551615 94600149110784 94600149111161 140724377436928 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94600149122456 94600149123076 94600173928448 140724377438558 140724377438752 140724377438752 140724377444327 0
/proc/112245/statm: 328934 40599 8093 1 0 300292 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1319928 KiB
Current children cumulated memory: 165340 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 3.71 3.19 5/269 112246
/proc/meminfo: memFree=122688116/131250000 swapFree=33010416/33010684
[pid=112240] ppid=112237 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/112240/stat : 112240 (scip-naps-1.00a) S 112237 112240 110042 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141061090 4292608 736 18446744073709551615 93992982032384 93992982926917 140722628699712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93992983165968 93992983213712 93992999645184 140722628708763 140722628708862 140722628708862 140722628714466 0
/proc/112240/statm: 1048 736 672 219 0 110 0
[pid=112245] ppid=112240 vsize=1347876 memory=193436 CPUtime=25.39 cores=0,2
/proc/112245/stat : 112245 (python3) R 112240 112240 110042 0 -1 4194304 50075 0 0 0 2531 8 0 0 20 0 1 0 141061091 1380225024 48359 18446744073709551615 94600149110784 94600149111161 140724377436928 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94600149122456 94600149123076 94600173928448 140724377438558 140724377438752 140724377438752 140724377444327 0
/proc/112245/statm: 336969 48359 8093 1 0 308327 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1352068 KiB
Current children cumulated memory: 196380 KiB
[startup+51.1056 s]
/proc/loadavg: 4.04 3.74 3.22 5/269 112246
/proc/meminfo: memFree=122966004/131250000 swapFree=33010416/33010684
[pid=112240] ppid=112237 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/112240/stat : 112240 (scip-naps-1.00a) S 112237 112240 110042 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141061090 4292608 736 18446744073709551615 93992982032384 93992982926917 140722628699712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93992983165968 93992983213712 93992999645184 140722628708763 140722628708862 140722628708862 140722628714466 0
/proc/112240/statm: 1048 736 672 219 0 110 0
[pid=112245] ppid=112240 vsize=1363384 memory=210212 CPUtime=50.92 cores=0,2
/proc/112245/stat : 112245 (python3) R 112240 112240 110042 0 -1 4194304 58237 0 0 0 5083 9 0 0 20 0 1 0 141061091 1396105216 52553 18446744073709551615 94600149110784 94600149111161 140724377436928 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94600149122456 94600149123076 94600173928448 140724377438558 140724377438752 140724377438752 140724377444327 0
/proc/112245/statm: 340846 52553 8093 1 0 312204 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1367576 KiB
Current children cumulated memory: 213156 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 3.82 3.27 5/268 112296
/proc/meminfo: memFree=123185652/131250000 swapFree=33010416/33010684
[pid=112240] ppid=112237 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/112240/stat : 112240 (scip-naps-1.00a) S 112237 112240 110042 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141061090 4292608 736 18446744073709551615 93992982032384 93992982926917 140722628699712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93992983165968 93992983213712 93992999645184 140722628708763 140722628708862 140722628708862 140722628714466 0
/proc/112240/statm: 1048 736 672 219 0 110 0
[pid=112245] ppid=112240 vsize=1363384 memory=210724 CPUtime=101.96 cores=0,2
/proc/112245/stat : 112245 (python3) R 112240 112240 110042 0 -1 4194304 58247 0 4 0 10187 9 0 0 20 0 1 0 141061091 1396105216 52681 18446744073709551615 94600149110784 94600149111161 140724377436928 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94600149122456 94600149123076 94600173928448 140724377438558 140724377438752 140724377438752 140724377444327 0
/proc/112245/statm: 340846 52681 8221 1 0 312204 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1367576 KiB
Current children cumulated memory: 213668 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 3.87 3.33 5/269 112299
/proc/meminfo: memFree=123307700/131250000 swapFree=33010416/33010684
[pid=112240] ppid=112237 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/112240/stat : 112240 (scip-naps-1.00a) S 112237 112240 110042 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141061090 4292608 736 18446744073709551615 93992982032384 93992982926917 140722628699712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93992983165968 93992983213712 93992999645184 140722628708763 140722628708862 140722628708862 140722628714466 0
/proc/112240/statm: 1048 736 672 219 0 110 0
[pid=112245] ppid=112240 vsize=1363384 memory=210724 CPUtime=161.79 cores=0,2
/proc/112245/stat : 112245 (python3) R 112240 112240 110042 0 -1 4194304 58248 0 4 0 16170 9 0 0 20 0 1 0 141061091 1396105216 52681 18446744073709551615 94600149110784 94600149111161 140724377436928 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94600149122456 94600149123076 94600173928448 140724377438558 140724377438752 140724377438752 140724377444327 0
/proc/112245/statm: 340846 52681 8221 1 0 312204 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 1367576 KiB
Current children cumulated memory: 213668 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 3.91 3.38 5/269 112301
/proc/meminfo: memFree=123243220/131250000 swapFree=33010416/33010684
[pid=112240] ppid=112237 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/112240/stat : 112240 (scip-naps-1.00a) S 112237 112240 110042 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141061090 4292608 736 18446744073709551615 93992982032384 93992982926917 140722628699712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93992983165968 93992983213712 93992999645184 140722628708763 140722628708862 140722628708862 140722628714466 0
/proc/112240/statm: 1048 736 672 219 0 110 0
[pid=112245] ppid=112240 vsize=1363384 memory=210724 CPUtime=221.61 cores=0,2
/proc/112245/stat : 112245 (python3) R 112240 112240 110042 0 -1 4194304 58253 0 4 0 22152 9 0 0 20 0 1 0 141061091 1396105216 52681 18446744073709551615 94600149110784 94600149111161 140724377436928 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94600149122456 94600149123076 94600173928448 140724377438558 140724377438752 140724377438752 140724377444327 0
/proc/112245/statm: 340846 52681 8221 1 0 312204 0
Current children cumulated CPU time: 221.61 s
################
# More data... #
################
[pid=112783] ppid=112245 vsize=311092 memory=301228 CPUtime=2215.19 cores=0,2
/proc/112783/stat : 112783 (naps-1.03a6) R 112245 112783 112783 0 -1 4194304 84251 0 0 0 221451 68 0 0 20 0 1 0 141161106 318558208 75307 18446744073709551615 4198400 7047149 140724716702496 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25767936 140724716706150 140724716706289 140724716706289 140724716711881 0
/proc/112783/statm: 77773 75307 640 696 0 76934 0
Current children cumulated CPU time: 3212.08 s
Current children cumulated vsize: 1703336 KiB
Current children cumulated memory: 539848 KiB
[startup+3282.3 s]
/proc/loadavg: 2.13 2.64 3.04 3/256 113010
/proc/meminfo: memFree=126570088/131250000 swapFree=33010416/33010684
[pid=112240] ppid=112237 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/112240/stat : 112240 (scip-naps-1.00a) S 112237 112240 110042 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141061090 4292608 736 18446744073709551615 93992982032384 93992982926917 140722628699712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93992983165968 93992983213712 93992999645184 140722628708763 140722628708862 140722628708862 140722628714466 0
/proc/112240/statm: 1048 736 672 219 0 110 0
[pid=112245] ppid=112240 vsize=1388052 memory=235676 CPUtime=996.89 cores=0,2
/proc/112245/stat : 112245 (python3) S 112240 112240 110042 0 -1 4194304 102309 0 4 0 99671 18 0 0 20 0 1 0 141061091 1421365248 58919 18446744073709551615 94600149110784 94600149111161 140724377436928 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94600149122456 94600149123076 94600173928448 140724377438558 140724377438752 140724377438752 140724377444327 0
/proc/112245/statm: 347013 58919 8253 1 0 318371 0
[pid=112783] ppid=112245 vsize=343744 memory=333860 CPUtime=2275 cores=0,2
/proc/112783/stat : 112783 (naps-1.03a6) R 112245 112783 112783 0 -1 4194304 84830 0 0 0 227431 69 0 0 20 0 1 0 141161106 351993856 83465 18446744073709551615 4198400 7047149 140724716702496 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25767936 140724716706150 140724716706289 140724716706289 140724716711881 0
/proc/112783/statm: 85936 83465 640 696 0 85097 0
Current children cumulated CPU time: 3271.89 s
Current children cumulated vsize: 1735988 KiB
Current children cumulated memory: 572480 KiB
[startup+3342.3 s]
/proc/loadavg: 2.11 2.54 2.98 3/256 113012
/proc/meminfo: memFree=126552820/131250000 swapFree=33010416/33010684
[pid=112240] ppid=112237 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/112240/stat : 112240 (scip-naps-1.00a) S 112237 112240 110042 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141061090 4292608 736 18446744073709551615 93992982032384 93992982926917 140722628699712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93992983165968 93992983213712 93992999645184 140722628708763 140722628708862 140722628708862 140722628714466 0
/proc/112240/statm: 1048 736 672 219 0 110 0
[pid=112245] ppid=112240 vsize=1388052 memory=235676 CPUtime=996.89 cores=0,2
/proc/112245/stat : 112245 (python3) S 112240 112240 110042 0 -1 4194304 102309 0 4 0 99671 18 0 0 20 0 1 0 141061091 1421365248 58919 18446744073709551615 94600149110784 94600149111161 140724377436928 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94600149122456 94600149123076 94600173928448 140724377438558 140724377438752 140724377438752 140724377444327 0
/proc/112245/statm: 347013 58919 8253 1 0 318371 0
[pid=112783] ppid=112245 vsize=311092 memory=301244 CPUtime=2334.81 cores=0,2
/proc/112783/stat : 112783 (naps-1.03a6) R 112245 112783 112783 0 -1 4194304 84830 0 0 0 233412 69 0 0 20 0 1 0 141161106 318558208 75311 18446744073709551615 4198400 7047149 140724716702496 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25767936 140724716706150 140724716706289 140724716706289 140724716711881 0
/proc/112783/statm: 77773 75311 640 696 0 76934 0
Current children cumulated CPU time: 3331.7 s
Current children cumulated vsize: 1703336 KiB
Current children cumulated memory: 539864 KiB
[startup+3402.3 s]
/proc/loadavg: 2.09 2.45 2.92 3/256 113020
/proc/meminfo: memFree=126575448/131250000 swapFree=33010416/33010684
[pid=112240] ppid=112237 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/112240/stat : 112240 (scip-naps-1.00a) S 112237 112240 110042 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141061090 4292608 736 18446744073709551615 93992982032384 93992982926917 140722628699712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93992983165968 93992983213712 93992999645184 140722628708763 140722628708862 140722628708862 140722628714466 0
/proc/112240/statm: 1048 736 672 219 0 110 0
[pid=112245] ppid=112240 vsize=1388052 memory=235676 CPUtime=996.89 cores=0,2
/proc/112245/stat : 112245 (python3) S 112240 112240 110042 0 -1 4194304 102309 0 4 0 99671 18 0 0 20 0 1 0 141061091 1421365248 58919 18446744073709551615 94600149110784 94600149111161 140724377436928 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94600149122456 94600149123076 94600173928448 140724377438558 140724377438752 140724377438752 140724377444327 0
/proc/112245/statm: 347013 58919 8253 1 0 318371 0
[pid=112783] ppid=112245 vsize=281300 memory=271580 CPUtime=2394.61 cores=0,2
/proc/112783/stat : 112783 (naps-1.03a6) R 112245 112783 112783 0 -1 4194304 85675 0 0 0 239391 70 0 0 20 0 1 0 141161106 288051200 67895 18446744073709551615 4198400 7047149 140724716702496 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25767936 140724716706150 140724716706289 140724716706289 140724716711881 0
/proc/112783/statm: 70325 67895 640 696 0 69486 0
Current children cumulated CPU time: 3391.5 s
Current children cumulated vsize: 1673544 KiB
Current children cumulated memory: 510200 KiB
[startup+3462.3 s]
/proc/loadavg: 2.15 2.40 2.87 3/256 113022
/proc/meminfo: memFree=126573604/131250000 swapFree=33010416/33010684
[pid=112240] ppid=112237 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/112240/stat : 112240 (scip-naps-1.00a) S 112237 112240 110042 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141061090 4292608 736 18446744073709551615 93992982032384 93992982926917 140722628699712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93992983165968 93992983213712 93992999645184 140722628708763 140722628708862 140722628708862 140722628714466 0
/proc/112240/statm: 1048 736 672 219 0 110 0
[pid=112245] ppid=112240 vsize=1388052 memory=235676 CPUtime=996.89 cores=0,2
/proc/112245/stat : 112245 (python3) S 112240 112240 110042 0 -1 4194304 102309 0 4 0 99671 18 0 0 20 0 1 0 141061091 1421365248 58919 18446744073709551615 94600149110784 94600149111161 140724377436928 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94600149122456 94600149123076 94600173928448 140724377438558 140724377438752 140724377438752 140724377444327 0
/proc/112245/statm: 347013 58919 8253 1 0 318371 0
[pid=112783] ppid=112245 vsize=282348 memory=272628 CPUtime=2454.43 cores=0,2
/proc/112783/stat : 112783 (naps-1.03a6) R 112245 112783 112783 0 -1 4194304 86006 0 0 0 245372 71 0 0 20 0 1 0 141161106 289124352 68157 18446744073709551615 4198400 7047149 140724716702496 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25767936 140724716706150 140724716706289 140724716706289 140724716711881 0
/proc/112783/statm: 70587 68157 640 696 0 69748 0
Current children cumulated CPU time: 3451.32 s
Current children cumulated vsize: 1674592 KiB
Current children cumulated memory: 511248 KiB
[startup+3522.3 s]
/proc/loadavg: 2.13 2.34 2.82 3/255 113024
/proc/meminfo: memFree=126593916/131250000 swapFree=33010416/33010684
[pid=112240] ppid=112237 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/112240/stat : 112240 (scip-naps-1.00a) S 112237 112240 110042 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141061090 4292608 736 18446744073709551615 93992982032384 93992982926917 140722628699712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93992983165968 93992983213712 93992999645184 140722628708763 140722628708862 140722628708862 140722628714466 0
/proc/112240/statm: 1048 736 672 219 0 110 0
[pid=112245] ppid=112240 vsize=1388052 memory=235676 CPUtime=996.89 cores=0,2
/proc/112245/stat : 112245 (python3) S 112240 112240 110042 0 -1 4194304 102309 0 4 0 99671 18 0 0 20 0 1 0 141061091 1421365248 58919 18446744073709551615 94600149110784 94600149111161 140724377436928 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94600149122456 94600149123076 94600173928448 140724377438558 140724377438752 140724377438752 140724377444327 0
/proc/112245/statm: 347013 58919 8253 1 0 318371 0
[pid=112783] ppid=112245 vsize=281428 memory=271708 CPUtime=2514.25 cores=0,2
/proc/112783/stat : 112783 (naps-1.03a6) R 112245 112783 112783 0 -1 4194304 87368 0 0 0 251353 72 0 0 20 0 1 0 141161106 288182272 67927 18446744073709551615 4198400 7047149 140724716702496 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25767936 140724716706150 140724716706289 140724716706289 140724716711881 0
/proc/112783/statm: 70357 67927 640 696 0 69518 0
Current children cumulated CPU time: 3511.14 s
Current children cumulated vsize: 1673672 KiB
Current children cumulated memory: 510328 KiB
[startup+3582.3 s]
/proc/loadavg: 2.09 2.29 2.77 4/255 113026
/proc/meminfo: memFree=126580556/131250000 swapFree=33010416/33010684
[pid=112240] ppid=112237 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/112240/stat : 112240 (scip-naps-1.00a) S 112237 112240 110042 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141061090 4292608 736 18446744073709551615 93992982032384 93992982926917 140722628699712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93992983165968 93992983213712 93992999645184 140722628708763 140722628708862 140722628708862 140722628714466 0
/proc/112240/statm: 1048 736 672 219 0 110 0
[pid=112245] ppid=112240 vsize=1388052 memory=235676 CPUtime=996.89 cores=0,2
/proc/112245/stat : 112245 (python3) S 112240 112240 110042 0 -1 4194304 102309 0 4 0 99671 18 0 0 20 0 1 0 141061091 1421365248 58919 18446744073709551615 94600149110784 94600149111161 140724377436928 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94600149122456 94600149123076 94600173928448 140724377438558 140724377438752 140724377438752 140724377444327 0
/proc/112245/statm: 347013 58919 8253 1 0 318371 0
[pid=112783] ppid=112245 vsize=281704 memory=271984 CPUtime=2574.06 cores=0,2
/proc/112783/stat : 112783 (naps-1.03a6) R 112245 112783 112783 0 -1 4194304 88107 0 0 0 257334 72 0 0 20 0 1 0 141161106 288464896 67996 18446744073709551615 4198400 7047149 140724716702496 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25767936 140724716706150 140724716706289 140724716706289 140724716711881 0
/proc/112783/statm: 70426 67996 640 696 0 69587 0
Current children cumulated CPU time: 3570.95 s
Current children cumulated vsize: 1673948 KiB
Current children cumulated memory: 510604 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.5 s]
/proc/loadavg: 2.11 2.28 2.76 3/255 113026
/proc/meminfo: memFree=126574400/131250000 swapFree=33010416/33010684
[pid=112240] ppid=112237 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/112240/stat : 112240 (scip-naps-1.00a) S 112237 112240 110042 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141061090 4292608 736 18446744073709551615 93992982032384 93992982926917 140722628699712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93992983165968 93992983213712 93992999645184 140722628708763 140722628708862 140722628708862 140722628714466 0
/proc/112240/statm: 1048 736 672 219 0 110 0
[pid=112245] ppid=112240 vsize=1388052 memory=235676 CPUtime=996.89 cores=0,2
/proc/112245/stat : 112245 (python3) S 112240 112240 110042 0 -1 4194304 102309 0 4 0 99671 18 0 0 20 0 1 0 141061091 1421365248 58919 18446744073709551615 94600149110784 94600149111161 140724377436928 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94600149122456 94600149123076 94600173928448 140724377438558 140724377438752 140724377438752 140724377444327 0
/proc/112245/statm: 347013 58919 8253 1 0 318371 0
[pid=112783] ppid=112245 vsize=282920 memory=273200 CPUtime=2603.18 cores=0,2
/proc/112783/stat : 112783 (naps-1.03a6) R 112245 112783 112783 0 -1 4194304 88557 0 0 0 260245 73 0 0 20 0 1 0 141161106 289710080 68300 18446744073709551615 4198400 7047149 140724716702496 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25767936 140724716706150 140724716706289 140724716706289 140724716711881 0
/proc/112783/statm: 70730 68300 640 696 0 69891 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1675164 KiB
Current children cumulated memory: 511820 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.52 s]
# the end of solver process 112240 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001795 s, system=0.003443 s
[startup+3611.61 s]
# the end of solver process 112245 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.25 s, system=0.955163 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
[startup+3611.5 s]
/proc/loadavg: 2.11 2.28 2.76 3/255 113026
/proc/meminfo: memFree=126574400/131250000 swapFree=33010416/33010684
[pid=112240] ppid=112237 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/112240/stat : 112240 (scip-naps-1.00a) S 112237 112240 110042 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141061090 4292608 736 18446744073709551615 93992982032384 93992982926917 140722628699712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93992983165968 93992983213712 93992999645184 140722628708763 140722628708862 140722628708862 140722628714466 0
/proc/112240/statm: 1048 736 672 219 0 110 0
[pid=112245] ppid=112240 vsize=1388052 memory=235676 CPUtime=996.89 cores=0,2
/proc/112245/stat : 112245 (python3) S 112240 112240 110042 0 -1 4194304 102309 0 4 0 99671 18 0 0 20 0 1 0 141061091 1421365248 58919 18446744073709551615 94600149110784 94600149111161 140724377436928 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94600149122456 94600149123076 94600173928448 140724377438558 140724377438752 140724377438752 140724377444327 0
/proc/112245/statm: 347013 58919 8253 1 0 318371 0
[pid=112783] ppid=112245 vsize=282920 memory=273200 CPUtime=2603.18 cores=0,2
/proc/112783/stat : 112783 (naps-1.03a6) R 112245 112783 112783 0 -1 4194304 88557 0 0 0 260245 73 0 0 20 0 1 0 141161106 289710080 68300 18446744073709551615 4198400 7047149 140724716702496 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25767936 140724716706150 140724716706289 140724716706289 140724716711881 0
/proc/112783/statm: 70730 68300 640 696 0 69891 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1675164 KiB
Current children cumulated memory: 511820 KiB
Child status: 0
Real time (s): 3611.61
CPU time (s): 3600.2
CPU user time (s): 3599.25
CPU system time (s): 0.955163
CPU usage (%): 99.6843
Max. virtual memory (cumulated for all children) (KiB): 1792992
Max. memory (cumulated for all children) (KiB): 629484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.25
system time used= 0.955163
maximum resident set size= 390864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 218337
page faults= 4
swaps= 0
block input operations= 832
block output operations= 664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 394
involuntary context switches= 7906
# summary of solver processes directly reported to runsolver:
# pid: 112240,112245
# total CPU time (s): 3600.2
# total CPU user time (s): 3599.25
# total CPU system time (s): 0.955163
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.48014 second user time and 16.8798 second system time
The end