0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.09/0.13 c Default LC presolving (default).
0.09/0.13 c ** Before presolving: virtualMemUsedAtLc = 128789845, getVmSize() = 103329792, SCIPgetMemUsed() = 72557476, SCIPgetMemTotal() = 78314412, SCIPgetMemExternEstim() = 50475433
0.09/0.13 c ** set memory limit for presolving in LC to 8.79605e+12 for SCIP **
0.88/0.96 c ** Estimated virtualMemUsedAtSolver = 191150031, getVmSize() = 265973760, SCIPgetMemUsed() = 125627502, SCIPgetMemTotal() = 236249614, SCIPgetMemExternEstim() = 50475433
0.88/0.96 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.88/0.96 c Original Problem :
0.88/0.96 c Problem name : instance-4465110-1722389719
0.88/0.96 c Variables : 21485 (21485 binary, 0 integer, 0 implicit integer, 0 continuous)
0.88/0.96 c Constraints : 33299
0.88/0.96 c Objective sense : minimize
0.88/0.96 c Presolved Problem :
0.88/0.96 c Variables : 38109 (21485 binary, 0 integer, 16624 implicit integer, 0 continuous)
0.88/0.96 c Constraints : 33298
0.88/0.96 c Constraints : Number
0.88/0.96 c linear : 16649
0.88/0.96 c indicator : 16649
0.88/0.96 c ** Instance transfer method used: 0
0.98/1.08 c ** ParaScipInstance copy increased the number of variables. **
1.09/1.19 c LC is working with racing ramp-up and with rebuilding tree after racing.
1.09/1.19 c Nodes Active
1.09/1.19 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
11.25/11.42 c * 11 0 1 1 121679.0000 - -
11.25/11.42 c 11 0 1 1 121679.0000 - -
23.47/23.76 c * 24 0 1 1 6067.0000 - -
23.47/23.76 c 24 0 1 1 6067.0000 - -
183.09/183.91 c * 184 0 1 1 2705.0000 - -
183.09/183.91 c 184 0 1 1 2705.0000 - -
203.74/204.61 c 205 2 1 1 2705.0000 0.0000 -
216.00/216.92 c 217 3 2 1 2705.0000 0.0000 -
224.48/225.49 c 225 4 3 1 2705.0000 0.0000 -
236.24/237.22 c 237 5 4 1 2705.0000 0.0000 -
243.42/244.41 c 244 5 6 1 2705.0000 0.0000 -
252.90/253.98 c 254 7 6 1 2705.0000 0.0000 -
261.77/262.87 c 263 8 7 1 2705.0000 0.0000 -
272.44/273.58 c 274 10 9 1 2705.0000 0.0000 -
281.11/282.29 c 282 12 11 1 2705.0000 0.0000 -
295.67/296.83 c * 297 14 13 1 2189.0000 0.0000 -
295.67/296.83 c 297 14 13 1 2189.0000 0.0000 -
296.77/297.95 c * 298 14 13 1 2175.0000 0.0000 -
313.93/315.14 c 315 17 16 1 2175.0000 0.0000 -
325.49/326.74 c * 327 17 16 1 2171.0000 0.0000 -
325.49/326.74 c 327 17 16 1 2171.0000 0.0000 -
345.53/346.87 c 347 21 20 1 2171.0000 0.0000 -
368.26/369.64 c 370 24 23 1 2171.0000 0.0000 -
386.21/387.61 c * 388 26 25 1 1341.0000 0.0000 -
386.21/387.61 c 388 26 25 1 1341.0000 0.0000 -
386.92/388.36 c * 388 26 25 1 1326.0000 0.0000 -
387.72/389.12 c * 389 26 25 1 1319.0000 0.0000 -
390.22/391.69 c * 392 26 25 1 1296.0000 0.0000 -
391.91/393.33 c * 393 26 25 1 1275.0000 0.0000 -
391.91/393.33 c 393 26 25 1 1275.0000 0.0000 -
392.52/393.93 c * 394 26 25 1 1266.0000 0.0000 -
393.12/394.52 c * 395 26 25 1 1242.0000 0.0000 -
393.73/395.14 c * 395 26 25 1 1118.0000 0.0000 -
395.23/396.70 c * 397 26 25 1 1082.0000 0.0000 -
396.23/397.68 c * 398 26 25 1 1081.0000 0.0000 -
400.22/401.64 c 402 28 27 1 1081.0000 0.0000 -
414.77/416.20 c 416 30 29 1 1081.0000 0.0000 -
428.93/430.44 c 430 32 31 1 1081.0000 0.0000 -
434.71/436.26 c 436 34 33 1 1081.0000 0.0000 -
447.87/449.47 c 449 36 35 1 1081.0000 0.0000 -
456.94/458.54 c 459 38 37 1 1081.0000 0.0000 -
466.82/468.46 c 468 41 40 1 1081.0000 0.0000 -
479.08/480.75 c 481 44 43 1 1081.0000 0.0000 -
485.26/486.91 c 487 47 46 1 1081.0000 0.0000 -
492.24/493.99 c 494 48 47 1 1081.0000 0.0000 -
498.12/499.82 c 500 53 54 1 1081.0000 0.0000 -
498.61/500.38 c * 500 53 54 1 1064.0000 0.0000 -
505.21/506.95 c 507 56 55 1 1064.0000 0.0000 -
511.49/513.24 c 513 58 57 1 1064.0000 0.0000 -
517.77/519.53 c 520 67 66 1 1064.0000 0.0000 -
527.14/528.93 c 529 77 76 1 1064.0000 0.0000 -
532.23/534.04 c 534 85 86 1 1064.0000 0.0000 -
532.73/534.58 c * 535 85 86 1 961.0000 0.0000 -
533.33/535.12 c * 535 85 86 1 844.0000 0.0000 -
545.40/547.24 c 547 91 90 1 844.0000 0.0000 -
561.05/562.97 c 563 98 97 1 844.0000 0.0000 -
570.92/572.80 c 573 100 99 1 844.0000 0.0000 -
577.70/579.61 c 580 102 101 1 844.0000 0.0000 -
583.28/585.22 c 585 106 105 1 844.0000 0.0000 -
593.15/595.17 c 595 111 110 1 844.0000 0.0000 -
598.22/600.25 c 600 116 115 1 844.0000 0.0000 -
609.88/611.91 c 612 118 119 1 844.0000 0.0000 -
616.15/618.28 c 618 120 119 1 844.0000 0.0000 -
626.92/629.01 c 629 128 127 1 844.0000 0.0000 -
633.99/636.13 c 636 152 151 1 844.0000 0.0000 -
640.27/642.41 c 642 164 163 1 844.0000 0.0000 -
651.92/654.18 c 654 171 170 1 844.0000 0.0000 -
661.68/663.95 c 664 180 179 1 844.0000 0.0000 -
666.86/669.12 c 669 188 187 1 844.0000 0.0000 -
678.83/681.19 c 681 190 189 1 844.0000 0.0000 -
687.79/690.17 c 690 201 200 1 844.0000 0.0000 -
694.76/697.15 c 697 208 207 1 844.0000 0.0000 -
704.72/707.14 c 707 215 214 1 844.0000 0.0000 -
711.80/714.24 c 714 218 217 1 844.0000 0.0000 -
716.08/718.54 c * 719 219 218 1 801.0000 0.0000 -
716.78/719.24 c * 719 219 218 1 800.0000 0.0000 -
718.08/720.57 c 721 224 223 1 800.0000 0.0000 -
722.17/724.69 c * 725 224 223 1 796.0000 0.0000 -
723.37/725.88 c 726 229 228 1 796.0000 0.0000 -
729.24/731.80 c 732 236 235 1 796.0000 0.0000 -
736.32/738.83 c 739 240 239 1 796.0000 0.0000 -
743.69/746.29 c 746 248 247 1 796.0000 0.0000 -
751.16/753.72 c 754 252 251 1 796.0000 0.0000 -
756.25/758.83 c 759 260 259 1 796.0000 0.0000 -
761.83/764.43 c 764 267 266 1 796.0000 0.0000 -
778.77/781.41 c 781 272 271 1 796.0000 0.0000 -
786.54/789.27 c 789 279 278 1 796.0000 0.0000 -
793.12/795.88 c 796 282 281 1 796.0000 0.0000 -
796.11/798.83 c * 799 282 281 1 754.0000 0.0000 -
800.40/803.16 c 803 290 289 1 754.0000 0.0000 -
807.07/809.80 c 810 301 300 1 754.0000 0.0000 -
813.45/816.28 c 816 308 307 1 754.0000 0.0000 -
823.02/825.89 c 826 316 315 1 754.0000 0.0000 -
828.69/831.53 c 832 323 322 1 754.0000 0.0000 -
838.56/841.49 c 841 332 331 1 754.0000 0.0000 -
844.34/847.23 c 847 338 337 1 754.0000 0.0000 -
850.02/852.92 c 853 344 343 1 754.0000 0.0000 -
859.68/862.60 c 863 352 351 1 754.0000 0.0000 -
865.66/868.67 c 869 356 355 1 754.0000 0.0000 -
871.94/874.94 c 875 368 367 1 754.0000 0.0000 -
881.90/884.97 c 885 371 370 1 754.0000 0.0000 -
888.68/891.72 c 892 374 373 1 754.0000 0.0000 -
903.44/906.57 c 907 383 382 1 754.0000 0.0000 -
914.58/917.78 c 918 387 386 1 754.0000 0.0000 -
922.44/925.62 c 926 391 390 1 754.0000 0.0000 -
927.62/930.80 c 931 397 396 1 754.0000 0.0000 -
934.38/937.61 c 938 400 399 1 754.0000 0.0000 -
939.86/943.19 c 943 411 410 1 754.0000 0.0000 -
948.31/951.67 c 952 412 411 1 754.0000 0.0000 -
954.38/957.72 c 958 415 414 1 754.0000 0.0000 -
965.22/968.66 c 969 417 416 1 754.0000 0.0000 -
971.49/974.93 c 975 423 422 1 754.0000 0.0000 -
977.96/981.49 c 981 429 428 1 754.0000 0.0000 -
984.13/987.63 c 988 433 432 1 754.0000 0.0000 -
991.00/994.51 c 995 436 435 1 754.0000 0.0000 -
1003.54/1007.18 c 1007 442 441 1 754.0000 0.0000 -
1008.91/1012.54 c 1013 443 442 1 754.0000 0.0000 -
1025.06/1028.72 c 1029 447 446 1 754.0000 0.0000 -
1030.54/1034.24 c 1034 448 447 1 754.0000 0.0000 -
1033.23/1036.91 c * 1037 452 451 1 713.0000 0.0000 -
1033.84/1037.56 c * 1038 452 451 1 625.0000 0.0000 -
1034.44/1038.17 c * 1038 452 451 1 564.0000 0.0000 -
1035.14/1038.89 c * 1039 452 451 1 562.0000 0.0000 -
1035.84/1039.54 c * 1040 452 451 1 518.0000 0.0000 -
1035.84/1039.54 c 1040 452 451 1 518.0000 0.0000 -
1041.73/1045.40 c 1045 460 459 1 518.0000 0.0000 -
1047.41/1051.13 c 1051 465 464 1 518.0000 0.0000 -
1062.96/1066.72 c 1067 472 471 1 518.0000 0.0000 -
1069.54/1073.39 c 1073 475 474 1 518.0000 0.0000 -
1074.62/1078.40 c 1078 477 476 1 518.0000 0.0000 -
1080.50/1084.39 c 1084 484 483 1 518.0000 0.0000 -
1085.68/1089.59 c 1090 490 489 1 518.0000 0.0000 -
1102.92/1106.88 c 1107 500 499 1 518.0000 0.0000 -
1110.29/1114.28 c 1114 502 501 1 518.0000 0.0000 -
1118.37/1122.33 c 1122 507 506 1 518.0000 0.0000 -
1124.16/1128.13 c 1128 519 518 1 518.0000 0.0000 -
1129.54/1133.59 c 1134 529 528 1 518.0000 0.0000 -
1139.01/1143.01 c 1143 532 531 1 518.0000 0.0000 -
1144.10/1148.16 c 1148 534 533 1 518.0000 0.0000 -
1150.78/1154.83 c 1155 535 534 1 518.0000 0.0000 -
1156.66/1160.78 c 1161 537 536 1 518.0000 0.0000 -
1166.52/1170.61 c 1171 545 544 1 518.0000 0.0000 -
1173.70/1177.83 c 1178 560 559 1 518.0000 0.0000 -
1179.59/1183.78 c 1184 567 566 1 518.0000 0.0000 -
1185.66/1189.84 c 1190 576 575 1 518.0000 0.0000 -
1191.64/1195.88 c 1196 581 580 1 518.0000 0.0000 -
1199.21/1203.41 c 1203 583 582 1 518.0000 0.0000 -
1204.49/1208.78 c 1209 585 584 1 518.0000 0.0000 -
1212.88/1217.18 c 1217 588 587 1 518.0000 0.0000 -
1225.53/1229.85 c 1230 595 594 1 518.0000 0.0000 -
1230.61/1234.93 c 1235 603 602 1 518.0000 0.0000 -
1235.80/1240.12 c 1240 611 610 1 518.0000 0.0000 -
1241.18/1245.52 c 1246 618 617 1 518.0000 0.0000 -
1246.66/1251.04 c 1251 625 624 1 518.0000 0.0000 -
1253.53/1257.97 c 1258 626 625 1 518.0000 0.0000 -
1263.60/1268.06 c 1268 631 630 1 518.0000 0.0000 -
1274.17/1278.65 c 1279 632 631 1 518.0000 0.0000 -
1282.14/1286.60 c 1287 633 632 1 518.0000 0.0000 -
1291.30/1295.85 c 1296 634 633 1 518.0000 0.0000 -
1297.28/1301.83 c 1302 638 637 1 518.0000 0.0000 -
1303.76/1308.37 c 1308 639 638 1 518.0000 0.0000 -
1315.82/1320.47 c 1320 649 648 1 518.0000 0.0000 -
1317.62/1322.24 c * 1322 652 653 1 501.0000 0.0000 -
1321.51/1326.12 c 1326 658 657 1 501.0000 0.0000 -
1329.87/1334.56 c 1335 659 658 1 501.0000 0.0000 -
1340.74/1345.45 c 1345 665 664 1 501.0000 0.0000 -
1350.70/1355.43 c 1355 670 669 1 501.0000 0.0000 -
1356.98/1361.79 c 1362 674 673 1 501.0000 0.0000 -
1363.26/1368.04 c 1368 679 678 1 501.0000 0.0000 -
1370.93/1375.76 c 1376 684 683 1 501.0000 0.0000 -
1376.12/1380.93 c 1381 686 685 1 501.0000 0.0000 -
1383.70/1388.50 c 1388 690 689 1 501.0000 0.0000 -
1389.68/1394.58 c 1395 698 697 1 501.0000 0.0000 -
1398.25/1403.17 c 1403 701 700 1 501.0000 0.0000 -
1405.92/1410.87 c 1411 705 704 1 501.0000 0.0000 -
1412.30/1417.28 c 1417 712 711 1 501.0000 0.0000 -
1420.97/1425.94 c 1426 716 715 1 501.0000 0.0000 -
1426.85/1431.87 c 1432 721 720 1 501.0000 0.0000 -
1432.03/1437.02 c 1437 726 725 1 501.0000 0.0000 -
1439.31/1444.37 c 1444 728 727 1 501.0000 0.0000 -
1447.78/1452.80 c 1453 733 732 1 501.0000 0.0000 -
1455.25/1460.31 c 1460 750 749 1 501.0000 0.0000 -
1460.23/1465.39 c 1465 753 752 1 501.0000 0.0000 -
1466.41/1471.50 c 1472 760 759 1 501.0000 0.0000 -
1471.80/1476.91 c 1477 766 765 1 501.0000 0.0000 -
1477.08/1482.29 c 1482 774 773 1 501.0000 0.0000 -
1482.65/1487.88 c 1488 781 780 1 501.0000 0.0000 -
1490.73/1495.97 c 1496 785 784 1 501.0000 0.0000 -
1496.82/1502.01 c 1502 795 794 1 501.0000 0.0000 -
1502.39/1507.63 c 1508 800 799 1 501.0000 0.0000 -
1508.37/1513.64 c 1514 808 807 1 501.0000 0.0000 -
1516.54/1521.86 c 1522 812 811 1 501.0000 0.0000 -
1521.73/1527.05 c 1527 816 815 1 501.0000 0.0000 -
1534.47/1539.89 c 1540 819 818 1 501.0000 0.0000 -
1541.35/1546.74 c 1547 821 820 1 501.0000 0.0000 -
1548.73/1554.20 c 1554 827 826 1 501.0000 0.0000 -
1559.60/1565.06 c 1565 828 827 1 501.0000 0.0000 -
1566.47/1571.93 c 1572 833 832 1 501.0000 0.0000 -
1579.72/1585.26 c 1585 834 833 1 501.0000 0.0000 -
1585.80/1591.39 c 1591 839 838 1 501.0000 0.0000 -
1592.17/1597.70 c 1598 842 841 1 501.0000 0.0000 -
1598.06/1603.64 c * 1604 851 850 1 481.0000 0.0000 -
1598.06/1603.64 c 1604 851 850 1 481.0000 0.0000 -
1605.24/1610.83 c 1611 859 858 1 481.0000 0.0000 -
1610.72/1616.35 c 1616 862 861 1 481.0000 0.0000 -
1615.71/1621.39 c 1621 865 864 1 481.0000 0.0000 -
1622.39/1628.03 c 1628 866 865 1 481.0000 0.0000 -
1627.86/1633.59 c 1634 871 870 1 481.0000 0.0000 -
1633.24/1638.91 c 1639 876 873 1 481.0000 0.0000 -
1638.43/1644.12 c 1644 884 881 1 481.0000 0.0000 -
1648.39/1654.14 c 1654 892 889 1 481.0000 0.0000 -
1654.86/1660.60 c 1661 895 892 1 481.0000 0.0000 -
1663.34/1669.12 c 1669 897 894 1 481.0000 0.0000 -
1669.02/1674.83 c 1675 906 903 1 481.0000 0.0000 -
1675.21/1681.00 c 1681 910 907 1 481.0000 0.0000 -
1680.89/1686.75 c * 1687 916 913 1 465.0000 0.0000 -
1680.89/1686.75 c 1687 916 913 1 465.0000 0.0000 -
1686.78/1692.68 c 1693 930 918 1 465.0000 0.0000 -
1693.06/1698.90 c 1699 935 923 1 465.0000 0.0000 -
1703.13/1709.04 c 1709 939 927 1 465.0000 0.0000 -
1709.12/1715.05 c 1715 947 935 1 465.0000 0.0000 -
1714.69/1720.69 c 1721 955 943 1 465.0000 0.0000 -
1723.96/1729.95 c 1730 969 951 1 465.0000 0.0000 -
1729.74/1735.78 c 1736 976 958 1 465.0000 0.0000 -
1735.33/1741.37 c 1741 985 967 1 465.0000 0.0000 -
1740.62/1746.68 c 1747 995 977 1 465.0000 0.0000 -
1741.51/1747.56 c * 1748 995 977 1 417.0000 0.0000 -
1746.60/1752.69 c 1753 1017 943 1 417.0000 0.0000 -
1753.28/1759.35 c 1759 1022 942 1 417.0000 0.0000 -
1759.96/1766.04 c 1766 1023 943 1 417.0000 0.0000 -
1765.54/1771.64 c 1772 1025 945 1 417.0000 0.0000 -
1770.83/1776.99 c 1777 1035 955 1 417.0000 0.0000 -
1778.10/1784.24 c 1784 1045 957 1 417.0000 0.0000 -
1783.49/1789.66 c 1790 1052 962 1 417.0000 0.0000 -
1792.46/1798.63 c 1799 1054 964 1 417.0000 0.0000 -
1803.42/1809.69 c 1810 1057 967 1 417.0000 0.0000 -
1811.81/1818.02 c 1818 1061 971 1 417.0000 0.0000 -
1817.09/1823.31 c 1823 1076 982 1 417.0000 0.0000 -
1823.57/1829.87 c 1830 1082 982 1 417.0000 0.0000 -
1829.86/1836.15 c 1836 1085 985 1 417.0000 0.0000 -
1837.73/1844.00 c 1844 1088 988 1 417.0000 0.0000 -
1847.60/1853.93 c 1854 1092 988 1 417.0000 0.0000 -
1854.88/1861.20 c 1861 1094 990 1 417.0000 0.0000 -
1861.77/1868.16 c 1868 1097 993 1 417.0000 0.0000 -
1867.64/1874.04 c 1874 1104 998 1 417.0000 0.0000 -
1876.12/1882.58 c 1883 1108 998 1 417.0000 0.0000 -
1881.60/1888.02 c 1888 1109 999 1 417.0000 0.0000 -
1886.78/1893.22 c 1893 1113 1003 1 417.0000 0.0000 -
1889.68/1896.18 c * 1896 1126 1008 1 415.0000 0.0000 -
1891.17/1897.70 c * 1898 1130 1012 1 407.0000 0.0000 -
1892.87/1899.31 c 1899 1142 1006 1 407.0000 0.0000 -
1901.94/1908.44 c 1908 1144 1008 1 407.0000 0.0000 -
1910.81/1917.31 c 1917 1147 1011 1 407.0000 0.0000 -
1915.50/1922.01 c * 1922 1149 1013 1 396.0000 0.0000 -
1916.70/1923.28 c 1923 1159 990 1 396.0000 0.0000 -
1921.89/1928.47 c 1928 1168 991 1 396.0000 0.0000 -
1927.97/1934.59 c 1935 1191 1000 1 396.0000 0.0000 -
1938.54/1945.16 c 1945 1202 1005 1 396.0000 0.0000 -
1943.72/1950.30 c 1950 1203 1006 1 396.0000 0.0000 -
1950.01/1956.60 c 1957 1206 1009 1 396.0000 0.0000 -
1957.38/1964.01 c 1964 1214 1017 1 396.0000 0.0000 -
1971.54/1978.29 c 1978 1218 1021 1 396.0000 0.0000 -
1978.71/1985.44 c 1985 1226 1027 1 396.0000 0.0000 -
1991.28/1998.03 c 1998 1227 1028 1 396.0000 0.0000 -
1998.85/2005.64 c 2006 1231 1030 1 396.0000 0.0000 -
2007.43/2014.24 c 2014 1238 1037 1 396.0000 0.0000 -
2014.70/2021.58 c 2022 1244 1041 1 396.0000 0.0000 -
2020.78/2027.66 c 2028 1251 1048 1 396.0000 0.0000 -
2032.94/2039.85 c 2040 1253 1050 1 396.0000 0.0000 -
2050.39/2057.33 c 2057 1254 1051 1 396.0000 0.0000 -
2062.65/2069.60 c 2070 1258 1055 1 396.0000 0.0000 -
2067.73/2074.72 c 2075 1263 1060 1 396.0000 0.0000 -
2075.30/2082.39 c 2082 1264 1061 1 396.0000 0.0000 -
2080.79/2087.86 c 2088 1265 1062 1 396.0000 0.0000 -
2087.48/2094.54 c 2095 1268 1065 1 396.0000 0.0000 -
2094.65/2101.70 c 2102 1271 1068 1 396.0000 0.0000 -
2110.80/2117.96 c 2118 1273 1070 1 396.0000 0.0000 -
2119.28/2126.46 c 2126 1278 1075 1 396.0000 0.0000 -
2124.76/2131.94 c 2132 1283 1080 1 396.0000 0.0000 -
2132.94/2140.15 c 2140 1287 1084 1 396.0000 0.0000 -
2140.11/2147.38 c 2147 1296 1093 1 396.0000 0.0000 -
2154.57/2161.82 c 2162 1304 1101 1 396.0000 0.0000 -
2159.55/2166.87 c 2167 1308 1105 1 396.0000 0.0000 -
2169.02/2176.35 c 2176 1320 1117 1 396.0000 0.0000 -
2174.31/2181.66 c 2182 1334 1131 1 396.0000 0.0000 -
2187.36/2194.70 c 2195 1341 1136 1 396.0000 0.0000 -
2193.54/2200.99 c 2201 1343 1138 1 396.0000 0.0000 -
2206.41/2213.89 c 2214 1350 1145 1 396.0000 0.0000 -
2208.01/2215.47 c * 2215 1352 1149 1 390.0000 0.0000 -
2217.48/2224.96 c 2225 1359 1127 1 390.0000 0.0000 -
2223.36/2230.82 c 2231 1365 1133 1 390.0000 0.0000 -
2233.13/2240.68 c 2241 1368 1136 1 390.0000 0.0000 -
2245.79/2253.32 c 2253 1378 1146 1 390.0000 0.0000 -
2251.87/2259.48 c 2259 1386 1154 1 390.0000 0.0000 -
2262.64/2270.25 c 2270 1388 1156 1 390.0000 0.0000 -
2275.70/2283.30 c 2283 1398 1166 1 390.0000 0.0000 -
2280.98/2288.67 c 2289 1404 1172 1 390.0000 0.0000 -
2288.66/2296.38 c 2296 1406 1174 1 390.0000 0.0000 -
2296.03/2303.72 c 2304 1413 1181 1 390.0000 0.0000 -
2311.99/2319.76 c 2320 1418 1186 1 390.0000 0.0000 -
2324.05/2331.83 c 2332 1422 1190 1 390.0000 0.0000 -
2333.42/2341.25 c 2341 1425 1193 1 390.0000 0.0000 -
2344.09/2351.94 c 2352 1428 1196 1 390.0000 0.0000 -
2364.23/2372.19 c 2372 1431 1199 1 390.0000 0.0000 -
2369.42/2377.37 c 2377 1433 1201 1 390.0000 0.0000 -
2386.85/2394.80 c 2395 1439 1207 1 390.0000 0.0000 -
2392.15/2400.13 c 2400 1440 1208 1 390.0000 0.0000 -
2398.43/2406.45 c 2406 1450 1218 1 390.0000 0.0000 -
2406.21/2414.26 c 2414 1462 1230 1 390.0000 0.0000 -
2412.18/2420.22 c 2420 1474 1242 1 390.0000 0.0000 -
2419.07/2427.13 c 2427 1482 1250 1 390.0000 0.0000 -
2425.24/2433.36 c 2433 1493 1261 1 390.0000 0.0000 -
2431.62/2439.75 c 2440 1502 1270 1 390.0000 0.0000 -
2434.72/2442.85 c * 2443 1505 1273 1 354.0000 0.0000 -
2435.92/2444.05 c * 2444 1505 1273 1 349.0000 0.0000 -
2441.91/2450.02 c 2450 1507 1094 1 349.0000 0.0000 -
2447.78/2455.96 c 2456 1514 1101 1 349.0000 0.0000 -
2453.87/2462.03 c 2462 1523 1110 1 349.0000 0.0000 -
2459.35/2467.57 c 2468 1533 1120 1 349.0000 0.0000 -
2464.43/2472.61 c 2473 1536 1123 1 349.0000 0.0000 -
2474.30/2482.56 c 2483 1542 1129 1 349.0000 0.0000 -
2486.87/2495.18 c 2495 1546 1133 1 349.0000 0.0000 -
2492.85/2501.14 c 2501 1549 1136 1 349.0000 0.0000 -
2498.23/2506.56 c 2507 1559 1146 1 349.0000 0.0000 -
2503.72/2512.01 c 2512 1570 1157 1 349.0000 0.0000 -
2514.58/2522.96 c 2523 1572 1159 1 349.0000 0.0000 -
2525.76/2534.12 c 2534 1573 1160 1 349.0000 0.0000 -
2534.22/2542.68 c 2543 1574 1161 1 349.0000 0.0000 -
2540.71/2549.17 c 2549 1576 1163 1 349.0000 0.0000 -
2550.97/2559.49 c 2559 1578 1165 1 349.0000 0.0000 -
2556.46/2564.94 c 2565 1586 1173 1 349.0000 0.0000 -
2562.04/2570.59 c 2571 1593 1180 1 349.0000 0.0000 -
2569.52/2578.05 c 2578 1601 1188 1 349.0000 0.0000 -
2575.70/2584.20 c 2584 1613 1200 1 349.0000 0.0000 -
2578.59/2587.13 c * 2587 1614 1201 1 331.0000 0.0000 -
2579.69/2588.21 c * 2588 1614 1201 1 272.0000 0.0000 -
2582.08/2590.69 c 2591 1617 891 1 272.0000 0.0000 -
2587.77/2596.33 c 2596 1627 901 1 272.0000 0.0000 -
2612.59/2621.29 c 2621 1632 906 1 272.0000 0.0000 -
2619.38/2628.01 c 2628 1634 908 1 272.0000 0.0000 -
2630.94/2639.67 c 2640 1637 911 1 272.0000 0.0000 -
2637.72/2646.40 c 2646 1643 917 1 272.0000 0.0000 -
2642.90/2651.69 c 2652 1654 926 1 272.0000 0.0000 -
2648.18/2656.95 c 2657 1663 935 1 272.0000 0.0000 -
2653.47/2662.21 c 2662 1667 939 1 272.0000 0.0000 -
2658.56/2667.36 c 2667 1673 943 1 272.0000 0.0000 -
2664.73/2673.59 c 2674 1692 958 1 272.0000 0.0000 -
2671.02/2679.81 c 2680 1711 977 1 272.0000 0.0000 -
2673.32/2682.20 c * 2682 1713 979 1 159.0000 0.0000 -
2685.18/2694.07 c 2694 1722 534 1 159.0000 0.0000 -
2690.76/2699.62 c 2700 1723 535 1 159.0000 0.0000 -
2702.43/2711.34 c 2711 1725 537 1 159.0000 0.0000 -
2709.91/2718.81 c 2719 1727 539 1 159.0000 0.0000 -
2717.39/2726.37 c 2726 1728 540 1 159.0000 0.0000 -
2721.47/2730.43 c * 2730 1729 541 1 154.0000 0.0000 -
2722.77/2731.78 c 2732 1738 531 1 154.0000 0.0000 -
2728.17/2737.13 c 2737 1751 527 1 154.0000 0.0000 -
2736.83/2745.84 c 2746 1753 529 1 154.0000 0.0000 -
2743.61/2752.66 c 2753 1755 531 1 154.0000 0.0000 -
2749.79/2758.87 c 2759 1758 534 1 154.0000 0.0000 -
2757.27/2766.32 c 2766 1759 535 1 154.0000 0.0000 -
2763.55/2772.69 c 2773 1779 537 1 154.0000 0.0000 -
2768.64/2777.73 c 2778 1790 534 1 154.0000 0.0000 -
2777.41/2786.52 c 2787 1792 534 1 154.0000 0.0000 -
2785.68/2794.83 c 2795 1795 537 1 154.0000 0.0000 -
2805.63/2814.84 c 2815 1799 541 1 154.0000 0.0000 -
2811.31/2820.55 c 2821 1816 546 1 154.0000 0.0000 -
2822.78/2832.07 c 2832 1832 546 1 154.0000 0.0000 -
2829.25/2838.51 c 2839 1833 547 1 154.0000 0.0000 -
2837.33/2846.62 c 2847 1836 550 1 154.0000 0.0000 -
2844.11/2853.43 c 2853 1839 553 1 154.0000 0.0000 -
2849.19/2858.57 c 2859 1847 555 1 154.0000 0.0000 -
2854.58/2863.94 c 2864 1854 558 1 154.0000 0.0000 -
2861.26/2870.61 c 2871 1857 561 1 154.0000 0.0000 -
2867.64/2877.09 c 2877 1876 560 1 154.0000 0.0000 -
2873.32/2882.75 c 2883 1881 559 1 154.0000 0.0000 -
2879.00/2888.46 c 2888 1899 563 1 154.0000 0.0000 -
2885.08/2894.52 c 2895 1910 566 1 154.0000 0.0000 -
2890.96/2900.47 c 2900 1932 566 1 154.0000 0.0000 -
2896.65/2906.14 c 2906 1951 563 1 154.0000 0.0000 -
2906.11/2915.69 c 2916 1952 564 1 154.0000 0.0000 -
2914.89/2924.41 c 2924 1955 567 1 154.0000 0.0000 -
2928.45/2938.04 c 2938 1957 569 1 154.0000 0.0000 -
2940.71/2950.38 c 2950 1972 572 1 154.0000 0.0000 -
2954.47/2964.17 c 2964 1975 575 1 154.0000 0.0000 -
2960.95/2970.60 c 2971 1978 578 1 154.0000 0.0000 -
2971.42/2981.18 c 2981 1979 579 1 154.0000 0.0000 -
2983.57/2993.40 c 2993 1982 578 1 154.0000 0.0000 -
2992.55/3002.32 c 3002 1984 580 1 154.0000 0.0000 -
3001.22/3011.06 c 3011 1989 585 1 154.0000 0.0000 -
3007.11/3016.95 c 3017 2013 588 1 154.0000 0.0000 -
3025.84/3035.75 c 3036 2022 587 1 154.0000 0.0000 -
3036.12/3046.02 c 3046 2023 588 1 154.0000 0.0000 -
3041.50/3051.43 c 3051 2024 589 1 154.0000 0.0000 -
3050.67/3060.63 c 3061 2029 592 1 154.0000 0.0000 -
3056.45/3066.42 c 3066 2048 591 1 154.0000 0.0000 -
3070.81/3080.80 c 3081 2072 597 1 154.0000 0.0000 -
3079.78/3089.80 c 3090 2074 599 1 154.0000 0.0000 -
3086.26/3096.37 c 3096 2076 601 1 154.0000 0.0000 -
3092.84/3102.90 c 3103 2077 602 1 154.0000 0.0000 -
3098.83/3108.95 c 3109 2094 600 1 154.0000 0.0000 -
3109.39/3119.53 c 3120 2112 601 1 154.0000 0.0000 -
3116.66/3126.84 c 3127 2115 604 1 154.0000 0.0000 -
3123.35/3133.59 c 3134 2117 606 1 154.0000 0.0000 -
3131.12/3141.35 c 3141 2118 607 1 154.0000 0.0000 -
3138.30/3148.59 c 3149 2122 607 1 154.0000 0.0000 -
3148.07/3158.35 c 3158 2125 610 1 154.0000 0.0000 -
3153.95/3164.26 c 3164 2137 614 1 154.0000 0.0000 -
3159.34/3169.64 c 3170 2144 617 1 154.0000 0.0000 -
3164.82/3175.14 c 3175 2157 611 1 154.0000 0.0000 -
3170.39/3180.75 c 3181 2175 611 1 154.0000 0.0000 -
3176.68/3187.02 c 3187 2197 609 1 154.0000 0.0000 -
3181.86/3192.27 c 3192 2209 604 1 154.0000 0.0000 -
3187.94/3198.37 c 3198 2231 605 1 154.0000 0.0000 -
3191.23/3201.69 c * 3202 2235 611 1 144.0000 0.0000 -
3205.28/3215.76 c 3216 2242 578 1 144.0000 0.0000 -
3215.76/3226.22 c 3226 2244 580 1 144.0000 0.0000 -
3223.54/3234.01 c 3234 2245 581 1 144.0000 0.0000 -
3235.99/3246.58 c 3247 2251 585 1 144.0000 0.0000 -
3256.53/3267.14 c 3267 2262 582 1 144.0000 0.0000 -
3266.69/3277.38 c 3277 2263 583 1 144.0000 0.0000 -
3277.06/3287.72 c 3288 2265 585 1 144.0000 0.0000 -
3288.63/3299.33 c 3299 2273 583 1 144.0000 0.0000 -
3295.22/3305.99 c 3306 2282 578 1 144.0000 0.0000 -
3300.60/3311.34 c 3311 2285 581 1 144.0000 0.0000 -
3306.78/3317.57 c 3318 2287 583 1 144.0000 0.0000 -
3318.54/3329.36 c 3329 2291 584 1 144.0000 0.0000 -
3324.33/3335.12 c 3335 2302 587 1 144.0000 0.0000 -
3330.31/3341.18 c 3341 2305 590 1 144.0000 0.0000 -
3337.48/3348.39 c 3348 2306 591 1 144.0000 0.0000 -
3343.46/3354.35 c 3354 2325 592 1 144.0000 0.0000 -
3349.24/3360.17 c 3360 2345 588 1 144.0000 0.0000 -
3355.02/3365.95 c 3366 2352 587 1 144.0000 0.0000 -
3360.80/3371.76 c 3372 2354 589 1 144.0000 0.0000 -
3366.38/3377.35 c 3377 2355 590 1 144.0000 0.0000 -
3371.97/3382.97 c 3383 2361 596 1 144.0000 0.0000 -
3377.86/3388.82 c 3389 2385 604 1 144.0000 0.0000 -
3383.94/3394.92 c 3395 2409 600 1 144.0000 0.0000 -
3389.22/3400.24 c 3400 2426 602 1 144.0000 0.0000 -
3396.99/3408.03 c 3408 2442 608 1 144.0000 0.0000 -
3405.97/3417.03 c 3417 2444 610 1 144.0000 0.0000 -
3411.95/3423.01 c 3423 2450 614 1 144.0000 0.0000 -
3416.93/3428.04 c 3428 2465 620 1 144.0000 0.0000 -
3423.20/3434.33 c 3434 2476 621 1 144.0000 0.0000 -
3428.29/3439.44 c 3439 2493 626 1 144.0000 0.0000 -
3434.98/3446.16 c 3446 2503 628 1 144.0000 0.0000 -
3445.44/3456.65 c 3457 2512 635 1 144.0000 0.0000 -
3458.39/3469.68 c 3470 2514 637 1 144.0000 0.0000 -
3466.88/3478.11 c 3478 2519 642 1 144.0000 0.0000 -
3473.05/3484.34 c 3484 2532 645 1 144.0000 0.0000 -
3478.24/3489.59 c 3490 2534 647 1 144.0000 0.0000 -
3484.91/3496.23 c 3496 2536 649 1 144.0000 0.0000 -
3491.09/3502.41 c 3502 2538 651 1 144.0000 0.0000 -
3496.27/3507.66 c 3508 2543 652 1 144.0000 0.0000 -
3505.26/3516.61 c 3517 2554 648 1 144.0000 0.0000 -
3513.53/3524.95 c 3525 2556 650 1 144.0000 0.0000 -
3519.31/3530.77 c 3531 2581 655 1 144.0000 0.0000 -
3525.39/3536.86 c 3537 2603 661 1 144.0000 0.0000 -
3532.26/3543.73 c 3544 2605 663 1 144.0000 0.0000 -
3537.74/3549.22 c 3549 2617 669 1 144.0000 0.0000 -
3543.33/3554.83 c 3555 2622 668 1 144.0000 0.0000 -
3549.12/3560.61 c 3561 2624 670 1 144.0000 0.0000 -
3560.28/3571.87 c 3572 2629 675 1 144.0000 0.0000 -
3568.25/3579.87 c 3580 2642 674 1 144.0000 0.0000 -
3573.54/3585.12 c 3585 2645 677 1 144.0000 0.0000 -
3579.02/3590.62 c 3591 2658 680 1 144.0000 0.0000 -
3584.80/3596.43 c 3596 2690 689 1 144.0000 0.0000 -
3587.09/3598.78 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.09/3598.78 c Total Time : 3598.7800
3587.09/3598.78 c solving : 3598.7800
3587.09/3598.78 c presolving : 0.8249 (included in solving)
3587.09/3598.78 c B&B Tree :
3587.09/3598.78 c nodes (total) : 1
3587.09/3598.78 c Solution :
3587.09/3598.78 c Solutions found : 44
3587.09/3598.78 c Primal Bound : +1.44000000000000e+02
3587.09/3598.78 c Dual Bound : +0.00000000000000e+00
3587.09/3598.78 c Gap : infinite
3587.09/3598.78 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3587.20/3598.81 o 144
3587.20/3598.81 s SATISFIABLE
3587.20/3598.81 v x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818
3587.20/3598.81 v -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800
3587.20/3598.81 v -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783
3587.20/3598.81 v -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765
3587.20/3598.81 v -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 x4748 x4747
3587.20/3598.81 v x4746 x4745 x4744 x4743 x4742 x4741 x4740 x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728
3587.20/3598.81 v -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710
3587.20/3598.81 v -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692
3587.20/3598.81 v -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 x4679 x4678 x4677 x4676 x4675 x4674 x4673
3587.20/3598.81 v x4672 x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655
3587.20/3598.81 v -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637
3587.20/3598.81 v -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619
3587.20/3598.81 v -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601
3587.20/3598.81 v -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 x4590 x4589 x4588 x4587 x4586 x4585 x4584 x4583 -x4582
3587.20/3598.81 v -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564
3587.20/3598.81 v -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547
3587.20/3598.81 v -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529
3587.20/3598.81 v -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 x4513 -x4512 -x4511
3587.20/3598.81 v -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493
3587.20/3598.81 v -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475
3587.20/3598.81 v -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457
3587.20/3598.81 v -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439
3587.20/3598.81 v -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421
3587.20/3598.81 v x4420 x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403
3587.20/3598.81 v -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385
3587.20/3598.81 v -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368
3587.20/3598.81 v -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350
3587.20/3598.81 v -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 x4338 x4337 x4336 x4335 x4334 x4333 x4332 -x4331
3587.20/3598.81 v -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313
3587.20/3598.81 v -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295
3587.20/3598.81 v -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277
3587.20/3598.81 v -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 x4270 x4269 x4268 x4267 x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259
3587.20/3598.81 v -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241
3587.20/3598.81 v -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223
3587.20/3598.81 v -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205
3587.20/3598.81 v -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187
3587.20/3598.81 v -x4186 -x4185 x4184 x4183 x4182 x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169
3587.20/3598.81 v -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151
3587.20/3598.81 v -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133
3587.20/3598.81 v -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115
3587.20/3598.81 v -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097
3587.20/3598.81 v -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079
3587.20/3598.81 v -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062
3587.20/3598.81 v -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044
3587.20/3598.81 v -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026
3587.20/3598.81 v -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008
3587.20/3598.81 v -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990
3587.20/3598.81 v -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972
3587.20/3598.81 v -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954
3587.20/3598.81 v -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 x3946 x3945 x3944 x3943 x3942 x3941 -x3940 -x3939 -x3938 -x3937 -x3936
3587.20/3598.81 v -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918
3587.20/3598.81 v -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900
3587.20/3598.81 v -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882
3587.20/3598.81 v -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 x3875 x3874 x3873 x3872 x3871 x3870 x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863
3587.20/3598.81 v -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845
3587.20/3598.81 v -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827
3587.20/3598.81 v -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810
3587.20/3598.81 v -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792
3587.20/3598.81 v -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774
3587.20/3598.81 v -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756
3587.20/3598.81 v -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738
3587.20/3598.81 v -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720
3587.20/3598.81 v -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 x3702
3587.20/3598.81 v x3701 x3700 x3699 x3698 x3697 x3696 x3695 x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683
3587.20/3598.81 v -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665
3587.20/3598.81 v -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647
3587.20/3598.81 v -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630
3587.20/3598.81 v -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 x3614 x3613 -x3612 -x3611
3587.20/3598.81 v -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594
3587.20/3598.81 v -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576
3587.20/3598.81 v -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558
3587.20/3598.81 v -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 x3550 x3549 x3548 x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539
3587.20/3598.81 v -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522
3587.20/3598.81 v -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504
3587.20/3598.81 v -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486
3587.20/3598.81 v -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 x3470 x3469 x3468
3587.20/3598.81 v x3467 x3466 x3465 x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449
3587.20/3598.81 v -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431
3587.20/3598.81 v -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413
3587.20/3598.81 v -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396
3587.20/3598.81 v -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378
3587.20/3598.81 v -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 x3361 x3360
3587.20/3598.81 v x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342
3587.20/3598.81 v -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324
3587.20/3598.81 v -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306
3587.20/3598.81 v -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 x3296 x3295 x3294 x3293 x3292 x3291 -x3290 -x3289 -x3288 -x3287
3587.20/3598.81 v -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269
3587.20/3598.81 v -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251
3587.20/3598.81 v -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234
3587.20/3598.81 v -x3233 -x3232 -x3231 -x3230 x3229 x3228 x3227 x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215
3587.20/3598.81 v -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197
3587.20/3598.81 v -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179
3587.20/3598.81 v -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162
3587.20/3598.81 v -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144
3587.20/3598.81 v -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 x3134 x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126
3587.20/3598.81 v -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108
3587.20/3598.81 v -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090
3587.20/3598.81 v -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072
3587.20/3598.81 v -x3071 -x3070 x3069 -x3068 -x3067 -x3066 x3065 x3064 x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 x3054 x3053
3587.20/3598.81 v x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035
3587.20/3598.81 v -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017
3587.20/3598.81 v -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000
3587.20/3598.81 v -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 x2993 -x2992 x2991 x2990 x2989 x2988 x2987 x2986 x2985 -x2984 -x2983 -x2982 -x2981
3587.20/3598.81 v -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963
3587.20/3598.81 v -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945
3587.20/3598.81 v -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927
3587.20/3598.81 v -x2926 x2925 x2924 x2923 x2922 x2921 x2920 x2919 x2918 x2917 x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908
3587.20/3598.81 v -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890
3587.20/3598.81 v -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872
3587.20/3598.81 v -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854
3587.20/3598.81 v -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836
3587.20/3598.81 v -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818
3587.20/3598.81 v -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800
3587.20/3598.81 v -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783
3587.20/3598.81 v -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765
3587.20/3598.81 v -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747
3587.20/3598.81 v -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729
3587.20/3598.81 v -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711
3587.20/3598.81 v -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693
3587.20/3598.81 v -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 x2676 -x2675
3587.20/3598.81 v -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657
3587.20/3598.81 v -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640
3587.20/3598.81 v -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622
3587.20/3598.81 v -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604
3587.20/3598.81 v -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586
3587.20/3598.81 v -x2585 -x2584 x2583 x2582 x2581 x2580 x2579 x2578 x2577 x2576 x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567
3587.20/3598.81 v -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549
3587.20/3598.81 v -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531
3587.20/3598.81 v -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 x2516 x2515 x2514 x2513
3587.20/3598.81 v x2512 x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495
3587.20/3598.81 v -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477
3587.20/3598.81 v -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459
3587.20/3598.81 v -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441
3587.20/3598.81 v -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423
3587.20/3598.81 v x2422 x2421 x2420 x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405
3587.20/3598.81 v -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387
3587.20/3598.81 v -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369
3587.20/3598.81 v -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351
3587.20/3598.81 v -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 x2341 x2340 x2339 x2338 x2337 x2336 x2335 x2334 x2333 x2332
3587.20/3598.81 v x2331 x2330 x2329 x2328 x2327 x2326 x2325 x2324 x2323 x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313
3587.20/3598.81 v -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295
3587.20/3598.81 v -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277
3587.20/3598.81 v -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 x2263 x2262 x2261 x2260 x2259 x2258
3587.20/3598.81 v x2257 x2256 x2255 x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240
3587.20/3598.81 v -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222
3587.20/3598.81 v -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204
3587.20/3598.81 v -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186
3587.20/3598.81 v x2185 x2184 x2183 x2182 x2181 x2180 x2179 x2178 x2177 x2176 x2175 x2174 x2173 x2172 x2171 x2170 x2169 x2168 x2167 x2166 -x2165
3587.20/3598.81 v -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148
3587.20/3598.81 v -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130
3587.20/3598.81 v -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112
3587.20/3598.81 v -x2111 -x2110 -x2109 -x2108 x2107 x2106 x2105 x2104 x2103 x2102 x2101 x2100 x2099 x2098 x2097 x2096 -x2095 -x2094 -x2093 -x2092
3587.20/3598.81 v -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074
3587.20/3598.81 v -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057
3587.20/3598.81 v -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039
3587.20/3598.81 v -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 x2029 x2028 x2027 x2026 x2025 x2024 x2023 x2022 x2021 x2020 x2019
3587.20/3598.81 v x2018 x2017 x2016 x2015 x2014 x2013 x2012 x2011 x2010 x2009 x2008 x2007 x2006 x2005 x2004 x2003 x2002 -x2001 -x2000 -x1999
3587.20/3598.81 v -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981
3587.20/3598.81 v -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963
3587.20/3598.81 v -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 x1951 x1950 x1949 x1948 x1947 x1946 x1945 x1944
3587.20/3598.81 v x1943 x1942 x1941 x1940 x1939 x1938 x1937 x1936 x1935 x1934 x1933 x1932 x1931 x1930 x1929 x1928 x1927 x1926 x1925 x1924
3587.20/3598.81 v x1923 x1922 x1921 x1920 x1919 x1918 x1917 x1916 x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904
3587.20/3598.81 v -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887
3587.20/3598.81 v -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 x1873 x1872 x1871 x1870 x1869 x1868
3587.20/3598.81 v x1867 x1866 x1865 x1864 x1863 x1862 x1861 x1860 x1859 x1858 x1857 x1856 x1855 x1854 x1853 x1852 x1851 x1850 x1849 -x1848 -x1847
3587.20/3598.81 v -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829
3587.20/3598.81 v -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812
3587.20/3598.81 v -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 x1795 x1794 x1793
3587.20/3598.81 v x1792 x1791 x1790 x1789 x1788 x1787 x1786 x1785 x1784 x1783 x1782 x1781 x1780 x1779 x1778 x1777 x1776 x1775 x1774 x1773
3587.20/3598.81 v x1772 x1771 x1770 x1769 x1768 x1767 x1766 x1765 x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753
3587.20/3598.81 v -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736
3587.20/3598.81 v -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718
3587.20/3598.81 v x1717 x1716 x1715 x1714 x1713 x1712 x1711 x1710 x1709 x1708 x1707 x1706 x1705 x1704 x1703 x1702 x1701 x1700 x1699 x1698 x1697
3587.20/3598.81 v x1696 x1695 x1694 x1693 x1692 x1691 x1690 x1689 x1688 x1687 x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677
3587.20/3598.81 v -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660
3587.20/3598.81 v -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642
3587.20/3598.81 v -x1641 -x1640 x1639 x1638 x1637 x1636 x1635 x1634 x1633 x1632 x1631 x1630 x1629 x1628 x1627 x1626 x1625 x1624 x1623 x1622 x1621
3587.20/3598.81 v x1620 x1619 x1618 x1617 x1616 x1615 x1614 x1613 x1612 x1611 x1610 x1609 x1608 x1607 x1606 x1605 x1604 x1603 x1602 x1601 -x1600
3587.20/3598.81 v -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583
3587.20/3598.81 v -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565
3587.20/3598.81 v -x1564 -x1563 -x1562 x1561 x1560 x1559 x1558 x1557 x1556 x1555 x1554 x1553 x1552 x1551 x1550 x1549 x1548 x1547 x1546 x1545 x1544
3587.20/3598.81 v x1543 x1542 x1541 x1540 x1539 x1538 x1537 x1536 x1535 x1534 x1533 x1532 x1531 x1530 x1529 x1528 x1527 x1526 x1525 x1524
3587.20/3598.81 v -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506
3587.20/3598.81 v -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488
3587.20/3598.81 v -x1487 -x1486 -x1485 -x1484 x1483 x1482 x1481 x1480 x1479 x1478 x1477 x1476 x1475 x1474 x1473 x1472 x1471 x1470 x1469 x1468
3587.20/3598.81 v x1467 x1466 x1465 x1464 x1463 x1462 x1461 x1460 x1459 x1458 x1457 x1456 x1455 x1454 x1453 x1452 -x1451 -x1450 -x1449 -x1448
3587.20/3598.81 v -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430
3587.20/3598.81 v -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412
3587.20/3598.81 v -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 x1405 x1404 x1403 x1402 x1401 x1400 x1399 x1398 x1397 x1396 x1395 x1394 x1393 x1392
3587.20/3598.81 v x1391 x1390 x1389 x1388 x1387 x1386 x1385 x1384 x1383 x1382 x1381 x1380 x1379 x1378 x1377 x1376 x1375 x1374 x1373 x1372 x1371
3587.20/3598.81 v x1370 x1369 x1368 x1367 x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353
3587.20/3598.81 v -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335
3587.20/3598.81 v -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 x1327 x1326 x1325 x1324 x1323 x1322 x1321 x1320 x1319 x1318 x1317 x1316 x1315
3587.20/3598.81 v x1314 x1313 x1312 x1311 x1310 x1309 x1308 x1307 x1306 x1305 x1304 x1303 x1302 x1301 x1300 x1299 x1298 x1297 x1296 x1295 x1294
3587.20/3598.81 v x1293 x1292 x1291 x1290 x1289 x1288 x1287 x1286 x1285 x1284 x1283 x1282 x1281 x1280 x1279 x1278 x1277 -x1276 -x1275 -x1274
3587.20/3598.81 v -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256
3587.20/3598.81 v -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 x1249 x1248 x1247 x1246 x1245 x1244 x1243 x1242 x1241 x1240 x1239 x1238 x1237 x1236
3587.20/3598.81 v x1235 x1234 x1233 x1232 x1231 x1230 x1229 x1228 x1227 x1226 x1225 x1224 x1223 x1222 x1221 x1220 x1219 x1218 x1217 x1216 x1215
3587.20/3598.81 v x1214 x1213 x1212 x1211 x1210 x1209 x1208 x1207 x1206 x1205 x1204 x1203 x1202 x1201 x1200 x1199 x1198 x1197 x1196 -x1195
3587.20/3598.81 v -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177
3587.20/3598.81 v -x1176 -x1175 -x1174 -x1173 -x1172 x1171 x1170 x1169 x1168 x1167 x1166 x1165 x1164 x1163 x1162 x1161 x1160 x1159 x1158 x1157
3587.20/3598.81 v x1156 x1155 x1154 x1153 x1152 x1151 x1150 x1149 x1148 x1147 x1146 x1145 x1144 x1143 x1142 x1141 x1140 x1139 x1138 x1137 x1136
3587.20/3598.81 v x1135 x1134 x1133 x1132 x1131 x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117
3587.20/3598.81 v -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099
3587.20/3598.81 v -x1098 -x1097 -x1096 -x1095 -x1094 x1093 x1092 x1091 x1090 x1089 x1088 x1087 x1086 x1085 x1084 x1083 x1082 x1081 x1080
3587.20/3598.81 v x1079 x1078 x1077 x1076 x1075 x1074 x1073 x1072 x1071 x1070 x1069 x1068 x1067 x1066 x1065 x1064 x1063 x1062 x1061 x1060 x1059
3587.20/3598.81 v x1058 x1057 x1056 x1055 x1054 x1053 x1052 x1051 x1050 x1049 x1048 x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039
3587.20/3598.81 v -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021
3587.20/3598.81 v -x1020 -x1019 -x1018 -x1017 -x1016 x1015 x1014 x1013 x1012 x1011 x1010 x1009 x1008 x1007 x1006 x1005 x1004 x1003 x1002 x1001
3587.20/3598.81 v x1000 x999 x998 x997 x996 x995 x994 x993 x992 x991 x990 x989 x988 x987 x986 x985 x984 x983 x982 x981 x980 x979 x978 x977
3587.20/3598.81 v x976 x975 x974 x973 x972 x971 x970 x969 x968 x967 x966 x965 x964 x963 x962 x961 x960 x959 x958 x957 x956 x955 x954 x953 x952
3587.20/3598.81 v x951 x950 x949 x948 x947 x946 x945 x944 x943 x942 -x941 -x940 -x939 -x938 x937 x936 x935 x934 x933 x932 x931 x930 x929 x928
3587.20/3598.81 v x927 x926 x925 x924 x923 x922 x921 x920 x919 x918 x917 x916 x915 x914 x913 x912 x911 x910 x909 x908 x907 x906 x905 x904 x903
3587.20/3598.81 v x902 x901 x900 x899 x898 x897 x896 x895 x894 x893 x892 x891 x890 x889 x888 x887 x886 x885 x884 x883 x882 x881 x880 x879 x878
3587.20/3598.81 v x877 x876 x875 x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 x859 x858 x857 x856 x855
3587.20/3598.81 v x854 x853 x852 x851 x850 x849 x848 x847 x846 x845 x844 x843 x842 x841 x840 x839 x838 x837 x836 x835 x834 x833 x832 x831 x830
3587.20/3598.81 v x829 x828 x827 x826 x825 x824 x823 x822 x821 x820 x819 x818 x817 x816 x815 x814 x813 x812 x811 x810 x809 -x808 -x807 -x806
3587.20/3598.81 v -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785
3587.20/3598.81 v -x784 -x783 -x782 x781 x780 x779 x778 x777 x776 x775 x774 x773 x772 x771 x770 x769 x768 x767 x766 x765 x764 x763 x762 x761
3587.20/3598.81 v x760 x759 x758 x757 x756 x755 x754 x753 x752 x751 x750 x749 x748 x747 x746 x745 x744 x743 x742 x741 x740 x739 x738 x737 x736
3587.20/3598.81 v x735 x734 x733 x732 x731 x730 x729 x728 x727 x726 x725 x724 x723 x722 x721 x720 x719 x718 x717 x716 x715 -x714 -x713 -x712 -x711
3587.20/3598.81 v -x710 -x709 -x708 -x707 -x706 -x705 -x704 x703 x702 x701 x700 x699 x698 x697 x696 x695 x694 x693 x692 x691 x690 x689 x688
3587.20/3598.81 v x687 x686 x685 x684 x683 x682 x681 x680 x679 x678 x677 x676 x675 x674 x673 x672 x671 x670 x669 x668 x667 x666 x665 x664 x663
3587.20/3598.81 v x662 x661 x660 x659 x658 x657 x656 x655 x654 x653 x652 x651 x650 x649 x648 x647 x646 -x645 x644 x643 x642 -x641 -x640 -x639
3587.29/3598.92 v -x638 x637 x636 x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 x625 x624 x623 x622 x621 x620 x619 x618 x617 x616
3587.29/3598.92 v x615 x614 x613 x612 x611 x610 x609 x608 x607 x606 x605 x604 x603 x602 x601 x600 x599 x598 x597 x596 x595 x594 x593 x592 x591
3587.29/3598.92 v x590 x589 x588 x587 x586 x585 x584 x583 x582 x581 x580 x579 x578 x577 x576 x575 x574 x573 x572 x571 x570 x569 x568 -x567 -x566
3587.29/3598.92 v -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 x547 x546 x545
3587.29/3598.92 v x544 x543 x542 x541 x540 x539 x538 x537 x536 x535 x534 x533 x532 x531 x530 x529 x528 x527 x526 x525 x524 x523 x522 x521 x520
3587.29/3598.92 v x519 x518 x517 x516 x515 x514 x513 x512 x511 x510 x509 x508 x507 x506 x505 x504 x503 x502 x501 x500 x499 -x498 -x497 -x496 -x495
3587.29/3598.92 v -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475
3587.29/3598.92 v -x474 -x473 -x472 -x471 -x470 x469 x468 x467 x466 x465 x464 x463 x462 x461 x460 x459 x458 x457 x456 x455 x454 x453 x452 x451
3587.29/3598.92 v x450 x449 x448 x447 x446 x445 x444 x443 x442 x441 x440 x439 x438 x437 x436 x435 x434 x433 x432 x431 x430 x429 x428 x427 x426
3587.29/3598.92 v x425 x424 x423 x422 x421 x420 x419 x418 x417 x416 x415 x414 x413 x412 x411 x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402
3587.29/3598.92 v -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 x391 x390 x389 x388 x387 x386 x385 x384 x383 x382 x381 x380 x379
3587.29/3598.92 v x378 x377 x376 x375 x374 x373 x372 x371 x370 x369 x368 x367 x366 x365 x364 x363 x362 x361 x360 x359 x358 x357 x356 x355 x354
3587.29/3598.92 v x353 x352 x351 x350 x349 x348 x347 x346 x345 x344 x343 x342 x341 x340 x339 x338 x337 x336 x335 x334 x333 x332 x331 x330 x329
3587.29/3598.92 v x328 x327 x326 x325 x324 x323 x322 x321 x320 x319 -x318 -x317 -x316 -x315 -x314 x313 x312 x311 x310 x309 x308 x307 x306 x305
3587.29/3598.92 v x304 x303 x302 x301 x300 x299 x298 x297 x296 x295 x294 x293 x292 x291 x290 x289 x288 x287 x286 x285 x284 x283 x282 x281 x280
3587.29/3598.92 v x279 x278 x277 x276 x275 x274 x273 x272 x271 x270 x269 x268 x267 x266 x265 x264 x263 x262 x261 x260 x259 -x258 -x257 -x256
3587.29/3598.92 v -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 x235
3587.29/3598.92 v x234 x233 x232 x231 x230 x229 x228 x227 x226 x225 x224 x223 x222 x221 x220 x219 x218 x217 x216 x215 x214 x213 x212 x211 x210
3587.29/3598.92 v x209 x208 x207 x206 x205 x204 x203 x202 x201 x200 x199 x198 x197 x196 x195 x194 x193 x192 x191 x190 x189 x188 x187 x186 x185
3587.29/3598.92 v x184 x183 x182 x181 x180 x179 x178 x177 x176 x175 x174 x173 x172 x171 x170 x169 x168 x167 x166 x165 x164 x163 x162 x161 x160
3587.29/3598.92 v x159 x158 x157 x156 x155 x154 x153 x152 x151 x150 x149 x148 x147 x146 x145 x144 x143 x142 x141 x140 x139 x138 x137 x136 x135
3587.29/3598.92 v x134 x133 x132 x131 x130 x129 x128 x127 x126 x125 x124 x123 x122 x121 x120 x119 x118 x117 x116 x115 x114 x113 x112 x111 x110
3587.29/3598.92 v 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
3587.29/3598.92 v -x83 -x82 -x81 -x80 x79 x78 x77 x76 x75 x74 x73 x72 x71 x70 x69 x68 x67 x66 x65 x64 x63 x62 x61 x60 x59 x58 x57 x56 x55 x54 x53
3587.29/3598.92 v x52 x51 x50 x49 x48 x47 x46 x45 x44 x43 x42 x41 x40 x39 x38 x37 x36 x35 x34 x33 x32 x31 x30 x29 x28 x27 x26 x25 x24 x23 x22
3587.29/3598.92 v x21 x20 x19 x18 x17 x16 x15 x14 x13 x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62633 MiB free)
memory of node 1: 64473 MiB (61792 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4465110-1722389719/watcher-4465110-1722389719 -o /tmp/evaluation-result-4465110-1722389719/solver-4465110-1722389719 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722389719-36424 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4465110-1722389719.wbo -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=36454, runsolver pid=36451
[startup+0.100176 s]*
/proc/loadavg: 1.16 2.35 3.33 5/261 36485
/proc/meminfo: memFree=127231236/131524600 swapFree=131071728/131071996
[pid=36454] ppid=36451 vsize=88772 memory=77076 CPUtime=0.09 cores=1,3
/proc/36454/stat : 36454 (fscip) R 36451 36454 36412 0 -1 4194304 17196 0 0 0 7 2 0 0 20 0 1 0 5570941 90902528 19269 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
/proc/36454/statm: 22193 19269 2555 3035 0 18589 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 88772 KiB
Current children cumulated memory: 77076 KiB
[startup+0.206157 s]*
/proc/loadavg: 1.16 2.35 3.33 5/261 36485
/proc/meminfo: memFree=127049872/131524600 swapFree=131071728/131071996
[pid=36454] ppid=36451 vsize=133428 memory=120792 CPUtime=0.19 cores=1,3
/proc/36454/stat : 36454 (fscip) R 36451 36454 36412 0 -1 4194304 28092 0 0 0 15 4 0 0 20 0 1 0 5570941 136630272 30198 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
/proc/36454/statm: 33357 30198 2598 3035 0 29753 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 133428 KiB
Current children cumulated memory: 120792 KiB
[startup+0.306336 s]*
/proc/loadavg: 1.16 2.35 3.33 5/261 36485
/proc/meminfo: memFree=126964464/131524600 swapFree=131071728/131071996
[pid=36454] ppid=36451 vsize=171952 memory=155136 CPUtime=0.3 cores=1,3
/proc/36454/stat : 36454 (fscip) R 36451 36454 36412 0 -1 4194304 36637 0 0 0 24 6 0 0 20 0 1 0 5570941 176078848 38784 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
/proc/36454/statm: 42988 38784 2614 3035 0 39384 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 171952 KiB
Current children cumulated memory: 155136 KiB
[startup+0.700239 s]
/proc/loadavg: 1.16 2.35 3.33 5/261 36485
/proc/meminfo: memFree=126876348/131524600 swapFree=131071728/131071996
[pid=36454] ppid=36451 vsize=178548 memory=161828 CPUtime=0.68 cores=1,3
/proc/36454/stat : 36454 (fscip) R 36451 36454 36412 0 -1 4194304 38333 0 0 0 62 6 0 0 20 0 1 0 5570941 182833152 40457 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
/proc/36454/statm: 44637 40457 2630 3035 0 41033 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 178548 KiB
Current children cumulated memory: 161828 KiB
[startup+1.50119 s]
/proc/loadavg: 1.16 2.35 3.33 5/262 36486
/proc/meminfo: memFree=126555820/131524600 swapFree=131071728/131071996
[pid=36454] ppid=36451 vsize=546248 memory=433060 CPUtime=1.48 cores=1,3
/proc/36454/stat : 36454 (fscip) S 36451 36454 36412 0 -1 1077936128 117150 0 0 0 130 18 0 0 20 0 3 0 5570941 559357952 108265 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
/proc/36454/statm: 136562 108265 2710 3035 0 128660 0
[pid=36454/tid=36486] ppid=36451 vsize=546248 memory=2748 CPUtime=0.41 cores=1,3
/proc/36454/task/36486/stat : 36486 (fscip) R 36451 36454 36412 0 -1 4194368 43023 0 0 0 35 6 0 0 20 0 3 0 5571038 559357952 108265 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 546248 KiB
Current children cumulated memory: 433060 KiB
[startup+3.10619 s]
/proc/loadavg: 1.47 2.40 3.34 5/263 36488
/proc/meminfo: memFree=125928484/131524600 swapFree=131071728/131071996
[pid=36454] ppid=36451 vsize=611784 memory=499132 CPUtime=3.06 cores=1,3
/proc/36454/stat : 36454 (fscip) S 36451 36454 36412 0 -1 1077936128 149555 0 0 0 285 21 0 0 20 0 3 0 5570941 626466816 124783 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
/proc/36454/statm: 152946 124783 2758 3035 0 145978 0
[pid=36454/tid=36486] ppid=36451 vsize=611784 memory=433324 CPUtime=1.99 cores=1,3
/proc/36454/task/36486/stat : 36486 (fscip) R 36451 36454 36412 0 -1 4194368 75427 0 0 0 190 9 0 0 20 0 3 0 5571038 626466816 124783 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
[pid=36454/tid=36487] ppid=36451 vsize=611784 memory=198340509722 CPUtime=0 cores=1,3
/proc/36454/task/36487/stat : 36487 (fscip) S 36451 36454 36412 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 5571061 626466816 124783 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 611784 KiB
Current children cumulated memory: 499132 KiB
[startup+6.30118 s]
/proc/loadavg: 1.47 2.40 3.34 5/264 36489
/proc/meminfo: memFree=125566756/131524600 swapFree=131071728/131071996
[pid=36454] ppid=36451 vsize=611784 memory=499312 CPUtime=6.22 cores=1,3
/proc/36454/stat : 36454 (fscip) S 36451 36454 36412 0 -1 1077936128 155875 0 0 0 599 23 0 0 20 0 3 0 5570941 626466816 124828 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
/proc/36454/statm: 152946 124828 2758 3035 0 145978 0
[pid=36454/tid=36486] ppid=36451 vsize=611784 memory=12692 CPUtime=5.15 cores=1,3
/proc/36454/task/36486/stat : 36486 (fscip) R 36451 36454 36412 0 -1 4194368 81741 0 0 0 504 11 0 0 20 0 3 0 5571038 626466816 124828 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
[pid=36454/tid=36487] ppid=36451 vsize=611784 memory=-5155634591572585349 CPUtime=0 cores=1,3
/proc/36454/task/36487/stat : 36487 (fscip) S 36451 36454 36412 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 5571061 626466816 124828 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 611784 KiB
Current children cumulated memory: 499312 KiB
[startup+12.7012 s]
/proc/loadavg: 1.86 2.45 3.35 6/265 36492
/proc/meminfo: memFree=124086048/131524600 swapFree=131071728/131071996
[pid=36454] ppid=36451 vsize=678788 memory=534016 CPUtime=12.54 cores=1,3
/proc/36454/stat : 36454 (fscip) S 36451 36454 36412 0 -1 1077936128 218251 0 0 0 1227 27 0 0 20 0 3 0 5570941 695078912 133504 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
/proc/36454/statm: 169697 133504 2886 3035 0 155138 0
[pid=36454/tid=36486] ppid=36451 vsize=678788 memory=499168 CPUtime=11.47 cores=1,3
/proc/36454/task/36486/stat : 36486 (fscip) R 36451 36454 36412 0 -1 4194368 136627 0 0 0 1132 15 0 0 20 0 3 0 5571038 695078912 133504 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
[pid=36454/tid=36487] ppid=36451 vsize=678788 memory=12652 CPUtime=0 cores=1,3
/proc/36454/task/36487/stat : 36487 (fscip) S 36451 36454 36412 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 5571061 695078912 133504 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 678788 KiB
Current children cumulated memory: 534016 KiB
[startup+25.5003 s]
/proc/loadavg: 2.19 2.50 3.35 5/263 36493
/proc/meminfo: memFree=124074572/131524600 swapFree=131071728/131071996
[pid=36454] ppid=36451 vsize=679236 memory=539976 CPUtime=25.27 cores=1,3
/proc/36454/stat : 36454 (fscip) S 36451 36454 36412 0 -1 1077936128 279621 0 0 0 2494 33 0 0 20 0 3 0 5570941 695537664 134994 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
/proc/36454/statm: 169809 134994 2886 3035 0 156525 0
[pid=36454/tid=36486] ppid=36451 vsize=679236 memory=537904 CPUtime=24.17 cores=1,3
/proc/36454/task/36486/stat : 36486 (fscip) R 36451 36454 36412 0 -1 4194368 190972 0 0 0 2397 20 0 0 20 0 3 0 5571038 695537664 134994 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
[pid=36454/tid=36487] ppid=36451 vsize=679236 memory=11524 CPUtime=0 cores=1,3
/proc/36454/task/36487/stat : 36487 (fscip) S 36451 36454 36412 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 5571061 695537664 134994 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
Current children cumulated CPU time: 25.27 s
Current children cumulated vsize: 679236 KiB
Current children cumulated memory: 539976 KiB
[startup+51.1061 s]
/proc/loadavg: 2.87 2.64 3.38 5/263 36548
/proc/meminfo: memFree=123944888/131524600 swapFree=131071728/131071996
[pid=36454] ppid=36451 vsize=679236 memory=551668 CPUtime=50.73 cores=1,3
/proc/36454/stat : 36454 (fscip) S 36451 36454 36412 0 -1 1077936128 350098 0 0 0 5032 41 0 0 20 0 3 0 5570941 695537664 137917 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
/proc/36454/statm: 169809 137917 2902 3035 0 158434 0
[pid=36454/tid=36486] ppid=36451 vsize=679236 memory=550928 CPUtime=49.64 cores=1,3
/proc/36454/task/36486/stat : 36486 (fscip) R 36451 36454 36412 0 -1 4194368 261430 0 0 0 4936 28 0 0 20 0 3 0 5571038 695537664 137917 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
[pid=36454/tid=36487] ppid=36451 vsize=679236 memory=550928 CPUtime=0 cores=1,3
/proc/36454/task/36487/stat : 36487 (fscip) S 36451 36454 36412 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 5571061 695537664 137917 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
Current children cumulated CPU time: 50.73 s
Current children cumulated vsize: 679236 KiB
Current children cumulated memory: 551668 KiB
[startup+102.3 s]
/proc/loadavg: 3.61 2.89 3.42 5/261 36601
/proc/meminfo: memFree=121700832/131524600 swapFree=131071728/131071996
[pid=36454] ppid=36451 vsize=876824 memory=744688 CPUtime=101.74 cores=1,3
/proc/36454/stat : 36454 (fscip) S 36451 36454 36412 0 -1 1077936128 566974 0 0 0 10113 61 0 0 20 0 3 0 5570941 897867776 186172 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
/proc/36454/statm: 219206 186172 3030 3035 0 207270 0
[pid=36454/tid=36486] ppid=36451 vsize=876824 memory=11524 CPUtime=100.65 cores=1,3
/proc/36454/task/36486/stat : 36486 (fscip) R 36451 36454 36412 0 -1 4194368 478292 0 0 0 10017 48 0 0 20 0 3 0 5571038 897867776 186172 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
[pid=36454/tid=36487] ppid=36451 vsize=876824 memory=729628 CPUtime=0 cores=1,3
/proc/36454/task/36487/stat : 36487 (fscip) S 36451 36454 36412 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 3 0 5571061 897867776 186172 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
Current children cumulated CPU time: 101.74 s
Current children cumulated vsize: 876824 KiB
Current children cumulated memory: 744688 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 3.11 3.47 5/263 36663
/proc/meminfo: memFree=121559052/131524600 swapFree=131071728/131071996
[pid=36454] ppid=36451 vsize=942360 memory=823684 CPUtime=161.56 cores=1,3
/proc/36454/stat : 36454 (fscip) S 36451 36454 36412 0 -1 1077936128 663179 0 0 0 16087 69 0 0 20 0 3 0 5570941 964976640 205921 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
/proc/36454/statm: 235590 205921 3030 3035 0 228356 0
[pid=36454/tid=36486] ppid=36451 vsize=942360 memory=280998504217376 CPUtime=160.47 cores=1,3
/proc/36454/task/36486/stat : 36486 (fscip) R 36451 36454 36412 0 -1 4194368 574487 0 0 0 15991 56 0 0 20 0 3 0 5571038 964976640 205921 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
[pid=36454/tid=36487] ppid=36451 vsize=942360 memory=11524 CPUtime=0 cores=1,3
/proc/36454/task/36487/stat : 36487 (fscip) S 36451 36454 36412 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 5571061 964976640 205921 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
Current children cumulated CPU time: 161.56 s
Current children cumulated vsize: 942360 KiB
Current children cumulated memory: 823684 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 3.30 3.51 5/262 36673
/proc/meminfo: memFree=121361912/131524600 swapFree=131071728/131071996
[pid=36454] ppid=36451 vsize=1073432 memory=971304 CPUtime=221.39 cores=1,3
/proc/36454/stat : 36454 (fscip) S 36451 36454 36412 0 -1 1077936128 786213 0 0 0 22057 82 0 0 20 0 3 0 5570941 1099194368 242826 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
/proc/36454/statm: 268358 242826 3030 3035 0 263567 0
[pid=36454/tid=36486] ppid=36451 vsize=1073432 memory=970928 CPUtime=220.29 cores=1,3
/proc/36454/task/36486/stat : 36486 (fscip) R 36451 36454 36412 0 -1 4194368 691177 0 0 0 21961 68 0 0 20 0 3 0 5571038 1099194368 242826 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
[pid=36454/tid=36487] ppid=36451 vsize=1073432 memory=11524 CPUtime=0 cores=1,3
/proc/36454/task/36487/stat : 36487 (fscip) S 36451 36454 36412 0 -1 1077936192 78 0 0 0 0 0 0 0 20 0 3 0 5571061 1099194368 242826 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
Current children cumulated CPU time: 221.39 s
Current children cumulated vsize: 1073432 KiB
Current children cumulated memory: 971304 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 3.46 3.56 5/262 36683
/proc/meminfo: memFree=121290964/131524600 swapFree=131071728/131071996
################
# More data... #
################
/proc/loadavg: 3.12 3.12 3.16 4/259 38484
/proc/meminfo: memFree=115779556/131524600 swapFree=131071728/131071996
[pid=36454] ppid=36451 vsize=1922904 memory=1811060 CPUtime=3451.12 cores=1,3
/proc/36454/stat : 36454 (fscip) S 36451 36454 36412 0 -1 1077936128 2594641 0 0 0 344862 250 0 0 20 0 3 0 5570941 1969053696 452765 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
/proc/36454/statm: 480726 452765 3030 3035 0 474448 0
[pid=36454/tid=36486] ppid=36451 vsize=1922904 memory=1772736 CPUtime=3449.7 cores=1,3
/proc/36454/task/36486/stat : 36486 (fscip) R 36451 36454 36412 0 -1 4194368 2468547 0 0 0 344740 230 0 0 20 0 3 0 5571038 1969053696 452765 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
[pid=36454/tid=36487] ppid=36451 vsize=1922904 memory=1772736 CPUtime=0.04 cores=1,3
/proc/36454/task/36487/stat : 36487 (fscip) S 36451 36454 36412 0 -1 1077936192 319 0 0 0 1 3 0 0 20 0 3 0 5571061 1969053696 452765 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
Current children cumulated CPU time: 3451.12 s
Current children cumulated vsize: 1922904 KiB
Current children cumulated memory: 1811060 KiB
[startup+3522.3 s]
/proc/loadavg: 3.09 3.11 3.15 4/258 38494
/proc/meminfo: memFree=115775440/131524600 swapFree=131071728/131071996
[pid=36454] ppid=36451 vsize=1922904 memory=1811060 CPUtime=3510.94 cores=1,3
/proc/36454/stat : 36454 (fscip) S 36451 36454 36412 0 -1 1077936128 2612635 0 0 0 350842 252 0 0 20 0 3 0 5570941 1969053696 452765 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
/proc/36454/statm: 480726 452765 3030 3035 0 474448 0
[pid=36454/tid=36486] ppid=36451 vsize=1922904 memory=1811060 CPUtime=3509.51 cores=1,3
/proc/36454/task/36486/stat : 36486 (fscip) R 36451 36454 36412 0 -1 4194368 2486514 0 0 0 350720 231 0 0 20 0 3 0 5571038 1969053696 452765 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
[pid=36454/tid=36487] ppid=36451 vsize=1922904 memory=12768 CPUtime=0.04 cores=1,3
/proc/36454/task/36487/stat : 36487 (fscip) S 36451 36454 36412 0 -1 1077936192 322 0 0 0 1 3 0 0 20 0 3 0 5571061 1969053696 452765 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
Current children cumulated CPU time: 3510.94 s
Current children cumulated vsize: 1922904 KiB
Current children cumulated memory: 1811060 KiB
[startup+3582.3 s]
/proc/loadavg: 3.13 3.12 3.15 4/258 38505
/proc/meminfo: memFree=115770944/131524600 swapFree=131071728/131071996
[pid=36454] ppid=36451 vsize=1922904 memory=1811060 CPUtime=3570.74 cores=1,3
/proc/36454/stat : 36454 (fscip) S 36451 36454 36412 0 -1 1077936128 2629336 0 0 0 356821 253 0 0 20 0 3 0 5570941 1969053696 452765 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
/proc/36454/statm: 480726 452765 3030 3035 0 474448 0
[pid=36454/tid=36486] ppid=36451 vsize=1922904 memory=1811060 CPUtime=3569.32 cores=1,3
/proc/36454/task/36486/stat : 36486 (fscip) R 36451 36454 36412 0 -1 4194368 2503192 0 0 0 356700 232 0 0 20 0 3 0 5571038 1969053696 452765 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
[pid=36454/tid=36487] ppid=36451 vsize=1922904 memory=1811060 CPUtime=0.04 cores=1,3
/proc/36454/task/36487/stat : 36487 (fscip) S 36451 36454 36412 0 -1 1077936192 324 0 0 0 1 3 0 0 20 0 3 0 5571061 1969053696 452765 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
Current children cumulated CPU time: 3570.74 s
Current children cumulated vsize: 1922904 KiB
Current children cumulated memory: 1811060 KiB
[startup+3598.96 s]
# the end of solver process 36454 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.75 s, system=2.60807 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.12 3.12 3.15 4/258 38505
/proc/meminfo: memFree=115770944/131524600 swapFree=131071728/131071996
[pid=36454] ppid=36451 vsize=1922904 memory=1811060 CPUtime=3572.44 cores=1,3
/proc/36454/stat : 36454 (fscip) S 36451 36454 36412 0 -1 1077936128 2629340 0 0 0 356991 253 0 0 20 0 3 0 5570941 1969053696 452765 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
/proc/36454/statm: 480726 452765 3030 3035 0 474448 0
[pid=36454/tid=36486] ppid=36451 vsize=1922904 memory=-5155635673887566725 CPUtime=3571.02 cores=1,3
/proc/36454/task/36486/stat : 36486 (fscip) R 36451 36454 36412 0 -1 4194368 2503196 0 0 0 356870 232 0 0 20 0 3 0 5571038 1969053696 452765 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
[pid=36454/tid=36487] ppid=36451 vsize=1922904 memory=6944656592455360604 CPUtime=0.04 cores=1,3
/proc/36454/task/36487/stat : 36487 (fscip) S 36451 36454 36412 0 -1 1077936192 324 0 0 0 1 3 0 0 20 0 3 0 5571061 1969053696 452765 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
Current children cumulated CPU time: 3572.44 s
Current children cumulated vsize: 1922904 KiB
Current children cumulated memory: 1811060 KiB
[startup+3590.4 s]
/proc/loadavg: 3.11 3.11 3.15 4/258 38506
/proc/meminfo: memFree=115770280/131524600 swapFree=131071728/131071996
[pid=36454] ppid=36451 vsize=1922904 memory=1811060 CPUtime=3578.82 cores=1,3
/proc/36454/stat : 36454 (fscip) S 36451 36454 36412 0 -1 1077936128 2630416 0 0 0 357629 253 0 0 20 0 3 0 5570941 1969053696 452765 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
/proc/36454/statm: 480726 452765 3030 3035 0 474448 0
[pid=36454/tid=36486] ppid=36451 vsize=1922904 memory=1811060 CPUtime=3577.4 cores=1,3
/proc/36454/task/36486/stat : 36486 (fscip) R 36451 36454 36412 0 -1 4194368 2504268 0 0 0 357507 233 0 0 20 0 3 0 5571038 1969053696 452765 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
[pid=36454/tid=36487] ppid=36451 vsize=1922904 memory=15860 CPUtime=0.04 cores=1,3
/proc/36454/task/36487/stat : 36487 (fscip) S 36451 36454 36412 0 -1 1077936192 326 0 0 0 1 3 0 0 20 0 3 0 5571061 1969053696 452765 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
Current children cumulated CPU time: 3578.82 s
Current children cumulated vsize: 1922904 KiB
Current children cumulated memory: 1811060 KiB
[startup+3593.6 s]
/proc/loadavg: 3.10 3.11 3.15 4/258 38506
/proc/meminfo: memFree=115769304/131524600 swapFree=131071728/131071996
[pid=36454] ppid=36451 vsize=1922904 memory=1811060 CPUtime=3582.01 cores=1,3
/proc/36454/stat : 36454 (fscip) S 36451 36454 36412 0 -1 1077936128 2631798 0 0 0 357947 254 0 0 20 0 3 0 5570941 1969053696 452765 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
/proc/36454/statm: 480726 452765 3030 3035 0 474448 0
[pid=36454/tid=36486] ppid=36451 vsize=1922904 memory=1811060 CPUtime=3580.59 cores=1,3
/proc/36454/task/36486/stat : 36486 (fscip) R 36451 36454 36412 0 -1 4194368 2505650 0 0 0 357826 233 0 0 20 0 3 0 5571038 1969053696 452765 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
[pid=36454/tid=36487] ppid=36451 vsize=1922904 memory=1811060 CPUtime=0.04 cores=1,3
/proc/36454/task/36487/stat : 36487 (fscip) S 36451 36454 36412 0 -1 1077936192 326 0 0 0 1 3 0 0 20 0 3 0 5571061 1969053696 452765 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
Current children cumulated CPU time: 3582.01 s
Current children cumulated vsize: 1922904 KiB
Current children cumulated memory: 1811060 KiB
[startup+3596.8 s]
/proc/loadavg: 3.10 3.11 3.15 4/258 38506
/proc/meminfo: memFree=115769260/131524600 swapFree=131071728/131071996
[pid=36454] ppid=36451 vsize=1922904 memory=1811060 CPUtime=3585.2 cores=1,3
/proc/36454/stat : 36454 (fscip) S 36451 36454 36412 0 -1 1077936128 2632882 0 0 0 358266 254 0 0 20 0 3 0 5570941 1969053696 452765 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
/proc/36454/statm: 480726 452765 3030 3035 0 474448 0
[pid=36454/tid=36486] ppid=36451 vsize=1922904 memory=1811060 CPUtime=3583.77 cores=1,3
/proc/36454/task/36486/stat : 36486 (fscip) R 36451 36454 36412 0 -1 4194368 2506716 0 0 0 358144 233 0 0 20 0 3 0 5571038 1969053696 452765 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
[pid=36454/tid=36487] ppid=36451 vsize=1922904 memory=1811060 CPUtime=0.04 cores=1,3
/proc/36454/task/36487/stat : 36487 (fscip) S 36451 36454 36412 0 -1 1077936192 327 0 0 0 1 3 0 0 20 0 3 0 5571061 1969053696 452765 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
Current children cumulated CPU time: 3585.2 s
Current children cumulated vsize: 1922904 KiB
Current children cumulated memory: 1811060 KiB
[startup+3597.6 s]
/proc/loadavg: 3.10 3.11 3.15 4/258 38506
/proc/meminfo: memFree=115769260/131524600 swapFree=131071728/131071996
[pid=36454] ppid=36451 vsize=1922904 memory=1811060 CPUtime=3586 cores=1,3
/proc/36454/stat : 36454 (fscip) S 36451 36454 36412 0 -1 1077936128 2632959 0 0 0 358346 254 0 0 20 0 3 0 5570941 1969053696 452765 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
/proc/36454/statm: 480726 452765 3030 3035 0 474448 0
[pid=36454/tid=36486] ppid=36451 vsize=1922904 memory=12768 CPUtime=3584.57 cores=1,3
/proc/36454/task/36486/stat : 36486 (fscip) R 36451 36454 36412 0 -1 4194368 2506793 0 0 0 358224 233 0 0 20 0 3 0 5571038 1969053696 452765 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
[pid=36454/tid=36487] ppid=36451 vsize=1922904 memory=15860 CPUtime=0.04 cores=1,3
/proc/36454/task/36487/stat : 36487 (fscip) S 36451 36454 36412 0 -1 1077936192 327 0 0 0 1 3 0 0 20 0 3 0 5571061 1969053696 452765 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
Current children cumulated CPU time: 3586 s
Current children cumulated vsize: 1922904 KiB
Current children cumulated memory: 1811060 KiB
[startup+3598.4 s]
/proc/loadavg: 3.09 3.11 3.15 4/258 38507
/proc/meminfo: memFree=115769212/131524600 swapFree=131071728/131071996
[pid=36454] ppid=36451 vsize=1922904 memory=1811060 CPUtime=3586.8 cores=1,3
/proc/36454/stat : 36454 (fscip) S 36451 36454 36412 0 -1 1077936128 2633219 0 0 0 358426 254 0 0 20 0 3 0 5570941 1969053696 452765 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
/proc/36454/statm: 480726 452765 3030 3035 0 474448 0
[pid=36454/tid=36486] ppid=36451 vsize=1922904 memory=5536 CPUtime=3585.37 cores=1,3
/proc/36454/task/36486/stat : 36486 (fscip) R 36451 36454 36412 0 -1 4194368 2507053 0 0 0 358304 233 0 0 20 0 3 0 5571038 1969053696 452765 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
[pid=36454/tid=36487] ppid=36451 vsize=1922904 memory=11524 CPUtime=0.04 cores=1,3
/proc/36454/task/36487/stat : 36487 (fscip) S 36451 36454 36412 0 -1 1077936192 327 0 0 0 1 3 0 0 20 0 3 0 5571061 1969053696 452765 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
Current children cumulated CPU time: 3586.8 s
Current children cumulated vsize: 1922904 KiB
Current children cumulated memory: 1811060 KiB
[startup+3598.8 s]
/proc/loadavg: 3.09 3.11 3.15 4/258 38507
/proc/meminfo: memFree=115769212/131524600 swapFree=131071728/131071996
[pid=36454] ppid=36451 vsize=1857368 memory=1747572 CPUtime=3587.2 cores=1,3
/proc/36454/stat : 36454 (fscip) R 36451 36454 36412 0 -1 4194304 2660751 0 0 0 358464 256 0 0 20 0 2 0 5570941 1901944832 436893 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
/proc/36454/statm: 464342 436893 3030 3035 0 458667 0
[pid=36454/tid=36487] ppid=36451 vsize=1857368 memory=-7378703256078345595 CPUtime=0.04 cores=1,3
/proc/36454/task/36487/stat : 36487 (fscip) S 36451 36454 36412 0 -1 1077936192 327 0 0 0 1 3 0 0 20 0 2 0 5571061 1901944832 436893 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
Current children cumulated CPU time: 3587.2 s
Current children cumulated vsize: 1857368 KiB
Current children cumulated memory: 1747572 KiB
[startup+3598.9 s]
/proc/loadavg: 3.09 3.11 3.15 4/258 38507
/proc/meminfo: memFree=115769212/131524600 swapFree=131071728/131071996
[pid=36454] ppid=36451 vsize=1821948 memory=1712152 CPUtime=3587.29 cores=1,3
/proc/36454/stat : 36454 (fscip) R 36451 36454 36412 0 -1 4194304 2661963 0 0 0 358473 256 0 0 20 0 2 0 5570941 1865674752 428038 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
/proc/36454/statm: 455487 428038 3030 3035 0 449812 0
[pid=36454/tid=36487] ppid=36451 vsize=1821948 memory=1811060 CPUtime=0.04 cores=1,3
/proc/36454/task/36487/stat : 36487 (fscip) S 36451 36454 36412 0 -1 1077936192 327 0 0 0 1 3 0 0 20 0 2 0 5571061 1865674752 428038 134679101440 4194304 16623229 140726265122848 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140726265127956 140726265128072 140726265128072 140726265135088 0
Current children cumulated CPU time: 3587.29 s
Current children cumulated vsize: 1821948 KiB
Current children cumulated memory: 1712152 KiB
Child status: 0
Real time (s): 3598.96
CPU time (s): 3587.36
CPU user time (s): 3584.75
CPU system time (s): 2.60807
CPU usage (%): 99.6777
Max. virtual memory (cumulated for all children) (KiB): 1922904
Max. memory (cumulated for all children) (KiB): 1811060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.75
system time used= 2.60807
maximum resident set size= 1811060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2663112
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= 5916
involuntary context switches= 2253
# summary of solver processes directly reported to runsolver:
# pid: 36454
# total CPU time (s): 3587.36
# total CPU user time (s): 3584.75
# total CPU system time (s): 2.60807
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.37194 second user time and 18.0208 second system time
The end
Begin job on nodeC024 at 2024-07-31 03:35:19
IDJOB=4465110
IDBENCH=143318
IDSOLVER=3093
FILE ID=nodeC024/4465110-1722389719
RUNJOBID= nodeC024-1722389719-36424
SLURM_JOB_ID= 8249863
Free space on /tmp= 890084 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/WBO/SOFT-LIN/PB10/oliveras/j30/normalized-j3041_4-unsat--soft-0-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-4465110-1722389719/watcher-4465110-1722389719 -o /tmp/evaluation-result-4465110-1722389719/solver-4465110-1722389719 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722389719-36424 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4465110-1722389719.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 23a988ddfb654df09568eafe82f1da1a
RANDOM SEED=1442357667
nodeC024.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 : 3617.133
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.90
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 : 3658.562
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.73
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 : 3500.382
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.90
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 : 3638.414
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.73
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 : 3539.539
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.90
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 : 3651.339
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.73
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 : 3578.667
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.90
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 : 3644.169
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.73
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127441148 kB
MemAvailable: 129853932 kB
Buffers: 103624 kB
Cached: 3126492 kB
SwapCached: 36 kB
Active: 274352 kB
Inactive: 3296592 kB
Active(anon): 1464 kB
Inactive(anon): 360676 kB
Active(file): 272888 kB
Inactive(file): 2935916 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071728 kB
Dirty: 88344 kB
Writeback: 0 kB
AnonPages: 339100 kB
Mapped: 88060 kB
Shmem: 21292 kB
KReclaimable: 87608 kB
Slab: 172532 kB
SReclaimable: 87608 kB
SUnreclaim: 84924 kB
KernelStack: 4000 kB
PageTables: 9572 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 771816 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9440 kB
HardwareCorrupted: 0 kB
AnonHugePages: 221184 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: 178900 kB
DirectMap2M: 11128832 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 889984 MiB
End job on nodeC024 at 2024-07-31 04:35:18