0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.07 c Default LC presolving (default).
0.00/0.07 c ** Before presolving: virtualMemUsedAtLc = 66712528, getVmSize() = 64004096, SCIPgetMemUsed() = 36365004, SCIPgetMemTotal() = 40799772, SCIPgetMemExternEstim() = 25912756
0.00/0.07 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.30/0.35 c ** Estimated virtualMemUsedAtSolver = 67710415, getVmSize() = 102952960, SCIPgetMemUsed() = 41601115, SCIPgetMemTotal() = 75652867, SCIPgetMemExternEstim() = 25912756
0.30/0.35 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.30/0.35 c Original Problem :
0.30/0.35 c Problem name : instance-4464080-1722382193
0.30/0.35 c Variables : 6076 (6076 binary, 0 integer, 0 implicit integer, 0 continuous)
0.30/0.35 c Constraints : 21401
0.30/0.35 c Objective sense : minimize
0.30/0.35 c Presolved Problem :
0.30/0.35 c Variables : 5337 (5337 binary, 0 integer, 0 implicit integer, 0 continuous)
0.30/0.35 c Constraints : 5278
0.30/0.35 c Constraints : Number
0.30/0.35 c knapsack : 1
0.30/0.35 c setppc : 596
0.30/0.35 c and : 4676
0.30/0.35 c logicor : 5
0.30/0.35 c ** Instance transfer method used: 0
0.30/0.36 c ** ParaScipInstance copy does not increase the number of variables. **
0.30/0.38 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.30/0.38 c Nodes Active
0.30/0.38 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.78/0.86 c * 1 0 1 1 28.0000 - -
22.89/23.07 c * 23 0 1 1 26.0000 - -
22.89/23.07 c 23 0 1 1 26.0000 - -
29.47/29.65 c 30 3 2 1 26.0000 11.4952 126.18%
36.75/36.94 c 37 5 4 1 26.0000 11.5133 125.82%
44.63/44.84 c 45 7 6 1 26.0000 11.5133 125.82%
63.48/63.73 c 64 8 7 1 26.0000 11.6073 124.00%
71.45/71.71 c 72 9 8 1 26.0000 11.6073 124.00%
76.84/77.17 c 77 10 9 1 26.0000 11.6073 124.00%
96.19/96.54 c 97 12 11 1 26.0000 11.6389 123.39%
104.77/105.15 c 105 13 12 1 26.0000 11.6389 123.39%
112.05/112.50 c 112 15 14 1 26.0000 11.6389 123.39%
131.39/131.88 c 132 16 15 1 26.0000 11.6389 123.39%
138.08/138.52 c 139 17 16 1 26.0000 11.6389 123.39%
146.06/146.56 c 147 19 18 1 26.0000 11.6389 123.39%
165.00/165.54 c 166 21 20 1 26.0000 11.6389 123.39%
173.17/173.76 c 174 22 21 1 26.0000 11.6389 123.39%
180.25/180.89 c 181 23 22 1 26.0000 11.6389 123.39%
185.74/186.32 c 186 24 23 1 26.0000 11.6389 123.39%
191.91/192.56 c 193 25 24 1 26.0000 11.6389 123.39%
202.38/203.02 c 203 27 26 1 26.0000 11.6389 123.39%
208.26/208.98 c 209 28 27 1 26.0000 11.6389 123.39%
217.23/217.96 c 218 30 29 1 26.0000 11.6389 123.39%
223.41/224.13 c 224 31 30 1 26.0000 11.6389 123.39%
263.88/264.76 c 265 32 31 1 26.0000 11.6389 123.39%
269.17/270.06 c 270 33 32 1 26.0000 11.6389 123.39%
277.63/278.57 c 279 34 33 1 26.0000 11.6389 123.39%
288.20/289.13 c 289 35 34 1 26.0000 11.6389 123.39%
293.68/294.65 c 295 36 35 1 26.0000 11.6389 123.39%
300.95/301.92 c 302 37 36 1 26.0000 11.6389 123.39%
306.53/307.56 c 308 38 37 1 26.0000 11.6389 123.39%
311.82/312.89 c 313 39 38 1 26.0000 11.6389 123.39%
319.60/320.66 c 321 41 40 1 26.0000 11.6389 123.39%
339.23/340.31 c 340 44 43 1 26.0000 11.6389 123.39%
346.21/347.37 c 347 46 45 1 26.0000 11.6389 123.39%
357.07/358.25 c 358 48 47 1 26.0000 11.6389 123.39%
365.44/366.64 c 367 50 49 1 26.0000 11.6389 123.39%
373.41/374.65 c 375 52 51 1 26.0000 11.6389 123.39%
381.68/382.91 c 383 54 53 1 26.0000 11.6389 123.39%
398.23/399.52 c 400 56 55 1 26.0000 11.6389 123.39%
415.58/416.96 c 417 57 56 1 26.0000 11.6389 123.39%
423.95/425.36 c 425 58 57 1 26.0000 11.6389 123.39%
433.62/435.00 c 435 60 59 1 26.0000 11.6389 123.39%
441.19/442.65 c 443 63 62 1 26.0000 11.6389 123.39%
447.37/448.84 c 449 66 65 1 26.0000 11.6389 123.39%
462.93/464.43 c 464 68 67 1 26.0000 11.6389 123.39%
476.68/478.24 c 478 70 69 1 26.0000 11.6389 123.39%
483.46/485.09 c 485 72 71 1 26.0000 11.6389 123.39%
489.44/491.07 c 491 77 76 1 26.0000 11.6389 123.39%
497.81/499.44 c 499 79 78 1 26.0000 11.6389 123.39%
528.42/530.19 c 530 80 79 1 26.0000 11.6389 123.39%
536.79/538.54 c 539 81 80 1 26.0000 11.6389 123.39%
542.47/544.29 c 544 82 81 1 26.0000 11.6389 123.39%
553.34/555.11 c 555 83 82 1 26.0000 11.6389 123.39%
561.01/562.82 c 563 87 86 1 26.0000 11.6389 123.39%
569.38/571.25 c 571 91 90 1 26.0000 11.6389 123.39%
588.32/590.22 c 590 92 91 1 26.0000 11.6393 123.38%
598.39/600.36 c 600 93 92 1 26.0000 11.6393 123.38%
604.17/606.13 c 606 94 93 1 26.0000 11.6393 123.38%
633.98/636.02 c 636 96 95 1 26.0000 11.6393 123.38%
639.86/641.97 c 642 97 96 1 26.0000 11.6393 123.38%
646.34/648.45 c 648 98 97 1 26.0000 11.6393 123.38%
654.71/656.82 c 657 99 98 1 26.0000 11.6393 123.38%
661.39/663.55 c 664 100 99 1 26.0000 11.6393 123.38%
669.06/671.24 c 671 102 101 1 26.0000 11.6393 123.38%
675.14/677.40 c 677 103 102 1 26.0000 11.6393 123.38%
689.91/692.11 c 692 104 103 1 26.0000 11.7817 120.68%
700.37/702.61 c 703 106 105 1 26.0000 11.7817 120.68%
709.15/711.40 c 711 108 107 1 26.0000 11.7817 120.68%
714.43/716.75 c 717 110 109 1 26.0000 11.7817 120.68%
726.00/728.31 c 728 111 110 1 26.0000 11.7817 120.68%
732.38/734.79 c 735 112 111 1 26.0000 11.7817 120.68%
739.46/741.81 c 742 114 113 1 26.0000 11.7817 120.68%
753.72/756.16 c 756 116 115 1 26.0000 11.7817 120.68%
762.61/765.03 c 765 117 116 1 26.0000 11.7817 120.68%
813.76/816.39 c 816 119 118 1 26.0000 11.7817 120.68%
821.04/823.60 c 824 120 119 1 26.0000 11.7817 120.68%
829.11/831.78 c 832 121 120 1 26.0000 11.7817 120.68%
834.50/837.17 c 837 122 121 1 26.0000 11.7817 120.68%
841.88/844.53 c 845 123 122 1 26.0000 11.7817 120.68%
848.47/851.17 c 851 124 123 1 26.0000 11.7817 120.68%
853.95/856.68 c 857 125 124 1 26.0000 11.7817 120.68%
861.83/864.50 c 864 127 126 1 26.0000 11.7817 120.68%
883.87/886.64 c 887 128 127 1 26.0000 11.7817 120.68%
890.65/893.48 c 893 129 128 1 26.0000 11.7817 120.68%
898.73/901.54 c 902 130 129 1 26.0000 11.7817 120.68%
905.02/907.88 c 908 131 130 1 26.0000 11.7817 120.68%
911.80/914.61 c 915 132 131 1 26.0000 11.7817 120.68%
920.58/923.49 c 923 133 132 1 26.0000 11.7817 120.68%
929.26/932.17 c 932 135 134 1 26.0000 11.7817 120.68%
968.36/971.33 c 971 136 135 1 26.0000 11.7817 120.68%
974.05/977.03 c 977 137 136 1 26.0000 11.7817 120.68%
979.83/982.80 c 983 138 137 1 26.0000 11.7817 120.68%
985.22/988.28 c 988 139 138 1 26.0000 11.7817 120.68%
994.89/997.95 c 998 140 139 1 26.0000 11.7817 120.68%
1002.37/1005.49 c 1005 141 140 1 26.0000 11.7817 120.68%
1017.94/1021.06 c 1021 142 141 1 26.0000 11.7817 120.68%
1023.93/1027.04 c 1027 143 142 1 26.0000 11.7817 120.68%
1057.54/1060.77 c 1061 145 144 1 26.0000 11.7817 120.68%
1071.20/1074.41 c 1074 147 146 1 26.0000 11.7817 120.68%
1076.89/1080.18 c 1080 148 147 1 26.0000 11.7817 120.68%
1085.77/1089.00 c 1089 150 149 1 26.0000 11.7817 120.68%
1091.55/1094.86 c 1095 151 150 1 26.0000 11.7817 120.68%
1108.20/1111.54 c 1112 152 151 1 26.0000 11.7852 120.62%
1113.79/1117.16 c 1117 153 152 1 26.0000 11.7852 120.62%
1123.26/1126.65 c 1127 155 154 1 26.0000 11.7852 120.62%
1165.16/1168.67 c 1169 158 157 1 26.0000 11.7852 120.62%
1172.94/1176.47 c 1176 159 158 1 26.0000 11.7852 120.62%
1179.52/1183.10 c 1183 160 159 1 26.0000 11.7852 120.62%
1185.90/1189.43 c 1189 161 160 1 26.0000 11.7852 120.62%
1195.88/1199.45 c 1199 162 161 1 26.0000 11.7852 120.62%
1214.13/1217.76 c 1218 164 163 1 26.0000 11.7939 120.45%
1220.52/1224.11 c 1224 165 164 1 26.0000 11.7939 120.45%
1225.70/1229.34 c 1229 166 165 1 26.0000 11.7939 120.45%
1234.38/1238.03 c 1238 168 167 1 26.0000 11.7939 120.45%
1268.20/1271.94 c 1272 169 168 1 26.0000 11.7939 120.45%
1273.89/1277.61 c 1278 170 169 1 26.0000 11.7939 120.45%
1281.07/1284.87 c 1285 171 170 1 26.0000 11.7939 120.45%
1291.64/1295.40 c 1295 173 172 1 26.0000 11.7939 120.45%
1299.82/1303.68 c 1304 175 174 1 26.0000 11.7939 120.45%
1321.07/1324.95 c 1325 176 175 1 26.0000 11.7939 120.45%
1328.25/1332.13 c 1332 177 176 1 26.0000 11.7939 120.45%
1333.53/1337.46 c 1337 178 177 1 26.0000 11.7939 120.45%
1345.40/1349.31 c 1349 180 179 1 26.0000 11.7939 120.45%
1352.99/1356.93 c 1357 182 181 1 26.0000 11.7939 120.45%
1399.77/1403.88 c 1404 183 182 1 26.0000 11.7939 120.45%
1406.65/1410.70 c 1411 184 183 1 26.0000 11.7939 120.45%
1415.53/1419.64 c 1420 185 184 1 26.0000 11.7939 120.45%
1422.02/1426.19 c 1426 186 185 1 26.0000 11.7939 120.45%
1429.59/1433.70 c 1434 187 186 1 26.0000 11.7939 120.45%
1439.07/1443.23 c 1443 188 187 1 26.0000 11.7939 120.45%
1446.05/1450.24 c 1450 189 188 1 26.0000 11.7939 120.45%
1451.24/1455.47 c 1455 191 190 1 26.0000 11.7939 120.45%
1476.98/1481.28 c 1481 192 191 1 26.0000 11.7939 120.45%
1499.12/1503.42 c 1503 193 192 1 26.0000 11.7939 120.45%
1510.99/1515.38 c 1515 194 193 1 26.0000 11.7939 120.45%
1522.96/1527.33 c 1527 196 195 1 26.0000 11.7939 120.45%
1529.14/1533.52 c 1534 197 196 1 26.0000 11.7939 120.45%
1534.63/1539.08 c 1539 199 198 1 26.0000 11.7939 120.45%
1548.50/1552.95 c 1553 201 202 1 26.0000 11.8076 120.20%
1555.48/1559.95 c 1560 201 202 1 26.0000 11.8076 120.20%
1560.86/1565.34 c 1565 203 202 1 26.0000 11.8076 120.20%
1566.15/1570.65 c 1571 205 204 1 26.0000 11.8076 120.20%
1629.99/1634.67 c 1635 206 205 1 26.0000 11.8076 120.20%
1638.67/1643.38 c 1643 207 206 1 26.0000 11.8076 120.20%
1653.23/1657.90 c 1658 208 207 1 26.0000 11.8076 120.20%
1661.42/1666.16 c 1666 209 208 1 26.0000 11.8076 120.20%
1668.70/1673.43 c 1673 210 209 1 26.0000 11.8076 120.20%
1675.38/1680.19 c 1680 211 210 1 26.0000 11.8076 120.20%
1683.46/1688.22 c 1688 212 211 1 26.0000 11.8076 120.20%
1693.13/1697.92 c 1698 213 212 1 26.0000 11.8076 120.20%
1698.12/1702.97 c 1703 214 213 1 26.0000 11.8076 120.20%
1729.25/1734.11 c 1734 215 214 1 26.0000 11.8076 120.20%
1746.60/1751.54 c 1752 216 215 1 26.0000 11.8076 120.20%
1759.56/1764.51 c 1765 217 216 1 26.0000 11.8076 120.20%
1807.84/1812.97 c 1813 218 217 1 26.0000 11.8076 120.20%
1816.32/1821.45 c 1821 219 218 1 26.0000 11.8076 120.20%
1825.10/1830.25 c 1830 220 219 1 26.0000 11.8076 120.20%
1833.78/1838.92 c 1839 221 220 1 26.0000 11.8076 120.20%
1842.96/1848.19 c 1848 222 221 1 26.0000 11.8076 120.20%
1848.34/1853.53 c 1854 223 222 1 26.0000 11.8076 120.20%
1858.42/1863.62 c 1864 224 223 1 26.0000 11.8076 120.20%
1866.70/1871.94 c 1872 226 225 1 26.0000 11.8076 120.20%
1872.48/1877.79 c 1878 227 226 1 26.0000 11.8076 120.20%
1878.46/1883.71 c 1884 228 227 1 26.0000 11.8076 120.20%
1884.64/1889.98 c 1890 229 228 1 26.0000 11.8076 120.20%
1894.22/1899.54 c 1900 230 229 1 26.0000 11.8291 119.80%
1902.90/1908.24 c 1908 231 230 1 26.0000 11.8291 119.80%
1920.35/1925.74 c 1926 232 231 1 26.0000 11.8291 119.80%
1931.13/1936.59 c 1937 233 232 1 26.0000 11.8291 119.80%
1939.11/1944.56 c 1945 234 233 1 26.0000 11.8291 119.80%
1967.94/1973.43 c 1973 235 234 1 26.0000 11.8291 119.80%
1975.42/1980.96 c 1981 236 235 1 26.0000 11.8291 119.80%
1984.00/1989.55 c 1990 237 236 1 26.0000 11.8291 119.80%
1989.88/1995.42 c 1995 238 237 1 26.0000 11.8291 119.80%
1996.86/2002.44 c 2002 239 238 1 26.0000 11.8291 119.80%
2004.64/2010.23 c 2010 240 239 1 26.0000 11.8291 119.80%
2014.72/2020.39 c 2020 241 240 1 26.0000 11.8291 119.80%
2027.09/2032.72 c 2033 243 242 1 26.0000 11.8291 119.80%
2033.47/2039.13 c 2039 244 243 1 26.0000 11.8291 119.80%
2043.04/2048.73 c 2049 245 244 1 26.0000 11.8291 119.80%
2049.63/2055.38 c 2055 246 245 1 26.0000 11.8291 119.80%
2061.30/2067.09 c 2067 247 246 1 26.0000 11.8291 119.80%
2068.18/2073.94 c 2074 249 248 1 26.0000 11.8291 119.80%
2073.86/2079.67 c 2080 252 251 1 26.0000 11.8291 119.80%
2084.54/2090.34 c 2090 253 252 1 26.0000 11.8291 119.80%
2090.72/2096.58 c 2097 255 254 1 26.0000 11.8291 119.80%
2098.31/2104.17 c 2104 257 258 1 26.0000 11.8291 119.80%
2103.89/2109.74 c 2110 260 259 1 26.0000 11.8291 119.80%
2115.06/2120.95 c 2121 261 260 1 26.0000 11.8475 119.46%
2153.56/2159.52 c 2160 262 261 1 26.0000 11.8475 119.46%
2171.12/2177.13 c 2177 263 262 1 26.0000 11.8475 119.46%
2177.11/2183.12 c 2183 264 263 1 26.0000 11.8475 119.46%
2193.86/2199.97 c 2200 265 264 1 26.0000 11.8475 119.46%
2204.93/2211.00 c 2211 267 266 1 26.0000 11.8475 119.46%
2212.11/2218.26 c 2218 268 267 1 26.0000 11.8475 119.46%
2219.59/2225.76 c 2226 269 268 1 26.0000 11.8475 119.46%
2226.07/2232.27 c 2232 271 270 1 26.0000 11.8475 119.46%
2234.96/2241.15 c 2241 277 276 1 26.0000 11.8475 119.46%
2247.02/2253.23 c 2253 278 277 1 26.0000 11.8475 119.46%
2255.90/2262.16 c 2262 280 279 1 26.0000 11.8475 119.46%
2264.38/2270.70 c 2271 281 280 1 26.0000 11.8475 119.46%
2271.66/2277.95 c 2278 283 282 1 26.0000 11.8475 119.46%
2277.05/2283.39 c 2283 284 283 1 26.0000 11.8475 119.46%
2293.01/2299.30 c 2299 285 284 1 26.0000 11.8475 119.46%
2300.39/2306.71 c 2307 287 286 1 26.0000 11.8475 119.46%
2307.27/2313.62 c 2314 289 288 1 26.0000 11.8475 119.46%
2344.47/2350.92 c 2351 292 291 1 26.0000 11.8475 119.46%
2353.35/2359.81 c 2360 293 292 1 26.0000 11.8475 119.46%
2363.63/2370.16 c 2370 294 293 1 26.0000 11.8475 119.46%
2379.49/2386.01 c 2386 296 295 1 26.0000 11.8475 119.46%
2390.25/2396.80 c 2397 300 299 1 26.0000 11.8475 119.46%
2405.42/2412.07 c 2412 301 300 1 26.0000 11.8475 119.46%
2411.80/2418.45 c 2418 302 301 1 26.0000 11.8475 119.46%
2417.39/2424.08 c 2424 303 302 1 26.0000 11.8475 119.46%
2440.93/2447.61 c 2448 305 304 1 26.0000 11.8475 119.46%
2456.40/2463.17 c 2463 306 305 1 26.0000 11.8475 119.46%
2466.17/2472.94 c 2473 308 307 1 26.0000 11.8475 119.46%
2472.15/2478.91 c 2479 309 308 1 26.0000 11.8475 119.46%
2477.25/2484.01 c 2484 312 311 1 26.0000 11.8475 119.46%
2486.12/2492.96 c 2493 315 314 1 26.0000 11.8475 119.46%
2497.09/2503.90 c 2504 317 316 1 26.0000 11.8475 119.46%
2506.96/2513.89 c 2514 318 317 1 26.0000 11.8475 119.46%
2513.75/2520.61 c 2521 321 320 1 26.0000 11.8475 119.46%
2519.33/2526.28 c 2526 325 324 1 26.0000 11.8475 119.46%
2527.12/2534.03 c 2534 329 328 1 26.0000 11.8475 119.46%
2558.24/2565.20 c 2565 334 333 1 26.0000 11.8475 119.46%
2573.11/2580.18 c 2580 335 334 1 26.0000 11.8475 119.46%
2605.72/2612.85 c 2613 337 336 1 26.0000 11.8475 119.46%
2611.51/2618.66 c 2619 338 337 1 26.0000 11.8475 119.46%
2620.78/2627.97 c 2628 339 338 1 26.0000 11.8475 119.46%
2627.76/2634.94 c 2635 340 339 1 26.0000 11.8475 119.46%
2635.15/2642.39 c 2642 341 340 1 26.0000 11.8475 119.46%
2641.73/2648.90 c 2649 342 341 1 26.0000 11.8475 119.46%
2646.92/2654.17 c 2654 343 342 1 26.0000 11.8475 119.46%
2652.00/2659.27 c 2659 345 344 1 26.0000 11.8475 119.46%
2661.68/2668.96 c 2669 347 346 1 26.0000 11.8475 119.46%
2678.14/2685.43 c 2685 350 349 1 26.0000 11.8475 119.46%
2689.21/2696.57 c 2697 352 351 1 26.0000 11.8475 119.46%
2703.06/2710.46 c 2710 353 352 1 26.0000 11.8475 119.46%
2710.85/2718.20 c 2718 355 354 1 26.0000 11.8475 119.46%
2718.73/2726.17 c 2726 357 356 1 26.0000 11.8475 119.46%
2764.49/2772.08 c 2772 359 358 1 26.0000 11.8475 119.46%
2770.47/2778.08 c 2778 360 359 1 26.0000 11.8475 119.46%
2778.34/2785.97 c 2786 361 360 1 26.0000 11.8475 119.46%
2785.71/2793.34 c 2793 362 361 1 26.0000 11.8475 119.46%
2792.10/2799.74 c 2800 363 362 1 26.0000 11.8475 119.46%
2800.57/2808.28 c 2808 364 363 1 26.0000 11.8475 119.46%
2808.15/2815.81 c 2816 366 365 1 26.0000 11.8475 119.46%
2814.13/2821.88 c 2822 369 368 1 26.0000 11.8475 119.46%
2829.29/2837.02 c 2837 370 369 1 26.0000 11.8531 119.35%
2837.27/2845.07 c 2845 371 370 1 26.0000 11.8531 119.35%
2849.12/2856.97 c 2857 372 371 1 26.0000 11.8531 119.35%
2859.39/2867.20 c 2867 373 372 1 26.0000 11.8531 119.35%
2874.55/2882.48 c 2882 375 374 1 26.0000 11.9156 118.20%
2879.63/2887.54 c 2888 376 375 1 26.0000 11.9156 118.20%
2885.91/2893.83 c 2894 377 376 1 26.0000 11.9156 118.20%
2893.99/2901.93 c 2902 379 378 1 26.0000 11.9156 118.20%
2905.55/2913.50 c 2914 381 380 1 26.0000 11.9156 118.20%
2911.43/2919.46 c 2919 385 384 1 26.0000 11.9156 118.20%
2916.72/2924.79 c 2925 388 387 1 26.0000 11.9156 118.20%
2922.70/2930.77 c 2931 392 391 1 26.0000 11.9156 118.20%
2934.46/2942.51 c 2943 393 392 1 26.0000 11.9156 118.20%
2942.34/2950.44 c 2950 395 394 1 26.0000 11.9156 118.20%
2947.42/2955.58 c 2956 397 396 1 26.0000 11.9156 118.20%
2977.43/2985.68 c 2986 398 397 1 26.0000 11.9156 118.20%
2984.82/2993.02 c 2993 399 398 1 26.0000 11.9156 118.20%
2991.99/3000.26 c 3000 400 399 1 26.0000 11.9156 118.20%
2999.57/3007.87 c 3008 402 401 1 26.0000 11.9156 118.20%
3006.64/3014.98 c 3015 405 404 1 26.0000 11.9156 118.20%
3012.12/3020.46 c 3020 408 407 1 26.0000 11.9156 118.20%
3021.20/3029.50 c 3030 410 409 1 26.0000 11.9156 118.20%
3032.56/3040.93 c 3041 411 410 1 26.0000 11.9156 118.20%
3041.43/3049.87 c 3050 412 411 1 26.0000 11.9156 118.20%
3054.39/3062.89 c 3063 413 412 1 26.0000 11.9156 118.20%
3061.57/3070.08 c 3070 414 413 1 26.0000 11.9156 118.20%
3074.83/3083.31 c 3083 415 414 1 26.0000 11.9156 118.20%
3082.10/3090.67 c 3091 416 415 1 26.0000 11.9156 118.20%
3088.19/3096.79 c 3097 417 416 1 26.0000 11.9156 118.20%
3097.46/3106.03 c 3106 418 417 1 26.0000 11.9156 118.20%
3141.62/3150.37 c 3150 419 418 1 26.0000 11.9156 118.20%
3150.00/3158.79 c 3159 420 419 1 26.0000 11.9156 118.20%
3157.87/3166.66 c 3167 421 420 1 26.0000 11.9156 118.20%
3172.23/3181.06 c 3181 423 422 1 26.0000 11.9156 118.20%
3178.21/3187.06 c 3187 424 423 1 26.0000 11.9156 118.20%
3183.89/3192.75 c 3193 425 424 1 26.0000 11.9156 118.20%
3190.07/3198.90 c 3199 428 427 1 26.0000 11.9156 118.20%
3196.85/3205.72 c 3206 429 428 1 26.0000 11.9156 118.20%
3202.24/3211.17 c 3211 430 429 1 26.0000 11.9156 118.20%
3207.42/3216.35 c 3216 433 432 1 26.0000 11.9156 118.20%
3227.46/3236.40 c 3236 435 434 1 26.0000 11.9156 118.20%
3232.44/3241.48 c 3241 436 435 1 26.0000 11.9156 118.20%
3241.62/3250.64 c 3251 439 438 1 26.0000 11.9156 118.20%
3272.42/3281.52 c 3282 440 439 1 26.0000 11.9156 118.20%
3280.30/3289.46 c 3289 441 440 1 26.0000 11.9156 118.20%
3288.17/3297.31 c 3297 442 441 1 26.0000 11.9156 118.20%
3297.35/3306.51 c 3307 443 442 1 26.0000 11.9156 118.20%
3305.83/3315.06 c 3315 445 444 1 26.0000 11.9156 118.20%
3311.41/3320.66 c 3321 447 446 1 26.0000 11.9156 118.20%
3317.69/3326.95 c 3327 449 448 1 26.0000 11.9156 118.20%
3329.25/3338.59 c 3339 451 450 1 26.0000 11.9156 118.20%
3343.91/3353.28 c 3353 452 451 1 26.0000 11.9397 117.76%
3353.48/3362.82 c 3363 453 452 1 26.0000 11.9397 117.76%
3362.05/3371.40 c 3371 455 454 1 26.0000 11.9397 117.76%
3397.04/3406.58 c 3407 457 456 1 26.0000 11.9397 117.76%
3403.92/3413.46 c 3413 458 457 1 26.0000 11.9397 117.76%
3413.19/3422.73 c 3423 460 459 1 26.0000 11.9397 117.76%
3418.38/3427.96 c 3428 462 461 1 26.0000 11.9397 117.76%
3424.56/3434.13 c 3434 467 466 1 26.0000 11.9397 117.76%
3446.80/3456.43 c 3456 469 468 1 26.0000 11.9397 117.76%
3452.18/3461.80 c 3462 470 469 1 26.0000 11.9397 117.76%
3488.57/3498.38 c 3498 471 470 1 26.0000 11.9397 117.76%
3493.75/3503.54 c 3504 472 471 1 26.0000 11.9397 117.76%
3501.93/3511.73 c 3512 473 472 1 26.0000 11.9397 117.76%
3510.70/3520.59 c 3521 475 474 1 26.0000 11.9397 117.76%
3518.38/3528.26 c 3528 477 476 1 26.0000 11.9397 117.76%
3525.46/3535.31 c 3535 480 479 1 26.0000 11.9397 117.76%
3530.74/3540.62 c 3541 482 481 1 26.0000 11.9397 117.76%
3537.22/3547.17 c 3547 485 484 1 26.0000 11.9397 117.76%
3547.79/3557.75 c 3558 486 485 1 26.0000 11.9397 117.76%
3553.77/3563.78 c 3564 487 486 1 26.0000 11.9397 117.76%
3559.16/3569.14 c 3569 488 487 1 26.0000 11.9397 117.76%
3568.22/3578.25 c 3578 489 488 1 26.0000 11.9397 117.76%
3576.60/3586.66 c 3587 490 489 1 26.0000 11.9397 117.76%
3581.78/3591.83 c 3592 491 490 1 26.0000 11.9397 117.76%
3587.97/3598.01 c 3598 491 490 0 26.0000 11.9397 117.76%
3587.97/3598.09 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.97/3598.09 c Total Time : 3598.08
3587.97/3598.09 c solving : 3598.08
3587.97/3598.09 c presolving : 0.28 (included in solving)
3587.97/3598.09 c B&B Tree :
3587.97/3598.09 c nodes (total) : 1
3587.97/3598.09 c Solution :
3587.97/3598.09 c Solutions found : 2
3587.97/3598.09 c Primal Bound : +2.60000000000000e+01
3587.97/3598.09 c Dual Bound : +1.19397395188819e+01
3587.97/3598.09 c Gap : 117.76019 %
3587.97/3598.09 c * Warning: final gap: 1.17760e+00 is greater than SCIPepsilon: 1.00000e-09
3587.97/3598.09 o 26
3587.97/3598.09 s SATISFIABLE
3587.97/3598.09 v -x6076 -x6075 -x6074 x6073 -x6071 x6069 -x6067 -x6066 -x6065 x6064 -x6062 -x6060 -x6059 -x6058 x6057 x6055 -x6053 -x6052 -x6051
3587.97/3598.09 v -x6050 x6048 -x6046 -x6045 -x6044 -x6043 x6041 -x6039 -x6038 -x6037 -x6036 -x6034 -x6033 -x6032 -x6031 -x6029 -x6028 -x6027
3587.97/3598.09 v -x6026 x6024 -x6022 -x6021 -x6020 -x6019 x6017 -x6015 -x6014 -x6013 -x6012 -x6010 -x6008 -x6007 -x6006 -x6005 -x6003 -x6001 -x6000
3587.97/3598.09 v -x5999 -x5998 -x5996 -x5994 -x5993 -x5992 -x5991 -x5989 -x5987 -x5986 -x5985 -x5984 x5982 -x5980 -x5979 -x5978 -x5977 -x5975
3587.97/3598.09 v -x5973 -x5972 -x5971 -x5970 x5968 -x5966 -x5965 -x5964 -x5963 x5961 -x5959 -x5958 -x5957 -x5956 -x5954 -x5953 -x5952 -x5951
3587.97/3598.09 v x5949 -x5947 -x5946 -x5945 -x5944 -x5942 -x5940 -x5939 x5938 x5937 -x5935 -x5934 -x5933 -x5932 -x5930 -x5928 -x5927 -x5926
3587.97/3598.09 v -x5925 -x5923 -x5921 -x5920 -x5919 -x5918 x5916 -x5914 -x5913 -x5912 -x5911 -x5909 -x5907 -x5906 -x5905 -x5904 -x5902 -x5900
3587.97/3598.09 v -x5899 -x5898 -x5897 x5895 -x5893 -x5892 -x5891 -x5890 -x5888 -x5887 -x5886 -x5885 -x5883 -x5881 x5880 -x5879 x5878 -x5876
3587.97/3598.09 v -x5874 -x5873 -x5872 -x5871 -x5869 -x5867 -x5866 -x5865 -x5864 -x5862 -x5861 -x5860 -x5859 -x5857 -x5855 -x5854 -x5853 -x5852
3587.97/3598.09 v -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 x5840 x5838 -x5837 -x5836 -x5835 -x5834 -x5833 -x5832
3587.97/3598.09 v -x5831 -x5830 -x5829 x5828 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819 -x5818 -x5817 -x5816 -x5814 -x5813 -x5812
3587.97/3598.09 v -x5811 -x5810 -x5809 -x5808 -x5807 -x5806 -x5805 x5804 -x5802 -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 -x5794 -x5793
3587.97/3598.09 v x5792 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 -x5782 -x5781 -x5780 -x5778 -x5777 -x5776 -x5775 -x5774 -x5773
3587.97/3598.09 v -x5772 -x5771 -x5770 -x5769 -x5768 -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 -x5754 -x5753
3587.97/3598.09 v -x5752 -x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 -x5742 -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734
3587.97/3598.09 v -x5733 -x5732 -x5730 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5718 -x5717 -x5716 -x5715 -x5714
3587.97/3598.09 v -x5713 -x5712 -x5711 -x5710 -x5709 -x5708 -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5694
3587.97/3598.09 v -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 -x5687 -x5686 -x5685 -x5684 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676 -x5675
3587.97/3598.09 v -x5674 -x5673 -x5672 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5658 -x5657 -x5656
3587.97/3598.09 v -x5655 -x5654 -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641 -x5640 -x5639 -x5638 -x5637
3587.97/3598.09 v -x5636 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5622 -x5621 -x5620 -x5619 -x5618 -x5617
3587.97/3598.09 v -x5616 -x5615 -x5614 -x5613 -x5612 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 -x5603 -x5602 -x5601 -x5600 -x5598 -x5597
3587.97/3598.09 v -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588 x5587 -x5586 -x5585 -x5584 -x5583 -x5582 -x5581 -x5580 -x5579
3587.97/3598.09 v -x5578 -x5577 -x5576 -x5575 -x5574 x5573 -x5571 -x5570 -x5569 -x5568 -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 -x5561 -x5560
3587.97/3598.09 v -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 -x5550 -x5549 -x5548 -x5547 -x5546 -x5544 -x5543 -x5542 -x5541
3587.97/3598.09 v -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523
3587.97/3598.09 v -x5522 -x5521 -x5520 -x5519 -x5517 -x5516 -x5515 -x5514 -x5513 -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504
3587.97/3598.09 v -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 -x5494 -x5493 -x5492 -x5490 -x5489 -x5488 -x5487 -x5486
3587.97/3598.09 v -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475 -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468
3587.97/3598.09 v -x5467 -x5466 -x5465 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449
3587.97/3598.09 v -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440 -x5439 -x5438 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430
3587.97/3598.09 v -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412
3587.97/3598.09 v -x5411 -x5409 -x5408 -x5407 -x5406 x5404 -x5402 -x5401 -x5400 -x5399 -x5397 -x5395 -x5394 -x5393 -x5392 x5390 -x5388 -x5387
3587.97/3598.09 v -x5386 -x5385 x5383 -x5381 -x5380 -x5379 x5378 -x5376 -x5374 -x5373 -x5372 -x5371 x5369 -x5367 -x5366 -x5365 -x5364 -x5362
3587.97/3598.09 v -x5360 -x5359 -x5358 -x5357 -x5355 -x5353 -x5352 -x5351 -x5350 -x5348 -x5346 -x5345 -x5344 -x5343 x5341 -x5339 -x5338 -x5337
3587.97/3598.09 v -x5336 -x5334 -x5332 -x5331 -x5330 -x5329 x5327 -x5325 -x5324 -x5323 -x5322 -x5320 -x5318 -x5317 -x5316 -x5315 -x5313 -x5311
3587.97/3598.09 v -x5310 -x5309 -x5308 -x5306 -x5304 -x5303 -x5302 -x5301 x5299 -x5297 -x5296 -x5295 -x5294 -x5292 -x5290 -x5289 -x5288 -x5287
3587.97/3598.09 v -x5285 -x5283 -x5282 -x5281 -x5280 -x5278 -x5276 -x5275 -x5274 -x5273 -x5271 -x5269 -x5268 -x5267 x5266 -x5264 -x5262 -x5261
3587.97/3598.09 v -x5260 -x5259 x5257 -x5255 -x5254 -x5253 -x5252 -x5250 -x5249 -x5248 -x5247 -x5245 -x5243 -x5242 -x5241 -x5240 -x5238 -x5236
3587.97/3598.09 v -x5235 -x5234 -x5233 x5231 -x5229 -x5228 -x5227 x5226 -x5224 -x5222 -x5221 -x5220 x5219 -x5217 -x5215 -x5214 -x5213 -x5212 -x5210
3587.97/3598.09 v -x5208 -x5207 -x5206 -x5205 -x5203 -x5201 -x5200 -x5199 -x5198 -x5196 -x5194 -x5193 -x5192 -x5191 -x5189 -x5188 -x5187
3587.97/3598.09 v -x5186 -x5184 -x5182 -x5181 -x5180 -x5179 -x5177 -x5175 -x5174 -x5173 -x5172 -x5170 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163
3587.97/3598.09 v -x5162 -x5161 -x5160 -x5159 -x5158 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5144 -x5143
3587.97/3598.09 v -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124
3587.97/3598.09 v -x5123 -x5122 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5108 -x5107 -x5106 -x5105 -x5104
3587.97/3598.09 v -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5084
3587.97/3598.09 v -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 x5074 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065
3587.97/3598.09 v -x5064 -x5063 -x5062 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5048 -x5047 -x5046 -x5045
3587.97/3598.09 v -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027
3587.97/3598.09 v -x5026 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007
3587.97/3598.09 v -x5006 -x5005 -x5004 -x5003 -x5002 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4988 -x4987
3587.97/3598.09 v -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968
3587.97/3598.09 v -x4967 x4966 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4952 -x4951 -x4950 -x4949 -x4948
3587.97/3598.09 v -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 x4930 -x4928
3587.97/3598.09 v -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909
3587.97/3598.09 v -x4908 -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891
3587.97/3598.09 v -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872
3587.97/3598.09 v -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854
3587.97/3598.09 v -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4835
3587.97/3598.09 v -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817
3587.97/3598.09 v -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798
3587.97/3598.09 v -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 x4783 -x4781 -x4780 -x4779
3587.97/3598.09 v -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761
3587.97/3598.09 v -x4760 -x4759 -x4758 -x4757 -x4756 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742
3587.97/3598.09 v -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 x4729 -x4727 -x4726 -x4725 -x4724 -x4722
3587.97/3598.09 v -x4720 -x4719 -x4718 -x4717 x4715 -x4713 -x4712 -x4711 -x4710 x4708 -x4706 -x4705 -x4704 -x4703 x4701 -x4699 -x4698 -x4697
3587.97/3598.09 v -x4696 -x4694 -x4692 -x4691 -x4690 -x4689 -x4687 -x4685 -x4684 -x4683 x4682 -x4680 -x4678 -x4677 -x4676 -x4675 -x4673 -x4672
3587.97/3598.09 v -x4671 -x4670 x4668 -x4666 -x4665 -x4664 -x4663 -x4661 -x4659 -x4658 -x4657 -x4656 -x4654 -x4652 -x4651 -x4650 -x4649 -x4647
3587.97/3598.09 v -x4645 -x4644 -x4643 -x4642 -x4640 -x4638 -x4637 -x4636 -x4635 x4633 -x4631 -x4630 -x4629 -x4628 x4626 -x4624 -x4623 -x4622
3587.97/3598.09 v -x4621 -x4619 -x4617 -x4616 -x4615 -x4614 -x4612 -x4610 -x4609 -x4608 -x4607 -x4605 -x4603 -x4602 -x4601 -x4600 -x4598 -x4596
3587.97/3598.09 v -x4595 -x4594 -x4593 -x4591 -x4589 -x4588 -x4587 -x4586 -x4584 -x4582 -x4581 -x4580 -x4579 -x4577 -x4575 -x4574 -x4573 x4572
3587.97/3598.09 v -x4570 -x4568 -x4567 -x4566 -x4565 x4563 -x4561 -x4560 -x4559 -x4558 x4556 -x4554 -x4553 -x4552 -x4551 -x4549 -x4547 -x4546
3587.97/3598.09 v -x4545 -x4544 -x4542 -x4540 -x4539 -x4538 x4537 -x4535 -x4534 -x4533 x4532 -x4530 -x4528 -x4527 -x4526 -x4525 -x4523 -x4521
3587.97/3598.09 v -x4520 -x4519 -x4518 -x4516 -x4514 -x4513 -x4512 -x4511 -x4509 -x4507 -x4506 -x4505 -x4504 -x4502 -x4500 -x4499 -x4498 -x4497
3587.97/3598.09 v -x4495 -x4493 -x4492 -x4491 -x4490 -x4488 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4474
3587.97/3598.09 v -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455
3587.97/3598.09 v -x4454 -x4453 x4452 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4438 -x4437 -x4436 -x4435
3587.97/3598.09 v -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416
3587.97/3598.09 v -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396
3587.97/3598.09 v -x4395 -x4394 -x4393 -x4392 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4378 -x4377
3587.97/3598.09 v -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358
3587.97/3598.09 v -x4357 -x4356 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4342 -x4341 -x4340 -x4339 -x4338
3587.97/3598.09 v -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4318
3587.97/3598.09 v -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299
3587.97/3598.09 v -x4298 -x4297 -x4296 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 x4284 -x4282 -x4281 -x4280 -x4279
3587.97/3598.09 v -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 x4272 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260
3587.97/3598.09 v -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240
3587.97/3598.09 v -x4239 -x4238 -x4237 -x4236 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221
3587.97/3598.09 v -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4207 -x4206 -x4205 -x4204 -x4203
3587.97/3598.09 v -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185
3587.97/3598.09 v -x4184 -x4183 x4182 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166
3587.97/3598.09 v -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147
3587.97/3598.09 v -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129
3587.97/3598.09 v -x4128 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110
3587.97/3598.09 v -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091
3587.97/3598.09 v -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4072
3587.97/3598.09 v -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055
3587.97/3598.09 v -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 x4047 -x4045 -x4044 -x4043 -x4042 -x4040 -x4038 -x4037 -x4036 -x4035 x4033 -x4031
3587.97/3598.09 v -x4030 -x4029 -x4028 x4026 -x4024 -x4023 -x4022 -x4021 -x4019 -x4017 -x4016 -x4015 -x4014 -x4012 -x4010 -x4009 -x4008 -x4007
3587.97/3598.09 v -x4005 -x4003 -x4002 -x4001 x4000 -x3998 -x3996 -x3995 -x3994 -x3993 x3991 -x3989 -x3988 -x3987 -x3986 -x3984 -x3982 -x3981
3587.97/3598.09 v -x3980 -x3979 -x3977 -x3975 -x3974 -x3973 -x3972 -x3970 -x3968 -x3967 -x3966 -x3965 -x3963 -x3961 -x3960 -x3959 x3958 -x3956
3587.97/3598.09 v -x3954 -x3953 -x3952 -x3951 x3949 -x3947 -x3946 -x3945 -x3944 -x3942 -x3940 -x3939 -x3938 -x3937 -x3935 -x3933 -x3932 -x3931
3587.97/3598.09 v -x3930 -x3928 -x3926 -x3925 -x3924 x3923 -x3921 -x3919 -x3918 -x3917 x3916 -x3914 -x3912 -x3911 -x3910 -x3909 -x3907 -x3905
3587.97/3598.09 v -x3904 -x3903 -x3902 -x3900 -x3898 -x3897 -x3896 -x3895 -x3893 -x3891 -x3890 -x3889 -x3888 -x3886 -x3884 -x3883 -x3882 -x3881
3587.97/3598.09 v x3879 -x3877 -x3876 -x3875 -x3874 -x3872 -x3870 -x3869 -x3868 -x3867 -x3865 -x3863 -x3862 -x3861 -x3860 -x3858 -x3857 -x3856
3587.97/3598.09 v -x3855 -x3853 -x3851 -x3850 -x3849 -x3848 -x3846 -x3844 -x3843 -x3842 -x3841 -x3839 -x3837 -x3836 -x3835 -x3834 -x3832 -x3830
3587.97/3598.09 v -x3829 -x3828 -x3827 -x3825 -x3823 -x3822 -x3821 -x3820 -x3818 -x3816 -x3815 -x3814 -x3813 -x3811 -x3809 -x3808 -x3807
3587.97/3598.09 v -x3806 -x3804 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3790 -x3789 -x3788 -x3787 -x3786
3587.97/3598.09 v -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3766
3587.97/3598.09 v -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747
3587.97/3598.09 v -x3746 -x3745 -x3744 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3730 -x3729 -x3728 -x3727
3587.97/3598.09 v -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 x3708
3587.97/3598.09 v -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688
3587.97/3598.09 v -x3687 -x3686 -x3685 -x3684 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3670 -x3669 -x3668
3587.97/3598.09 v -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 x3660 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649
3587.97/3598.09 v -x3648 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3634 -x3633 -x3632 -x3631 -x3630
3587.97/3598.09 v -x3629 -x3628 -x3627 -x3626 -x3625 x3624 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3610
3587.97/3598.09 v -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591
3587.97/3598.09 v -x3590 -x3589 -x3588 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3574 -x3573 -x3572 -x3571
3587.97/3598.09 v -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552
3587.97/3598.09 v -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533
3587.97/3598.09 v -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514
3587.97/3598.09 v -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3496 -x3495
3587.97/3598.09 v -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478
3587.97/3598.09 v -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459
3587.97/3598.09 v -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3442 -x3441 -x3440
3587.97/3598.09 v -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422
3587.97/3598.09 v -x3421 -x3420 -x3419 -x3418 x3417 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403
3587.97/3598.09 v -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 x3390 -x3388 -x3387 -x3386 -x3385 -x3384
3587.97/3598.09 v -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366
3587.97/3598.09 v -x3365 -x3364 -x3363 -x3361 -x3360 -x3359 -x3358 -x3356 -x3355 -x3354 -x3353 -x3351 -x3350 -x3349 -x3348 -x3346 -x3345 -x3344
3587.97/3598.09 v -x3343 -x3341 -x3340 -x3339 -x3338 -x3336 -x3335 -x3334 -x3333 -x3331 -x3330 -x3329 -x3328 -x3326 -x3325 -x3324 -x3323 -x3321
3587.97/3598.09 v -x3320 -x3319 -x3318 -x3316 -x3315 -x3314 -x3313 -x3311 -x3310 -x3309 -x3308 -x3306 -x3305 -x3304 -x3303 -x3301 -x3300
3587.97/3598.09 v -x3299 -x3298 -x3296 -x3295 -x3294 -x3293 -x3291 -x3290 -x3289 -x3288 -x3286 -x3285 -x3284 -x3283 -x3281 -x3280 -x3279 -x3278
3587.97/3598.09 v -x3276 -x3275 -x3274 -x3273 -x3271 -x3270 -x3269 -x3268 -x3266 -x3265 -x3264 -x3263 -x3261 -x3260 -x3259 -x3258 -x3256 -x3255
3587.97/3598.09 v -x3254 -x3253 -x3251 -x3250 -x3249 -x3248 -x3246 -x3245 -x3244 -x3243 -x3241 -x3240 -x3239 -x3238 -x3236 -x3235 -x3234 -x3233
3587.97/3598.09 v -x3231 -x3230 -x3229 -x3228 -x3226 -x3225 -x3224 -x3223 -x3221 -x3220 -x3219 -x3218 -x3216 -x3215 -x3214 -x3213 -x3211 -x3210
3587.97/3598.09 v -x3209 -x3208 -x3206 -x3205 -x3204 -x3203 -x3201 -x3200 -x3199 -x3198 -x3196 -x3195 -x3194 -x3193 -x3191 -x3190 -x3189 -x3188
3587.97/3598.09 v -x3186 -x3185 -x3184 -x3183 -x3181 -x3180 -x3179 -x3178 -x3176 -x3175 -x3174 -x3173 -x3171 -x3170 -x3169 -x3168 -x3166 -x3165
3587.97/3598.09 v -x3164 -x3163 -x3161 -x3160 -x3159 -x3158 -x3156 -x3155 -x3154 -x3153 -x3151 -x3150 -x3149 -x3148 -x3146 -x3145 -x3144
3587.97/3598.09 v -x3143 -x3141 -x3140 -x3139 -x3138 -x3136 -x3135 -x3134 -x3133 -x3131 -x3130 -x3129 -x3128 -x3126 -x3125 -x3124 -x3123 -x3121
3587.97/3598.09 v -x3120 -x3119 -x3118 -x3116 -x3115 -x3114 -x3113 -x3111 -x3110 -x3109 -x3108 -x3106 -x3105 -x3104 -x3103 -x3101 -x3100 -x3099
3587.97/3598.09 v -x3098 -x3096 -x3095 -x3094 -x3093 -x3091 -x3090 -x3089 -x3088 -x3086 -x3085 -x3084 -x3083 -x3081 -x3080 -x3079 -x3078 -x3076
3587.97/3598.09 v -x3075 -x3074 -x3073 -x3071 -x3070 -x3069 -x3068 -x3066 -x3065 -x3064 -x3063 -x3061 -x3060 -x3059 -x3058 -x3056 -x3055 -x3054
3587.97/3598.09 v -x3053 -x3051 -x3050 -x3049 -x3048 -x3046 -x3045 -x3044 -x3043 -x3041 -x3040 -x3039 -x3038 -x3036 -x3035 -x3034 -x3033 -x3031
3587.97/3598.09 v -x3030 -x3029 -x3028 -x3026 -x3025 -x3024 -x3023 -x3021 -x3020 -x3019 -x3018 -x3016 -x3015 x3014 x3013 -x3011 -x3010 -x3009
3587.97/3598.09 v -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 x3001 -x2999 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989
3587.97/3598.09 v -x2988 x2987 -x2985 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 x2973 -x2971 -x2969 -x2968 -x2967
3587.97/3598.09 v -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 x2959 -x2957 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947
3587.97/3598.09 v -x2946 -x2945 -x2943 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2929 -x2927 -x2926 -x2925
3587.97/3598.09 v -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2915 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905
3587.97/3598.09 v -x2904 -x2903 -x2901 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2887 -x2885 -x2884 -x2883
3587.97/3598.09 v -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2873 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864
3587.97/3598.09 v -x2863 -x2862 -x2861 -x2859 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2845 -x2843 -x2842
3587.97/3598.09 v -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2831 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822
3587.97/3598.09 v -x2821 -x2820 -x2819 -x2817 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2803 -x2801 -x2800
3587.97/3598.09 v -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2789 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780
3587.97/3598.09 v -x2779 -x2778 -x2777 x2775 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 x2761 -x2759 -x2758
3587.97/3598.09 v -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 x2747 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738
3587.97/3598.09 v -x2737 -x2736 -x2735 x2733 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2719 -x2717 -x2716
3587.97/3598.09 v -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2705 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696
3587.97/3598.09 v -x2695 -x2694 -x2693 -x2691 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2677 -x2675 -x2674
3587.97/3598.09 v -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2663 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654
3587.97/3598.09 v -x2653 -x2652 -x2651 -x2649 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2635 -x2633
3587.97/3598.09 v -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2621 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613
3587.97/3598.09 v -x2612 -x2611 -x2610 -x2609 -x2607 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2593 -x2591
3587.97/3598.09 v -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 x2579 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571
3587.97/3598.09 v -x2570 -x2569 -x2568 -x2567 x2565 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 x2551 -x2549
3587.97/3598.09 v -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 x2537 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529
3587.97/3598.09 v -x2528 -x2527 -x2526 -x2525 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2511 -x2509 -x2508
3587.97/3598.09 v -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2497 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488
3587.97/3598.09 v -x2487 -x2486 -x2485 -x2483 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2469 -x2467 -x2466
3587.97/3598.09 v -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2455 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446
3587.97/3598.09 v -x2445 -x2444 -x2443 -x2441 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2427 -x2425 -x2424
3587.97/3598.09 v -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2413 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405
3587.97/3598.09 v -x2404 -x2403 -x2402 -x2401 -x2399 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2385 -x2383
3587.97/3598.09 v -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2371 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363
3587.97/3598.09 v -x2362 -x2361 -x2360 -x2359 -x2357 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2343 -x2341
3587.97/3598.09 v -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2329 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321
3587.97/3598.09 v -x2320 -x2319 -x2318 -x2317 x2315 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 x2301 -x2299
3587.97/3598.09 v -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 x2287 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279
3587.97/3598.09 v -x2278 -x2277 -x2276 -x2275 x2273 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 x2259 -x2257
3587.97/3598.09 v -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 x2245 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237
3587.97/3598.09 v -x2236 -x2235 -x2234 -x2233 x2231 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217
3587.97/3598.09 v -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2202 -x2201 -x2200 -x2199 -x2198
3587.97/3598.09 v -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180
3587.97/3598.09 v -x2179 -x2178 -x2177 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161
3587.97/3598.09 v -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 x2150 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142
3587.97/3598.09 v -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124
3587.97/3598.09 v -x2123 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106
3587.97/3598.09 v -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 x2096 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087
3587.97/3598.09 v -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 x2069
3587.97/3598.09 v -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050
3587.97/3598.09 v -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031
3587.97/3598.09 v -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2013 -x2012
3587.97/3598.09 v -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994
3587.97/3598.09 v -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975
3587.97/3598.09 v -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1959 -x1958 -x1957 -x1956
3587.97/3598.09 v -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939
3587.97/3598.09 v -x1938 -x1937 -x1936 -x1935 -x1934 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920
3587.97/3598.09 v -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1905 -x1904 -x1903 -x1902 -x1901
3587.97/3598.09 v -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883
3587.97/3598.09 v -x1882 -x1881 -x1880 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864
3587.97/3598.09 v -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845
3587.97/3598.09 v -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827
3587.97/3598.09 v -x1826 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809
3587.97/3598.09 v -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790
3587.97/3598.09 v -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772
3587.97/3598.09 v -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753
3587.97/3598.09 v -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734
3587.97/3598.09 v -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1716 -x1715
3587.97/3598.09 v -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697
3587.97/3598.09 v -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679
3587.97/3598.09 v -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1662 -x1661 -x1660
3587.97/3598.09 v -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642
3587.97/3598.09 v -x1641 -x1640 -x1639 -x1638 -x1637 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623
3587.97/3598.09 v -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1608 -x1607 -x1606 -x1605 -x1604
3587.97/3598.09 v -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586
3587.97/3598.09 v -x1585 -x1584 -x1583 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567
3587.97/3598.09 v -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549
3587.97/3598.09 v -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531
3587.97/3598.09 v -x1530 -x1529 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512
3587.97/3598.09 v -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493
3587.97/3598.09 v -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475
3587.97/3598.09 v -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456
3587.97/3598.09 v -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438
3587.97/3598.09 v -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421
3587.97/3598.09 v -x1420 -x1419 -x1418 -x1417 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402
3587.97/3598.09 v -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384
3587.97/3598.09 v -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366
3587.97/3598.09 v -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 x1359 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347
3587.97/3598.09 v -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329
3587.97/3598.09 v -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311
3587.97/3598.09 v -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292
3587.97/3598.09 v -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275
3587.97/3598.09 v -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257
3587.97/3598.09 v -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 x1243 -x1241 -x1240 -x1239 -x1238
3587.97/3598.09 v -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220
3587.97/3598.09 v -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202
3587.97/3598.09 v -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1183
3587.97/3598.09 v -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165
3587.97/3598.09 v -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147
3587.97/3598.09 v -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130
3587.97/3598.09 v -x1129 -x1128 -x1127 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111
3587.97/3598.09 v -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093
3587.97/3598.09 v -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075
3587.97/3598.09 v -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056
3587.97/3598.09 v -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038
3587.97/3598.09 v -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020
3587.97/3598.09 v -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 x866 -x865 -x864 -x863 -x862 -x861 -x860 -x1009 -x1007 -x1008
3587.97/3598.09 v -x1005 -x1006 -x1004 -x1002 -x1003 -x1001 -x999 -x1000 -x998 -x996 -x997 -x995 -x993 -x994 -x992 -x991 -x990 -x989 -x988
3587.97/3598.09 v -x986 -x987 -x985 -x983 -x984 -x982 -x980 -x981 -x979 -x977 -x978 -x976 -x974 -x975 -x973 -x971 -x972 -x970 -x968 -x969 -x967
3587.97/3598.09 v -x965 -x966 -x964 -x962 -x963 -x961 -x959 -x960 -x958 -x957 -x956 -x954 -x955 -x953 -x951 -x952 -x950 -x949 -x948 -x946 -x947
3587.97/3598.09 v -x945 -x943 -x944 -x942 -x940 -x941 -x939 -x937 -x938 -x936 -x934 -x935 -x933 -x931 -x932 -x930 -x929 -x928 -x926 -x927 -x925
3587.97/3598.09 v -x923 -x924 -x922 -x920 -x921 -x919 -x918 -x917 -x915 -x916 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905
3587.97/3598.09 v -x904 -x903 -x902 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x889 -x888 -x886 -x885 -x884 -x883 -x881 -x880
3587.97/3598.09 v -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x703 -x702 -x701 -x700 -x699 -x698 x697 -x858
3587.97/3598.09 v -x856 -x857 -x855 -x853 -x854 -x852 -x850 -x851 -x849 -x847 -x848 -x846 -x844 -x845 -x843 -x841 -x842 -x840 -x838 -x839 -x837
3587.97/3598.09 v -x835 -x836 -x834 -x832 -x833 -x831 -x829 -x830 -x828 -x826 -x827 -x825 -x823 -x824 -x822 -x820 -x821 -x819 -x817 -x818 -x816
3587.97/3598.09 v -x814 -x815 -x813 -x811 x812 -x810 -x808 -x809 -x807 -x805 -x806 -x804 -x802 -x803 -x801 -x799 -x800 -x798 -x796 -x797 -x795
3587.97/3598.09 v -x793 -x794 -x792 -x791 -x790 -x788 -x789 -x787 -x785 -x786 -x784 -x782 -x783 -x781 -x779 -x780 x778 -x776 -x777 -x775 -x773
3587.97/3598.09 v -x774 -x772 -x770 -x771 -x769 -x767 -x768 -x766 -x765 -x764 -x762 -x763 -x761 -x759 -x760 -x758 -x756 -x757 -x755 -x753 -x752
3587.97/3598.09 v -x751 -x750 -x749 -x748 -x746 -x745 -x744 -x743 -x741 -x740 -x739 -x738 -x736 -x735 -x733 -x732 -x730 -x729 -x728 -x727 -x726
3587.97/3598.09 v -x725 -x724 -x723 -x721 -x720 -x718 -x717 -x715 -x714 -x713 -x712 -x711 -x710 -x708 x707 -x706 -x705 -x704 -x539 -x538 -x537
3587.97/3598.09 v -x536 -x535 -x534 x533 -x695 -x693 -x694 -x692 -x690 -x691 -x689 -x687 -x688 -x686 -x684 -x685 -x683 -x681 -x682 -x680 -x678
3587.97/3598.09 v -x679 -x677 -x675 -x676 -x674 -x673 -x672 -x670 -x671 -x669 -x667 -x668 -x666 -x664 -x665 -x663 -x661 -x662 -x660 -x658
3587.97/3598.09 v -x659 -x657 -x655 x656 -x654 -x652 -x653 -x651 -x649 -x650 -x648 -x646 -x647 -x645 -x643 -x644 -x642 -x640 -x641 -x639 -x637
3587.97/3598.09 v -x638 -x636 -x634 -x635 -x633 -x631 -x632 x630 -x628 -x629 -x627 -x625 -x626 -x624 -x622 -x623 -x621 -x619 -x620 -x618 -x616
3587.97/3598.09 v -x617 -x615 -x614 -x613 -x611 -x612 -x610 -x608 -x609 -x607 -x605 -x606 -x604 -x602 -x603 -x601 -x599 -x600 -x598 -x596 -x597
3587.97/3598.09 v -x595 -x593 -x594 -x592 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x572
3587.97/3598.09 v -x571 -x570 -x569 -x567 -x566 -x564 -x563 -x561 -x560 -x558 -x557 -x555 -x554 -x553 x552 -x551 -x550 -x548 -x547 -x545 -x544
3587.97/3598.09 v -x543 -x542 -x540 -x370 -x369 -x368 -x367 -x366 x365 -x364 -x531 -x529 -x530 -x528 -x526 -x527 -x525 -x523 -x524 -x522 -x520
3587.97/3598.09 v -x521 -x519 -x517 -x518 -x516 -x514 -x515 -x513 -x511 -x512 -x510 -x508 -x509 -x507 -x505 -x506 -x504 -x502 -x503 -x501 -x499
3587.97/3598.09 v -x500 -x498 -x496 -x497 -x495 -x493 -x494 -x492 -x490 -x491 -x489 -x487 -x488 -x486 -x484 -x485 -x483 -x481 -x482 x480 -x478
3587.97/3598.09 v -x479 -x477 -x475 -x476 -x474 -x472 -x473 -x471 -x469 -x470 -x468 -x466 -x467 -x465 -x463 -x464 -x462 -x460 x461 -x459 -x457
3587.97/3598.09 v -x458 -x456 -x454 -x455 -x453 -x452 -x451 -x449 -x450 -x448 -x446 -x447 -x445 -x443 -x444 -x442 -x440 -x441 -x439 -x437 -x438
3587.97/3598.09 v -x436 -x434 -x435 -x433 -x431 -x432 -x430 -x428 -x429 -x427 -x426 -x425 -x423 -x422 -x420 -x419 -x417 -x416 -x414 -x413 -x411
3587.97/3598.09 v -x410 -x409 -x408 -x406 -x405 -x403 -x402 -x400 -x399 -x397 -x396 -x394 -x393 -x391 -x390 -x388 x387 -x386 -x385 -x384 -x383
3587.97/3598.09 v -x381 -x380 -x378 -x377 -x375 -x374 -x373 -x372 -x371 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x362 -x360 -x361 -x359 -x357 -x358
3587.97/3598.09 v -x356 -x354 -x355 -x353 -x351 -x352 -x350 -x348 -x349 -x347 -x345 -x346 -x344 -x342 -x343 -x341 -x339 -x340 -x338 -x336 -x337
3587.97/3598.09 v -x335 -x333 -x334 -x332 -x330 -x331 -x329 -x327 -x328 -x326 -x324 -x325 -x323 -x321 -x322 -x320 -x318 -x319 -x317 -x315 -x316
3587.97/3598.09 v -x314 -x312 -x313 -x311 -x309 -x310 -x308 -x306 -x307 -x305 -x303 -x304 -x302 -x300 -x301 -x299 -x297 -x298 -x296 -x294 -x295
3587.97/3598.09 v -x293 -x291 -x292 -x290 -x288 -x289 -x287 -x285 -x286 -x284 -x282 -x283 -x281 -x279 -x280 -x278 -x276 -x277 -x275 -x273 -x274
3587.97/3598.09 v -x272 -x270 -x271 -x269 -x267 -x268 -x266 -x264 -x265 -x263 -x261 -x262 -x260 -x258 x259 -x257 -x255 -x256 -x254 -x252 -x253
3587.97/3598.09 v -x251 -x249 -x250 x248 -x246 -x247 -x245 -x243 -x244 -x242 -x240 -x241 -x239 -x237 -x238 -x236 -x234 -x235 -x233 -x231 -x232
3587.97/3598.09 v -x230 -x228 -x229 -x227 -x225 -x226 -x224 -x222 -x223 -x221 -x219 -x220 -x218 -x216 -x217 -x215 -x213 -x214 -x212 -x210
3587.97/3598.09 v -x211 -x209 -x207 -x208 -x206 -x204 -x205 -x203 -x201 -x202 -x200 -x198 -x199 -x197 -x195 -x196 -x194 -x192 -x193 -x191 -x189
3587.97/3598.09 v -x190 -x188 -x186 -x187 -x185 -x183 -x184 -x182 -x180 -x181 -x179 -x177 -x178 -x176 -x174 -x175 -x173 -x171 -x172 -x170 -x168
3587.97/3598.09 v -x169 -x167 -x165 -x166 -x164 -x162 -x163 -x161 -x159 -x160 -x158 -x156 -x157 -x155 -x154 -x153 -x151 -x152 -x150 -x148 -x149
3587.97/3598.09 v -x147 -x145 -x146 -x144 -x142 -x143 -x141 -x139 -x140 -x138 -x136 -x137 -x135 -x133 -x134 -x132 -x130 -x131 -x129 -x127 -x128
3587.97/3598.09 v -x126 -x124 -x125 -x123 -x121 -x122 -x120 -x118 -x119 -x117 -x115 -x116 -x114 -x112 -x113 -x111 -x109 -x110 -x108 -x106 -x107
3587.97/3598.09 v -x105 -x103 -x104 -x102 -x100 -x101 -x99 -x97 -x98 -x96 -x94 -x95 -x93 -x91 -x92 -x90 -x88 -x87 -x85 -x84 -x82 -x81 -x79
3587.97/3598.09 v x78 -x76 -x75 -x73 -x72 -x70 -x69 -x67 -x66 -x64 -x63 -x61 -x60 -x58 -x57 -x55 -x54 -x52 -x51 -x49 -x48 -x47 -x46 -x44 -x43
3587.97/3598.09 v -x41 -x40 -x38 -x37 -x35 -x34 -x33 -x32 -x31 -x30 -x28 -x27 -x25 -x24 -x22 -x21 -x19 -x18 -x16 -x15 -x13 -x12 -x10 -x6072 -x6070
3587.97/3598.09 v -x6068 -x6063 -x6061 -x6056 -x6054 -x6049 -x6047 -x6042 -x6040 -x6035 -x6030 -x6025 -x6023 -x6018 -x6016 -x6011 -x6009 -x6004
3587.97/3598.09 v -x6002 -x5997 -x5995 -x5990 -x5988 -x5983 -x5981 -x5976 -x5974 -x5969 -x5967 -x5962 -x5960 -x5955 -x5950 -x5948 -x5943 -x5941
3587.97/3598.09 v -x5936 -x5931 -x5929 -x5924 -x5922 -x5917 -x5915 -x5910 -x5908 -x5903 -x5901 -x5896 -x5894 -x5889 -x5884 -x5882 -x5877
3587.97/3598.09 v -x5875 -x5870 -x5868 -x5863 -x5858 -x5856 -x5851 -x5839 -x5827 -x5815 -x5803 -x5791 -x5779 -x901 -x5767 -x5755 -x5743 -x5731
3587.97/3598.09 v -x5719 -x890 -x5707 -x887 -x5695 -x5683 -x882 -x5671 -x5659 -x5647 -x5635 -x5623 -x5611 -x5599 x5572 -x5545 -x5518 -x5491 -x5464
3587.97/3598.09 v -x5437 -x5410 -x5405 -x5403 -x5398 -x5396 -x5391 -x5389 -x5384 -x5382 -x5377 -x5375 -x5370 -x5368 -x5363 -x5361 -x5356 -x5354
3587.97/3598.09 v -x5349 -x5347 -x5342 -x5340 -x5335 -x5333 -x5328 -x5326 -x5321 -x5319 -x5314 -x5312 -x5307 -x5305 -x5300 x5298 -x5293 -x5291
3587.97/3598.09 v -x5286 -x5284 -x5279 -x5277 -x5272 -x5270 -x5265 -x5263 -x5258 -x5256 -x5251 -x5246 -x5244 -x5239 -x5237 -x5232 -x5230 -x5225
3587.97/3598.09 v -x5223 x5218 -x5216 -x5211 -x5209 -x5204 -x5202 -x5197 -x5195 -x5190 -x5185 -x5183 -x5178 -x5176 -x5171 -x5169 -x5157 -x754
3587.97/3598.09 v -x5145 -x5133 -x5121 -x747 -x5109 -x5097 x742 -x5085 -x5073 -x737 -x5061 -x734 -x5049 -x731 -x5037 -x5025 -x5013 -x5001
3587.97/3598.09 v -x722 -x4989 -x719 -x4977 -x716 -x4965 -x4953 -x4941 -x709 x4929 -x4917 -x4890 -x4863 -x4836 -x4809 -x4782 -x4755 x4728 -x4723
3587.97/3598.09 v -x4721 -x4716 -x4714 -x4709 -x4707 -x4702 -x4700 -x4695 -x4693 -x4688 -x4686 -x4681 -x4679 -x4674 -x4669 -x4667 -x4662 -x4660
3587.97/3598.09 v -x4655 -x4653 -x4648 -x4646 -x4641 -x4639 -x4634 x4632 -x4627 -x4625 -x4620 -x4618 -x4613 -x4611 -x4606 -x4604 -x4599 -x4597
3587.97/3598.09 v -x4592 -x4590 -x4585 -x4583 -x4578 -x4576 x4571 -x4569 -x4564 -x4562 -x4557 -x4555 -x4550 -x4548 -x4543 -x4541 -x4536 -x4531
3587.97/3598.09 v -x4529 -x4524 -x4522 -x4517 -x4515 -x4510 -x4508 -x4503 -x4501 -x4496 -x4494 -x4489 -x4487 -x4475 -x591 -x4463 -x4451 -x4439
3587.97/3598.09 v -x4427 x582 -x4415 -x4403 -x4391 -x4379 -x573 -x4367 -x4355 -x568 -x4343 -x565 -x4331 -x562 -x4319 -x559 -x4307 -x556 -x4295
3587.97/3598.09 v x4283 -x4271 -x549 -x4259 -x546 -x4247 -x4235 -x541 -x4208 -x4181 -x4154 -x4127 -x4100 -x4073 x4046 -x4041 -x4039 -x4034 -x4032
3587.97/3598.09 v -x4027 -x4025 -x4020 -x4018 -x4013 -x4011 -x4006 -x4004 -x3999 -x3997 -x3992 -x3990 -x3985 -x3983 -x3978 -x3976 -x3971
3587.97/3598.09 v -x3969 -x3964 -x3962 -x3957 -x3955 -x3950 -x3948 -x3943 -x3941 -x3936 -x3934 -x3929 -x3927 x3922 -x3920 -x3915 -x3913 -x3908
3587.97/3598.09 v -x3906 -x3901 -x3899 -x3894 -x3892 -x3887 -x3885 -x3880 x3878 -x3873 -x3871 -x3866 -x3864 -x3859 -x3854 -x3852 -x3847 -x3845
3587.97/3598.09 v -x3840 -x3838 -x3833 -x3831 -x3826 -x3824 -x3819 -x3817 -x3812 -x3810 -x3805 -x3803 -x3791 -x3779 -x424 -x3767 -x421 -x3755 x418
3587.97/3598.09 v -x3743 -x415 -x3731 -x412 -x3719 -x3707 -x407 -x3695 -x404 -x3683 -x401 -x3671 -x398 -x3659 -x395 -x3647 -x392 -x3635 -x389
3587.97/3598.09 v x3623 -x3611 -x3599 -x382 -x3587 -x379 -x3575 -x376 -x3563 -x3551 -x3524 -x3497 -x3470 -x3443 -x3416 x3389 -x3362 -x3357 -x3352
3587.97/3598.09 v -x3347 -x3342 -x3337 -x3332 -x3327 -x3322 -x3317 -x3312 -x3307 -x3302 -x3297 -x3292 -x3287 -x3282 -x3277 -x3272 -x3267
3587.97/3598.09 v -x3262 -x3257 -x3252 -x3247 -x3242 -x3237 -x3232 -x3227 -x3222 -x3217 -x3212 -x3207 -x3202 -x3197 -x3192 -x3187 -x3182 -x3177
3587.97/3598.09 v -x3172 -x3167 -x3162 -x3157 -x3152 -x3147 -x3142 -x3137 -x3132 -x3127 -x3122 -x3117 -x3112 -x3107 -x3102 -x3097 -x3092 -x3087
3588.07/3598.11 v -x3082 -x3077 -x3072 -x3067 -x3062 -x3057 -x3052 -x3047 -x3042 -x3037 -x3032 -x3027 -x3022 -x3017 x3012 -x3000 -x2998 -x2986
3588.07/3598.11 v -x2984 -x2972 -x2970 x2958 -x2956 -x2944 -x2942 -x2930 -x2928 -x2916 -x2914 -x2902 -x2900 -x2888 -x2886 -x2874 -x2872 -x2860
3588.07/3598.11 v -x2858 -x2846 -x2844 -x2832 -x2830 -x2818 -x2816 -x2804 -x2802 -x2790 -x2788 -x2776 -x2774 -x2762 -x2760 -x2748 -x2746 -x2734
3588.07/3598.11 v -x2732 -x2720 -x2718 -x2706 -x2704 -x2692 -x2690 -x2678 -x2676 -x2664 -x2662 -x2650 -x2648 -x2636 -x2634 -x2622 -x2620 -x2608
3588.07/3598.11 v -x2606 -x2594 -x2592 -x2580 -x2578 -x2566 -x2564 -x2552 -x2550 -x2538 -x2536 -x2524 -x2512 -x2510 -x2498 -x2496 -x2484 -x2482
3588.07/3598.11 v -x2470 -x2468 -x2456 -x2454 -x2442 -x2440 -x2428 -x2426 -x2414 -x2412 -x2400 -x2398 -x2386 -x2384 -x2372 -x2370 -x2358 -x2356
3588.07/3598.11 v -x2344 -x2342 -x2330 -x2328 -x2316 -x2314 -x2302 -x2300 -x2288 -x2286 -x2274 -x2272 -x2260 -x2258 -x2246 -x2244 -x2232
3588.07/3598.11 v -x2230 -x2203 -x89 -x2176 -x86 -x2149 -x83 -x2122 -x80 x2095 -x77 -x2068 -x74 -x2041 -x71 -x2014 -x68 -x1987 -x65 -x1960 -x62
3588.07/3598.11 v -x1933 -x59 -x1906 -x56 -x1879 -x53 -x1852 -x50 -x1825 -x1798 -x45 -x1771 -x42 -x1744 -x39 -x1717 -x36 -x1690 -x1663 -x1636
3588.07/3598.11 v -x29 -x1609 -x26 -x1582 -x23 -x1555 -x20 -x1528 -x17 -x1501 -x14 -x1474 x11 -x1416 -x1358 -x1300 x1242 -x1184 -x1126 -x1068 -x1010
3588.07/3598.11 v x859 x696 x532 x363 x1
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: 63931 MiB (55589 MiB free)
memory of node 1: 64510 MiB (61512 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464080-1722382193/watcher-4464080-1722382193 -o /tmp/evaluation-result-4464080-1722382193/solver-4464080-1722382193 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722378594-27905 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464080-1722382193.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=30079, runsolver pid=30074
Current StackSize limit: 8192 KiB
[startup+0.1001 s]*
/proc/loadavg: 4.16 4.12 4.03 4/252 30093
/proc/meminfo: memFree=119863372/131524600 swapFree=131071996/131071996
[pid=30079] ppid=30074 vsize=68840 memory=57360 CPUtime=0.09 cores=1,3
/proc/30079/stat : 30079 (fscip) R 30074 30079 27893 0 -1 4194304 12007 0 0 0 8 1 0 0 20 0 1 0 4817186 70492160 14340 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
/proc/30079/statm: 17210 14340 2614 3035 0 13606 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 68840 KiB
Current children cumulated memory: 57360 KiB
[startup+0.205615 s]*
/proc/loadavg: 4.16 4.12 4.03 5/253 30097
/proc/meminfo: memFree=119819996/131524600 swapFree=131071996/131071996
[pid=30079] ppid=30074 vsize=81668 memory=69868 CPUtime=0.2 cores=1,3
/proc/30079/stat : 30079 (fscip) R 30074 30079 27893 0 -1 4194304 19682 0 0 0 17 3 0 0 20 0 1 0 4817186 83628032 17467 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
/proc/30079/statm: 20417 17467 2726 3035 0 16813 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 81668 KiB
Current children cumulated memory: 69868 KiB
[startup+0.305759 s]*
/proc/loadavg: 4.16 4.12 4.03 5/260 30108
/proc/meminfo: memFree=119780588/131524600 swapFree=131071996/131071996
[pid=30079] ppid=30074 vsize=87924 memory=75824 CPUtime=0.3 cores=1,3
/proc/30079/stat : 30079 (fscip) R 30074 30079 27893 0 -1 4194304 21184 0 0 0 27 3 0 0 20 0 1 0 4817186 90034176 18956 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
/proc/30079/statm: 21981 18956 2774 3035 0 18377 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 87924 KiB
Current children cumulated memory: 75824 KiB
[startup+0.70083 s]
/proc/loadavg: 4.16 4.12 4.03 4/258 30125
/proc/meminfo: memFree=119726632/131524600 swapFree=131071996/131071996
[pid=30079] ppid=30074 vsize=252540 memory=152960 CPUtime=0.68 cores=1,3
/proc/30079/stat : 30079 (fscip) S 30074 30079 27893 0 -1 1077936128 42000 0 0 0 62 6 0 0 20 0 3 0 4817186 258600960 38240 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
/proc/30079/statm: 63135 38240 2870 3035 0 43869 0
[pid=30079/tid=30109] ppid=30074 vsize=252540 memory=5492 CPUtime=0.31 cores=1,3
/proc/30079/task/30109/stat : 30109 (fscip) R 30074 30079 27893 0 -1 4194368 16436 0 0 0 29 2 0 0 20 0 3 0 4817221 258600960 38240 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
[pid=30079/tid=30110] ppid=30074 vsize=252540 memory=101601 CPUtime=0 cores=1,3
/proc/30079/task/30110/stat : 30110 (fscip) S 30074 30079 27893 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4817224 258600960 38240 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 252540 KiB
Current children cumulated memory: 152960 KiB
[startup+1.50084 s]
/proc/loadavg: 4.16 4.12 4.03 4/259 30174
/proc/meminfo: memFree=119579156/131524600 swapFree=131071996/131071996
[pid=30079] ppid=30074 vsize=318076 memory=221560 CPUtime=1.47 cores=1,3
/proc/30079/stat : 30079 (fscip) S 30074 30079 27893 0 -1 1077936128 64924 0 0 0 138 9 0 0 20 0 3 0 4817186 325709824 55390 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
/proc/30079/statm: 79519 55390 2966 3035 0 61839 0
[pid=30079/tid=30109] ppid=30074 vsize=318076 memory=101601 CPUtime=1.1 cores=1,3
/proc/30079/task/30109/stat : 30109 (fscip) R 30074 30079 27893 0 -1 4194368 39360 0 0 0 105 5 0 0 20 0 3 0 4817221 325709824 55390 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
[pid=30079/tid=30110] ppid=30074 vsize=318076 memory=0 CPUtime=0 cores=1,3
/proc/30079/task/30110/stat : 30110 (fscip) S 30074 30079 27893 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4817224 325709824 55390 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 318076 KiB
Current children cumulated memory: 221560 KiB
[startup+3.10527 s]
/proc/loadavg: 4.15 4.11 4.03 5/264 30208
/proc/meminfo: memFree=119359184/131524600 swapFree=131071996/131071996
[pid=30079] ppid=30074 vsize=318076 memory=225144 CPUtime=3.06 cores=1,3
/proc/30079/stat : 30079 (fscip) S 30074 30079 27893 0 -1 1077936128 84015 0 0 0 296 10 0 0 20 0 3 0 4817186 325709824 56286 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
/proc/30079/statm: 79519 56286 2966 3035 0 62096 0
[pid=30079/tid=30109] ppid=30074 vsize=318076 memory=13204 CPUtime=2.69 cores=1,3
/proc/30079/task/30109/stat : 30109 (fscip) R 30074 30079 27893 0 -1 4194368 58448 0 0 0 263 6 0 0 20 0 3 0 4817221 325709824 56286 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
[pid=30079/tid=30110] ppid=30074 vsize=318076 memory=-5155631284515269509 CPUtime=0 cores=1,3
/proc/30079/task/30110/stat : 30110 (fscip) S 30074 30079 27893 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 4817224 325709824 56286 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 318076 KiB
Current children cumulated memory: 225144 KiB
[startup+6.30018 s]
/proc/loadavg: 4.15 4.11 4.03 5/264 30208
/proc/meminfo: memFree=119310700/131524600 swapFree=131071996/131071996
[pid=30079] ppid=30074 vsize=318076 memory=255944 CPUtime=6.24 cores=1,3
/proc/30079/stat : 30079 (fscip) S 30074 30079 27893 0 -1 1077936128 116387 0 0 0 611 13 0 0 20 0 3 0 4817186 325709824 63986 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
/proc/30079/statm: 79519 63986 2966 3035 0 72540 0
[pid=30079/tid=30109] ppid=30074 vsize=318076 memory=224232 CPUtime=5.88 cores=1,3
/proc/30079/task/30109/stat : 30109 (fscip) R 30074 30079 27893 0 -1 4194368 90820 0 0 0 579 9 0 0 20 0 3 0 4817221 325709824 63986 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
[pid=30079/tid=30110] ppid=30074 vsize=318076 memory=11712 CPUtime=0 cores=1,3
/proc/30079/task/30110/stat : 30110 (fscip) S 30074 30079 27893 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 4817224 325709824 63986 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 318076 KiB
Current children cumulated memory: 255944 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 4.11 4.03 5/264 30210
/proc/meminfo: memFree=119262988/131524600 swapFree=131071996/131071996
[pid=30079] ppid=30074 vsize=318076 memory=263740 CPUtime=12.62 cores=1,3
/proc/30079/stat : 30079 (fscip) S 30074 30079 27893 0 -1 1077936128 145321 0 0 0 1248 14 0 0 20 0 3 0 4817186 325709824 65935 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
/proc/30079/statm: 79519 65935 2966 3035 0 75071 0
[pid=30079/tid=30109] ppid=30074 vsize=318076 memory=260980 CPUtime=12.25 cores=1,3
/proc/30079/task/30109/stat : 30109 (fscip) R 30074 30079 27893 0 -1 4194368 119748 0 0 0 1215 10 0 0 20 0 3 0 4817221 325709824 65935 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
[pid=30079/tid=30110] ppid=30074 vsize=318076 memory=250716 CPUtime=0 cores=1,3
/proc/30079/task/30110/stat : 30110 (fscip) S 30074 30079 27893 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 4817224 325709824 65935 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 318076 KiB
Current children cumulated memory: 263740 KiB
[startup+25.5003 s]
/proc/loadavg: 4.17 4.12 4.03 5/264 30211
/proc/meminfo: memFree=119194316/131524600 swapFree=131071996/131071996
[pid=30079] ppid=30074 vsize=383612 memory=314972 CPUtime=25.38 cores=1,3
/proc/30079/stat : 30079 (fscip) S 30074 30079 27893 0 -1 1077936128 208538 0 0 0 2519 19 0 0 20 0 3 0 4817186 392818688 78743 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
/proc/30079/statm: 95903 78743 3014 3035 0 87846 0
[pid=30079/tid=30109] ppid=30074 vsize=383612 memory=4568 CPUtime=25.01 cores=1,3
/proc/30079/task/30109/stat : 30109 (fscip) R 30074 30079 27893 0 -1 4194368 182086 0 0 0 2487 14 0 0 20 0 3 0 4817221 392818688 78743 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
[pid=30079/tid=30110] ppid=30074 vsize=383612 memory=314896 CPUtime=0 cores=1,3
/proc/30079/task/30110/stat : 30110 (fscip) S 30074 30079 27893 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 4817224 392818688 78743 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 383612 KiB
Current children cumulated memory: 314972 KiB
[startup+51.1055 s]
/proc/loadavg: 4.11 4.11 4.03 5/265 30273
/proc/meminfo: memFree=119100468/131524600 swapFree=131071996/131071996
[pid=30079] ppid=30074 vsize=383612 memory=315168 CPUtime=50.92 cores=1,3
/proc/30079/stat : 30079 (fscip) S 30074 30079 27893 0 -1 1077936128 242992 0 0 0 5071 21 0 0 20 0 3 0 4817186 392818688 78792 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
/proc/30079/statm: 95903 78792 3030 3035 0 87846 0
[pid=30079/tid=30109] ppid=30074 vsize=383612 memory=315152 CPUtime=50.54 cores=1,3
/proc/30079/task/30109/stat : 30109 (fscip) R 30074 30079 27893 0 -1 4194368 216450 0 0 0 5038 16 0 0 20 0 3 0 4817221 392818688 78792 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
[pid=30079/tid=30110] ppid=30074 vsize=383612 memory=315036 CPUtime=0 cores=1,3
/proc/30079/task/30110/stat : 30110 (fscip) S 30074 30079 27893 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 4817224 392818688 78792 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 383612 KiB
Current children cumulated memory: 315168 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.03 5/265 30283
/proc/meminfo: memFree=119060256/131524600 swapFree=131071996/131071996
[pid=30079] ppid=30074 vsize=383612 memory=315312 CPUtime=101.98 cores=1,3
/proc/30079/stat : 30079 (fscip) S 30074 30079 27893 0 -1 1077936128 291037 0 0 0 10174 24 0 0 20 0 3 0 4817186 392818688 78828 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
/proc/30079/statm: 95903 78828 3030 3035 0 87846 0
[pid=30079/tid=30109] ppid=30074 vsize=383612 memory=11712 CPUtime=101.6 cores=1,3
/proc/30079/task/30109/stat : 30109 (fscip) R 30074 30079 27893 0 -1 4194368 264411 0 0 0 10141 19 0 0 20 0 3 0 4817221 392818688 78828 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
[pid=30079/tid=30110] ppid=30074 vsize=383612 memory=315308 CPUtime=0 cores=1,3
/proc/30079/task/30110/stat : 30110 (fscip) S 30074 30079 27893 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 4817224 392818688 78828 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 383612 KiB
Current children cumulated memory: 315312 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.03 5/265 30293
/proc/meminfo: memFree=119003616/131524600 swapFree=131071996/131071996
[pid=30079] ppid=30074 vsize=383612 memory=315328 CPUtime=161.81 cores=1,3
/proc/30079/stat : 30079 (fscip) S 30074 30079 27893 0 -1 1077936128 325528 0 0 0 16156 25 0 0 20 0 3 0 4817186 392818688 78832 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
/proc/30079/statm: 95903 78832 3030 3035 0 87846 0
[pid=30079/tid=30109] ppid=30074 vsize=383612 memory=-7668622482090320505 CPUtime=161.44 cores=1,3
/proc/30079/task/30109/stat : 30109 (fscip) R 30074 30079 27893 0 -1 4194368 298819 0 0 0 16124 20 0 0 20 0 3 0 4817221 392818688 78832 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
[pid=30079/tid=30110] ppid=30074 vsize=383612 memory=315328 CPUtime=0 cores=1,3
/proc/30079/task/30110/stat : 30110 (fscip) S 30074 30079 27893 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 4817224 392818688 78832 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 383612 KiB
Current children cumulated memory: 315328 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.03 5/265 30303
/proc/meminfo: memFree=118948944/131524600 swapFree=131071996/131071996
[pid=30079] ppid=30074 vsize=383612 memory=315392 CPUtime=221.62 cores=1,3
/proc/30079/stat : 30079 (fscip) S 30074 30079 27893 0 -1 1077936128 351574 0 0 0 22135 27 0 0 20 0 3 0 4817186 392818688 78848 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
/proc/30079/statm: 95903 78848 3030 3035 0 87846 0
[pid=30079/tid=30109] ppid=30074 vsize=383612 memory=315364 CPUtime=221.24 cores=1,3
/proc/30079/task/30109/stat : 30109 (fscip) R 30074 30079 27893 0 -1 4194368 324787 0 0 0 22102 22 0 0 20 0 3 0 4817221 392818688 78848 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
[pid=30079/tid=30110] ppid=30074 vsize=383612 memory=11712 CPUtime=0 cores=1,3
/proc/30079/task/30110/stat : 30110 (fscip) S 30074 30079 27893 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 4817224 392818688 78848 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
################
# More data... #
################
[pid=30079] ppid=30074 vsize=584828 memory=507260 CPUtime=3452.68 cores=1,3
/proc/30079/stat : 30079 (fscip) S 30074 30079 27893 0 -1 1077936128 771378 0 0 0 345204 64 0 0 20 0 3 0 4817186 598863872 126815 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
/proc/30079/statm: 146207 126815 3030 3035 0 139141 0
[pid=30079/tid=30109] ppid=30074 vsize=584828 memory=507260 CPUtime=3452.23 cores=1,3
/proc/30079/task/30109/stat : 30109 (fscip) R 30074 30079 27893 0 -1 4194368 743219 0 0 0 345167 56 0 0 20 0 3 0 4817221 598863872 126815 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
[pid=30079/tid=30110] ppid=30074 vsize=584828 memory=11712 CPUtime=0.03 cores=1,3
/proc/30079/task/30110/stat : 30110 (fscip) S 30074 30079 27893 0 -1 1077936192 315 0 0 0 1 2 0 0 20 0 3 0 4817224 598863872 126815 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
Current children cumulated CPU time: 3452.68 s
Current children cumulated vsize: 584828 KiB
Current children cumulated memory: 507260 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/264 32068
/proc/meminfo: memFree=114764256/131524600 swapFree=131071996/131071996
[pid=30079] ppid=30074 vsize=584828 memory=507756 CPUtime=3512.49 cores=1,3
/proc/30079/stat : 30079 (fscip) S 30074 30079 27893 0 -1 1077936128 774276 0 0 0 351185 64 0 0 20 0 3 0 4817186 598863872 126939 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
/proc/30079/statm: 146207 126939 3030 3035 0 139736 0
[pid=30079/tid=30109] ppid=30074 vsize=584828 memory=507260 CPUtime=3512.04 cores=1,3
/proc/30079/task/30109/stat : 30109 (fscip) R 30074 30079 27893 0 -1 4194368 746094 0 0 0 351148 56 0 0 20 0 3 0 4817221 598863872 126939 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
[pid=30079/tid=30110] ppid=30074 vsize=584828 memory=13204 CPUtime=0.03 cores=1,3
/proc/30079/task/30110/stat : 30110 (fscip) S 30074 30079 27893 0 -1 1077936192 318 0 0 0 1 2 0 0 20 0 3 0 4817224 598863872 126939 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
Current children cumulated CPU time: 3512.49 s
Current children cumulated vsize: 584828 KiB
Current children cumulated memory: 507756 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.11 5/264 32246
/proc/meminfo: memFree=114757296/131524600 swapFree=131071996/131071996
[pid=30079] ppid=30074 vsize=584828 memory=508040 CPUtime=3572.31 cores=1,3
/proc/30079/stat : 30079 (fscip) S 30074 30079 27893 0 -1 1077936128 775845 0 0 0 357167 64 0 0 20 0 3 0 4817186 598863872 127010 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
/proc/30079/statm: 146207 127010 3030 3035 0 139736 0
[pid=30079/tid=30109] ppid=30074 vsize=584828 memory=11712 CPUtime=3571.86 cores=1,3
/proc/30079/task/30109/stat : 30109 (fscip) R 30074 30079 27893 0 -1 4194368 747656 0 0 0 357130 56 0 0 20 0 3 0 4817221 598863872 127010 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
[pid=30079/tid=30110] ppid=30074 vsize=584828 memory=508040 CPUtime=0.03 cores=1,3
/proc/30079/task/30110/stat : 30110 (fscip) S 30074 30079 27893 0 -1 1077936192 321 0 0 0 1 2 0 0 20 0 3 0 4817224 598863872 127010 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
Current children cumulated CPU time: 3572.31 s
Current children cumulated vsize: 584828 KiB
Current children cumulated memory: 508040 KiB
[startup+3598.12 s]
# the end of solver process 30079 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.44 s, system=0.656011 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.10 4.11 5/264 32246
/proc/meminfo: memFree=114752448/131524600 swapFree=131071996/131071996
[pid=30079] ppid=30074 vsize=584828 memory=508508 CPUtime=3574.01 cores=1,3
/proc/30079/stat : 30079 (fscip) S 30074 30079 27893 0 -1 1077936128 775986 0 0 0 357337 64 0 0 20 0 3 0 4817186 598863872 127127 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
/proc/30079/statm: 146207 127127 3030 3035 0 139820 0
[pid=30079/tid=30109] ppid=30074 vsize=584828 memory=11712 CPUtime=3573.56 cores=1,3
/proc/30079/task/30109/stat : 30109 (fscip) R 30074 30079 27893 0 -1 4194368 747797 0 0 0 357300 56 0 0 20 0 3 0 4817221 598863872 127127 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
[pid=30079/tid=30110] ppid=30074 vsize=584828 memory=508040 CPUtime=0.03 cores=1,3
/proc/30079/task/30110/stat : 30110 (fscip) S 30074 30079 27893 0 -1 1077936192 321 0 0 0 1 2 0 0 20 0 3 0 4817224 598863872 127127 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
Current children cumulated CPU time: 3574.01 s
Current children cumulated vsize: 584828 KiB
Current children cumulated memory: 508508 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.10 4.11 5/264 32248
/proc/meminfo: memFree=114752160/131524600 swapFree=131071996/131071996
[pid=30079] ppid=30074 vsize=584828 memory=508604 CPUtime=3580.38 cores=1,3
/proc/30079/stat : 30079 (fscip) S 30074 30079 27893 0 -1 1077936128 777292 0 0 0 357974 64 0 0 20 0 3 0 4817186 598863872 127151 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
/proc/30079/statm: 146207 127151 3030 3035 0 139820 0
[pid=30079/tid=30109] ppid=30074 vsize=584828 memory=508604 CPUtime=3579.93 cores=1,3
/proc/30079/task/30109/stat : 30109 (fscip) R 30074 30079 27893 0 -1 4194368 749080 0 0 0 357937 56 0 0 20 0 3 0 4817221 598863872 127151 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
[pid=30079/tid=30110] ppid=30074 vsize=584828 memory=508040 CPUtime=0.03 cores=1,3
/proc/30079/task/30110/stat : 30110 (fscip) S 30074 30079 27893 0 -1 1077936192 324 0 0 0 1 2 0 0 20 0 3 0 4817224 598863872 127151 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
Current children cumulated CPU time: 3580.38 s
Current children cumulated vsize: 584828 KiB
Current children cumulated memory: 508604 KiB
[startup+3593.6 s]
/proc/loadavg: 4.10 4.10 4.11 5/264 32248
/proc/meminfo: memFree=114750388/131524600 swapFree=131071996/131071996
[pid=30079] ppid=30074 vsize=584828 memory=508604 CPUtime=3583.57 cores=1,3
/proc/30079/stat : 30079 (fscip) S 30074 30079 27893 0 -1 1077936128 777364 0 0 0 358293 64 0 0 20 0 3 0 4817186 598863872 127151 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
/proc/30079/statm: 146207 127151 3030 3035 0 139820 0
[pid=30079/tid=30109] ppid=30074 vsize=584828 memory=508604 CPUtime=3583.12 cores=1,3
/proc/30079/task/30109/stat : 30109 (fscip) R 30074 30079 27893 0 -1 4194368 749152 0 0 0 358256 56 0 0 20 0 3 0 4817221 598863872 127151 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
[pid=30079/tid=30110] ppid=30074 vsize=584828 memory=508604 CPUtime=0.03 cores=1,3
/proc/30079/task/30110/stat : 30110 (fscip) S 30074 30079 27893 0 -1 1077936192 324 0 0 0 1 2 0 0 20 0 3 0 4817224 598863872 127151 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
Current children cumulated CPU time: 3583.57 s
Current children cumulated vsize: 584828 KiB
Current children cumulated memory: 508604 KiB
[startup+3595.2 s]
/proc/loadavg: 4.09 4.10 4.11 5/264 32248
/proc/meminfo: memFree=114750380/131524600 swapFree=131071996/131071996
[pid=30079] ppid=30074 vsize=584828 memory=508604 CPUtime=3585.17 cores=1,3
/proc/30079/stat : 30079 (fscip) S 30074 30079 27893 0 -1 1077936128 777364 0 0 0 358453 64 0 0 20 0 3 0 4817186 598863872 127151 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
/proc/30079/statm: 146207 127151 3030 3035 0 139820 0
[pid=30079/tid=30109] ppid=30074 vsize=584828 memory=508604 CPUtime=3584.72 cores=1,3
/proc/30079/task/30109/stat : 30109 (fscip) R 30074 30079 27893 0 -1 4194368 749152 0 0 0 358416 56 0 0 20 0 3 0 4817221 598863872 127151 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
[pid=30079/tid=30110] ppid=30074 vsize=584828 memory=5292 CPUtime=0.03 cores=1,3
/proc/30079/task/30110/stat : 30110 (fscip) S 30074 30079 27893 0 -1 1077936192 324 0 0 0 1 2 0 0 20 0 3 0 4817224 598863872 127151 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
Current children cumulated CPU time: 3585.17 s
Current children cumulated vsize: 584828 KiB
Current children cumulated memory: 508604 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.10 4.11 5/264 32248
/proc/meminfo: memFree=114750388/131524600 swapFree=131071996/131071996
[pid=30079] ppid=30074 vsize=584828 memory=508604 CPUtime=3586.76 cores=1,3
/proc/30079/stat : 30079 (fscip) S 30074 30079 27893 0 -1 1077936128 777428 0 0 0 358612 64 0 0 20 0 3 0 4817186 598863872 127151 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
/proc/30079/statm: 146207 127151 3030 3035 0 139820 0
[pid=30079/tid=30109] ppid=30074 vsize=584828 memory=13204 CPUtime=3586.31 cores=1,3
/proc/30079/task/30109/stat : 30109 (fscip) R 30074 30079 27893 0 -1 4194368 749216 0 0 0 358575 56 0 0 20 0 3 0 4817221 598863872 127151 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
[pid=30079/tid=30110] ppid=30074 vsize=584828 memory=508040 CPUtime=0.03 cores=1,3
/proc/30079/task/30110/stat : 30110 (fscip) S 30074 30079 27893 0 -1 1077936192 324 0 0 0 1 2 0 0 20 0 3 0 4817224 598863872 127151 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
Current children cumulated CPU time: 3586.76 s
Current children cumulated vsize: 584828 KiB
Current children cumulated memory: 508604 KiB
[startup+3597.6 s]
/proc/loadavg: 4.09 4.10 4.11 5/264 32248
/proc/meminfo: memFree=114750388/131524600 swapFree=131071996/131071996
[pid=30079] ppid=30074 vsize=584828 memory=508604 CPUtime=3587.56 cores=1,3
/proc/30079/stat : 30079 (fscip) S 30074 30079 27893 0 -1 1077936128 777429 0 0 0 358692 64 0 0 20 0 3 0 4817186 598863872 127151 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
/proc/30079/statm: 146207 127151 3030 3035 0 139820 0
[pid=30079/tid=30109] ppid=30074 vsize=584828 memory=-7380110630961898362 CPUtime=3587.11 cores=1,3
/proc/30079/task/30109/stat : 30109 (fscip) R 30074 30079 27893 0 -1 4194368 749217 0 0 0 358655 56 0 0 20 0 3 0 4817221 598863872 127151 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
[pid=30079/tid=30110] ppid=30074 vsize=584828 memory=4353457588068314781 CPUtime=0.03 cores=1,3
/proc/30079/task/30110/stat : 30110 (fscip) S 30074 30079 27893 0 -1 1077936192 324 0 0 0 1 2 0 0 20 0 3 0 4817224 598863872 127151 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
Current children cumulated CPU time: 3587.56 s
Current children cumulated vsize: 584828 KiB
Current children cumulated memory: 508604 KiB
[startup+3598 s]*
/proc/loadavg: 4.09 4.10 4.11 5/264 32248
/proc/meminfo: memFree=114750108/131524600 swapFree=131071996/131071996
[pid=30079] ppid=30074 vsize=584828 memory=508604 CPUtime=3587.97 cores=1,3
/proc/30079/stat : 30079 (fscip) S 30074 30079 27893 0 -1 1077936128 777431 0 0 0 358733 64 0 0 20 0 3 0 4817186 598863872 127151 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
/proc/30079/statm: 146207 127151 3030 3035 0 139820 0
[pid=30079/tid=30109] ppid=30074 vsize=584828 memory=-7380110630961898362 CPUtime=3587.51 cores=1,3
/proc/30079/task/30109/stat : 30109 (fscip) R 30074 30079 27893 0 -1 4194368 749219 0 0 0 358695 56 0 0 20 0 3 0 4817221 598863872 127151 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
[pid=30079/tid=30110] ppid=30074 vsize=584828 memory=7078607063656472084 CPUtime=0.03 cores=1,3
/proc/30079/task/30110/stat : 30110 (fscip) S 30074 30079 27893 0 -1 1077936192 324 0 0 0 1 2 0 0 20 0 3 0 4817224 598863872 127151 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
Current children cumulated CPU time: 3587.97 s
Current children cumulated vsize: 584828 KiB
Current children cumulated memory: 508604 KiB
[startup+3598.11 s]
/proc/loadavg: 4.09 4.10 4.11 5/264 32248
/proc/meminfo: memFree=114750108/131524600 swapFree=131071996/131071996
[pid=30079] ppid=30074 vsize=570216 memory=493072 CPUtime=3588.07 cores=1,3
/proc/30079/stat : 30079 (fscip) R 30074 30079 27893 0 -1 4194304 780057 0 0 0 358743 64 0 0 20 0 2 0 4817186 583901184 123268 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
/proc/30079/statm: 142554 123268 3030 3035 0 136167 0
[pid=30079/tid=30110] ppid=30074 vsize=570216 memory=5492 CPUtime=0.03 cores=1,3
/proc/30079/task/30110/stat : 30110 (fscip) S 30074 30079 27893 0 -1 1077936192 324 0 0 0 1 2 0 0 20 0 2 0 4817224 583901184 123268 134679101440 4194304 16623229 140721365486864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27951104 140721365488662 140721365488778 140721365488778 140721365495792 0
Current children cumulated CPU time: 3588.07 s
Current children cumulated vsize: 570216 KiB
Current children cumulated memory: 493072 KiB
Child status: 0
Real time (s): 3598.12
CPU time (s): 3588.09
CPU user time (s): 3587.44
CPU system time (s): 0.656011
CPU usage (%): 99.7212
Max. virtual memory (cumulated for all children) (KiB): 584828
Max. memory (cumulated for all children) (KiB): 508604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.44
system time used= 0.656011
maximum resident set size= 508624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 780347
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4570
involuntary context switches= 3240
# summary of solver processes directly reported to runsolver:
# pid: 30079
# total CPU time (s): 3588.09
# total CPU user time (s): 3587.44
# total CPU system time (s): 0.656011
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.22396 second user time and 16.8581 second system time
The end
Begin job on nodeC020 at 2024-07-31 01:29:53
IDJOB=4464080
IDBENCH=148194
IDSOLVER=3092
FILE ID=nodeC020/4464080-1722382193
RUNJOBID= nodeC020-1722378594-27905
SLURM_JOB_ID= 8249843
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464080-1722382193/watcher-4464080-1722382193 -o /tmp/evaluation-result-4464080-1722382193/solver-4464080-1722382193 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722378594-27905 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464080-1722382193.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 529ae296d86301d65a8fd4e36abb4ed9
RANDOM SEED=1453536771
nodeC020.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.133
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3659.078
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.00
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3672.624
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3673.065
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.00
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.181
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3635.655
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.00
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.522
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3670.866
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.00
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 119925096 kB
MemAvailable: 127589768 kB
Buffers: 98080 kB
Cached: 8381888 kB
SwapCached: 0 kB
Active: 271928 kB
Inactive: 10809916 kB
Active(anon): 1568 kB
Inactive(anon): 2621652 kB
Active(file): 270360 kB
Inactive(file): 8188264 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 58148 kB
Writeback: 0 kB
AnonPages: 2599964 kB
Mapped: 110520 kB
Shmem: 21336 kB
KReclaimable: 91392 kB
Slab: 173140 kB
SReclaimable: 91392 kB
SUnreclaim: 81748 kB
KernelStack: 4048 kB
PageTables: 13904 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1447180 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9792 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1112064 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 193236 kB
DirectMap2M: 10065920 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 889892 MiB
End job on nodeC020 at 2024-07-31 02:29:51