0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
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.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
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.2.1 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.06 c Default LC presolving (default).
0.00/0.06 c ** Before presolving: virtualMemUsedAtLc = 61725064, getVmSize() = 61435904, SCIPgetMemUsed() = 33021064, SCIPgetMemTotal() = 38321608, SCIPgetMemExternEstim() = 23403456
0.00/0.06 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.20/0.30 c ** Estimated virtualMemUsedAtSolver = 62004363, getVmSize() = 96387072, SCIPgetMemUsed() = 37269617, SCIPgetMemTotal() = 69603089, SCIPgetMemExternEstim() = 23403456
0.20/0.30 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.20/0.30 c Original Problem :
0.20/0.30 c Problem name : instance-4434750-1721105262
0.20/0.30 c Variables : 5499 (5499 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.30 c Constraints : 19319
0.20/0.30 c Objective sense : minimize
0.20/0.30 c Presolved Problem :
0.20/0.30 c Variables : 4873 (4873 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.30 c Constraints : 4813
0.20/0.30 c Constraints : Number
0.20/0.30 c knapsack : 1
0.20/0.30 c setppc : 542
0.20/0.30 c and : 4265
0.20/0.30 c logicor : 5
0.20/0.30 c ** Instance transfer method used: 0
0.30/0.32 c ** ParaScipInstance copy does not increase the number of variables. **
0.30/0.33 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.30/0.33 c Nodes Active
0.30/0.33 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.58/0.60 c * 1 0 1 1 22.0000 - -
14.44/14.54 c 15 2 1 1 22.0000 11.6137 89.43%
19.42/19.57 c 20 4 3 1 22.0000 11.6551 88.76%
26.11/26.23 c 26 7 6 1 22.0000 11.7580 87.11%
32.89/33.01 c 33 9 8 1 22.0000 11.7580 87.11%
48.95/49.17 c 49 12 11 1 22.0000 11.7580 87.11%
54.04/54.23 c 54 14 13 1 22.0000 11.7580 87.11%
60.12/60.30 c 60 17 16 1 22.0000 11.7580 87.11%
66.49/66.70 c 67 20 19 1 22.0000 11.7849 86.68%
80.26/80.51 c 81 24 23 1 22.0000 11.7849 86.68%
87.85/88.16 c 88 27 26 1 22.0000 11.7965 86.50%
93.32/93.65 c 94 32 31 1 22.0000 11.7965 86.50%
101.20/101.57 c 102 36 35 1 22.0000 11.8628 85.45%
111.27/111.64 c 112 41 40 1 22.0000 11.8628 85.45%
121.15/121.51 c 122 46 45 1 22.0000 11.8701 85.34%
126.83/127.20 c 127 50 49 1 22.0000 11.8701 85.34%
137.70/138.19 c 138 54 53 1 22.0000 11.8701 85.34%
143.59/144.07 c 144 56 55 1 22.0000 11.8925 84.99%
152.56/153.03 c 153 58 57 1 22.0000 11.8925 84.99%
160.74/161.29 c 161 59 58 1 22.0000 11.8925 84.99%
166.23/166.77 c 167 64 63 1 22.0000 11.8925 84.99%
178.79/179.38 c 179 65 64 1 22.0000 11.9768 83.69%
186.97/187.52 c 188 71 70 1 22.0000 11.9768 83.69%
192.66/193.24 c 193 78 77 1 22.0000 11.9768 83.69%
205.82/206.40 c 206 83 82 1 22.0000 11.9768 83.69%
245.42/246.19 c 246 90 89 1 22.0000 11.9768 83.69%
257.78/258.55 c 259 92 91 1 22.0000 11.9768 83.69%
264.66/265.49 c 265 102 101 1 22.0000 11.9768 83.69%
271.14/271.98 c 272 106 105 1 22.0000 11.9768 83.69%
277.23/278.06 c 278 114 115 1 22.0000 11.9768 83.69%
282.91/283.70 c 284 120 119 1 22.0000 11.9768 83.69%
298.47/299.39 c 299 126 125 1 22.0000 11.9768 83.69%
303.66/304.57 c 305 127 126 1 22.0000 11.9768 83.69%
315.13/316.08 c 316 130 129 1 22.0000 11.9768 83.69%
322.21/323.11 c 323 138 137 1 22.0000 11.9768 83.69%
340.36/341.38 c 341 141 140 1 22.0000 11.9768 83.69%
358.02/359.10 c 359 142 141 1 22.0000 11.9768 83.69%
371.08/372.13 c 372 144 143 1 22.0000 11.9768 83.69%
387.04/388.12 c 388 147 146 1 22.0000 11.9768 83.69%
401.19/402.38 c 402 151 150 1 22.0000 11.9768 83.69%
407.37/408.58 c 409 152 151 1 22.0000 11.9768 83.69%
424.24/425.42 c 425 153 152 1 22.0000 11.9768 83.69%
430.42/431.61 c 432 155 154 1 22.0000 11.9768 83.69%
435.50/436.70 c 437 156 155 1 22.0000 11.9794 83.65%
445.18/446.48 c 446 160 159 1 22.0000 12.0419 82.70%
453.06/454.35 c 454 162 161 1 22.0000 12.0419 82.70%
481.88/483.28 c 483 164 163 1 22.0000 12.0419 82.70%
488.46/489.80 c 490 165 164 1 22.0000 12.0419 82.70%
495.25/496.63 c 497 166 165 1 22.0000 12.0419 82.70%
501.63/503.03 c 503 168 167 1 22.0000 12.0419 82.70%
508.01/509.48 c 509 171 170 1 22.0000 12.0419 82.70%
520.18/521.66 c 522 172 171 1 22.0000 12.0419 82.70%
529.56/531.06 c 531 173 172 1 22.0000 12.0419 82.70%
554.99/556.59 c 557 175 174 1 22.0000 12.0419 82.70%
580.92/582.58 c 583 176 175 1 22.0000 12.0419 82.70%
586.71/588.37 c 588 177 176 1 22.0000 12.0419 82.70%
592.00/593.66 c 594 178 177 1 22.0000 12.0419 82.70%
602.07/603.77 c 604 179 178 1 22.0000 12.0419 82.70%
609.25/610.95 c 611 180 179 1 22.0000 12.0419 82.70%
617.13/618.85 c 619 181 180 1 22.0000 12.0419 82.70%
625.60/627.39 c 627 182 181 1 22.0000 12.1486 81.09%
634.28/636.02 c 636 184 183 1 22.0000 12.1486 81.09%
664.01/665.80 c 666 186 185 1 22.0000 12.1486 81.09%
672.08/673.91 c 674 187 186 1 22.0000 12.1486 81.09%
680.46/682.32 c 682 189 188 1 22.0000 12.1486 81.09%
688.94/690.88 c 691 191 190 1 22.0000 12.1486 81.09%
708.59/710.56 c 711 193 192 1 22.0000 12.1486 81.09%
714.87/716.87 c 717 194 193 1 22.0000 12.1486 81.09%
722.65/724.63 c 725 196 195 1 22.0000 12.1486 81.09%
728.54/730.53 c 731 199 198 1 22.0000 12.1486 81.09%
733.73/735.76 c 736 200 199 1 22.0000 12.1486 81.09%
747.19/749.24 c 749 201 200 1 22.0000 12.1486 81.09%
753.17/755.29 c 755 201 202 1 22.0000 12.1486 81.09%
787.58/789.77 c 790 204 203 1 22.0000 12.1486 81.09%
793.07/795.27 c 795 205 204 1 22.0000 12.1486 81.09%
800.55/802.73 c 803 206 205 1 22.0000 12.1486 81.09%
811.72/813.93 c 814 208 207 1 22.0000 12.1486 81.09%
820.10/822.36 c 822 210 209 1 22.0000 12.1486 81.09%
831.17/833.46 c 833 214 213 1 22.0000 12.1486 81.09%
842.74/845.03 c 845 215 214 1 22.0000 12.1486 81.09%
849.03/851.34 c 851 217 216 1 22.0000 12.1486 81.09%
857.60/859.98 c 860 218 217 1 22.0000 12.1486 81.09%
864.38/866.73 c 867 220 219 1 22.0000 12.1486 81.09%
873.34/875.70 c 876 221 220 1 22.0000 12.1486 81.09%
881.62/884.03 c 884 223 222 1 22.0000 12.1486 81.09%
889.09/891.59 c 892 225 224 1 22.0000 12.1486 81.09%
897.86/900.32 c 900 227 226 1 22.0000 12.1486 81.09%
905.94/908.46 c 908 229 228 1 22.0000 12.1486 81.09%
911.63/914.17 c 914 230 229 1 22.0000 12.1486 81.09%
916.90/919.44 c 919 232 231 1 22.0000 12.1486 81.09%
930.26/932.81 c 933 233 232 1 22.0000 12.1486 81.09%
937.84/940.43 c 940 235 234 1 22.0000 12.1486 81.09%
945.82/948.45 c 948 237 236 1 22.0000 12.1486 81.09%
990.19/992.99 c 993 239 238 1 22.0000 12.1486 81.09%
1000.37/1003.17 c 1003 240 239 1 22.0000 12.1486 81.09%
1007.85/1010.62 c 1011 242 241 1 22.0000 12.1486 81.09%
1049.95/1052.83 c 1053 245 244 1 22.0000 12.1486 81.09%
1063.22/1066.18 c 1066 246 245 1 22.0000 12.1486 81.09%
1089.25/1092.26 c 1092 247 246 1 22.0000 12.1486 81.09%
1106.80/1109.86 c 1110 249 248 1 22.0000 12.1486 81.09%
1115.28/1118.34 c 1118 251 250 1 22.0000 12.1486 81.09%
1122.66/1125.76 c 1126 253 252 1 22.0000 12.1486 81.09%
1128.64/1131.72 c 1132 255 254 1 22.0000 12.1486 81.09%
1146.70/1149.87 c 1150 256 255 1 22.0000 12.1486 81.09%
1169.64/1172.84 c 1173 257 256 1 22.0000 12.1486 81.09%
1178.01/1181.24 c 1181 258 257 1 22.0000 12.1486 81.09%
1184.60/1187.87 c 1188 260 259 1 22.0000 12.1486 81.09%
1190.88/1194.15 c 1194 262 261 1 22.0000 12.1486 81.09%
1221.40/1224.70 c 1225 263 262 1 22.0000 12.1486 81.09%
1242.16/1245.56 c 1246 264 263 1 22.0000 12.1486 81.09%
1250.34/1253.79 c 1254 265 264 1 22.0000 12.1486 81.09%
1255.73/1259.14 c 1259 267 266 1 22.0000 12.1486 81.09%
1264.80/1268.21 c 1268 268 267 1 22.0000 12.1486 81.09%
1271.09/1274.51 c 1275 269 268 1 22.0000 12.1486 81.09%
1282.86/1286.32 c 1286 270 269 1 22.0000 12.1486 81.09%
1293.73/1297.21 c 1297 271 270 1 22.0000 12.1486 81.09%
1304.20/1307.75 c 1308 273 272 1 22.0000 12.1486 81.09%
1311.39/1314.95 c 1315 274 273 1 22.0000 12.1486 81.09%
1320.47/1324.05 c 1324 276 275 1 22.0000 12.1486 81.09%
1328.34/1331.92 c 1332 277 276 1 22.0000 12.1486 81.09%
1344.21/1347.89 c 1348 280 279 1 22.0000 12.1486 81.09%
1357.57/1361.26 c 1361 281 280 1 22.0000 12.1486 81.09%
1362.56/1366.28 c 1366 282 281 1 22.0000 12.1486 81.09%
1398.57/1402.38 c 1402 284 283 1 22.0000 12.1486 81.09%
1406.85/1410.67 c 1411 285 284 1 22.0000 12.1486 81.09%
1421.22/1425.02 c 1425 287 286 1 22.0000 12.1486 81.09%
1426.21/1430.04 c 1430 288 287 1 22.0000 12.1486 81.09%
1434.19/1438.03 c 1438 290 289 1 22.0000 12.1486 81.09%
1441.37/1445.27 c 1445 291 290 1 22.0000 12.1486 81.09%
1447.65/1451.56 c 1452 292 291 1 22.0000 12.1486 81.09%
1482.57/1486.57 c 1487 294 293 1 22.0000 12.1486 81.09%
1501.62/1505.67 c 1506 295 294 1 22.0000 12.1486 81.09%
1507.11/1511.12 c 1511 296 295 1 22.0000 12.1486 81.09%
1513.09/1517.17 c 1517 297 296 1 22.0000 12.1486 81.09%
1520.08/1524.18 c 1524 298 297 1 22.0000 12.1486 81.09%
1540.82/1544.95 c 1545 299 298 1 22.0000 12.1486 81.09%
1558.48/1562.62 c 1563 301 300 1 22.0000 12.1486 81.09%
1565.07/1569.26 c 1569 302 301 1 22.0000 12.1486 81.09%
1574.05/1578.28 c 1578 304 303 1 22.0000 12.1486 81.09%
1579.23/1583.48 c 1583 305 304 1 22.0000 12.1486 81.09%
1587.51/1591.79 c 1592 306 305 1 22.0000 12.1486 81.09%
1593.39/1597.66 c 1598 307 306 1 22.0000 12.1486 81.09%
1621.81/1626.17 c 1626 309 308 1 22.0000 12.1486 81.09%
1629.68/1634.04 c 1634 310 309 1 22.0000 12.1486 81.09%
1636.66/1641.02 c 1641 311 310 1 22.0000 12.1486 81.09%
1650.11/1654.51 c 1655 313 312 1 22.0000 12.1486 81.09%
1657.59/1662.09 c 1662 315 314 1 22.0000 12.1486 81.09%
1665.86/1670.35 c 1670 316 315 1 22.0000 12.1486 81.09%
1676.53/1681.00 c 1681 318 317 1 22.0000 12.1486 81.09%
1684.80/1689.39 c 1689 320 319 1 22.0000 12.1486 81.09%
1696.66/1701.28 c 1701 322 321 1 22.0000 12.1796 80.63%
1704.74/1709.36 c 1709 324 323 1 22.0000 12.1796 80.63%
1710.43/1715.04 c 1715 326 325 1 22.0000 12.1796 80.63%
1716.91/1721.50 c 1722 329 328 1 22.0000 12.1796 80.63%
1724.88/1729.54 c 1730 330 329 1 22.0000 12.1796 80.63%
1736.05/1740.75 c 1741 331 330 1 22.0000 12.1796 80.63%
1745.32/1750.03 c 1750 332 331 1 22.0000 12.2863 79.06%
1751.40/1756.18 c 1756 334 333 1 22.0000 12.2863 79.06%
1756.78/1761.53 c 1762 336 335 1 22.0000 12.2863 79.06%
1763.56/1768.31 c 1768 338 337 1 22.0000 12.2863 79.06%
1773.63/1778.46 c 1778 339 338 1 22.0000 12.2863 79.06%
1782.90/1787.79 c 1788 341 340 1 22.0000 12.2863 79.06%
1789.58/1794.42 c 1794 343 344 1 22.0000 12.2863 79.06%
1794.56/1799.44 c 1799 346 345 1 22.0000 12.2863 79.06%
1812.30/1817.27 c 1817 347 346 1 22.0000 12.2863 79.06%
1818.68/1823.61 c 1824 348 347 1 22.0000 12.2863 79.06%
1837.92/1842.91 c 1843 349 348 1 22.0000 12.2863 79.06%
1846.10/1851.11 c 1851 350 349 1 22.0000 12.2863 79.06%
1865.43/1870.50 c 1871 352 351 1 22.0000 12.2863 79.06%
1889.06/1894.22 c 1894 353 352 1 22.0000 12.2863 79.06%
1896.23/1901.46 c 1901 354 353 1 22.0000 12.2863 79.06%
1907.40/1912.65 c 1913 356 355 1 22.0000 12.2863 79.06%
1914.48/1919.77 c 1920 358 357 1 22.0000 12.2863 79.06%
1921.55/1926.80 c 1927 360 359 1 22.0000 12.2863 79.06%
1927.93/1933.21 c 1933 362 361 1 22.0000 12.2863 79.06%
1938.81/1944.16 c 1944 365 364 1 22.0000 12.2863 79.06%
1945.99/1951.39 c 1951 367 366 1 22.0000 12.2863 79.06%
1960.94/1966.33 c 1966 369 368 1 22.0000 12.2863 79.06%
1981.68/1987.19 c 1987 370 369 1 22.0000 12.2863 79.06%
1986.76/1992.29 c 1992 371 370 1 22.0000 12.2863 79.06%
1995.43/2000.96 c 2001 373 372 1 22.0000 12.3187 78.59%
2004.10/2009.63 c 2010 374 373 1 22.0000 12.3187 78.59%
2012.97/2018.59 c 2019 375 374 1 22.0000 12.3187 78.59%
2018.95/2024.58 c 2025 377 376 1 22.0000 12.3187 78.59%
2025.44/2031.06 c 2031 378 377 1 22.0000 12.3187 78.59%
2032.91/2038.52 c 2039 380 379 1 22.0000 12.3187 78.59%
2038.29/2043.95 c 2044 381 380 1 22.0000 12.3187 78.59%
2051.75/2057.49 c 2057 384 383 1 22.0000 12.3187 78.59%
2066.21/2071.93 c 2072 387 386 1 22.0000 12.3187 78.59%
2073.08/2078.87 c 2079 390 389 1 22.0000 12.3187 78.59%
2079.76/2085.56 c 2086 394 393 1 22.0000 12.3187 78.59%
2089.53/2095.32 c 2095 396 395 1 22.0000 12.3187 78.59%
2098.32/2104.12 c 2104 397 396 1 22.0000 12.3187 78.59%
2105.79/2111.67 c 2112 398 397 1 22.0000 12.3187 78.59%
2117.55/2123.45 c 2123 399 398 1 22.0000 12.3187 78.59%
2127.02/2132.91 c 2133 400 399 1 22.0000 12.3187 78.59%
2139.48/2145.44 c 2145 402 401 1 22.0000 12.3187 78.59%
2145.86/2151.86 c 2152 405 404 1 22.0000 12.3187 78.59%
2153.63/2159.60 c 2160 406 405 1 22.0000 12.3557 78.05%
2163.01/2169.03 c 2169 407 406 1 22.0000 12.3557 78.05%
2168.19/2174.24 c 2174 408 407 1 22.0000 12.3557 78.05%
2176.36/2182.47 c 2182 409 408 1 22.0000 12.3557 78.05%
2191.52/2197.67 c 2198 412 411 1 22.0000 12.4691 76.44%
2197.10/2203.26 c 2203 414 413 1 22.0000 12.4691 76.44%
2203.08/2209.22 c 2209 415 414 1 22.0000 12.4795 76.29%
2218.83/2225.10 c 2225 418 417 1 22.0000 12.4795 76.29%
2321.91/2328.44 c 2328 420 419 1 22.0000 12.4795 76.29%
2328.59/2335.17 c 2335 423 422 1 22.0000 12.4795 76.29%
2334.87/2341.44 c 2341 425 424 1 22.0000 12.4795 76.29%
2344.24/2350.83 c 2351 427 426 1 22.0000 12.4795 76.29%
2352.01/2358.66 c 2359 429 428 1 22.0000 12.4795 76.29%
2358.40/2365.10 c 2365 430 429 1 22.0000 12.4795 76.29%
2364.18/2370.89 c 2371 431 430 1 22.0000 12.4795 76.29%
2405.85/2412.65 c 2413 433 432 1 22.0000 12.4795 76.29%
2414.13/2420.99 c 2421 434 433 1 22.0000 12.4795 76.29%
2428.88/2435.75 c 2436 435 434 1 22.0000 12.4795 76.29%
2437.76/2444.62 c 2445 436 435 1 22.0000 12.4795 76.29%
2443.44/2450.31 c 2450 438 437 1 22.0000 12.4795 76.29%
2450.12/2457.02 c 2457 439 438 1 22.0000 12.4795 76.29%
2482.02/2489.08 c 2489 440 439 1 22.0000 12.4795 76.29%
2488.40/2495.44 c 2495 441 440 1 22.0000 12.4795 76.29%
2502.65/2509.71 c 2510 443 442 1 22.0000 12.4986 76.02%
2513.52/2520.64 c 2521 445 444 1 22.0000 12.4986 76.02%
2519.01/2526.16 c 2526 446 445 1 22.0000 12.4986 76.02%
2526.08/2533.25 c 2533 447 446 1 22.0000 12.4986 76.02%
2542.63/2549.81 c 2550 448 447 1 22.0000 12.4986 76.02%
2549.51/2556.70 c 2557 449 448 1 22.0000 12.4986 76.02%
2563.67/2570.91 c 2571 451 450 1 22.0000 12.4986 76.02%
2570.64/2577.94 c 2578 453 452 1 22.0000 12.4986 76.02%
2579.32/2586.63 c 2587 454 453 1 22.0000 12.4986 76.02%
2588.79/2596.16 c 2596 456 455 1 22.0000 12.4986 76.02%
2595.87/2603.22 c 2603 457 456 1 22.0000 12.4986 76.02%
2616.90/2624.37 c 2624 459 458 1 22.0000 12.4986 76.02%
2623.18/2630.60 c 2631 460 459 1 22.0000 12.4986 76.02%
2629.76/2637.20 c 2637 462 461 1 22.0000 12.4986 76.02%
2636.54/2644.03 c 2644 463 462 1 22.0000 12.4986 76.02%
2648.70/2656.27 c 2656 466 465 1 22.0000 12.4986 76.02%
2663.26/2670.83 c 2671 467 466 1 22.0000 12.4986 76.02%
2668.75/2676.37 c 2676 468 467 1 22.0000 12.4986 76.02%
2676.43/2684.02 c 2684 469 468 1 22.0000 12.4986 76.02%
2681.71/2689.34 c 2689 471 470 1 22.0000 12.4986 76.02%
2687.79/2695.40 c 2695 472 471 1 22.0000 12.5029 75.96%
2705.44/2713.13 c 2713 475 474 1 22.0000 12.5029 75.96%
2710.42/2718.19 c 2718 476 475 1 22.0000 12.5029 75.96%
2718.40/2726.11 c 2726 477 476 1 22.0000 12.5029 75.96%
2729.75/2737.56 c 2738 480 479 1 22.0000 12.5029 75.96%
2743.32/2751.12 c 2751 481 480 1 22.0000 12.5029 75.96%
2753.29/2761.13 c 2761 482 481 1 22.0000 12.5029 75.96%
2766.64/2774.53 c 2775 484 483 1 22.0000 12.5029 75.96%
2783.58/2791.57 c 2792 486 485 1 22.0000 12.5029 75.96%
2790.46/2798.43 c 2798 487 486 1 22.0000 12.5029 75.96%
2797.05/2805.02 c 2805 489 488 1 22.0000 12.5029 75.96%
2802.82/2810.85 c 2811 490 489 1 22.0000 12.5029 75.96%
2808.41/2816.43 c 2816 492 491 1 22.0000 12.5029 75.96%
2820.17/2828.27 c 2828 493 492 1 22.0000 12.5029 75.96%
2828.05/2836.17 c 2836 495 494 1 22.0000 12.5029 75.96%
2837.52/2845.66 c 2846 496 495 1 22.0000 12.5029 75.96%
2849.18/2857.39 c 2857 498 497 1 22.0000 12.5029 75.96%
2858.16/2866.31 c 2866 499 498 1 22.0000 12.5029 75.96%
2864.14/2872.31 c 2872 500 499 1 22.0000 12.5029 75.96%
2904.22/2912.50 c 2913 501 500 1 22.0000 12.5029 75.96%
2915.58/2923.98 c 2924 503 502 1 22.0000 12.5267 75.62%
2923.46/2931.88 c 2932 505 504 1 22.0000 12.5267 75.62%
2930.44/2938.86 c 2939 506 505 1 22.0000 12.5267 75.62%
2943.10/2951.55 c 2952 507 506 1 22.0000 12.5267 75.62%
2952.07/2960.55 c 2961 509 508 1 22.0000 12.5267 75.62%
2962.24/2970.73 c 2971 510 509 1 22.0000 12.5267 75.62%
2969.62/2978.18 c 2978 512 511 1 22.0000 12.5267 75.62%
2982.97/2991.54 c 2992 514 513 1 22.0000 12.5267 75.62%
2990.45/2999.02 c 2999 515 514 1 22.0000 12.5267 75.62%
3002.81/3011.48 c 3011 516 515 1 22.0000 12.5267 75.62%
3007.99/3016.65 c 3017 518 517 1 22.0000 12.5267 75.62%
3021.75/3030.46 c 3030 520 519 1 22.0000 12.5267 75.62%
3030.12/3038.88 c 3039 522 521 1 22.0000 12.5267 75.62%
3037.31/3046.09 c 3046 524 523 1 22.0000 12.5267 75.62%
3043.48/3052.21 c 3052 526 525 1 22.0000 12.5267 75.62%
3054.75/3063.50 c 3064 529 528 1 22.0000 12.5267 75.62%
3063.33/3072.12 c 3072 532 531 1 22.0000 12.5309 75.57%
3068.50/3077.32 c 3077 534 533 1 22.0000 12.5309 75.57%
3074.49/3083.31 c 3083 535 534 1 22.0000 12.5309 75.57%
3093.54/3102.47 c 3102 537 536 1 22.0000 12.5309 75.57%
3109.28/3118.23 c 3118 538 537 1 22.0000 12.5309 75.57%
3121.05/3130.04 c 3130 540 539 1 22.0000 12.5309 75.57%
3126.43/3135.44 c 3135 541 540 1 22.0000 12.5309 75.57%
3140.99/3150.03 c 3150 543 542 1 22.0000 12.5309 75.57%
3156.94/3166.06 c 3166 546 545 1 22.0000 12.5309 75.57%
3162.12/3171.27 c 3171 547 546 1 22.0000 12.5309 75.57%
3168.20/3177.35 c 3177 549 548 1 22.0000 12.5309 75.57%
3174.48/3183.62 c 3184 552 551 1 22.0000 12.5309 75.57%
3180.06/3189.29 c 3189 554 553 1 22.0000 12.5309 75.57%
3196.21/3205.43 c 3205 555 554 1 22.0000 12.5309 75.57%
3209.07/3218.37 c 3218 557 556 1 22.0000 12.5309 75.57%
3214.75/3224.06 c 3224 559 558 1 22.0000 12.5309 75.57%
3221.23/3230.54 c 3231 562 561 1 22.0000 12.5330 75.54%
3228.50/3237.87 c 3238 565 564 1 22.0000 12.5330 75.54%
3236.58/3245.90 c 3246 570 569 1 22.0000 12.5330 75.54%
3247.84/3257.20 c 3257 572 571 1 22.0000 12.5330 75.54%
3272.77/3282.21 c 3282 574 573 1 22.0000 12.5330 75.54%
3296.80/3306.39 c 3306 576 575 1 22.0000 12.5330 75.54%
3305.87/3315.46 c 3315 580 579 1 22.0000 12.5330 75.54%
3314.75/3324.36 c 3324 582 581 1 22.0000 12.5330 75.54%
3320.13/3329.75 c 3330 583 582 1 22.0000 12.5330 75.54%
3331.29/3340.95 c 3341 586 585 1 22.0000 12.5330 75.54%
3343.46/3353.11 c 3353 588 587 1 22.0000 12.5330 75.54%
3349.93/3359.68 c 3360 589 588 1 22.0000 12.5330 75.54%
3365.58/3375.39 c 3375 591 590 1 22.0000 12.5330 75.54%
3372.46/3382.21 c 3382 592 591 1 22.0000 12.5527 75.26%
3380.44/3390.23 c 3390 594 593 1 22.0000 12.5527 75.26%
3391.71/3401.57 c 3402 595 594 1 22.0000 12.5527 75.26%
3405.76/3415.65 c 3416 597 596 1 22.0000 12.5527 75.26%
3412.25/3422.11 c 3422 598 597 1 22.0000 12.5527 75.26%
3439.76/3449.73 c 3450 599 598 1 22.0000 12.5527 75.26%
3445.84/3455.89 c 3456 600 599 1 22.0000 12.5527 75.26%
3455.51/3465.59 c 3466 601 600 1 22.0000 12.5527 75.26%
3462.59/3472.65 c 3473 602 601 1 22.0000 12.5527 75.26%
3475.15/3485.23 c 3485 604 603 1 22.0000 12.5527 75.26%
3481.23/3491.30 c 3491 605 604 1 22.0000 12.5527 75.26%
3486.22/3496.39 c 3496 606 605 1 22.0000 12.5527 75.26%
3493.30/3503.45 c 3503 607 606 1 22.0000 12.5527 75.26%
3498.68/3508.88 c 3509 608 607 1 22.0000 12.5527 75.26%
3503.97/3514.11 c 3514 609 608 1 22.0000 12.5527 75.26%
3513.73/3523.96 c 3524 611 610 1 22.0000 12.5527 75.26%
3519.91/3530.15 c 3530 613 612 1 22.0000 12.5527 75.26%
3528.48/3538.74 c 3539 615 614 1 22.0000 12.5527 75.26%
3546.63/3556.94 c 3557 617 616 1 22.0000 12.5527 75.26%
3554.00/3564.37 c 3564 618 617 1 22.0000 12.5527 75.26%
3563.18/3573.52 c 3574 620 619 1 22.0000 12.5527 75.26%
3568.96/3579.34 c 3579 622 621 1 22.0000 12.5529 75.26%
3580.43/3590.85 c 3591 625 624 1 22.0000 12.5529 75.26%
3586.52/3596.99 c 3597 627 626 1 22.0000 12.5529 75.26%
3589.61/3600.09 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.61/3600.09 c Total Time : 3600.07
3589.61/3600.09 c solving : 3600.07
3589.61/3600.09 c presolving : 0.24 (included in solving)
3589.61/3600.09 c B&B Tree :
3589.61/3600.09 c nodes (total) : 1
3589.61/3600.09 c Solution :
3589.61/3600.09 c Solutions found : 1
3589.61/3600.09 c Primal Bound : +2.20000000000000e+01
3589.61/3600.09 c Dual Bound : +1.25529198152498e+01
3589.61/3600.09 c Gap : 75.25803 %
3589.61/3600.09 c * Warning: final gap: 7.52580e-01 is greater than SCIPepsilon: 1.00000e-09
3589.61/3600.09 o 22
3589.61/3600.09 s SATISFIABLE
3589.61/3600.09 v -x5499 -x5497 -x5495 -x5493 -x5491 -x5489 -x5487 -x5485 -x5483 -x5481 -x5479 -x5477 x5475 -x5473 -x5471 -x5469 -x5467 -x5465 -x5464
3589.61/3600.09 v -x5463 -x5462 -x5460 -x5459 -x5458 -x5457 -x5455 -x5454 -x5453 -x5452 -x5450 -x5449 -x5448 -x5447 -x5445 -x5444 -x5443 -x5442
3589.61/3600.09 v -x5440 -x5439 -x5438 -x5437 -x5435 -x5434 -x5433 -x5432 -x5430 -x5429 -x5428 -x5427 -x5425 -x5424 -x5423 -x5422 -x5420
3589.61/3600.09 v -x5419 -x5418 x5417 -x5415 -x5414 -x5413 -x5412 -x5410 -x5409 -x5408 -x5407 -x5405 -x5404 -x5403 -x5402 -x5400 -x5399 -x5398
3589.61/3600.09 v x5397 -x5395 -x5394 -x5393 x5392 -x5390 -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5378 -x5377 -x5376
3589.61/3600.09 v -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358
3589.61/3600.09 v -x5357 -x5356 -x5354 -x5353 -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 x5344 -x5342 -x5341 -x5340 -x5339 -x5338
3589.61/3600.09 v -x5337 -x5336 -x5335 -x5334 -x5333 x5332 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5318
3589.61/3600.09 v -x5317 -x5316 -x5315 -x5313 -x5311 -x5310 -x5309 -x5308 x5306 -x5304 -x5303 -x5302 -x5301 x5299 -x5297 -x5296 -x5295 -x5294 -x5292
3589.61/3600.09 v -x5290 -x5289 -x5288 -x5287 -x5285 -x5284 -x5283 -x5282 -x5280 -x5278 -x5277 -x5276 -x5275 x5273 -x5271 -x5270 -x5269 -x5268
3589.61/3600.09 v x5266 -x5264 -x5263 -x5262 -x5261 x5259 -x5257 -x5256 -x5255 -x5254 -x5252 -x5250 -x5249 -x5248 -x5247 -x5245 -x5244 -x5243
3589.61/3600.09 v -x5242 -x5240 -x5238 -x5237 -x5236 -x5235 -x5233 -x5232 -x5231 x5230 x5228 -x5226 -x5225 -x5224 -x5223 -x5221 -x5219 -x5218
3589.61/3600.09 v -x5217 -x5216 -x5214 -x5212 -x5211 -x5210 -x5209 -x5207 -x5206 -x5205 -x5204 -x5202 -x5201 -x5200 -x5199 -x5197 -x5195 -x5194
3589.61/3600.09 v -x5193 -x5192 -x5190 -x5188 -x5187 -x5186 -x5185 -x5183 -x5181 -x5180 -x5179 -x5178 -x5176 -x5174 -x5173 -x5172 -x5171 -x5169
3589.61/3600.09 v -x5167 -x5166 -x5165 x5164 x5162 -x5160 -x5159 -x5158 -x5157 -x5155 -x5153 -x5151 -x5150 -x5149 -x5148 -x5146 -x5144 -x5143
3589.61/3600.09 v -x5142 -x5141 x5139 -x5137 -x5136 -x5135 -x5134 -x5132 -x5130 -x5129 -x5128 -x5127 -x5125 -x5123 -x5122 -x5121 x5120 -x5118
3589.61/3600.09 v -x5116 -x5115 -x5114 -x5113 -x5111 -x5109 x5108 -x5107 x5106 -x5104 -x5102 -x5101 -x5100 x5099 -x5097 -x5095 -x5094 -x5093
3589.61/3600.09 v -x5092 -x5090 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5076 -x5075 -x5074 -x5073 -x5072
3589.61/3600.09 v -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5064 -x5063 -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5052
3589.61/3600.09 v -x5051 -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 x5042 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033
3589.61/3600.09 v -x5032 -x5031 -x5030 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5016 -x5015 -x5014 -x5013
3589.61/3600.09 v -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994
3589.61/3600.09 v -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975
3589.61/3600.09 v -x4974 -x4973 -x4972 -x4971 -x4970 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 x4958 -x4956 -x4955
3589.61/3600.09 v -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936
3589.61/3600.09 v -x4935 -x4934 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 x4922 -x4920 -x4919 -x4918 -x4917 -x4916
3589.61/3600.09 v -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4908 -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4896
3589.61/3600.09 v -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877
3589.61/3600.09 v -x4876 -x4875 -x4874 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4860 -x4859 -x4858 -x4857
3589.61/3600.09 v -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4848 -x4847 -x4846 x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 x4838
3589.61/3600.09 v -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819
3589.61/3600.09 v -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800
3589.61/3600.09 v -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4782 -x4781
3589.61/3600.09 v -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764
3589.61/3600.09 v -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745
3589.61/3600.09 v -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4728 -x4727 -x4726
3589.61/3600.09 v -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708
3589.61/3600.09 v -x4707 -x4706 -x4705 -x4704 -x4703 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689
3589.61/3600.09 v x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 x4676 -x4674 -x4673 -x4672 -x4671 -x4670
3589.61/3600.09 v -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652
3589.61/3600.09 v -x4651 -x4650 -x4649 -x4647 -x4646 -x4645 -x4644 -x4642 -x4641 -x4640 -x4639 -x4637 -x4636 -x4635 -x4634 -x4632 -x4631 -x4630
3589.61/3600.09 v -x4629 -x4627 -x4626 -x4625 -x4624 -x4622 -x4621 -x4620 -x4619 -x4617 -x4616 -x4615 -x4614 -x4612 -x4611 -x4610 -x4609 -x4607
3589.61/3600.09 v -x4606 -x4605 -x4604 -x4602 -x4601 -x4600 -x4599 -x4597 -x4596 -x4595 -x4594 -x4592 -x4591 -x4590 -x4589 -x4587 -x4586
3589.61/3600.09 v -x4585 -x4584 -x4582 -x4581 -x4580 -x4579 -x4577 -x4576 -x4575 -x4574 -x4572 -x4571 -x4570 -x4569 -x4567 -x4566 -x4565 -x4564
3589.61/3600.09 v -x4562 -x4561 -x4560 -x4559 -x4557 -x4556 -x4555 -x4554 -x4552 -x4551 -x4550 -x4549 -x4547 -x4546 -x4545 -x4544 -x4542 -x4541
3589.61/3600.09 v -x4540 -x4539 -x4537 -x4536 x4535 x4534 -x4532 -x4531 x4530 x4529 -x4527 -x4526 -x4525 -x4524 -x4522 -x4521 -x4520 -x4519 -x4517
3589.61/3600.09 v -x4516 -x4515 -x4514 -x4512 -x4511 -x4510 -x4509 -x4507 -x4506 x4505 x4504 -x4502 -x4501 x4500 x4499 -x4497 -x4496 -x4495
3589.61/3600.09 v -x4494 -x4492 -x4491 -x4490 -x4489 -x4487 -x4486 -x4485 -x4484 -x4482 -x4481 -x4480 -x4479 -x4477 -x4476 -x4475 -x4474 -x4472
3589.61/3600.09 v -x4471 -x4470 -x4469 -x4467 -x4466 -x4465 -x4464 -x4462 -x4461 -x4460 -x4459 -x4457 -x4456 -x4455 -x4454 -x4452 -x4451 -x4450
3589.61/3600.09 v -x4449 -x4447 -x4446 -x4445 -x4444 -x4442 -x4441 -x4440 -x4439 -x4437 -x4436 x4435 x4434 -x4432 -x4431 x4430 x4429 -x4427
3589.61/3600.09 v -x4426 -x4425 -x4424 -x4422 -x4421 -x4420 -x4419 -x4417 -x4416 -x4415 -x4414 -x4412 -x4411 -x4410 -x4409 -x4407 -x4406 x4405
3589.61/3600.09 v x4404 -x4402 -x4401 x4400 x4399 -x4397 -x4396 -x4395 -x4394 -x4392 -x4391 -x4390 -x4389 -x4387 -x4386 -x4385 -x4384 -x4382
3589.61/3600.09 v -x4381 -x4380 -x4379 -x4377 -x4376 -x4375 -x4374 -x4372 -x4371 -x4370 -x4369 -x4367 -x4366 -x4365 -x4364 -x4362 -x4361 -x4360
3589.61/3600.09 v -x4359 -x4357 -x4356 -x4355 -x4354 -x4352 -x4351 -x4350 -x4349 -x4347 -x4346 -x4345 -x4344 -x4342 -x4341 -x4340 -x4339 -x4337
3589.61/3600.09 v -x4336 -x4335 -x4334 -x4332 -x4331 -x4330 -x4329 -x4327 -x4326 -x4325 -x4324 -x4322 -x4321 -x4320 -x4319 -x4317 -x4316 -x4315
3589.61/3600.09 v -x4314 -x4312 -x4311 -x4310 -x4309 -x4307 x4306 -x4305 x4304 -x4302 x4301 x4300 x4299 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292
3589.61/3600.09 v -x4291 -x4290 -x4289 -x4288 -x4287 x4285 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 x4271
3589.61/3600.09 v -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 x4257 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250
3589.61/3600.09 v -x4249 -x4248 -x4247 -x4246 -x4245 x4243 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4229
3589.61/3600.09 v -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 x4215 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208
3589.61/3600.09 v -x4207 -x4206 -x4205 -x4204 -x4203 -x4201 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4187
3589.61/3600.09 v -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 x4175 x4173 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166
3589.61/3600.09 v -x4165 -x4164 -x4163 -x4162 -x4161 -x4159 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4145
3589.61/3600.09 v -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 x4133 x4131 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124
3589.61/3600.09 v -x4123 -x4122 -x4121 -x4120 -x4119 -x4117 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4103
3589.61/3600.09 v -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 x4089 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082
3589.61/3600.09 v -x4081 -x4080 -x4079 -x4078 -x4077 -x4075 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063
3589.61/3600.09 v x4061 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 x4047 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040
3589.61/3600.09 v -x4039 -x4038 -x4037 -x4036 -x4035 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 x4021 -x4019
3589.61/3600.09 v -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4007 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000
3589.61/3600.09 v -x3999 -x3998 -x3997 -x3996 -x3995 x3993 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3979
3589.61/3600.09 v -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3965 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958
3589.61/3600.09 v -x3957 -x3956 -x3955 -x3954 x3953 x3951 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3937
3589.61/3600.09 v -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 x3923 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916
3589.61/3600.09 v -x3915 -x3914 -x3913 -x3912 x3911 x3909 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 x3895 -x3893
3589.61/3600.09 v -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 x3883 x3881 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873
3589.61/3600.09 v -x3872 -x3871 -x3870 -x3869 -x3867 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3853 -x3851
3589.61/3600.09 v -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3839 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831
3589.61/3600.09 v -x3830 -x3829 -x3828 -x3827 -x3825 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 x3811 -x3809
3589.61/3600.09 v -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3797 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790
3589.61/3600.09 v -x3789 -x3788 -x3787 -x3786 x3785 x3783 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3769 -x3767
3589.61/3600.09 v -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3755 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748
3589.61/3600.09 v -x3747 -x3746 -x3745 -x3744 -x3743 x3741 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3727
3589.61/3600.09 v -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3713 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706
3589.61/3600.09 v -x3705 -x3704 -x3703 -x3702 -x3701 -x3699 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3685
3589.61/3600.09 v -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3671 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664
3589.61/3600.09 v -x3663 -x3662 -x3661 -x3660 x3659 x3657 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 x3643
3589.61/3600.09 v -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 x3631 x3629 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622
3589.61/3600.09 v -x3621 -x3620 -x3619 -x3618 -x3617 x3615 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 x3601 -x3599
3589.61/3600.09 v -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 x3587 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579
3589.61/3600.09 v -x3578 -x3577 -x3576 -x3575 x3573 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3559 -x3558
3589.61/3600.09 v -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 x3547 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538
3589.61/3600.09 v -x3537 -x3536 -x3535 x3533 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 x3519 -x3517 -x3516
3589.61/3600.09 v -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498
3589.61/3600.09 v -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480
3589.61/3600.09 v -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 x3467 -x3466 x3465 -x3463 -x3462 -x3461 -x3460
3589.61/3600.09 v -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443
3589.61/3600.09 v -x3442 -x3441 -x3440 -x3439 -x3438 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424
3589.61/3600.09 v -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3409 -x3408 -x3407 -x3406 -x3405
3589.61/3600.09 v -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 x3391 -x3390 -x3389 -x3388 -x3387
3589.61/3600.09 v -x3386 -x3385 x3384 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368
3589.61/3600.09 v -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349
3589.61/3600.09 v -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331
3589.61/3600.09 v -x3330 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312
3589.61/3600.09 v -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293
3589.61/3600.09 v -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276
3589.61/3600.09 v -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257
3589.61/3600.09 v -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238
3589.61/3600.09 v -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3220 -x3219
3589.61/3600.09 v -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201
3589.61/3600.09 v -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182
3589.61/3600.09 v -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3166 -x3165 -x3164 -x3163
3589.61/3600.09 v -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146
3589.61/3600.09 v -x3145 -x3144 -x3143 -x3142 -x3141 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127
3589.61/3600.09 v -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3112 -x3111 -x3110 -x3109 -x3108
3589.61/3600.09 v -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090
3589.61/3600.09 v -x3089 -x3088 -x3087 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071
3589.61/3600.09 v -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052
3589.61/3600.09 v -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034
3589.61/3600.09 v -x3033 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016
3589.61/3600.09 v -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997
3589.61/3600.09 v -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 x2979
3589.61/3600.09 v -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960
3589.61/3600.09 v -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941
3589.61/3600.09 v -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2923 -x2922
3589.61/3600.09 v -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904
3589.61/3600.09 v -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885
3589.61/3600.09 v -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2869 -x2868 -x2867 -x2866
3589.61/3600.09 v -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849
3589.61/3600.09 v -x2848 -x2847 -x2846 -x2845 -x2844 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830
3589.61/3600.09 v -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2815 -x2814 -x2813 -x2812 -x2811
3589.61/3600.09 v -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793
3589.61/3600.09 v -x2792 -x2791 x2790 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774
3589.61/3600.09 v -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755
3589.61/3600.09 v -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737
3589.61/3600.09 v -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719
3589.61/3600.09 v -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2703 -x2702 -x2701 -x2700
3589.61/3600.09 v -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683
3589.61/3600.09 v -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665
3589.61/3600.09 v -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647
3589.61/3600.09 v -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628
3589.61/3600.09 v -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610
3589.61/3600.09 v -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592
3589.61/3600.09 v -x2591 -x2590 -x2589 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573
3589.61/3600.09 v -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556
3589.61/3600.09 v -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538
3589.61/3600.09 v -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519
3589.61/3600.09 v -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501
3589.61/3600.09 v -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483
3589.61/3600.09 v -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464
3589.61/3600.09 v -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446
3589.61/3600.09 v -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429
3589.61/3600.09 v -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2413 -x2412 -x2411 -x2410
3589.61/3600.09 v -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392
3589.61/3600.09 v -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374
3589.61/3600.09 v -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2355
3589.61/3600.09 v -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337
3589.61/3600.09 v -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319
3589.61/3600.09 v -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302
3589.61/3600.09 v -x2301 -x2300 -x2299 -x2297 -x2296 -x2295 -x2294 -x2292 -x2290 -x2289 -x2288 -x2287 x2285 -x2283 -x2282 -x2281 -x2280 -x2278
3589.61/3600.09 v -x2276 -x2275 -x2274 -x2273 x2271 -x2269 -x2268 -x2267 -x2266 -x2264 -x2262 -x2261 -x2260 -x2259 -x2257 -x2255 -x2254 -x2253
3589.61/3600.09 v -x2252 -x2250 -x2248 -x2247 -x2246 -x2245 -x2243 -x2241 -x2240 -x2239 -x2238 x2236 -x2234 -x2233 -x2232 -x2231 -x2229 -x2227
3589.61/3600.09 v -x2226 -x2225 -x2224 -x2222 -x2220 -x2219 -x2218 x2217 x2215 -x2213 -x2212 -x2211 -x2210 x2208 -x2206 -x2205 -x2204 -x2203 -x2201
3589.61/3600.09 v -x2199 -x2198 -x2197 -x2196 x2194 -x2192 -x2191 -x2190 -x2189 x2187 -x2185 -x2184 -x2183 -x2182 -x2180 -x2178 -x2177 -x2176
3589.61/3600.09 v -x2175 -x2173 -x2171 -x2170 -x2169 -x2168 x2166 -x2164 -x2163 -x2162 -x2161 -x2159 -x2157 -x2156 -x2155 -x2154 -x2152 -x2150
3589.61/3600.09 v -x2149 -x2148 x2147 -x2145 -x2143 -x2142 -x2141 -x2140 -x2138 -x2136 -x2135 -x2134 -x2133 -x2131 -x2129 -x2128 -x2127 -x2126
3589.61/3600.09 v x2124 -x2122 -x2121 -x2120 -x2119 -x2117 -x2115 x2114 -x2113 x2112 -x2110 -x2108 -x2107 -x2106 -x2105 -x2103 -x2101 -x2100
3589.61/3600.09 v -x2099 -x2098 -x2096 -x2094 -x2093 -x2092 -x2091 -x2089 -x2087 -x2086 -x2085 x2084 -x2082 -x2080 -x2079 -x2078 -x2077 -x2075
3589.61/3600.09 v -x2073 -x2072 -x2071 x2070 x2068 -x2066 -x2065 -x2064 -x2063 -x2061 -x2059 -x2058 -x2057 -x2056 -x2054 -x2052 -x2051 -x2050
3589.61/3600.09 v -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031
3589.61/3600.09 v x2030 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011
3589.61/3600.09 v -x2010 -x2009 -x2008 -x2007 -x2006 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1992 -x1991
3589.61/3600.09 v -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972
3589.61/3600.09 v -x1971 -x1970 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1956 -x1955 -x1954 -x1953 -x1952
3589.61/3600.09 v -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1932
3589.61/3600.09 v -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 x1922 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913
3589.61/3600.09 v -x1912 -x1911 -x1910 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 x1898 -x1896 -x1895 -x1894 -x1893
3589.61/3600.09 v -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875
3589.61/3600.09 v -x1874 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 x1865 -x1864 -x1863 x1862 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854
3589.61/3600.09 v -x1853 -x1852 -x1851 -x1850 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1836 -x1835
3589.61/3600.09 v -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816
3589.61/3600.09 v -x1815 -x1814 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1800 -x1799 -x1798 -x1797 -x1796
3589.61/3600.09 v -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 x1783 -x1782 -x1781 -x1780 -x1779 -x1778
3589.61/3600.09 v -x1777 -x1776 x1775 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759
3589.61/3600.09 v -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740
3589.61/3600.09 v -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722
3589.61/3600.09 v -x1721 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703
3589.61/3600.09 v -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684
3589.61/3600.09 v -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667
3589.61/3600.09 v -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648
3589.61/3600.09 v -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629
3589.61/3600.09 v -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1611 -x1610
3589.61/3600.09 v -x1609 -x1608 x1606 -x1604 -x1603 -x1602 -x1601 -x1599 -x1597 -x1596 -x1595 -x1594 x1592 -x1590 -x1589 -x1588 -x1587 -x1585
3589.61/3600.09 v -x1583 -x1582 -x1581 -x1580 -x1578 -x1576 -x1575 -x1574 -x1573 x1571 -x1569 -x1568 -x1567 -x1566 -x1564 -x1562 -x1561 -x1560
3589.61/3600.09 v -x1559 -x1557 -x1555 -x1554 x1553 x1552 -x1550 -x1548 -x1547 -x1546 -x1545 -x1543 -x1541 -x1540 -x1539 -x1538 -x1536 -x1534
3589.61/3600.09 v -x1533 -x1532 -x1531 x1529 -x1527 -x1526 -x1525 -x1524 -x1522 -x1520 -x1519 -x1518 -x1517 -x1515 -x1513 -x1512 -x1511 -x1510
3589.61/3600.09 v -x1508 -x1506 -x1505 -x1504 -x1503 -x1501 -x1499 -x1498 -x1497 -x1496 -x1494 -x1492 -x1491 -x1490 x1489 -x1487 -x1485 -x1484
3589.61/3600.09 v -x1483 -x1482 -x1480 -x1478 -x1477 -x1476 -x1475 -x1473 -x1471 -x1470 -x1469 -x1468 -x1466 -x1464 -x1463 -x1462 -x1461 x1459
3589.61/3600.09 v -x1457 -x1456 -x1455 -x1454 -x1452 -x1450 -x1449 -x1448 -x1447 -x1445 -x1443 -x1442 -x1441 -x1440 -x1438 -x1436 -x1435 -x1434
3589.61/3600.09 v -x1433 -x1431 -x1429 -x1428 -x1427 -x1426 -x1424 -x1422 -x1421 -x1420 x1419 -x1417 -x1415 -x1414 -x1413 -x1412 -x1410 -x1408
3589.61/3600.09 v -x1407 -x1406 -x1405 -x1403 -x1401 -x1400 -x1399 -x1398 x1396 -x1394 -x1393 -x1392 x1391 x1389 -x1387 -x1386 -x1385 -x1384
3589.61/3600.09 v x1382 -x1380 -x1379 -x1378 -x1377 x1375 -x1373 -x1372 -x1371 x1370 x1368 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359
3589.61/3600.09 v -x1358 -x1357 -x1356 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1342 -x1341 -x1340 -x1339
3589.61/3600.09 v -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320
3589.61/3600.09 v -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301
3589.61/3600.09 v -x1300 -x1299 -x1298 -x1297 -x1296 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1282 -x1281
3589.61/3600.09 v -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 x1273 x1272 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262
3589.61/3600.09 v -x1261 -x1260 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1246 -x1245 -x1244 -x1243 -x1242
3589.61/3600.09 v -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 x1224 -x1222
3589.61/3600.09 v -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203
3589.61/3600.09 v -x1202 -x1201 -x1200 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1186 -x1185 -x1184 -x1183
3589.61/3600.09 v -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 x1164
3589.61/3600.09 v -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144
3589.61/3600.09 v -x1143 -x1142 -x1141 -x1140 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1126 -x1125 -x1124
3589.61/3600.09 v -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 x1116 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105
3589.61/3600.09 v -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1087 -x1086
3589.61/3600.09 v -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069
3589.61/3600.09 v -x1068 -x1067 -x1066 -x1065 -x1064 x1063 x1062 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049
3589.61/3600.09 v -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1033 -x1032 -x1031
3589.61/3600.09 v -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013
3589.61/3600.09 v -x1012 -x1011 -x1010 -x1009 -x1008 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993
3589.61/3600.09 v -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971
3589.61/3600.09 v -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x952 -x951 -x950 -x949
3589.61/3600.09 v -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928
3589.61/3600.09 v -x927 -x863 -x862 -x861 x860 -x859 -x858 -x925 -x923 -x924 -x922 -x921 -x920 -x918 -x919 -x917 -x915 -x916 -x913 -x914 -x912
3589.61/3600.09 v -x910 -x911 -x909 -x907 -x908 -x906 -x904 -x905 -x903 -x901 -x902 -x899 -x900 -x898 -x897 -x896 -x895 -x894 -x893 -x892
3589.61/3600.09 v -x890 -x889 -x887 -x886 -x884 -x883 -x882 -x881 -x879 -x878 -x877 x876 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866
3589.61/3600.09 v -x865 -x864 -x707 -x706 -x705 -x704 -x703 x702 -x701 -x856 -x854 -x855 -x853 -x851 -x852 -x850 -x848 -x849 -x847 -x845 -x846
3589.61/3600.09 v -x844 -x843 -x842 -x840 -x841 -x839 -x837 x838 -x836 -x834 -x835 -x833 -x831 -x832 -x830 -x828 -x829 -x827 -x826 -x825 -x823
3589.61/3600.09 v -x824 -x822 -x821 x820 -x818 -x819 -x817 -x815 -x816 -x814 -x812 -x813 -x811 -x810 -x809 -x808 -x807 -x805 -x806 -x804 -x802
3589.61/3600.09 v -x803 -x801 -x799 -x800 -x798 -x796 -x797 -x795 -x793 -x794 -x792 -x790 -x791 -x789 -x787 -x788 -x785 -x786 -x784 -x782 -x783
3589.61/3600.09 v -x781 -x779 -x780 -x778 -x776 -x777 -x775 -x773 -x774 -x772 -x770 -x771 -x769 -x767 -x768 -x766 -x764 -x765 -x763 -x761 -x762
3589.61/3600.09 v -x760 -x758 -x759 -x757 -x756 -x755 -x753 -x752 -x751 -x750 -x749 -x748 -x746 -x745 -x743 -x742 -x741 -x740 -x739 -x738 -x737
3589.61/3600.09 v -x736 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x721 -x720 -x718 -x717 -x716 -x715 -x713 -x712
3589.61/3600.09 v -x711 -x710 -x708 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x699 -x697 -x698 -x696 -x694 -x695 -x693 -x691 -x692 -x690
3589.61/3600.09 v -x688 -x689 -x687 -x685 -x686 -x684 -x682 -x683 -x681 -x679 -x680 -x678 -x676 -x677 -x675 -x673 -x674 -x672 -x670 -x671
3589.61/3600.09 v -x669 -x667 -x668 x666 x664 x665 -x663 -x661 -x662 -x660 -x658 -x659 -x657 -x655 -x656 -x654 -x652 -x653 -x651 -x649 -x650 -x648
3589.61/3600.09 v -x646 -x647 -x645 -x643 -x644 -x642 -x640 -x641 -x639 -x637 -x638 -x636 -x634 -x635 -x633 -x631 -x632 -x630 -x628 -x629 -x627
3589.61/3600.09 v -x625 -x626 -x624 -x622 -x623 -x621 -x619 -x620 -x618 -x616 -x617 -x615 -x613 -x614 -x612 -x610 -x611 -x609 -x607 -x608
3589.61/3600.09 v -x606 -x604 -x605 -x603 -x601 -x602 -x600 -x598 -x599 -x597 -x595 -x596 -x594 -x592 -x593 -x591 -x589 -x590 -x588 -x586 -x587
3589.61/3600.09 v -x585 -x583 -x584 -x582 -x580 -x581 -x579 -x577 -x578 -x576 -x574 -x575 -x573 -x571 -x572 -x570 -x568 -x569 -x567 -x565 -x566
3589.61/3600.09 v -x564 -x562 -x563 -x561 -x559 -x560 -x558 -x556 -x557 -x555 -x553 -x554 -x552 -x550 -x551 -x549 -x547 -x548 -x546 -x544 -x545
3589.61/3600.09 v -x543 -x541 -x542 -x540 -x539 -x538 -x536 -x537 -x535 -x533 -x534 -x532 -x530 -x531 -x529 -x527 -x528 -x526 -x524 -x525 -x523
3589.61/3600.09 v -x521 -x522 -x520 -x518 -x519 -x517 -x515 -x516 -x514 -x512 -x513 -x511 -x509 -x510 -x508 -x506 -x507 -x505 -x503 -x504 -x502
3589.61/3600.09 v -x500 -x501 -x499 -x497 -x498 -x496 -x494 -x495 -x493 -x491 -x492 -x490 -x488 -x489 -x487 -x485 -x486 -x484 -x482 -x483
3589.61/3600.09 v -x481 -x479 -x480 -x478 -x476 -x477 -x475 -x473 -x474 -x472 -x470 -x471 -x469 -x467 -x468 -x466 -x464 -x465 -x463 -x461 -x462
3589.61/3600.09 v -x460 -x458 -x459 -x457 -x455 -x456 -x454 -x452 -x453 -x451 -x449 -x450 -x448 -x446 -x447 -x445 -x443 -x444 -x442 -x440 -x441
3589.61/3600.09 v -x439 -x438 -x437 -x435 -x436 -x434 -x432 -x433 -x431 -x429 -x430 -x428 -x426 -x425 -x424 -x423 -x421 -x420 -x418 -x417 -x416
3589.61/3600.09 v -x415 -x414 -x413 -x411 -x410 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x399 -x398 -x397 -x396 -x394 -x393 -x392 -x391
3589.61/3600.09 v -x389 -x388 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x377 -x376 -x375 -x374 -x372 -x371 -x370 -x369 -x367 -x366 -x364
3589.61/3600.09 v -x363 -x361 -x360 -x359 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x349 -x347 -x348 -x346 -x344 -x345 -x343 -x341 -x342 -x340
3589.61/3600.09 v -x338 -x339 -x337 -x335 -x336 -x334 -x332 -x333 -x331 -x329 -x330 -x328 -x326 -x327 -x325 -x323 x324 -x322 -x320 -x321 -x319
3589.61/3600.09 v -x317 -x318 x316 -x314 -x315 -x313 -x311 -x312 -x310 -x308 -x309 -x307 -x305 -x306 -x304 -x302 -x303 -x301 -x299 -x300 -x298
3589.61/3600.09 v -x296 -x297 -x295 -x293 -x294 -x292 -x290 -x291 -x289 -x287 -x288 -x286 -x284 -x285 -x283 -x281 -x282 -x280 -x278 -x279
3589.61/3600.09 v -x277 -x275 -x276 -x274 -x272 -x273 -x271 -x269 -x270 -x268 -x266 -x267 -x265 -x263 -x264 -x262 -x260 -x261 -x259 -x257 -x258
3589.61/3600.09 v -x256 -x254 -x255 -x253 -x251 -x252 -x250 -x248 -x249 -x247 -x245 -x246 -x244 -x242 -x241 -x239 -x238 -x236 -x235 -x234 -x233
3589.61/3600.09 v -x231 -x230 -x228 -x227 -x225 -x224 -x222 -x221 -x219 -x218 -x217 -x216 -x214 -x213 -x211 -x210 -x209 -x208 -x206 -x205 -x203
3589.61/3600.09 v -x202 -x200 -x199 -x197 -x196 -x194 -x193 -x191 -x190 -x188 -x187 -x185 -x8 x7 -x6 -x5 -x4 -x3 -x2 -x176 -x174 -x175 -x173
3589.61/3600.09 v -x171 -x172 -x170 -x168 x169 -x167 -x165 -x166 -x164 -x162 -x163 -x161 -x159 -x160 -x158 -x156 -x157 -x155 -x153 -x154 -x152
3589.61/3600.09 v -x150 -x151 -x149 -x147 -x148 -x146 -x144 -x145 -x143 -x141 -x142 -x140 -x138 -x139 -x137 -x135 -x136 -x134 -x132 -x133 -x131
3589.61/3600.09 v -x129 -x130 -x128 -x126 -x127 -x125 -x123 -x124 -x122 -x120 -x121 -x119 -x117 -x118 -x116 -x114 -x115 -x113 -x111 -x112 -x110
3589.61/3600.09 v -x108 -x109 -x107 -x105 -x106 -x104 -x102 -x103 -x101 -x99 -x100 -x98 -x96 -x97 -x95 -x93 -x94 -x92 -x90 -x91 -x89 -x87 -x88
3589.61/3600.09 v -x86 -x84 -x85 x83 -x81 -x82 -x80 -x78 -x79 -x77 -x75 -x76 -x74 -x72 -x73 -x71 -x69 -x68 -x66 -x65 -x63 -x62 -x60 -x59 -x57
3589.61/3600.09 v -x56 -x54 -x53 -x51 -x50 -x48 -x47 -x45 -x44 -x42 -x41 -x39 -x38 -x36 -x35 -x33 -x32 -x30 -x29 -x27 -x26 -x24 -x23 -x21 -x20
3589.61/3600.09 v -x18 -x17 -x15 -x14 -x12 -x11 -x9 -x5498 -x5496 -x5494 -x5492 -x5490 -x5488 -x5486 -x5484 -x5482 -x5480 -x5478 -x5476 -x5474
3589.61/3600.09 v -x5472 -x5470 -x5468 -x5466 -x5461 -x5456 -x5451 -x5446 -x891 -x5441 -x888 -x5436 -x885 -x5431 -x5426 -x880 -x5421 x5416 -x875
3589.61/3600.09 v -x5411 -x5406 -x5401 -x5396 -x5391 -x5379 -x5367 -x5355 x5343 -x5331 -x5319 -x5314 -x5312 -x5307 -x5305 -x5300 -x5298 -x5293
3589.61/3600.09 v -x5291 -x5286 -x5281 -x5279 -x5274 x5272 -x5267 -x5265 -x5260 -x5258 -x5253 -x5251 -x5246 -x5241 -x5239 -x5234 x5229 -x5227
3589.61/3600.09 v -x5222 -x5220 -x5215 -x5213 -x5208 -x5203 -x5198 -x5196 -x5191 -x5189 -x5184 -x5182 -x5177 -x5175 -x5170 -x5168 -x5163 -x5161
3589.61/3600.09 v -x5156 -x5154 -x5152 -x5147 -x5145 -x5140 -x5138 -x5133 -x5131 -x5126 -x5124 -x5119 -x5117 -x5112 -x5110 -x5105 -x5103 -x5098
3589.61/3600.09 v -x5096 -x5091 -x5089 -x5077 -x5065 -x754 -x5053 -x5041 -x5029 -x747 -x5017 -x744 -x5005 -x4993 -x4981 -x4969 -x735 -x4957
3589.61/3600.09 v -x4945 -x4933 -x4921 -x4909 -x4897 -x722 -x4885 -x719 -x4873 -x4861 -x714 -x4849 -x4837 -x709 -x4810 -x4783 -x4756 -x4729 -x4702
3589.61/3600.09 v x4675 -x4648 -x4643 -x4638 -x4633 -x4628 -x4623 -x4618 -x4613 -x4608 -x4603 -x4598 -x4593 -x4588 -x4583 -x4578 -x4573 -x4568
3589.61/3600.09 v -x4563 -x4558 -x4553 -x4548 -x4543 -x4538 x4533 x4528 -x4523 -x4518 -x4513 -x4508 -x4503 -x4498 -x4493 -x4488 -x4483 -x4478
3589.61/3600.09 v -x4473 -x4468 -x4463 -x4458 -x4453 -x4448 -x4443 -x4438 -x4433 -x4428 -x4423 -x4418 -x4413 -x4408 -x4403 -x4398 -x4393 -x4388
3589.61/3600.09 v -x4383 -x4378 -x4373 -x4368 -x4363 -x4358 -x4353 -x4348 -x4343 -x4338 -x4333 -x4328 -x4323 -x4318 -x4313 -x4308 -x4303
3589.61/3600.09 v -x4298 -x4286 -x4284 -x4272 -x4270 -x4258 -x4256 -x4244 -x4242 -x4230 -x4228 -x4216 -x4214 -x4202 -x4200 -x4188 -x4186 -x4174
3589.61/3600.09 v -x4172 -x4160 -x4158 -x4146 -x4144 -x4132 -x4130 -x4118 -x4116 -x4104 -x4102 -x4090 -x4088 -x4076 -x4074 -x4062 -x4060 -x4048
3589.61/3600.09 v -x4046 -x4034 -x4022 -x4020 -x4008 -x4006 -x3994 -x3992 -x3980 -x3978 -x3966 -x3964 -x3952 -x3950 -x3938 -x3936 -x3924 -x3922
3589.61/3600.09 v -x3910 -x3908 -x3896 -x3894 -x3882 -x3880 -x3868 -x3866 -x3854 -x3852 -x3840 -x3838 -x3826 -x3824 -x3812 -x3810 -x3798 -x3796
3589.61/3600.09 v -x3784 -x3782 -x3770 -x3768 -x3756 -x3754 -x3742 -x3740 -x3728 -x3726 -x3714 -x3712 -x3700 -x3698 -x3686 -x3684 -x3672 -x3670
3589.61/3600.09 v -x3658 -x3656 -x3644 -x3642 -x3630 -x3628 -x3616 -x3614 -x3602 -x3600 -x3588 -x3586 -x3574 -x3572 -x3560 -x3548 -x3546 -x3534
3589.61/3600.09 v -x3532 -x3520 -x3518 -x3491 -x427 -x3464 -x3437 -x422 -x3410 -x419 -x3383 -x3356 -x3329 -x412 -x3302 -x409 -x3275 -x3248
3589.61/3600.09 v -x3221 -x3194 -x400 -x3167 -x3140 -x395 -x3113 -x3086 -x390 -x3059 -x387 -x3032 -x3005 -x2978 -x2951 -x378 -x2924 -x2897 -x373
3589.61/3600.09 v -x2870 -x2843 -x368 -x2816 -x365 -x2789 x362 -x2762 -x2704 -x2646 -x2588 -x2530 -x2472 -x2414 -x2356 -x2298 -x2293 -x2291
3589.61/3600.09 v -x2286 -x2284 -x2279 -x2277 -x2272 -x2270 -x2265 -x2263 -x2258 -x2256 -x2251 -x2249 -x2244 -x2242 -x2237 x2235 -x2230 -x2228
3589.61/3600.09 v -x2223 -x2221 x2216 -x2214 -x2209 -x2207 -x2202 -x2200 -x2195 -x2193 -x2188 -x2186 -x2181 -x2179 -x2174 -x2172 -x2167 -x2165
3589.61/3600.09 v -x2160 -x2158 -x2153 -x2151 -x2146 -x2144 -x2139 -x2137 -x2132 -x2130 -x2125 -x2123 -x2118 -x2116 -x2111 -x2109 -x2104 -x2102
3589.61/3600.10 v -x2097 -x2095 -x2090 -x2088 -x2083 -x2081 -x2076 -x2074 -x2069 -x2067 -x2062 -x2060 -x2055 -x2053 -x2041 -x243 -x2029 -x240
3589.61/3600.10 v -x2017 -x237 -x2005 -x1993 x232 -x1981 -x229 -x1969 -x226 -x1957 -x223 -x1945 -x220 -x1933 -x1921 -x215 -x1909 -x212 -x1897
3589.61/3600.10 v -x1885 -x207 -x1873 -x204 -x1861 -x201 -x1849 -x198 -x1837 -x195 -x1825 -x192 -x1813 -x189 -x1801 -x186 x1774 -x1747 -x1720 -x1693
3589.61/3600.10 v -x1666 -x1639 -x1612 -x1607 -x1605 -x1600 -x1598 -x1593 x1591 -x1586 -x1584 -x1579 -x1577 -x1572 -x1570 -x1565 -x1563 -x1558
3589.61/3600.10 v -x1556 -x1551 -x1549 -x1544 -x1542 -x1537 -x1535 -x1530 -x1528 -x1523 -x1521 -x1516 -x1514 -x1509 -x1507 -x1502 -x1500
3589.61/3600.10 v -x1495 -x1493 -x1488 -x1486 -x1481 -x1479 -x1474 -x1472 -x1467 -x1465 -x1460 -x1458 -x1453 -x1451 -x1446 -x1444 -x1439 -x1437
3589.61/3600.10 v -x1432 -x1430 -x1425 -x1423 -x1418 -x1416 -x1411 -x1409 -x1404 -x1402 -x1397 -x1395 x1390 -x1388 -x1383 -x1381 -x1376 -x1374
3589.61/3600.10 v -x1369 -x1367 -x1355 -x70 -x1343 x67 -x1331 -x64 -x1319 -x61 -x1307 -x58 -x1295 -x55 -x1283 -x52 -x1271 -x49 -x1259 -x46 -x1247
3589.61/3600.10 v -x43 -x1235 -x40 -x1223 -x37 -x1211 -x34 -x1199 -x31 -x1187 -x28 -x1175 -x25 -x1163 -x22 -x1151 -x19 -x1139 -x16 -x1127 -x13
3589.61/3600.10 v -x1115 x10 -x1088 x1061 -x1034 -x1007 -x980 -x953 -x926 x857 x700 x350 x177 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 (60235 MiB free)
memory of node 1: 64510 MiB (58261 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434750-1721105262/watcher-4434750-1721105262 -o /tmp/evaluation-result-4434750-1721105262/solver-4434750-1721105262 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721098035-860309 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434750-1721105262.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=864915, runsolver pid=864912
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 4.23 4.17 4.12 5/262 864916
/proc/meminfo: memFree=121296444/131524600 swapFree=131071996/131071996
[pid=864915] ppid=864912 vsize=70136 memory=57536 CPUtime=0.1 cores=1,3
/proc/864915/stat : 864915 (fscip) R 864912 864915 860297 0 -1 4194304 12074 0 0 0 9 1 0 0 20 0 1 0 162691541 71819264 14384 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
/proc/864915/statm: 17534 14384 2622 3032 0 13934 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 70136 KiB
Current children cumulated memory: 57536 KiB
[startup+0.205749 s]*
/proc/loadavg: 4.23 4.17 4.12 5/262 864916
/proc/meminfo: memFree=121287612/131524600 swapFree=131071996/131071996
[pid=864915] ppid=864912 vsize=76564 memory=64976 CPUtime=0.2 cores=1,3
/proc/864915/stat : 864915 (fscip) R 864912 864915 860297 0 -1 4194304 17102 0 0 0 19 1 0 0 20 0 1 0 162691541 78401536 16244 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
/proc/864915/statm: 19141 16244 2750 3032 0 15541 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 76564 KiB
Current children cumulated memory: 64976 KiB
[startup+0.305675 s]*
/proc/loadavg: 4.23 4.17 4.12 5/262 864916
/proc/meminfo: memFree=121276536/131524600 swapFree=131071996/131071996
[pid=864915] ppid=864912 vsize=104916 memory=77564 CPUtime=0.3 cores=1,3
/proc/864915/stat : 864915 (fscip) R 864912 864915 860297 0 -1 4194304 20230 0 0 0 28 2 0 0 20 0 2 0 162691541 107433984 19391 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
/proc/864915/statm: 26229 19391 2798 3032 0 22628 0
[pid=864915/tid=864917] ppid=864912 vsize=104916 memory=-9033202053653308092 CPUtime=0 cores=1,3
/proc/864915/task/864917/stat : 864917 (fscip) R 864912 864915 860297 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 162691572 107433984 19391 134679101440 4194304 16613245 140735706762304 0 0 0 2147221247 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 104916 KiB
Current children cumulated memory: 77564 KiB
[startup+0.700278 s]
/proc/loadavg: 4.23 4.17 4.12 5/264 864918
/proc/meminfo: memFree=121213676/131524600 swapFree=131071996/131071996
[pid=864915] ppid=864912 vsize=246396 memory=143472 CPUtime=0.68 cores=1,3
/proc/864915/stat : 864915 (fscip) S 864912 864915 860297 0 -1 1077936128 38749 0 0 0 64 4 0 0 20 0 3 0 162691541 252309504 35868 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
/proc/864915/statm: 61599 35868 2910 3032 0 41682 0
[pid=864915/tid=864917] ppid=864912 vsize=246396 memory=16096 CPUtime=0.35 cores=1,3
/proc/864915/task/864917/stat : 864917 (fscip) R 864912 864915 860297 0 -1 4194368 15781 0 0 0 34 1 0 0 20 0 3 0 162691572 252309504 35868 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
[pid=864915/tid=864918] ppid=864912 vsize=246396 memory=257 CPUtime=0 cores=1,3
/proc/864915/task/864918/stat : 864918 (fscip) S 864912 864915 860297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 162691575 252309504 35868 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 246396 KiB
Current children cumulated memory: 143472 KiB
[startup+1.50026 s]
/proc/loadavg: 4.23 4.17 4.12 5/264 864918
/proc/meminfo: memFree=121173636/131524600 swapFree=131071996/131071996
[pid=864915] ppid=864912 vsize=246396 memory=193284 CPUtime=1.48 cores=1,3
/proc/864915/stat : 864915 (fscip) S 864912 864915 860297 0 -1 1077936128 65973 0 0 0 140 8 0 0 20 0 3 0 162691541 252309504 48321 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
/proc/864915/statm: 61599 48321 2926 3032 0 54752 0
[pid=864915/tid=864917] ppid=864912 vsize=246396 memory=257 CPUtime=1.16 cores=1,3
/proc/864915/task/864917/stat : 864917 (fscip) R 864912 864915 860297 0 -1 4194368 43000 0 0 0 111 5 0 0 20 0 3 0 162691572 252309504 48321 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
[pid=864915/tid=864918] ppid=864912 vsize=246396 memory=0 CPUtime=0 cores=1,3
/proc/864915/task/864918/stat : 864918 (fscip) S 864912 864915 860297 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 162691575 252309504 48321 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 246396 KiB
Current children cumulated memory: 193284 KiB
[startup+3.10549 s]
/proc/loadavg: 4.23 4.17 4.12 5/264 864920
/proc/meminfo: memFree=121153260/131524600 swapFree=131071996/131071996
[pid=864915] ppid=864912 vsize=246396 memory=195992 CPUtime=3.08 cores=1,3
/proc/864915/stat : 864915 (fscip) S 864912 864915 860297 0 -1 1077936128 72881 0 0 0 300 8 0 0 20 0 3 0 162691541 252309504 48998 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
/proc/864915/statm: 61599 48998 2926 3032 0 54752 0
[pid=864915/tid=864917] ppid=864912 vsize=246396 memory=0 CPUtime=2.75 cores=1,3
/proc/864915/task/864917/stat : 864917 (fscip) R 864912 864915 860297 0 -1 4194368 49906 0 0 0 270 5 0 0 20 0 3 0 162691572 252309504 48998 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
[pid=864915/tid=864918] ppid=864912 vsize=246396 memory=0 CPUtime=0 cores=1,3
/proc/864915/task/864918/stat : 864918 (fscip) S 864912 864915 860297 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 162691575 252309504 48998 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 246396 KiB
Current children cumulated memory: 195992 KiB
[startup+6.30024 s]
/proc/loadavg: 4.22 4.17 4.12 5/264 864920
/proc/meminfo: memFree=121121680/131524600 swapFree=131071996/131071996
[pid=864915] ppid=864912 vsize=311932 memory=225256 CPUtime=6.26 cores=1,3
/proc/864915/stat : 864915 (fscip) S 864912 864915 860297 0 -1 1077936128 120176 0 0 0 615 11 0 0 20 0 3 0 162691541 319418368 56314 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
/proc/864915/statm: 77983 56314 2926 3032 0 65142 0
[pid=864915/tid=864917] ppid=864912 vsize=311932 memory=0 CPUtime=5.94 cores=1,3
/proc/864915/task/864917/stat : 864917 (fscip) R 864912 864915 860297 0 -1 4194368 97198 0 0 0 586 8 0 0 20 0 3 0 162691572 319418368 56314 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
[pid=864915/tid=864918] ppid=864912 vsize=311932 memory=-6656716521552919402 CPUtime=0 cores=1,3
/proc/864915/task/864918/stat : 864918 (fscip) S 864912 864915 860297 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 162691575 319418368 56314 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 311932 KiB
Current children cumulated memory: 225256 KiB
[startup+12.7003 s]
/proc/loadavg: 4.20 4.17 4.11 5/264 864920
/proc/meminfo: memFree=121082620/131524600 swapFree=131071996/131071996
[pid=864915] ppid=864912 vsize=377468 memory=264384 CPUtime=12.65 cores=1,3
/proc/864915/stat : 864915 (fscip) S 864912 864915 860297 0 -1 1077936128 144524 0 0 0 1251 14 0 0 20 0 3 0 162691541 386527232 66096 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
/proc/864915/statm: 94367 66096 2942 3032 0 74999 0
[pid=864915/tid=864917] ppid=864912 vsize=377468 memory=-6656716521552919402 CPUtime=12.32 cores=1,3
/proc/864915/task/864917/stat : 864917 (fscip) R 864912 864915 860297 0 -1 4194368 121536 0 0 0 1221 11 0 0 20 0 3 0 162691572 386527232 66096 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
[pid=864915/tid=864918] ppid=864912 vsize=377468 memory=228676 CPUtime=0 cores=1,3
/proc/864915/task/864918/stat : 864918 (fscip) S 864912 864915 860297 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 162691575 386527232 66096 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 377468 KiB
Current children cumulated memory: 264384 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.16 4.11 5/264 864923
/proc/meminfo: memFree=121001764/131524600 swapFree=131071996/131071996
[pid=864915] ppid=864912 vsize=377468 memory=264492 CPUtime=25.41 cores=1,3
/proc/864915/stat : 864915 (fscip) S 864912 864915 860297 0 -1 1077936128 171067 0 0 0 2526 15 0 0 20 0 3 0 162691541 386527232 66123 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
/proc/864915/statm: 94367 66123 2942 3032 0 74999 0
[pid=864915/tid=864917] ppid=864912 vsize=377468 memory=264488 CPUtime=25.08 cores=1,3
/proc/864915/task/864917/stat : 864917 (fscip) R 864912 864915 860297 0 -1 4194368 148003 0 0 0 2496 12 0 0 20 0 3 0 162691572 386527232 66123 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
[pid=864915/tid=864918] ppid=864912 vsize=377468 memory=5448 CPUtime=0 cores=1,3
/proc/864915/task/864918/stat : 864918 (fscip) S 864912 864915 860297 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 162691575 386527232 66123 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 377468 KiB
Current children cumulated memory: 264492 KiB
[startup+51.1057 s]
/proc/loadavg: 4.17 4.16 4.11 5/264 864926
/proc/meminfo: memFree=120240844/131524600 swapFree=131071996/131071996
[pid=864915] ppid=864912 vsize=377468 memory=264936 CPUtime=50.94 cores=1,3
/proc/864915/stat : 864915 (fscip) S 864912 864915 860297 0 -1 1077936128 207478 0 0 0 5077 17 0 0 20 0 3 0 162691541 386527232 66234 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
/proc/864915/statm: 94367 66234 2990 3032 0 74999 0
[pid=864915/tid=864917] ppid=864912 vsize=377468 memory=264928 CPUtime=50.61 cores=1,3
/proc/864915/task/864917/stat : 864917 (fscip) R 864912 864915 860297 0 -1 4194368 184326 0 0 0 5047 14 0 0 20 0 3 0 162691572 386527232 66234 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
[pid=864915/tid=864918] ppid=864912 vsize=377468 memory=11860 CPUtime=0 cores=1,3
/proc/864915/task/864918/stat : 864918 (fscip) S 864912 864915 860297 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 162691575 386527232 66234 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 377468 KiB
Current children cumulated memory: 264936 KiB
[startup+102.3 s]
/proc/loadavg: 4.30 4.18 4.12 5/264 864935
/proc/meminfo: memFree=120215612/131524600 swapFree=131071996/131071996
[pid=864915] ppid=864912 vsize=377468 memory=265716 CPUtime=102 cores=1,3
/proc/864915/stat : 864915 (fscip) S 864912 864915 860297 0 -1 1077936128 253597 0 0 0 10179 21 0 0 20 0 3 0 162691541 386527232 66429 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
/proc/864915/statm: 94367 66429 2990 3032 0 74999 0
[pid=864915/tid=864917] ppid=864912 vsize=377468 memory=265716 CPUtime=101.67 cores=1,3
/proc/864915/task/864917/stat : 864917 (fscip) R 864912 864915 860297 0 -1 4194368 230361 0 0 0 10149 18 0 0 20 0 3 0 162691572 386527232 66429 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
[pid=864915/tid=864918] ppid=864912 vsize=377468 memory=265716 CPUtime=0 cores=1,3
/proc/864915/task/864918/stat : 864918 (fscip) S 864912 864915 860297 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 3 0 162691575 386527232 66429 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 377468 KiB
Current children cumulated memory: 265716 KiB
[startup+162.3 s]
/proc/loadavg: 4.27 4.21 4.13 5/266 864950
/proc/meminfo: memFree=120002104/131524600 swapFree=131071996/131071996
[pid=864915] ppid=864912 vsize=377468 memory=266604 CPUtime=161.83 cores=1,3
/proc/864915/stat : 864915 (fscip) S 864912 864915 860297 0 -1 1077936128 310424 0 0 0 16158 25 0 0 20 0 3 0 162691541 386527232 66651 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
/proc/864915/statm: 94367 66651 2990 3032 0 79852 0
[pid=864915/tid=864917] ppid=864912 vsize=377468 memory=266268 CPUtime=161.51 cores=1,3
/proc/864915/task/864917/stat : 864917 (fscip) R 864912 864915 860297 0 -1 4194368 287101 0 0 0 16129 22 0 0 20 0 3 0 162691572 386527232 66651 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
[pid=864915/tid=864918] ppid=864912 vsize=377468 memory=5448 CPUtime=0 cores=1,3
/proc/864915/task/864918/stat : 864918 (fscip) S 864912 864915 860297 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 3 0 162691575 386527232 66651 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 377468 KiB
Current children cumulated memory: 266604 KiB
[startup+222.3 s]
/proc/loadavg: 4.25 4.21 4.14 5/266 864962
/proc/meminfo: memFree=119935820/131524600 swapFree=131071996/131071996
[pid=864915] ppid=864912 vsize=377468 memory=292564 CPUtime=221.68 cores=1,3
/proc/864915/stat : 864915 (fscip) S 864912 864915 860297 0 -1 1077936128 344702 0 0 0 22139 29 0 0 20 0 3 0 162691541 386527232 73141 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
/proc/864915/statm: 94367 73141 2990 3032 0 88808 0
[pid=864915/tid=864917] ppid=864912 vsize=377468 memory=11860 CPUtime=221.34 cores=1,3
/proc/864915/task/864917/stat : 864917 (fscip) R 864912 864915 860297 0 -1 4194368 321336 0 0 0 22109 25 0 0 20 0 3 0 162691572 386527232 73141 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
################
# More data... #
################
Current children cumulated memory: 529420 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/263 866739
/proc/meminfo: memFree=118485748/131524600 swapFree=131071996/131071996
[pid=864915] ppid=864912 vsize=646460 memory=532212 CPUtime=3452.32 cores=1,3
/proc/864915/stat : 864915 (fscip) S 864912 864915 860297 0 -1 1077936128 891191 0 0 0 345138 94 0 0 20 0 3 0 162691541 661975040 133053 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
/proc/864915/statm: 161615 133053 2990 3032 0 151012 0
[pid=864915/tid=864917] ppid=864912 vsize=646460 memory=529148 CPUtime=3451.91 cores=1,3
/proc/864915/task/864917/stat : 864917 (fscip) R 864912 864915 860297 0 -1 4194368 866579 0 0 0 345104 87 0 0 20 0 3 0 162691572 661975040 133053 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
[pid=864915/tid=864918] ppid=864912 vsize=646460 memory=532116 CPUtime=0.03 cores=1,3
/proc/864915/task/864918/stat : 864918 (fscip) S 864912 864915 860297 0 -1 1077936192 286 0 0 0 1 2 0 0 20 0 3 0 162691575 661975040 133053 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
Current children cumulated CPU time: 3452.32 s
Current children cumulated vsize: 646460 KiB
Current children cumulated memory: 532212 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/263 866749
/proc/meminfo: memFree=118480052/131524600 swapFree=131071996/131071996
[pid=864915] ppid=864912 vsize=646460 memory=533416 CPUtime=3512.13 cores=1,3
/proc/864915/stat : 864915 (fscip) S 864912 864915 860297 0 -1 1077936128 893575 0 0 0 351118 95 0 0 20 0 3 0 162691541 661975040 133354 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
/proc/864915/statm: 161615 133354 2990 3032 0 151251 0
[pid=864915/tid=864917] ppid=864912 vsize=646460 memory=532212 CPUtime=3511.73 cores=1,3
/proc/864915/task/864917/stat : 864917 (fscip) R 864912 864915 860297 0 -1 4194368 868940 0 0 0 351085 88 0 0 20 0 3 0 162691572 661975040 133354 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
[pid=864915/tid=864918] ppid=864912 vsize=646460 memory=533416 CPUtime=0.03 cores=1,3
/proc/864915/task/864918/stat : 864918 (fscip) S 864912 864915 860297 0 -1 1077936192 291 0 0 0 1 2 0 0 20 0 3 0 162691575 661975040 133354 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
Current children cumulated CPU time: 3512.13 s
Current children cumulated vsize: 646460 KiB
Current children cumulated memory: 533416 KiB
[startup+3582.3 s]
/proc/loadavg: 3.75 4.05 4.06 3/245 866823
/proc/meminfo: memFree=122988552/131524600 swapFree=131071996/131071996
[pid=864915] ppid=864912 vsize=646460 memory=534552 CPUtime=3571.95 cores=1,3
/proc/864915/stat : 864915 (fscip) S 864912 864915 860297 0 -1 1077936128 896503 0 0 0 357100 95 0 0 20 0 3 0 162691541 661975040 133638 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
/proc/864915/statm: 161615 133638 2990 3032 0 151533 0
[pid=864915/tid=864917] ppid=864912 vsize=646460 memory=534552 CPUtime=3571.54 cores=1,3
/proc/864915/task/864917/stat : 864917 (fscip) R 864912 864915 860297 0 -1 4194368 871844 0 0 0 357066 88 0 0 20 0 3 0 162691572 661975040 133638 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
[pid=864915/tid=864918] ppid=864912 vsize=646460 memory=41404 CPUtime=0.03 cores=1,3
/proc/864915/task/864918/stat : 864918 (fscip) S 864912 864915 860297 0 -1 1077936192 296 0 0 0 1 2 0 0 20 0 3 0 162691575 661975040 133638 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
Current children cumulated CPU time: 3571.95 s
Current children cumulated vsize: 646460 KiB
Current children cumulated memory: 534552 KiB
[startup+3600.11 s]
# the end of solver process 864915 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.77 s, system=0.968041 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.75 4.05 4.06 2/236 866855
/proc/meminfo: memFree=123871688/131524600 swapFree=131071996/131071996
[pid=864915] ppid=864912 vsize=646460 memory=534552 CPUtime=3573.65 cores=1,3
/proc/864915/stat : 864915 (fscip) S 864912 864915 860297 0 -1 1077936128 896510 0 0 0 357270 95 0 0 20 0 3 0 162691541 661975040 133638 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
/proc/864915/statm: 161615 133638 2990 3032 0 151536 0
[pid=864915/tid=864917] ppid=864912 vsize=646460 memory=534552 CPUtime=3573.24 cores=1,3
/proc/864915/task/864917/stat : 864917 (fscip) R 864912 864915 860297 0 -1 4194368 871851 0 0 0 357236 88 0 0 20 0 3 0 162691572 661975040 133638 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
[pid=864915/tid=864918] ppid=864912 vsize=646460 memory=-9044459746194447340 CPUtime=0.03 cores=1,3
/proc/864915/task/864918/stat : 864918 (fscip) S 864912 864915 860297 0 -1 1077936192 296 0 0 0 1 2 0 0 20 0 3 0 162691575 661975040 133638 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
Current children cumulated CPU time: 3573.65 s
Current children cumulated vsize: 646460 KiB
Current children cumulated memory: 534552 KiB
[startup+3590.4 s]
/proc/loadavg: 3.53 4.00 4.05 2/236 866855
/proc/meminfo: memFree=123871904/131524600 swapFree=131071996/131071996
[pid=864915] ppid=864912 vsize=646460 memory=534832 CPUtime=3580.03 cores=1,3
/proc/864915/stat : 864915 (fscip) S 864912 864915 860297 0 -1 1077936128 897594 0 0 0 357908 95 0 0 20 0 3 0 162691541 661975040 133708 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
/proc/864915/statm: 161615 133708 2990 3032 0 151606 0
[pid=864915/tid=864917] ppid=864912 vsize=646460 memory=534552 CPUtime=3579.62 cores=1,3
/proc/864915/task/864917/stat : 864917 (fscip) R 864912 864915 860297 0 -1 4194368 872932 0 0 0 357874 88 0 0 20 0 3 0 162691572 661975040 133708 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
[pid=864915/tid=864918] ppid=864912 vsize=646460 memory=11860 CPUtime=0.03 cores=1,3
/proc/864915/task/864918/stat : 864918 (fscip) S 864912 864915 860297 0 -1 1077936192 299 0 0 0 1 2 0 0 20 0 3 0 162691575 661975040 133708 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
Current children cumulated CPU time: 3580.03 s
Current children cumulated vsize: 646460 KiB
Current children cumulated memory: 534832 KiB
[startup+3596.8 s]
/proc/loadavg: 3.14 3.90 4.02 2/236 866857
/proc/meminfo: memFree=123871668/131524600 swapFree=131071996/131071996
[pid=864915] ppid=864912 vsize=646460 memory=534832 CPUtime=3586.42 cores=1,3
/proc/864915/stat : 864915 (fscip) S 864912 864915 860297 0 -1 1077936128 897760 0 0 0 358547 95 0 0 20 0 3 0 162691541 661975040 133708 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
/proc/864915/statm: 161615 133708 2990 3032 0 151606 0
[pid=864915/tid=864917] ppid=864912 vsize=646460 memory=534832 CPUtime=3586.01 cores=1,3
/proc/864915/task/864917/stat : 864917 (fscip) R 864912 864915 860297 0 -1 4194368 873079 0 0 0 358513 88 0 0 20 0 3 0 162691572 661975040 133708 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
[pid=864915/tid=864918] ppid=864912 vsize=646460 memory=356726 CPUtime=0.03 cores=1,3
/proc/864915/task/864918/stat : 864918 (fscip) S 864912 864915 860297 0 -1 1077936192 299 0 0 0 1 2 0 0 20 0 3 0 162691575 661975040 133708 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
Current children cumulated CPU time: 3586.42 s
Current children cumulated vsize: 646460 KiB
Current children cumulated memory: 534832 KiB
[startup+3598.4 s]
/proc/loadavg: 3.14 3.90 4.02 2/236 866857
/proc/meminfo: memFree=123871696/131524600 swapFree=131071996/131071996
[pid=864915] ppid=864912 vsize=646460 memory=534832 CPUtime=3588.01 cores=1,3
/proc/864915/stat : 864915 (fscip) S 864912 864915 860297 0 -1 1077936128 897895 0 0 0 358706 95 0 0 20 0 3 0 162691541 661975040 133708 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
/proc/864915/statm: 161615 133708 2990 3032 0 151717 0
[pid=864915/tid=864917] ppid=864912 vsize=646460 memory=16096 CPUtime=3587.61 cores=1,3
/proc/864915/task/864917/stat : 864917 (fscip) R 864912 864915 860297 0 -1 4194368 873214 0 0 0 358673 88 0 0 20 0 3 0 162691572 661975040 133708 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
[pid=864915/tid=864918] ppid=864912 vsize=646460 memory=534832 CPUtime=0.03 cores=1,3
/proc/864915/task/864918/stat : 864918 (fscip) S 864912 864915 860297 0 -1 1077936192 299 0 0 0 1 2 0 0 20 0 3 0 162691575 661975040 133708 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
Current children cumulated CPU time: 3588.01 s
Current children cumulated vsize: 646460 KiB
Current children cumulated memory: 534832 KiB
[startup+3599.2 s]
/proc/loadavg: 3.14 3.90 4.02 2/236 866857
/proc/meminfo: memFree=123871640/131524600 swapFree=131071996/131071996
[pid=864915] ppid=864912 vsize=646460 memory=534832 CPUtime=3588.81 cores=1,3
/proc/864915/stat : 864915 (fscip) S 864912 864915 860297 0 -1 1077936128 897897 0 0 0 358786 95 0 0 20 0 3 0 162691541 661975040 133708 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
/proc/864915/statm: 161615 133708 2990 3032 0 151717 0
[pid=864915/tid=864917] ppid=864912 vsize=646460 memory=861988 CPUtime=3588.4 cores=1,3
/proc/864915/task/864917/stat : 864917 (fscip) R 864912 864915 860297 0 -1 4194368 873216 0 0 0 358752 88 0 0 20 0 3 0 162691572 661975040 133708 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
[pid=864915/tid=864918] ppid=864912 vsize=646460 memory=2244 CPUtime=0.03 cores=1,3
/proc/864915/task/864918/stat : 864918 (fscip) S 864912 864915 860297 0 -1 1077936192 299 0 0 0 1 2 0 0 20 0 3 0 162691575 661975040 133708 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
Current children cumulated CPU time: 3588.81 s
Current children cumulated vsize: 646460 KiB
Current children cumulated memory: 534832 KiB
[startup+3599.6 s]
/proc/loadavg: 3.14 3.90 4.02 2/236 866857
/proc/meminfo: memFree=123871640/131524600 swapFree=131071996/131071996
[pid=864915] ppid=864912 vsize=646460 memory=534832 CPUtime=3589.21 cores=1,3
/proc/864915/stat : 864915 (fscip) S 864912 864915 860297 0 -1 1077936128 897897 0 0 0 358826 95 0 0 20 0 3 0 162691541 661975040 133708 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
/proc/864915/statm: 161615 133708 2990 3032 0 151717 0
[pid=864915/tid=864917] ppid=864912 vsize=646460 memory=1956 CPUtime=3588.8 cores=1,3
/proc/864915/task/864917/stat : 864917 (fscip) R 864912 864915 860297 0 -1 4194368 873216 0 0 0 358792 88 0 0 20 0 3 0 162691572 661975040 133708 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
[pid=864915/tid=864918] ppid=864912 vsize=646460 memory=6720662134419898477 CPUtime=0.03 cores=1,3
/proc/864915/task/864918/stat : 864918 (fscip) S 864912 864915 860297 0 -1 1077936192 299 0 0 0 1 2 0 0 20 0 3 0 162691575 661975040 133708 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
Current children cumulated CPU time: 3589.21 s
Current children cumulated vsize: 646460 KiB
Current children cumulated memory: 534832 KiB
[startup+3600 s]*
/proc/loadavg: 3.14 3.90 4.02 2/236 866857
/proc/meminfo: memFree=123871640/131524600 swapFree=131071996/131071996
[pid=864915] ppid=864912 vsize=646460 memory=534832 CPUtime=3589.61 cores=1,3
/proc/864915/stat : 864915 (fscip) S 864912 864915 860297 0 -1 1077936128 897899 0 0 0 358866 95 0 0 20 0 3 0 162691541 661975040 133708 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
/proc/864915/statm: 161615 133708 2990 3032 0 151717 0
[pid=864915/tid=864917] ppid=864912 vsize=646460 memory=6720662134419898477 CPUtime=3589.21 cores=1,3
/proc/864915/task/864917/stat : 864917 (fscip) R 864912 864915 860297 0 -1 4194368 873218 0 0 0 358833 88 0 0 20 0 3 0 162691572 661975040 133708 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
[pid=864915/tid=864918] ppid=864912 vsize=646460 memory=32876 CPUtime=0.03 cores=1,3
/proc/864915/task/864918/stat : 864918 (fscip) S 864912 864915 860297 0 -1 1077936192 299 0 0 0 1 2 0 0 20 0 3 0 162691575 661975040 133708 134679101440 4194304 16613245 140735706762304 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34119680 140735706768405 140735706768521 140735706768521 140735706775536 0
Current children cumulated CPU time: 3589.61 s
Current children cumulated vsize: 646460 KiB
Current children cumulated memory: 534832 KiB
[startup+3600.1 s]*
/proc/loadavg: 3.14 3.90 4.02 2/235 866857
/proc/meminfo: memFree=123915468/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3600.11
CPU time (s): 3589.74
CPU user time (s): 3588.77
CPU system time (s): 0.968041
CPU usage (%): 99.7118
Max. virtual memory (cumulated for all children) (KiB): 646460
Max. memory (cumulated for all children) (KiB): 534832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.77
system time used= 0.968041
maximum resident set size= 534888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 901908
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= 4774
involuntary context switches= 2142
# summary of solver processes directly reported to runsolver:
# pid: 864915
# total CPU time (s): 3589.74
# total CPU user time (s): 3588.77
# total CPU system time (s): 0.968041
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.15294 second user time and 16.7553 second system time
The end
Begin job on nodeC025 at 2024-07-16 06:47:54
IDJOB=4434750
IDBENCH=148192
IDSOLVER=3064
FILE ID=nodeC025/4434750-1721105262
RUNJOBID= nodeC025-1721098035-860309
SLURM_JOB_ID= 7505612
Free space on /tmp= 889932 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.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-4434750-1721105262/watcher-4434750-1721105262 -o /tmp/evaluation-result-4434750-1721105262/solver-4434750-1721105262 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721098035-860309 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434750-1721105262.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2f5de9b63d0a2988dce846045b262c40
RANDOM SEED=1119622314
nodeC025.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 : 3600.345
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 : 6999.72
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 : 3670.586
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.09
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 : 3670.008
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 : 6999.72
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 : 3677.488
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.09
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 : 3670.016
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 : 6999.72
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 : 3677.784
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.09
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 : 3599.924
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 : 6999.72
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 : 3600.033
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.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 121341624 kB
MemAvailable: 126643520 kB
Buffers: 413064 kB
Cached: 5662380 kB
SwapCached: 0 kB
Active: 778480 kB
Inactive: 8665492 kB
Active(anon): 1552 kB
Inactive(anon): 3404372 kB
Active(file): 776928 kB
Inactive(file): 5261120 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 97544 kB
Writeback: 0 kB
AnonPages: 3365860 kB
Mapped: 139984 kB
Shmem: 37720 kB
KReclaimable: 206988 kB
Slab: 325584 kB
SReclaimable: 206988 kB
SUnreclaim: 118596 kB
KernelStack: 4168 kB
PageTables: 16164 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2298188 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62848 kB
HardwareCorrupted: 0 kB
AnonHugePages: 737280 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: 273108 kB
DirectMap2M: 36200448 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 890004 MiB
End job on nodeC025 at 2024-07-16 07:47:55