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.21/0.27 c Default LC presolving (default).
0.21/0.27 c ** Before presolving: virtualMemUsedAtLc = 104641676, getVmSize() = 89964544, SCIPgetMemUsed() = 58694637, SCIPgetMemTotal() = 65121901, SCIPgetMemExternEstim() = 39519775
0.21/0.27 c ** set memory limit for presolving in LC to 8.79606e+12 for SCIP **
6.07/6.13 c ** Estimated virtualMemUsedAtSolver = 240620180, getVmSize() = 349523968, SCIPgetMemUsed() = 242615359, SCIPgetMemTotal() = 321410495, SCIPgetMemExternEstim() = 39519775
6.07/6.13 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
6.07/6.13 c Original Problem :
6.07/6.13 c Problem name : instance-4464898-1722389867
6.07/6.13 c Variables : 15703 (15703 binary, 0 integer, 0 implicit integer, 0 continuous)
6.07/6.13 c Constraints : 26901
6.07/6.13 c Objective sense : minimize
6.07/6.13 c Presolved Problem :
6.07/6.13 c Variables : 23937 (14216 binary, 0 integer, 9721 implicit integer, 0 continuous)
6.07/6.13 c Constraints : 23903
6.07/6.13 c Constraints : Number
6.07/6.13 c knapsack : 113
6.07/6.13 c setppc : 3651
6.07/6.13 c and : 71
6.07/6.13 c linear : 9721
6.07/6.13 c logicor : 624
6.07/6.13 c indicator : 9723
6.07/6.13 c ** Instance transfer method used: 0
6.17/6.22 c ** ParaScipInstance copy increased the number of variables. **
6.26/6.39 c LC is working with racing ramp-up and with rebuilding tree after racing.
6.26/6.39 c Nodes Active
6.26/6.39 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
99.32/99.70 c * 100 0 1 1 487323.0000 - -
99.32/99.70 c 100 0 1 1 487323.0000 - -
99.52/99.94 c * 100 0 1 1 18521.0000 - -
183.75/184.48 c * 184 0 1 1 5087.0000 - -
183.75/184.48 c 184 0 1 1 5087.0000 - -
183.97/184.68 c * 185 0 1 1 5083.0000 - -
185.97/186.64 c * 187 0 1 1 2122.0000 - -
196.43/197.17 c 197 2 1 1 2122.0000 0.0000 -
207.97/208.77 c 209 3 2 1 2122.0000 0.0000 -
218.94/219.77 c 220 4 3 1 2122.0000 0.0000 -
224.42/225.26 c 225 5 4 1 2122.0000 0.0000 -
231.89/232.76 c 233 5 6 1 2122.0000 0.0000 -
244.65/245.56 c 246 5 6 1 2122.0000 0.0000 -
257.91/258.87 c 259 7 6 1 2122.0000 0.0000 -
265.68/266.66 c 267 8 7 1 2122.0000 0.0000 -
271.36/272.35 c 272 9 8 1 2122.0000 0.0000 -
277.24/278.22 c 278 10 9 1 2122.0000 0.0000 -
282.62/283.63 c 284 14 13 1 2122.0000 0.0000 -
286.30/287.37 c * 287 14 13 1 2075.0000 0.0000 -
292.89/293.97 c 294 18 17 1 2075.0000 0.0000 -
297.98/299.07 c 299 22 21 1 2075.0000 0.0000 -
309.22/310.34 c * 310 24 23 1 1886.0000 0.0000 -
309.22/310.34 c 310 24 23 1 1886.0000 0.0000 -
309.95/311.11 c * 311 24 23 1 1724.0000 0.0000 -
310.34/311.42 c * 311 24 23 1 1657.0000 0.0000 -
310.64/311.71 c * 312 24 23 1 1560.0000 0.0000 -
310.97/312.02 c * 312 24 23 1 1517.0000 0.0000 -
314.95/316.04 c 316 28 27 1 1517.0000 0.0000 -
320.03/321.17 c 321 38 37 1 1517.0000 0.0000 -
326.48/327.61 c 328 42 41 1 1517.0000 0.0000 -
333.05/334.20 c 334 49 48 1 1517.0000 0.0000 -
336.86/338.07 c * 338 60 61 1 1331.0000 0.0000 -
337.25/338.41 c * 338 60 61 1 1185.0000 0.0000 -
337.35/338.60 c * 339 60 61 1 1180.0000 0.0000 -
339.64/340.82 c 341 67 66 1 1180.0000 0.0000 -
349.11/350.34 c 350 73 72 1 1180.0000 0.0000 -
355.09/356.34 c 356 82 81 1 1180.0000 0.0000 -
362.16/363.43 c 363 88 87 1 1180.0000 0.0000 -
369.35/370.62 c 371 114 113 1 1180.0000 0.0000 -
378.41/379.77 c 380 115 114 1 1180.0000 0.0000 -
386.80/388.19 c 388 117 116 1 1180.0000 0.0000 -
396.55/397.94 c 398 131 130 1 1180.0000 0.0000 -
405.82/407.27 c 407 136 135 1 1180.0000 0.0000 -
412.40/413.88 c 414 138 137 1 1180.0000 0.0000 -
419.27/420.73 c 421 145 144 1 1180.0000 0.0000 -
425.46/426.92 c 427 181 180 1 1180.0000 0.0000 -
432.73/434.26 c 434 183 182 1 1180.0000 0.0000 -
438.31/439.86 c 440 184 183 1 1180.0000 0.0000 -
446.68/448.27 c 448 195 194 1 1180.0000 0.0000 -
452.17/453.79 c 454 209 208 1 1180.0000 0.0000 -
458.34/459.99 c 460 227 226 1 1180.0000 0.0000 -
463.62/465.21 c 465 236 235 1 1180.0000 0.0000 -
473.29/474.91 c 475 244 243 1 1180.0000 0.0000 -
481.66/483.32 c 483 254 253 1 1180.0000 0.0000 -
489.35/491.03 c 491 258 257 1 1180.0000 0.0000 -
490.13/491.84 c * 492 258 257 1 1118.0000 0.0000 -
495.83/497.53 c 498 272 271 1 1118.0000 0.0000 -
504.50/506.27 c 506 298 297 1 1118.0000 0.0000 -
509.69/511.49 c 511 303 302 1 1118.0000 0.0000 -
516.76/518.51 c 519 304 303 1 1118.0000 0.0000 -
525.04/526.85 c 527 308 307 1 1118.0000 0.0000 -
530.61/532.48 c 532 317 316 1 1118.0000 0.0000 -
536.99/538.87 c 539 324 323 1 1118.0000 0.0000 -
547.06/548.96 c 549 333 332 1 1118.0000 0.0000 -
563.50/565.45 c 565 337 336 1 1118.0000 0.0000 -
571.87/573.85 c 574 340 339 1 1118.0000 0.0000 -
577.65/579.64 c 580 356 355 1 1118.0000 0.0000 -
584.93/586.96 c 587 371 370 1 1118.0000 0.0000 -
590.80/592.87 c 593 394 393 1 1118.0000 0.0000 -
596.68/598.72 c 599 395 394 1 1118.0000 0.0000 -
605.35/607.41 c 607 403 402 1 1118.0000 0.0000 -
620.91/623.03 c 623 406 405 1 1118.0000 0.0000 -
626.57/628.72 c 629 421 420 1 1118.0000 0.0000 -
634.96/637.13 c 637 433 432 1 1118.0000 0.0000 -
640.42/642.68 c 643 444 443 1 1118.0000 0.0000 -
645.91/648.16 c * 648 460 459 1 1063.0000 0.0000 -
645.91/648.16 c 648 460 459 1 1063.0000 0.0000 -
652.19/654.41 c 654 478 475 1 1063.0000 0.0000 -
658.48/660.70 c 661 489 486 1 1063.0000 0.0000 -
664.36/666.60 c 667 502 499 1 1063.0000 0.0000 -
669.76/672.09 c 672 503 500 1 1063.0000 0.0000 -
676.52/678.88 c 679 505 502 1 1063.0000 0.0000 -
681.81/684.13 c 684 509 506 1 1063.0000 0.0000 -
690.47/692.87 c 693 517 514 1 1063.0000 0.0000 -
699.75/702.19 c 702 534 531 1 1063.0000 0.0000 -
706.31/708.73 c 709 542 539 1 1063.0000 0.0000 -
712.39/714.85 c 715 544 541 1 1063.0000 0.0000 -
718.17/720.65 c 721 552 549 1 1063.0000 0.0000 -
725.76/728.27 c 728 557 554 1 1063.0000 0.0000 -
731.23/733.78 c 734 563 560 1 1063.0000 0.0000 -
738.31/740.89 c 741 567 564 1 1063.0000 0.0000 -
750.16/752.74 c 753 571 568 1 1063.0000 0.0000 -
757.14/759.73 c 760 573 570 1 1063.0000 0.0000 -
766.90/769.50 c 770 581 578 1 1063.0000 0.0000 -
775.97/778.66 c 779 592 589 1 1063.0000 0.0000 -
781.65/784.35 c 784 600 597 1 1063.0000 0.0000 -
796.80/799.59 c 800 607 604 1 1063.0000 0.0000 -
802.68/805.45 c 805 612 609 1 1063.0000 0.0000 -
812.46/815.27 c 815 622 619 1 1063.0000 0.0000 -
819.03/821.89 c 822 628 625 1 1063.0000 0.0000 -
824.92/827.76 c 828 643 640 1 1063.0000 0.0000 -
830.50/833.32 c 833 654 651 1 1063.0000 0.0000 -
836.19/839.03 c * 839 658 655 1 758.0000 0.0000 -
836.19/839.03 c 839 658 655 1 758.0000 0.0000 -
841.68/844.54 c 845 677 598 1 758.0000 0.0000 -
847.06/849.93 c 850 691 612 1 758.0000 0.0000 -
855.93/858.89 c 859 692 613 1 758.0000 0.0000 -
865.50/868.40 c 868 703 624 1 758.0000 0.0000 -
874.57/877.52 c 878 716 637 1 758.0000 0.0000 -
880.65/883.60 c 884 725 646 1 758.0000 0.0000 -
886.14/889.17 c 889 727 648 1 758.0000 0.0000 -
896.30/899.39 c 899 731 652 1 758.0000 0.0000 -
901.68/904.75 c 905 735 656 1 758.0000 0.0000 -
910.45/913.58 c 914 739 660 1 758.0000 0.0000 -
917.83/920.99 c 921 747 668 1 758.0000 0.0000 -
923.41/926.54 c 927 754 675 1 758.0000 0.0000 -
932.29/935.47 c 935 763 684 1 758.0000 0.0000 -
939.76/942.94 c 943 771 692 1 758.0000 0.0000 -
946.14/949.37 c 949 774 695 1 758.0000 0.0000 -
955.01/958.20 c 958 781 702 1 758.0000 0.0000 -
962.28/965.58 c 966 793 714 1 758.0000 0.0000 -
968.87/972.19 c 972 797 718 1 758.0000 0.0000 -
977.63/980.93 c 981 806 727 1 758.0000 0.0000 -
983.82/987.11 c 987 811 732 1 758.0000 0.0000 -
994.38/997.71 c 998 820 741 1 758.0000 0.0000 -
1000.46/1003.87 c 1004 826 747 1 758.0000 0.0000 -
1005.65/1009.08 c 1009 828 749 1 758.0000 0.0000 -
1012.02/1015.42 c 1015 839 760 1 758.0000 0.0000 -
1017.61/1021.01 c 1021 843 764 1 758.0000 0.0000 -
1023.48/1026.98 c 1027 847 768 1 758.0000 0.0000 -
1032.34/1035.84 c 1036 853 772 1 758.0000 0.0000 -
1037.64/1041.19 c 1041 857 776 1 758.0000 0.0000 -
1042.03/1045.51 c * 1046 858 777 1 592.0000 0.0000 -
1043.53/1047.10 c 1047 866 661 1 592.0000 0.0000 -
1049.09/1052.64 c 1053 876 671 1 592.0000 0.0000 -
1054.27/1057.84 c 1058 890 685 1 592.0000 0.0000 -
1062.94/1066.59 c 1067 907 702 1 592.0000 0.0000 -
1070.81/1074.47 c 1074 919 714 1 592.0000 0.0000 -
1080.59/1084.23 c 1084 922 717 1 592.0000 0.0000 -
1086.07/1089.79 c 1090 925 720 1 592.0000 0.0000 -
1092.75/1096.48 c 1096 942 737 1 592.0000 0.0000 -
1099.83/1103.55 c 1104 949 744 1 592.0000 0.0000 -
1106.00/1109.74 c 1110 953 746 1 592.0000 0.0000 -
1112.89/1116.64 c 1117 962 755 1 592.0000 0.0000 -
1120.27/1124.10 c 1124 964 757 1 592.0000 0.0000 -
1126.94/1130.77 c 1131 972 765 1 592.0000 0.0000 -
1135.51/1139.37 c 1139 974 767 1 592.0000 0.0000 -
1142.08/1145.92 c 1146 978 771 1 592.0000 0.0000 -
1147.38/1151.23 c 1151 983 776 1 592.0000 0.0000 -
1153.27/1157.15 c 1157 998 789 1 592.0000 0.0000 -
1158.43/1162.33 c 1162 1010 801 1 592.0000 0.0000 -
1164.52/1168.40 c 1168 1032 821 1 592.0000 0.0000 -
1171.00/1174.96 c 1175 1046 835 1 592.0000 0.0000 -
1177.87/1181.83 c 1182 1049 838 1 592.0000 0.0000 -
1182.66/1186.69 c * 1187 1059 848 1 550.0000 0.0000 -
1184.66/1188.68 c 1189 1062 821 1 550.0000 0.0000 -
1189.74/1193.71 c 1194 1065 824 1 550.0000 0.0000 -
1195.23/1199.22 c 1199 1072 831 1 550.0000 0.0000 -
1201.80/1205.85 c 1206 1080 837 1 550.0000 0.0000 -
1208.29/1212.39 c 1212 1085 842 1 550.0000 0.0000 -
1216.16/1220.30 c 1220 1094 847 1 550.0000 0.0000 -
1223.63/1227.75 c 1228 1106 857 1 550.0000 0.0000 -
1228.61/1232.77 c 1233 1114 865 1 550.0000 0.0000 -
1235.00/1239.15 c 1239 1117 866 1 550.0000 0.0000 -
1240.27/1244.46 c 1244 1130 879 1 550.0000 0.0000 -
1247.74/1251.92 c 1252 1133 882 1 550.0000 0.0000 -
1254.22/1258.43 c 1258 1138 887 1 550.0000 0.0000 -
1259.70/1263.92 c 1264 1145 894 1 550.0000 0.0000 -
1266.79/1271.06 c 1271 1152 901 1 550.0000 0.0000 -
1273.44/1277.76 c 1278 1157 906 1 550.0000 0.0000 -
1279.12/1283.48 c 1283 1163 912 1 550.0000 0.0000 -
1286.29/1290.61 c 1291 1164 913 1 550.0000 0.0000 -
1291.87/1296.28 c 1296 1166 915 1 550.0000 0.0000 -
1296.95/1301.34 c 1301 1174 921 1 550.0000 0.0000 -
1303.82/1308.29 c 1308 1175 922 1 550.0000 0.0000 -
1311.09/1315.52 c 1316 1181 928 1 550.0000 0.0000 -
1316.38/1320.84 c 1321 1183 930 1 550.0000 0.0000 -
1328.02/1332.54 c 1333 1188 933 1 550.0000 0.0000 -
1333.11/1337.68 c 1338 1191 936 1 550.0000 0.0000 -
1338.88/1343.48 c 1343 1193 938 1 550.0000 0.0000 -
1348.94/1353.55 c 1354 1199 944 1 550.0000 0.0000 -
1355.42/1360.04 c 1360 1205 950 1 550.0000 0.0000 -
1360.78/1365.48 c 1365 1209 954 1 550.0000 0.0000 -
1371.04/1375.74 c 1376 1213 958 1 550.0000 0.0000 -
1376.82/1381.52 c 1382 1219 960 1 550.0000 0.0000 -
1383.20/1387.92 c 1388 1226 961 1 550.0000 0.0000 -
1388.69/1393.46 c 1393 1231 966 1 550.0000 0.0000 -
1397.76/1402.57 c 1403 1235 968 1 550.0000 0.0000 -
1406.83/1411.64 c 1412 1241 974 1 550.0000 0.0000 -
1412.22/1417.07 c 1417 1247 978 1 550.0000 0.0000 -
1417.79/1422.69 c 1423 1252 983 1 550.0000 0.0000 -
1423.97/1428.86 c 1429 1253 984 1 550.0000 0.0000 -
1434.27/1439.13 c 1439 1260 987 1 550.0000 0.0000 -
1434.86/1439.70 c * 1440 1260 987 1 524.0000 0.0000 -
1440.75/1445.60 c 1446 1268 966 1 524.0000 0.0000 -
1446.64/1451.58 c 1452 1270 968 1 524.0000 0.0000 -
1452.72/1457.65 c 1458 1273 969 1 524.0000 0.0000 -
1460.61/1465.59 c 1466 1277 971 1 524.0000 0.0000 -
1467.10/1472.03 c 1472 1285 977 1 524.0000 0.0000 -
1472.37/1477.37 c 1477 1293 981 1 524.0000 0.0000 -
1478.66/1483.64 c 1484 1301 987 1 524.0000 0.0000 -
1487.44/1492.47 c 1492 1305 991 1 524.0000 0.0000 -
1496.61/1501.60 c 1502 1313 997 1 524.0000 0.0000 -
1509.99/1515.06 c 1515 1316 1000 1 524.0000 0.0000 -
1520.46/1525.58 c 1526 1317 1001 1 524.0000 0.0000 -
1527.24/1532.34 c 1532 1318 1002 1 524.0000 0.0000 -
1533.33/1538.47 c 1538 1323 1007 1 524.0000 0.0000 -
1540.41/1545.56 c 1546 1326 1010 1 524.0000 0.0000 -
1546.20/1551.32 c 1551 1333 1015 1 524.0000 0.0000 -
1552.08/1557.25 c 1557 1338 1020 1 524.0000 0.0000 -
1560.16/1565.30 c 1565 1342 1024 1 524.0000 0.0000 -
1567.85/1573.07 c 1573 1343 1025 1 524.0000 0.0000 -
1580.32/1585.51 c 1586 1346 1028 1 524.0000 0.0000 -
1592.68/1597.92 c 1598 1348 1030 1 524.0000 0.0000 -
1598.37/1603.70 c 1604 1350 1032 1 524.0000 0.0000 -
1603.95/1609.27 c 1609 1356 1038 1 524.0000 0.0000 -
1609.75/1615.04 c 1615 1363 1043 1 524.0000 0.0000 -
1614.84/1620.19 c 1620 1364 1044 1 524.0000 0.0000 -
1622.11/1627.44 c 1627 1367 1047 1 524.0000 0.0000 -
1627.21/1632.58 c 1633 1373 1053 1 524.0000 0.0000 -
1632.29/1637.60 c 1638 1375 1053 1 524.0000 0.0000 -
1640.87/1646.24 c 1646 1376 1054 1 524.0000 0.0000 -
1648.85/1654.24 c 1654 1383 1057 1 524.0000 0.0000 -
1654.53/1659.98 c 1660 1386 1060 1 524.0000 0.0000 -
1662.32/1667.70 c 1668 1391 1065 1 524.0000 0.0000 -
1675.88/1681.30 c 1681 1398 1072 1 524.0000 0.0000 -
1683.07/1688.56 c 1689 1401 1071 1 524.0000 0.0000 -
1688.45/1693.94 c 1694 1411 1079 1 524.0000 0.0000 -
1695.73/1701.27 c 1701 1416 1082 1 524.0000 0.0000 -
1702.02/1707.52 c 1708 1423 1089 1 524.0000 0.0000 -
1712.80/1718.33 c 1718 1427 1093 1 524.0000 0.0000 -
1718.28/1723.87 c 1724 1430 1092 1 524.0000 0.0000 -
1726.48/1732.04 c 1732 1431 1093 1 524.0000 0.0000 -
1735.55/1741.11 c 1741 1437 1097 1 524.0000 0.0000 -
1740.92/1746.54 c 1747 1441 1099 1 524.0000 0.0000 -
1746.52/1752.13 c 1752 1451 1105 1 524.0000 0.0000 -
1756.40/1762.02 c 1762 1453 1109 1 524.0000 0.0000 -
1761.57/1767.22 c 1767 1455 1109 1 524.0000 0.0000 -
1768.66/1774.38 c 1774 1462 1116 1 524.0000 0.0000 -
1773.64/1779.39 c 1779 1466 1120 1 524.0000 0.0000 -
1779.73/1785.49 c 1785 1472 1122 1 524.0000 0.0000 -
1787.21/1792.96 c 1793 1480 1126 1 524.0000 0.0000 -
1794.50/1800.28 c 1800 1490 1134 1 524.0000 0.0000 -
1800.98/1806.70 c 1807 1494 1138 1 524.0000 0.0000 -
1810.16/1815.99 c 1816 1503 1143 1 524.0000 0.0000 -
1821.64/1827.41 c 1827 1503 1145 1 524.0000 0.0000 -
1830.51/1836.30 c 1836 1508 1148 1 524.0000 0.0000 -
1836.59/1842.43 c 1842 1510 1150 1 524.0000 0.0000 -
1848.87/1854.71 c 1855 1518 1152 1 524.0000 0.0000 -
1854.35/1860.26 c 1860 1524 1152 1 524.0000 0.0000 -
1859.74/1865.65 c 1866 1530 1156 1 524.0000 0.0000 -
1865.14/1871.06 c 1871 1536 1160 1 524.0000 0.0000 -
1870.41/1876.39 c 1876 1544 1164 1 524.0000 0.0000 -
1881.20/1887.12 c 1887 1551 1171 1 524.0000 0.0000 -
1886.68/1892.67 c 1893 1552 1172 1 524.0000 0.0000 -
1892.36/1898.32 c 1898 1555 1175 1 524.0000 0.0000 -
1906.83/1912.86 c 1913 1556 1176 1 524.0000 0.0000 -
1913.91/1919.98 c 1920 1557 1177 1 524.0000 0.0000 -
1921.30/1927.38 c 1927 1558 1178 1 524.0000 0.0000 -
1928.37/1934.44 c 1934 1563 1183 1 524.0000 0.0000 -
1934.57/1940.64 c 1941 1566 1186 1 524.0000 0.0000 -
1945.23/1951.35 c 1951 1570 1190 1 524.0000 0.0000 -
1962.39/1968.56 c 1969 1573 1193 1 524.0000 0.0000 -
1973.76/1979.94 c 1980 1575 1195 1 524.0000 0.0000 -
1978.76/1984.95 c 1985 1577 1197 1 524.0000 0.0000 -
1983.85/1990.08 c 1990 1586 1206 1 524.0000 0.0000 -
1990.12/1996.37 c 1996 1590 1210 1 524.0000 0.0000 -
1995.31/2001.54 c 2002 1593 1213 1 524.0000 0.0000 -
2001.80/2008.07 c 2008 1598 1218 1 524.0000 0.0000 -
2007.67/2013.90 c 2014 1604 1224 1 524.0000 0.0000 -
2013.56/2019.84 c 2020 1607 1227 1 524.0000 0.0000 -
2018.64/2024.91 c 2025 1611 1231 1 524.0000 0.0000 -
2027.43/2033.71 c 2034 1612 1232 1 524.0000 0.0000 -
2041.10/2047.41 c 2047 1621 1241 1 524.0000 0.0000 -
2053.87/2060.21 c 2060 1628 1246 1 524.0000 0.0000 -
2060.66/2067.11 c 2067 1635 1251 1 524.0000 0.0000 -
2066.33/2072.79 c 2073 1636 1252 1 524.0000 0.0000 -
2072.33/2078.72 c 2079 1641 1257 1 524.0000 0.0000 -
2085.61/2092.02 c 2092 1643 1259 1 524.0000 0.0000 -
2091.27/2097.71 c 2098 1648 1264 1 524.0000 0.0000 -
2097.26/2103.75 c 2104 1652 1268 1 524.0000 0.0000 -
2104.04/2110.51 c 2111 1657 1273 1 524.0000 0.0000 -
2111.93/2118.47 c 2118 1661 1277 1 524.0000 0.0000 -
2117.02/2123.54 c 2124 1665 1281 1 524.0000 0.0000 -
2125.30/2131.89 c 2132 1667 1283 1 524.0000 0.0000 -
2133.78/2140.32 c 2140 1673 1289 1 524.0000 0.0000 -
2139.57/2146.16 c 2146 1676 1292 1 524.0000 0.0000 -
2150.64/2157.23 c 2157 1682 1296 1 524.0000 0.0000 -
2156.63/2163.27 c 2163 1690 1304 1 524.0000 0.0000 -
2164.91/2171.59 c 2172 1693 1303 1 524.0000 0.0000 -
2171.29/2177.96 c 2178 1697 1307 1 524.0000 0.0000 -
2179.57/2186.24 c 2186 1703 1313 1 524.0000 0.0000 -
2184.66/2191.39 c 2191 1708 1318 1 524.0000 0.0000 -
2189.95/2196.65 c 2197 1709 1319 1 524.0000 0.0000 -
2197.93/2204.61 c 2205 1713 1325 1 524.0000 0.0000 -
2204.21/2210.96 c 2211 1716 1326 1 524.0000 0.0000 -
2209.50/2216.21 c 2216 1722 1328 1 524.0000 0.0000 -
2214.79/2221.56 c 2222 1727 1329 1 524.0000 0.0000 -
2220.17/2226.97 c 2227 1735 1335 1 524.0000 0.0000 -
2225.56/2232.35 c 2232 1742 1340 1 524.0000 0.0000 -
2232.95/2239.75 c 2240 1745 1341 1 524.0000 0.0000 -
2239.63/2246.40 c 2246 1751 1347 1 524.0000 0.0000 -
2245.12/2251.96 c 2252 1754 1350 1 524.0000 0.0000 -
2250.22/2257.04 c 2257 1758 1354 1 524.0000 0.0000 -
2257.39/2264.26 c 2264 1759 1355 1 524.0000 0.0000 -
2264.08/2271.01 c 2271 1766 1360 1 524.0000 0.0000 -
2271.46/2278.38 c 2278 1771 1365 1 524.0000 0.0000 -
2289.12/2296.03 c 2296 1772 1366 1 524.0000 0.0000 -
2294.90/2301.82 c 2302 1776 1370 1 524.0000 0.0000 -
2306.67/2313.61 c 2314 1781 1375 1 524.0000 0.0000 -
2315.06/2322.06 c 2322 1787 1377 1 524.0000 0.0000 -
2320.54/2327.54 c 2328 1794 1384 1 524.0000 0.0000 -
2326.82/2333.84 c 2334 1798 1388 1 524.0000 0.0000 -
2338.69/2345.77 c 2346 1810 1400 1 524.0000 0.0000 -
2349.37/2356.47 c 2356 1812 1402 1 524.0000 0.0000 -
2354.66/2361.71 c 2362 1817 1407 1 524.0000 0.0000 -
2361.96/2369.03 c 2369 1820 1410 1 524.0000 0.0000 -
2372.32/2379.47 c 2379 1826 1416 1 524.0000 0.0000 -
2377.70/2384.88 c 2385 1829 1419 1 524.0000 0.0000 -
2383.49/2390.63 c 2391 1834 1424 1 524.0000 0.0000 -
2388.68/2395.89 c 2396 1839 1423 1 524.0000 0.0000 -
2394.47/2401.68 c 2402 1847 1431 1 524.0000 0.0000 -
2399.66/2406.80 c 2407 1849 1433 1 524.0000 0.0000 -
2408.35/2415.53 c 2416 1853 1437 1 524.0000 0.0000 -
2416.43/2423.67 c 2424 1860 1444 1 524.0000 0.0000 -
2423.61/2430.81 c 2431 1863 1447 1 524.0000 0.0000 -
2430.69/2437.95 c 2438 1868 1450 1 524.0000 0.0000 -
2441.88/2449.14 c 2449 1875 1457 1 524.0000 0.0000 -
2455.85/2463.15 c 2463 1882 1462 1 524.0000 0.0000 -
2461.33/2468.63 c 2469 1883 1463 1 524.0000 0.0000 -
2467.62/2474.98 c 2475 1888 1468 1 524.0000 0.0000 -
2472.72/2480.04 c 2480 1890 1470 1 524.0000 0.0000 -
2482.18/2489.58 c 2490 1900 1478 1 524.0000 0.0000 -
2488.87/2496.20 c 2496 1905 1483 1 524.0000 0.0000 -
2495.25/2502.68 c 2503 1911 1487 1 524.0000 0.0000 -
2502.93/2510.31 c 2510 1913 1489 1 524.0000 0.0000 -
2510.22/2517.60 c 2518 1917 1493 1 524.0000 0.0000 -
2522.40/2529.85 c 2530 1921 1497 1 524.0000 0.0000 -
2528.99/2536.49 c 2536 1928 1502 1 524.0000 0.0000 -
2536.37/2543.81 c 2544 1929 1503 1 524.0000 0.0000 -
2548.25/2555.75 c 2556 1937 1509 1 524.0000 0.0000 -
2553.83/2561.33 c 2561 1942 1514 1 524.0000 0.0000 -
2559.22/2566.70 c 2567 1944 1514 1 524.0000 0.0000 -
2567.00/2574.57 c 2575 1948 1518 1 524.0000 0.0000 -
2573.38/2580.95 c 2581 1951 1519 1 524.0000 0.0000 -
2579.97/2587.58 c 2588 1954 1522 1 524.0000 0.0000 -
2591.47/2599.03 c 2599 1961 1527 1 524.0000 0.0000 -
2598.14/2605.79 c 2606 1962 1526 1 524.0000 0.0000 -
2606.53/2614.16 c 2614 1964 1528 1 524.0000 0.0000 -
2614.42/2622.01 c 2622 1970 1532 1 524.0000 0.0000 -
2622.50/2630.19 c 2630 1974 1536 1 524.0000 0.0000 -
2630.48/2638.15 c 2638 1980 1542 1 524.0000 0.0000 -
2638.75/2646.48 c 2646 1985 1547 1 524.0000 0.0000 -
2644.35/2652.11 c 2652 1991 1551 1 524.0000 0.0000 -
2653.02/2660.78 c 2661 1996 1556 1 524.0000 0.0000 -
2658.90/2666.60 c 2667 2001 1559 1 524.0000 0.0000 -
2666.59/2674.32 c 2674 2005 1563 1 524.0000 0.0000 -
2675.47/2683.20 c 2683 2009 1567 1 524.0000 0.0000 -
2692.43/2700.21 c 2700 2014 1572 1 524.0000 0.0000 -
2700.02/2707.89 c 2708 2016 1574 1 524.0000 0.0000 -
2705.60/2713.48 c 2713 2022 1576 1 524.0000 0.0000 -
2711.99/2719.80 c 2720 2027 1581 1 524.0000 0.0000 -
2721.29/2729.14 c 2729 2033 1585 1 524.0000 0.0000 -
2735.54/2743.45 c 2743 2035 1587 1 524.0000 0.0000 -
2754.50/2762.44 c 2762 2042 1594 1 524.0000 0.0000 -
2772.37/2780.37 c 2780 2045 1597 1 524.0000 0.0000 -
2786.15/2794.16 c 2794 2046 1598 1 524.0000 0.0000 -
2798.31/2806.33 c 2806 2048 1600 1 524.0000 0.0000 -
2807.89/2815.95 c 2816 2051 1603 1 524.0000 0.0000 -
2813.58/2821.63 c 2822 2055 1607 1 524.0000 0.0000 -
2822.46/2830.50 c 2831 2058 1610 1 524.0000 0.0000 -
2828.65/2836.70 c 2837 2061 1613 1 524.0000 0.0000 -
2836.84/2844.94 c 2845 2066 1618 1 524.0000 0.0000 -
2843.42/2851.54 c 2852 2068 1620 1 524.0000 0.0000 -
2853.50/2861.68 c 2862 2073 1623 1 524.0000 0.0000 -
2859.28/2867.40 c 2867 2081 1627 1 524.0000 0.0000 -
2869.97/2878.15 c 2878 2083 1629 1 524.0000 0.0000 -
2879.44/2887.68 c 2888 2088 1634 1 524.0000 0.0000 -
2886.02/2894.26 c 2894 2092 1638 1 524.0000 0.0000 -
2892.21/2900.46 c 2900 2095 1641 1 524.0000 0.0000 -
2900.49/2908.79 c 2909 2097 1643 1 524.0000 0.0000 -
2906.18/2914.44 c 2914 2099 1645 1 524.0000 0.0000 -
2911.67/2919.96 c 2920 2101 1647 1 524.0000 0.0000 -
2921.45/2929.71 c 2930 2103 1649 1 524.0000 0.0000 -
2933.12/2941.47 c 2941 2105 1651 1 524.0000 0.0000 -
2938.61/2946.92 c 2947 2107 1653 1 524.0000 0.0000 -
2966.06/2974.42 c 2974 2108 1654 1 524.0000 0.0000 -
2972.45/2980.87 c 2981 2110 1656 1 524.0000 0.0000 -
2979.53/2988.01 c 2988 2114 1660 1 524.0000 0.0000 -
2991.72/3000.16 c 3000 2114 1662 1 524.0000 0.0000 -
2992.01/3000.43 c * 3000 2114 1662 1 495.0000 0.0000 -
2999.89/3008.32 c 3008 2116 1586 1 495.0000 0.0000 -
3010.58/3019.01 c 3019 2125 1591 1 495.0000 0.0000 -
3018.15/3026.65 c 3027 2127 1593 1 495.0000 0.0000 -
3026.43/3034.91 c 3035 2128 1594 1 495.0000 0.0000 -
3031.42/3040.01 c 3040 2133 1599 1 495.0000 0.0000 -
3036.63/3045.14 c 3045 2135 1601 1 495.0000 0.0000 -
3047.09/3055.63 c 3056 2146 1612 1 495.0000 0.0000 -
3058.76/3067.31 c 3067 2152 1618 1 495.0000 0.0000 -
3078.73/3087.38 c 3087 2154 1620 1 495.0000 0.0000 -
3106.67/3115.37 c 3115 2157 1623 1 495.0000 0.0000 -
3119.14/3127.80 c 3128 2158 1624 1 495.0000 0.0000 -
3125.82/3134.54 c 3135 2159 1625 1 495.0000 0.0000 -
3132.10/3140.85 c 3141 2161 1627 1 495.0000 0.0000 -
3138.19/3146.91 c 3147 2165 1631 1 495.0000 0.0000 -
3144.68/3153.40 c 3153 2170 1636 1 495.0000 0.0000 -
3150.37/3159.16 c 3159 2177 1643 1 495.0000 0.0000 -
3155.65/3164.45 c 3164 2184 1650 1 495.0000 0.0000 -
3168.32/3177.13 c 3177 2192 1652 1 495.0000 0.0000 -
3181.78/3190.62 c 3191 2193 1653 1 495.0000 0.0000 -
3194.15/3203.09 c 3203 2195 1655 1 495.0000 0.0000 -
3225.26/3234.28 c 3234 2196 1656 1 495.0000 0.0000 -
3232.24/3241.22 c 3241 2198 1658 1 495.0000 0.0000 -
3238.93/3247.99 c 3248 2227 1677 1 495.0000 0.0000 -
3244.12/3253.14 c 3253 2244 1680 1 495.0000 0.0000 -
3250.89/3259.99 c 3260 2285 1689 1 495.0000 0.0000 -
3260.08/3269.14 c 3269 2292 1684 1 495.0000 0.0000 -
3269.44/3278.52 c 3279 2293 1685 1 495.0000 0.0000 -
3284.70/3293.85 c 3294 2295 1687 1 495.0000 0.0000 -
3297.27/3306.46 c 3306 2296 1688 1 495.0000 0.0000 -
3304.35/3313.59 c 3314 2297 1689 1 495.0000 0.0000 -
3311.63/3320.84 c 3321 2298 1690 1 495.0000 0.0000 -
3317.51/3326.77 c 3327 2313 1690 1 495.0000 0.0000 -
3328.68/3337.95 c 3338 2314 1691 1 495.0000 0.0000 -
3342.26/3351.58 c 3352 2316 1693 1 495.0000 0.0000 -
3349.85/3359.19 c 3359 2317 1694 1 495.0000 0.0000 -
3356.92/3366.24 c 3366 2318 1695 1 495.0000 0.0000 -
3373.37/3382.74 c 3383 2343 1700 1 495.0000 0.0000 -
3382.76/3392.12 c 3392 2345 1702 1 495.0000 0.0000 -
3391.64/3401.06 c 3401 2347 1704 1 495.0000 0.0000 -
3396.81/3406.29 c 3406 2364 1705 1 495.0000 0.0000 -
3401.89/3411.31 c 3411 2397 1704 1 495.0000 0.0000 -
3408.28/3417.80 c 3418 2404 1707 1 495.0000 0.0000 -
3414.67/3424.15 c 3424 2416 1713 1 495.0000 0.0000 -
3420.34/3429.80 c 3430 2425 1722 1 495.0000 0.0000 -
3426.32/3435.88 c 3436 2433 1728 1 495.0000 0.0000 -
3432.01/3441.58 c 3442 2440 1735 1 495.0000 0.0000 -
3437.60/3447.15 c 3447 2446 1741 1 495.0000 0.0000 -
3442.68/3452.25 c 3452 2447 1742 1 495.0000 0.0000 -
3448.47/3458.10 c 3458 2453 1748 1 495.0000 0.0000 -
3453.56/3463.13 c 3463 2464 1759 1 495.0000 0.0000 -
3459.44/3469.11 c 3469 2468 1763 1 495.0000 0.0000 -
3470.71/3480.36 c 3480 2472 1767 1 495.0000 0.0000 -
3497.54/3507.29 c 3507 2473 1768 1 495.0000 0.0000 -
3506.91/3516.68 c 3517 2474 1769 1 495.0000 0.0000 -
3516.19/3526.01 c 3526 2476 1771 1 495.0000 0.0000 -
3522.97/3532.72 c 3533 2478 1773 1 495.0000 0.0000 -
3528.05/3537.87 c 3538 2482 1777 1 495.0000 0.0000 -
3534.24/3544.04 c 3544 2505 1782 1 495.0000 0.0000 -
3539.82/3549.64 c 3550 2509 1786 1 495.0000 0.0000 -
3554.69/3564.55 c 3565 2513 1788 1 495.0000 0.0000 -
3563.06/3572.97 c 3573 2514 1789 1 495.0000 0.0000 -
3575.24/3585.18 c 3585 2515 1790 1 495.0000 0.0000 -
3588.21/3598.17 c 3598 2516 1791 0 495.0000 0.0000 -
3588.39/3598.37 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.39/3598.38 c Total Time : 3598.3800
3588.39/3598.38 c solving : 3598.3800
3588.39/3598.38 c presolving : 5.8597 (included in solving)
3588.39/3598.38 c B&B Tree :
3588.39/3598.38 c nodes (total) : 1
3588.39/3598.38 c Solution :
3588.39/3598.38 c Solutions found : 21
3588.39/3598.38 c Primal Bound : +4.95000000000000e+02
3588.39/3598.38 c Dual Bound : +0.00000000000000e+00
3588.39/3598.38 c Gap : infinite
3588.39/3598.38 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3588.39/3598.40 o 495
3588.39/3598.40 s SATISFIABLE
3588.39/3598.40 v x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942
3588.39/3598.40 v -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924
3588.39/3598.40 v -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907
3588.39/3598.40 v -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889
3588.39/3598.40 v -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 x4879 x4878 x4877 x4876 x4875 x4874 x4873 x4872 -x4871 -x4870
3588.39/3598.40 v -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852
3588.39/3598.40 v -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834
3588.39/3598.40 v -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816
3588.39/3598.40 v -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 x4799 x4798
3588.39/3598.40 v x4797 x4796 x4795 x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780
3588.39/3598.40 v -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762
3588.39/3598.40 v -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744
3588.39/3598.40 v -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726
3588.39/3598.40 v -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 x4719 x4718 x4717 x4716 x4715 x4714 x4713 x4712 x4711 -x4710 -x4709 -x4708 -x4707
3588.39/3598.40 v -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689
3588.39/3598.40 v -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671
3588.39/3598.40 v -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653
3588.39/3598.40 v -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635
3588.39/3598.40 v -x4634 -x4633 -x4632 x4631 x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617
3588.39/3598.40 v -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599
3588.39/3598.40 v -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582
3588.39/3598.40 v -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564
3588.39/3598.40 v -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546
3588.39/3598.40 v -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528
3588.39/3598.40 v -x4527 -x4526 x4525 x4524 x4523 x4522 x4521 x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509
3588.39/3598.40 v -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491
3588.39/3598.40 v -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474
3588.39/3598.40 v -x4473 -x4472 -x4471 -x4470 -x4469 x4468 x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455
3588.39/3598.40 v -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438
3588.39/3598.40 v -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420
3588.39/3598.40 v -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402
3588.39/3598.40 v -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 x4385 x4384
3588.39/3598.40 v x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366
3588.39/3598.40 v -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348
3588.39/3598.40 v -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330
3588.39/3598.40 v -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312
3588.39/3598.40 v -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 x4304 x4303 x4302 x4301 x4300 x4299 x4298 -x4297 -x4296 -x4295 -x4294 -x4293
3588.39/3598.40 v -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275
3588.39/3598.40 v -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258
3588.39/3598.40 v -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240
3588.39/3598.40 v -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222
3588.39/3598.40 v -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 x4209 x4208 x4207 x4206 -x4205 -x4204 -x4203
3588.39/3598.40 v -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186
3588.39/3598.40 v -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168
3588.39/3598.40 v -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150
3588.39/3598.40 v x4149 -x4148 -x4147 x4146 x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132
3588.39/3598.40 v -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114
3588.39/3598.40 v -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096
3588.39/3598.40 v -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078
3588.39/3598.40 v -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060
3588.39/3598.40 v -x4059 -x4058 x4057 x4056 x4055 x4054 x4053 x4052 x4051 x4050 x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041
3588.39/3598.40 v -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023
3588.39/3598.40 v -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005
3588.39/3598.40 v -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987
3588.39/3598.40 v -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970
3588.39/3598.40 v -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 x3959 x3958 x3957 x3956 x3955 x3954 x3953 -x3952 -x3951
3588.39/3598.40 v -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933
3588.39/3598.40 v -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915
3588.39/3598.40 v -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897
3588.39/3598.40 v -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 x3883 x3882 x3881 x3880 x3879
3588.39/3598.40 v x3878 x3877 x3876 x3875 x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860
3588.39/3598.40 v -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842
3588.39/3598.40 v -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824
3588.39/3598.40 v -x3823 -x3822 -x3821 x3820 x3819 x3818 x3817 x3816 x3815 x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805
3588.39/3598.40 v -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788
3588.39/3598.40 v -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770
3588.39/3598.40 v -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752
3588.39/3598.40 v -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734
3588.39/3598.40 v -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716
3588.39/3598.40 v -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 x3702 x3701 x3700 x3699 x3698
3588.39/3598.40 v x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680
3588.39/3598.40 v -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 x3670 x3669 x3668 x3667 x3666 -x3665 -x3664 -x3663 -x3662 -x3661
3588.39/3598.40 v -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643
3588.39/3598.40 v -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625
3588.39/3598.40 v -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607
3588.39/3598.40 v -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590
3588.39/3598.40 v -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572
3588.39/3598.40 v -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 x3558 x3557 x3556 x3555 x3554 x3553
3588.39/3598.40 v x3552 x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535
3588.39/3598.40 v -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517
3588.39/3598.40 v -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 x3502 x3501 -x3500 -x3499
3588.39/3598.40 v -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481
3588.39/3598.40 v -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463
3588.39/3598.40 v -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445
3588.39/3598.40 v -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427
3588.39/3598.40 v -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410
3588.39/3598.40 v -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 x3392
3588.39/3598.40 v x3391 x3390 -x3389 x3388 x3387 x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373
3588.39/3598.40 v -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355
3588.39/3598.40 v -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337
3588.39/3598.40 v -x3336 -x3335 -x3334 x3333 x3332 x3331 x3330 -x3329 x3328 x3327 x3326 x3325 x3324 -x3323 -x3322 -x3321 -x3320 x3319 -x3318
3588.39/3598.40 v -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300
3588.39/3598.40 v -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282
3588.39/3598.40 v -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264
3588.39/3598.40 v -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247
3588.39/3598.40 v -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229
3588.39/3598.40 v -x3228 -x3227 -x3226 -x3225 x3224 x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211
3588.39/3598.40 v -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193
3588.39/3598.40 v -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175
3588.39/3598.40 v -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157
3588.39/3598.40 v -x3156 -x3155 -x3154 -x3153 -x3152 x3151 x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139
3588.39/3598.40 v -x3138 -x3137 x3136 x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121
3588.39/3598.40 v -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103
3588.39/3598.40 v -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085
3588.39/3598.40 v -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 x3069 -x3068 x3067
3588.39/3598.40 v x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049
3588.39/3598.40 v -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031
3588.39/3598.40 v -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013
3588.39/3598.40 v -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995
3588.39/3598.40 v -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 x2985 x2984 -x2983 x2982 x2981 x2980 -x2979 -x2978 -x2977
3588.39/3598.40 v -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959
3588.39/3598.40 v -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941
3588.39/3598.40 v -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923
3588.39/3598.40 v -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 x2910 x2909 x2908 -x2907 -x2906 x2905
3588.39/3598.40 v x2904 x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887
3588.39/3598.40 v -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869
3588.39/3598.40 v -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851
3588.39/3598.40 v -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833
3588.39/3598.40 v -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 x2819 x2818 x2817 -x2816 x2815
3588.39/3598.40 v x2814 x2813 x2812 x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796
3588.39/3598.40 v -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778
3588.39/3598.40 v -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760
3588.39/3598.40 v -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743
3588.39/3598.40 v -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 x2730 x2729 -x2728 -x2727 -x2726 -x2725 -x2724
3588.39/3598.40 v -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707
3588.39/3598.40 v -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689
3588.39/3598.40 v -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671
3588.39/3598.40 v -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653
3588.39/3598.40 v -x2652 -x2651 -x2650 -x2649 -x2648 x2647 x2646 -x2645 x2644 x2643 x2642 x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634
3588.39/3598.40 v -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616
3588.39/3598.40 v -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599
3588.39/3598.40 v -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581
3588.39/3598.40 v -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 x2574 x2573 x2572 x2571 x2570 x2569 x2568 x2567 x2566 x2565 -x2564 -x2563 -x2562 -x2561
3588.39/3598.40 v -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544
3588.39/3598.40 v -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526
3588.39/3598.40 v -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508
3588.39/3598.40 v -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490
3588.39/3598.40 v x2489 x2488 -x2487 -x2486 x2485 x2484 x2483 x2482 x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471
3588.39/3598.40 v -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453
3588.39/3598.40 v -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435
3588.39/3598.40 v -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417
3588.39/3598.40 v -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 x2401 x2400 x2399
3588.39/3598.40 v x2398 x2397 x2396 x2395 x2394 x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380
3588.39/3598.40 v -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363
3588.39/3598.40 v -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345
3588.39/3598.40 v -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327
3588.39/3598.40 v -x2326 -x2325 -x2324 -x2323 -x2322 x2321 x2320 x2319 x2318 x2317 x2316 x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308
3588.39/3598.40 v -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290
3588.39/3598.40 v -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272
3588.39/3598.40 v -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254
3588.39/3598.40 v -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 x2241 x2240 x2239 x2238 x2237 x2236
3588.39/3598.40 v x2235 x2234 x2233 x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217
3588.39/3598.40 v -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199
3588.39/3598.40 v -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182
3588.39/3598.40 v -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164
3588.39/3598.40 v -x2163 -x2162 x2161 x2160 x2159 x2158 x2157 x2156 x2155 x2154 x2153 x2152 x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144
3588.39/3598.40 v -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126
3588.39/3598.40 v -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109
3588.39/3598.40 v -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091
3588.39/3598.40 v -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 x2081 x2080 x2079 x2078 x2077 x2076 x2075 x2074 x2073 x2072 x2071
3588.39/3598.40 v x2070 x2069 x2068 x2067 x2066 x2065 x2064 x2063 x2062 x2061 x2060 x2059 x2058 x2057 x2056 x2055 x2054 x2053 x2052 x2051
3588.39/3598.40 v x2050 x2049 x2048 x2047 x2046 x2045 x2044 x2043 x2042 x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031
3588.39/3598.40 v -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013
3588.39/3598.40 v -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 x2001 x2000 x1999 x1998 x1997 x1996 x1995
3588.39/3598.40 v x1994 x1993 x1992 x1991 x1990 x1989 x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976
3588.39/3598.40 v -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958
3588.39/3598.40 v -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940
3588.39/3598.40 v -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922
3588.39/3598.40 v x1921 x1920 x1919 x1918 x1917 x1916 x1915 x1914 x1913 x1912 x1911 x1910 x1909 x1908 x1907 x1906 x1905 x1904 -x1903 -x1902
3588.39/3598.40 v -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884
3588.39/3598.40 v -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866
3588.39/3598.40 v -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848
3588.39/3598.40 v -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 x1841 x1840 x1839 x1838 x1837 x1836 x1835 x1834 x1833 x1832 x1831 x1830 x1829 x1828
3588.39/3598.40 v x1827 x1826 x1825 x1824 x1823 x1822 x1821 x1820 x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809
3588.39/3598.40 v -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791
3588.39/3598.40 v -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773
3588.39/3598.40 v -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 x1761 x1760 x1759 x1758 x1757 x1756 x1755
3588.39/3598.40 v x1754 x1753 x1752 x1751 x1750 x1749 x1748 x1747 x1746 x1745 x1744 x1743 x1742 x1741 x1740 x1739 x1738 x1737 x1736 x1735 x1734
3588.39/3598.40 v x1733 x1732 x1731 x1730 x1729 x1728 x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715
3588.39/3598.40 v -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697
3588.39/3598.40 v -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 x1681 x1680 x1679
3588.39/3598.40 v x1678 x1677 x1676 x1675 x1674 x1673 x1672 x1671 x1670 x1669 x1668 x1667 x1666 -x1665 x1664 x1663 -x1662 -x1661 -x1660 -x1659
3588.39/3598.40 v -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641
3588.39/3598.40 v -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623
3588.39/3598.40 v -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605
3588.39/3598.40 v -x1604 -x1603 -x1602 x1601 x1600 x1599 x1598 x1597 x1596 x1595 x1594 x1593 x1592 x1591 x1590 x1589 x1588 x1587 x1586 x1585
3588.39/3598.40 v x1584 x1583 x1582 x1581 x1580 x1579 x1578 x1577 x1576 x1575 x1574 x1573 x1572 x1571 x1570 -x1569 -x1568 -x1567 -x1566 -x1565
3588.39/3598.40 v -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547
3588.39/3598.40 v -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529
3588.39/3598.40 v -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 x1521 x1520 x1519 x1518 x1517 x1516 x1515 x1514 x1513 x1512 x1511 x1510
3588.39/3598.40 v x1509 x1508 x1507 x1506 x1505 x1504 x1503 x1502 x1501 x1500 x1499 x1498 x1497 x1496 x1495 x1494 x1493 x1492 x1491 x1490 x1489
3588.39/3598.40 v x1488 x1487 x1486 x1485 x1484 x1483 x1482 x1481 x1480 x1479 x1478 x1477 x1476 x1475 x1474 -x1473 -x1472 -x1471 -x1470 -x1469
3588.39/3598.40 v -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451
3588.39/3598.40 v -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 x1441 x1440 x1439 x1438 x1437 x1436 x1435 x1434 x1433 x1432
3588.39/3598.40 v x1431 x1430 x1429 x1428 x1427 x1426 x1425 x1424 x1423 x1422 x1421 x1420 x1419 x1418 x1417 x1416 x1415 x1414 x1413 x1412 x1411
3588.39/3598.40 v x1410 x1409 x1408 x1407 x1406 x1405 x1404 x1403 x1402 x1401 x1400 x1399 x1398 x1397 x1396 x1395 -x1394 -x1393 -x1392 -x1391
3588.39/3598.40 v -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373
3588.39/3598.40 v -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 x1361 x1360 x1359 x1358 x1357 x1356 x1355 x1354
3588.39/3598.40 v x1353 x1352 x1351 x1350 x1349 x1348 x1347 x1346 x1345 x1344 x1343 x1342 x1341 x1340 x1339 x1338 x1337 x1336 x1335 -x1334 -x1333
3588.39/3598.40 v -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315
3588.39/3598.40 v -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297
3588.39/3598.40 v -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 x1281 x1280 x1279
3588.39/3598.40 v x1278 x1277 x1276 x1275 x1274 x1273 x1272 x1271 x1270 x1269 x1268 x1267 x1266 x1265 x1264 x1263 x1262 x1261 x1260 x1259 x1258
3588.39/3598.40 v x1257 x1256 x1255 x1254 x1253 x1252 x1251 x1250 x1249 x1248 x1247 x1246 x1245 x1244 x1243 x1242 x1241 x1240 x1239 x1238
3588.39/3598.40 v x1237 x1236 x1235 x1234 x1233 x1232 x1231 x1230 x1229 x1228 x1227 x1226 x1225 x1224 x1223 x1222 x1221 x1220 x1219 x1218 -x1217
3588.39/3598.40 v -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 x1201 x1200 x1199
3588.39/3598.40 v x1198 x1197 x1196 x1195 x1194 x1193 x1192 x1191 x1190 x1189 x1188 x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179
3588.39/3598.40 v -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161
3588.39/3598.40 v -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143
3588.39/3598.40 v -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125
3588.39/3598.40 v -x1124 -x1123 -x1122 x1121 x1120 x1119 x1118 x1117 x1116 x1115 x1114 x1113 x1112 x1111 x1110 x1109 x1108 x1107 x1106 x1105
3588.39/3598.40 v x1104 x1103 x1102 x1101 x1100 x1099 x1098 x1097 x1096 x1095 x1094 x1093 x1092 x1091 x1090 x1089 x1088 x1087 x1086 x1085 x1084
3588.39/3598.40 v x1083 x1082 x1081 x1080 x1079 x1078 x1077 x1076 x1075 x1074 x1073 x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065
3588.39/3598.40 v -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047
3588.39/3598.40 v -x1046 -x1045 -x1044 -x1043 -x1042 x1041 x1040 x1039 x1038 x1037 x1036 x1035 x1034 x1033 x1032 x1031 x1030 x1029 x1028 x1027
3588.39/3598.40 v x1026 x1025 x1024 x1023 x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008
3588.39/3598.40 v -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989
3588.39/3598.40 v -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968
3588.39/3598.40 v -x967 -x966 -x965 -x964 -x963 -x962 x961 x960 x959 x958 x957 x956 x955 x954 x953 x952 x951 x950 x949 x948 x947 x946 x945 x944
3588.39/3598.40 v x943 x942 x941 x940 x939 x938 x937 x936 x935 x934 x933 x932 x931 x930 x929 x928 x927 x926 x925 x924 x923 x922 x921 x920 x919
3588.39/3598.40 v x918 x917 x916 x915 x914 x913 x912 x911 x910 x909 x908 x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896
3588.39/3598.40 v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 x881 x880 x879 x878 x877 x876 x875 x874
3588.39/3598.40 v x873 x872 x871 x870 x869 x868 x867 x866 x865 x864 x863 x862 x861 x860 x859 x858 x857 x856 x855 x854 x853 x852 x851 x850 x849
3588.39/3598.40 v x848 x847 x846 x845 -x844 -x843 -x842 -x841 x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828
3588.39/3598.40 v -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807
3588.39/3598.40 v -x806 -x805 -x804 -x803 -x802 x801 x800 x799 x798 x797 x796 x795 x794 x793 x792 x791 x790 x789 x788 x787 x786 x785 x784 x783
3588.39/3598.40 v x782 x781 x780 x779 x778 x777 x776 x775 x774 x773 x772 x771 x770 x769 x768 x767 x766 x765 x764 x763 x762 x761 x760 x759 x758
3588.39/3598.40 v x757 x756 x755 x754 x753 x752 x751 x750 x749 x748 x747 x746 x745 x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735
3588.39/3598.40 v -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 x721 x720 x719 x718 x717 x716 x715 x714 x713 x712
3588.39/3598.40 v x711 x710 x709 x708 x707 x706 x705 x704 x703 x702 x701 x700 x699 x698 x697 x696 x695 x694 x693 x692 x691 x690 x689 x688 x687
3588.39/3598.40 v x686 x685 x684 x683 x682 x681 x680 x679 x678 x677 x676 x675 x674 x673 x672 x671 x670 x669 x668 x667 x666 x665 -x664 -x663
3588.39/3598.40 v -x662 x661 x660 x659 x658 x657 x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 x641
3588.39/3598.40 v x640 x639 x638 x637 x636 x635 x634 x633 x632 x631 x630 x629 x628 x627 x626 x625 x624 x623 x622 x621 x620 x619 x618 x617 x616
3588.39/3598.40 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
3588.39/3598.40 v x590 x589 x588 x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569
3588.39/3598.40 v -x568 -x567 -x566 -x565 -x564 -x563 -x562 x561 x560 x559 x558 x557 x556 x555 x554 x553 x552 x551 x550 x549 x548 x547 x546
3588.39/3598.40 v x545 x544 x543 x542 x541 x540 x539 x538 x537 x536 x535 x534 x533 x532 x531 x530 x529 x528 x527 x526 x525 x524 x523 x522 x521
3588.39/3598.40 v x520 x519 x518 x517 x516 x515 x514 x513 x512 x511 x510 x509 x508 x507 x506 x505 x504 x503 x502 x501 -x500 -x499 -x498 -x497 -x496
3588.39/3598.40 v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 x481 x480 x479 x478 x477 x476 x475 x474
3588.39/3598.40 v x473 x472 x471 x470 x469 x468 x467 x466 x465 x464 x463 x462 x461 x460 x459 x458 x457 x456 x455 x454 x453 x452 x451 x450 x449
3588.39/3598.40 v x448 x447 x446 x445 x444 x443 x442 x441 x440 x439 x438 x437 x436 x435 x434 x433 x432 x431 x430 x429 x428 x427 x426 x425 x424
3588.39/3598.40 v -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403
3588.39/3598.40 v -x402 x401 x400 x399 x398 x397 x396 x395 x394 x393 x392 x391 x390 x389 x388 x387 x386 x385 x384 x383 x382 x381 x380 x379
3588.39/3598.40 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
3588.39/3598.40 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
3588.39/3598.40 v -x328 -x327 -x326 -x325 -x324 -x323 -x322 x321 x320 x319 x318 x317 x316 x315 x314 x313 x312 x311 x310 x309 x308 x307 x306
3588.39/3598.40 v x305 x304 x303 x302 x301 x300 x299 x298 x297 x296 x295 x294 x293 x292 x291 x290 x289 x288 x287 x286 x285 x284 x283 x282 x281
3588.39/3598.40 v x280 x279 x278 x277 x276 x275 x274 x273 x272 x271 x270 x269 x268 x267 x266 x265 x264 x263 x262 x261 x260 x259 x258 x257 x256
3588.39/3598.40 v x255 x254 x253 x252 x251 x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 x241 x240 x239 x238 x237 x236 x235 x234 x233 x232
3588.39/3598.40 v x231 x230 x229 x228 x227 x226 x225 x224 x223 x222 x221 x220 x219 x218 x217 x216 x215 x214 x213 x212 x211 x210 x209 x208 x207
3588.39/3598.40 v x206 x205 x204 x203 x202 x201 x200 x199 x198 x197 x196 x195 x194 x193 x192 x191 x190 x189 x188 x187 x186 x185 x184 x183 x182
3588.39/3598.40 v x181 x180 x179 x178 x177 x176 x175 x174 x173 x172 x171 x170 x169 x168 x167 x166 x165 x164 x163 x162 x161 x160 x159 x158 x157
3588.39/3598.40 v x156 x155 x154 x153 x152 x151 x150 x149 x148 x147 x146 x145 x144 x143 x142 x141 x140 x139 x138 x137 x136 x135 x134 x133 x132
3588.39/3598.40 v x131 x130 x129 x128 x127 x126 x125 x124 x123 x122 x121 x120 x119 x118 x117 x116 x115 x114 x113 x112 x111 x110 x109 x108 x107
3588.39/3598.40 v x106 x105 x104 x103 x102 x101 x100 x99 x98 x97 x96 x95 x94 x93 x92 x91 x90 x89 x88 x87 x86 -x85 -x84 -x83 -x82 x81 x80 x79
3588.39/3598.40 v x78 x77 x76 x75 x74 x73 x72 x71 x70 x69 x68 x67 x66 x65 x64 x63 x62 x61 x60 x59 x58 x57 x56 x55 x54 x53 x52 x51 x50 x49 x48
3588.60/3598.54 v x47 x46 x45 x44 x43 x42 x41 x40 x39 x38 x37 x36 x35 x34 x33 x32 x31 x30 x29 x28 x27 x26 x25 x24 x23 x22 x21 x20 x19 x18 x17
3588.60/3598.54 v 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: 64059 MiB (60533 MiB free)
memory of node 1: 64510 MiB (58308 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4464898-1722389867/watcher-4464898-1722389867 -o /tmp/evaluation-result-4464898-1722389867/solver-4464898-1722389867 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722389412-35457 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464898-1722389867.wbo -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=36010, runsolver pid=36007
[startup+0.100307 s]*
/proc/loadavg: 4.38 4.02 3.80 5/247 36011
/proc/meminfo: memFree=121670804/131655788 swapFree=131071996/131071996
[pid=36010] ppid=36007 vsize=45524 memory=33932 CPUtime=0.1 cores=5,7
/proc/36010/stat : 36010 (fscip) R 36007 36010 35414 0 -1 4194304 6402 0 0 0 9 1 0 0 20 0 1 0 5582387 46616576 8483 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
/proc/36010/statm: 11381 8483 2347 3035 0 7777 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 45524 KiB
Current children cumulated memory: 33932 KiB
[startup+0.21312 s]*
/proc/loadavg: 4.38 4.02 3.80 5/247 36011
/proc/meminfo: memFree=121639556/131655788 swapFree=131071996/131071996
[pid=36010] ppid=36007 vsize=74912 memory=64364 CPUtime=0.21 cores=5,7
/proc/36010/stat : 36010 (fscip) R 36007 36010 35414 0 -1 4194304 13916 0 0 0 18 3 0 0 20 0 1 0 5582387 76709888 16091 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
/proc/36010/statm: 18728 16091 2555 3035 0 15124 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 74912 KiB
Current children cumulated memory: 64364 KiB
[startup+0.312914 s]*
/proc/loadavg: 4.38 4.02 3.80 5/247 36011
/proc/meminfo: memFree=121618724/131655788 swapFree=131071996/131071996
[pid=36010] ppid=36007 vsize=100688 memory=87752 CPUtime=0.31 cores=5,7
/proc/36010/stat : 36010 (fscip) R 36007 36010 35414 0 -1 4194304 19676 0 0 0 27 4 0 0 20 0 1 0 5582387 103104512 21938 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
/proc/36010/statm: 25172 21938 2598 3035 0 21568 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 100688 KiB
Current children cumulated memory: 87752 KiB
[startup+0.700346 s]
/proc/loadavg: 4.38 4.02 3.80 5/247 36011
/proc/meminfo: memFree=121585124/131655788 swapFree=131071996/131071996
[pid=36010] ppid=36007 vsize=143728 memory=126100 CPUtime=0.68 cores=5,7
/proc/36010/stat : 36010 (fscip) R 36007 36010 35414 0 -1 4194304 29206 0 0 0 61 7 0 0 20 0 1 0 5582387 147177472 31525 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
/proc/36010/statm: 36041 31525 2662 3035 0 32437 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 143728 KiB
Current children cumulated memory: 126100 KiB
[startup+1.50034 s]
/proc/loadavg: 4.38 4.02 3.80 5/247 36011
/proc/meminfo: memFree=121572664/131655788 swapFree=131071996/131071996
[pid=36010] ppid=36007 vsize=148496 memory=130436 CPUtime=1.49 cores=5,7
/proc/36010/stat : 36010 (fscip) R 36007 36010 35414 0 -1 4194304 30309 0 0 0 141 8 0 0 20 0 1 0 5582387 152059904 32609 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
/proc/36010/statm: 37124 32609 2678 3035 0 33520 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 148496 KiB
Current children cumulated memory: 130436 KiB
[startup+3.11295 s]
/proc/loadavg: 4.35 4.02 3.80 5/247 36011
/proc/meminfo: memFree=121569392/131655788 swapFree=131071996/131071996
[pid=36010] ppid=36007 vsize=149128 memory=130964 CPUtime=3.09 cores=5,7
/proc/36010/stat : 36010 (fscip) R 36007 36010 35414 0 -1 4194304 30485 0 0 0 301 8 0 0 20 0 1 0 5582387 152707072 32741 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
/proc/36010/statm: 37282 32741 2678 3035 0 33678 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 149128 KiB
Current children cumulated memory: 130964 KiB
[startup+6.30032 s]
/proc/loadavg: 4.35 4.02 3.80 5/247 36011
/proc/meminfo: memFree=121547072/131655788 swapFree=131071996/131071996
[pid=36010] ppid=36007 vsize=462948 memory=320680 CPUtime=6.26 cores=5,7
/proc/36010/stat : 36010 (fscip) S 36007 36010 35414 0 -1 1077936128 86104 0 0 0 609 17 0 0 20 0 2 0 5582387 474058752 80170 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
/proc/36010/statm: 115737 80170 2710 3035 0 103537 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 462948 KiB
Current children cumulated memory: 320680 KiB
[startup+12.7004 s]
/proc/loadavg: 4.32 4.02 3.80 6/249 36016
/proc/meminfo: memFree=121280320/131655788 swapFree=131071996/131071996
[pid=36010] ppid=36007 vsize=536680 memory=414768 CPUtime=12.62 cores=5,7
/proc/36010/stat : 36010 (fscip) S 36007 36010 35414 0 -1 1077936128 134894 0 0 0 1236 26 0 0 20 0 3 0 5582387 549560320 103692 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
/proc/36010/statm: 134170 103692 2726 3035 0 129780 0
[pid=36010/tid=36012] ppid=36007 vsize=536680 memory=413740 CPUtime=6.42 cores=5,7
/proc/36010/task/36012/stat : 36012 (fscip) R 36007 36010 35414 0 -1 4194368 56304 0 0 0 632 10 0 0 20 0 3 0 5583001 549560320 103692 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
[pid=36010/tid=36015] ppid=36007 vsize=536680 memory=411444 CPUtime=0 cores=5,7
/proc/36010/task/36015/stat : 36015 (fscip) S 36007 36010 35414 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 5583027 549560320 103692 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 536680 KiB
Current children cumulated memory: 414768 KiB
[startup+25.5004 s]
/proc/loadavg: 4.38 4.05 3.82 5/249 36018
/proc/meminfo: memFree=121259860/131655788 swapFree=131071996/131071996
[pid=36010] ppid=36007 vsize=536680 memory=416108 CPUtime=25.37 cores=5,7
/proc/36010/stat : 36010 (fscip) S 36007 36010 35414 0 -1 1077936128 175529 0 0 0 2507 30 0 0 20 0 3 0 5582387 549560320 104027 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
/proc/36010/statm: 134170 104027 2726 3035 0 130111 0
[pid=36010/tid=36012] ppid=36007 vsize=536680 memory=416108 CPUtime=19.17 cores=5,7
/proc/36010/task/36012/stat : 36012 (fscip) R 36007 36010 35414 0 -1 4194368 96923 0 0 0 1903 14 0 0 20 0 3 0 5583001 549560320 104027 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
[pid=36010/tid=36015] ppid=36007 vsize=536680 memory=97 CPUtime=0 cores=5,7
/proc/36010/task/36015/stat : 36015 (fscip) S 36007 36010 35414 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 5583027 549560320 104027 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 536680 KiB
Current children cumulated memory: 416108 KiB
[startup+51.1132 s]
/proc/loadavg: 4.32 4.06 3.83 5/249 36022
/proc/meminfo: memFree=121079112/131655788 swapFree=131071996/131071996
[pid=36010] ppid=36007 vsize=602216 memory=420240 CPUtime=50.88 cores=5,7
/proc/36010/stat : 36010 (fscip) S 36007 36010 35414 0 -1 1077936128 225741 0 0 0 5053 35 0 0 20 0 3 0 5582387 616669184 105060 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
/proc/36010/statm: 150554 105060 2726 3035 0 131136 0
[pid=36010/tid=36012] ppid=36007 vsize=602216 memory=418184 CPUtime=44.69 cores=5,7
/proc/36010/task/36012/stat : 36012 (fscip) R 36007 36010 35414 0 -1 4194368 147118 0 0 0 4449 20 0 0 20 0 3 0 5583001 616669184 105060 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
[pid=36010/tid=36015] ppid=36007 vsize=602216 memory=418160 CPUtime=0 cores=5,7
/proc/36010/task/36015/stat : 36015 (fscip) S 36007 36010 35414 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 5583027 616669184 105060 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 602216 KiB
Current children cumulated memory: 420240 KiB
[startup+102.3 s]
/proc/loadavg: 4.26 4.08 3.85 5/250 36033
/proc/meminfo: memFree=121011384/131655788 swapFree=131071996/131071996
[pid=36010] ppid=36007 vsize=603364 memory=471228 CPUtime=101.92 cores=5,7
/proc/36010/stat : 36010 (fscip) S 36007 36010 35414 0 -1 1077936128 308910 0 0 0 10146 46 0 0 20 0 3 0 5582387 617844736 117807 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
/proc/36010/statm: 150841 117807 2902 3035 0 144490 0
[pid=36010/tid=36012] ppid=36007 vsize=603364 memory=12220 CPUtime=95.69 cores=5,7
/proc/36010/task/36012/stat : 36012 (fscip) R 36007 36010 35414 0 -1 4194368 224833 0 0 0 9540 29 0 0 20 0 3 0 5583001 617844736 117807 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
[pid=36010/tid=36015] ppid=36007 vsize=603364 memory=471228 CPUtime=0 cores=5,7
/proc/36010/task/36015/stat : 36015 (fscip) S 36007 36010 35414 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 3 0 5583027 617844736 117807 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 603364 KiB
Current children cumulated memory: 471228 KiB
[startup+162.3 s]
/proc/loadavg: 4.27 4.11 3.88 5/253 36049
/proc/meminfo: memFree=120967200/131655788 swapFree=131071996/131071996
[pid=36010] ppid=36007 vsize=668900 memory=498712 CPUtime=161.73 cores=5,7
/proc/36010/stat : 36010 (fscip) S 36007 36010 35414 0 -1 1077936128 340774 0 0 0 16124 49 0 0 20 0 3 0 5582387 684953600 124678 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
/proc/36010/statm: 167225 124678 2934 3035 0 153079 0
[pid=36010/tid=36012] ppid=36007 vsize=668900 memory=12220 CPUtime=155.5 cores=5,7
/proc/36010/task/36012/stat : 36012 (fscip) R 36007 36010 35414 0 -1 4194368 256688 0 0 0 15518 32 0 0 20 0 3 0 5583001 684953600 124678 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
[pid=36010/tid=36015] ppid=36007 vsize=668900 memory=498712 CPUtime=0 cores=5,7
/proc/36010/task/36015/stat : 36015 (fscip) S 36007 36010 35414 0 -1 1077936192 72 0 0 0 0 0 0 0 20 0 3 0 5583027 684953600 124678 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 668900 KiB
Current children cumulated memory: 498712 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.12 3.90 5/253 36059
/proc/meminfo: memFree=120899484/131655788 swapFree=131071996/131071996
[pid=36010] ppid=36007 vsize=736224 memory=561852 CPUtime=221.53 cores=5,7
/proc/36010/stat : 36010 (fscip) S 36007 36010 35414 0 -1 1077936128 403603 0 0 0 22097 56 0 0 20 0 3 0 5582387 753893376 140463 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
/proc/36010/statm: 184056 140463 2934 3035 0 168757 0
[pid=36010/tid=36012] ppid=36007 vsize=736224 memory=561852 CPUtime=215.28 cores=5,7
/proc/36010/task/36012/stat : 36012 (fscip) R 36007 36010 35414 0 -1 4194368 313873 0 0 0 21489 39 0 0 20 0 3 0 5583001 753893376 140463 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
[pid=36010/tid=36015] ppid=36007 vsize=736224 memory=12220 CPUtime=0 cores=5,7
/proc/36010/task/36015/stat : 36015 (fscip) S 36007 36010 35414 0 -1 1077936192 79 0 0 0 0 0 0 0 20 0 3 0 5583027 753893376 140463 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 736224 KiB
Current children cumulated memory: 561852 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.11 3.91 5/251 36114
/proc/meminfo: memFree=118996224/131655788 swapFree=131071996/131071996
[pid=36010] ppid=36007 vsize=801760 memory=614412 CPUtime=281.32 cores=5,7
/proc/36010/stat : 36010 (fscip) S 36007 36010 35414 0 -1 1077936128 435454 0 0 0 28072 60 0 0 20 0 3 0 5582387 821002240 153603 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
/proc/36010/statm: 200440 153603 3030 3035 0 182262 0
[pid=36010/tid=36012] ppid=36007 vsize=801760 memory=614368 CPUtime=275.07 cores=5,7
/proc/36010/task/36012/stat : 36012 (fscip) R 36007 36010 35414 0 -1 4194368 345693 0 0 0 27464 43 0 0 20 0 3 0 5583001 821002240 153603 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
[pid=36010/tid=36015] ppid=36007 vsize=801760 memory=-7666933632230055808 CPUtime=0 cores=5,7
/proc/36010/task/36015/stat : 36015 (fscip) S 36007 36010 35414 0 -1 1077936192 83 0 0 0 0 0 0 0 20 0 3 0 5583027 821002240 153603 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 801760 KiB
Current children cumulated memory: 614412 KiB
################
# More data... #
################
[startup+3462.3 s]
/proc/loadavg: 2.13 2.12 2.37 3/229 37946
/proc/meminfo: memFree=121575792/131655788 swapFree=131071996/131071996
[pid=36010] ppid=36007 vsize=1335100 memory=1226044 CPUtime=3452.75 cores=5,7
/proc/36010/stat : 36010 (fscip) S 36007 36010 35414 0 -1 1077936128 2687534 0 0 0 345011 264 0 0 20 0 3 0 5582387 1367142400 306511 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
/proc/36010/statm: 333775 306511 3334 3035 0 318560 0
[pid=36010/tid=36012] ppid=36007 vsize=1335100 memory=16848 CPUtime=3446.19 cores=5,7
/proc/36010/task/36012/stat : 36012 (fscip) R 36007 36010 35414 0 -1 4194368 2553305 0 0 0 344386 233 0 0 20 0 3 0 5583001 1367142400 306511 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
[pid=36010/tid=36015] ppid=36007 vsize=1335100 memory=1226044 CPUtime=0.06 cores=5,7
/proc/36010/task/36015/stat : 36015 (fscip) S 36007 36010 35414 0 -1 1077936192 262 0 0 0 2 4 0 0 20 0 3 0 5583027 1367142400 306511 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
Current children cumulated CPU time: 3452.75 s
Current children cumulated vsize: 1335100 KiB
Current children cumulated memory: 1226044 KiB
[startup+3522.3 s]
/proc/loadavg: 2.09 2.11 2.35 5/229 37958
/proc/meminfo: memFree=121574780/131655788 swapFree=131071996/131071996
[pid=36010] ppid=36007 vsize=1335100 memory=1226044 CPUtime=3512.6 cores=5,7
/proc/36010/stat : 36010 (fscip) S 36007 36010 35414 0 -1 1077936128 2690182 0 0 0 350995 265 0 0 20 0 3 0 5582387 1367142400 306511 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
/proc/36010/statm: 333775 306511 3334 3035 0 318560 0
[pid=36010/tid=36012] ppid=36007 vsize=1335100 memory=16848 CPUtime=3506.03 cores=5,7
/proc/36010/task/36012/stat : 36012 (fscip) R 36007 36010 35414 0 -1 4194368 2555926 0 0 0 350370 233 0 0 20 0 3 0 5583001 1367142400 306511 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
[pid=36010/tid=36015] ppid=36007 vsize=1335100 memory=1226044 CPUtime=0.06 cores=5,7
/proc/36010/task/36015/stat : 36015 (fscip) S 36007 36010 35414 0 -1 1077936192 266 0 0 0 2 4 0 0 20 0 3 0 5583027 1367142400 306511 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
Current children cumulated CPU time: 3512.6 s
Current children cumulated vsize: 1335100 KiB
Current children cumulated memory: 1226044 KiB
[startup+3582.3 s]
/proc/loadavg: 2.13 2.12 2.34 3/229 37968
/proc/meminfo: memFree=121574108/131655788 swapFree=131071996/131071996
[pid=36010] ppid=36007 vsize=1335100 memory=1226044 CPUtime=3572.44 cores=5,7
/proc/36010/stat : 36010 (fscip) S 36007 36010 35414 0 -1 1077936128 2695267 0 0 0 356978 266 0 0 20 0 3 0 5582387 1367142400 306511 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
/proc/36010/statm: 333775 306511 3334 3035 0 318560 0
[pid=36010/tid=36012] ppid=36007 vsize=1335100 memory=1226044 CPUtime=3565.86 cores=5,7
/proc/36010/task/36012/stat : 36012 (fscip) R 36007 36010 35414 0 -1 4194368 2560989 0 0 0 356352 234 0 0 20 0 3 0 5583001 1367142400 306511 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
[pid=36010/tid=36015] ppid=36007 vsize=1335100 memory=11352 CPUtime=0.06 cores=5,7
/proc/36010/task/36015/stat : 36015 (fscip) S 36007 36010 35414 0 -1 1077936192 268 0 0 0 2 4 0 0 20 0 3 0 5583027 1367142400 306511 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
Current children cumulated CPU time: 3572.44 s
Current children cumulated vsize: 1335100 KiB
Current children cumulated memory: 1226044 KiB
[startup+3598.55 s]
# the end of solver process 36010 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.96 s, system=2.69559 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.20 2.13 2.34 3/229 37968
/proc/meminfo: memFree=121574080/131655788 swapFree=131071996/131071996
[pid=36010] ppid=36007 vsize=1335100 memory=1226044 CPUtime=3574.14 cores=5,7
/proc/36010/stat : 36010 (fscip) S 36007 36010 35414 0 -1 1077936128 2695270 0 0 0 357148 266 0 0 20 0 3 0 5582387 1367142400 306511 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
/proc/36010/statm: 333775 306511 3334 3035 0 318560 0
[pid=36010/tid=36012] ppid=36007 vsize=1335100 memory=11536 CPUtime=3567.57 cores=5,7
/proc/36010/task/36012/stat : 36012 (fscip) R 36007 36010 35414 0 -1 4194368 2560992 0 0 0 356523 234 0 0 20 0 3 0 5583001 1367142400 306511 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
[pid=36010/tid=36015] ppid=36007 vsize=1335100 memory=11556 CPUtime=0.06 cores=5,7
/proc/36010/task/36015/stat : 36015 (fscip) S 36007 36010 35414 0 -1 1077936192 268 0 0 0 2 4 0 0 20 0 3 0 5583027 1367142400 306511 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
Current children cumulated CPU time: 3574.14 s
Current children cumulated vsize: 1335100 KiB
Current children cumulated memory: 1226044 KiB
[startup+3590.4 s]
/proc/loadavg: 2.26 2.15 2.35 3/229 37969
/proc/meminfo: memFree=121573920/131655788 swapFree=131071996/131071996
[pid=36010] ppid=36007 vsize=1335100 memory=1226044 CPUtime=3580.51 cores=5,7
/proc/36010/stat : 36010 (fscip) S 36007 36010 35414 0 -1 1077936128 2695335 0 0 0 357785 266 0 0 20 0 3 0 5582387 1367142400 306511 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
/proc/36010/statm: 333775 306511 3334 3035 0 318560 0
[pid=36010/tid=36012] ppid=36007 vsize=1335100 memory=1226044 CPUtime=3573.94 cores=5,7
/proc/36010/task/36012/stat : 36012 (fscip) R 36007 36010 35414 0 -1 4194368 2561054 0 0 0 357160 234 0 0 20 0 3 0 5583001 1367142400 306511 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
[pid=36010/tid=36015] ppid=36007 vsize=1335100 memory=11352 CPUtime=0.06 cores=5,7
/proc/36010/task/36015/stat : 36015 (fscip) S 36007 36010 35414 0 -1 1077936192 269 0 0 0 2 4 0 0 20 0 3 0 5583027 1367142400 306511 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
Current children cumulated CPU time: 3580.51 s
Current children cumulated vsize: 1335100 KiB
Current children cumulated memory: 1226044 KiB
[startup+3593.6 s]
/proc/loadavg: 2.26 2.15 2.35 3/229 37969
/proc/meminfo: memFree=121574020/131655788 swapFree=131071996/131071996
[pid=36010] ppid=36007 vsize=1335100 memory=1226044 CPUtime=3583.71 cores=5,7
/proc/36010/stat : 36010 (fscip) S 36007 36010 35414 0 -1 1077936128 2695335 0 0 0 358105 266 0 0 20 0 3 0 5582387 1367142400 306511 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
/proc/36010/statm: 333775 306511 3334 3035 0 318560 0
[pid=36010/tid=36012] ppid=36007 vsize=1335100 memory=-7666933632230055808 CPUtime=3577.13 cores=5,7
/proc/36010/task/36012/stat : 36012 (fscip) R 36007 36010 35414 0 -1 4194368 2561054 0 0 0 357479 234 0 0 20 0 3 0 5583001 1367142400 306511 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
[pid=36010/tid=36015] ppid=36007 vsize=1335100 memory=1226044 CPUtime=0.06 cores=5,7
/proc/36010/task/36015/stat : 36015 (fscip) S 36007 36010 35414 0 -1 1077936192 269 0 0 0 2 4 0 0 20 0 3 0 5583027 1367142400 306511 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
Current children cumulated CPU time: 3583.71 s
Current children cumulated vsize: 1335100 KiB
Current children cumulated memory: 1226044 KiB
[startup+3596.8 s]
/proc/loadavg: 2.32 2.16 2.35 3/229 37969
/proc/meminfo: memFree=121574012/131655788 swapFree=131071996/131071996
[pid=36010] ppid=36007 vsize=1335100 memory=1226044 CPUtime=3586.9 cores=5,7
/proc/36010/stat : 36010 (fscip) S 36007 36010 35414 0 -1 1077936128 2695342 0 0 0 358424 266 0 0 20 0 3 0 5582387 1367142400 306511 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
/proc/36010/statm: 333775 306511 3334 3035 0 318560 0
[pid=36010/tid=36012] ppid=36007 vsize=1335100 memory=1226044 CPUtime=3580.32 cores=5,7
/proc/36010/task/36012/stat : 36012 (fscip) R 36007 36010 35414 0 -1 4194368 2561061 0 0 0 357798 234 0 0 20 0 3 0 5583001 1367142400 306511 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
[pid=36010/tid=36015] ppid=36007 vsize=1335100 memory=1226044 CPUtime=0.06 cores=5,7
/proc/36010/task/36015/stat : 36015 (fscip) S 36007 36010 35414 0 -1 1077936192 269 0 0 0 2 4 0 0 20 0 3 0 5583027 1367142400 306511 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
Current children cumulated CPU time: 3586.9 s
Current children cumulated vsize: 1335100 KiB
Current children cumulated memory: 1226044 KiB
[startup+3597.6 s]
/proc/loadavg: 2.32 2.16 2.35 3/229 37971
/proc/meminfo: memFree=121573988/131655788 swapFree=131071996/131071996
[pid=36010] ppid=36007 vsize=1335100 memory=1226044 CPUtime=3587.7 cores=5,7
/proc/36010/stat : 36010 (fscip) S 36007 36010 35414 0 -1 1077936128 2695360 0 0 0 358504 266 0 0 20 0 3 0 5582387 1367142400 306511 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
/proc/36010/statm: 333775 306511 3334 3035 0 318560 0
[pid=36010/tid=36012] ppid=36007 vsize=1335100 memory=16848 CPUtime=3581.12 cores=5,7
/proc/36010/task/36012/stat : 36012 (fscip) R 36007 36010 35414 0 -1 4194368 2561076 0 0 0 357878 234 0 0 20 0 3 0 5583001 1367142400 306511 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
[pid=36010/tid=36015] ppid=36007 vsize=1335100 memory=16084 CPUtime=0.06 cores=5,7
/proc/36010/task/36015/stat : 36015 (fscip) S 36007 36010 35414 0 -1 1077936192 272 0 0 0 2 4 0 0 20 0 3 0 5583027 1367142400 306511 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
Current children cumulated CPU time: 3587.7 s
Current children cumulated vsize: 1335100 KiB
Current children cumulated memory: 1226044 KiB
[startup+3598 s]*
/proc/loadavg: 2.32 2.16 2.35 3/229 37971
/proc/meminfo: memFree=121573880/131655788 swapFree=131071996/131071996
[pid=36010] ppid=36007 vsize=1335100 memory=1226044 CPUtime=3588.11 cores=5,7
/proc/36010/stat : 36010 (fscip) S 36007 36010 35414 0 -1 1077936128 2695478 0 0 0 358545 266 0 0 20 0 3 0 5582387 1367142400 306511 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
/proc/36010/statm: 333775 306511 3334 3035 0 318560 0
[pid=36010/tid=36012] ppid=36007 vsize=1335100 memory=-6000919498560464492 CPUtime=3581.53 cores=5,7
/proc/36010/task/36012/stat : 36012 (fscip) R 36007 36010 35414 0 -1 4194368 2561194 0 0 0 357919 234 0 0 20 0 3 0 5583001 1367142400 306511 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
[pid=36010/tid=36015] ppid=36007 vsize=1335100 memory=-4050210904893670798 CPUtime=0.06 cores=5,7
/proc/36010/task/36015/stat : 36015 (fscip) S 36007 36010 35414 0 -1 1077936192 272 0 0 0 2 4 0 0 20 0 3 0 5583027 1367142400 306511 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
Current children cumulated CPU time: 3588.11 s
Current children cumulated vsize: 1335100 KiB
Current children cumulated memory: 1226044 KiB
[startup+3598.4 s]
/proc/loadavg: 2.32 2.16 2.35 3/229 37971
/proc/meminfo: memFree=121573880/131655788 swapFree=131071996/131071996
[pid=36010] ppid=36007 vsize=1269564 memory=1183444 CPUtime=3588.5 cores=5,7
/proc/36010/stat : 36010 (fscip) R 36007 36010 35414 0 -1 4194304 2700317 0 0 0 358583 267 0 0 20 0 2 0 5582387 1300033536 295861 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
/proc/36010/statm: 317391 295861 3334 3035 0 312152 0
[pid=36010/tid=36015] ppid=36007 vsize=1269564 memory=1226044 CPUtime=0.06 cores=5,7
/proc/36010/task/36015/stat : 36015 (fscip) S 36007 36010 35414 0 -1 1077936192 272 0 0 0 2 4 0 0 20 0 2 0 5583027 1300033536 295861 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
Current children cumulated CPU time: 3588.5 s
Current children cumulated vsize: 1269564 KiB
Current children cumulated memory: 1183444 KiB
[startup+3598.5 s]
/proc/loadavg: 2.32 2.16 2.35 3/229 37971
/proc/meminfo: memFree=121573880/131655788 swapFree=131071996/131071996
[pid=36010] ppid=36007 vsize=1259812 memory=1171668 CPUtime=3588.6 cores=5,7
/proc/36010/stat : 36010 (fscip) R 36007 36010 35414 0 -1 4194304 2701561 0 0 0 358593 267 0 0 20 0 1 0 5582387 1290047488 292917 134679101440 4194304 16623229 140734752081024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38760448 140734752085012 140734752085128 140734752085128 140734752092144 0
/proc/36010/statm: 314953 292917 3334 3035 0 309714 0
Current children cumulated CPU time: 3588.6 s
Current children cumulated vsize: 1259812 KiB
Current children cumulated memory: 1171668 KiB
Child status: 0
Real time (s): 3598.55
CPU time (s): 3588.66
CPU user time (s): 3585.96
CPU system time (s): 2.69559
CPU usage (%): 99.725
Max. virtual memory (cumulated for all children) (KiB): 1335100
Max. memory (cumulated for all children) (KiB): 1226044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.96
system time used= 2.69559
maximum resident set size= 1232788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2702364
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= 5814
involuntary context switches= 1730
# summary of solver processes directly reported to runsolver:
# pid: 36010
# total CPU time (s): 3588.66
# total CPU user time (s): 3585.96
# total CPU system time (s): 2.69559
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.111 second user time and 33.0696 second system time
The end
Begin job on nodeC002 at 2024-07-31 03:37:48
IDJOB=4464898
IDBENCH=143831
IDSOLVER=3093
FILE ID=nodeC002/4464898-1722389867
RUNJOBID= nodeC002-1722389412-35457
SLURM_JOB_ID= 8249862
Free space on /tmp= 723696 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB10/oliveras/j30/normalized-j3029_8-unsat--soft-33-100-0.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4464898-1722389867/watcher-4464898-1722389867 -o /tmp/evaluation-result-4464898-1722389867/solver-4464898-1722389867 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722389412-35457 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464898-1722389867.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ba194272c44599b761eb44cd6c0bfaf3
RANDOM SEED=1033500142
nodeC002.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.826
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.826
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.398
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.305
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3637.227
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.201
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.374
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.201
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 121694128 kB
MemAvailable: 126564732 kB
Buffers: 115576 kB
Cached: 5544500 kB
SwapCached: 0 kB
Active: 282816 kB
Inactive: 9123184 kB
Active(anon): 1912 kB
Inactive(anon): 3773516 kB
Active(file): 280904 kB
Inactive(file): 5349668 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28788 kB
Writeback: 0 kB
AnonPages: 3743720 kB
Mapped: 127756 kB
Shmem: 29512 kB
KReclaimable: 160124 kB
Slab: 244268 kB
SReclaimable: 160124 kB
SUnreclaim: 84144 kB
KernelStack: 3968 kB
PageTables: 16616 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2349876 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7232 kB
HardwareCorrupted: 0 kB
AnonHugePages: 677888 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: 224072 kB
DirectMap2M: 19603456 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723724 MiB
End job on nodeC002 at 2024-07-31 04:37:46