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.00/0.07 c Default LC presolving (default).
0.00/0.07 c ** Before presolving: virtualMemUsedAtLc = 43220992, getVmSize() = 43220992, SCIPgetMemUsed() = 17127939, SCIPgetMemTotal() = 21050947, SCIPgetMemExternEstim() = 10458497
0.00/0.07 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
1.29/1.34 c ** Estimated virtualMemUsedAtSolver = 56258871, getVmSize() = 98967552, SCIPgetMemUsed() = 49240906, SCIPgetMemTotal() = 73929810, SCIPgetMemExternEstim() = 10458497
1.29/1.34 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.29/1.34 c Original Problem :
1.29/1.34 c Problem name : instance-4464276-1722385797
1.29/1.34 c Variables : 3825 (3825 binary, 0 integer, 0 implicit integer, 0 continuous)
1.29/1.34 c Constraints : 7400
1.29/1.34 c Objective sense : minimize
1.29/1.34 c Presolved Problem :
1.29/1.34 c Variables : 3825 (3825 binary, 0 integer, 0 implicit integer, 0 continuous)
1.29/1.34 c Constraints : 3725
1.29/1.34 c Constraints : Number
1.29/1.34 c setppc : 50
1.29/1.34 c and : 3675
1.29/1.34 c ** Instance transfer method used: 0
1.29/1.35 c ** ParaScipInstance copy does not increase the number of variables. **
1.29/1.36 c LC is working with racing ramp-up and with rebuilding tree after racing.
1.29/1.36 c Nodes Active
1.29/1.36 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
2.48/2.59 c * 3 0 1 1 20825.0000 - -
2.57/2.64 c * 3 0 1 1 18424.0000 - -
5.17/5.28 c * 5 0 1 1 2931.0000 - -
5.17/5.28 c 5 0 1 1 2931.0000 - -
11.26/11.32 c 11 8 7 1 2931.0000 0.0000 -
16.54/16.64 c 17 12 9 1 2931.0000 0.0000 -
22.22/22.38 c 22 18 11 1 2931.0000 63.5000 -
28.81/28.98 c 29 51 44 1 2931.0000 65.5000 -
34.29/34.47 c 34 99 90 1 2931.0000 78.5000 -
39.68/39.80 c 40 139 130 1 2931.0000 78.5000 -
42.98/43.12 c * 43 160 151 1 2781.0000 119.0000 -
44.88/45.05 c 45 188 172 1 2781.0000 155.0000 -
50.05/50.28 c 50 230 208 1 2781.0000 172.5000 -
55.64/55.87 c 56 278 241 1 2781.0000 172.5000 -
61.73/61.99 c 62 311 272 1 2781.0000 172.5000 -
67.01/67.27 c 67 340 301 1 2781.0000 173.5000 -
72.99/73.22 c 73 347 308 1 2781.0000 214.0000 -
78.29/78.55 c 79 358 319 1 2781.0000 214.0000 -
83.67/83.96 c 84 372 333 1 2781.0000 275.0000 -
84.79/85.11 c * 85 374 337 1 2695.0000 275.0000 -
89.06/89.40 c 89 392 345 1 2695.0000 275.0000 -
95.14/95.48 c 95 399 352 1 2695.0000 275.0000 -
101.13/101.43 c 101 408 361 1 2695.0000 296.0000 -
108.02/108.30 c 108 431 384 1 2695.0000 296.0000 -
114.10/114.47 c 114 452 405 1 2695.0000 348.5000 -
119.48/119.87 c 120 460 413 1 2695.0000 348.5000 -
125.17/125.52 c 126 471 424 1 2695.0000 428.5000 -
130.95/131.36 c 131 484 437 1 2695.0000 428.5000 -
137.14/137.55 c 138 491 444 1 2695.0000 428.5000 -
143.33/143.73 c 144 500 453 1 2695.0000 441.5000 -
148.63/149.10 c 149 506 459 1 2695.0000 441.5000 -
156.80/157.25 c 157 514 467 1 2695.0000 441.5000 -
163.38/163.84 c 164 524 477 1 2695.0000 456.5000 490.36%
170.58/171.05 c 171 539 492 1 2695.0000 456.5000 490.36%
176.85/177.39 c 177 548 501 1 2695.0000 456.5000 490.36%
183.33/183.85 c 184 566 519 1 2695.0000 482.1250 458.98%
188.63/189.15 c 189 571 524 1 2695.0000 482.1250 458.98%
195.21/195.73 c 196 589 542 1 2695.0000 501.0000 437.92%
200.39/200.93 c 201 594 547 1 2695.0000 501.0000 437.92%
205.68/206.22 c 206 607 560 1 2695.0000 501.0000 437.92%
211.58/212.11 c 212 615 568 1 2695.0000 524.0000 414.31%
217.65/218.23 c 218 626 579 1 2695.0000 524.0000 414.31%
224.13/224.73 c 225 636 589 1 2695.0000 524.0000 414.31%
229.54/230.19 c 230 645 598 1 2695.0000 525.5000 412.84%
234.61/235.21 c 235 651 604 1 2695.0000 525.5000 412.84%
243.29/243.90 c 244 660 613 1 2695.0000 525.5000 412.84%
248.88/249.51 c 250 672 625 1 2695.0000 542.6842 396.61%
255.26/255.92 c 256 679 632 1 2695.0000 542.6842 396.61%
261.14/261.84 c 262 686 639 1 2695.0000 542.6842 396.61%
267.24/267.91 c 268 699 650 1 2695.0000 542.6842 396.61%
273.02/273.74 c 274 710 661 1 2695.0000 547.0000 392.69%
279.32/280.04 c 280 718 669 1 2695.0000 547.0000 392.69%
284.40/285.14 c 285 726 677 1 2695.0000 547.0000 392.69%
289.78/290.50 c 291 738 687 1 2695.0000 564.0000 377.84%
295.27/296.09 c 296 753 700 1 2695.0000 564.0000 377.84%
302.95/303.71 c 304 770 717 1 2695.0000 574.4107 369.18%
309.53/310.39 c 310 778 725 1 2695.0000 574.4107 369.18%
314.82/315.67 c 316 787 734 1 2695.0000 574.4107 369.18%
321.11/322.01 c 322 794 741 1 2695.0000 576.3600 367.59%
328.78/329.64 c 330 808 755 1 2695.0000 576.3600 367.59%
334.56/335.42 c 335 822 769 1 2695.0000 576.3600 367.59%
340.85/341.76 c 342 828 775 1 2695.0000 576.3600 367.59%
346.04/346.96 c 347 840 785 1 2695.0000 579.0000 365.46%
351.14/352.05 c 352 847 792 1 2695.0000 579.0000 365.46%
357.12/358.07 c 358 854 799 1 2695.0000 579.0000 365.46%
362.99/363.97 c 364 861 804 1 2695.0000 579.0000 365.46%
369.09/370.05 c 370 876 815 1 2695.0000 581.5000 363.46%
376.08/377.11 c 377 881 820 1 2695.0000 581.5000 363.46%
382.35/383.31 c 383 893 832 1 2695.0000 614.0000 338.93%
389.24/390.29 c 390 902 841 1 2695.0000 614.0000 338.93%
394.42/395.43 c 395 906 845 1 2695.0000 614.0000 338.93%
401.70/402.75 c 403 914 853 1 2695.0000 614.0000 338.93%
409.48/410.57 c 411 924 861 1 2695.0000 614.0000 338.93%
415.88/416.99 c 417 936 867 1 2695.0000 614.0000 338.93%
421.66/422.70 c 423 945 874 1 2695.0000 614.0000 338.93%
426.75/427.84 c 428 960 887 1 2695.0000 614.0000 338.93%
434.52/435.61 c 436 967 894 1 2695.0000 623.5000 332.24%
441.91/443.03 c 443 977 904 1 2695.0000 671.0467 301.61%
447.08/448.23 c 448 981 908 1 2695.0000 671.0467 301.61%
453.17/454.39 c 454 988 915 1 2695.0000 671.0467 301.61%
460.26/461.49 c 461 993 920 1 2695.0000 672.0000 301.04%
465.44/466.67 c 467 995 922 1 2695.0000 672.0000 301.04%
471.33/472.58 c 473 1004 931 1 2695.0000 672.0000 301.04%
476.42/477.67 c 478 1008 935 1 2695.0000 672.0000 301.04%
481.91/483.13 c 483 1023 948 1 2695.0000 672.0000 301.04%
488.09/489.38 c 489 1027 952 1 2695.0000 672.0000 301.04%
493.48/494.75 c 495 1030 955 1 2695.0000 672.0000 301.04%
498.78/500.08 c 500 1034 959 1 2695.0000 687.5000 292.00%
507.85/509.12 c 509 1043 968 1 2695.0000 687.5000 292.00%
513.74/515.07 c 515 1047 972 1 2695.0000 687.5000 292.00%
519.12/520.40 c 520 1052 977 1 2695.0000 687.5000 292.00%
526.41/527.71 c 528 1058 983 1 2695.0000 687.5000 292.00%
531.39/532.74 c 533 1061 986 1 2695.0000 687.5000 292.00%
539.27/540.63 c 541 1069 994 1 2695.0000 699.0000 285.55%
544.86/546.29 c 546 1074 999 1 2695.0000 699.0000 285.55%
550.54/552.01 c 552 1091 1016 1 2695.0000 699.0000 285.55%
555.83/557.22 c 557 1094 1019 1 2695.0000 723.0000 272.75%
561.52/562.97 c 563 1098 1023 1 2695.0000 723.0000 272.75%
568.20/569.60 c 570 1111 1036 1 2695.0000 723.0000 272.75%
574.08/575.53 c 576 1113 1038 1 2695.0000 723.0000 272.75%
579.69/581.18 c 581 1121 1046 1 2695.0000 723.0000 272.75%
586.06/587.59 c 588 1125 1050 1 2695.0000 724.5000 271.98%
591.56/593.01 c 593 1129 1054 1 2695.0000 724.5000 271.98%
597.64/599.13 c 599 1132 1057 1 2695.0000 724.5000 271.98%
603.12/604.61 c 605 1134 1059 1 2695.0000 724.5000 271.98%
609.01/610.57 c 611 1146 1061 1 2695.0000 724.5000 271.98%
614.09/615.67 c 616 1155 1070 1 2695.0000 739.5000 264.44%
621.07/622.68 c 623 1157 1072 1 2695.0000 739.5000 264.44%
628.26/629.86 c 630 1167 1080 1 2695.0000 739.5000 264.44%
634.55/636.16 c 636 1173 1084 1 2695.0000 739.5000 264.44%
642.43/644.08 c 644 1179 1090 1 2695.0000 739.5000 264.44%
649.11/650.77 c 651 1184 1095 1 2695.0000 749.7363 259.46%
656.79/658.44 c 658 1193 1102 1 2695.0000 749.7363 259.46%
663.28/664.90 c 665 1203 1112 1 2695.0000 749.7363 259.46%
668.48/670.14 c 670 1212 1121 1 2695.0000 752.0000 258.38%
673.65/675.31 c 675 1215 1124 1 2695.0000 752.0000 258.38%
682.13/683.87 c 684 1226 1131 1 2695.0000 752.0000 258.38%
688.33/690.04 c 690 1229 1134 1 2695.0000 752.0000 258.38%
697.20/698.94 c 699 1233 1138 1 2695.0000 752.0000 258.38%
702.68/704.47 c 704 1237 1142 1 2695.0000 752.0000 258.38%
708.57/710.33 c 710 1242 1143 1 2695.0000 769.5000 250.23%
715.65/717.46 c 717 1246 1147 1 2695.0000 769.5000 250.23%
724.63/726.46 c 726 1254 1155 1 2695.0000 769.5000 250.23%
726.52/728.35 c * 728 1254 1155 1 2487.0000 769.5000 223.20%
730.52/732.31 c 732 1263 1091 1 2487.0000 769.5000 223.20%
736.22/738.10 c 738 1268 1096 1 2487.0000 769.5000 223.20%
741.69/743.55 c 744 1279 1105 1 2487.0000 769.5000 223.20%
749.07/750.92 c 751 1289 1113 1 2487.0000 781.0000 218.44%
755.36/757.23 c 757 1293 1117 1 2487.0000 781.0000 218.44%
761.54/763.43 c 763 1303 1125 1 2487.0000 781.0000 218.44%
766.93/768.81 c 769 1305 1127 1 2487.0000 781.0000 218.44%
775.62/777.56 c 778 1312 1132 1 2487.0000 781.0000 218.44%
784.79/786.74 c 787 1320 1140 1 2487.0000 781.0000 218.44%
790.87/792.83 c 793 1329 1145 1 2487.0000 781.0000 218.44%
797.66/799.67 c 800 1335 1151 1 2487.0000 786.1667 216.35%
803.44/805.46 c 805 1339 1155 1 2487.0000 786.1667 216.35%
810.04/812.06 c 812 1348 1162 1 2487.0000 805.0000 208.94%
815.22/817.26 c 817 1353 1165 1 2487.0000 805.0000 208.94%
822.80/824.80 c 825 1367 1179 1 2487.0000 805.0000 208.94%
829.88/831.99 c 832 1373 1183 1 2487.0000 820.5000 203.11%
835.67/837.73 c 838 1378 1188 1 2487.0000 820.5000 203.11%
841.55/843.65 c 844 1411 1213 1 2487.0000 835.3614 197.72%
849.73/851.89 c 852 1440 1224 1 2487.0000 835.3614 197.72%
855.63/857.73 c 858 1443 1227 1 2487.0000 835.3614 197.72%
861.41/863.52 c 864 1451 1233 1 2487.0000 835.3614 197.72%
866.79/869.01 c 869 1469 1249 1 2487.0000 836.5000 197.31%
872.48/874.64 c 875 1475 1251 1 2487.0000 836.5000 197.31%
881.15/883.30 c 883 1481 1257 1 2487.0000 836.5000 197.31%
889.63/891.82 c 892 1492 1264 1 2487.0000 836.5000 197.31%
896.21/898.49 c 898 1497 1269 1 2487.0000 836.5000 197.31%
902.30/904.53 c 905 1500 1272 1 2487.0000 836.5000 197.31%
910.68/912.90 c 913 1505 1275 1 2487.0000 854.0000 191.22%
916.56/918.88 c 919 1511 1281 1 2487.0000 854.0000 191.22%
922.25/924.59 c 925 1518 1286 1 2487.0000 854.0000 191.22%
927.64/929.94 c 930 1523 1289 1 2487.0000 854.0000 191.22%
933.22/935.52 c 936 1529 1295 1 2487.0000 854.0000 191.22%
938.73/941.09 c 941 1536 1302 1 2487.0000 877.0000 183.58%
944.20/946.51 c 947 1547 1305 1 2487.0000 877.0000 183.58%
949.89/952.24 c 952 1550 1308 1 2487.0000 877.0000 183.58%
955.58/957.96 c 958 1555 1311 1 2487.0000 890.1875 179.38%
963.76/966.19 c 966 1568 1316 1 2487.0000 890.1875 179.38%
972.13/974.51 c 975 1574 1320 1 2487.0000 890.1875 179.38%
978.02/980.43 c 980 1578 1322 1 2487.0000 890.1875 179.38%
984.11/986.55 c 987 1583 1325 1 2487.0000 890.1875 179.38%
989.50/991.95 c 992 1585 1327 1 2487.0000 890.1875 179.38%
995.69/998.15 c 998 1592 1334 1 2487.0000 890.1875 179.38%
1003.16/1005.65 c 1006 1596 1338 1 2487.0000 890.1875 179.38%
1010.66/1013.19 c 1013 1600 1342 1 2487.0000 890.1875 179.38%
1016.64/1019.11 c 1019 1605 1347 1 2487.0000 894.0000 178.19%
1022.02/1024.56 c 1025 1613 1347 1 2487.0000 894.0000 178.19%
1028.80/1031.34 c 1031 1620 1354 1 2487.0000 894.0000 178.19%
1034.29/1036.81 c 1037 1622 1356 1 2487.0000 894.0000 178.19%
1039.98/1042.54 c 1043 1627 1361 1 2487.0000 894.0000 178.19%
1045.47/1048.06 c 1048 1628 1362 1 2487.0000 894.0000 178.19%
1051.65/1054.27 c 1054 1635 1369 1 2487.0000 894.0000 178.19%
1056.84/1059.49 c 1060 1639 1373 1 2487.0000 894.0000 178.19%
1062.12/1064.77 c 1065 1652 1380 1 2487.0000 907.0000 174.20%
1067.42/1070.09 c 1070 1671 1385 1 2487.0000 907.0000 174.20%
1072.90/1075.58 c 1076 1682 1392 1 2487.0000 918.5000 170.77%
1078.28/1080.92 c 1081 1693 1403 1 2487.0000 941.0000 164.29%
1083.67/1086.31 c 1086 1710 1412 1 2487.0000 941.0000 164.29%
1089.76/1092.42 c 1092 1718 1418 1 2487.0000 944.0000 163.45%
1096.24/1098.95 c 1099 1732 1422 1 2487.0000 944.0000 163.45%
1102.62/1105.32 c 1105 1744 1424 1 2487.0000 944.0000 163.45%
1110.01/1112.72 c 1113 1748 1428 1 2487.0000 944.0000 163.45%
1115.19/1118.01 c 1118 1757 1437 1 2487.0000 944.0000 163.45%
1123.07/1125.84 c 1126 1764 1438 1 2487.0000 944.0000 163.45%
1128.15/1130.91 c 1131 1768 1442 1 2487.0000 944.0000 163.45%
1135.83/1138.62 c 1139 1776 1448 1 2487.0000 944.0000 163.45%
1142.12/1145.01 c 1145 1781 1451 1 2487.0000 944.0000 163.45%
1148.01/1150.81 c 1151 1784 1454 1 2487.0000 952.8333 161.01%
1153.99/1156.83 c 1157 1787 1455 1 2487.0000 952.8333 161.01%
1159.98/1162.82 c 1163 1792 1460 1 2487.0000 953.1667 160.92%
1164.96/1167.84 c 1168 1794 1462 1 2487.0000 953.1667 160.92%
1173.65/1176.59 c 1177 1799 1465 1 2487.0000 953.1667 160.92%
1179.73/1182.69 c 1183 1803 1469 1 2487.0000 958.5000 159.47%
1186.51/1189.45 c 1189 1806 1472 1 2487.0000 958.5000 159.47%
1191.60/1194.51 c 1195 1817 1481 1 2487.0000 958.5000 159.47%
1198.48/1201.46 c 1201 1833 1495 1 2487.0000 958.5000 159.47%
1205.08/1208.08 c 1208 1837 1497 1 2487.0000 958.5000 159.47%
1211.06/1214.05 c 1214 1844 1500 1 2487.0000 958.5000 159.47%
1216.85/1219.82 c 1220 1849 1501 1 2487.0000 958.5000 159.47%
1224.52/1227.54 c 1228 1859 1507 1 2487.0000 964.0000 157.99%
1229.61/1232.67 c 1233 1862 1510 1 2487.0000 964.0000 157.99%
1234.90/1237.98 c 1238 1869 1517 1 2487.0000 964.0000 157.99%
1243.68/1246.76 c 1247 1880 1518 1 2487.0000 964.0000 157.99%
1248.87/1251.91 c 1252 1891 1529 1 2487.0000 964.0000 157.99%
1254.46/1257.53 c 1258 1902 1534 1 2487.0000 964.0000 157.99%
1259.64/1262.70 c 1263 1916 1542 1 2487.0000 964.0000 157.99%
1265.23/1268.38 c 1268 1924 1546 1 2487.0000 964.0000 157.99%
1270.32/1273.41 c 1273 1926 1548 1 2487.0000 964.0000 157.99%
1276.91/1280.06 c 1280 1929 1551 1 2487.0000 964.0000 157.99%
1282.69/1285.87 c 1286 1936 1556 1 2487.0000 964.0000 157.99%
1288.57/1291.76 c 1292 1943 1561 1 2487.0000 964.0000 157.99%
1293.66/1296.80 c 1297 1946 1564 1 2487.0000 964.0000 157.99%
1299.87/1303.09 c 1303 1951 1569 1 2487.0000 964.0000 157.99%
1307.33/1310.56 c 1311 1955 1571 1 2487.0000 964.0000 157.99%
1312.71/1315.95 c 1316 1958 1574 1 2487.0000 964.0000 157.99%
1318.61/1321.86 c 1322 1962 1578 1 2487.0000 981.2318 153.46%
1325.48/1328.76 c 1329 1969 1583 1 2487.0000 981.2318 153.46%
1334.06/1337.31 c 1337 1975 1587 1 2487.0000 985.4070 152.38%
1339.65/1342.91 c 1343 1994 1595 1 2487.0000 987.0000 151.98%
1348.44/1351.76 c 1352 2011 1606 1 2487.0000 987.0000 151.98%
1357.91/1361.24 c 1361 2014 1609 1 2487.0000 987.0000 151.98%
1363.00/1366.32 c 1366 2018 1613 1 2487.0000 987.0000 151.98%
1368.58/1371.90 c 1372 2022 1615 1 2487.0000 988.0025 151.72%
1374.27/1377.63 c 1378 2025 1618 1 2487.0000 988.0025 151.72%
1380.67/1384.08 c 1384 2029 1622 1 2487.0000 988.0025 151.72%
1386.54/1389.92 c 1390 2035 1624 1 2487.0000 988.0025 151.72%
1392.03/1395.46 c 1395 2037 1626 1 2487.0000 988.0025 151.72%
1399.12/1402.57 c 1403 2042 1631 1 2487.0000 989.3214 151.38%
1406.80/1410.29 c 1410 2048 1637 1 2487.0000 989.3214 151.38%
1412.28/1415.72 c 1416 2054 1643 1 2487.0000 989.3214 151.38%
1417.86/1421.38 c 1421 2063 1648 1 2487.0000 989.3214 151.38%
1425.05/1428.52 c 1429 2068 1651 1 2487.0000 989.3214 151.38%
1430.55/1434.02 c 1434 2071 1654 1 2487.0000 989.3214 151.38%
1438.02/1441.57 c 1442 2074 1657 1 2487.0000 989.3214 151.38%
1445.70/1449.27 c 1449 2077 1660 1 2487.0000 989.3214 151.38%
1450.87/1454.46 c 1454 2087 1666 1 2487.0000 989.3214 151.38%
1456.76/1460.37 c 1460 2102 1675 1 2487.0000 989.4971 151.34%
1465.56/1469.17 c 1469 2125 1685 1 2487.0000 989.4971 151.34%
1482.42/1486.06 c 1486 2127 1687 1 2487.0000 989.4971 151.34%
1489.50/1493.17 c 1493 2134 1686 1 2487.0000 990.5505 151.07%
1496.67/1500.31 c 1500 2141 1689 1 2487.0000 990.5505 151.07%
1502.36/1506.08 c 1506 2143 1691 1 2487.0000 1000.0833 148.68%
1508.46/1512.18 c 1512 2147 1695 1 2487.0000 1000.0833 148.68%
1513.53/1517.26 c 1517 2152 1696 1 2487.0000 1001.7500 148.27%
1519.32/1523.06 c 1523 2162 1704 1 2487.0000 1001.7500 148.27%
1525.19/1528.98 c 1529 2167 1709 1 2487.0000 1001.7500 148.27%
1531.39/1535.18 c 1535 2174 1710 1 2487.0000 1001.7500 148.27%
1537.86/1541.66 c 1542 2183 1713 1 2487.0000 1004.0000 147.71%
1543.15/1546.99 c 1547 2186 1714 1 2487.0000 1004.0000 147.71%
1550.73/1554.54 c 1555 2192 1718 1 2487.0000 1017.5000 144.42%
1555.92/1559.78 c 1560 2208 1726 1 2487.0000 1017.5000 144.42%
1561.80/1565.69 c 1566 2225 1731 1 2487.0000 1017.5000 144.42%
1568.09/1571.94 c 1572 2235 1733 1 2487.0000 1017.5000 144.42%
1573.19/1577.07 c 1577 2252 1736 1 2487.0000 1017.8333 144.34%
1579.46/1583.33 c 1583 2261 1739 1 2487.0000 1025.5000 142.52%
1584.55/1588.46 c 1588 2275 1741 1 2487.0000 1025.5000 142.52%
1589.83/1593.70 c 1594 2293 1745 1 2487.0000 1025.5000 142.52%
1595.62/1599.55 c 1600 2305 1747 1 2487.0000 1025.5000 142.52%
1601.40/1605.39 c 1605 2322 1756 1 2487.0000 1027.0000 142.16%
1607.48/1611.44 c 1611 2327 1759 1 2487.0000 1027.0000 142.16%
1615.76/1619.74 c 1620 2332 1762 1 2487.0000 1031.0000 141.22%
1622.06/1626.09 c 1626 2340 1770 1 2487.0000 1031.0000 141.22%
1628.34/1632.30 c 1632 2348 1776 1 2487.0000 1031.0000 141.22%
1634.14/1638.19 c 1638 2354 1780 1 2487.0000 1038.0625 139.58%
1641.41/1645.40 c 1645 2361 1783 1 2487.0000 1038.0625 139.58%
1647.80/1651.84 c 1652 2376 1790 1 2487.0000 1038.0625 139.58%
1652.79/1656.86 c 1657 2391 1799 1 2487.0000 1046.5000 137.65%
1659.37/1663.47 c 1663 2412 1810 1 2487.0000 1057.5000 135.18%
1664.76/1668.87 c 1669 2424 1820 1 2487.0000 1066.0000 133.30%
1672.34/1676.47 c 1676 2443 1821 1 2487.0000 1088.5556 128.47%
1679.52/1683.64 c 1684 2453 1825 1 2487.0000 1090.0000 128.17%
1686.92/1691.02 c 1691 2459 1829 1 2487.0000 1090.0000 128.17%
1692.50/1696.68 c 1697 2465 1831 1 2487.0000 1092.4000 127.66%
1701.28/1705.40 c 1705 2471 1837 1 2487.0000 1092.4000 127.66%
1706.76/1710.91 c 1711 2475 1839 1 2487.0000 1092.4000 127.66%
1712.75/1716.91 c 1717 2488 1842 1 2487.0000 1092.4000 127.66%
1718.24/1722.42 c 1722 2506 1854 1 2487.0000 1093.7500 127.38%
1723.83/1728.06 c 1728 2528 1870 1 2487.0000 1093.7500 127.38%
1729.01/1733.20 c 1733 2532 1872 1 2487.0000 1093.7500 127.38%
1734.19/1738.49 c 1738 2538 1878 1 2487.0000 1093.7500 127.38%
1742.47/1746.71 c 1747 2545 1881 1 2487.0000 1093.7500 127.38%
1747.78/1752.02 c 1752 2550 1882 1 2487.0000 1093.7500 127.38%
1754.25/1758.57 c 1759 2557 1889 1 2487.0000 1093.7500 127.38%
1760.85/1765.12 c 1765 2570 1888 1 2487.0000 1093.7500 127.38%
1767.92/1772.24 c 1772 2575 1891 1 2487.0000 1095.0833 127.11%
1775.50/1779.87 c 1780 2580 1896 1 2487.0000 1095.0833 127.11%
1780.80/1785.19 c 1785 2584 1900 1 2487.0000 1095.0833 127.11%
1787.37/1791.70 c 1792 2594 1900 1 2487.0000 1095.0833 127.11%
1793.76/1798.16 c 1798 2608 1904 1 2487.0000 1095.0833 127.11%
1799.14/1803.52 c 1804 2617 1905 1 2487.0000 1095.0833 127.11%
1805.12/1809.50 c 1810 2632 1904 1 2487.0000 1099.0000 126.30%
1812.11/1816.59 c 1817 2642 1908 1 2487.0000 1099.0000 126.30%
1817.71/1822.12 c 1822 2648 1914 1 2487.0000 1099.0000 126.30%
1823.98/1828.42 c 1828 2657 1919 1 2487.0000 1099.0000 126.30%
1831.46/1835.90 c 1836 2673 1919 1 2487.0000 1099.0000 126.30%
1837.05/1841.59 c 1842 2677 1923 1 2487.0000 1099.0000 126.30%
1842.55/1847.05 c 1847 2686 1926 1 2487.0000 1099.0000 126.30%
1848.33/1852.82 c 1853 2710 1932 1 2487.0000 1102.0000 125.68%
1853.92/1858.46 c 1858 2725 1932 1 2487.0000 1102.0000 125.68%
1860.40/1864.90 c 1865 2732 1933 1 2487.0000 1102.0000 125.68%
1865.89/1870.44 c 1870 2737 1936 1 2487.0000 1102.0000 125.68%
1871.97/1876.55 c 1877 2744 1939 1 2487.0000 1102.0000 125.68%
1877.16/1881.72 c 1882 2747 1942 1 2487.0000 1102.0000 125.68%
1882.75/1887.37 c 1887 2751 1944 1 2487.0000 1102.0000 125.68%
1889.33/1893.90 c 1894 2759 1948 1 2487.0000 1102.0000 125.68%
1894.92/1899.50 c 1900 2769 1950 1 2487.0000 1102.0000 125.68%
1900.31/1905.01 c 1905 2774 1951 1 2487.0000 1102.0000 125.68%
1906.89/1911.56 c 1912 2784 1945 1 2487.0000 1102.0000 125.68%
1914.28/1918.90 c 1919 2792 1945 1 2487.0000 1109.0000 124.26%
1920.06/1924.73 c 1925 2797 1950 1 2487.0000 1109.0000 124.26%
1925.55/1930.29 c 1930 2802 1951 1 2487.0000 1122.5000 121.56%
1930.63/1935.35 c 1935 2806 1953 1 2487.0000 1122.5000 121.56%
1936.22/1941.01 c 1941 2812 1957 1 2487.0000 1129.5500 120.18%
1941.80/1946.53 c 1947 2818 1954 1 2487.0000 1129.5500 120.18%
1946.99/1951.75 c 1952 2822 1958 1 2487.0000 1138.7500 118.40%
1952.88/1957.69 c 1958 2829 1965 1 2487.0000 1138.7500 118.40%
1960.16/1964.97 c 1965 2831 1967 1 2487.0000 1138.7500 118.40%
1967.14/1971.94 c 1972 2842 1970 1 2487.0000 1151.5208 115.98%
1972.72/1977.50 c 1978 2861 1981 1 2487.0000 1151.5208 115.98%
1978.82/1983.64 c 1984 2877 1987 1 2487.0000 1151.5208 115.98%
1984.70/1989.54 c 1990 2897 1999 1 2487.0000 1153.8132 115.55%
1990.39/1995.25 c 1995 2904 2002 1 2487.0000 1164.7083 113.53%
1997.77/2002.64 c 2003 2923 2003 1 2487.0000 1165.5000 113.38%
2003.66/2008.56 c 2009 2928 2006 1 2487.0000 1165.5000 113.38%
2009.74/2014.68 c 2015 2934 2006 1 2487.0000 1168.5000 112.84%
2015.14/2020.10 c 2020 2944 2006 1 2487.0000 1169.0000 112.75%
2024.51/2029.44 c 2029 2951 2013 1 2487.0000 1169.0000 112.75%
2030.39/2035.36 c 2035 2959 2015 1 2487.0000 1169.0000 112.75%
2038.27/2043.21 c 2043 2974 2024 1 2487.0000 1169.0000 112.75%
2044.56/2049.57 c 2050 2983 2027 1 2487.0000 1171.0000 112.38%
2050.25/2055.26 c 2055 2988 2032 1 2487.0000 1171.0000 112.38%
2057.33/2062.37 c 2062 3000 2038 1 2487.0000 1175.5000 111.57%
2063.41/2068.47 c 2068 3007 2043 1 2487.0000 1175.5000 111.57%
2068.70/2073.79 c 2074 3013 2047 1 2487.0000 1178.5000 111.03%
2074.10/2079.17 c 2079 3021 2049 1 2487.0000 1178.5000 111.03%
2080.47/2085.56 c 2086 3030 2050 1 2487.0000 1178.5000 111.03%
2087.35/2092.45 c 2092 3035 2051 1 2487.0000 1187.5000 109.43%
2093.14/2098.25 c 2098 3041 2057 1 2487.0000 1187.5000 109.43%
2100.62/2105.78 c 2106 3061 2065 1 2487.0000 1187.5000 109.43%
2107.10/2112.21 c 2112 3089 2071 1 2487.0000 1187.5000 109.43%
2112.89/2118.06 c 2118 3100 2077 1 2487.0000 1187.5000 109.43%
2118.17/2123.33 c 2123 3110 2077 1 2487.0000 1188.5833 109.24%
2123.55/2128.76 c 2129 3112 2079 1 2487.0000 1188.5833 109.24%
2129.23/2134.41 c 2134 3115 2082 1 2487.0000 1188.5833 109.24%
2135.51/2140.78 c 2141 3124 2085 1 2487.0000 1188.5833 109.24%
2141.30/2146.56 c 2147 3127 2088 1 2487.0000 1188.5833 109.24%
2150.08/2155.35 c 2155 3134 2091 1 2487.0000 1201.5000 106.99%
2156.26/2161.50 c 2162 3147 2096 1 2487.0000 1205.5000 106.30%
2161.25/2166.54 c 2167 3159 2104 1 2487.0000 1205.5000 106.30%
2171.12/2176.48 c 2176 3166 2107 1 2487.0000 1209.0000 105.71%
2176.71/2182.04 c 2182 3172 2109 1 2487.0000 1209.0000 105.71%
2182.49/2187.80 c 2188 3182 2107 1 2487.0000 1209.0000 105.71%
2188.37/2193.76 c 2194 3188 2109 1 2487.0000 1209.0000 105.71%
2195.54/2200.94 c 2201 3195 2112 1 2487.0000 1209.0000 105.71%
2203.63/2209.06 c 2209 3202 2115 1 2487.0000 1220.5000 103.77%
2209.50/2214.91 c 2215 3209 2120 1 2487.0000 1220.5000 103.77%
2215.38/2220.89 c 2221 3234 2133 1 2487.0000 1220.5000 103.77%
2220.69/2226.13 c 2226 3252 2136 1 2487.0000 1220.5000 103.77%
2225.37/2230.81 c * 2231 3261 2139 1 2424.0000 1220.5000 98.61%
2228.57/2234.08 c 2234 3264 2018 1 2424.0000 1220.5000 98.61%
2237.03/2242.56 c 2243 3272 2016 1 2424.0000 1230.4132 97.01%
2243.71/2249.27 c 2249 3282 2018 1 2424.0000 1230.4132 97.01%
2249.39/2254.95 c 2255 3286 2022 1 2424.0000 1230.4132 97.01%
2254.49/2260.06 c 2260 3295 2027 1 2424.0000 1230.4132 97.01%
2261.96/2267.51 c 2268 3300 2030 1 2424.0000 1230.4132 97.01%
2265.56/2271.13 c * 2271 3305 2031 1 2312.0000 1230.4132 87.90%
2266.95/2272.56 c 2273 3309 1738 1 2312.0000 1230.4132 87.90%
2273.63/2279.29 c 2279 3313 1738 1 2312.0000 1230.4132 87.90%
2279.11/2284.78 c 2285 3326 1739 1 2312.0000 1230.4132 87.90%
2285.19/2290.84 c 2291 3337 1742 1 2312.0000 1230.4132 87.90%
2290.18/2295.88 c 2296 3341 1746 1 2312.0000 1230.4132 87.90%
2297.37/2303.04 c 2303 3351 1750 1 2312.0000 1230.7500 87.85%
2302.46/2308.11 c 2308 3358 1751 1 2312.0000 1230.7500 87.85%
2309.03/2314.70 c 2315 3392 1755 1 2312.0000 1230.7500 87.85%
2314.91/2320.67 c 2321 3398 1759 1 2312.0000 1230.7500 87.85%
2322.09/2327.85 c 2328 3406 1757 1 2312.0000 1230.7500 87.85%
2327.97/2333.76 c 2334 3418 1761 1 2312.0000 1230.7500 87.85%
2334.16/2339.96 c 2340 3431 1764 1 2312.0000 1232.3802 87.60%
2339.44/2345.27 c 2345 3443 1772 1 2312.0000 1238.5000 86.68%
2345.12/2350.97 c 2351 3459 1774 1 2312.0000 1250.4020 84.90%
2353.00/2358.86 c 2359 3471 1779 1 2312.0000 1250.4020 84.90%
2358.30/2364.12 c 2364 3485 1785 1 2312.0000 1252.3077 84.62%
2363.87/2369.72 c 2370 3517 1797 1 2312.0000 1252.3077 84.62%
2369.66/2375.57 c 2376 3522 1798 1 2312.0000 1253.0000 84.52%
2375.05/2380.99 c 2381 3527 1801 1 2312.0000 1254.5000 84.30%
2380.63/2386.53 c 2387 3535 1801 1 2312.0000 1254.5000 84.30%
2386.82/2392.77 c 2393 3545 1799 1 2312.0000 1254.5000 84.30%
2393.60/2399.56 c 2400 3556 1798 1 2312.0000 1255.1667 84.20%
2399.28/2405.27 c 2405 3561 1799 1 2312.0000 1255.1667 84.20%
2404.67/2410.65 c 2411 3568 1800 1 2312.0000 1255.1667 84.20%
2411.56/2417.54 c 2418 3572 1802 1 2312.0000 1256.0077 84.08%
2418.55/2424.53 c 2425 3577 1803 1 2312.0000 1259.0833 83.63%
2424.63/2430.63 c 2431 3590 1804 1 2312.0000 1267.8453 82.36%
2429.92/2435.90 c 2436 3596 1806 1 2312.0000 1267.8453 82.36%
2437.11/2443.15 c 2443 3604 1802 1 2312.0000 1267.8453 82.36%
2442.19/2448.22 c 2448 3614 1808 1 2312.0000 1267.8453 82.36%
2447.58/2453.63 c 2454 3631 1817 1 2312.0000 1276.6667 81.10%
2452.56/2458.64 c 2459 3634 1816 1 2312.0000 1276.6667 81.10%
2458.96/2465.05 c 2465 3642 1818 1 2312.0000 1276.6667 81.10%
2464.05/2470.11 c 2470 3645 1819 1 2312.0000 1276.6667 81.10%
2469.42/2475.54 c 2476 3659 1823 1 2312.0000 1276.6667 81.10%
2475.31/2481.49 c 2481 3666 1824 1 2312.0000 1280.1489 80.60%
2481.01/2487.11 c 2487 3670 1826 1 2312.0000 1280.1489 80.60%
2486.89/2493.04 c 2493 3697 1829 1 2312.0000 1287.0000 79.64%
2493.27/2499.42 c 2499 3703 1831 1 2312.0000 1287.0000 79.64%
2498.76/2504.96 c 2505 3714 1830 1 2312.0000 1287.0000 79.64%
2504.45/2510.66 c 2511 3720 1830 1 2312.0000 1287.0000 79.64%
2511.84/2518.03 c 2518 3726 1830 1 2312.0000 1287.0000 79.64%
2517.71/2524.01 c 2524 3736 1832 1 2312.0000 1287.0000 79.64%
2522.91/2529.19 c 2529 3745 1837 1 2312.0000 1287.0000 79.64%
2529.68/2535.91 c 2536 3752 1836 1 2312.0000 1293.8407 78.69%
2535.06/2541.30 c 2541 3765 1835 1 2312.0000 1293.8407 78.69%
2543.86/2550.19 c 2550 3778 1836 1 2312.0000 1293.8407 78.69%
2550.24/2556.50 c 2556 3783 1837 1 2312.0000 1296.7353 78.29%
2555.22/2561.60 c 2562 3809 1843 1 2312.0000 1296.7353 78.29%
2561.72/2568.11 c 2568 3816 1842 1 2312.0000 1298.3438 78.07%
2568.70/2575.03 c 2575 3828 1842 1 2312.0000 1298.3438 78.07%
2574.07/2580.44 c 2580 3840 1850 1 2312.0000 1298.3438 78.07%
2579.26/2585.64 c 2586 3850 1852 1 2312.0000 1298.3438 78.07%
2586.05/2592.41 c 2592 3865 1853 1 2312.0000 1298.3438 78.07%
2591.33/2597.76 c 2598 3874 1854 1 2312.0000 1298.3438 78.07%
2596.63/2603.03 c 2603 3884 1852 1 2312.0000 1298.3438 78.07%
2602.31/2608.77 c 2609 3892 1850 1 2312.0000 1300.1667 77.82%
2609.09/2615.53 c 2616 3901 1847 1 2312.0000 1300.1667 77.82%
2614.70/2621.18 c 2621 3904 1848 1 2312.0000 1300.1667 77.82%
2621.47/2627.90 c 2628 3911 1849 1 2312.0000 1300.1667 77.82%
2626.95/2633.42 c 2633 3914 1850 1 2312.0000 1300.1667 77.82%
2632.55/2639.07 c 2639 3918 1850 1 2312.0000 1300.1667 77.82%
2641.53/2648.04 c 2648 3939 1851 1 2312.0000 1300.1667 77.82%
2649.40/2655.94 c 2656 3948 1854 1 2312.0000 1302.4794 77.51%
2655.29/2661.84 c 2662 3965 1861 1 2312.0000 1302.5000 77.50%
2661.97/2668.55 c 2669 3984 1862 1 2312.0000 1302.5000 77.50%
2671.75/2678.38 c 2678 3998 1862 1 2312.0000 1302.5000 77.50%
2678.23/2684.89 c 2685 4004 1862 1 2312.0000 1304.5000 77.23%
2685.42/2692.08 c 2692 4006 1862 1 2312.0000 1304.5000 77.23%
2692.30/2698.92 c 2699 4013 1867 1 2312.0000 1305.5000 77.10%
2697.50/2704.11 c 2704 4016 1870 1 2312.0000 1305.5000 77.10%
2703.67/2710.38 c 2710 4021 1869 1 2312.0000 1305.5000 77.10%
2709.26/2715.99 c 2716 4026 1874 1 2312.0000 1305.5000 77.10%
2716.65/2723.35 c 2723 4027 1875 1 2312.0000 1305.5000 77.10%
2722.63/2729.36 c 2729 4033 1877 1 2312.0000 1305.5000 77.10%
2729.22/2735.92 c 2736 4040 1876 1 2312.0000 1305.5000 77.10%
2734.80/2741.58 c 2742 4048 1878 1 2312.0000 1305.5000 77.10%
2743.68/2750.40 c 2750 4051 1881 1 2312.0000 1305.5000 77.10%
2749.66/2756.42 c 2756 4062 1882 1 2312.0000 1307.1007 76.88%
2756.45/2763.20 c 2763 4066 1882 1 2312.0000 1307.1007 76.88%
2761.84/2768.60 c 2769 4071 1883 1 2312.0000 1307.1007 76.88%
2768.93/2775.73 c 2776 4075 1881 1 2312.0000 1307.1007 76.88%
2774.32/2781.14 c 2781 4080 1884 1 2312.0000 1307.1007 76.88%
2780.80/2787.66 c 2788 4091 1889 1 2312.0000 1307.1007 76.88%
2786.19/2793.05 c 2793 4102 1890 1 2312.0000 1308.0000 76.76%
2794.56/2801.42 c 2801 4110 1890 1 2312.0000 1308.0000 76.76%
2799.96/2806.86 c 2807 4117 1889 1 2312.0000 1308.0000 76.76%
2806.15/2813.10 c 2813 4129 1891 1 2312.0000 1308.0000 76.76%
2811.24/2818.16 c 2818 4134 1894 1 2312.0000 1308.0000 76.76%
2816.61/2823.58 c 2824 4142 1892 1 2312.0000 1308.0000 76.76%
2824.49/2831.42 c 2831 4157 1897 1 2312.0000 1308.0000 76.76%
2830.58/2837.58 c 2838 4164 1898 1 2312.0000 1308.0000 76.76%
2835.77/2842.73 c 2843 4174 1896 1 2312.0000 1308.0000 76.76%
2840.95/2847.99 c 2848 4179 1899 1 2312.0000 1308.0000 76.76%
2847.64/2854.65 c 2855 4186 1896 1 2312.0000 1309.3529 76.58%
2855.82/2862.84 c 2863 4193 1899 1 2312.0000 1309.3529 76.58%
2861.80/2868.87 c 2869 4198 1904 1 2312.0000 1309.3529 76.58%
2867.29/2874.31 c 2874 4201 1905 1 2312.0000 1309.3529 76.58%
2875.38/2882.45 c 2882 4211 1908 1 2312.0000 1309.3529 76.58%
2882.55/2889.64 c 2890 4214 1909 1 2312.0000 1309.3529 76.58%
2888.85/2895.92 c 2896 4219 1910 1 2312.0000 1309.3529 76.58%
2894.23/2901.35 c 2901 4231 1910 1 2312.0000 1312.2143 76.19%
2902.81/2909.90 c 2910 4241 1910 1 2312.0000 1312.2143 76.19%
2911.90/2919.03 c 2919 4252 1911 1 2312.0000 1313.0000 76.09%
2917.47/2924.60 c 2925 4263 1912 1 2312.0000 1313.3125 76.04%
2923.06/2930.21 c 2930 4266 1915 1 2312.0000 1313.3125 76.04%
2928.86/2936.04 c 2936 4272 1913 1 2312.0000 1317.1250 75.53%
2935.64/2942.83 c 2943 4280 1915 1 2312.0000 1317.1250 75.53%
2941.22/2948.46 c 2948 4283 1916 1 2312.0000 1317.1250 75.53%
2947.01/2954.29 c 2954 4291 1920 1 2312.0000 1317.1250 75.53%
2952.59/2959.82 c 2960 4308 1921 1 2312.0000 1317.1250 75.53%
2958.18/2965.43 c 2965 4321 1922 1 2312.0000 1317.1250 75.53%
2964.27/2971.53 c 2972 4328 1927 1 2312.0000 1321.2500 74.99%
2969.87/2977.19 c 2977 4336 1927 1 2312.0000 1325.7500 74.39%
2975.24/2982.57 c 2983 4352 1923 1 2312.0000 1330.5742 73.76%
2980.43/2987.77 c 2988 4361 1922 1 2312.0000 1330.5742 73.76%
2985.61/2992.94 c 2993 4376 1921 1 2312.0000 1330.5742 73.76%
2991.20/2998.50 c 2999 4382 1923 1 2312.0000 1337.8333 72.82%
2997.39/3004.70 c 3005 4391 1928 1 2312.0000 1337.8333 72.82%
3002.88/3010.27 c 3010 4402 1931 1 2312.0000 1339.7500 72.57%
3010.16/3017.51 c 3018 4407 1930 1 2312.0000 1339.7500 72.57%
3015.66/3023.07 c 3023 4410 1933 1 2312.0000 1339.7500 72.57%
3021.54/3028.93 c 3029 4430 1933 1 2312.0000 1339.7500 72.57%
3026.52/3033.98 c 3034 4437 1930 1 2312.0000 1339.7500 72.57%
3032.62/3040.09 c 3040 4440 1931 1 2312.0000 1339.7500 72.57%
3038.39/3045.84 c 3046 4453 1932 1 2312.0000 1339.7500 72.57%
3043.48/3050.92 c 3051 4464 1936 1 2312.0000 1339.7500 72.57%
3050.46/3057.91 c 3058 4470 1934 1 2312.0000 1339.7500 72.57%
3056.56/3064.07 c 3064 4478 1930 1 2312.0000 1341.3906 72.36%
3061.66/3069.16 c 3069 4487 1931 1 2312.0000 1341.3906 72.36%
3066.65/3074.17 c 3074 4495 1935 1 2312.0000 1341.3906 72.36%
3072.42/3079.99 c 3080 4511 1931 1 2312.0000 1341.3906 72.36%
3079.30/3086.81 c 3087 4517 1933 1 2312.0000 1341.3906 72.36%
3085.39/3092.98 c 3093 4528 1934 1 2312.0000 1341.3906 72.36%
3091.58/3099.15 c 3099 4547 1937 1 2312.0000 1349.1667 71.37%
3097.76/3105.38 c 3105 4550 1938 1 2312.0000 1349.1667 71.37%
3103.94/3111.58 c 3112 4555 1939 1 2312.0000 1349.1667 71.37%
3109.23/3116.80 c 3117 4563 1943 1 2312.0000 1349.1667 71.37%
3115.32/3122.98 c 3123 4576 1940 1 2312.0000 1351.2500 71.10%
3121.80/3129.43 c 3129 4585 1943 1 2312.0000 1351.2500 71.10%
3127.59/3135.23 c 3135 4606 1944 1 2312.0000 1351.2500 71.10%
3133.27/3140.95 c 3141 4613 1941 1 2312.0000 1351.2500 71.10%
3141.96/3149.69 c 3150 4622 1940 1 2312.0000 1351.2500 71.10%
3148.74/3156.48 c 3156 4630 1942 1 2312.0000 1351.2500 71.10%
3156.52/3164.30 c 3164 4638 1946 1 2312.0000 1351.2500 71.10%
3162.81/3170.54 c 3171 4657 1943 1 2312.0000 1351.2500 71.10%
3168.99/3176.74 c 3177 4660 1944 1 2312.0000 1351.2500 71.10%
3174.18/3181.95 c 3182 4668 1946 1 2312.0000 1354.0000 70.75%
3179.86/3187.63 c 3188 4678 1944 1 2312.0000 1354.0000 70.75%
3185.26/3193.04 c 3193 4682 1944 1 2312.0000 1356.5000 70.44%
3190.74/3198.54 c 3199 4695 1945 1 2312.0000 1356.5000 70.44%
3196.52/3204.37 c 3204 4707 1943 1 2312.0000 1356.5000 70.44%
3202.32/3210.14 c 3210 4719 1945 1 2312.0000 1356.5000 70.44%
3208.80/3216.64 c 3217 4724 1946 1 2312.0000 1356.5000 70.44%
3217.57/3225.43 c 3225 4728 1946 1 2312.0000 1356.5000 70.44%
3223.57/3231.41 c 3231 4742 1946 1 2312.0000 1356.5000 70.44%
3231.74/3239.65 c 3240 4752 1946 1 2312.0000 1361.1679 69.85%
3237.24/3245.16 c 3245 4760 1946 1 2312.0000 1361.1679 69.85%
3243.41/3251.38 c 3251 4764 1948 1 2312.0000 1361.1679 69.85%
3253.38/3261.37 c 3261 4778 1940 1 2312.0000 1361.1679 69.85%
3258.78/3266.75 c 3267 4790 1940 1 2312.0000 1364.0000 69.50%
3263.86/3271.80 c 3272 4797 1941 1 2312.0000 1364.0000 69.50%
3271.84/3279.85 c 3280 4803 1939 1 2312.0000 1364.0000 69.50%
3278.62/3286.68 c 3287 4811 1939 1 2312.0000 1364.0000 69.50%
3285.02/3293.10 c 3293 4816 1940 1 2312.0000 1364.0000 69.50%
3290.40/3298.41 c 3298 4826 1940 1 2312.0000 1364.0000 69.50%
3296.10/3304.17 c 3304 4831 1941 1 2312.0000 1364.0000 69.50%
3302.17/3310.28 c 3310 4838 1940 1 2312.0000 1364.0000 69.50%
3308.65/3316.77 c 3317 4849 1941 1 2312.0000 1364.0000 69.50%
3314.54/3322.69 c 3323 4859 1941 1 2312.0000 1364.0000 69.50%
3321.13/3329.28 c 3329 4865 1942 1 2312.0000 1374.0000 68.27%
3326.42/3334.56 c 3335 4872 1945 1 2312.0000 1374.0000 68.27%
3332.41/3340.56 c 3341 4878 1945 1 2312.0000 1374.0000 68.27%
3339.09/3347.24 c 3347 4888 1945 1 2312.0000 1378.5000 67.72%
3345.27/3353.48 c 3353 4893 1946 1 2312.0000 1378.5000 67.72%
3350.56/3358.74 c 3359 4902 1945 1 2312.0000 1378.5000 67.72%
3357.74/3365.90 c 3366 4908 1945 1 2312.0000 1378.5000 67.72%
3363.23/3371.46 c 3371 4919 1946 1 2312.0000 1378.5000 67.72%
3372.01/3380.29 c 3380 4929 1942 1 2312.0000 1385.8026 66.83%
3377.20/3385.46 c 3385 4941 1942 1 2312.0000 1385.8026 66.83%
3382.39/3390.65 c 3391 4949 1940 1 2312.0000 1385.8026 66.83%
3388.57/3396.83 c 3397 4968 1937 1 2312.0000 1385.8205 66.83%
3397.35/3405.64 c 3406 4973 1938 1 2312.0000 1385.8205 66.83%
3403.43/3411.77 c 3412 4976 1941 1 2312.0000 1385.8205 66.83%
3409.02/3417.33 c 3417 4986 1937 1 2312.0000 1386.2500 66.78%
3414.41/3422.70 c 3423 4991 1935 1 2312.0000 1386.2500 66.78%
3421.40/3429.75 c 3430 4994 1937 1 2312.0000 1386.2500 66.78%
3426.80/3435.17 c 3435 5002 1939 1 2312.0000 1391.5833 66.14%
3433.27/3441.69 c 3442 5009 1942 1 2312.0000 1391.5833 66.14%
3438.56/3447.01 c 3447 5021 1940 1 2312.0000 1396.3860 65.57%
3447.23/3455.68 c 3456 5026 1939 1 2312.0000 1396.3860 65.57%
3453.42/3461.86 c 3462 5033 1944 1 2312.0000 1396.3860 65.57%
3460.00/3468.44 c 3468 5038 1943 1 2312.0000 1396.3860 65.57%
3465.19/3473.60 c 3474 5050 1943 1 2312.0000 1398.5000 65.32%
3472.58/3481.09 c 3481 5062 1943 1 2312.0000 1401.5000 64.97%
3478.16/3486.66 c 3487 5075 1938 1 2312.0000 1401.5000 64.97%
3483.55/3492.10 c 3492 5080 1937 1 2312.0000 1401.5000 64.97%
3489.33/3497.88 c 3498 5100 1935 1 2312.0000 1405.5000 64.50%
3494.42/3502.95 c 3503 5112 1933 1 2312.0000 1412.1667 63.72%
3501.31/3509.88 c 3510 5118 1935 1 2312.0000 1412.1667 63.72%
3506.89/3515.49 c 3515 5128 1933 1 2312.0000 1412.5000 63.68%
3512.98/3521.50 c 3522 5134 1931 1 2312.0000 1412.5000 63.68%
3520.57/3529.13 c 3529 5139 1930 1 2312.0000 1412.5000 63.68%
3528.64/3537.25 c 3537 5151 1928 1 2312.0000 1412.5000 63.68%
3535.13/3543.73 c 3544 5160 1929 1 2312.0000 1412.5000 63.68%
3540.82/3549.45 c 3549 5168 1931 1 2312.0000 1412.5000 63.68%
3545.80/3554.48 c 3554 5176 1929 1 2312.0000 1413.1688 63.60%
3551.29/3560.01 c 3560 5179 1930 1 2312.0000 1413.1688 63.60%
3557.17/3565.85 c 3566 5192 1929 1 2312.0000 1413.1688 63.60%
3562.95/3571.68 c 3572 5195 1928 1 2312.0000 1413.1688 63.60%
3570.14/3578.88 c 3579 5200 1925 1 2312.0000 1413.1688 63.60%
3576.43/3585.18 c 3585 5204 1925 1 2312.0000 1413.1688 63.60%
3582.21/3590.99 c 3591 5208 1927 1 2312.0000 1413.1688 63.60%
3588.31/3597.06 c 3597 5218 1925 1 2312.0000 1413.1688 63.60%
3589.41/3598.20 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.41/3598.20 c Total Time : 3598.20
3589.41/3598.20 c solving : 3598.20
3589.41/3598.20 c presolving : 1.26 (included in solving)
3589.41/3598.20 c B&B Tree :
3589.41/3598.20 c nodes (total) : 1
3589.41/3598.20 c Solution :
3589.41/3598.20 c Solutions found : 8
3589.41/3598.20 c Primal Bound : +2.31200000000000e+03
3589.41/3598.20 c Dual Bound : +1.41316875000000e+03
3589.41/3598.20 c Gap : 63.60396 %
3589.41/3598.20 c * Warning: final gap: 6.36040e-01 is greater than SCIPepsilon: 1.00000e-09
3589.41/3598.20 o 2312
3589.41/3598.20 s SATISFIABLE
3589.41/3598.20 v -x150 x149 -x148 -x147 x146 -x145 -x144 x143 -x142 -x141 x140 -x139 -x138 x137 -x136 -x135 x134 -x133 -x132 x131 -x130 -x129 x128
3589.41/3598.20 v -x127 -x126 x125 -x124 -x123 x122 -x121 -x120 x119 -x118 -x117 x116 -x115 -x114 x113 -x112 -x111 x110 -x109 -x108 x107 -x106
3589.41/3598.20 v -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
3589.41/3598.20 v -x80 -x79 x78 -x77 -x76 x75 -x74 -x73 x72 -x71 -x70 x69 -x68 -x67 x66 -x65 -x64 x63 -x62 -x61 x60 -x59 -x58 x57 -x56 -x55 x54
3589.41/3598.20 v -x53 -x52 -x51 -x50 x49 -x48 -x47 x46 -x45 -x44 x43 -x42 -x41 x40 -x39 -x38 x37 -x36 -x35 x34 -x33 -x32 x31 -x30 -x29 x28 -x27
3589.41/3598.20 v -x26 x25 -x24 -x23 x22 -x21 -x20 x19 -x18 -x17 x16 -x15 -x14 x13 -x12 -x11 x10 -x9 -x8 x7 -x6 -x5 x4 -x3 -x2 x1 -x3825 x3824
3589.41/3598.20 v -x3823 -x3822 -x3821 x3820 x3819 -x3818 -x3817 -x3816 -x3815 -x3814 x3813 x3812 x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805
3589.41/3598.20 v -x3804 x3803 x3802 x3801 x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 x3790 x3789 x3788 x3787 x3786
3589.41/3598.20 v -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 x3774 x3773 x3772 x3771 x3770 x3769 -x3768
3589.41/3598.20 v -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 x3755 x3754 x3753 x3752 x3751 x3750 x3749
3589.41/3598.20 v -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 x3733 x3732 x3731 x3730
3589.41/3598.20 v x3729 x3728 x3727 x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712
3589.41/3598.20 v -x3711 -x3710 -x3709 x3708 x3707 x3706 x3705 x3704 x3703 x3702 x3701 x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693
3589.41/3598.20 v -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 x3680 x3679 x3678 x3677 x3676 x3675 x3674
3589.41/3598.20 v x3673 x3672 x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656
3589.41/3598.20 v -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 x3649 x3648 x3647 x3646 x3645 x3644 x3643 x3642 x3641 x3640 x3639 -x3638 -x3637 -x3636
3589.41/3598.20 v -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618
3589.41/3598.20 v -x3617 -x3616 x3615 x3614 x3613 x3612 x3611 x3610 x3609 x3608 x3607 x3606 x3605 x3604 -x3603 -x3602 -x3601 -x3600 -x3599
3589.41/3598.20 v -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581
3589.41/3598.20 v -x3580 -x3579 x3578 x3577 x3576 x3575 x3574 x3573 x3572 x3571 x3570 x3569 x3568 x3567 x3566 -x3565 -x3564 -x3563 -x3562 -x3561
3589.41/3598.20 v -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543
3589.41/3598.20 v -x3542 -x3541 -x3540 -x3539 x3538 x3537 x3536 x3535 x3534 x3533 x3532 x3531 x3530 x3529 x3528 x3527 x3526 x3525 -x3524 -x3523
3589.41/3598.20 v -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506
3589.41/3598.20 v -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 x3495 x3494 x3493 x3492 x3491 x3490 x3489 x3488 x3487 x3486
3589.41/3598.20 v x3485 x3484 x3483 x3482 x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468
3589.41/3598.20 v -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450
3589.41/3598.20 v -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432
3589.41/3598.20 v -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414
3589.41/3598.20 v -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 x3401 -x3400 -x3399 -x3398 -x3397 -x3396
3589.41/3598.20 v -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378
3589.41/3598.20 v -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360
3589.41/3598.20 v -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 x3350 x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342
3589.41/3598.20 v -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324
3589.41/3598.20 v -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307
3589.41/3598.20 v -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 x3296 x3295 x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288
3589.41/3598.20 v -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270
3589.41/3598.20 v -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253
3589.41/3598.20 v -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 x3239 x3238 x3237 x3236 -x3235 -x3234
3589.41/3598.20 v -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216
3589.41/3598.20 v -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198
3589.41/3598.20 v -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181
3589.41/3598.20 v -x3180 x3179 x3178 x3177 x3176 x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162
3589.41/3598.20 v -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144
3589.41/3598.20 v -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126
3589.41/3598.20 v -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 x3116 x3115 x3114 x3113 x3112 x3111 -x3110 -x3109 -x3108
3589.41/3598.20 v -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090
3589.41/3598.20 v -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072
3589.41/3598.20 v -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054
3589.41/3598.20 v -x3053 -x3052 -x3051 x3050 x3049 x3048 x3047 x3046 x3045 x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035
3589.41/3598.20 v -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017
3589.41/3598.20 v -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999
3589.41/3598.20 v -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982
3589.41/3598.20 v x2981 x2980 x2979 x2978 x2977 x2976 x2975 x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963
3589.41/3598.20 v -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945
3589.41/3598.20 v -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927
3589.41/3598.20 v -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 x2909
3589.41/3598.20 v x2908 x2907 x2906 x2905 x2904 x2903 x2902 x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890
3589.41/3598.20 v -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872
3589.41/3598.20 v -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854
3589.41/3598.20 v -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836
3589.41/3598.20 v -x2835 x2834 x2833 x2832 x2831 x2830 x2829 x2828 x2827 x2826 x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817
3589.41/3598.20 v -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799
3589.41/3598.20 v -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781
3589.41/3598.20 v -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763
3589.41/3598.20 v -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 x2756 x2755 x2754 x2753 x2752 x2751 x2750 x2749 x2748 x2747 x2746 -x2745 -x2744
3589.41/3598.20 v -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726
3589.41/3598.20 v -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708
3589.41/3598.20 v -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690
3589.41/3598.20 v -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 x2675 x2674 x2673 x2672
3589.41/3598.20 v x2671 x2670 x2669 x2668 x2667 x2666 x2665 x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653
3589.41/3598.20 v -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635
3589.41/3598.20 v -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617
3589.41/3598.20 v -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599
3589.41/3598.20 v -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 x2591 x2590 x2589 x2588 x2587 x2586 x2585 x2584 x2583 x2582 x2581 x2580
3589.41/3598.20 v x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562
3589.41/3598.20 v -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544
3589.41/3598.20 v -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526
3589.41/3598.20 v -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508
3589.41/3598.20 v -x2507 -x2506 -x2505 x2504 x2503 x2502 x2501 x2500 x2499 x2498 x2497 x2496 x2495 x2494 x2493 x2492 x2491 -x2490 -x2489 -x2488
3589.41/3598.20 v -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471
3589.41/3598.20 v -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453
3589.41/3598.20 v -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435
3589.41/3598.20 v -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417
3589.41/3598.20 v -x2416 -x2415 x2414 x2413 x2412 x2411 x2410 x2409 x2408 x2407 x2406 x2405 x2404 x2403 x2402 x2401 x2400 -x2399 -x2398 -x2397
3589.41/3598.20 v -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379
3589.41/3598.20 v -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361
3589.41/3598.20 v -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343
3589.41/3598.20 v -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326
3589.41/3598.20 v -x2325 -x2324 -x2323 -x2322 x2321 x2320 x2319 x2318 x2317 x2316 x2315 x2314 x2313 x2312 x2311 x2310 x2309 x2308 x2307 x2306 -x2305
3589.41/3598.20 v -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288
3589.41/3598.20 v -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270
3589.41/3598.20 v -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252
3589.41/3598.20 v -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234
3589.41/3598.20 v -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216
3589.41/3598.20 v -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198
3589.41/3598.20 v -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180
3589.41/3598.20 v -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163
3589.41/3598.20 v -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145
3589.41/3598.20 v -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127
3589.41/3598.20 v -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109
3589.41/3598.20 v -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091
3589.41/3598.20 v -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073
3589.41/3598.20 v -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055
3589.41/3598.20 v -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 x2041 -x2040 -x2039 -x2038 -x2037
3589.41/3598.20 v -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020
3589.41/3598.20 v -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002
3589.41/3598.20 v -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984
3589.41/3598.20 v -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966
3589.41/3598.20 v -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948
3589.41/3598.20 v -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 x1937 x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930
3589.41/3598.20 v -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912
3589.41/3598.20 v -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894
3589.41/3598.20 v -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876
3589.41/3598.20 v -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859
3589.41/3598.20 v -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841
3589.41/3598.20 v -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 x1830 x1829 x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822
3589.41/3598.20 v -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805
3589.41/3598.20 v -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787
3589.41/3598.20 v -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769
3589.41/3598.20 v -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751
3589.41/3598.20 v -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733
3589.41/3598.20 v -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 x1720 x1719 x1718 x1717 -x1716 -x1715
3589.41/3598.20 v -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697
3589.41/3598.20 v -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679
3589.41/3598.20 v -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661
3589.41/3598.20 v -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643
3589.41/3598.20 v -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625
3589.41/3598.20 v -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608
3589.41/3598.20 v x1607 x1606 x1605 x1604 x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589
3589.41/3598.20 v -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571
3589.41/3598.20 v -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553
3589.41/3598.20 v -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535
3589.41/3598.20 v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518
3589.41/3598.20 v -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500
3589.41/3598.20 v -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 x1491 x1490 x1489 x1488 x1487 x1486 -x1485 -x1484 -x1483 -x1482 -x1481
3589.41/3598.20 v -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463
3589.41/3598.20 v -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445
3589.41/3598.20 v -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427
3589.41/3598.20 v -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410
3589.41/3598.20 v -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392
3589.41/3598.20 v -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374
3589.41/3598.20 v -x1373 x1372 x1371 x1370 x1369 x1368 x1367 x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355
3589.41/3598.20 v -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337
3589.41/3598.20 v -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319
3589.41/3598.20 v -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301
3589.41/3598.20 v -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284
3589.41/3598.20 v -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266
3589.41/3598.20 v -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 x1250 x1249 x1248 x1247
3589.41/3598.20 v x1246 x1245 x1244 x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229
3589.41/3598.20 v -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211
3589.41/3598.20 v -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193
3589.41/3598.20 v -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175
3589.41/3598.20 v -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157
3589.41/3598.20 v -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140
3589.41/3598.20 v -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 x1125 x1124 x1123 x1122 x1121
3589.41/3598.20 v x1120 x1119 x1118 x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103
3589.41/3598.20 v -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085
3589.41/3598.20 v -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067
3589.41/3598.20 v -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049
3589.41/3598.20 v -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031
3589.41/3598.20 v -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013
3589.41/3598.20 v -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 x997 x996 x995 x994
3589.41/3598.20 v x993 x992 x991 x990 x989 x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972
3589.41/3598.20 v -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951
3589.41/3598.20 v -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931
3589.41/3598.20 v -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910
3589.41/3598.20 v -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889
3589.41/3598.20 v -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868
3589.41/3598.20 v -x867 x866 x865 x864 x863 x862 x861 x860 x859 x858 x857 x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845
3589.41/3598.20 v -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825
3589.41/3598.20 v -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804
3589.41/3598.20 v -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783
3589.41/3598.20 v -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762
3589.41/3598.20 v -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741
3589.41/3598.20 v -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 x732 x731 x730 x729 x728 x727 x726 x725 x724 x723 x722 x721 -x720 -x719 -x718
3589.41/3598.20 v -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698
3589.41/3598.20 v -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677
3589.41/3598.20 v -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656
3589.41/3598.20 v -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635
3589.41/3598.20 v -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614
3589.41/3598.20 v -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 x595 x594 x593
3589.41/3598.20 v x592 x591 x590 x589 x588 x587 x586 x585 x584 x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570
3589.41/3598.20 v -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550
3589.41/3598.20 v -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529
3589.41/3598.20 v -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508
3589.41/3598.20 v -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487
3589.41/3598.20 v -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466
3589.41/3598.20 v -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 x455 x454 x453 x452 x451 x450 x449 x448 x447 x446 x445 x444 x443
3589.41/3598.20 v x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422
3589.41/3598.20 v -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401
3589.41/3598.20 v -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381
3589.41/3598.20 v -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360
3589.51/3598.22 v -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339
3589.51/3598.22 v -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318
3589.51/3598.22 v -x317 -x316 -x315 -x314 -x313 x312 x311 x310 x309 x308 x307 x306 x305 x304 x303 x302 x301 x300 x299 x298 -x297 -x296 -x295
3589.51/3598.22 v -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274
3589.51/3598.22 v -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253
3589.51/3598.22 v -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232
3589.51/3598.22 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211
3589.51/3598.22 v -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191
3589.51/3598.22 v -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170
3589.51/3598.22 v -x169 -x168 -x167 x166 x165 x164 x163 x162 x161 x160 x159 x158 x157 x156 x155 x154 x153 x152 x151
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (61293 MiB free)
memory of node 1: 64473 MiB (57675 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464276-1722385797/watcher-4464276-1722385797 -o /tmp/evaluation-result-4464276-1722385797/solver-4464276-1722385797 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722378594-30828 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464276-1722385797.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
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
solver pid=35265, runsolver pid=35262
Current StackSize limit: 8192 KiB
[startup+0.100102 s]*
/proc/loadavg: 4.10 4.11 4.12 5/246 35266
/proc/meminfo: memFree=121800272/131655788 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=46880 memory=35816 CPUtime=0.1 cores=4,6
/proc/35265/stat : 35265 (fscip) R 35262 35265 30817 0 -1 4194304 6581 0 0 0 9 1 0 0 20 0 1 0 5176200 48005120 8954 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
/proc/35265/statm: 11720 8954 2646 3035 0 8116 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 46880 KiB
Current children cumulated memory: 35816 KiB
[startup+0.213012 s]*
/proc/loadavg: 4.10 4.11 4.12 5/246 35266
/proc/meminfo: memFree=121794308/131655788 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=50428 memory=39484 CPUtime=0.22 cores=4,6
/proc/35265/stat : 35265 (fscip) R 35262 35265 30817 0 -1 4194304 8015 0 0 0 20 2 0 0 20 0 1 0 5176200 51638272 9871 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
/proc/35265/statm: 12607 9871 2694 3035 0 9003 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 50428 KiB
Current children cumulated memory: 39484 KiB
[startup+0.312845 s]*
/proc/loadavg: 4.10 4.11 4.12 5/246 35266
/proc/meminfo: memFree=121792460/131655788 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=52652 memory=42360 CPUtime=0.31 cores=4,6
/proc/35265/stat : 35265 (fscip) R 35262 35265 30817 0 -1 4194304 8963 0 0 0 29 2 0 0 20 0 1 0 5176200 53915648 10590 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
/proc/35265/statm: 13163 10590 2774 3035 0 9559 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 52652 KiB
Current children cumulated memory: 42360 KiB
[startup+0.700362 s]
/proc/loadavg: 4.10 4.11 4.12 5/246 35266
/proc/meminfo: memFree=121783584/131655788 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=62716 memory=52392 CPUtime=0.69 cores=4,6
/proc/35265/stat : 35265 (fscip) R 35262 35265 30817 0 -1 4194304 11485 0 0 0 66 3 0 0 20 0 1 0 5176200 64221184 13098 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
/proc/35265/statm: 15679 13098 2774 3035 0 12075 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 62716 KiB
Current children cumulated memory: 52392 KiB
[startup+1.50085 s]
/proc/loadavg: 4.10 4.11 4.12 5/246 35266
/proc/meminfo: memFree=121780140/131655788 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=184980 memory=93344 CPUtime=1.48 cores=4,6
/proc/35265/stat : 35265 (fscip) S 35262 35265 30817 0 -1 1077936128 22762 0 0 0 143 5 0 0 20 0 3 0 5176200 189419520 23336 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
/proc/35265/statm: 46245 23336 2806 3035 0 30404 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 184980 KiB
Current children cumulated memory: 93344 KiB
[startup+3.11318 s]
/proc/loadavg: 4.10 4.11 4.12 5/252 35274
/proc/meminfo: memFree=121446584/131655788 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=189080 memory=144140 CPUtime=3.09 cores=4,6
/proc/35265/stat : 35265 (fscip) S 35262 35265 30817 0 -1 1077936128 41543 0 0 0 299 10 0 0 20 0 3 0 5176200 193617920 36035 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
/proc/35265/statm: 47270 36035 2998 3035 0 43123 0
[pid=35265/tid=35268] ppid=35262 vsize=189080 memory=198340509722 CPUtime=1.74 cores=4,6
/proc/35265/task/35268/stat : 35268 (fscip) R 35262 35265 30817 0 -1 4194368 22861 0 0 0 168 6 0 0 20 0 3 0 5176334 193617920 36035 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
[pid=35265/tid=35269] ppid=35262 vsize=189080 memory=0 CPUtime=0 cores=4,6
/proc/35265/task/35269/stat : 35269 (fscip) S 35262 35265 30817 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 5176336 193617920 36035 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 189080 KiB
Current children cumulated memory: 144140 KiB
[startup+6.30037 s]
/proc/loadavg: 4.09 4.11 4.12 5/253 35331
/proc/meminfo: memFree=121352156/131655788 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=254616 memory=167200 CPUtime=6.27 cores=4,6
/proc/35265/stat : 35265 (fscip) S 35262 35265 30817 0 -1 1077936128 47477 0 0 0 616 11 0 0 20 0 3 0 5176200 260726784 41800 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
/proc/35265/statm: 63654 41800 2998 3035 0 49260 0
[pid=35265/tid=35268] ppid=35262 vsize=254616 memory=0 CPUtime=4.91 cores=4,6
/proc/35265/task/35268/stat : 35268 (fscip) R 35262 35265 30817 0 -1 4194368 28765 0 0 0 485 6 0 0 20 0 3 0 5176334 260726784 41800 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
[pid=35265/tid=35269] ppid=35262 vsize=254616 memory=0 CPUtime=0 cores=4,6
/proc/35265/task/35269/stat : 35269 (fscip) S 35262 35265 30817 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 5176336 260726784 41800 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 254616 KiB
Current children cumulated memory: 167200 KiB
[startup+12.7003 s]
/proc/loadavg: 4.08 4.11 4.12 5/253 35332
/proc/meminfo: memFree=121344936/131655788 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=254616 memory=167408 CPUtime=12.65 cores=4,6
/proc/35265/stat : 35265 (fscip) S 35262 35265 30817 0 -1 1077936128 68900 0 0 0 1253 12 0 0 20 0 3 0 5176200 260726784 41852 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
/proc/35265/statm: 63654 41852 2998 3035 0 49260 0
[pid=35265/tid=35268] ppid=35262 vsize=254616 memory=0 CPUtime=11.3 cores=4,6
/proc/35265/task/35268/stat : 35268 (fscip) R 35262 35265 30817 0 -1 4194368 50103 0 0 0 1123 7 0 0 20 0 3 0 5176334 260726784 41852 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
[pid=35265/tid=35269] ppid=35262 vsize=254616 memory=167408 CPUtime=0 cores=4,6
/proc/35265/task/35269/stat : 35269 (fscip) S 35262 35265 30817 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 5176336 260726784 41852 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 254616 KiB
Current children cumulated memory: 167408 KiB
[startup+25.5004 s]
/proc/loadavg: 4.14 4.12 4.12 5/251 35334
/proc/meminfo: memFree=121315396/131655788 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=254616 memory=167472 CPUtime=25.41 cores=4,6
/proc/35265/stat : 35265 (fscip) S 35262 35265 30817 0 -1 1077936128 88478 0 0 0 2528 13 0 0 20 0 3 0 5176200 260726784 41868 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
/proc/35265/statm: 63654 41868 2998 3035 0 49260 0
[pid=35265/tid=35268] ppid=35262 vsize=254616 memory=12036 CPUtime=24.07 cores=4,6
/proc/35265/task/35268/stat : 35268 (fscip) R 35262 35265 30817 0 -1 4194368 69627 0 0 0 2398 9 0 0 20 0 3 0 5176334 260726784 41868 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
[pid=35265/tid=35269] ppid=35262 vsize=254616 memory=12036 CPUtime=0 cores=4,6
/proc/35265/task/35269/stat : 35269 (fscip) S 35262 35265 30817 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 5176336 260726784 41868 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 254616 KiB
Current children cumulated memory: 167472 KiB
[startup+51.112 s]
/proc/loadavg: 4.09 4.11 4.11 5/253 35339
/proc/meminfo: memFree=120928268/131655788 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=334548 memory=202520 CPUtime=50.97 cores=4,6
/proc/35265/stat : 35265 (fscip) S 35262 35265 30817 0 -1 1077936128 144765 0 0 0 5079 18 0 0 20 0 3 0 5176200 342577152 50630 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
/proc/35265/statm: 83637 50630 2998 3035 0 67480 0
[pid=35265/tid=35268] ppid=35262 vsize=334548 memory=12036 CPUtime=49.61 cores=4,6
/proc/35265/task/35268/stat : 35268 (fscip) R 35262 35265 30817 0 -1 4194368 125224 0 0 0 4948 13 0 0 20 0 3 0 5176334 342577152 50630 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
[pid=35265/tid=35269] ppid=35262 vsize=334548 memory=190040 CPUtime=0 cores=4,6
/proc/35265/task/35269/stat : 35269 (fscip) S 35262 35265 30817 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 5176336 342577152 50630 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 334548 KiB
Current children cumulated memory: 202520 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.11 5/252 35349
/proc/meminfo: memFree=120863136/131655788 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=403908 memory=247440 CPUtime=102.03 cores=4,6
/proc/35265/stat : 35265 (fscip) S 35262 35265 30817 0 -1 1077936128 189502 0 0 0 10180 23 0 0 20 0 3 0 5176200 413601792 61860 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
/proc/35265/statm: 100977 61860 2998 3035 0 86911 0
[pid=35265/tid=35268] ppid=35262 vsize=403908 memory=245836 CPUtime=100.67 cores=4,6
/proc/35265/task/35268/stat : 35268 (fscip) R 35262 35265 30817 0 -1 4194368 169324 0 0 0 10049 18 0 0 20 0 3 0 5176334 413601792 61860 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
[pid=35265/tid=35269] ppid=35262 vsize=403908 memory=245752 CPUtime=0 cores=4,6
/proc/35265/task/35269/stat : 35269 (fscip) S 35262 35265 30817 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 5176336 413601792 61860 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 403908 KiB
Current children cumulated memory: 247440 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.13 4.12 5/252 35360
/proc/meminfo: memFree=120837616/131655788 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=474932 memory=270852 CPUtime=161.88 cores=4,6
/proc/35265/stat : 35265 (fscip) S 35262 35265 30817 0 -1 1077936128 225155 0 0 0 16161 27 0 0 20 0 3 0 5176200 486330368 67713 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
/proc/35265/statm: 118733 67713 2998 3035 0 106579 0
[pid=35265/tid=35268] ppid=35262 vsize=474932 memory=-7523099919130911866 CPUtime=160.52 cores=4,6
/proc/35265/task/35268/stat : 35268 (fscip) R 35262 35265 30817 0 -1 4194368 204927 0 0 0 16030 22 0 0 20 0 3 0 5176334 486330368 67713 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
[pid=35265/tid=35269] ppid=35262 vsize=474932 memory=255544 CPUtime=0 cores=4,6
/proc/35265/task/35269/stat : 35269 (fscip) S 35262 35265 30817 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 5176336 486330368 67713 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 474932 KiB
Current children cumulated memory: 270852 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.11 5/250 35370
/proc/meminfo: memFree=120749184/131655788 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=488348 memory=291048 CPUtime=221.74 cores=4,6
/proc/35265/stat : 35265 (fscip) S 35262 35265 30817 0 -1 1077936128 266951 0 0 0 22142 32 0 0 20 0 3 0 5176200 500068352 72762 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
/proc/35265/statm: 122087 72762 2998 3035 0 118192 0
[pid=35265/tid=35268] ppid=35262 vsize=488348 memory=288172 CPUtime=220.37 cores=4,6
/proc/35265/task/35268/stat : 35268 (fscip) R 35262 35265 30817 0 -1 4194368 246680 0 0 0 22011 26 0 0 20 0 3 0 5176334 500068352 72762 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
[pid=35265/tid=35269] ppid=35262 vsize=488348 memory=14936 CPUtime=0 cores=4,6
/proc/35265/task/35269/stat : 35269 (fscip) S 35262 35265 30817 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 5176336 500068352 72762 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 488348 KiB
Current children cumulated memory: 291048 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.13 4.11 5/250 35380
/proc/meminfo: memFree=120672176/131655788 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=561148 memory=324464 CPUtime=281.6 cores=4,6
################
# More data... #
################
[pid=35265] ppid=35262 vsize=1479100 memory=1332832 CPUtime=3394.06 cores=4,6
/proc/35265/stat : 35265 (fscip) S 35262 35265 30817 0 -1 1077936128 1261572 0 0 0 339259 147 0 0 20 0 3 0 5176200 1514598400 333208 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
/proc/35265/statm: 369775 333208 3014 3035 0 354978 0
[pid=35265/tid=35268] ppid=35262 vsize=1479100 memory=1328520 CPUtime=3392.49 cores=4,6
/proc/35265/task/35268/stat : 35268 (fscip) R 35262 35265 30817 0 -1 4194368 1239898 0 0 0 339116 133 0 0 20 0 3 0 5176334 1514598400 333208 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
[pid=35265/tid=35269] ppid=35262 vsize=1479100 memory=1332580 CPUtime=0.05 cores=4,6
/proc/35265/task/35269/stat : 35269 (fscip) S 35262 35265 30817 0 -1 1077936192 178 0 0 0 2 3 0 0 20 0 3 0 5176336 1514598400 333208 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
Current children cumulated CPU time: 3394.06 s
Current children cumulated vsize: 1479100 KiB
Current children cumulated memory: 1332832 KiB
[startup+3462.3 s]
/proc/loadavg: 4.24 4.29 4.20 5/251 36926
/proc/meminfo: memFree=119254244/131655788 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=1479100 memory=1341116 CPUtime=3453.92 cores=4,6
/proc/35265/stat : 35265 (fscip) S 35262 35265 30817 0 -1 1077936128 1268608 0 0 0 345244 148 0 0 20 0 3 0 5176200 1514598400 335279 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
/proc/35265/statm: 369775 335279 3014 3035 0 359674 0
[pid=35265/tid=35268] ppid=35262 vsize=1479100 memory=1328520 CPUtime=3452.34 cores=4,6
/proc/35265/task/35268/stat : 35268 (fscip) R 35262 35265 30817 0 -1 4194368 1246921 0 0 0 345100 134 0 0 20 0 3 0 5176334 1514598400 335279 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
[pid=35265/tid=35269] ppid=35262 vsize=1479100 memory=14936 CPUtime=0.05 cores=4,6
/proc/35265/task/35269/stat : 35269 (fscip) S 35262 35265 30817 0 -1 1077936192 182 0 0 0 2 3 0 0 20 0 3 0 5176336 1514598400 335279 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
Current children cumulated CPU time: 3453.92 s
Current children cumulated vsize: 1479100 KiB
Current children cumulated memory: 1341116 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.25 4.19 5/252 37106
/proc/meminfo: memFree=119249620/131655788 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=1479100 memory=1344420 CPUtime=3513.78 cores=4,6
/proc/35265/stat : 35265 (fscip) S 35262 35265 30817 0 -1 1077936128 1274437 0 0 0 351229 149 0 0 20 0 3 0 5176200 1514598400 336105 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
/proc/35265/statm: 369775 336105 3014 3035 0 361775 0
[pid=35265/tid=35268] ppid=35262 vsize=1479100 memory=1341112 CPUtime=3512.2 cores=4,6
/proc/35265/task/35268/stat : 35268 (fscip) R 35262 35265 30817 0 -1 4194368 1252736 0 0 0 351085 135 0 0 20 0 3 0 5176334 1514598400 336105 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
[pid=35265/tid=35269] ppid=35262 vsize=1479100 memory=1341944 CPUtime=0.05 cores=4,6
/proc/35265/task/35269/stat : 35269 (fscip) S 35262 35265 30817 0 -1 1077936192 186 0 0 0 2 3 0 0 20 0 3 0 5176336 1514598400 336105 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
Current children cumulated CPU time: 3513.78 s
Current children cumulated vsize: 1479100 KiB
Current children cumulated memory: 1344420 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.22 4.18 5/252 37118
/proc/meminfo: memFree=119238508/131655788 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=1544636 memory=1354800 CPUtime=3573.63 cores=4,6
/proc/35265/stat : 35265 (fscip) S 35262 35265 30817 0 -1 1077936128 1283382 0 0 0 357213 150 0 0 20 0 3 0 5176200 1581707264 338700 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
/proc/35265/statm: 386159 338700 3014 3035 0 368751 0
[pid=35265/tid=35268] ppid=35262 vsize=1544636 memory=1354380 CPUtime=3572.05 cores=4,6
/proc/35265/task/35268/stat : 35268 (fscip) R 35262 35265 30817 0 -1 4194368 1261671 0 0 0 357069 136 0 0 20 0 3 0 5176334 1581707264 338700 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
[pid=35265/tid=35269] ppid=35262 vsize=1544636 memory=1354796 CPUtime=0.05 cores=4,6
/proc/35265/task/35269/stat : 35269 (fscip) S 35262 35265 30817 0 -1 1077936192 188 0 0 0 2 3 0 0 20 0 3 0 5176336 1581707264 338700 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
Current children cumulated CPU time: 3573.63 s
Current children cumulated vsize: 1544636 KiB
Current children cumulated memory: 1354800 KiB
[startup+3598.24 s]
# the end of solver process 35265 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.01 s, system=1.52965 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.22 4.18 5/252 37118
/proc/meminfo: memFree=119238508/131655788 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=1544636 memory=1355176 CPUtime=3575.33 cores=4,6
/proc/35265/stat : 35265 (fscip) S 35262 35265 30817 0 -1 1077936128 1283497 0 0 0 357383 150 0 0 20 0 3 0 5176200 1581707264 338794 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
/proc/35265/statm: 386159 338794 3014 3035 0 368835 0
[pid=35265/tid=35268] ppid=35262 vsize=1544636 memory=33812 CPUtime=3573.76 cores=4,6
/proc/35265/task/35268/stat : 35268 (fscip) R 35262 35265 30817 0 -1 4194368 1261789 0 0 0 357240 136 0 0 20 0 3 0 5176334 1581707264 338794 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
[pid=35265/tid=35269] ppid=35262 vsize=1544636 memory=35548 CPUtime=0.05 cores=4,6
/proc/35265/task/35269/stat : 35269 (fscip) S 35262 35265 30817 0 -1 1077936192 188 0 0 0 2 3 0 0 20 0 3 0 5176336 1581707264 338794 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
Current children cumulated CPU time: 3575.33 s
Current children cumulated vsize: 1544636 KiB
Current children cumulated memory: 1355176 KiB
[startup+3590.4 s]
/proc/loadavg: 4.08 4.21 4.18 5/252 37118
/proc/meminfo: memFree=119237804/131655788 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=1544636 memory=1355388 CPUtime=3581.72 cores=4,6
/proc/35265/stat : 35265 (fscip) S 35262 35265 30817 0 -1 1077936128 1286764 0 0 0 358021 151 0 0 20 0 3 0 5176200 1581707264 338847 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
/proc/35265/statm: 386159 338847 3014 3035 0 368952 0
[pid=35265/tid=35268] ppid=35262 vsize=1544636 memory=1354796 CPUtime=3580.13 cores=4,6
/proc/35265/task/35268/stat : 35268 (fscip) R 35262 35265 30817 0 -1 4194368 1265052 0 0 0 357877 136 0 0 20 0 3 0 5176334 1581707264 338847 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
[pid=35265/tid=35269] ppid=35262 vsize=1544636 memory=1355384 CPUtime=0.05 cores=4,6
/proc/35265/task/35269/stat : 35269 (fscip) S 35262 35265 30817 0 -1 1077936192 188 0 0 0 2 3 0 0 20 0 3 0 5176336 1581707264 338847 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
Current children cumulated CPU time: 3581.72 s
Current children cumulated vsize: 1544636 KiB
Current children cumulated memory: 1355388 KiB
[startup+3593.6 s]
/proc/loadavg: 4.08 4.21 4.18 5/252 37119
/proc/meminfo: memFree=119237552/131655788 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=1544636 memory=1355588 CPUtime=3584.91 cores=4,6
/proc/35265/stat : 35265 (fscip) S 35262 35265 30817 0 -1 1077936128 1287145 0 0 0 358340 151 0 0 20 0 3 0 5176200 1581707264 338897 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
/proc/35265/statm: 386159 338897 3014 3035 0 369003 0
[pid=35265/tid=35268] ppid=35262 vsize=1544636 memory=1355388 CPUtime=3583.32 cores=4,6
/proc/35265/task/35268/stat : 35268 (fscip) R 35262 35265 30817 0 -1 4194368 1265425 0 0 0 358196 136 0 0 20 0 3 0 5176334 1581707264 338897 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
[pid=35265/tid=35269] ppid=35262 vsize=1544636 memory=2316 CPUtime=0.05 cores=4,6
/proc/35265/task/35269/stat : 35269 (fscip) S 35262 35265 30817 0 -1 1077936192 188 0 0 0 2 3 0 0 20 0 3 0 5176336 1581707264 338897 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
Current children cumulated CPU time: 3584.91 s
Current children cumulated vsize: 1544636 KiB
Current children cumulated memory: 1355588 KiB
[startup+3596.8 s]
/proc/loadavg: 4.16 4.22 4.18 3/234 37181
/proc/meminfo: memFree=120350348/131655788 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=1544636 memory=1355588 CPUtime=3588.1 cores=4,6
/proc/35265/stat : 35265 (fscip) S 35262 35265 30817 0 -1 1077936128 1287332 0 0 0 358659 151 0 0 20 0 3 0 5176200 1581707264 338897 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
/proc/35265/statm: 386159 338897 3014 3035 0 369003 0
[pid=35265/tid=35268] ppid=35262 vsize=1544636 memory=3761129318981380391 CPUtime=3586.51 cores=4,6
/proc/35265/task/35268/stat : 35268 (fscip) R 35262 35265 30817 0 -1 4194368 1265612 0 0 0 358515 136 0 0 20 0 3 0 5176334 1581707264 338897 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
[pid=35265/tid=35269] ppid=35262 vsize=1544636 memory=1355588 CPUtime=0.05 cores=4,6
/proc/35265/task/35269/stat : 35269 (fscip) S 35262 35265 30817 0 -1 1077936192 188 0 0 0 2 3 0 0 20 0 3 0 5176336 1581707264 338897 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
Current children cumulated CPU time: 3588.1 s
Current children cumulated vsize: 1544636 KiB
Current children cumulated memory: 1355588 KiB
[startup+3597.6 s]
/proc/loadavg: 4.16 4.22 4.18 2/227 37189
/proc/meminfo: memFree=120898228/131655788 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=1544636 memory=1355588 CPUtime=3588.9 cores=4,6
/proc/35265/stat : 35265 (fscip) S 35262 35265 30817 0 -1 1077936128 1287336 0 0 0 358739 151 0 0 20 0 3 0 5176200 1581707264 338897 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
/proc/35265/statm: 386159 338897 3014 3035 0 369003 0
[pid=35265/tid=35268] ppid=35262 vsize=1544636 memory=15860 CPUtime=3587.31 cores=4,6
/proc/35265/task/35268/stat : 35268 (fscip) R 35262 35265 30817 0 -1 4194368 1265615 0 0 0 358595 136 0 0 20 0 3 0 5176334 1581707264 338897 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
[pid=35265/tid=35269] ppid=35262 vsize=1544636 memory=2316 CPUtime=0.05 cores=4,6
/proc/35265/task/35269/stat : 35269 (fscip) S 35262 35265 30817 0 -1 1077936192 188 0 0 0 2 3 0 0 20 0 3 0 5176336 1581707264 338897 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
Current children cumulated CPU time: 3588.9 s
Current children cumulated vsize: 1544636 KiB
Current children cumulated memory: 1355588 KiB
[startup+3598 s]*
/proc/loadavg: 4.16 4.22 4.18 2/225 37212
/proc/meminfo: memFree=120928396/131655788 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=1544636 memory=1355588 CPUtime=3589.31 cores=4,6
/proc/35265/stat : 35265 (fscip) S 35262 35265 30817 0 -1 1077936128 1287349 0 0 0 358780 151 0 0 20 0 3 0 5176200 1581707264 338897 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
/proc/35265/statm: 386159 338897 3014 3035 0 369003 0
[pid=35265/tid=35268] ppid=35262 vsize=1544636 memory=7686721470247706567 CPUtime=3587.72 cores=4,6
/proc/35265/task/35268/stat : 35268 (fscip) R 35262 35265 30817 0 -1 4194368 1265628 0 0 0 358636 136 0 0 20 0 3 0 5176334 1581707264 338897 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
[pid=35265/tid=35269] ppid=35262 vsize=1544636 memory=4137571778489380505 CPUtime=0.05 cores=4,6
/proc/35265/task/35269/stat : 35269 (fscip) S 35262 35265 30817 0 -1 1077936192 188 0 0 0 2 3 0 0 20 0 3 0 5176336 1581707264 338897 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
Current children cumulated CPU time: 3589.31 s
Current children cumulated vsize: 1544636 KiB
Current children cumulated memory: 1355588 KiB
[startup+3598.22 s]
/proc/loadavg: 4.16 4.22 4.18 2/225 37212
/proc/meminfo: memFree=120928396/131655788 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=1342256 memory=1215020 CPUtime=3589.51 cores=4,6
/proc/35265/stat : 35265 (fscip) R 35262 35265 30817 0 -1 4194304 1289685 0 0 0 358800 151 0 0 20 0 2 0 5176200 1374470144 303755 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
/proc/35265/statm: 335564 303755 3014 3035 0 331461 0
[pid=35265/tid=35269] ppid=35262 vsize=1342256 memory=35548 CPUtime=0.05 cores=4,6
/proc/35265/task/35269/stat : 35269 (fscip) S 35262 35265 30817 0 -1 1077936192 188 0 0 0 2 3 0 0 20 0 2 0 5176336 1374470144 303755 134679101440 4194304 16623229 140724534838032 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35610624 140724534842390 140724534842506 140724534842506 140724534849520 0
Current children cumulated CPU time: 3589.51 s
Current children cumulated vsize: 1342256 KiB
Current children cumulated memory: 1215020 KiB
Child status: 0
Real time (s): 3598.24
CPU time (s): 3589.54
CPU user time (s): 3588.01
CPU system time (s): 1.52965
CPU usage (%): 99.7582
Max. virtual memory (cumulated for all children) (KiB): 1544636
Max. memory (cumulated for all children) (KiB): 1355588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.01
system time used= 1.52965
maximum resident set size= 1355588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1289759
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= 7324
involuntary context switches= 3758
# summary of solver processes directly reported to runsolver:
# pid: 35265
# total CPU time (s): 3589.54
# total CPU user time (s): 3588.01
# total CPU system time (s): 1.52965
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1583 second user time and 34.0024 second system time
The end
Begin job on nodeC006 at 2024-07-31 02:29:57
IDJOB=4464276
IDBENCH=158576
IDSOLVER=3092
FILE ID=nodeC006/4464276-1722385797
RUNJOBID= nodeC006-1722378594-30828
SLURM_JOB_ID= 8249836
Free space on /tmp= 723696 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-50.lin.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464276-1722385797/watcher-4464276-1722385797 -o /tmp/evaluation-result-4464276-1722385797/solver-4464276-1722385797 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722378594-30828 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464276-1722385797.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 11852bf7a05815ba1c78428ce5d4534c
RANDOM SEED=1390683433
nodeC006.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 : 3653.420
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.46
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.733
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.38
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.217
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.46
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.356
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.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.174
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.46
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 : 3423.412
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.38
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.168
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.46
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.283
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.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 121824144 kB
MemAvailable: 129595504 kB
Buffers: 105572 kB
Cached: 8433684 kB
SwapCached: 0 kB
Active: 277888 kB
Inactive: 8974532 kB
Active(anon): 1420 kB
Inactive(anon): 733068 kB
Active(file): 276468 kB
Inactive(file): 8241464 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 115908 kB
Writeback: 0 kB
AnonPages: 713236 kB
Mapped: 121888 kB
Shmem: 21320 kB
KReclaimable: 187252 kB
Slab: 274296 kB
SReclaimable: 187252 kB
SUnreclaim: 87044 kB
KernelStack: 3936 kB
PageTables: 10328 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1046264 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7200 kB
HardwareCorrupted: 0 kB
AnonHugePages: 288768 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: 232264 kB
DirectMap2M: 16449536 kB
DirectMap1G: 119537664 kB
Free space on /tmp at the end= 723756 MiB
End job on nodeC006 at 2024-07-31 03:29:55