0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.09/0.10 c Default LC presolving (default).
0.09/0.10 c ** Before presolving: virtualMemUsedAtLc = 104641676, getVmSize() = 89948160, SCIPgetMemUsed() = 58694557, SCIPgetMemTotal() = 65121901, SCIPgetMemExternEstim() = 39519775
0.09/0.10 c ** set memory limit for presolving in LC to 8.79606e+12 for SCIP **
3.28/3.38 c ** Estimated virtualMemUsedAtSolver = 240620180, getVmSize() = 349507584, SCIPgetMemUsed() = 242615279, SCIPgetMemTotal() = 321410495, SCIPgetMemExternEstim() = 39519775
3.28/3.38 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
3.28/3.38 c Original Problem :
3.28/3.38 c Problem name : instance-4426809-1720905823
3.28/3.38 c Variables : 15703 (15703 binary, 0 integer, 0 implicit integer, 0 continuous)
3.28/3.38 c Constraints : 26901
3.28/3.38 c Objective sense : minimize
3.28/3.38 c Presolved Problem :
3.28/3.38 c Variables : 23937 (14216 binary, 0 integer, 9721 implicit integer, 0 continuous)
3.28/3.38 c Constraints : 23903
3.28/3.38 c Constraints : Number
3.28/3.38 c knapsack : 113
3.28/3.38 c setppc : 3651
3.28/3.38 c and : 71
3.28/3.38 c linear : 9721
3.28/3.38 c logicor : 624
3.28/3.38 c indicator : 9723
3.28/3.38 c ** Instance transfer method used: 0
3.38/3.45 c ** ParaScipInstance copy increased the number of variables. **
3.48/3.52 c LC is working with racing ramp-up and with rebuilding tree after racing.
3.48/3.52 c Nodes Active
3.48/3.52 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
51.75/51.92 c * 52 0 1 1 487323.0000 - -
51.75/51.92 c 52 0 1 1 487323.0000 - -
51.96/52.14 c * 52 0 1 1 18521.0000 - -
132.82/133.29 c * 133 0 1 1 5087.0000 - -
132.82/133.29 c 133 0 1 1 5087.0000 - -
133.03/133.48 c * 133 0 1 1 5083.0000 - -
134.92/135.35 c * 135 0 1 1 2122.0000 - -
144.89/145.36 c 145 2 1 1 2122.0000 0.0000 -
156.07/156.53 c 157 3 2 1 2122.0000 0.0000 -
166.65/167.10 c 167 4 3 1 2122.0000 0.0000 -
171.82/172.38 c 172 5 4 1 2122.0000 0.0000 -
179.01/179.53 c 180 5 6 1 2122.0000 0.0000 -
190.98/191.58 c 192 5 6 1 2122.0000 0.0000 -
203.24/203.87 c 204 7 6 1 2122.0000 0.0000 -
210.72/211.36 c 211 8 7 1 2122.0000 0.0000 -
216.11/216.79 c 217 9 8 1 2122.0000 0.0000 -
221.80/222.44 c 222 10 9 1 2122.0000 0.0000 -
226.89/227.52 c 228 14 13 1 2122.0000 0.0000 -
230.38/231.07 c * 231 14 13 1 2075.0000 0.0000 -
236.67/237.32 c 237 18 17 1 2075.0000 0.0000 -
243.36/244.08 c 244 24 23 1 2075.0000 0.0000 -
251.93/252.61 c * 253 24 23 1 1886.0000 0.0000 -
251.93/252.61 c 253 24 23 1 1886.0000 0.0000 -
252.53/253.30 c * 253 24 23 1 1724.0000 0.0000 -
252.83/253.59 c * 254 24 23 1 1657.0000 0.0000 -
253.14/253.86 c * 254 24 23 1 1560.0000 0.0000 -
253.44/254.12 c * 254 24 23 1 1517.0000 0.0000 -
259.22/259.95 c 260 30 29 1 1517.0000 0.0000 -
266.20/266.92 c 267 40 39 1 1517.0000 0.0000 -
272.29/273.01 c 273 44 43 1 1517.0000 0.0000 -
277.38/278.12 c 278 60 61 1 1517.0000 0.0000 -
277.58/278.33 c * 278 60 61 1 1331.0000 0.0000 -
277.88/278.67 c * 279 60 61 1 1185.0000 0.0000 -
278.09/278.86 c * 279 60 61 1 1180.0000 0.0000 -
282.67/283.44 c 283 71 70 1 1180.0000 0.0000 -
289.15/289.93 c 290 73 72 1 1180.0000 0.0000 -
294.94/295.75 c 296 82 81 1 1180.0000 0.0000 -
301.72/302.56 c 303 88 87 1 1180.0000 0.0000 -
308.71/309.52 c 310 114 113 1 1180.0000 0.0000 -
317.48/318.33 c 318 115 114 1 1180.0000 0.0000 -
325.66/326.54 c 327 117 116 1 1180.0000 0.0000 -
334.44/335.31 c 335 131 130 1 1180.0000 0.0000 -
343.42/344.34 c 344 136 135 1 1180.0000 0.0000 -
349.60/350.56 c 351 138 137 1 1180.0000 0.0000 -
355.99/356.98 c 357 145 144 1 1180.0000 0.0000 -
361.87/362.85 c 363 181 180 1 1180.0000 0.0000 -
368.96/369.96 c 370 183 182 1 1180.0000 0.0000 -
374.44/375.42 c 375 184 183 1 1180.0000 0.0000 -
382.42/383.46 c 383 195 194 1 1180.0000 0.0000 -
387.60/388.69 c 389 209 208 1 1180.0000 0.0000 -
393.49/394.59 c 395 227 226 1 1180.0000 0.0000 -
400.67/401.73 c 402 239 238 1 1180.0000 0.0000 -
407.75/408.84 c 409 244 243 1 1180.0000 0.0000 -
415.83/416.92 c 417 254 253 1 1180.0000 0.0000 -
423.02/424.18 c 424 258 257 1 1180.0000 0.0000 -
423.81/424.93 c * 425 258 257 1 1118.0000 0.0000 -
429.11/430.25 c 430 272 271 1 1118.0000 0.0000 -
437.39/438.57 c 439 298 297 1 1118.0000 0.0000 -
448.25/449.47 c 449 304 303 1 1118.0000 0.0000 -
455.63/456.84 c 457 308 307 1 1118.0000 0.0000 -
468.20/469.47 c 469 326 325 1 1118.0000 0.0000 -
477.68/478.94 c 479 334 333 1 1118.0000 0.0000 -
497.23/498.56 c 499 337 336 1 1118.0000 0.0000 -
503.31/504.61 c 505 352 351 1 1118.0000 0.0000 -
509.30/510.63 c 511 377 376 1 1118.0000 0.0000 -
514.29/515.64 c 516 380 379 1 1118.0000 0.0000 -
522.68/524.03 c 524 389 388 1 1118.0000 0.0000 -
530.85/532.23 c 532 396 395 1 1118.0000 0.0000 -
536.43/537.83 c 538 405 404 1 1118.0000 0.0000 -
546.01/547.40 c 547 413 412 1 1118.0000 0.0000 -
552.29/553.71 c 554 416 415 1 1118.0000 0.0000 -
558.27/559.74 c 560 418 417 1 1118.0000 0.0000 -
571.34/572.81 c 573 431 430 1 1118.0000 0.0000 -
579.22/580.70 c 581 437 436 1 1118.0000 0.0000 -
584.70/586.26 c 586 442 441 1 1118.0000 0.0000 -
592.88/594.42 c 594 458 457 1 1118.0000 0.0000 -
597.58/599.11 c * 599 460 459 1 978.0000 0.0000 -
597.98/599.59 c 600 462 461 1 978.0000 0.0000 -
604.47/606.02 c 606 463 462 1 978.0000 0.0000 -
616.83/618.49 c 618 471 470 1 978.0000 0.0000 -
626.60/628.22 c 628 475 474 1 978.0000 0.0000 -
632.99/634.62 c 635 478 477 1 978.0000 0.0000 -
639.77/641.45 c 641 482 481 1 978.0000 0.0000 -
645.15/646.80 c 647 493 492 1 978.0000 0.0000 -
654.64/656.33 c 656 503 502 1 978.0000 0.0000 -
659.92/661.61 c 662 514 513 1 978.0000 0.0000 -
667.50/669.29 c 669 525 520 1 978.0000 0.0000 -
675.28/677.09 c 677 536 531 1 978.0000 0.0000 -
682.26/684.08 c 684 543 538 1 978.0000 0.0000 -
687.35/689.19 c 689 555 550 1 978.0000 0.0000 -
698.02/699.89 c 700 563 558 1 978.0000 0.0000 -
706.09/707.97 c 708 565 560 1 978.0000 0.0000 -
711.58/713.41 c 713 566 561 1 978.0000 0.0000 -
716.77/718.66 c 719 571 566 1 978.0000 0.0000 -
724.65/726.52 c 727 574 569 1 978.0000 0.0000 -
740.81/742.77 c 743 575 570 1 978.0000 0.0000 -
750.88/752.82 c 753 578 573 1 978.0000 0.0000 -
756.57/758.54 c 759 580 575 1 978.0000 0.0000 -
762.06/764.05 c 764 588 583 1 978.0000 0.0000 -
767.44/769.48 c 769 603 598 1 978.0000 0.0000 -
773.13/775.11 c 775 621 610 1 978.0000 0.0000 -
779.21/781.25 c 781 654 639 1 978.0000 0.0000 -
780.30/782.38 c * 782 654 639 1 737.0000 0.0000 -
791.99/794.02 c 794 664 523 1 737.0000 0.0000 -
808.74/810.88 c 811 668 527 1 737.0000 0.0000 -
821.91/824.08 c 824 669 528 1 737.0000 0.0000 -
836.47/838.62 c 839 673 528 1 737.0000 0.0000 -
842.56/844.77 c 845 675 530 1 737.0000 0.0000 -
848.84/851.03 c 851 685 534 1 737.0000 0.0000 -
854.53/856.73 c 857 688 537 1 737.0000 0.0000 -
860.51/862.76 c 863 694 543 1 737.0000 0.0000 -
865.90/868.17 c 868 708 555 1 737.0000 0.0000 -
875.78/878.03 c 878 717 560 1 737.0000 0.0000 -
880.86/883.12 c 883 722 565 1 737.0000 0.0000 -
888.44/890.76 c 891 723 566 1 737.0000 0.0000 -
894.52/896.81 c 897 729 572 1 737.0000 0.0000 -
906.99/909.33 c 909 732 573 1 737.0000 0.0000 -
918.17/920.56 c 921 733 574 1 737.0000 0.0000 -
923.15/925.58 c 926 740 581 1 737.0000 0.0000 -
929.94/932.31 c 932 742 583 1 737.0000 0.0000 -
935.12/937.52 c 938 749 590 1 737.0000 0.0000 -
940.41/942.84 c 943 758 599 1 737.0000 0.0000 -
946.70/949.18 c 949 770 611 1 737.0000 0.0000 -
951.78/954.27 c 954 775 616 1 737.0000 0.0000 -
957.77/960.25 c 960 781 622 1 737.0000 0.0000 -
964.85/967.32 c 967 782 623 1 737.0000 0.0000 -
971.73/974.25 c 974 788 629 1 737.0000 0.0000 -
979.31/981.80 c 982 796 637 1 737.0000 0.0000 -
989.09/991.66 c 992 807 648 1 737.0000 0.0000 -
1003.15/1005.76 c 1006 808 649 1 737.0000 0.0000 -
1010.23/1012.81 c 1013 815 656 1 737.0000 0.0000 -
1015.92/1018.57 c 1019 821 662 1 737.0000 0.0000 -
1021.21/1023.83 c 1024 831 672 1 737.0000 0.0000 -
1029.19/1031.81 c 1032 840 681 1 737.0000 0.0000 -
1035.87/1038.56 c 1039 849 690 1 737.0000 0.0000 -
1047.24/1049.95 c 1050 853 694 1 737.0000 0.0000 -
1054.02/1056.72 c 1057 857 698 1 737.0000 0.0000 -
1055.22/1058.00 c * 1058 860 703 1 657.0000 0.0000 -
1062.90/1065.62 c 1066 877 636 1 657.0000 0.0000 -
1068.29/1071.00 c 1071 884 643 1 657.0000 0.0000 -
1073.38/1076.19 c 1076 893 652 1 657.0000 0.0000 -
1079.46/1082.25 c 1082 901 660 1 657.0000 0.0000 -
1091.13/1093.97 c 1094 907 666 1 657.0000 0.0000 -
1099.11/1101.97 c 1102 918 677 1 657.0000 0.0000 -
1104.40/1107.27 c 1107 927 686 1 657.0000 0.0000 -
1110.19/1113.09 c 1113 931 690 1 657.0000 0.0000 -
1118.56/1121.40 c 1121 941 700 1 657.0000 0.0000 -
1126.44/1129.35 c 1129 955 714 1 657.0000 0.0000 -
1134.82/1137.77 c 1138 961 720 1 657.0000 0.0000 -
1140.21/1143.17 c 1143 969 728 1 657.0000 0.0000 -
1154.27/1157.21 c 1157 970 729 1 657.0000 0.0000 -
1162.85/1165.86 c 1166 978 737 1 657.0000 0.0000 -
1169.33/1172.39 c 1172 981 740 1 657.0000 0.0000 -
1175.71/1178.77 c 1179 987 746 1 657.0000 0.0000 -
1182.01/1185.02 c 1185 994 753 1 657.0000 0.0000 -
1189.38/1192.48 c 1192 997 756 1 657.0000 0.0000 -
1194.67/1197.78 c 1198 1000 759 1 657.0000 0.0000 -
1200.75/1203.81 c 1204 1011 770 1 657.0000 0.0000 -
1208.23/1211.32 c 1211 1016 775 1 657.0000 0.0000 -
1214.42/1217.55 c 1218 1019 778 1 657.0000 0.0000 -
1223.39/1226.58 c 1227 1027 786 1 657.0000 0.0000 -
1228.98/1232.17 c 1232 1031 790 1 657.0000 0.0000 -
1236.56/1239.74 c 1240 1036 795 1 657.0000 0.0000 -
1241.75/1244.90 c 1245 1040 799 1 657.0000 0.0000 -
1248.23/1251.49 c 1251 1043 802 1 657.0000 0.0000 -
1254.61/1257.84 c 1258 1051 810 1 657.0000 0.0000 -
1269.09/1272.39 c 1272 1053 812 1 657.0000 0.0000 -
1274.97/1278.29 c 1278 1058 817 1 657.0000 0.0000 -
1277.66/1280.91 c * 1281 1060 821 1 539.0000 0.0000 -
1282.05/1285.37 c 1285 1065 690 1 539.0000 0.0000 -
1290.84/1294.13 c 1294 1073 698 1 539.0000 0.0000 -
1295.92/1299.23 c 1299 1080 705 1 539.0000 0.0000 -
1304.00/1307.39 c 1307 1083 708 1 539.0000 0.0000 -
1309.09/1312.49 c 1312 1090 715 1 539.0000 0.0000 -
1315.68/1319.00 c 1319 1091 716 1 539.0000 0.0000 -
1320.96/1324.37 c 1324 1100 725 1 539.0000 0.0000 -
1326.85/1330.20 c 1330 1101 726 1 539.0000 0.0000 -
1332.33/1335.75 c 1336 1112 737 1 539.0000 0.0000 -
1340.31/1343.79 c 1344 1118 743 1 539.0000 0.0000 -
1358.78/1362.24 c 1362 1122 747 1 539.0000 0.0000 -
1366.16/1369.66 c 1370 1129 754 1 539.0000 0.0000 -
1371.24/1374.77 c 1375 1143 768 1 539.0000 0.0000 -
1376.93/1380.47 c 1380 1151 776 1 539.0000 0.0000 -
1382.72/1386.27 c 1386 1163 788 1 539.0000 0.0000 -
1389.50/1393.09 c 1393 1175 800 1 539.0000 0.0000 -
1399.27/1402.81 c 1403 1182 807 1 539.0000 0.0000 -
1404.36/1407.92 c 1408 1183 808 1 539.0000 0.0000 -
1411.35/1414.90 c 1415 1188 813 1 539.0000 0.0000 -
1417.33/1420.98 c 1421 1196 821 1 539.0000 0.0000 -
1422.82/1426.42 c 1426 1206 831 1 539.0000 0.0000 -
1428.71/1432.37 c 1432 1215 840 1 539.0000 0.0000 -
1434.19/1437.89 c 1438 1224 849 1 539.0000 0.0000 -
1439.39/1443.09 c 1443 1232 857 1 539.0000 0.0000 -
1446.17/1449.86 c 1450 1243 868 1 539.0000 0.0000 -
1454.75/1458.41 c 1458 1256 881 1 539.0000 0.0000 -
1457.95/1461.65 c * 1462 1258 883 1 394.0000 0.0000 -
1460.64/1464.38 c 1464 1263 784 1 394.0000 0.0000 -
1467.53/1471.25 c 1471 1277 792 1 394.0000 0.0000 -
1473.01/1476.76 c 1477 1291 802 1 394.0000 0.0000 -
1479.30/1483.04 c 1483 1311 822 1 394.0000 0.0000 -
1484.89/1488.66 c 1489 1331 842 1 394.0000 0.0000 -
1491.57/1495.34 c 1495 1350 849 1 394.0000 0.0000 -
1497.45/1501.28 c 1501 1359 856 1 394.0000 0.0000 -
1503.44/1507.23 c 1507 1383 878 1 394.0000 0.0000 -
1508.73/1512.50 c 1512 1398 891 1 394.0000 0.0000 -
1513.92/1517.78 c 1518 1414 899 1 394.0000 0.0000 -
1519.80/1523.69 c 1524 1422 907 1 394.0000 0.0000 -
1528.88/1532.70 c 1533 1423 908 1 394.0000 0.0000 -
1534.17/1538.09 c 1538 1425 910 1 394.0000 0.0000 -
1539.76/1543.61 c 1544 1429 914 1 394.0000 0.0000 -
1545.64/1549.53 c 1550 1443 928 1 394.0000 0.0000 -
1551.14/1555.07 c * 1555 1457 938 1 337.0000 0.0000 -
1551.14/1555.07 c 1555 1457 938 1 337.0000 0.0000 -
1556.62/1560.57 c 1561 1477 820 1 337.0000 0.0000 -
1561.91/1565.80 c 1566 1488 825 1 337.0000 0.0000 -
1567.40/1571.35 c 1571 1514 833 1 337.0000 0.0000 -
1573.29/1577.23 c 1577 1542 837 1 337.0000 0.0000 -
1586.76/1590.78 c 1591 1562 835 1 337.0000 0.0000 -
1592.34/1596.32 c 1596 1569 842 1 337.0000 0.0000 -
1604.21/1608.21 c 1608 1571 842 1 337.0000 0.0000 -
1614.99/1619.00 c 1619 1571 842 1 337.0000 0.0000 -
1623.37/1627.40 c 1627 1574 843 1 337.0000 0.0000 -
1629.16/1633.25 c 1633 1575 844 1 337.0000 0.0000 -
1637.04/1641.12 c 1641 1579 848 1 337.0000 0.0000 -
1643.12/1647.27 c 1647 1592 849 1 337.0000 0.0000 -
1648.51/1652.62 c 1653 1594 851 1 337.0000 0.0000 -
1654.60/1658.78 c 1659 1599 856 1 337.0000 0.0000 -
1659.89/1664.09 c 1664 1617 856 1 337.0000 0.0000 -
1665.77/1669.97 c 1670 1644 875 1 337.0000 0.0000 -
1674.15/1678.38 c 1678 1652 875 1 337.0000 0.0000 -
1681.93/1686.16 c 1686 1658 881 1 337.0000 0.0000 -
1688.02/1692.29 c 1692 1686 891 1 337.0000 0.0000 -
1696.70/1700.99 c 1701 1702 893 1 337.0000 0.0000 -
1713.46/1717.76 c 1718 1704 895 1 337.0000 0.0000 -
1719.44/1723.71 c 1724 1707 898 1 337.0000 0.0000 -
1728.12/1732.42 c 1732 1708 899 1 337.0000 0.0000 -
1734.12/1738.41 c 1738 1722 899 1 337.0000 0.0000 -
1740.40/1744.72 c 1745 1739 904 1 337.0000 0.0000 -
1740.60/1744.93 c * 1745 1739 904 1 331.0000 0.0000 -
1747.29/1751.68 c 1752 1750 877 1 331.0000 0.0000 -
1752.37/1756.71 c 1757 1769 874 1 331.0000 0.0000 -
1760.85/1765.20 c 1765 1782 879 1 331.0000 0.0000 -
1785.40/1789.87 c 1790 1783 880 1 331.0000 0.0000 -
1793.88/1798.32 c 1798 1785 882 1 331.0000 0.0000 -
1801.96/1806.40 c 1806 1789 886 1 331.0000 0.0000 -
1807.05/1811.59 c 1812 1800 889 1 331.0000 0.0000 -
1813.13/1817.68 c 1818 1816 891 1 331.0000 0.0000 -
1822.31/1826.89 c 1827 1832 889 1 331.0000 0.0000 -
1829.00/1833.53 c 1834 1834 891 1 331.0000 0.0000 -
1835.59/1840.13 c 1840 1836 893 1 331.0000 0.0000 -
1843.16/1847.71 c 1848 1838 895 1 331.0000 0.0000 -
1852.05/1856.68 c 1857 1842 895 1 331.0000 0.0000 -
1863.73/1868.39 c 1868 1844 897 1 331.0000 0.0000 -
1875.00/1879.60 c 1880 1848 901 1 331.0000 0.0000 -
1881.78/1886.49 c 1886 1849 902 1 331.0000 0.0000 -
1890.96/1895.63 c 1896 1882 903 1 331.0000 0.0000 -
1898.24/1902.93 c 1903 1885 906 1 331.0000 0.0000 -
1908.22/1912.94 c 1913 1889 910 1 331.0000 0.0000 -
1915.21/1919.92 c 1920 1917 910 1 331.0000 0.0000 -
1924.18/1928.97 c 1929 1952 911 1 331.0000 0.0000 -
1930.37/1935.11 c 1935 1954 913 1 331.0000 0.0000 -
1936.06/1940.81 c 1941 1959 918 1 331.0000 0.0000 -
1948.23/1953.05 c 1953 1964 919 1 331.0000 0.0000 -
1967.98/1972.88 c 1973 1967 922 1 331.0000 0.0000 -
1976.66/1981.50 c 1982 1969 924 1 331.0000 0.0000 -
1985.55/1990.49 c 1990 1972 923 1 331.0000 0.0000 -
1994.82/1999.74 c 2000 1975 926 1 331.0000 0.0000 -
1999.81/2004.77 c 2005 1976 927 1 331.0000 0.0000 -
2012.48/2017.48 c 2017 1979 930 1 331.0000 0.0000 -
2018.77/2023.75 c 2024 2006 939 1 331.0000 0.0000 -
2023.96/2028.94 c 2029 2025 948 1 331.0000 0.0000 -
2035.23/2040.25 c 2040 2043 948 1 331.0000 0.0000 -
2040.42/2045.49 c 2046 2044 949 1 331.0000 0.0000 -
2054.78/2059.84 c 2060 2046 951 1 331.0000 0.0000 -
2060.57/2065.68 c 2066 2048 953 1 331.0000 0.0000 -
2069.25/2074.39 c 2074 2049 954 1 331.0000 0.0000 -
2085.61/2090.77 c 2091 2054 955 1 331.0000 0.0000 -
2107.96/2113.13 c 2113 2056 957 1 331.0000 0.0000 -
2113.85/2119.01 c 2119 2057 958 1 331.0000 0.0000 -
2133.41/2138.67 c 2139 2059 960 1 331.0000 0.0000 -
2139.19/2144.48 c 2144 2078 959 1 331.0000 0.0000 -
2144.27/2149.52 c 2150 2097 956 1 331.0000 0.0000 -
2151.46/2156.77 c 2157 2103 956 1 331.0000 0.0000 -
2164.03/2169.35 c 2169 2104 957 1 331.0000 0.0000 -
2200.76/2206.13 c 2206 2105 958 1 331.0000 0.0000 -
2219.01/2224.47 c 2224 2106 959 1 331.0000 0.0000 -
2224.60/2230.07 c 2230 2107 960 1 331.0000 0.0000 -
2234.98/2240.40 c 2240 2109 962 1 331.0000 0.0000 -
2236.08/2241.52 c * 2242 2109 962 1 312.0000 0.0000 -
2240.27/2245.75 c 2246 2130 858 1 312.0000 0.0000 -
2247.15/2252.61 c 2253 2151 859 1 312.0000 0.0000 -
2262.62/2268.11 c 2268 2162 854 1 312.0000 0.0000 -
2276.78/2282.36 c 2282 2163 855 1 312.0000 0.0000 -
2282.57/2288.15 c 2288 2166 858 1 312.0000 0.0000 -
2293.44/2299.04 c 2299 2169 861 1 312.0000 0.0000 -
2308.90/2314.59 c 2315 2174 862 1 312.0000 0.0000 -
2316.78/2322.46 c 2322 2175 863 1 312.0000 0.0000 -
2328.87/2334.53 c 2335 2179 867 1 312.0000 0.0000 -
2338.74/2344.49 c 2344 2182 866 1 312.0000 0.0000 -
2347.82/2353.53 c 2354 2185 869 1 312.0000 0.0000 -
2356.80/2362.58 c 2363 2186 870 1 312.0000 0.0000 -
2368.97/2374.79 c 2375 2189 873 1 312.0000 0.0000 -
2374.25/2380.08 c 2380 2200 872 1 312.0000 0.0000 -
2380.24/2386.05 c 2386 2221 869 1 312.0000 0.0000 -
2387.72/2393.55 c 2394 2222 870 1 312.0000 0.0000 -
2396.10/2401.96 c 2402 2225 873 1 312.0000 0.0000 -
2401.20/2407.06 c 2407 2236 878 1 312.0000 0.0000 -
2409.87/2415.72 c 2416 2242 880 1 312.0000 0.0000 -
2426.83/2432.76 c 2433 2243 881 1 312.0000 0.0000 -
2431.91/2437.85 c 2438 2247 885 1 312.0000 0.0000 -
2438.80/2444.73 c 2445 2265 883 1 312.0000 0.0000 -
2446.28/2452.29 c 2452 2270 888 1 312.0000 0.0000 -
2451.66/2457.63 c 2458 2273 891 1 312.0000 0.0000 -
2459.44/2465.42 c 2465 2292 894 1 312.0000 0.0000 -
2467.72/2473.80 c 2474 2299 901 1 312.0000 0.0000 -
2473.51/2479.58 c 2480 2305 907 1 312.0000 0.0000 -
2479.10/2485.11 c 2485 2308 910 1 312.0000 0.0000 -
2484.98/2491.04 c 2491 2312 914 1 312.0000 0.0000 -
2492.26/2498.32 c 2498 2317 919 1 312.0000 0.0000 -
2532.07/2538.24 c 2538 2332 916 1 312.0000 0.0000 -
2537.65/2543.88 c 2544 2333 917 1 312.0000 0.0000 -
2544.44/2550.67 c 2551 2337 921 1 312.0000 0.0000 -
2555.61/2561.88 c 2562 2342 922 1 312.0000 0.0000 -
2570.17/2576.46 c 2576 2346 926 1 312.0000 0.0000 -
2576.96/2583.26 c 2583 2347 927 1 312.0000 0.0000 -
2601.11/2607.49 c 2607 2349 929 1 312.0000 0.0000 -
2607.59/2613.95 c 2614 2355 933 1 312.0000 0.0000 -
2615.97/2622.30 c 2622 2374 938 1 312.0000 0.0000 -
2623.35/2629.71 c 2630 2379 943 1 312.0000 0.0000 -
2633.03/2639.41 c 2639 2381 945 1 312.0000 0.0000 -
2641.61/2648.03 c 2648 2383 947 1 312.0000 0.0000 -
2666.25/2672.76 c 2673 2384 948 1 312.0000 0.0000 -
2672.14/2678.61 c 2679 2385 949 1 312.0000 0.0000 -
2680.82/2687.38 c 2687 2389 953 1 312.0000 0.0000 -
2686.90/2693.40 c 2693 2393 957 1 312.0000 0.0000 -
2694.49/2701.05 c 2701 2395 959 1 312.0000 0.0000 -
2700.27/2706.83 c 2707 2399 959 1 312.0000 0.0000 -
2706.95/2713.51 c 2714 2431 965 1 312.0000 0.0000 -
2713.14/2719.72 c 2720 2435 967 1 312.0000 0.0000 -
2719.22/2725.86 c 2726 2437 969 1 312.0000 0.0000 -
2725.71/2732.35 c 2732 2443 967 1 312.0000 0.0000 -
2737.78/2744.49 c 2744 2445 969 1 312.0000 0.0000 -
2748.05/2754.79 c 2755 2448 972 1 312.0000 0.0000 -
2754.64/2761.33 c 2761 2452 976 1 312.0000 0.0000 -
2760.44/2767.15 c 2767 2461 981 1 312.0000 0.0000 -
2771.71/2778.40 c 2778 2462 982 1 312.0000 0.0000 -
2778.19/2784.99 c 2785 2464 984 1 312.0000 0.0000 -
2783.48/2790.22 c 2790 2466 986 1 312.0000 0.0000 -
2791.15/2797.93 c 2798 2492 988 1 312.0000 0.0000 -
2801.83/2808.64 c 2809 2496 992 1 312.0000 0.0000 -
2811.01/2817.80 c 2818 2500 996 1 312.0000 0.0000 -
2818.09/2824.98 c 2825 2507 1003 1 312.0000 0.0000 -
2823.88/2830.73 c 2831 2508 1004 1 312.0000 0.0000 -
2829.66/2836.51 c 2837 2509 1005 1 312.0000 0.0000 -
2836.25/2843.16 c 2843 2511 1007 1 312.0000 0.0000 -
2841.93/2848.86 c 2849 2514 1010 1 312.0000 0.0000 -
2850.61/2857.53 c 2858 2517 1013 1 312.0000 0.0000 -
2856.70/2863.66 c 2864 2525 1021 1 312.0000 0.0000 -
2863.78/2870.79 c 2871 2527 1023 1 312.0000 0.0000 -
2868.87/2875.83 c 2876 2528 1024 1 312.0000 0.0000 -
2877.05/2884.10 c 2884 2530 1026 1 312.0000 0.0000 -
2880.24/2887.26 c * 2887 2533 1029 1 277.0000 0.0000 -
2886.03/2893.06 c 2893 2539 916 1 277.0000 0.0000 -
2896.01/2903.01 c 2903 2540 917 1 277.0000 0.0000 -
2902.99/2910.03 c 2910 2542 919 1 277.0000 0.0000 -
2908.28/2915.36 c 2915 2546 923 1 277.0000 0.0000 -
2918.45/2925.57 c 2926 2549 926 1 277.0000 0.0000 -
2926.63/2933.72 c 2934 2556 933 1 277.0000 0.0000 -
2932.62/2939.74 c 2940 2558 935 1 277.0000 0.0000 -
2939.40/2946.57 c 2947 2562 939 1 277.0000 0.0000 -
2944.70/2951.89 c 2952 2565 942 1 277.0000 0.0000 -
2950.58/2957.75 c 2958 2575 952 1 277.0000 0.0000 -
2955.77/2962.97 c 2963 2583 960 1 277.0000 0.0000 -
2964.35/2971.53 c 2972 2592 969 1 277.0000 0.0000 -
2969.94/2977.11 c 2977 2597 972 1 277.0000 0.0000 -
2977.01/2984.22 c 2984 2601 976 1 277.0000 0.0000 -
2984.60/2991.85 c 2992 2606 977 1 277.0000 0.0000 -
2990.29/2997.58 c 2998 2619 984 1 277.0000 0.0000 -
2997.37/3004.69 c 3005 2624 989 1 277.0000 0.0000 -
3004.55/3011.86 c 3012 2630 995 1 277.0000 0.0000 -
3010.64/3017.97 c 3018 2639 1002 1 277.0000 0.0000 -
3016.22/3023.59 c 3024 2644 1007 1 277.0000 0.0000 -
3024.20/3031.59 c 3032 2654 1015 1 277.0000 0.0000 -
3029.79/3037.16 c 3037 2664 1021 1 277.0000 0.0000 -
3035.57/3042.94 c 3043 2666 1023 1 277.0000 0.0000 -
3042.67/3050.01 c 3050 2671 1026 1 277.0000 0.0000 -
3053.14/3060.55 c 3061 2674 1029 1 277.0000 0.0000 -
3059.82/3067.28 c 3067 2676 1031 1 277.0000 0.0000 -
3067.40/3074.89 c 3075 2677 1032 1 277.0000 0.0000 -
3073.79/3081.24 c 3081 2678 1033 1 277.0000 0.0000 -
3082.87/3090.34 c 3090 2679 1034 1 277.0000 0.0000 -
3087.95/3095.45 c 3095 2682 1037 1 277.0000 0.0000 -
3093.74/3101.23 c 3101 2693 1044 1 277.0000 0.0000 -
3099.23/3106.79 c 3107 2695 1046 1 277.0000 0.0000 -
3104.62/3112.19 c 3112 2701 1052 1 277.0000 0.0000 -
3110.80/3118.33 c 3118 2714 1065 1 277.0000 0.0000 -
3117.78/3125.34 c 3125 2720 1067 1 277.0000 0.0000 -
3124.16/3131.71 c 3132 2722 1067 1 277.0000 0.0000 -
3149.71/3157.36 c 3157 2723 1068 1 277.0000 0.0000 -
3155.99/3163.61 c 3164 2729 1074 1 277.0000 0.0000 -
3162.88/3170.57 c 3171 2733 1078 1 277.0000 0.0000 -
3167.96/3175.68 c 3176 2750 1087 1 277.0000 0.0000 -
3190.19/3197.94 c 3198 2782 1095 1 277.0000 0.0000 -
3196.57/3204.38 c 3204 2786 1099 1 277.0000 0.0000 -
3210.84/3218.66 c 3219 2822 1105 1 277.0000 0.0000 -
3225.09/3232.97 c 3233 2824 1107 1 277.0000 0.0000 -
3236.76/3244.60 c 3245 2826 1109 1 277.0000 0.0000 -
3254.51/3262.48 c 3262 2827 1110 1 277.0000 0.0000 -
3260.20/3268.18 c 3268 2853 1110 1 277.0000 0.0000 -
3261.79/3269.79 c * 3270 2860 1111 1 274.0000 0.0000 -
3265.48/3273.42 c 3273 2874 1103 1 274.0000 0.0000 -
3271.26/3279.21 c 3279 2888 1102 1 274.0000 0.0000 -
3279.24/3287.28 c 3287 2892 1102 1 274.0000 0.0000 -
3286.02/3294.07 c 3294 2895 1105 1 274.0000 0.0000 -
3305.96/3314.03 c 3314 2896 1106 1 274.0000 0.0000 -
3316.82/3324.90 c 3325 2898 1108 1 274.0000 0.0000 -
3324.30/3332.43 c 3332 2899 1109 1 274.0000 0.0000 -
3331.09/3339.23 c 3339 2904 1114 1 274.0000 0.0000 -
3336.97/3345.12 c 3345 2927 1121 1 274.0000 0.0000 -
3342.55/3350.73 c 3351 2956 1138 1 274.0000 0.0000 -
3348.23/3356.47 c 3356 2995 1137 1 274.0000 0.0000 -
3356.31/3364.57 c 3365 3002 1138 1 274.0000 0.0000 -
3368.07/3376.36 c 3376 3003 1139 1 274.0000 0.0000 -
3386.72/3395.09 c 3395 3005 1141 1 274.0000 0.0000 -
3395.49/3403.85 c 3404 3007 1143 1 274.0000 0.0000 -
3405.17/3413.52 c 3414 3009 1145 1 274.0000 0.0000 -
3410.75/3419.14 c 3419 3035 1157 1 274.0000 0.0000 -
3415.83/3424.23 c 3424 3066 1160 1 274.0000 0.0000 -
3421.51/3429.94 c 3430 3093 1165 1 274.0000 0.0000 -
3426.80/3435.20 c 3435 3129 1167 1 274.0000 0.0000 -
3432.09/3440.59 c 3441 3156 1172 1 274.0000 0.0000 -
3442.35/3450.85 c 3451 3171 1173 1 274.0000 0.0000 -
3454.72/3463.28 c 3463 3171 1173 1 274.0000 0.0000 -
3462.40/3470.90 c 3471 3173 1173 1 274.0000 0.0000 -
3486.13/3494.75 c 3495 3174 1174 1 274.0000 0.0000 -
3491.21/3499.87 c 3500 3179 1179 1 274.0000 0.0000 -
3497.09/3505.79 c 3506 3209 1183 1 274.0000 0.0000 -
3508.16/3516.81 c 3517 3225 1181 1 274.0000 0.0000 -
3521.72/3530.47 c 3530 3232 1182 1 274.0000 0.0000 -
3531.00/3539.71 c 3540 3233 1183 1 274.0000 0.0000 -
3536.48/3545.22 c 3545 3238 1188 1 274.0000 0.0000 -
3542.46/3551.27 c 3551 3247 1191 1 274.0000 0.0000 -
3547.84/3556.68 c 3557 3252 1192 1 274.0000 0.0000 -
3554.82/3563.61 c 3564 3280 1194 1 274.0000 0.0000 -
3572.06/3580.94 c 3581 3312 1206 1 274.0000 0.0000 -
3577.35/3586.20 c 3586 3313 1207 1 274.0000 0.0000 -
3582.63/3591.58 c 3592 3315 1209 1 274.0000 0.0000 -
3588.61/3597.59 c 3598 3316 1210 1 274.0000 0.0000 -
3591.41/3600.35 c SCIP Status : c solving was interrupted [hard time limit reached]
3591.41/3600.35 c Total Time : 3600.3500
3591.41/3600.35 c solving : 3600.3500
3591.41/3600.35 c presolving : 3.2773 (included in solving)
3591.41/3600.35 c B&B Tree :
3591.41/3600.35 c nodes (total) : 1
3591.41/3600.35 c Solution :
3591.41/3600.35 c Solutions found : 25
3591.41/3600.35 c Primal Bound : +2.74000000000000e+02
3591.41/3600.35 c Dual Bound : +0.00000000000000e+00
3591.41/3600.35 c Gap : infinite
3591.41/3600.35 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3591.41/3600.36 o 274
3591.41/3600.36 s SATISFIABLE
3591.41/3600.36 v x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942
3591.41/3600.36 v -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924
3591.41/3600.36 v -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907
3591.41/3600.36 v -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889
3591.41/3600.36 v -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871
3591.41/3600.36 v -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853
3591.41/3600.36 v -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835
3591.41/3600.36 v -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817
3591.41/3600.36 v -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799
3591.41/3600.36 v -x4798 -x4797 -x4796 -x4795 -x4794 x4793 x4792 x4791 x4790 x4789 x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781
3591.41/3600.36 v -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763
3591.41/3600.36 v -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745
3591.41/3600.36 v -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727
3591.41/3600.36 v -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 x4719 x4718 x4717 x4716 x4715 x4714 x4713 x4712 x4711 -x4710 -x4709 -x4708
3591.41/3600.36 v -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690
3591.41/3600.36 v -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672
3591.41/3600.36 v -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654
3591.41/3600.36 v -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 x4639 x4638 -x4637 -x4636
3591.41/3600.36 v -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618
3591.41/3600.36 v -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600
3591.41/3600.36 v -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583
3591.41/3600.36 v -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565
3591.41/3600.36 v -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547
3591.41/3600.36 v -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529
3591.41/3600.36 v -x4528 x4527 x4526 x4525 x4524 x4523 x4522 x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510
3591.41/3600.36 v -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492
3591.41/3600.36 v -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474
3591.41/3600.36 v -x4473 -x4472 -x4471 -x4470 -x4469 x4468 x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456
3591.41/3600.36 v -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438
3591.41/3600.36 v -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421
3591.41/3600.36 v -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403
3591.41/3600.36 v -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 x4386 x4385
3591.41/3600.36 v x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367
3591.41/3600.36 v -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349
3591.41/3600.36 v -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331
3591.41/3600.36 v -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313
3591.41/3600.36 v -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 x4300 x4299 x4298 x4297 x4296 x4295 x4294
3591.41/3600.36 v -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276
3591.41/3600.36 v -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258
3591.41/3600.36 v -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241
3591.41/3600.36 v -x4240 -x4239 -x4238 x4237 x4236 x4235 x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222
3591.41/3600.36 v -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204
3591.41/3600.36 v -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186
3591.41/3600.36 v -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169
3591.41/3600.36 v -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151
3591.41/3600.36 v x4150 x4149 x4148 x4147 x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132
3591.41/3600.36 v -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114
3591.41/3600.36 v -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096
3591.41/3600.36 v -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079
3591.41/3600.36 v -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061
3591.41/3600.36 v -x4060 -x4059 -x4058 -x4057 -x4056 x4055 x4054 x4053 x4052 x4051 x4050 x4049 x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042
3591.41/3600.36 v -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024
3591.41/3600.36 v -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006
3591.41/3600.36 v -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988
3591.41/3600.36 v -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970
3591.41/3600.36 v -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 x3960 x3959 x3958 x3957 x3956 x3955 x3954 -x3953 -x3952 -x3951
3591.41/3600.36 v -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934
3591.41/3600.36 v -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916
3591.41/3600.36 v -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898
3591.41/3600.36 v -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 x3883 x3882 x3881 x3880 x3879
3591.41/3600.36 v x3878 x3877 x3876 x3875 x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861
3591.41/3600.36 v -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843
3591.41/3600.36 v -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825
3591.41/3600.36 v -x3824 x3823 x3822 x3821 x3820 x3819 x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806
3591.41/3600.36 v -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788
3591.41/3600.36 v -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771
3591.41/3600.36 v -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753
3591.41/3600.36 v -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735
3591.41/3600.36 v -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717
3591.41/3600.36 v -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 x3700 x3699
3591.41/3600.36 v x3698 x3697 x3696 x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680
3591.41/3600.36 v -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 x3665 x3664 x3663 x3662
3591.41/3600.36 v x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644
3591.41/3600.36 v -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626
3591.41/3600.36 v -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608
3591.41/3600.36 v -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590
3591.41/3600.36 v -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573
3591.41/3600.36 v -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 x3561 x3560 x3559 x3558 x3557 x3556 x3555 x3554
3591.41/3600.36 v -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536
3591.41/3600.36 v -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518
3591.41/3600.36 v -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500
3591.41/3600.36 v -x3499 -x3498 x3497 x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482
3591.41/3600.36 v -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464
3591.41/3600.36 v -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446
3591.41/3600.36 v -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428
3591.41/3600.36 v -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410
3591.41/3600.36 v -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 x3393 x3392
3591.41/3600.36 v x3391 x3390 -x3389 x3388 x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374
3591.41/3600.36 v -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356
3591.41/3600.36 v -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338
3591.41/3600.36 v -x3337 -x3336 -x3335 -x3334 x3333 x3332 x3331 x3330 x3329 x3328 x3327 x3326 x3325 x3324 -x3323 -x3322 -x3321 -x3320 -x3319
3591.41/3600.36 v -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301
3591.41/3600.36 v -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283
3591.41/3600.36 v -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265
3591.41/3600.36 v -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247
3591.41/3600.36 v -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230
3591.41/3600.36 v -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 x3223 x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211
3591.41/3600.36 v -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194
3591.41/3600.36 v -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176
3591.41/3600.36 v -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158
3591.41/3600.36 v -x3157 -x3156 -x3155 -x3154 x3153 -x3152 x3151 x3150 x3149 -x3148 x3147 x3146 x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139
3591.41/3600.36 v -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121
3591.41/3600.36 v -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103
3591.41/3600.36 v -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085
3591.41/3600.36 v -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068
3591.41/3600.36 v -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 x3051 x3050 x3049
3591.41/3600.36 v x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031
3591.41/3600.36 v -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013
3591.41/3600.36 v -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996
3591.41/3600.36 v -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 x2986 -x2985 x2984 x2983 x2982 x2981 -x2980 -x2979 -x2978 -x2977
3591.41/3600.36 v -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959
3591.41/3600.36 v -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941
3591.41/3600.36 v -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923
3591.41/3600.36 v -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 x2912 x2911 -x2910 x2909 x2908 -x2907 -x2906 x2905
3591.41/3600.36 v -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887
3591.41/3600.36 v -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869
3591.41/3600.36 v -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851
3591.41/3600.36 v -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833
3591.41/3600.36 v -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 x2824 -x2823 -x2822 x2821 x2820 x2819 x2818 x2817 -x2816 -x2815
3591.41/3600.36 v x2814 x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797
3591.41/3600.36 v -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779
3591.41/3600.36 v -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761
3591.41/3600.36 v -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743
3591.41/3600.36 v -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725
3591.41/3600.36 v -x2724 -x2723 x2722 x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707
3591.41/3600.36 v -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689
3591.41/3600.36 v -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671
3591.41/3600.36 v -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653
3591.41/3600.36 v -x2652 -x2651 -x2650 -x2649 -x2648 x2647 x2646 x2645 x2644 x2643 x2642 x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635
3591.41/3600.36 v -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617
3591.41/3600.36 v -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599
3591.41/3600.36 v -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581
3591.41/3600.36 v -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 x2572 x2571 x2570 x2569 x2568 x2567 x2566 x2565 x2564 x2563 -x2562
3591.41/3600.36 v -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544
3591.41/3600.36 v -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526
3591.41/3600.36 v -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508
3591.41/3600.36 v -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 x2496 x2495 x2494 x2493 x2492 x2491 x2490 x2489
3591.41/3600.36 v x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471
3591.41/3600.36 v -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453
3591.41/3600.36 v -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435
3591.41/3600.36 v -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418
3591.41/3600.36 v -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 x2401 -x2400
3591.41/3600.36 v -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382
3591.41/3600.36 v -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364
3591.41/3600.36 v -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346
3591.41/3600.36 v -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328
3591.41/3600.36 v -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 x2321 x2320 x2319 x2318 x2317 x2316 x2315 x2314 x2313 x2312 x2311 x2310 x2309 -x2308
3591.41/3600.36 v -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291
3591.41/3600.36 v -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273
3591.41/3600.36 v -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255
3591.41/3600.36 v -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 x2241 x2240 x2239 x2238 x2237 x2236
3591.41/3600.36 v x2235 x2234 x2233 x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218
3591.41/3600.36 v -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200
3591.41/3600.36 v -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182
3591.41/3600.36 v -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164
3591.41/3600.36 v -x2163 -x2162 x2161 x2160 x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146
3591.41/3600.36 v -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128
3591.41/3600.36 v -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110
3591.41/3600.36 v -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092
3591.41/3600.36 v -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 x2081 x2080 x2079 x2078 x2077 x2076 x2075 x2074 x2073
3591.41/3600.36 v x2072 x2071 x2070 x2069 x2068 x2067 x2066 x2065 x2064 x2063 x2062 x2061 x2060 x2059 x2058 x2057 x2056 x2055 x2054 x2053 x2052
3591.41/3600.36 v x2051 x2050 x2049 x2048 x2047 x2046 x2045 x2044 x2043 x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033
3591.41/3600.36 v -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015
3591.41/3600.36 v -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 x2001 x2000 x1999 x1998 x1997
3591.41/3600.36 v x1996 x1995 x1994 x1993 x1992 x1991 x1990 x1989 x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977
3591.41/3600.36 v -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960
3591.41/3600.36 v -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942
3591.41/3600.36 v -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924
3591.41/3600.36 v -x1923 -x1922 x1921 x1920 x1919 x1918 x1917 x1916 x1915 x1914 x1913 x1912 x1911 x1910 x1909 x1908 x1907 x1906 x1905 -x1904
3591.41/3600.36 v -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886
3591.41/3600.36 v -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868
3591.41/3600.36 v -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850
3591.41/3600.36 v -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 x1841 x1840 x1839 x1838 x1837 x1836 x1835 x1834 x1833 x1832 x1831
3591.41/3600.36 v x1830 x1829 x1828 x1827 x1826 x1825 x1824 x1823 x1822 x1821 x1820 x1819 x1818 x1817 x1816 x1815 -x1814 -x1813 -x1812 -x1811 -x1810
3591.41/3600.36 v -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793
3591.41/3600.36 v -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775
3591.41/3600.36 v -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 x1761 x1760 x1759 x1758 x1757 x1756
3591.41/3600.36 v x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738
3591.41/3600.36 v -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720
3591.41/3600.36 v -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702
3591.41/3600.36 v -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684
3591.41/3600.36 v -x1683 -x1682 x1681 x1680 x1679 x1678 x1677 x1676 x1675 x1674 x1673 x1672 x1671 x1670 x1669 x1668 x1667 -x1666 -x1665 -x1664
3591.41/3600.36 v -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647
3591.41/3600.36 v -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629
3591.41/3600.36 v -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611
3591.41/3600.36 v -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 x1601 x1600 x1599 x1598 x1597 x1596 x1595 x1594 x1593 x1592
3591.41/3600.36 v x1591 x1590 x1589 x1588 x1587 x1586 x1585 x1584 x1583 x1582 x1581 x1580 x1579 x1578 x1577 x1576 x1575 x1574 x1573 x1572 x1571
3591.41/3600.36 v x1570 x1569 x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552
3591.41/3600.36 v -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535
3591.41/3600.36 v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 x1521 x1520 x1519 x1518 x1517 x1516
3591.41/3600.36 v x1515 x1514 x1513 x1512 x1511 x1510 x1509 x1508 x1507 x1506 x1505 x1504 x1503 x1502 x1501 x1500 x1499 x1498 x1497 x1496 x1495
3591.41/3600.36 v x1494 x1493 x1492 x1491 x1490 x1489 x1488 x1487 x1486 x1485 x1484 x1483 x1482 x1481 x1480 x1479 x1478 x1477 x1476 x1475 -x1474
3591.41/3600.36 v -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456
3591.41/3600.36 v -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 x1441 x1440 x1439 x1438
3591.41/3600.36 v x1437 x1436 x1435 x1434 x1433 x1432 x1431 x1430 x1429 x1428 x1427 x1426 x1425 x1424 x1423 x1422 x1421 x1420 x1419 x1418 x1417
3591.41/3600.36 v x1416 x1415 x1414 x1413 x1412 x1411 x1410 x1409 x1408 x1407 x1406 x1405 x1404 x1403 x1402 x1401 x1400 x1399 x1398 x1397 x1396
3591.41/3600.36 v x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378
3591.41/3600.36 v -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 x1361 x1360
3591.41/3600.36 v x1359 x1358 x1357 x1356 x1355 x1354 x1353 x1352 x1351 x1350 x1349 x1348 x1347 x1346 x1345 x1344 x1343 x1342 x1341 x1340 x1339
3591.41/3600.36 v x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 x1324 -x1323 -x1322 -x1321
3591.41/3600.36 v -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303
3591.41/3600.36 v -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285
3591.41/3600.36 v -x1284 -x1283 -x1282 x1281 x1280 x1279 x1278 x1277 x1276 x1275 x1274 x1273 x1272 x1271 x1270 x1269 x1268 x1267 x1266 x1265
3591.41/3600.36 v x1264 x1263 x1262 x1261 x1260 x1259 x1258 x1257 x1256 x1255 x1254 x1253 x1252 x1251 x1250 x1249 x1248 x1247 x1246 x1245 x1244
3591.41/3600.36 v x1243 x1242 x1241 x1240 x1239 x1238 x1237 x1236 x1235 x1234 x1233 x1232 x1231 x1230 x1229 x1228 x1227 x1226 x1225 x1224 x1223
3591.41/3600.36 v x1222 x1221 x1220 x1219 x1218 x1217 x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204
3591.41/3600.36 v -x1203 -x1202 x1201 x1200 x1199 x1198 x1197 x1196 x1195 x1194 x1193 x1192 x1191 x1190 x1189 x1188 x1187 x1186 x1185 x1184
3591.41/3600.36 v x1183 x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166
3591.41/3600.36 v -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148
3591.41/3600.36 v -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130
3591.41/3600.36 v -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 x1121 x1120 x1119 x1118 x1117 x1116 x1115 x1114 x1113 x1112 x1111
3591.41/3600.36 v x1110 x1109 x1108 x1107 x1106 x1105 x1104 x1103 x1102 x1101 x1100 x1099 x1098 x1097 x1096 x1095 x1094 x1093 x1092 x1091 x1090
3591.41/3600.36 v x1089 x1088 x1087 x1086 x1085 x1084 x1083 x1082 x1081 x1080 x1079 x1078 x1077 x1076 x1075 -x1074 -x1073 -x1072 -x1071 -x1070
3591.41/3600.36 v -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052
3591.41/3600.36 v -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 x1041 x1040 x1039 x1038 x1037 x1036 x1035 x1034 x1033
3591.41/3600.36 v x1032 x1031 x1030 x1029 x1028 x1027 x1026 x1025 x1024 x1023 x1022 x1021 x1020 x1019 x1018 x1017 -x1016 -x1015 -x1014 -x1013
3591.41/3600.36 v -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994
3591.41/3600.36 v -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973
3591.41/3600.36 v -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 x961 x960 x959 x958 x957 x956 x955 x954 x953 x952 x951
3591.41/3600.36 v x950 x949 x948 x947 x946 x945 x944 x943 x942 x941 x940 x939 x938 x937 x936 x935 x934 x933 x932 x931 x930 x929 x928 x927 x926
3591.41/3600.36 v x925 x924 x923 x922 x921 x920 x919 x918 x917 x916 x915 x914 x913 x912 x911 x910 x909 x908 -x907 -x906 -x905 -x904 -x903 -x902
3591.41/3600.36 v -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 x881
3591.41/3600.36 v x880 x879 x878 x877 x876 x875 x874 x873 x872 x871 x870 x869 x868 x867 x866 x865 x864 x863 x862 x861 x860 x859 x858 x857 x856
3591.41/3600.36 v x855 x854 x853 x852 x851 x850 x849 x848 x847 x846 x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
3591.41/3600.36 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
3591.41/3600.36 v -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 x801 x800 x799 x798 x797 x796 x795 x794 x793 x792 x791 x790 x789
3591.41/3600.36 v x788 x787 x786 x785 x784 x783 x782 x781 x780 x779 x778 x777 x776 x775 x774 x773 x772 x771 x770 x769 x768 x767 x766 x765 x764
3591.41/3600.36 v x763 x762 x761 x760 x759 x758 x757 x756 x755 x754 x753 x752 x751 x750 x749 x748 x747 x746 x745 x744 x743 -x742 -x741 -x740
3591.41/3600.36 v -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 x721 x720 x719
3591.41/3600.36 v x718 x717 x716 x715 x714 x713 x712 x711 x710 x709 x708 x707 x706 x705 x704 x703 x702 x701 x700 x699 x698 x697 x696 x695 x694
3591.41/3600.36 v x693 x692 x691 x690 x689 x688 x687 x686 x685 x684 x683 x682 x681 x680 x679 x678 x677 x676 x675 x674 x673 x672 x671 x670 x669
3591.41/3600.36 v x668 x667 x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647
3591.41/3600.36 v -x646 -x645 -x644 -x643 -x642 x641 x640 x639 x638 x637 x636 x635 x634 x633 x632 x631 x630 x629 x628 x627 x626 x625 x624 x623
3591.41/3600.36 v x622 x621 x620 x619 x618 x617 x616 x615 x614 x613 x612 x611 x610 x609 x608 x607 x606 x605 x604 x603 x602 x601 x600 x599 x598
3591.41/3600.36 v x597 x596 x595 x594 x593 x592 x591 x590 x589 x588 x587 x586 x585 x584 x583 x582 x581 x580 x579 x578 x577 x576 x575 x574 x573
3591.41/3600.36 v x572 x571 x570 x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 x561 x560 x559 x558 x557 x556 x555 x554 x553 x552 x551 x550
3591.41/3600.36 v x549 x548 x547 x546 x545 x544 x543 x542 x541 x540 x539 x538 x537 x536 x535 x534 x533 x532 x531 x530 x529 x528 x527 x526 x525
3591.41/3600.36 v x524 x523 x522 x521 x520 x519 x518 x517 x516 x515 x514 x513 x512 x511 x510 x509 x508 x507 x506 x505 x504 x503 x502 -x501 -x500
3591.41/3600.36 v -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 x481 x480 x479
3591.41/3600.36 v x478 x477 x476 x475 x474 x473 x472 x471 x470 x469 x468 x467 x466 x465 x464 x463 x462 x461 x460 x459 x458 x457 x456 x455 x454
3591.41/3600.36 v x453 x452 x451 x450 x449 x448 x447 x446 x445 x444 x443 x442 x441 x440 x439 x438 x437 x436 x435 x434 x433 x432 x431 x430 x429
3591.41/3600.36 v x428 x427 x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407
3591.41/3600.36 v -x406 -x405 -x404 -x403 -x402 x401 x400 x399 x398 x397 x396 x395 x394 x393 x392 x391 x390 x389 x388 x387 x386 x385 x384
3591.41/3600.36 v x383 x382 x381 x380 x379 x378 x377 x376 x375 x374 x373 x372 x371 x370 x369 x368 x367 x366 x365 x364 x363 x362 x361 x360 x359
3591.41/3600.36 v x358 x357 x356 x355 x354 x353 x352 x351 x350 x349 x348 x347 x346 x345 x344 x343 x342 x341 x340 x339 x338 x337 -x336 x335 x334
3591.41/3600.36 v -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 x321 x320 x319 x318 x317 x316 x315 x314 x313 x312 x311
3591.41/3600.36 v x310 x309 x308 x307 x306 x305 x304 x303 x302 x301 x300 x299 x298 x297 x296 x295 x294 x293 x292 x291 x290 x289 x288 x287 x286
3591.41/3600.36 v x285 x284 x283 x282 x281 x280 x279 x278 x277 x276 x275 x274 x273 x272 x271 x270 x269 x268 x267 x266 x265 x264 x263 x262 x261
3591.41/3600.36 v x260 x259 x258 x257 x256 x255 x254 x253 x252 x251 x250 x249 x248 x247 x246 x245 x244 x243 x242 x241 x240 x239 x238 x237 x236
3591.41/3600.36 v x235 x234 x233 x232 x231 x230 x229 x228 x227 x226 x225 x224 x223 x222 x221 x220 x219 x218 x217 x216 x215 x214 x213 x212 x211
3591.41/3600.36 v x210 x209 x208 x207 x206 x205 x204 x203 x202 x201 x200 x199 x198 x197 x196 x195 x194 x193 x192 x191 x190 x189 x188 x187 x186
3591.41/3600.36 v x185 x184 x183 x182 x181 x180 x179 x178 x177 x176 x175 x174 x173 x172 x171 x170 x169 x168 x167 x166 x165 x164 x163 x162 x161
3591.41/3600.36 v x160 x159 x158 x157 x156 x155 x154 x153 x152 x151 x150 x149 x148 x147 x146 x145 x144 x143 x142 x141 x140 x139 x138 x137 x136
3591.41/3600.36 v x135 x134 x133 x132 x131 x130 x129 x128 x127 x126 x125 x124 x123 x122 x121 x120 x119 x118 x117 x116 x115 x114 x113 x112 x111
3591.41/3600.36 v x110 x109 x108 x107 x106 x105 x104 x103 x102 x101 x100 x99 x98 x97 x96 x95 x94 x93 x92 x91 x90 x89 x88 x87 x86 x85 x84 -x83
3591.41/3600.36 v -x82 x81 x80 x79 x78 x77 x76 x75 x74 x73 x72 x71 x70 x69 x68 x67 x66 x65 x64 x63 x62 x61 x60 x59 x58 x57 x56 x55 x54 x53 x52
3591.52/3600.44 v x51 x50 x49 x48 x47 x46 x45 x44 x43 x42 x41 x40 x39 x38 x37 x36 x35 x34 x33 x32 x31 x30 x29 x28 x27 x26 x25 x24 x23 x22 x21
3591.52/3600.44 v x20 x19 x18 x17 x16 x15 x14 x13 x12 x11 x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (62942 MiB free)
memory of node 1: 64510 MiB (61562 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426809-1720905823/watcher-4426809-1720905823 -o /tmp/evaluation-result-4426809-1720905823/solver-4426809-1720905823 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1720905425-723037 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4426809-1720905823.wbo -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=724094, runsolver pid=724091
[startup+0.100094 s]*
/proc/loadavg: 4.14 3.86 3.46 5/262 724095
/proc/meminfo: memFree=127427540/131524600 swapFree=131071996/131071996
[pid=724094] ppid=724091 vsize=85536 memory=74136 CPUtime=0.09 cores=4,6
/proc/724094/stat : 724094 (fscip) R 724091 724094 720886 0 -1 4194304 16360 0 0 0 8 1 0 0 20 0 1 0 142746436 87588864 18534 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
/proc/724094/statm: 21384 18534 2558 3032 0 17784 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 85536 KiB
Current children cumulated memory: 74136 KiB
[startup+0.205654 s]*
/proc/loadavg: 4.14 3.86 3.46 5/262 724095
/proc/meminfo: memFree=127382516/131524600 swapFree=131071996/131071996
[pid=724094] ppid=724091 vsize=134312 memory=118728 CPUtime=0.2 cores=4,6
/proc/724094/stat : 724094 (fscip) R 724091 724094 720886 0 -1 4194304 27426 0 0 0 17 3 0 0 20 0 1 0 142746436 137535488 29682 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
/proc/724094/statm: 33578 29682 2622 3032 0 29978 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 134312 KiB
Current children cumulated memory: 118728 KiB
[startup+0.305454 s]*
/proc/loadavg: 4.14 3.86 3.46 5/262 724095
/proc/meminfo: memFree=127376120/131524600 swapFree=131071996/131071996
[pid=724094] ppid=724091 vsize=143496 memory=125792 CPUtime=0.3 cores=4,6
/proc/724094/stat : 724094 (fscip) R 724091 724094 720886 0 -1 4194304 29146 0 0 0 26 4 0 0 20 0 1 0 142746436 146939904 31448 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
/proc/724094/statm: 35874 31448 2654 3032 0 32274 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 143496 KiB
Current children cumulated memory: 125792 KiB
[startup+0.700227 s]
/proc/loadavg: 4.14 3.86 3.46 5/262 724095
/proc/meminfo: memFree=127370308/131524600 swapFree=131071996/131071996
[pid=724094] ppid=724091 vsize=148480 memory=130392 CPUtime=0.69 cores=4,6
/proc/724094/stat : 724094 (fscip) R 724091 724094 720886 0 -1 4194304 30304 0 0 0 65 4 0 0 20 0 1 0 142746436 152043520 32598 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
/proc/724094/statm: 37120 32598 2670 3032 0 33520 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 148480 KiB
Current children cumulated memory: 130392 KiB
[startup+1.50024 s]
/proc/loadavg: 4.14 3.86 3.46 5/262 724095
/proc/meminfo: memFree=127369624/131524600 swapFree=131071996/131071996
[pid=724094] ppid=724091 vsize=149112 memory=130920 CPUtime=1.49 cores=4,6
/proc/724094/stat : 724094 (fscip) R 724091 724094 720886 0 -1 4194304 30479 0 0 0 145 4 0 0 20 0 1 0 142746436 152690688 32730 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
/proc/724094/statm: 37278 32730 2670 3032 0 33678 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 149112 KiB
Current children cumulated memory: 130920 KiB
[startup+3.10562 s]
/proc/loadavg: 4.13 3.87 3.46 5/262 724095
/proc/meminfo: memFree=127366852/131524600 swapFree=131071996/131071996
[pid=724094] ppid=724091 vsize=149512 memory=131448 CPUtime=3.09 cores=4,6
/proc/724094/stat : 724094 (fscip) R 724091 724094 720886 0 -1 4194304 30586 0 0 0 305 4 0 0 20 0 1 0 142746436 153100288 32862 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
/proc/724094/statm: 37378 32862 2670 3032 0 33778 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 149512 KiB
Current children cumulated memory: 131448 KiB
[startup+6.30024 s]
/proc/loadavg: 4.13 3.87 3.46 5/264 724100
/proc/meminfo: memFree=127082840/131524600 swapFree=131071996/131071996
[pid=724094] ppid=724091 vsize=536664 memory=413876 CPUtime=6.27 cores=4,6
/proc/724094/stat : 724094 (fscip) S 724091 724094 720886 0 -1 1077936128 119831 0 0 0 612 15 0 0 20 0 3 0 142746436 549543936 103469 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
/proc/724094/statm: 134166 103469 2718 3032 0 129530 0
[pid=724094/tid=724096] ppid=724091 vsize=536664 memory=18947 CPUtime=2.82 cores=4,6
/proc/724094/task/724096/stat : 724096 (fscip) R 724091 724094 720886 0 -1 4194368 41216 0 0 0 279 3 0 0 20 0 3 0 142746775 549543936 103469 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
[pid=724094/tid=724097] ppid=724091 vsize=536664 memory=11604 CPUtime=0 cores=4,6
/proc/724094/task/724097/stat : 724097 (fscip) S 724091 724094 720886 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 142746789 549543936 103469 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 536664 KiB
Current children cumulated memory: 413876 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 3.87 3.47 5/264 724100
/proc/meminfo: memFree=127080352/131524600 swapFree=131071996/131071996
[pid=724094] ppid=724091 vsize=536664 memory=416144 CPUtime=12.65 cores=4,6
/proc/724094/stat : 724094 (fscip) S 724091 724094 720886 0 -1 1077936128 150032 0 0 0 1248 17 0 0 20 0 3 0 142746436 549543936 104036 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
/proc/724094/statm: 134166 104036 2718 3032 0 130093 0
[pid=724094/tid=724096] ppid=724091 vsize=536664 memory=415120 CPUtime=9.21 cores=4,6
/proc/724094/task/724096/stat : 724096 (fscip) R 724091 724094 720886 0 -1 4194368 71407 0 0 0 915 6 0 0 20 0 3 0 142746775 549543936 104036 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
[pid=724094/tid=724097] ppid=724091 vsize=536664 memory=415120 CPUtime=0 cores=4,6
/proc/724094/task/724097/stat : 724097 (fscip) S 724091 724094 720886 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 142746789 549543936 104036 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 536664 KiB
Current children cumulated memory: 416144 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 3.88 3.48 5/264 724102
/proc/meminfo: memFree=127066008/131524600 swapFree=131071996/131071996
[pid=724094] ppid=724091 vsize=602200 memory=419248 CPUtime=25.42 cores=4,6
/proc/724094/stat : 724094 (fscip) S 724091 724094 720886 0 -1 1077936128 188833 0 0 0 2522 20 0 0 20 0 3 0 142746436 616652800 104812 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
/proc/724094/statm: 150550 104812 2718 3032 0 130862 0
[pid=724094/tid=724096] ppid=724091 vsize=602200 memory=419248 CPUtime=21.98 cores=4,6
/proc/724094/task/724096/stat : 724096 (fscip) R 724091 724094 720886 0 -1 4194368 110194 0 0 0 2189 9 0 0 20 0 3 0 142746775 616652800 104812 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
[pid=724094/tid=724097] ppid=724091 vsize=602200 memory=418220 CPUtime=0 cores=4,6
/proc/724094/task/724097/stat : 724097 (fscip) S 724091 724094 720886 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 142746789 616652800 104812 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 602200 KiB
Current children cumulated memory: 419248 KiB
[startup+51.1054 s]
/proc/loadavg: 4.13 3.90 3.50 5/264 724107
/proc/meminfo: memFree=127041912/131524600 swapFree=131071996/131071996
[pid=724094] ppid=724091 vsize=602200 memory=424636 CPUtime=50.95 cores=4,6
/proc/724094/stat : 724094 (fscip) S 724091 724094 720886 0 -1 1077936128 244896 0 0 0 5070 25 0 0 20 0 3 0 142746436 616652800 106159 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
/proc/724094/statm: 150550 106159 2718 3032 0 132142 0
[pid=724094/tid=724096] ppid=724091 vsize=602200 memory=11604 CPUtime=47.51 cores=4,6
/proc/724094/task/724096/stat : 724096 (fscip) R 724091 724094 720886 0 -1 4194368 166243 0 0 0 4737 14 0 0 20 0 3 0 142746775 616652800 106159 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
[pid=724094/tid=724097] ppid=724091 vsize=602200 memory=422336 CPUtime=0 cores=4,6
/proc/724094/task/724097/stat : 724097 (fscip) S 724091 724094 720886 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 142746789 616652800 106159 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 602200 KiB
Current children cumulated memory: 424636 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 3.92 3.53 5/263 725019
/proc/meminfo: memFree=127110300/131524600 swapFree=131071996/131071996
[pid=724094] ppid=724091 vsize=668884 memory=498812 CPUtime=102.02 cores=4,6
/proc/724094/stat : 724094 (fscip) S 724091 724094 720886 0 -1 1077936128 308312 0 0 0 10172 30 0 0 20 0 3 0 142746436 684937216 124703 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
/proc/724094/statm: 167221 124703 2894 3032 0 152959 0
[pid=724094/tid=724096] ppid=724091 vsize=668884 memory=11604 CPUtime=98.57 cores=4,6
/proc/724094/task/724096/stat : 724096 (fscip) R 724091 724094 720886 0 -1 4194368 224212 0 0 0 9838 19 0 0 20 0 3 0 142746775 684937216 124703 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
[pid=724094/tid=724097] ppid=724091 vsize=668884 memory=498812 CPUtime=0 cores=4,6
/proc/724094/task/724097/stat : 724097 (fscip) S 724091 724094 720886 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 3 0 142746789 684937216 124703 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 668884 KiB
Current children cumulated memory: 498812 KiB
[startup+162.3 s]
/proc/loadavg: 4.01 3.94 3.56 5/262 725029
/proc/meminfo: memFree=124365940/131524600 swapFree=131071996/131071996
[pid=724094] ppid=724091 vsize=736208 memory=562696 CPUtime=161.85 cores=4,6
/proc/724094/stat : 724094 (fscip) S 724091 724094 720886 0 -1 1077936128 373754 0 0 0 16148 37 0 0 20 0 3 0 142746436 753876992 140674 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
/proc/724094/statm: 184052 140674 2910 3032 0 168758 0
[pid=724094/tid=724096] ppid=724091 vsize=736208 memory=498832 CPUtime=158.38 cores=4,6
/proc/724094/task/724096/stat : 724096 (fscip) R 724091 724094 720886 0 -1 4194368 284030 0 0 0 15813 25 0 0 20 0 3 0 142746775 753876992 140674 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
[pid=724094/tid=724097] ppid=724091 vsize=736208 memory=562696 CPUtime=0 cores=4,6
/proc/724094/task/724097/stat : 724097 (fscip) S 724091 724094 720886 0 -1 1077936192 68 0 0 0 0 0 0 0 20 0 3 0 142746789 753876992 140674 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 736208 KiB
Current children cumulated memory: 562696 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.00 3.61 5/262 725040
/proc/meminfo: memFree=124289368/131524600 swapFree=131071996/131071996
[pid=724094] ppid=724091 vsize=801744 memory=615420 CPUtime=221.7 cores=4,6
/proc/724094/stat : 724094 (fscip) S 724091 724094 720886 0 -1 1077936128 433963 0 0 0 22129 41 0 0 20 0 3 0 142746436 820985856 153855 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
/proc/724094/statm: 200436 153855 2990 3032 0 182261 0
[pid=724094/tid=724096] ppid=724091 vsize=801744 memory=615052 CPUtime=218.23 cores=4,6
/proc/724094/task/724096/stat : 724096 (fscip) R 724091 724094 720886 0 -1 4194368 344209 0 0 0 21793 30 0 0 20 0 3 0 142746775 820985856 153855 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
[pid=724094/tid=724097] ppid=724091 vsize=801744 memory=11604 CPUtime=0 cores=4,6
/proc/724094/task/724097/stat : 724097 (fscip) S 724091 724094 720886 0 -1 1077936192 71 0 0 0 0 0 0 0 20 0 3 0 142746789 820985856 153855 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 801744 KiB
Current children cumulated memory: 615420 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.01 3.64 5/261 725264
/proc/meminfo: memFree=123514424/131524600 swapFree=131071996/131071996
[pid=724094] ppid=724091 vsize=807232 memory=635096 CPUtime=281.58 cores=4,6
/proc/724094/stat : 724094 (fscip) S 724091 724094 720886 0 -1 1077936128 511676 0 0 0 28110 48 0 0 20 0 3 0 142746436 826605568 158774 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
/proc/724094/statm: 201808 158774 3310 3032 0 187399 0
[pid=724094/tid=724096] ppid=724091 vsize=807232 memory=616984 CPUtime=278.07 cores=4,6
/proc/724094/task/724096/stat : 724096 (fscip) R 724091 724094 720886 0 -1 4194368 411276 0 0 0 27772 35 0 0 20 0 3 0 142746775 826605568 158774 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
[pid=724094/tid=724097] ppid=724091 vsize=807232 memory=11604 CPUtime=0 cores=4,6
################
# More data... #
################
[pid=724094] ppid=724091 vsize=1271752 memory=1150612 CPUtime=3394 cores=4,6
/proc/724094/stat : 724094 (fscip) S 724091 724094 720886 0 -1 1077936128 1760521 0 0 0 339249 151 0 0 20 0 3 0 142746436 1302274048 287653 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
/proc/724094/statm: 317938 287653 3310 3032 0 298743 0
[pid=724094/tid=724096] ppid=724091 vsize=1271752 memory=1144872 CPUtime=3390.35 cores=4,6
/proc/724094/task/724096/stat : 724096 (fscip) R 724091 724094 720886 0 -1 4194368 1630483 0 0 0 338902 133 0 0 20 0 3 0 142746775 1302274048 287653 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
[pid=724094/tid=724097] ppid=724091 vsize=1271752 memory=11604 CPUtime=0.03 cores=4,6
/proc/724094/task/724097/stat : 724097 (fscip) S 724091 724094 720886 0 -1 1077936192 319 0 0 0 1 2 0 0 20 0 3 0 142746789 1302274048 287653 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
Current children cumulated CPU time: 3394 s
Current children cumulated vsize: 1271752 KiB
Current children cumulated memory: 1150612 KiB
[startup+3462.3 s]
/proc/loadavg: 4.35 4.20 4.11 5/262 726996
/proc/meminfo: memFree=118739744/131524600 swapFree=131071996/131071996
[pid=724094] ppid=724091 vsize=1337288 memory=1231896 CPUtime=3453.82 cores=4,6
/proc/724094/stat : 724094 (fscip) S 724091 724094 720886 0 -1 1077936128 1799242 0 0 0 345227 155 0 0 20 0 3 0 142746436 1369382912 307974 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
/proc/724094/statm: 334322 307974 3310 3032 0 319344 0
[pid=724094/tid=724096] ppid=724091 vsize=1337288 memory=1144872 CPUtime=3450.17 cores=4,6
/proc/724094/task/724096/stat : 724096 (fscip) R 724091 724094 720886 0 -1 4194368 1669182 0 0 0 344880 137 0 0 20 0 3 0 142746775 1369382912 307974 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
[pid=724094/tid=724097] ppid=724091 vsize=1337288 memory=1150484 CPUtime=0.03 cores=4,6
/proc/724094/task/724097/stat : 724097 (fscip) S 724091 724094 720886 0 -1 1077936192 319 0 0 0 1 2 0 0 20 0 3 0 142746789 1369382912 307974 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
Current children cumulated CPU time: 3453.82 s
Current children cumulated vsize: 1337288 KiB
Current children cumulated memory: 1231896 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.17 4.11 5/260 727100
/proc/meminfo: memFree=119604724/131524600 swapFree=131071996/131071996
[pid=724094] ppid=724091 vsize=1337288 memory=1233480 CPUtime=3513.65 cores=4,6
/proc/724094/stat : 724094 (fscip) S 724091 724094 720886 0 -1 1077936128 1820653 0 0 0 351207 158 0 0 20 0 3 0 142746436 1369382912 308370 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
/proc/724094/statm: 334322 308370 3310 3032 0 319344 0
[pid=724094/tid=724096] ppid=724091 vsize=1337288 memory=1150484 CPUtime=3510 cores=4,6
/proc/724094/task/724096/stat : 724096 (fscip) R 724091 724094 720886 0 -1 4194368 1690568 0 0 0 350860 140 0 0 20 0 3 0 142746775 1369382912 308370 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
[pid=724094/tid=724097] ppid=724091 vsize=1337288 memory=1233276 CPUtime=0.03 cores=4,6
/proc/724094/task/724097/stat : 724097 (fscip) S 724091 724094 720886 0 -1 1077936192 321 0 0 0 1 2 0 0 20 0 3 0 142746789 1369382912 308370 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
Current children cumulated CPU time: 3513.65 s
Current children cumulated vsize: 1337288 KiB
Current children cumulated memory: 1233480 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.17 4.11 5/262 727112
/proc/meminfo: memFree=119309876/131524600 swapFree=131071996/131071996
[pid=724094] ppid=724091 vsize=1337288 memory=1233480 CPUtime=3573.46 cores=4,6
/proc/724094/stat : 724094 (fscip) S 724091 724094 720886 0 -1 1077936128 1827947 0 0 0 357188 158 0 0 20 0 3 0 142746436 1369382912 308370 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
/proc/724094/statm: 334322 308370 3310 3032 0 319344 0
[pid=724094/tid=724096] ppid=724091 vsize=1337288 memory=1150484 CPUtime=3569.81 cores=4,6
/proc/724094/task/724096/stat : 724096 (fscip) R 724091 724094 720886 0 -1 4194368 1697837 0 0 0 356841 140 0 0 20 0 3 0 142746775 1369382912 308370 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
[pid=724094/tid=724097] ppid=724091 vsize=1337288 memory=1233480 CPUtime=0.03 cores=4,6
/proc/724094/task/724097/stat : 724097 (fscip) S 724091 724094 720886 0 -1 1077936192 323 0 0 0 1 2 0 0 20 0 3 0 142746789 1369382912 308370 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
Current children cumulated CPU time: 3573.46 s
Current children cumulated vsize: 1337288 KiB
Current children cumulated memory: 1233480 KiB
[startup+3600.46 s]
# the end of solver process 724094 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.96 s, system=1.61555 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.16 4.17 4.11 5/262 727112
/proc/meminfo: memFree=119309916/131524600 swapFree=131071996/131071996
[pid=724094] ppid=724091 vsize=1337288 memory=1233480 CPUtime=3575.16 cores=4,6
/proc/724094/stat : 724094 (fscip) S 724091 724094 720886 0 -1 1077936128 1827955 0 0 0 357358 158 0 0 20 0 3 0 142746436 1369382912 308370 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
/proc/724094/statm: 334322 308370 3310 3032 0 319344 0
[pid=724094/tid=724096] ppid=724091 vsize=1337288 memory=6720666566675348592 CPUtime=3571.51 cores=4,6
/proc/724094/task/724096/stat : 724096 (fscip) R 724091 724094 720886 0 -1 4194368 1697845 0 0 0 357011 140 0 0 20 0 3 0 142746775 1369382912 308370 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
[pid=724094/tid=724097] ppid=724091 vsize=1337288 memory=33296 CPUtime=0.03 cores=4,6
/proc/724094/task/724097/stat : 724097 (fscip) S 724091 724094 720886 0 -1 1077936192 323 0 0 0 1 2 0 0 20 0 3 0 142746789 1369382912 308370 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
Current children cumulated CPU time: 3575.16 s
Current children cumulated vsize: 1337288 KiB
Current children cumulated memory: 1233480 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.17 4.11 4/253 727144
/proc/meminfo: memFree=119931924/131524600 swapFree=131071996/131071996
[pid=724094] ppid=724091 vsize=1337288 memory=1233480 CPUtime=3581.54 cores=4,6
/proc/724094/stat : 724094 (fscip) S 724091 724094 720886 0 -1 1077936128 1827979 0 0 0 357996 158 0 0 20 0 3 0 142746436 1369382912 308370 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
/proc/724094/statm: 334322 308370 3310 3032 0 319344 0
[pid=724094/tid=724096] ppid=724091 vsize=1337288 memory=1233480 CPUtime=3577.88 cores=4,6
/proc/724094/task/724096/stat : 724096 (fscip) R 724091 724094 720886 0 -1 4194368 1697869 0 0 0 357648 140 0 0 20 0 3 0 142746775 1369382912 308370 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
[pid=724094/tid=724097] ppid=724091 vsize=1337288 memory=1233480 CPUtime=0.03 cores=4,6
/proc/724094/task/724097/stat : 724097 (fscip) S 724091 724094 720886 0 -1 1077936192 323 0 0 0 1 2 0 0 20 0 3 0 142746789 1369382912 308370 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
Current children cumulated CPU time: 3581.54 s
Current children cumulated vsize: 1337288 KiB
Current children cumulated memory: 1233480 KiB
[startup+3596.8 s]
/proc/loadavg: 4.05 4.15 4.10 4/253 727146
/proc/meminfo: memFree=119929884/131524600 swapFree=131071996/131071996
[pid=724094] ppid=724091 vsize=1337288 memory=1233480 CPUtime=3587.92 cores=4,6
/proc/724094/stat : 724094 (fscip) S 724091 724094 720886 0 -1 1077936128 1828034 0 0 0 358634 158 0 0 20 0 3 0 142746436 1369382912 308370 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
/proc/724094/statm: 334322 308370 3310 3032 0 319344 0
[pid=724094/tid=724096] ppid=724091 vsize=1337288 memory=1233480 CPUtime=3584.26 cores=4,6
/proc/724094/task/724096/stat : 724096 (fscip) R 724091 724094 720886 0 -1 4194368 1697923 0 0 0 358286 140 0 0 20 0 3 0 142746775 1369382912 308370 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
[pid=724094/tid=724097] ppid=724091 vsize=1337288 memory=12576 CPUtime=0.03 cores=4,6
/proc/724094/task/724097/stat : 724097 (fscip) S 724091 724094 720886 0 -1 1077936192 324 0 0 0 1 2 0 0 20 0 3 0 142746789 1369382912 308370 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
Current children cumulated CPU time: 3587.92 s
Current children cumulated vsize: 1337288 KiB
Current children cumulated memory: 1233480 KiB
[startup+3598.4 s]
/proc/loadavg: 3.97 4.13 4.09 4/253 727146
/proc/meminfo: memFree=119929812/131524600 swapFree=131071996/131071996
[pid=724094] ppid=724091 vsize=1337288 memory=1233480 CPUtime=3589.51 cores=4,6
/proc/724094/stat : 724094 (fscip) S 724091 724094 720886 0 -1 1077936128 1828038 0 0 0 358793 158 0 0 20 0 3 0 142746436 1369382912 308370 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
/proc/724094/statm: 334322 308370 3310 3032 0 319344 0
[pid=724094/tid=724096] ppid=724091 vsize=1337288 memory=35572 CPUtime=3585.86 cores=4,6
/proc/724094/task/724096/stat : 724096 (fscip) R 724091 724094 720886 0 -1 4194368 1697925 0 0 0 358446 140 0 0 20 0 3 0 142746775 1369382912 308370 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
[pid=724094/tid=724097] ppid=724091 vsize=1337288 memory=12576 CPUtime=0.03 cores=4,6
/proc/724094/task/724097/stat : 724097 (fscip) S 724091 724094 720886 0 -1 1077936192 324 0 0 0 1 2 0 0 20 0 3 0 142746789 1369382912 308370 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
Current children cumulated CPU time: 3589.51 s
Current children cumulated vsize: 1337288 KiB
Current children cumulated memory: 1233480 KiB
[startup+3599.2 s]
/proc/loadavg: 3.97 4.13 4.09 4/253 727146
/proc/meminfo: memFree=119929800/131524600 swapFree=131071996/131071996
[pid=724094] ppid=724091 vsize=1337288 memory=1233480 CPUtime=3590.31 cores=4,6
/proc/724094/stat : 724094 (fscip) S 724091 724094 720886 0 -1 1077936128 1828038 0 0 0 358873 158 0 0 20 0 3 0 142746436 1369382912 308370 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
/proc/724094/statm: 334322 308370 3310 3032 0 319344 0
[pid=724094/tid=724096] ppid=724091 vsize=1337288 memory=11604 CPUtime=3586.66 cores=4,6
/proc/724094/task/724096/stat : 724096 (fscip) R 724091 724094 720886 0 -1 4194368 1697925 0 0 0 358526 140 0 0 20 0 3 0 142746775 1369382912 308370 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
[pid=724094/tid=724097] ppid=724091 vsize=1337288 memory=35572 CPUtime=0.03 cores=4,6
/proc/724094/task/724097/stat : 724097 (fscip) S 724091 724094 720886 0 -1 1077936192 324 0 0 0 1 2 0 0 20 0 3 0 142746789 1369382912 308370 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
Current children cumulated CPU time: 3590.31 s
Current children cumulated vsize: 1337288 KiB
Current children cumulated memory: 1233480 KiB
[startup+3600 s]*
/proc/loadavg: 3.97 4.13 4.09 4/253 727146
/proc/meminfo: memFree=119929808/131524600 swapFree=131071996/131071996
[pid=724094] ppid=724091 vsize=1337288 memory=1233480 CPUtime=3591.11 cores=4,6
/proc/724094/stat : 724094 (fscip) S 724091 724094 720886 0 -1 1077936128 1828127 0 0 0 358953 158 0 0 20 0 3 0 142746436 1369382912 308370 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
/proc/724094/statm: 334322 308370 3310 3032 0 319344 0
[pid=724094/tid=724096] ppid=724091 vsize=1337288 memory=6720665462868622447 CPUtime=3587.46 cores=4,6
/proc/724094/task/724096/stat : 724096 (fscip) R 724091 724094 720886 0 -1 4194368 1698014 0 0 0 358606 140 0 0 20 0 3 0 142746775 1369382912 308370 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
[pid=724094/tid=724097] ppid=724091 vsize=1337288 memory=-8693842191916122014 CPUtime=0.03 cores=4,6
/proc/724094/task/724097/stat : 724097 (fscip) S 724091 724094 720886 0 -1 1077936192 324 0 0 0 1 2 0 0 20 0 3 0 142746789 1369382912 308370 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
Current children cumulated CPU time: 3591.11 s
Current children cumulated vsize: 1337288 KiB
Current children cumulated memory: 1233480 KiB
[startup+3600.4 s]
/proc/loadavg: 3.97 4.13 4.09 4/253 727146
/proc/meminfo: memFree=119929808/131524600 swapFree=131071996/131071996
[pid=724094] ppid=724091 vsize=1200568 memory=1088408 CPUtime=3591.52 cores=4,6
/proc/724094/stat : 724094 (fscip) R 724091 724094 720886 0 -1 4194304 1838701 0 0 0 358992 160 0 0 20 0 2 0 142746436 1229381632 272102 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
/proc/724094/statm: 300142 272102 3310 3032 0 295138 0
[pid=724094/tid=724097] ppid=724091 vsize=1200568 memory=1233480 CPUtime=0.03 cores=4,6
/proc/724094/task/724097/stat : 724097 (fscip) S 724091 724094 720886 0 -1 1077936192 324 0 0 0 1 2 0 0 20 0 2 0 142746789 1229381632 272102 134679101440 4194304 16613245 140735794153968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33804288 140735794156513 140735794156629 140735794156629 140735794163696 0
Current children cumulated CPU time: 3591.52 s
Current children cumulated vsize: 1200568 KiB
Current children cumulated memory: 1088408 KiB
Child status: 0
Real time (s): 3600.46
CPU time (s): 3591.58
CPU user time (s): 3589.96
CPU system time (s): 1.61555
CPU usage (%): 99.7534
Max. virtual memory (cumulated for all children) (KiB): 1337288
Max. memory (cumulated for all children) (KiB): 1233480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.96
system time used= 1.61555
maximum resident set size= 1233480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1840309
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= 5842
involuntary context switches= 1602
# summary of solver processes directly reported to runsolver:
# pid: 724094
# total CPU time (s): 3591.58
# total CPU user time (s): 3589.96
# total CPU system time (s): 1.61555
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2457 second user time and 13.4997 second system time
The end
Begin job on nodeC022 at 2024-07-13 23:23:55
IDJOB=4426809
IDBENCH=143831
IDSOLVER=3044
FILE ID=nodeC022/4426809-1720905823
RUNJOBID= nodeC022-1720905425-723037
SLURM_JOB_ID= 7486081
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB10/oliveras/j30/normalized-j3029_8-unsat--soft-33-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-4426809-1720905823/watcher-4426809-1720905823 -o /tmp/evaluation-result-4426809-1720905823/solver-4426809-1720905823 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1720905425-723037 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4426809-1720905823.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ba194272c44599b761eb44cd6c0bfaf3
RANDOM SEED=1401383241
nodeC022.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.578
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3685.131
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.513
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.213
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3670.237
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3685.166
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3659.804
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.145
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127493220 kB
MemAvailable: 128568160 kB
Buffers: 331536 kB
Cached: 1576240 kB
SwapCached: 0 kB
Active: 533156 kB
Inactive: 2908500 kB
Active(anon): 1572 kB
Inactive(anon): 1570064 kB
Active(file): 531584 kB
Inactive(file): 1338436 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28724 kB
Writeback: 0 kB
AnonPages: 1532672 kB
Mapped: 139844 kB
Shmem: 37720 kB
KReclaimable: 89136 kB
Slab: 190160 kB
SReclaimable: 89136 kB
SUnreclaim: 101024 kB
KernelStack: 4252 kB
PageTables: 12340 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1306116 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 54368 kB
HardwareCorrupted: 0 kB
AnonHugePages: 395264 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: 213716 kB
DirectMap2M: 18434048 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 889992 MiB
End job on nodeC022 at 2024-07-14 00:23:56