63.77/64.08 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4530047-1752261246.opb
63.77/64.08 c Solving mode: decision
63.77/64.08 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
63.77/64.08 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
63.77/64.08 c original problem has 2112 variables (2112 bin, 0 int, 0 impl, 0 cont) and 3279 constraints
63.77/64.08 c presolving:
63.77/64.08 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3279 upgd conss, 0 impls, 3262 clqs
63.77/64.08 c (0.4s) probing: 1000/2112 (47.3%) - 0 fixings, 0 aggregations, 48510 implications, 0 bound changes
63.77/64.08 c (0.4s) probing: 1001/2112 (47.4%) - 0 fixings, 0 aggregations, 48585 implications, 0 bound changes
63.77/64.08 c (0.4s) probing aborted: 1000/1000 successive useless probings
63.77/64.08 c (0.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
63.77/64.08 c (0.4s) symmetry computation finished: 15 generators found (max: 1500, log10 of symmetry group size: 10.0) (symcode time: 0.00)
63.77/64.08 c dynamic symmetry handling statistics:
63.77/64.08 c orbitopal reduction: no components
63.77/64.08 c orbital reduction: no components
63.77/64.08 c lexicographic reduction: no permutations
63.77/64.08 c handled 1 out of 1 symmetry components
63.77/64.08 c (round 2, exhaustive) 460 del vars, 0 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3279 upgd conss, 0 impls, 4927 clqs
63.77/64.08 c (round 3, fast) 800 del vars, 1176 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3279 upgd conss, 0 impls, 4927 clqs
63.77/64.08 c (0.5s) probing: 1101/2112 (52.1%) - 0 fixings, 0 aggregations, 53385 implications, 0 bound changes
63.77/64.08 c (0.5s) probing aborted: 1000/1000 successive useless probings
63.77/64.08 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
63.77/64.08 c 800 deleted vars, 1176 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
63.77/64.08 c 0 implications, 9257 cliques
63.77/64.08 c presolved problem has 1652 variables (1652 bin, 0 int, 0 impl, 0 cont) and 2104 constraints
63.77/64.08 c 17 constraints of type <knapsack>
63.77/64.08 c 2086 constraints of type <setppc>
63.77/64.08 c 1 constraints of type <orbitope>
63.77/64.08 c transformed objective value is always integral (scale: 1)
63.77/64.08 c Presolving Time: 0.49
63.77/64.08 c
63.77/64.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
63.77/64.08 c 0.7s| 1 | 0 | 1643 | - | 42M | 0 |1652 |2113 |2103 | 0 | 0 | 11 | 0 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c 1.7s| 1 | 0 | 9552 | - | 46M | 0 |1652 |2113 |2106 | 3 | 1 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c 2.5s| 1 | 0 | 9799 | - | 55M | 0 |1652 |2113 |2110 | 7 | 2 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c 2.7s| 1 | 0 | 9969 | - | 56M | 0 |1652 |2118 |2116 | 13 | 3 | 17 | 0 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c 2.9s| 1 | 0 | 10114 | - | 56M | 0 |1652 |2119 |2123 | 20 | 4 | 18 | 0 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c 3.1s| 1 | 0 | 10337 | - | 57M | 0 |1652 |2119 |2127 | 24 | 5 | 18 | 0 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c 3.3s| 1 | 0 | 10482 | - | 58M | 0 |1652 |2125 |2132 | 29 | 6 | 24 | 0 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c 3.6s| 1 | 0 | 10593 | - | 59M | 0 |1652 |2125 |2136 | 33 | 7 | 24 | 0 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c 3.8s| 1 | 0 | 10639 | - | 60M | 0 |1652 |2125 |2138 | 35 | 8 | 25 | 0 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c 3.9s| 1 | 0 | 10708 | - | 60M | 0 |1652 |2125 |2141 | 38 | 9 | 25 | 0 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c 4.1s| 1 | 0 | 10765 | - | 60M | 0 |1652 |2126 |2142 | 39 | 10 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c 4.2s| 1 | 0 | 10827 | - | 61M | 0 |1652 |2126 |2140 | 40 | 11 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c 5.4s| 1 | 2 | 14642 | - | 61M | 0 |1652 |2171 |2140 | 40 | 11 | 71 | 11 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c 9.0s| 100 | 33 | 30031 | 194.0 | 62M | 33 |1652 |2447 |2128 | 48 | 1 | 347 | 11 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c 13.5s| 200 | 69 | 67174 | 283.2 | 64M | 33 |1652 |2962 |2128 | 51 | 1 | 862 | 11 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
63.77/64.08 c 14.8s| 300 | 75 | 77515 | 223.1 | 64M | 33 |1652 |3247 |2128 | 51 | 0 |1147 | 11 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c 16.9s| 400 | 77 | 93871 | 208.1 | 64M | 33 |1652 |3459 |2128 | 52 | 0 |1360 | 11 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c 21.2s| 500 | 93 |122885 | 224.6 | 66M | 33 |1652 |3897 |2128 | 70 | 1 |1820 | 11 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c 27.3s| 600 | 127 |166135 | 259.3 | 67M | 33 |1652 |4211 |2121 | 85 | 1 |2198 | 11 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c 32.4s| 700 | 159 |199391 | 269.8 | 68M | 33 |1652 |4524 |2129 | 93 | 0 |2564 | 11 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c 35.0s| 800 | 171 |219759 | 261.5 | 68M | 33 |1652 |4784 |2128 | 93 | 0 |2862 | 11 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c 40.6s| 900 | 205 |262991 | 280.5 | 69M | 33 |1652 |5044 |2128 | 96 | 1 |3184 | 11 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c 42.5s| 1000 | 209 |276544 | 266.0 | 69M | 33 |1652 |5166 |2128 | 99 | 1 |3340 | 11 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c 44.7s| 1100 | 213 |291146 | 255.1 | 70M | 35 |1652 |5320 |2127 | 100 | 1 |3549 | 11 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c 47.1s| 1200 | 217 |306247 | 246.4 | 70M | 35 |1652 |5441 |2128 | 102 | 0 |3700 | 11 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c 48.7s| 1300 | 215 |316025 | 235.0 | 70M | 35 |1652 |5562 |2128 | 103 | 1 |3860 | 11 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c 50.7s| 1400 | 217 |330248 | 228.3 | 70M | 35 |1652 |5735 |2128 | 105 | 1 |4108 | 11 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c 52.2s| 1500 | 211 |339581 | 219.3 | 70M | 35 |1652 |5812 |2128 | 110 | 0 |4232 | 11 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c 53.6s| 1600 | 211 |350261 | 212.3 | 70M | 35 |1652 |6033 |2129 | 112 | 0 |4498 | 11 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c 55.6s| 1700 | 224 |363212 | 207.4 | 71M | 35 |1652 |6185 |2128 | 113 | 1 |4731 | 11 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
63.77/64.08 c 57.1s| 1800 | 229 |374058 | 201.9 | 71M | 35 |1652 |6365 |2128 | 113 | 1 |4942 | 11 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c 58.1s| 1900 | 229 |381304 | 195.1 | 71M | 35 |1652 |6415 |2128 | 113 | 1 |5018 | 11 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c 60.4s| 2000 | 235 |395909 | 192.6 | 72M | 35 |1652 |6511 |2128 | 121 | 1 |5183 | 11 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c 61.4s| 2100 | 235 |403656 | 187.2 | 72M | 35 |1652 |6653 |2128 | 122 | 1 |5336 | 11 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c 62.2s| 2200 | 235 |410794 | 181.9 | 72M | 35 |1652 |6679 |2128 | 122 | 0 |5376 | 11 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c 63.3s| 2300 | 235 |419385 | 177.7 | 72M | 35 |1652 |6703 |2124 | 123 | 1 |5436 | 11 | 0.000000e+00 | -- | Inf | unknown
63.77/64.08 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
63.77/64.08 c (run 1, node 2342) performing user restart
63.77/64.08 c
117.98/118.46 c (restart) converted 18 cuts from the global cut pool into linear constraints
117.98/118.46 c
117.98/118.46 c presolving:
117.98/118.46 c (round 1, exhaustive) 0 del vars, 3 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 17 upgd conss, 0 impls, 9257 clqs
117.98/118.46 c (round 2, exhaustive) 0 del vars, 1809 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 165 chg coeffs, 17 upgd conss, 0 impls, 9257 clqs
117.98/118.46 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
117.98/118.46 c 0 deleted vars, 1812 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 177 changed coefficients
117.98/118.46 c 0 implications, 9257 cliques
117.98/118.46 c presolved problem has 1652 variables (1652 bin, 0 int, 0 impl, 0 cont) and 4941 constraints
117.98/118.46 c 34 constraints of type <knapsack>
117.98/118.46 c 2088 constraints of type <setppc>
117.98/118.46 c 1 constraints of type <linear>
117.98/118.46 c 1 constraints of type <orbitope>
117.98/118.46 c 2817 constraints of type <logicor>
117.98/118.46 c transformed objective value is always integral (scale: 1)
117.98/118.46 c Presolving Time: 1.97
117.98/118.46 c
117.98/118.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
117.98/118.46 c 65.6s| 1 | 0 |425099 | - | 129M | 0 |1652 |4774 |2121 | 0 | 0 |5477 | 11 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 66.0s| 1 | 0 |425244 | - | 130M | 0 |1652 |4774 |2130 | 9 | 1 |5484 | 11 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 66.2s| 1 | 0 |425322 | - | 130M | 0 |1652 |4773 |2131 | 10 | 2 |5487 | 11 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 66.3s| 1 | 0 |425365 | - | 130M | 0 |1652 |4773 |2133 | 12 | 3 |5487 | 11 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 66.4s| 1 | 0 |425465 | - | 130M | 0 |1652 |4769 |2135 | 14 | 4 |5487 | 11 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 66.5s| 1 | 0 |425525 | - | 131M | 0 |1652 |4769 |2136 | 15 | 5 |5487 | 11 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 66.6s| 1 | 0 |425602 | - | 131M | 0 |1652 |4767 |2138 | 17 | 6 |5487 | 11 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 66.8s| 1 | 0 |425655 | - | 131M | 0 |1652 |4764 |2139 | 18 | 7 |5487 | 11 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 66.9s| 1 | 0 |425732 | - | 131M | 0 |1652 |4764 |2140 | 19 | 8 |5487 | 11 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 67.0s| 1 | 0 |425795 | - | 131M | 0 |1652 |4763 |2141 | 20 | 9 |5487 | 11 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 67.2s| 1 | 0 |425854 | - | 131M | 0 |1652 |4763 |2143 | 22 | 10 |5487 | 11 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 67.2s| 1 | 0 |425901 | - | 131M | 0 |1652 |4762 |2146 | 25 | 11 |5487 | 11 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 72.8s| 1 | 2 |429332 | - | 131M | 0 |1652 |4769 |2146 | 25 | 11 |5506 | 22 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 75.7s| 100 | 29 |447414 | 177.8 | 132M | 34 |1652 |4993 |2122 | 28 | 1 |5744 | 22 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 77.1s| 200 | 31 |458102 | 175.0 | 132M | 34 |1652 |5014 |2122 | 32 | 1 |5783 | 22 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
117.98/118.46 c 78.2s| 300 | 37 |466882 | 171.7 | 132M | 34 |1652 |5129 |2122 | 36 | 0 |5911 | 22 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 79.4s| 400 | 39 |476686 | 169.0 | 132M | 40 |1652 |5280 |2123 | 43 | 1 |6074 | 22 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 80.8s| 500 | 37 |486682 | 166.6 | 132M | 40 |1652 |5458 |2125 | 59 | 0 |6272 | 22 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 81.9s| 600 | 41 |496146 | 164.2 | 132M | 40 |1652 |5525 |2123 | 65 | 1 |6370 | 22 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 83.1s| 700 | 39 |505427 | 161.8 | 132M | 40 |1652 |5677 |2123 | 68 | 0 |6545 | 22 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 84.6s| 800 | 43 |517809 | 160.6 | 133M | 40 |1652 |5834 |2122 | 71 | 1 |6759 | 22 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 85.8s| 900 | 38 |527681 | 158.7 | 133M | 40 |1652 |6014 |2122 | 74 | 0 |6990 | 22 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 87.3s| 1000 | 42 |540483 | 157.8 | 133M | 40 |1652 |6188 |2122 | 74 | 0 |7186 | 22 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 88.3s| 1100 | 42 |548649 | 155.6 | 133M | 40 |1652 |6397 |2123 | 75 | 1 |7432 | 22 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 89.6s| 1200 | 46 |559067 | 154.1 | 133M | 40 |1652 |6597 |2123 | 78 | 1 |7650 | 22 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 90.9s| 1300 | 44 |570718 | 153.1 | 134M | 50 |1652 |6801 |2123 | 83 | 0 |7863 | 22 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 92.3s| 1400 | 42 |581901 | 152.0 | 134M | 50 |1652 |7034 |2123 | 86 | 0 |8108 | 22 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 93.7s| 1500 | 46 |593922 | 151.1 | 134M | 50 |1652 |7087 |2122 | 90 | 1 |8172 | 22 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 94.6s| 1600 | 46 |601391 | 149.2 | 134M | 50 |1652 |7291 |2125 | 102 | 1 |8395 | 22 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 95.8s| 1700 | 44 |611681 | 148.1 | 134M | 50 |1652 |7396 |2122 | 104 | 0 |8509 | 22 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
117.98/118.46 c 96.8s| 1800 | 44 |619344 | 146.3 | 135M | 50 |1652 |7551 |2122 | 108 | 1 |8672 | 22 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 98.2s| 1900 | 44 |630788 | 145.6 | 135M | 50 |1652 |7630 |2123 | 110 | 2 |8759 | 22 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 99.2s| 2000 | 44 |638688 | 144.1 | 135M | 50 |1652 |7739 |2124 | 116 | 0 |8881 | 22 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 100s| 2100 | 42 |649397 | 143.2 | 135M | 50 |1652 |7868 |2122 | 127 | 0 |9043 | 22 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 102s| 2200 | 44 |661542 | 142.7 | 136M | 50 |1652 |8064 |2122 | 128 | 1 |9269 | 22 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 103s| 2300 | 44 |673333 | 142.2 | 136M | 50 |1652 |8232 |2123 | 132 | 1 |9461 | 22 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 105s| 2400 | 42 |684659 | 141.6 | 136M | 50 |1652 |8329 |2123 | 141 | 0 |9572 | 22 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 106s| 2500 | 44 |698658 | 141.6 | 137M | 50 |1652 |8335 |2122 | 148 | 0 |9651 | 22 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 108s| 2600 | 50 |709058 | 140.8 | 137M | 50 |1652 |8391 |2123 | 159 | 1 |9762 | 22 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 109s| 2700 | 52 |720789 | 140.3 | 137M | 50 |1652 |8508 |2122 | 162 | 1 |9905 | 22 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 110s| 2800 | 46 |733169 | 140.0 | 137M | 50 |1652 |8756 |2123 | 164 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 112s| 2900 | 56 |748189 | 140.2 | 137M | 50 |1652 |8834 |2123 | 173 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 114s| 3000 | 56 |759573 | 139.7 | 137M | 50 |1652 |8873 |2124 | 181 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 115s| 3100 | 62 |772839 | 139.6 | 137M | 50 |1652 |8995 |2123 | 183 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c 117s| 3200 | 62 |786026 | 139.4 | 137M | 50 |1652 |9046 |2122 | 185 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
117.98/118.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
181.99/182.67 c 118s| 3300 | 62 |799594 | 139.4 | 137M | 50 |1652 |9105 |2123 | 189 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 120s| 3400 | 61 |811072 | 139.0 | 137M | 50 |1652 |9216 |2123 | 189 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 121s| 3500 | 61 |825647 | 139.1 | 138M | 50 |1652 |9228 |2123 | 189 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 123s| 3600 | 58 |838469 | 138.9 | 138M | 50 |1652 |9281 |2124 | 191 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 124s| 3700 | 60 |850498 | 138.6 | 138M | 50 |1652 |9458 |2122 | 191 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 126s| 3800 | 58 |863453 | 138.4 | 138M | 50 |1652 |9491 |2123 | 191 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 127s| 3900 | 64 |875595 | 138.2 | 138M | 50 |1652 |9676 |2122 | 193 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 128s| 4000 | 66 |889592 | 138.2 | 138M | 50 |1652 |9771 |2122 | 194 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 130s| 4100 | 66 |900298 | 137.7 | 138M | 50 |1652 |9836 |2122 | 195 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 131s| 4200 | 66 |910806 | 137.2 | 138M | 50 |1652 |9899 |2123 | 197 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 132s| 4300 | 68 |922040 | 136.8 | 138M | 50 |1652 |9932 |2122 | 197 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 133s| 4400 | 68 |932146 | 136.3 | 138M | 50 |1652 |9964 |2122 | 197 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 134s| 4500 | 64 |941689 | 135.7 | 139M | 50 |1652 | 10k|2122 | 199 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 136s| 4600 | 62 |953971 | 135.5 | 139M | 50 |1652 | 10k|2122 | 199 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 137s| 4700 | 64 |966870 | 135.4 | 139M | 50 |1652 | 10k|2122 | 199 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
181.99/182.67 c 139s| 4800 | 64 |980188 | 135.4 | 139M | 50 |1652 | 10k|2122 | 204 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 140s| 4900 | 62 |993168 | 135.3 | 139M | 50 |1652 | 10k|2122 | 207 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 142s| 5000 | 64 | 1007k| 135.5 | 139M | 50 |1652 | 10k|2123 | 208 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 143s| 5100 | 66 | 1019k| 135.2 | 139M | 50 |1652 | 10k|2123 | 216 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 144s| 5200 | 66 | 1029k| 134.8 | 139M | 50 |1652 | 10k|2122 | 219 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 146s| 5300 | 60 | 1042k| 134.7 | 139M | 50 |1652 | 10k|2123 | 223 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 147s| 5400 | 62 | 1055k| 134.6 | 139M | 50 |1652 | 10k|2123 | 228 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 148s| 5500 | 58 | 1066k| 134.3 | 139M | 50 |1652 | 10k|2122 | 232 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 150s| 5600 | 54 | 1076k| 133.9 | 139M | 50 |1652 | 10k|2122 | 238 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 151s| 5700 | 56 | 1089k| 133.8 | 139M | 50 |1652 | 10k|2122 | 241 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 152s| 5800 | 57 | 1099k| 133.5 | 139M | 50 |1652 | 10k|2122 | 244 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 154s| 5900 | 57 | 1110k| 133.2 | 139M | 50 |1652 | 10k|2123 | 246 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 154s| 6000 | 65 | 1118k| 132.5 | 139M | 50 |1652 | 10k|2122 | 246 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 155s| 6100 | 63 | 1127k| 132.0 | 139M | 50 |1652 | 10k|2122 | 248 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 156s| 6200 | 65 | 1134k| 131.3 | 139M | 50 |1652 | 10k|2122 | 249 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
181.99/182.67 c 157s| 6300 | 61 | 1142k| 130.7 | 139M | 50 |1652 | 10k|2122 | 249 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 158s| 6400 | 67 | 1150k| 130.1 | 139M | 50 |1652 | 10k|2122 | 249 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 159s| 6500 | 61 | 1160k| 129.8 | 139M | 50 |1652 | 10k|2123 | 256 | 2 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 160s| 6600 | 61 | 1170k| 129.5 | 139M | 50 |1652 | 10k|2123 | 258 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 162s| 6700 | 62 | 1183k| 129.5 | 139M | 50 |1652 | 10k|2123 | 265 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 163s| 6800 | 64 | 1193k| 129.1 | 140M | 50 |1652 | 10k|2123 | 270 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 164s| 6900 | 62 | 1202k| 128.6 | 140M | 50 |1652 | 10k|2123 | 272 | 2 | 14k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 165s| 7000 | 62 | 1212k| 128.4 | 140M | 50 |1652 | 10k|2124 | 278 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 166s| 7100 | 64 | 1223k| 128.2 | 140M | 50 |1652 | 10k|2123 | 283 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 167s| 7200 | 64 | 1232k| 127.8 | 140M | 50 |1652 | 10k|2123 | 284 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 168s| 7300 | 66 | 1241k| 127.4 | 140M | 50 |1652 | 11k|2123 | 284 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 169s| 7400 | 70 | 1250k| 127.0 | 140M | 50 |1652 | 11k|2123 | 286 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 170s| 7500 | 68 | 1260k| 126.7 | 140M | 50 |1652 | 11k|2123 | 286 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 171s| 7600 | 65 | 1269k| 126.3 | 140M | 50 |1652 | 11k|2124 | 287 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 172s| 7700 | 65 | 1278k| 126.0 | 140M | 50 |1652 | 11k|2124 | 292 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
181.99/182.67 c 173s| 7800 | 63 | 1288k| 125.8 | 140M | 50 |1652 | 11k|2123 | 293 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 174s| 7900 | 63 | 1300k| 125.7 | 140M | 50 |1652 | 11k|2123 | 294 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 175s| 8000 | 63 | 1311k| 125.5 | 140M | 50 |1652 | 11k|2123 | 297 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 176s| 8100 | 63 | 1322k| 125.4 | 140M | 50 |1652 | 11k|2123 | 301 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 178s| 8200 | 63 | 1334k| 125.3 | 140M | 50 |1652 | 11k|2123 | 303 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 179s| 8300 | 67 | 1344k| 125.1 | 140M | 50 |1652 | 11k|2123 | 305 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 180s| 8400 | 65 | 1355k| 124.9 | 140M | 50 |1652 | 11k|2123 | 305 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | unknown
181.99/182.67 c 181s| 8500 | 65 | 1366k| 124.8 | 140M | 50 |1652 | 11k|2123 | 309 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 183s| 8600 | 60 | 1375k| 124.5 | 140M | 50 |1652 | 12k|2123 | 309 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 184s| 8700 | 58 | 1387k| 124.4 | 140M | 50 |1652 | 11k|2123 | 317 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 185s| 8800 | 58 | 1399k| 124.4 | 140M | 50 |1652 | 11k|2123 | 318 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 186s| 8900 | 58 | 1408k| 124.1 | 140M | 50 |1652 | 11k|2122 | 320 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 187s| 9000 | 58 | 1420k| 124.1 | 140M | 50 |1652 | 11k|2122 | 321 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 189s| 9100 | 56 | 1433k| 124.1 | 140M | 50 |1652 | 11k|2123 | 327 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 190s| 9200 | 56 | 1445k| 124.1 | 140M | 50 |1652 | 11k|2123 | 330 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
257.67/258.58 c 192s| 9300 | 58 | 1459k| 124.2 | 140M | 50 |1652 | 11k|2123 | 330 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 194s| 9400 | 56 | 1476k| 124.6 | 140M | 50 |1652 | 11k|2123 | 332 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 195s| 9500 | 58 | 1489k| 124.7 | 140M | 50 |1652 | 11k|2122 | 332 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 196s| 9600 | 60 | 1501k| 124.6 | 140M | 50 |1652 | 10k|2122 | 333 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 198s| 9700 | 62 | 1511k| 124.4 | 140M | 50 |1652 | 10k|2122 | 334 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 199s| 9800 | 58 | 1522k| 124.3 | 140M | 50 |1652 | 10k|2122 | 336 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 200s| 9900 | 58 | 1534k| 124.2 | 140M | 50 |1652 | 10k|2123 | 339 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 201s| 10000 | 58 | 1545k| 124.2 | 140M | 50 |1652 | 11k|2122 | 342 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 203s| 10100 | 56 | 1558k| 124.2 | 140M | 50 |1652 | 11k|2122 | 351 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 204s| 10200 | 58 | 1568k| 124.0 | 140M | 50 |1652 | 10k|2122 | 356 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 205s| 10300 | 58 | 1580k| 123.9 | 140M | 50 |1652 | 10k|2122 | 357 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 208s| 10400 | 70 | 1599k| 124.5 | 140M | 50 |1652 | 10k|2122 | 375 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 210s| 10500 | 70 | 1613k| 124.6 | 140M | 50 |1652 |9912 |2122 | 376 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 211s| 10600 | 70 | 1626k| 124.6 | 140M | 50 |1652 |9792 |2122 | 382 | 0 | 18k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 213s| 10700 | 80 | 1640k| 124.8 | 140M | 50 |1652 |9100 |2125 | 402 | 1 | 18k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
257.67/258.58 c 215s| 10800 | 84 | 1653k| 124.8 | 140M | 50 |1652 |8787 |2124 | 411 | 1 | 18k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 216s| 10900 | 82 | 1664k| 124.7 | 140M | 50 |1652 |8858 |2125 | 415 | 0 | 18k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 217s| 11000 | 84 | 1677k| 124.8 | 140M | 50 |1652 |8902 |2125 | 421 | 0 | 18k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 219s| 11100 | 85 | 1690k| 124.8 | 140M | 50 |1652 |8768 |2124 | 428 | 1 | 18k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 221s| 11200 | 97 | 1706k| 125.1 | 140M | 50 |1652 |8677 |2123 | 438 | 1 | 18k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 222s| 11300 | 97 | 1718k| 125.0 | 140M | 50 |1652 |8768 |2123 | 442 | 1 | 18k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 224s| 11400 | 119 | 1736k| 125.4 | 140M | 50 |1652 |8824 |2124 | 450 | 1 | 19k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 225s| 11500 | 121 | 1748k| 125.4 | 140M | 50 |1652 |9002 |2124 | 460 | 1 | 19k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 227s| 11600 | 121 | 1763k| 125.5 | 140M | 50 |1652 |9123 |2126 | 476 | 1 | 19k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 228s| 11700 | 121 | 1775k| 125.5 | 140M | 50 |1652 |9252 |2126 | 484 | 1 | 19k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 230s| 11800 | 121 | 1787k| 125.4 | 140M | 50 |1652 |9428 |2126 | 497 | 0 | 19k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 231s| 11900 | 121 | 1797k| 125.3 | 140M | 50 |1652 |9654 |2128 | 500 | 1 | 19k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 232s| 12000 | 121 | 1810k| 125.3 | 140M | 50 |1652 |9819 |2126 | 509 | 0 | 20k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 234s| 12100 | 121 | 1821k| 125.2 | 140M | 50 |1652 | 10k|2126 | 519 | 1 | 20k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 235s| 12200 | 121 | 1837k| 125.4 | 140M | 50 |1652 | 10k|2124 | 524 | 1 | 20k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
257.67/258.58 c 237s| 12300 | 115 | 1849k| 125.4 | 141M | 50 |1652 | 10k|2126 | 532 | 1 | 20k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 238s| 12400 | 111 | 1863k| 125.5 | 141M | 50 |1652 | 10k|2126 | 542 | 1 | 20k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 240s| 12500 | 113 | 1875k| 125.5 | 141M | 50 |1652 | 10k|2124 | 556 | 0 | 21k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 241s| 12600 | 113 | 1887k| 125.4 | 141M | 50 |1652 | 10k|2127 | 568 | 1 | 21k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 243s| 12700 | 110 | 1899k| 125.4 | 141M | 50 |1652 | 10k|2125 | 568 | 1 | 21k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 244s| 12800 | 103 | 1910k| 125.3 | 141M | 50 |1652 | 10k|2126 | 576 | 1 | 21k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 245s| 12900 | 107 | 1920k| 125.1 | 141M | 50 |1652 | 10k|2126 | 585 | 1 | 21k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 247s| 13000 | 101 | 1934k| 125.2 | 141M | 50 |1652 | 10k|2125 | 595 | 1 | 21k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 249s| 13100 | 95 | 1949k| 125.4 | 141M | 50 |1652 | 10k|2126 | 601 | 0 | 22k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 250s| 13200 | 95 | 1962k| 125.4 | 141M | 50 |1652 | 10k|2124 | 605 | 1 | 22k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 252s| 13300 | 91 | 1977k| 125.6 | 141M | 50 |1652 | 10k|2125 | 614 | 1 | 22k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 253s| 13400 | 91 | 1992k| 125.7 | 141M | 50 |1652 | 10k|2126 | 623 | 1 | 22k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 255s| 13500 | 87 | 2005k| 125.8 | 141M | 50 |1652 | 10k|2125 | 630 | 0 | 22k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 256s| 13600 | 88 | 2018k| 125.8 | 141M | 50 |1652 | 10k|2124 | 630 | 1 | 22k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c 257s| 13700 | 88 | 2027k| 125.6 | 141M | 50 |1652 | 10k|2124 | 634 | 1 | 23k| 22 | 0.000000e+00 | -- | Inf | unknown
257.67/258.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
330.75/331.87 c 258s| 13800 | 86 | 2038k| 125.4 | 141M | 50 |1652 | 10k|2125 | 640 | 0 | 23k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 260s| 13900 | 88 | 2049k| 125.4 | 141M | 50 |1652 | 11k|2127 | 646 | 0 | 23k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 261s| 14000 | 86 | 2064k| 125.5 | 141M | 50 |1652 | 11k|2126 | 653 | 1 | 23k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 263s| 14100 | 88 | 2079k| 125.7 | 141M | 50 |1652 | 10k|2123 | 662 | 0 | 24k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 264s| 14200 | 86 | 2092k| 125.7 | 141M | 50 |1652 | 11k|2126 | 672 | 1 | 24k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 266s| 14300 | 90 | 2104k| 125.7 | 141M | 50 |1652 | 10k|2124 | 674 | 0 | 24k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 267s| 14400 | 92 | 2116k| 125.7 | 141M | 50 |1652 | 10k|2125 | 682 | 1 | 24k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 268s| 14500 | 91 | 2127k| 125.6 | 141M | 50 |1652 | 10k|2124 | 684 | 1 | 24k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 270s| 14600 | 89 | 2139k| 125.5 | 141M | 50 |1652 | 10k|2124 | 693 | 0 | 24k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 271s| 14700 | 91 | 2152k| 125.6 | 141M | 50 |1652 | 10k|2126 | 700 | 0 | 24k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 272s| 14800 | 91 | 2165k| 125.6 | 141M | 50 |1652 | 10k|2125 | 708 | 0 | 24k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 274s| 14900 | 95 | 2178k| 125.6 | 141M | 50 |1652 | 10k|2126 | 717 | 1 | 24k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 276s| 15000 | 95 | 2193k| 125.7 | 141M | 50 |1652 | 10k|2126 | 719 | 1 | 24k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 277s| 15100 | 93 | 2204k| 125.6 | 141M | 50 |1652 | 10k|2125 | 733 | 0 | 24k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 278s| 15200 | 95 | 2215k| 125.5 | 141M | 50 |1652 | 10k|2125 | 746 | 2 | 24k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
330.75/331.87 c 280s| 15300 | 93 | 2227k| 125.5 | 141M | 50 |1652 | 11k|2124 | 749 | 1 | 24k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 281s| 15400 | 99 | 2239k| 125.5 | 141M | 50 |1652 | 11k|2124 | 757 | 0 | 24k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 282s| 15500 | 99 | 2250k| 125.4 | 141M | 50 |1652 | 11k|2127 | 770 | 1 | 25k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 284s| 15600 | 99 | 2260k| 125.3 | 141M | 50 |1652 | 11k|2124 | 788 | 1 | 25k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 285s| 15700 | 97 | 2273k| 125.3 | 141M | 50 |1652 | 11k|2126 | 794 | 0 | 25k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 287s| 15800 | 97 | 2287k| 125.4 | 141M | 50 |1652 | 11k|2131 | 821 | 0 | 25k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 289s| 15900 | 97 | 2303k| 125.5 | 141M | 50 |1652 | 11k|2126 | 837 | 0 | 25k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 291s| 16000 | 99 | 2319k| 125.7 | 141M | 50 |1652 | 11k|2126 | 857 | 1 | 25k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 292s| 16100 | 101 | 2336k| 126.0 | 141M | 50 |1652 | 11k|2127 | 869 | 1 | 25k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 295s| 16200 | 97 | 2353k| 126.2 | 141M | 50 |1652 | 11k|2124 | 881 | 2 | 25k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 296s| 16300 | 96 | 2369k| 126.4 | 141M | 50 |1652 | 11k|2125 | 892 | 0 | 26k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 298s| 16400 | 100 | 2387k| 126.7 | 141M | 50 |1652 | 11k|2125 | 907 | 0 | 26k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 300s| 16500 | 104 | 2403k| 126.9 | 141M | 50 |1652 | 12k|2126 | 920 | 0 | 26k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 302s| 16600 | 100 | 2418k| 127.0 | 141M | 50 |1652 | 12k|2124 | 927 | 0 | 26k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 304s| 16700 | 96 | 2433k| 127.1 | 141M | 50 |1652 | 12k|2124 | 941 | 1 | 26k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
330.75/331.87 c 305s| 16800 | 96 | 2447k| 127.2 | 141M | 50 |1652 | 10k|2125 | 952 | 1 | 26k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 307s| 16900 | 100 | 2461k| 127.2 | 141M | 50 |1652 | 10k|2128 | 960 | 0 | 26k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 309s| 17000 | 100 | 2475k| 127.3 | 141M | 50 |1652 | 10k|2127 | 981 | 0 | 26k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 310s| 17100 | 100 | 2490k| 127.4 | 141M | 50 |1652 | 10k|2125 |1005 | 0 | 26k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 313s| 17200 | 98 | 2508k| 127.7 | 141M | 50 |1652 | 10k|2126 |1021 | 1 | 26k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 314s| 17300 | 96 | 2526k| 127.9 | 141M | 50 |1652 | 10k|2123 |1038 | 0 | 26k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 316s| 17400 | 106 | 2535k| 127.8 | 142M | 50 |1652 |9997 |2123 |1056 | 1 | 26k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 317s| 17500 | 104 | 2541k| 127.4 | 142M | 50 |1652 | 10k|2123 |1063 | 0 | 26k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 318s| 17600 | 100 | 2551k| 127.3 | 142M | 50 |1652 | 10k|2122 |1075 | 0 | 27k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 319s| 17700 | 108 | 2560k| 127.1 | 142M | 50 |1652 | 10k|2122 |1086 | 1 | 27k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 320s| 17800 | 106 | 2567k| 126.8 | 142M | 50 |1652 | 10k|2123 |1103 | 0 | 27k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 321s| 17900 | 102 | 2577k| 126.7 | 142M | 50 |1652 | 10k|2121 |1112 | 0 | 27k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 322s| 18000 | 108 | 2584k| 126.4 | 142M | 50 |1652 | 10k|2124 |1125 | 0 | 27k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 322s| 18100 | 108 | 2590k| 126.1 | 142M | 50 |1652 | 10k|2124 |1131 | 0 | 27k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 323s| 18200 | 106 | 2598k| 125.8 | 142M | 50 |1652 | 11k|2124 |1143 | 0 | 28k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
330.75/331.87 c 324s| 18300 | 112 | 2606k| 125.6 | 142M | 50 |1652 | 11k|2124 |1156 | 0 | 28k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 325s| 18400 | 109 | 2615k| 125.4 | 142M | 50 |1652 | 11k|2123 |1171 | 1 | 28k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 326s| 18500 | 107 | 2624k| 125.3 | 142M | 50 |1652 | 11k|2123 |1186 | 0 | 28k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 327s| 18600 | 110 | 2631k| 125.0 | 142M | 50 |1652 | 11k|2125 |1195 | 1 | 28k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 328s| 18700 | 110 | 2639k| 124.8 | 142M | 50 |1652 | 11k|2124 |1208 | 1 | 28k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 329s| 18800 | 106 | 2648k| 124.6 | 142M | 50 |1652 | 11k|2126 |1218 | 0 | 28k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 330s| 18900 | 110 | 2657k| 124.5 | 142M | 50 |1652 | 11k|2122 |1231 | 0 | 28k| 22 | 0.000000e+00 | -- | Inf | unknown
330.75/331.87 c 331s| 19000 | 108 | 2664k| 124.2 | 142M | 50 |1652 | 11k|2124 |1240 | 0 | 28k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 332s| 19100 | 108 | 2672k| 124.0 | 142M | 50 |1652 | 11k|2122 |1245 | 1 | 28k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 333s| 19200 | 105 | 2679k| 123.8 | 142M | 50 |1652 | 11k|2121 |1252 | 0 | 29k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 333s| 19300 | 107 | 2686k| 123.5 | 142M | 50 |1652 | 11k|2122 |1262 | 0 | 29k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 334s| 19400 | 111 | 2693k| 123.3 | 142M | 50 |1652 | 11k|2122 |1265 | 0 | 29k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 335s| 19500 | 109 | 2700k| 123.1 | 142M | 50 |1652 | 11k|2122 |1269 | 1 | 29k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 336s| 19600 | 108 | 2708k| 122.8 | 142M | 50 |1652 | 12k|2123 |1272 | 1 | 29k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 337s| 19700 | 110 | 2717k| 122.7 | 142M | 50 |1652 | 12k|2123 |1278 | 0 | 29k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
385.69/387.00 c 338s| 19800 | 112 | 2726k| 122.5 | 142M | 50 |1652 | 12k|2122 |1279 | 1 | 29k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 339s| 19900 | 108 | 2736k| 122.4 | 142M | 50 |1652 | 11k|2122 |1285 | 1 | 30k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 340s| 20000 | 104 | 2746k| 122.3 | 142M | 50 |1652 | 11k|2122 |1299 | 1 | 30k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 341s| 20100 | 106 | 2753k| 122.1 | 142M | 50 |1652 | 11k|2122 |1319 | 1 | 30k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 343s| 20200 | 102 | 2766k| 122.2 | 142M | 50 |1652 | 10k|2126 |1336 | 0 | 30k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 344s| 20300 | 108 | 2775k| 122.0 | 142M | 50 |1652 |9610 |2122 |1345 | 1 | 30k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 345s| 20400 | 106 | 2783k| 121.8 | 142M | 50 |1652 |9713 |2122 |1355 | 1 | 30k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 346s| 20500 | 102 | 2794k| 121.7 | 142M | 50 |1652 |9665 |2122 |1360 | 1 | 30k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 347s| 20600 | 102 | 2804k| 121.7 | 142M | 50 |1652 |9699 |2122 |1362 | 1 | 30k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 348s| 20700 | 104 | 2815k| 121.6 | 142M | 50 |1652 |9505 |2123 |1374 | 1 | 31k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 349s| 20800 | 106 | 2826k| 121.6 | 142M | 50 |1652 |9622 |2124 |1382 | 1 | 31k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 350s| 20900 | 106 | 2836k| 121.5 | 142M | 50 |1652 |9736 |2123 |1390 | 1 | 31k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 351s| 21000 | 102 | 2843k| 121.3 | 143M | 50 |1652 |9889 |2121 |1395 | 0 | 31k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 352s| 21100 | 102 | 2853k| 121.2 | 143M | 50 |1652 | 10k|2123 |1402 | 1 | 31k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 354s| 21200 | 104 | 2864k| 121.1 | 143M | 50 |1652 | 10k|2122 |1405 | 0 | 31k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
385.69/387.00 c 355s| 21300 | 110 | 2873k| 121.0 | 143M | 50 |1652 | 10k|2122 |1409 | 1 | 31k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 356s| 21400 | 108 | 2883k| 120.9 | 143M | 50 |1652 | 10k|2122 |1417 | 1 | 32k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 357s| 21500 | 106 | 2891k| 120.7 | 143M | 50 |1652 | 10k|2122 |1421 | 0 | 32k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 358s| 21600 | 104 | 2901k| 120.6 | 143M | 50 |1652 | 10k|2122 |1424 | 0 | 32k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 359s| 21700 | 104 | 2914k| 120.7 | 143M | 50 |1652 | 10k|2122 |1427 | 0 | 32k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 360s| 21800 | 108 | 2922k| 120.5 | 143M | 50 |1652 | 11k|2122 |1431 | 1 | 32k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 361s| 21900 | 102 | 2932k| 120.4 | 143M | 50 |1652 | 11k|2122 |1439 | 0 | 33k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 363s| 22000 | 100 | 2941k| 120.3 | 143M | 50 |1652 | 10k|2124 |1443 | 1 | 33k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 364s| 22100 | 106 | 2950k| 120.2 | 143M | 50 |1652 |9727 |2122 |1450 | 0 | 33k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 365s| 22200 | 106 | 2958k| 120.0 | 143M | 50 |1652 |9659 |2122 |1455 | 2 | 33k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 366s| 22300 | 108 | 2966k| 119.8 | 143M | 50 |1652 |9744 |2123 |1463 | 1 | 33k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 367s| 22400 | 112 | 2975k| 119.7 | 143M | 50 |1652 |9830 |2124 |1468 | 0 | 33k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 368s| 22500 | 108 | 2983k| 119.6 | 143M | 50 |1652 |9904 |2122 |1469 | 0 | 33k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 369s| 22600 | 108 | 2993k| 119.5 | 143M | 50 |1652 |9940 |2121 |1471 | 0 | 33k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 370s| 22700 | 108 | 3002k| 119.4 | 143M | 50 |1652 | 10k|2121 |1476 | 0 | 34k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
385.69/387.00 c 371s| 22800 | 112 | 3013k| 119.3 | 143M | 50 |1652 | 10k|2122 |1483 | 1 | 34k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 372s| 22900 | 110 | 3023k| 119.2 | 143M | 50 |1652 |9554 |2122 |1491 | 0 | 34k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 373s| 23000 | 120 | 3033k| 119.2 | 143M | 50 |1652 |8608 |2122 |1492 | 0 | 34k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 374s| 23100 | 122 | 3041k| 119.0 | 143M | 50 |1652 |8511 |2122 |1493 | 1 | 34k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 375s| 23200 | 122 | 3050k| 118.9 | 143M | 50 |1652 |8682 |2122 |1496 | 1 | 34k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 376s| 23300 | 126 | 3058k| 118.8 | 143M | 50 |1652 |8810 |2122 |1496 | 1 | 34k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 377s| 23400 | 124 | 3065k| 118.6 | 143M | 50 |1652 |8939 |2122 |1496 | 0 | 35k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 378s| 23500 | 120 | 3074k| 118.5 | 143M | 50 |1652 |9150 |2122 |1497 | 0 | 35k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 379s| 23600 | 124 | 3084k| 118.4 | 143M | 50 |1652 |9295 |2122 |1498 | 1 | 35k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 380s| 23700 | 122 | 3094k| 118.3 | 143M | 50 |1652 |9535 |2122 |1498 | 1 | 35k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 381s| 23800 | 124 | 3105k| 118.3 | 143M | 50 |1652 |9654 |2122 |1499 | 1 | 35k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 382s| 23900 | 124 | 3114k| 118.2 | 143M | 50 |1652 |9567 |2122 |1499 | 1 | 36k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 384s| 24000 | 122 | 3124k| 118.1 | 143M | 50 |1652 |9774 |2122 |1504 | 1 | 36k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 385s| 24100 | 122 | 3134k| 118.0 | 143M | 50 |1652 |9901 |2122 |1505 | 1 | 36k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c 386s| 24200 | 120 | 3143k| 117.9 | 143M | 50 |1652 | 10k|2122 |1505 | 1 | 36k| 22 | 0.000000e+00 | -- | Inf | unknown
385.69/387.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
445.91/447.34 c 387s| 24300 | 120 | 3152k| 117.8 | 143M | 50 |1652 |9957 |2123 |1507 | 0 | 37k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 388s| 24400 | 122 | 3161k| 117.7 | 143M | 50 |1652 |9958 |2122 |1507 | 1 | 37k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 389s| 24500 | 122 | 3171k| 117.6 | 143M | 50 |1652 |9854 |2123 |1509 | 1 | 37k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 390s| 24600 | 122 | 3178k| 117.5 | 143M | 50 |1652 | 10k|2123 |1510 | 0 | 37k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 391s| 24700 | 126 | 3185k| 117.3 | 143M | 50 |1652 | 10k|2122 |1510 | 0 | 37k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 391s| 24800 | 128 | 3192k| 117.1 | 143M | 50 |1652 | 10k|2122 |1510 | 1 | 38k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 392s| 24900 | 128 | 3200k| 117.0 | 143M | 50 |1652 | 10k|2122 |1510 | 1 | 38k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 393s| 25000 | 122 | 3209k| 116.9 | 143M | 50 |1652 | 10k|2122 |1511 | 0 | 38k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 394s| 25100 | 122 | 3218k| 116.8 | 143M | 50 |1652 | 10k|2123 |1511 | 1 | 38k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 395s| 25200 | 122 | 3228k| 116.7 | 143M | 50 |1652 | 10k|2122 |1511 | 1 | 38k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 397s| 25300 | 126 | 3237k| 116.7 | 143M | 50 |1652 | 11k|2123 |1512 | 1 | 39k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 398s| 25400 | 126 | 3246k| 116.6 | 143M | 50 |1652 | 11k|2122 |1513 | 0 | 39k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 398s| 25500 | 124 | 3253k| 116.4 | 143M | 50 |1652 | 11k|2122 |1513 | 1 | 39k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 399s| 25600 | 126 | 3259k| 116.2 | 143M | 50 |1652 | 11k|2122 |1515 | 1 | 39k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 400s| 25700 | 132 | 3267k| 116.1 | 143M | 50 |1652 | 11k|2123 |1516 | 1 | 39k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
445.91/447.34 c 401s| 25800 | 130 | 3276k| 116.0 | 143M | 50 |1652 | 11k|2122 |1521 | 0 | 40k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 402s| 25900 | 133 | 3286k| 115.9 | 143M | 50 |1652 | 11k|2122 |1523 | 1 | 40k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 403s| 26000 | 125 | 3294k| 115.8 | 143M | 50 |1652 | 12k|2122 |1526 | 0 | 40k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 404s| 26100 | 127 | 3304k| 115.7 | 143M | 50 |1652 | 11k|2122 |1531 | 1 | 40k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 405s| 26200 | 125 | 3313k| 115.6 | 143M | 50 |1652 | 12k|2122 |1554 | 1 | 40k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 406s| 26300 | 123 | 3322k| 115.5 | 143M | 50 |1652 | 12k|2122 |1555 | 1 | 40k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 407s| 26400 | 121 | 3330k| 115.4 | 143M | 50 |1652 | 12k|2122 |1560 | 0 | 40k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 408s| 26500 | 123 | 3339k| 115.3 | 143M | 50 |1652 | 12k|2123 |1565 | 1 | 41k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 409s| 26600 | 119 | 3348k| 115.2 | 144M | 50 |1652 | 12k|2124 |1570 | 0 | 41k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 410s| 26700 | 125 | 3358k| 115.2 | 144M | 50 |1652 | 11k|2123 |1571 | 0 | 41k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 411s| 26800 | 127 | 3368k| 115.1 | 144M | 50 |1652 | 11k|2123 |1574 | 1 | 41k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 413s| 26900 | 121 | 3380k| 115.1 | 144M | 50 |1652 | 11k|2123 |1577 | 0 | 41k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 414s| 27000 | 121 | 3389k| 115.1 | 144M | 50 |1652 | 11k|2123 |1578 | 0 | 42k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 415s| 27100 | 127 | 3402k| 115.1 | 144M | 50 |1652 | 12k|2123 |1578 | 1 | 42k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 416s| 27200 | 131 | 3411k| 115.0 | 144M | 50 |1652 | 12k|2123 |1578 | 1 | 42k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
445.91/447.34 c 418s| 27300 | 129 | 3420k| 115.0 | 144M | 50 |1652 | 12k|2123 |1581 | 0 | 42k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 419s| 27400 | 129 | 3431k| 114.9 | 144M | 50 |1652 | 12k|2123 |1595 | 1 | 42k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 420s| 27500 | 131 | 3442k| 114.9 | 145M | 50 |1652 | 12k|2123 |1596 | 0 | 43k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 421s| 27600 | 129 | 3453k| 114.9 | 145M | 50 |1652 | 12k|2123 |1598 | 1 | 43k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 423s| 27700 | 127 | 3463k| 114.8 | 145M | 50 |1652 | 12k|2123 |1598 | 0 | 43k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 424s| 27800 | 129 | 3475k| 114.9 | 145M | 50 |1652 | 12k|2123 |1601 | 0 | 43k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 425s| 27900 | 129 | 3484k| 114.8 | 145M | 50 |1652 | 12k|2123 |1601 | 0 | 43k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 426s| 28000 | 131 | 3493k| 114.7 | 145M | 50 |1652 | 12k|2123 |1603 | 0 | 43k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 427s| 28100 | 135 | 3506k| 114.8 | 145M | 50 |1652 | 12k|2123 |1604 | 1 | 44k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 429s| 28200 | 135 | 3518k| 114.8 | 145M | 50 |1652 | 12k|2123 |1605 | 0 | 44k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 430s| 28300 | 134 | 3532k| 114.9 | 146M | 50 |1652 | 12k|2123 |1608 | 0 | 44k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 432s| 28400 | 134 | 3542k| 114.8 | 146M | 50 |1652 | 12k|2123 |1611 | 0 | 44k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 433s| 28500 | 130 | 3553k| 114.8 | 146M | 50 |1652 | 12k|2123 |1620 | 1 | 45k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 434s| 28600 | 128 | 3565k| 114.8 | 146M | 50 |1652 | 12k|2123 |1623 | 0 | 45k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 436s| 28700 | 128 | 3577k| 114.8 | 146M | 50 |1652 | 12k|2124 |1632 | 1 | 45k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
445.91/447.34 c 437s| 28800 | 126 | 3589k| 114.9 | 146M | 50 |1652 | 11k|2124 |1640 | 1 | 45k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 439s| 28900 | 124 | 3603k| 114.9 | 146M | 50 |1652 | 11k|2124 |1641 | 0 | 45k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 440s| 29000 | 126 | 3614k| 114.9 | 146M | 50 |1652 | 11k|2126 |1643 | 1 | 45k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 441s| 29100 | 124 | 3625k| 114.9 | 146M | 50 |1652 | 10k|2123 |1653 | 0 | 45k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 443s| 29200 | 124 | 3635k| 114.8 | 146M | 50 |1652 |9913 |2123 |1655 | 0 | 46k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 444s| 29300 | 126 | 3647k| 114.8 | 146M | 50 |1652 |9395 |2122 |1656 | 0 | 46k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 445s| 29400 | 128 | 3656k| 114.8 | 146M | 50 |1652 |8884 |2122 |1662 | 1 | 46k| 22 | 0.000000e+00 | -- | Inf | unknown
445.91/447.34 c 446s| 29500 | 130 | 3665k| 114.7 | 146M | 50 |1652 |8641 |2122 |1665 | 0 | 46k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 447s| 29600 | 130 | 3676k| 114.7 | 146M | 50 |1652 |8618 |2122 |1667 | 1 | 46k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 448s| 29700 | 128 | 3686k| 114.6 | 146M | 50 |1652 |8724 |2122 |1674 | 0 | 46k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 449s| 29800 | 130 | 3696k| 114.6 | 146M | 50 |1652 |8725 |2122 |1675 | 0 | 46k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 451s| 29900 | 130 | 3705k| 114.5 | 146M | 50 |1652 |8901 |2123 |1683 | 0 | 47k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 452s| 30000 | 128 | 3714k| 114.4 | 146M | 50 |1652 |9109 |2123 |1687 | 0 | 47k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 453s| 30100 | 130 | 3725k| 114.4 | 146M | 50 |1652 |9189 |2123 |1689 | 1 | 47k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 454s| 30200 | 134 | 3736k| 114.4 | 146M | 50 |1652 |9273 |2123 |1696 | 1 | 47k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
498.56/500.16 c 456s| 30300 | 130 | 3749k| 114.5 | 146M | 50 |1652 |9388 |2123 |1704 | 0 | 47k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 457s| 30400 | 128 | 3759k| 114.4 | 146M | 50 |1652 |9653 |2122 |1706 | 1 | 47k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 458s| 30500 | 128 | 3770k| 114.4 | 146M | 50 |1652 |8867 |2123 |1711 | 1 | 48k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 459s| 30600 | 128 | 3780k| 114.4 | 146M | 50 |1652 |8647 |2123 |1720 | 0 | 48k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 461s| 30700 | 132 | 3792k| 114.4 | 146M | 50 |1652 |8656 |2125 |1726 | 0 | 48k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 462s| 30800 | 126 | 3803k| 114.4 | 146M | 50 |1652 |8842 |2124 |1735 | 0 | 48k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 463s| 30900 | 128 | 3817k| 114.4 | 146M | 50 |1652 |8931 |2123 |1738 | 0 | 48k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 465s| 31000 | 128 | 3828k| 114.4 | 146M | 50 |1652 |8074 |2122 |1740 | 1 | 49k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 466s| 31100 | 128 | 3837k| 114.4 | 146M | 50 |1652 |8320 |2123 |1745 | 0 | 49k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 467s| 31200 | 128 | 3845k| 114.3 | 146M | 50 |1652 |8474 |2123 |1745 | 0 | 49k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 468s| 31300 | 130 | 3857k| 114.3 | 146M | 50 |1652 |8792 |2122 |1750 | 1 | 50k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 469s| 31400 | 128 | 3867k| 114.2 | 146M | 50 |1652 |8947 |2122 |1758 | 0 | 50k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 470s| 31500 | 126 | 3878k| 114.2 | 146M | 50 |1652 |8759 |2122 |1765 | 0 | 50k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 472s| 31600 | 124 | 3890k| 114.2 | 146M | 50 |1652 |8520 |2125 |1773 | 1 | 50k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 473s| 31700 | 126 | 3902k| 114.3 | 146M | 50 |1652 |8125 |2123 |1775 | 1 | 50k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
498.56/500.16 c 475s| 31800 | 126 | 3915k| 114.3 | 146M | 50 |1652 |7761 |2123 |1779 | 1 | 50k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 476s| 31900 | 128 | 3926k| 114.3 | 146M | 50 |1652 |7721 |2123 |1783 | 0 | 51k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 477s| 32000 | 128 | 3936k| 114.3 | 146M | 50 |1652 |7782 |2124 |1792 | 1 | 51k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 478s| 32100 | 125 | 3947k| 114.2 | 146M | 50 |1652 |7885 |2124 |1798 | 0 | 51k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 479s| 32200 | 129 | 3957k| 114.2 | 146M | 50 |1652 |7942 |2123 |1802 | 1 | 51k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 480s| 32300 | 125 | 3966k| 114.1 | 146M | 50 |1652 |8153 |2122 |1805 | 0 | 51k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 482s| 32400 | 129 | 3978k| 114.1 | 146M | 50 |1652 |8190 |2123 |1807 | 1 | 51k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 483s| 32500 | 127 | 3988k| 114.1 | 146M | 50 |1652 |8413 |2123 |1810 | 0 | 51k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 484s| 32600 | 125 | 4000k| 114.1 | 146M | 50 |1652 |8516 |2126 |1823 | 0 | 52k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 486s| 32700 | 123 | 4012k| 114.1 | 146M | 50 |1652 |8736 |2126 |1830 | 0 | 52k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 487s| 32800 | 131 | 4022k| 114.1 | 146M | 50 |1652 |8254 |2125 |1846 | 0 | 52k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 488s| 32900 | 132 | 4028k| 113.9 | 146M | 50 |1652 |8447 |2124 |1854 | 1 | 52k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 488s| 33000 | 132 | 4036k| 113.8 | 146M | 50 |1652 |8551 |2124 |1858 | 0 | 52k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 489s| 33100 | 134 | 4045k| 113.8 | 146M | 50 |1652 |8523 |2124 |1866 | 0 | 53k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 490s| 33200 | 128 | 4053k| 113.7 | 146M | 50 |1652 |8589 |2123 |1870 | 0 | 53k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
498.56/500.16 c 491s| 33300 | 132 | 4062k| 113.6 | 146M | 50 |1652 |8658 |2124 |1879 | 0 | 53k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 493s| 33400 | 128 | 4071k| 113.6 | 146M | 50 |1652 |8733 |2123 |1886 | 0 | 53k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 494s| 33500 | 131 | 4084k| 113.6 | 146M | 50 |1652 |8862 |2123 |1893 | 1 | 53k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 495s| 33600 | 130 | 4093k| 113.5 | 146M | 50 |1652 |8922 |2122 |1899 | 1 | 53k| 22 | 0.000000e+00 | -- | Inf | unknown
498.56/500.16 c 496s| 33700 | 132 | 4103k| 113.5 | 146M | 50 |1652 |8818 |2124 |1906 | 1 | 53k| 22 | 0.000000e+00 | -- | Inf | 0.50%
498.56/500.16 c 497s| 33800 | 131 | 4110k| 113.4 | 146M | 50 |1652 |9010 |2124 |1907 | 0 | 54k| 22 | 0.000000e+00 | -- | Inf | 0.50%
498.56/500.16 c 498s| 33900 | 133 | 4119k| 113.3 | 146M | 50 |1652 |9029 |2124 |1914 | 0 | 54k| 22 | 0.000000e+00 | -- | Inf | 0.51%
498.56/500.16 c 499s| 34000 | 135 | 4128k| 113.2 | 146M | 50 |1652 |9156 |2124 |1920 | 1 | 54k| 22 | 0.000000e+00 | -- | Inf | 0.51%
498.56/500.16 c
498.56/500.16 c SCIP Status : solving was interrupted [time limit reached]
498.56/500.16 c Solving Time (sec) : 500.00
498.56/500.16 c Solving Nodes : 34094 (total of 36436 nodes in 2 runs)
498.56/500.16 c Primal Bound : +1.00000000000000e+20 (0 solutions)
498.56/500.16 c Dual Bound : +0.00000000000000e+00
498.56/500.16 c Gap : infinite
498.56/500.16 c ----------------------------------------------------------------------
498.56/500.16 c dual bound: 0.0 -> 0
498.56/500.16 c primal bound: 1e+20 -> 100000000000000000000
498.56/500.16 c scip-goal-lb: 0
498.56/500.16 c scip-goal-ub: 100000000000000000000
498.56/500.16 c writing output to: HOME/tmph5_yrwrb.opb
498.56/500.16 c appending fixed variable constraints
498.56/500.16 c scip-fixed vars: 27.85% (460/1652)
498.56/500.16 c ----------------------------------------------------------------------
498.56/500.16 c executing external solver: HOME/naps-1.03a6
498.56/500.16 c ----------------------------------------------------------------------
498.56/500.16 c command: HOME/naps-1.03a6 HOME/tmph5_yrwrb.opb
498.56/500.16 c NaPS 1.03a6.
498.56/500.16 c Input file name: HOME/tmph5_yrwrb.opb
1414.55/1418.89 c s SATISFIABLE
1414.55/1418.89 c _____________________________________________________________________________
1414.55/1418.89 c std/band forms : 79,0
1414.55/1418.89 c 2cl/3cl ITE-codings : 0,0
1414.55/1418.89 c BDD/srt/adr Max costs : 0,61382,0
1414.55/1418.89 c BDDraw/bin/mul/srt/adr: 0,0,0,79,0
1414.55/1418.89 c BDD nodes : 0
1414.55/1418.89 c Es1/CC detections : 0,0
1414.55/1418.89 c CC sort : 79
1414.55/1418.89 c SAT/UNSAT calls : 1,0
1414.55/1418.89 c regenrated variables : 0
1414.55/1418.89 c eliminated fixed lits : 460
1414.55/1418.89 c goal lit flips : 0
1414.55/1418.89 c goal stages : 0
1414.55/1418.89 c goal shrink : 0
1414.55/1418.89 c goal coeff separations: 0
1414.55/1418.89 c restarts : 372022
1414.55/1418.89 c conflicts : 15174232 (16586 /sec)
1414.55/1418.89 c decisions : 36461114 (39853 /sec)
1414.55/1418.89 c propagations : 2981924948 (3259322 /sec)
1414.55/1418.89 c inspects : 0 (0 /sec)
1414.55/1418.89 c CPU time (solving tm) : 914.9 s (914.8 s, SAT 914.8 s, UNSAT 0 s)
1414.55/1418.89 c Time for Opt-base : 0.000597 s
1414.55/1418.89 c Steps for Opt-base : 0
1414.55/1418.89 c Time for BDD coding : 0 s
1414.55/1418.89 c Time for srt coding : 0.008616 s
1414.55/1418.89 c _____________________________________________________________________________
1414.55/1418.89 c v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 x1340 -x1341 -x1342 -x1343 -x1344 x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 x1568 -x1569 x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 x1632 -x1633 x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 x1676 -x1677 -x1678 -x1679 -x1680 -x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999
1414.55/1418.89 c v -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 x2096 -x2097 -x2098 -x2099 -x2100 x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112
1414.55/1418.90 s SATISFIABLE
1414.55/1418.90 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 x1340 -x1341 -x1342 -x1343 -x1344 x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 x1568 -x1569 x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 x1632 -x1633 x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 x1676 -x1677 -x1678 -x1679 -x1680 -x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999
1414.55/1418.90 v -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 x2096 -x2097 -x2098 -x2099 -x2100 x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112
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 (60607 MiB free)
memory of node 1: 64465 MiB (61176 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530047-1752261246/watcher-4530047-1752261246 -o /tmp/evaluation-result-4530047-1752261246/solver-4530047-1752261246 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1752253388-109747 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530047-1752261246.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
solver pid=112467, runsolver pid=112464
Current StackSize limit: 8192 KiB
[startup+0.100067 s]*
/proc/loadavg: 4.07 4.12 4.10 5/270 112472
/proc/meminfo: memFree=124705396/131250000 swapFree=33010672/33010684
[pid=112467] ppid=112464 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/112467/stat : 112467 (scip-naps-1.00a) S 112464 112467 109737 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 141803270 4292608 768 18446744073709551615 94513769529344 94513770423877 140722229159520 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94513770662928 94513770710672 94513791107072 140722229168539 140722229168638 140722229168638 140722229174242 0
/proc/112467/statm: 1048 768 704 219 0 110 0
[pid=112472] ppid=112467 vsize=1187380 memory=32292 CPUtime=0.07 cores=0,2
/proc/112472/stat : 112472 (python3) R 112467 112467 109737 0 -1 4194304 3812 0 0 0 6 1 0 0 20 0 1 0 141803271 1215877120 8073 18446744073709551615 94773475291136 94773475291513 140727062478656 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94773475302808 94773475303428 94773479604224 140727062481231 140727062481440 140727062481440 140727062487015 0
/proc/112472/statm: 296845 8073 4905 1 0 268867 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1191572 KiB
Current children cumulated memory: 35364 KiB
[startup+0.205769 s]*
/proc/loadavg: 4.07 4.12 4.10 5/270 112472
/proc/meminfo: memFree=124681204/131250000 swapFree=33010672/33010684
[pid=112467] ppid=112464 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/112467/stat : 112467 (scip-naps-1.00a) S 112464 112467 109737 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 141803270 4292608 768 18446744073709551615 94513769529344 94513770423877 140722229159520 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94513770662928 94513770710672 94513791107072 140722229168539 140722229168638 140722229168638 140722229174242 0
/proc/112467/statm: 1048 768 704 219 0 110 0
[pid=112472] ppid=112467 vsize=1214132 memory=66724 CPUtime=0.18 cores=0,2
/proc/112472/stat : 112472 (python3) R 112467 112467 109737 0 -1 4194304 9701 0 0 0 15 3 0 0 20 0 1 0 141803271 1243271168 16681 18446744073709551615 94773475291136 94773475291513 140727062478656 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94773475302808 94773475303428 94773479604224 140727062481231 140727062481440 140727062481440 140727062487015 0
/proc/112472/statm: 303533 16681 7881 1 0 274891 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 1218324 KiB
Current children cumulated memory: 69796 KiB
[startup+0.30569 s]*
/proc/loadavg: 4.07 4.12 4.10 5/270 112472
/proc/meminfo: memFree=124681204/131250000 swapFree=33010672/33010684
[pid=112467] ppid=112464 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/112467/stat : 112467 (scip-naps-1.00a) S 112464 112467 109737 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 141803270 4292608 768 18446744073709551615 94513769529344 94513770423877 140722229159520 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94513770662928 94513770710672 94513791107072 140722229168539 140722229168638 140722229168638 140722229174242 0
/proc/112467/statm: 1048 768 704 219 0 110 0
[pid=112472] ppid=112467 vsize=1215512 memory=67876 CPUtime=0.27 cores=0,2
/proc/112472/stat : 112472 (python3) R 112467 112467 109737 0 -1 4194304 9975 0 0 0 24 3 0 0 20 0 1 0 141803271 1244684288 16969 18446744073709551615 94773475291136 94773475291513 140727062478656 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94773475302808 94773475303428 94773479604224 140727062481231 140727062481440 140727062481440 140727062487015 0
/proc/112472/statm: 303878 16969 7881 1 0 275236 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1219704 KiB
Current children cumulated memory: 70948 KiB
[startup+0.700211 s]
/proc/loadavg: 4.07 4.12 4.10 5/270 112472
/proc/meminfo: memFree=124673140/131250000 swapFree=33010672/33010684
[pid=112467] ppid=112464 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/112467/stat : 112467 (scip-naps-1.00a) S 112464 112467 109737 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 141803270 4292608 768 18446744073709551615 94513769529344 94513770423877 140722229159520 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94513770662928 94513770710672 94513791107072 140722229168539 140722229168638 140722229168638 140722229174242 0
/proc/112467/statm: 1048 768 704 219 0 110 0
[pid=112472] ppid=112467 vsize=1238288 memory=84516 CPUtime=0.65 cores=0,2
/proc/112472/stat : 112472 (python3) R 112467 112467 109737 0 -1 4194304 13953 0 0 0 62 3 0 0 20 0 1 0 141803271 1268006912 21129 18446744073709551615 94773475291136 94773475291513 140727062478656 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94773475302808 94773475303428 94773479604224 140727062481231 140727062481440 140727062481440 140727062487015 0
/proc/112472/statm: 309572 21129 8105 1 0 280930 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1242480 KiB
Current children cumulated memory: 87588 KiB
[startup+1.50021 s]
/proc/loadavg: 4.07 4.11 4.10 5/270 112472
/proc/meminfo: memFree=124657012/131250000 swapFree=33010672/33010684
[pid=112467] ppid=112464 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/112467/stat : 112467 (scip-naps-1.00a) S 112464 112467 109737 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 141803270 4292608 768 18446744073709551615 94513769529344 94513770423877 140722229159520 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94513770662928 94513770710672 94513791107072 140722229168539 140722229168638 140722229168638 140722229174242 0
/proc/112467/statm: 1048 768 704 219 0 110 0
[pid=112472] ppid=112467 vsize=1245288 memory=91300 CPUtime=1.46 cores=0,2
/proc/112472/stat : 112472 (python3) R 112467 112467 109737 0 -1 4194304 15648 0 0 0 142 4 0 0 20 0 1 0 141803271 1275174912 22825 18446744073709551615 94773475291136 94773475291513 140727062478656 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94773475302808 94773475303428 94773479604224 140727062481231 140727062481440 140727062481440 140727062487015 0
/proc/112472/statm: 311322 22825 8105 1 0 282680 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 1249480 KiB
Current children cumulated memory: 94372 KiB
[startup+3.1059 s]
/proc/loadavg: 4.07 4.11 4.10 5/270 112472
/proc/meminfo: memFree=124640904/131250000 swapFree=33010672/33010684
[pid=112467] ppid=112464 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/112467/stat : 112467 (scip-naps-1.00a) S 112464 112467 109737 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 141803270 4292608 768 18446744073709551615 94513769529344 94513770423877 140722229159520 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94513770662928 94513770710672 94513791107072 140722229168539 140722229168638 140722229168638 140722229174242 0
/proc/112467/statm: 1048 768 704 219 0 110 0
[pid=112472] ppid=112467 vsize=1262076 memory=107684 CPUtime=3.06 cores=0,2
/proc/112472/stat : 112472 (python3) R 112467 112467 109737 0 -1 4194304 19748 0 0 0 301 5 0 0 20 0 1 0 141803271 1292365824 26921 18446744073709551615 94773475291136 94773475291513 140727062478656 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94773475302808 94773475303428 94773479604224 140727062481231 140727062481440 140727062481440 140727062487015 0
/proc/112472/statm: 315519 26921 8105 1 0 286877 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1266268 KiB
Current children cumulated memory: 110756 KiB
[startup+6.30018 s]
/proc/loadavg: 4.14 4.13 4.10 5/270 112472
/proc/meminfo: memFree=124625120/131250000 swapFree=33010672/33010684
[pid=112467] ppid=112464 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/112467/stat : 112467 (scip-naps-1.00a) S 112464 112467 109737 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 141803270 4292608 768 18446744073709551615 94513769529344 94513770423877 140722229159520 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94513770662928 94513770710672 94513791107072 140722229168539 140722229168638 140722229168638 140722229174242 0
/proc/112467/statm: 1048 768 704 219 0 110 0
[pid=112472] ppid=112467 vsize=1277544 memory=123172 CPUtime=6.24 cores=0,2
/proc/112472/stat : 112472 (python3) R 112467 112467 109737 0 -1 4194304 23608 0 0 0 618 6 0 0 20 0 1 0 141803271 1308205056 30793 18446744073709551615 94773475291136 94773475291513 140727062478656 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94773475302808 94773475303428 94773479604224 140727062481231 140727062481440 140727062481440 140727062487015 0
/proc/112472/statm: 319386 30793 8105 1 0 290744 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1281736 KiB
Current children cumulated memory: 126244 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.13 4.10 5/270 112473
/proc/meminfo: memFree=124625252/131250000 swapFree=33010672/33010684
[pid=112467] ppid=112464 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/112467/stat : 112467 (scip-naps-1.00a) S 112464 112467 109737 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 141803270 4292608 768 18446744073709551615 94513769529344 94513770423877 140722229159520 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94513770662928 94513770710672 94513791107072 140722229168539 140722229168638 140722229168638 140722229174242 0
/proc/112467/statm: 1048 768 704 219 0 110 0
[pid=112472] ppid=112467 vsize=1282252 memory=127908 CPUtime=12.62 cores=0,2
/proc/112472/stat : 112472 (python3) R 112467 112467 109737 0 -1 4194304 24786 0 0 0 1256 6 0 0 20 0 1 0 141803271 1313026048 31977 18446744073709551615 94773475291136 94773475291513 140727062478656 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94773475302808 94773475303428 94773479604224 140727062481231 140727062481440 140727062481440 140727062487015 0
/proc/112472/statm: 320563 31977 8105 1 0 291921 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1286444 KiB
Current children cumulated memory: 130980 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.12 4.10 5/270 112473
/proc/meminfo: memFree=124614688/131250000 swapFree=33010672/33010684
[pid=112467] ppid=112464 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/112467/stat : 112467 (scip-naps-1.00a) S 112464 112467 109737 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 141803270 4292608 768 18446744073709551615 94513769529344 94513770423877 140722229159520 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94513770662928 94513770710672 94513791107072 140722229168539 140722229168638 140722229168638 140722229174242 0
/proc/112467/statm: 1048 768 704 219 0 110 0
[pid=112472] ppid=112467 vsize=1296484 memory=141888 CPUtime=25.38 cores=0,2
/proc/112472/stat : 112472 (python3) R 112467 112467 109737 0 -1 4194304 36901 0 0 0 2529 9 0 0 20 0 1 0 141803271 1327599616 35472 18446744073709551615 94773475291136 94773475291513 140727062478656 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94773475302808 94773475303428 94773479604224 140727062481231 140727062481440 140727062481440 140727062487015 0
/proc/112472/statm: 324121 35472 8105 1 0 295479 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1300676 KiB
Current children cumulated memory: 144960 KiB
[startup+51.1057 s]
/proc/loadavg: 4.15 4.13 4.10 5/269 112473
/proc/meminfo: memFree=124559044/131250000 swapFree=33010672/33010684
[pid=112467] ppid=112464 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/112467/stat : 112467 (scip-naps-1.00a) S 112464 112467 109737 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 141803270 4292608 768 18446744073709551615 94513769529344 94513770423877 140722229159520 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94513770662928 94513770710672 94513791107072 140722229168539 140722229168638 140722229168638 140722229174242 0
/proc/112467/statm: 1048 768 704 219 0 110 0
[pid=112472] ppid=112467 vsize=1316116 memory=168848 CPUtime=50.91 cores=0,2
/proc/112472/stat : 112472 (python3) R 112467 112467 109737 0 -1 4194304 52574 0 0 0 5080 11 0 0 20 0 1 0 141803271 1347702784 42212 18446744073709551615 94773475291136 94773475291513 140727062478656 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94773475302808 94773475303428 94773479604224 140727062481231 140727062481440 140727062481440 140727062487015 0
/proc/112472/statm: 329029 42212 8105 1 0 300387 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1320308 KiB
Current children cumulated memory: 171920 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/269 112475
/proc/meminfo: memFree=124488628/131250000 swapFree=33010672/33010684
[pid=112467] ppid=112464 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/112467/stat : 112467 (scip-naps-1.00a) S 112464 112467 109737 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 141803270 4292608 768 18446744073709551615 94513769529344 94513770423877 140722229159520 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94513770662928 94513770710672 94513791107072 140722229168539 140722229168638 140722229168638 140722229174242 0
/proc/112467/statm: 1048 768 704 219 0 110 0
[pid=112472] ppid=112467 vsize=1389248 memory=241396 CPUtime=101.94 cores=0,2
/proc/112472/stat : 112472 (python3) R 112467 112467 109737 0 -1 4194304 72349 0 0 0 10179 15 0 0 20 0 1 0 141803271 1422589952 60349 18446744073709551615 94773475291136 94773475291513 140727062478656 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94773475302808 94773475303428 94773479604224 140727062481231 140727062481440 140727062481440 140727062487015 0
/proc/112472/statm: 347312 60349 8105 1 0 318670 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1393440 KiB
Current children cumulated memory: 244468 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/270 112478
/proc/meminfo: memFree=124481080/131250000 swapFree=33010672/33010684
[pid=112467] ppid=112464 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/112467/stat : 112467 (scip-naps-1.00a) S 112464 112467 109737 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 141803270 4292608 768 18446744073709551615 94513769529344 94513770423877 140722229159520 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94513770662928 94513770710672 94513791107072 140722229168539 140722229168638 140722229168638 140722229174242 0
/proc/112467/statm: 1048 768 704 219 0 110 0
[pid=112472] ppid=112467 vsize=1389248 memory=241908 CPUtime=161.75 cores=0,2
/proc/112472/stat : 112472 (python3) R 112467 112467 109737 0 -1 4194304 72355 0 0 0 16159 16 0 0 20 0 1 0 141803271 1422589952 60477 18446744073709551615 94773475291136 94773475291513 140727062478656 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94773475302808 94773475303428 94773479604224 140727062481231 140727062481440 140727062481440 140727062487015 0
/proc/112472/statm: 347312 60477 8105 1 0 318670 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 1393440 KiB
Current children cumulated memory: 244980 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/270 112530
/proc/meminfo: memFree=124338048/131250000 swapFree=33010672/33010684
[pid=112467] ppid=112464 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/112467/stat : 112467 (scip-naps-1.00a) S 112464 112467 109737 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 141803270 4292608 768 18446744073709551615 94513769529344 94513770423877 140722229159520 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94513770662928 94513770710672 94513791107072 140722229168539 140722229168638 140722229168638 140722229174242 0
/proc/112467/statm: 1048 768 704 219 0 110 0
[pid=112472] ppid=112467 vsize=1389248 memory=241908 CPUtime=221.57 cores=0,2
/proc/112472/stat : 112472 (python3) R 112467 112467 109737 0 -1 4194304 72356 0 0 0 22141 16 0 0 20 0 1 0 141803271 1422589952 60477 18446744073709551615 94773475291136 94773475291513 140727062478656 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94773475302808 94773475303428 94773479604224 140727062481231 140727062481440 140727062481440 140727062487015 0
/proc/112472/statm: 347312 60477 8105 1 0 318670 0
Current children cumulated CPU time: 221.57 s
################
# More data... #
################
/proc/112472/statm: 347568 60797 8137 1 0 318926 0
[pid=112540] ppid=112472 vsize=62080 memory=44692 CPUtime=859.59 cores=0,2
/proc/112540/stat : 112540 (naps-1.03a6) R 112472 112540 112540 0 -1 4194304 434846 0 0 0 85846 113 0 0 20 0 1 0 141853286 63569920 11173 18446744073709551615 4198400 7047149 140723363080192 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 23732224 140723363084687 140723363084785 140723363084785 140723363090377 0
/proc/112540/statm: 15520 11173 544 696 0 14681 0
Current children cumulated CPU time: 1358.21 s
Current children cumulated vsize: 1456544 KiB
Current children cumulated memory: 290952 KiB
[startup+1418.95 s]
# the end of solver process 112467 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1413.38 s, system=1.34984 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1382.4 s]
/proc/loadavg: 4.08 4.10 4.09 5/272 112685
/proc/meminfo: memFree=124508468/131250000 swapFree=33010672/33010684
[pid=112467] ppid=112464 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/112467/stat : 112467 (scip-naps-1.00a) S 112464 112467 109737 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 141803270 4292608 768 18446744073709551615 94513769529344 94513770423877 140722229159520 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94513770662928 94513770710672 94513791107072 140722229168539 140722229168638 140722229168638 140722229174242 0
/proc/112467/statm: 1048 768 704 219 0 110 0
[pid=112472] ppid=112467 vsize=1390272 memory=243188 CPUtime=498.62 cores=0,2
/proc/112472/stat : 112472 (python3) S 112467 112467 109737 0 -1 4194304 72977 0 0 0 49843 19 0 0 20 0 1 0 141803271 1423638528 60797 18446744073709551615 94773475291136 94773475291513 140727062478656 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94773475302808 94773475303428 94773479604224 140727062481231 140727062481440 140727062481440 140727062487015 0
/proc/112472/statm: 347568 60797 8137 1 0 318926 0
[pid=112540] ppid=112472 vsize=62080 memory=44052 CPUtime=879.63 cores=0,2
/proc/112540/stat : 112540 (naps-1.03a6) R 112472 112540 112540 0 -1 4194304 436280 0 0 0 87849 114 0 0 20 0 1 0 141853286 63569920 11013 18446744073709551615 4198400 7047149 140723363080192 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 23732224 140723363084687 140723363084785 140723363084785 140723363090377 0
/proc/112540/statm: 15520 11013 544 696 0 14681 0
Current children cumulated CPU time: 1378.25 s
Current children cumulated vsize: 1456544 KiB
Current children cumulated memory: 290312 KiB
[startup+1395.2 s]
/proc/loadavg: 4.14 4.12 4.09 5/272 112685
/proc/meminfo: memFree=124503660/131250000 swapFree=33010672/33010684
[pid=112467] ppid=112464 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/112467/stat : 112467 (scip-naps-1.00a) S 112464 112467 109737 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 141803270 4292608 768 18446744073709551615 94513769529344 94513770423877 140722229159520 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94513770662928 94513770710672 94513791107072 140722229168539 140722229168638 140722229168638 140722229174242 0
/proc/112467/statm: 1048 768 704 219 0 110 0
[pid=112472] ppid=112467 vsize=1390272 memory=243188 CPUtime=498.62 cores=0,2
/proc/112472/stat : 112472 (python3) S 112467 112467 109737 0 -1 4194304 72977 0 0 0 49843 19 0 0 20 0 1 0 141803271 1423638528 60797 18446744073709551615 94773475291136 94773475291513 140727062478656 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94773475302808 94773475303428 94773479604224 140727062481231 140727062481440 140727062481440 140727062487015 0
/proc/112472/statm: 347568 60797 8137 1 0 318926 0
[pid=112540] ppid=112472 vsize=62080 memory=44564 CPUtime=892.4 cores=0,2
/proc/112540/stat : 112540 (naps-1.03a6) R 112472 112540 112540 0 -1 4194304 437128 0 0 0 89126 114 0 0 20 0 1 0 141853286 63569920 11141 18446744073709551615 4198400 7047149 140723363080192 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 23732224 140723363084687 140723363084785 140723363084785 140723363090377 0
/proc/112540/statm: 15520 11141 544 696 0 14681 0
Current children cumulated CPU time: 1391.02 s
Current children cumulated vsize: 1456544 KiB
Current children cumulated memory: 290824 KiB
[startup+1408 s]*
/proc/loadavg: 4.11 4.11 4.09 5/272 112685
/proc/meminfo: memFree=124489016/131250000 swapFree=33010672/33010684
[pid=112467] ppid=112464 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/112467/stat : 112467 (scip-naps-1.00a) S 112464 112467 109737 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 141803270 4292608 768 18446744073709551615 94513769529344 94513770423877 140722229159520 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94513770662928 94513770710672 94513791107072 140722229168539 140722229168638 140722229168638 140722229174242 0
/proc/112467/statm: 1048 768 704 219 0 110 0
[pid=112472] ppid=112467 vsize=1390272 memory=243188 CPUtime=498.62 cores=0,2
/proc/112472/stat : 112472 (python3) S 112467 112467 109737 0 -1 4194304 72977 0 0 0 49843 19 0 0 20 0 1 0 141803271 1423638528 60797 18446744073709551615 94773475291136 94773475291513 140727062478656 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94773475302808 94773475303428 94773479604224 140727062481231 140727062481440 140727062481440 140727062487015 0
/proc/112472/statm: 347568 60797 8137 1 0 318926 0
[pid=112540] ppid=112472 vsize=62080 memory=44948 CPUtime=905.16 cores=0,2
/proc/112540/stat : 112540 (naps-1.03a6) R 112472 112540 112540 0 -1 4194304 437231 0 0 0 90402 114 0 0 20 0 1 0 141853286 63569920 11237 18446744073709551615 4198400 7047149 140723363080192 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 23732224 140723363084687 140723363084785 140723363084785 140723363090377 0
/proc/112540/statm: 15520 11237 544 696 0 14681 0
Current children cumulated CPU time: 1403.78 s
Current children cumulated vsize: 1456544 KiB
Current children cumulated memory: 291208 KiB
[startup+1414.4 s]
/proc/loadavg: 4.10 4.11 4.09 5/272 112685
/proc/meminfo: memFree=124489016/131250000 swapFree=33010672/33010684
[pid=112467] ppid=112464 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/112467/stat : 112467 (scip-naps-1.00a) S 112464 112467 109737 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 141803270 4292608 768 18446744073709551615 94513769529344 94513770423877 140722229159520 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94513770662928 94513770710672 94513791107072 140722229168539 140722229168638 140722229168638 140722229174242 0
/proc/112467/statm: 1048 768 704 219 0 110 0
[pid=112472] ppid=112467 vsize=1390272 memory=243188 CPUtime=498.62 cores=0,2
/proc/112472/stat : 112472 (python3) S 112467 112467 109737 0 -1 4194304 72977 0 0 0 49843 19 0 0 20 0 1 0 141803271 1423638528 60797 18446744073709551615 94773475291136 94773475291513 140727062478656 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94773475302808 94773475303428 94773479604224 140727062481231 140727062481440 140727062481440 140727062487015 0
/proc/112472/statm: 347568 60797 8137 1 0 318926 0
[pid=112540] ppid=112472 vsize=62080 memory=44948 CPUtime=911.54 cores=0,2
/proc/112540/stat : 112540 (naps-1.03a6) R 112472 112540 112540 0 -1 4194304 437231 0 0 0 91040 114 0 0 20 0 1 0 141853286 63569920 11237 18446744073709551615 4198400 7047149 140723363080192 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 23732224 140723363084687 140723363084785 140723363084785 140723363090377 0
/proc/112540/statm: 15520 11237 544 696 0 14681 0
Current children cumulated CPU time: 1410.16 s
Current children cumulated vsize: 1456544 KiB
Current children cumulated memory: 291208 KiB
[startup+1416 s]*
/proc/loadavg: 4.10 4.11 4.09 5/272 112685
/proc/meminfo: memFree=124489016/131250000 swapFree=33010672/33010684
[pid=112467] ppid=112464 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/112467/stat : 112467 (scip-naps-1.00a) S 112464 112467 109737 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 141803270 4292608 768 18446744073709551615 94513769529344 94513770423877 140722229159520 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94513770662928 94513770710672 94513791107072 140722229168539 140722229168638 140722229168638 140722229174242 0
/proc/112467/statm: 1048 768 704 219 0 110 0
[pid=112472] ppid=112467 vsize=1390272 memory=243188 CPUtime=498.62 cores=0,2
/proc/112472/stat : 112472 (python3) S 112467 112467 109737 0 -1 4194304 72977 0 0 0 49843 19 0 0 20 0 1 0 141803271 1423638528 60797 18446744073709551615 94773475291136 94773475291513 140727062478656 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94773475302808 94773475303428 94773479604224 140727062481231 140727062481440 140727062481440 140727062487015 0
/proc/112472/statm: 347568 60797 8137 1 0 318926 0
[pid=112540] ppid=112472 vsize=62080 memory=44948 CPUtime=913.14 cores=0,2
/proc/112540/stat : 112540 (naps-1.03a6) R 112472 112540 112540 0 -1 4194304 437231 0 0 0 91200 114 0 0 20 0 1 0 141853286 63569920 11237 18446744073709551615 4198400 7047149 140723363080192 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 23732224 140723363084687 140723363084785 140723363084785 140723363090377 0
/proc/112540/statm: 15520 11237 544 696 0 14681 0
Current children cumulated CPU time: 1411.76 s
Current children cumulated vsize: 1456544 KiB
Current children cumulated memory: 291208 KiB
[startup+1417.6 s]
/proc/loadavg: 4.09 4.11 4.09 5/272 112685
/proc/meminfo: memFree=124488436/131250000 swapFree=33010672/33010684
[pid=112467] ppid=112464 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/112467/stat : 112467 (scip-naps-1.00a) S 112464 112467 109737 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 141803270 4292608 768 18446744073709551615 94513769529344 94513770423877 140722229159520 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94513770662928 94513770710672 94513791107072 140722229168539 140722229168638 140722229168638 140722229174242 0
/proc/112467/statm: 1048 768 704 219 0 110 0
[pid=112472] ppid=112467 vsize=1390272 memory=243188 CPUtime=498.62 cores=0,2
/proc/112472/stat : 112472 (python3) S 112467 112467 109737 0 -1 4194304 72977 0 0 0 49843 19 0 0 20 0 1 0 141803271 1423638528 60797 18446744073709551615 94773475291136 94773475291513 140727062478656 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94773475302808 94773475303428 94773479604224 140727062481231 140727062481440 140727062481440 140727062487015 0
/proc/112472/statm: 347568 60797 8137 1 0 318926 0
[pid=112540] ppid=112472 vsize=62080 memory=44948 CPUtime=914.73 cores=0,2
/proc/112540/stat : 112540 (naps-1.03a6) R 112472 112540 112540 0 -1 4194304 437231 0 0 0 91359 114 0 0 20 0 1 0 141853286 63569920 11237 18446744073709551615 4198400 7047149 140723363080192 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 23732224 140723363084687 140723363084785 140723363084785 140723363090377 0
/proc/112540/statm: 15520 11237 544 696 0 14681 0
Current children cumulated CPU time: 1413.35 s
Current children cumulated vsize: 1456544 KiB
Current children cumulated memory: 291208 KiB
[startup+1418.4 s]
/proc/loadavg: 4.09 4.11 4.09 5/272 112686
/proc/meminfo: memFree=124488480/131250000 swapFree=33010672/33010684
[pid=112467] ppid=112464 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/112467/stat : 112467 (scip-naps-1.00a) S 112464 112467 109737 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 141803270 4292608 768 18446744073709551615 94513769529344 94513770423877 140722229159520 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94513770662928 94513770710672 94513791107072 140722229168539 140722229168638 140722229168638 140722229174242 0
/proc/112467/statm: 1048 768 704 219 0 110 0
[pid=112472] ppid=112467 vsize=1390272 memory=243188 CPUtime=498.62 cores=0,2
/proc/112472/stat : 112472 (python3) S 112467 112467 109737 0 -1 4194304 72977 0 0 0 49843 19 0 0 20 0 1 0 141803271 1423638528 60797 18446744073709551615 94773475291136 94773475291513 140727062478656 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94773475302808 94773475303428 94773479604224 140727062481231 140727062481440 140727062481440 140727062487015 0
/proc/112472/statm: 347568 60797 8137 1 0 318926 0
[pid=112540] ppid=112472 vsize=62080 memory=44948 CPUtime=915.53 cores=0,2
/proc/112540/stat : 112540 (naps-1.03a6) R 112472 112540 112540 0 -1 4194304 437231 0 0 0 91439 114 0 0 20 0 1 0 141853286 63569920 11237 18446744073709551615 4198400 7047149 140723363080192 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 23732224 140723363084687 140723363084785 140723363084785 140723363090377 0
/proc/112540/statm: 15520 11237 544 696 0 14681 0
Current children cumulated CPU time: 1414.15 s
Current children cumulated vsize: 1456544 KiB
Current children cumulated memory: 291208 KiB
[startup+1418.8 s]
/proc/loadavg: 4.09 4.11 4.09 5/272 112686
/proc/meminfo: memFree=124488480/131250000 swapFree=33010672/33010684
[pid=112467] ppid=112464 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/112467/stat : 112467 (scip-naps-1.00a) S 112464 112467 109737 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 141803270 4292608 768 18446744073709551615 94513769529344 94513770423877 140722229159520 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94513770662928 94513770710672 94513791107072 140722229168539 140722229168638 140722229168638 140722229174242 0
/proc/112467/statm: 1048 768 704 219 0 110 0
[pid=112472] ppid=112467 vsize=1390272 memory=243188 CPUtime=498.62 cores=0,2
/proc/112472/stat : 112472 (python3) S 112467 112467 109737 0 -1 4194304 72977 0 0 0 49843 19 0 0 20 0 1 0 141803271 1423638528 60797 18446744073709551615 94773475291136 94773475291513 140727062478656 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94773475302808 94773475303428 94773479604224 140727062481231 140727062481440 140727062481440 140727062487015 0
/proc/112472/statm: 347568 60797 8137 1 0 318926 0
[pid=112540] ppid=112472 vsize=62080 memory=44948 CPUtime=915.93 cores=0,2
/proc/112540/stat : 112540 (naps-1.03a6) R 112472 112540 112540 0 -1 4194304 437231 0 0 0 91479 114 0 0 20 0 1 0 141853286 63569920 11237 18446744073709551615 4198400 7047149 140723363080192 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 23732224 140723363084687 140723363084785 140723363084785 140723363090377 0
/proc/112540/statm: 15520 11237 544 696 0 14681 0
Current children cumulated CPU time: 1414.55 s
Current children cumulated vsize: 1456544 KiB
Current children cumulated memory: 291208 KiB
[startup+1418.91 s]
/proc/loadavg: 4.09 4.11 4.09 5/272 112686
/proc/meminfo: memFree=124488480/131250000 swapFree=33010672/33010684
[pid=112467] ppid=112464 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/112467/stat : 112467 (scip-naps-1.00a) S 112464 112467 109737 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 141803270 4292608 768 18446744073709551615 94513769529344 94513770423877 140722229159520 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94513770662928 94513770710672 94513791107072 140722229168539 140722229168638 140722229168638 140722229174242 0
/proc/112467/statm: 1048 768 704 219 0 110 0
[pid=112472] ppid=112467 vsize=1390272 memory=243188 CPUtime=1414.66 cores=0,2
/proc/112472/stat : 112472 (python3) R 112467 112467 109737 0 -1 4194304 73194 437233 0 0 49844 19 91489 114 20 0 1 0 141803271 1423638528 60797 18446744073709551615 94773475291136 94773475291513 140727062478656 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94773475302808 94773475303428 94773479604224 140727062481231 140727062481440 140727062481440 140727062487015 0
/proc/112472/statm: 347568 60797 8137 1 0 318926 0
Current children cumulated CPU time: 1414.66 s
Current children cumulated vsize: 1394464 KiB
Current children cumulated memory: 246260 KiB
Child status: 0
Real time (s): 1418.95
CPU time (s): 1414.73
CPU user time (s): 1413.38
CPU system time (s): 1.34984
CPU usage (%): 99.7025
Max. virtual memory (cumulated for all children) (KiB): 1461016
Max. memory (cumulated for all children) (KiB): 297372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1413.38
system time used= 1.34984
maximum resident set size= 243984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 513626
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 393
involuntary context switches= 3158
# summary of solver processes directly reported to runsolver:
# pid: 112467
# total CPU time (s): 1414.73
# total CPU user time (s): 1413.38
# total CPU system time (s): 1.34984
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.92765 second user time and 6.34896 second system time
The end