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.08 c Default LC presolving (default).
0.00/0.08 c ** Before presolving: virtualMemUsedAtLc = 82011709, getVmSize() = 75759616, SCIPgetMemUsed() = 45709215, SCIPgetMemTotal() = 52113615, SCIPgetMemExternEstim() = 29898094
0.00/0.08 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
9.26/9.39 c ** Estimated virtualMemUsedAtSolver = 91658372, getVmSize() = 134496256, SCIPgetMemUsed() = 70427848, SCIPgetMemTotal() = 107589464, SCIPgetMemExternEstim() = 29898094
9.26/9.39 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
9.26/9.39 c Original Problem :
9.26/9.39 c Problem name : instance-4426810-1720905818
9.26/9.39 c Variables : 10428 (10428 binary, 0 integer, 0 implicit integer, 0 continuous)
9.26/9.39 c Constraints : 21626
9.26/9.39 c Objective sense : minimize
9.26/9.39 c Presolved Problem :
9.26/9.39 c Variables : 5838 (5743 binary, 0 integer, 95 implicit integer, 0 continuous)
9.26/9.39 c Constraints : 7590
9.26/9.39 c Constraints : Number
9.26/9.39 c knapsack : 216
9.26/9.39 c setppc : 3554
9.26/9.39 c and : 285
9.26/9.39 c linear : 2931
9.26/9.39 c logicor : 490
9.26/9.39 c indicator : 114
9.26/9.39 c ** Instance transfer method used: 0
9.36/9.41 c ** ParaScipInstance copy increased the number of variables. **
9.36/9.42 c LC is working with racing ramp-up and with rebuilding tree after racing.
9.36/9.42 c Nodes Active
9.36/9.42 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
10.16/10.24 c * 10 0 1 1 143585.0000 - -
10.16/10.24 c 10 0 1 1 143585.0000 - -
10.16/10.28 c * 10 0 1 1 7203.0000 - -
172.00/172.56 c * 173 0 1 1 5364.0000 - -
172.00/172.56 c 173 0 1 1 5364.0000 - -
173.00/173.56 c * 174 0 1 1 4721.0000 - -
193.94/194.53 c 195 2 1 1 4721.0000 0.0000 -
217.38/218.03 c 218 3 2 1 4721.0000 0.0000 -
233.83/234.59 c 235 4 3 1 4721.0000 0.0000 -
250.40/251.14 c 251 5 4 1 4721.0000 0.0000 -
265.55/266.36 c 266 5 6 1 4721.0000 0.0000 -
275.52/276.36 c 276 5 6 1 4721.0000 0.0000 -
284.89/285.79 c 286 6 5 1 4721.0000 0.0000 -
298.66/299.52 c 300 7 6 1 4721.0000 0.0000 -
320.00/320.91 c 321 8 7 1 4721.0000 0.0000 -
332.86/333.87 c 334 9 8 1 4721.0000 0.0000 -
346.62/347.60 c 348 10 9 1 4721.0000 0.0000 -
360.99/362.02 c 362 11 10 1 4721.0000 0.0000 -
375.44/376.50 c 377 12 11 1 4721.0000 0.0000 -
388.90/390.01 c 390 14 13 1 4721.0000 0.0000 -
393.78/394.92 c * 395 15 14 1 3123.0000 0.0000 -
393.90/395.03 c 395 18 17 1 3123.0000 0.0000 -
400.17/401.35 c 401 24 23 1 3123.0000 0.0000 -
411.44/412.60 c 413 27 26 1 3123.0000 0.0000 -
424.80/426.00 c * 426 27 26 1 2952.0000 0.0000 -
424.80/426.00 c 426 27 26 1 2952.0000 0.0000 -
429.89/431.14 c 431 43 42 1 2952.0000 0.0000 -
435.46/436.70 c * 437 59 58 1 2812.0000 0.0000 -
435.46/436.70 c 437 59 58 1 2812.0000 0.0000 -
436.66/437.95 c * 438 82 81 1 2772.0000 0.0000 -
436.76/438.08 c * 438 82 81 1 2707.0000 0.0000 -
451.41/452.75 c 453 102 101 1 2707.0000 0.0000 -
456.99/458.31 c 458 105 104 1 2707.0000 0.0000 -
462.98/464.34 c 464 108 107 1 2707.0000 0.0000 -
478.74/480.17 c 480 152 151 1 2707.0000 0.0000 -
497.77/499.25 c 499 154 153 1 2707.0000 0.0000 -
504.65/506.17 c 506 156 155 1 2707.0000 0.0000 -
515.52/517.06 c 517 157 156 1 2707.0000 0.0000 -
525.78/527.35 c 527 159 158 1 2707.0000 0.0000 -
527.28/528.81 c * 529 235 234 1 2538.0000 0.0000 -
527.28/528.81 c * 529 235 234 1 2458.0000 0.0000 -
527.28/528.88 c * 529 235 234 1 2450.0000 0.0000 -
538.64/540.23 c 540 292 283 1 2450.0000 0.0000 -
545.53/547.15 c 547 294 285 1 2450.0000 0.0000 -
555.59/557.21 c 557 295 286 1 2450.0000 0.0000 -
562.87/564.52 c 565 297 288 1 2450.0000 0.0000 -
578.43/580.13 c 580 298 289 1 2450.0000 0.0000 -
584.91/586.70 c 587 300 291 1 2450.0000 0.0000 -
593.08/594.81 c 595 301 292 1 2450.0000 0.0000 -
601.96/603.71 c 604 303 294 1 2450.0000 0.0000 -
615.63/617.47 c 617 304 295 1 2450.0000 0.0000 -
630.29/632.15 c 632 306 297 1 2450.0000 0.0000 -
644.84/646.71 c 647 308 299 1 2450.0000 0.0000 -
651.13/653.08 c 653 310 301 1 2450.0000 0.0000 -
661.79/663.78 c 664 312 303 1 2450.0000 0.0000 -
662.10/664.09 c * 664 312 303 1 2447.0000 0.0000 -
666.89/668.85 c 669 402 351 1 2447.0000 0.0000 -
678.56/680.52 c 681 403 352 1 2447.0000 0.0000 -
683.94/685.97 c 686 404 353 1 2447.0000 0.0000 -
691.52/693.55 c 694 405 354 1 2447.0000 0.0000 -
697.61/699.69 c 700 407 356 1 2447.0000 0.0000 -
709.18/711.23 c 711 409 358 1 2447.0000 0.0000 -
714.76/716.86 c 717 411 360 1 2447.0000 0.0000 -
723.44/725.58 c 726 412 361 1 2447.0000 0.0000 -
738.30/740.49 c 740 452 375 1 2447.0000 0.0000 -
753.46/755.65 c 756 454 377 1 2447.0000 0.0000 -
761.44/763.61 c 764 456 379 1 2447.0000 0.0000 -
768.53/770.79 c 771 457 380 1 2447.0000 0.0000 -
781.90/784.18 c 784 462 385 1 2447.0000 0.0000 -
788.67/790.97 c 791 465 388 1 2447.0000 0.0000 -
798.85/801.17 c 801 466 389 1 2447.0000 0.0000 -
808.02/810.35 c 810 467 390 1 2447.0000 0.0000 -
818.89/821.29 c 821 468 391 1 2447.0000 0.0000 -
824.68/827.06 c 827 469 392 1 2447.0000 0.0000 -
833.16/835.58 c 836 470 393 1 2447.0000 0.0000 -
839.44/841.88 c 842 471 394 1 2447.0000 0.0000 -
850.01/852.49 c 852 472 395 1 2447.0000 0.0000 -
850.41/852.81 c * 853 472 395 1 2435.0000 0.0000 -
850.41/852.89 c * 853 472 395 1 2383.0000 0.0000 -
863.48/865.98 c 866 514 407 1 2383.0000 0.0000 -
874.76/877.21 c 877 516 409 1 2383.0000 0.0000 -
884.43/886.97 c 887 517 410 1 2383.0000 0.0000 -
895.90/898.48 c 898 519 412 1 2383.0000 0.0000 -
908.87/911.47 c 911 521 414 1 2383.0000 0.0000 -
914.26/916.82 c 917 522 415 1 2383.0000 0.0000 -
926.12/928.79 c 929 594 437 1 2383.0000 0.0000 -
942.68/945.30 c 945 595 438 1 2383.0000 0.0000 -
948.38/951.01 c 951 596 439 1 2383.0000 0.0000 -
957.74/960.43 c 960 597 440 1 2383.0000 0.0000 -
966.52/969.20 c 969 599 442 1 2383.0000 0.0000 -
973.50/976.20 c 976 600 443 1 2383.0000 0.0000 -
985.87/988.60 c 989 602 445 1 2383.0000 0.0000 -
985.97/988.78 c * 989 602 445 1 2365.0000 0.0000 -
1003.23/1006.04 c 1006 654 454 1 2365.0000 0.0000 -
1010.21/1013.05 c 1013 655 455 1 2365.0000 0.0000 -
1019.38/1022.26 c 1022 656 456 1 2365.0000 0.0000 -
1031.35/1034.27 c 1034 658 458 1 2365.0000 0.0000 -
1037.43/1040.37 c 1040 660 460 1 2365.0000 0.0000 -
1045.12/1048.06 c 1048 661 461 1 2365.0000 0.0000 -
1062.48/1065.44 c 1065 683 467 1 2365.0000 0.0000 -
1068.96/1071.97 c 1072 685 469 1 2365.0000 0.0000 -
1075.15/1078.10 c 1078 686 470 1 2365.0000 0.0000 -
1088.91/1091.90 c 1092 689 473 1 2365.0000 0.0000 -
1095.79/1098.85 c 1099 691 475 1 2365.0000 0.0000 -
1103.87/1106.99 c 1107 692 476 1 2365.0000 0.0000 -
1115.74/1118.88 c 1119 713 479 1 2365.0000 0.0000 -
1124.02/1127.14 c 1127 715 481 1 2365.0000 0.0000 -
1132.00/1135.15 c 1135 716 482 1 2365.0000 0.0000 -
1138.18/1141.38 c 1141 718 484 1 2365.0000 0.0000 -
1152.64/1155.86 c 1156 719 485 1 2365.0000 0.0000 -
1164.30/1167.59 c 1168 720 486 1 2365.0000 0.0000 -
1176.88/1180.18 c 1180 722 488 1 2365.0000 0.0000 -
1185.95/1189.22 c 1189 762 495 1 2365.0000 0.0000 -
1197.22/1200.59 c 1201 763 496 1 2365.0000 0.0000 -
1210.49/1213.80 c 1214 764 497 1 2365.0000 0.0000 -
1223.26/1226.66 c 1227 765 498 1 2365.0000 0.0000 -
1234.83/1238.24 c 1238 767 500 1 2365.0000 0.0000 -
1241.21/1244.64 c 1245 768 501 1 2365.0000 0.0000 -
1250.99/1254.47 c 1254 769 502 1 2365.0000 0.0000 -
1257.97/1261.45 c 1261 770 503 1 2365.0000 0.0000 -
1263.46/1266.94 c 1267 782 515 1 2365.0000 0.0000 -
1269.24/1272.79 c 1273 791 524 1 2365.0000 0.0000 -
1275.33/1278.86 c 1279 803 536 1 2365.0000 0.0000 -
1281.32/1284.83 c 1285 813 546 1 2365.0000 0.0000 -
1283.52/1287.07 c * 1287 814 547 1 1226.0000 0.0000 -
1287.51/1291.02 c 1291 818 271 1 1226.0000 0.0000 -
1294.28/1297.85 c 1298 825 278 1 1226.0000 0.0000 -
1300.67/1304.29 c 1304 832 285 1 1226.0000 0.0000 -
1306.16/1309.77 c 1310 843 296 1 1226.0000 0.0000 -
1312.55/1316.19 c 1316 849 302 1 1226.0000 0.0000 -
1318.63/1322.29 c 1322 860 313 1 1226.0000 0.0000 -
1324.62/1328.29 c 1328 872 325 1 1226.0000 0.0000 -
1331.80/1335.45 c 1335 888 341 1 1226.0000 0.0000 -
1337.88/1341.57 c 1342 910 363 1 1226.0000 0.0000 -
1344.26/1347.92 c 1348 921 374 1 1226.0000 0.0000 -
1350.05/1353.71 c 1354 931 384 1 1226.0000 0.0000 -
1355.93/1359.66 c 1360 940 393 1 1226.0000 0.0000 -
1361.82/1365.51 c 1366 950 403 1 1226.0000 0.0000 -
1368.50/1372.26 c 1372 965 418 1 1226.0000 0.0000 -
1373.79/1377.54 c 1378 976 429 1 1226.0000 0.0000 -
1379.57/1383.38 c 1383 977 430 1 1226.0000 0.0000 -
1385.16/1388.91 c 1389 987 440 1 1226.0000 0.0000 -
1391.25/1395.01 c 1395 994 447 1 1226.0000 0.0000 -
1397.53/1401.30 c 1401 1000 453 1 1226.0000 0.0000 -
1406.11/1409.93 c 1410 1011 464 1 1226.0000 0.0000 -
1407.80/1411.66 c * 1412 1013 466 1 1143.0000 0.0000 -
1412.30/1416.13 c 1416 1018 464 1 1143.0000 0.0000 -
1420.87/1424.72 c 1425 1025 469 1 1143.0000 0.0000 -
1426.17/1430.01 c 1430 1030 474 1 1143.0000 0.0000 -
1432.35/1436.24 c 1436 1041 485 1 1143.0000 0.0000 -
1440.63/1444.50 c 1444 1051 495 1 1143.0000 0.0000 -
1447.31/1451.27 c 1451 1061 505 1 1143.0000 0.0000 -
1452.70/1456.69 c 1457 1071 515 1 1143.0000 0.0000 -
1458.98/1462.98 c 1463 1080 524 1 1143.0000 0.0000 -
1464.27/1468.22 c 1468 1089 533 1 1143.0000 0.0000 -
1470.55/1474.51 c 1475 1105 549 1 1143.0000 0.0000 -
1476.15/1480.17 c 1480 1139 581 1 1143.0000 0.0000 -
1481.13/1485.20 c 1485 1164 606 1 1143.0000 0.0000 -
1486.71/1490.75 c 1491 1189 631 1 1143.0000 0.0000 -
1492.00/1496.07 c 1496 1208 650 1 1143.0000 0.0000 -
1494.59/1498.64 c * 1499 1214 658 1 856.0000 0.0000 -
1498.18/1502.20 c 1502 1229 650 1 856.0000 0.0000 -
1515.44/1519.56 c 1520 1242 655 1 856.0000 0.0000 -
1523.43/1527.55 c 1528 1243 656 1 856.0000 0.0000 -
1532.30/1536.48 c 1536 1244 657 1 856.0000 0.0000 -
1542.58/1546.78 c 1547 1246 659 1 856.0000 0.0000 -
1548.56/1552.74 c 1553 1247 660 1 856.0000 0.0000 -
1556.54/1560.71 c 1561 1251 664 1 856.0000 0.0000 -
1563.22/1567.42 c 1567 1252 665 1 856.0000 0.0000 -
1572.80/1577.08 c 1577 1253 666 1 856.0000 0.0000 -
1581.59/1585.82 c 1586 1255 668 1 856.0000 0.0000 -
1590.17/1594.45 c 1594 1259 672 1 856.0000 0.0000 -
1604.53/1608.89 c 1609 1262 675 1 856.0000 0.0000 -
1616.40/1620.73 c 1621 1263 676 1 856.0000 0.0000 -
1625.08/1629.45 c 1629 1264 677 1 856.0000 0.0000 -
1636.76/1641.15 c 1641 1266 679 1 856.0000 0.0000 -
1644.53/1648.94 c 1649 1267 680 1 856.0000 0.0000 -
1652.11/1656.50 c 1656 1270 683 1 856.0000 0.0000 -
1662.79/1667.21 c 1667 1272 685 1 856.0000 0.0000 -
1672.96/1677.45 c 1677 1273 686 1 856.0000 0.0000 -
1682.74/1687.22 c 1687 1274 687 1 856.0000 0.0000 -
1693.41/1697.92 c 1698 1276 689 1 856.0000 0.0000 -
1701.69/1706.28 c 1706 1278 691 1 856.0000 0.0000 -
1708.59/1713.12 c 1713 1280 693 1 856.0000 0.0000 -
1713.57/1718.13 c 1718 1283 696 1 856.0000 0.0000 -
1720.65/1725.29 c 1725 1284 697 1 856.0000 0.0000 -
1729.33/1733.99 c 1734 1285 698 1 856.0000 0.0000 -
1734.92/1739.50 c 1740 1288 701 1 856.0000 0.0000 -
1740.80/1745.40 c 1745 1292 705 1 856.0000 0.0000 -
1746.09/1750.70 c 1751 1296 709 1 856.0000 0.0000 -
1761.65/1766.38 c 1766 1302 715 1 856.0000 0.0000 -
1770.13/1774.81 c 1775 1303 716 1 856.0000 0.0000 -
1780.31/1785.02 c 1785 1305 718 1 856.0000 0.0000 -
1792.57/1797.33 c 1797 1307 720 1 856.0000 0.0000 -
1797.66/1802.47 c 1802 1308 721 1 856.0000 0.0000 -
1806.84/1811.69 c 1812 1309 722 1 856.0000 0.0000 -
1813.34/1818.10 c 1818 1310 723 1 856.0000 0.0000 -
1824.40/1829.23 c 1829 1312 725 1 856.0000 0.0000 -
1829.49/1834.30 c 1834 1331 740 1 856.0000 0.0000 -
1834.58/1839.47 c 1839 1360 763 1 856.0000 0.0000 -
1840.46/1845.37 c 1845 1393 796 1 856.0000 0.0000 -
1844.75/1849.68 c * 1850 1411 812 1 845.0000 0.0000 -
1846.35/1851.22 c 1851 1432 828 1 845.0000 0.0000 -
1855.63/1860.54 c 1861 1442 830 1 845.0000 0.0000 -
1864.71/1869.61 c 1870 1443 831 1 845.0000 0.0000 -
1874.19/1879.19 c 1879 1445 833 1 845.0000 0.0000 -
1883.86/1888.87 c 1889 1447 835 1 845.0000 0.0000 -
1889.84/1894.89 c 1895 1448 836 1 845.0000 0.0000 -
1898.72/1903.74 c 1904 1450 838 1 845.0000 0.0000 -
1908.41/1913.48 c 1913 1451 839 1 845.0000 0.0000 -
1919.58/1924.69 c 1925 1453 841 1 845.0000 0.0000 -
1924.77/1929.81 c 1930 1455 843 1 845.0000 0.0000 -
1932.25/1937.32 c 1937 1462 850 1 845.0000 0.0000 -
1939.63/1944.73 c 1945 1464 852 1 845.0000 0.0000 -
1945.93/1951.08 c 1951 1469 857 1 845.0000 0.0000 -
1956.89/1962.07 c 1962 1472 860 1 845.0000 0.0000 -
1965.97/1971.19 c 1971 1474 862 1 845.0000 0.0000 -
1974.45/1979.64 c 1980 1476 864 1 845.0000 0.0000 -
1980.84/1986.08 c 1986 1477 865 1 845.0000 0.0000 -
1986.12/1991.30 c 1991 1479 867 1 845.0000 0.0000 -
1993.30/1998.55 c 1999 1480 868 1 845.0000 0.0000 -
1998.69/2003.98 c 2004 1481 869 1 845.0000 0.0000 -
2007.68/2012.97 c 2013 1482 870 1 845.0000 0.0000 -
2017.55/2022.82 c 2023 1484 872 1 845.0000 0.0000 -
2023.14/2028.44 c 2028 1485 873 1 845.0000 0.0000 -
2032.32/2037.60 c 2038 1488 876 1 845.0000 0.0000 -
2038.10/2043.49 c 2044 1489 877 1 845.0000 0.0000 -
2047.69/2053.10 c 2053 1492 880 1 845.0000 0.0000 -
2057.36/2062.76 c 2063 1495 883 1 845.0000 0.0000 -
2068.64/2074.03 c 2074 1498 886 1 845.0000 0.0000 -
2074.02/2079.44 c 2079 1499 887 1 845.0000 0.0000 -
2081.50/2086.91 c 2087 1502 890 1 845.0000 0.0000 -
2088.19/2093.61 c 2094 1503 891 1 845.0000 0.0000 -
2096.08/2101.58 c 2102 1504 892 1 845.0000 0.0000 -
2107.05/2112.54 c 2113 1506 894 1 845.0000 0.0000 -
2113.74/2119.29 c 2119 1507 895 1 845.0000 0.0000 -
2119.02/2124.53 c 2125 1508 896 1 845.0000 0.0000 -
2126.51/2132.06 c 2132 1512 900 1 845.0000 0.0000 -
2131.70/2137.27 c 2137 1517 905 1 845.0000 0.0000 -
2141.27/2146.86 c 2147 1522 910 1 845.0000 0.0000 -
2148.06/2153.61 c 2154 1524 912 1 845.0000 0.0000 -
2161.13/2166.77 c 2167 1532 920 1 845.0000 0.0000 -
2176.99/2182.68 c 2183 1534 922 1 845.0000 0.0000 -
2185.67/2191.38 c 2191 1535 923 1 845.0000 0.0000 -
2195.95/2201.67 c 2202 1536 924 1 845.0000 0.0000 -
2205.23/2210.98 c 2211 1537 925 1 845.0000 0.0000 -
2217.31/2223.10 c 2223 1538 926 1 845.0000 0.0000 -
2223.40/2229.18 c 2229 1539 927 1 845.0000 0.0000 -
2232.17/2237.90 c 2238 1540 928 1 845.0000 0.0000 -
2238.26/2244.08 c 2244 1541 929 1 845.0000 0.0000 -
2247.04/2252.84 c 2253 1542 930 1 845.0000 0.0000 -
2251.23/2257.06 c * 2257 1601 971 1 820.0000 0.0000 -
2260.21/2266.04 c 2266 1621 984 1 820.0000 0.0000 -
2270.39/2276.24 c 2276 1621 984 1 820.0000 0.0000 -
2278.66/2284.54 c 2285 1622 983 1 820.0000 0.0000 -
2291.83/2297.77 c 2298 1624 985 1 820.0000 0.0000 -
2302.41/2308.39 c 2308 1625 986 1 820.0000 0.0000 -
2310.10/2316.07 c 2316 1626 987 1 820.0000 0.0000 -
2321.68/2327.69 c 2328 1627 988 1 820.0000 0.0000 -
2327.46/2333.45 c 2333 1628 989 1 820.0000 0.0000 -
2338.84/2344.80 c 2345 1632 993 1 820.0000 0.0000 -
2344.42/2350.42 c 2350 1635 996 1 820.0000 0.0000 -
2351.81/2357.87 c 2358 1638 999 1 820.0000 0.0000 -
2363.08/2369.18 c 2369 1642 1003 1 820.0000 0.0000 -
2371.06/2377.17 c 2377 1643 1004 1 820.0000 0.0000 -
2377.34/2383.47 c 2383 1644 1005 1 820.0000 0.0000 -
2383.74/2389.83 c 2390 1646 1007 1 820.0000 0.0000 -
2389.32/2395.49 c 2395 1652 1013 1 820.0000 0.0000 -
2394.51/2400.62 c 2401 1655 1016 1 820.0000 0.0000 -
2402.90/2409.08 c 2409 1658 1019 1 820.0000 0.0000 -
2412.07/2418.26 c 2418 1662 1023 1 820.0000 0.0000 -
2420.15/2426.35 c 2426 1664 1025 1 820.0000 0.0000 -
2432.12/2438.33 c 2438 1665 1026 1 820.0000 0.0000 -
2439.91/2446.10 c 2446 1666 1027 1 820.0000 0.0000 -
2445.09/2451.32 c 2451 1667 1028 1 820.0000 0.0000 -
2453.37/2459.67 c 2460 1668 1029 1 820.0000 0.0000 -
2459.96/2466.26 c 2466 1670 1031 1 820.0000 0.0000 -
2466.75/2473.05 c 2473 1671 1032 1 820.0000 0.0000 -
2472.03/2478.31 c 2478 1724 1064 1 820.0000 0.0000 -
2481.71/2488.05 c 2488 1742 1076 1 820.0000 0.0000 -
2489.09/2495.46 c 2495 1743 1077 1 820.0000 0.0000 -
2498.57/2504.98 c 2505 1744 1078 1 820.0000 0.0000 -
2504.96/2511.32 c 2511 1749 1083 1 820.0000 0.0000 -
2519.13/2525.52 c 2526 1752 1086 1 820.0000 0.0000 -
2532.79/2539.24 c 2539 1753 1087 1 820.0000 0.0000 -
2541.27/2547.72 c 2548 1754 1088 1 820.0000 0.0000 -
2546.67/2553.12 c 2553 1755 1089 1 820.0000 0.0000 -
2556.94/2563.48 c 2563 1756 1090 1 820.0000 0.0000 -
2565.12/2571.69 c 2572 1757 1091 1 820.0000 0.0000 -
2571.60/2578.11 c 2578 1758 1092 1 820.0000 0.0000 -
2580.77/2587.37 c 2587 1759 1093 1 820.0000 0.0000 -
2587.56/2594.13 c 2594 1761 1095 1 820.0000 0.0000 -
2600.33/2606.91 c 2607 1762 1096 1 820.0000 0.0000 -
2605.52/2612.18 c 2612 1763 1097 1 820.0000 0.0000 -
2612.29/2618.94 c 2619 1772 1106 1 820.0000 0.0000 -
2625.17/2631.84 c 2632 1773 1107 1 820.0000 0.0000 -
2635.64/2642.38 c 2642 1774 1108 1 820.0000 0.0000 -
2641.73/2648.43 c 2648 1775 1109 1 820.0000 0.0000 -
2647.32/2654.01 c 2654 1781 1115 1 820.0000 0.0000 -
2658.49/2665.26 c 2665 1782 1116 1 820.0000 0.0000 -
2663.47/2670.28 c 2670 1788 1122 1 820.0000 0.0000 -
2674.35/2681.11 c 2681 1792 1126 1 820.0000 0.0000 -
2683.82/2690.66 c 2691 1793 1127 1 820.0000 0.0000 -
2692.90/2699.75 c 2700 1795 1129 1 820.0000 0.0000 -
2698.09/2704.95 c 2705 1797 1131 1 820.0000 0.0000 -
2704.88/2711.78 c 2712 1800 1136 1 820.0000 0.0000 -
2711.76/2718.68 c 2719 1801 1135 1 820.0000 0.0000 -
2719.44/2726.36 c 2726 1802 1136 1 820.0000 0.0000 -
2730.02/2736.96 c 2737 1804 1138 1 820.0000 0.0000 -
2736.11/2743.07 c 2743 1809 1143 1 820.0000 0.0000 -
2741.79/2748.72 c 2749 1812 1146 1 820.0000 0.0000 -
2748.77/2755.79 c 2756 1813 1147 1 820.0000 0.0000 -
2756.75/2763.77 c 2764 1814 1150 1 820.0000 0.0000 -
2757.94/2764.92 c * 2765 1814 1150 1 639.0000 0.0000 -
2766.33/2773.35 c 2773 1817 950 1 639.0000 0.0000 -
2772.02/2779.00 c 2779 1819 952 1 639.0000 0.0000 -
2781.39/2788.45 c 2788 1823 956 1 639.0000 0.0000 -
2787.47/2794.50 c 2794 1831 964 1 639.0000 0.0000 -
2793.06/2800.15 c 2800 1832 965 1 639.0000 0.0000 -
2801.34/2808.41 c 2808 1834 967 1 639.0000 0.0000 -
2808.83/2815.92 c 2816 1836 969 1 639.0000 0.0000 -
2815.41/2822.52 c 2823 1838 971 1 639.0000 0.0000 -
2824.89/2832.04 c 2832 1842 975 1 639.0000 0.0000 -
2831.47/2838.68 c 2839 1844 977 1 639.0000 0.0000 -
2840.55/2847.72 c 2848 1846 979 1 639.0000 0.0000 -
2850.32/2857.58 c 2858 1852 985 1 639.0000 0.0000 -
2855.92/2863.19 c 2863 1858 991 1 639.0000 0.0000 -
2862.99/2870.22 c 2870 1862 995 1 639.0000 0.0000 -
2869.48/2876.79 c 2877 1864 997 1 639.0000 0.0000 -
2876.87/2884.14 c 2884 1872 1005 1 639.0000 0.0000 -
2882.25/2889.54 c 2890 1881 1014 1 639.0000 0.0000 -
2893.83/2901.11 c 2901 1882 1015 1 639.0000 0.0000 -
2904.30/2911.61 c 2912 1883 1016 1 639.0000 0.0000 -
2923.25/2930.64 c 2931 1892 1025 1 639.0000 0.0000 -
2934.23/2941.64 c 2942 1893 1026 1 639.0000 0.0000 -
2942.41/2949.87 c 2950 1894 1027 1 639.0000 0.0000 -
2948.61/2956.01 c 2956 1895 1028 1 639.0000 0.0000 -
2953.59/2961.06 c 2961 1896 1029 1 639.0000 0.0000 -
2960.97/2968.44 c 2968 1898 1031 1 639.0000 0.0000 -
2981.02/2988.51 c 2989 1902 1035 1 639.0000 0.0000 -
2991.50/2999.08 c 2999 1903 1036 1 639.0000 0.0000 -
2999.18/3006.73 c 3007 1904 1037 1 639.0000 0.0000 -
3007.47/3015.06 c 3015 1906 1039 1 639.0000 0.0000 -
3018.74/3026.34 c 3026 1912 1045 1 639.0000 0.0000 -
3024.62/3032.28 c 3032 1913 1046 1 639.0000 0.0000 -
3034.00/3041.69 c 3042 1915 1048 1 639.0000 0.0000 -
3039.09/3046.78 c 3047 1917 1050 1 639.0000 0.0000 -
3045.77/3053.40 c 3053 1922 1055 1 639.0000 0.0000 -
3051.46/3059.15 c 3059 1925 1058 1 639.0000 0.0000 -
3056.55/3064.27 c 3064 1932 1065 1 639.0000 0.0000 -
3062.63/3070.30 c 3070 1975 1108 1 639.0000 0.0000 -
3068.03/3075.72 c 3076 2016 1147 1 639.0000 0.0000 -
3068.82/3076.53 c * 3077 2016 1147 1 630.0000 0.0000 -
3073.71/3081.43 c 3081 2082 1207 1 630.0000 0.0000 -
3089.07/3096.86 c 3097 2092 1215 1 630.0000 0.0000 -
3104.14/3111.90 c 3112 2102 1225 1 630.0000 0.0000 -
3109.92/3117.77 c 3118 2105 1228 1 630.0000 0.0000 -
3116.11/3123.92 c 3124 2111 1234 1 630.0000 0.0000 -
3121.31/3129.11 c 3129 2112 1235 1 630.0000 0.0000 -
3127.39/3135.25 c 3135 2113 1236 1 630.0000 0.0000 -
3132.87/3140.74 c 3141 2115 1238 1 630.0000 0.0000 -
3141.55/3149.44 c 3149 2122 1245 1 630.0000 0.0000 -
3146.95/3154.85 c 3155 2127 1250 1 630.0000 0.0000 -
3154.73/3162.62 c 3163 2132 1255 1 630.0000 0.0000 -
3160.22/3168.11 c 3168 2133 1256 1 630.0000 0.0000 -
3165.30/3173.21 c 3173 2135 1258 1 630.0000 0.0000 -
3170.79/3178.70 c 3179 2142 1265 1 630.0000 0.0000 -
3176.08/3184.08 c 3184 2144 1267 1 630.0000 0.0000 -
3185.95/3193.96 c 3194 2152 1275 1 630.0000 0.0000 -
3197.33/3205.31 c 3205 2154 1277 1 630.0000 0.0000 -
3210.30/3218.31 c 3218 2162 1285 1 630.0000 0.0000 -
3217.58/3225.61 c 3226 2163 1286 1 630.0000 0.0000 -
3223.66/3231.75 c 3232 2164 1287 1 630.0000 0.0000 -
3231.84/3239.98 c 3240 2166 1289 1 630.0000 0.0000 -
3236.94/3245.06 c 3245 2169 1292 1 630.0000 0.0000 -
3242.02/3250.17 c 3250 2171 1294 1 630.0000 0.0000 -
3247.80/3255.98 c 3256 2173 1296 1 630.0000 0.0000 -
3253.90/3262.06 c 3262 2180 1303 1 630.0000 0.0000 -
3261.08/3269.29 c 3269 2182 1305 1 630.0000 0.0000 -
3270.26/3278.47 c 3278 2184 1307 1 630.0000 0.0000 -
3275.85/3284.01 c 3284 2188 1311 1 630.0000 0.0000 -
3285.43/3293.69 c 3294 2192 1315 1 630.0000 0.0000 -
3291.01/3299.22 c 3299 2194 1317 1 630.0000 0.0000 -
3298.60/3306.82 c 3307 2199 1322 1 630.0000 0.0000 -
3303.58/3311.87 c 3312 2202 1325 1 630.0000 0.0000 -
3312.87/3321.11 c 3321 2204 1327 1 630.0000 0.0000 -
3320.75/3329.06 c 3329 2206 1329 1 630.0000 0.0000 -
3329.43/3337.77 c 3338 2212 1335 1 630.0000 0.0000 -
3335.01/3343.34 c 3343 2213 1336 1 630.0000 0.0000 -
3344.29/3352.68 c 3353 2222 1345 1 630.0000 0.0000 -
3349.38/3357.79 c 3358 2223 1346 1 630.0000 0.0000 -
3356.16/3364.55 c 3365 2226 1349 1 630.0000 0.0000 -
3361.46/3369.87 c 3370 2232 1355 1 630.0000 0.0000 -
3368.34/3376.75 c 3377 2235 1358 1 630.0000 0.0000 -
3376.02/3384.48 c 3384 2242 1365 1 630.0000 0.0000 -
3383.01/3391.42 c 3391 2247 1370 1 630.0000 0.0000 -
3392.78/3401.28 c 3401 2252 1375 1 630.0000 0.0000 -
3398.68/3407.14 c 3407 2256 1379 1 630.0000 0.0000 -
3405.75/3414.27 c 3414 2262 1385 1 630.0000 0.0000 -
3411.84/3420.35 c 3420 2269 1392 1 630.0000 0.0000 -
3418.54/3427.10 c 3427 2272 1395 1 630.0000 0.0000 -
3432.70/3441.24 c 3441 2282 1405 1 630.0000 0.0000 -
3438.68/3447.22 c 3447 2283 1406 1 630.0000 0.0000 -
3443.77/3452.37 c 3452 2284 1407 1 630.0000 0.0000 -
3451.56/3460.16 c 3460 2291 1414 1 630.0000 0.0000 -
3458.54/3467.19 c 3467 2294 1417 1 630.0000 0.0000 -
3465.22/3473.87 c 3474 2302 1425 1 630.0000 0.0000 -
3470.41/3479.06 c 3479 2305 1428 1 630.0000 0.0000 -
3476.20/3484.88 c 3485 2312 1435 1 630.0000 0.0000 -
3481.89/3490.54 c 3491 2313 1436 1 630.0000 0.0000 -
3487.97/3496.68 c 3497 2315 1438 1 630.0000 0.0000 -
3494.86/3503.57 c 3504 2322 1445 1 630.0000 0.0000 -
3500.35/3509.03 c 3509 2327 1450 1 630.0000 0.0000 -
3506.34/3515.01 c 3515 2332 1455 1 630.0000 0.0000 -
3511.52/3520.29 c 3520 2337 1460 1 630.0000 0.0000 -
3518.00/3526.78 c 3527 2342 1465 1 630.0000 0.0000 -
3525.09/3533.84 c 3534 2346 1469 1 630.0000 0.0000 -
3530.38/3539.19 c 3539 2347 1470 1 630.0000 0.0000 -
3536.46/3545.24 c 3545 2352 1475 1 630.0000 0.0000 -
3542.45/3551.21 c 3551 2355 1478 1 630.0000 0.0000 -
3548.94/3557.78 c 3558 2359 1482 1 630.0000 0.0000 -
3554.43/3563.26 c 3563 2362 1485 1 630.0000 0.0000 -
3560.91/3569.72 c 3570 2367 1490 1 630.0000 0.0000 -
3567.20/3576.06 c 3576 2372 1495 1 630.0000 0.0000 -
3573.98/3582.87 c 3583 2379 1502 1 630.0000 0.0000 -
3579.18/3588.01 c 3588 2383 1506 1 630.0000 0.0000 -
3584.86/3593.72 c 3594 2385 1508 1 630.0000 0.0000 -
3591.05/3599.99 c 3600 2388 1511 0 630.0000 0.0000 -
3591.15/3600.06 c SCIP Status : c solving was interrupted [hard time limit reached]
3591.15/3600.06 c Total Time : 3600.0600
3591.15/3600.06 c solving : 3600.0600
3591.15/3600.06 c presolving : 9.3057 (included in solving)
3591.15/3600.06 c B&B Tree :
3591.15/3600.06 c nodes (total) : 1
3591.15/3600.06 c Solution :
3591.15/3600.06 c Solutions found : 23
3591.15/3600.06 c Primal Bound : +6.30000000000000e+02
3591.15/3600.06 c Dual Bound : +0.00000000000000e+00
3591.15/3600.06 c Gap : infinite
3591.15/3600.06 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3591.15/3600.07 o 630
3591.15/3600.07 s SATISFIABLE
3591.15/3600.07 v x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942
3591.15/3600.07 v -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924
3591.15/3600.07 v -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907
3591.15/3600.07 v -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889
3591.15/3600.07 v -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 x4880 x4879 x4878 x4877 x4876 x4875 x4874 x4873 -x4872 -x4871 -x4870
3591.15/3600.07 v -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852
3591.15/3600.07 v -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834
3591.15/3600.07 v -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816
3591.15/3600.07 v -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 x4799 x4798
3591.15/3600.07 v x4797 x4796 x4795 x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780
3591.15/3600.07 v -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762
3591.15/3600.07 v -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744
3591.15/3600.07 v -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726
3591.15/3600.07 v -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 x4719 x4718 x4717 x4716 x4715 x4714 x4713 x4712 x4711 -x4710 -x4709 -x4708 -x4707
3591.15/3600.07 v -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689
3591.15/3600.07 v -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671
3591.15/3600.07 v -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653
3591.15/3600.07 v -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635
3591.15/3600.07 v -x4634 -x4633 x4632 x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617
3591.15/3600.07 v -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599
3591.15/3600.07 v -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582
3591.15/3600.07 v -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564
3591.15/3600.07 v -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546
3591.15/3600.07 v -x4545 -x4544 x4543 x4542 x4541 x4540 x4539 x4538 x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527
3591.15/3600.07 v -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509
3591.15/3600.07 v -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491
3591.15/3600.07 v -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473
3591.15/3600.07 v -x4472 -x4471 x4470 x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455
3591.15/3600.07 v -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437
3591.15/3600.07 v -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420
3591.15/3600.07 v -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402
3591.15/3600.07 v -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 x4388 x4387 x4386 -x4385 -x4384 -x4383
3591.15/3600.07 v -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366
3591.15/3600.07 v -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348
3591.15/3600.07 v -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330
3591.15/3600.07 v -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312
3591.15/3600.07 v -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294
3591.15/3600.07 v -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 x4280 -x4279 -x4278 -x4277 -x4276
3591.15/3600.07 v -x4275 -x4274 -x4273 x4272 x4271 x4270 x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258
3591.15/3600.07 v -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240
3591.15/3600.07 v -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222
3591.15/3600.07 v -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 x4211 x4210 x4209 -x4208 -x4207 -x4206 -x4205 -x4204
3591.15/3600.07 v -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186
3591.15/3600.07 v -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168
3591.15/3600.07 v -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 x4150
3591.15/3600.07 v x4149 x4148 x4147 x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132
3591.15/3600.07 v -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114
3591.15/3600.07 v -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096
3591.15/3600.07 v -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078
3591.15/3600.07 v -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060
3591.15/3600.07 v -x4059 -x4058 -x4057 -x4056 x4055 x4054 x4053 x4052 x4051 x4050 x4049 x4048 x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041
3591.15/3600.07 v -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023
3591.15/3600.07 v -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005
3591.15/3600.07 v -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987
3591.15/3600.07 v -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970
3591.15/3600.07 v -x3969 -x3968 x3967 x3966 x3965 -x3964 x3963 x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951
3591.15/3600.07 v -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933
3591.15/3600.07 v -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915
3591.15/3600.07 v -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897
3591.15/3600.07 v -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 x3885 x3884 x3883 x3882 x3881 x3880 x3879
3591.15/3600.07 v x3878 x3877 x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860
3591.15/3600.07 v -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842
3591.15/3600.07 v -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825
3591.15/3600.07 v -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807
3591.15/3600.07 v -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789
3591.15/3600.07 v x3788 -x3787 x3786 x3785 -x3784 x3783 x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770
3591.15/3600.07 v -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752
3591.15/3600.07 v -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735
3591.15/3600.07 v -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 x3724 x3723 x3722 x3721 x3720 x3719 -x3718 -x3717 -x3716
3591.15/3600.07 v -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698
3591.15/3600.07 v -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680
3591.15/3600.07 v -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662
3591.15/3600.07 v -x3661 -x3660 -x3659 -x3658 -x3657 x3656 x3655 x3654 x3653 x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644
3591.15/3600.07 v -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626
3591.15/3600.07 v -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608
3591.15/3600.07 v -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590
3591.15/3600.07 v -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572
3591.15/3600.07 v -x3571 -x3570 -x3569 x3568 -x3567 x3566 x3565 x3564 x3563 x3562 x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553
3591.15/3600.07 v -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536
3591.15/3600.07 v -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518
3591.15/3600.07 v -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 x3505 x3504 -x3503 -x3502 -x3501 -x3500
3591.15/3600.07 v -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482
3591.15/3600.07 v -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464
3591.15/3600.07 v -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446
3591.15/3600.07 v -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428
3591.15/3600.07 v -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410
3591.15/3600.07 v -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 x3393 x3392
3591.15/3600.07 v x3391 x3390 x3389 x3388 x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374
3591.15/3600.07 v -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356
3591.15/3600.07 v -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 x3345 x3344 x3343 x3342 x3341 x3340 x3339 x3338 x3337
3591.15/3600.07 v x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319
3591.15/3600.07 v -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301
3591.15/3600.07 v -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283
3591.15/3600.07 v -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265
3591.15/3600.07 v -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247
3591.15/3600.07 v -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229
3591.15/3600.07 v -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 x3220 x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211
3591.15/3600.07 v -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193
3591.15/3600.07 v -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175
3591.15/3600.07 v -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158
3591.15/3600.07 v -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 x3147 x3146 -x3145 -x3144 x3143 x3142 x3141 x3140 x3139
3591.15/3600.07 v -x3138 -x3137 x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121
3591.15/3600.07 v -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103
3591.15/3600.07 v -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085
3591.15/3600.07 v -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 x3078 x3077 x3076 x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067
3591.15/3600.07 v -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049
3591.15/3600.07 v -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031
3591.15/3600.07 v -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013
3591.15/3600.07 v -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995
3591.15/3600.07 v -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 x2986 x2985 x2984 x2983 x2982 x2981 -x2980 -x2979 -x2978 -x2977 -x2976
3591.15/3600.07 v -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959
3591.15/3600.07 v -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941
3591.15/3600.07 v -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923
3591.15/3600.07 v -x2922 -x2921 -x2920 -x2919 x2918 x2917 x2916 x2915 x2914 x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 x2904
3591.15/3600.07 v -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886
3591.15/3600.07 v -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868
3591.15/3600.07 v -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850
3591.15/3600.07 v -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833
3591.15/3600.07 v -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 x2818 x2817 x2816 x2815 x2814
3591.15/3600.07 v x2813 x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 x2802 x2801 -x2800 -x2799 -x2798 -x2797 -x2796
3591.15/3600.07 v -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778
3591.15/3600.07 v -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760
3591.15/3600.07 v -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742
3591.15/3600.07 v -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 x2731 -x2730 -x2729 x2728 -x2727 -x2726 -x2725 -x2724
3591.15/3600.07 v -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706
3591.15/3600.07 v -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688
3591.15/3600.07 v -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670
3591.15/3600.07 v -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652
3591.15/3600.07 v -x2651 -x2650 -x2649 -x2648 x2647 -x2646 x2645 x2644 x2643 x2642 x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634
3591.15/3600.07 v -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616
3591.15/3600.07 v -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598
3591.15/3600.07 v -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580
3591.15/3600.07 v -x2579 x2578 x2577 -x2576 x2575 x2574 x2573 x2572 x2571 x2570 x2569 -x2568 -x2567 x2566 -x2565 -x2564 -x2563 -x2562 -x2561
3591.15/3600.07 v -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543
3591.15/3600.07 v -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525
3591.15/3600.07 v -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507
3591.15/3600.07 v -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 x2491 x2490 x2489
3591.15/3600.07 v x2488 x2487 x2486 x2485 x2484 x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470
3591.15/3600.07 v -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452
3591.15/3600.07 v -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435
3591.15/3600.07 v -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417
3591.15/3600.07 v -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 x2401 x2400 x2399 x2398
3591.15/3600.07 v x2397 x2396 x2395 x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380
3591.15/3600.07 v -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362
3591.15/3600.07 v -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344
3591.15/3600.07 v -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326
3591.15/3600.07 v -x2325 -x2324 -x2323 -x2322 x2321 x2320 x2319 x2318 x2317 x2316 x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307
3591.15/3600.07 v -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290
3591.15/3600.07 v -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272
3591.15/3600.07 v -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254
3591.15/3600.07 v -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 x2241 x2240 x2239 x2238 x2237 x2236 x2235
3591.15/3600.07 v x2234 x2233 x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217
3591.15/3600.07 v -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199
3591.15/3600.07 v -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181
3591.15/3600.07 v -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163
3591.15/3600.07 v -x2162 x2161 x2160 x2159 x2158 x2157 x2156 x2155 x2154 x2153 x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144
3591.15/3600.07 v -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126
3591.15/3600.07 v -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108
3591.15/3600.07 v -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090
3591.15/3600.07 v -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 x2081 x2080 x2079 x2078 x2077 x2076 x2075 x2074 x2073 x2072 x2071
3591.15/3600.07 v x2070 x2069 x2068 x2067 x2066 x2065 x2064 x2063 x2062 x2061 x2060 x2059 x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051
3591.15/3600.07 v -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033
3591.15/3600.07 v -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015
3591.15/3600.07 v -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 x2001 x2000 x1999 x1998 x1997
3591.15/3600.07 v x1996 x1995 x1994 x1993 x1992 x1991 x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978
3591.15/3600.07 v -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960
3591.15/3600.07 v -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942
3591.15/3600.07 v -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924
3591.15/3600.07 v -x1923 -x1922 x1921 x1920 x1919 x1918 x1917 x1916 x1915 x1914 x1913 x1912 x1911 x1910 x1909 x1908 x1907 -x1906 -x1905 -x1904
3591.15/3600.07 v -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887
3591.15/3600.07 v -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869
3591.15/3600.07 v -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851
3591.15/3600.07 v -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 x1841 x1840 x1839 x1838 x1837 x1836 x1835 x1834 x1833 x1832
3591.15/3600.07 v x1831 x1830 x1829 x1828 x1827 x1826 x1825 x1824 x1823 x1822 x1821 x1820 x1819 x1818 x1817 x1816 x1815 x1814 x1813 x1812 x1811
3591.15/3600.07 v x1810 x1809 x1808 x1807 x1806 x1805 x1804 x1803 x1802 x1801 x1800 x1799 x1798 x1797 -x1796 -x1795 -x1794 x1793 x1792 x1791 x1790
3591.15/3600.07 v -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772
3591.15/3600.07 v -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 x1761 x1760 x1759 x1758 x1757 x1756 x1755 x1754 x1753
3591.15/3600.07 v x1752 x1751 x1750 x1749 x1748 x1747 x1746 x1745 x1744 x1743 x1742 x1741 x1740 x1739 x1738 x1737 x1736 x1735 x1734 -x1733
3591.15/3600.07 v x1732 x1731 x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714
3591.15/3600.07 v -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697
3591.15/3600.07 v -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 x1681 x1680 x1679 x1678
3591.15/3600.07 v x1677 x1676 x1675 x1674 x1673 x1672 x1671 x1670 x1669 x1668 x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659
3591.15/3600.07 v -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641
3591.15/3600.07 v -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623
3591.15/3600.07 v -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605
3591.15/3600.07 v -x1604 -x1603 -x1602 x1601 x1600 x1599 x1598 x1597 x1596 x1595 x1594 x1593 x1592 x1591 x1590 x1589 x1588 x1587 x1586 x1585
3591.15/3600.07 v x1584 x1583 x1582 x1581 x1580 x1579 x1578 x1577 x1576 x1575 x1574 x1573 x1572 x1571 x1570 x1569 x1568 -x1567 -x1566 -x1565
3591.15/3600.07 v -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547
3591.15/3600.07 v -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529
3591.15/3600.07 v -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 x1521 x1520 x1519 x1518 x1517 x1516 x1515 x1514 x1513 x1512 x1511 x1510 x1509
3591.15/3600.07 v x1508 x1507 x1506 x1505 x1504 x1503 x1502 x1501 x1500 x1499 x1498 x1497 x1496 x1495 x1494 x1493 x1492 x1491 x1490 x1489 x1488
3591.15/3600.07 v x1487 x1486 x1485 x1484 x1483 x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470
3591.15/3600.07 v -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452
3591.15/3600.07 v -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 x1441 x1440 x1439 x1438 x1437 x1436 x1435 x1434 x1433
3591.15/3600.07 v x1432 x1431 x1430 x1429 x1428 x1427 x1426 x1425 x1424 x1423 x1422 x1421 x1420 x1419 x1418 x1417 x1416 x1415 x1414 x1413 x1412
3591.15/3600.07 v x1411 x1410 x1409 x1408 x1407 x1406 x1405 x1404 x1403 x1402 x1401 x1400 x1399 x1398 x1397 -x1396 -x1395 -x1394 -x1393 -x1392
3591.15/3600.07 v -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374
3591.15/3600.07 v -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 x1361 x1360 x1359 x1358 x1357 x1356 x1355
3591.15/3600.07 v x1354 x1353 x1352 x1351 x1350 x1349 x1348 x1347 x1346 x1345 x1344 x1343 x1342 x1341 x1340 x1339 x1338 x1337 x1336 x1335 x1334
3591.15/3600.07 v x1333 x1332 x1331 x1330 x1329 x1328 x1327 x1326 x1325 x1324 x1323 x1322 x1321 x1320 x1319 x1318 x1317 x1316 x1315 x1314 x1313
3591.15/3600.07 v x1312 x1311 x1310 x1309 x1308 x1307 x1306 x1305 x1304 x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294
3591.15/3600.07 v -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 x1281 x1280 x1279 x1278 x1277 x1276 x1275
3591.15/3600.07 v x1274 x1273 x1272 x1271 x1270 x1269 x1268 x1267 x1266 x1265 x1264 x1263 x1262 x1261 x1260 x1259 x1258 x1257 x1256 x1255 x1254
3591.15/3600.07 v x1253 x1252 x1251 x1250 x1249 x1248 x1247 x1246 x1245 x1244 x1243 x1242 x1241 x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234
3591.15/3600.07 v -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217
3591.15/3600.07 v -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 x1201 x1200 x1199 x1198
3591.15/3600.07 v x1197 x1196 x1195 x1194 x1193 x1192 x1191 x1190 x1189 x1188 x1187 x1186 x1185 x1184 x1183 x1182 x1181 x1180 x1179 x1178 x1177
3591.15/3600.07 v x1176 x1175 x1174 x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159
3591.15/3600.07 v -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141
3591.15/3600.07 v -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123
3591.15/3600.07 v -x1122 x1121 x1120 x1119 x1118 x1117 x1116 x1115 x1114 x1113 x1112 x1111 x1110 x1109 x1108 x1107 x1106 x1105 x1104 x1103
3591.15/3600.07 v x1102 x1101 x1100 x1099 x1098 x1097 x1096 x1095 x1094 x1093 x1092 x1091 x1090 x1089 x1088 x1087 x1086 x1085 x1084 x1083 x1082
3591.15/3600.07 v -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064
3591.15/3600.07 v -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046
3591.15/3600.07 v -x1045 -x1044 -x1043 -x1042 x1041 x1040 x1039 x1038 x1037 x1036 x1035 x1034 x1033 x1032 x1031 x1030 x1029 x1028 x1027 x1026
3591.15/3600.07 v x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008
3591.15/3600.07 v -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988
3591.15/3600.07 v -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968
3591.15/3600.07 v -x967 -x966 -x965 -x964 -x963 -x962 x961 x960 x959 x958 x957 x956 x955 x954 x953 x952 x951 x950 x949 x948 x947 x946 x945 x944
3591.15/3600.07 v x943 x942 x941 x940 x939 x938 x937 x936 x935 x934 x933 x932 x931 x930 x929 x928 x927 x926 x925 x924 x923 x922 x921 x920 x919
3591.15/3600.07 v x918 x917 x916 x915 x914 x913 x912 x911 x910 x909 x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896
3591.15/3600.07 v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 x881 x880 x879 x878 x877 x876 x875 x874
3591.15/3600.07 v x873 x872 x871 x870 x869 x868 x867 x866 x865 x864 x863 x862 x861 x860 x859 x858 x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850
3591.15/3600.07 v -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829
3591.15/3600.07 v -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809
3591.15/3600.07 v -x808 -x807 -x806 -x805 -x804 -x803 -x802 x801 x800 x799 x798 x797 x796 x795 x794 x793 x792 x791 x790 x789 x788 x787 x786 x785
3591.15/3600.07 v x784 x783 x782 x781 x780 x779 x778 x777 x776 x775 x774 x773 x772 x771 x770 x769 x768 x767 x766 x765 x764 x763 x762 x761 x760
3591.15/3600.07 v x759 x758 x757 x756 x755 x754 x753 x752 x751 x750 x749 x748 x747 x746 x745 x744 x743 x742 x741 x740 -x739 -x738 -x737 -x736
3591.15/3600.07 v -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 x721 x720 x719 x718 x717 x716 x715 x714
3591.15/3600.07 v x713 x712 x711 x710 x709 x708 x707 x706 x705 x704 x703 x702 x701 x700 x699 x698 x697 x696 x695 x694 x693 x692 x691 x690 x689
3591.15/3600.07 v x688 x687 x686 x685 x684 x683 x682 x681 x680 x679 x678 x677 x676 x675 x674 x673 x672 x671 x670 x669 x668 x667 x666 x665 x664
3591.15/3600.07 v x663 x662 x661 x660 -x659 -x658 x657 x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642
3591.15/3600.07 v x641 x640 x639 x638 x637 x636 x635 x634 x633 x632 x631 x630 x629 x628 x627 x626 x625 x624 x623 x622 x621 x620 x619 x618 x617
3591.15/3600.07 v x616 x615 x614 x613 x612 x611 x610 x609 x608 x607 x606 x605 x604 x603 x602 x601 x600 x599 x598 x597 x596 -x595 -x594 -x593 -x592
3591.15/3600.07 v -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572
3591.15/3600.07 v -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 x561 x560 x559 x558 x557 x556 x555 x554 x553 x552 x551 x550 x549
3591.15/3600.07 v x548 x547 x546 x545 x544 x543 x542 x541 x540 x539 x538 x537 x536 x535 x534 x533 x532 x531 x530 x529 x528 x527 x526 x525 x524
3591.15/3600.07 v x523 x522 x521 x520 x519 x518 x517 x516 x515 x514 x513 x512 x511 x510 x509 x508 x507 x506 x505 x504 x503 x502 -x501 -x500 -x499
3591.15/3600.07 v -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 x481 x480 x479 x478
3591.15/3600.07 v x477 x476 x475 x474 x473 x472 x471 x470 x469 x468 x467 x466 x465 x464 x463 x462 x461 x460 x459 x458 x457 x456 x455 x454 x453
3591.15/3600.07 v x452 x451 x450 x449 x448 x447 x446 x445 x444 x443 x442 x441 x440 x439 x438 x437 x436 x435 x434 x433 -x432 -x431 -x430 -x429 -x428
3591.15/3600.07 v -x427 -x426 x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407
3591.15/3600.07 v -x406 -x405 -x404 -x403 -x402 x401 x400 x399 x398 x397 x396 x395 x394 x393 x392 x391 x390 x389 x388 x387 x386 x385 x384
3591.15/3600.07 v x383 x382 x381 x380 x379 x378 x377 x376 x375 x374 x373 x372 x371 x370 x369 x368 x367 x366 x365 x364 x363 x362 x361 x360 x359
3591.15/3600.07 v x358 x357 x356 x355 x354 x353 x352 x351 x350 x349 x348 x347 x346 x345 x344 x343 x342 x341 x340 x339 x338 x337 x336 x335 x334
3591.15/3600.07 v x333 x332 x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 x323 x322 x321 x320 x319 x318 x317 x316 x315 x314 x313 x312 x311 x310
3591.15/3600.07 v x309 x308 x307 x306 x305 x304 x303 x302 x301 x300 x299 x298 x297 x296 x295 x294 x293 x292 x291 x290 x289 x288 x287 x286 x285
3591.15/3600.07 v x284 x283 x282 x281 x280 x279 x278 x277 x276 x275 x274 x273 x272 x271 x270 x269 x268 x267 x266 x265 x264 x263 x262 x261 x260
3591.15/3600.07 v x259 x258 x257 x256 x255 x254 x253 x252 x251 -x250 x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 x241 x240 x239 x238 x237
3591.15/3600.07 v x236 x235 x234 x233 x232 x231 x230 x229 x228 x227 x226 x225 x224 x223 x222 x221 x220 x219 x218 x217 x216 x215 x214 x213 x212
3591.15/3600.07 v x211 x210 x209 x208 x207 x206 x205 x204 x203 x202 x201 x200 x199 x198 x197 x196 x195 x194 x193 x192 x191 x190 x189 x188 x187
3591.15/3600.07 v x186 x185 x184 x183 x182 x181 x180 x179 x178 x177 x176 x175 x174 x173 x172 x171 x170 x169 x168 x167 x166 x165 x164 x163 x162
3591.15/3600.07 v x161 x160 x159 x158 x157 x156 x155 x154 x153 x152 x151 x150 x149 x148 x147 x146 x145 x144 x143 x142 x141 x140 x139 x138 x137
3591.15/3600.07 v x136 x135 x134 x133 x132 x131 x130 x129 x128 x127 x126 x125 x124 x123 x122 x121 x120 x119 x118 x117 x116 x115 x114 x113 x112
3591.15/3600.07 v x111 x110 x109 x108 x107 x106 x105 x104 x103 x102 x101 x100 x99 x98 x97 x96 x95 x94 x93 x92 x91 x90 -x89 -x88 x87 -x86 -x85 -x84
3591.15/3600.07 v -x83 -x82 x81 x80 x79 x78 x77 x76 x75 x74 x73 x72 x71 x70 x69 x68 x67 x66 x65 x64 x63 x62 x61 x60 x59 x58 x57 x56 x55 x54
3591.26/3600.13 v x53 x52 x51 x50 x49 x48 x47 x46 x45 x44 x43 x42 x41 x40 x39 x38 x37 x36 x35 x34 x33 x32 x31 x30 x29 x28 x27 x26 x25 x24 x23
3591.26/3600.13 v x22 x21 x20 x19 x18 x17 x16 x15 x14 x13 x12 x11 x10 x9 x8 x7 x6 x5 x4 -x3 -x2 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: 63968 MiB (62811 MiB free)
memory of node 1: 64473 MiB (61863 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426810-1720905818/watcher-4426810-1720905818 -o /tmp/evaluation-result-4426810-1720905818/solver-4426810-1720905818 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1720905493-727045 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4426810-1720905818.wbo -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Current StackSize limit: 8192 KiB
solver pid=727321, runsolver pid=727318
[startup+0.100441 s]*
/proc/loadavg: 4.12 3.97 3.95 5/262 727322
/proc/meminfo: memFree=127606444/131524600 swapFree=131071996/131071996
[pid=727321] ppid=727318 vsize=83124 memory=70864 CPUtime=0.09 cores=4,6
/proc/727321/stat : 727321 (fscip) R 727318 727321 724689 0 -1 4194304 15449 0 0 0 7 2 0 0 20 0 1 0 142747972 85118976 17716 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
/proc/727321/statm: 20781 17716 2590 3032 0 17181 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 83124 KiB
Current children cumulated memory: 70864 KiB
[startup+0.205732 s]*
/proc/loadavg: 4.12 3.97 3.95 5/262 727322
/proc/meminfo: memFree=127587964/131524600 swapFree=131071996/131071996
[pid=727321] ppid=727318 vsize=101464 memory=88144 CPUtime=0.2 cores=4,6
/proc/727321/stat : 727321 (fscip) R 727318 727321 724689 0 -1 4194304 19745 0 0 0 17 3 0 0 20 0 1 0 142747972 103899136 22036 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
/proc/727321/statm: 25366 22036 2622 3032 0 21766 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 101464 KiB
Current children cumulated memory: 88144 KiB
[startup+0.305691 s]*
/proc/loadavg: 4.12 3.97 3.95 5/262 727322
/proc/meminfo: memFree=127585500/131524600 swapFree=131071996/131071996
[pid=727321] ppid=727318 vsize=105116 memory=91204 CPUtime=0.3 cores=4,6
/proc/727321/stat : 727321 (fscip) R 727318 727321 724689 0 -1 4194304 20443 0 0 0 27 3 0 0 20 0 1 0 142747972 107638784 22801 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
/proc/727321/statm: 26279 22801 2670 3032 0 22679 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 105116 KiB
Current children cumulated memory: 91204 KiB
[startup+0.70023 s]
/proc/loadavg: 4.12 3.97 3.95 5/262 727322
/proc/meminfo: memFree=127583008/131524600 swapFree=131071996/131071996
[pid=727321] ppid=727318 vsize=109012 memory=94312 CPUtime=0.68 cores=4,6
/proc/727321/stat : 727321 (fscip) R 727318 727321 724689 0 -1 4194304 21265 0 0 0 65 3 0 0 20 0 1 0 142747972 111628288 23578 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
/proc/727321/statm: 27253 23578 2670 3032 0 23653 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 109012 KiB
Current children cumulated memory: 94312 KiB
[startup+1.50021 s]
/proc/loadavg: 4.11 3.97 3.96 5/262 727322
/proc/meminfo: memFree=127579924/131524600 swapFree=131071996/131071996
[pid=727321] ppid=727318 vsize=114640 memory=99628 CPUtime=1.48 cores=4,6
/proc/727321/stat : 727321 (fscip) R 727318 727321 724689 0 -1 4194304 22557 0 0 0 145 3 0 0 20 0 1 0 142747972 117391360 24907 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
/proc/727321/statm: 28660 24907 2670 3032 0 25060 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 114640 KiB
Current children cumulated memory: 99628 KiB
[startup+3.10551 s]
/proc/loadavg: 4.11 3.97 3.96 5/262 727322
/proc/meminfo: memFree=127574496/131524600 swapFree=131071996/131071996
[pid=727321] ppid=727318 vsize=116580 memory=101460 CPUtime=3.08 cores=4,6
/proc/727321/stat : 727321 (fscip) R 727318 727321 724689 0 -1 4194304 23015 0 0 0 305 3 0 0 20 0 1 0 142747972 119377920 25365 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
/proc/727321/statm: 29145 25365 2670 3032 0 25545 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 116580 KiB
Current children cumulated memory: 101460 KiB
[startup+6.30018 s]
/proc/loadavg: 4.18 3.99 3.96 7/262 727322
/proc/meminfo: memFree=127572468/131524600 swapFree=131071996/131071996
[pid=727321] ppid=727318 vsize=118848 memory=103572 CPUtime=6.27 cores=4,6
/proc/727321/stat : 727321 (fscip) R 727318 727321 724689 0 -1 4194304 23558 0 0 0 624 3 0 0 20 0 1 0 142747972 121700352 25893 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
/proc/727321/statm: 29712 25893 2670 3032 0 26112 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 118848 KiB
Current children cumulated memory: 103572 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 3.99 3.96 5/264 727327
/proc/meminfo: memFree=127496584/131524600 swapFree=131071996/131071996
[pid=727321] ppid=727318 vsize=254652 memory=179632 CPUtime=12.65 cores=4,6
/proc/727321/stat : 727321 (fscip) S 727318 727321 724689 0 -1 1077936128 45997 0 0 0 1259 6 0 0 20 0 3 0 142747972 260763648 44908 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
/proc/727321/statm: 63663 44908 2878 3032 0 52107 0
[pid=727321/tid=727326] ppid=727318 vsize=254652 memory=179300 CPUtime=3.27 cores=4,6
/proc/727321/task/727326/stat : 727326 (fscip) R 727318 727321 724689 0 -1 4194368 17922 0 0 0 325 2 0 0 20 0 3 0 142748912 260763648 44908 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
[pid=727321/tid=727327] ppid=727318 vsize=254652 memory=2657 CPUtime=0 cores=4,6
/proc/727321/task/727327/stat : 727327 (fscip) S 727318 727321 724689 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 142748915 260763648 44908 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 254652 KiB
Current children cumulated memory: 179632 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 3.99 3.96 5/264 727328
/proc/meminfo: memFree=127482028/131524600 swapFree=131071996/131071996
[pid=727321] ppid=727318 vsize=257572 memory=188872 CPUtime=25.41 cores=4,6
/proc/727321/stat : 727321 (fscip) S 727318 727321 724689 0 -1 1077936128 65453 0 0 0 2534 7 0 0 20 0 3 0 142747972 263753728 47218 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
/proc/727321/statm: 64393 47218 2894 3032 0 54874 0
[pid=727321/tid=727326] ppid=727318 vsize=257572 memory=188524 CPUtime=16.03 cores=4,6
/proc/727321/task/727326/stat : 727326 (fscip) R 727318 727321 724689 0 -1 4194368 37350 0 0 0 1600 3 0 0 20 0 3 0 142748912 263753728 47218 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
[pid=727321/tid=727327] ppid=727318 vsize=257572 memory=11640 CPUtime=0 cores=4,6
/proc/727321/task/727327/stat : 727327 (fscip) S 727318 727321 724689 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 142748915 263753728 47218 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 257572 KiB
Current children cumulated memory: 188872 KiB
[startup+51.1055 s]
/proc/loadavg: 4.16 4.01 3.97 5/264 727333
/proc/meminfo: memFree=127403432/131524600 swapFree=131071996/131071996
[pid=727321] ppid=727318 vsize=257572 memory=192740 CPUtime=50.95 cores=4,6
/proc/727321/stat : 727321 (fscip) S 727318 727321 724689 0 -1 1077936128 98524 0 0 0 5086 9 0 0 20 0 3 0 142747972 263753728 48185 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
/proc/727321/statm: 64393 48185 2894 3032 0 56270 0
[pid=727321/tid=727326] ppid=727318 vsize=257572 memory=191868 CPUtime=41.57 cores=4,6
/proc/727321/task/727326/stat : 727326 (fscip) R 727318 727321 724689 0 -1 4194368 70400 0 0 0 4152 5 0 0 20 0 3 0 142748912 263753728 48185 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
[pid=727321/tid=727327] ppid=727318 vsize=257572 memory=191544 CPUtime=0 cores=4,6
/proc/727321/task/727327/stat : 727327 (fscip) S 727318 727321 724689 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 3 0 142748915 263753728 48185 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 257572 KiB
Current children cumulated memory: 192740 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.02 3.98 5/263 727772
/proc/meminfo: memFree=127101520/131524600 swapFree=131071996/131071996
[pid=727321] ppid=727318 vsize=258596 memory=198632 CPUtime=102.01 cores=4,6
/proc/727321/stat : 727321 (fscip) S 727318 727321 724689 0 -1 1077936128 131533 0 0 0 10190 11 0 0 20 0 3 0 142747972 264802304 49658 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
/proc/727321/statm: 64649 49658 2894 3032 0 58290 0
[pid=727321/tid=727326] ppid=727318 vsize=258596 memory=196336 CPUtime=92.62 cores=4,6
/proc/727321/task/727326/stat : 727326 (fscip) R 727318 727321 724689 0 -1 4194368 103388 0 0 0 9256 6 0 0 20 0 3 0 142748912 264802304 49658 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
[pid=727321/tid=727327] ppid=727318 vsize=258596 memory=11640 CPUtime=0 cores=4,6
/proc/727321/task/727327/stat : 727327 (fscip) S 727318 727321 724689 0 -1 1077936192 77 0 0 0 0 0 0 0 20 0 3 0 142748915 264802304 49658 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 258596 KiB
Current children cumulated memory: 198632 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.03 3.99 5/265 727785
/proc/meminfo: memFree=125840320/131524600 swapFree=131071996/131071996
[pid=727321] ppid=727318 vsize=258596 memory=199052 CPUtime=161.84 cores=4,6
/proc/727321/stat : 727321 (fscip) S 727318 727321 724689 0 -1 1077936128 139345 0 0 0 16172 12 0 0 20 0 3 0 142747972 264802304 49763 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
/proc/727321/statm: 64649 49763 2894 3032 0 58423 0
[pid=727321/tid=727326] ppid=727318 vsize=258596 memory=198992 CPUtime=152.45 cores=4,6
/proc/727321/task/727326/stat : 727326 (fscip) R 727318 727321 724689 0 -1 4194368 111186 0 0 0 15238 7 0 0 20 0 3 0 142748912 264802304 49763 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
[pid=727321/tid=727327] ppid=727318 vsize=258596 memory=199052 CPUtime=0 cores=4,6
/proc/727321/task/727327/stat : 727327 (fscip) S 727318 727321 724689 0 -1 1077936192 91 0 0 0 0 0 0 0 20 0 3 0 142748915 264802304 49763 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 258596 KiB
Current children cumulated memory: 199052 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.04 4.00 6/263 727843
/proc/meminfo: memFree=121863592/131524600 swapFree=131071996/131071996
[pid=727321] ppid=727318 vsize=325460 memory=227100 CPUtime=221.67 cores=4,6
/proc/727321/stat : 727321 (fscip) S 727318 727321 724689 0 -1 1077936128 169924 0 0 0 22153 14 0 0 20 0 3 0 142747972 333271040 56775 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
/proc/727321/statm: 81365 56775 2990 3032 0 65753 0
[pid=727321/tid=727326] ppid=727318 vsize=325460 memory=11640 CPUtime=212.28 cores=4,6
/proc/727321/task/727326/stat : 727326 (fscip) R 727318 727321 724689 0 -1 4194368 140260 0 0 0 21218 10 0 0 20 0 3 0 142748912 333271040 56775 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
[pid=727321/tid=727327] ppid=727318 vsize=325460 memory=35440 CPUtime=0 cores=4,6
/proc/727321/task/727327/stat : 727327 (fscip) S 727318 727321 724689 0 -1 1077936192 98 0 0 0 0 0 0 0 20 0 3 0 142748915 333271040 56775 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 325460 KiB
Current children cumulated memory: 227100 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.05 4.00 5/267 728025
/proc/meminfo: memFree=112496620/131524600 swapFree=131071996/131071996
[pid=727321] ppid=727318 vsize=390996 memory=280660 CPUtime=281.5 cores=4,6
/proc/727321/stat : 727321 (fscip) S 727318 727321 724689 0 -1 1077936128 195843 0 0 0 28132 18 0 0 20 0 3 0 142747972 400379904 70165 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
/proc/727321/statm: 97749 70165 2990 3032 0 79376 0
[pid=727321/tid=727326] ppid=727318 vsize=390996 memory=11640 CPUtime=272.11 cores=4,6
/proc/727321/task/727326/stat : 727326 (fscip) R 727318 727321 724689 0 -1 4194368 166157 0 0 0 27198 13 0 0 20 0 3 0 142748912 400379904 70165 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
[pid=727321/tid=727327] ppid=727318 vsize=390996 memory=227100 CPUtime=0 cores=4,6
/proc/727321/task/727327/stat : 727327 (fscip) S 727318 727321 724689 0 -1 1077936192 101 0 0 0 0 0 0 0 20 0 3 0 142748915 400379904 70165 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 390996 KiB
Current children cumulated memory: 280660 KiB
################
# More data... #
################
[pid=727321] ppid=727318 vsize=594728 memory=507828 CPUtime=3453.75 cores=4,6
/proc/727321/stat : 727321 (fscip) S 727318 727321 724689 0 -1 1077936128 750257 0 0 0 345300 75 0 0 20 0 3 0 142747972 609001472 126957 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
/proc/727321/statm: 148682 126957 3310 3032 0 137418 0
[pid=727321/tid=727326] ppid=727318 vsize=594728 memory=507228 CPUtime=3444.24 cores=4,6
/proc/727321/task/727326/stat : 727326 (fscip) R 727318 727321 724689 0 -1 4194368 713760 0 0 0 344359 65 0 0 20 0 3 0 142748912 609001472 126957 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
[pid=727321/tid=727327] ppid=727318 vsize=594728 memory=-7089924370892088952 CPUtime=0.04 cores=4,6
/proc/727321/task/727327/stat : 727327 (fscip) S 727318 727321 724689 0 -1 1077936192 247 0 0 0 0 4 0 0 20 0 3 0 142748915 609001472 126957 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
Current children cumulated CPU time: 3453.75 s
Current children cumulated vsize: 594728 KiB
Current children cumulated memory: 507828 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/263 729824
/proc/meminfo: memFree=110525404/131524600 swapFree=131071996/131071996
[pid=727321] ppid=727318 vsize=594728 memory=507828 CPUtime=3513.61 cores=4,6
/proc/727321/stat : 727321 (fscip) S 727318 727321 724689 0 -1 1077936128 758194 0 0 0 351285 76 0 0 20 0 3 0 142747972 609001472 126957 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
/proc/727321/statm: 148682 126957 3310 3032 0 137418 0
[pid=727321/tid=727326] ppid=727318 vsize=594728 memory=507828 CPUtime=3504.11 cores=4,6
/proc/727321/task/727326/stat : 727326 (fscip) R 727318 727321 724689 0 -1 4194368 721686 0 0 0 350345 66 0 0 20 0 3 0 142748912 609001472 126957 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
[pid=727321/tid=727327] ppid=727318 vsize=594728 memory=507828 CPUtime=0.04 cores=4,6
/proc/727321/task/727327/stat : 727327 (fscip) S 727318 727321 724689 0 -1 1077936192 248 0 0 0 0 4 0 0 20 0 3 0 142748915 609001472 126957 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
Current children cumulated CPU time: 3513.61 s
Current children cumulated vsize: 594728 KiB
Current children cumulated memory: 507828 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.12 6/263 729835
/proc/meminfo: memFree=110524748/131524600 swapFree=131071996/131071996
[pid=727321] ppid=727318 vsize=594728 memory=507828 CPUtime=3573.49 cores=4,6
/proc/727321/stat : 727321 (fscip) S 727318 727321 724689 0 -1 1077936128 763089 0 0 0 357272 77 0 0 20 0 3 0 142747972 609001472 126957 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
/proc/727321/statm: 148682 126957 3310 3032 0 137418 0
[pid=727321/tid=727326] ppid=727318 vsize=594728 memory=507828 CPUtime=3563.97 cores=4,6
/proc/727321/task/727326/stat : 727326 (fscip) R 727318 727321 724689 0 -1 4194368 726567 0 0 0 356331 66 0 0 20 0 3 0 142748912 609001472 126957 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
[pid=727321/tid=727327] ppid=727318 vsize=594728 memory=507828 CPUtime=0.04 cores=4,6
/proc/727321/task/727327/stat : 727327 (fscip) S 727318 727321 724689 0 -1 1077936192 251 0 0 0 0 4 0 0 20 0 3 0 142748915 609001472 126957 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
Current children cumulated CPU time: 3573.49 s
Current children cumulated vsize: 594728 KiB
Current children cumulated memory: 507828 KiB
[startup+3600.14 s]
# the end of solver process 727321 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.5 s, system=0.789817 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.12 4.12 5/263 729835
/proc/meminfo: memFree=110524724/131524600 swapFree=131071996/131071996
[pid=727321] ppid=727318 vsize=594728 memory=507828 CPUtime=3575.19 cores=4,6
/proc/727321/stat : 727321 (fscip) S 727318 727321 724689 0 -1 1077936128 763599 0 0 0 357442 77 0 0 20 0 3 0 142747972 609001472 126957 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
/proc/727321/statm: 148682 126957 3310 3032 0 137418 0
[pid=727321/tid=727326] ppid=727318 vsize=594728 memory=7488 CPUtime=3565.67 cores=4,6
/proc/727321/task/727326/stat : 727326 (fscip) R 727318 727321 724689 0 -1 4194368 727077 0 0 0 356501 66 0 0 20 0 3 0 142748912 609001472 126957 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
[pid=727321/tid=727327] ppid=727318 vsize=594728 memory=28564 CPUtime=0.04 cores=4,6
/proc/727321/task/727327/stat : 727327 (fscip) S 727318 727321 724689 0 -1 1077936192 251 0 0 0 0 4 0 0 20 0 3 0 142748915 609001472 126957 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
Current children cumulated CPU time: 3575.19 s
Current children cumulated vsize: 594728 KiB
Current children cumulated memory: 507828 KiB
[startup+3590.4 s]
/proc/loadavg: 4.14 4.12 4.12 6/263 729837
/proc/meminfo: memFree=110524656/131524600 swapFree=131071996/131071996
[pid=727321] ppid=727318 vsize=594728 memory=507828 CPUtime=3581.57 cores=4,6
/proc/727321/stat : 727321 (fscip) S 727318 727321 724689 0 -1 1077936128 763968 0 0 0 358080 77 0 0 20 0 3 0 142747972 609001472 126957 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
/proc/727321/statm: 148682 126957 3310 3032 0 137418 0
[pid=727321/tid=727326] ppid=727318 vsize=594728 memory=507828 CPUtime=3572.05 cores=4,6
/proc/727321/task/727326/stat : 727326 (fscip) R 727318 727321 724689 0 -1 4194368 727446 0 0 0 357139 66 0 0 20 0 3 0 142748912 609001472 126957 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
[pid=727321/tid=727327] ppid=727318 vsize=594728 memory=507828 CPUtime=0.04 cores=4,6
/proc/727321/task/727327/stat : 727327 (fscip) S 727318 727321 724689 0 -1 1077936192 251 0 0 0 0 4 0 0 20 0 3 0 142748915 609001472 126957 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
Current children cumulated CPU time: 3581.57 s
Current children cumulated vsize: 594728 KiB
Current children cumulated memory: 507828 KiB
[startup+3596.8 s]
/proc/loadavg: 4.13 4.11 4.12 5/263 729837
/proc/meminfo: memFree=110524656/131524600 swapFree=131071996/131071996
[pid=727321] ppid=727318 vsize=594728 memory=507828 CPUtime=3587.95 cores=4,6
/proc/727321/stat : 727321 (fscip) S 727318 727321 724689 0 -1 1077936128 764122 0 0 0 358718 77 0 0 20 0 3 0 142747972 609001472 126957 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
/proc/727321/statm: 148682 126957 3310 3032 0 137418 0
[pid=727321/tid=727326] ppid=727318 vsize=594728 memory=507828 CPUtime=3578.44 cores=4,6
/proc/727321/task/727326/stat : 727326 (fscip) R 727318 727321 724689 0 -1 4194368 727600 0 0 0 357778 66 0 0 20 0 3 0 142748912 609001472 126957 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
[pid=727321/tid=727327] ppid=727318 vsize=594728 memory=507828 CPUtime=0.04 cores=4,6
/proc/727321/task/727327/stat : 727327 (fscip) S 727318 727321 724689 0 -1 1077936192 251 0 0 0 0 4 0 0 20 0 3 0 142748915 609001472 126957 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
Current children cumulated CPU time: 3587.95 s
Current children cumulated vsize: 594728 KiB
Current children cumulated memory: 507828 KiB
[startup+3598.4 s]
/proc/loadavg: 4.12 4.11 4.12 6/263 729839
/proc/meminfo: memFree=110524536/131524600 swapFree=131071996/131071996
[pid=727321] ppid=727318 vsize=594728 memory=507828 CPUtime=3589.55 cores=4,6
/proc/727321/stat : 727321 (fscip) S 727318 727321 724689 0 -1 1077936128 764199 0 0 0 358878 77 0 0 20 0 3 0 142747972 609001472 126957 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
/proc/727321/statm: 148682 126957 3310 3032 0 137418 0
[pid=727321/tid=727326] ppid=727318 vsize=594728 memory=16024 CPUtime=3580.03 cores=4,6
/proc/727321/task/727326/stat : 727326 (fscip) R 727318 727321 724689 0 -1 4194368 727677 0 0 0 357937 66 0 0 20 0 3 0 142748912 609001472 126957 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
[pid=727321/tid=727327] ppid=727318 vsize=594728 memory=11640 CPUtime=0.04 cores=4,6
/proc/727321/task/727327/stat : 727327 (fscip) S 727318 727321 724689 0 -1 1077936192 251 0 0 0 0 4 0 0 20 0 3 0 142748915 609001472 126957 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
Current children cumulated CPU time: 3589.55 s
Current children cumulated vsize: 594728 KiB
Current children cumulated memory: 507828 KiB
[startup+3599.2 s]
/proc/loadavg: 4.12 4.11 4.12 5/263 729839
/proc/meminfo: memFree=110524536/131524600 swapFree=131071996/131071996
[pid=727321] ppid=727318 vsize=594728 memory=507828 CPUtime=3590.35 cores=4,6
/proc/727321/stat : 727321 (fscip) S 727318 727321 724689 0 -1 1077936128 764207 0 0 0 358958 77 0 0 20 0 3 0 142747972 609001472 126957 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
/proc/727321/statm: 148682 126957 3310 3032 0 137418 0
[pid=727321/tid=727326] ppid=727318 vsize=594728 memory=35608 CPUtime=3580.83 cores=4,6
/proc/727321/task/727326/stat : 727326 (fscip) R 727318 727321 724689 0 -1 4194368 727685 0 0 0 358017 66 0 0 20 0 3 0 142748912 609001472 126957 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
[pid=727321/tid=727327] ppid=727318 vsize=594728 memory=12420 CPUtime=0.04 cores=4,6
/proc/727321/task/727327/stat : 727327 (fscip) S 727318 727321 724689 0 -1 1077936192 251 0 0 0 0 4 0 0 20 0 3 0 142748915 609001472 126957 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
Current children cumulated CPU time: 3590.35 s
Current children cumulated vsize: 594728 KiB
Current children cumulated memory: 507828 KiB
[startup+3599.6 s]
/proc/loadavg: 4.12 4.11 4.12 5/263 729839
/proc/meminfo: memFree=110524536/131524600 swapFree=131071996/131071996
[pid=727321] ppid=727318 vsize=594728 memory=507828 CPUtime=3590.75 cores=4,6
/proc/727321/stat : 727321 (fscip) S 727318 727321 724689 0 -1 1077936128 764214 0 0 0 358998 77 0 0 20 0 3 0 142747972 609001472 126957 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
/proc/727321/statm: 148682 126957 3310 3032 0 137418 0
[pid=727321/tid=727326] ppid=727318 vsize=594728 memory=6720668731389197416 CPUtime=3581.23 cores=4,6
/proc/727321/task/727326/stat : 727326 (fscip) R 727318 727321 724689 0 -1 4194368 727692 0 0 0 358057 66 0 0 20 0 3 0 142748912 609001472 126957 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
[pid=727321/tid=727327] ppid=727318 vsize=594728 memory=2248 CPUtime=0.04 cores=4,6
/proc/727321/task/727327/stat : 727327 (fscip) S 727318 727321 724689 0 -1 1077936192 251 0 0 0 0 4 0 0 20 0 3 0 142748915 609001472 126957 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
Current children cumulated CPU time: 3590.75 s
Current children cumulated vsize: 594728 KiB
Current children cumulated memory: 507828 KiB
[startup+3600 s]*
/proc/loadavg: 4.12 4.11 4.12 5/263 729840
/proc/meminfo: memFree=110524452/131524600 swapFree=131071996/131071996
[pid=727321] ppid=727318 vsize=592836 memory=505936 CPUtime=3591.15 cores=4,6
/proc/727321/stat : 727321 (fscip) S 727318 727321 724689 0 -1 1077936128 765623 0 0 0 359038 77 0 0 20 0 3 0 142747972 607064064 126484 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
/proc/727321/statm: 148209 126484 3310 3032 0 136945 0
[pid=727321/tid=727326] ppid=727318 vsize=592836 memory=-9103579576811299516 CPUtime=3581.63 cores=4,6
/proc/727321/task/727326/stat : 727326 (fscip) R 727318 727321 724689 0 -1 4194368 729328 0 0 0 358097 66 0 0 20 0 3 0 142748912 607064064 126484 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
[pid=727321/tid=727327] ppid=727318 vsize=592836 memory=1469644017839605593 CPUtime=0.04 cores=4,6
/proc/727321/task/727327/stat : 727327 (fscip) S 727318 727321 724689 0 -1 1077936192 251 0 0 0 0 4 0 0 20 0 3 0 142748915 607064064 126484 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
Current children cumulated CPU time: 3591.15 s
Current children cumulated vsize: 592836 KiB
Current children cumulated memory: 505936 KiB
[startup+3600.11 s]
/proc/loadavg: 4.12 4.11 4.12 5/263 729840
/proc/meminfo: memFree=110524452/131524600 swapFree=131071996/131071996
[pid=727321] ppid=727318 vsize=490780 memory=420940 CPUtime=3591.26 cores=4,6
/proc/727321/stat : 727321 (fscip) R 727318 727321 724689 0 -1 4194304 774814 0 0 0 359048 78 0 0 20 0 2 0 142747972 502558720 105235 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
/proc/727321/statm: 122695 105235 3310 3032 0 118873 0
[pid=727321/tid=727327] ppid=727318 vsize=490780 memory=507828 CPUtime=0.04 cores=4,6
/proc/727321/task/727327/stat : 727327 (fscip) S 727318 727321 724689 0 -1 1077936192 251 0 0 0 0 4 0 0 20 0 2 0 142748915 502558720 105235 134679101440 4194304 16613245 140727022186096 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43835392 140727022187489 140727022187605 140727022187605 140727022194672 0
Current children cumulated CPU time: 3591.26 s
Current children cumulated vsize: 490780 KiB
Current children cumulated memory: 420940 KiB
Child status: 0
Real time (s): 3600.14
CPU time (s): 3591.29
CPU user time (s): 3590.5
CPU system time (s): 0.789817
CPU usage (%): 99.7543
Max. virtual memory (cumulated for all children) (KiB): 594728
Max. memory (cumulated for all children) (KiB): 507828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.5
system time used= 0.789817
maximum resident set size= 507828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 775788
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= 5294
involuntary context switches= 1357
# summary of solver processes directly reported to runsolver:
# pid: 727321
# total CPU time (s): 3591.29
# total CPU user time (s): 3590.5
# total CPU system time (s): 0.789817
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.37395 second user time and 18.2455 second system time
The end
Begin job on nodeC026 at 2024-07-13 23:23:51
IDJOB=4426810
IDBENCH=143822
IDSOLVER=3044
FILE ID=nodeC026/4426810-1720905818
RUNJOBID= nodeC026-1720905493-727045
SLURM_JOB_ID= 7486085
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB10/oliveras/j30/normalized-j3029_8-unsat--soft-66-100-0.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4426810-1720905818/watcher-4426810-1720905818 -o /tmp/evaluation-result-4426810-1720905818/solver-4426810-1720905818 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1720905493-727045 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4426810-1720905818.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bc45bcdbecbc5e781b95a5731515dca1
RANDOM SEED=1575546516
nodeC026.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 : 3669.956
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.74
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 : 3680.526
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 : 7005.45
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 : 3600.439
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.74
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 : 3600.309
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 : 7005.45
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 : 3671.614
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.74
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 : 3680.607
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 : 7005.45
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 : 3663.317
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.74
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 : 3599.900
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 : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127666680 kB
MemAvailable: 128180144 kB
Buffers: 329876 kB
Cached: 1023908 kB
SwapCached: 0 kB
Active: 547044 kB
Inactive: 2736016 kB
Active(anon): 1572 kB
Inactive(anon): 1965092 kB
Active(file): 545472 kB
Inactive(file): 770924 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28496 kB
Writeback: 0 kB
AnonPages: 1927944 kB
Mapped: 139544 kB
Shmem: 37720 kB
KReclaimable: 73780 kB
Slab: 173148 kB
SReclaimable: 73780 kB
SUnreclaim: 99368 kB
KernelStack: 4220 kB
PageTables: 13440 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1517224 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 55904 kB
HardwareCorrupted: 0 kB
AnonHugePages: 516096 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: 182996 kB
DirectMap2M: 10076160 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 889952 MiB
End job on nodeC026 at 2024-07-14 00:23:51