0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.10/0.21 c Default LC presolving (default).
0.10/0.21 c ** Before presolving: virtualMemUsedAtLc = 82011709, getVmSize() = 75837440, SCIPgetMemUsed() = 45709295, SCIPgetMemTotal() = 52113615, SCIPgetMemExternEstim() = 29898094
0.10/0.22 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
11.45/11.56 c ** Estimated virtualMemUsedAtSolver = 91658372, getVmSize() = 134504448, SCIPgetMemUsed() = 70427928, SCIPgetMemTotal() = 107589464, SCIPgetMemExternEstim() = 29898094
11.45/11.56 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
11.45/11.56 c Original Problem :
11.45/11.56 c Problem name : instance-4464899-1722389848
11.45/11.56 c Variables : 10428 (10428 binary, 0 integer, 0 implicit integer, 0 continuous)
11.45/11.56 c Constraints : 21626
11.45/11.56 c Objective sense : minimize
11.45/11.56 c Presolved Problem :
11.45/11.56 c Variables : 5838 (5743 binary, 0 integer, 95 implicit integer, 0 continuous)
11.45/11.56 c Constraints : 7590
11.45/11.56 c Constraints : Number
11.45/11.56 c knapsack : 216
11.45/11.56 c setppc : 3554
11.45/11.56 c and : 285
11.45/11.56 c linear : 2931
11.45/11.56 c logicor : 490
11.45/11.56 c indicator : 114
11.45/11.56 c ** Instance transfer method used: 0
11.45/11.58 c ** ParaScipInstance copy increased the number of variables. **
11.54/11.62 c LC is working with racing ramp-up and with rebuilding tree after racing.
11.54/11.62 c Nodes Active
11.54/11.62 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
12.64/12.72 c * 13 0 1 1 143585.0000 - -
12.64/12.72 c 13 0 1 1 143585.0000 - -
12.64/12.76 c * 13 0 1 1 7203.0000 - -
179.84/180.58 c * 181 0 1 1 5364.0000 - -
179.84/180.58 c 181 0 1 1 5364.0000 - -
180.84/181.57 c * 182 0 1 1 4721.0000 - -
201.59/202.30 c 202 2 1 1 4721.0000 0.0000 -
224.63/225.44 c 225 3 2 1 4721.0000 0.0000 -
240.69/241.53 c 242 4 3 1 4721.0000 0.0000 -
256.84/257.75 c 258 5 4 1 4721.0000 0.0000 -
271.61/272.55 c 273 5 6 1 4721.0000 0.0000 -
281.39/282.30 c 282 5 6 1 4721.0000 0.0000 -
291.07/292.06 c 292 6 5 1 4721.0000 0.0000 -
304.33/305.39 c 305 7 6 1 4721.0000 0.0000 -
324.98/326.05 c 326 8 7 1 4721.0000 0.0000 -
337.53/338.62 c 339 9 8 1 4721.0000 0.0000 -
350.80/351.90 c 352 10 9 1 4721.0000 0.0000 -
364.67/365.87 c 366 11 10 1 4721.0000 0.0000 -
378.73/379.97 c 380 12 11 1 4721.0000 0.0000 -
391.80/393.09 c 393 14 13 1 4721.0000 0.0000 -
396.59/397.85 c * 398 15 14 1 3123.0000 0.0000 -
399.38/400.62 c 401 20 19 1 3123.0000 0.0000 -
413.64/415.01 c 415 27 26 1 3123.0000 0.0000 -
426.51/427.89 c * 428 27 26 1 2952.0000 0.0000 -
426.51/427.89 c 428 27 26 1 2952.0000 0.0000 -
432.59/433.94 c 434 50 49 1 2952.0000 0.0000 -
436.69/438.10 c * 438 59 58 1 2812.0000 0.0000 -
437.79/439.12 c 439 82 81 1 2812.0000 0.0000 -
437.87/439.29 c * 439 82 81 1 2772.0000 0.0000 -
438.07/439.41 c * 439 82 81 1 2707.0000 0.0000 -
452.15/453.59 c 454 102 101 1 2707.0000 0.0000 -
457.53/458.98 c 459 105 104 1 2707.0000 0.0000 -
463.42/464.82 c 465 108 107 1 2707.0000 0.0000 -
478.58/480.02 c 480 152 151 1 2707.0000 0.0000 -
497.03/498.54 c 499 154 153 1 2707.0000 0.0000 -
503.71/505.27 c 505 156 155 1 2707.0000 0.0000 -
514.28/515.83 c 516 157 156 1 2707.0000 0.0000 -
524.25/525.84 c 526 159 158 1 2707.0000 0.0000 -
525.57/527.13 c * 527 242 241 1 2538.0000 0.0000 -
525.57/527.13 c * 527 242 241 1 2458.0000 0.0000 -
525.65/527.20 c * 527 242 241 1 2450.0000 0.0000 -
536.54/538.13 c 538 292 283 1 2450.0000 0.0000 -
543.20/544.84 c 545 294 285 1 2450.0000 0.0000 -
552.88/554.58 c 555 295 286 1 2450.0000 0.0000 -
559.97/561.67 c 562 297 288 1 2450.0000 0.0000 -
575.13/576.88 c 577 298 289 1 2450.0000 0.0000 -
581.51/583.27 c 583 300 291 1 2450.0000 0.0000 -
589.40/591.13 c 591 301 292 1 2450.0000 0.0000 -
598.07/599.81 c 600 303 294 1 2450.0000 0.0000 -
611.43/613.24 c 613 304 295 1 2450.0000 0.0000 -
625.69/627.53 c 628 306 297 1 2450.0000 0.0000 -
639.86/641.73 c 642 308 299 1 2450.0000 0.0000 -
646.05/647.96 c 648 310 301 1 2450.0000 0.0000 -
656.51/658.46 c 658 312 303 1 2450.0000 0.0000 -
656.82/658.75 c * 659 312 303 1 2447.0000 0.0000 -
672.98/674.91 c 675 403 352 1 2447.0000 0.0000 -
678.26/680.27 c 680 404 353 1 2447.0000 0.0000 -
685.74/687.71 c 688 405 354 1 2447.0000 0.0000 -
691.72/693.76 c 694 407 356 1 2447.0000 0.0000 -
703.00/705.09 c 705 409 358 1 2447.0000 0.0000 -
708.58/710.62 c 711 411 360 1 2447.0000 0.0000 -
717.08/719.15 c 719 412 361 1 2447.0000 0.0000 -
731.62/733.79 c 734 452 375 1 2447.0000 0.0000 -
746.48/748.65 c 749 454 377 1 2447.0000 0.0000 -
754.26/756.46 c 756 456 379 1 2447.0000 0.0000 -
761.34/763.52 c 764 457 380 1 2447.0000 0.0000 -
774.41/776.65 c 777 462 385 1 2447.0000 0.0000 -
781.09/783.32 c 783 465 388 1 2447.0000 0.0000 -
791.06/793.31 c 793 466 389 1 2447.0000 0.0000 -
800.03/802.37 c 802 467 390 1 2447.0000 0.0000 -
810.72/813.08 c 813 468 391 1 2447.0000 0.0000 -
816.40/818.72 c 819 469 392 1 2447.0000 0.0000 -
824.68/827.06 c 827 470 393 1 2447.0000 0.0000 -
830.86/833.23 c 833 471 394 1 2447.0000 0.0000 -
841.24/843.60 c 844 472 395 1 2447.0000 0.0000 -
841.43/843.89 c * 844 472 395 1 2435.0000 0.0000 -
841.53/843.97 c * 844 472 395 1 2383.0000 0.0000 -
854.30/856.74 c 857 514 407 1 2383.0000 0.0000 -
865.26/867.75 c 868 516 409 1 2383.0000 0.0000 -
874.74/877.27 c 877 517 410 1 2383.0000 0.0000 -
885.91/888.46 c 888 519 412 1 2383.0000 0.0000 -
898.49/901.09 c 901 521 414 1 2383.0000 0.0000 -
903.77/906.31 c 906 522 415 1 2383.0000 0.0000 -
915.24/917.84 c 918 594 437 1 2383.0000 0.0000 -
931.30/933.92 c 934 595 438 1 2383.0000 0.0000 -
936.78/939.46 c 939 596 439 1 2383.0000 0.0000 -
945.96/948.60 c 949 597 440 1 2383.0000 0.0000 -
954.45/957.14 c 957 599 442 1 2383.0000 0.0000 -
961.22/963.93 c 964 600 443 1 2383.0000 0.0000 -
973.19/975.99 c 976 602 445 1 2383.0000 0.0000 -
973.40/976.14 c * 976 602 445 1 2365.0000 0.0000 -
990.15/992.90 c 993 654 454 1 2365.0000 0.0000 -
996.93/999.72 c 1000 655 455 1 2365.0000 0.0000 -
1005.81/1008.68 c 1009 656 456 1 2365.0000 0.0000 -
1017.49/1020.32 c 1020 658 458 1 2365.0000 0.0000 -
1023.37/1026.24 c 1026 660 460 1 2365.0000 0.0000 -
1030.85/1033.71 c 1034 661 461 1 2365.0000 0.0000 -
1047.61/1050.59 c 1051 683 467 1 2365.0000 0.0000 -
1053.99/1056.93 c 1057 685 469 1 2365.0000 0.0000 -
1059.98/1062.91 c 1063 686 470 1 2365.0000 0.0000 -
1073.34/1076.36 c 1076 689 473 1 2365.0000 0.0000 -
1080.13/1083.15 c 1083 691 475 1 2365.0000 0.0000 -
1088.01/1091.03 c 1091 692 476 1 2365.0000 0.0000 -
1099.47/1102.52 c 1103 713 479 1 2365.0000 0.0000 -
1107.46/1110.52 c 1111 715 481 1 2365.0000 0.0000 -
1115.14/1118.29 c 1118 716 482 1 2365.0000 0.0000 -
1121.22/1124.34 c 1124 718 484 1 2365.0000 0.0000 -
1135.29/1138.42 c 1138 719 485 1 2365.0000 0.0000 -
1146.66/1149.80 c 1150 720 486 1 2365.0000 0.0000 -
1158.73/1162.01 c 1162 722 488 1 2365.0000 0.0000 -
1167.61/1170.85 c 1171 762 495 1 2365.0000 0.0000 -
1178.79/1182.06 c 1182 763 496 1 2365.0000 0.0000 -
1191.76/1195.09 c 1195 764 497 1 2365.0000 0.0000 -
1204.41/1207.76 c 1208 765 498 1 2365.0000 0.0000 -
1215.69/1219.03 c 1219 767 500 1 2365.0000 0.0000 -
1221.87/1225.27 c 1225 768 501 1 2365.0000 0.0000 -
1231.44/1234.87 c 1235 769 502 1 2365.0000 0.0000 -
1238.22/1241.66 c 1242 770 503 1 2365.0000 0.0000 -
1243.62/1247.01 c 1247 782 515 1 2365.0000 0.0000 -
1249.30/1252.71 c 1253 791 524 1 2365.0000 0.0000 -
1255.18/1258.60 c 1259 803 536 1 2365.0000 0.0000 -
1260.77/1264.20 c 1264 813 546 1 2365.0000 0.0000 -
1262.87/1266.36 c * 1266 814 547 1 1226.0000 0.0000 -
1266.76/1270.20 c 1270 818 271 1 1226.0000 0.0000 -
1273.04/1276.53 c 1277 825 278 1 1226.0000 0.0000 -
1279.13/1282.67 c 1283 830 283 1 1226.0000 0.0000 -
1286.12/1289.60 c 1290 842 295 1 1226.0000 0.0000 -
1292.00/1295.52 c 1296 853 306 1 1226.0000 0.0000 -
1297.99/1301.58 c 1302 866 319 1 1226.0000 0.0000 -
1303.67/1307.29 c 1307 873 326 1 1226.0000 0.0000 -
1310.46/1314.05 c 1314 889 342 1 1226.0000 0.0000 -
1316.44/1320.10 c 1320 901 354 1 1226.0000 0.0000 -
1324.01/1327.63 c 1328 915 368 1 1226.0000 0.0000 -
1332.39/1336.05 c 1336 932 385 1 1226.0000 0.0000 -
1337.56/1341.25 c 1341 943 396 1 1226.0000 0.0000 -
1344.14/1347.88 c 1348 953 406 1 1226.0000 0.0000 -
1351.22/1354.92 c 1355 965 418 1 1226.0000 0.0000 -
1356.50/1360.30 c 1360 978 431 1 1226.0000 0.0000 -
1362.58/1366.30 c 1366 989 442 1 1226.0000 0.0000 -
1368.67/1372.48 c 1372 1004 457 1 1226.0000 0.0000 -
1372.45/1376.30 c * 1376 1014 467 1 1161.0000 0.0000 -
1376.84/1380.68 c 1381 1018 468 1 1161.0000 0.0000 -
1381.83/1385.69 c 1386 1028 478 1 1161.0000 0.0000 -
1387.32/1391.14 c 1391 1043 493 1 1161.0000 0.0000 -
1392.59/1396.46 c 1396 1054 504 1 1161.0000 0.0000 -
1399.18/1403.09 c 1403 1062 512 1 1161.0000 0.0000 -
1405.05/1408.97 c 1409 1081 531 1 1161.0000 0.0000 -
1411.63/1415.53 c 1416 1092 542 1 1161.0000 0.0000 -
1417.91/1421.86 c 1422 1102 552 1 1161.0000 0.0000 -
1423.11/1427.02 c 1427 1112 562 1 1161.0000 0.0000 -
1428.88/1432.80 c 1433 1119 569 1 1161.0000 0.0000 -
1435.96/1439.93 c 1440 1129 579 1 1161.0000 0.0000 -
1442.54/1446.54 c 1447 1136 586 1 1161.0000 0.0000 -
1448.82/1452.80 c 1453 1142 592 1 1161.0000 0.0000 -
1454.01/1458.02 c 1458 1150 600 1 1161.0000 0.0000 -
1460.48/1464.53 c 1465 1163 613 1 1161.0000 0.0000 -
1466.36/1470.41 c 1470 1179 629 1 1161.0000 0.0000 -
1473.44/1477.56 c 1478 1188 638 1 1161.0000 0.0000 -
1480.22/1484.33 c 1484 1205 655 1 1161.0000 0.0000 -
1485.92/1490.06 c 1490 1213 663 1 1161.0000 0.0000 -
1488.19/1492.39 c * 1492 1214 666 1 1042.0000 0.0000 -
1495.08/1499.26 c 1499 1222 662 1 1042.0000 0.0000 -
1501.87/1506.07 c 1506 1239 679 1 1042.0000 0.0000 -
1507.04/1511.21 c 1511 1247 687 1 1042.0000 0.0000 -
1513.22/1517.49 c 1518 1251 691 1 1042.0000 0.0000 -
1519.30/1523.57 c 1524 1274 710 1 1042.0000 0.0000 -
1532.46/1536.73 c 1537 1282 718 1 1042.0000 0.0000 -
1537.64/1541.95 c 1542 1283 719 1 1042.0000 0.0000 -
1545.83/1550.13 c 1550 1284 720 1 1042.0000 0.0000 -
1554.89/1559.24 c 1559 1286 722 1 1042.0000 0.0000 -
1563.86/1568.29 c 1568 1288 724 1 1042.0000 0.0000 -
1570.66/1575.05 c 1575 1291 727 1 1042.0000 0.0000 -
1576.23/1580.61 c 1581 1297 733 1 1042.0000 0.0000 -
1581.41/1585.85 c 1586 1306 742 1 1042.0000 0.0000 -
1587.09/1591.55 c 1592 1310 746 1 1042.0000 0.0000 -
1593.07/1597.54 c 1598 1324 760 1 1042.0000 0.0000 -
1598.26/1602.76 c 1603 1329 765 1 1042.0000 0.0000 -
1604.65/1609.11 c 1609 1339 775 1 1042.0000 0.0000 -
1610.32/1614.82 c 1615 1354 790 1 1042.0000 0.0000 -
1615.80/1620.39 c 1620 1366 802 1 1042.0000 0.0000 -
1623.19/1627.79 c 1628 1376 812 1 1042.0000 0.0000 -
1629.59/1634.12 c 1634 1381 815 1 1042.0000 0.0000 -
1635.06/1639.66 c 1640 1390 824 1 1042.0000 0.0000 -
1640.25/1644.87 c 1645 1398 824 1 1042.0000 0.0000 -
1645.84/1650.45 c 1650 1403 829 1 1042.0000 0.0000 -
1651.44/1656.01 c 1656 1409 835 1 1042.0000 0.0000 -
1657.11/1661.78 c 1662 1414 836 1 1042.0000 0.0000 -
1657.21/1661.81 c * 1662 1414 836 1 886.0000 0.0000 -
1657.21/1661.88 c * 1662 1414 836 1 882.0000 0.0000 -
1665.30/1669.97 c 1670 1422 805 1 882.0000 0.0000 -
1673.98/1678.61 c 1679 1423 806 1 882.0000 0.0000 -
1683.06/1687.71 c 1688 1425 808 1 882.0000 0.0000 -
1688.54/1693.26 c 1693 1427 810 1 882.0000 0.0000 -
1694.53/1699.23 c 1699 1430 813 1 882.0000 0.0000 -
1704.42/1709.19 c 1709 1432 815 1 882.0000 0.0000 -
1716.68/1721.42 c 1721 1433 816 1 882.0000 0.0000 -
1726.65/1731.41 c 1731 1435 818 1 882.0000 0.0000 -
1735.24/1740.03 c 1740 1437 820 1 882.0000 0.0000 -
1748.32/1753.13 c 1753 1442 825 1 882.0000 0.0000 -
1759.58/1764.43 c 1764 1444 827 1 882.0000 0.0000 -
1766.56/1771.48 c 1771 1445 828 1 882.0000 0.0000 -
1772.16/1777.03 c 1777 1447 830 1 882.0000 0.0000 -
1779.93/1784.82 c 1785 1449 832 1 882.0000 0.0000 -
1786.32/1791.29 c 1791 1450 833 1 882.0000 0.0000 -
1793.70/1798.63 c 1799 1452 835 1 882.0000 0.0000 -
1801.19/1806.17 c 1806 1454 837 1 882.0000 0.0000 -
1808.86/1813.88 c 1814 1455 838 1 882.0000 0.0000 -
1814.65/1819.68 c 1820 1457 840 1 882.0000 0.0000 -
1821.53/1826.51 c 1827 1462 845 1 882.0000 0.0000 -
1830.32/1835.37 c 1835 1466 849 1 882.0000 0.0000 -
1836.30/1841.37 c 1841 1470 853 1 882.0000 0.0000 -
1847.08/1852.19 c 1852 1472 855 1 882.0000 0.0000 -
1859.04/1864.19 c 1864 1474 857 1 882.0000 0.0000 -
1869.49/1874.63 c 1875 1475 858 1 882.0000 0.0000 -
1879.56/1884.70 c 1885 1477 860 1 882.0000 0.0000 -
1887.54/1892.73 c 1893 1479 862 1 882.0000 0.0000 -
1898.60/1903.84 c 1904 1482 865 1 882.0000 0.0000 -
1907.08/1912.35 c 1912 1483 866 1 882.0000 0.0000 -
1915.96/1921.22 c 1921 1485 868 1 882.0000 0.0000 -
1924.53/1929.81 c 1930 1488 871 1 882.0000 0.0000 -
1931.72/1937.09 c 1937 1490 873 1 882.0000 0.0000 -
1937.49/1942.87 c 1943 1491 874 1 882.0000 0.0000 -
1944.07/1949.48 c 1949 1492 875 1 882.0000 0.0000 -
1952.04/1957.43 c 1957 1493 876 1 882.0000 0.0000 -
1957.82/1963.25 c 1963 1495 878 1 882.0000 0.0000 -
1963.11/1968.55 c 1969 1497 880 1 882.0000 0.0000 -
1968.61/1974.05 c 1974 1501 884 1 882.0000 0.0000 -
1978.58/1984.04 c 1984 1504 887 1 882.0000 0.0000 -
1985.04/1990.50 c 1991 1510 893 1 882.0000 0.0000 -
1995.81/2001.36 c 2001 1513 896 1 882.0000 0.0000 -
2003.39/2008.91 c 2009 1515 898 1 882.0000 0.0000 -
2009.27/2014.80 c 2015 1516 899 1 882.0000 0.0000 -
2016.15/2021.75 c 2022 1517 900 1 882.0000 0.0000 -
2021.13/2026.77 c 2027 1519 902 1 882.0000 0.0000 -
2030.52/2036.15 c 2036 1521 906 1 882.0000 0.0000 -
2040.49/2046.19 c 2046 1521 906 1 882.0000 0.0000 -
2049.25/2054.99 c 2055 1523 906 1 882.0000 0.0000 -
2054.63/2060.37 c 2060 1524 907 1 882.0000 0.0000 -
2060.61/2066.37 c 2066 1525 908 1 882.0000 0.0000 -
2065.90/2071.61 c 2072 1526 909 1 882.0000 0.0000 -
2073.07/2078.85 c 2079 1527 910 1 882.0000 0.0000 -
2083.45/2089.29 c 2089 1529 912 1 882.0000 0.0000 -
2090.12/2095.94 c 2096 1531 914 1 882.0000 0.0000 -
2098.80/2104.63 c 2105 1533 916 1 882.0000 0.0000 -
2105.29/2111.17 c 2111 1534 917 1 882.0000 0.0000 -
2110.46/2116.34 c 2116 1536 919 1 882.0000 0.0000 -
2116.45/2122.33 c 2122 1538 921 1 882.0000 0.0000 -
2126.71/2132.62 c 2133 1542 925 1 882.0000 0.0000 -
2133.69/2139.61 c 2140 1543 926 1 882.0000 0.0000 -
2138.78/2144.77 c 2145 1544 927 1 882.0000 0.0000 -
2145.85/2151.80 c 2152 1546 929 1 882.0000 0.0000 -
2151.63/2157.65 c 2158 1552 935 1 882.0000 0.0000 -
2159.61/2165.61 c 2166 1561 944 1 882.0000 0.0000 -
2166.59/2172.62 c 2173 1563 946 1 882.0000 0.0000 -
2172.28/2178.31 c 2178 1566 949 1 882.0000 0.0000 -
2185.23/2191.38 c 2191 1572 955 1 882.0000 0.0000 -
2194.71/2200.87 c 2201 1574 957 1 882.0000 0.0000 -
2204.37/2210.59 c 2211 1575 958 1 882.0000 0.0000 -
2209.87/2216.08 c 2216 1576 959 1 882.0000 0.0000 -
2215.85/2222.09 c 2222 1577 960 1 882.0000 0.0000 -
2226.21/2232.49 c 2232 1578 961 1 882.0000 0.0000 -
2234.08/2240.35 c 2240 1579 962 1 882.0000 0.0000 -
2242.66/2248.94 c 2249 1581 964 1 882.0000 0.0000 -
2253.13/2259.45 c 2259 1583 966 1 882.0000 0.0000 -
2265.39/2271.76 c 2272 1585 968 1 882.0000 0.0000 -
2278.25/2284.67 c 2285 1587 970 1 882.0000 0.0000 -
2284.75/2291.19 c 2291 1588 971 1 882.0000 0.0000 -
2292.81/2299.28 c 2299 1589 972 1 882.0000 0.0000 -
2298.39/2304.88 c 2305 1590 973 1 882.0000 0.0000 -
2308.06/2314.53 c 2315 1592 975 1 882.0000 0.0000 -
2313.55/2320.03 c 2320 1603 986 1 882.0000 0.0000 -
2319.42/2325.92 c 2326 1613 994 1 882.0000 0.0000 -
2322.53/2329.07 c * 2329 1614 997 1 852.0000 0.0000 -
2325.62/2332.12 c 2332 1623 989 1 852.0000 0.0000 -
2330.60/2337.16 c 2337 1630 996 1 852.0000 0.0000 -
2336.37/2342.95 c 2343 1642 1008 1 852.0000 0.0000 -
2342.47/2349.06 c 2349 1653 1017 1 852.0000 0.0000 -
2347.84/2354.47 c 2354 1664 1028 1 852.0000 0.0000 -
2353.12/2359.71 c 2360 1669 1033 1 852.0000 0.0000 -
2359.30/2365.99 c 2366 1677 1039 1 852.0000 0.0000 -
2366.18/2372.84 c 2373 1690 1048 1 852.0000 0.0000 -
2372.16/2378.80 c 2379 1703 1057 1 852.0000 0.0000 -
2377.25/2383.96 c 2384 1707 1061 1 852.0000 0.0000 -
2383.53/2390.22 c 2390 1715 1069 1 852.0000 0.0000 -
2396.19/2402.93 c 2403 1720 1070 1 852.0000 0.0000 -
2401.67/2408.49 c 2408 1730 1078 1 852.0000 0.0000 -
2407.85/2414.62 c 2415 1738 1082 1 852.0000 0.0000 -
2415.73/2422.50 c 2422 1751 1089 1 852.0000 0.0000 -
2423.41/2430.25 c 2430 1764 1102 1 852.0000 0.0000 -
2429.20/2436.09 c 2436 1773 1111 1 852.0000 0.0000 -
2436.47/2443.30 c 2443 1789 1117 1 852.0000 0.0000 -
2442.55/2449.44 c 2449 1803 1127 1 852.0000 0.0000 -
2449.93/2456.85 c 2457 1819 1143 1 852.0000 0.0000 -
2455.30/2462.24 c 2462 1832 1156 1 852.0000 0.0000 -
2460.59/2467.57 c 2468 1852 1176 1 852.0000 0.0000 -
2466.47/2473.43 c 2473 1863 1187 1 852.0000 0.0000 -
2473.35/2480.39 c 2480 1884 1208 1 852.0000 0.0000 -
2479.04/2486.10 c 2486 1896 1220 1 852.0000 0.0000 -
2484.81/2491.81 c 2492 1909 1233 1 852.0000 0.0000 -
2491.00/2498.07 c 2498 1924 1248 1 852.0000 0.0000 -
2496.98/2504.10 c 2504 1935 1257 1 852.0000 0.0000 -
2505.25/2512.35 c 2512 1956 1278 1 852.0000 0.0000 -
2510.43/2517.51 c 2518 1966 1288 1 852.0000 0.0000 -
2516.21/2523.39 c 2523 1983 1305 1 852.0000 0.0000 -
2524.19/2531.36 c 2531 1994 1316 1 852.0000 0.0000 -
2530.37/2537.52 c 2538 2005 1327 1 852.0000 0.0000 -
2536.45/2543.67 c 2544 2015 1337 1 852.0000 0.0000 -
2542.53/2549.79 c 2550 2036 1358 1 852.0000 0.0000 -
2548.11/2555.35 c 2555 2055 1377 1 852.0000 0.0000 -
2553.30/2560.52 c 2561 2067 1389 1 852.0000 0.0000 -
2558.90/2566.19 c 2566 2078 1400 1 852.0000 0.0000 -
2565.17/2572.46 c 2572 2087 1409 1 852.0000 0.0000 -
2566.46/2573.76 c * 2574 2091 1411 1 628.0000 0.0000 -
2570.35/2577.64 c 2578 2103 1178 1 628.0000 0.0000 -
2576.33/2583.63 c 2584 2122 1195 1 628.0000 0.0000 -
2584.72/2592.02 c 2592 2132 1197 1 628.0000 0.0000 -
2591.19/2598.59 c 2599 2133 1198 1 628.0000 0.0000 -
2598.47/2605.89 c 2606 2141 1206 1 628.0000 0.0000 -
2606.94/2614.34 c 2614 2142 1207 1 628.0000 0.0000 -
2615.02/2622.49 c 2622 2143 1208 1 628.0000 0.0000 -
2625.18/2632.68 c 2633 2145 1210 1 628.0000 0.0000 -
2640.15/2647.64 c 2648 2146 1211 1 628.0000 0.0000 -
2647.64/2655.13 c 2655 2149 1214 1 628.0000 0.0000 -
2659.29/2666.86 c 2667 2153 1218 1 628.0000 0.0000 -
2668.06/2675.62 c 2676 2154 1219 1 628.0000 0.0000 -
2679.44/2687.05 c 2687 2155 1220 1 628.0000 0.0000 -
2689.80/2697.48 c 2697 2156 1221 1 628.0000 0.0000 -
2699.27/2706.93 c 2707 2157 1222 1 628.0000 0.0000 -
2705.05/2712.79 c 2713 2161 1226 1 628.0000 0.0000 -
2713.82/2721.60 c 2722 2162 1227 1 628.0000 0.0000 -
2723.00/2730.71 c 2731 2163 1228 1 628.0000 0.0000 -
2734.76/2742.55 c 2743 2164 1229 1 628.0000 0.0000 -
2740.84/2748.65 c 2749 2167 1232 1 628.0000 0.0000 -
2747.92/2755.79 c 2756 2172 1237 1 628.0000 0.0000 -
2759.89/2767.78 c 2768 2173 1238 1 628.0000 0.0000 -
2770.66/2778.52 c 2779 2174 1239 1 628.0000 0.0000 -
2780.53/2788.46 c 2788 2175 1240 1 628.0000 0.0000 -
2787.22/2795.19 c 2795 2177 1242 1 628.0000 0.0000 -
2801.96/2809.99 c 2810 2182 1247 1 628.0000 0.0000 -
2809.84/2817.89 c 2818 2183 1248 1 628.0000 0.0000 -
2815.52/2823.59 c 2824 2185 1250 1 628.0000 0.0000 -
2822.01/2830.09 c 2830 2190 1255 1 628.0000 0.0000 -
2829.78/2837.84 c 2838 2192 1257 1 628.0000 0.0000 -
2840.96/2849.09 c 2849 2193 1258 1 628.0000 0.0000 -
2848.62/2856.75 c 2857 2194 1259 1 628.0000 0.0000 -
2858.10/2866.27 c 2866 2195 1260 1 628.0000 0.0000 -
2868.07/2876.20 c 2876 2197 1262 1 628.0000 0.0000 -
2884.42/2892.64 c 2893 2202 1267 1 628.0000 0.0000 -
2891.00/2899.23 c 2899 2203 1268 1 628.0000 0.0000 -
2901.67/2909.95 c 2910 2204 1269 1 628.0000 0.0000 -
2909.34/2917.63 c 2918 2209 1274 1 628.0000 0.0000 -
2921.50/2929.87 c 2930 2212 1277 1 628.0000 0.0000 -
2932.37/2940.70 c 2941 2213 1278 1 628.0000 0.0000 -
2938.15/2946.55 c 2947 2221 1286 1 628.0000 0.0000 -
2950.12/2958.54 c 2959 2222 1287 1 628.0000 0.0000 -
2955.62/2964.10 c 2964 2225 1290 1 628.0000 0.0000 -
2961.19/2969.60 c 2970 2232 1297 1 628.0000 0.0000 -
2967.18/2975.68 c 2976 2233 1298 1 628.0000 0.0000 -
2973.57/2982.06 c 2982 2234 1299 1 628.0000 0.0000 -
2979.45/2987.95 c 2988 2236 1301 1 628.0000 0.0000 -
2990.42/2998.98 c 2999 2242 1307 1 628.0000 0.0000 -
2997.71/3006.21 c 3006 2243 1308 1 628.0000 0.0000 -
3008.98/3017.55 c 3018 2244 1309 1 628.0000 0.0000 -
3019.05/3027.65 c 3028 2245 1310 1 628.0000 0.0000 -
3024.45/3033.04 c 3033 2246 1311 1 628.0000 0.0000 -
3030.82/3039.47 c 3039 2248 1313 1 628.0000 0.0000 -
3042.40/3051.09 c 3051 2252 1317 1 628.0000 0.0000 -
3054.47/3063.14 c 3063 2253 1318 1 628.0000 0.0000 -
3065.34/3074.04 c 3074 2254 1319 1 628.0000 0.0000 -
3071.12/3079.81 c 3080 2255 1320 1 628.0000 0.0000 -
3079.00/3087.79 c 3088 2257 1322 1 628.0000 0.0000 -
3092.38/3101.19 c 3101 2262 1327 1 628.0000 0.0000 -
3100.75/3109.51 c 3110 2263 1328 1 628.0000 0.0000 -
3107.83/3116.63 c 3117 2264 1329 1 628.0000 0.0000 -
3114.11/3123.01 c 3123 2266 1331 1 628.0000 0.0000 -
3125.29/3134.16 c 3134 2272 1337 1 628.0000 0.0000 -
3131.66/3140.55 c 3141 2276 1341 1 628.0000 0.0000 -
3138.74/3147.65 c 3148 2282 1347 1 628.0000 0.0000 -
3144.03/3152.97 c 3153 2289 1354 1 628.0000 0.0000 -
3150.61/3159.57 c 3160 2291 1358 1 628.0000 0.0000 -
3155.90/3164.86 c 3165 2297 1362 1 628.0000 0.0000 -
3168.37/3177.30 c 3177 2302 1367 1 628.0000 0.0000 -
3182.23/3191.29 c 3191 2303 1368 1 628.0000 0.0000 -
3190.91/3199.90 c 3200 2304 1369 1 628.0000 0.0000 -
3197.70/3206.70 c 3207 2305 1370 1 628.0000 0.0000 -
3204.99/3214.11 c 3214 2307 1372 1 628.0000 0.0000 -
3218.65/3227.70 c 3228 2312 1377 1 628.0000 0.0000 -
3224.63/3233.72 c 3234 2313 1378 1 628.0000 0.0000 -
3236.40/3245.53 c 3246 2315 1380 1 628.0000 0.0000 -
3243.00/3252.13 c 3252 2317 1382 1 628.0000 0.0000 -
3248.27/3257.40 c 3257 2321 1386 1 628.0000 0.0000 -
3255.26/3264.48 c 3264 2323 1388 1 628.0000 0.0000 -
3261.95/3271.13 c 3271 2326 1391 1 628.0000 0.0000 -
3270.32/3279.56 c 3280 2331 1396 1 628.0000 0.0000 -
3276.21/3285.41 c 3285 2332 1397 1 628.0000 0.0000 -
3281.99/3291.22 c 3291 2336 1401 1 628.0000 0.0000 -
3293.56/3302.87 c 3303 2342 1407 1 628.0000 0.0000 -
3301.55/3310.81 c 3311 2343 1408 1 628.0000 0.0000 -
3307.24/3316.57 c 3317 2344 1409 1 628.0000 0.0000 -
3312.92/3322.28 c 3322 2352 1417 1 628.0000 0.0000 -
3318.41/3327.79 c 3328 2353 1418 1 628.0000 0.0000 -
3323.90/3333.24 c 3333 2361 1426 1 628.0000 0.0000 -
3332.58/3341.92 c 3342 2362 1427 1 628.0000 0.0000 -
3337.96/3347.34 c 3347 2371 1436 1 628.0000 0.0000 -
3344.84/3354.21 c 3354 2372 1437 1 628.0000 0.0000 -
3349.83/3359.26 c 3359 2377 1442 1 628.0000 0.0000 -
3360.62/3370.01 c 3370 2382 1447 1 628.0000 0.0000 -
3371.48/3380.96 c 3381 2383 1448 1 628.0000 0.0000 -
3384.25/3393.79 c 3394 2384 1449 1 628.0000 0.0000 -
3391.83/3401.35 c 3401 2385 1450 1 628.0000 0.0000 -
3400.21/3409.75 c 3410 2386 1451 1 628.0000 0.0000 -
3412.49/3422.02 c 3422 2387 1452 1 628.0000 0.0000 -
3420.16/3429.79 c 3430 2388 1453 1 628.0000 0.0000 -
3428.64/3438.26 c 3438 2389 1454 1 628.0000 0.0000 -
3433.83/3443.42 c 3443 2390 1455 1 628.0000 0.0000 -
3439.43/3449.05 c 3449 2391 1456 1 628.0000 0.0000 -
3443.60/3453.26 c * 3453 2392 1457 1 574.0000 0.0000 -
3444.60/3454.20 c 3454 2395 1404 1 574.0000 0.0000 -
3449.79/3459.49 c 3460 2422 1417 1 574.0000 0.0000 -
3455.78/3465.49 c 3466 2456 1427 1 574.0000 0.0000 -
3460.96/3470.68 c 3471 2476 1435 1 574.0000 0.0000 -
3466.85/3476.59 c 3477 2509 1446 1 574.0000 0.0000 -
3484.81/3494.57 c 3495 2512 1445 1 574.0000 0.0000 -
3493.59/3503.33 c 3503 2513 1446 1 574.0000 0.0000 -
3501.67/3511.48 c 3511 2514 1447 1 574.0000 0.0000 -
3510.15/3519.91 c 3520 2516 1449 1 574.0000 0.0000 -
3517.03/3526.85 c 3527 2517 1450 1 574.0000 0.0000 -
3523.42/3533.28 c 3533 2519 1452 1 574.0000 0.0000 -
3533.79/3543.67 c 3544 2522 1455 1 574.0000 0.0000 -
3538.78/3548.67 c 3549 2524 1457 1 574.0000 0.0000 -
3544.76/3554.66 c 3555 2532 1465 1 574.0000 0.0000 -
3550.26/3560.13 c 3560 2534 1467 1 574.0000 0.0000 -
3556.83/3566.70 c 3567 2537 1470 1 574.0000 0.0000 -
3581.57/3591.55 c 3592 2542 1475 1 574.0000 0.0000 -
3587.86/3597.86 c 3598 2543 1476 1 574.0000 0.0000 -
3588.07/3598.06 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.07/3598.06 c Total Time : 3598.0700
3588.07/3598.06 c solving : 3598.0700
3588.07/3598.06 c presolving : 11.3471 (included in solving)
3588.07/3598.06 c B&B Tree :
3588.07/3598.06 c nodes (total) : 1
3588.07/3598.06 c Solution :
3588.07/3598.06 c Solutions found : 24
3588.07/3598.06 c Primal Bound : +5.74000000000000e+02
3588.07/3598.06 c Dual Bound : +0.00000000000000e+00
3588.07/3598.06 c Gap : infinite
3588.07/3598.06 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3588.07/3598.08 o 574
3588.07/3598.08 s SATISFIABLE
3588.07/3598.08 v x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942
3588.07/3598.08 v -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924
3588.07/3598.08 v -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907
3588.07/3598.08 v -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889
3588.07/3598.08 v -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 x4879 x4878 x4877 x4876 x4875 x4874 x4873 x4872 -x4871 -x4870
3588.07/3598.08 v -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852
3588.07/3598.08 v -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834
3588.07/3598.08 v -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816
3588.07/3598.08 v -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 x4799 x4798
3588.07/3598.08 v x4797 x4796 x4795 x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780
3588.07/3598.08 v -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762
3588.07/3598.08 v -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744
3588.07/3598.08 v -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726
3588.07/3598.08 v -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 x4719 x4718 x4717 x4716 x4715 x4714 x4713 x4712 x4711 -x4710 -x4709 -x4708 -x4707
3588.07/3598.08 v -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689
3588.07/3598.08 v -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671
3588.07/3598.08 v -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653
3588.07/3598.08 v -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635
3588.07/3598.08 v -x4634 -x4633 -x4632 x4631 x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617
3588.07/3598.08 v -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599
3588.07/3598.08 v -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582
3588.07/3598.08 v -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564
3588.07/3598.08 v -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 x4550 x4549 x4548 x4547 x4546 x4545
3588.07/3598.08 v x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527
3588.07/3598.08 v -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509
3588.07/3598.08 v -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491
3588.07/3598.08 v -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473
3588.07/3598.08 v -x4472 -x4471 -x4470 -x4469 x4468 x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455
3588.07/3598.08 v -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437
3588.07/3598.08 v -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420
3588.07/3598.08 v -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402
3588.07/3598.08 v -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384
3588.07/3598.08 v x4383 x4382 x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366
3588.07/3598.08 v -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348
3588.07/3598.08 v -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330
3588.07/3598.08 v -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312
3588.07/3598.08 v -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294
3588.07/3598.08 v -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276
3588.07/3598.08 v x4275 x4274 x4273 x4272 x4271 x4270 x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257
3588.07/3598.08 v -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240
3588.07/3598.08 v -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222
3588.07/3598.08 v -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 x4209 x4208 x4207 x4206 -x4205 -x4204 -x4203
3588.07/3598.08 v -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185
3588.07/3598.08 v -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168
3588.07/3598.08 v -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150
3588.07/3598.08 v -x4149 -x4148 -x4147 -x4146 x4145 x4144 x4143 x4142 x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131
3588.07/3598.08 v -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113
3588.07/3598.08 v -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095
3588.07/3598.08 v -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078
3588.07/3598.08 v -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060
3588.07/3598.08 v -x4059 x4058 x4057 x4056 x4055 x4054 x4053 x4052 x4051 x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041
3588.07/3598.08 v -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023
3588.07/3598.08 v -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005
3588.07/3598.08 v -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987
3588.07/3598.08 v -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 x3969
3588.07/3598.08 v x3968 x3967 x3966 x3965 x3964 x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950
3588.07/3598.08 v -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932
3588.07/3598.08 v -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915
3588.07/3598.08 v -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897
3588.07/3598.08 v -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 x3885 -x3884 x3883 x3882 x3881 x3880 x3879 x3878
3588.07/3598.08 v x3877 x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860
3588.07/3598.08 v -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842
3588.07/3598.08 v -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824
3588.07/3598.08 v -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806
3588.07/3598.08 v -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 x3789 x3788
3588.07/3598.08 v -x3787 x3786 x3785 -x3784 x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770
3588.07/3598.08 v -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752
3588.07/3598.08 v -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734
3588.07/3598.08 v -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 x3722 x3721 x3720 x3719 x3718 x3717 -x3716 -x3715
3588.07/3598.08 v -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697
3588.07/3598.08 v -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680
3588.07/3598.08 v -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662
3588.07/3598.08 v -x3661 x3660 x3659 x3658 x3657 x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643
3588.07/3598.08 v -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625
3588.07/3598.08 v -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607
3588.07/3598.08 v -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590
3588.07/3598.08 v -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 x3574 -x3573 -x3572
3588.07/3598.08 v -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 x3564 x3563 x3562 x3561 x3560 x3559 x3558 x3557 -x3556 -x3555 -x3554 -x3553
3588.07/3598.08 v -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535
3588.07/3598.08 v -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517
3588.07/3598.08 v -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 x3500 x3499
3588.07/3598.08 v -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481
3588.07/3598.08 v -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463
3588.07/3598.08 v -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445
3588.07/3598.08 v -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427
3588.07/3598.08 v -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409
3588.07/3598.08 v -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 x3396 x3395 x3394 x3393 x3392 x3391
3588.07/3598.08 v x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373
3588.07/3598.08 v -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355
3588.07/3598.08 v -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337
3588.07/3598.08 v -x3336 -x3335 -x3334 x3333 x3332 x3331 x3330 x3329 x3328 x3327 x3326 x3325 x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318
3588.07/3598.08 v -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300
3588.07/3598.08 v -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282
3588.07/3598.08 v -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264
3588.07/3598.08 v -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246
3588.07/3598.08 v -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228
3588.07/3598.08 v -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 x3221 x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210
3588.07/3598.08 v -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192
3588.07/3598.08 v -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175
3588.07/3598.08 v -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157
3588.07/3598.08 v -x3156 x3155 x3154 -x3153 x3152 x3151 x3150 x3149 x3148 x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138
3588.07/3598.08 v -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120
3588.07/3598.08 v -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102
3588.07/3598.08 v -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084
3588.07/3598.08 v -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066
3588.07/3598.08 v -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 x3055 x3054 x3053 x3052 -x3051 -x3050 -x3049 -x3048
3588.07/3598.08 v -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030
3588.07/3598.08 v -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012
3588.07/3598.08 v -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994
3588.07/3598.08 v -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 x2987 x2986 x2985 x2984 -x2983 x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976
3588.07/3598.08 v -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958
3588.07/3598.08 v -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940
3588.07/3598.08 v -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922
3588.07/3598.08 v -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 x2904
3588.07/3598.08 v x2903 x2902 x2901 x2900 x2899 x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885
3588.07/3598.08 v -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867
3588.07/3598.08 v -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850
3588.07/3598.08 v -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832
3588.07/3598.08 v -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814
3588.07/3598.08 v -x2813 -x2812 -x2811 -x2810 x2809 x2808 x2807 x2806 x2805 x2804 x2803 x2802 x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795
3588.07/3598.08 v -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777
3588.07/3598.08 v -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759
3588.07/3598.08 v -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741
3588.07/3598.08 v -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 x2731 x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723
3588.07/3598.08 v -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705
3588.07/3598.08 v -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687
3588.07/3598.08 v -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669
3588.07/3598.08 v -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652
3588.07/3598.08 v -x2651 -x2650 -x2649 -x2648 x2647 x2646 x2645 x2644 x2643 x2642 x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633
3588.07/3598.08 v -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615
3588.07/3598.08 v -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597
3588.07/3598.08 v -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579
3588.07/3598.08 v -x2578 x2577 x2576 x2575 x2574 x2573 x2572 x2571 x2570 x2569 x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560
3588.07/3598.08 v -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542
3588.07/3598.08 v -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524
3588.07/3598.08 v -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506
3588.07/3598.08 v -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 x2499 x2498 x2497 x2496 x2495 x2494 x2493 x2492 -x2491 -x2490 -x2489 -x2488 -x2487
3588.07/3598.08 v -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469
3588.07/3598.08 v -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452
3588.07/3598.08 v -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434
3588.07/3598.08 v -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416
3588.07/3598.08 v -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 x2401 x2400 x2399 x2398 x2397
3588.07/3598.08 v x2396 x2395 x2394 x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379
3588.07/3598.08 v -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361
3588.07/3598.08 v -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343
3588.07/3598.08 v -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325
3588.07/3598.08 v -x2324 -x2323 -x2322 x2321 x2320 x2319 x2318 x2317 x2316 x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306
3588.07/3598.08 v -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289
3588.07/3598.08 v -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271
3588.07/3598.08 v -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253
3588.07/3598.08 v -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 x2241 x2240 x2239 x2238 x2237 x2236 x2235 x2234
3588.07/3598.08 v x2233 x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216
3588.07/3598.08 v -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198
3588.07/3598.08 v -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180
3588.07/3598.08 v -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162
3588.07/3598.08 v x2161 x2160 x2159 x2158 x2157 x2156 x2155 x2154 x2153 x2152 x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143
3588.07/3598.08 v -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125
3588.07/3598.08 v -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107
3588.07/3598.08 v -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089
3588.07/3598.08 v -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 x2081 x2080 x2079 x2078 x2077 x2076 x2075 x2074 x2073 x2072 x2071 x2070
3588.07/3598.08 v x2069 x2068 x2067 x2066 x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051
3588.07/3598.08 v -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033
3588.07/3598.08 v -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015
3588.07/3598.08 v -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 x2001 x2000 x1999 x1998 x1997
3588.07/3598.08 v x1996 x1995 x1994 x1993 x1992 x1991 x1990 x1989 x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978
3588.07/3598.08 v -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960
3588.07/3598.08 v -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942
3588.07/3598.08 v -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924
3588.07/3598.08 v -x1923 -x1922 x1921 x1920 x1919 x1918 x1917 x1916 x1915 x1914 x1913 x1912 x1911 x1910 x1909 x1908 x1907 x1906 x1905 x1904
3588.07/3598.08 v x1903 x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885
3588.07/3598.08 v -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868
3588.07/3598.08 v -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850
3588.07/3598.08 v -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 x1841 x1840 x1839 x1838 x1837 x1836 x1835 x1834 x1833 x1832 x1831 x1830
3588.07/3598.08 v x1829 x1828 x1827 x1826 x1825 x1824 x1823 x1822 x1821 x1820 x1819 x1818 x1817 x1816 x1815 x1814 x1813 x1812 x1811 x1810 x1809
3588.07/3598.08 v x1808 x1807 x1806 x1805 x1804 x1803 x1802 x1801 x1800 x1799 x1798 x1797 x1796 x1795 x1794 x1793 x1792 x1791 x1790 -x1789
3588.07/3598.08 v -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771
3588.07/3598.08 v -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 x1761 x1760 x1759 x1758 x1757 x1756 x1755 x1754 x1753 x1752
3588.07/3598.08 v x1751 x1750 x1749 x1748 x1747 x1746 x1745 x1744 x1743 x1742 x1741 x1740 x1739 x1738 x1737 x1736 x1735 x1734 x1733 x1732 x1731
3588.07/3598.08 v x1730 x1729 x1728 x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712
3588.07/3598.08 v -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694
3588.07/3598.08 v -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 x1681 x1680 x1679 x1678 x1677 x1676
3588.07/3598.08 v x1675 x1674 x1673 x1672 x1671 x1670 x1669 x1668 x1667 x1666 x1665 x1664 x1663 x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656
3588.07/3598.08 v -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638
3588.07/3598.08 v -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620
3588.07/3598.08 v -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602
3588.07/3598.08 v x1601 x1600 x1599 x1598 x1597 x1596 x1595 x1594 x1593 x1592 x1591 x1590 x1589 x1588 x1587 x1586 x1585 x1584 x1583 x1582
3588.07/3598.08 v x1581 x1580 x1579 x1578 x1577 x1576 x1575 x1574 x1573 x1572 x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562
3588.07/3598.08 v -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544
3588.07/3598.08 v -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526
3588.07/3598.08 v -x1525 -x1524 -x1523 -x1522 x1521 x1520 x1519 x1518 x1517 x1516 x1515 x1514 x1513 x1512 x1511 x1510 x1509 x1508 x1507 x1506
3588.07/3598.08 v x1505 x1504 x1503 x1502 x1501 x1500 x1499 x1498 x1497 x1496 x1495 x1494 x1493 x1492 x1491 x1490 x1489 x1488 x1487 x1486
3588.07/3598.08 v x1485 x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467
3588.07/3598.08 v -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450
3588.07/3598.08 v -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 x1441 x1440 x1439 x1438 x1437 x1436 x1435 x1434 x1433 x1432 x1431 x1430
3588.07/3598.08 v x1429 x1428 x1427 x1426 x1425 x1424 x1423 x1422 x1421 x1420 x1419 x1418 x1417 x1416 x1415 x1414 x1413 x1412 x1411 x1410 x1409
3588.07/3598.08 v x1408 x1407 x1406 x1405 x1404 x1403 x1402 x1401 x1400 x1399 x1398 x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390
3588.07/3598.08 v -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372
3588.07/3598.08 v -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 x1361 x1360 x1359 x1358 x1357 x1356 x1355 x1354 x1353
3588.07/3598.08 v x1352 x1351 x1350 x1349 x1348 x1347 x1346 x1345 x1344 x1343 x1342 x1341 x1340 x1339 x1338 x1337 x1336 x1335 x1334 x1333 x1332
3588.07/3598.08 v x1331 x1330 x1329 x1328 x1327 x1326 x1325 x1324 x1323 x1322 x1321 x1320 x1319 x1318 x1317 x1316 x1315 x1314 x1313 x1312 x1311
3588.07/3598.08 v x1310 x1309 x1308 x1307 x1306 x1305 x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292
3588.07/3598.08 v -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 x1281 x1280 x1279 x1278 x1277 x1276 x1275 x1274 x1273
3588.07/3598.08 v x1272 x1271 x1270 x1269 x1268 x1267 x1266 x1265 x1264 x1263 x1262 x1261 x1260 x1259 x1258 x1257 x1256 x1255 x1254 x1253 x1252
3588.07/3598.08 v x1251 x1250 x1249 x1248 x1247 x1246 x1245 x1244 x1243 x1242 x1241 x1240 x1239 x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232
3588.07/3598.08 v -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214
3588.07/3598.08 v -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 x1201 x1200 x1199 x1198 x1197 x1196
3588.07/3598.08 v x1195 x1194 x1193 x1192 x1191 x1190 x1189 x1188 x1187 x1186 x1185 x1184 x1183 x1182 x1181 x1180 x1179 x1178 x1177 -x1176 -x1175
3588.07/3598.08 v -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157
3588.07/3598.08 v -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139
3588.07/3598.08 v -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 x1121
3588.07/3598.08 v x1120 x1119 x1118 x1117 x1116 x1115 x1114 x1113 x1112 x1111 x1110 x1109 x1108 x1107 x1106 x1105 x1104 x1103 x1102 x1101
3588.07/3598.08 v x1100 x1099 x1098 x1097 x1096 x1095 x1094 x1093 x1092 x1091 x1090 x1089 x1088 -x1087 x1086 x1085 x1084 x1083 x1082 x1081 x1080
3588.07/3598.08 v x1079 x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062
3588.07/3598.08 v -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044
3588.07/3598.08 v -x1043 -x1042 x1041 x1040 x1039 x1038 x1037 x1036 x1035 x1034 x1033 x1032 x1031 x1030 x1029 x1028 x1027 x1026 x1025 x1024 x1023
3588.07/3598.08 v x1022 x1021 x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005
3588.07/3598.08 v -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985
3588.07/3598.08 v -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964
3588.07/3598.08 v -x963 -x962 x961 x960 x959 x958 x957 x956 x955 x954 x953 x952 x951 x950 x949 x948 x947 x946 x945 x944 x943 x942 x941 x940
3588.07/3598.08 v x939 x938 x937 x936 x935 x934 x933 x932 x931 x930 x929 x928 x927 x926 x925 x924 x923 x922 x921 x920 x919 x918 x917 x916 x915
3588.07/3598.08 v x914 x913 x912 x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893
3588.07/3598.08 v -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 x881 x880 x879 x878 x877 x876 x875 x874 x873 x872 x871
3588.07/3598.08 v x870 x869 x868 x867 x866 x865 x864 x863 x862 x861 x860 x859 x858 x857 x856 x855 x854 x853 x852 x851 x850 x849 x848 x847 x846
3588.07/3598.08 v x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825
3588.07/3598.08 v -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804
3588.07/3598.08 v -x803 -x802 x801 x800 x799 x798 x797 x796 x795 x794 x793 x792 x791 x790 x789 x788 x787 x786 x785 x784 x783 x782 x781 x780 x779
3588.07/3598.08 v x778 x777 x776 x775 x774 x773 x772 x771 x770 x769 x768 x767 x766 x765 x764 x763 x762 x761 x760 x759 x758 x757 x756 x755 x754
3588.07/3598.08 v x753 x752 x751 x750 x749 x748 x747 x746 x745 x744 x743 x742 x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731
3588.07/3598.08 v -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 x721 x720 x719 x718 x717 x716 x715 x714 x713 x712 x711 x710 x709 x708
3588.07/3598.08 v x707 x706 x705 x704 x703 x702 x701 x700 x699 x698 x697 x696 x695 x694 x693 x692 x691 x690 x689 x688 x687 x686 x685 x684 x683
3588.07/3598.08 v x682 x681 x680 x679 x678 x677 x676 x675 x674 x673 x672 x671 x670 x669 x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660
3588.07/3598.08 v -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 x641 x640 x639 x638
3588.07/3598.08 v x637 x636 x635 x634 x633 x632 x631 x630 x629 x628 x627 x626 x625 x624 x623 x622 x621 x620 x619 x618 x617 x616 x615 x614 x613
3588.07/3598.08 v x612 x611 x610 x609 x608 x607 x606 x605 x604 x603 x602 x601 x600 x599 x598 x597 x596 x595 x594 x593 x592 x591 x590 x589 x588
3588.07/3598.08 v x587 x586 x585 x584 x583 x582 x581 x580 x579 x578 x577 x576 x575 x574 x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565
3588.07/3598.08 v -x564 -x563 -x562 x561 x560 x559 x558 x557 x556 x555 x554 x553 x552 x551 x550 x549 x548 x547 x546 x545 x544 x543 x542 x541 x540
3588.07/3598.08 v x539 x538 x537 x536 x535 x534 x533 x532 x531 x530 x529 x528 x527 x526 x525 x524 x523 x522 x521 x520 x519 x518 x517 x516 x515
3588.07/3598.08 v x514 x513 x512 x511 x510 x509 x508 x507 x506 x505 x504 x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492
3588.07/3598.08 v -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 x481 x480 x479 x478 x477 x476 x475 x474 x473 x472 x471 x470
3588.07/3598.08 v x469 x468 x467 x466 x465 x464 x463 x462 x461 x460 x459 x458 x457 x456 x455 x454 x453 x452 x451 x450 x449 x448 x447 x446 x445
3588.07/3598.08 v x444 x443 x442 x441 x440 x439 x438 x437 x436 x435 x434 x433 x432 x431 x430 x429 x428 x427 -x426 x425 x424 x423 x422 x421 x420
3588.07/3598.08 v x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 x401 x400 x399 x398
3588.07/3598.08 v x397 x396 x395 x394 x393 x392 x391 x390 x389 x388 x387 x386 x385 x384 x383 x382 x381 x380 x379 x378 x377 x376 x375 x374 x373
3588.07/3598.08 v x372 x371 x370 x369 x368 x367 x366 x365 x364 x363 x362 x361 x360 x359 x358 x357 x356 x355 x354 x353 x352 x351 x350 x349 x348
3588.07/3598.08 v x347 x346 x345 x344 x343 x342 x341 x340 x339 x338 x337 x336 x335 x334 x333 x332 x331 x330 x329 x328 x327 x326 x325 x324 x323
3588.07/3598.08 v x322 x321 x320 x319 x318 x317 x316 x315 x314 x313 x312 x311 x310 x309 x308 x307 x306 x305 x304 x303 x302 x301 x300 x299 x298
3588.07/3598.08 v x297 x296 x295 x294 x293 x292 x291 x290 x289 x288 x287 x286 x285 x284 x283 x282 x281 x280 x279 x278 x277 x276 x275 x274 x273
3588.07/3598.08 v x272 x271 x270 x269 x268 x267 x266 x265 x264 x263 x262 x261 x260 x259 x258 x257 x256 x255 x254 x253 x252 x251 -x250 -x249
3588.07/3598.08 v -x248 -x247 -x246 -x245 -x244 -x243 -x242 x241 x240 x239 x238 x237 x236 x235 x234 x233 x232 x231 x230 x229 x228 x227 x226 x225
3588.07/3598.08 v x224 x223 x222 x221 x220 x219 x218 x217 x216 x215 x214 x213 x212 x211 x210 x209 x208 x207 x206 x205 x204 x203 x202 x201 x200
3588.07/3598.08 v x199 x198 x197 x196 x195 x194 x193 x192 x191 x190 x189 x188 x187 x186 x185 x184 x183 x182 x181 x180 x179 x178 x177 x176 x175
3588.07/3598.08 v x174 x173 x172 x171 x170 x169 x168 x167 x166 x165 x164 x163 x162 x161 x160 x159 x158 x157 x156 x155 x154 x153 x152 x151 x150
3588.07/3598.08 v x149 x148 x147 x146 x145 x144 x143 x142 x141 x140 x139 x138 x137 x136 x135 x134 x133 x132 x131 x130 x129 x128 x127 x126 x125
3588.07/3598.08 v x124 x123 x122 x121 x120 x119 x118 x117 x116 x115 x114 x113 x112 x111 x110 x109 x108 x107 x106 x105 x104 x103 x102 x101 x100
3588.07/3598.08 v x99 x98 x97 x96 x95 x94 x93 x92 x91 x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 x80 x79 x78 x77 x76 x75 x74 x73 x72 x71
3588.07/3598.08 v x70 x69 x68 x67 x66 x65 x64 x63 x62 x61 x60 x59 x58 x57 x56 x55 x54 x53 x52 x51 x50 x49 x48 x47 x46 x45 x44 x43 x42 x41 x40 x39
3588.18/3598.17 v x38 x37 x36 x35 x34 x33 x32 x31 x30 x29 x28 x27 x26 x25 x24 x23 x22 x21 x20 x19 x18 x17 x16 x15 x14 x13 -x12 -x11 -x10 -x9
3588.18/3598.17 v -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: 64096 MiB (54428 MiB free)
memory of node 1: 64473 MiB (60346 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4464899-1722389848/watcher-4464899-1722389848 -o /tmp/evaluation-result-4464899-1722389848/solver-4464899-1722389848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722389843-35487 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464899-1722389848.wbo -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=35837, runsolver pid=35834
[startup+0.100996 s]*
/proc/loadavg: 1.39 1.75 2.75 5/242 35838
/proc/meminfo: memFree=117503920/131655788 swapFree=131071996/131071996
[pid=35837] ppid=35834 vsize=45384 memory=33748 CPUtime=0.1 cores=5,7
/proc/35837/stat : 35837 (fscip) R 35834 35837 35474 0 -1 4194304 6338 0 0 0 9 1 0 0 20 0 1 0 5582416 46473216 8437 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
/proc/35837/statm: 11346 8437 2347 3035 0 7742 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 45384 KiB
Current children cumulated memory: 33748 KiB
[startup+0.213377 s]*
/proc/loadavg: 1.39 1.75 2.75 5/242 35838
/proc/meminfo: memFree=117472084/131655788 swapFree=131071996/131071996
[pid=35837] ppid=35834 vsize=77876 memory=65352 CPUtime=0.22 cores=5,7
/proc/35837/stat : 35837 (fscip) R 35834 35837 35474 0 -1 4194304 14033 0 0 0 18 4 0 0 20 0 1 0 5582416 79745024 16338 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
/proc/35837/statm: 19469 16338 2598 3035 0 15865 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 77876 KiB
Current children cumulated memory: 65352 KiB
[startup+0.313342 s]*
/proc/loadavg: 1.39 1.75 2.75 5/242 35838
/proc/meminfo: memFree=117449460/131655788 swapFree=131071996/131071996
[pid=35837] ppid=35834 vsize=99136 memory=86004 CPUtime=0.31 cores=5,7
/proc/35837/stat : 35837 (fscip) R 35834 35837 35474 0 -1 4194304 19166 0 0 0 26 5 0 0 20 0 1 0 5582416 101515264 21501 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
/proc/35837/statm: 24784 21501 2614 3035 0 21180 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 99136 KiB
Current children cumulated memory: 86004 KiB
[startup+0.70034 s]
/proc/loadavg: 1.39 1.75 2.75 5/242 35838
/proc/meminfo: memFree=117445296/131655788 swapFree=131071996/131071996
[pid=35837] ppid=35834 vsize=105408 memory=91708 CPUtime=0.68 cores=5,7
/proc/35837/stat : 35837 (fscip) R 35834 35837 35474 0 -1 4194304 20558 0 0 0 63 5 0 0 20 0 1 0 5582416 107937792 22927 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
/proc/35837/statm: 26352 22927 2678 3035 0 22748 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 105408 KiB
Current children cumulated memory: 91708 KiB
[startup+1.50033 s]
/proc/loadavg: 1.39 1.75 2.75 5/242 35838
/proc/meminfo: memFree=117437520/131655788 swapFree=131071996/131071996
[pid=35837] ppid=35834 vsize=109172 memory=94608 CPUtime=1.48 cores=5,7
/proc/35837/stat : 35837 (fscip) R 35834 35837 35474 0 -1 4194304 21298 0 0 0 143 5 0 0 20 0 1 0 5582416 111792128 23652 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
/proc/35837/statm: 27293 23652 2678 3035 0 23689 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 109172 KiB
Current children cumulated memory: 94608 KiB
[startup+3.11327 s]
/proc/loadavg: 1.68 1.81 2.76 5/242 35838
/proc/meminfo: memFree=117424836/131655788 swapFree=131071996/131071996
[pid=35837] ppid=35834 vsize=115700 memory=100700 CPUtime=3.09 cores=5,7
/proc/35837/stat : 35837 (fscip) R 35834 35837 35474 0 -1 4194304 22810 0 0 0 303 6 0 0 20 0 1 0 5582416 118476800 25175 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
/proc/35837/statm: 28925 25175 2678 3035 0 25321 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 115700 KiB
Current children cumulated memory: 100700 KiB
[startup+6.30032 s]
/proc/loadavg: 1.68 1.81 2.76 5/242 35838
/proc/meminfo: memFree=117418484/131655788 swapFree=131071996/131071996
[pid=35837] ppid=35834 vsize=117612 memory=102532 CPUtime=6.26 cores=5,7
/proc/35837/stat : 35837 (fscip) R 35834 35837 35474 0 -1 4194304 23268 0 0 0 620 6 0 0 20 0 1 0 5582416 120434688 25633 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
/proc/35837/statm: 29403 25633 2678 3035 0 25799 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 117612 KiB
Current children cumulated memory: 102532 KiB
[startup+12.7004 s]
/proc/loadavg: 1.95 1.86 2.78 5/248 35846
/proc/meminfo: memFree=116952940/131655788 swapFree=131071996/131071996
[pid=35837] ppid=35834 vsize=253156 memory=172504 CPUtime=12.64 cores=5,7
/proc/35837/stat : 35837 (fscip) S 35834 35837 35474 0 -1 1077936128 48052 0 0 0 1253 11 0 0 20 0 3 0 5582416 259231744 43126 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
/proc/35837/statm: 63289 43126 2774 3035 0 50276 0
[pid=35837/tid=35845] ppid=35834 vsize=253156 memory=156412 CPUtime=1.1 cores=5,7
/proc/35837/task/35845/stat : 35845 (fscip) R 35834 35837 35474 0 -1 4194368 20031 0 0 0 106 4 0 0 20 0 3 0 5583572 259231744 43126 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
[pid=35837/tid=35846] ppid=35834 vsize=253156 memory=13080 CPUtime=0 cores=5,7
/proc/35837/task/35846/stat : 35846 (fscip) S 35834 35837 35474 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 5583578 259231744 43126 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 253156 KiB
Current children cumulated memory: 172504 KiB
[startup+25.5004 s]
/proc/loadavg: 2.62 2.02 2.81 5/250 35850
/proc/meminfo: memFree=116267368/131655788 swapFree=131071996/131071996
[pid=35837] ppid=35834 vsize=257584 memory=188860 CPUtime=25.4 cores=5,7
/proc/35837/stat : 35837 (fscip) S 35834 35837 35474 0 -1 1077936128 67960 0 0 0 2527 13 0 0 20 0 3 0 5582416 263766016 47215 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
/proc/35837/statm: 64396 47215 2934 3035 0 54852 0
[pid=35837/tid=35845] ppid=35834 vsize=257584 memory=188716 CPUtime=13.86 cores=5,7
/proc/35837/task/35845/stat : 35845 (fscip) R 35834 35837 35474 0 -1 4194368 38457 0 0 0 1380 6 0 0 20 0 3 0 5583572 263766016 47215 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
[pid=35837/tid=35846] ppid=35834 vsize=257584 memory=97 CPUtime=0 cores=5,7
/proc/35837/task/35846/stat : 35846 (fscip) S 35834 35837 35474 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 5583578 263766016 47215 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 257584 KiB
Current children cumulated memory: 188860 KiB
[startup+51.1136 s]
/proc/loadavg: 3.50 2.27 2.88 5/250 35855
/proc/meminfo: memFree=116207600/131655788 swapFree=131071996/131071996
[pid=35837] ppid=35834 vsize=257584 memory=192288 CPUtime=50.92 cores=5,7
/proc/35837/stat : 35837 (fscip) S 35834 35837 35474 0 -1 1077936128 100332 0 0 0 5077 15 0 0 20 0 3 0 5582416 263766016 48072 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
/proc/35837/statm: 64396 48072 2934 3035 0 55926 0
[pid=35837/tid=35845] ppid=35834 vsize=257584 memory=13080 CPUtime=39.38 cores=5,7
/proc/35837/task/35845/stat : 35845 (fscip) R 35834 35837 35474 0 -1 4194368 70801 0 0 0 3930 8 0 0 20 0 3 0 5583572 263766016 48072 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
[pid=35837/tid=35846] ppid=35834 vsize=257584 memory=191844 CPUtime=0 cores=5,7
/proc/35837/task/35846/stat : 35846 (fscip) S 35834 35837 35474 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 3 0 5583578 263766016 48072 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 257584 KiB
Current children cumulated memory: 192288 KiB
[startup+102.3 s]
/proc/loadavg: 4.02 2.62 2.96 5/250 35865
/proc/meminfo: memFree=116102372/131655788 swapFree=131071996/131071996
[pid=35837] ppid=35834 vsize=258608 memory=197552 CPUtime=101.89 cores=5,7
/proc/35837/stat : 35837 (fscip) S 35834 35837 35474 0 -1 1077936128 141982 0 0 0 10171 18 0 0 20 0 3 0 5582416 264814592 49388 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
/proc/35837/statm: 64652 49388 2934 3035 0 58167 0
[pid=35837/tid=35845] ppid=35834 vsize=258608 memory=195896 CPUtime=90.34 cores=5,7
/proc/35837/task/35845/stat : 35845 (fscip) R 35834 35837 35474 0 -1 4194368 112430 0 0 0 9024 10 0 0 20 0 3 0 5583572 264814592 49388 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
[pid=35837/tid=35846] ppid=35834 vsize=258608 memory=-5155631301560593285 CPUtime=0 cores=5,7
/proc/35837/task/35846/stat : 35846 (fscip) S 35834 35837 35474 0 -1 1077936192 76 0 0 0 0 0 0 0 20 0 3 0 5583578 264814592 49388 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 258608 KiB
Current children cumulated memory: 197552 KiB
[startup+162.3 s]
/proc/loadavg: 4.21 2.92 3.05 5/248 35921
/proc/meminfo: memFree=115337104/131655788 swapFree=131071996/131071996
[pid=35837] ppid=35834 vsize=258608 memory=198056 CPUtime=161.69 cores=5,7
/proc/35837/stat : 35837 (fscip) S 35834 35837 35474 0 -1 1077936128 156422 0 0 0 16151 18 0 0 20 0 3 0 5582416 264814592 49514 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
/proc/35837/statm: 64652 49514 2934 3035 0 58493 0
[pid=35837/tid=35845] ppid=35834 vsize=258608 memory=197904 CPUtime=150.14 cores=5,7
/proc/35837/task/35845/stat : 35845 (fscip) R 35834 35837 35474 0 -1 4194368 126856 0 0 0 15003 11 0 0 20 0 3 0 5583572 264814592 49514 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
[pid=35837/tid=35846] ppid=35834 vsize=258608 memory=198056 CPUtime=0 cores=5,7
/proc/35837/task/35846/stat : 35846 (fscip) S 35834 35837 35474 0 -1 1077936192 90 0 0 0 0 0 0 0 20 0 3 0 5583578 264814592 49514 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 258608 KiB
Current children cumulated memory: 198056 KiB
[startup+222.3 s]
/proc/loadavg: 4.72 3.31 3.18 5/250 35936
/proc/meminfo: memFree=115261024/131655788 swapFree=131071996/131071996
[pid=35837] ppid=35834 vsize=325472 memory=226412 CPUtime=221.53 cores=5,7
/proc/35837/stat : 35837 (fscip) S 35834 35837 35474 0 -1 1077936128 187080 0 0 0 22131 22 0 0 20 0 3 0 5582416 333283328 56603 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
/proc/35837/statm: 81368 56603 3030 3035 0 65774 0
[pid=35837/tid=35845] ppid=35834 vsize=325472 memory=226384 CPUtime=209.98 cores=5,7
/proc/35837/task/35845/stat : 35845 (fscip) R 35834 35837 35474 0 -1 4194368 155999 0 0 0 20984 14 0 0 20 0 3 0 5583572 333283328 56603 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
[pid=35837/tid=35846] ppid=35834 vsize=325472 memory=12660 CPUtime=0 cores=5,7
/proc/35837/task/35846/stat : 35846 (fscip) S 35834 35837 35474 0 -1 1077936192 97 0 0 0 0 0 0 0 20 0 3 0 5583578 333283328 56603 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 325472 KiB
Current children cumulated memory: 226412 KiB
[startup+282.3 s]
/proc/loadavg: 4.31 3.45 3.24 5/250 35946
/proc/meminfo: memFree=115199216/131655788 swapFree=131071996/131071996
[pid=35837] ppid=35834 vsize=391008 memory=275884 CPUtime=281.39 cores=5,7
/proc/35837/stat : 35837 (fscip) S 35834 35837 35474 0 -1 1077936128 215396 0 0 0 28113 26 0 0 20 0 3 0 5582416 400392192 68971 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
/proc/35837/statm: 97752 68971 3030 3035 0 78834 0
[pid=35837/tid=35845] ppid=35834 vsize=391008 memory=164 CPUtime=269.83 cores=5,7
/proc/35837/task/35845/stat : 35845 (fscip) R 35834 35837 35474 0 -1 4194368 184280 0 0 0 26965 18 0 0 20 0 3 0 5583572 400392192 68971 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
[pid=35837/tid=35846] ppid=35834 vsize=391008 memory=-7090754354903343741 CPUtime=0 cores=5,7
/proc/35837/task/35846/stat : 35846 (fscip) S 35834 35837 35474 0 -1 1077936192 104 0 0 0 0 0 0 0 20 0 3 0 5583578 400392192 68971 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 391008 KiB
Current children cumulated memory: 275884 KiB
################
# More data... #
################
[pid=35837] ppid=35834 vsize=660936 memory=601496 CPUtime=3452.68 cores=5,7
/proc/35837/stat : 35837 (fscip) S 35834 35837 35474 0 -1 1077936128 1127476 0 0 0 345153 115 0 0 20 0 3 0 5582416 676798464 150374 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
/proc/35837/statm: 165234 150374 3030 3035 0 154135 0
[pid=35837/tid=35845] ppid=35834 vsize=660936 memory=12160 CPUtime=3440.95 cores=5,7
/proc/35837/task/35845/stat : 35845 (fscip) R 35834 35837 35474 0 -1 4194368 1087468 0 0 0 343997 98 0 0 20 0 3 0 5583572 676798464 150374 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
[pid=35837/tid=35846] ppid=35834 vsize=660936 memory=601508 CPUtime=0.05 cores=5,7
/proc/35837/task/35846/stat : 35846 (fscip) S 35834 35837 35474 0 -1 1077936192 319 0 0 0 2 3 0 0 20 0 3 0 5583578 676798464 150374 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
Current children cumulated CPU time: 3452.68 s
Current children cumulated vsize: 660936 KiB
Current children cumulated memory: 601496 KiB
[startup+3522.3 s]
/proc/loadavg: 3.08 3.12 3.40 4/238 37755
/proc/meminfo: memFree=114695076/131655788 swapFree=131071996/131071996
[pid=35837] ppid=35834 vsize=660936 memory=601496 CPUtime=3512.54 cores=5,7
/proc/35837/stat : 35837 (fscip) S 35834 35837 35474 0 -1 1077936128 1128260 0 0 0 351138 116 0 0 20 0 3 0 5582416 676798464 150374 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
/proc/35837/statm: 165234 150374 3030 3035 0 154135 0
[pid=35837/tid=35845] ppid=35834 vsize=660936 memory=12160 CPUtime=3500.81 cores=5,7
/proc/35837/task/35845/stat : 35845 (fscip) R 35834 35837 35474 0 -1 4194368 1088233 0 0 0 349982 99 0 0 20 0 3 0 5583572 676798464 150374 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
[pid=35837/tid=35846] ppid=35834 vsize=660936 memory=601496 CPUtime=0.05 cores=5,7
/proc/35837/task/35846/stat : 35846 (fscip) S 35834 35837 35474 0 -1 1077936192 320 0 0 0 2 3 0 0 20 0 3 0 5583578 676798464 150374 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
Current children cumulated CPU time: 3512.54 s
Current children cumulated vsize: 660936 KiB
Current children cumulated memory: 601496 KiB
[startup+3582.3 s]
/proc/loadavg: 3.13 3.13 3.38 4/238 37765
/proc/meminfo: memFree=114694372/131655788 swapFree=131071996/131071996
[pid=35837] ppid=35834 vsize=660936 memory=601496 CPUtime=3572.39 cores=5,7
/proc/35837/stat : 35837 (fscip) S 35834 35837 35474 0 -1 1077936128 1129255 0 0 0 357123 116 0 0 20 0 3 0 5582416 676798464 150374 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
/proc/35837/statm: 165234 150374 3030 3035 0 154135 0
[pid=35837/tid=35845] ppid=35834 vsize=660936 memory=601496 CPUtime=3560.66 cores=5,7
/proc/35837/task/35845/stat : 35845 (fscip) R 35834 35837 35474 0 -1 4194368 1089204 0 0 0 355967 99 0 0 20 0 3 0 5583572 676798464 150374 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
[pid=35837/tid=35846] ppid=35834 vsize=660936 memory=601496 CPUtime=0.05 cores=5,7
/proc/35837/task/35846/stat : 35846 (fscip) S 35834 35837 35474 0 -1 1077936192 325 0 0 0 2 3 0 0 20 0 3 0 5583578 676798464 150374 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
Current children cumulated CPU time: 3572.39 s
Current children cumulated vsize: 660936 KiB
Current children cumulated memory: 601496 KiB
[startup+3598.18 s]
# the end of solver process 35837 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.06 s, system=1.18471 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.12 3.13 3.38 4/238 37765
/proc/meminfo: memFree=114694400/131655788 swapFree=131071996/131071996
[pid=35837] ppid=35834 vsize=660936 memory=601496 CPUtime=3574.1 cores=5,7
/proc/35837/stat : 35837 (fscip) S 35834 35837 35474 0 -1 1077936128 1129255 0 0 0 357294 116 0 0 20 0 3 0 5582416 676798464 150374 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
/proc/35837/statm: 165234 150374 3030 3035 0 154135 0
[pid=35837/tid=35845] ppid=35834 vsize=660936 memory=601496 CPUtime=3562.37 cores=5,7
/proc/35837/task/35845/stat : 35845 (fscip) R 35834 35837 35474 0 -1 4194368 1089204 0 0 0 356138 99 0 0 20 0 3 0 5583572 676798464 150374 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
[pid=35837/tid=35846] ppid=35834 vsize=660936 memory=4868 CPUtime=0.05 cores=5,7
/proc/35837/task/35846/stat : 35846 (fscip) S 35834 35837 35474 0 -1 1077936192 325 0 0 0 2 3 0 0 20 0 3 0 5583578 676798464 150374 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
Current children cumulated CPU time: 3574.1 s
Current children cumulated vsize: 660936 KiB
Current children cumulated memory: 601496 KiB
[startup+3590.4 s]
/proc/loadavg: 3.11 3.12 3.38 4/238 37767
/proc/meminfo: memFree=114694308/131655788 swapFree=131071996/131071996
[pid=35837] ppid=35834 vsize=660936 memory=601496 CPUtime=3580.47 cores=5,7
/proc/35837/stat : 35837 (fscip) S 35834 35837 35474 0 -1 1077936128 1129545 0 0 0 357931 116 0 0 20 0 3 0 5582416 676798464 150374 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
/proc/35837/statm: 165234 150374 3030 3035 0 154135 0
[pid=35837/tid=35845] ppid=35834 vsize=660936 memory=601496 CPUtime=3568.74 cores=5,7
/proc/35837/task/35845/stat : 35845 (fscip) R 35834 35837 35474 0 -1 4194368 1089494 0 0 0 356775 99 0 0 20 0 3 0 5583572 676798464 150374 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
[pid=35837/tid=35846] ppid=35834 vsize=660936 memory=12160 CPUtime=0.05 cores=5,7
/proc/35837/task/35846/stat : 35846 (fscip) S 35834 35837 35474 0 -1 1077936192 325 0 0 0 2 3 0 0 20 0 3 0 5583578 676798464 150374 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
Current children cumulated CPU time: 3580.47 s
Current children cumulated vsize: 660936 KiB
Current children cumulated memory: 601496 KiB
[startup+3593.6 s]
/proc/loadavg: 3.10 3.12 3.38 4/238 37767
/proc/meminfo: memFree=114694308/131655788 swapFree=131071996/131071996
[pid=35837] ppid=35834 vsize=660936 memory=601496 CPUtime=3583.67 cores=5,7
/proc/35837/stat : 35837 (fscip) S 35834 35837 35474 0 -1 1077936128 1129563 0 0 0 358251 116 0 0 20 0 3 0 5582416 676798464 150374 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
/proc/35837/statm: 165234 150374 3030 3035 0 154135 0
[pid=35837/tid=35845] ppid=35834 vsize=660936 memory=-7090754354903343741 CPUtime=3571.93 cores=5,7
/proc/35837/task/35845/stat : 35845 (fscip) R 35834 35837 35474 0 -1 4194368 1089496 0 0 0 357094 99 0 0 20 0 3 0 5583572 676798464 150374 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
[pid=35837/tid=35846] ppid=35834 vsize=660936 memory=2256 CPUtime=0.05 cores=5,7
/proc/35837/task/35846/stat : 35846 (fscip) S 35834 35837 35474 0 -1 1077936192 325 0 0 0 2 3 0 0 20 0 3 0 5583578 676798464 150374 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
Current children cumulated CPU time: 3583.67 s
Current children cumulated vsize: 660936 KiB
Current children cumulated memory: 601496 KiB
[startup+3595.2 s]
/proc/loadavg: 3.10 3.12 3.38 4/238 37767
/proc/meminfo: memFree=114694280/131655788 swapFree=131071996/131071996
[pid=35837] ppid=35834 vsize=660936 memory=601496 CPUtime=3585.26 cores=5,7
/proc/35837/stat : 35837 (fscip) S 35834 35837 35474 0 -1 1077936128 1129564 0 0 0 358410 116 0 0 20 0 3 0 5582416 676798464 150374 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
/proc/35837/statm: 165234 150374 3030 3035 0 154135 0
[pid=35837/tid=35845] ppid=35834 vsize=660936 memory=12660 CPUtime=3573.53 cores=5,7
/proc/35837/task/35845/stat : 35845 (fscip) R 35834 35837 35474 0 -1 4194368 1089497 0 0 0 357254 99 0 0 20 0 3 0 5583572 676798464 150374 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
[pid=35837/tid=35846] ppid=35834 vsize=660936 memory=5412 CPUtime=0.05 cores=5,7
/proc/35837/task/35846/stat : 35846 (fscip) S 35834 35837 35474 0 -1 1077936192 325 0 0 0 2 3 0 0 20 0 3 0 5583578 676798464 150374 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
Current children cumulated CPU time: 3585.26 s
Current children cumulated vsize: 660936 KiB
Current children cumulated memory: 601496 KiB
[startup+3596.8 s]
/proc/loadavg: 3.10 3.12 3.38 4/238 37767
/proc/meminfo: memFree=114694280/131655788 swapFree=131071996/131071996
[pid=35837] ppid=35834 vsize=660936 memory=601496 CPUtime=3586.86 cores=5,7
/proc/35837/stat : 35837 (fscip) S 35834 35837 35474 0 -1 1077936128 1129564 0 0 0 358570 116 0 0 20 0 3 0 5582416 676798464 150374 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
/proc/35837/statm: 165234 150374 3030 3035 0 154135 0
[pid=35837/tid=35845] ppid=35834 vsize=660936 memory=12660 CPUtime=3575.12 cores=5,7
/proc/35837/task/35845/stat : 35845 (fscip) R 35834 35837 35474 0 -1 4194368 1089497 0 0 0 357413 99 0 0 20 0 3 0 5583572 676798464 150374 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
[pid=35837/tid=35846] ppid=35834 vsize=660936 memory=601496 CPUtime=0.05 cores=5,7
/proc/35837/task/35846/stat : 35846 (fscip) S 35834 35837 35474 0 -1 1077936192 325 0 0 0 2 3 0 0 20 0 3 0 5583578 676798464 150374 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
Current children cumulated CPU time: 3586.86 s
Current children cumulated vsize: 660936 KiB
Current children cumulated memory: 601496 KiB
[startup+3597.6 s]
/proc/loadavg: 3.10 3.12 3.38 3/229 37798
/proc/meminfo: memFree=115900864/131655788 swapFree=131071996/131071996
[pid=35837] ppid=35834 vsize=660936 memory=601496 CPUtime=3587.66 cores=5,7
/proc/35837/stat : 35837 (fscip) S 35834 35837 35474 0 -1 1077936128 1129564 0 0 0 358650 116 0 0 20 0 3 0 5582416 676798464 150374 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
/proc/35837/statm: 165234 150374 3030 3035 0 154135 0
[pid=35837/tid=35845] ppid=35834 vsize=660936 memory=13080 CPUtime=3575.92 cores=5,7
/proc/35837/task/35845/stat : 35845 (fscip) R 35834 35837 35474 0 -1 4194368 1089497 0 0 0 357493 99 0 0 20 0 3 0 5583572 676798464 150374 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
[pid=35837/tid=35846] ppid=35834 vsize=660936 memory=16076 CPUtime=0.05 cores=5,7
/proc/35837/task/35846/stat : 35846 (fscip) S 35834 35837 35474 0 -1 1077936192 325 0 0 0 2 3 0 0 20 0 3 0 5583578 676798464 150374 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
Current children cumulated CPU time: 3587.66 s
Current children cumulated vsize: 660936 KiB
Current children cumulated memory: 601496 KiB
[startup+3598 s]*
/proc/loadavg: 3.01 3.10 3.37 3/229 37798
/proc/meminfo: memFree=115901100/131655788 swapFree=131071996/131071996
[pid=35837] ppid=35834 vsize=659044 memory=599604 CPUtime=3588.07 cores=5,7
/proc/35837/stat : 35837 (fscip) S 35834 35837 35474 0 -1 1077936128 1129768 0 0 0 358691 116 0 0 20 0 3 0 5582416 674861056 149901 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
/proc/35837/statm: 164761 149901 3030 3035 0 153662 0
[pid=35837/tid=35845] ppid=35834 vsize=659044 memory=-6000919502838130540 CPUtime=3576.33 cores=5,7
/proc/35837/task/35845/stat : 35845 (fscip) R 35834 35837 35474 0 -1 4194368 1089701 0 0 0 357534 99 0 0 20 0 3 0 5583572 674861056 149901 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
[pid=35837/tid=35846] ppid=35834 vsize=659044 memory=7686721470264483783 CPUtime=0.05 cores=5,7
/proc/35837/task/35846/stat : 35846 (fscip) S 35834 35837 35474 0 -1 1077936192 325 0 0 0 2 3 0 0 20 0 3 0 5583578 674861056 149901 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
Current children cumulated CPU time: 3588.07 s
Current children cumulated vsize: 659044 KiB
Current children cumulated memory: 599604 KiB
[startup+3598.11 s]
/proc/loadavg: 3.01 3.10 3.37 3/229 37798
/proc/meminfo: memFree=115901100/131655788 swapFree=131071996/131071996
[pid=35837] ppid=35834 vsize=562124 memory=486612 CPUtime=3588.18 cores=5,7
/proc/35837/stat : 35837 (fscip) R 35834 35837 35474 0 -1 4194304 1131716 0 0 0 358701 117 0 0 20 0 2 0 5582416 575614976 121653 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
/proc/35837/statm: 140531 121653 3030 3035 0 136740 0
[pid=35837/tid=35846] ppid=35834 vsize=562124 memory=601496 CPUtime=0.05 cores=5,7
/proc/35837/task/35846/stat : 35846 (fscip) S 35834 35837 35474 0 -1 1077936192 325 0 0 0 2 3 0 0 20 0 2 0 5583578 575614976 121653 134679101440 4194304 16623229 140722983102144 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 56881152 140722983109652 140722983109768 140722983109768 140722983116784 0
Current children cumulated CPU time: 3588.18 s
Current children cumulated vsize: 562124 KiB
Current children cumulated memory: 486612 KiB
Child status: 0
Real time (s): 3598.18
CPU time (s): 3588.25
CPU user time (s): 3587.06
CPU system time (s): 1.18471
CPU usage (%): 99.724
Max. virtual memory (cumulated for all children) (KiB): 660936
Max. memory (cumulated for all children) (KiB): 601508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.06
system time used= 1.18471
maximum resident set size= 601760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1132667
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= 5433
involuntary context switches= 5209
# summary of solver processes directly reported to runsolver:
# pid: 35837
# total CPU time (s): 3588.25
# total CPU user time (s): 3587.06
# total CPU system time (s): 1.18471
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7513 second user time and 35.2743 second system time
The end
Begin job on nodeC009 at 2024-07-31 03:37:28
IDJOB=4464899
IDBENCH=143822
IDSOLVER=3093
FILE ID=nodeC009/4464899-1722389848
RUNJOBID= nodeC009-1722389843-35487
SLURM_JOB_ID= 8249867
Free space on /tmp= 723696 MiB
SOLVER NAME= FiberSCIP 2024-07-30
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-4464899-1722389848/watcher-4464899-1722389848 -o /tmp/evaluation-result-4464899-1722389848/solver-4464899-1722389848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722389843-35487 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464899-1722389848.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bc45bcdbecbc5e781b95a5731515dca1
RANDOM SEED=274608094
nodeC009.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 : 0xb00001f
cpu MHz : 3491.998
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.99
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 : 0xb00001f
cpu MHz : 3493.134
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
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 : 0xb00001f
cpu MHz : 1197.391
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.99
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 : 0xb00001f
cpu MHz : 1197.380
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
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 : 0xb00001f
cpu MHz : 1197.256
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.99
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 : 0xb00001f
cpu MHz : 3492.003
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
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 : 0xb00001f
cpu MHz : 1197.263
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.99
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 : 0xb00001f
cpu MHz : 1197.263
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 117531228 kB
MemAvailable: 129406632 kB
Buffers: 110216 kB
Cached: 12566284 kB
SwapCached: 0 kB
Active: 275392 kB
Inactive: 13341060 kB
Active(anon): 1500 kB
Inactive(anon): 959784 kB
Active(file): 273892 kB
Inactive(file): 12381276 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 116912 kB
Writeback: 4 kB
AnonPages: 939468 kB
Mapped: 120376 kB
Shmem: 21320 kB
KReclaimable: 120868 kB
Slab: 203088 kB
SReclaimable: 120868 kB
SUnreclaim: 82220 kB
KernelStack: 3888 kB
PageTables: 10924 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1241328 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7200 kB
HardwareCorrupted: 0 kB
AnonHugePages: 241664 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: 269128 kB
DirectMap2M: 13266944 kB
DirectMap1G: 122683392 kB
Free space on /tmp at the end= 723724 MiB
End job on nodeC009 at 2024-07-31 04:37:26