24.99/25.19 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4530021-1752261153.opb
24.99/25.19 c Solving mode: decision
24.99/25.19 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
24.99/25.19 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
24.99/25.19 c original problem has 506 variables (506 bin, 0 int, 0 impl, 0 cont) and 2337 constraints
24.99/25.19 c presolving:
24.99/25.19 c (round 1, fast) 4 del vars, 4 del conss, 0 add conss, 3 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 860 clqs
24.99/25.19 c (round 2, fast) 6 del vars, 180 del conss, 0 add conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 940 clqs
24.99/25.19 c (round 3, fast) 7 del vars, 187 del conss, 0 add conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 940 clqs
24.99/25.19 c (round 4, exhaustive) 7 del vars, 187 del conss, 0 add conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 2149 upgd conss, 0 impls, 940 clqs
24.99/25.19 c (0.1s) probing: 457/500 (91.4%) - 0 fixings, 0 aggregations, 80 implications, 0 bound changes
24.99/25.19 c (0.1s) probing aborted: 50/50 successive totally useless probings
24.99/25.19 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
24.99/25.19 c (0.1s) symmetry computation finished: 11 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
24.99/25.19 c dynamic symmetry handling statistics:
24.99/25.19 c orbitopal reduction: no components
24.99/25.19 c orbital reduction: no components
24.99/25.19 c lexicographic reduction: 11 permutations with support sizes 42, 44, 44, 44, 44, 44, 44, 44, 44, 44, 22
24.99/25.19 c handled 11 out of 11 symmetry components
24.99/25.19 c presolving (5 rounds: 5 fast, 2 medium, 2 exhaustive):
24.99/25.19 c 7 deleted vars, 187 deleted constraints, 0 added constraints, 4 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
24.99/25.19 c 0 implications, 1020 cliques
24.99/25.19 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 2150 constraints
24.99/25.19 c 1 constraints of type <knapsack>
24.99/25.19 c 940 constraints of type <setppc>
24.99/25.19 c 1 constraints of type <linear>
24.99/25.19 c 1208 constraints of type <logicor>
24.99/25.19 c transformed objective value is always integral (scale: 1)
24.99/25.19 c Presolving Time: 0.08
24.99/25.19 c
24.99/25.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
24.99/25.19 c 0.1s| 1 | 0 | 681 | - | 20M | 0 | 500 |2204 |2150 | 0 | 0 | 53 | 0 | 0.000000e+00 | -- | Inf | unknown
24.99/25.19 c 0.8s| 1 | 0 | 8837 | - | 25M | 0 | 500 |2404 |2156 | 6 | 1 | 53 | 0 | 0.000000e+00 | -- | Inf | unknown
24.99/25.19 c 0.9s| 1 | 0 | 9173 | - | 29M | 0 | 500 |2409 |2163 | 13 | 2 | 58 | 0 | 0.000000e+00 | -- | Inf | unknown
24.99/25.19 c 1.0s| 1 | 0 | 9410 | - | 33M | 0 | 500 |2415 |2168 | 18 | 3 | 64 | 0 | 0.000000e+00 | -- | Inf | unknown
24.99/25.19 c 1.0s| 1 | 0 | 9541 | - | 38M | 0 | 500 |2422 |2172 | 22 | 4 | 71 | 0 | 0.000000e+00 | -- | Inf | unknown
24.99/25.19 c 1.1s| 1 | 0 | 9675 | - | 43M | 0 | 500 |2424 |2178 | 28 | 5 | 73 | 0 | 0.000000e+00 | -- | Inf | unknown
24.99/25.19 c 1.1s| 1 | 0 | 9807 | - | 45M | 0 | 500 |2430 |2185 | 35 | 6 | 79 | 0 | 0.000000e+00 | -- | Inf | unknown
24.99/25.19 c 1.2s| 1 | 0 | 9911 | - | 50M | 0 | 500 |2430 |2190 | 40 | 7 | 79 | 0 | 0.000000e+00 | -- | Inf | unknown
24.99/25.19 c 1.2s| 1 | 0 | 10101 | - | 54M | 0 | 500 |2437 |2196 | 46 | 8 | 86 | 0 | 0.000000e+00 | -- | Inf | unknown
24.99/25.19 c 1.3s| 1 | 0 | 10308 | - | 59M | 0 | 500 |2437 |2199 | 49 | 9 | 86 | 0 | 0.000000e+00 | -- | Inf | unknown
24.99/25.19 c 1.4s| 1 | 0 | 10401 | - | 69M | 0 | 500 |2438 |2205 | 55 | 10 | 87 | 0 | 0.000000e+00 | -- | Inf | unknown
24.99/25.19 c 1.4s| 1 | 0 | 10459 | - | 70M | 0 | 500 |2439 |2207 | 57 | 11 | 88 | 0 | 0.000000e+00 | -- | Inf | unknown
24.99/25.19 c 1.9s| 1 | 2 | 11426 | - | 70M | 0 | 500 |2449 |2207 | 57 | 11 | 98 | 11 | 0.000000e+00 | -- | Inf | unknown
24.99/25.19 c 4.9s| 100 | 41 | 45309 | 352.0 | 71M | 20 | 500 |2675 |2185 | 81 | 0 | 367 | 11 | 0.000000e+00 | -- | Inf | 0.60%
24.99/25.19 c 5.6s| 200 | 52 | 53224 | 214.9 | 72M | 20 | 500 |2862 |2181 | 86 | 1 | 576 | 11 | 0.000000e+00 | -- | Inf | 0.80%
24.99/25.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
24.99/25.19 c 6.0s| 300 | 50 | 60152 | 166.2 | 73M | 20 | 500 |3013 |2186 | 121 | 1 | 739 | 11 | 0.000000e+00 | -- | Inf | 1.41%
24.99/25.19 c 6.4s| 400 | 44 | 66141 | 139.6 | 73M | 20 | 500 |3160 | 0 | 141 | 0 | 916 | 11 | 0.000000e+00 | -- | Inf | 1.65%
24.99/25.19 c 7.4s| 500 | 47 | 75571 | 130.5 | 80M | 20 | 500 |3272 |2188 | 194 | 2 |1103 | 11 | 0.000000e+00 | -- | Inf | 2.22%
24.99/25.19 c 8.0s| 600 | 46 | 83184 | 121.4 | 82M | 20 | 500 |3369 |2191 | 241 | 1 |1264 | 11 | 0.000000e+00 | -- | Inf | 2.97%
24.99/25.19 c 9.3s| 700 | 54 | 95478 | 121.6 | 90M | 20 | 500 |3451 |2190 | 352 | 1 |1456 | 11 | 0.000000e+00 | -- | Inf | 3.71%
24.99/25.19 c 9.9s| 800 | 53 |102477 | 115.2 | 90M | 20 | 500 |3535 |2182 | 399 | 0 |1612 | 11 | 0.000000e+00 | -- | Inf | 4.37%
24.99/25.19 c 11.2s| 900 | 58 |111714 | 112.6 | 92M | 20 | 500 |3620 |2182 | 517 | 0 |1775 | 11 | 0.000000e+00 | -- | Inf | 5.73%
24.99/25.19 c 12.3s| 1000 | 72 |123366 | 113.0 | 93M | 20 | 500 |3706 | 0 | 586 | 0 |1972 | 11 | 0.000000e+00 | -- | Inf | 6.17%
24.99/25.19 c 13.2s| 1100 | 73 |131221 | 109.9 | 93M | 20 | 500 |3736 |2190 | 660 | 2 |2084 | 11 | 0.000000e+00 | -- | Inf | 6.57%
24.99/25.19 c 14.5s| 1200 | 87 |146779 | 113.7 | 94M | 20 | 500 |3739 |2191 | 777 | 1 |2213 | 11 | 0.000000e+00 | -- | Inf | 7.08%
24.99/25.19 c 15.3s| 1300 | 91 |157443 | 113.2 | 95M | 20 | 500 |3814 |2178 | 815 | 1 |2413 | 11 | 0.000000e+00 | -- | Inf | 7.32%
24.99/25.19 c 16.5s| 1400 | 89 |165691 | 111.0 | 95M | 20 | 500 |3898 |2190 | 969 | 1 |2624 | 11 | 0.000000e+00 | -- | Inf | 10.46%
24.99/25.19 c 17.1s| 1500 | 93 |175631 | 110.2 | 96M | 20 | 500 |3954 |2190 | 982 | 1 |2753 | 11 | 0.000000e+00 | -- | Inf | 10.70%
24.99/25.19 c 18.0s| 1600 | 96 |187387 | 110.6 | 97M | 20 | 500 |3976 |2190 |1024 | 0 |2949 | 11 | 0.000000e+00 | -- | Inf | 11.08%
24.99/25.19 c 19.7s| 1700 | 109 |206214 | 115.2 | 97M | 20 | 500 |3883 |2185 |1068 | 1 |3099 | 11 | 0.000000e+00 | -- | Inf | 12.94%
24.99/25.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
24.99/25.19 c 20.3s| 1800 | 109 |215879 | 114.2 | 97M | 20 | 500 |3933 |2190 |1098 | 1 |3252 | 11 | 0.000000e+00 | -- | Inf | 13.14%
24.99/25.19 c 20.8s| 1900 | 111 |224844 | 112.9 | 97M | 20 | 500 |3986 |2190 |1136 | 0 |3434 | 11 | 0.000000e+00 | -- | Inf | 13.29%
24.99/25.19 c 21.7s| 2000 | 114 |234144 | 111.9 | 97M | 20 | 500 |3963 |2190 |1199 | 1 |3534 | 11 | 0.000000e+00 | -- | Inf | 15.38%
24.99/25.19 c 22.3s| 2100 | 116 |244019 | 111.3 | 97M | 20 | 500 |4003 |2181 |1245 | 1 |3680 | 11 | 0.000000e+00 | -- | Inf | 15.88%
24.99/25.19 c 23.2s| 2200 | 122 |256108 | 111.7 | 98M | 20 | 500 |4058 |2190 |1344 | 1 |3886 | 11 | 0.000000e+00 | -- | Inf | 16.59%
24.99/25.19 c 23.9s| 2300 | 125 |265046 | 110.7 | 98M | 20 | 500 |4077 | 0 |1390 | 0 |4032 | 11 | 0.000000e+00 | -- | Inf | 17.10%
24.99/25.19 c 24.5s| 2400 | 121 |273081 | 109.5 | 98M | 20 | 500 |4122 |2190 |1436 | 1 |4183 | 11 | 0.000000e+00 | -- | Inf | 17.39%
44.92/45.14 c 25.0s| 2500 | 128 |281801 | 108.6 | 98M | 20 | 500 |4212 |2189 |1472 | 1 |4358 | 11 | 0.000000e+00 | -- | Inf | 17.63%
44.92/45.14 c 25.9s| 2600 | 122 |293335 | 108.8 | 98M | 20 | 500 |4288 |2190 |1485 | 0 |4518 | 11 | 0.000000e+00 | -- | Inf | 17.79%
44.92/45.14 c 26.5s| 2700 | 121 |302644 | 108.3 | 98M | 20 | 500 |4340 |2187 |1525 | 1 |4664 | 11 | 0.000000e+00 | -- | Inf | 18.28%
44.92/45.14 c 27.5s| 2800 | 118 |312722 | 108.0 | 98M | 20 | 500 |4349 |2193 |1637 | 0 |4786 | 11 | 0.000000e+00 | -- | Inf | 19.63%
44.92/45.14 c 28.0s| 2900 | 115 |321280 | 107.2 | 98M | 20 | 500 |4422 |2189 |1637 | 0 |4951 | 11 | 0.000000e+00 | -- | Inf | 19.89%
44.92/45.14 c 28.7s| 3000 | 115 |331230 | 107.0 | 99M | 20 | 500 |4480 |2201 |1724 | 0 |5095 | 11 | 0.000000e+00 | -- | Inf | 20.35%
44.92/45.14 c 29.3s| 3100 | 112 |341528 | 106.8 | 99M | 20 | 500 |4493 |2185 |1760 | 1 |5240 | 11 | 0.000000e+00 | -- | Inf | 20.88%
44.92/45.14 c 30.3s| 3200 | 115 |352931 | 107.1 | 100M | 20 | 500 |4467 |2191 |1822 | 0 |5437 | 11 | 0.000000e+00 | -- | Inf | 21.14%
44.92/45.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
44.92/45.14 c 30.8s| 3300 | 114 |362429 | 106.7 | 100M | 20 | 500 |4491 | 0 |1845 | 0 |5574 | 11 | 0.000000e+00 | -- | Inf | 21.28%
44.92/45.14 c 31.2s| 3400 | 113 |370319 | 105.9 | 100M | 20 | 500 |4551 |2197 |1866 | 0 |5728 | 11 | 0.000000e+00 | -- | Inf | 21.38%
44.92/45.14 c 31.8s| 3500 | 114 |378611 | 105.2 | 100M | 20 | 500 |4568 | 0 |1914 | 0 |5866 | 11 | 0.000000e+00 | -- | Inf | 21.58%
44.92/45.14 c 32.2s| 3600 | 109 |387677 | 104.8 | 100M | 20 | 500 |4597 |2181 |1914 | 1 |6041 | 11 | 0.000000e+00 | -- | Inf | 21.78%
44.92/45.14 c 32.8s| 3700 | 110 |396285 | 104.3 | 100M | 20 | 500 |4698 |2189 |1914 | 0 |6230 | 11 | 0.000000e+00 | -- | Inf | 21.80%
44.92/45.14 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
44.92/45.14 c (run 1, node 3705) performing user restart
44.92/45.14 c
44.92/45.14 c (restart) converted 24 cuts from the global cut pool into linear constraints
44.92/45.14 c
44.92/45.14 c presolving:
44.92/45.14 c (round 1, fast) 0 del vars, 16 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 92 chg coeffs, 0 upgd conss, 0 impls, 1033 clqs
44.92/45.14 c (round 2, exhaustive) 0 del vars, 19 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 97 chg coeffs, 0 upgd conss, 0 impls, 1033 clqs
44.92/45.14 c (round 3, exhaustive) 0 del vars, 19 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 100 chg coeffs, 218 upgd conss, 0 impls, 1033 clqs
44.92/45.14 c (round 4, exhaustive) 0 del vars, 48 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 101 chg coeffs, 218 upgd conss, 0 impls, 1033 clqs
44.92/45.14 c (round 5, exhaustive) 0 del vars, 349 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 3070 chg coeffs, 218 upgd conss, 0 impls, 1033 clqs
44.92/45.14 c (round 6, exhaustive) 0 del vars, 357 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 3072 chg coeffs, 218 upgd conss, 0 impls, 1033 clqs
44.92/45.14 c (round 7, exhaustive) 0 del vars, 357 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 3363 chg coeffs, 218 upgd conss, 0 impls, 1033 clqs
44.92/45.14 c presolving (8 rounds: 8 fast, 7 medium, 7 exhaustive):
44.92/45.14 c 0 deleted vars, 357 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 4 changed sides, 3363 changed coefficients
44.92/45.14 c 0 implications, 1033 cliques
44.92/45.14 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 4371 constraints
44.92/45.14 c 65 constraints of type <knapsack>
44.92/45.14 c 924 constraints of type <setppc>
44.92/45.14 c 32 constraints of type <linear>
44.92/45.14 c 3350 constraints of type <logicor>
44.92/45.14 c transformed objective value is always integral (scale: 1)
44.92/45.14 c Presolving Time: 0.25
44.92/45.14 c
44.92/45.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
44.92/45.14 c 33.0s| 1 | 0 |397522 | - | 102M | 0 | 500 |4382 |2145 | 0 | 0 |6250 | 11 | 0.000000e+00 | -- | Inf | unknown
44.92/45.14 c 33.2s| 1 | 0 |397744 | - | 102M | 0 | 500 |4409 |2151 | 6 | 1 |6253 | 11 | 0.000000e+00 | -- | Inf | unknown
44.92/45.14 c 33.3s| 1 | 0 |397872 | - | 103M | 0 | 500 |4416 |2156 | 11 | 2 |6260 | 11 | 0.000000e+00 | -- | Inf | unknown
44.92/45.14 c 33.4s| 1 | 0 |397952 | - | 103M | 0 | 500 |4416 |2163 | 18 | 3 |6260 | 11 | 0.000000e+00 | -- | Inf | unknown
44.92/45.14 c 33.4s| 1 | 0 |398040 | - | 103M | 0 | 500 |4423 |2170 | 25 | 4 |6267 | 11 | 0.000000e+00 | -- | Inf | unknown
44.92/45.14 c 33.5s| 1 | 0 |398134 | - | 104M | 0 | 500 |4424 |2177 | 32 | 5 |6268 | 11 | 0.000000e+00 | -- | Inf | unknown
44.92/45.14 c 33.6s| 1 | 0 |398228 | - | 105M | 0 | 500 |4424 |2181 | 36 | 6 |6268 | 11 | 0.000000e+00 | -- | Inf | unknown
44.92/45.14 c 33.6s| 1 | 0 |398402 | - | 105M | 0 | 500 |4432 |2185 | 40 | 7 |6276 | 11 | 0.000000e+00 | -- | Inf | unknown
44.92/45.14 c 33.7s| 1 | 0 |398493 | - | 105M | 0 | 500 |4439 |2192 | 47 | 8 |6283 | 11 | 0.000000e+00 | -- | Inf | unknown
44.92/45.14 c 33.7s| 1 | 0 |398594 | - | 107M | 0 | 500 |4439 |2197 | 52 | 9 |6283 | 11 | 0.000000e+00 | -- | Inf | unknown
44.92/45.14 c 33.8s| 1 | 0 |398675 | - | 109M | 0 | 500 |4439 |2200 | 55 | 10 |6283 | 11 | 0.000000e+00 | -- | Inf | unknown
44.92/45.14 c 33.8s| 1 | 0 |398725 | - | 109M | 0 | 500 |4439 |2203 | 58 | 11 |6283 | 11 | 0.000000e+00 | -- | Inf | unknown
44.92/45.14 c 34.3s| 1 | 2 |400391 | - | 109M | 0 | 500 |4454 |2203 | 58 | 11 |6303 | 23 | 0.000000e+00 | -- | Inf | unknown
44.92/45.14 c 35.3s| 100 | 16 |414533 | 105.7 | 109M | 20 | 500 |4506 |2165 | 74 | 0 |6426 | 23 | 0.000000e+00 | -- | Inf | unknown
44.92/45.14 c 36.5s| 200 | 19 |426076 | 105.9 | 110M | 20 | 500 |4564 |2165 | 96 | 1 |6620 | 23 | 0.000000e+00 | -- | Inf | 2.51%
44.92/45.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
44.92/45.14 c 37.0s| 300 | 17 |434723 | 105.4 | 111M | 20 | 500 |4551 | 0 | 120 | 0 |6747 | 23 | 0.000000e+00 | -- | Inf | 4.05%
44.92/45.14 c 37.6s| 400 | 20 |443365 | 105.0 | 111M | 20 | 500 |4578 |2161 | 133 | 1 |6868 | 23 | 0.000000e+00 | -- | Inf | 4.57%
44.92/45.14 c 38.0s| 500 | 17 |451322 | 104.4 | 111M | 20 | 500 |4671 |2164 | 139 | 0 |7036 | 23 | 0.000000e+00 | -- | Inf | 4.85%
44.92/45.14 c 38.5s| 600 | 20 |461586 | 104.3 | 112M | 20 | 500 |4744 |2163 | 152 | 1 |7187 | 23 | 0.000000e+00 | -- | Inf | 5.00%
44.92/45.14 c 39.1s| 700 | 16 |470934 | 104.1 | 112M | 20 | 500 |4792 | 0 | 169 | 0 |7337 | 23 | 0.000000e+00 | -- | Inf | 5.26%
44.92/45.14 c 39.9s| 800 | 20 |481158 | 104.0 | 112M | 20 | 500 |4817 |2162 | 182 | 2 |7491 | 23 | 0.000000e+00 | -- | Inf | 5.37%
44.92/45.14 c 40.8s| 900 | 19 |492323 | 104.2 | 114M | 20 | 500 |4697 | 0 | 222 | 0 |7615 | 23 | 0.000000e+00 | -- | Inf | 6.30%
44.92/45.14 c 41.4s| 1000 | 19 |501891 | 104.0 | 114M | 20 | 500 |4618 |2162 | 242 | 0 |7712 | 23 | 0.000000e+00 | -- | Inf | 6.78%
44.92/45.14 c 42.0s| 1100 | 19 |510982 | 103.8 | 115M | 20 | 500 |4643 | 0 | 266 | 0 |7838 | 23 | 0.000000e+00 | -- | Inf | 7.12%
44.92/45.14 c 42.7s| 1200 | 22 |523689 | 104.2 | 116M | 20 | 500 |4681 | 0 | 307 | 0 |7960 | 23 | 0.000000e+00 | -- | Inf | 7.45%
44.92/45.14 c 43.1s| 1300 | 22 |532582 | 103.9 | 117M | 20 | 500 |4737 |2164 | 317 | 1 |8082 | 23 | 0.000000e+00 | -- | Inf | 7.58%
44.92/45.14 c 43.5s| 1400 | 21 |540531 | 103.5 | 117M | 20 | 500 |4829 | 0 | 326 | 0 |8200 | 23 | 0.000000e+00 | -- | Inf | 7.65%
44.92/45.14 c 44.2s| 1500 | 17 |550923 | 103.5 | 117M | 20 | 500 |4931 |2162 | 341 | 0 |8353 | 23 | 0.000000e+00 | -- | Inf | 7.85%
82.88/83.25 c 45.0s| 1600 | 21 |562865 | 103.8 | 116M | 20 | 500 |4966 |2167 | 382 | 2 |8469 | 23 | 0.000000e+00 | -- | Inf | 8.11%
82.88/83.25 c 45.4s| 1700 | 22 |572110 | 103.6 | 117M | 20 | 500 |5069 |2162 | 382 | 1 |8603 | 23 | 0.000000e+00 | -- | Inf | 8.21%
82.88/83.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
82.88/83.25 c 45.8s| 1800 | 20 |578976 | 102.9 | 117M | 20 | 500 |5186 | 0 | 382 | 0 |8756 | 23 | 0.000000e+00 | -- | Inf | 8.26%
82.88/83.25 c 46.2s| 1900 | 20 |587432 | 102.6 | 118M | 20 | 500 |5294 |2162 | 389 | 1 |8901 | 23 | 0.000000e+00 | -- | Inf | 8.37%
82.88/83.25 c 46.8s| 2000 | 20 |598389 | 102.7 | 118M | 20 | 500 |5402 |2163 | 409 | 1 |9063 | 23 | 0.000000e+00 | -- | Inf | 8.51%
82.88/83.25 c 47.4s| 2100 | 25 |607968 | 102.6 | 119M | 20 | 500 |5471 |2163 | 427 | 1 |9207 | 23 | 0.000000e+00 | -- | Inf | 8.62%
82.88/83.25 c 47.8s| 2200 | 18 |617682 | 102.5 | 119M | 20 | 500 |5573 |2165 | 427 | 1 |9382 | 23 | 0.000000e+00 | -- | Inf | 8.85%
82.88/83.25 c 48.6s| 2300 | 20 |628764 | 102.6 | 119M | 20 | 500 |5592 |2162 | 458 | 1 |9524 | 23 | 0.000000e+00 | -- | Inf | 9.10%
82.88/83.25 c 49.2s| 2400 | 17 |639070 | 102.6 | 119M | 20 | 500 |5627 |2165 | 470 | 1 |9637 | 23 | 0.000000e+00 | -- | Inf | 9.37%
82.88/83.25 c 49.8s| 2500 | 18 |648014 | 102.4 | 119M | 20 | 500 |5638 |2162 | 491 | 0 |9783 | 23 | 0.000000e+00 | -- | Inf | 9.56%
82.88/83.25 c 50.3s| 2600 | 15 |657506 | 102.3 | 120M | 20 | 500 |5721 |2163 | 500 | 0 |9936 | 23 | 0.000000e+00 | -- | Inf | 9.71%
82.88/83.25 c 50.8s| 2700 | 14 |666581 | 102.1 | 120M | 20 | 500 |5817 |2163 | 509 | 0 | 10k| 23 | 0.000000e+00 | -- | Inf | 9.84%
82.88/83.25 c 51.9s| 2800 | 16 |678054 | 102.3 | 120M | 20 | 500 |5312 |2157 | 536 | 1 | 10k| 23 | 0.000000e+00 | -- | Inf | 16.02%
82.88/83.25 c 53.3s| 2900 | 21 |693919 | 103.2 | 120M | 20 | 500 |4794 |2162 | 588 | 1 | 10k| 23 | 0.000000e+00 | -- | Inf | 18.98%
82.88/83.25 c 53.7s| 3000 | 20 |701190 | 102.7 | 120M | 20 | 500 |4789 |2163 | 597 | 0 | 10k| 23 | 0.000000e+00 | -- | Inf | 19.11%
82.88/83.25 c 54.6s| 3100 | 19 |710515 | 102.6 | 120M | 20 | 500 |4701 | 0 | 622 | 0 | 10k| 23 | 0.000000e+00 | -- | Inf | 20.07%
82.88/83.25 c 55.6s| 3200 | 20 |721167 | 102.6 | 120M | 20 | 500 |4376 | 0 | 682 | 0 | 10k| 23 | 0.000000e+00 | -- | Inf | 21.86%
82.88/83.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
82.88/83.25 c 56.7s| 3300 | 23 |734404 | 103.1 | 120M | 20 | 500 |4242 | 0 | 754 | 0 | 10k| 23 | 0.000000e+00 | -- | Inf | 22.74%
82.88/83.25 c 57.5s| 3400 | 24 |746779 | 103.4 | 120M | 20 | 500 |4203 |2168 | 804 | 1 | 10k| 23 | 0.000000e+00 | -- | Inf | 23.14%
82.88/83.25 c 58.3s| 3500 | 22 |759449 | 103.7 | 120M | 20 | 500 |4247 |2165 | 833 | 1 | 10k| 23 | 0.000000e+00 | -- | Inf | 23.77%
82.88/83.25 c 59.3s| 3600 | 24 |774026 | 104.3 | 120M | 20 | 500 |4286 |2158 | 882 | 1 | 11k| 23 | 0.000000e+00 | -- | Inf | 24.46%
82.88/83.25 c 60.2s| 3700 | 29 |785446 | 104.4 | 120M | 20 | 500 |4356 | 0 | 930 | 0 | 11k| 23 | 0.000000e+00 | -- | Inf | 24.75%
82.88/83.25 c 60.6s| 3800 | 30 |793875 | 104.1 | 120M | 20 | 500 |4415 |2164 | 951 | 1 | 11k| 23 | 0.000000e+00 | -- | Inf | 24.98%
82.88/83.25 c 61.3s| 3900 | 24 |805174 | 104.2 | 120M | 20 | 500 |4508 |2172 | 974 | 2 | 11k| 23 | 0.000000e+00 | -- | Inf | 25.20%
82.88/83.25 c 61.8s| 4000 | 24 |816132 | 104.3 | 120M | 20 | 500 |4630 |2172 | 986 | 1 | 11k| 23 | 0.000000e+00 | -- | Inf | 25.34%
82.88/83.25 c 62.4s| 4100 | 22 |827478 | 104.4 | 120M | 20 | 500 |4731 |2166 |1003 | 0 | 11k| 23 | 0.000000e+00 | -- | Inf | 25.54%
82.88/83.25 c 63.0s| 4200 | 22 |836580 | 104.3 | 121M | 20 | 500 |4831 |2169 |1015 | 1 | 11k| 23 | 0.000000e+00 | -- | Inf | 25.67%
82.88/83.25 c 63.4s| 4300 | 19 |844897 | 104.0 | 121M | 20 | 500 |4919 |2168 |1026 | 0 | 12k| 23 | 0.000000e+00 | -- | Inf | 25.77%
82.88/83.25 c 64.0s| 4400 | 22 |854124 | 103.9 | 121M | 20 | 500 |5006 |2164 |1047 | 1 | 12k| 23 | 0.000000e+00 | -- | Inf | 25.94%
82.88/83.25 c 64.5s| 4500 | 20 |863984 | 103.8 | 121M | 20 | 500 |5045 |2165 |1080 | 1 | 12k| 23 | 0.000000e+00 | -- | Inf | 26.16%
82.88/83.25 c 65.1s| 4600 | 20 |874159 | 103.8 | 121M | 20 | 500 |4955 | 0 |1112 | 0 | 12k| 23 | 0.000000e+00 | -- | Inf | 26.73%
82.88/83.25 c 65.9s| 4700 | 20 |886760 | 104.0 | 121M | 20 | 500 |4982 |2167 |1138 | 1 | 12k| 23 | 0.000000e+00 | -- | Inf | 27.09%
82.88/83.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
82.88/83.25 c 66.5s| 4800 | 18 |896833 | 104.0 | 121M | 20 | 500 |5041 |2164 |1163 | 0 | 12k| 23 | 0.000000e+00 | -- | Inf | 27.35%
82.88/83.25 c 67.3s| 4900 | 17 |906735 | 103.9 | 121M | 20 | 500 |4957 |2164 |1185 | 1 | 12k| 23 | 0.000000e+00 | -- | Inf | 28.22%
82.88/83.25 c 69.8s| 5000 | 22 |934672 | 105.9 | 123M | 20 | 500 |4792 |2167 |1241 | 1 | 12k| 23 | 0.000000e+00 | -- | Inf | 28.80%
82.88/83.25 c 71.0s| 5100 | 22 |945452 | 106.0 | 123M | 20 | 500 |4652 | 0 |1278 | 0 | 13k| 23 | 0.000000e+00 | -- | Inf | 32.67%
82.88/83.25 c 71.6s| 5200 | 20 |953564 | 105.7 | 123M | 20 | 500 |4557 | 0 |1315 | 0 | 13k| 23 | 0.000000e+00 | -- | Inf | 34.18%
82.88/83.25 c 72.5s| 5300 | 22 |964188 | 105.7 | 123M | 20 | 500 |4494 |2164 |1364 | 1 | 13k| 23 | 0.000000e+00 | -- | Inf | 35.45%
82.88/83.25 c 73.0s| 5400 | 19 |972251 | 105.4 | 123M | 20 | 500 |4573 | 0 |1397 | 0 | 13k| 23 | 0.000000e+00 | -- | Inf | 35.69%
82.88/83.25 c 73.7s| 5500 | 20 |982785 | 105.4 | 123M | 20 | 500 |4588 | 0 |1442 | 0 | 13k| 23 | 0.000000e+00 | -- | Inf | 36.15%
82.88/83.25 c 74.1s| 5600 | 20 |991377 | 105.2 | 123M | 20 | 500 |4680 |2168 |1456 | 1 | 13k| 23 | 0.000000e+00 | -- | Inf | 36.30%
82.88/83.25 c 74.8s| 5700 | 17 | 1000k| 105.1 | 123M | 20 | 500 |4690 |2168 |1497 | 2 | 13k| 23 | 0.000000e+00 | -- | Inf | 36.87%
82.88/83.25 c 76.0s| 5800 | 17 | 1012k| 105.2 | 123M | 20 | 500 |4494 | 0 |1567 | 0 | 13k| 23 | 0.000000e+00 | -- | Inf | 41.67%
82.88/83.25 c 76.7s| 5900 | 18 | 1022k| 105.2 | 125M | 20 | 500 |4520 | 0 |1567 | 0 | 13k| 23 | 0.000000e+00 | -- | Inf | 41.80%
82.88/83.25 c 77.6s| 6000 | 18 | 1031k| 105.0 | 126M | 20 | 500 |4465 |2168 |1617 | 1 | 14k| 23 | 0.000000e+00 | -- | Inf | 42.97%
82.88/83.25 c 78.2s| 6100 | 23 | 1040k| 104.8 | 127M | 20 | 500 |4506 | 0 |1659 | 0 | 14k| 23 | 0.000000e+00 | -- | Inf | 43.39%
82.88/83.25 c 79.0s| 6200 | 24 | 1049k| 104.7 | 127M | 20 | 500 |4572 |2167 |1682 | 1 | 14k| 23 | 0.000000e+00 | -- | Inf | 43.58%
82.88/83.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
82.88/83.25 c 79.6s| 6300 | 24 | 1059k| 104.7 | 127M | 20 | 500 |4632 |2168 |1731 | 0 | 14k| 23 | 0.000000e+00 | -- | Inf | 44.09%
82.88/83.25 c 80.1s| 6400 | 22 | 1068k| 104.5 | 127M | 20 | 500 |4718 | 0 |1731 | 0 | 14k| 23 | 0.000000e+00 | -- | Inf | 44.19%
82.88/83.25 c 80.9s| 6500 | 22 | 1079k| 104.6 | 127M | 20 | 500 |4733 |2163 |1767 | 1 | 14k| 23 | 0.000000e+00 | -- | Inf | 44.77%
82.88/83.25 c 81.5s| 6600 | 22 | 1089k| 104.5 | 127M | 20 | 500 |4776 | 0 |1810 | 0 | 14k| 23 | 0.000000e+00 | -- | Inf | 45.03%
82.88/83.25 c 82.0s| 6700 | 18 | 1097k| 104.3 | 127M | 20 | 500 |4833 |2172 |1837 | 0 | 14k| 23 | 0.000000e+00 | -- | Inf | 45.25%
117.48/117.95 c 83.1s| 6800 | 20 | 1110k| 104.5 | 127M | 20 | 500 |4749 |2165 |1901 | 0 | 15k| 23 | 0.000000e+00 | -- | Inf | 46.58%
117.48/117.95 c 83.7s| 6900 | 25 | 1119k| 104.4 | 127M | 20 | 500 |4751 | 0 |1930 | 0 | 15k| 23 | 0.000000e+00 | -- | Inf | 46.76%
117.48/117.95 c 84.2s| 7000 | 23 | 1129k| 104.3 | 127M | 20 | 500 |4825 | 0 |1930 | 0 | 15k| 23 | 0.000000e+00 | -- | Inf | 46.84%
117.48/117.95 c 84.7s| 7100 | 18 | 1138k| 104.2 | 127M | 20 | 500 |4859 |2165 |1951 | 0 | 15k| 23 | 0.000000e+00 | -- | Inf | 47.02%
117.48/117.95 c 85.2s| 7200 | 18 | 1146k| 104.0 | 128M | 20 | 500 |4823 |2166 |1971 | 1 | 15k| 23 | 0.000000e+00 | -- | Inf | 47.26%
117.48/117.95 c 85.8s| 7300 | 22 | 1155k| 103.9 | 128M | 20 | 500 |4663 |2162 |2009 | 1 | 15k| 23 | 0.000000e+00 | -- | Inf | 48.84%
117.48/117.95 c 86.6s| 7400 | 24 | 1165k| 103.9 | 128M | 20 | 500 |4693 |2165 |2037 | 1 | 15k| 23 | 0.000000e+00 | -- | Inf | 49.12%
117.48/117.95 c 87.0s| 7500 | 20 | 1174k| 103.7 | 128M | 20 | 500 |4765 |2162 |2049 | 1 | 15k| 23 | 0.000000e+00 | -- | Inf | 49.26%
117.48/117.95 c 87.4s| 7600 | 20 | 1182k| 103.5 | 128M | 20 | 500 |4843 |2168 |2063 | 1 | 15k| 23 | 0.000000e+00 | -- | Inf | 49.38%
117.48/117.95 c 87.8s| 7700 | 19 | 1190k| 103.3 | 128M | 20 | 500 |4936 |2169 |2077 | 0 | 16k| 23 | 0.000000e+00 | -- | Inf | 49.45%
117.48/117.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
117.48/117.95 c 88.5s| 7800 | 20 | 1198k| 103.1 | 128M | 20 | 500 |4916 | 0 |2096 | 0 | 16k| 23 | 0.000000e+00 | -- | Inf | 50.48%
117.48/117.95 c 89.4s| 7900 | 19 | 1208k| 103.0 | 128M | 20 | 500 |4836 |2168 |2174 | 1 | 16k| 23 | 0.000000e+00 | -- | Inf | 51.51%
117.48/117.95 c 90.1s| 8000 | 19 | 1216k| 102.9 | 128M | 20 | 500 |4871 |2166 |2199 | 1 | 16k| 23 | 0.000000e+00 | -- | Inf | 51.68%
117.48/117.95 c 90.7s| 8100 | 20 | 1224k| 102.7 | 128M | 20 | 500 |4797 |2158 |2211 | 1 | 16k| 23 | 0.000000e+00 | -- | Inf | 52.93%
117.48/117.95 c 91.7s| 8200 | 21 | 1234k| 102.7 | 128M | 20 | 500 |4722 | 0 |2289 | 0 | 16k| 23 | 0.000000e+00 | -- | Inf | 54.27%
117.48/117.95 c 92.2s| 8300 | 21 | 1244k| 102.6 | 128M | 20 | 500 |4810 |2174 |2316 | 1 | 16k| 23 | 0.000000e+00 | -- | Inf | 54.48%
117.48/117.95 c 92.9s| 8400 | 17 | 1253k| 102.5 | 128M | 20 | 500 |4850 |2167 |2373 | 1 | 16k| 23 | 0.000000e+00 | -- | Inf | 55.07%
117.48/117.95 c 93.7s| 8500 | 17 | 1262k| 102.4 | 128M | 20 | 500 |4836 | 0 |2428 | 0 | 16k| 23 | 0.000000e+00 | -- | Inf | 55.47%
117.48/117.95 c 94.5s| 8600 | 18 | 1274k| 102.6 | 128M | 20 | 500 |4852 |2169 |2464 | 2 | 17k| 23 | 0.000000e+00 | -- | Inf | 55.74%
117.48/117.95 c 95.4s| 8700 | 20 | 1286k| 102.7 | 129M | 20 | 500 |4832 | 0 |2490 | 0 | 17k| 23 | 0.000000e+00 | -- | Inf | 56.78%
117.48/117.95 c 96.0s| 8800 | 17 | 1295k| 102.6 | 129M | 20 | 500 |4922 |2166 |2520 | 0 | 17k| 23 | 0.000000e+00 | -- | Inf | 57.19%
117.48/117.95 c 97.2s| 8900 | 18 | 1308k| 102.8 | 129M | 20 | 500 |4941 | 0 |2566 | 0 | 17k| 23 | 0.000000e+00 | -- | Inf | 58.89%
117.48/117.95 c 98.3s| 9000 | 23 | 1321k| 103.0 | 130M | 20 | 500 |4950 |2170 |2612 | 1 | 17k| 23 | 0.000000e+00 | -- | Inf | 59.48%
117.48/117.95 c 99.3s| 9100 | 22 | 1332k| 103.1 | 130M | 20 | 500 |4917 | 0 |2663 | 0 | 17k| 23 | 0.000000e+00 | -- | Inf | 60.20%
117.48/117.95 c 99.9s| 9200 | 21 | 1340k| 102.9 | 130M | 20 | 500 |4975 | 0 |2699 | 0 | 17k| 23 | 0.000000e+00 | -- | Inf | 60.84%
117.48/117.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
117.48/117.95 c 100s| 9300 | 19 | 1349k| 102.8 | 130M | 20 | 500 |5063 |2164 |2715 | 0 | 17k| 23 | 0.000000e+00 | -- | Inf | 61.21%
117.48/117.95 c 101s| 9400 | 19 | 1361k| 103.0 | 131M | 20 | 500 |5088 |2163 |2776 | 0 | 18k| 23 | 0.000000e+00 | -- | Inf | 61.93%
117.48/117.95 c 102s| 9500 | 21 | 1371k| 102.9 | 133M | 20 | 500 |5129 |2157 |2790 | 1 | 18k| 23 | 0.000000e+00 | -- | Inf | 62.21%
117.48/117.95 c 103s| 9600 | 25 | 1380k| 102.8 | 133M | 20 | 500 |5204 |2165 |2815 | 1 | 18k| 23 | 0.000000e+00 | -- | Inf | 62.39%
117.48/117.95 c 103s| 9700 | 22 | 1388k| 102.7 | 134M | 20 | 500 |5292 | 0 |2847 | 0 | 18k| 23 | 0.000000e+00 | -- | Inf | 62.60%
117.48/117.95 c 104s| 9800 | 25 | 1399k| 102.7 | 134M | 20 | 500 |5343 |2167 |2903 | 1 | 18k| 23 | 0.000000e+00 | -- | Inf | 62.88%
117.48/117.95 c 104s| 9900 | 21 | 1407k| 102.6 | 134M | 20 | 500 |5438 |2173 |2916 | 1 | 18k| 23 | 0.000000e+00 | -- | Inf | 63.07%
117.48/117.95 c 105s| 10000 | 25 | 1417k| 102.6 | 134M | 20 | 500 |5505 |2171 |2959 | 1 | 18k| 23 | 0.000000e+00 | -- | Inf | 63.34%
117.48/117.95 c 105s| 10100 | 21 | 1427k| 102.5 | 134M | 20 | 500 |5608 |2170 |2975 | 0 | 18k| 23 | 0.000000e+00 | -- | Inf | 63.51%
117.48/117.95 c 106s| 10200 | 21 | 1436k| 102.4 | 134M | 20 | 500 |5591 |2167 |3000 | 0 | 19k| 23 | 0.000000e+00 | -- | Inf | 63.75%
117.48/117.95 c 107s| 10300 | 23 | 1448k| 102.6 | 134M | 20 | 500 |5652 |2169 |3036 | 0 | 19k| 23 | 0.000000e+00 | -- | Inf | 63.99%
117.48/117.95 c 107s| 10400 | 24 | 1458k| 102.5 | 134M | 20 | 500 |5721 |2165 |3058 | 1 | 19k| 23 | 0.000000e+00 | -- | Inf | 64.17%
117.48/117.95 c 108s| 10500 | 24 | 1468k| 102.5 | 134M | 20 | 500 |5823 | 0 |3072 | 0 | 19k| 23 | 0.000000e+00 | -- | Inf | 64.27%
117.48/117.95 c 108s| 10600 | 21 | 1475k| 102.3 | 134M | 20 | 500 |5938 | 0 |3072 | 0 | 19k| 23 | 0.000000e+00 | -- | Inf | 64.33%
117.48/117.95 c 109s| 10700 | 23 | 1484k| 102.2 | 134M | 20 | 500 |6001 |2164 |3096 | 0 | 19k| 23 | 0.000000e+00 | -- | Inf | 64.43%
117.48/117.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
117.48/117.95 c 109s| 10800 | 21 | 1492k| 102.1 | 134M | 20 | 500 |6075 |2167 |3106 | 0 | 19k| 23 | 0.000000e+00 | -- | Inf | 64.59%
117.48/117.95 c 110s| 10900 | 20 | 1501k| 102.0 | 134M | 20 | 500 |6171 |2168 |3120 | 1 | 19k| 23 | 0.000000e+00 | -- | Inf | 64.70%
117.48/117.95 c 110s| 11000 | 23 | 1511k| 102.0 | 134M | 20 | 500 |6241 |2171 |3138 | 1 | 20k| 23 | 0.000000e+00 | -- | Inf | 64.77%
117.48/117.95 c 110s| 11100 | 20 | 1519k| 101.8 | 134M | 20 | 500 |6331 |2168 |3138 | 1 | 20k| 23 | 0.000000e+00 | -- | Inf | 64.82%
117.48/117.95 c 111s| 11200 | 22 | 1528k| 101.7 | 134M | 20 | 500 |6376 |2167 |3150 | 1 | 20k| 23 | 0.000000e+00 | -- | Inf | 64.93%
117.48/117.95 c 112s| 11300 | 22 | 1545k| 102.2 | 134M | 20 | 500 |6252 | 0 |3193 | 0 | 20k| 23 | 0.000000e+00 | -- | Inf | 65.62%
117.48/117.95 c 113s| 11400 | 23 | 1559k| 102.4 | 134M | 20 | 500 |6256 |2167 |3215 | 1 | 20k| 23 | 0.000000e+00 | -- | Inf | 65.82%
117.48/117.95 c 114s| 11500 | 23 | 1568k| 102.4 | 134M | 20 | 500 |6350 |2165 |3228 | 1 | 20k| 23 | 0.000000e+00 | -- | Inf | 65.90%
117.48/117.95 c 115s| 11600 | 18 | 1578k| 102.3 | 134M | 20 | 500 |6349 |2164 |3249 | 0 | 20k| 23 | 0.000000e+00 | -- | Inf | 66.50%
117.48/117.95 c 115s| 11700 | 22 | 1588k| 102.3 | 134M | 20 | 500 |6106 |2168 |3292 | 1 | 20k| 23 | 0.000000e+00 | -- | Inf | 66.88%
117.48/117.95 c 116s| 11800 | 23 | 1599k| 102.4 | 134M | 20 | 500 |6194 |2171 |3303 | 1 | 21k| 23 | 0.000000e+00 | -- | Inf | 67.07%
117.48/117.95 c 117s| 11900 | 23 | 1610k| 102.4 | 134M | 20 | 500 |6263 |2171 |3325 | 1 | 21k| 23 | 0.000000e+00 | -- | Inf | 67.35%
117.48/117.95 c 117s| 12000 | 21 | 1619k| 102.3 | 134M | 20 | 500 |6337 |2169 |3345 | 1 | 21k| 23 | 0.000000e+00 | -- | Inf | 67.50%
150.86/151.40 c 118s| 12100 | 19 | 1629k| 102.3 | 134M | 20 | 500 |6257 |2169 |3378 | 0 | 21k| 23 | 0.000000e+00 | -- | Inf | 68.16%
150.86/151.40 c 119s| 12200 | 24 | 1641k| 102.5 | 134M | 20 | 500 |6121 |2166 |3427 | 0 | 21k| 23 | 0.000000e+00 | -- | Inf | 69.61%
150.86/151.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
150.86/151.40 c 120s| 12300 | 21 | 1652k| 102.5 | 134M | 20 | 500 |6197 | 0 |3470 | 0 | 21k| 23 | 0.000000e+00 | -- | Inf | 69.94%
150.86/151.40 c 121s| 12400 | 23 | 1662k| 102.5 | 134M | 20 | 500 |5868 |2174 |3531 | 0 | 21k| 23 | 0.000000e+00 | -- | Inf | 71.12%
150.86/151.40 c 121s| 12500 | 24 | 1672k| 102.4 | 134M | 20 | 500 |5702 | 0 |3576 | 0 | 21k| 23 | 0.000000e+00 | -- | Inf | 71.48%
150.86/151.40 c 122s| 12600 | 26 | 1682k| 102.4 | 134M | 20 | 500 |5743 |2168 |3589 | 1 | 22k| 23 | 0.000000e+00 | -- | Inf | 71.62%
150.86/151.40 c 123s| 12700 | 33 | 1693k| 102.5 | 136M | 20 | 500 |5424 |2169 |3662 | 1 | 22k| 23 | 0.000000e+00 | -- | Inf | 72.50%
150.86/151.40 c 123s| 12800 | 31 | 1703k| 102.5 | 136M | 20 | 500 |5467 | 0 |3676 | 0 | 22k| 23 | 0.000000e+00 | -- | Inf | 72.67%
150.86/151.40 c 124s| 12900 | 30 | 1712k| 102.4 | 136M | 20 | 500 |5536 |2172 |3691 | 1 | 22k| 23 | 0.000000e+00 | -- | Inf | 72.75%
150.86/151.40 c 124s| 13000 | 29 | 1721k| 102.3 | 136M | 20 | 500 |5576 |2172 |3702 | 1 | 22k| 23 | 0.000000e+00 | -- | Inf | 72.94%
150.86/151.40 c 125s| 13100 | 27 | 1732k| 102.3 | 136M | 20 | 500 |5574 |2168 |3746 | 1 | 22k| 23 | 0.000000e+00 | -- | Inf | 73.43%
150.86/151.40 c 126s| 13200 | 25 | 1742k| 102.3 | 136M | 20 | 500 |5575 |2167 |3784 | 1 | 22k| 23 | 0.000000e+00 | -- | Inf | 73.80%
150.86/151.40 c 126s| 13300 | 31 | 1752k| 102.3 | 136M | 20 | 500 |5623 |2169 |3829 | 1 | 22k| 23 | 0.000000e+00 | -- | Inf | 74.00%
150.86/151.40 c 127s| 13400 | 28 | 1760k| 102.2 | 136M | 20 | 500 |5717 |2167 |3829 | 0 | 22k| 23 | 0.000000e+00 | -- | Inf | 74.08%
150.86/151.40 c 128s| 13500 | 30 | 1769k| 102.1 | 136M | 20 | 500 |5633 |2167 |3868 | 1 | 23k| 23 | 0.000000e+00 | -- | Inf | 74.36%
150.86/151.40 c 128s| 13600 | 31 | 1779k| 102.1 | 136M | 20 | 500 |5638 |2163 |3891 | 1 | 23k| 23 | 0.000000e+00 | -- | Inf | 74.46%
150.86/151.40 c 129s| 13700 | 35 | 1788k| 102.1 | 136M | 20 | 500 |5752 |2168 |3905 | 1 | 23k| 23 | 0.000000e+00 | -- | Inf | 74.53%
150.86/151.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
150.86/151.40 c 129s| 13800 | 31 | 1795k| 101.9 | 136M | 20 | 500 |5863 |2168 |3905 | 1 | 23k| 23 | 0.000000e+00 | -- | Inf | 74.56%
150.86/151.40 c 129s| 13900 | 29 | 1803k| 101.7 | 136M | 20 | 500 |5978 |2163 |3905 | 1 | 23k| 23 | 0.000000e+00 | -- | Inf | 74.62%
150.86/151.40 c 130s| 14000 | 26 | 1812k| 101.7 | 136M | 20 | 500 |5987 | 0 |3935 | 0 | 23k| 23 | 0.000000e+00 | -- | Inf | 74.95%
150.86/151.40 c 130s| 14100 | 25 | 1819k| 101.5 | 136M | 20 | 500 |6023 |2170 |3943 | 1 | 23k| 23 | 0.000000e+00 | -- | Inf | 75.10%
150.86/151.40 c 131s| 14200 | 26 | 1829k| 101.5 | 136M | 20 | 500 |5952 | 0 |3987 | 0 | 23k| 23 | 0.000000e+00 | -- | Inf | 75.68%
150.86/151.40 c 131s| 14300 | 25 | 1837k| 101.4 | 136M | 20 | 500 |5944 |2168 |4002 | 1 | 24k| 23 | 0.000000e+00 | -- | Inf | 75.88%
150.86/151.40 c 132s| 14400 | 25 | 1848k| 101.4 | 136M | 20 | 500 |5994 | 0 |4032 | 0 | 24k| 23 | 0.000000e+00 | -- | Inf | 76.03%
150.86/151.40 c 133s| 14500 | 29 | 1859k| 101.5 | 136M | 20 | 500 |5935 |2167 |4103 | 1 | 24k| 23 | 0.000000e+00 | -- | Inf | 76.47%
150.86/151.40 c 133s| 14600 | 26 | 1868k| 101.4 | 136M | 20 | 500 |5962 |2168 |4136 | 1 | 24k| 23 | 0.000000e+00 | -- | Inf | 76.66%
150.86/151.40 c 134s| 14700 | 27 | 1878k| 101.4 | 136M | 20 | 500 |6005 |2162 |4148 | 1 | 24k| 23 | 0.000000e+00 | -- | Inf | 76.78%
150.86/151.40 c 135s| 14800 | 26 | 1887k| 101.3 | 136M | 20 | 500 |6087 |2170 |4163 | 1 | 24k| 23 | 0.000000e+00 | -- | Inf | 76.90%
150.86/151.40 c 135s| 14900 | 23 | 1896k| 101.3 | 136M | 20 | 500 |6148 |2170 |4188 | 1 | 24k| 23 | 0.000000e+00 | -- | Inf | 77.10%
150.86/151.40 c 136s| 15000 | 21 | 1904k| 101.1 | 136M | 20 | 500 |6026 |2157 |4228 | 1 | 24k| 23 | 0.000000e+00 | -- | Inf | 77.54%
150.86/151.40 c 137s| 15100 | 23 | 1914k| 101.2 | 136M | 20 | 500 |5850 |2164 |4301 | 0 | 25k| 23 | 0.000000e+00 | -- | Inf | 78.17%
150.86/151.40 c 137s| 15200 | 23 | 1924k| 101.2 | 136M | 20 | 500 |5820 |2166 |4325 | 0 | 25k| 23 | 0.000000e+00 | -- | Inf | 78.51%
150.86/151.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
150.86/151.40 c 138s| 15300 | 24 | 1933k| 101.1 | 136M | 20 | 500 |5814 |2166 |4353 | 1 | 25k| 23 | 0.000000e+00 | -- | Inf | 78.69%
150.86/151.40 c 139s| 15400 | 25 | 1944k| 101.2 | 136M | 20 | 500 |5849 | 0 |4365 | 0 | 25k| 23 | 0.000000e+00 | -- | Inf | 78.80%
150.86/151.40 c 140s| 15500 | 21 | 1955k| 101.2 | 137M | 20 | 500 |5817 |2174 |4445 | 0 | 25k| 23 | 0.000000e+00 | -- | Inf | 79.93%
150.86/151.40 c 140s| 15600 | 26 | 1966k| 101.2 | 137M | 20 | 500 |5901 |2172 |4483 | 1 | 25k| 23 | 0.000000e+00 | -- | Inf | 80.36%
150.86/151.40 c 141s| 15700 | 23 | 1977k| 101.3 | 137M | 20 | 500 |5997 |2174 |4531 | 0 | 25k| 23 | 0.000000e+00 | -- | Inf | 80.65%
150.86/151.40 c 142s| 15800 | 23 | 1987k| 101.2 | 137M | 20 | 500 |5935 |2169 |4596 | 1 | 25k| 23 | 0.000000e+00 | -- | Inf | 81.02%
150.86/151.40 c 142s| 15900 | 26 | 1999k| 101.3 | 137M | 20 | 500 |5958 | 0 |4636 | 0 | 26k| 23 | 0.000000e+00 | -- | Inf | 81.26%
150.86/151.40 c 143s| 16000 | 23 | 2007k| 101.2 | 137M | 20 | 500 |6038 |2171 |4662 | 1 | 26k| 23 | 0.000000e+00 | -- | Inf | 81.52%
150.86/151.40 c 144s| 16100 | 16 | 2017k| 101.3 | 137M | 20 | 500 |5968 | 0 |4716 | 0 | 26k| 23 | 0.000000e+00 | -- | Inf | 82.57%
150.86/151.40 c 145s| 16200 | 20 | 2027k| 101.2 | 137M | 20 | 500 |6021 |2174 |4743 | 1 | 26k| 23 | 0.000000e+00 | -- | Inf | 82.80%
150.86/151.40 c 145s| 16300 | 18 | 2037k| 101.2 | 140M | 20 | 500 |6102 |2176 |4791 | 2 | 26k| 23 | 0.000000e+00 | -- | Inf | 83.11%
150.86/151.40 c 146s| 16400 | 17 | 2048k| 101.3 | 140M | 20 | 500 |6187 |2175 |4804 | 0 | 26k| 23 | 0.000000e+00 | -- | Inf | 83.29%
150.86/151.40 c 147s| 16500 | 19 | 2060k| 101.4 | 140M | 20 | 500 |6287 | 0 |4847 | 0 | 26k| 23 | 0.000000e+00 | -- | Inf | 83.53%
150.86/151.40 c 147s| 16600 | 18 | 2070k| 101.4 | 140M | 20 | 500 |6248 |2169 |4886 | 1 | 26k| 23 | 0.000000e+00 | -- | Inf | 84.11%
150.86/151.40 c 148s| 16700 | 18 | 2081k| 101.4 | 140M | 20 | 500 |6350 |2171 |4898 | 1 | 27k| 23 | 0.000000e+00 | -- | Inf | 84.26%
150.86/151.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
150.86/151.40 c 148s| 16800 | 16 | 2093k| 101.5 | 140M | 20 | 500 |6425 | 0 |4936 | 0 | 27k| 23 | 0.000000e+00 | -- | Inf | 84.48%
150.86/151.40 c 149s| 16900 | 17 | 2104k| 101.5 | 140M | 20 | 500 |6427 |2169 |4969 | 1 | 27k| 23 | 0.000000e+00 | -- | Inf | 84.84%
150.86/151.40 c 150s| 17000 | 18 | 2114k| 101.5 | 141M | 20 | 500 |6520 |2172 |5014 | 1 | 27k| 23 | 0.000000e+00 | -- | Inf | 85.13%
150.86/151.40 c 150s| 17100 | 16 | 2123k| 101.5 | 141M | 20 | 500 |6614 |2169 |5045 | 1 | 27k| 23 | 0.000000e+00 | -- | Inf | 85.34%
150.86/151.40 c 151s| 17200 | 16 | 2131k| 101.4 | 141M | 20 | 500 |6717 |2170 |5073 | 1 | 27k| 23 | 0.000000e+00 | -- | Inf | 85.40%
178.76/179.42 c 151s| 17300 | 14 | 2142k| 101.4 | 141M | 20 | 500 |6782 |2165 |5086 | 1 | 27k| 23 | 0.000000e+00 | -- | Inf | 85.60%
178.76/179.42 c 152s| 17400 | 16 | 2151k| 101.3 | 141M | 20 | 500 |6731 |2170 |5112 | 1 | 27k| 23 | 0.000000e+00 | -- | Inf | 86.12%
178.76/179.42 c 152s| 17500 | 12 | 2159k| 101.2 | 141M | 20 | 500 |6557 | 0 |5143 | 0 | 28k| 23 | 0.000000e+00 | -- | Inf | 86.52%
178.76/179.42 c 153s| 17600 | 14 | 2170k| 101.3 | 141M | 20 | 500 |6529 |2169 |5212 | 1 | 28k| 23 | 0.000000e+00 | -- | Inf | 87.15%
178.76/179.42 c 154s| 17700 | 14 | 2181k| 101.3 | 141M | 20 | 500 |6503 |2170 |5245 | 1 | 28k| 23 | 0.000000e+00 | -- | Inf | 87.34%
178.76/179.42 c 155s| 17800 | 13 | 2188k| 101.2 | 141M | 20 | 500 |6540 |2165 |5257 | 1 | 28k| 23 | 0.000000e+00 | -- | Inf | 87.44%
178.76/179.42 c 155s| 17900 | 15 | 2200k| 101.3 | 141M | 20 | 500 |6591 |2174 |5274 | 1 | 28k| 23 | 0.000000e+00 | -- | Inf | 87.54%
178.76/179.42 c 156s| 18000 | 15 | 2209k| 101.2 | 141M | 20 | 500 |6664 | 0 |5286 | 0 | 28k| 23 | 0.000000e+00 | -- | Inf | 87.65%
178.76/179.42 c 156s| 18100 | 15 | 2218k| 101.2 | 141M | 20 | 500 |6751 |2171 |5315 | 1 | 28k| 23 | 0.000000e+00 | -- | Inf | 87.84%
178.76/179.42 c 157s| 18200 | 12 | 2227k| 101.1 | 141M | 20 | 500 |6843 |2170 |5328 | 0 | 28k| 23 | 0.000000e+00 | -- | Inf | 87.93%
178.76/179.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
178.76/179.42 c 157s| 18300 | 13 | 2236k| 101.1 | 141M | 20 | 500 |6942 | 0 |5341 | 0 | 29k| 23 | 0.000000e+00 | -- | Inf | 88.07%
178.76/179.42 c 158s| 18400 | 19 | 2246k| 101.1 | 141M | 20 | 500 |7040 |2175 |5372 | 1 | 29k| 23 | 0.000000e+00 | -- | Inf | 88.15%
178.76/179.42 c 158s| 18500 | 11 | 2255k| 101.0 | 141M | 20 | 500 |7151 |2175 |5372 | 0 | 29k| 23 | 0.000000e+00 | -- | Inf | 88.26%
178.76/179.42 c 159s| 18600 | 11 | 2265k| 101.0 | 141M | 20 | 500 |6874 |2168 |5442 | 1 | 29k| 23 | 0.000000e+00 | -- | Inf | 89.94%
178.76/179.42 c 159s| 18700 | 9 | 2272k| 100.9 | 141M | 20 | 500 |6883 | 0 |5483 | 0 | 29k| 23 | 0.000000e+00 | -- | Inf | 90.32%
178.76/179.42 c 160s| 18800 | 7 | 2281k| 100.8 | 141M | 20 | 500 |6953 |2171 |5534 | 0 | 29k| 23 | 0.000000e+00 | -- | Inf | 90.58%
178.76/179.42 c 161s| 18900 | 8 | 2291k| 100.8 | 141M | 20 | 500 |6945 |2173 |5580 | 1 | 29k| 23 | 0.000000e+00 | -- | Inf | 90.96%
178.76/179.42 c 161s| 19000 | 6 | 2301k| 100.8 | 141M | 20 | 500 |6975 | 0 |5605 | 0 | 29k| 23 | 0.000000e+00 | -- | Inf | 91.11%
178.76/179.42 c 162s| 19100 | 4 | 2312k| 100.9 | 141M | 20 | 500 |6933 |2168 |5673 | 0 | 29k| 23 | 0.000000e+00 | -- | Inf | 91.75%
178.76/179.42 c 163s| 19200 | 6 | 2321k| 100.8 | 141M | 20 | 500 |6996 |2168 |5699 | 0 | 30k| 23 | 0.000000e+00 | -- | Inf | 91.93%
178.76/179.42 c 163s| 19300 | 6 | 2331k| 100.8 | 142M | 20 | 500 |7086 |2168 |5712 | 1 | 30k| 23 | 0.000000e+00 | -- | Inf | 92.04%
178.76/179.42 c 164s| 19400 | 6 | 2341k| 100.8 | 142M | 20 | 500 |7184 |2165 |5723 | 1 | 30k| 23 | 0.000000e+00 | -- | Inf | 92.16%
178.76/179.42 c 165s| 19500 | 7 | 2362k| 101.3 | 142M | 20 | 500 |6918 |2170 |5775 | 1 | 30k| 23 | 0.000000e+00 | -- | Inf | 94.12%
178.76/179.42 c 166s| 19600 | 6 | 2371k| 101.2 | 142M | 20 | 500 |6881 | 0 |5846 | 0 | 30k| 23 | 0.000000e+00 | -- | Inf | 95.14%
178.76/179.42 c 167s| 19700 | 5 | 2382k| 101.3 | 142M | 20 | 500 |6948 | 0 |5875 | 0 | 30k| 23 | 0.000000e+00 | -- | Inf | 95.50%
178.76/179.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
178.76/179.42 c 168s| 19800 | 8 | 2392k| 101.3 | 142M | 20 | 500 |6992 | 0 |5953 | 0 | 30k| 23 | 0.000000e+00 | -- | Inf | 96.03%
178.76/179.42 c 168s| 19900 | 8 | 2400k| 101.2 | 142M | 20 | 500 |7066 |2171 |5979 | 0 | 30k| 23 | 0.000000e+00 | -- | Inf | 96.26%
178.76/179.42 c 169s| 20000 | 15 | 2410k| 101.2 | 142M | 20 | 500 |7177 |2168 |6006 | 1 | 31k| 23 | 0.000000e+00 | -- | Inf | 96.44%
178.76/179.42 c 169s| 20100 | 8 | 2420k| 101.2 | 142M | 20 | 500 |7263 | 0 |6059 | 0 | 31k| 23 | 0.000000e+00 | -- | Inf | 96.77%
178.76/179.42 c 170s| 20200 | 9 | 2430k| 101.2 | 143M | 20 | 500 |7338 | 0 |6094 | 0 | 31k| 23 | 0.000000e+00 | -- | Inf | 96.95%
178.76/179.42 c 171s| 20300 | 11 | 2441k| 101.2 | 145M | 20 | 500 |7449 |2173 |6136 | 1 | 31k| 23 | 0.000000e+00 | -- | Inf | 97.07%
178.76/179.42 c 171s| 20400 | 6 | 2450k| 101.2 | 145M | 20 | 500 |7555 |2168 |6136 | 1 | 31k| 23 | 0.000000e+00 | -- | Inf | 97.23%
178.76/179.42 c 172s| 20500 | 7 | 2461k| 101.2 | 146M | 20 | 500 |7592 |2168 |6213 | 1 | 31k| 23 | 0.000000e+00 | -- | Inf | 97.80%
178.76/179.42 c 173s| 20600 | 6 | 2469k| 101.1 | 146M | 20 | 500 |7669 | 0 |6241 | 0 | 31k| 23 | 0.000000e+00 | -- | Inf | 98.03%
178.76/179.42 c 173s| 20700 | 10 | 2481k| 101.2 | 146M | 20 | 500 |7748 |2168 |6273 | 1 | 31k| 23 | 0.000000e+00 | -- | Inf | 98.23%
178.76/179.42 c 174s| 20800 | 6 | 2489k| 101.1 | 146M | 20 | 500 |7849 | 0 |6297 | 0 | 32k| 23 | 0.000000e+00 | -- | Inf | 98.43%
178.76/179.42 c 174s| 20900 | 9 | 2498k| 101.0 | 146M | 20 | 500 |7951 |2169 |6327 | 1 | 32k| 23 | 0.000000e+00 | -- | Inf | 98.52%
178.76/179.42 c 175s| 21000 | 6 | 2506k| 100.9 | 146M | 20 | 500 |8051 | 0 |6341 | 0 | 32k| 23 | 0.000000e+00 | -- | Inf | 98.65%
178.76/179.42 c 175s| 21100 | 8 | 2514k| 100.9 | 146M | 20 | 500 |8142 |2176 |6362 | 0 | 32k| 23 | 0.000000e+00 | -- | Inf | 98.77%
178.76/179.42 c 176s| 21200 | 7 | 2524k| 100.9 | 146M | 20 | 500 |8264 |2170 |6399 | 0 | 32k| 23 | 0.000000e+00 | -- | Inf | 98.89%
178.76/179.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
178.76/179.42 c 176s| 21300 | 8 | 2532k| 100.8 | 146M | 20 | 500 |8352 |2167 |6416 | 1 | 32k| 23 | 0.000000e+00 | -- | Inf | 99.01%
178.76/179.42 c 177s| 21400 | 5 | 2540k| 100.7 | 146M | 20 | 500 |8457 | 0 |6432 | 0 | 33k| 23 | 0.000000e+00 | -- | Inf | 99.13%
178.76/179.42 c 177s| 21500 | 8 | 2551k| 100.7 | 146M | 20 | 500 |8512 |2170 |6465 | 1 | 33k| 23 | 0.000000e+00 | -- | Inf | 99.35%
178.76/179.42 c 178s| 21600 | 4 | 2558k| 100.6 | 146M | 20 | 500 |8580 |2170 |6485 | 0 | 33k| 23 | 0.000000e+00 | -- | Inf | 99.50%
178.76/179.42 c 179s| 21700 | 7 | 2568k| 100.6 | 146M | 20 | 500 |8515 |2172 |6559 | 0 | 33k| 23 | 0.000000e+00 | -- | Inf | 99.78%
178.76/179.42 c 179s| 21800 | 5 | 2576k| 100.5 | 146M | 20 | 500 |8589 |2171 |6582 | 0 | 33k| 23 | 0.000000e+00 | -- | Inf | 99.93%
178.76/179.42 c
178.76/179.42 c SCIP Status : problem is solved [infeasible]
178.76/179.42 c Solving Time (sec) : 179.27
178.76/179.42 c Solving Nodes : 21867 (total of 25572 nodes in 2 runs)
178.76/179.42 c Primal Bound : +1.00000000000000e+20 (0 solutions)
178.76/179.42 c Dual Bound : +1.00000000000000e+20
178.76/179.42 c Gap : 0.00 %
178.76/179.42 c SCIP found the problem to be infeasible.
178.76/179.42 s UNSATISFIABLE
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (49009 MiB free)
memory of node 1: 64465 MiB (54313 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530021-1752261153/watcher-4530021-1752261153 -o /tmp/evaluation-result-4530021-1752261153/solver-4530021-1752261153 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1752253448-111532 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530021-1752261153.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=113995, runsolver pid=113992
[startup+0.100063 s]*
/proc/loadavg: 4.07 4.08 4.09 5/269 114000
/proc/meminfo: memFree=105803492/131249988 swapFree=33010416/33010684
[pid=113995] ppid=113992 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113995/stat : 113995 (scip-naps-1.00a) S 113992 113995 111519 0 -1 4194304 259 332 0 0 0 0 0 0 20 0 1 0 141793876 4292608 768 18446744073709551615 93999430848512 93999431743045 140736720328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999431982096 93999432029840 93999443128320 140736720333211 140736720333310 140736720333310 140736720338914 0
/proc/113995/statm: 1048 768 704 219 0 110 0
[pid=114000] ppid=113995 vsize=1187388 memory=32480 CPUtime=0.07 cores=5,7
/proc/114000/stat : 114000 (python3) R 113995 113995 111519 0 -1 4194304 3820 0 0 0 6 1 0 0 20 0 1 0 141793878 1215885312 8120 18446744073709551615 94402573598720 94402573599097 140723806364896 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94402573610392 94402573611012 94402582401024 140723806374223 140723806374432 140723806374432 140723806380007 0
/proc/114000/statm: 296847 8120 4927 1 0 268869 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1191580 KiB
Current children cumulated memory: 35552 KiB
[startup+0.205617 s]*
/proc/loadavg: 4.07 4.08 4.09 5/269 114000
/proc/meminfo: memFree=105803668/131249988 swapFree=33010416/33010684
[pid=113995] ppid=113992 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113995/stat : 113995 (scip-naps-1.00a) S 113992 113995 111519 0 -1 4194304 259 332 0 0 0 0 0 0 20 0 1 0 141793876 4292608 768 18446744073709551615 93999430848512 93999431743045 140736720328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999431982096 93999432029840 93999443128320 140736720333211 140736720333310 140736720333310 140736720338914 0
/proc/113995/statm: 1048 768 704 219 0 110 0
[pid=114000] ppid=113995 vsize=1206492 memory=59488 CPUtime=0.17 cores=5,7
/proc/114000/stat : 114000 (python3) R 113995 113995 111519 0 -1 4194304 7806 0 0 0 15 2 0 0 20 0 1 0 141793878 1235447808 14872 18446744073709551615 94402573598720 94402573599097 140723806364896 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94402573610392 94402573611012 94402582401024 140723806374223 140723806374432 140723806374432 140723806380007 0
/proc/114000/statm: 301623 14872 7935 1 0 272981 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1210684 KiB
Current children cumulated memory: 62560 KiB
[startup+0.305613 s]*
/proc/loadavg: 4.07 4.08 4.09 5/269 114000
/proc/meminfo: memFree=105803668/131249988 swapFree=33010416/33010684
[pid=113995] ppid=113992 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113995/stat : 113995 (scip-naps-1.00a) S 113992 113995 111519 0 -1 4194304 259 332 0 0 0 0 0 0 20 0 1 0 141793876 4292608 768 18446744073709551615 93999430848512 93999431743045 140736720328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999431982096 93999432029840 93999443128320 140736720333211 140736720333310 140736720333310 140736720338914 0
/proc/113995/statm: 1048 768 704 219 0 110 0
[pid=114000] ppid=113995 vsize=1219476 memory=70496 CPUtime=0.27 cores=5,7
/proc/114000/stat : 114000 (python3) R 113995 113995 111519 0 -1 4194304 10459 0 0 0 25 2 0 0 20 0 1 0 141793878 1248743424 17624 18446744073709551615 94402573598720 94402573599097 140723806364896 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94402573610392 94402573611012 94402582401024 140723806374223 140723806374432 140723806374432 140723806380007 0
/proc/114000/statm: 304869 17624 8127 1 0 276227 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1223668 KiB
Current children cumulated memory: 73568 KiB
[startup+0.700141 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 114000
/proc/meminfo: memFree=105803668/131249988 swapFree=33010416/33010684
[pid=113995] ppid=113992 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113995/stat : 113995 (scip-naps-1.00a) S 113992 113995 111519 0 -1 4194304 259 332 0 0 0 0 0 0 20 0 1 0 141793876 4292608 768 18446744073709551615 93999430848512 93999431743045 140736720328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999431982096 93999432029840 93999443128320 140736720333211 140736720333310 140736720333310 140736720338914 0
/proc/113995/statm: 1048 768 704 219 0 110 0
[pid=114000] ppid=113995 vsize=1219476 memory=70624 CPUtime=0.66 cores=5,7
/proc/114000/stat : 114000 (python3) R 113995 113995 111519 0 -1 4194304 10477 0 0 0 64 2 0 0 20 0 1 0 141793878 1248743424 17656 18446744073709551615 94402573598720 94402573599097 140723806364896 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94402573610392 94402573611012 94402582401024 140723806374223 140723806374432 140723806374432 140723806380007 0
/proc/114000/statm: 304869 17656 8127 1 0 276227 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1223668 KiB
Current children cumulated memory: 73696 KiB
[startup+1.50022 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 114000
/proc/meminfo: memFree=105802912/131249988 swapFree=33010416/33010684
[pid=113995] ppid=113992 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113995/stat : 113995 (scip-naps-1.00a) S 113992 113995 111519 0 -1 4194304 259 332 0 0 0 0 0 0 20 0 1 0 141793876 4292608 768 18446744073709551615 93999430848512 93999431743045 140736720328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999431982096 93999432029840 93999443128320 140736720333211 140736720333310 140736720333310 140736720338914 0
/proc/113995/statm: 1048 768 704 219 0 110 0
[pid=114000] ppid=113995 vsize=1261968 memory=109664 CPUtime=1.45 cores=5,7
/proc/114000/stat : 114000 (python3) R 113995 113995 111519 0 -1 4194304 20233 0 0 0 142 3 0 0 20 0 1 0 141793878 1292255232 27416 18446744073709551615 94402573598720 94402573599097 140723806364896 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94402573610392 94402573611012 94402582401024 140723806374223 140723806374432 140723806374432 140723806380007 0
/proc/114000/statm: 315492 27416 8159 1 0 286850 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1266160 KiB
Current children cumulated memory: 112736 KiB
[startup+3.10538 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 114000
/proc/meminfo: memFree=105755536/131249988 swapFree=33010416/33010684
[pid=113995] ppid=113992 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113995/stat : 113995 (scip-naps-1.00a) S 113992 113995 111519 0 -1 4194304 259 332 0 0 0 0 0 0 20 0 1 0 141793876 4292608 768 18446744073709551615 93999430848512 93999431743045 140736720328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999431982096 93999432029840 93999443128320 140736720333211 140736720333310 140736720333310 140736720338914 0
/proc/113995/statm: 1048 768 704 219 0 110 0
[pid=114000] ppid=113995 vsize=1279668 memory=125664 CPUtime=3.06 cores=5,7
/proc/114000/stat : 114000 (python3) R 113995 113995 111519 0 -1 4194304 24211 0 0 0 302 4 0 0 20 0 1 0 141793878 1310380032 31416 18446744073709551615 94402573598720 94402573599097 140723806364896 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94402573610392 94402573611012 94402582401024 140723806374223 140723806374432 140723806374432 140723806380007 0
/proc/114000/statm: 319917 31416 8159 1 0 291275 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1283860 KiB
Current children cumulated memory: 128736 KiB
[startup+6.30015 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 114000
/proc/meminfo: memFree=105755584/131249988 swapFree=33010416/33010684
[pid=113995] ppid=113992 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113995/stat : 113995 (scip-naps-1.00a) S 113992 113995 111519 0 -1 4194304 259 332 0 0 0 0 0 0 20 0 1 0 141793876 4292608 768 18446744073709551615 93999430848512 93999431743045 140736720328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999431982096 93999432029840 93999443128320 140736720333211 140736720333310 140736720333310 140736720338914 0
/proc/113995/statm: 1048 768 704 219 0 110 0
[pid=114000] ppid=113995 vsize=1281536 memory=128352 CPUtime=6.24 cores=5,7
/proc/114000/stat : 114000 (python3) R 113995 113995 111519 0 -1 4194304 24897 0 0 0 620 4 0 0 20 0 1 0 141793878 1312292864 32088 18446744073709551615 94402573598720 94402573599097 140723806364896 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94402573610392 94402573611012 94402582401024 140723806374223 140723806374432 140723806374432 140723806380007 0
/proc/114000/statm: 320384 32088 8159 1 0 291742 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1285728 KiB
Current children cumulated memory: 131424 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.09 4.09 5/269 114000
/proc/meminfo: memFree=105732408/131249988 swapFree=33010416/33010684
[pid=113995] ppid=113992 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113995/stat : 113995 (scip-naps-1.00a) S 113992 113995 111519 0 -1 4194304 259 332 0 0 0 0 0 0 20 0 1 0 141793876 4292608 768 18446744073709551615 93999430848512 93999431743045 140736720328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999431982096 93999432029840 93999443128320 140736720333211 140736720333310 140736720333310 140736720338914 0
/proc/113995/statm: 1048 768 704 219 0 110 0
[pid=114000] ppid=113995 vsize=1304004 memory=150880 CPUtime=12.62 cores=5,7
/proc/114000/stat : 114000 (python3) R 113995 113995 111519 0 -1 4194304 30525 0 0 0 1257 5 0 0 20 0 1 0 141793878 1335300096 37720 18446744073709551615 94402573598720 94402573599097 140723806364896 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94402573610392 94402573611012 94402582401024 140723806374223 140723806374432 140723806374432 140723806380007 0
/proc/114000/statm: 326001 37720 8159 1 0 297359 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1308196 KiB
Current children cumulated memory: 153952 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.09 4.09 5/269 114000
/proc/meminfo: memFree=105729200/131249988 swapFree=33010416/33010684
[pid=113995] ppid=113992 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113995/stat : 113995 (scip-naps-1.00a) S 113992 113995 111519 0 -1 4194304 259 332 0 0 0 0 0 0 20 0 1 0 141793876 4292608 768 18446744073709551615 93999430848512 93999431743045 140736720328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999431982096 93999432029840 93999443128320 140736720333211 140736720333310 140736720333310 140736720338914 0
/proc/113995/statm: 1048 768 704 219 0 110 0
[pid=114000] ppid=113995 vsize=1312884 memory=160520 CPUtime=25.38 cores=5,7
/proc/114000/stat : 114000 (python3) R 113995 113995 111519 0 -1 4194304 35102 0 0 0 2532 6 0 0 20 0 1 0 141793878 1344393216 40130 18446744073709551615 94402573598720 94402573599097 140723806364896 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94402573610392 94402573611012 94402582401024 140723806374223 140723806374432 140723806374432 140723806380007 0
/proc/114000/statm: 328221 40130 8159 1 0 299579 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1317076 KiB
Current children cumulated memory: 163592 KiB
[startup+51.1056 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 114000
/proc/meminfo: memFree=105703240/131249988 swapFree=33010416/33010684
[pid=113995] ppid=113992 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113995/stat : 113995 (scip-naps-1.00a) S 113992 113995 111519 0 -1 4194304 259 332 0 0 0 0 0 0 20 0 1 0 141793876 4292608 768 18446744073709551615 93999430848512 93999431743045 140736720328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999431982096 93999432029840 93999443128320 140736720333211 140736720333310 140736720333310 140736720338914 0
/proc/113995/statm: 1048 768 704 219 0 110 0
[pid=114000] ppid=113995 vsize=1330568 memory=179032 CPUtime=50.9 cores=5,7
/proc/114000/stat : 114000 (python3) R 113995 113995 111519 0 -1 4194304 40664 0 0 0 5082 8 0 0 20 0 1 0 141793878 1362501632 44758 18446744073709551615 94402573598720 94402573599097 140723806364896 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94402573610392 94402573611012 94402582401024 140723806374223 140723806374432 140723806374432 140723806380007 0
/proc/114000/statm: 332642 44758 8159 1 0 304000 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1334760 KiB
Current children cumulated memory: 182104 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 114002
/proc/meminfo: memFree=105686956/131249988 swapFree=33010416/33010684
[pid=113995] ppid=113992 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113995/stat : 113995 (scip-naps-1.00a) S 113992 113995 111519 0 -1 4194304 259 332 0 0 0 0 0 0 20 0 1 0 141793876 4292608 768 18446744073709551615 93999430848512 93999431743045 140736720328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999431982096 93999432029840 93999443128320 140736720333211 140736720333310 140736720333310 140736720338914 0
/proc/113995/statm: 1048 768 704 219 0 110 0
[pid=114000] ppid=113995 vsize=1354200 memory=201800 CPUtime=101.93 cores=5,7
/proc/114000/stat : 114000 (python3) R 113995 113995 111519 0 -1 4194304 45842 0 0 0 10184 9 0 0 20 0 1 0 141793878 1386700800 50450 18446744073709551615 94402573598720 94402573599097 140723806364896 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94402573610392 94402573611012 94402582401024 140723806374223 140723806374432 140723806374432 140723806380007 0
/proc/114000/statm: 338550 50450 8159 1 0 309908 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 1358392 KiB
Current children cumulated memory: 204872 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/269 114004
/proc/meminfo: memFree=105680648/131249988 swapFree=33010416/33010684
[pid=113995] ppid=113992 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113995/stat : 113995 (scip-naps-1.00a) S 113992 113995 111519 0 -1 4194304 259 332 0 0 0 0 0 0 20 0 1 0 141793876 4292608 768 18446744073709551615 93999430848512 93999431743045 140736720328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999431982096 93999432029840 93999443128320 140736720333211 140736720333310 140736720333310 140736720338914 0
/proc/113995/statm: 1048 768 704 219 0 110 0
[pid=114000] ppid=113995 vsize=1357576 memory=208352 CPUtime=161.72 cores=5,7
/proc/114000/stat : 114000 (python3) R 113995 113995 111519 0 -1 4194304 47287 0 0 0 16163 9 0 0 20 0 1 0 141793878 1390157824 52088 18446744073709551615 94402573598720 94402573599097 140723806364896 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94402573610392 94402573611012 94402582401024 140723806374223 140723806374432 140723806374432 140723806380007 0
/proc/114000/statm: 339394 52088 8159 1 0 310752 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 1361768 KiB
Current children cumulated memory: 211424 KiB
[startup+179.481 s]
# the end of solver process 113995 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=178.747 s, system=0.108707 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+166.4 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 114004
/proc/meminfo: memFree=105678476/131249988 swapFree=33010416/33010684
[pid=113995] ppid=113992 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113995/stat : 113995 (scip-naps-1.00a) S 113992 113995 111519 0 -1 4194304 259 332 0 0 0 0 0 0 20 0 1 0 141793876 4292608 768 18446744073709551615 93999430848512 93999431743045 140736720328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999431982096 93999432029840 93999443128320 140736720333211 140736720333310 140736720333310 140736720338914 0
/proc/113995/statm: 1048 768 704 219 0 110 0
[pid=114000] ppid=113995 vsize=1365508 memory=214624 CPUtime=165.8 cores=5,7
/proc/114000/stat : 114000 (python3) R 113995 113995 111519 0 -1 4194304 48779 0 0 0 16571 9 0 0 20 0 1 0 141793878 1398280192 53656 18446744073709551615 94402573598720 94402573599097 140723806364896 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94402573610392 94402573611012 94402582401024 140723806374223 140723806374432 140723806374432 140723806380007 0
/proc/114000/statm: 341377 53656 8159 1 0 312735 0
Current children cumulated CPU time: 165.8 s
Current children cumulated vsize: 1369700 KiB
Current children cumulated memory: 217696 KiB
[startup+172.8 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 114004
/proc/meminfo: memFree=105674772/131249988 swapFree=33010416/33010684
[pid=113995] ppid=113992 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113995/stat : 113995 (scip-naps-1.00a) S 113992 113995 111519 0 -1 4194304 259 332 0 0 0 0 0 0 20 0 1 0 141793876 4292608 768 18446744073709551615 93999430848512 93999431743045 140736720328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999431982096 93999432029840 93999443128320 140736720333211 140736720333310 140736720333310 140736720338914 0
/proc/113995/statm: 1048 768 704 219 0 110 0
[pid=114000] ppid=113995 vsize=1367940 memory=216160 CPUtime=172.18 cores=5,7
/proc/114000/stat : 114000 (python3) R 113995 113995 111519 0 -1 4194304 49167 0 0 0 17209 9 0 0 20 0 1 0 141793878 1400770560 54040 18446744073709551615 94402573598720 94402573599097 140723806364896 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94402573610392 94402573611012 94402582401024 140723806374223 140723806374432 140723806374432 140723806380007 0
/proc/114000/statm: 341985 54040 8159 1 0 313343 0
Current children cumulated CPU time: 172.18 s
Current children cumulated vsize: 1372132 KiB
Current children cumulated memory: 219232 KiB
[startup+176 s]*
/proc/loadavg: 4.06 4.08 4.09 5/269 114004
/proc/meminfo: memFree=105656876/131249988 swapFree=33010416/33010684
[pid=113995] ppid=113992 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113995/stat : 113995 (scip-naps-1.00a) S 113992 113995 111519 0 -1 4194304 259 332 0 0 0 0 0 0 20 0 1 0 141793876 4292608 768 18446744073709551615 93999430848512 93999431743045 140736720328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999431982096 93999432029840 93999443128320 140736720333211 140736720333310 140736720333310 140736720338914 0
/proc/113995/statm: 1048 768 704 219 0 110 0
[pid=114000] ppid=113995 vsize=1367940 memory=217440 CPUtime=175.37 cores=5,7
/proc/114000/stat : 114000 (python3) R 113995 113995 111519 0 -1 4194304 49283 0 0 0 17528 9 0 0 20 0 1 0 141793878 1400770560 54360 18446744073709551615 94402573598720 94402573599097 140723806364896 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94402573610392 94402573611012 94402582401024 140723806374223 140723806374432 140723806374432 140723806380007 0
/proc/114000/statm: 341985 54360 8159 1 0 313343 0
Current children cumulated CPU time: 175.37 s
Current children cumulated vsize: 1372132 KiB
Current children cumulated memory: 220512 KiB
[startup+177.6 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 114004
/proc/meminfo: memFree=105656876/131249988 swapFree=33010416/33010684
[pid=113995] ppid=113992 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113995/stat : 113995 (scip-naps-1.00a) S 113992 113995 111519 0 -1 4194304 259 332 0 0 0 0 0 0 20 0 1 0 141793876 4292608 768 18446744073709551615 93999430848512 93999431743045 140736720328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999431982096 93999432029840 93999443128320 140736720333211 140736720333310 140736720333310 140736720338914 0
/proc/113995/statm: 1048 768 704 219 0 110 0
[pid=114000] ppid=113995 vsize=1367940 memory=217440 CPUtime=176.96 cores=5,7
/proc/114000/stat : 114000 (python3) R 113995 113995 111519 0 -1 4194304 49283 0 0 0 17687 9 0 0 20 0 1 0 141793878 1400770560 54360 18446744073709551615 94402573598720 94402573599097 140723806364896 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94402573610392 94402573611012 94402582401024 140723806374223 140723806374432 140723806374432 140723806380007 0
/proc/114000/statm: 341985 54360 8159 1 0 313343 0
Current children cumulated CPU time: 176.96 s
Current children cumulated vsize: 1372132 KiB
Current children cumulated memory: 220512 KiB
[startup+178.4 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 114004
/proc/meminfo: memFree=105657128/131249988 swapFree=33010416/33010684
[pid=113995] ppid=113992 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113995/stat : 113995 (scip-naps-1.00a) S 113992 113995 111519 0 -1 4194304 259 332 0 0 0 0 0 0 20 0 1 0 141793876 4292608 768 18446744073709551615 93999430848512 93999431743045 140736720328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999431982096 93999432029840 93999443128320 140736720333211 140736720333310 140736720333310 140736720338914 0
/proc/113995/statm: 1048 768 704 219 0 110 0
[pid=114000] ppid=113995 vsize=1367940 memory=217440 CPUtime=177.76 cores=5,7
/proc/114000/stat : 114000 (python3) R 113995 113995 111519 0 -1 4194304 49283 0 0 0 17767 9 0 0 20 0 1 0 141793878 1400770560 54360 18446744073709551615 94402573598720 94402573599097 140723806364896 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94402573610392 94402573611012 94402582401024 140723806374223 140723806374432 140723806374432 140723806380007 0
/proc/114000/statm: 341985 54360 8159 1 0 313343 0
Current children cumulated CPU time: 177.76 s
Current children cumulated vsize: 1372132 KiB
Current children cumulated memory: 220512 KiB
[startup+179.2 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 114004
/proc/meminfo: memFree=105657128/131249988 swapFree=33010416/33010684
[pid=113995] ppid=113992 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113995/stat : 113995 (scip-naps-1.00a) S 113992 113995 111519 0 -1 4194304 259 332 0 0 0 0 0 0 20 0 1 0 141793876 4292608 768 18446744073709551615 93999430848512 93999431743045 140736720328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999431982096 93999432029840 93999443128320 140736720333211 140736720333310 140736720333310 140736720338914 0
/proc/113995/statm: 1048 768 704 219 0 110 0
[pid=114000] ppid=113995 vsize=1367940 memory=217440 CPUtime=178.56 cores=5,7
/proc/114000/stat : 114000 (python3) R 113995 113995 111519 0 -1 4194304 49283 0 0 0 17847 9 0 0 20 0 1 0 141793878 1400770560 54360 18446744073709551615 94402573598720 94402573599097 140723806364896 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94402573610392 94402573611012 94402582401024 140723806374223 140723806374432 140723806374432 140723806380007 0
/proc/114000/statm: 341985 54360 8159 1 0 313343 0
Current children cumulated CPU time: 178.56 s
Current children cumulated vsize: 1372132 KiB
Current children cumulated memory: 220512 KiB
[startup+179.4 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 114004
/proc/meminfo: memFree=105657128/131249988 swapFree=33010416/33010684
[pid=113995] ppid=113992 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113995/stat : 113995 (scip-naps-1.00a) S 113992 113995 111519 0 -1 4194304 259 332 0 0 0 0 0 0 20 0 1 0 141793876 4292608 768 18446744073709551615 93999430848512 93999431743045 140736720328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93999431982096 93999432029840 93999443128320 140736720333211 140736720333310 140736720333310 140736720338914 0
/proc/113995/statm: 1048 768 704 219 0 110 0
[pid=114000] ppid=113995 vsize=1367940 memory=217440 CPUtime=178.76 cores=5,7
/proc/114000/stat : 114000 (python3) R 113995 113995 111519 0 -1 4194304 49283 0 0 0 17867 9 0 0 20 0 1 0 141793878 1400770560 54360 18446744073709551615 94402573598720 94402573599097 140723806364896 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94402573610392 94402573611012 94402582401024 140723806374223 140723806374432 140723806374432 140723806380007 0
/proc/114000/statm: 341985 54360 8159 1 0 313343 0
Current children cumulated CPU time: 178.76 s
Current children cumulated vsize: 1372132 KiB
Current children cumulated memory: 220512 KiB
Child status: 0
Real time (s): 179.481
CPU time (s): 178.856
CPU user time (s): 178.747
CPU system time (s): 0.108707
CPU usage (%): 99.6518
Max. virtual memory (cumulated for all children) (KiB): 1372132
Max. memory (cumulated for all children) (KiB): 220512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 178.747
system time used= 0.108707
maximum resident set size= 217440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49913
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 354
involuntary context switches= 1068
# summary of solver processes directly reported to runsolver:
# pid: 113995
# total CPU time (s): 178.856
# total CPU user time (s): 178.747
# total CPU system time (s): 0.108707
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.417809 second user time and 0.762507 second system time
The end